runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3482391-1307576827/watcher-3482391-1307576827 -o /tmp/evaluation-result-3482391-1307576827/solver-3482391-1307576827 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482391-1307576827.opb -seed 1910217087 -budget 1800
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: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/18562/stat : 18562 (python) R 18560 18562 17508 0 -1 4202496 996 0 0 0 0 0 0 0 17 0 1 0 947913445 16625664 870 33554432000 4194304 5683644 140733792578000 18446744073709551615 4842480 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18562/statm: 4059 872 371 364 0 546 0
[startup+0.126087 s]
/proc/loadavg: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/18562/stat : 18562 (python) R 18560 18562 17508 0 -1 4202496 3168 930 1 0 6 2 0 0 18 0 1 0 947913445 98430976 2483 33554432000 4194304 5683644 140733792578000 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18562/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.20101 s]
/proc/loadavg: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=117900 CPUtime=0.13 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 4919 930 1 0 9 4 0 0 17 0 1 0 947913445 120729600 3345 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18562/statm: 29475 3345 916 364 0 2445 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 117900
[startup+0.301407 s]
/proc/loadavg: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 5357 930 1 0 12 6 0 0 17 0 1 0 947913445 126709760 3744 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/18562/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700952 s]
/proc/loadavg: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=261404 CPUtime=0.38 cores=0,2,4,6
/proc/18562/stat : 18562 (python) D 18560 18562 17508 0 -1 4202496 8254 930 1 0 27 11 0 0 16 0 1 0 947913445 267677696 6351 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735184439 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/18562/statm: 65351 6351 1677 364 0 5067 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 261404
[startup+1.81171 s]
/proc/loadavg: 3.66 2.18 0.98 2/546 18562
/proc/meminfo: memFree=30869948/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=291424 CPUtime=1.21 cores=0,2,4,6
/proc/18562/stat : 18562 (python) R 18560 18562 17508 0 -1 4202496 14610 1429 1 0 86 13 20 2 18 0 1 0 947913445 298418176 9204 33554432000 4194304 5683644 140733792578000 18446744073709551615 216738587317 0 0 16781312 33554434 0 0 0 17 6 0 0 33
/proc/18562/statm: 72856 9204 1817 364 0 7749 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 291424
[startup+3.10149 s]
/proc/loadavg: 3.66 2.18 0.98 3/567 18589
/proc/meminfo: memFree=30818704/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=302336 CPUtime=1.33 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 15463 1429 1 0 97 14 20 2 20 0 2 0 947913445 309592064 9418 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 33
/proc/18562/statm: 75584 9418 1865 364 0 10471 0
[pid=18570] ppid=18562 vsize=292092 CPUtime=0 cores=0,2,4,6
/proc/18570/stat : 18570 (python) S 18562 18562 17508 0 -1 4202560 730 0 0 0 0 0 0 0 15 0 1 0 947913638 299102208 7867 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735198735 0 0 16781312 33554946 10624540490801840387 0 0 17 0 0 0 0
/proc/18570/statm: 73023 7867 318 364 0 7910 0
[pid=18572] ppid=18570 vsize=8541856 CPUtime=2.49 cores=0,2,4,6
/proc/18572/stat : 18572 (java) S 18570 18572 18572 0 -1 4202496 31335 0 1 0 243 6 0 0 18 0 19 0 947913638 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18572/statm: 2135464 27753 2229 9 0 2126205 0
[pid=18572/tid=18573] ppid=18570 vsize=8541856 CPUtime=1.06 cores=0,2,4,6
/proc/18572/task/18573/stat : 18573 (java) R 18570 18572 18572 0 -1 4202560 20604 0 1 0 102 4 0 0 19 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 46912506035490 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=18572/tid=18574] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947913639 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 18572 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 947913640 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 0 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 18572 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 947913641 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 18572 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947913641 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18585] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18585/stat : 18585 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913643 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216747002289 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18586] ppid=18570 vsize=8541856 CPUtime=0.72 cores=0,2,4,6
/proc/18572/task/18586/stat : 18586 (java) S 18570 18572 18572 0 -1 4202560 4664 0 0 0 72 0 0 0 16 0 19 0 947913643 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18587] ppid=18570 vsize=8541856 CPUtime=0.68 cores=0,2,4,6
/proc/18572/task/18587/stat : 18587 (java) S 18570 18572 18572 0 -1 4202560 4672 0 0 0 68 0 0 0 15 0 19 0 947913643 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18588] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18588/stat : 18588 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913643 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18589] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18589/stat : 18589 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 947913643 8746860544 27753 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 4 0 16800975 18446604452895230720 0 0 -1 2 0 0 0
[pid=18562/tid=18571] ppid=18560 vsize=302336 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18571/stat : 18571 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 2 0 947913638 309592064 9418 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9136284
[startup+6.30093 s]
/proc/loadavg: 3.61 2.19 1.00 3/568 18590
/proc/meminfo: memFree=30651244/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=302336 CPUtime=1.33 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 15463 1429 1 0 97 14 20 2 20 0 2 0 947913445 309592064 9418 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 33
/proc/18562/statm: 75584 9418 1865 364 0 10471 0
[pid=18570] ppid=18562 vsize=292092 CPUtime=0.02 cores=0,2,4,6
/proc/18570/stat : 18570 (python) S 18562 18562 17508 0 -1 4202560 885 0 0 0 1 1 0 0 15 0 1 0 947913638 299102208 7891 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735198735 0 0 16781312 33554946 10624547294030037251 0 0 17 4 0 0 0
/proc/18570/statm: 73023 7891 342 364 0 7910 0
[pid=18572] ppid=18570 vsize=8541856 CPUtime=5.93 cores=0,2,4,6
/proc/18572/stat : 18572 (java) S 18570 18572 18572 0 -1 4202496 57117 0 1 0 584 9 0 0 18 0 19 0 947913638 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18572/statm: 2135464 53516 2243 9 0 2126205 0
[pid=18572/tid=18573] ppid=18570 vsize=8541856 CPUtime=4.21 cores=0,2,4,6
/proc/18572/task/18573/stat : 18573 (java) R 18570 18572 18572 0 -1 4202560 35287 0 1 0 415 6 0 0 25 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 46912506035480 0 4 0 16800975 0 0 0 -1 6 0 0 8
[pid=18572/tid=18574] ppid=18570 vsize=8541856 CPUtime=0.02 cores=0,2,4,6
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 18572 0 -1 4202560 1470 0 0 0 2 0 0 0 18 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 18572 0 -1 4202560 1749 0 0 0 1 0 0 0 16 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 18572 0 -1 4202560 675 0 0 0 0 0 0 0 18 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18578/stat : 18578 (java) S 18570 18572 18572 0 -1 4202560 982 0 0 0 1 0 0 0 18 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18579/stat : 18579 (java) S 18570 18572 18572 0 -1 4202560 2564 0 0 0 1 0 0 0 18 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=8541856 CPUtime=0.02 cores=0,2,4,6
/proc/18572/task/18580/stat : 18580 (java) S 18570 18572 18572 0 -1 4202560 2110 0 0 0 2 0 0 0 18 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 2 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18581/stat : 18581 (java) S 18570 18572 18572 0 -1 4202560 1472 0 0 0 1 0 0 0 16 0 19 0 947913639 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18582/stat : 18582 (java) S 18570 18572 18572 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 947913640 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 0 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18583/stat : 18583 (java) S 18570 18572 18572 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947913641 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18584/stat : 18584 (java) S 18570 18572 18572 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947913641 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 4
[pid=18572/tid=18585] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18585/stat : 18585 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913643 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216747002289 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18586] ppid=18570 vsize=8541856 CPUtime=0.78 cores=0,2,4,6
/proc/18572/task/18586/stat : 18586 (java) S 18570 18572 18572 0 -1 4202560 4669 0 0 0 78 0 0 0 16 0 19 0 947913643 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18587] ppid=18570 vsize=8541856 CPUtime=0.78 cores=0,2,4,6
/proc/18572/task/18587/stat : 18587 (java) S 18570 18572 18572 0 -1 4202560 4680 0 0 0 78 0 0 0 15 0 19 0 947913643 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18588] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18588/stat : 18588 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947913643 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 6 0 0 0
[pid=18572/tid=18589] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18589/stat : 18589 (java) S 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 947913643 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 4 0 16800975 18446604452895230720 0 0 -1 2 0 0 0
[pid=18572/tid=18590] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18590/stat : 18590 (java) S 18570 18572 18572 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947913709 8746860544 53516 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 4 0 16800975 18446604452895230720 0 0 -1 2 0 0 0
[pid=18562/tid=18571] ppid=18560 vsize=302336 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18571/stat : 18571 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 2 0 947913638 309592064 9418 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 9136284
[startup+12.7009 s]
/proc/loadavg: 3.48 2.19 1.00 3/568 18590
/proc/meminfo: memFree=30476332/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=302336 CPUtime=1.33 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 15463 1429 1 0 97 14 20 2 20 0 2 0 947913445 309592064 9418 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 33
/proc/18562/statm: 75584 9418 1865 364 0 10471 0
[pid=18570] ppid=18562 vsize=292092 CPUtime=0.03 cores=0,2,4,6
/proc/18570/stat : 18570 (python) S 18562 18562 17508 0 -1 4202560 888 0 0 0 1 2 0 0 15 0 1 0 947913638 299102208 7891 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735198735 0 0 16781312 33554946 72409437758827288 0 0 17 4 0 0 0
/proc/18570/statm: 73023 7891 342 364 0 7910 0
[pid=18572] ppid=18570 vsize=8541856 CPUtime=12.45 cores=0,2,4,6
/proc/18572/stat : 18572 (java) S 18570 18572 18572 0 -1 4202496 94007 0 1 0 1232 13 0 0 18 0 19 0 947913638 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18572/statm: 2135464 90366 2244 9 0 2126205 0
[pid=18572/tid=18573] ppid=18570 vsize=8541856 CPUtime=10.57 cores=0,2,4,6
/proc/18572/task/18573/stat : 18573 (java) R 18570 18572 18572 0 -1 4202560 62716 0 1 0 1049 8 0 0 25 0 19 0 947913639 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 46912506110209 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=18572/tid=18574] ppid=18570 vsize=8541856 CPUtime=0.03 cores=0,2,4,6
/proc/18572/task/18574/stat : 18574 (java) S 18570 18572 18572 0 -1 4202560 2903 0 0 0 3 0 0 0 16 0 19 0 947913639 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18575/stat : 18575 (java) S 18570 18572 18572 0 -1 4202560 1877 0 0 0 1 0 0 0 16 0 19 0 947913639 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 0 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
/proc/18572/task/18576/stat : 18576 (java) S 18570 18572 18572 0 -1 4202560 1749 0 0 0 1 0 0 0 15 0 19 0 947913639 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=8541856 CPUtime=0.02 cores=0,2,4,6
/proc/18572/task/18577/stat : 18577 (java) S 18570 18572 18572 0 -1 4202560 3014 0 0 0 2 0 0 0 16 0 19 0 947913639 8746860544 90366 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446604452895230720 0 0 -1 4 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=8541856 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/18844/stat : 18844 (minion) T 18842 18844 18844 0 -1 4202496 65310 0 0 0 4786 6 0 0 25 0 1 0 948080289 281554944 61371 33554432000 134512640 165565024 4288271136 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/18844/statm: 68739 61371 359 7582 0 61154 0
[pid=18842/tid=18848] ppid=18562 vsize=363884 CPUtime=0 cores=0,2,4,6
/proc/18842/task/18848/stat : 18848 (python) S 18562 18562 17508 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948085083 372617216 7974 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604446351606144 0 0 -1 6 0 0 0
[pid=18562/tid=18571] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18571/stat : 18571 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 9 0 947913638 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
[pid=18562/tid=18594] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18594/stat : 18594 (python) S 18560 18562 17508 0 -1 4202560 49 1429 0 0 0 0 20 2 18 0 9 0 947918530 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 4 0 0 0
[pid=18562/tid=18599] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18599/stat : 18599 (python) S 18560 18562 17508 0 -1 4202560 39 1429 0 0 0 0 20 2 18 0 9 0 947923416 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 4 0 0 0
[pid=18562/tid=18605] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18605/stat : 18605 (python) S 18560 18562 17508 0 -1 4202560 31 1429 0 0 0 0 20 2 18 0 9 0 947928242 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18743] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18743/stat : 18743 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 9 0 947960660 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18808] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18808/stat : 18808 (python) S 18560 18562 17508 0 -1 4202560 30 1429 0 0 0 0 20 2 20 0 9 0 948010916 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
[pid=18562/tid=18837] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18837/stat : 18837 (python) S 18560 18562 17508 0 -1 4202560 32 1429 0 0 0 0 20 2 18 0 9 0 948070484 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18843] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18843/stat : 18843 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 23 0 9 0 948080289 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 12928588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.9 s]
/proc/loadavg: 2.17 2.11 1.91 3/652 18850
/proc/meminfo: memFree=26810260/32951124 swapFree=49879164/67111528
[pid=18562] ppid=18560 vsize=374128 CPUtime=3.68 cores=0,2,4,6
/proc/18562/stat : 18562 (python) S 18560 18562 17508 0 -1 4202496 22760 1429 1 0 329 17 20 2 18 0 9 0 947913445 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 33
/proc/18562/statm: 93532 9469 1888 364 0 28398 0
[pid=18570] ppid=18562 vsize=302336 CPUtime=0.2 cores=0,2,4,6
/proc/18570/stat : 18570 (python) S 18562 18562 17508 0 -1 4202560 1178 0 0 0 10 10 0 0 16 0 2 0 947913638 309592064 7964 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/18570/statm: 75584 7964 410 364 0 10471 0
[pid=18572] ppid=18570 vsize=8541856 CPUtime=50.75 cores=0,2,4,6
/proc/18572/stat : 18572 (java) T 18570 18572 18572 0 -1 4202496 120191 0 1 0 5057 18 0 0 18 0 19 0 947913638 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18572/statm: 2135464 113222 2244 9 0 2126205 0
[pid=18572/tid=18573] ppid=18570 vsize=8541856 CPUtime=48.57 cores=0,2,4,6
/proc/18572/task/18573/stat : 18573 (java) T 18570 18572 18572 0 -1 4202560 62721 0 1 0 4849 8 0 0 25 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 46912506110173 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 8
[pid=18572/tid=18574] ppid=18570 vsize=8541856 CPUtime=0.07 cores=0,2,4,6
/proc/18572/task/18574/stat : 18574 (java) T 18570 18572 18572 0 -1 4202560 6139 0 0 0 6 1 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18572/tid=18575] ppid=18570 vsize=8541856 CPUtime=0.03 cores=0,2,4,6
/proc/18572/task/18575/stat : 18575 (java) T 18570 18572 18572 0 -1 4202560 3556 0 0 0 3 0 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18572/tid=18576] ppid=18570 vsize=8541856 CPUtime=0.04 cores=0,2,4,6
/proc/18572/task/18576/stat : 18576 (java) T 18570 18572 18572 0 -1 4202560 3587 0 0 0 4 0 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18572/tid=18577] ppid=18570 vsize=8541856 CPUtime=0.05 cores=0,2,4,6
/proc/18572/task/18577/stat : 18577 (java) T 18570 18572 18572 0 -1 4202560 7139 0 0 0 4 1 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18572/tid=18578] ppid=18570 vsize=8541856 CPUtime=0.04 cores=0,2,4,6
/proc/18572/task/18578/stat : 18578 (java) T 18570 18572 18572 0 -1 4202560 6229 0 0 0 3 1 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18572/tid=18579] ppid=18570 vsize=8541856 CPUtime=0.06 cores=0,2,4,6
/proc/18572/task/18579/stat : 18579 (java) T 18570 18572 18572 0 -1 4202560 8299 0 0 0 6 0 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18572/tid=18580] ppid=18570 vsize=8541856 CPUtime=0.06 cores=0,2,4,6
/proc/18572/task/18580/stat : 18580 (java) T 18570 18572 18572 0 -1 4202560 4655 0 0 0 6 0 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18572/tid=18581] ppid=18570 vsize=8541856 CPUtime=0.06 cores=0,2,4,6
/proc/18572/task/18581/stat : 18581 (java) T 18570 18572 18572 0 -1 4202560 7009 0 0 0 5 1 0 0 15 0 19 0 947913639 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18572/tid=18582] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18582/stat : 18582 (java) T 18570 18572 18572 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 947913640 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18572/tid=18583] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18583/stat : 18583 (java) T 18570 18572 18572 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947913641 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18572/tid=18584] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18584/stat : 18584 (java) T 18570 18572 18572 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947913641 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 4
[pid=18572/tid=18585] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18585/stat : 18585 (java) T 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947913643 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216747002289 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18572/tid=18586] ppid=18570 vsize=8541856 CPUtime=0.79 cores=0,2,4,6
/proc/18572/task/18586/stat : 18586 (java) T 18570 18572 18572 0 -1 4202560 4673 0 0 0 79 0 0 0 15 0 19 0 947913643 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18572/tid=18587] ppid=18570 vsize=8541856 CPUtime=0.86 cores=0,2,4,6
/proc/18572/task/18587/stat : 18587 (java) T 18570 18572 18572 0 -1 4202560 4698 0 0 0 86 0 0 0 15 0 19 0 947913643 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=18572/tid=18588] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18588/stat : 18588 (java) T 18570 18572 18572 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947913643 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746994585 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=18572/tid=18589] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18589/stat : 18589 (java) T 18570 18572 18572 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947913643 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=18572/tid=18590] ppid=18570 vsize=8541856 CPUtime=0 cores=0,2,4,6
/proc/18572/task/18590/stat : 18590 (java) T 18570 18572 18572 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947913709 8746860544 113222 33554432000 1073741824 1073778376 140734298725168 18446744073709551615 216746995200 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=18570/tid=18592] ppid=18562 vsize=302336 CPUtime=0 cores=0,2,4,6
/proc/18570/task/18592/stat : 18592 (python) S 18562 18562 17508 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947918527 309592064 7964 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604452895228032 0 0 -1 2 0 0 0
[pid=18593] ppid=18562 vsize=302348 CPUtime=4.85 cores=0,2,4,6
/proc/18593/stat : 18593 (python) S 18562 18562 17508 0 -1 4202560 1194 0 0 0 245 240 0 0 16 0 2 0 947918529 309604352 7944 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18593/statm: 75587 7944 390 364 0 10471 0
[pid=18595] ppid=18593 vsize=288384 CPUtime=1054.19 cores=0,2,4,6
/proc/18595/stat : 18595 (scip-2.0.1.linu) T 18593 18595 18595 0 -1 4202496 75803 0 0 0 105214 205 0 0 25 0 1 0 947918530 295305216 69413 33554432000 4194304 13684479 140735234877296 18446744073709551615 7399088 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/18595/statm: 72096 69413 852 2317 0 69774 0
[pid=18593/tid=18597] ppid=18562 vsize=302348 CPUtime=0 cores=0,2,4,6
/proc/18593/task/18597/stat : 18597 (python) S 18562 18562 17508 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947923414 309604352 7944 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604441767269632 0 0 -1 6 0 0 0
[pid=18598] ppid=18562 vsize=312604 CPUtime=1.42 cores=0,2,4,6
/proc/18598/stat : 18598 (python) S 18562 18562 17508 0 -1 4202560 1214 0 0 0 75 67 0 0 18 0 2 0 947923416 320106496 7957 33554432000 4194304 5683644 140733792578000 18446744073709551615 216735198790 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18598/statm: 78151 7957 399 364 0 13032 0
[pid=18600] ppid=18598 vsize=74556 CPUtime=307.53 cores=0,2,4,6
/proc/18600/stat : 18600 (clasp-1.3.7-x86) R 18598 18600 18600 0 -1 4202496 19247 0 0 0 30745 8 0 0 25 0 1 0 947923416 76345344 18212 33554432000 134512640 136139019 4291475504 18446744073709551615 134831878 0 0 16781312 16386 0 0 0 17 2 0 0 0
/proc/18600/statm: 18639 18212 183 398 0 18239 0
[pid=18598/tid=18603] ppid=18562 vsize=312604 CPUtime=0 cores=0,2,4,6
/proc/18598/task/18603/stat : 18603 (python) S 18562 18562 17508 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 947928240 320106496 7957 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604448855017536 0 0 -1 0 0 0 0
[pid=18604] ppid=18562 vsize=322860 CPUtime=0.69 cores=0,2,4,6
/proc/18604/stat : 18604 (python) S 18562 18562 17508 0 -1 4202560 1196 0 0 0 37 32 0 0 15 0 2 0 947928242 330608640 7952 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18604/statm: 80715 7952 390 364 0 15593 0
[pid=18606] ppid=18604 vsize=243376 CPUtime=138.74 cores=0,2,4,6
/proc/18606/stat : 18606 (scip-2.0.1.linu) T 18604 18606 18606 0 -1 4202496 94336 0 0 0 13838 36 0 0 25 0 1 0 947928242 249217024 56596 33554432000 4194304 15243407 140733545574032 18446744073709551615 4900240 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/18606/statm: 60844 56596 950 2698 0 58139 0
[pid=18604/tid=18608] ppid=18562 vsize=322860 CPUtime=0 cores=0,2,4,6
/proc/18604/task/18608/stat : 18608 (python) S 18562 18562 17508 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 2 0 947933121 330608640 7952 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604447118478400 0 0 -1 0 0 0 0
[pid=18742] ppid=18562 vsize=333116 CPUtime=0.41 cores=0,2,4,6
/proc/18742/stat : 18742 (python) S 18562 18562 17508 0 -1 4202560 1199 0 0 0 19 22 0 0 17 0 2 0 947960660 341110784 7956 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18742/statm: 83279 7956 390 364 0 18154 0
[pid=18744] ppid=18742 vsize=319252 CPUtime=92.41 cores=0,2,4,6
/proc/18744/stat : 18744 (bsolo_pb10) T 18742 18744 18744 0 -1 4202496 78566 0 0 0 9224 17 0 0 25 0 1 0 947960661 326914048 77332 33554432000 134512640 137138936 4287369616 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/18744/statm: 79813 77332 190 642 0 79169 0
[pid=18742/tid=18752] ppid=18562 vsize=333116 CPUtime=0 cores=0,2,4,6
/proc/18742/task/18752/stat : 18752 (python) S 18562 18562 17508 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 947969907 341110784 7956 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604443553798848 0 0 -1 4 0 0 0
[pid=18807] ppid=18562 vsize=343372 CPUtime=0.22 cores=0,2,4,6
/proc/18807/stat : 18807 (python) S 18562 18562 17508 0 -1 4202560 1171 0 0 0 11 11 0 0 16 0 2 0 948010915 351612928 7960 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18807/statm: 85843 7960 390 364 0 20715 0
[pid=18809] ppid=18807 vsize=93116 CPUtime=46.59 cores=0,2,4,6
/proc/18809/stat : 18809 (bsolo_pb10) T 18807 18809 18809 0 -1 4202496 22016 0 0 0 4650 9 0 0 25 0 1 0 948010916 95350784 20785 33554432000 134512640 137138936 4287874336 18446744073709551615 134542316 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/18809/statm: 23279 20785 192 642 0 22635 0
[pid=18807/tid=18811] ppid=18562 vsize=343372 CPUtime=0 cores=0,2,4,6
/proc/18807/task/18811/stat : 18811 (python) S 18562 18562 17508 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 948015576 351612928 7960 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604450237671424 0 0 -1 2 0 0 0
[pid=18835] ppid=18562 vsize=353628 CPUtime=0.27 cores=0,2,4,6
/proc/18835/stat : 18835 (python) S 18562 18562 17508 0 -1 4202560 1193 0 0 0 15 12 0 0 17 0 2 0 948070484 362115072 7964 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/18835/statm: 88407 7964 390 364 0 23276 0
[pid=18838] ppid=18835 vsize=84816 CPUtime=49.94 cores=0,2,4,6
/proc/18838/stat : 18838 (wbo1.4a) T 18835 18838 18838 0 -1 4202496 21293 0 0 0 4981 13 0 0 25 0 1 0 948070484 86851584 20652 33554432000 134512640 135751879 4288698144 18446744073709551615 134518828 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/18838/statm: 21204 20652 143 303 0 20899 0
[pid=18835/tid=18840] ppid=18562 vsize=353628 CPUtime=0 cores=0,2,4,6
/proc/18835/task/18840/stat : 18840 (python) S 18562 18562 17508 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 948075486 362115072 7964 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604453806794816 0 0 -1 0 0 0 0
[pid=18842] ppid=18562 vsize=363884 CPUtime=0.23 cores=0,2,4,6
/proc/18842/stat : 18842 (python) S 18562 18562 17508 0 -1 4202560 1233 0 0 0 12 11 0 0 17 0 2 0 948080289 372617216 7974 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747005387 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/18842/statm: 90971 7974 396 364 0 25837 0
[pid=18844] ppid=18842 vsize=274956 CPUtime=47.92 cores=0,2,4,6
/proc/18844/stat : 18844 (minion) T 18842 18844 18844 0 -1 4202496 65310 0 0 0 4786 6 0 0 25 0 1 0 948080289 281554944 61371 33554432000 134512640 165565024 4288271136 18446744073709551615 159737071 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/18844/statm: 68739 61371 359 7582 0 61154 0
[pid=18842/tid=18848] ppid=18562 vsize=363884 CPUtime=0 cores=0,2,4,6
/proc/18842/task/18848/stat : 18848 (python) S 18562 18562 17508 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948085083 372617216 7974 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554946 18446604446351606144 0 0 -1 6 0 0 0
[pid=18562/tid=18571] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18571/stat : 18571 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 9 0 947913638 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
[pid=18562/tid=18594] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18594/stat : 18594 (python) S 18560 18562 17508 0 -1 4202560 49 1429 0 0 0 0 20 2 18 0 9 0 947918530 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 4 0 0 0
[pid=18562/tid=18599] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18599/stat : 18599 (python) S 18560 18562 17508 0 -1 4202560 39 1429 0 0 0 0 20 2 18 0 9 0 947923416 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 4 0 0 0
[pid=18562/tid=18605] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18605/stat : 18605 (python) S 18560 18562 17508 0 -1 4202560 31 1429 0 0 0 0 20 2 18 0 9 0 947928242 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18743] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18743/stat : 18743 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 20 0 9 0 947960660 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18808] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18808/stat : 18808 (python) S 18560 18562 17508 0 -1 4202560 30 1429 0 0 0 0 20 2 20 0 9 0 948010916 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 0 0 0 0
[pid=18562/tid=18837] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18837/stat : 18837 (python) S 18560 18562 17508 0 -1 4202560 32 1429 0 0 0 0 20 2 18 0 9 0 948070484 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 6 0 0 0
[pid=18562/tid=18843] ppid=18560 vsize=374128 CPUtime=0.22 cores=0,2,4,6
/proc/18562/task/18843/stat : 18843 (python) S 18560 18562 17508 0 -1 4202560 29 1429 0 0 0 0 20 2 23 0 9 0 948080289 383107072 9469 33554432000 4194304 5683644 140733792578000 18446744073709551615 216747002289 0 0 16781312 33554434 18446604448853125056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12928588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18562 and gives
# childrusage.ru_utime.tv_sec=315
# childrusage.ru_utime.tv_usec=264072
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=375334
# CPU time returned by wait4() is 319.639
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.98
CPU time (s): 1800.04
CPU user time (s): 1792.68
CPU system time (s): 7.36
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 12932460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 315.264
system time used= 4.37533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55153
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13518
involuntary context switches= 832
runsolver used 16.1136 second user time and 32.718 second system time
The end