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-3481440-1307577832/watcher-3481440-1307577832 -o /tmp/evaluation-result-3481440-1307577832/solver-3481440-1307577832 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481440-1307577832.opb -seed 1249469173 -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: 2.17 2.03 1.59 1/485 31953
/proc/meminfo: memFree=29463064/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/31953/stat : 31953 (python) R 31951 31953 31366 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 869381269 16629760 922 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122712064 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/31953/statm: 4060 922 381 364 0 547 0
[startup+0.104384 s]
/proc/loadavg: 2.17 2.03 1.59 1/485 31953
/proc/meminfo: memFree=29463064/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=94068 CPUtime=0.08 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 2796 0 1 0 5 3 0 0 17 0 1 0 869381269 96325632 2469 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122713856 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/31953/statm: 23517 2469 788 364 0 1628 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 94068
[startup+0.200275 s]
/proc/loadavg: 2.17 2.03 1.59 1/485 31953
/proc/meminfo: memFree=29463064/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 5308 929 1 0 11 4 0 0 17 0 1 0 869381269 126709760 3710 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/31953/statm: 30935 3710 986 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.30027 s]
/proc/loadavg: 2.17 2.03 1.59 1/485 31953
/proc/meminfo: memFree=29463064/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=168308 CPUtime=0.22 cores=0,2,4,6
/proc/31953/stat : 31953 (python) R 31951 31953 31366 0 -1 4202496 5975 929 1 0 15 7 0 0 17 0 1 0 869381269 172347392 4292 33554432000 4194304 5683644 140735058415904 18446744073709551615 47152655357505 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31953/statm: 42077 4292 1200 364 0 3294 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 168308
[startup+0.700192 s]
/proc/loadavg: 2.17 2.03 1.59 1/485 31953
/proc/meminfo: memFree=29463064/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=271348 CPUtime=0.38 cores=0,2,4,6
/proc/31953/stat : 31953 (python) D 31951 31953 31366 0 -1 4202496 8752 929 1 0 28 10 0 0 17 0 1 0 869381269 277860352 6713 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122719799 0 0 16781312 2 18446744071562154983 0 0 17 4 0 0 0
/proc/31953/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 271348
[startup+1.51804 s]
/proc/loadavg: 2.17 2.03 1.59 3/484 31968
/proc/meminfo: memFree=29440496/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 698 0 0 0 0 0 0 0 19 0 1 0 869381409 291074048 5901 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 10331393373528621314 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5901 319 364 0 5950 0
[pid=31968] ppid=31966 vsize=31396 CPUtime=0.11 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 5950 0 0 0 8 3 0 0 21 0 1 0 869381409 32149504 5325 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 7849 5325 586 2317 0 5527 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 610144
[startup+3.10076 s]
/proc/loadavg: 2.17 2.03 1.59 2/485 31984
/proc/meminfo: memFree=29415564/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 722 0 0 0 0 0 0 0 15 0 1 0 869381409 291074048 5901 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 577644161822359552 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5901 319 364 0 5950 0
[pid=31968] ppid=31966 vsize=51868 CPUtime=1.69 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 12548 0 0 0 158 11 0 0 19 0 1 0 869381409 53112832 10628 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 12967 10628 790 2317 0 10645 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 630616
heavy processes:
[startup+6.30118 s]
/proc/loadavg: 2.32 2.07 1.61 3/492 32003
/proc/meminfo: memFree=29332192/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0.02 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 855 0 0 0 1 1 0 0 15 0 1 0 869381409 291074048 5925 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 768540850945785856 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5925 343 364 0 5950 0
[pid=31968] ppid=31966 vsize=58904 CPUtime=4.89 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 14415 0 0 0 476 13 0 0 25 0 1 0 869381409 60317696 12464 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 14726 12464 781 2317 0 12404 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 637652
[startup+12.701 s]
/proc/loadavg: 2.29 2.06 1.61 3/492 32003
/proc/meminfo: memFree=29286616/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0.04 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 863 0 0 0 2 2 0 0 15 0 1 0 869381409 291074048 5925 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 3202955479986733056 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5925 343 364 0 5950 0
[pid=31968] ppid=31966 vsize=58904 CPUtime=11.29 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 14426 0 0 0 1113 16 0 0 18 0 1 0 869381409 60317696 12475 33554432000 4194304 13684479 140737339829296 18446744073709551615 4957346 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 14726 12475 781 2317 0 12404 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 637652
[startup+25.5007 s]
/proc/loadavg: 2.30 2.08 1.62 3/492 32005
/proc/meminfo: memFree=29278656/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0.08 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 873 0 0 0 4 4 0 0 15 0 1 0 869381409 291074048 5925 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5925 343 364 0 5950 0
[pid=31968] ppid=31966 vsize=58176 CPUtime=24.09 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 14974 0 0 0 2386 23 0 0 25 0 1 0 869381409 59572224 12351 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 14544 12351 803 2317 0 12222 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 636924
[startup+51.1011 s]
/proc/loadavg: 2.36 2.10 1.64 3/492 32007
/proc/meminfo: memFree=29273740/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=294496 CPUtime=0.57 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 11012 1351 1 0 42 12 2 1 20 0 2 0 869381269 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 72
/proc/31953/statm: 73624 7457 1871 364 0 8511 0
[pid=31966] ppid=31953 vsize=284252 CPUtime=0.18 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 884 0 0 0 9 9 0 0 15 0 1 0 869381409 291074048 5925 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734095 0 0 16781312 33554946 652606158774730752 0 0 17 6 0 0 0
/proc/31966/statm: 71063 5925 343 364 0 5950 0
[pid=31968] ppid=31966 vsize=58176 CPUtime=49.69 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) R 31966 31968 31968 0 -1 4202496 14976 0 0 0 4932 37 0 0 19 0 1 0 869381409 59572224 12353 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/31968/statm: 14544 12353 805 2317 0 12222 0
[pid=31953/tid=31967] ppid=31951 vsize=294496 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 2 0 869381409 301563904 7457 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 636924
[startup+102.302 s]
/proc/loadavg: 2.23 2.10 1.66 3/544 32060
/proc/meminfo: memFree=28760792/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=315512 CPUtime=0.63 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 12863 1351 1 0 47 13 2 1 20 0 4 0 869381269 323084288 7599 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 72
/proc/31953/statm: 78878 7599 1876 364 0 13759 0
[pid=31966] ppid=31953 vsize=294496 CPUtime=0.2 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 1078 0 0 0 10 10 0 0 16 0 2 0 869381409 301563904 5993 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31966/statm: 73624 5993 406 364 0 8511 0
[pid=31968] ppid=31966 vsize=58176 CPUtime=50.27 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) T 31966 31968 31968 0 -1 4202496 14976 0 0 0 4990 37 0 0 21 0 1 0 869381409 59572224 12353 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31968/statm: 14544 12353 805 2317 0 12222 0
[pid=31966/tid=32008] ppid=31953 vsize=294496 CPUtime=0 cores=0,2,4,6
/proc/31966/task/32008/stat : 32008 (python) S 31953 31953 31366 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869386438 301563904 5993 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554946 18446604445690800192 0 0 -1 6 0 0 0
[pid=32009] ppid=31953 vsize=295012 CPUtime=0.2 cores=0,2,4,6
/proc/32009/stat : 32009 (python) S 31953 31953 31366 0 -1 4202560 1108 0 0 0 9 11 0 0 17 0 2 0 869386440 302092288 6104 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/32009/statm: 73753 6104 391 364 0 8637 0
[pid=32011] ppid=32009 vsize=8540004 CPUtime=45.9 cores=0,2,4,6
/proc/32011/stat : 32011 (java) T 32009 32011 32011 0 -1 4202496 71887 0 1 0 4575 15 0 0 18 0 19 0 869386441 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32011/statm: 2135001 48873 2255 9 0 2125742 0
[pid=32011/tid=32012] ppid=32009 vsize=8540004 CPUtime=43.84 cores=0,2,4,6
/proc/32011/task/32012/stat : 32012 (java) T 32009 32011 32011 0 -1 4202560 45543 0 1 0 4376 8 0 0 18 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 8
[pid=32011/tid=32013] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32013/stat : 32013 (java) T 32009 32011 32011 0 -1 4202560 2424 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32011/tid=32014] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32014/stat : 32014 (java) T 32009 32011 32011 0 -1 4202560 2094 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32015] ppid=32009 vsize=8540004 CPUtime=0.11 cores=0,2,4,6
/proc/32011/task/32015/stat : 32015 (java) T 32009 32011 32011 0 -1 4202560 2353 0 0 0 11 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32016] ppid=32009 vsize=8540004 CPUtime=0.09 cores=0,2,4,6
/proc/32011/task/32016/stat : 32016 (java) T 32009 32011 32011 0 -1 4202560 2532 0 0 0 9 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32017] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32017/stat : 32017 (java) T 32009 32011 32011 0 -1 4202560 1825 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32018] ppid=32009 vsize=8540004 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
[pid=32136/tid=32150] ppid=32134 vsize=8545856 CPUtime=0.54 cores=0,2,4,6
/proc/32136/task/32150/stat : 32150 (java) S 32134 32136 32136 0 -1 4202560 6287 0 0 0 54 0 0 0 17 0 19 0 869405422 8750956544 33405 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=8545856 CPUtime=0.57 cores=0,2,4,6
/proc/32136/task/32151/stat : 32151 (java) S 32134 32136 32136 0 -1 4202560 5149 0 0 0 57 0 0 0 16 0 19 0 869405423 8750956544 33407 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32152/stat : 32152 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405423 8750956544 33408 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32153] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32153/stat : 32153 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869405423 8750956544 33410 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134530560 0 4 0 16800975 18446604453469634880 0 0 -1 4 0 0 0
[pid=32136/tid=32154] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32154/stat : 32154 (java) S 32134 32136 32136 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869405450 8750956544 33411 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134530560 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=31953/tid=31967] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869381409 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
[pid=31953/tid=32010] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32010/stat : 32010 (python) S 31951 31953 31366 0 -1 4202560 26 1351 0 0 0 0 2 1 20 0 6 0 869386440 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 0 0 0 0
[pid=31953/tid=32055] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32055/stat : 32055 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869390931 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 0 0 0 0
[pid=31953/tid=32070] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32070/stat : 32070 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869400448 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 2 0 0 0
[pid=31953/tid=32135] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32135/stat : 32135 (python) S 31951 31953 31366 0 -1 4202560 26 1351 0 0 0 0 2 1 20 0 6 0 869405417 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 244.58
Current children cumulated vsize (KiB) 19212948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+242.301 s]
/proc/loadavg: 2.02 2.06 1.70 4/566 32154
/proc/meminfo: memFree=28253172/32951124 swapFree=41082008/67111528
[pid=31953] ppid=31951 vsize=336024 CPUtime=0.68 cores=0,2,4,6
/proc/31953/stat : 31953 (python) S 31951 31953 31366 0 -1 4202496 14785 1351 1 0 52 13 2 1 20 0 6 0 869381269 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 72
/proc/31953/statm: 84006 7612 1880 364 0 18881 0
[pid=31966] ppid=31953 vsize=294496 CPUtime=0.2 cores=0,2,4,6
/proc/31966/stat : 31966 (python) S 31953 31953 31366 0 -1 4202560 1078 0 0 0 10 10 0 0 16 0 2 0 869381409 301563904 5993 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31966/statm: 73624 5993 406 364 0 8511 0
[pid=31968] ppid=31966 vsize=58176 CPUtime=50.27 cores=0,2,4,6
/proc/31968/stat : 31968 (scip-2.0.1.linu) T 31966 31968 31968 0 -1 4202496 14976 0 0 0 4990 37 0 0 21 0 1 0 869381409 59572224 12353 33554432000 4194304 13684479 140737339829296 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/31968/statm: 14544 12353 805 2317 0 12222 0
[pid=31966/tid=32008] ppid=31953 vsize=294496 CPUtime=0 cores=0,2,4,6
/proc/31966/task/32008/stat : 32008 (python) S 31953 31953 31366 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869386438 301563904 5993 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554946 18446604445690800192 0 0 -1 6 0 0 0
[pid=32009] ppid=31953 vsize=295012 CPUtime=0.2 cores=0,2,4,6
/proc/32009/stat : 32009 (python) S 31953 31953 31366 0 -1 4202560 1108 0 0 0 9 11 0 0 17 0 2 0 869386440 302092288 6104 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/32009/statm: 73753 6104 391 364 0 8637 0
[pid=32011] ppid=32009 vsize=8540004 CPUtime=45.9 cores=0,2,4,6
/proc/32011/stat : 32011 (java) T 32009 32011 32011 0 -1 4202496 71887 0 1 0 4575 15 0 0 18 0 19 0 869386441 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32011/statm: 2135001 48873 2255 9 0 2125742 0
[pid=32011/tid=32012] ppid=32009 vsize=8540004 CPUtime=43.84 cores=0,2,4,6
/proc/32011/task/32012/stat : 32012 (java) T 32009 32011 32011 0 -1 4202560 45543 0 1 0 4376 8 0 0 18 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 8
[pid=32011/tid=32013] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32013/stat : 32013 (java) T 32009 32011 32011 0 -1 4202560 2424 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32011/tid=32014] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32014/stat : 32014 (java) T 32009 32011 32011 0 -1 4202560 2094 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32015] ppid=32009 vsize=8540004 CPUtime=0.11 cores=0,2,4,6
/proc/32011/task/32015/stat : 32015 (java) T 32009 32011 32011 0 -1 4202560 2353 0 0 0 11 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32016] ppid=32009 vsize=8540004 CPUtime=0.09 cores=0,2,4,6
/proc/32011/task/32016/stat : 32016 (java) T 32009 32011 32011 0 -1 4202560 2532 0 0 0 9 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32017] ppid=32009 vsize=8540004 CPUtime=0.1 cores=0,2,4,6
/proc/32011/task/32017/stat : 32017 (java) T 32009 32011 32011 0 -1 4202560 1825 0 0 0 10 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32018] ppid=32009 vsize=8540004 CPUtime=0.09 cores=0,2,4,6
/proc/32011/task/32018/stat : 32018 (java) T 32009 32011 32011 0 -1 4202560 2155 0 0 0 9 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32019] ppid=32009 vsize=8540004 CPUtime=0.08 cores=0,2,4,6
/proc/32011/task/32019/stat : 32019 (java) T 32009 32011 32011 0 -1 4202560 1609 0 0 0 8 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32020] ppid=32009 vsize=8540004 CPUtime=0.08 cores=0,2,4,6
/proc/32011/task/32020/stat : 32020 (java) T 32009 32011 32011 0 -1 4202560 1812 0 0 0 8 0 0 0 15 0 19 0 869386442 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32011/tid=32021] ppid=32009 vsize=8540004 CPUtime=0.51 cores=0,2,4,6
/proc/32011/task/32021/stat : 32021 (java) T 32009 32011 32011 0 -1 4202560 2889 0 0 0 48 3 0 0 15 0 19 0 869386443 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 47538694285911 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32011/tid=32022] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32022/stat : 32022 (java) T 32009 32011 32011 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869386444 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32023] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32023/stat : 32023 (java) T 32009 32011 32011 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869386444 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32024] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32024/stat : 32024 (java) T 32009 32011 32011 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869386446 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134537649 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32025] ppid=32009 vsize=8540004 CPUtime=0.41 cores=0,2,4,6
/proc/32011/task/32025/stat : 32025 (java) T 32009 32011 32011 0 -1 4202560 2804 0 0 0 41 0 0 0 15 0 19 0 869386446 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32026] ppid=32009 vsize=8540004 CPUtime=0.31 cores=0,2,4,6
/proc/32011/task/32026/stat : 32026 (java) T 32009 32011 32011 0 -1 4202560 2446 0 0 0 31 0 0 0 15 0 19 0 869386446 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32011/tid=32027] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32027/stat : 32027 (java) T 32009 32011 32011 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869386446 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134529945 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32028] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32028/stat : 32028 (java) T 32009 32011 32011 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869386446 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32011/tid=32029] ppid=32009 vsize=8540004 CPUtime=0 cores=0,2,4,6
/proc/32011/task/32029/stat : 32029 (java) T 32009 32011 32011 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869386483 8744964096 48873 33554432000 1073741824 1073778376 140734903157344 18446744073709551615 228134530560 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32009/tid=32053] ppid=31953 vsize=295012 CPUtime=0 cores=0,2,4,6
/proc/32009/task/32053/stat : 32053 (python) S 31953 31953 31366 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869390928 302092288 6104 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554946 18446604440938647744 0 0 -1 2 0 0 0
[pid=32054] ppid=31953 vsize=305268 CPUtime=0.38 cores=0,2,4,6
/proc/32054/stat : 32054 (python) S 31953 31953 31366 0 -1 4202560 1126 0 0 0 17 21 0 0 16 0 2 0 869390931 312594432 6111 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32054/statm: 76317 6111 391 364 0 11198 0
[pid=32056] ppid=32054 vsize=63492 CPUtime=95.13 cores=0,2,4,6
/proc/32056/stat : 32056 (scip-2.0.1.linu) T 32054 32056 32056 0 -1 4202496 15992 0 0 0 9476 37 0 0 25 0 1 0 869390931 65015808 13081 33554432000 4194304 15243407 140736327097232 18446744073709551615 8129152 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/32056/statm: 15873 13081 933 2698 0 13168 0
[pid=32054/tid=32068] ppid=31953 vsize=305268 CPUtime=0 cores=0,2,4,6
/proc/32054/task/32068/stat : 32068 (python) S 31953 31953 31366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869400445 312594432 6111 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554946 18446604448285788224 0 0 -1 6 0 0 0
[pid=32069] ppid=31953 vsize=315524 CPUtime=0.21 cores=0,2,4,6
/proc/32069/stat : 32069 (python) S 31953 31953 31366 0 -1 4202560 1128 0 0 0 11 10 0 0 17 0 2 0 869400448 323096576 6116 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134540747 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32069/statm: 78881 6116 391 364 0 13759 0
[pid=32071] ppid=32069 vsize=133316 CPUtime=49.65 cores=0,2,4,6
/proc/32071/stat : 32071 (wbo1.4a) T 32069 32071 32071 0 -1 4202496 33185 0 0 0 4933 32 0 0 25 0 1 0 869400448 136515584 32858 33554432000 134512640 135751879 4288044032 18446744073709551615 134519014 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/32071/statm: 33329 32858 146 303 0 33024 0
[pid=32069/tid=32133] ppid=31953 vsize=315524 CPUtime=0 cores=0,2,4,6
/proc/32069/task/32133/stat : 32133 (python) S 31953 31953 31366 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869405414 323096576 6116 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554946 18446604446173664384 0 0 -1 6 0 0 0
[pid=32134] ppid=31953 vsize=325780 CPUtime=0 cores=0,2,4,6
/proc/32134/stat : 32134 (python) S 31953 31953 31366 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 1 0 869405417 333598720 6048 33554432000 4194304 5683644 140735058415904 18446744073709551615 228122734150 0 0 16781312 33554946 2400772884650786816 0 0 17 6 0 0 0
/proc/32134/statm: 81445 6048 320 364 0 16320 0
[pid=32136] ppid=32134 vsize=8545856 CPUtime=1.96 cores=0,2,4,6
/proc/32136/stat : 32136 (java) S 32134 32136 32136 0 -1 4202496 39400 0 1 0 190 6 0 0 20 0 19 0 869405417 8750956544 33308 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/32136/statm: 2136464 33310 2225 9 0 2127205 0
[pid=32136/tid=32137] ppid=32134 vsize=8545856 CPUtime=0.83 cores=0,2,4,6
/proc/32136/task/32137/stat : 32137 (java) R 32134 32136 32136 0 -1 4202560 26642 0 1 0 79 4 0 0 18 0 19 0 869405418 8750956544 33387 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 46912505634858 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32136/tid=32138] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32138/stat : 32138 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869405419 8750956544 33389 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32139] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32139/stat : 32139 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869405419 8750956544 33391 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32140] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32140/stat : 32140 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869405419 8750956544 33393 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32141] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32141/stat : 32141 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405419 8750956544 33395 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32142] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32142/stat : 32142 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405419 8750956544 33397 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32143] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32143/stat : 32143 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405419 8750956544 33399 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32144] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32144/stat : 32144 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405419 8750956544 33399 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32145] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32145/stat : 32145 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405419 8750956544 33399 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32146] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32146/stat : 32146 (java) S 32134 32136 32136 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869405420 8750956544 33399 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134530560 0 0 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=32136/tid=32147] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32147/stat : 32147 (java) S 32134 32136 32136 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869405420 8750956544 33400 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=32136/tid=32148] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32148/stat : 32148 (java) S 32134 32136 32136 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869405420 8750956544 33402 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=32136/tid=32149] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32149/stat : 32149 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405422 8750956544 33403 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134537649 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32150] ppid=32134 vsize=8545856 CPUtime=0.54 cores=0,2,4,6
/proc/32136/task/32150/stat : 32150 (java) S 32134 32136 32136 0 -1 4202560 6287 0 0 0 54 0 0 0 17 0 19 0 869405422 8750956544 33405 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 2 0 0 0
[pid=32136/tid=32151] ppid=32134 vsize=8545856 CPUtime=0.57 cores=0,2,4,6
/proc/32136/task/32151/stat : 32151 (java) S 32134 32136 32136 0 -1 4202560 5149 0 0 0 57 0 0 0 16 0 19 0 869405423 8750956544 33407 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=32136/tid=32152] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32152/stat : 32152 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869405423 8750956544 33408 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134529945 0 4 0 16800975 18446604453469634880 0 0 -1 6 0 0 0
[pid=32136/tid=32153] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32153/stat : 32153 (java) S 32134 32136 32136 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869405423 8750956544 33410 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134530560 0 4 0 16800975 18446604453469634880 0 0 -1 4 0 0 0
[pid=32136/tid=32154] ppid=32134 vsize=8545856 CPUtime=0 cores=0,2,4,6
/proc/32136/task/32154/stat : 32154 (java) S 32134 32136 32136 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869405450 8750956544 33411 33554432000 1073741824 1073778376 140734926357216 18446744073709551615 228134530560 0 4 0 16800975 18446604453469634880 0 0 -1 0 0 0 0
[pid=31953/tid=31967] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/31967/stat : 31967 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869381409 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
[pid=31953/tid=32010] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32010/stat : 32010 (python) S 31951 31953 31366 0 -1 4202560 26 1351 0 0 0 0 2 1 20 0 6 0 869386440 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 0 0 0 0
[pid=31953/tid=32055] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32055/stat : 32055 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869390931 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 0 0 0 0
[pid=31953/tid=32070] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32070/stat : 32070 (python) S 31951 31953 31366 0 -1 4202560 29 1351 0 0 0 0 2 1 20 0 6 0 869400448 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 2 0 0 0
[pid=31953/tid=32135] ppid=31951 vsize=336024 CPUtime=0.03 cores=0,2,4,6
/proc/31953/task/32135/stat : 32135 (python) S 31951 31953 31366 0 -1 4202560 26 1351 0 0 0 0 2 1 20 0 6 0 869405417 344088576 7612 33554432000 4194304 5683644 140735058415904 18446744073709551615 228134537649 0 0 16781312 33554434 18446604440938648640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 244.58
Current children cumulated vsize (KiB) 19212948
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31953 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=543917
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 0.694894
# while last known CPU time is 244.58
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 242.381
CPU time (s): 244.58
CPU user time (s): 242.65
CPU system time (s): 1.93
CPU usage (%): 100.907
Max. virtual memory (cumulated for all children) (KiB): 19212948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.543917
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16139
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= 4875
involuntary context switches= 27
runsolver used 1.57276 second user time and 2.90856 second system time
The end