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-3481512-1307577985/watcher-3481512-1307577985 -o /tmp/evaluation-result-3481512-1307577985/solver-3481512-1307577985 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481512-1307577985.opb -seed 500334668 -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.16 2.10 1.70 2/580 5992
/proc/meminfo: memFree=23722568/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=15752 CPUtime=0 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 839 0 0 0 0 0 0 0 25 0 1 0 850214672 16130048 723 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/5992/statm: 3939 724 334 364 0 426 0
[startup+0.111794 s]
/proc/loadavg: 2.16 2.10 1.70 2/580 5992
/proc/meminfo: memFree=23722568/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/5992/stat : 5992 (python) R 5990 5992 4987 0 -1 4202496 3168 931 1 0 6 1 0 0 18 0 1 0 850214672 98430976 2483 33554432000 4194304 5683644 140737084764416 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/5992/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.201235 s]
/proc/loadavg: 2.16 2.10 1.70 2/580 5992
/proc/meminfo: memFree=23722568/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=123736 CPUtime=0.14 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 5356 931 1 0 11 3 0 0 17 0 1 0 850214672 126705664 3743 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/5992/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123736
[startup+0.301711 s]
/proc/loadavg: 2.16 2.10 1.70 2/580 5992
/proc/meminfo: memFree=23722568/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=202988 CPUtime=0.23 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 6699 931 1 0 17 6 0 0 17 0 1 0 850214672 207859712 4980 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/5992/statm: 50818 4989 1472 364 0 3780 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202988
[startup+0.700646 s]
/proc/loadavg: 2.16 2.10 1.70 2/580 5992
/proc/meminfo: memFree=23722568/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=284788 CPUtime=0.39 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 9772 931 1 0 30 9 0 0 18 0 1 0 850214672 291622912 7504 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788879 0 0 16781312 2 4294934786 0 0 17 6 0 0 0
/proc/5992/statm: 71197 7504 1777 364 0 6090 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 284788
[startup+1.50058 s]
/proc/loadavg: 2.15 2.10 1.70 3/581 5998
/proc/meminfo: memFree=23688212/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=292672 CPUtime=1.4 cores=0,2,4,6
/proc/5992/stat : 5992 (python) R 5990 5992 4987 0 -1 4202496 15290 1457 1 0 103 10 24 3 18 0 1 0 850214672 299696128 9513 33554432000 4194304 5683644 140737084764416 18446744073709551615 47269644750464 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/5992/statm: 73168 9513 1817 364 0 8061 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 292672
[startup+3.10123 s]
/proc/loadavg: 2.15 2.10 1.70 3/584 6001
/proc/meminfo: memFree=23612672/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=303536 CPUtime=1.53 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 16092 1457 1 0 116 10 24 3 21 0 2 0 850214672 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 75884 9716 1863 364 0 10771 0
[pid=5999] ppid=5992 vsize=293292 CPUtime=0 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 850214836 300331008 8167 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788879 0 0 16781312 33554946 3351485941687517184 0 0 17 6 0 0 0
/proc/5999/statm: 73323 8167 318 364 0 8210 0
[pid=6001] ppid=5999 vsize=112640 CPUtime=1.45 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) R 5999 6001 6001 0 -1 4202496 26888 0 0 0 137 8 0 0 18 0 1 0 850214836 115343360 25030 33554432000 4194304 13684479 140734962499216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6001/statm: 28160 25030 822 2317 0 25838 0
[pid=5992/tid=6000] ppid=5990 vsize=303536 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 2 0 850214836 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 709468
[startup+6.3007 s]
/proc/loadavg: 2.15 2.10 1.70 3/584 6001
/proc/meminfo: memFree=23581980/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=303536 CPUtime=1.53 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 16092 1457 1 0 116 10 24 3 21 0 2 0 850214672 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 75884 9716 1863 364 0 10771 0
[pid=5999] ppid=5992 vsize=293292 CPUtime=0.02 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 872 0 0 0 1 1 0 0 15 0 1 0 850214836 300331008 8191 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788879 0 0 16781312 33554946 2868271733993897984 0 0 17 6 0 0 0
/proc/5999/statm: 73323 8191 342 364 0 8210 0
[pid=6001] ppid=5999 vsize=115000 CPUtime=4.65 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) R 5999 6001 6001 0 -1 4202496 27746 0 0 0 456 9 0 0 23 0 1 0 850214836 117760000 25870 33554432000 4194304 13684479 140734962499216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6001/statm: 28750 25870 805 2317 0 26428 0
[pid=5992/tid=6000] ppid=5990 vsize=303536 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 2 0 850214836 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 711828
[startup+12.7006 s]
/proc/loadavg: 2.13 2.09 1.70 3/584 6001
/proc/meminfo: memFree=23570128/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=303536 CPUtime=1.53 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 16092 1457 1 0 116 10 24 3 21 0 2 0 850214672 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 75884 9716 1863 364 0 10771 0
[pid=5999] ppid=5992 vsize=293292 CPUtime=0.04 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 879 0 0 0 3 1 0 0 15 0 1 0 850214836 300331008 8191 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788879 0 0 16781312 33554946 2150153571469885440 0 0 17 6 0 0 0
/proc/5999/statm: 73323 8191 342 364 0 8210 0
[pid=6001] ppid=5999 vsize=124408 CPUtime=11.05 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) R 5999 6001 6001 0 -1 4202496 30283 0 0 0 1091 14 0 0 18 0 1 0 850214836 127393792 28321 33554432000 4194304 13684479 140734962499216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6001/statm: 31102 28321 764 2317 0 28780 0
[pid=5992/tid=6000] ppid=5990 vsize=303536 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 2 0 850214836 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 721236
[startup+25.5003 s]
/proc/loadavg: 2.11 2.09 1.71 3/584 6002
/proc/meminfo: memFree=23539524/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=303536 CPUtime=1.53 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 16092 1457 1 0 116 10 24 3 21 0 2 0 850214672 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 75884 9716 1863 364 0 10771 0
[pid=5999] ppid=5992 vsize=293292 CPUtime=0.11 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 892 0 0 0 6 5 0 0 15 0 1 0 850214836 300331008 8191 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788879 0 0 16781312 33554946 3944673779132661760 0 0 17 4 0 0 0
/proc/5999/statm: 73323 8191 342 364 0 8210 0
[pid=6001] ppid=5999 vsize=145868 CPUtime=23.85 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) R 5999 6001 6001 0 -1 4202496 35659 0 0 0 2363 22 0 0 18 0 1 0 850214836 149368832 33508 33554432000 4194304 13684479 140734962499216 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6001/statm: 36467 33508 765 2317 0 34145 0
[pid=5992/tid=6000] ppid=5990 vsize=303536 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 2 0 850214836 310820864 9716 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 742696
[startup+51.1008 s]
/proc/loadavg: 2.07 2.08 1.71 3/592 6010
/proc/meminfo: memFree=23076924/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=313792 CPUtime=1.56 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 17004 1457 1 0 119 10 24 3 20 0 3 0 850214672 321323008 9731 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 78448 9731 1874 364 0 13332 0
[pid=5999] ppid=5992 vsize=303536 CPUtime=0.24 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 1111 0 0 0 14 10 0 0 16 0 2 0 850214836 310820864 8259 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5999/statm: 75884 8259 405 364 0 10771 0
[pid=6001] ppid=5999 vsize=145868 CPUtime=46.42 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) T 5999 6001 6001 0 -1 4202496 35722 0 0 0 4608 34 0 0 18 0 1 0 850214836 149368832 33571 33554432000 4194304 13684479 140734962499216 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6001/statm: 36467 33571 765 2317 0 34145 0
[pid=5999/tid=6007] ppid=5992 vsize=303536 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6007/stat : 6007 (python) S 5992 5992 4987 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850219479 310820864 8259 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450882476864 0 0 -1 6 0 0 0
[pid=6008] ppid=5992 vsize=303548 CPUtime=0 cores=0,2,4,6
/proc/6008/stat : 6008 (python) S 5992 5992 4987 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 850219482 310833152 8172 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788934 0 0 16781312 33554946 3216521726896635904 0 0 17 6 0 0 0
/proc/6008/statm: 75887 8172 319 364 0 10771 0
[pid=6010] ppid=6008 vsize=117396 CPUtime=2.99 cores=0,2,4,6
/proc/6010/stat : 6010 (scip-2.0.1.linu) R 6008 6010 6010 0 -1 4202496 27145 0 0 0 290 9 0 0 18 0 1 0 850219482 120213504 25631 33554432000 4194304 15243407 140737473632880 18446744073709551615 8113827 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6010/statm: 29349 25631 851 2698 0 26644 0
[pid=5992/tid=6000] ppid=5990 vsize=313792 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 3 0 850214836 321323008 9731 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6009] ppid=5990 vsize=313792 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6009/stat : 6009 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 20 0 3 0 850219482 321323008 9731 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 1184140
[startup+102.321 s]
/proc/loadavg: 2.03 2.07 1.73 3/618 6038
/proc/meminfo: memFree=21402044/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=324048 CPUtime=1.59 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 17908 1457 1 0 122 10 24 3 20 0 4 0 850214672 331825152 9737 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 81012 9737 1876 364 0 15893 0
[pid=5999] ppid=5992 vsize=303536 CPUtime=0.24 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 1111 0 0 0 14 10 0 0 16 0 2 0 850214836 310820864 8259 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5999/statm: 75884 8259 405 364 0 10771 0
[pid=6001] ppid=5999 vsize=145868 CPUtime=46.42 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) T 5999 6001 6001 0 -1 4202496 35722 0 0 0 4608 34 0 0 18 0 1 0 850214836 149368832 33571 33554432000 4194304 13684479 140734962499216 18446744073709551615 7098848 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6001/statm: 36467 33571 765 2317 0 34145 0
[pid=5999/tid=6007] ppid=5992 vsize=303536 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6007/stat : 6007 (python) S 5992 5992 4987 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850219479 310820864 8259 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450882476864 0 0 -1 6 0 0 0
[pid=6008] ppid=5992 vsize=303548 CPUtime=0.25 cores=0,2,4,6
/proc/6008/stat : 6008 (python) S 5992 5992 4987 0 -1 4202560 1183 0 0 0 11 14 0 0 16 0 2 0 850219482 310833152 8250 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6008/statm: 75887 8250 396 364 0 10771 0
[pid=6010] ppid=6008 vsize=150952 CPUtime=47.57 cores=0,2,4,6
/proc/6010/stat : 6010 (scip-2.0.1.linu) T 6008 6010 6010 0 -1 4202496 35349 0 0 0 4735 22 0 0 25 0 1 0 850219482 154574848 33835 33554432000 4194304 15243407 140737473632880 18446744073709551615 4906998 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6010/statm: 37738 33835 865 2698 0 35033 0
[pid=6008/tid=6035] ppid=5992 vsize=303548 CPUtime=0 cores=0,2,4,6
/proc/6008/task/6035/stat : 6035 (python) S 5992 5992 4987 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850224241 310833152 8250 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450246985856 0 0 -1 6 0 0 0
[pid=6036] ppid=5992 vsize=313804 CPUtime=0.01 cores=0,2,4,6
/proc/6036/stat : 6036 (python) S 5992 5992 4987 0 -1 4202560 994 0 0 0 0 1 0 0 18 0 1 0 850224243 321335296 8205 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788934 0 0 16781312 33554946 6664910359939219714 0 0 17 0 0 0 0
/proc/6036/statm: 78451 8205 348 364 0 13332 0
[pid=6038] ppid=6036 vsize=136208 CPUtime=6.6 cores=0,2,4,6
/proc/6038/stat : 6038 (wbo1.4a) R 6036 6038 6038 0 -1 4202496 34764 0 0 0 656 4 0 0 25 0 1 0 850224244 139476992 33468 33554432000 134512640 135751879 4290699472 18446744073709551615 135206219 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/6038/statm: 34052 33468 143 303 0 33747 0
[pid=5992/tid=6000] ppid=5990 vsize=324048 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 21 0 4 0 850214836 331825152 9737 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6009] ppid=5990 vsize=324048 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6009/stat : 6009 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 20 0 4 0 850219482 331825152 9737 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1341.9 s]
/proc/loadavg: 1.15 1.77 1.87 5/700 6792
/proc/meminfo: memFree=12530556/32951124 swapFree=56717704/67111528
[pid=5992] ppid=5990 vsize=365072 CPUtime=1.78 cores=0,2,4,6
/proc/5992/stat : 5992 (python) S 5990 5992 4987 0 -1 4202496 21738 1457 1 0 139 12 24 3 20 0 8 0 850214672 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/5992/statm: 91268 9761 1884 364 0 26137 0
[pid=5999] ppid=5992 vsize=303536 CPUtime=1.57 cores=0,2,4,6
/proc/5999/stat : 5999 (python) S 5992 5992 4987 0 -1 4202560 1206 0 0 0 81 76 0 0 15 0 2 0 850214836 310820864 8261 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/5999/statm: 75884 8261 407 364 0 10771 0
[pid=6001] ppid=5999 vsize=145832 CPUtime=322.74 cores=0,2,4,6
/proc/6001/stat : 6001 (scip-2.0.1.linu) T 5999 6001 6001 0 -1 4202496 39544 0 0 0 32025 249 0 0 25 0 1 0 850214836 149331968 33581 33554432000 4194304 13684479 140734962499216 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6001/statm: 36458 33581 807 2317 0 34136 0
[pid=5999/tid=6007] ppid=5992 vsize=303536 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6007/stat : 6007 (python) S 5992 5992 4987 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 850219479 310820864 8261 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450882476864 0 0 -1 6 0 0 0
[pid=6008] ppid=5992 vsize=303548 CPUtime=3.94 cores=0,2,4,6
/proc/6008/stat : 6008 (python) S 5992 5992 4987 0 -1 4202560 1355 0 0 0 205 189 0 0 15 0 2 0 850219482 310833152 8251 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6008/statm: 75887 8251 397 364 0 10771 0
[pid=6010] ppid=6008 vsize=197912 CPUtime=781.46 cores=0,2,4,6
/proc/6010/stat : 6010 (scip-2.0.1.linu) T 6008 6010 6010 0 -1 4202496 133497 0 0 0 77736 410 0 0 21 0 1 0 850219482 202661888 46329 33554432000 4194304 15243407 140737473632880 18446744073709551615 8113495 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6010/statm: 49478 46329 946 2698 0 46773 0
[pid=6008/tid=6035] ppid=5992 vsize=303548 CPUtime=0 cores=0,2,4,6
/proc/6008/task/6035/stat : 6035 (python) S 5992 5992 4987 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 850224241 310833152 8251 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604450246985856 0 0 -1 6 0 0 0
[pid=6036] ppid=5992 vsize=313804 CPUtime=0.26 cores=0,2,4,6
/proc/6036/stat : 6036 (python) S 5992 5992 4987 0 -1 4202560 1184 0 0 0 14 12 0 0 16 0 2 0 850224243 321335296 8254 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6036/statm: 78451 8254 396 364 0 13332 0
[pid=6038] ppid=6036 vsize=302348 CPUtime=48.42 cores=0,2,4,6
/proc/6038/stat : 6038 (wbo1.4a) T 6036 6038 6038 0 -1 4202496 80180 0 0 0 4813 29 0 0 25 0 1 0 850224244 309604352 74960 33554432000 134512640 135751879 4290699472 18446744073709551615 134517408 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/6038/statm: 75587 74960 146 303 0 75282 0
[pid=6036/tid=6044] ppid=5992 vsize=313804 CPUtime=0 cores=0,2,4,6
/proc/6036/task/6044/stat : 6044 (python) S 5992 5992 4987 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 850229090 321335296 8254 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604447161686848 0 0 -1 6 0 0 0
[pid=6045] ppid=5992 vsize=324060 CPUtime=0.24 cores=0,2,4,6
/proc/6045/stat : 6045 (python) S 5992 5992 4987 0 -1 4202560 1145 0 0 0 13 11 0 0 17 0 2 0 850229093 331837440 8252 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/6045/statm: 81015 8252 390 364 0 15893 0
[pid=6047] ppid=6045 vsize=8567156 CPUtime=50.61 cores=0,2,4,6
/proc/6047/stat : 6047 (java) T 6045 6047 6047 0 -1 4202496 594714 0 1 0 4988 73 0 0 18 0 19 0 850229093 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/6047/statm: 2141789 581178 2252 9 0 2132530 0
[pid=6047/tid=6048] ppid=6045 vsize=8567156 CPUtime=46.12 cores=0,2,4,6
/proc/6047/task/6048/stat : 6048 (java) T 6045 6047 6047 0 -1 4202560 473252 0 1 0 4557 55 0 0 25 0 19 0 850229094 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 46912506220516 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6049] ppid=6045 vsize=8567156 CPUtime=0.23 cores=0,2,4,6
/proc/6047/task/6049/stat : 6049 (java) T 6045 6047 6047 0 -1 4202560 18123 0 0 0 21 2 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6050] ppid=6045 vsize=8567156 CPUtime=0.06 cores=0,2,4,6
/proc/6047/task/6050/stat : 6050 (java) T 6045 6047 6047 0 -1 4202560 4198 0 0 0 6 0 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6051] ppid=6045 vsize=8567156 CPUtime=0.11 cores=0,2,4,6
/proc/6047/task/6051/stat : 6051 (java) T 6045 6047 6047 0 -1 4202560 8344 0 0 0 10 1 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6052] ppid=6045 vsize=8567156 CPUtime=0.12 cores=0,2,4,6
/proc/6047/task/6052/stat : 6052 (java) T 6045 6047 6047 0 -1 4202560 10380 0 0 0 12 0 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6053] ppid=6045 vsize=8567156 CPUtime=0.09 cores=0,2,4,6
/proc/6047/task/6053/stat : 6053 (java) T 6045 6047 6047 0 -1 4202560 7280 0 0 0 9 0 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6054] ppid=6045 vsize=8567156 CPUtime=0.22 cores=0,2,4,6
/proc/6047/task/6054/stat : 6054 (java) T 6045 6047 6047 0 -1 4202560 16301 0 0 0 20 2 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6047/tid=6055] ppid=6045 vsize=8567156 CPUtime=0.09 cores=0,2,4,6
/proc/6047/task/6055/stat : 6055 (java) T 6045 6047 6047 0 -1 4202560 8102 0 0 0 9 0 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6056] ppid=6045 vsize=8567156 CPUtime=0.17 cores=0,2,4,6
/proc/6047/task/6056/stat : 6056 (java) T 6045 6047 6047 0 -1 4202560 12995 0 0 0 17 0 0 0 15 0 19 0 850229095 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6057] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6057/stat : 6057 (java) T 6045 6047 6047 0 -1 4202560 1268 0 0 0 0 0 0 0 15 0 19 0 850229096 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118585344 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6047/tid=6058] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6058/stat : 6058 (java) T 6045 6047 6047 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850229096 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6059] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6059/stat : 6059 (java) T 6045 6047 6047 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850229096 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6060] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6060/stat : 6060 (java) T 6045 6047 6047 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850229098 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118592433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6061] ppid=6045 vsize=8567156 CPUtime=1.75 cores=0,2,4,6
/proc/6047/task/6061/stat : 6061 (java) T 6045 6047 6047 0 -1 4202560 18025 0 0 0 171 4 0 0 15 0 19 0 850229098 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6047/tid=6062] ppid=6045 vsize=8567156 CPUtime=1.53 cores=0,2,4,6
/proc/6047/task/6062/stat : 6062 (java) T 6045 6047 6047 0 -1 4202560 15050 0 0 0 152 1 0 0 15 0 19 0 850229099 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6047/tid=6063] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6063/stat : 6063 (java) T 6045 6047 6047 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850229099 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118584729 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6047/tid=6064] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6064/stat : 6064 (java) T 6045 6047 6047 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850229099 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6047/tid=6065] ppid=6045 vsize=8567156 CPUtime=0 cores=0,2,4,6
/proc/6047/task/6065/stat : 6065 (java) T 6045 6047 6047 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850229218 8772767744 581178 33554432000 1073741824 1073778376 140736013563440 18446744073709551615 255118585344 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6045/tid=6067] ppid=5992 vsize=324060 CPUtime=0 cores=0,2,4,6
/proc/6045/task/6067/stat : 6067 (python) S 5992 5992 4987 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850233760 331837440 8252 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604441195292736 0 0 -1 0 0 0 0
[pid=6083] ppid=5992 vsize=334316 CPUtime=0.41 cores=0,2,4,6
/proc/6083/stat : 6083 (python) S 5992 5992 4987 0 -1 4202560 1180 0 0 0 20 21 0 0 17 0 2 0 850275370 342339584 8256 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6083/statm: 83579 8256 390 364 0 18454 0
[pid=6085] ppid=6083 vsize=17404 CPUtime=93.06 cores=0,2,4,6
/proc/6085/stat : 6085 (clasp-1.3.7-x86) T 6083 6085 6085 0 -1 4202496 4728 0 0 0 9306 0 0 0 25 0 1 0 850275371 17821696 4110 33554432000 134512640 136139019 4291931024 18446744073709551615 134634749 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/6085/statm: 4351 4110 187 398 0 3951 0
[pid=6083/tid=6220] ppid=5992 vsize=334316 CPUtime=0 cores=0,2,4,6
/proc/6083/task/6220/stat : 6220 (python) S 5992 5992 4987 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850284679 342339584 8256 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604445500839232 0 0 -1 6 0 0 0
[pid=6759] ppid=5992 vsize=344572 CPUtime=0.21 cores=0,2,4,6
/proc/6759/stat : 6759 (python) S 5992 5992 4987 0 -1 4202560 1156 0 0 0 11 10 0 0 17 0 2 0 850344102 352841728 8260 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118595531 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6759/statm: 86143 8260 390 364 0 21015 0
[pid=6762] ppid=6759 vsize=85848 CPUtime=47.44 cores=0,2,4,6
/proc/6762/stat : 6762 (bsolo_pb10) T 6759 6762 6762 0 -1 4202496 19653 0 0 0 4740 4 0 0 25 0 1 0 850344102 87908352 18952 33554432000 134512640 137138936 4291981344 18446744073709551615 134542495 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/6762/statm: 21462 18952 192 642 0 20818 0
[pid=6759/tid=6764] ppid=5992 vsize=344572 CPUtime=0 cores=0,2,4,6
/proc/6759/task/6764/stat : 6764 (python) S 5992 5992 4987 0 -1 4202560 52 0 0 0 0 0 0 0 17 0 2 0 850348847 352841728 8260 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554946 18446604443047552128 0 0 -1 6 0 0 0
[pid=6766] ppid=5992 vsize=354828 CPUtime=0 cores=0,2,4,6
/proc/6766/stat : 6766 (python) S 5992 5992 4987 0 -1 4202560 817 0 0 0 0 0 0 0 18 0 1 0 850348848 363343872 8192 33554432000 4194304 5683644 140737084764416 18446744073709551615 255106788934 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/6766/statm: 88707 8192 319 364 0 23576 0
[pid=6768] ppid=6766 vsize=8532660 CPUtime=0.19 cores=0,2,4,6
/proc/6768/stat : 6768 (java) S 6766 6768 6768 0 -1 4202496 5896 0 1 0 18 1 0 0 20 0 18 0 850348848 8737443840 5351 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/6768/statm: 2133165 5352 2155 9 0 2123906 0
[pid=6768/tid=6770] ppid=6766 vsize=8532948 CPUtime=0.16 cores=0,2,4,6
/proc/6768/task/6770/stat : 6770 (java) R 6766 6768 6768 0 -1 4202560 3798 0 1 0 15 1 0 0 18 0 18 0 850348850 8737738752 5483 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 46912505213282 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6768/tid=6771] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6771/stat : 6771 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850348850 8737738752 5483 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6772] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6772/stat : 6772 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850348850 8737738752 5483 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6774] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6774/stat : 6774 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850348850 8737738752 5484 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6776] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6776/stat : 6776 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348850 8737738752 5484 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 0 0 0 0
[pid=6768/tid=6777] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6777/stat : 6777 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348850 8737738752 5484 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 0 0 0 0
[pid=6768/tid=6778] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6778/stat : 6778 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348850 8737738752 5492 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 0 0 0 0
[pid=6768/tid=6779] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6779/stat : 6779 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348850 8737738752 5492 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 0 0 0 0
[pid=6768/tid=6781] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6781/stat : 6781 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348850 8737738752 5494 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 0 0 0 0
[pid=6768/tid=6783] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6783/stat : 6783 (java) S 6766 6768 6768 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850348851 8737738752 5494 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118585344 0 0 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6784] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6784/stat : 6784 (java) S 6766 6768 6768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850348852 8737738752 5495 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6786] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6786/stat : 6786 (java) S 6766 6768 6768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 850348852 8737738752 5495 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6787] ppid=6766 vsize=8532948 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6787/stat : 6787 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348854 8737738752 5503 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118592433 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6788] ppid=6766 vsize=8532948 CPUtime=0.03 cores=0,2,4,6
/proc/6768/task/6788/stat : 6788 (java) R 6766 6768 6768 0 -1 4202560 320 0 0 0 3 0 0 0 25 0 18 0 850348854 8737738752 5503 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 47880767908361 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6768/tid=6790] ppid=6766 vsize=8533204 CPUtime=0.01 cores=0,2,4,6
/proc/6768/task/6790/stat : 6790 (java) R 6766 6768 6768 0 -1 4202560 536 0 0 0 1 0 0 0 25 0 18 0 850348854 8738000896 5512 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6768/tid=6791] ppid=6766 vsize=8533204 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6791/stat : 6791 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850348854 8738000896 5534 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118584729 0 4 0 16800975 18446604441537386368 0 0 -1 6 0 0 0
[pid=6768/tid=6792] ppid=6766 vsize=8533204 CPUtime=0 cores=0,2,4,6
/proc/6768/task/6792/stat : 6792 (java) S 6766 6768 6768 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850348854 8738000896 5542 33554432000 1073741824 1073778376 140736888157648 18446744073709551615 255118585344 0 4 0 16800975 18446604441537386368 0 0 -1 2 0 0 0
[pid=5992/tid=6000] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6000/stat : 6000 (python) S 5990 5992 4987 0 -1 4202560 33 1457 0 0 0 0 24 3 18 0 8 0 850214836 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6009] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6009/stat : 6009 (python) S 5990 5992 4987 0 -1 4202560 36 1457 0 0 0 0 24 3 18 0 8 0 850219482 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6037] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6037/stat : 6037 (python) S 5990 5992 4987 0 -1 4202560 31 1457 0 0 0 0 24 3 20 0 8 0 850224244 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 6 0 0 0
[pid=5992/tid=6046] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6046/stat : 6046 (python) S 5990 5992 4987 0 -1 4202560 29 1457 0 0 0 0 24 3 20 0 8 0 850229093 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6084] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6084/stat : 6084 (python) S 5990 5992 4987 0 -1 4202560 31 1457 0 0 0 0 24 3 20 0 8 0 850275371 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6760] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6760/stat : 6760 (python) S 5990 5992 4987 0 -1 4202560 27 1457 0 0 0 0 24 3 20 0 8 0 850344102 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
[pid=5992/tid=6767] ppid=5990 vsize=365072 CPUtime=0.27 cores=0,2,4,6
/proc/5992/task/6767/stat : 6767 (python) S 5990 5992 4987 0 -1 4202560 28 1457 0 0 0 0 24 3 20 0 8 0 850348848 373833728 9761 33554432000 4194304 5683644 140737084764416 18446744073709551615 255118592433 0 0 16781312 33554434 18446604447569858688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1352.33
Current children cumulated vsize (KiB) 20492896
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 5992 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=641750
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=163975
# CPU time returned by wait4() is 1.80572
# while last known CPU time is 1352.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1342
CPU time (s): 1352.33
CPU user time (s): 1341.33
CPU system time (s): 11
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 20492896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64175
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23200
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= 13930
involuntary context switches= 41
runsolver used 11.7102 second user time and 23.2675 second system time
The end