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-3482212-1307578735/watcher-3482212-1307578735 -o /tmp/evaluation-result-3482212-1307578735/solver-3482212-1307578735 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482212-1307578735.opb -seed 913600614 -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.32 2.15 1.94 2/729 4592
/proc/meminfo: memFree=13916044/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 903 0 0 0 0 0 0 0 17 0 1 0 869471811 16154624 783 33554432000 4194304 5683644 140733287026304 18446744073709551615 4426576 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4592/statm: 3944 783 345 364 0 431 0
[startup+0.116579 s]
/proc/loadavg: 2.32 2.15 1.94 2/729 4592
/proc/meminfo: memFree=13916044/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=96128 CPUtime=0.08 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 3170 928 1 0 7 1 0 0 18 0 1 0 869471811 98435072 2484 33554432000 4194304 5683644 140733287026304 18446744073709551615 5178064 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4592/statm: 24032 2484 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200534 s]
/proc/loadavg: 2.32 2.15 1.94 2/729 4592
/proc/meminfo: memFree=13916044/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=123744 CPUtime=0.14 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 5358 928 1 0 11 3 0 0 17 0 1 0 869471811 126713856 3745 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516832256 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/4592/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300508 s]
/proc/loadavg: 2.32 2.15 1.94 2/729 4592
/proc/meminfo: memFree=13916044/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=184600 CPUtime=0.21 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 6359 928 1 0 17 4 0 0 17 0 1 0 869471811 189030400 4657 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516832256 0 2147483391 16781312 2 18446744071699453118 0 0 17 2 0 0 0
/proc/4592/statm: 46150 4657 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184600
[startup+0.700501 s]
/proc/loadavg: 2.32 2.15 1.94 2/729 4592
/proc/meminfo: memFree=13916044/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=297676 CPUtime=0.57 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 12824 928 1 0 49 8 0 0 17 0 1 0 869471811 304820224 10686 33554432000 4194304 5683644 140733287026304 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4592/statm: 74419 10686 1781 364 0 9312 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 297676
[startup+1.50031 s]
/proc/loadavg: 2.32 2.15 1.94 3/730 4597
/proc/meminfo: memFree=13863832/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=327568 CPUtime=1.36 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 20056 928 1 0 128 8 0 0 18 0 1 0 869471811 335429632 17918 33554432000 4194304 5683644 140733287026304 18446744073709551615 4436508 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/4592/statm: 81892 17918 1781 364 0 16785 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 327568
[startup+3.10101 s]
/proc/loadavg: 2.32 2.15 1.94 3/730 4597
/proc/meminfo: memFree=13842900/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=333872 CPUtime=2.96 cores=0,2,4,6
/proc/4592/stat : 4592 (python) R 4590 4592 1406 0 -1 4202496 30421 928 1 0 287 9 0 0 21 0 1 0 869471811 341884928 19816 33554432000 4194304 5683644 140733287026304 18446744073709551615 4643471 0 0 16781312 33554434 0 0 0 17 2 0 0 0
/proc/4592/statm: 83468 19816 1816 364 0 18361 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 333872
[startup+6.30046 s]
/proc/loadavg: 2.46 2.18 1.95 3/733 4600
/proc/meminfo: memFree=13796748/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=347800 CPUtime=4.32 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 31619 928 1 0 423 9 0 0 25 0 2 0 869471811 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4592/statm: 86950 20789 1870 364 0 21837 0
[pid=4598] ppid=4592 vsize=337556 CPUtime=0 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 869472256 345657344 19266 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854287 0 0 16781312 33554946 3751014034468503552 0 0 17 2 0 0 0
/proc/4598/statm: 84389 19266 351 364 0 19276 0
[pid=4600] ppid=4598 vsize=45256 CPUtime=1.83 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) R 4598 4600 4600 0 -1 4202496 16016 0 0 0 181 2 0 0 19 0 1 0 869472256 46342144 10271 33554432000 134512640 135751879 4288787056 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4600/statm: 11314 10271 146 303 0 11009 0
[pid=4592/tid=4599] ppid=4590 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 869472256 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 730612
[startup+12.7003 s]
/proc/loadavg: 2.42 2.18 1.95 3/733 4600
/proc/meminfo: memFree=13794436/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=347800 CPUtime=4.32 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 31619 928 1 0 423 9 0 0 25 0 2 0 869471811 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4592/statm: 86950 20789 1870 364 0 21837 0
[pid=4598] ppid=4592 vsize=337556 CPUtime=0.04 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 891 0 0 0 2 2 0 0 15 0 1 0 869472256 345657344 19290 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854287 0 0 16781312 33554946 72262103200705332 0 0 17 2 0 0 0
/proc/4598/statm: 84389 19290 375 364 0 19276 0
[pid=4600] ppid=4598 vsize=45256 CPUtime=8.22 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) R 4598 4600 4600 0 -1 4202496 16034 0 0 0 818 4 0 0 25 0 1 0 869472256 46342144 10289 33554432000 134512640 135751879 4288787056 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4600/statm: 11314 10289 146 303 0 11009 0
[pid=4592/tid=4599] ppid=4590 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 869472256 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 730612
[startup+25.5009 s]
/proc/loadavg: 2.33 2.17 1.95 3/733 4600
/proc/meminfo: memFree=13786280/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=347800 CPUtime=4.32 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 31619 928 1 0 423 9 0 0 25 0 2 0 869471811 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4592/statm: 86950 20789 1870 364 0 21837 0
[pid=4598] ppid=4592 vsize=337556 CPUtime=0.09 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 901 0 0 0 5 4 0 0 15 0 1 0 869472256 345657344 19290 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/4598/statm: 84389 19290 375 364 0 19276 0
[pid=4600] ppid=4598 vsize=54884 CPUtime=21.03 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) R 4598 4600 4600 0 -1 4202496 19727 0 0 0 2094 9 0 0 25 0 1 0 869472256 56201216 12748 33554432000 134512640 135751879 4288787056 18446744073709551615 134616532 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4600/statm: 13721 12748 146 303 0 13416 0
[pid=4592/tid=4599] ppid=4590 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 869472256 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 740240
[startup+51.1013 s]
/proc/loadavg: 2.21 2.16 1.95 3/733 4601
/proc/meminfo: memFree=13771064/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=347800 CPUtime=4.32 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 31619 928 1 0 423 9 0 0 25 0 2 0 869471811 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4592/statm: 86950 20789 1870 364 0 21837 0
[pid=4598] ppid=4592 vsize=337556 CPUtime=0.19 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 912 0 0 0 11 8 0 0 15 0 1 0 869472256 345657344 19290 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854287 0 0 16781312 33554946 72556772316949300 0 0 17 6 0 0 0
/proc/4598/statm: 84389 19290 375 364 0 19276 0
[pid=4600] ppid=4598 vsize=71132 CPUtime=46.63 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) R 4598 4600 4600 0 -1 4202496 23778 0 0 0 4649 14 0 0 25 0 1 0 869472256 72839168 16799 33554432000 134512640 135751879 4288787056 18446744073709551615 134517408 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/4600/statm: 17783 16799 146 303 0 17478 0
[pid=4592/tid=4599] ppid=4590 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 2 0 869472256 356147200 20789 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 756488
[startup+102.302 s]
/proc/loadavg: 2.09 2.13 1.95 3/759 4628
/proc/meminfo: memFree=12481416/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=368312 CPUtime=4.38 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 33379 928 1 0 428 10 0 0 20 0 4 0 869471811 377151488 20802 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/4592/statm: 92078 20802 1875 364 0 26959 0
[pid=4598] ppid=4592 vsize=347800 CPUtime=0.21 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 1072 0 0 0 12 9 0 0 17 0 2 0 869472256 356147200 19326 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4598/statm: 86950 19326 406 364 0 21837 0
[pid=4600] ppid=4598 vsize=72732 CPUtime=48.99 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) T 4598 4600 4600 0 -1 4202496 24154 0 0 0 4885 14 0 0 25 0 1 0 869472256 74477568 17175 33554432000 134512640 135751879 4288787056 18446744073709551615 134616526 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4600/statm: 18183 17175 146 303 0 17878 0
[pid=4598/tid=4602] ppid=4592 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (python) S 4592 4592 1406 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869477158 356147200 19326 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554946 18446604440299788224 0 0 -1 6 0 0 0
[pid=4603] ppid=4592 vsize=347812 CPUtime=0.19 cores=0,2,4,6
/proc/4603/stat : 4603 (python) S 4592 4592 1406 0 -1 4202560 1111 0 0 0 8 11 0 0 16 0 2 0 869477160 356159488 19316 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 86953 19316 396 364 0 21837 0
[pid=4605] ppid=4603 vsize=1050288 CPUtime=47.04 cores=0,2,4,6
/proc/4605/stat : 4605 (scip-2.0.1.linu) T 4603 4605 4605 0 -1 4202496 261923 0 0 0 4619 85 0 0 25 0 1 0 869477161 1075494912 253995 33554432000 4194304 13684479 140735344907824 18446744073709551615 5110693 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4605/statm: 262572 253995 663 2317 0 260250 0
[pid=4603/tid=4607] ppid=4592 vsize=347812 CPUtime=0 cores=0,2,4,6
/proc/4603/task/4607/stat : 4607 (python) S 4592 4592 1406 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869481866 356159488 19316 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554946 18446604445327096000 0 0 -1 2 0 0 0
[pid=4608] ppid=4592 vsize=358068 CPUtime=0 cores=0,2,4,6
/proc/4608/stat : 4608 (python) S 4592 4592 1406 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869481869 366661632 19271 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854342 0 0 16781312 33554946 3757556296157495296 0 0 17 6 0 0 0
/proc/4608/statm: 89517 19271 348 364 0 24398 0
[pid=4610] ppid=4608 vsize=8545452 CPUtime=2.78 cores=0,2,4,6
/proc/4610/stat : 4610 (java) S 4608 4610 4610 0 -1 4202496 73210 0 1 0 268 10 0 0 20 0 19 0 869481869 8750542848 68813 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4610/statm: 2136363 68813 2235 9 0 2127104 0
[pid=4610/tid=4611] ppid=4608 vsize=8545452 CPUtime=1.66 cores=0,2,4,6
/proc/4610/task/4611/stat : 4611 (java) R 4608 4610 4610 0 -1 4202560 55219 0 1 0 159 7 0 0 20 0 19 0 869481870 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 47632911984659 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4610/tid=4612] ppid=4608 vsize=8545452 CPUtime=0.01 cores=0,2,4,6
/proc/4610/task/4612/stat : 4612 (java) S 4608 4610 4610 0 -1 4202560 1114 0 0 0 1 0 0 0 16 0 19 0 869481871 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4613] ppid=4608 vsize=8545452 CPUtime=0.03 cores=0,2,4,6
/proc/4610/task/4613/stat : 4613 (java) S 4608 4610 4610 0 -1 4202560 2258 0 0 0 3 0 0 0 16 0 19 0 869481871 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 0 0 0 0
[pid=4610/tid=4614] ppid=4608 vsize=8545452 CPUtime=0.03 cores=0,2,4,6
/proc/4610/task/4614/stat : 4614 (java) S 4608 4610 4610 0 -1 4202560 2217 0 0 0 3 0 0 0 16 0 19 0 869481871 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 4 0 0 0
[pid=4610/tid=4615] ppid=4608 vsize=8545452 CPUtime=0.02 cores=0,2,4,6
/proc/4610/task/4615/stat : 4615 (java) S 4608 4610 4610 0 -1 4202560 1532 0 0 0 2 0 0 0 16 0 19 0 869481871 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4616] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4616/stat : 4616 (java) S 4608 4610 4610 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 869481871 8750542848 68861 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 0 0 0 0
[pid=4610/tid=4617] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4617/stat : 4617 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869481871 8750542848 68872 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 0 0 0 0
[pid=4610/tid=4618] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4618/stat : 4618 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869481871 8750542848 68890 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 0 0 0 0
[pid=4610/tid=4619] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4619/stat : 4619 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869481871 8750542848 68907 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 0 0 0 0
[pid=4610/tid=4620] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4620/stat : 4620 (java) S 4608 4610 4610 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 869481872 8750542848 68923 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 0 0 16800975 18446604451162333248 0 0 -1 4 0 0 0
[pid=4610/tid=4621] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4621/stat : 4621 (java) S 4608 4610 4610 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869481872 8750542848 68941 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4622] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4622/stat : 4622 (java) S 4608 4610 4610 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 869481872 8750542848 68957 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4623] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4623/stat : 4623 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869481875 8750542848 68974 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528657841 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4624] ppid=4608 vsize=8545452 CPUtime=0.48 cores=0,2,4,6
/proc/4610/task/4624/stat : 4624 (java) S 4608 4610 4610 0 -1 4202560 4374 0 0 0 48 0 0 0 15 0 19 0 869481875 8750542848 68990 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 2 0 0 0
[pid=4610/tid=4625] ppid=4608 vsize=8545452 CPUtime=0.52 cores=0,2,4,6
/proc/4610/task/4625/stat : 4625 (java) R 4608 4610 4610 0 -1 4202560 5078 0 0 0 52 0 0 0 16 0 19 0 869481875 8750542848 69003 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 47632912222289 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4610/tid=4626] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4626/stat : 4626 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869481875 8750542848 69003 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4610/tid=4627] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4627/stat : 4627 (java) S 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869481875 8750542848 69003 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 4 0 16800975 18446604451162333248 0 0 -1 4 0 0 0
[pid=4610/tid=4628] ppid=4608 vsize=8545452 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4628/stat : 4628 (java) S 4608 4610 4610 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 869482036 8750542848 69003 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 4 0 16800975 18446604451162333248 0 0 -1 6 0 0 0
[pid=4592/tid=4599] ppid=4590 vsize=368312 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 4 0 869472256 377151488 20802 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
[pid=4592/tid=4604] ppid=4590 vsize=368312 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4604/stat : 4604 (python) S 4590 4592 1406 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 4 0 869477160 377151488 20802 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 0 0 0 0
[pid=4592/tid=4609] ppid=4590 vsize=368312 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4609/stat : 4609 (python) S 4590 4592 1406 0 -1 4202560 34 928 0 0 0 0 0 0 20 0 4 0 869481869 377151488 20802 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 103.59
Current children cumulated vsize (KiB) 11090464
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+148.502 s]
/proc/loadavg: 2.04 2.11 1.95 6/780 4651
/proc/meminfo: memFree=9871348/32951124 swapFree=43359760/67111528
[pid=4592] ppid=4590 vsize=378568 CPUtime=4.4 cores=0,2,4,6
/proc/4592/stat : 4592 (python) S 4590 4592 1406 0 -1 4202496 34263 928 1 0 430 10 0 0 20 0 5 0 869471811 387653632 20808 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4592/statm: 94642 20808 1877 364 0 29520 0
[pid=4598] ppid=4592 vsize=347800 CPUtime=0.21 cores=0,2,4,6
/proc/4598/stat : 4598 (python) S 4592 4592 1406 0 -1 4202560 1072 0 0 0 12 9 0 0 17 0 2 0 869472256 356147200 19326 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4598/statm: 86950 19326 406 364 0 21837 0
[pid=4600] ppid=4598 vsize=72732 CPUtime=48.99 cores=0,2,4,6
/proc/4600/stat : 4600 (wbo1.4a) T 4598 4600 4600 0 -1 4202496 24154 0 0 0 4885 14 0 0 25 0 1 0 869472256 74477568 17175 33554432000 134512640 135751879 4288787056 18446744073709551615 134616526 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/4600/statm: 18183 17175 146 303 0 17878 0
[pid=4598/tid=4602] ppid=4592 vsize=347800 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4602/stat : 4602 (python) S 4592 4592 1406 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869477158 356147200 19326 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554946 18446604440299788224 0 0 -1 6 0 0 0
[pid=4603] ppid=4592 vsize=347812 CPUtime=0.19 cores=0,2,4,6
/proc/4603/stat : 4603 (python) S 4592 4592 1406 0 -1 4202560 1111 0 0 0 8 11 0 0 16 0 2 0 869477160 356159488 19316 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/4603/statm: 86953 19316 396 364 0 21837 0
[pid=4605] ppid=4603 vsize=1050288 CPUtime=47.04 cores=0,2,4,6
/proc/4605/stat : 4605 (scip-2.0.1.linu) T 4603 4605 4605 0 -1 4202496 261923 0 0 0 4619 85 0 0 25 0 1 0 869477161 1075494912 253995 33554432000 4194304 13684479 140735344907824 18446744073709551615 5110693 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/4605/statm: 262572 253995 663 2317 0 260250 0
[pid=4603/tid=4607] ppid=4592 vsize=347812 CPUtime=0 cores=0,2,4,6
/proc/4603/task/4607/stat : 4607 (python) S 4592 4592 1406 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869481866 356159488 19316 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554946 18446604445327096000 0 0 -1 2 0 0 0
[pid=4608] ppid=4592 vsize=358068 CPUtime=0.2 cores=0,2,4,6
/proc/4608/stat : 4608 (python) S 4592 4592 1406 0 -1 4202560 1102 0 0 0 9 11 0 0 17 0 2 0 869481869 366661632 19320 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528660939 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4608/statm: 89517 19320 396 364 0 24398 0
[pid=4610] ppid=4608 vsize=8547740 CPUtime=50.37 cores=0,2,4,6
/proc/4610/stat : 4610 (java) T 4608 4610 4610 0 -1 4202496 724252 0 1 0 4946 91 0 0 18 0 19 0 869481869 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4610/statm: 2136935 710954 2246 9 0 2127676 0
[pid=4610/tid=4611] ppid=4608 vsize=8547740 CPUtime=47.18 cores=0,2,4,6
/proc/4610/task/4611/stat : 4611 (java) T 4608 4610 4610 0 -1 4202560 629352 0 1 0 4641 77 0 0 25 0 19 0 869481870 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 46912505808678 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4610/tid=4612] ppid=4608 vsize=8547740 CPUtime=0.17 cores=0,2,4,6
/proc/4610/task/4612/stat : 4612 (java) T 4608 4610 4610 0 -1 4202560 12756 0 0 0 15 2 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4613] ppid=4608 vsize=8547740 CPUtime=0.14 cores=0,2,4,6
/proc/4610/task/4613/stat : 4613 (java) T 4608 4610 4610 0 -1 4202560 9102 0 0 0 13 1 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4610/tid=4614] ppid=4608 vsize=8547740 CPUtime=0.09 cores=0,2,4,6
/proc/4610/task/4614/stat : 4614 (java) T 4608 4610 4610 0 -1 4202560 6531 0 0 0 9 0 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4610/tid=4615] ppid=4608 vsize=8547740 CPUtime=0.16 cores=0,2,4,6
/proc/4610/task/4615/stat : 4615 (java) T 4608 4610 4610 0 -1 4202560 12112 0 0 0 15 1 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4610/tid=4616] ppid=4608 vsize=8547740 CPUtime=0.18 cores=0,2,4,6
/proc/4610/task/4616/stat : 4616 (java) T 4608 4610 4610 0 -1 4202560 11782 0 0 0 16 2 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4610/tid=4617] ppid=4608 vsize=8547740 CPUtime=0.13 cores=0,2,4,6
/proc/4610/task/4617/stat : 4617 (java) T 4608 4610 4610 0 -1 4202560 9325 0 0 0 12 1 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4610/tid=4618] ppid=4608 vsize=8547740 CPUtime=0.14 cores=0,2,4,6
/proc/4610/task/4618/stat : 4618 (java) T 4608 4610 4610 0 -1 4202560 10504 0 0 0 14 0 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4610/tid=4619] ppid=4608 vsize=8547740 CPUtime=0.14 cores=0,2,4,6
/proc/4610/task/4619/stat : 4619 (java) T 4608 4610 4610 0 -1 4202560 9202 0 0 0 13 1 0 0 15 0 19 0 869481871 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4610/tid=4620] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4620/stat : 4620 (java) T 4608 4610 4610 0 -1 4202560 1275 0 0 0 0 0 0 0 15 0 19 0 869481872 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4621] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4621/stat : 4621 (java) T 4608 4610 4610 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869481872 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4610/tid=4622] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4622/stat : 4622 (java) T 4608 4610 4610 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869481872 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4623] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4623/stat : 4623 (java) T 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869481875 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528657841 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4624] ppid=4608 vsize=8547740 CPUtime=0.95 cores=0,2,4,6
/proc/4610/task/4624/stat : 4624 (java) T 4608 4610 4610 0 -1 4202560 5173 0 0 0 95 0 0 0 15 0 19 0 869481875 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4610/tid=4625] ppid=4608 vsize=8547740 CPUtime=0.99 cores=0,2,4,6
/proc/4610/task/4625/stat : 4625 (java) T 4608 4610 4610 0 -1 4202560 5743 0 0 0 98 1 0 0 15 0 19 0 869481875 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4626] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4626/stat : 4626 (java) T 4608 4610 4610 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869481875 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650137 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4610/tid=4627] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4627/stat : 4627 (java) T 4608 4610 4610 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 869481875 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4610/tid=4628] ppid=4608 vsize=8547740 CPUtime=0 cores=0,2,4,6
/proc/4610/task/4628/stat : 4628 (java) T 4608 4610 4610 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869482036 8752885760 710954 33554432000 1073741824 1073778376 140734491925024 18446744073709551615 246528650752 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4608/tid=4631] ppid=4592 vsize=358068 CPUtime=0 cores=0,2,4,6
/proc/4608/task/4631/stat : 4631 (python) S 4592 4592 1406 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869486627 366661632 19320 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554946 18446604452249861056 0 0 -1 6 0 0 0
[pid=4632] ppid=4592 vsize=368324 CPUtime=0 cores=0,2,4,6
/proc/4632/stat : 4632 (python) S 4592 4592 1406 0 -1 4202560 809 0 0 0 0 0 0 0 19 0 1 0 869486630 377163776 19275 33554432000 4194304 5683644 140733287026304 18446744073709551615 246516854342 0 0 16781312 33554946 4266957636714364928 0 0 17 0 0 0 0
/proc/4632/statm: 92081 19275 348 364 0 26959 0
[pid=4634] ppid=4632 vsize=8535552 CPUtime=0.58 cores=0,2,4,6
/proc/4634/stat : 4634 (java) S 4632 4634 4634 0 -1 4202496 10903 0 1 0 56 2 0 0 21 0 18 0 869486630 8740405248 9414 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/4634/statm: 2133888 9415 2200 9 0 2124629 0
[pid=4634/tid=4635] ppid=4632 vsize=8535552 CPUtime=0.33 cores=0,2,4,6
/proc/4634/task/4635/stat : 4635 (java) R 4632 4634 4634 0 -1 4202560 6885 0 1 0 32 1 0 0 25 0 18 0 869486631 8740405248 9840 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4634/tid=4636] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4636/stat : 4636 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869486631 8740405248 9842 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 6 0 0 0
[pid=4634/tid=4637] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4637/stat : 4637 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9843 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4638] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4638/stat : 4638 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9844 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4639] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4639/stat : 4639 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9845 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4640] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4640/stat : 4640 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9847 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4641] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4641/stat : 4641 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9848 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4642] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4642/stat : 4642 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9848 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4643] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4643/stat : 4643 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869486631 8740405248 9848 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 0 0 0 0
[pid=4634/tid=4644] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4644/stat : 4644 (java) S 4632 4634 4634 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869486632 8740405248 9849 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650752 0 0 0 16800975 18446604453849342400 0 0 -1 6 0 0 0
[pid=4634/tid=4645] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4645/stat : 4645 (java) S 4632 4634 4634 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 18 0 869486633 8740405248 9850 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 6 0 0 0
[pid=4634/tid=4646] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4646/stat : 4646 (java) S 4632 4634 4634 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 869486633 8740405248 9852 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 4 0 0 0
[pid=4634/tid=4647] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4647/stat : 4647 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869486635 8740405248 9853 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528657841 0 4 0 16800975 18446604453849342400 0 0 -1 6 0 0 0
[pid=4634/tid=4648] ppid=4632 vsize=8535552 CPUtime=0.12 cores=0,2,4,6
/proc/4634/task/4648/stat : 4648 (java) S 4632 4634 4634 0 -1 4202560 1435 0 0 0 12 0 0 0 17 0 18 0 869486635 8740405248 9854 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 4 0 0 0
[pid=4634/tid=4649] ppid=4632 vsize=8535552 CPUtime=0.12 cores=0,2,4,6
/proc/4634/task/4649/stat : 4649 (java) S 4632 4634 4634 0 -1 4202560 1620 0 0 0 12 0 0 0 16 0 18 0 869486635 8740405248 9855 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 2 0 0 0
[pid=4634/tid=4650] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4650/stat : 4650 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869486635 8740405248 9857 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650137 0 4 0 16800975 18446604453849342400 0 0 -1 6 0 0 0
[pid=4634/tid=4651] ppid=4632 vsize=8535552 CPUtime=0 cores=0,2,4,6
/proc/4634/task/4651/stat : 4651 (java) S 4632 4634 4634 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869486635 8740405248 9858 33554432000 1073741824 1073778376 140737262401264 18446744073709551615 246528650752 0 4 0 16800975 18446604453849342400 0 0 -1 2 0 0 0
[pid=4592/tid=4599] ppid=4590 vsize=378568 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4599/stat : 4599 (python) S 4590 4592 1406 0 -1 4202560 26 928 0 0 0 0 0 0 25 0 5 0 869472256 387653632 20808 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
[pid=4592/tid=4604] ppid=4590 vsize=378568 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4604/stat : 4604 (python) S 4590 4592 1406 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869477160 387653632 20808 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 0 0 0 0
[pid=4592/tid=4609] ppid=4590 vsize=378568 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4609/stat : 4609 (python) S 4590 4592 1406 0 -1 4202560 34 928 0 0 0 0 0 0 20 0 5 0 869481869 387653632 20808 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 6 0 0 0
[pid=4592/tid=4633] ppid=4590 vsize=378568 CPUtime=0 cores=0,2,4,6
/proc/4592/task/4633/stat : 4633 (python) S 4590 4592 1406 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 5 0 869486630 387653632 20808 33554432000 4194304 5683644 140733287026304 18446744073709551615 246528657841 0 0 16781312 33554434 18446604443166291200 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 151.98
Current children cumulated vsize (KiB) 20006884
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 4592 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=307345
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=112982
# CPU time returned by wait4() is 4.42033
# while last known CPU time is 151.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 148.579
CPU time (s): 151.98
CPU user time (s): 149.65
CPU system time (s): 2.33
CPU usage (%): 102.289
Max. virtual memory (cumulated for all children) (KiB): 20007932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.30734
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35193
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= 1003
involuntary context switches= 30
runsolver used 1.01585 second user time and 1.66975 second system time
The end