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-3482241-1307578738/watcher-3482241-1307578738 -o /tmp/evaluation-result-3482241-1307578738/solver-3482241-1307578738 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482241-1307578738.opb -seed 1922335028 -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.21 2.15 1.92 3/768 29300
/proc/meminfo: memFree=9541096/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 998 0 0 0 0 0 0 0 17 0 1 0 869476669 16629760 870 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370618053 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29300/statm: 4060 870 368 364 0 547 0
[startup+0.0964481 s]
/proc/loadavg: 2.21 2.15 1.92 3/768 29300
/proc/meminfo: memFree=9541096/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=85364 CPUtime=0.06 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 2596 0 0 0 4 2 0 0 17 0 1 0 869476669 87412736 2317 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370953061 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29300/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85364
[startup+0.100496 s]
/proc/loadavg: 2.21 2.15 1.92 3/768 29300
/proc/meminfo: memFree=9541096/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=85624 CPUtime=0.07 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 2665 0 0 0 5 2 0 0 17 0 1 0 869476669 87678976 2382 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370957056 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29300/statm: 21406 2383 715 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85624
[startup+0.300442 s]
/proc/loadavg: 2.21 2.15 1.92 3/768 29300
/proc/meminfo: memFree=9541096/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 5358 929 1 0 13 5 0 0 17 0 1 0 869476669 126709760 3744 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/29300/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700385 s]
/proc/loadavg: 2.21 2.15 1.92 3/768 29300
/proc/meminfo: memFree=9541096/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=292408 CPUtime=0.48 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 11558 929 1 0 37 11 0 0 16 0 1 0 869476669 299425792 9419 33554432000 4194304 5683644 140734385694880 18446744073709551615 47496684622751 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29300/statm: 73102 9419 1781 364 0 7995 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 292408
[startup+1.50024 s]
/proc/loadavg: 2.21 2.15 1.92 3/769 29305
/proc/meminfo: memFree=9498372/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=319564 CPUtime=1.28 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 18185 929 1 0 116 12 0 0 17 0 1 0 869476669 327233536 16046 33554432000 4194304 5683644 140734385694880 18446744073709551615 4445135 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/29300/statm: 79891 16046 1781 364 0 14784 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 319564
[startup+3.10092 s]
/proc/loadavg: 2.21 2.15 1.92 3/769 29305
/proc/meminfo: memFree=9462784/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=337752 CPUtime=2.89 cores=0,2,4,6
/proc/29300/stat : 29300 (python) R 29298 29300 26377 0 -1 4202496 32051 929 1 0 275 14 0 0 19 0 1 0 869476669 345858048 20786 33554432000 4194304 5683644 140734385694880 18446744073709551615 47496518119651 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/29300/statm: 84438 20786 1816 364 0 19331 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 337752
[startup+6.30038 s]
/proc/loadavg: 2.36 2.18 1.93 3/772 29308
/proc/meminfo: memFree=9417988/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=352024 CPUtime=4.33 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 33342 929 1 0 419 14 0 0 25 0 2 0 869476669 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29300/statm: 88006 21845 1870 364 0 22893 0
[pid=29306] ppid=29300 vsize=341780 CPUtime=0 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 869477124 349982720 20322 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977295 0 0 16781312 33554946 12573748451050750210 0 0 17 4 0 0 0
/proc/29306/statm: 85445 20322 351 364 0 20332 0
[pid=29308] ppid=29306 vsize=43564 CPUtime=1.73 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) R 29306 29308 29308 0 -1 4202496 14234 0 0 0 172 1 0 0 25 0 1 0 869477124 44609536 9869 33554432000 134512640 135751879 4293999264 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/29308/statm: 10891 9869 146 303 0 10586 0
[pid=29300/tid=29307] ppid=29298 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 2 0 869477124 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 737368
[startup+12.7013 s]
/proc/loadavg: 2.33 2.17 1.93 3/772 29308
/proc/meminfo: memFree=9330960/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=352024 CPUtime=4.33 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 33342 929 1 0 419 14 0 0 25 0 2 0 869476669 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29300/statm: 88006 21845 1870 364 0 22893 0
[pid=29306] ppid=29300 vsize=341780 CPUtime=0.03 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 911 0 0 0 1 2 0 0 16 0 1 0 869477124 349982720 20346 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949298 0 0 17 6 0 0 0
/proc/29306/statm: 85445 20346 375 364 0 20332 0
[pid=29308] ppid=29306 vsize=53096 CPUtime=8.13 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) R 29306 29308 29308 0 -1 4202496 18083 0 0 0 810 3 0 0 25 0 1 0 869477124 54370304 12254 33554432000 134512640 135751879 4293999264 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/29308/statm: 13274 12254 146 303 0 12969 0
[pid=29300/tid=29307] ppid=29298 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 2 0 869477124 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 746900
[startup+25.501 s]
/proc/loadavg: 2.26 2.17 1.93 3/775 29311
/proc/meminfo: memFree=9301820/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=352024 CPUtime=4.33 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 33342 929 1 0 419 14 0 0 25 0 2 0 869476669 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29300/statm: 88006 21845 1870 364 0 22893 0
[pid=29306] ppid=29300 vsize=341780 CPUtime=0.08 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 919 0 0 0 4 4 0 0 15 0 1 0 869477124 349982720 20346 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949298 0 0 17 6 0 0 0
/proc/29306/statm: 85445 20346 375 364 0 20332 0
[pid=29308] ppid=29306 vsize=54152 CPUtime=20.93 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) R 29306 29308 29308 0 -1 4202496 18373 0 0 0 2086 7 0 0 25 0 1 0 869477124 55451648 12544 33554432000 134512640 135751879 4293999264 18446744073709551615 134616534 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/29308/statm: 13538 12544 146 303 0 13233 0
[pid=29300/tid=29307] ppid=29298 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 2 0 869477124 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 747956
[startup+51.1004 s]
/proc/loadavg: 2.24 2.17 1.94 3/775 29312
/proc/meminfo: memFree=9279368/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=352024 CPUtime=4.33 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 33342 929 1 0 419 14 0 0 25 0 2 0 869476669 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/29300/statm: 88006 21845 1870 364 0 22893 0
[pid=29306] ppid=29300 vsize=341780 CPUtime=0.18 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 927 0 0 0 8 10 0 0 15 0 1 0 869477124 349982720 20346 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949298 0 0 17 6 0 0 0
/proc/29306/statm: 85445 20346 375 364 0 20332 0
[pid=29308] ppid=29306 vsize=77180 CPUtime=46.53 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) R 29306 29308 29308 0 -1 4202496 24105 0 0 0 4640 13 0 0 25 0 1 0 869477124 79032320 18276 33554432000 134512640 135751879 4293999264 18446744073709551615 134519024 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/29308/statm: 19295 18276 146 303 0 18990 0
[pid=29300/tid=29307] ppid=29298 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 2 0 869477124 360472576 21845 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 770984
[startup+102.318 s]
/proc/loadavg: 2.10 2.14 1.94 3/800 29338
/proc/meminfo: memFree=8174536/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=372536 CPUtime=4.39 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 35091 929 1 0 424 15 0 0 20 0 4 0 869476669 381476864 21858 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29300/statm: 93134 21858 1875 364 0 28015 0
[pid=29306] ppid=29300 vsize=352024 CPUtime=0.2 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 1086 0 0 0 9 11 0 0 17 0 2 0 869477124 360472576 20382 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29306/statm: 88006 20382 406 364 0 22893 0
[pid=29308] ppid=29306 vsize=80348 CPUtime=49.81 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) T 29306 29308 29308 0 -1 4202496 24888 0 0 0 4968 13 0 0 25 0 1 0 869477124 82276352 19059 33554432000 134512640 135751879 4293999264 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/29308/statm: 20087 19059 146 303 0 19782 0
[pid=29306/tid=29313] ppid=29300 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29306/task/29313/stat : 29313 (python) S 29300 29300 26377 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869482107 360472576 20382 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604444962507776 0 0 -1 6 0 0 0
[pid=29314] ppid=29300 vsize=352036 CPUtime=0.19 cores=0,2,4,6
/proc/29314/stat : 29314 (python) S 29300 29300 26377 0 -1 4202560 1098 0 0 0 9 10 0 0 16 0 2 0 869482110 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29314/statm: 88009 20372 396 364 0 22893 0
[pid=29316] ppid=29314 vsize=1033020 CPUtime=47.2 cores=0,2,4,6
/proc/29316/stat : 29316 (scip-2.0.1.linu) T 29314 29316 29316 0 -1 4202496 255453 0 0 0 4610 110 0 0 25 0 1 0 869482110 1057812480 251341 33554432000 4194304 13684479 140735151482704 18446744073709551615 4880624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/29316/statm: 258255 251341 693 2317 0 255933 0
[pid=29314/tid=29318] ppid=29300 vsize=352036 CPUtime=0 cores=0,2,4,6
/proc/29314/task/29318/stat : 29318 (python) S 29300 29300 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869486837 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604450238805952 0 0 -1 2 0 0 0
[pid=29319] ppid=29300 vsize=362292 CPUtime=0 cores=0,2,4,6
/proc/29319/stat : 29319 (python) S 29300 29300 26377 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 1 0 869486840 370987008 20327 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977350 0 0 16781312 33554946 11620038593468137730 0 0 17 6 0 0 0
/proc/29319/statm: 90573 20327 348 364 0 25454 0
[pid=29321] ppid=29319 vsize=8537220 CPUtime=1.1 cores=0,2,4,6
/proc/29321/stat : 29321 (java) S 29319 29321 29321 0 -1 4202496 35653 0 1 0 104 6 0 0 21 0 18 0 869486840 8742113280 33425 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29321/statm: 2134305 33427 2214 9 0 2125046 0
[pid=29321/tid=29322] ppid=29319 vsize=8537220 CPUtime=0.57 cores=0,2,4,6
/proc/29321/task/29322/stat : 29322 (java) R 29319 29321 29321 0 -1 4202560 29545 0 1 0 53 4 0 0 18 0 18 0 869486841 8742113280 33429 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 46912505562526 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29321/tid=29323] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29323/stat : 29323 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869486842 8742113280 33431 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29324] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29324/stat : 29324 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869486842 8742113280 33433 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29325] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29325/stat : 29325 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33435 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29326] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29326/stat : 29326 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33437 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29327] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29327/stat : 29327 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33440 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29328] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29328/stat : 29328 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33442 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29329] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29329/stat : 29329 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33445 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29330] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29330/stat : 29330 (java) S 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486842 8742113280 33447 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29331] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29331/stat : 29331 (java) S 29319 29321 29321 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869486843 8742113280 33450 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 0 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
[pid=29321/tid=29332] ppid=29319 vsize=8537220 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29332/stat : 29332 (java) S 29319 29321 29321 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869486843 8742113280 33452 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446604442055596032 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=29314] ppid=29300 vsize=352036 CPUtime=0.19 cores=0,2,4,6
/proc/29314/stat : 29314 (python) S 29300 29300 26377 0 -1 4202560 1098 0 0 0 9 10 0 0 16 0 2 0 869482110 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29314/statm: 88009 20372 396 364 0 22893 0
[pid=29316] ppid=29314 vsize=1033020 CPUtime=47.2 cores=0,2,4,6
/proc/29316/stat : 29316 (scip-2.0.1.linu) T 29314 29316 29316 0 -1 4202496 255453 0 0 0 4610 110 0 0 25 0 1 0 869482110 1057812480 251341 33554432000 4194304 13684479 140735151482704 18446744073709551615 4880624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/29316/statm: 258255 251341 693 2317 0 255933 0
[pid=29314/tid=29318] ppid=29300 vsize=352036 CPUtime=0 cores=0,2,4,6
/proc/29314/task/29318/stat : 29318 (python) S 29300 29300 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869486837 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604450238805952 0 0 -1 2 0 0 0
[pid=29319] ppid=29300 vsize=362292 CPUtime=0.19 cores=0,2,4,6
/proc/29319/stat : 29319 (python) S 29300 29300 26377 0 -1 4202560 1103 0 0 0 9 10 0 0 16 0 2 0 869486840 370987008 20376 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29319/statm: 90573 20376 396 364 0 25454 0
[pid=29321] ppid=29319 vsize=8540280 CPUtime=50.7 cores=0,2,4,6
/proc/29321/stat : 29321 (java) T 29319 29321 29321 0 -1 4202496 719267 0 1 0 4960 110 0 0 18 0 19 0 869486840 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29321/statm: 2135070 707366 2246 9 0 2125811 0
[pid=29321/tid=29322] ppid=29319 vsize=8540280 CPUtime=47.43 cores=0,2,4,6
/proc/29321/task/29322/stat : 29322 (java) T 29319 29321 29321 0 -1 4202560 630539 0 1 0 4650 93 0 0 25 0 19 0 869486841 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 46912505858343 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29323] ppid=29319 vsize=8540280 CPUtime=0.12 cores=0,2,4,6
/proc/29321/task/29323/stat : 29323 (java) T 29319 29321 29321 0 -1 4202560 8524 0 0 0 11 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29324] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29324/stat : 29324 (java) T 29319 29321 29321 0 -1 4202560 11307 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29325] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29325/stat : 29325 (java) T 29319 29321 29321 0 -1 4202560 9897 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29326] ppid=29319 vsize=8540280 CPUtime=0.13 cores=0,2,4,6
/proc/29321/task/29326/stat : 29326 (java) T 29319 29321 29321 0 -1 4202560 9946 0 0 0 12 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29327] ppid=29319 vsize=8540280 CPUtime=0.15 cores=0,2,4,6
/proc/29321/task/29327/stat : 29327 (java) T 29319 29321 29321 0 -1 4202560 10280 0 0 0 13 2 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29328] ppid=29319 vsize=8540280 CPUtime=0.14 cores=0,2,4,6
/proc/29321/task/29328/stat : 29328 (java) T 29319 29321 29321 0 -1 4202560 8604 0 0 0 13 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29329] ppid=29319 vsize=8540280 CPUtime=0.1 cores=0,2,4,6
/proc/29321/task/29329/stat : 29329 (java) T 29319 29321 29321 0 -1 4202560 6900 0 0 0 9 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29330] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29330/stat : 29330 (java) T 29319 29321 29321 0 -1 4202560 10292 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29331] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29331/stat : 29331 (java) T 29319 29321 29321 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29332] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29332/stat : 29332 (java) T 29319 29321 29321 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29333] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29333/stat : 29333 (java) T 29319 29321 29321 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29334] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29334/stat : 29334 (java) T 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29335] ppid=29319 vsize=8540280 CPUtime=0.94 cores=0,2,4,6
/proc/29321/task/29335/stat : 29335 (java) T 29319 29321 29321 0 -1 4202560 3506 0 0 0 94 0 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29336] ppid=29319 vsize=8540280 CPUtime=1.08 cores=0,2,4,6
/proc/29321/task/29336/stat : 29336 (java) T 29319 29321 29321 0 -1 4202560 6807 0 0 0 107 1 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29337] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29337/stat : 29337 (java) T 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29338] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29338/stat : 29338 (java) T 29319 29321 29321 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29339] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29339/stat : 29339 (java) T 29319 29321 29321 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869487009 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29319/tid=29343] ppid=29300 vsize=362292 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29343/stat : 29343 (python) S 29300 29300 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869491624 370987008 20376 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604446389659648 0 0 -1 6 0 0 0
[pid=29344] ppid=29300 vsize=372548 CPUtime=6.26 cores=0,2,4,6
/proc/29344/stat : 29344 (python) S 29300 29300 26377 0 -1 4202560 1036 0 0 0 322 304 0 0 15 0 1 0 869491627 381489152 20355 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977350 0 0 16781312 33554946 72556772316949298 0 0 17 6 0 0 0
/proc/29344/statm: 93137 20355 372 364 0 28015 0
[pid=29346] ppid=29344 vsize=871500 CPUtime=1641.13 cores=0,2,4,6
/proc/29346/stat : 29346 (bsolo_pb10) R 29344 29346 29346 0 -1 4202496 17803583 0 0 0 161895 2218 0 0 25 0 1 0 869491627 892416000 215280 33554432000 134512640 137138936 4288792704 18446744073709551615 136570369 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/29346/statm: 217875 215280 192 642 0 217231 0
[pid=29300/tid=29307] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 5 0 869477124 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
[pid=29300/tid=29315] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29315/stat : 29315 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869482110 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
[pid=29300/tid=29320] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29320/stat : 29320 (python) S 29298 29300 26377 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869486840 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 2 0 0 0
[pid=29300/tid=29345] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29345/stat : 29345 (python) S 29298 29300 26377 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869491627 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12346840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.7 s]
/proc/loadavg: 1.15 1.14 1.49 3/785 29468
/proc/meminfo: memFree=4674948/32951124 swapFree=49244124/67111528
[pid=29300] ppid=29298 vsize=382792 CPUtime=4.41 cores=0,2,4,6
/proc/29300/stat : 29300 (python) S 29298 29300 26377 0 -1 4202496 35996 929 1 0 426 15 0 0 20 0 5 0 869476669 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/29300/statm: 95698 21864 1877 364 0 30576 0
[pid=29306] ppid=29300 vsize=352024 CPUtime=0.2 cores=0,2,4,6
/proc/29306/stat : 29306 (python) S 29300 29300 26377 0 -1 4202560 1086 0 0 0 9 11 0 0 17 0 2 0 869477124 360472576 20382 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29306/statm: 88006 20382 406 364 0 22893 0
[pid=29308] ppid=29306 vsize=80348 CPUtime=49.81 cores=0,2,4,6
/proc/29308/stat : 29308 (wbo1.4a) T 29306 29308 29308 0 -1 4202496 24888 0 0 0 4968 13 0 0 25 0 1 0 869477124 82276352 19059 33554432000 134512640 135751879 4293999264 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/29308/statm: 20087 19059 146 303 0 19782 0
[pid=29306/tid=29313] ppid=29300 vsize=352024 CPUtime=0 cores=0,2,4,6
/proc/29306/task/29313/stat : 29313 (python) S 29300 29300 26377 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869482107 360472576 20382 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604444962507776 0 0 -1 6 0 0 0
[pid=29314] ppid=29300 vsize=352036 CPUtime=0.19 cores=0,2,4,6
/proc/29314/stat : 29314 (python) S 29300 29300 26377 0 -1 4202560 1098 0 0 0 9 10 0 0 16 0 2 0 869482110 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/29314/statm: 88009 20372 396 364 0 22893 0
[pid=29316] ppid=29314 vsize=1033020 CPUtime=47.2 cores=0,2,4,6
/proc/29316/stat : 29316 (scip-2.0.1.linu) T 29314 29316 29316 0 -1 4202496 255453 0 0 0 4610 110 0 0 25 0 1 0 869482110 1057812480 251341 33554432000 4194304 13684479 140735151482704 18446744073709551615 4880624 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/29316/statm: 258255 251341 693 2317 0 255933 0
[pid=29314/tid=29318] ppid=29300 vsize=352036 CPUtime=0 cores=0,2,4,6
/proc/29314/task/29318/stat : 29318 (python) S 29300 29300 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869486837 360484864 20372 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604450238805952 0 0 -1 2 0 0 0
[pid=29319] ppid=29300 vsize=362292 CPUtime=0.19 cores=0,2,4,6
/proc/29319/stat : 29319 (python) S 29300 29300 26377 0 -1 4202560 1103 0 0 0 9 10 0 0 16 0 2 0 869486840 370987008 20376 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/29319/statm: 90573 20376 396 364 0 25454 0
[pid=29321] ppid=29319 vsize=8540280 CPUtime=50.7 cores=0,2,4,6
/proc/29321/stat : 29321 (java) T 29319 29321 29321 0 -1 4202496 719267 0 1 0 4960 110 0 0 18 0 19 0 869486840 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29321/statm: 2135070 707366 2246 9 0 2125811 0
[pid=29321/tid=29322] ppid=29319 vsize=8540280 CPUtime=47.43 cores=0,2,4,6
/proc/29321/task/29322/stat : 29322 (java) T 29319 29321 29321 0 -1 4202560 630539 0 1 0 4650 93 0 0 25 0 19 0 869486841 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 46912505858343 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29323] ppid=29319 vsize=8540280 CPUtime=0.12 cores=0,2,4,6
/proc/29321/task/29323/stat : 29323 (java) T 29319 29321 29321 0 -1 4202560 8524 0 0 0 11 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29324] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29324/stat : 29324 (java) T 29319 29321 29321 0 -1 4202560 11307 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29325] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29325/stat : 29325 (java) T 29319 29321 29321 0 -1 4202560 9897 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29326] ppid=29319 vsize=8540280 CPUtime=0.13 cores=0,2,4,6
/proc/29321/task/29326/stat : 29326 (java) T 29319 29321 29321 0 -1 4202560 9946 0 0 0 12 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29327] ppid=29319 vsize=8540280 CPUtime=0.15 cores=0,2,4,6
/proc/29321/task/29327/stat : 29327 (java) T 29319 29321 29321 0 -1 4202560 10280 0 0 0 13 2 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29328] ppid=29319 vsize=8540280 CPUtime=0.14 cores=0,2,4,6
/proc/29321/task/29328/stat : 29328 (java) T 29319 29321 29321 0 -1 4202560 8604 0 0 0 13 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29329] ppid=29319 vsize=8540280 CPUtime=0.1 cores=0,2,4,6
/proc/29321/task/29329/stat : 29329 (java) T 29319 29321 29321 0 -1 4202560 6900 0 0 0 9 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29330] ppid=29319 vsize=8540280 CPUtime=0.16 cores=0,2,4,6
/proc/29321/task/29330/stat : 29330 (java) T 29319 29321 29321 0 -1 4202560 10292 0 0 0 15 1 0 0 15 0 19 0 869486842 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29331] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29331/stat : 29331 (java) T 29319 29321 29321 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29332] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29332/stat : 29332 (java) T 29319 29321 29321 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=29321/tid=29333] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29333/stat : 29333 (java) T 29319 29321 29321 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869486843 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29334] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29334/stat : 29334 (java) T 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29335] ppid=29319 vsize=8540280 CPUtime=0.94 cores=0,2,4,6
/proc/29321/task/29335/stat : 29335 (java) T 29319 29321 29321 0 -1 4202560 3506 0 0 0 94 0 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29336] ppid=29319 vsize=8540280 CPUtime=1.08 cores=0,2,4,6
/proc/29321/task/29336/stat : 29336 (java) T 29319 29321 29321 0 -1 4202560 6807 0 0 0 107 1 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=29321/tid=29337] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29337/stat : 29337 (java) T 29319 29321 29321 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29321/tid=29338] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29338/stat : 29338 (java) T 29319 29321 29321 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869486845 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=29321/tid=29339] ppid=29319 vsize=8540280 CPUtime=0 cores=0,2,4,6
/proc/29321/task/29339/stat : 29339 (java) T 29319 29321 29321 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869487009 8745246720 707366 33554432000 1073741824 1073778376 140733660600032 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=29319/tid=29343] ppid=29300 vsize=362292 CPUtime=0 cores=0,2,4,6
/proc/29319/task/29343/stat : 29343 (python) S 29300 29300 26377 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869491624 370987008 20376 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554946 18446604446389659648 0 0 -1 6 0 0 0
[pid=29344] ppid=29300 vsize=372548 CPUtime=6.26 cores=0,2,4,6
/proc/29344/stat : 29344 (python) S 29300 29300 26377 0 -1 4202560 1036 0 0 0 322 304 0 0 15 0 1 0 869491627 381489152 20355 33554432000 4194304 5683644 140734385694880 18446744073709551615 218370977350 0 0 16781312 33554946 72556772316949298 0 0 17 6 0 0 0
/proc/29344/statm: 93137 20355 372 364 0 28015 0
[pid=29346] ppid=29344 vsize=871500 CPUtime=1641.13 cores=0,2,4,6
/proc/29346/stat : 29346 (bsolo_pb10) R 29344 29346 29346 0 -1 4202496 17803583 0 0 0 161895 2218 0 0 25 0 1 0 869491627 892416000 215280 33554432000 134512640 137138936 4288792704 18446744073709551615 136570369 0 0 16781312 16384 0 0 0 17 0 0 0 0
/proc/29346/statm: 217875 215280 192 642 0 217231 0
[pid=29300/tid=29307] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29307/stat : 29307 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 25 0 5 0 869477124 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
[pid=29300/tid=29315] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29315/stat : 29315 (python) S 29298 29300 26377 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 5 0 869482110 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 4 0 0 0
[pid=29300/tid=29320] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29320/stat : 29320 (python) S 29298 29300 26377 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869486840 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 2 0 0 0
[pid=29300/tid=29345] ppid=29298 vsize=382792 CPUtime=0 cores=0,2,4,6
/proc/29300/task/29345/stat : 29345 (python) S 29298 29300 26377 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 5 0 869491627 391979008 21864 33554432000 4194304 5683644 140734385694880 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318300224 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 12346840
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29300 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=268351
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=161975
# CPU time returned by wait4() is 4.43033
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.78
CPU time (s): 1800.09
CPU user time (s): 1772.08
CPU system time (s): 28.01
CPU usage (%): 100.52
Max. virtual memory (cumulated for all children) (KiB): 12347412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26835
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36927
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= 2559
involuntary context switches= 20
runsolver used 13.7739 second user time and 29.4585 second system time
The end