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-3481748-1307576443/watcher-3481748-1307576443 -o /tmp/evaluation-result-3481748-1307576443/solver-3481748-1307576443 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481748-1307576443.opb -seed 823630656 -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: 1.31 0.43 0.15 2/480 27370
/proc/meminfo: memFree=22895112/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/27370/stat : 27370 (runsolver) S 27368 27370 27243 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 850060530 12079104 53 33554432000 4194304 5432328 140733355150432 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 0 0 0 0
/proc/27370/statm: 2949 53 34 303 0 2643 0
[startup+0.0988821 s]
/proc/loadavg: 1.31 0.43 0.15 2/480 27370
/proc/meminfo: memFree=22895112/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 725 0 0 0 0 0 0 0 20 0 1 0 850060530 15548416 615 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.100891 s]
/proc/loadavg: 1.31 0.43 0.15 2/480 27370
/proc/meminfo: memFree=22895112/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 725 0 0 0 0 0 0 0 20 0 1 0 850060530 15548416 615 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300876 s]
/proc/loadavg: 1.31 0.43 0.15 2/480 27370
/proc/meminfo: memFree=22895112/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 959 0 0 0 0 0 0 0 18 0 1 0 850060530 16289792 834 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 3977 834 357 364 0 464 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908
[startup+0.700762 s]
/proc/loadavg: 1.31 0.43 0.15 2/480 27370
/proc/meminfo: memFree=22895112/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=29788 CPUtime=0.04 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 1462 0 0 0 3 1 0 0 15 0 1 0 850060530 30502912 1301 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 7447 1301 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788
[startup+1.50061 s]
/proc/loadavg: 1.31 0.43 0.15 2/481 27371
/proc/meminfo: memFree=22884812/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=87836 CPUtime=0.07 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 2705 0 1 0 5 2 0 0 15 0 1 0 850060530 89944064 2418 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 21959 2418 746 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87836
[startup+3.10032 s]
/proc/loadavg: 1.31 0.43 0.15 2/481 27375
/proc/meminfo: memFree=22874900/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=109348 CPUtime=0.1 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 4531 931 1 0 8 2 0 0 15 0 1 0 850060530 111972352 2996 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 27337 2996 877 364 0 2033 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 109348
heavy processes:
[startup+6.30075 s]
/proc/loadavg: 1.36 0.46 0.16 2/481 27375
/proc/meminfo: memFree=22859292/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=220344 CPUtime=0.27 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 7190 931 1 0 19 8 0 0 15 0 1 0 850060530 225632256 5396 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/27370/statm: 55086 5396 1542 364 0 4054 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 220344
heavy processes:
[startup+12.7006 s]
/proc/loadavg: 1.41 0.48 0.17 3/484 27379
/proc/meminfo: memFree=22765900/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=293772 CPUtime=0.48 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 9796 931 1 0 38 10 0 0 18 0 2 0 850060530 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27370/statm: 73443 7297 1862 364 0 8330 0
[pid=27376] ppid=27370 vsize=283528 CPUtime=0.02 cores=0,2,4,6
/proc/27376/stat : 27376 (python) S 27370 27370 27243 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 850061195 290332672 5807 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816256527 0 0 16781312 33554946 471574245026037760 0 0 17 4 0 0 0
/proc/27376/statm: 70882 5807 376 364 0 5769 0
[pid=27378] ppid=27376 vsize=87564 CPUtime=6.04 cores=0,2,4,6
/proc/27378/stat : 27378 (scip-2.0.1.linu) R 27376 27378 27378 0 -1 4202496 21693 0 0 0 597 7 0 0 22 0 1 0 850061195 89665536 19431 33554432000 4194304 13684479 140733386991344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27378/statm: 21891 19431 769 2317 0 19569 0
[pid=27370/tid=27377] ppid=27368 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27377/stat : 27377 (python) S 27368 27370 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 850061195 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 664864
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 1.54 0.56 0.20 3/484 27379
/proc/meminfo: memFree=22708352/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=293772 CPUtime=0.48 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 9796 931 1 0 38 10 0 0 18 0 2 0 850060530 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27370/statm: 73443 7297 1862 364 0 8330 0
[pid=27376] ppid=27370 vsize=283528 CPUtime=0.07 cores=0,2,4,6
/proc/27376/stat : 27376 (python) S 27370 27370 27243 0 -1 4202560 921 0 0 0 4 3 0 0 15 0 1 0 850061195 290332672 5807 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816256527 0 0 16781312 33554946 2424508291267690496 0 0 17 6 0 0 0
/proc/27376/statm: 70882 5807 376 364 0 5769 0
[pid=27378] ppid=27376 vsize=112600 CPUtime=18.84 cores=0,2,4,6
/proc/27378/stat : 27378 (scip-2.0.1.linu) R 27376 27378 27378 0 -1 4202496 29417 0 0 0 1872 12 0 0 25 0 1 0 850061195 115302400 25504 33554432000 4194304 13684479 140733386991344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27378/statm: 28150 25504 770 2317 0 25828 0
[pid=27370/tid=27377] ppid=27368 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27377/stat : 27377 (python) S 27368 27370 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 850061195 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19.39
Current children cumulated vsize (KiB) 689900
heavy processes:
[startup+51.1005 s]
/proc/loadavg: 1.70 0.67 0.24 3/488 27384
/proc/meminfo: memFree=22419388/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=293772 CPUtime=0.48 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 9796 931 1 0 38 10 0 0 18 0 2 0 850060530 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27370/statm: 73443 7297 1862 364 0 8330 0
[pid=27376] ppid=27370 vsize=283528 CPUtime=0.16 cores=0,2,4,6
/proc/27376/stat : 27376 (python) S 27370 27370 27243 0 -1 4202560 931 0 0 0 9 7 0 0 15 0 1 0 850061195 290332672 5807 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816256527 0 0 16781312 33554946 72556772316949318 0 0 17 6 0 0 0
/proc/27376/statm: 70882 5807 376 364 0 5769 0
[pid=27378] ppid=27376 vsize=115668 CPUtime=44.44 cores=0,2,4,6
/proc/27378/stat : 27378 (scip-2.0.1.linu) R 27376 27378 27378 0 -1 4202496 30319 0 0 0 4418 26 0 0 25 0 1 0 850061195 118444032 26406 33554432000 4194304 13684479 140733386991344 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27378/statm: 28917 26406 795 2317 0 26595 0
[pid=27370/tid=27377] ppid=27368 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27377/stat : 27377 (python) S 27368 27370 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 2 0 850061195 300822528 7297 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 45.08
Current children cumulated vsize (KiB) 692968
[startup+102.318 s]
/proc/loadavg: 1.88 0.89 0.34 3/502 27460
/proc/meminfo: memFree=23557744/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=304492 CPUtime=0.51 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 10608 931 1 0 40 11 0 0 20 0 3 0 850060530 311799808 7421 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27370/statm: 76123 7421 1873 364 0 11007 0
[pid=27376] ppid=27370 vsize=293772 CPUtime=0.2 cores=0,2,4,6
/proc/27376/stat : 27376 (python) S 27370 27370 27243 0 -1 4202560 1097 0 0 0 11 9 0 0 17 0 2 0 850061195 300822528 5843 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27376/statm: 73443 5843 407 364 0 8330 0
[pid=27378] ppid=27376 vsize=115668 CPUtime=49.64 cores=0,2,4,6
/proc/27378/stat : 27378 (scip-2.0.1.linu) T 27376 27378 27378 0 -1 4202496 30319 0 0 0 4935 29 0 0 25 0 1 0 850061195 118444032 26406 33554432000 4194304 13684479 140733386991344 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/27378/statm: 28917 26406 795 2317 0 26595 0
[pid=27376/tid=27385] ppid=27370 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/27376/task/27385/stat : 27385 (python) S 27370 27370 27243 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850066160 300822528 5843 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554946 18446604440395613504 0 0 -1 6 0 0 0
[pid=27386] ppid=27370 vsize=294248 CPUtime=0.2 cores=0,2,4,6
/proc/27386/stat : 27386 (python) S 27370 27370 27243 0 -1 4202560 1055 0 0 0 10 10 0 0 15 0 1 0 850066162 301309952 5923 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816256582 0 0 16781312 33554946 4294934787 0 0 17 0 0 0 0
/proc/27386/statm: 73562 5923 379 364 0 8446 0
[pid=27388] ppid=27386 vsize=8539128 CPUtime=46.97 cores=0,2,4,6
/proc/27388/stat : 27388 (java) S 27386 27388 27388 0 -1 4202496 58549 0 1 0 4688 9 0 0 20 0 19 0 850066163 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27388/statm: 2134782 50070 2255 9 0 2125523 0
[pid=27388/tid=27389] ppid=27386 vsize=8539128 CPUtime=45.53 cores=0,2,4,6
/proc/27388/task/27389/stat : 27389 (java) R 27386 27388 27388 0 -1 4202560 15408 0 1 0 4551 2 0 0 25 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 46912505719756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27388/tid=27390] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27390/stat : 27390 (java) S 27386 27388 27388 0 -1 4202560 5173 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 0 0 0 0
[pid=27388/tid=27391] ppid=27386 vsize=8539128 CPUtime=0.03 cores=0,2,4,6
/proc/27388/task/27391/stat : 27391 (java) S 27386 27388 27388 0 -1 4202560 6472 0 0 0 3 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27388/tid=27392] ppid=27386 vsize=8539128 CPUtime=0.03 cores=0,2,4,6
/proc/27388/task/27392/stat : 27392 (java) S 27386 27388 27388 0 -1 4202560 4460 0 0 0 3 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 0 0 0 0
[pid=27388/tid=27393] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27393/stat : 27393 (java) S 27386 27388 27388 0 -1 4202560 3196 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27388/tid=27394] ppid=27386 vsize=8539128 CPUtime=0.04 cores=0,2,4,6
/proc/27388/task/27394/stat : 27394 (java) S 27386 27388 27388 0 -1 4202560 4144 0 0 0 4 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 0 0 0 0
[pid=27388/tid=27395] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27395/stat : 27395 (java) S 27386 27388 27388 0 -1 4202560 2675 0 0 0 2 0 0 0 16 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 0 0 0 0
[pid=27388/tid=27396] ppid=27386 vsize=8539128 CPUtime=0.01 cores=0,2,4,6
/proc/27388/task/27396/stat : 27396 (java) S 27386 27388 27388 0 -1 4202560 131 0 0 0 1 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 0 0 0 0
[pid=27388/tid=27397] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27397/stat : 27397 (java) S 27386 27388 27388 0 -1 4202560 2564 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27388/tid=27398] ppid=27386 vsize=8539128 CPUtime=0.25 cores=0,2,4,6
/proc/27388/task/27398/stat : 27398 (java) S 27386 27388 27388 0 -1 4202560 8265 0 0 0 24 1 0 0 15 0 19 0 850066165 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 0 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27399] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27399/stat : 27399 (java) S 27386 27388 27388 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850066166 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27400] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27400/stat : 27400 (java) S 27386 27388 27388 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850066166 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27401] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27401/stat : 27401 (java) S 27386 27388 27388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850066168 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828060081 0 4 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27402] ppid=27386 vsize=8539128 CPUtime=0.38 cores=0,2,4,6
/proc/27388/task/27402/stat : 27402 (java) S 27386 27388 27388 0 -1 4202560 2284 0 0 0 38 0 0 0 15 0 19 0 850066168 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27403] ppid=27386 vsize=8539128 CPUtime=0.49 cores=0,2,4,6
/proc/27388/task/27403/stat : 27403 (java) S 27386 27388 27388 0 -1 4202560 2380 0 0 0 49 0 0 0 15 0 19 0 850066168 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27388/tid=27404] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27404/stat : 27404 (java) S 27386 27388 27388 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850066168 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446604441768450944 0 0 -1 6 0 0 0
[pid=27388/tid=27405] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27405/stat : 27405 (java) S 27386 27388 27388 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850066168 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27388/tid=27406] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27406/stat : 27406 (java) S 27386 27388 27388 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850066198 8744067072 50070 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 4 0 16800975 18446604441768450944 0 0 -1 4 0 0 0
[pid=27370/tid=27377] ppid=27368 vsize=304492 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27377/stat : 27377 (python) S 27368 27370 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 3 0 850061195 311799808 7421 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
[pid=27370/tid=27387] ppid=27368 vsize=304492 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27387/stat : 27387 (python) S 27368 27370 27243 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 3 0 850066163 311799808 7421 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.52
Current children cumulated vsize (KiB) 9547308
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+152.802 s]
/proc/loadavg: 1.94 1.06 0.43 6/532 27491
/proc/meminfo: memFree=22715776/32951124 swapFree=60476376/67111528
[pid=27370] ppid=27368 vsize=325288 CPUtime=0.57 cores=0,2,4,6
/proc/27370/stat : 27370 (python) S 27368 27370 27243 0 -1 4202496 12431 931 1 0 46 11 0 0 20 0 5 0 850060530 333094912 7488 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/27370/statm: 81322 7488 1877 364 0 16200 0
[pid=27376] ppid=27370 vsize=293772 CPUtime=0.2 cores=0,2,4,6
/proc/27376/stat : 27376 (python) S 27370 27370 27243 0 -1 4202560 1097 0 0 0 11 9 0 0 17 0 2 0 850061195 300822528 5843 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/27376/statm: 73443 5843 407 364 0 8330 0
[pid=27378] ppid=27376 vsize=115668 CPUtime=49.64 cores=0,2,4,6
/proc/27378/stat : 27378 (scip-2.0.1.linu) T 27376 27378 27378 0 -1 4202496 30319 0 0 0 4935 29 0 0 25 0 1 0 850061195 118444032 26406 33554432000 4194304 13684479 140733386991344 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/27378/statm: 28917 26406 795 2317 0 26595 0
[pid=27376/tid=27385] ppid=27370 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/27376/task/27385/stat : 27385 (python) S 27370 27370 27243 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850066160 300822528 5843 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554946 18446604440395613504 0 0 -1 6 0 0 0
[pid=27386] ppid=27370 vsize=294248 CPUtime=0.22 cores=0,2,4,6
/proc/27386/stat : 27386 (python) S 27370 27370 27243 0 -1 4202560 1180 0 0 0 11 11 0 0 17 0 2 0 850066162 301309952 5948 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/27386/statm: 73562 5948 403 364 0 8446 0
[pid=27388] ppid=27386 vsize=8539128 CPUtime=48.39 cores=0,2,4,6
/proc/27388/stat : 27388 (java) T 27386 27388 27388 0 -1 4202496 58552 0 1 0 4830 9 0 0 18 0 19 0 850066163 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/27388/statm: 2134782 50072 2255 9 0 2125523 0
[pid=27388/tid=27389] ppid=27386 vsize=8539128 CPUtime=46.92 cores=0,2,4,6
/proc/27388/task/27389/stat : 27389 (java) T 27386 27388 27388 0 -1 4202560 15409 0 1 0 4690 2 0 0 25 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 46912505738219 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27390] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27390/stat : 27390 (java) T 27386 27388 27388 0 -1 4202560 5173 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27388/tid=27391] ppid=27386 vsize=8539128 CPUtime=0.03 cores=0,2,4,6
/proc/27388/task/27391/stat : 27391 (java) T 27386 27388 27388 0 -1 4202560 6472 0 0 0 3 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27388/tid=27392] ppid=27386 vsize=8539128 CPUtime=0.04 cores=0,2,4,6
/proc/27388/task/27392/stat : 27392 (java) T 27386 27388 27388 0 -1 4202560 4460 0 0 0 4 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27388/tid=27393] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27393/stat : 27393 (java) T 27386 27388 27388 0 -1 4202560 3196 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27388/tid=27394] ppid=27386 vsize=8539128 CPUtime=0.04 cores=0,2,4,6
/proc/27388/task/27394/stat : 27394 (java) T 27386 27388 27388 0 -1 4202560 4144 0 0 0 4 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27388/tid=27395] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27395/stat : 27395 (java) T 27386 27388 27388 0 -1 4202560 2675 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27388/tid=27396] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27396/stat : 27396 (java) T 27386 27388 27388 0 -1 4202560 133 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=27388/tid=27397] ppid=27386 vsize=8539128 CPUtime=0.02 cores=0,2,4,6
/proc/27388/task/27397/stat : 27397 (java) T 27386 27388 27388 0 -1 4202560 2564 0 0 0 2 0 0 0 15 0 19 0 850066164 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27388/tid=27398] ppid=27386 vsize=8539128 CPUtime=0.26 cores=0,2,4,6
/proc/27388/task/27398/stat : 27398 (java) T 27386 27388 27388 0 -1 4202560 8265 0 0 0 25 1 0 0 15 0 19 0 850066165 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27399] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27399/stat : 27399 (java) T 27386 27388 27388 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850066166 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27400] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27400/stat : 27400 (java) T 27386 27388 27388 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 850066166 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27401] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27401/stat : 27401 (java) T 27386 27388 27388 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850066168 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828060081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27402] ppid=27386 vsize=8539128 CPUtime=0.38 cores=0,2,4,6
/proc/27388/task/27402/stat : 27402 (java) T 27386 27388 27388 0 -1 4202560 2284 0 0 0 38 0 0 0 15 0 19 0 850066168 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27403] ppid=27386 vsize=8539128 CPUtime=0.49 cores=0,2,4,6
/proc/27388/task/27403/stat : 27403 (java) T 27386 27388 27388 0 -1 4202560 2380 0 0 0 49 0 0 0 15 0 19 0 850066168 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27388/tid=27404] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27404/stat : 27404 (java) T 27386 27388 27388 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850066168 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052377 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=27388/tid=27405] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27405/stat : 27405 (java) T 27386 27388 27388 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850066168 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27388/tid=27406] ppid=27386 vsize=8539128 CPUtime=0 cores=0,2,4,6
/proc/27388/task/27406/stat : 27406 (java) T 27386 27388 27388 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850066198 8744067072 50072 33554432000 1073741824 1073778376 140734595323680 18446744073709551615 220828052992 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=27386/tid=27461] ppid=27370 vsize=294248 CPUtime=0 cores=0,2,4,6
/proc/27386/task/27461/stat : 27461 (python) S 27370 27370 27243 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850070904 301309952 5948 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441325488128 0 0 -1 0 0 0 0
[pid=27462] ppid=27370 vsize=304276 CPUtime=0.25 cores=0,2,4,6
/proc/27462/stat : 27462 (python) S 27370 27370 27243 0 -1 4202560 1185 0 0 0 13 12 0 0 16 0 2 0 850070906 311578624 5895 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/27462/statm: 76069 5895 403 364 0 10950 0
[pid=27464] ppid=27462 vsize=101056 CPUtime=48.51 cores=0,2,4,6
/proc/27464/stat : 27464 (scip-2.0.1.linu) T 27462 27464 27464 0 -1 4202496 33687 0 0 0 4837 14 0 0 25 0 1 0 850070906 103481344 22135 33554432000 4194304 15243407 140733932827504 18446744073709551615 8131352 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/27464/statm: 25264 22135 905 2698 0 22559 0
[pid=27462/tid=27470] ppid=27370 vsize=304276 CPUtime=0 cores=0,2,4,6
/proc/27462/task/27470/stat : 27470 (python) S 27370 27370 27243 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850075768 311578624 5895 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554946 18446604445786743232 0 0 -1 0 0 0 0
[pid=27471] ppid=27370 vsize=315044 CPUtime=0 cores=0,2,4,6
/proc/27471/stat : 27471 (python) S 27370 27370 27243 0 -1 4202560 814 0 0 0 0 0 0 0 16 0 1 0 850075770 322605056 5956 33554432000 4194304 5683644 140734291369536 18446744073709551615 220816256582 0 0 16781312 33554946 4294934786 0 0 17 0 0 0 0
/proc/27471/statm: 78761 5956 349 364 0 13639 0
[pid=27473] ppid=27471 vsize=8537468 CPUtime=0.74 cores=0,2,4,6
/proc/27473/stat : 27473 (java) S 27471 27473 27473 0 -1 4202496 11691 0 1 0 72 2 0 0 20 0 19 0 850075771 8742367232 10088 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27473/statm: 2134367 10088 2216 9 0 2125108 0
[pid=27473/tid=27474] ppid=27471 vsize=8537468 CPUtime=0.4 cores=0,2,4,6
/proc/27473/task/27474/stat : 27474 (java) R 27471 27473 27473 0 -1 4202560 6351 0 1 0 39 1 0 0 19 0 19 0 850075772 8742367232 10094 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828062389 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27473/tid=27475] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27475/stat : 27475 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850075772 8742367232 10094 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27476] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27476/stat : 27476 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850075772 8742367232 10094 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27477] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27477/stat : 27477 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850075772 8742367232 10094 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27478] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27478/stat : 27478 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075772 8742367232 10095 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 0 0 0 0
[pid=27473/tid=27479] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27479/stat : 27479 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075772 8742367232 10095 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 0 0 0 0
[pid=27473/tid=27480] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27480/stat : 27480 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075772 8742367232 10096 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 0 0 0 0
[pid=27473/tid=27481] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27481/stat : 27481 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075772 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 0 0 0 0
[pid=27473/tid=27482] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27482/stat : 27482 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075772 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 0 0 0 0
[pid=27473/tid=27483] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27483/stat : 27483 (java) S 27471 27473 27473 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850075773 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052992 0 0 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27484] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27484/stat : 27484 (java) S 27471 27473 27473 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850075774 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27485] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27485/stat : 27485 (java) S 27471 27473 27473 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 850075774 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27486] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27486/stat : 27486 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075776 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828060081 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27487] ppid=27471 vsize=8537468 CPUtime=0.16 cores=0,2,4,6
/proc/27473/task/27487/stat : 27487 (java) R 27471 27473 27473 0 -1 4202560 1704 0 0 0 16 0 0 0 16 0 19 0 850075776 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 47557121996386 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27473/tid=27488] ppid=27471 vsize=8537468 CPUtime=0.16 cores=0,2,4,6
/proc/27473/task/27488/stat : 27488 (java) R 27471 27473 27473 0 -1 4202560 2253 0 0 0 16 0 0 0 17 0 19 0 850075776 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 47557122533653 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27473/tid=27489] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27489/stat : 27489 (java) S 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850075776 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052377 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27473/tid=27490] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27490/stat : 27490 (java) R 27471 27473 27473 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850075776 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27473/tid=27491] ppid=27471 vsize=8537468 CPUtime=0 cores=0,2,4,6
/proc/27473/task/27491/stat : 27491 (java) S 27471 27473 27473 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850075806 8742367232 10102 33554432000 1073741824 1073778376 140734563249968 18446744073709551615 220828052992 0 4 0 16800975 18446604451328173056 0 0 -1 4 0 0 0
[pid=27370/tid=27377] ppid=27368 vsize=325288 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27377/stat : 27377 (python) S 27368 27370 27243 0 -1 4202560 28 931 0 0 0 0 0 0 18 0 5 0 850061195 333094912 7488 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
[pid=27370/tid=27387] ppid=27368 vsize=325288 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27387/stat : 27387 (python) S 27368 27370 27243 0 -1 4202560 26 931 0 0 0 0 0 0 20 0 5 0 850066163 333094912 7488 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 4 0 0 0
[pid=27370/tid=27463] ppid=27368 vsize=325288 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27463/stat : 27463 (python) S 27368 27370 27243 0 -1 4202560 23 931 0 0 0 0 0 0 20 0 5 0 850070906 333094912 7488 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 0 0 0 0
[pid=27370/tid=27472] ppid=27368 vsize=325288 CPUtime=0 cores=0,2,4,6
/proc/27370/task/27472/stat : 27472 (python) S 27368 27370 27243 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 5 0 850075771 333094912 7488 33554432000 4194304 5683644 140734291369536 18446744073709551615 220828060081 0 0 16781312 33554434 18446604447251458240 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 148.52
Current children cumulated vsize (KiB) 18825948
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 27370 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=460929
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.58391
# while last known CPU time is 148.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 152.887
CPU time (s): 148.52
CPU user time (s): 147.55
CPU system time (s): 0.97
CPU usage (%): 97.1436
Max. virtual memory (cumulated for all children) (KiB): 18825948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.460929
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13364
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= 2841
involuntary context switches= 17
runsolver used 0.841872 second user time and 1.62375 second system time
The end