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-3481746-1307576440/watcher-3481746-1307576440 -o /tmp/evaluation-result-3481746-1307576440/solver-3481746-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481746-1307576440.opb -seed 1919133569 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/17603/stat : 17603 (runsolver) S 17599 17603 17566 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 1 0 947874911 12079104 54 33554432000 4194304 5432328 140735437373936 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/17603/statm: 2949 54 34 303 0 2643 0
[startup+0.109535 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/17603/stat : 17603 (python) D 17599 17603 17566 0 -1 4202496 506 0 6 0 0 0 0 0 17 0 1 0 947874911 15175680 420 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458061669 0 0 4096 0 0 0 0 17 7 0 0 3
/proc/17603/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.200516 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=15388 CPUtime=0 cores=1,3,5,7
/proc/17603/stat : 17603 (python) D 17599 17603 17566 0 -1 4202496 805 0 6 0 0 0 0 0 17 0 1 0 947874911 15757312 697 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458065664 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 4
/proc/17603/statm: 3847 697 334 364 0 334 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15388
[startup+0.300497 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=15388 CPUtime=0 cores=1,3,5,7
/proc/17603/stat : 17603 (python) D 17599 17603 17566 0 -1 4202496 805 0 6 0 0 0 0 0 17 0 1 0 947874911 15757312 697 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458065664 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 4
/proc/17603/statm: 3847 697 334 364 0 334 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15388
[startup+0.700421 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 994 0 6 0 0 0 0 0 15 0 1 0 947874911 16629760 873 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 37
/proc/17603/statm: 4060 873 371 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+1.50025 s]
/proc/loadavg: 0.31 0.07 0.02 2/470 17605
/proc/meminfo: memFree=24614920/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=34424 CPUtime=0.07 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 1540 0 12 0 3 4 0 0 15 0 1 0 947874911 35250176 1388 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 43
/proc/17603/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34424
[startup+3.10102 s]
/proc/loadavg: 0.31 0.07 0.02 2/470 17605
/proc/meminfo: memFree=24605684/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=84568 CPUtime=0.12 cores=1,3,5,7
/proc/17603/stat : 17603 (python) D 17599 17603 17566 0 -1 4202496 2388 0 21 0 5 7 0 0 16 0 1 0 947874911 86597632 2136 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458063872 0 0 16781312 2 0 0 0 17 7 0 0 80
/proc/17603/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 84568
heavy processes:
[startup+6.3004 s]
/proc/loadavg: 0.37 0.08 0.03 1/470 17605
/proc/meminfo: memFree=24606196/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=98564 CPUtime=0.17 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 3603 921 24 9 8 9 0 0 15 0 1 0 947874911 100929536 2588 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 98
/proc/17603/statm: 24641 2588 794 364 0 1721 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 98564
heavy processes:
[startup+12.7012 s]
/proc/loadavg: 0.34 0.08 0.03 3/476 17619
/proc/meminfo: memFree=24483464/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=293852 CPUtime=0.71 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 9717 921 115 9 41 30 0 0 18 0 2 0 947874911 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 273
/proc/17603/statm: 73463 7334 1870 364 0 8350 0
[pid=17614] ppid=17603 vsize=283740 CPUtime=0 cores=1,3,5,7
/proc/17614/stat : 17614 (python) S 17603 17603 17566 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 947876063 290549760 5815 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458085903 0 0 16781312 33554946 2107426755772940288 0 0 17 7 0 0 0
/proc/17614/statm: 70935 5815 354 364 0 5822 0
[pid=17618] ppid=17614 vsize=40244 CPUtime=1.15 cores=1,3,5,7
/proc/17618/stat : 17618 (scip-2.0.1.linu) R 17614 17618 17618 0 -1 4202496 8431 0 0 0 110 5 0 0 18 0 1 0 947876064 41209856 7727 33554432000 4194304 13684479 140736278986768 18446744073709551615 4421925 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17618/statm: 10061 7727 768 2317 0 7739 0
[pid=17603/tid=17616] ppid=17599 vsize=293852 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17616/stat : 17616 (python) S 17599 17603 17566 0 -1 4202560 28 921 0 9 0 0 0 0 18 0 2 0 947876063 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 617836
heavy processes:
[startup+25.5008 s]
/proc/loadavg: 0.59 0.14 0.05 3/476 17620
/proc/meminfo: memFree=24343584/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=293852 CPUtime=0.71 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 9717 921 115 9 41 30 0 0 18 0 2 0 947874911 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 273
/proc/17603/statm: 73463 7334 1870 364 0 8350 0
[pid=17614] ppid=17603 vsize=283740 CPUtime=0.05 cores=1,3,5,7
/proc/17614/stat : 17614 (python) S 17603 17603 17566 0 -1 4202560 926 0 0 0 2 3 0 0 15 0 1 0 947876063 290549760 5840 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458085903 0 0 16781312 33554946 2222356971057577984 0 0 17 7 0 0 0
/proc/17614/statm: 70935 5840 378 364 0 5822 0
[pid=17618] ppid=17614 vsize=85928 CPUtime=13.95 cores=1,3,5,7
/proc/17618/stat : 17618 (scip-2.0.1.linu) R 17614 17618 17618 0 -1 4202496 19900 0 0 0 1367 28 0 0 25 0 1 0 947876064 87990272 19100 33554432000 4194304 13684479 140736278986768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17618/statm: 21482 19100 794 2317 0 19160 0
[pid=17603/tid=17616] ppid=17599 vsize=293852 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17616/stat : 17616 (python) S 17599 17603 17566 0 -1 4202560 28 921 0 9 0 0 0 0 18 0 2 0 947876063 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (KiB) 663520
heavy processes:
[startup+51.101 s]
/proc/loadavg: 1.15 0.32 0.11 3/476 17620
/proc/meminfo: memFree=24341772/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=293852 CPUtime=0.71 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 9717 921 115 9 41 30 0 0 18 0 2 0 947874911 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 273
/proc/17603/statm: 73463 7334 1870 364 0 8350 0
[pid=17614] ppid=17603 vsize=283740 CPUtime=0.14 cores=1,3,5,7
/proc/17614/stat : 17614 (python) S 17603 17603 17566 0 -1 4202560 935 0 0 0 6 8 0 0 15 0 1 0 947876063 290549760 5840 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458085903 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/17614/statm: 70935 5840 378 364 0 5822 0
[pid=17618] ppid=17614 vsize=85928 CPUtime=39.56 cores=1,3,5,7
/proc/17618/stat : 17618 (scip-2.0.1.linu) R 17614 17618 17618 0 -1 4202496 19903 0 0 0 3865 91 0 0 25 0 1 0 947876064 87990272 19102 33554432000 4194304 13684479 140736278986768 18446744073709551615 4412880 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17618/statm: 21482 19102 795 2317 0 19160 0
[pid=17603/tid=17616] ppid=17599 vsize=293852 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17616/stat : 17616 (python) S 17599 17603 17566 0 -1 4202560 28 921 0 9 0 0 0 0 18 0 2 0 947876063 300904448 7334 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40.41
Current children cumulated vsize (KiB) 663520
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.63 0.58 0.20 3/520 17666
/proc/meminfo: memFree=23944272/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=304676 CPUtime=0.74 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 10579 921 115 9 44 30 0 0 19 0 3 0 947874911 311988224 7467 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 273
/proc/17603/statm: 76169 7467 1873 364 0 11053 0
[pid=17614] ppid=17603 vsize=293984 CPUtime=0.2 cores=1,3,5,7
/proc/17614/stat : 17614 (python) S 17603 17603 17566 0 -1 4202560 1101 0 0 0 9 11 0 0 16 0 2 0 947876063 301039616 5875 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17614/statm: 73496 5875 408 364 0 8383 0
[pid=17618] ppid=17614 vsize=85928 CPUtime=51.26 cores=1,3,5,7
/proc/17618/stat : 17618 (scip-2.0.1.linu) T 17614 17618 17618 0 -1 4202496 19906 0 0 0 5012 114 0 0 25 0 1 0 947876064 87990272 19105 33554432000 4194304 13684479 140736278986768 18446744073709551615 7419523 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/17618/statm: 21482 19105 798 2317 0 19160 0
[pid=17614/tid=17644] ppid=17603 vsize=293984 CPUtime=0 cores=1,3,5,7
/proc/17614/task/17644/stat : 17644 (python) S 17603 17603 17566 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947881192 301039616 5875 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554946 18446604461198197760 0 0 -1 7 0 0 0
[pid=17645] ppid=17603 vsize=294432 CPUtime=0.16 cores=1,3,5,7
/proc/17645/stat : 17645 (python) S 17603 17603 17566 0 -1 4202560 1055 0 0 0 7 9 0 0 15 0 1 0 947881194 301498368 5969 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458085958 0 0 16781312 33554946 5623753486446373612 0 0 17 7 0 0 0
/proc/17645/statm: 73608 5969 379 364 0 8492 0
[pid=17647] ppid=17645 vsize=8537036 CPUtime=40.52 cores=1,3,5,7
/proc/17647/stat : 17647 (java) S 17645 17647 17647 0 -1 4202496 58637 0 1 0 4043 9 0 0 20 0 19 0 947881194 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17647/statm: 2134259 49900 2254 9 0 2125000 0
[pid=17647/tid=17648] ppid=17645 vsize=8537036 CPUtime=39.13 cores=1,3,5,7
/proc/17647/task/17648/stat : 17648 (java) R 17645 17647 17647 0 -1 4202560 15387 0 1 0 3911 2 0 0 25 0 19 0 947881195 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 46912505743694 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17647/tid=17649] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17649/stat : 17649 (java) S 17645 17647 17647 0 -1 4202560 4942 0 0 0 2 0 0 0 16 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 3 0 0 0
[pid=17647/tid=17650] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17650/stat : 17650 (java) S 17645 17647 17647 0 -1 4202560 6624 0 0 0 2 0 0 0 16 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 1 0 0 0
[pid=17647/tid=17651] ppid=17645 vsize=8537036 CPUtime=0.01 cores=1,3,5,7
/proc/17647/task/17651/stat : 17651 (java) S 17645 17647 17647 0 -1 4202560 4141 0 0 0 1 0 0 0 15 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 1 0 0 0
[pid=17647/tid=17652] ppid=17645 vsize=8537036 CPUtime=0.03 cores=1,3,5,7
/proc/17647/task/17652/stat : 17652 (java) S 17645 17647 17647 0 -1 4202560 4633 0 0 0 3 0 0 0 15 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 3 0 0 0
[pid=17647/tid=17653] ppid=17645 vsize=8537036 CPUtime=0.01 cores=1,3,5,7
/proc/17647/task/17653/stat : 17653 (java) S 17645 17647 17647 0 -1 4202560 1008 0 0 0 1 0 0 0 16 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17647/tid=17654] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17654/stat : 17654 (java) S 17645 17647 17647 0 -1 4202560 4155 0 0 0 2 0 0 0 15 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17647/tid=17655] ppid=17645 vsize=8537036 CPUtime=0.03 cores=1,3,5,7
/proc/17647/task/17655/stat : 17655 (java) S 17645 17647 17647 0 -1 4202560 2171 0 0 0 3 0 0 0 16 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17647/tid=17656] ppid=17645 vsize=8537036 CPUtime=0.01 cores=1,3,5,7
/proc/17647/task/17656/stat : 17656 (java) S 17645 17647 17647 0 -1 4202560 1003 0 0 0 1 0 0 0 15 0 19 0 947881196 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17647/tid=17657] ppid=17645 vsize=8537036 CPUtime=0.22 cores=1,3,5,7
/proc/17647/task/17657/stat : 17657 (java) S 17645 17647 17647 0 -1 4202560 8079 0 0 0 21 1 0 0 15 0 19 0 947881197 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 0 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17658] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17658/stat : 17658 (java) S 17645 17647 17647 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947881197 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17659] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17659/stat : 17659 (java) S 17645 17647 17647 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947881197 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17660] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17660/stat : 17660 (java) S 17645 17647 17647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947881199 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469889457 0 4 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17661] ppid=17645 vsize=8537036 CPUtime=0.48 cores=1,3,5,7
/proc/17647/task/17661/stat : 17661 (java) S 17645 17647 17647 0 -1 4202560 2141 0 0 0 48 0 0 0 15 0 19 0 947881199 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17647/tid=17662] ppid=17645 vsize=8537036 CPUtime=0.41 cores=1,3,5,7
/proc/17647/task/17662/stat : 17662 (java) S 17645 17647 17647 0 -1 4202560 2958 0 0 0 41 0 0 0 15 0 19 0 947881199 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 1 0 0 0
[pid=17647/tid=17663] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17663/stat : 17663 (java) S 17645 17647 17647 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947881199 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17664] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17664/stat : 17664 (java) S 17645 17647 17647 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947881199 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 4 0 16800975 18446604470594452416 0 0 -1 5 0 0 0
[pid=17647/tid=17665] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17665/stat : 17665 (java) S 17645 17647 17647 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947881228 8741924864 49900 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 4 0 16800975 18446604470594452416 0 0 -1 7 0 0 0
[pid=17603/tid=17616] ppid=17599 vsize=304676 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17616/stat : 17616 (python) S 17599 17603 17566 0 -1 4202560 28 921 0 9 0 0 0 0 18 0 3 0 947876063 311988224 7467 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
[pid=17603/tid=17646] ppid=17599 vsize=304676 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17646/stat : 17646 (python) S 17599 17603 17566 0 -1 4202560 26 921 0 9 0 0 0 0 20 0 3 0 947881194 311988224 7467 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 92.88
Current children cumulated vsize (KiB) 9516056
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+157.302 s]
/proc/loadavg: 2.04 0.87 0.32 3/550 17697
/proc/meminfo: memFree=23702772/32951124 swapFree=56297244/67111528
[pid=17603] ppid=17599 vsize=325328 CPUtime=0.79 cores=1,3,5,7
/proc/17603/stat : 17603 (python) S 17599 17603 17566 0 -1 4202496 12440 921 115 9 49 30 0 0 19 0 5 0 947874911 333135872 7498 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 273
/proc/17603/statm: 81332 7498 1877 364 0 16210 0
[pid=17614] ppid=17603 vsize=293984 CPUtime=0.2 cores=1,3,5,7
/proc/17614/stat : 17614 (python) S 17603 17603 17566 0 -1 4202560 1101 0 0 0 9 11 0 0 16 0 2 0 947876063 301039616 5875 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17614/statm: 73496 5875 408 364 0 8383 0
[pid=17618] ppid=17614 vsize=85928 CPUtime=51.26 cores=1,3,5,7
/proc/17618/stat : 17618 (scip-2.0.1.linu) T 17614 17618 17618 0 -1 4202496 19906 0 0 0 5012 114 0 0 25 0 1 0 947876064 87990272 19105 33554432000 4194304 13684479 140736278986768 18446744073709551615 7419523 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/17618/statm: 21482 19105 798 2317 0 19160 0
[pid=17614/tid=17644] ppid=17603 vsize=293984 CPUtime=0 cores=1,3,5,7
/proc/17614/task/17644/stat : 17644 (python) S 17603 17603 17566 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947881192 301039616 5875 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554946 18446604461198197760 0 0 -1 7 0 0 0
[pid=17645] ppid=17603 vsize=294432 CPUtime=0.2 cores=1,3,5,7
/proc/17645/stat : 17645 (python) S 17603 17603 17566 0 -1 4202560 1182 0 0 0 9 11 0 0 17 0 2 0 947881194 301498368 5994 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17645/statm: 73608 5994 403 364 0 8492 0
[pid=17647] ppid=17645 vsize=8537036 CPUtime=47.22 cores=1,3,5,7
/proc/17647/stat : 17647 (java) T 17645 17647 17647 0 -1 4202496 59543 0 1 0 4713 9 0 0 18 0 19 0 947881194 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17647/statm: 2134259 50478 2254 9 0 2125000 0
[pid=17647/tid=17648] ppid=17645 vsize=8537036 CPUtime=45.74 cores=1,3,5,7
/proc/17647/task/17648/stat : 17648 (java) T 17645 17647 17647 0 -1 4202560 15389 0 1 0 4572 2 0 0 25 0 19 0 947881195 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 46912505837443 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17649] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17649/stat : 17649 (java) T 17645 17647 17647 0 -1 4202560 4942 0 0 0 2 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17650] ppid=17645 vsize=8537036 CPUtime=0.03 cores=1,3,5,7
/proc/17647/task/17650/stat : 17650 (java) T 17645 17647 17647 0 -1 4202560 6624 0 0 0 3 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17647/tid=17651] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17651/stat : 17651 (java) T 17645 17647 17647 0 -1 4202560 4403 0 0 0 2 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17647/tid=17652] ppid=17645 vsize=8537036 CPUtime=0.03 cores=1,3,5,7
/proc/17647/task/17652/stat : 17652 (java) T 17645 17647 17647 0 -1 4202560 4633 0 0 0 3 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17653] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17653/stat : 17653 (java) T 17645 17647 17647 0 -1 4202560 1010 0 0 0 2 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17647/tid=17654] ppid=17645 vsize=8537036 CPUtime=0.03 cores=1,3,5,7
/proc/17647/task/17654/stat : 17654 (java) T 17645 17647 17647 0 -1 4202560 4465 0 0 0 3 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17655] ppid=17645 vsize=8537036 CPUtime=0.04 cores=1,3,5,7
/proc/17647/task/17655/stat : 17655 (java) T 17645 17647 17647 0 -1 4202560 2499 0 0 0 4 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17656] ppid=17645 vsize=8537036 CPUtime=0.02 cores=1,3,5,7
/proc/17647/task/17656/stat : 17656 (java) T 17645 17647 17647 0 -1 4202560 1003 0 0 0 2 0 0 0 15 0 19 0 947881196 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17647/tid=17657] ppid=17645 vsize=8537036 CPUtime=0.26 cores=1,3,5,7
/proc/17647/task/17657/stat : 17657 (java) T 17645 17647 17647 0 -1 4202560 8081 0 0 0 25 1 0 0 15 0 19 0 947881197 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17647/tid=17658] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17658/stat : 17658 (java) T 17645 17647 17647 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947881197 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17647/tid=17659] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17659/stat : 17659 (java) T 17645 17647 17647 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947881197 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17647/tid=17660] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17660/stat : 17660 (java) T 17645 17647 17647 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881199 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17647/tid=17661] ppid=17645 vsize=8537036 CPUtime=0.48 cores=1,3,5,7
/proc/17647/task/17661/stat : 17661 (java) T 17645 17647 17647 0 -1 4202560 2141 0 0 0 48 0 0 0 15 0 19 0 947881199 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17647/tid=17662] ppid=17645 vsize=8537036 CPUtime=0.41 cores=1,3,5,7
/proc/17647/task/17662/stat : 17662 (java) T 17645 17647 17647 0 -1 4202560 2958 0 0 0 41 0 0 0 15 0 19 0 947881199 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17647/tid=17663] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17663/stat : 17663 (java) T 17645 17647 17647 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881199 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17647/tid=17664] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17664/stat : 17664 (java) T 17645 17647 17647 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947881199 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17647/tid=17665] ppid=17645 vsize=8537036 CPUtime=0 cores=1,3,5,7
/proc/17647/task/17665/stat : 17665 (java) T 17645 17647 17647 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947881228 8741924864 50478 33554432000 1073741824 1073778376 140736611768368 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17645/tid=17671] ppid=17603 vsize=294432 CPUtime=0 cores=1,3,5,7
/proc/17645/task/17671/stat : 17671 (python) S 17603 17603 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947885808 301498368 5994 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554946 18446604461198196864 0 0 -1 7 0 0 0
[pid=17672] ppid=17603 vsize=304388 CPUtime=0.21 cores=1,3,5,7
/proc/17672/stat : 17672 (python) S 17603 17603 17566 0 -1 4202560 1186 0 0 0 9 12 0 0 17 0 2 0 947885811 311693312 5910 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17672/statm: 76097 5910 403 364 0 10978 0
[pid=17674] ppid=17672 vsize=130548 CPUtime=47.66 cores=1,3,5,7
/proc/17674/stat : 17674 (scip-2.0.1.linu) T 17672 17674 17674 0 -1 4202496 48316 0 0 0 4744 22 0 0 25 0 1 0 947885811 133681152 29383 33554432000 4194304 15243407 140734834446576 18446744073709551615 8067596 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/17674/statm: 32637 29383 906 2698 0 29932 0
[pid=17672/tid=17676] ppid=17603 vsize=304388 CPUtime=0 cores=1,3,5,7
/proc/17672/task/17676/stat : 17676 (python) S 17603 17603 17566 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947890578 311693312 5910 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554946 18446604459108452288 0 0 -1 7 0 0 0
[pid=17677] ppid=17603 vsize=315084 CPUtime=0 cores=1,3,5,7
/proc/17677/stat : 17677 (python) S 17603 17603 17566 0 -1 4202560 820 0 0 0 0 0 0 0 15 0 1 0 947890581 322646016 5966 33554432000 4194304 5683644 140733305286304 18446744073709551615 252458085958 0 0 16781312 33554946 256575217344708608 0 0 17 3 0 0 0
/proc/17677/statm: 78771 5966 349 364 0 13649 0
[pid=17679] ppid=17677 vsize=8537556 CPUtime=0.86 cores=1,3,5,7
/proc/17679/stat : 17679 (java) S 17677 17679 17679 0 -1 4202496 11626 0 1 0 84 2 0 0 17 0 19 0 947890581 8742457344 9957 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17679/statm: 2134389 9957 2217 9 0 2125130 0
[pid=17679/tid=17680] ppid=17677 vsize=8537556 CPUtime=0.49 cores=1,3,5,7
/proc/17679/task/17680/stat : 17680 (java) R 17677 17679 17679 0 -1 4202560 6686 0 1 0 48 1 0 0 24 0 19 0 947890582 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 47188957063988 0 4 0 16800975 0 0 0 -1 3 0 0 4
[pid=17679/tid=17681] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17681/stat : 17681 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 7 0 0 0
[pid=17679/tid=17682] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17682/stat : 17682 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17683] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17683/stat : 17683 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17684] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17684/stat : 17684 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17685] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17685/stat : 17685 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17686] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17686/stat : 17686 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17687] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17687/stat : 17687 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17688] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17688/stat : 17688 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 947890583 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17689] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17689/stat : 17689 (java) S 17677 17679 17679 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 947890584 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469882368 0 0 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17690] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17690/stat : 17690 (java) S 17677 17679 17679 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 947890584 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 3 0 0 0
[pid=17679/tid=17691] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17691/stat : 17691 (java) S 17677 17679 17679 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947890584 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 7 0 0 0
[pid=17679/tid=17692] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17692/stat : 17692 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947890586 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469889457 0 4 0 16800975 18446604466698181632 0 0 -1 7 0 0 0
[pid=17679/tid=17693] ppid=17677 vsize=8537556 CPUtime=0.18 cores=1,3,5,7
/proc/17679/task/17693/stat : 17693 (java) S 17677 17679 17679 0 -1 4202560 1119 0 0 0 18 0 0 0 19 0 19 0 947890586 8742457344 10018 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 5 0 0 0
[pid=17679/tid=17694] ppid=17677 vsize=8537556 CPUtime=0.18 cores=1,3,5,7
/proc/17679/task/17694/stat : 17694 (java) S 17677 17679 17679 0 -1 4202560 2485 0 0 0 18 0 0 0 15 0 19 0 947890586 8742457344 10019 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 5 0 0 0
[pid=17679/tid=17695] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17695/stat : 17695 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947890586 8742457344 10019 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469881753 0 4 0 16800975 18446604466698181632 0 0 -1 7 0 0 0
[pid=17679/tid=17696] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17696/stat : 17696 (java) S 17677 17679 17679 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947890586 8742457344 10019 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469882368 0 4 0 16800975 18446604466698181632 0 0 -1 1 0 0 0
[pid=17679/tid=17697] ppid=17677 vsize=8537556 CPUtime=0 cores=1,3,5,7
/proc/17679/task/17697/stat : 17697 (java) S 17677 17679 17679 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 947890626 8742457344 10019 33554432000 1073741824 1073778376 140736960627088 18446744073709551615 252469882368 0 4 0 16800975 18446604466698181632 0 0 -1 7 0 0 0
[pid=17603/tid=17616] ppid=17599 vsize=325328 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17616/stat : 17616 (python) S 17599 17603 17566 0 -1 4202560 28 921 0 9 0 0 0 0 18 0 5 0 947876063 333135872 7498 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
[pid=17603/tid=17646] ppid=17599 vsize=325328 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17646/stat : 17646 (python) S 17599 17603 17566 0 -1 4202560 26 921 0 9 0 0 0 0 20 0 5 0 947881194 333135872 7498 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 7 0 0 0
[pid=17603/tid=17673] ppid=17599 vsize=325328 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17673/stat : 17673 (python) S 17599 17603 17566 0 -1 4202560 25 921 0 9 0 0 0 0 20 0 5 0 947885811 333135872 7498 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 3 0 0 0
[pid=17603/tid=17678] ppid=17599 vsize=325328 CPUtime=0 cores=1,3,5,7
/proc/17603/task/17678/stat : 17678 (python) S 17599 17603 17566 0 -1 4202560 33 921 0 9 0 0 0 0 20 0 5 0 947890581 333135872 7498 33554432000 4194304 5683644 140733305286304 18446744073709551615 252469889457 0 0 16781312 33554434 18446604463940321600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 148.4
Current children cumulated vsize (KiB) 18824284
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 17603 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=493924
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=311952
# CPU time returned by wait4() is 0.805876
# while last known CPU time is 148.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 157.394
CPU time (s): 148.4
CPU user time (s): 146.29
CPU system time (s): 2.11
CPU usage (%): 94.2855
Max. virtual memory (cumulated for all children) (KiB): 18824284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.493924
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13362
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19596
involuntary context switches= 78
runsolver used 0.78588 second user time and 2.02669 second system time
The end