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-3481527-1307578043/watcher-3481527-1307578043 -o /tmp/evaluation-result-3481527-1307578043/solver-3481527-1307578043 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481527-1307578043.opb -seed 362263202 -budget 1800
running on 4 cores: 1,3,5,7
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.03 2.08 1.71 2/645 31892
/proc/meminfo: memFree=16136540/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/31892/stat : 31892 (python) R 31890 31892 30366 0 -1 4202496 1083 0 0 0 1 0 0 0 25 0 1 0 850219798 16793600 953 33554432000 4194304 5683644 140736764329312 18446744073709551615 5210636 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31892/statm: 4100 956 390 364 0 587 0
[startup+0.036254 s]
/proc/loadavg: 2.03 2.08 1.71 2/645 31892
/proc/meminfo: memFree=16136540/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=18888 CPUtime=0.02 cores=1,3,5,7
/proc/31892/stat : 31892 (python) R 31890 31892 30366 0 -1 4202496 1285 0 0 0 2 0 0 0 17 0 1 0 850219798 19341312 1137 33554432000 4194304 5683644 140736764329312 18446744073709551615 5293487 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31892/statm: 4722 1137 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888
[startup+0.104289 s]
/proc/loadavg: 2.03 2.08 1.71 2/645 31892
/proc/meminfo: memFree=16136540/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/31892/stat : 31892 (python) R 31890 31892 30366 0 -1 4202496 3170 931 1 0 6 1 0 0 18 0 1 0 850219798 98435072 2484 33554432000 4194304 5683644 140736764329312 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31892/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300181 s]
/proc/loadavg: 2.03 2.08 1.71 2/645 31892
/proc/meminfo: memFree=16136540/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=184604 CPUtime=0.21 cores=1,3,5,7
/proc/31892/stat : 31892 (python) R 31890 31892 30366 0 -1 4202496 6354 931 1 0 16 5 0 0 17 0 1 0 850219798 189034496 4654 33554432000 4194304 5683644 140736764329312 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/31892/statm: 46151 4656 1251 364 0 3657 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184604
[startup+0.701131 s]
/proc/loadavg: 2.03 2.08 1.71 2/645 31892
/proc/meminfo: memFree=16136540/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=284708 CPUtime=0.6 cores=1,3,5,7
/proc/31892/stat : 31892 (python) R 31890 31892 30366 0 -1 4202496 11098 1357 1 0 45 11 4 0 17 0 1 0 850219798 291540992 7565 33554432000 4194304 5683644 140736764329312 18446744073709551615 228098889703 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/31892/statm: 71177 7565 1864 364 0 6067 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 284708
[startup+1.50098 s]
/proc/loadavg: 2.03 2.08 1.71 3/649 31901
/proc/meminfo: memFree=16082052/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 850219869 291553280 6020 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/31899/statm: 71180 6020 319 364 0 6067 0
[pid=31901] ppid=31899 vsize=46000 CPUtime=0.78 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 9884 0 0 0 66 12 0 0 18 0 1 0 850219869 47104000 9149 33554432000 4194304 13684479 140736358779696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 11500 9149 755 2317 0 9178 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 625684
[startup+3.10069 s]
/proc/loadavg: 2.03 2.08 1.71 3/649 31901
/proc/meminfo: memFree=16068536/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 731 0 0 0 0 0 0 0 15 0 1 0 850219869 291553280 6020 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 3788133740295749632 0 0 17 7 0 0 0
/proc/31899/statm: 71180 6020 319 364 0 6067 0
[pid=31901] ppid=31899 vsize=60664 CPUtime=2.38 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 13625 0 0 0 221 17 0 0 18 0 1 0 850219869 62119936 12845 33554432000 4194304 13684479 140736358779696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 15166 12845 759 2317 0 12844 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 640348
[startup+6.30111 s]
/proc/loadavg: 2.02 2.08 1.71 3/649 31901
/proc/meminfo: memFree=16048716/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0.02 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 873 0 0 0 1 1 0 0 15 0 1 0 850219869 291553280 6044 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 4185132960627818496 0 0 17 7 0 0 0
/proc/31899/statm: 71180 6044 343 364 0 6067 0
[pid=31901] ppid=31899 vsize=77188 CPUtime=5.58 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 17826 0 0 0 533 25 0 0 18 0 1 0 850219869 79040512 17000 33554432000 4194304 13684479 140736358779696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 19297 17000 787 2317 0 16975 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 656872
[startup+12.7009 s]
/proc/loadavg: 2.02 2.08 1.71 3/649 31902
/proc/meminfo: memFree=16037592/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0.07 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 878 0 0 0 3 4 0 0 15 0 1 0 850219869 291553280 6044 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 5623753486446373716 0 0 17 7 0 0 0
/proc/31899/statm: 71180 6044 343 364 0 6067 0
[pid=31901] ppid=31899 vsize=84040 CPUtime=11.98 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 20275 0 0 0 1158 40 0 0 25 0 1 0 850219869 86056960 18683 33554432000 4194304 13684479 140736358779696 18446744073709551615 4412976 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 21010 18683 781 2317 0 18688 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 663724
[startup+25.5006 s]
/proc/loadavg: 2.02 2.07 1.71 4/637 31961
/proc/meminfo: memFree=16009344/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0.14 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 883 0 0 0 6 8 0 0 15 0 1 0 850219869 291553280 6044 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/31899/statm: 71180 6044 343 364 0 6067 0
[pid=31901] ppid=31899 vsize=93388 CPUtime=24.78 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 22559 0 0 0 2370 108 0 0 18 0 1 0 850219869 95629312 20931 33554432000 4194304 13684479 140736358779696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 23347 20931 815 2317 0 21025 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 673072
[startup+51.1009 s]
/proc/loadavg: 2.07 2.08 1.73 3/637 31998
/proc/meminfo: memFree=15878704/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=294964 CPUtime=0.61 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 11367 1357 1 0 46 11 4 0 19 0 2 0 850219798 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/31892/statm: 73741 7576 1871 364 0 8628 0
[pid=31899] ppid=31892 vsize=284720 CPUtime=0.25 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 895 0 0 0 11 14 0 0 15 0 1 0 850219869 291553280 6044 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471119 0 0 16781312 33554946 1723526953765437440 0 0 17 1 0 0 0
/proc/31899/statm: 71180 6044 343 364 0 6067 0
[pid=31901] ppid=31899 vsize=91896 CPUtime=50.38 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) R 31899 31901 31901 0 -1 4202496 22984 0 0 0 4756 282 0 0 18 0 1 0 850219869 94101504 20770 33554432000 4194304 13684479 140736358779696 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/31901/statm: 22974 20770 815 2317 0 20652 0
[pid=31892/tid=31900] ppid=31890 vsize=294964 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 2 0 850219869 302043136 7576 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 671580
[startup+102.322 s]
/proc/loadavg: 2.10 2.08 1.74 3/667 32029
/proc/meminfo: memFree=15476960/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=315980 CPUtime=0.66 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 13159 1357 1 0 51 11 4 0 20 0 4 0 850219798 323563520 7715 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31892/statm: 78995 7715 1876 364 0 13876 0
[pid=31899] ppid=31892 vsize=294964 CPUtime=0.27 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 1094 0 0 0 12 15 0 0 17 0 2 0 850219869 302043136 6112 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31899/statm: 73741 6112 406 364 0 8628 0
[pid=31901] ppid=31899 vsize=91896 CPUtime=51.95 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) T 31899 31901 31901 0 -1 4202496 22984 0 0 0 4903 292 0 0 21 0 1 0 850219869 94101504 20770 33554432000 4194304 13684479 140736358779696 18446744073709551615 7387824 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31901/statm: 22974 20770 815 2317 0 20652 0
[pid=31899/tid=31999] ppid=31892 vsize=294964 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31999/stat : 31999 (python) S 31892 31892 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850225066 302043136 6112 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467446503488 0 0 -1 7 0 0 0
[pid=32000] ppid=31892 vsize=295480 CPUtime=0.23 cores=1,3,5,7
/proc/32000/stat : 32000 (python) S 31892 31892 30366 0 -1 4202560 1162 0 0 0 11 12 0 0 17 0 2 0 850225068 302571520 6229 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32000/statm: 73870 6229 397 364 0 8754 0
[pid=32002] ppid=32000 vsize=8549300 CPUtime=46.36 cores=1,3,5,7
/proc/32002/stat : 32002 (java) T 32000 32002 32002 0 -1 4202496 49136 0 1 0 4628 8 0 0 15 0 19 0 850225068 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32002/statm: 2137325 45724 2260 9 0 2128066 0
[pid=32002/tid=32003] ppid=32000 vsize=8549300 CPUtime=43.26 cores=1,3,5,7
/proc/32002/task/32003/stat : 32003 (java) T 32000 32002 32002 0 -1 4202560 22492 0 1 0 4323 3 0 0 25 0 19 0 850225069 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32004] ppid=32000 vsize=8549300 CPUtime=0.06 cores=1,3,5,7
/proc/32002/task/32004/stat : 32004 (java) T 32000 32002 32002 0 -1 4202560 728 0 0 0 6 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32002/tid=32005] ppid=32000 vsize=8549300 CPUtime=0.08 cores=1,3,5,7
/proc/32002/task/32005/stat : 32005 (java) T 32000 32002 32002 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32006] ppid=32000 vsize=8549300 CPUtime=0.1 cores=1,3,5,7
/proc/32002/task/32006/stat : 32006 (java) T 32000 32002 32002 0 -1 4202560 1376 0 0 0 10 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32007] ppid=32000 vsize=8549300 CPUtime=0.08 cores=1,3,5,7
/proc/32002/task/32007/stat : 32007 (java) T 32000 32002 32002 0 -1 4202560 27 0 0 0 8 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32002/tid=32008] ppid=32000 vsize=8549300 CPUtime=0.11 cores=1,3,5,7
/proc/32002/task/32008/stat : 32008 (java) T 32000 32002 32002 0 -1 4202560 545 0 0 0 11 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32009] ppid=32000 vsize=8549300 CPUtime=0.09 cores=1,3,5,7
/proc/32002/task/32009/stat : 32009 (java) T 32000 32002 32002 0 -1 4202560 1880 0 0 0 9 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 47863242572016 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=32038/tid=32046] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32046/stat : 32046 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24988 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32047] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32047/stat : 32047 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24988 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32048] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32048/stat : 32048 (java) S 32036 32038 32038 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 0 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32049] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32049/stat : 32049 (java) S 32036 32038 32038 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32050] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32050/stat : 32050 (java) S 32036 32038 32038 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32051] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32051/stat : 32051 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850234217 8754286592 24990 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107274673 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32052] ppid=32036 vsize=8549108 CPUtime=0.73 cores=1,3,5,7
/proc/32038/task/32052/stat : 32052 (java) R 32036 32038 32038 0 -1 4202560 7575 0 0 0 72 1 0 0 25 0 19 0 850234217 8754286592 24991 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32038/tid=32053] ppid=32036 vsize=8549108 CPUtime=0.71 cores=1,3,5,7
/proc/32038/task/32053/stat : 32053 (java) S 32036 32038 32038 0 -1 4202560 6786 0 0 0 71 0 0 0 25 0 19 0 850234217 8754286592 24995 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 3 0 0 0
[pid=32038/tid=32054] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32054/stat : 32054 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850234217 8754286592 24999 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32055] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32055/stat : 32055 (java) R 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850234217 8754286592 25003 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32038/tid=32056] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32056/stat : 32056 (java) S 32036 32038 32038 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850234255 8754286592 25007 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=31892/tid=31900] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 5 0 850219869 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
[pid=31892/tid=32001] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32001/stat : 32001 (python) S 31890 31892 30366 0 -1 4202560 26 1357 0 0 0 0 4 0 20 0 5 0 850225068 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
[pid=31892/tid=32028] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32028/stat : 32028 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 20 0 5 0 850229553 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
[pid=31892/tid=32037] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32037/stat : 32037 (python) S 31890 31892 30366 0 -1 4202560 32 1357 0 0 0 0 4 0 20 0 5 0 850234212 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 148.74
Current children cumulated vsize (KiB) 18812384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+145.102 s]
/proc/loadavg: 2.24 2.12 1.77 5/693 32056
/proc/meminfo: memFree=15040728/32951124 swapFree=57370024/67111528
[pid=31892] ppid=31890 vsize=326236 CPUtime=0.69 cores=1,3,5,7
/proc/31892/stat : 31892 (python) S 31890 31892 30366 0 -1 4202496 14133 1357 1 0 53 12 4 0 19 0 5 0 850219798 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/31892/statm: 81559 7726 1878 364 0 16437 0
[pid=31899] ppid=31892 vsize=294964 CPUtime=0.27 cores=1,3,5,7
/proc/31899/stat : 31899 (python) S 31892 31892 30366 0 -1 4202560 1094 0 0 0 12 15 0 0 17 0 2 0 850219869 302043136 6112 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/31899/statm: 73741 6112 406 364 0 8628 0
[pid=31901] ppid=31899 vsize=91896 CPUtime=51.95 cores=1,3,5,7
/proc/31901/stat : 31901 (scip-2.0.1.linu) T 31899 31901 31901 0 -1 4202496 22984 0 0 0 4903 292 0 0 21 0 1 0 850219869 94101504 20770 33554432000 4194304 13684479 140736358779696 18446744073709551615 7387824 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/31901/statm: 22974 20770 815 2317 0 20652 0
[pid=31899/tid=31999] ppid=31892 vsize=294964 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31999/stat : 31999 (python) S 31892 31892 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850225066 302043136 6112 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554946 18446604467446503488 0 0 -1 7 0 0 0
[pid=32000] ppid=31892 vsize=295480 CPUtime=0.23 cores=1,3,5,7
/proc/32000/stat : 32000 (python) S 31892 31892 30366 0 -1 4202560 1162 0 0 0 11 12 0 0 17 0 2 0 850225068 302571520 6229 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/32000/statm: 73870 6229 397 364 0 8754 0
[pid=32002] ppid=32000 vsize=8549300 CPUtime=46.36 cores=1,3,5,7
/proc/32002/stat : 32002 (java) T 32000 32002 32002 0 -1 4202496 49136 0 1 0 4628 8 0 0 15 0 19 0 850225068 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32002/statm: 2137325 45724 2260 9 0 2128066 0
[pid=32002/tid=32003] ppid=32000 vsize=8549300 CPUtime=43.26 cores=1,3,5,7
/proc/32002/task/32003/stat : 32003 (java) T 32000 32002 32002 0 -1 4202560 22492 0 1 0 4323 3 0 0 25 0 19 0 850225069 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32004] ppid=32000 vsize=8549300 CPUtime=0.06 cores=1,3,5,7
/proc/32002/task/32004/stat : 32004 (java) T 32000 32002 32002 0 -1 4202560 728 0 0 0 6 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32002/tid=32005] ppid=32000 vsize=8549300 CPUtime=0.08 cores=1,3,5,7
/proc/32002/task/32005/stat : 32005 (java) T 32000 32002 32002 0 -1 4202560 1114 0 0 0 8 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32006] ppid=32000 vsize=8549300 CPUtime=0.1 cores=1,3,5,7
/proc/32002/task/32006/stat : 32006 (java) T 32000 32002 32002 0 -1 4202560 1376 0 0 0 10 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32007] ppid=32000 vsize=8549300 CPUtime=0.08 cores=1,3,5,7
/proc/32002/task/32007/stat : 32007 (java) T 32000 32002 32002 0 -1 4202560 27 0 0 0 8 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32002/tid=32008] ppid=32000 vsize=8549300 CPUtime=0.11 cores=1,3,5,7
/proc/32002/task/32008/stat : 32008 (java) T 32000 32002 32002 0 -1 4202560 545 0 0 0 11 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228095404343 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32009] ppid=32000 vsize=8549300 CPUtime=0.09 cores=1,3,5,7
/proc/32002/task/32009/stat : 32009 (java) T 32000 32002 32002 0 -1 4202560 1880 0 0 0 9 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 47863242572016 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=32002/tid=32010] ppid=32000 vsize=8549300 CPUtime=0.09 cores=1,3,5,7
/proc/32002/task/32010/stat : 32010 (java) T 32000 32002 32002 0 -1 4202560 729 0 0 0 9 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32011] ppid=32000 vsize=8549300 CPUtime=0.07 cores=1,3,5,7
/proc/32002/task/32011/stat : 32011 (java) T 32000 32002 32002 0 -1 4202560 450 0 0 0 7 0 0 0 15 0 19 0 850225070 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 47863242572016 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32012] ppid=32000 vsize=8549300 CPUtime=1.11 cores=1,3,5,7
/proc/32002/task/32012/stat : 32012 (java) T 32000 32002 32002 0 -1 4202560 7898 0 0 0 110 1 0 0 15 0 19 0 850225071 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32013] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32013/stat : 32013 (java) T 32000 32002 32002 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850225071 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32014] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32014/stat : 32014 (java) T 32000 32002 32002 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850225071 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32015] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32015/stat : 32015 (java) T 32000 32002 32002 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850225073 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32016] ppid=32000 vsize=8549300 CPUtime=0.61 cores=1,3,5,7
/proc/32002/task/32016/stat : 32016 (java) T 32000 32002 32002 0 -1 4202560 4325 0 0 0 61 0 0 0 15 0 19 0 850225073 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32017] ppid=32000 vsize=8549300 CPUtime=0.6 cores=1,3,5,7
/proc/32002/task/32017/stat : 32017 (java) T 32000 32002 32002 0 -1 4202560 6176 0 0 0 60 0 0 0 15 0 19 0 850225073 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=32002/tid=32018] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32018/stat : 32018 (java) T 32000 32002 32002 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850225074 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32002/tid=32019] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32019/stat : 32019 (java) T 32000 32002 32002 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850225074 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=32002/tid=32020] ppid=32000 vsize=8549300 CPUtime=0 cores=1,3,5,7
/proc/32002/task/32020/stat : 32020 (java) T 32000 32002 32002 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850225111 8754483200 45724 33554432000 1073741824 1073778376 140737242027920 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=32000/tid=32026] ppid=31892 vsize=295480 CPUtime=0 cores=1,3,5,7
/proc/32000/task/32026/stat : 32026 (python) S 31892 31892 30366 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850229550 302571520 6229 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554946 18446604455055690816 0 0 -1 3 0 0 0
[pid=32027] ppid=31892 vsize=305736 CPUtime=0.24 cores=1,3,5,7
/proc/32027/stat : 32027 (python) S 31892 31892 30366 0 -1 4202560 1179 0 0 0 12 12 0 0 16 0 2 0 850229553 313073664 6233 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/32027/statm: 76434 6233 397 364 0 11315 0
[pid=32029] ppid=32027 vsize=83672 CPUtime=46.55 cores=1,3,5,7
/proc/32029/stat : 32029 (scip-2.0.1.linu) T 32027 32029 32029 0 -1 4202496 25049 0 0 0 4584 71 0 0 25 0 1 0 850229553 85680128 17950 33554432000 4194304 15243407 140734444032752 18446744073709551615 7429312 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/32029/statm: 20918 17950 931 2698 0 18213 0
[pid=32027/tid=32035] ppid=31892 vsize=305736 CPUtime=0 cores=1,3,5,7
/proc/32027/task/32035/stat : 32035 (python) S 31892 31892 30366 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850234209 313073664 6233 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554946 18446604460560171968 0 0 -1 7 0 0 0
[pid=32036] ppid=31892 vsize=315992 CPUtime=0 cores=1,3,5,7
/proc/32036/stat : 32036 (python) S 31892 31892 30366 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 850234212 323575808 6164 33554432000 4194304 5683644 140736764329312 18446744073709551615 228095471174 0 0 16781312 33554946 3710799770344751104 0 0 17 3 0 0 0
/proc/32036/statm: 78998 6164 320 364 0 13876 0
[pid=32038] ppid=32036 vsize=8549108 CPUtime=2.45 cores=1,3,5,7
/proc/32038/stat : 32038 (java) S 32036 32038 32038 0 -1 4202496 32128 0 1 0 239 6 0 0 17 0 19 0 850234212 8754286592 24935 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32038/statm: 2137277 24936 2229 9 0 2128018 0
[pid=32038/tid=32039] ppid=32036 vsize=8549108 CPUtime=0.98 cores=1,3,5,7
/proc/32038/task/32039/stat : 32039 (java) R 32036 32038 32038 0 -1 4202560 16404 0 1 0 95 3 0 0 25 0 19 0 850234213 8754286592 24977 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 46912505842768 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32038/tid=32040] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32040/stat : 32040 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850234214 8754286592 24984 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32041] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32041/stat : 32041 (java) S 32036 32038 32038 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 850234214 8754286592 24986 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32042] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32042/stat : 32042 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850234214 8754286592 24987 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32043] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32043/stat : 32043 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24987 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32044] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32044/stat : 32044 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24987 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32045] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32045/stat : 32045 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24987 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32046] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32046/stat : 32046 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24988 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32047] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32047/stat : 32047 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850234214 8754286592 24988 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32048] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32048/stat : 32048 (java) S 32036 32038 32038 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 0 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32049] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32049/stat : 32049 (java) S 32036 32038 32038 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32050] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32050/stat : 32050 (java) S 32036 32038 32038 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850234215 8754286592 24989 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32051] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32051/stat : 32051 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850234217 8754286592 24990 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107274673 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32052] ppid=32036 vsize=8549108 CPUtime=0.73 cores=1,3,5,7
/proc/32038/task/32052/stat : 32052 (java) R 32036 32038 32038 0 -1 4202560 7575 0 0 0 72 1 0 0 25 0 19 0 850234217 8754286592 24991 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32038/tid=32053] ppid=32036 vsize=8549108 CPUtime=0.71 cores=1,3,5,7
/proc/32038/task/32053/stat : 32053 (java) S 32036 32038 32038 0 -1 4202560 6786 0 0 0 71 0 0 0 25 0 19 0 850234217 8754286592 24995 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 3 0 0 0
[pid=32038/tid=32054] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32054/stat : 32054 (java) S 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850234217 8754286592 24999 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107266969 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=32038/tid=32055] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32055/stat : 32055 (java) R 32036 32038 32038 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850234217 8754286592 25003 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32038/tid=32056] ppid=32036 vsize=8549108 CPUtime=0 cores=1,3,5,7
/proc/32038/task/32056/stat : 32056 (java) S 32036 32038 32038 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850234255 8754286592 25007 33554432000 1073741824 1073778376 140733622843680 18446744073709551615 228107267584 0 4 0 16800975 18446604460560172864 0 0 -1 7 0 0 0
[pid=31892/tid=31900] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/31900/stat : 31900 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 19 0 5 0 850219869 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 7 0 0 0
[pid=31892/tid=32001] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32001/stat : 32001 (python) S 31890 31892 30366 0 -1 4202560 26 1357 0 0 0 0 4 0 20 0 5 0 850225068 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
[pid=31892/tid=32028] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32028/stat : 32028 (python) S 31890 31892 30366 0 -1 4202560 27 1357 0 0 0 0 4 0 20 0 5 0 850229553 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
[pid=31892/tid=32037] ppid=31890 vsize=326236 CPUtime=0.04 cores=1,3,5,7
/proc/31892/task/32037/stat : 32037 (python) S 31890 31892 30366 0 -1 4202560 32 1357 0 0 0 0 4 0 20 0 5 0 850234212 334065664 7726 33554432000 4194304 5683644 140736764329312 18446744073709551615 228107274673 0 0 16781312 33554434 18446604466534774592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 148.74
Current children cumulated vsize (KiB) 18812384
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31892 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=578911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 0.705891
# while last known CPU time is 148.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 145.182
CPU time (s): 148.74
CPU user time (s): 144.46
CPU system time (s): 4.28
CPU usage (%): 102.45
Max. virtual memory (cumulated for all children) (KiB): 18812384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.578911
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15491
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= 3687
involuntary context switches= 21
runsolver used 0.868867 second user time and 1.91471 second system time
The end