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-3481917-1307577312/watcher-3481917-1307577312 -o /tmp/evaluation-result-3481917-1307577312/solver-3481917-1307577312 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481917-1307577312.opb -seed 884438884 -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.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/8448/stat : 8448 (python) R 8446 8448 7805 0 -1 4202496 796 0 0 0 0 0 0 0 25 0 1 0 850147186 15753216 682 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510297232 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/8448/statm: 3846 682 322 364 0 333 0
[startup+0.0337129 s]
/proc/loadavg: 2.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=16816 CPUtime=0.01 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 1214 0 0 0 1 0 0 0 25 0 1 0 850147186 17219584 1072 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/8448/statm: 4204 1072 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.100729 s]
/proc/loadavg: 2.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=85620 CPUtime=0.05 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 2665 0 0 0 4 1 0 0 18 0 1 0 850147186 87674880 2382 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/8448/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.300664 s]
/proc/loadavg: 2.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=123744 CPUtime=0.17 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 5358 930 1 0 12 5 0 0 17 0 1 0 850147186 126713856 3745 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510293509 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/8448/statm: 30936 3745 987 364 0 2768 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123744
[startup+0.700621 s]
/proc/loadavg: 2.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=261408 CPUtime=0.37 cores=0,2,4,6
/proc/8448/stat : 8448 (python) D 8446 8448 7805 0 -1 4202496 8255 930 1 0 27 10 0 0 16 0 1 0 850147186 267681792 6352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510303287 0 0 16781312 2 18446744071562154983 0 0 17 6 0 0 0
/proc/8448/statm: 65352 6352 1677 364 0 5068 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 261408
[startup+1.64045 s]
/proc/loadavg: 2.49 2.06 1.32 2/637 8448
/proc/meminfo: memFree=18476604/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293076
[startup+3.10123 s]
/proc/loadavg: 2.53 2.07 1.33 3/641 8456
/proc/meminfo: memFree=18428144/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
[pid=8454] ppid=8448 vsize=282832 CPUtime=0 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 857 0 0 0 0 0 0 0 15 0 1 0 850147288 289619968 5624 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317583 0 0 16781312 33554946 3823443314976227328 0 0 17 0 0 0 0
/proc/8454/statm: 70708 5624 358 364 0 5595 0
[pid=8456] ppid=8454 vsize=30328 CPUtime=2.06 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) R 8454 8456 8456 0 -1 4202496 5648 0 0 0 191 15 0 0 18 0 1 0 850147288 31055872 5032 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8456/statm: 7582 5032 807 2317 0 5260 0
[pid=8448/tid=8455] ppid=8446 vsize=293076 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850147288 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 606236
[startup+6.32063 s]
/proc/loadavg: 2.53 2.07 1.33 3/641 8456
/proc/meminfo: memFree=18418100/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
[pid=8454] ppid=8448 vsize=282964 CPUtime=0.04 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 999 0 0 0 3 1 0 0 15 0 1 0 850147288 289755136 5659 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317583 0 0 16781312 33554946 539591833911558144 0 0 17 0 0 0 0
/proc/8454/statm: 70741 5659 384 364 0 5628 0
[pid=8456] ppid=8454 vsize=30328 CPUtime=5.27 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) R 8454 8456 8456 0 -1 4202496 5852 0 0 0 493 34 0 0 18 0 1 0 850147288 31055872 5236 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8456/statm: 7582 5236 807 2317 0 5260 0
[pid=8448/tid=8455] ppid=8446 vsize=293076 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850147288 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 606368
[startup+12.7005 s]
/proc/loadavg: 2.48 2.07 1.33 3/641 8456
/proc/meminfo: memFree=18406728/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
[pid=8454] ppid=8448 vsize=283124 CPUtime=0.11 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 1020 0 0 0 8 3 0 0 16 0 1 0 850147288 289918976 5676 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317583 0 0 16781312 33554946 4294934787 0 0 17 2 0 0 0
/proc/8454/statm: 70781 5676 384 364 0 5668 0
[pid=8456] ppid=8454 vsize=36804 CPUtime=11.66 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) R 8454 8456 8456 0 -1 4202496 7287 0 0 0 1085 81 0 0 18 0 1 0 850147288 37687296 6671 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8456/statm: 9201 6671 807 2317 0 6879 0
[pid=8448/tid=8455] ppid=8446 vsize=293076 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850147288 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 613004
[startup+25.5012 s]
/proc/loadavg: 2.51 2.10 1.35 3/641 8457
/proc/meminfo: memFree=18387704/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
[pid=8454] ppid=8448 vsize=283124 CPUtime=0.24 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 1070 0 0 0 18 6 0 0 15 0 1 0 850147288 289918976 5722 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317583 0 0 16781312 33554946 1319360167455752192 0 0 17 6 0 0 0
/proc/8454/statm: 70781 5722 384 364 0 5668 0
[pid=8456] ppid=8454 vsize=29676 CPUtime=24.46 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) R 8454 8456 8456 0 -1 4202496 10955 0 0 0 2268 178 0 0 18 0 1 0 850147288 30388224 5246 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8456/statm: 7419 5246 807 2317 0 5097 0
[pid=8448/tid=8455] ppid=8446 vsize=293076 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850147288 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 605876
[startup+51.1006 s]
/proc/loadavg: 2.34 2.09 1.37 3/641 8458
/proc/meminfo: memFree=18357008/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=293076 CPUtime=0.45 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 9622 930 1 0 34 11 0 0 18 0 2 0 850147186 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 29
/proc/8448/statm: 73269 7132 1862 364 0 8156 0
[pid=8454] ppid=8448 vsize=283468 CPUtime=0.51 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 1144 0 0 0 37 14 0 0 16 0 1 0 850147288 290271232 5786 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317583 0 0 16781312 33554946 3880885096651161600 0 0 17 2 0 0 0
/proc/8454/statm: 70867 5786 384 364 0 5754 0
[pid=8456] ppid=8454 vsize=29676 CPUtime=50.05 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) R 8454 8456 8456 0 -1 4202496 12427 0 0 0 4627 378 0 0 18 0 1 0 850147288 30388224 5246 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8456/statm: 7419 5246 807 2317 0 5097 0
[pid=8448/tid=8455] ppid=8446 vsize=293076 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 2 0 850147288 300109824 7132 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 606220
[startup+102.301 s]
/proc/loadavg: 2.19 2.09 1.41 3/649 8467
/proc/meminfo: memFree=18185436/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=313888 CPUtime=0.5 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 11377 930 1 0 39 11 0 0 20 0 4 0 850147186 321421312 7207 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 29
/proc/8448/statm: 78472 7207 1875 364 0 13353 0
[pid=8454] ppid=8448 vsize=293712 CPUtime=0.55 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 1282 0 0 0 39 16 0 0 17 0 2 0 850147288 300761088 5824 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8454/statm: 73428 5824 414 364 0 8315 0
[pid=8456] ppid=8454 vsize=29676 CPUtime=51.37 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) T 8454 8456 8456 0 -1 4202496 12427 0 0 0 4747 390 0 0 18 0 1 0 850147288 30388224 5246 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/8456/statm: 7419 5246 807 2317 0 5097 0
[pid=8454/tid=8459] ppid=8448 vsize=293712 CPUtime=0 cores=0,2,4,6
/proc/8454/task/8459/stat : 8459 (python) S 8448 8448 7805 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850152428 300761088 5824 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440956885120 0 0 -1 6 0 0 0
[pid=8460] ppid=8448 vsize=293624 CPUtime=0.21 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8448 8448 7805 0 -1 4202560 1111 0 0 0 11 10 0 0 17 0 2 0 850152431 300670976 5786 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8460/statm: 73406 5786 397 364 0 8290 0
[pid=8462] ppid=8460 vsize=112500 CPUtime=46.66 cores=0,2,4,6
/proc/8462/stat : 8462 (wbo1.4a) T 8460 8462 8462 0 -1 4202496 27905 0 0 0 4631 35 0 0 25 0 1 0 850152431 115200000 27638 33554432000 134512640 135751879 4290556816 18446744073709551615 134602965 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/8462/statm: 28125 27638 143 303 0 27820 0
[pid=8460/tid=8464] ppid=8448 vsize=293624 CPUtime=0 cores=0,2,4,6
/proc/8460/task/8464/stat : 8464 (python) S 8448 8448 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850157098 300670976 5786 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604445321156544 0 0 -1 6 0 0 0
[pid=8465] ppid=8448 vsize=303644 CPUtime=0 cores=0,2,4,6
/proc/8465/stat : 8465 (python) S 8448 8448 7805 0 -1 4202560 788 0 0 0 0 0 0 0 15 0 1 0 850157100 310931456 5677 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317638 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/8465/statm: 75911 5677 349 364 0 10792 0
[pid=8467] ppid=8465 vsize=1860 CPUtime=3.14 cores=0,2,4,6
/proc/8467/stat : 8467 (clasp-1.3.7-x86) R 8465 8467 8467 0 -1 4202496 480 0 0 0 314 0 0 0 25 0 1 0 850157101 1904640 215 33554432000 134512640 136139019 4288682064 18446744073709551615 134832207 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/8467/statm: 465 215 184 398 0 65 0
[pid=8448/tid=8455] ppid=8446 vsize=313888 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 4 0 850147288 321421312 7207 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8461] ppid=8446 vsize=313888 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8461/stat : 8461 (python) S 8446 8448 7805 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 4 0 850152431 321421312 7207 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8466] ppid=8446 vsize=313888 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8466/stat : 8466 (python) S 8446 8448 7805 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 4 0 850157101 321421312 7207 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 1348904
[startup+162.302 s]
/proc/loadavg: 2.07 2.07 1.44 3/667 8525
/proc/meminfo: memFree=19842348/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=324556 CPUtime=0.52 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 12230 930 1 0 41 11 0 0 20 0 5 0 850147186 332345344 7305 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 29
################
# More data... #
################
[pid=8476/tid=8492] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8492/stat : 8492 (java) T 8474 8476 8476 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8493] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8493/stat : 8493 (java) T 8474 8476 8476 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8497] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8497/stat : 8497 (java) T 8474 8476 8476 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850161919 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8474/tid=8527] ppid=8448 vsize=314312 CPUtime=0 cores=0,2,4,6
/proc/8474/task/8527/stat : 8527 (python) S 8448 8448 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850166437 321855488 5822 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770868544 0 0 -1 4 0 0 0
[pid=8448/tid=8455] ppid=8446 vsize=324556 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 5 0 850147288 332345344 7325 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8461] ppid=8446 vsize=324556 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8461/stat : 8461 (python) S 8446 8448 7805 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 5 0 850152431 332345344 7325 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8466] ppid=8446 vsize=324556 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8466/stat : 8466 (python) S 8446 8448 7805 0 -1 4202560 34 930 0 0 0 0 0 0 18 0 5 0 850157101 332345344 7325 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 0 0 0 0
[pid=8448/tid=8475] ppid=8446 vsize=324556 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8475/stat : 8475 (python) S 8446 8448 7805 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 5 0 850161905 332345344 7325 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 224.91
Current children cumulated vsize (KiB) 10227028
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+239.402 s]
/proc/loadavg: 2.09 2.09 1.50 4/693 8554
/proc/meminfo: memFree=19691680/32951124 swapFree=64303752/67111528
[pid=8448] ppid=8446 vsize=334976 CPUtime=0.58 cores=0,2,4,6
/proc/8448/stat : 8448 (python) S 8446 8448 7805 0 -1 4202496 13125 930 1 0 47 11 0 0 20 0 6 0 850147186 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 29
/proc/8448/statm: 83744 7352 1879 364 0 18619 0
[pid=8454] ppid=8448 vsize=293712 CPUtime=0.55 cores=0,2,4,6
/proc/8454/stat : 8454 (python) S 8448 8448 7805 0 -1 4202560 1282 0 0 0 39 16 0 0 17 0 2 0 850147288 300761088 5824 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8454/statm: 73428 5824 414 364 0 8315 0
[pid=8456] ppid=8454 vsize=29676 CPUtime=51.37 cores=0,2,4,6
/proc/8456/stat : 8456 (scip-2.0.1.linu) T 8454 8456 8456 0 -1 4202496 12427 0 0 0 4747 390 0 0 18 0 1 0 850147288 30388224 5246 33554432000 4194304 13684479 140733498254800 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/8456/statm: 7419 5246 807 2317 0 5097 0
[pid=8454/tid=8459] ppid=8448 vsize=293712 CPUtime=0 cores=0,2,4,6
/proc/8454/task/8459/stat : 8459 (python) S 8448 8448 7805 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 850152428 300761088 5824 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440956885120 0 0 -1 6 0 0 0
[pid=8460] ppid=8448 vsize=293624 CPUtime=0.21 cores=0,2,4,6
/proc/8460/stat : 8460 (python) S 8448 8448 7805 0 -1 4202560 1111 0 0 0 11 10 0 0 17 0 2 0 850152431 300670976 5786 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8460/statm: 73406 5786 397 364 0 8290 0
[pid=8462] ppid=8460 vsize=112500 CPUtime=46.66 cores=0,2,4,6
/proc/8462/stat : 8462 (wbo1.4a) T 8460 8462 8462 0 -1 4202496 27905 0 0 0 4631 35 0 0 25 0 1 0 850152431 115200000 27638 33554432000 134512640 135751879 4290556816 18446744073709551615 134602965 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/8462/statm: 28125 27638 143 303 0 27820 0
[pid=8460/tid=8464] ppid=8448 vsize=293624 CPUtime=0 cores=0,2,4,6
/proc/8460/task/8464/stat : 8464 (python) S 8448 8448 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850157098 300670976 5786 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604445321156544 0 0 -1 6 0 0 0
[pid=8465] ppid=8448 vsize=303644 CPUtime=0.43 cores=0,2,4,6
/proc/8465/stat : 8465 (python) S 8448 8448 7805 0 -1 4202560 1120 0 0 0 23 20 0 0 15 0 2 0 850157100 310931456 5726 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8465/statm: 75911 5726 397 364 0 10792 0
[pid=8467] ppid=8465 vsize=1860 CPUtime=94.23 cores=0,2,4,6
/proc/8467/stat : 8467 (clasp-1.3.7-x86) T 8465 8467 8467 0 -1 4202496 482 0 0 0 9423 0 0 0 25 0 1 0 850157101 1904640 217 33554432000 134512640 136139019 4288682064 18446744073709551615 134828798 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/8467/statm: 465 217 184 398 0 65 0
[pid=8465/tid=8473] ppid=8448 vsize=303644 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (python) S 8448 8448 7805 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 850161902 310931456 5726 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604447914281856 0 0 -1 6 0 0 0
[pid=8474] ppid=8448 vsize=314312 CPUtime=0.22 cores=0,2,4,6
/proc/8474/stat : 8474 (python) S 8448 8448 7805 0 -1 4202560 1128 0 0 0 12 10 0 0 17 0 2 0 850161905 321855488 5822 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/8474/statm: 78578 5822 397 364 0 13456 0
[pid=8476] ppid=8474 vsize=8553144 CPUtime=47.25 cores=0,2,4,6
/proc/8476/stat : 8476 (java) T 8474 8476 8476 0 -1 4202496 177717 0 1 0 4702 23 0 0 18 0 19 0 850161905 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8476/statm: 2138286 155487 2235 9 0 2129027 0
[pid=8476/tid=8477] ppid=8474 vsize=8553144 CPUtime=44.95 cores=0,2,4,6
/proc/8476/task/8477/stat : 8477 (java) T 8474 8476 8476 0 -1 4202560 126612 0 1 0 4480 15 0 0 25 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 46912505504222 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8476/tid=8478] ppid=8474 vsize=8553144 CPUtime=0.09 cores=0,2,4,6
/proc/8476/task/8478/stat : 8478 (java) T 8474 8476 8476 0 -1 4202560 4328 0 0 0 9 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8476/tid=8479] ppid=8474 vsize=8553144 CPUtime=0.07 cores=0,2,4,6
/proc/8476/task/8479/stat : 8479 (java) T 8474 8476 8476 0 -1 4202560 3209 0 0 0 7 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8480] ppid=8474 vsize=8553144 CPUtime=0.1 cores=0,2,4,6
/proc/8476/task/8480/stat : 8480 (java) T 8474 8476 8476 0 -1 4202560 5511 0 0 0 10 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8481] ppid=8474 vsize=8553144 CPUtime=0.08 cores=0,2,4,6
/proc/8476/task/8481/stat : 8481 (java) T 8474 8476 8476 0 -1 4202560 4432 0 0 0 8 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8482] ppid=8474 vsize=8553144 CPUtime=0.08 cores=0,2,4,6
/proc/8476/task/8482/stat : 8482 (java) T 8474 8476 8476 0 -1 4202560 4523 0 0 0 8 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8476/tid=8483] ppid=8474 vsize=8553144 CPUtime=0.08 cores=0,2,4,6
/proc/8476/task/8483/stat : 8483 (java) T 8474 8476 8476 0 -1 4202560 3726 0 0 0 8 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8484] ppid=8474 vsize=8553144 CPUtime=0.06 cores=0,2,4,6
/proc/8476/task/8484/stat : 8484 (java) T 8474 8476 8476 0 -1 4202560 4150 0 0 0 6 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8485] ppid=8474 vsize=8553144 CPUtime=0.08 cores=0,2,4,6
/proc/8476/task/8485/stat : 8485 (java) T 8474 8476 8476 0 -1 4202560 4701 0 0 0 8 0 0 0 15 0 19 0 850161906 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8486] ppid=8474 vsize=8553144 CPUtime=0.01 cores=0,2,4,6
/proc/8476/task/8486/stat : 8486 (java) T 8474 8476 8476 0 -1 4202560 355 0 0 0 1 0 0 0 15 0 19 0 850161908 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522114048 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8487] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8487/stat : 8487 (java) T 8474 8476 8476 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850161908 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8488] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8488/stat : 8488 (java) T 8474 8476 8476 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850161908 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8489] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8489/stat : 8489 (java) T 8474 8476 8476 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8490] ppid=8474 vsize=8553144 CPUtime=0.56 cores=0,2,4,6
/proc/8476/task/8490/stat : 8490 (java) T 8474 8476 8476 0 -1 4202560 5165 0 0 0 55 1 0 0 15 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8491] ppid=8474 vsize=8553144 CPUtime=0.98 cores=0,2,4,6
/proc/8476/task/8491/stat : 8491 (java) T 8474 8476 8476 0 -1 4202560 9614 0 0 0 97 1 0 0 15 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8492] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8492/stat : 8492 (java) T 8474 8476 8476 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8476/tid=8493] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8493/stat : 8493 (java) T 8474 8476 8476 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850161910 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8476/tid=8497] ppid=8474 vsize=8553144 CPUtime=0 cores=0,2,4,6
/proc/8476/task/8497/stat : 8497 (java) T 8474 8476 8476 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850161919 8758419456 155487 33554432000 1073741824 1073778376 140737020665232 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8474/tid=8527] ppid=8448 vsize=314312 CPUtime=0 cores=0,2,4,6
/proc/8474/task/8527/stat : 8527 (python) S 8448 8448 7805 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850166437 321855488 5822 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554946 18446604440770868544 0 0 -1 4 0 0 0
[pid=8534] ppid=8448 vsize=324732 CPUtime=0 cores=0,2,4,6
/proc/8534/stat : 8534 (python) S 8448 8448 7805 0 -1 4202560 808 0 0 0 0 0 0 0 15 0 1 0 850171065 332525568 5818 33554432000 4194304 5683644 140736547626912 18446744073709551615 233510317638 0 0 16781312 33554946 888023546880589824 0 0 17 6 0 0 0
/proc/8534/statm: 81183 5818 349 364 0 16058 0
[pid=8536] ppid=8534 vsize=8538336 CPUtime=0.96 cores=0,2,4,6
/proc/8536/stat : 8536 (java) S 8534 8536 8536 0 -1 4202496 18627 0 1 0 93 3 0 0 20 0 19 0 850171066 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8536/statm: 2134584 17199 2240 9 0 2125325 0
[pid=8536/tid=8537] ppid=8534 vsize=8538336 CPUtime=0.6 cores=0,2,4,6
/proc/8536/task/8537/stat : 8537 (java) R 8534 8536 8536 0 -1 4202560 13783 0 1 0 58 2 0 0 18 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 46912505518373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8536/tid=8538] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8538/stat : 8538 (java) S 8534 8536 8536 0 -1 4202560 111 0 0 0 0 0 0 0 17 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8539] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8539/stat : 8539 (java) S 8534 8536 8536 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 2 0 0 0
[pid=8536/tid=8540] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8540/stat : 8540 (java) S 8534 8536 8536 0 -1 4202560 32 0 0 0 0 0 0 0 19 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 0 0 0 0
[pid=8536/tid=8541] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8541/stat : 8541 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8542] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8542/stat : 8542 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8543] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8543/stat : 8543 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8544] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8544/stat : 8544 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8545] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8545/stat : 8545 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171067 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8546] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8546/stat : 8546 (java) S 8534 8536 8536 0 -1 4202560 227 0 0 0 0 0 0 0 20 0 19 0 850171068 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522114048 0 0 0 16800975 18446604449802667328 0 0 -1 0 0 0 0
[pid=8536/tid=8547] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8547/stat : 8547 (java) S 8534 8536 8536 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 850171069 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 2 0 0 0
[pid=8536/tid=8548] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8548/stat : 8548 (java) S 8534 8536 8536 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 850171069 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 2 0 0 0
[pid=8536/tid=8549] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8549/stat : 8549 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850171071 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522121137 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8550] ppid=8534 vsize=8538336 CPUtime=0.14 cores=0,2,4,6
/proc/8536/task/8550/stat : 8550 (java) S 8534 8536 8536 0 -1 4202560 1770 0 0 0 14 0 0 0 15 0 19 0 850171071 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 2 0 0 0
[pid=8536/tid=8551] ppid=8534 vsize=8538336 CPUtime=0.2 cores=0,2,4,6
/proc/8536/task/8551/stat : 8551 (java) S 8534 8536 8536 0 -1 4202560 1235 0 0 0 20 0 0 0 15 0 19 0 850171071 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 0 0 0 0
[pid=8536/tid=8552] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8552/stat : 8552 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850171071 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522113433 0 4 0 16800975 18446604449802667328 0 0 -1 6 0 0 0
[pid=8536/tid=8553] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8553/stat : 8553 (java) S 8534 8536 8536 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850171071 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522114048 0 4 0 16800975 18446604449802667328 0 0 -1 2 0 0 0
[pid=8536/tid=8554] ppid=8534 vsize=8538336 CPUtime=0 cores=0,2,4,6
/proc/8536/task/8554/stat : 8554 (java) S 8534 8536 8536 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850171080 8743256064 17199 33554432000 1073741824 1073778376 140734455570544 18446744073709551615 233522114048 0 4 0 16800975 18446604449802667328 0 0 -1 0 0 0 0
[pid=8448/tid=8455] ppid=8446 vsize=334976 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8455/stat : 8455 (python) S 8446 8448 7805 0 -1 4202560 25 930 0 0 0 0 0 0 18 0 6 0 850147288 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8461] ppid=8446 vsize=334976 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8461/stat : 8461 (python) S 8446 8448 7805 0 -1 4202560 32 930 0 0 0 0 0 0 20 0 6 0 850152431 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 6 0 0 0
[pid=8448/tid=8466] ppid=8446 vsize=334976 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8466/stat : 8466 (python) S 8446 8448 7805 0 -1 4202560 34 930 0 0 0 0 0 0 18 0 6 0 850157101 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 0 0 0 0
[pid=8448/tid=8475] ppid=8446 vsize=334976 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8475/stat : 8475 (python) S 8446 8448 7805 0 -1 4202560 33 930 0 0 0 0 0 0 20 0 6 0 850161905 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 0 0 0 0
[pid=8448/tid=8535] ppid=8446 vsize=334976 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8535/stat : 8535 (python) S 8446 8448 7805 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 6 0 850171065 343015424 7352 33554432000 4194304 5683644 140736547626912 18446744073709551615 233522121137 0 0 16781312 33554434 18446604448735703424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 242.46
Current children cumulated vsize (KiB) 19100516
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 8448 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=471928
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121981
# CPU time returned by wait4() is 0.593909
# while last known CPU time is 242.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 239.487
CPU time (s): 242.46
CPU user time (s): 237.28
CPU system time (s): 5.18
CPU usage (%): 101.242
Max. virtual memory (cumulated for all children) (KiB): 19100516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.471928
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14057
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= 2874
involuntary context switches= 18
runsolver used 1.61075 second user time and 3.40548 second system time
The end