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-3481874-1307576615/watcher-3481874-1307576615 -o /tmp/evaluation-result-3481874-1307576615/solver-3481874-1307576615 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481874-1307576615.opb -seed 2126520465 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 0.95 0.35 5/418 656
/proc/meminfo: memFree=29978348/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/656/stat : 656 (python) R 653 656 32706 0 -1 4202496 708 0 0 0 0 0 0 0 20 0 1 0 869262021 15548416 599 33554432000 4194304 5683644 140734258918736 18446744073709551615 230808859614 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/656/statm: 3796 600 319 364 0 283 0
[startup+0.0784601 s]
/proc/loadavg: 2.23 0.95 0.35 5/418 656
/proc/meminfo: memFree=29978348/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=54636 CPUtime=0.05 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 2081 0 0 0 4 1 0 0 17 0 1 0 869262021 55947264 1836 33554432000 4194304 5683644 140734258918736 18446744073709551615 230804242055 0 2147483391 16781312 2 18446744071699199166 0 0 17 0 0 0 0
/proc/656/statm: 13659 1836 492 364 0 1309 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54636
[startup+0.100441 s]
/proc/loadavg: 2.23 0.95 0.35 5/418 656
/proc/meminfo: memFree=29978348/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=94060 CPUtime=0.06 cores=0,2,4,6
/proc/656/stat : 656 (python) R 653 656 32706 0 -1 4202496 2945 464 1 0 5 1 0 0 18 0 1 0 869262021 96317440 2478 33554432000 4194304 5683644 140734258918736 18446744073709551615 5177539 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/656/statm: 23515 2478 788 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94060
[startup+0.300435 s]
/proc/loadavg: 2.23 0.95 0.35 5/418 656
/proc/meminfo: memFree=29978348/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=123740 CPUtime=0.19 cores=0,2,4,6
/proc/656/stat : 656 (python) R 653 656 32706 0 -1 4202496 5359 928 1 0 14 5 0 0 16 0 1 0 869262021 126709760 3746 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809161733 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/656/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740
[startup+0.700372 s]
/proc/loadavg: 2.23 0.95 0.35 5/418 656
/proc/meminfo: memFree=29978348/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=284164 CPUtime=0.53 cores=0,2,4,6
/proc/656/stat : 656 (python) R 653 656 32706 0 -1 4202496 9528 928 1 0 43 10 0 0 16 0 1 0 869262021 290983936 7389 33554432000 4194304 5683644 140734258918736 18446744073709551615 47722628335227 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/656/statm: 71041 7389 1816 364 0 5934 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 284164
[startup+1.5012 s]
/proc/loadavg: 2.23 0.95 0.35 3/422 666
/proc/meminfo: memFree=29914448/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 1 0 869262096 291008512 5925 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 9072957716598587651 0 0 17 2 0 0 0
/proc/663/statm: 71047 5925 352 364 0 5934 0
[pid=666] ppid=663 vsize=51364 CPUtime=0.74 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 11934 0 0 0 72 2 0 0 18 0 1 0 869262096 52596736 10492 33554432000 4194304 13684479 140735451298368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 12841 10492 751 2317 0 10519 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 629984
[startup+3.1139 s]
/proc/loadavg: 2.23 0.95 0.35 2/414 691
/proc/meminfo: memFree=30125064/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 869262096 291008512 5925 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 1099122353415127040 0 0 17 2 0 0 0
/proc/663/statm: 71047 5925 352 364 0 5934 0
[pid=666] ppid=663 vsize=53400 CPUtime=2.34 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 12498 0 0 0 230 4 0 0 20 0 1 0 869262096 54681600 11039 33554432000 4194304 13684479 140735451298368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 13350 11039 776 2317 0 11028 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 632020
[startup+6.30135 s]
/proc/loadavg: 2.30 0.98 0.37 3/422 708
/proc/meminfo: memFree=29955624/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0.01 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 903 0 0 0 1 0 0 0 15 0 1 0 869262096 291008512 5949 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 2196081460652277760 0 0 17 2 0 0 0
/proc/663/statm: 71047 5949 376 364 0 5934 0
[pid=666] ppid=663 vsize=62484 CPUtime=5.54 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 15499 0 0 0 546 8 0 0 18 0 1 0 869262096 63983616 13165 33554432000 4194304 13684479 140735451298368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 15621 13165 784 2317 0 13299 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 641104
[startup+12.7012 s]
/proc/loadavg: 2.51 1.05 0.39 3/422 708
/proc/meminfo: memFree=29948052/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0.02 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 911 0 0 0 1 1 0 0 15 0 1 0 869262096 291008512 5949 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 2391262066120851456 0 0 17 2 0 0 0
/proc/663/statm: 71047 5949 376 364 0 5934 0
[pid=666] ppid=663 vsize=66240 CPUtime=11.94 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 22292 0 0 0 1180 14 0 0 25 0 1 0 869262096 67829760 14149 33554432000 4194304 13684479 140735451298368 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 16560 14149 824 2317 0 14238 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 644860
[startup+25.5008 s]
/proc/loadavg: 2.40 1.09 0.42 3/422 708
/proc/meminfo: memFree=29948592/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0.07 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 919 0 0 0 4 3 0 0 15 0 1 0 869262096 291008512 5949 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 72262103200705383 0 0 17 2 0 0 0
/proc/663/statm: 71047 5949 376 364 0 5934 0
[pid=666] ppid=663 vsize=65172 CPUtime=24.73 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 24728 0 0 0 2451 22 0 0 25 0 1 0 869262096 66736128 13853 33554432000 4194304 13684479 140735451298368 18446744073709551615 7439256 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 16293 13853 798 2317 0 13971 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 643792
[startup+51.1012 s]
/proc/loadavg: 2.40 1.20 0.47 3/422 709
/proc/meminfo: memFree=29930952/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=294432 CPUtime=0.58 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 9939 928 1 0 48 10 0 0 18 0 2 0 869262021 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 73608 7447 1870 364 0 8495 0
[pid=663] ppid=656 vsize=284188 CPUtime=0.15 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 932 0 0 0 8 7 0 0 15 0 1 0 869262096 291008512 5949 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185807 0 0 16781312 33554946 1668540742332579840 0 0 17 2 0 0 0
/proc/663/statm: 71047 5949 376 364 0 5934 0
[pid=666] ppid=663 vsize=66368 CPUtime=50.34 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) R 663 666 666 0 -1 4202496 30566 0 0 0 4995 39 0 0 21 0 1 0 869262096 67960832 14405 33554432000 4194304 13684479 140735451298368 18446744073709551615 7419483 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/666/statm: 16592 14405 821 2317 0 14270 0
[pid=656/tid=664] ppid=653 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 2 0 869262096 301498368 7447 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 644988
[startup+102.302 s]
/proc/loadavg: 2.17 1.32 0.55 3/470 767
/proc/meminfo: memFree=29694332/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=380984 CPUtime=0.63 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 11689 928 1 0 52 11 0 0 18 0 4 0 869262021 390127616 7587 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/656/statm: 95246 7587 1875 364 0 30127 0
[pid=663] ppid=656 vsize=294432 CPUtime=0.17 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 1094 0 0 0 9 8 0 0 16 0 2 0 869262096 301498368 5985 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/663/statm: 73608 5985 407 364 0 8495 0
[pid=666] ppid=663 vsize=66368 CPUtime=50.38 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) T 663 666 666 0 -1 4202496 30566 0 0 0 4999 39 0 0 21 0 1 0 869262096 67960832 14405 33554432000 4194304 13684479 140735451298368 18446744073709551615 7415816 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/666/statm: 16592 14405 821 2317 0 14270 0
[pid=663/tid=710] ppid=656 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/663/task/710/stat : 710 (python) S 656 656 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869267135 301498368 5985 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554946 18446604449275487360 0 0 -1 2 0 0 0
[pid=711] ppid=656 vsize=294948 CPUtime=0.16 cores=0,2,4,6
/proc/711/stat : 711 (python) S 656 656 32706 0 -1 4202560 1103 0 0 0 8 8 0 0 16 0 2 0 869267137 302026752 6101 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/711/statm: 73737 6101 397 364 0 8621 0
[pid=713] ppid=711 vsize=8541152 CPUtime=47.13 cores=0,2,4,6
/proc/713/stat : 713 (java) T 711 713 713 0 -1 4202496 31824 0 1 0 4708 5 0 0 18 0 19 0 869267138 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/713/statm: 2135288 28833 2256 9 0 2126029 0
[pid=713/tid=714] ppid=711 vsize=8541152 CPUtime=45.56 cores=0,2,4,6
/proc/713/task/714/stat : 714 (java) T 711 713 713 0 -1 4202560 10882 0 1 0 4554 2 0 0 25 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 46912505963105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=716] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/716/stat : 716 (java) T 711 713 713 0 -1 4202560 815 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=717] ppid=711 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/713/task/717/stat : 717 (java) T 711 713 713 0 -1 4202560 1146 0 0 0 1 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=718] ppid=711 vsize=8541152 CPUtime=0.03 cores=0,2,4,6
/proc/713/task/718/stat : 718 (java) T 711 713 713 0 -1 4202560 454 0 0 0 3 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=719] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/719/stat : 719 (java) T 711 713 713 0 -1 4202560 1953 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=720] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/720/stat : 720 (java) T 711 713 713 0 -1 4202560 555 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=721] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/721/stat : 721 (java) T 711 713 713 0 -1 4202560 1735 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=877/tid=889] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/889/stat : 889 (java) S 874 877 877 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869281660 8804343808 6708 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=890] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/890/stat : 890 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820989361 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=891] ppid=874 vsize=8597992 CPUtime=0.05 cores=0,2,4,6
/proc/877/task/891/stat : 891 (java) S 874 877 877 0 -1 4202560 393 0 0 0 5 0 0 0 16 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=877/tid=892] ppid=874 vsize=8597992 CPUtime=0.09 cores=0,2,4,6
/proc/877/task/892/stat : 892 (java) S 874 877 877 0 -1 4202560 1322 0 0 0 9 0 0 0 25 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=877/tid=893] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/893/stat : 893 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281663 8804343808 6710 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=894] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/894/stat : 894 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869281663 8804343808 6710 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820982272 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=656/tid=664] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 6 0 869262096 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=712] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/712/stat : 712 (python) S 653 656 32706 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 6 0 869267137 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=766] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/766/stat : 766 (python) S 653 656 32706 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869271743 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=776] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/776/stat : 776 (python) S 653 656 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869276630 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=875] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/875/stat : 875 (python) S 653 656 32706 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 869281658 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.32
Current children cumulated vsize (KiB) 19458976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+196.602 s]
/proc/loadavg: 2.04 1.50 0.68 6/512 894
/proc/meminfo: memFree=29360684/32951124 swapFree=36471928/67111528
[pid=656] ppid=653 vsize=401496 CPUtime=0.68 cores=0,2,4,6
/proc/656/stat : 656 (python) S 653 656 32706 0 -1 4202496 13394 928 1 0 57 11 0 0 20 0 6 0 869262021 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/656/statm: 100374 7679 1879 364 0 35249 0
[pid=663] ppid=656 vsize=294432 CPUtime=0.17 cores=0,2,4,6
/proc/663/stat : 663 (python) S 656 656 32706 0 -1 4202560 1094 0 0 0 9 8 0 0 16 0 2 0 869262096 301498368 5985 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/663/statm: 73608 5985 407 364 0 8495 0
[pid=666] ppid=663 vsize=66368 CPUtime=50.38 cores=0,2,4,6
/proc/666/stat : 666 (scip-2.0.1.linu) T 663 666 666 0 -1 4202496 30566 0 0 0 4999 39 0 0 21 0 1 0 869262096 67960832 14405 33554432000 4194304 13684479 140735451298368 18446744073709551615 7415816 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/666/statm: 16592 14405 821 2317 0 14270 0
[pid=663/tid=710] ppid=656 vsize=294432 CPUtime=0 cores=0,2,4,6
/proc/663/task/710/stat : 710 (python) S 656 656 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869267135 301498368 5985 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554946 18446604449275487360 0 0 -1 2 0 0 0
[pid=711] ppid=656 vsize=294948 CPUtime=0.16 cores=0,2,4,6
/proc/711/stat : 711 (python) S 656 656 32706 0 -1 4202560 1103 0 0 0 8 8 0 0 16 0 2 0 869267137 302026752 6101 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/711/statm: 73737 6101 397 364 0 8621 0
[pid=713] ppid=711 vsize=8541152 CPUtime=47.13 cores=0,2,4,6
/proc/713/stat : 713 (java) T 711 713 713 0 -1 4202496 31824 0 1 0 4708 5 0 0 18 0 19 0 869267138 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/713/statm: 2135288 28833 2256 9 0 2126029 0
[pid=713/tid=714] ppid=711 vsize=8541152 CPUtime=45.56 cores=0,2,4,6
/proc/713/task/714/stat : 714 (java) T 711 713 713 0 -1 4202560 10882 0 1 0 4554 2 0 0 25 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 46912505963105 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=716] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/716/stat : 716 (java) T 711 713 713 0 -1 4202560 815 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=717] ppid=711 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/713/task/717/stat : 717 (java) T 711 713 713 0 -1 4202560 1146 0 0 0 1 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=718] ppid=711 vsize=8541152 CPUtime=0.03 cores=0,2,4,6
/proc/713/task/718/stat : 718 (java) T 711 713 713 0 -1 4202560 454 0 0 0 3 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=719] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/719/stat : 719 (java) T 711 713 713 0 -1 4202560 1953 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=720] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/720/stat : 720 (java) T 711 713 713 0 -1 4202560 555 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=721] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/721/stat : 721 (java) T 711 713 713 0 -1 4202560 1735 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=722] ppid=711 vsize=8541152 CPUtime=0.01 cores=0,2,4,6
/proc/713/task/722/stat : 722 (java) T 711 713 713 0 -1 4202560 435 0 0 0 1 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=724] ppid=711 vsize=8541152 CPUtime=0.02 cores=0,2,4,6
/proc/713/task/724/stat : 724 (java) T 711 713 713 0 -1 4202560 379 0 0 0 2 0 0 0 15 0 19 0 869267139 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=725] ppid=711 vsize=8541152 CPUtime=0.31 cores=0,2,4,6
/proc/713/task/725/stat : 725 (java) T 711 713 713 0 -1 4202560 5336 0 0 0 31 0 0 0 15 0 19 0 869267140 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=713/tid=726] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/726/stat : 726 (java) T 711 713 713 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869267141 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=727] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/727/stat : 727 (java) T 711 713 713 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869267141 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=728] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/728/stat : 728 (java) T 711 713 713 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267143 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=729] ppid=711 vsize=8541152 CPUtime=0.48 cores=0,2,4,6
/proc/713/task/729/stat : 729 (java) T 711 713 713 0 -1 4202560 4325 0 0 0 48 0 0 0 15 0 19 0 869267143 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=731] ppid=711 vsize=8541152 CPUtime=0.54 cores=0,2,4,6
/proc/713/task/731/stat : 731 (java) T 711 713 713 0 -1 4202560 2419 0 0 0 54 0 0 0 15 0 19 0 869267143 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=713/tid=732] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/732/stat : 732 (java) T 711 713 713 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869267143 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=713/tid=734] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/734/stat : 734 (java) T 711 713 713 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869267143 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=713/tid=735] ppid=711 vsize=8541152 CPUtime=0 cores=0,2,4,6
/proc/713/task/735/stat : 735 (java) T 711 713 713 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869267176 8746139648 28833 33554432000 1073741824 1073778376 140734856918816 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=711/tid=763] ppid=656 vsize=294948 CPUtime=0 cores=0,2,4,6
/proc/711/task/763/stat : 763 (python) S 656 656 32706 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869271740 302026752 6101 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554946 18446604448884107136 0 0 -1 0 0 0 0
[pid=764] ppid=656 vsize=305204 CPUtime=0.18 cores=0,2,4,6
/proc/764/stat : 764 (python) S 656 656 32706 0 -1 4202560 1165 0 0 0 10 8 0 0 16 0 2 0 869271743 312528896 6111 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/764/statm: 76301 6111 403 364 0 11182 0
[pid=767] ppid=764 vsize=66640 CPUtime=48.83 cores=0,2,4,6
/proc/767/stat : 767 (scip-2.0.1.linu) T 764 767 767 0 -1 4202496 60512 0 0 0 4850 33 0 0 25 0 1 0 869271743 68239360 13813 33554432000 4194304 15243407 140735205954576 18446744073709551615 8113502 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/767/statm: 16660 13813 933 2698 0 13955 0
[pid=764/tid=774] ppid=656 vsize=305204 CPUtime=0 cores=0,2,4,6
/proc/764/task/774/stat : 774 (python) S 656 656 32706 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869276627 312528896 6111 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554946 18446604450433840256 0 0 -1 0 0 0 0
[pid=775] ppid=656 vsize=380996 CPUtime=0.18 cores=0,2,4,6
/proc/775/stat : 775 (python) S 656 656 32706 0 -1 4202560 1224 0 0 0 9 9 0 0 17 0 2 0 869276630 390139904 6277 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/775/statm: 95249 6277 403 364 0 30127 0
[pid=777] ppid=775 vsize=118496 CPUtime=50.23 cores=0,2,4,6
/proc/777/stat : 777 (wbo1.4a) T 775 777 777 0 -1 4202496 31079 0 0 0 4968 55 0 0 25 0 1 0 869276630 121339904 29134 33554432000 134512640 135751879 4289750528 18446744073709551615 134516986 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/777/statm: 29624 29134 146 303 0 29319 0
[pid=775/tid=873] ppid=656 vsize=380996 CPUtime=0 cores=0,2,4,6
/proc/775/task/873/stat : 873 (python) S 656 656 32706 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869281655 390139904 6277 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554946 18446604441095930304 0 0 -1 6 0 0 0
[pid=874] ppid=656 vsize=391252 CPUtime=0 cores=0,2,4,6
/proc/874/stat : 874 (python) S 656 656 32706 0 -1 4202560 755 0 0 0 0 0 0 0 17 0 1 0 869281658 400642048 6122 33554432000 4194304 5683644 140734258918736 18446744073709551615 230809185862 0 0 16781312 33554946 3172207169164541952 0 0 17 6 0 0 0
/proc/874/statm: 97813 6122 349 364 0 32688 0
[pid=877] ppid=874 vsize=8597992 CPUtime=0.38 cores=0,2,4,6
/proc/877/stat : 877 (java) S 874 877 877 0 -1 4202496 7478 0 1 0 37 1 0 0 20 0 18 0 869281658 8804343808 6593 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/877/statm: 2149498 6594 2188 9 0 2140239 0
[pid=877/tid=878] ppid=874 vsize=8597992 CPUtime=0.24 cores=0,2,4,6
/proc/877/task/878/stat : 878 (java) R 874 877 877 0 -1 4202560 4504 0 1 0 23 1 0 0 18 0 18 0 869281659 8804343808 6705 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 46912505585650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=877/tid=879] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/879/stat : 879 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869281659 8804343808 6705 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=880] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/880/stat : 880 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869281659 8804343808 6705 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=881] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/881/stat : 881 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869281659 8804343808 6706 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=882] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/882/stat : 882 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281659 8804343808 6706 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 0 0 0 0
[pid=877/tid=883] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/883/stat : 883 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281659 8804343808 6706 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 0 0 0 0
[pid=877/tid=884] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/884/stat : 884 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281659 8804343808 6707 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 0 0 0 0
[pid=877/tid=885] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/885/stat : 885 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281659 8804343808 6707 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 0 0 0 0
[pid=877/tid=886] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/886/stat : 886 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281659 8804343808 6707 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 0 0 0 0
[pid=877/tid=887] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/887/stat : 887 (java) S 874 877 877 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869281660 8804343808 6708 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820982272 0 0 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=888] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/888/stat : 888 (java) S 874 877 877 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869281660 8804343808 6708 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=889] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/889/stat : 889 (java) S 874 877 877 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 869281660 8804343808 6708 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=890] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/890/stat : 890 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820989361 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=891] ppid=874 vsize=8597992 CPUtime=0.05 cores=0,2,4,6
/proc/877/task/891/stat : 891 (java) S 874 877 877 0 -1 4202560 393 0 0 0 5 0 0 0 16 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=877/tid=892] ppid=874 vsize=8597992 CPUtime=0.09 cores=0,2,4,6
/proc/877/task/892/stat : 892 (java) S 874 877 877 0 -1 4202560 1322 0 0 0 9 0 0 0 25 0 18 0 869281663 8804343808 6709 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=877/tid=893] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/893/stat : 893 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869281663 8804343808 6710 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820981657 0 4 0 16800975 18446604446057690112 0 0 -1 6 0 0 0
[pid=877/tid=894] ppid=874 vsize=8597992 CPUtime=0 cores=0,2,4,6
/proc/877/task/894/stat : 894 (java) S 874 877 877 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869281663 8804343808 6710 33554432000 1073741824 1073778376 140733758420592 18446744073709551615 230820982272 0 4 0 16800975 18446604446057690112 0 0 -1 2 0 0 0
[pid=656/tid=664] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/664/stat : 664 (python) S 653 656 32706 0 -1 4202560 24 928 0 0 0 0 0 0 18 0 6 0 869262096 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=712] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/712/stat : 712 (python) S 653 656 32706 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 6 0 869267137 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=766] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/766/stat : 766 (python) S 653 656 32706 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 6 0 869271743 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=776] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/776/stat : 776 (python) S 653 656 32706 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 6 0 869276630 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 6 0 0 0
[pid=656/tid=875] ppid=653 vsize=401496 CPUtime=0 cores=0,2,4,6
/proc/656/task/875/stat : 875 (python) S 653 656 32706 0 -1 4202560 26 928 0 0 0 0 0 0 20 0 6 0 869281658 411131904 7679 33554432000 4194304 5683644 140734258918736 18446744073709551615 230820989361 0 0 16781312 33554434 18446604450026780608 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.32
Current children cumulated vsize (KiB) 19458976
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 656 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=577912
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.700893
# while last known CPU time is 198.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 196.674
CPU time (s): 198.32
CPU user time (s): 196.55
CPU system time (s): 1.77
CPU usage (%): 100.837
Max. virtual memory (cumulated for all children) (KiB): 19458976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.577912
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= 14325
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= 1604
involuntary context switches= 29
runsolver used 1.07084 second user time and 1.91471 second system time
The end