runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735096-1339247800/watcher-3735096-1339247800 -o /tmp/evaluation-result-3735096-1339247800/solver-3735096-1339247800 -C 1800 -W 1900 -M 15500 run HOME/instance-3735096-1339247800.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.15 6.70 4.85 7/184 1744
/proc/meminfo: memFree=31150036/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[startup+0.037593 s]
/proc/loadavg: 7.15 6.70 4.85 7/184 1744
/proc/meminfo: memFree=31150036/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 7.15 6.70 4.85 7/184 1744
/proc/meminfo: memFree=31150036/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 7.15 6.70 4.85 7/184 1744
/proc/meminfo: memFree=31150036/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700191 s]
/proc/loadavg: 7.15 6.70 4.85 7/184 1744
/proc/meminfo: memFree=31150036/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 7.15 6.70 4.85 8/186 1746
/proc/meminfo: memFree=31136256/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=25520 CPUtime=1.49 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 13526 0 0 0 147 2 0 0 20 0 1 0 390904871 26132480 3819 33554432000 134512640 146736320 4290234656 4290231072 136207929 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/1745/statm: 6380 3819 893 2985 0 3314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34668
[startup+3.10023 s]
/proc/loadavg: 7.15 6.70 4.85 8/186 1746
/proc/meminfo: memFree=31136256/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=130908 CPUtime=3.09 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 33083 0 0 0 304 5 0 0 20 0 8 0 390904871 134049792 10983 33554432000 134512640 146736320 4290234656 4290228328 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1745/statm: 32727 10983 951 2985 0 29661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140056
[startup+6.30041 s]
/proc/loadavg: 7.14 6.71 4.87 9/193 1753
/proc/meminfo: memFree=31037992/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=213356 CPUtime=12.67 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 62966 0 0 0 1251 16 0 0 20 0 8 0 390904871 218476544 27916 33554432000 134512640 146736320 4290234656 4290227920 136403109 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1745/statm: 53339 27917 951 2985 0 50273 0
[pid=1745/tid=1747] ppid=1744 vsize=213356 CPUtime=0.83 cores=0,2,4,6
/proc/1745/task/1747/stat : 1747 (pb_cplex) R 1744 1744 1177 0 -1 4202560 4783 0 0 0 81 2 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4142395600 136008234 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1748] ppid=1744 vsize=213356 CPUtime=0.8 cores=0,2,4,6
/proc/1745/task/1748/stat : 1748 (pb_cplex) R 1744 1744 1177 0 -1 4202560 3871 0 0 0 78 2 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4131909448 135525497 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1749] ppid=1744 vsize=213356 CPUtime=1.13 cores=0,2,4,6
/proc/1745/task/1749/stat : 1749 (pb_cplex) R 1744 1744 1177 0 -1 4202560 3054 0 0 0 113 0 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4121423944 139042864 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1750] ppid=1744 vsize=213356 CPUtime=2 cores=0,2,4,6
/proc/1745/task/1750/stat : 1750 (pb_cplex) R 1744 1744 1177 0 -1 4202560 3732 0 0 0 199 1 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4110938320 136008044 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1751] ppid=1744 vsize=213356 CPUtime=1.06 cores=0,2,4,6
/proc/1745/task/1751/stat : 1751 (pb_cplex) R 1744 1744 1177 0 -1 4202560 3548 0 0 0 104 2 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4100454272 137083851 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1752] ppid=1744 vsize=213356 CPUtime=0.83 cores=0,2,4,6
/proc/1745/task/1752/stat : 1752 (pb_cplex) R 1744 1744 1177 0 -1 4202560 3607 0 0 0 82 1 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4089967492 135850315 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1753] ppid=1744 vsize=213356 CPUtime=1.8 cores=0,2,4,6
/proc/1745/task/1753/stat : 1753 (pb_cplex) R 1744 1744 1177 0 -1 4202560 4583 0 0 0 179 1 0 0 20 0 8 0 390905151 218476544 27917 33554432000 134512640 146736320 4290234656 4079481036 135846792 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 222504
[startup+12.7003 s]
/proc/loadavg: 7.69 6.83 4.91 8/186 1753
/proc/meminfo: memFree=31095796/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=105928 CPUtime=27.23 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 86028 0 0 0 2691 32 0 0 20 0 1 0 390904871 108470272 12935 33554432000 134512640 146736320 4290234656 4290229128 136001992 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1745/statm: 26482 12935 953 2985 0 23416 0
Current children cumulated CPU time (s) 27.23
Current children cumulated vsize (KiB) 115076
[startup+25.5004 s]
/proc/loadavg: 8.61 7.07 5.02 15/193 1767
/proc/meminfo: memFree=30984820/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=263408 CPUtime=71.8 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 170109 0 0 0 7111 69 0 0 20 0 8 0 390904871 269729792 40752 33554432000 134512640 146736320 4290234656 4290227708 135446977 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1745/statm: 65852 40752 961 2985 0 62786 0
[pid=1745/tid=1761] ppid=1744 vsize=263408 CPUtime=4.96 cores=0,2,4,6
/proc/1745/task/1761/stat : 1761 (pb_cplex) R 1744 1744 1177 0 -1 4202560 11991 0 0 0 492 4 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4128669904 136008168 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1762] ppid=1744 vsize=263408 CPUtime=5.71 cores=0,2,4,6
/proc/1745/task/1762/stat : 1762 (pb_cplex) R 1744 1744 1177 0 -1 4202560 9935 0 0 0 568 3 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4139155528 139042910 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1763] ppid=1744 vsize=263408 CPUtime=5.9 cores=0,2,4,6
/proc/1745/task/1763/stat : 1763 (pb_cplex) R 1744 1744 1177 0 -1 4202560 8163 0 0 0 587 3 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4149640364 135454090 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1764] ppid=1744 vsize=263408 CPUtime=6.24 cores=0,2,4,6
/proc/1745/task/1764/stat : 1764 (pb_cplex) S 1744 1744 1177 0 -1 4202560 5975 0 0 0 622 2 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4110941840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1765] ppid=1744 vsize=263408 CPUtime=5.23 cores=0,2,4,6
/proc/1745/task/1765/stat : 1765 (pb_cplex) S 1744 1744 1177 0 -1 4202560 5717 0 0 0 521 2 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4054437520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1766] ppid=1744 vsize=263408 CPUtime=4.99 cores=0,2,4,6
/proc/1745/task/1766/stat : 1766 (pb_cplex) S 1744 1744 1177 0 -1 4202560 9178 0 0 0 496 3 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4043951760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1767] ppid=1744 vsize=263408 CPUtime=4.72 cores=0,2,4,6
/proc/1745/task/1767/stat : 1767 (pb_cplex) R 1744 1744 1177 0 -1 4202560 5433 0 0 0 469 3 0 0 20 0 8 0 390906219 269729792 40752 33554432000 134512640 146736320 4290234656 4033463840 137173642 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 71.8
Current children cumulated vsize (KiB) 272556
[startup+51.1004 s]
/proc/loadavg: 10.45 7.62 5.26 15/193 1767
/proc/meminfo: memFree=30955140/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=294200 CPUtime=160.39 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 208959 0 0 0 15943 96 0 0 20 0 8 0 390904871 301260800 47595 33554432000 134512640 146736320 4290234656 4290226344 144738703 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1745/statm: 73550 47595 984 2985 0 70484 0
[pid=1745/tid=1761] ppid=1744 vsize=294200 CPUtime=18.37 cores=0,2,4,6
/proc/1745/task/1761/stat : 1761 (pb_cplex) S 1744 1744 1177 0 -1 4202560 19593 0 0 0 1829 8 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4128673424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1762] ppid=1744 vsize=294200 CPUtime=16.27 cores=0,2,4,6
/proc/1745/task/1762/stat : 1762 (pb_cplex) S 1744 1744 1177 0 -1 4202560 16437 0 0 0 1620 7 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4139159184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1763] ppid=1744 vsize=294200 CPUtime=16.85 cores=0,2,4,6
/proc/1745/task/1763/stat : 1763 (pb_cplex) R 1744 1744 1177 0 -1 4202560 13106 0 0 0 1678 7 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4149641424 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1764] ppid=1744 vsize=294200 CPUtime=16.59 cores=0,2,4,6
/proc/1745/task/1764/stat : 1764 (pb_cplex) R 1744 1744 1177 0 -1 4202560 10382 0 0 0 1654 5 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4110938320 136008069 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1765] ppid=1744 vsize=294200 CPUtime=15.45 cores=0,2,4,6
/proc/1745/task/1765/stat : 1765 (pb_cplex) S 1744 1744 1177 0 -1 4202560 12032 0 0 0 1539 6 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4054437520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1766] ppid=1744 vsize=294200 CPUtime=16.2 cores=0,2,4,6
/proc/1745/task/1766/stat : 1766 (pb_cplex) S 1744 1744 1177 0 -1 4202560 12024 0 0 0 1615 5 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4043951760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1767] ppid=1744 vsize=294200 CPUtime=15.09 cores=0,2,4,6
/proc/1745/task/1767/stat : 1767 (pb_cplex) S 1744 1744 1177 0 -1 4202560 10165 0 0 0 1503 6 0 0 20 0 8 0 390906219 301260800 47595 33554432000 134512640 146736320 4290234656 4033466000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 160.39
Current children cumulated vsize (KiB) 303348
[startup+102.307 s]
/proc/loadavg: 11.14 8.23 5.59 15/193 1767
/proc/meminfo: memFree=30949736/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=295128 CPUtime=343.12 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 558093 0 0 0 34099 213 0 0 20 0 8 0 390904871 302211072 48773 33554432000 134512640 146736320 4290234656 4290228328 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1745/statm: 73782 48773 984 2985 0 70716 0
[pid=1745/tid=1761] ppid=1744 vsize=295128 CPUtime=40.34 cores=0,2,4,6
/proc/1745/task/1761/stat : 1761 (pb_cplex) R 1744 1744 1177 0 -1 4202560 72794 0 0 0 4011 23 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4128670656 136366866 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1762] ppid=1744 vsize=295128 CPUtime=38.9 cores=0,2,4,6
/proc/1745/task/1762/stat : 1762 (pb_cplex) R 1744 1744 1177 0 -1 4202560 57518 0 0 0 3867 23 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4139155664 136008450 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1763] ppid=1744 vsize=295128 CPUtime=39.68 cores=0,2,4,6
/proc/1745/task/1763/stat : 1763 (pb_cplex) R 1744 1744 1177 0 -1 4202560 49269 0 0 0 3947 21 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4149641416 136388497 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1764] ppid=1744 vsize=295128 CPUtime=38.26 cores=0,2,4,6
/proc/1745/task/1764/stat : 1764 (pb_cplex) R 1744 1744 1177 0 -1 4202560 58859 0 0 0 3807 19 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4110938036 135450982 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1765] ppid=1744 vsize=295128 CPUtime=37.89 cores=0,2,4,6
/proc/1745/task/1765/stat : 1765 (pb_cplex) R 1744 1744 1177 0 -1 4202560 46797 0 0 0 3769 20 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4054434384 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1766] ppid=1744 vsize=295128 CPUtime=40.19 cores=0,2,4,6
/proc/1745/task/1766/stat : 1766 (pb_cplex) R 1744 1744 1177 0 -1 4202560 56324 0 0 0 3999 20 0 0 20 0 8 0 390906219 302211072 48773 33554432000 134512640 146736320 4290234656 4043949836 136414091 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1767] ppid=1744 vsize=295128 CPUtime=38.47 cores=0,2,4,6
################
# More data... #
################
[pid=1745/tid=1773] ppid=1744 vsize=348624 CPUtime=79.54 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) R 1744 1744 1177 0 -1 4202560 105174 0 0 0 7900 54 0 0 20 0 8 0 390921360 356990976 61234 33554432000 134512640 146736320 4290234656 3935166672 136008245 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=348624 CPUtime=77.63 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) R 1744 1744 1177 0 -1 4202560 95889 0 0 0 7715 48 0 0 20 0 8 0 390921360 356990976 61234 33554432000 134512640 146736320 4290234656 3893580368 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=348624 CPUtime=81.85 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) R 1744 1744 1177 0 -1 4202560 132278 0 0 0 8130 55 0 0 20 0 8 0 390921360 356990976 61234 33554432000 134512640 146736320 4290234656 3879252180 135846463 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1074.21
Current children cumulated vsize (KiB) 357772
[startup+402.3 s]
/proc/loadavg: 9.86 8.85 6.56 17/193 1913
/proc/meminfo: memFree=31024076/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=357328 CPUtime=1290.9 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 1658666 0 0 0 128297 793 0 0 20 0 8 0 390904871 365903872 62994 33554432000 134512640 146736320 4290234656 4290228328 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1745/statm: 89332 62994 1011 2985 0 86266 0
[pid=1745/tid=1768] ppid=1744 vsize=357328 CPUtime=103.15 cores=0,2,4,6
/proc/1745/task/1768/stat : 1768 (pb_cplex) R 1744 1744 1177 0 -1 4202560 74375 0 0 0 10261 54 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 4033461392 136008438 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1769] ppid=1744 vsize=357328 CPUtime=103.11 cores=0,2,4,6
/proc/1745/task/1769/stat : 1769 (pb_cplex) R 1744 1744 1177 0 -1 4202560 83070 0 0 0 10251 60 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 4043948104 139042895 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1770] ppid=1744 vsize=357328 CPUtime=107.39 cores=0,2,4,6
/proc/1745/task/1770/stat : 1770 (pb_cplex) R 1744 1744 1177 0 -1 4202560 127113 0 0 0 10673 66 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 4054434248 136000075 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1772] ppid=1744 vsize=357328 CPUtime=102.68 cores=0,2,4,6
/proc/1745/task/1772/stat : 1772 (pb_cplex) R 1744 1744 1177 0 -1 4202560 121460 0 0 0 10204 64 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 4110938320 136008441 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1773] ppid=1744 vsize=357328 CPUtime=106.49 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) R 1744 1744 1177 0 -1 4202560 133786 0 0 0 10578 71 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 3935167464 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=357328 CPUtime=103.82 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) R 1744 1744 1177 0 -1 4202560 117575 0 0 0 10317 65 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 3893580052 136003825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=357328 CPUtime=108.64 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) R 1744 1744 1177 0 -1 4202560 164673 0 0 0 10793 71 0 0 20 0 8 0 390921360 365903872 62994 33554432000 134512640 146736320 4290234656 3879252172 135846924 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1290.9
Current children cumulated vsize (KiB) 366476
[startup+462.3 s]
/proc/loadavg: 12.46 9.78 7.02 10/193 1913
/proc/meminfo: memFree=31018120/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=359964 CPUtime=1495.6 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 1887824 0 0 0 148662 898 0 0 20 0 8 0 390904871 368603136 63758 33554432000 134512640 146736320 4290234656 4290227536 136008168 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1745/statm: 89991 63758 1011 2985 0 86925 0
[pid=1745/tid=1768] ppid=1744 vsize=359964 CPUtime=128.17 cores=0,2,4,6
/proc/1745/task/1768/stat : 1768 (pb_cplex) S 1744 1744 1177 0 -1 4202560 95397 0 0 0 12754 63 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 4033466000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1769] ppid=1744 vsize=359964 CPUtime=127.47 cores=0,2,4,6
/proc/1745/task/1769/stat : 1769 (pb_cplex) S 1744 1744 1177 0 -1 4202560 104349 0 0 0 12674 73 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 4043951760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1770] ppid=1744 vsize=359964 CPUtime=134.4 cores=0,2,4,6
/proc/1745/task/1770/stat : 1770 (pb_cplex) S 1744 1744 1177 0 -1 4202560 166296 0 0 0 13356 84 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 4054437520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1772] ppid=1744 vsize=359964 CPUtime=127.05 cores=0,2,4,6
/proc/1745/task/1772/stat : 1772 (pb_cplex) R 1744 1744 1177 0 -1 4202560 151585 0 0 0 12629 76 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 4110938504 136388081 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1773] ppid=1744 vsize=359964 CPUtime=133.5 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) S 1744 1744 1177 0 -1 4202560 159875 0 0 0 13265 85 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 3935170192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=359964 CPUtime=128.88 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) R 1744 1744 1177 0 -1 4202560 137348 0 0 0 12812 76 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 3893579984 136008056 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=359964 CPUtime=134.66 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) S 1744 1744 1177 0 -1 4202560 198859 0 0 0 13379 87 0 0 20 0 8 0 390921360 368603136 63758 33554432000 134512640 146736320 4290234656 3879255696 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1495.6
Current children cumulated vsize (KiB) 369112
[startup+522.3 s]
/proc/loadavg: 10.76 9.86 7.22 15/193 1913
/proc/meminfo: memFree=31014144/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=362936 CPUtime=1691.62 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) S 1744 1744 1177 0 -1 4202496 2059625 0 0 0 168173 989 0 0 20 0 8 0 390904871 371646464 64574 33554432000 134512640 146736320 4290234656 4290231056 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1745/statm: 90734 64574 1011 2985 0 87668 0
[pid=1745/tid=1768] ppid=1744 vsize=362936 CPUtime=151.16 cores=0,2,4,6
/proc/1745/task/1768/stat : 1768 (pb_cplex) R 1744 1744 1177 0 -1 4202560 120234 0 0 0 15039 77 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 4033462480 136008065 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1769] ppid=1744 vsize=362936 CPUtime=153.54 cores=0,2,4,6
/proc/1745/task/1769/stat : 1769 (pb_cplex) R 1744 1744 1177 0 -1 4202560 124571 0 0 0 15268 86 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 4043948192 136006238 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1770] ppid=1744 vsize=362936 CPUtime=160.52 cores=0,2,4,6
/proc/1745/task/1770/stat : 1770 (pb_cplex) S 1744 1744 1177 0 -1 4202560 186618 0 0 0 15957 95 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 4054437520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1772] ppid=1744 vsize=362936 CPUtime=150.36 cores=0,2,4,6
/proc/1745/task/1772/stat : 1772 (pb_cplex) R 1744 1744 1177 0 -1 4202560 179123 0 0 0 14947 89 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 4110939112 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1773] ppid=1744 vsize=362936 CPUtime=156.2 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) S 1744 1744 1177 0 -1 4202560 182714 0 0 0 15524 96 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 3935170192 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=362936 CPUtime=154.61 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) S 1744 1744 1177 0 -1 4202560 155631 0 0 0 15372 89 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 3893583504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=362936 CPUtime=158.84 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) R 1744 1744 1177 0 -1 4202560 217244 0 0 0 15788 96 0 0 20 0 8 0 390921360 371646464 64574 33554432000 134512640 146736320 4290234656 3879252560 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1691.62
Current children cumulated vsize (KiB) 372084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+554.101 s]
/proc/loadavg: 9.87 9.73 7.27 14/193 1914
/proc/meminfo: memFree=31015256/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=363060 CPUtime=1799.21 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 2097479 0 0 0 178890 1031 0 0 20 0 8 0 390904871 371773440 64689 33554432000 134512640 146736320 4290234656 4290227536 136008172 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1745/statm: 90765 64689 1011 2985 0 87699 0
[pid=1745/tid=1768] ppid=1744 vsize=363060 CPUtime=164.07 cores=0,2,4,6
/proc/1745/task/1768/stat : 1768 (pb_cplex) R 1744 1744 1177 0 -1 4202560 123965 0 0 0 16325 82 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4033464740 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1769] ppid=1744 vsize=363060 CPUtime=167.65 cores=0,2,4,6
/proc/1745/task/1769/stat : 1769 (pb_cplex) R 1744 1744 1177 0 -1 4202560 135912 0 0 0 16672 93 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4043948240 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1770] ppid=1744 vsize=363060 CPUtime=173.58 cores=0,2,4,6
/proc/1745/task/1770/stat : 1770 (pb_cplex) R 1744 1744 1177 0 -1 4202560 190563 0 0 0 17257 101 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4054433844 135450734 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1772] ppid=1744 vsize=363060 CPUtime=164.25 cores=0,2,4,6
/proc/1745/task/1772/stat : 1772 (pb_cplex) R 1744 1744 1177 0 -1 4202560 185257 0 0 0 16330 95 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4110939236 139028303 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1773] ppid=1744 vsize=363060 CPUtime=169.02 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) R 1744 1744 1177 0 -1 4202560 186875 0 0 0 16800 102 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3935166672 136008335 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=363060 CPUtime=166.86 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) R 1744 1744 1177 0 -1 4202560 158817 0 0 0 16593 93 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3893580368 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=363060 CPUtime=173.04 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) R 1744 1744 1177 0 -1 4202560 220531 0 0 0 17202 102 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3879252868 135850428 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 372208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+554.101 s]
/proc/loadavg: 9.87 9.73 7.27 14/193 1914
/proc/meminfo: memFree=31015256/32873844 swapFree=7120/7120
[pid=1744] ppid=1742 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1744/stat : 1744 (run) S 1742 1744 1177 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390904871 9367552 269 33554432000 4194304 5064252 140736600005968 140736600004880 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1744/statm: 2287 269 229 213 0 72 0
[pid=1745] ppid=1744 vsize=363060 CPUtime=1799.21 cores=0,2,4,6
/proc/1745/stat : 1745 (pb_cplex) R 1744 1744 1177 0 -1 4202496 2097479 0 0 0 178890 1031 0 0 20 0 8 0 390904871 371773440 64689 33554432000 134512640 146736320 4290234656 4290227536 136008172 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1745/statm: 90765 64689 1011 2985 0 87699 0
[pid=1745/tid=1768] ppid=1744 vsize=363060 CPUtime=164.07 cores=0,2,4,6
/proc/1745/task/1768/stat : 1768 (pb_cplex) R 1744 1744 1177 0 -1 4202560 123965 0 0 0 16325 82 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4033464740 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1769] ppid=1744 vsize=363060 CPUtime=167.65 cores=0,2,4,6
/proc/1745/task/1769/stat : 1769 (pb_cplex) R 1744 1744 1177 0 -1 4202560 135912 0 0 0 16672 93 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4043948240 136008050 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1770] ppid=1744 vsize=363060 CPUtime=173.58 cores=0,2,4,6
/proc/1745/task/1770/stat : 1770 (pb_cplex) R 1744 1744 1177 0 -1 4202560 190563 0 0 0 17257 101 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4054433844 135450734 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1745/tid=1772] ppid=1744 vsize=363060 CPUtime=164.25 cores=0,2,4,6
/proc/1745/task/1772/stat : 1772 (pb_cplex) R 1744 1744 1177 0 -1 4202560 185257 0 0 0 16330 95 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 4110939236 139028303 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1745/tid=1773] ppid=1744 vsize=363060 CPUtime=169.02 cores=0,2,4,6
/proc/1745/task/1773/stat : 1773 (pb_cplex) R 1744 1744 1177 0 -1 4202560 186875 0 0 0 16800 102 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3935166672 136008335 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1745/tid=1774] ppid=1744 vsize=363060 CPUtime=166.86 cores=0,2,4,6
/proc/1745/task/1774/stat : 1774 (pb_cplex) R 1744 1744 1177 0 -1 4202560 158817 0 0 0 16593 93 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3893580368 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1745/tid=1775] ppid=1744 vsize=363060 CPUtime=173.04 cores=0,2,4,6
/proc/1745/task/1775/stat : 1775 (pb_cplex) R 1744 1744 1177 0 -1 4202560 220531 0 0 0 17202 102 0 0 20 0 8 0 390921360 371773440 64689 33554432000 134512640 146736320 4290234656 3879252868 135850428 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.21
Current children cumulated vsize (KiB) 372208
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1744 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.880005
# lost CPU user time (s): 0.940002
# lost CPU system time (s): -0.0599999
Real time (s): 554.117
CPU time (s): 1800.09
CPU user time (s): 1789.84
CPU system time (s): 10.25
CPU usage (%): 324.857
Max. virtual memory (cumulated for all children) (KiB): 408660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 1.66075 second user time and 3.72543 second system time
The end