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-3481503-1307577964/watcher-3481503-1307577964 -o /tmp/evaluation-result-3481503-1307577964/solver-3481503-1307577964 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481503-1307577964.opb -seed 1201204744 -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.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/28450/stat : 28450 (python) R 28448 28450 26377 0 -1 4202496 1050 0 0 0 1 0 0 0 17 0 1 0 869399216 16633856 922 33554432000 4194304 5683644 140736284161632 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28450/statm: 4061 922 381 364 0 548 0
[startup+0.0706771 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=54508 CPUtime=0.05 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 2057 0 0 0 4 1 0 0 17 0 1 0 869399216 55816192 1815 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 13627 1815 492 364 0 1277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54508
[startup+0.116188 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 3246 930 1 0 7 1 0 0 18 0 1 0 869399216 98435072 2483 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.301389 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=202996 CPUtime=0.22 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 6677 930 1 0 17 5 0 0 17 0 1 0 869399216 207867904 4962 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28450/statm: 50749 4962 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202996
[startup+0.700306 s]
/proc/loadavg: 2.12 2.12 1.67 3/653 28450
/proc/meminfo: memFree=15543180/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=283196 CPUtime=0.39 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 9383 930 1 0 30 9 0 0 16 0 1 0 869399216 289992704 7114 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 2 3232973015008411648 0 0 17 6 0 0 0
/proc/28450/statm: 70799 7114 1777 364 0 5692 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 283196
[startup+1.50018 s]
/proc/loadavg: 2.12 2.12 1.67 3/655 28456
/proc/meminfo: memFree=15513396/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=301720 CPUtime=1.41 cores=0,2,4,6
/proc/28450/stat : 28450 (python) R 28448 28450 26377 0 -1 4202496 15869 1588 1 0 76 11 48 6 17 0 1 0 869399216 308961280 11737 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370643877 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28450/statm: 75430 11737 1782 364 0 10323 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 301720
[startup+3.10091 s]
/proc/loadavg: 2.35 2.17 1.69 3/654 28456
/proc/meminfo: memFree=15492944/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 315128
[startup+6.30037 s]
/proc/loadavg: 2.35 2.17 1.69 3/657 28459
/proc/meminfo: memFree=15306560/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.02 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 867 0 0 0 1 1 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=203472 CPUtime=3.47 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 50484 0 0 0 334 13 0 0 18 0 1 0 869399498 208355328 47581 33554432000 4194304 13684479 140733653058224 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 50868 47581 1110 2317 0 48546 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 823484
[startup+12.7012 s]
/proc/loadavg: 2.29 2.17 1.69 3/679 28481
/proc/meminfo: memFree=14704456/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.04 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 872 0 0 0 2 2 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 2434469145060835328 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=211140 CPUtime=9.87 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 52282 0 0 0 971 16 0 0 22 0 1 0 869399498 216207360 49167 33554432000 4194304 13684479 140733653058224 18446744073709551615 7019295 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 52785 49167 899 2317 0 50463 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 831152
[startup+25.501 s]
/proc/loadavg: 2.25 2.16 1.69 3/679 28482
/proc/meminfo: memFree=14164428/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=315128 CPUtime=2.72 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22100 1588 1 0 206 12 48 6 21 0 2 0 869399216 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28450/statm: 78782 12621 1871 364 0 13669 0
[pid=28457] ppid=28450 vsize=304884 CPUtime=0.08 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 888 0 0 0 4 4 0 0 15 0 1 0 869399497 312201216 11088 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977295 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/28457/statm: 76221 11088 342 364 0 11108 0
[pid=28459] ppid=28457 vsize=222716 CPUtime=22.68 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) R 28457 28459 28459 0 -1 4202496 55094 0 0 0 2247 21 0 0 18 0 1 0 869399498 228061184 51836 33554432000 4194304 13684479 140733653058224 18446744073709551615 6388804 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28459/statm: 55679 51836 758 2317 0 53357 0
[pid=28450/tid=28458] ppid=28448 vsize=315128 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 2 0 869399498 322691072 12621 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 842728
[startup+51.1164 s]
/proc/loadavg: 2.16 2.15 1.70 3/683 28486
/proc/meminfo: memFree=14160464/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=325384 CPUtime=2.75 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 22969 1588 1 0 209 12 48 6 20 0 3 0 869399216 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 81346 12628 1874 364 0 16230 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=0.2 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1110 0 0 0 9 11 0 0 16 0 2 0 869399497 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11156 405 364 0 13669 0
[pid=28459] ppid=28457 vsize=232736 CPUtime=46.63 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 57947 0 0 0 4630 33 0 0 19 0 1 0 869399498 238321664 54652 33554432000 4194304 13684479 140733653058224 18446744073709551615 4316923 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 58184 54652 758 2317 0 55862 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869404162 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 6 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 1 0 869404164 322703360 11069 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 17371305192166752513 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11069 319 364 0 13669 0
[pid=28486] ppid=28484 vsize=51148 CPUtime=1.62 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) R 28484 28486 28486 0 -1 4202496 22500 0 0 0 160 2 0 0 25 0 1 0 869404165 52375552 12030 33554432000 134512640 135751879 4292188176 18446744073709551615 134638015 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/28486/statm: 12787 12030 143 303 0 12482 0
[pid=28450/tid=28458] ppid=28448 vsize=325384 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 21 0 3 0 869399498 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28485] ppid=28448 vsize=325384 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 3 0 869404164 333193216 12628 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 1239536
[startup+102.301 s]
/proc/loadavg: 2.39 2.21 1.75 3/700 28570
/proc/meminfo: memFree=13060636/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=335640 CPUtime=2.77 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 23851 1588 1 0 211 12 48 6 20 0 4 0 869399216 343695360 12634 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 83910 12634 1876 364 0 18791 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=0.2 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1110 0 0 0 9 11 0 0 16 0 2 0 869399497 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11156 405 364 0 13669 0
[pid=28459] ppid=28457 vsize=232736 CPUtime=46.63 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 57947 0 0 0 4630 33 0 0 19 0 1 0 869399498 238321664 54652 33554432000 4194304 13684479 140733653058224 18446744073709551615 4316923 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 58184 54652 758 2317 0 55862 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869404162 322691072 11156 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 6 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0.16 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 1111 0 0 0 8 8 0 0 16 0 2 0 869404164 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11141 390 364 0 13669 0
[pid=28486] ppid=28484 vsize=672428 CPUtime=46.9 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) T 28484 28486 28486 0 -1 4202496 424208 0 0 0 4628 62 0 0 25 0 1 0 869404165 688566272 167417 33554432000 134512640 135751879 4292188176 18446744073709551615 135220911 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28486/statm: 168107 167417 143 303 0 167802 0
[pid=28484/tid=28548] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/task/28548/stat : 28548 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869408856 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781516800 0 0 -1 6 0 0 0
[pid=28549] ppid=28450 vsize=325396 CPUtime=0.02 cores=0,2,4,6
/proc/28549/stat : 28549 (python) S 28450 28450 26377 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 869408858 333205504 11097 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/28549/statm: 81349 11097 343 364 0 16230 0
[pid=28551] ppid=28549 vsize=8548488 CPUtime=8.22 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28549 28551 28551 0 -1 4202496 112635 0 1 0 807 15 0 0 18 0 19 0 869408859 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28551/statm: 2137122 104271 2252 9 0 2127863 0
[pid=28551/tid=28552] ppid=28549 vsize=8548488 CPUtime=5.68 cores=0,2,4,6
/proc/28551/task/28552/stat : 28552 (java) R 28549 28551 28551 0 -1 4202560 62173 0 1 0 560 8 0 0 25 0 19 0 869408859 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 46912506077933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28551/tid=28553] ppid=28549 vsize=8548488 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28553/stat : 28553 (java) S 28549 28551 28551 0 -1 4202560 5816 0 0 0 8 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 6 0 0 0
[pid=28551/tid=28554] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28554/stat : 28554 (java) S 28549 28551 28551 0 -1 4202560 6227 0 0 0 9 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 0 0 0 0
[pid=28551/tid=28555] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28555/stat : 28555 (java) S 28549 28551 28551 0 -1 4202560 7207 0 0 0 9 0 0 0 16 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 0 0 0 0
[pid=28551/tid=28556] ppid=28549 vsize=8548488 CPUtime=0.03 cores=0,2,4,6
/proc/28551/task/28556/stat : 28556 (java) S 28549 28551 28551 0 -1 4202560 2551 0 0 0 3 0 0 0 15 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 4 0 0 0
[pid=28551/tid=28557] ppid=28549 vsize=8548488 CPUtime=0.01 cores=0,2,4,6
/proc/28551/task/28557/stat : 28557 (java) S 28549 28551 28551 0 -1 4202560 525 0 0 0 1 0 0 0 15 0 19 0 869408860 8753651712 104271 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446604449245584384 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=28450/tid=28485] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 6 0 869404164 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
[pid=28450/tid=28550] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28550/stat : 28550 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 6 0 869408859 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28578] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28578/stat : 28578 (python) S 28448 28450 26377 0 -1 4202560 27 1588 0 0 0 0 48 6 20 0 6 0 869413647 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28690] ppid=28448 vsize=356152 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28690/stat : 28690 (python) S 28448 28450 26377 0 -1 4202560 33 1588 0 0 0 0 48 6 18 0 6 0 869427799 364699648 12646 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 11783220
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+698.902 s]
/proc/loadavg: 2.04 2.10 1.89 4/803 28825
/proc/meminfo: memFree=10159752/32951124 swapFree=49244124/67111528
[pid=28450] ppid=28448 vsize=366408 CPUtime=2.91 cores=0,2,4,6
/proc/28450/stat : 28450 (python) S 28448 28450 26377 0 -1 4202496 26661 1588 1 0 224 13 48 6 20 0 7 0 869399216 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28450/statm: 91602 12652 1882 364 0 26474 0
[pid=28457] ppid=28450 vsize=315128 CPUtime=1.35 cores=0,2,4,6
/proc/28457/stat : 28457 (python) S 28450 28450 26377 0 -1 4202560 1190 0 0 0 67 68 0 0 15 0 2 0 869399497 322691072 11158 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28457/statm: 78782 11158 407 364 0 13669 0
[pid=28459] ppid=28457 vsize=274608 CPUtime=324.24 cores=0,2,4,6
/proc/28459/stat : 28459 (scip-2.0.1.linu) T 28457 28459 28459 0 -1 4202496 68226 0 0 0 32305 119 0 0 25 0 1 0 869399498 281198592 64510 33554432000 4194304 13684479 140733653058224 18446744073709551615 7095858 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28459/statm: 68652 64510 763 2317 0 66330 0
[pid=28457/tid=28483] ppid=28450 vsize=315128 CPUtime=0 cores=0,2,4,6
/proc/28457/task/28483/stat : 28483 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869404162 322691072 11158 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604447761543296 0 0 -1 0 0 0 0
[pid=28484] ppid=28450 vsize=315140 CPUtime=0.16 cores=0,2,4,6
/proc/28484/stat : 28484 (python) S 28450 28450 26377 0 -1 4202560 1111 0 0 0 8 8 0 0 16 0 2 0 869404164 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28484/statm: 78785 11141 390 364 0 13669 0
[pid=28486] ppid=28484 vsize=672428 CPUtime=46.9 cores=0,2,4,6
/proc/28486/stat : 28486 (wbo1.4a) T 28484 28486 28486 0 -1 4202496 424208 0 0 0 4628 62 0 0 25 0 1 0 869404165 688566272 167417 33554432000 134512640 135751879 4292188176 18446744073709551615 135220911 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/28486/statm: 168107 167417 143 303 0 167802 0
[pid=28484/tid=28548] ppid=28450 vsize=315140 CPUtime=0 cores=0,2,4,6
/proc/28484/task/28548/stat : 28548 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869408856 322703360 11141 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604442781516800 0 0 -1 6 0 0 0
[pid=28549] ppid=28450 vsize=325396 CPUtime=0.18 cores=0,2,4,6
/proc/28549/stat : 28549 (python) S 28450 28450 26377 0 -1 4202560 1125 0 0 0 9 9 0 0 16 0 2 0 869408858 333205504 11145 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/28549/statm: 81349 11145 390 364 0 16230 0
[pid=28551] ppid=28549 vsize=8548488 CPUtime=50.91 cores=0,2,4,6
/proc/28551/stat : 28551 (java) T 28549 28551 28551 0 -1 4202496 338832 0 1 0 5051 40 0 0 18 0 19 0 869408859 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/28551/statm: 2137122 330103 2252 9 0 2127863 0
[pid=28551/tid=28552] ppid=28549 vsize=8548488 CPUtime=47.44 cores=0,2,4,6
/proc/28551/task/28552/stat : 28552 (java) T 28549 28551 28551 0 -1 4202560 232415 0 1 0 4718 26 0 0 25 0 19 0 869408859 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 46912506090540 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28553] ppid=28549 vsize=8548488 CPUtime=0.21 cores=0,2,4,6
/proc/28551/task/28553/stat : 28553 (java) T 28549 28551 28551 0 -1 4202560 15175 0 0 0 20 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28554] ppid=28549 vsize=8548488 CPUtime=0.24 cores=0,2,4,6
/proc/28551/task/28554/stat : 28554 (java) T 28549 28551 28551 0 -1 4202560 16054 0 0 0 22 2 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28555] ppid=28549 vsize=8548488 CPUtime=0.17 cores=0,2,4,6
/proc/28551/task/28555/stat : 28555 (java) T 28549 28551 28551 0 -1 4202560 12427 0 0 0 16 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28556] ppid=28549 vsize=8548488 CPUtime=0.06 cores=0,2,4,6
/proc/28551/task/28556/stat : 28556 (java) T 28549 28551 28551 0 -1 4202560 5158 0 0 0 6 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28557] ppid=28549 vsize=8548488 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28557/stat : 28557 (java) T 28549 28551 28551 0 -1 4202560 11429 0 0 0 14 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28551/tid=28558] ppid=28549 vsize=8548488 CPUtime=0.18 cores=0,2,4,6
/proc/28551/task/28558/stat : 28558 (java) T 28549 28551 28551 0 -1 4202560 13942 0 0 0 16 2 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28559] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28559/stat : 28559 (java) T 28549 28551 28551 0 -1 4202560 8004 0 0 0 8 1 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=28551/tid=28560] ppid=28549 vsize=8548488 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28560/stat : 28560 (java) T 28549 28551 28551 0 -1 4202560 7864 0 0 0 9 0 0 0 15 0 19 0 869408860 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28561] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28561/stat : 28561 (java) T 28549 28551 28551 0 -1 4202560 995 0 0 0 0 0 0 0 15 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28562] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28562/stat : 28562 (java) T 28549 28551 28551 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28563] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28563/stat : 28563 (java) T 28549 28551 28551 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869408861 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28564] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28564/stat : 28564 (java) T 28549 28551 28551 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28565] ppid=28549 vsize=8548488 CPUtime=0.9 cores=0,2,4,6
/proc/28551/task/28565/stat : 28565 (java) T 28549 28551 28551 0 -1 4202560 7352 0 0 0 90 0 0 0 15 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28566] ppid=28549 vsize=8548488 CPUtime=1.27 cores=0,2,4,6
/proc/28551/task/28566/stat : 28566 (java) T 28549 28551 28551 0 -1 4202560 6628 0 0 0 126 1 0 0 15 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28551/tid=28567] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28567/stat : 28567 (java) T 28549 28551 28551 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869408863 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=28551/tid=28568] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28568/stat : 28568 (java) T 28549 28551 28551 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869408864 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=28551/tid=28570] ppid=28549 vsize=8548488 CPUtime=0 cores=0,2,4,6
/proc/28551/task/28570/stat : 28570 (java) T 28549 28551 28551 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869408956 8753651712 330103 33554432000 1073741824 1073778376 140734234257072 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=28549/tid=28576] ppid=28450 vsize=325396 CPUtime=0 cores=0,2,4,6
/proc/28549/task/28576/stat : 28576 (python) S 28450 28450 26377 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869413644 333205504 11145 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604449245581696 0 0 -1 0 0 0 0
[pid=28577] ppid=28450 vsize=335652 CPUtime=0.35 cores=0,2,4,6
/proc/28577/stat : 28577 (python) S 28450 28450 26377 0 -1 4202560 1190 0 0 0 17 18 0 0 16 0 2 0 869413647 343707648 11149 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28577/statm: 83913 11149 390 364 0 18791 0
[pid=28579] ppid=28577 vsize=56208 CPUtime=92.17 cores=0,2,4,6
/proc/28579/stat : 28579 (clasp-1.3.7-x86) T 28577 28579 28579 0 -1 4202496 14790 0 0 0 9213 4 0 0 25 0 1 0 869413647 57556992 13766 33554432000 134512640 136139019 4290622416 18446744073709551615 134632455 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/28579/statm: 14052 13766 187 398 0 13652 0
[pid=28577/tid=28664] ppid=28450 vsize=335652 CPUtime=0 cores=0,2,4,6
/proc/28577/task/28664/stat : 28664 (python) S 28450 28450 26377 0 -1 4202560 54 0 0 0 0 0 0 0 16 0 2 0 869422865 343707648 11149 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604460286075264 0 0 -1 6 0 0 0
[pid=28689] ppid=28450 vsize=345908 CPUtime=0.78 cores=0,2,4,6
/proc/28689/stat : 28689 (python) S 28450 28450 26377 0 -1 4202560 1291 0 0 0 38 40 0 0 15 0 2 0 869427799 354209792 11159 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/28689/statm: 86477 11159 396 364 0 21352 0
[pid=28691] ppid=28689 vsize=265800 CPUtime=183.84 cores=0,2,4,6
/proc/28691/stat : 28691 (scip-2.0.1.linu) T 28689 28691 28691 0 -1 4202496 82669 0 0 0 18338 46 0 0 25 0 1 0 869427799 272179200 61310 33554432000 4194304 15243407 140735438573984 18446744073709551615 6628896 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/28691/statm: 66450 61310 865 2698 0 63745 0
[pid=28689/tid=28698] ppid=28450 vsize=345908 CPUtime=0 cores=0,2,4,6
/proc/28689/task/28698/stat : 28698 (python) S 28450 28450 26377 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869437185 354209792 11159 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554946 18446604453903432512 0 0 -1 6 0 0 0
[pid=28806] ppid=28450 vsize=356164 CPUtime=0 cores=0,2,4,6
/proc/28806/stat : 28806 (python) S 28450 28450 26377 0 -1 4202560 811 0 0 0 0 0 0 0 19 0 1 0 869469022 364711936 11085 33554432000 4194304 5683644 140736284161632 18446744073709551615 218370977350 0 0 16781312 33554946 3054028481135345927 0 0 17 0 0 0 0
/proc/28806/statm: 89041 11085 319 364 0 23913 0
[pid=28808] ppid=28806 vsize=8547136 CPUtime=2 cores=0,2,4,6
/proc/28808/stat : 28808 (java) S 28806 28808 28808 0 -1 4202496 47489 0 1 0 193 7 0 0 20 0 18 0 869469022 8752267264 40871 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28808/statm: 2136784 40872 2226 9 0 2127525 0
[pid=28808/tid=28809] ppid=28806 vsize=8547136 CPUtime=0.85 cores=0,2,4,6
/proc/28808/task/28809/stat : 28809 (java) R 28806 28808 28808 0 -1 4202560 33439 0 1 0 80 5 0 0 18 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28808/tid=28810] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28810/stat : 28810 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28811] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28811/stat : 28811 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869469023 8752267264 40877 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28812] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28812/stat : 28812 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869469023 8752267264 40886 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28813] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28813/stat : 28813 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40905 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28814] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28814/stat : 28814 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40924 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28815] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28815/stat : 28815 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40942 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28816] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28816/stat : 28816 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40959 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28817] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28817/stat : 28817 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469023 8752267264 40963 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28818] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28818/stat : 28818 (java) S 28806 28808 28808 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869469024 8752267264 40980 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773760 0 0 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28819] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28819/stat : 28819 (java) S 28806 28808 28808 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869469025 8752267264 40996 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28820] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28820/stat : 28820 (java) S 28806 28808 28808 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869469025 8752267264 41015 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28821] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28821/stat : 28821 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469027 8752267264 41031 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382780849 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28822] ppid=28806 vsize=8547136 CPUtime=0.57 cores=0,2,4,6
/proc/28808/task/28822/stat : 28822 (java) S 28806 28808 28808 0 -1 4202560 7148 0 0 0 57 0 0 0 17 0 18 0 869469027 8752267264 41044 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 0 0 0 0
[pid=28808/tid=28823] ppid=28806 vsize=8547136 CPUtime=0.54 cores=0,2,4,6
/proc/28808/task/28823/stat : 28823 (java) S 28806 28808 28808 0 -1 4202560 5511 0 0 0 54 0 0 0 18 0 18 0 869469027 8752267264 41060 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 6 0 0 0
[pid=28808/tid=28824] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28824/stat : 28824 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869469027 8752267264 41075 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773145 0 4 0 16800975 18446604445814385408 0 0 -1 4 0 0 0
[pid=28808/tid=28825] ppid=28806 vsize=8547136 CPUtime=0 cores=0,2,4,6
/proc/28808/task/28825/stat : 28825 (java) S 28806 28808 28808 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869469027 8752267264 41075 33554432000 1073741824 1073778376 140736890822800 18446744073709551615 218382773760 0 4 0 16800975 18446604445814385408 0 0 -1 2 0 0 0
[pid=28450/tid=28458] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28458/stat : 28458 (python) S 28448 28450 26377 0 -1 4202560 40 1588 0 0 0 0 48 6 18 0 7 0 869399498 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 2 0 0 0
[pid=28450/tid=28485] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28485/stat : 28485 (python) S 28448 28450 26377 0 -1 4202560 29 1588 0 0 0 0 48 6 20 0 7 0 869404164 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
[pid=28450/tid=28550] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28550/stat : 28550 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 7 0 869408859 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 6 0 0 0
[pid=28450/tid=28578] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28578/stat : 28578 (python) S 28448 28450 26377 0 -1 4202560 27 1588 0 0 0 0 48 6 20 0 7 0 869413647 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28690] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28690/stat : 28690 (python) S 28448 28450 26377 0 -1 4202560 33 1588 0 0 0 0 48 6 18 0 7 0 869427799 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
[pid=28450/tid=28807] ppid=28448 vsize=366408 CPUtime=0.54 cores=0,2,4,6
/proc/28450/task/28807/stat : 28807 (python) S 28448 28450 26377 0 -1 4202560 28 1588 0 0 0 0 48 6 20 0 7 0 869469022 375201792 12652 33554432000 4194304 5683644 140736284161632 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 705.79
Current children cumulated vsize (KiB) 20724464
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 28450 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=734584
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=203968
# CPU time returned by wait4() is 2.93855
# while last known CPU time is 705.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 699.016
CPU time (s): 705.79
CPU user time (s): 701.39
CPU system time (s): 4.4
CPU usage (%): 100.969
Max. virtual memory (cumulated for all children) (KiB): 20724464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.73458
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28253
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= 27133
involuntary context switches= 866
runsolver used 5.36518 second user time and 10.3624 second system time
The end