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-3481852-1307576440/watcher-3481852-1307576440 -o /tmp/evaluation-result-3481852-1307576440/solver-3481852-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481852-1307576440.opb -seed 78245630 -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.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/17601/stat : 17601 (runsolver) D 17598 17601 17566 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 947874911 12079104 53 33554432000 4194304 5432328 140737408433632 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/17601/statm: 2949 53 34 303 0 2643 0
[startup+0.109571 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 507 0 6 0 0 0 0 0 17 0 1 0 947874911 15175680 420 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458061669 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 3
/proc/17601/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.200554 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/17601/stat : 17601 (python) D 17598 17601 17566 0 -1 4202496 805 0 6 0 0 0 0 0 17 0 1 0 947874911 15753216 696 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458065664 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 3
/proc/17601/statm: 3846 696 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.300535 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/17601/stat : 17601 (python) D 17598 17601 17566 0 -1 4202496 805 0 6 0 0 0 0 0 17 0 1 0 947874911 15753216 696 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458065664 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 3
/proc/17601/statm: 3846 696 334 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+0.700458 s]
/proc/loadavg: 0.08 0.02 0.01 2/468 17603
/proc/meminfo: memFree=24626372/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 995 0 6 0 0 0 0 0 16 0 1 0 947874911 16629760 873 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 37
/proc/17601/statm: 4060 873 371 364 0 547 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16240
[startup+1.50033 s]
/proc/loadavg: 0.31 0.07 0.02 2/470 17605
/proc/meminfo: memFree=24614920/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=34424 CPUtime=0.06 cores=0,2,4,6
/proc/17601/stat : 17601 (python) D 17598 17601 17566 0 -1 4202496 1541 0 12 0 3 3 0 0 16 0 1 0 947874911 35250176 1388 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458063872 0 0 16781312 2 0 0 0 17 0 0 0 43
/proc/17601/statm: 8606 1388 448 364 0 944 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34424
[startup+3.10106 s]
/proc/loadavg: 0.31 0.07 0.02 2/470 17605
/proc/meminfo: memFree=24605684/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=84568 CPUtime=0.1 cores=0,2,4,6
/proc/17601/stat : 17601 (python) R 17598 17601 17566 0 -1 4202496 2389 0 21 0 4 6 0 0 15 0 1 0 947874911 86597632 2136 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458063872 0 2147483391 16781312 2 0 0 0 17 0 0 0 78
/proc/17601/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 84568
heavy processes:
[startup+6.30046 s]
/proc/loadavg: 0.37 0.08 0.03 2/470 17605
/proc/meminfo: memFree=24606196/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=98560 CPUtime=0.14 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 3606 919 23 9 7 7 0 0 16 0 1 0 947874911 100925440 2587 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 92
/proc/17601/statm: 24640 2587 794 364 0 1720 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 98560
heavy processes:
[startup+12.7013 s]
/proc/loadavg: 0.34 0.08 0.03 4/476 17619
/proc/meminfo: memFree=24483464/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=293692 CPUtime=0.65 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 9675 919 114 9 42 23 0 0 18 0 2 0 947874911 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 265
/proc/17601/statm: 73423 7294 1870 364 0 8310 0
[pid=17615] ppid=17601 vsize=283580 CPUtime=0 cores=0,2,4,6
/proc/17615/stat : 17615 (python) S 17601 17601 17566 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 947876063 290385920 5775 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458085903 0 0 16781312 33554946 1549185014220980224 0 0 17 2 0 0 0
/proc/17615/statm: 70895 5775 354 364 0 5782 0
[pid=17619] ppid=17615 vsize=41876 CPUtime=1.15 cores=0,2,4,6
/proc/17619/stat : 17619 (scip-2.0.1.linu) R 17615 17619 17619 0 -1 4202496 8874 0 0 0 113 2 0 0 18 0 1 0 947876064 42881024 8174 33554432000 4194304 13684479 140734903583840 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17619/statm: 10469 8174 788 2317 0 8147 0
[pid=17601/tid=17617] ppid=17598 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17617/stat : 17617 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 947876063 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 619148
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 0.59 0.14 0.05 4/476 17620
/proc/meminfo: memFree=24343584/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=293692 CPUtime=0.65 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 9675 919 114 9 42 23 0 0 18 0 2 0 947874911 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 265
/proc/17601/statm: 73423 7294 1870 364 0 8310 0
[pid=17615] ppid=17601 vsize=283580 CPUtime=0.06 cores=0,2,4,6
/proc/17615/stat : 17615 (python) S 17601 17601 17566 0 -1 4202560 925 0 0 0 3 3 0 0 15 0 1 0 947876063 290385920 5801 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458085903 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/17615/statm: 70895 5801 378 364 0 5782 0
[pid=17619] ppid=17615 vsize=134356 CPUtime=13.95 cores=0,2,4,6
/proc/17619/stat : 17619 (scip-2.0.1.linu) R 17615 17619 17619 0 -1 4202496 31990 0 0 0 1384 11 0 0 25 0 1 0 947876064 137580544 31092 33554432000 4194304 13684479 140734903583840 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17619/statm: 33589 31092 780 2317 0 31267 0
[pid=17601/tid=17617] ppid=17598 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17617/stat : 17617 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 947876063 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.66
Current children cumulated vsize (KiB) 711628
heavy processes:
[startup+51.1011 s]
/proc/loadavg: 1.15 0.32 0.11 4/476 17620
/proc/meminfo: memFree=24341772/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=293692 CPUtime=0.65 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 9675 919 114 9 42 23 0 0 18 0 2 0 947874911 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 265
/proc/17601/statm: 73423 7294 1870 364 0 8310 0
[pid=17615] ppid=17601 vsize=283580 CPUtime=0.15 cores=0,2,4,6
/proc/17615/stat : 17615 (python) S 17601 17601 17566 0 -1 4202560 939 0 0 0 8 7 0 0 15 0 1 0 947876063 290385920 5801 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949166 0 0 17 6 0 0 0
/proc/17615/statm: 70895 5801 378 364 0 5782 0
[pid=17619] ppid=17615 vsize=136236 CPUtime=39.55 cores=0,2,4,6
/proc/17619/stat : 17619 (scip-2.0.1.linu) R 17615 17619 17619 0 -1 4202496 34056 0 0 0 3930 25 0 0 25 0 1 0 947876064 139505664 31564 33554432000 4194304 13684479 140734903583840 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17619/statm: 34059 31564 804 2317 0 31737 0
[pid=17601/tid=17617] ppid=17598 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17617/stat : 17617 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 947876063 300740608 7294 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40.35
Current children cumulated vsize (KiB) 713508
heavy processes:
[startup+102.302 s]
/proc/loadavg: 1.63 0.58 0.20 4/520 17666
/proc/meminfo: memFree=23944272/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=304516 CPUtime=0.68 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 10510 919 114 9 45 23 0 0 20 0 3 0 947874911 311824384 7427 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 265
/proc/17601/statm: 76129 7427 1873 364 0 11013 0
[pid=17615] ppid=17601 vsize=293824 CPUtime=0.2 cores=0,2,4,6
/proc/17615/stat : 17615 (python) S 17601 17601 17566 0 -1 4202560 1101 0 0 0 11 9 0 0 17 0 2 0 947876063 300875776 5836 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17615/statm: 73456 5836 408 364 0 8343 0
[pid=17619] ppid=17615 vsize=136236 CPUtime=49.96 cores=0,2,4,6
/proc/17619/stat : 17619 (scip-2.0.1.linu) T 17615 17619 17619 0 -1 4202496 34061 0 0 0 4962 34 0 0 25 0 1 0 947876064 139505664 31564 33554432000 4194304 13684479 140734903583840 18446744073709551615 7361273 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17619/statm: 34059 31564 799 2317 0 31737 0
[pid=17615/tid=17622] ppid=17601 vsize=293824 CPUtime=0 cores=0,2,4,6
/proc/17615/task/17622/stat : 17622 (python) S 17601 17601 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947881062 300875776 5836 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554946 18446604449670714688 0 0 -1 6 0 0 0
[pid=17623] ppid=17601 vsize=294272 CPUtime=0.17 cores=0,2,4,6
/proc/17623/stat : 17623 (python) S 17601 17601 17566 0 -1 4202560 1037 0 0 0 9 8 0 0 15 0 1 0 947881065 301334528 5929 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458085958 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
/proc/17623/statm: 73568 5929 379 364 0 8452 0
[pid=17625] ppid=17623 vsize=8537736 CPUtime=41.43 cores=0,2,4,6
/proc/17625/stat : 17625 (java) S 17623 17625 17625 0 -1 4202496 54805 0 113 0 4133 10 0 0 20 0 19 0 947881065 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8
/proc/17625/statm: 2134434 47873 2253 9 0 2125175 0
[pid=17625/tid=17626] ppid=17623 vsize=8537736 CPUtime=40.04 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (java) R 17623 17625 17625 0 -1 4202560 14584 0 55 0 4001 3 0 0 25 0 19 0 947881076 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 46912505750286 0 4 0 16800975 0 0 0 -1 0 0 0 21
[pid=17625/tid=17627] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (java) S 17623 17625 17625 0 -1 4202560 4105 0 0 0 3 0 0 0 16 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 0 0 0 0
[pid=17625/tid=17628] ppid=17623 vsize=8537736 CPUtime=0.05 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (java) S 17623 17625 17625 0 -1 4202560 6401 0 0 0 4 1 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17629] ppid=17623 vsize=8537736 CPUtime=0.04 cores=0,2,4,6
/proc/17625/task/17629/stat : 17629 (java) S 17623 17625 17625 0 -1 4202560 4057 0 0 0 4 0 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17630] ppid=17623 vsize=8537736 CPUtime=0.02 cores=0,2,4,6
/proc/17625/task/17630/stat : 17630 (java) S 17623 17625 17625 0 -1 4202560 2961 0 0 0 2 0 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17631] ppid=17623 vsize=8537736 CPUtime=0.02 cores=0,2,4,6
/proc/17625/task/17631/stat : 17631 (java) S 17623 17625 17625 0 -1 4202560 1755 0 0 0 2 0 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 4 0 0 0
[pid=17625/tid=17632] ppid=17623 vsize=8537736 CPUtime=0.04 cores=0,2,4,6
/proc/17625/task/17632/stat : 17632 (java) S 17623 17625 17625 0 -1 4202560 2594 0 0 0 4 0 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 0 0 0 0
[pid=17625/tid=17633] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17633/stat : 17633 (java) S 17623 17625 17625 0 -1 4202560 1539 0 0 0 3 0 0 0 16 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17634] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17634/stat : 17634 (java) S 17623 17625 17625 0 -1 4202560 2046 0 0 0 3 0 0 0 15 0 19 0 947881080 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17635] ppid=17623 vsize=8537736 CPUtime=0.24 cores=0,2,4,6
/proc/17625/task/17635/stat : 17635 (java) S 17623 17625 17625 0 -1 4202560 8824 0 0 0 23 1 0 0 15 0 19 0 947881086 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469882368 0 0 0 16800975 18446604452825469056 0 0 -1 2 0 0 0
[pid=17625/tid=17636] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17636/stat : 17636 (java) S 17623 17625 17625 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947881090 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17637] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17637/stat : 17637 (java) S 17623 17625 17625 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947881090 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17638] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17638/stat : 17638 (java) S 17623 17625 17625 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947881097 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469889457 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17639] ppid=17623 vsize=8537736 CPUtime=0.41 cores=0,2,4,6
/proc/17625/task/17639/stat : 17639 (java) S 17623 17625 17625 0 -1 4202560 2320 0 0 0 41 0 0 0 15 0 19 0 947881097 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 0 0 0 0
[pid=17625/tid=17640] ppid=17623 vsize=8537736 CPUtime=0.38 cores=0,2,4,6
/proc/17625/task/17640/stat : 17640 (java) S 17623 17625 17625 0 -1 4202560 2283 0 2 0 38 0 0 0 15 0 19 0 947881097 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 2 0 0 0
[pid=17625/tid=17641] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17641/stat : 17641 (java) S 17623 17625 17625 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 947881097 8742641664 47873 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446604452825469056 0 0 -1 6 0 0 0
[pid=17625/tid=17642] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=17704/tid=17710] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17710/stat : 17710 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17711] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17711/stat : 17711 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17712] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17712/stat : 17712 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17713] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17713/stat : 17713 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7062 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17714] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17714/stat : 17714 (java) S 17702 17704 17704 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947890728 8737677312 7062 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469882368 0 0 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17715] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17715/stat : 17715 (java) S 17702 17704 17704 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947890729 8737677312 7063 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17716] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17716/stat : 17716 (java) S 17702 17704 17704 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947890729 8737677312 7063 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17717] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17717/stat : 17717 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890731 8737677312 7064 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469889457 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17718] ppid=17702 vsize=8532888 CPUtime=0.09 cores=0,2,4,6
/proc/17704/task/17718/stat : 17718 (java) S 17702 17704 17704 0 -1 4202560 702 0 0 0 9 0 0 0 17 0 18 0 947890731 8737677312 7064 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 2 0 0 0
[pid=17704/tid=17719] ppid=17702 vsize=8532888 CPUtime=0.07 cores=0,2,4,6
/proc/17704/task/17719/stat : 17719 (java) S 17702 17704 17704 0 -1 4202560 819 0 0 0 7 0 0 0 16 0 18 0 947890731 8737677312 7065 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17720] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17720/stat : 17720 (java) S 17702 17704 17704 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947890731 8737677312 7065 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17721] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17721/stat : 17721 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 947890731 8737677312 7066 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469882368 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17601/tid=17617] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17617/stat : 17617 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 5 0 947876063 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
[pid=17601/tid=17624] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17624/stat : 17624 (python) S 17598 17601 17566 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 5 0 947881065 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
[pid=17601/tid=17669] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17669/stat : 17669 (python) S 17598 17601 17566 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 947885751 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 0 0 0 0
[pid=17601/tid=17703] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17703/stat : 17703 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 5 0 947890726 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 148.96
Current children cumulated vsize (KiB) 18838008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+158.401 s]
/proc/loadavg: 2.04 0.87 0.32 5/539 17721
/proc/meminfo: memFree=23747948/32951124 swapFree=56297244/67111528
[pid=17601] ppid=17598 vsize=325312 CPUtime=0.73 cores=0,2,4,6
/proc/17601/stat : 17601 (python) S 17598 17601 17566 0 -1 4202496 12336 919 114 9 50 23 0 0 20 0 5 0 947874911 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 265
/proc/17601/statm: 81328 7494 1877 364 0 16206 0
[pid=17615] ppid=17601 vsize=293824 CPUtime=0.2 cores=0,2,4,6
/proc/17615/stat : 17615 (python) S 17601 17601 17566 0 -1 4202560 1101 0 0 0 11 9 0 0 17 0 2 0 947876063 300875776 5836 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17615/statm: 73456 5836 408 364 0 8343 0
[pid=17619] ppid=17615 vsize=136236 CPUtime=49.96 cores=0,2,4,6
/proc/17619/stat : 17619 (scip-2.0.1.linu) T 17615 17619 17619 0 -1 4202496 34061 0 0 0 4962 34 0 0 25 0 1 0 947876064 139505664 31564 33554432000 4194304 13684479 140734903583840 18446744073709551615 7361273 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17619/statm: 34059 31564 799 2317 0 31737 0
[pid=17615/tid=17622] ppid=17601 vsize=293824 CPUtime=0 cores=0,2,4,6
/proc/17615/task/17622/stat : 17622 (python) S 17601 17601 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947881062 300875776 5836 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554946 18446604449670714688 0 0 -1 6 0 0 0
[pid=17623] ppid=17601 vsize=294272 CPUtime=0.2 cores=0,2,4,6
/proc/17623/stat : 17623 (python) S 17601 17601 17566 0 -1 4202560 1159 0 0 0 11 9 0 0 16 0 2 0 947881065 301334528 5954 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/17623/statm: 73568 5954 403 364 0 8452 0
[pid=17625] ppid=17623 vsize=8537736 CPUtime=47.52 cores=0,2,4,6
/proc/17625/stat : 17625 (java) T 17623 17625 17625 0 -1 4202496 54808 0 113 0 4742 10 0 0 18 0 19 0 947881065 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8
/proc/17625/statm: 2134434 47874 2253 9 0 2125175 0
[pid=17625/tid=17626] ppid=17623 vsize=8537736 CPUtime=46.05 cores=0,2,4,6
/proc/17625/task/17626/stat : 17626 (java) T 17623 17625 17625 0 -1 4202560 14586 0 55 0 4602 3 0 0 25 0 19 0 947881076 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 46912505796412 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 21
[pid=17625/tid=17627] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17627/stat : 17627 (java) T 17623 17625 17625 0 -1 4202560 4105 0 0 0 3 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17625/tid=17628] ppid=17623 vsize=8537736 CPUtime=0.06 cores=0,2,4,6
/proc/17625/task/17628/stat : 17628 (java) T 17623 17625 17625 0 -1 4202560 6401 0 0 0 5 1 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17629] ppid=17623 vsize=8537736 CPUtime=0.04 cores=0,2,4,6
/proc/17625/task/17629/stat : 17629 (java) T 17623 17625 17625 0 -1 4202560 4057 0 0 0 4 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17625/tid=17630] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17630/stat : 17630 (java) T 17623 17625 17625 0 -1 4202560 2961 0 0 0 3 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17625/tid=17631] ppid=17623 vsize=8537736 CPUtime=0.02 cores=0,2,4,6
/proc/17625/task/17631/stat : 17631 (java) T 17623 17625 17625 0 -1 4202560 1755 0 0 0 2 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=17625/tid=17632] ppid=17623 vsize=8537736 CPUtime=0.04 cores=0,2,4,6
/proc/17625/task/17632/stat : 17632 (java) T 17623 17625 17625 0 -1 4202560 2594 0 0 0 4 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17625/tid=17633] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17633/stat : 17633 (java) T 17623 17625 17625 0 -1 4202560 1540 0 0 0 3 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17634] ppid=17623 vsize=8537736 CPUtime=0.03 cores=0,2,4,6
/proc/17625/task/17634/stat : 17634 (java) T 17623 17625 17625 0 -1 4202560 2046 0 0 0 3 0 0 0 15 0 19 0 947881080 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17635] ppid=17623 vsize=8537736 CPUtime=0.28 cores=0,2,4,6
/proc/17625/task/17635/stat : 17635 (java) T 17623 17625 17625 0 -1 4202560 8824 0 0 0 27 1 0 0 15 0 19 0 947881086 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469882368 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17625/tid=17636] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17636/stat : 17636 (java) T 17623 17625 17625 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 947881090 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17637] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17637/stat : 17637 (java) T 17623 17625 17625 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947881090 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17638] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17638/stat : 17638 (java) T 17623 17625 17625 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881097 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469889457 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17639] ppid=17623 vsize=8537736 CPUtime=0.41 cores=0,2,4,6
/proc/17625/task/17639/stat : 17639 (java) T 17623 17625 17625 0 -1 4202560 2320 0 0 0 41 0 0 0 15 0 19 0 947881097 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17625/tid=17640] ppid=17623 vsize=8537736 CPUtime=0.38 cores=0,2,4,6
/proc/17625/task/17640/stat : 17640 (java) T 17623 17625 17625 0 -1 4202560 2283 0 2 0 38 0 0 0 15 0 19 0 947881097 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=17625/tid=17641] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17641/stat : 17641 (java) T 17623 17625 17625 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947881097 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469881753 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17642] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17642/stat : 17642 (java) T 17623 17625 17625 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 947881097 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=17625/tid=17643] ppid=17623 vsize=8537736 CPUtime=0 cores=0,2,4,6
/proc/17625/task/17643/stat : 17643 (java) T 17623 17625 17625 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947881134 8742641664 47874 33554432000 1073741824 1073778376 140733491304352 18446744073709551615 252469882368 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=17623/tid=17667] ppid=17601 vsize=294272 CPUtime=0 cores=0,2,4,6
/proc/17623/task/17667/stat : 17667 (python) S 17601 17601 17566 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 947885749 301334528 5954 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554946 18446604451007881344 0 0 -1 4 0 0 0
[pid=17668] ppid=17601 vsize=304296 CPUtime=0.22 cores=0,2,4,6
/proc/17668/stat : 17668 (python) S 17601 17601 17566 0 -1 4202560 1173 0 0 0 11 11 0 0 17 0 2 0 947885751 311599104 5901 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469892555 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17668/statm: 76074 5901 403 364 0 10955 0
[pid=17670] ppid=17668 vsize=98376 CPUtime=49.71 cores=0,2,4,6
/proc/17670/stat : 17670 (scip-2.0.1.linu) T 17668 17670 17670 0 -1 4202496 29298 0 0 0 4957 14 0 0 19 0 1 0 947885751 100737024 20729 33554432000 4194304 15243407 140736619233248 18446744073709551615 8113544 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/17670/statm: 24594 20729 906 2698 0 21889 0
[pid=17668/tid=17701] ppid=17601 vsize=304296 CPUtime=0 cores=0,2,4,6
/proc/17668/task/17701/stat : 17701 (python) S 17601 17601 17566 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947890723 311599104 5901 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554946 18446604445118087360 0 0 -1 6 0 0 0
[pid=17702] ppid=17601 vsize=315068 CPUtime=0 cores=0,2,4,6
/proc/17702/stat : 17702 (python) S 17601 17601 17566 0 -1 4202560 806 0 0 0 0 0 0 0 19 0 1 0 947890726 322629632 5962 33554432000 4194304 5683644 140736955250336 18446744073709551615 252458085958 0 0 16781312 33554946 603602703641214976 0 0 17 0 0 0 0
/proc/17702/statm: 78767 5962 349 364 0 13645 0
[pid=17704] ppid=17702 vsize=8532888 CPUtime=0.42 cores=0,2,4,6
/proc/17704/stat : 17704 (java) S 17702 17704 17704 0 -1 4202496 7625 0 1 0 41 1 0 0 20 0 18 0 947890726 8737677312 6838 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/17704/statm: 2133222 6838 2193 9 0 2123963 0
[pid=17704/tid=17705] ppid=17702 vsize=8532888 CPUtime=0.26 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (java) R 17702 17704 17704 0 -1 4202560 4930 0 1 0 25 1 0 0 18 0 18 0 947890727 8737677312 7059 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 46912505557850 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17704/tid=17706] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 947890727 8737677312 7059 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17707] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 947890727 8737677312 7060 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17708] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17708/stat : 17708 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947890727 8737677312 7060 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17709] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17709/stat : 17709 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17710] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17710/stat : 17710 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17711] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17711/stat : 17711 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17712] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17712/stat : 17712 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7061 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17713] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17713/stat : 17713 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890727 8737677312 7062 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17714] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17714/stat : 17714 (java) S 17702 17704 17704 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947890728 8737677312 7062 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469882368 0 0 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17715] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17715/stat : 17715 (java) S 17702 17704 17704 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947890729 8737677312 7063 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17716] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17716/stat : 17716 (java) S 17702 17704 17704 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 947890729 8737677312 7063 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17717] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17717/stat : 17717 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947890731 8737677312 7064 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469889457 0 4 0 16800975 18446604442300537728 0 0 -1 6 0 0 0
[pid=17704/tid=17718] ppid=17702 vsize=8532888 CPUtime=0.09 cores=0,2,4,6
/proc/17704/task/17718/stat : 17718 (java) S 17702 17704 17704 0 -1 4202560 702 0 0 0 9 0 0 0 17 0 18 0 947890731 8737677312 7064 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 2 0 0 0
[pid=17704/tid=17719] ppid=17702 vsize=8532888 CPUtime=0.07 cores=0,2,4,6
/proc/17704/task/17719/stat : 17719 (java) S 17702 17704 17704 0 -1 4202560 819 0 0 0 7 0 0 0 16 0 18 0 947890731 8737677312 7065 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17720] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17720/stat : 17720 (java) S 17702 17704 17704 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947890731 8737677312 7065 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469881753 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17704/tid=17721] ppid=17702 vsize=8532888 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17721/stat : 17721 (java) S 17702 17704 17704 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 947890731 8737677312 7066 33554432000 1073741824 1073778376 140736562120720 18446744073709551615 252469882368 0 4 0 16800975 18446604442300537728 0 0 -1 0 0 0 0
[pid=17601/tid=17617] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17617/stat : 17617 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 5 0 947876063 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
[pid=17601/tid=17624] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17624/stat : 17624 (python) S 17598 17601 17566 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 5 0 947881065 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 2 0 0 0
[pid=17601/tid=17669] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17669/stat : 17669 (python) S 17598 17601 17566 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 5 0 947885751 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 0 0 0 0
[pid=17601/tid=17703] ppid=17598 vsize=325312 CPUtime=0 cores=0,2,4,6
/proc/17601/task/17703/stat : 17703 (python) S 17598 17601 17566 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 5 0 947890726 333119488 7494 33554432000 4194304 5683644 140736955250336 18446744073709551615 252469889457 0 0 16781312 33554434 18446604453859183552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 148.96
Current children cumulated vsize (KiB) 18838008
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17601 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=504923
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=243962
# CPU time returned by wait4() is 0.748885
# while last known CPU time is 148.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 158.475
CPU time (s): 148.96
CPU user time (s): 147.85
CPU system time (s): 1.11
CPU usage (%): 93.996
Max. virtual memory (cumulated for all children) (KiB): 18838008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.504923
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13257
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21076
involuntary context switches= 21
runsolver used 0.839872 second user time and 2.01069 second system time
The end