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-3482899-1307578605/watcher-3482899-1307578605 -o /tmp/evaluation-result-3482899-1307578605/solver-3482899-1307578605 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482899-1307578605.opb -seed 950059646 -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: 3.10 2.43 2.11 2/504 4536
/proc/meminfo: memFree=11292620/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 792 0 0 0 0 0 0 0 17 0 1 0 869460423 15749120 679 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664493518 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4536/statm: 3845 679 322 364 0 332 0
[startup+0.0956219 s]
/proc/loadavg: 3.10 2.43 2.11 2/504 4536
/proc/meminfo: memFree=11292620/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=84436 CPUtime=0.05 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 2346 0 0 0 4 1 0 0 17 0 1 0 869460423 86462464 2075 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4536/statm: 21109 2096 695 364 0 1326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84436
[startup+0.100634 s]
/proc/loadavg: 3.10 2.43 2.11 2/504 4536
/proc/meminfo: memFree=11292620/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=85364 CPUtime=0.05 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 2596 0 0 0 4 1 0 0 17 0 1 0 869460423 87412736 2317 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664806400 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/4536/statm: 21341 2317 715 364 0 1558 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85364
[startup+0.300564 s]
/proc/loadavg: 3.10 2.43 2.11 2/504 4536
/proc/meminfo: memFree=11292620/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 5357 929 1 0 10 4 0 0 17 0 1 0 869460423 126709760 3744 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/4536/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.700517 s]
/proc/loadavg: 3.10 2.43 2.11 2/504 4536
/proc/meminfo: memFree=11292620/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=287308 CPUtime=0.4 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 9248 929 1 0 28 12 0 0 15 0 1 0 869460423 294203392 7111 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664808192 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4536/statm: 71827 7146 1776 364 0 6720 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 287308
[startup+1.50037 s]
/proc/loadavg: 3.10 2.43 2.11 3/505 4541
/proc/meminfo: memFree=11256096/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=314792 CPUtime=1.2 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 16603 929 1 0 107 13 0 0 16 0 1 0 869460423 322347008 14465 33554432000 4194304 5683644 140735962905696 18446744073709551615 46963122825925 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/4536/statm: 78698 14466 1781 364 0 13591 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 314792
[startup+3.10113 s]
/proc/loadavg: 3.10 2.43 2.11 3/505 4541
/proc/meminfo: memFree=11236628/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=315528 CPUtime=2.8 cores=0,2,4,6
/proc/4536/stat : 4536 (python) R 4534 4536 3617 0 -1 4202496 23151 929 1 0 265 15 0 0 18 0 1 0 869460423 323100672 15230 33554432000 4194304 5683644 140735962905696 18446744073709551615 4940544 0 0 16781312 33554434 0 0 0 17 0 0 0 0
/proc/4536/statm: 78882 15230 1816 364 0 13775 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 315528
[startup+6.30056 s]
/proc/loadavg: 3.33 2.49 2.13 3/508 4544
/proc/meminfo: memFree=11217624/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=327660 CPUtime=3.13 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 23907 929 1 0 298 15 0 0 21 0 2 0 869460423 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 81915 15756 1872 364 0 16802 0
[pid=4542] ppid=4536 vsize=317416 CPUtime=0 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 869460766 325033984 14231 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828431 0 0 16781312 33554946 7614861537022279938 0 0 17 0 0 0 0
/proc/4542/statm: 79354 14231 351 364 0 14241 0
[pid=4544] ppid=4542 vsize=18392 CPUtime=2.85 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) R 4542 4544 4544 0 -1 4202496 5689 0 0 0 274 11 0 0 25 0 1 0 869460766 18833408 4112 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4544/statm: 4598 4112 146 303 0 4293 0
[pid=4536/tid=4543] ppid=4534 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 2 0 869460766 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 663468
[startup+12.7005 s]
/proc/loadavg: 3.54 2.55 2.15 3/508 4544
/proc/meminfo: memFree=11204552/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=327660 CPUtime=3.13 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 23907 929 1 0 298 15 0 0 21 0 2 0 869460423 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 81915 15756 1872 364 0 16802 0
[pid=4542] ppid=4536 vsize=317416 CPUtime=0.04 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 912 0 0 0 2 2 0 0 15 0 1 0 869460766 325033984 14255 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828431 0 0 16781312 33554946 72114768642583222 0 0 17 0 0 0 0
/proc/4542/statm: 79354 14255 375 364 0 14241 0
[pid=4544] ppid=4542 vsize=27644 CPUtime=9.26 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) R 4542 4544 4544 0 -1 4202496 8002 0 0 0 901 25 0 0 25 0 1 0 869460766 28307456 6425 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4544/statm: 6911 6425 146 303 0 6606 0
[pid=4536/tid=4543] ppid=4534 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 2 0 869460766 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 672720
[startup+25.5012 s]
/proc/loadavg: 4.16 2.74 2.21 3/508 4546
/proc/meminfo: memFree=11185004/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=327660 CPUtime=3.13 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 23907 929 1 0 298 15 0 0 21 0 2 0 869460423 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 81915 15756 1872 364 0 16802 0
[pid=4542] ppid=4536 vsize=317416 CPUtime=0.09 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 1008 0 0 0 5 4 0 0 15 0 1 0 869460766 325033984 14260 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949174 0 0 17 6 0 0 0
/proc/4542/statm: 79354 14260 380 364 0 14241 0
[pid=4544] ppid=4542 vsize=44192 CPUtime=22.06 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) R 4542 4544 4544 0 -1 4202496 12141 0 0 0 2165 41 0 0 25 0 1 0 869460766 45252608 10564 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4544/statm: 11048 10564 146 303 0 10743 0
[pid=4536/tid=4543] ppid=4534 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 2 0 869460766 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 689268
[startup+51.1008 s]
/proc/loadavg: 4.79 3.00 2.31 3/512 4550
/proc/meminfo: memFree=11108804/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=327660 CPUtime=3.13 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 23907 929 1 0 298 15 0 0 21 0 2 0 869460423 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 81915 15756 1872 364 0 16802 0
[pid=4542] ppid=4536 vsize=317416 CPUtime=0.19 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 1015 0 0 0 10 9 0 0 15 0 1 0 869460766 325033984 14260 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828431 0 0 16781312 33554946 72556772316949174 0 0 17 6 0 0 0
/proc/4542/statm: 79354 14260 380 364 0 14241 0
[pid=4544] ppid=4542 vsize=69548 CPUtime=47.65 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) R 4542 4544 4544 0 -1 4202496 18456 0 0 0 4701 64 0 0 25 0 1 0 869460766 71217152 16879 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 0 0 0 17 2 0 0 0
/proc/4544/statm: 17387 16879 147 303 0 17082 0
[pid=4536/tid=4543] ppid=4534 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 2 0 869460766 335523840 15756 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 714624
[startup+102.318 s]
/proc/loadavg: 5.77 3.54 2.53 3/517 4557
/proc/meminfo: memFree=9770240/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=337916 CPUtime=11.62 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 24889 929 1 0 1144 18 0 0 25 0 3 0 869460423 346025984 15763 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 84479 15763 1875 364 0 19363 0
[pid=4542] ppid=4536 vsize=327660 CPUtime=0.21 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 1147 0 0 0 11 10 0 0 17 0 2 0 869460766 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4542/statm: 81915 14296 411 364 0 16802 0
[pid=4544] ppid=4542 vsize=73904 CPUtime=50.82 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) T 4542 4544 4544 0 -1 4202496 19557 0 0 0 5013 69 0 0 25 0 1 0 869460766 75677696 17980 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4544/statm: 18476 17980 147 303 0 18171 0
[pid=4542/tid=4551] ppid=4536 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4542/task/4551/stat : 4551 (python) S 4536 4536 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869465849 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604445026443712 0 0 -1 6 0 0 0
[pid=4552] ppid=4536 vsize=327672 CPUtime=0.15 cores=0,2,4,6
/proc/4552/stat : 4552 (python) S 4536 4536 3617 0 -1 4202560 936 0 0 0 8 7 0 0 15 0 1 0 869466697 335536128 14256 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828486 0 0 16781312 33554946 72556772316949174 0 0 17 6 0 0 0
/proc/4552/statm: 81918 14256 372 364 0 16802 0
[pid=4554] ppid=4552 vsize=1308028 CPUtime=39.56 cores=0,2,4,6
/proc/4554/stat : 4554 (minion) R 4552 4554 4554 0 -1 4202496 327059 0 0 0 3921 35 0 0 25 0 1 0 869466698 1339420672 319721 33554432000 134512640 165565024 4294803072 18446744073709551615 158624694 0 0 16781312 8396802 0 0 0 17 2 0 0 0
/proc/4554/statm: 327007 319721 359 7582 0 319422 0
[pid=4536/tid=4543] ppid=4534 vsize=337916 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 3 0 869460766 346025984 15763 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4553] ppid=4534 vsize=337916 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4553/stat : 4553 (python) S 4534 4536 3617 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 3 0 869466697 346025984 15763 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 2375180
[startup+162.302 s]
/proc/loadavg: 5.97 4.00 2.75 4/546 4586
/proc/meminfo: memFree=7558852/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=358428 CPUtime=11.66 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 26721 929 1 0 1148 18 0 0 20 0 5 0 869460423 367030272 15775 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 89607 15775 1879 364 0 24485 0
[pid=4542] ppid=4536 vsize=327660 CPUtime=0.21 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 1147 0 0 0 11 10 0 0 17 0 2 0 869460766 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4542/statm: 81915 14296 411 364 0 16802 0
[pid=4544] ppid=4542 vsize=73904 CPUtime=50.82 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) T 4542 4544 4544 0 -1 4202496 19557 0 0 0 5013 69 0 0 25 0 1 0 869460766 75677696 17980 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4544/statm: 18476 17980 147 303 0 18171 0
[pid=4542/tid=4551] ppid=4536 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4542/task/4551/stat : 4551 (python) S 4536 4536 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869465849 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604445026443712 0 0 -1 6 0 0 0
[pid=4552] ppid=4536 vsize=327672 CPUtime=0.18 cores=0,2,4,6
/proc/4552/stat : 4552 (python) S 4536 4536 3617 0 -1 4202560 1107 0 0 0 9 9 0 0 16 0 2 0 869466697 335536128 14281 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4552/statm: 81918 14281 396 364 0 16802 0
[pid=4554] ppid=4552 vsize=1308028 CPUtime=47.25 cores=0,2,4,6
/proc/4554/stat : 4554 (minion) T 4552 4554 4554 0 -1 4202496 327059 0 0 0 4690 35 0 0 25 0 1 0 869466698 1339420672 319721 33554432000 134512640 165565024 4294803072 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/4554/statm: 327007 319721 359 7582 0 319422 0
[pid=4552/tid=4558] ppid=4536 vsize=327672 CPUtime=0 cores=0,2,4,6
/proc/4552/task/4558/stat : 4558 (python) S 4536 4536 3617 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869471424 335536128 14281 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604443840034752 0 0 -1 6 0 0 0
[pid=4559] ppid=4536 vsize=337928 CPUtime=0.19 cores=0,2,4,6
################
# More data... #
################
[pid=4536/tid=4553] ppid=4534 vsize=368684 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4553/stat : 4553 (python) S 4534 4536 3617 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 6 0 869466697 377532416 15781 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4560] ppid=4534 vsize=368684 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4560/stat : 4560 (python) S 4534 4536 3617 0 -1 4202560 34 929 0 0 0 0 0 0 18 0 6 0 869471427 377532416 15781 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4585] ppid=4534 vsize=368684 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4585/stat : 4585 (python) S 4534 4536 3617 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 6 0 869476251 377532416 15781 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 2 0 0 0
[pid=4536/tid=4616] ppid=4534 vsize=368684 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4616/stat : 4616 (python) S 4534 4536 3617 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 6 0 869480905 377532416 15781 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 289.33
Current children cumulated vsize (KiB) 12089804
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+297.702 s]
/proc/loadavg: 6.48 4.92 3.26 3/568 4675
/proc/meminfo: memFree=6332688/32951132 swapFree=65929880/67111528
[pid=4536] ppid=4534 vsize=378940 CPUtime=11.75 cores=0,2,4,6
/proc/4536/stat : 4536 (python) S 4534 4536 3617 0 -1 4202496 28563 929 1 0 1156 19 0 0 19 0 7 0 869460423 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/4536/statm: 94735 15787 1883 364 0 29607 0
[pid=4542] ppid=4536 vsize=327660 CPUtime=0.21 cores=0,2,4,6
/proc/4542/stat : 4542 (python) S 4536 4536 3617 0 -1 4202560 1147 0 0 0 11 10 0 0 17 0 2 0 869460766 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4542/statm: 81915 14296 411 364 0 16802 0
[pid=4544] ppid=4542 vsize=73904 CPUtime=50.82 cores=0,2,4,6
/proc/4544/stat : 4544 (wbo1.4b-fixed) T 4542 4544 4544 0 -1 4202496 19557 0 0 0 5013 69 0 0 25 0 1 0 869460766 75677696 17980 33554432000 134512640 135752315 4292363792 18446744073709551615 135270849 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4544/statm: 18476 17980 147 303 0 18171 0
[pid=4542/tid=4551] ppid=4536 vsize=327660 CPUtime=0 cores=0,2,4,6
/proc/4542/task/4551/stat : 4551 (python) S 4536 4536 3617 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869465849 335523840 14296 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604445026443712 0 0 -1 6 0 0 0
[pid=4552] ppid=4536 vsize=327672 CPUtime=0.18 cores=0,2,4,6
/proc/4552/stat : 4552 (python) S 4536 4536 3617 0 -1 4202560 1107 0 0 0 9 9 0 0 16 0 2 0 869466697 335536128 14281 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4552/statm: 81918 14281 396 364 0 16802 0
[pid=4554] ppid=4552 vsize=1308028 CPUtime=47.25 cores=0,2,4,6
/proc/4554/stat : 4554 (minion) T 4552 4554 4554 0 -1 4202496 327059 0 0 0 4690 35 0 0 25 0 1 0 869466698 1339420672 319721 33554432000 134512640 165565024 4294803072 18446744073709551615 158624694 0 0 16781312 8396802 18446744071562691360 0 0 17 2 0 0 0
/proc/4554/statm: 327007 319721 359 7582 0 319422 0
[pid=4552/tid=4558] ppid=4536 vsize=327672 CPUtime=0 cores=0,2,4,6
/proc/4552/task/4558/stat : 4558 (python) S 4536 4536 3617 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869471424 335536128 14281 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604443840034752 0 0 -1 6 0 0 0
[pid=4559] ppid=4536 vsize=337928 CPUtime=0.39 cores=0,2,4,6
/proc/4559/stat : 4559 (python) S 4536 4536 3617 0 -1 4202560 1124 0 0 0 20 19 0 0 18 0 2 0 869471427 346038272 14285 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4559/statm: 84482 14285 396 364 0 19363 0
[pid=4561] ppid=4559 vsize=36380 CPUtime=93.44 cores=0,2,4,6
/proc/4561/stat : 4561 (clasp-1.3.7-x86) T 4559 4561 4561 0 -1 4202496 9421 0 0 0 9340 4 0 0 25 0 1 0 869471427 37253120 8711 33554432000 134512640 136139019 4288275760 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 2 0 0 0
/proc/4561/statm: 9095 8711 184 398 0 8695 0
[pid=4559/tid=4583] ppid=4536 vsize=337928 CPUtime=0 cores=0,2,4,6
/proc/4559/task/4583/stat : 4583 (python) S 4536 4536 3617 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 869476248 346038272 14285 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604447205487808 0 0 -1 6 0 0 0
[pid=4584] ppid=4536 vsize=348184 CPUtime=0.19 cores=0,2,4,6
/proc/4584/stat : 4584 (python) S 4536 4536 3617 0 -1 4202560 1134 0 0 0 9 10 0 0 16 0 2 0 869476251 356540416 14289 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4584/statm: 87046 14289 396 364 0 21924 0
[pid=4586] ppid=4584 vsize=66108 CPUtime=46.49 cores=0,2,4,6
/proc/4586/stat : 4586 (wbo1.4a) T 4584 4586 4586 0 -1 4202496 17593 0 0 0 4585 64 0 0 25 0 1 0 869476251 67694592 16003 33554432000 134512640 135751879 4288247744 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/4586/statm: 16527 16003 143 303 0 16222 0
[pid=4584/tid=4614] ppid=4536 vsize=348184 CPUtime=0 cores=0,2,4,6
/proc/4584/task/4614/stat : 4614 (python) S 4536 4536 3617 0 -1 4202560 52 0 0 0 0 0 0 0 16 0 2 0 869480902 356540416 14289 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604441761838272 0 0 -1 6 0 0 0
[pid=4615] ppid=4536 vsize=358440 CPUtime=0.21 cores=0,2,4,6
/proc/4615/stat : 4615 (python) S 4536 4536 3617 0 -1 4202560 1125 0 0 0 10 11 0 0 16 0 2 0 869480904 367042560 14293 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676635083 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/4615/statm: 89610 14293 396 364 0 24485 0
[pid=4617] ppid=4615 vsize=8539364 CPUtime=48.85 cores=0,2,4,6
/proc/4617/stat : 4617 (java) T 4615 4617 4617 0 -1 4202496 411891 0 1 0 4831 54 0 0 18 0 19 0 869480905 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4617/statm: 2134841 406291 2255 9 0 2125582 0
[pid=4617/tid=4619] ppid=4615 vsize=8539364 CPUtime=45.79 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) T 4615 4617 4617 0 -1 4202560 368262 0 1 0 4534 45 0 0 25 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 46912505901338 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4617/tid=4620] ppid=4615 vsize=8539364 CPUtime=0.05 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) T 4615 4617 4617 0 -1 4202560 3097 0 0 0 5 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4621] ppid=4615 vsize=8539364 CPUtime=0.09 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) T 4615 4617 4617 0 -1 4202560 3067 0 0 0 9 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4622] ppid=4615 vsize=8539364 CPUtime=0.08 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) T 4615 4617 4617 0 -1 4202560 2440 0 0 0 8 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4623] ppid=4615 vsize=8539364 CPUtime=0.07 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) T 4615 4617 4617 0 -1 4202560 2338 0 0 0 7 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4617/tid=4624] ppid=4615 vsize=8539364 CPUtime=0.06 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) T 4615 4617 4617 0 -1 4202560 1230 0 0 0 6 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4625] ppid=4615 vsize=8539364 CPUtime=0.05 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) T 4615 4617 4617 0 -1 4202560 1635 0 0 0 5 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4617/tid=4626] ppid=4615 vsize=8539364 CPUtime=0.06 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) T 4615 4617 4617 0 -1 4202560 2669 0 0 0 6 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4617/tid=4627] ppid=4615 vsize=8539364 CPUtime=0.08 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) T 4615 4617 4617 0 -1 4202560 2794 0 0 0 8 0 0 0 15 0 19 0 869480906 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4628] ppid=4615 vsize=8539364 CPUtime=1 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) T 4615 4617 4617 0 -1 4202560 12120 0 0 0 99 1 0 0 15 0 19 0 869480907 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624896 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=4617/tid=4629] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) T 4615 4617 4617 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869480907 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4630] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) T 4615 4617 4617 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 869480907 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4617/tid=4631] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) T 4615 4617 4617 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480910 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676631985 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4617/tid=4632] ppid=4615 vsize=8539364 CPUtime=0.85 cores=0,2,4,6
/proc/4617/task/4632/stat : 4632 (java) T 4615 4617 4617 0 -1 4202560 8237 0 0 0 83 2 0 0 15 0 19 0 869480910 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4617/tid=4633] ppid=4615 vsize=8539364 CPUtime=0.55 cores=0,2,4,6
/proc/4617/task/4633/stat : 4633 (java) T 4615 4617 4617 0 -1 4202560 2609 0 0 0 55 0 0 0 15 0 19 0 869480910 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=4617/tid=4634] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4634/stat : 4634 (java) T 4615 4617 4617 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869480910 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4617/tid=4635] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4635/stat : 4635 (java) T 4615 4617 4617 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869480910 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=4617/tid=4651] ppid=4615 vsize=8539364 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4651/stat : 4651 (java) T 4615 4617 4617 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869481012 8744308736 406291 33554432000 1073741824 1073778376 140733344850064 18446744073709551615 274676624896 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=4615/tid=4654] ppid=4536 vsize=358440 CPUtime=0 cores=0,2,4,6
/proc/4615/task/4654/stat : 4654 (python) S 4536 4536 3617 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869485611 367042560 14293 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554946 18446604452802199616 0 0 -1 6 0 0 0
[pid=4656] ppid=4536 vsize=368696 CPUtime=0 cores=0,2,4,6
/proc/4656/stat : 4656 (python) S 4536 4536 3617 0 -1 4202560 820 0 0 0 0 0 0 0 17 0 1 0 869490141 377544704 14248 33554432000 4194304 5683644 140735962905696 18446744073709551615 274664828486 0 0 16781312 33554946 2835940366945878016 0 0 17 0 0 0 0
/proc/4656/statm: 92174 14248 348 364 0 27046 0
[pid=4658] ppid=4656 vsize=8539208 CPUtime=1.04 cores=0,2,4,6
/proc/4658/stat : 4658 (java) S 4656 4658 4658 0 -1 4202496 29063 0 1 0 100 4 0 0 17 0 18 0 869490141 8744148992 27158 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/4658/statm: 2134802 27160 2208 9 0 2125543 0
[pid=4658/tid=4659] ppid=4656 vsize=8539208 CPUtime=0.53 cores=0,2,4,6
/proc/4658/task/4659/stat : 4659 (java) R 4656 4658 4658 0 -1 4202560 24002 0 1 0 50 3 0 0 18 0 18 0 869490142 8744148992 28329 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 46912505649866 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4658/tid=4660] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4660/stat : 4660 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869490143 8744148992 28332 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4661] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4661/stat : 4661 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 869490143 8744148992 28335 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4662] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4662/stat : 4662 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28338 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4663] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4663/stat : 4663 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28340 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4664] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4664/stat : 4664 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28343 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4665] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4665/stat : 4665 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28346 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4666] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4666/stat : 4666 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28349 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4667] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4667/stat : 4667 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490143 8744148992 28352 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4668] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4668/stat : 4668 (java) S 4656 4658 4658 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 18 0 869490144 8744148992 28355 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624896 0 0 0 16800975 18446604449704762048 0 0 -1 6 0 0 0
[pid=4658/tid=4669] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4669/stat : 4669 (java) S 4656 4658 4658 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 869490144 8744148992 28357 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 6 0 0 0
[pid=4658/tid=4670] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4670/stat : 4670 (java) S 4656 4658 4658 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 869490144 8744148992 28359 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4671] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4671/stat : 4671 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869490146 8744148992 28362 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676631985 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4672] ppid=4656 vsize=8539208 CPUtime=0.25 cores=0,2,4,6
/proc/4658/task/4672/stat : 4672 (java) S 4656 4658 4658 0 -1 4202560 2431 0 0 0 25 0 0 0 16 0 18 0 869490146 8744148992 28364 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 0 0 0 0
[pid=4658/tid=4673] ppid=4656 vsize=8539208 CPUtime=0.24 cores=0,2,4,6
/proc/4658/task/4673/stat : 4673 (java) S 4656 4658 4658 0 -1 4202560 2405 0 0 0 24 0 0 0 16 0 18 0 869490146 8744148992 28367 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 6 0 0 0
[pid=4658/tid=4674] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4674/stat : 4674 (java) S 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869490146 8744148992 28369 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624281 0 4 0 16800975 18446604449704762048 0 0 -1 4 0 0 0
[pid=4658/tid=4675] ppid=4656 vsize=8539208 CPUtime=0 cores=0,2,4,6
/proc/4658/task/4675/stat : 4675 (java) R 4656 4658 4658 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869490146 8744148992 28372 33554432000 1073741824 1073778376 140734559426784 18446744073709551615 274676624896 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4536/tid=4543] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4543/stat : 4543 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 21 0 7 0 869460766 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4553] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4553/stat : 4553 (python) S 4534 4536 3617 0 -1 4202560 34 929 0 0 0 0 0 0 25 0 7 0 869466697 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4560] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4560/stat : 4560 (python) S 4534 4536 3617 0 -1 4202560 34 929 0 0 0 0 0 0 18 0 7 0 869471427 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4585] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4585/stat : 4585 (python) S 4534 4536 3617 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 7 0 869476251 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 2 0 0 0
[pid=4536/tid=4616] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4616/stat : 4616 (python) S 4534 4536 3617 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 7 0 869480905 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
[pid=4536/tid=4657] ppid=4534 vsize=378940 CPUtime=0 cores=0,2,4,6
/proc/4536/task/4657/stat : 4657 (python) S 4534 4536 3617 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 7 0 869490141 388034560 15787 33554432000 4194304 5683644 140735962905696 18446744073709551615 274676631985 0 0 16781312 33554434 18446604442510235520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 300.82
Current children cumulated vsize (KiB) 21010512
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 4536 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=569241
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=197969
# CPU time returned by wait4() is 11.7672
# while last known CPU time is 300.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 297.787
CPU time (s): 300.82
CPU user time (s): 297.74
CPU system time (s): 3.08
CPU usage (%): 101.019
Max. virtual memory (cumulated for all children) (KiB): 21010512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5692
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29496
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= 2878
involuntary context switches= 37
runsolver used 3.9104 second user time and 8.73067 second system time
The end