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-3481851-1307576416/watcher-3481851-1307576416 -o /tmp/evaluation-result-3481851-1307576416/solver-3481851-1307576416 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481851-1307576416.opb -seed 81356269 -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: 0.93 0.25 0.08 3/484 17517
/proc/meminfo: memFree=29140372/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 935 0 0 0 0 0 0 0 20 0 1 0 869241385 16154624 814 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/17517/statm: 3944 814 356 364 0 431 0
[startup+0.0348191 s]
/proc/loadavg: 0.93 0.25 0.08 3/484 17517
/proc/meminfo: memFree=29140372/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=18892 CPUtime=0.01 cores=0,2,4,6
/proc/17517/stat : 17517 (python) R 17515 17517 17436 0 -1 4202496 1238 0 0 0 1 0 0 0 20 0 1 0 869241385 19345408 1095 33554432000 4194304 5683644 140736505646400 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17517/statm: 4722 1094 421 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18892
[startup+0.100838 s]
/proc/loadavg: 0.93 0.25 0.08 3/484 17517
/proc/meminfo: memFree=29140372/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=87828 CPUtime=0.06 cores=0,2,4,6
/proc/17517/stat : 17517 (python) R 17515 17517 17436 0 -1 4202496 2691 0 0 0 5 1 0 0 20 0 1 0 869241385 89935872 2407 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17517/statm: 21957 2407 735 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87828
[startup+0.300708 s]
/proc/loadavg: 0.93 0.25 0.08 3/484 17517
/proc/meminfo: memFree=29140372/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=123744 CPUtime=0.18 cores=0,2,4,6
/proc/17517/stat : 17517 (python) R 17515 17517 17436 0 -1 4202496 5357 928 1 0 13 5 0 0 17 0 1 0 869241385 126713856 3745 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080228357 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17517/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123744
[startup+0.70063 s]
/proc/loadavg: 0.93 0.25 0.08 3/484 17517
/proc/meminfo: memFree=29140372/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=283368 CPUtime=0.48 cores=0,2,4,6
/proc/17517/stat : 17517 (python) R 17515 17517 17436 0 -1 4202496 9344 928 1 0 37 11 0 0 16 0 1 0 869241385 290168832 7206 33554432000 4194304 5683644 140736505646400 18446744073709551615 47867300135558 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/17517/statm: 70842 7206 1816 364 0 5735 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 283368
[startup+1.50053 s]
/proc/loadavg: 0.93 0.25 0.08 3/488 17525
/proc/meminfo: memFree=29088756/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=293772 CPUtime=0.52 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 9798 928 1 0 41 11 0 0 17 0 2 0 869241385 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 73443 7306 1870 364 0 8330 0
[pid=17523] ppid=17517 vsize=283528 CPUtime=0 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869241459 290332672 5784 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252431 0 0 16781312 33554946 582219384324358144 0 0 17 0 0 0 0
/proc/17523/statm: 70882 5784 352 364 0 5769 0
[pid=17525] ppid=17523 vsize=40888 CPUtime=0.75 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) R 17523 17525 17525 0 -1 4202496 8529 0 0 0 71 4 0 0 21 0 1 0 869241459 41869312 7828 33554432000 4194304 13684479 140734456918880 18446744073709551615 4421925 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17525/statm: 10222 7828 766 2317 0 7900 0
[pid=17517/tid=17524] ppid=17515 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869241459 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 618188
[startup+3.10132 s]
/proc/loadavg: 0.93 0.25 0.08 3/488 17526
/proc/meminfo: memFree=29077720/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=293772 CPUtime=0.52 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 9798 928 1 0 41 11 0 0 17 0 2 0 869241385 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 73443 7306 1870 364 0 8330 0
[pid=17523] ppid=17517 vsize=283528 CPUtime=0 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869241459 290332672 5784 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252431 0 0 16781312 33554946 3346831842111127552 0 0 17 0 0 0 0
/proc/17523/statm: 70882 5784 352 364 0 5769 0
[pid=17525] ppid=17523 vsize=52512 CPUtime=2.35 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) R 17523 17525 17525 0 -1 4202496 11615 0 0 0 230 5 0 0 19 0 1 0 869241459 53772288 10849 33554432000 4194304 13684479 140734456918880 18446744073709551615 4542401 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17525/statm: 13128 10849 769 2317 0 10806 0
[pid=17517/tid=17524] ppid=17515 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869241459 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 629812
[startup+6.30067 s]
/proc/loadavg: 1.01 0.27 0.09 3/488 17526
/proc/meminfo: memFree=29035432/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=293772 CPUtime=0.52 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 9798 928 1 0 41 11 0 0 17 0 2 0 869241385 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 73443 7306 1870 364 0 8330 0
[pid=17523] ppid=17517 vsize=283528 CPUtime=0.01 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 916 0 0 0 0 1 0 0 15 0 1 0 869241459 290332672 5808 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252431 0 0 16781312 33554946 3735142253409075200 0 0 17 0 0 0 0
/proc/17523/statm: 70882 5808 376 364 0 5769 0
[pid=17525] ppid=17523 vsize=86408 CPUtime=5.55 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) R 17523 17525 17525 0 -1 4202496 20625 0 0 0 547 8 0 0 18 0 1 0 869241459 88481792 19104 33554432000 4194304 13684479 140734456918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17525/statm: 21602 19104 771 2317 0 19280 0
[pid=17517/tid=17524] ppid=17515 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869241459 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 663708
[startup+12.7005 s]
/proc/loadavg: 1.25 0.34 0.11 3/488 17526
/proc/meminfo: memFree=29004808/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=293772 CPUtime=0.52 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 9798 928 1 0 41 11 0 0 17 0 2 0 869241385 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 73443 7306 1870 364 0 8330 0
[pid=17523] ppid=17517 vsize=283528 CPUtime=0.06 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 933 0 0 0 3 3 0 0 15 0 1 0 869241459 290332672 5808 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252431 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17523/statm: 70882 5808 376 364 0 5769 0
[pid=17525] ppid=17523 vsize=110052 CPUtime=11.95 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) R 17523 17525 17525 0 -1 4202496 26541 0 0 0 1183 12 0 0 19 0 1 0 869241459 112693248 24959 33554432000 4194304 13684479 140734456918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17525/statm: 27513 24959 771 2317 0 25191 0
[pid=17517/tid=17524] ppid=17515 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869241459 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 687352
[startup+25.501 s]
/proc/loadavg: 1.42 0.42 0.14 3/488 17526
/proc/meminfo: memFree=28976520/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=293772 CPUtime=0.52 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 9798 928 1 0 41 11 0 0 17 0 2 0 869241385 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 73443 7306 1870 364 0 8330 0
[pid=17523] ppid=17517 vsize=283528 CPUtime=0.1 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 940 0 0 0 4 6 0 0 15 0 1 0 869241459 290332672 5808 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252431 0 0 16781312 33554946 72262103200705417 0 0 17 2 0 0 0
/proc/17523/statm: 70882 5808 376 364 0 5769 0
[pid=17525] ppid=17523 vsize=113996 CPUtime=24.75 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) R 17523 17525 17525 0 -1 4202496 28216 0 0 0 2456 19 0 0 25 0 1 0 869241459 116731904 25898 33554432000 4194304 13684479 140734456918880 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17525/statm: 28499 25898 793 2317 0 26177 0
[pid=17517/tid=17524] ppid=17515 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 2 0 869241459 300822528 7306 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 691296
[startup+51.1051 s]
/proc/loadavg: 1.61 0.54 0.19 3/514 17553
/proc/meminfo: memFree=28865272/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=304520 CPUtime=0.54 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 10623 928 1 0 43 11 0 0 20 0 3 0 869241385 311828480 7428 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 76130 7428 1873 364 0 11014 0
[pid=17523] ppid=17517 vsize=293772 CPUtime=0.21 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 1111 0 0 0 11 10 0 0 17 0 2 0 869241459 300822528 5844 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17523/statm: 73443 5844 407 364 0 8330 0
[pid=17525] ppid=17523 vsize=115304 CPUtime=48.97 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) T 17523 17525 17525 0 -1 4202496 28423 0 0 0 4862 35 0 0 25 0 1 0 869241459 118071296 26104 33554432000 4194304 13684479 140734456918880 18446744073709551615 7387884 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17525/statm: 28826 26104 795 2317 0 26504 0
[pid=17523/tid=17532] ppid=17517 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17532/stat : 17532 (python) S 17517 17517 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869246358 300822528 5844 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443332925312 0 0 -1 2 0 0 0
[pid=17533] ppid=17517 vsize=294276 CPUtime=0 cores=0,2,4,6
/proc/17533/stat : 17533 (python) S 17517 17517 17436 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 869246360 301338624 5900 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252486 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/17533/statm: 73569 5900 349 364 0 8453 0
[pid=17535] ppid=17533 vsize=8539228 CPUtime=1.71 cores=0,2,4,6
/proc/17535/stat : 17535 (java) S 17533 17535 17535 0 -1 4202496 14468 0 119 0 168 3 0 0 17 0 19 0 869246361 8744169472 12818 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 16
/proc/17535/statm: 2134807 12818 2228 9 0 2125548 0
[pid=17535/tid=17536] ppid=17533 vsize=8539228 CPUtime=1.03 cores=0,2,4,6
/proc/17535/task/17536/stat : 17536 (java) R 17533 17535 17535 0 -1 4202560 8907 0 59 0 101 2 0 0 19 0 19 0 869246378 8744169472 12818 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 47008789949267 0 4 0 16800975 0 0 0 -1 2 0 0 12
[pid=17535/tid=17537] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17537/stat : 17537 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869246382 8744169472 12818 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 6 0 0 0
[pid=17535/tid=17538] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17538/stat : 17538 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869246382 8744169472 12818 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17539] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17539/stat : 17539 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17540] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17540/stat : 17540 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17541] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17541/stat : 17541 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17542] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17542/stat : 17542 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17543] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17543/stat : 17543 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17544] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17544/stat : 17544 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869246382 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17545] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17545/stat : 17545 (java) S 17533 17535 17535 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 869246386 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 0 0 16800975 18446604443853332672 0 0 -1 6 0 0 0
[pid=17535/tid=17546] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17546/stat : 17546 (java) S 17533 17535 17535 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869246387 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 6 0 0 0
[pid=17535/tid=17547] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17547/stat : 17547 (java) S 17533 17535 17535 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 869246387 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 6 0 0 0
[pid=17535/tid=17548] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17548/stat : 17548 (java) S 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869246393 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092055985 0 4 0 16800975 18446604443853332672 0 0 -1 6 0 0 0
[pid=17535/tid=17549] ppid=17533 vsize=8539228 CPUtime=0.31 cores=0,2,4,6
/proc/17535/task/17549/stat : 17549 (java) S 17533 17535 17535 0 -1 4202560 2023 0 2 0 31 0 0 0 15 0 19 0 869246393 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446604443853332672 0 0 -1 0 0 0 0
[pid=17535/tid=17550] ppid=17533 vsize=8539228 CPUtime=0.35 cores=0,2,4,6
/proc/17535/task/17550/stat : 17550 (java) R 17533 17535 17535 0 -1 4202560 2194 0 2 0 35 0 0 0 15 0 19 0 869246393 8744169472 12819 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 47008788551416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17535/tid=17551] ppid=17533 vsize=8539228 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=17535/tid=17547] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17547/stat : 17547 (java) T 17533 17535 17535 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869246387 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 4
[pid=17535/tid=17548] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17548/stat : 17548 (java) T 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17549] ppid=17533 vsize=8548556 CPUtime=0.41 cores=0,2,4,6
/proc/17535/task/17549/stat : 17549 (java) T 17533 17535 17535 0 -1 4202560 2294 0 2 0 41 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17550] ppid=17533 vsize=8548556 CPUtime=0.54 cores=0,2,4,6
/proc/17535/task/17550/stat : 17550 (java) T 17533 17535 17535 0 -1 4202560 5956 0 2 0 54 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17551] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17551/stat : 17551 (java) T 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17552] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17552/stat : 17552 (java) T 17533 17535 17535 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17553] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17553/stat : 17553 (java) T 17533 17535 17535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869246426 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17533/tid=17559] ppid=17517 vsize=294276 CPUtime=0 cores=0,2,4,6
/proc/17533/task/17559/stat : 17559 (python) S 17517 17517 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869251247 301338624 5955 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453854265728 0 0 -1 6 0 0 0
[pid=17560] ppid=17517 vsize=304236 CPUtime=0.01 cores=0,2,4,6
/proc/17560/stat : 17560 (python) S 17517 17517 17436 0 -1 4202560 1003 0 0 0 1 0 0 0 15 0 1 0 869251249 311537664 5859 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252486 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/17560/statm: 76059 5859 379 364 0 10940 0
[pid=17562] ppid=17560 vsize=76604 CPUtime=3.66 cores=0,2,4,6
/proc/17562/stat : 17562 (scip-2.0.1.linu) R 17560 17562 17562 0 -1 4202496 17404 0 0 0 362 4 0 0 21 0 1 0 869251249 78442496 16046 33554432000 4194304 15243407 140737451941824 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17562/statm: 19151 16046 864 2698 0 16446 0
[pid=17517/tid=17524] ppid=17515 vsize=314480 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 4 0 869241459 322027520 7359 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
[pid=17517/tid=17534] ppid=17515 vsize=314480 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17534/stat : 17534 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 4 0 869246361 322027520 7359 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 2 0 0 0
[pid=17517/tid=17561] ppid=17515 vsize=314480 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17561/stat : 17561 (python) S 17515 17517 17436 0 -1 4202560 112 928 0 0 0 0 0 0 20 0 4 0 869251249 322027520 7359 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 103.39
Current children cumulated vsize (KiB) 9947228
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+148.402 s]
/proc/loadavg: 1.92 0.95 0.37 5/565 17606
/proc/meminfo: memFree=27902648/32950928 swapFree=38525204/67111528
[pid=17517] ppid=17515 vsize=325176 CPUtime=0.6 cores=0,2,4,6
/proc/17517/stat : 17517 (python) S 17515 17517 17436 0 -1 4202496 12454 928 1 0 49 11 0 0 20 0 5 0 869241385 332980224 7460 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17517/statm: 81294 7460 1877 364 0 16172 0
[pid=17523] ppid=17517 vsize=293772 CPUtime=0.21 cores=0,2,4,6
/proc/17523/stat : 17523 (python) S 17517 17517 17436 0 -1 4202560 1111 0 0 0 11 10 0 0 17 0 2 0 869241459 300822528 5844 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/17523/statm: 73443 5844 407 364 0 8330 0
[pid=17525] ppid=17523 vsize=115304 CPUtime=48.97 cores=0,2,4,6
/proc/17525/stat : 17525 (scip-2.0.1.linu) T 17523 17525 17525 0 -1 4202496 28423 0 0 0 4862 35 0 0 25 0 1 0 869241459 118071296 26104 33554432000 4194304 13684479 140734456918880 18446744073709551615 7387884 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17525/statm: 28826 26104 795 2317 0 26504 0
[pid=17523/tid=17532] ppid=17517 vsize=293772 CPUtime=0 cores=0,2,4,6
/proc/17523/task/17532/stat : 17532 (python) S 17517 17517 17436 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869246358 300822528 5844 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554946 18446604443332925312 0 0 -1 2 0 0 0
[pid=17533] ppid=17517 vsize=294276 CPUtime=0.22 cores=0,2,4,6
/proc/17533/stat : 17533 (python) S 17517 17517 17436 0 -1 4202560 1189 0 0 0 10 12 0 0 17 0 2 0 869246360 301338624 5955 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17533/statm: 73569 5955 403 364 0 8453 0
[pid=17535] ppid=17533 vsize=8548556 CPUtime=49.75 cores=0,2,4,6
/proc/17535/stat : 17535 (java) T 17533 17535 17535 0 -1 4202496 61544 0 119 0 4963 12 0 0 15 0 19 0 869246361 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 16
/proc/17535/statm: 2137139 51823 2254 9 0 2127880 0
[pid=17535/tid=17536] ppid=17533 vsize=8548556 CPUtime=48.05 cores=0,2,4,6
/proc/17535/task/17536/stat : 17536 (java) T 17533 17535 17535 0 -1 4202560 14732 0 59 0 4802 3 0 0 25 0 19 0 869246378 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 46912505662354 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 12
[pid=17535/tid=17537] ppid=17533 vsize=8548556 CPUtime=0.04 cores=0,2,4,6
/proc/17535/task/17537/stat : 17537 (java) T 17533 17535 17535 0 -1 4202560 3858 0 0 0 4 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17538] ppid=17533 vsize=8548556 CPUtime=0.03 cores=0,2,4,6
/proc/17535/task/17538/stat : 17538 (java) T 17533 17535 17535 0 -1 4202560 5010 0 0 0 3 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17539] ppid=17533 vsize=8548556 CPUtime=0.06 cores=0,2,4,6
/proc/17535/task/17539/stat : 17539 (java) T 17533 17535 17535 0 -1 4202560 5217 0 0 0 5 1 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17535/tid=17540] ppid=17533 vsize=8548556 CPUtime=0.05 cores=0,2,4,6
/proc/17535/task/17540/stat : 17540 (java) T 17533 17535 17535 0 -1 4202560 3072 0 0 0 5 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17541] ppid=17533 vsize=8548556 CPUtime=0.01 cores=0,2,4,6
/proc/17535/task/17541/stat : 17541 (java) T 17533 17535 17535 0 -1 4202560 1720 0 0 0 1 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17535/tid=17542] ppid=17533 vsize=8548556 CPUtime=0.06 cores=0,2,4,6
/proc/17535/task/17542/stat : 17542 (java) T 17533 17535 17535 0 -1 4202560 2127 0 0 0 6 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17543] ppid=17533 vsize=8548556 CPUtime=0.04 cores=0,2,4,6
/proc/17535/task/17543/stat : 17543 (java) T 17533 17535 17535 0 -1 4202560 4637 0 0 0 4 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17535/tid=17544] ppid=17533 vsize=8548556 CPUtime=0.04 cores=0,2,4,6
/proc/17535/task/17544/stat : 17544 (java) T 17533 17535 17535 0 -1 4202560 3613 0 0 0 4 0 0 0 15 0 19 0 869246382 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17545] ppid=17533 vsize=8548556 CPUtime=0.3 cores=0,2,4,6
/proc/17535/task/17545/stat : 17545 (java) T 17533 17535 17535 0 -1 4202560 7971 0 0 0 29 1 0 0 15 0 19 0 869246386 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17535/tid=17546] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17546/stat : 17546 (java) T 17533 17535 17535 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869246387 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17547] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17547/stat : 17547 (java) T 17533 17535 17535 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869246387 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 4
[pid=17535/tid=17548] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17548/stat : 17548 (java) T 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17549] ppid=17533 vsize=8548556 CPUtime=0.41 cores=0,2,4,6
/proc/17535/task/17549/stat : 17549 (java) T 17533 17535 17535 0 -1 4202560 2294 0 2 0 41 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17550] ppid=17533 vsize=8548556 CPUtime=0.54 cores=0,2,4,6
/proc/17535/task/17550/stat : 17550 (java) T 17533 17535 17535 0 -1 4202560 5956 0 2 0 54 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17551] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17551/stat : 17551 (java) T 17533 17535 17535 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17535/tid=17552] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17552/stat : 17552 (java) T 17533 17535 17535 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869246393 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17535/tid=17553] ppid=17533 vsize=8548556 CPUtime=0 cores=0,2,4,6
/proc/17535/task/17553/stat : 17553 (java) T 17533 17535 17535 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869246426 8753721344 51823 33554432000 1073741824 1073778376 140736543462048 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17533/tid=17559] ppid=17517 vsize=294276 CPUtime=0 cores=0,2,4,6
/proc/17533/task/17559/stat : 17559 (python) S 17517 17517 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869251247 301338624 5955 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554946 18446604453854265728 0 0 -1 6 0 0 0
[pid=17560] ppid=17517 vsize=304236 CPUtime=0.22 cores=0,2,4,6
/proc/17560/stat : 17560 (python) S 17517 17517 17436 0 -1 4202560 1180 0 0 0 11 11 0 0 17 0 2 0 869251249 311537664 5884 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17560/statm: 76059 5884 403 364 0 10940 0
[pid=17562] ppid=17560 vsize=125428 CPUtime=49.48 cores=0,2,4,6
/proc/17562/stat : 17562 (scip-2.0.1.linu) T 17560 17562 17562 0 -1 4202496 36033 0 0 0 4931 17 0 0 18 0 1 0 869251249 128438272 28564 33554432000 4194304 15243407 140737451941824 18446744073709551615 7429375 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17562/statm: 31357 28564 905 2698 0 28652 0
[pid=17560/tid=17586] ppid=17517 vsize=304236 CPUtime=0 cores=0,2,4,6
/proc/17560/task/17586/stat : 17586 (python) S 17517 17517 17436 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869256201 311537664 5884 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554946 18446604447990450368 0 0 -1 6 0 0 0
[pid=17587] ppid=17517 vsize=314932 CPUtime=0 cores=0,2,4,6
/proc/17587/stat : 17587 (python) S 17517 17517 17436 0 -1 4202560 823 0 0 0 0 0 0 0 18 0 1 0 869256204 322490368 5928 33554432000 4194304 5683644 140736505646400 18446744073709551615 208080252486 0 0 16781312 33554946 96819218665701376 0 0 17 6 0 0 0
/proc/17587/statm: 78733 5928 349 364 0 13611 0
[pid=17589] ppid=17587 vsize=8534408 CPUtime=0.32 cores=0,2,4,6
/proc/17589/stat : 17589 (java) S 17587 17589 17589 0 -1 4202496 6965 0 1 0 31 1 0 0 20 0 18 0 869256204 8739233792 6362 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17589/statm: 2133602 6362 2179 9 0 2124343 0
[pid=17589/tid=17590] ppid=17587 vsize=8534408 CPUtime=0.21 cores=0,2,4,6
/proc/17589/task/17590/stat : 17590 (java) R 17587 17589 17589 0 -1 4202560 4276 0 1 0 21 0 0 0 25 0 18 0 869256205 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 47514447627882 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17589/tid=17591] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869256206 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869256206 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17593] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869256206 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17594] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256206 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17595] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256206 8739233792 6384 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256206 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 0 0 0 0
[pid=17589/tid=17597] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17589 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869256206 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 0 0 0 0
[pid=17589/tid=17598] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17598/stat : 17598 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256206 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 0 0 0 0
[pid=17589/tid=17599] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17599/stat : 17599 (java) S 17587 17589 17589 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869256207 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048896 0 0 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17600] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17600/stat : 17600 (java) S 17587 17589 17589 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869256207 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17601] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17601/stat : 17601 (java) S 17587 17589 17589 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 869256207 8739233792 6385 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 0 0 0 0
[pid=17589/tid=17602] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17602/stat : 17602 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256210 8739233792 6386 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092055985 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17603] ppid=17587 vsize=8534408 CPUtime=0.04 cores=0,2,4,6
/proc/17589/task/17603/stat : 17603 (java) S 17587 17589 17589 0 -1 4202560 535 0 0 0 4 0 0 0 17 0 18 0 869256210 8739233792 6386 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 2 0 0 0
[pid=17589/tid=17604] ppid=17587 vsize=8534408 CPUtime=0.05 cores=0,2,4,6
/proc/17589/task/17604/stat : 17604 (java) R 17587 17589 17589 0 -1 4202560 782 0 0 0 5 0 0 0 25 0 18 0 869256210 8739233792 6386 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17589/tid=17605] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17605/stat : 17605 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869256210 8739233792 6386 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048281 0 4 0 16800975 18446604449443728256 0 0 -1 6 0 0 0
[pid=17589/tid=17606] ppid=17587 vsize=8534408 CPUtime=0 cores=0,2,4,6
/proc/17589/task/17606/stat : 17606 (java) S 17587 17589 17589 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869256210 8739233792 6386 33554432000 1073741824 1073778376 140737441970288 18446744073709551615 208092048896 0 4 0 16800975 18446604449443728256 0 0 -1 0 0 0 0
[pid=17517/tid=17524] ppid=17515 vsize=325176 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17524/stat : 17524 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 18 0 5 0 869241459 332980224 7460 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
[pid=17517/tid=17534] ppid=17515 vsize=325176 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17534/stat : 17534 (python) S 17515 17517 17436 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 5 0 869246361 332980224 7460 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 2 0 0 0
[pid=17517/tid=17561] ppid=17515 vsize=325176 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17561/stat : 17561 (python) S 17515 17517 17436 0 -1 4202560 112 928 0 0 0 0 0 0 20 0 5 0 869251249 332980224 7460 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
[pid=17517/tid=17588] ppid=17515 vsize=325176 CPUtime=0 cores=0,2,4,6
/proc/17517/task/17588/stat : 17588 (python) S 17515 17517 17436 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 869256204 332980224 7460 33554432000 4194304 5683644 140736505646400 18446744073709551615 208092055985 0 0 16781312 33554434 18446604453683192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 149.77
Current children cumulated vsize (KiB) 18856088
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 17517 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=492925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.615906
# while last known CPU time is 149.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 148.477
CPU time (s): 149.77
CPU user time (s): 148.68
CPU system time (s): 1.09
CPU usage (%): 100.871
Max. virtual memory (cumulated for all children) (KiB): 18856088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.492925
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= 13384
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= 2655
involuntary context switches= 19
runsolver used 0.831873 second user time and 1.67274 second system time
The end