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-3481821-1307576358/watcher-3481821-1307576358 -o /tmp/evaluation-result-3481821-1307576358/solver-3481821-1307576358 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481821-1307576358.opb -seed 1387670869 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.31 0.07 0.02 2/480 17473
/proc/meminfo: memFree=29248612/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (runsolver) D 17467 17471 17436 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 869237613 12079104 54 33554432000 4194304 5432328 140734630064256 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/17471/statm: 2949 54 34 303 0 2643 0
[startup+0.1171 s]
/proc/loadavg: 0.31 0.07 0.02 2/480 17473
/proc/meminfo: memFree=29248612/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (python) D 17467 17471 17436 0 -1 4194304 75 0 1 0 0 0 0 0 17 0 1 0 869237613 2011136 28 33554432000 4194304 5683644 140733616032816 18446744073709551615 208075310096 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 3
/proc/17471/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.201074 s]
/proc/loadavg: 0.31 0.07 0.02 2/480 17473
/proc/meminfo: memFree=29248612/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=14252 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (python) D 17467 17471 17436 0 -1 4194304 193 0 2 0 0 0 0 0 17 0 1 0 869237613 14594048 130 33554432000 4194304 5683644 140733616032816 18446744073709551615 5398816 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 8
/proc/17471/statm: 3563 130 102 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252
[startup+0.301046 s]
/proc/loadavg: 0.31 0.07 0.02 2/480 17473
/proc/meminfo: memFree=29248612/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=14384 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (python) D 17467 17471 17436 0 -1 4194304 223 0 4 0 0 0 0 0 17 0 1 0 869237613 14729216 160 33554432000 4194304 5683644 140733616032816 18446744073709551615 5103152 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 17
/proc/17471/statm: 3596 160 128 364 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384
[startup+0.700971 s]
/proc/loadavg: 0.31 0.07 0.02 2/480 17473
/proc/meminfo: memFree=29248612/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 705 0 7 0 0 0 0 0 16 0 1 0 869237613 15548416 603 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 24
/proc/17471/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50083 s]
/proc/loadavg: 0.36 0.08 0.03 1/482 17475
/proc/meminfo: memFree=29241920/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=15764 CPUtime=0 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 838 0 7 0 0 0 0 0 16 0 1 0 869237613 16142336 727 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 32
/proc/17471/statm: 3941 727 334 364 0 428 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15764
[startup+3.10051 s]
/proc/loadavg: 0.36 0.08 0.03 2/482 17476
/proc/meminfo: memFree=29236472/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=16396 CPUtime=0.02 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 1114 0 7 0 1 1 0 0 15 0 1 0 869237613 16789504 988 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080230400 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 48
/proc/17471/statm: 4099 988 413 364 0 586 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16396
heavy processes:
[startup+6.3009 s]
/proc/loadavg: 0.36 0.08 0.03 2/482 17476
/proc/meminfo: memFree=29236860/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=21128 CPUtime=0.04 cores=1,3,5,7
/proc/17471/stat : 17471 (python) D 17467 17471 17436 0 -1 4202496 1306 0 9 0 3 1 0 0 16 0 1 0 869237613 21635072 1165 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 7 0 0 64
/proc/17471/statm: 5282 1165 428 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21128
heavy processes:
[startup+12.7007 s]
/proc/loadavg: 0.46 0.11 0.04 2/482 17484
/proc/meminfo: memFree=29215332/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=123456 CPUtime=0.24 cores=1,3,5,7
/proc/17471/stat : 17471 (python) D 17467 17471 17436 0 -1 4202496 5206 918 40 10 11 13 0 0 15 0 1 0 869237613 126418944 3653 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080232192 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 103
/proc/17471/statm: 30864 3653 970 364 0 2696 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 123456
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 0.62 0.16 0.05 4/488 17490
/proc/meminfo: memFree=29058804/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=293228 CPUtime=0.66 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 9541 918 112 10 36 30 0 0 17 0 2 0 869237613 300265472 7159 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 201
/proc/17471/statm: 73307 7159 1872 364 0 8194 0
[pid=17485] ppid=17471 vsize=282984 CPUtime=0.02 cores=1,3,5,7
/proc/17485/stat : 17485 (python) S 17471 17471 17436 0 -1 4202560 989 0 0 0 1 1 0 0 15 0 1 0 869239540 289775616 5664 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080252431 0 0 16781312 33554946 2040813719977459712 0 0 17 3 0 0 0
/proc/17485/statm: 70746 5664 381 364 0 5633 0
[pid=17487] ppid=17485 vsize=36808 CPUtime=6.21 cores=1,3,5,7
/proc/17487/stat : 17487 (scip-2.0.1.linu) R 17485 17487 17487 0 -1 4202496 16096 0 0 0 561 60 0 0 20 0 1 0 869239541 37691392 6923 33554432000 4194304 13684479 140735867144448 18446744073709551615 4534056 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17487/statm: 9202 6923 824 2317 0 6880 0
[pid=17471/tid=17486] ppid=17467 vsize=293228 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17486/stat : 17486 (python) S 17467 17471 17436 0 -1 4202560 26 918 0 10 0 0 0 0 17 0 2 0 869239541 300265472 7159 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 613020
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.25 0.34 0.11 3/488 17526
/proc/meminfo: memFree=28999848/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=293228 CPUtime=0.66 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 9541 918 112 10 36 30 0 0 17 0 2 0 869237613 300265472 7159 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 201
/proc/17471/statm: 73307 7159 1872 364 0 8194 0
[pid=17485] ppid=17471 vsize=282984 CPUtime=0.19 cores=1,3,5,7
/proc/17485/stat : 17485 (python) S 17471 17471 17436 0 -1 4202560 1036 0 0 0 11 8 0 0 15 0 1 0 869239540 289775616 5683 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080252431 0 0 16781312 33554946 241741645844840448 0 0 17 7 0 0 0
/proc/17485/statm: 70746 5683 382 364 0 5633 0
[pid=17487] ppid=17485 vsize=76716 CPUtime=31.81 cores=1,3,5,7
/proc/17487/stat : 17487 (scip-2.0.1.linu) R 17485 17487 17487 0 -1 4202496 31939 0 0 0 2857 324 0 0 18 0 1 0 869239541 78557184 17196 33554432000 4194304 13684479 140735867144448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/17487/statm: 19179 17196 1006 2317 0 16857 0
[pid=17471/tid=17486] ppid=17467 vsize=293228 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17486/stat : 17486 (python) S 17467 17471 17436 0 -1 4202560 26 918 0 10 0 0 0 0 17 0 2 0 869239541 300265472 7159 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 32.66
Current children cumulated vsize (KiB) 652928
heavy processes:
[startup+102.301 s]
/proc/loadavg: 1.70 0.61 0.22 3/514 17553
/proc/meminfo: memFree=28702468/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=303944 CPUtime=0.68 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 10378 918 112 10 38 30 0 0 19 0 3 0 869237613 311238656 7285 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 201
/proc/17471/statm: 75986 7285 1875 364 0 10870 0
[pid=17485] ppid=17471 vsize=293412 CPUtime=0.32 cores=1,3,5,7
/proc/17485/stat : 17485 (python) S 17471 17471 17436 0 -1 4202560 1202 0 0 0 18 14 0 0 16 0 2 0 869239540 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17485/statm: 73353 5739 414 364 0 8240 0
[pid=17487] ppid=17485 vsize=109704 CPUtime=51.74 cores=1,3,5,7
/proc/17487/stat : 17487 (scip-2.0.1.linu) T 17485 17487 17487 0 -1 4202496 41992 0 0 0 4677 497 0 0 19 0 1 0 869239541 112336896 25153 33554432000 4194304 13684479 140735867144448 18446744073709551615 6704987 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17487/statm: 27426 25153 1006 2317 0 25104 0
[pid=17485/tid=17527] ppid=17471 vsize=293412 CPUtime=0 cores=1,3,5,7
/proc/17485/task/17527/stat : 17527 (python) S 17471 17471 17436 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869244717 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604459560578112 0 0 -1 1 0 0 0
[pid=17528] ppid=17471 vsize=293700 CPUtime=0.16 cores=1,3,5,7
/proc/17528/stat : 17528 (python) S 17471 17471 17436 0 -1 4202560 992 0 0 0 8 8 0 0 15 0 1 0 869244719 300748800 5780 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080252486 0 0 16781312 33554946 1282096528684482560 0 0 17 3 0 0 0
/proc/17528/statm: 73425 5780 374 364 0 8309 0
[pid=17530] ppid=17528 vsize=76896 CPUtime=31.21 cores=1,3,5,7
/proc/17530/stat : 17530 (scip-2.0.1.linu) R 17528 17530 17530 0 -1 4202496 33957 0 0 0 2955 166 0 0 25 0 1 0 869244721 78741504 16241 33554432000 4194304 15243407 140733926754544 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/17530/statm: 19224 16241 950 2698 0 16519 0
[pid=17471/tid=17486] ppid=17467 vsize=303944 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17486/stat : 17486 (python) S 17467 17471 17436 0 -1 4202560 26 918 0 10 0 0 0 0 17 0 3 0 869239541 311238656 7285 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
[pid=17471/tid=17529] ppid=17467 vsize=303944 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17529/stat : 17529 (python) S 17467 17471 17436 0 -1 4202560 27 918 0 10 0 0 0 0 19 0 3 0 869244719 311238656 7285 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 84.11
Current children cumulated vsize (KiB) 1077656
[startup+162.301 s]
/proc/loadavg: 1.89 0.86 0.33 3/522 17563
/proc/meminfo: memFree=28501388/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=313972 CPUtime=0.71 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 11306 918 112 10 41 30 0 0 20 0 4 0 869237613 321507328 7239 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 201
/proc/17471/statm: 78493 7239 1877 364 0 13374 0
[pid=17485] ppid=17471 vsize=293412 CPUtime=0.32 cores=1,3,5,7
/proc/17485/stat : 17485 (python) S 17471 17471 17436 0 -1 4202560 1202 0 0 0 18 14 0 0 16 0 2 0 869239540 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17485/statm: 73353 5739 414 364 0 8240 0
[pid=17487] ppid=17485 vsize=109704 CPUtime=51.74 cores=1,3,5,7
/proc/17487/stat : 17487 (scip-2.0.1.linu) T 17485 17487 17487 0 -1 4202496 41992 0 0 0 4677 497 0 0 19 0 1 0 869239541 112336896 25153 33554432000 4194304 13684479 140735867144448 18446744073709551615 6704987 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17487/statm: 27426 25153 1006 2317 0 25104 0
[pid=17485/tid=17527] ppid=17471 vsize=293412 CPUtime=0 cores=1,3,5,7
/proc/17485/task/17527/stat : 17527 (python) S 17471 17471 17436 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869244717 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604459560578112 0 0 -1 1 0 0 0
[pid=17528] ppid=17471 vsize=293700 CPUtime=0.31 cores=1,3,5,7
/proc/17528/stat : 17528 (python) S 17471 17471 17436 0 -1 4202560 1190 0 0 0 16 15 0 0 17 0 2 0 869244719 300748800 5805 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17528/statm: 73425 5805 398 364 0 8309 0
[pid=17530] ppid=17528 vsize=103508 CPUtime=51.85 cores=1,3,5,7
/proc/17530/stat : 17530 (scip-2.0.1.linu) T 17528 17530 17530 0 -1 4202496 41588 0 0 0 4893 292 0 0 25 0 1 0 869244721 105992192 23053 33554432000 4194304 15243407 140733926754544 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/17530/statm: 25877 23053 950 2698 0 23172 0
[pid=17528/tid=17555] ppid=17471 vsize=293700 CPUtime=0 cores=1,3,5,7
/proc/17528/task/17555/stat : 17555 (python) S 17471 17471 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869249908 300748800 5805 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465963255808 0 0 -1 3 0 0 0
[pid=17556] ppid=17471 vsize=303728 CPUtime=0.24 cores=1,3,5,7
/proc/17556/stat : 17556 (python) S 17471 17471 17436 0 -1 4202560 965 0 0 0 14 10 0 0 15 0 1 0 869249911 311017472 5731 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080252486 0 0 16781312 33554946 5623753486446373629 0 0 17 7 0 0 0
/proc/17556/statm: 75932 5731 373 364 0 10813 0
[pid=17558] ppid=17556 vsize=47536 CPUtime=39.28 cores=1,3,5,7
/proc/17558/stat : 17558 (wbo1.4a) R 17556 17558 17558 0 -1 4202496 17748 0 0 0 3740 188 0 0 25 0 1 0 869249911 48676864 11355 33554432000 134512640 135751879 4292370736 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/17558/statm: 11884 11355 146 303 0 11579 0
[pid=17471/tid=17486] ppid=17467 vsize=313972 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17486/stat : 17486 (python) S 17467 17471 17436 0 -1 4202560 26 918 0 10 0 0 0 0 17 0 4 0 869239541 321507328 7239 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
[pid=17471/tid=17529] ppid=17467 vsize=313972 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17529/stat : 17529 (python) S 17467 17471 17436 0 -1 4202560 27 918 0 10 0 0 0 0 19 0 4 0 869244719 321507328 7239 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
[pid=17471/tid=17557] ppid=17467 vsize=313972 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17557/stat : 17557 (python) S 17467 17471 17436 0 -1 4202560 27 918 0 10 0 0 0 0 20 0 4 0 869249911 321507328 7239 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 144.45
Current children cumulated vsize (KiB) 1465560
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+218.901 s]
/proc/loadavg: 1.95 1.05 0.42 5/579 17684
/proc/meminfo: memFree=27732288/32950928 swapFree=38525204/67111528
[pid=17471] ppid=17467 vsize=334888 CPUtime=0.76 cores=1,3,5,7
/proc/17471/stat : 17471 (python) S 17467 17471 17436 0 -1 4202496 13010 918 112 10 45 31 0 0 19 0 6 0 869237613 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 201
/proc/17471/statm: 83722 7351 1881 364 0 18597 0
[pid=17485] ppid=17471 vsize=293412 CPUtime=0.32 cores=1,3,5,7
/proc/17485/stat : 17485 (python) S 17471 17471 17436 0 -1 4202560 1202 0 0 0 18 14 0 0 16 0 2 0 869239540 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/17485/statm: 73353 5739 414 364 0 8240 0
[pid=17487] ppid=17485 vsize=109704 CPUtime=51.74 cores=1,3,5,7
/proc/17487/stat : 17487 (scip-2.0.1.linu) T 17485 17487 17487 0 -1 4202496 41992 0 0 0 4677 497 0 0 19 0 1 0 869239541 112336896 25153 33554432000 4194304 13684479 140735867144448 18446744073709551615 6704987 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/17487/statm: 27426 25153 1006 2317 0 25104 0
[pid=17485/tid=17527] ppid=17471 vsize=293412 CPUtime=0 cores=1,3,5,7
/proc/17485/task/17527/stat : 17527 (python) S 17471 17471 17436 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869244717 300453888 5739 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604459560578112 0 0 -1 1 0 0 0
[pid=17528] ppid=17471 vsize=293700 CPUtime=0.31 cores=1,3,5,7
/proc/17528/stat : 17528 (python) S 17471 17471 17436 0 -1 4202560 1190 0 0 0 16 15 0 0 17 0 2 0 869244719 300748800 5805 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/17528/statm: 73425 5805 398 364 0 8309 0
[pid=17530] ppid=17528 vsize=103508 CPUtime=51.85 cores=1,3,5,7
/proc/17530/stat : 17530 (scip-2.0.1.linu) T 17528 17530 17530 0 -1 4202496 41588 0 0 0 4893 292 0 0 25 0 1 0 869244721 105992192 23053 33554432000 4194304 15243407 140733926754544 18446744073709551615 13354455 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/17530/statm: 25877 23053 950 2698 0 23172 0
[pid=17528/tid=17555] ppid=17471 vsize=293700 CPUtime=0 cores=1,3,5,7
/proc/17528/task/17555/stat : 17555 (python) S 17471 17471 17436 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869249908 300748800 5805 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604465963255808 0 0 -1 3 0 0 0
[pid=17556] ppid=17471 vsize=303728 CPUtime=0.3 cores=1,3,5,7
/proc/17556/stat : 17556 (python) S 17471 17471 17436 0 -1 4202560 1130 0 0 0 16 14 0 0 17 0 2 0 869249911 311017472 5756 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17556/statm: 75932 5756 397 364 0 10813 0
[pid=17558] ppid=17556 vsize=56332 CPUtime=49.55 cores=1,3,5,7
/proc/17558/stat : 17558 (wbo1.4a) T 17556 17558 17558 0 -1 4202496 21147 0 0 0 4745 210 0 0 25 0 1 0 869249911 57683968 13564 33554432000 134512640 135751879 4292370736 18446744073709551615 134517424 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/17558/statm: 14083 13564 146 303 0 13778 0
[pid=17556/tid=17564] ppid=17471 vsize=303728 CPUtime=0 cores=1,3,5,7
/proc/17556/task/17564/stat : 17564 (python) S 17471 17471 17436 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 869254871 311017472 5756 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604469655328000 0 0 -1 7 0 0 0
[pid=17565] ppid=17471 vsize=314388 CPUtime=0.21 cores=1,3,5,7
/proc/17565/stat : 17565 (python) S 17471 17471 17436 0 -1 4202560 1159 0 0 0 11 10 0 0 17 0 2 0 869254873 321933312 5840 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092059083 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/17565/statm: 78597 5840 397 364 0 13475 0
[pid=17567] ppid=17565 vsize=8549896 CPUtime=48.11 cores=1,3,5,7
/proc/17567/stat : 17567 (java) T 17565 17567 17567 0 -1 4202496 169717 0 1 0 4789 22 0 0 15 0 19 0 869254874 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17567/statm: 2137474 126546 2238 9 0 2128215 0
[pid=17567/tid=17568] ppid=17565 vsize=8549896 CPUtime=45.28 cores=1,3,5,7
/proc/17567/task/17568/stat : 17568 (java) T 17565 17567 17567 0 -1 4202560 128443 0 1 0 4512 16 0 0 25 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 46912505588480 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 4
[pid=17567/tid=17569] ppid=17565 vsize=8549896 CPUtime=0.1 cores=1,3,5,7
/proc/17567/task/17569/stat : 17569 (java) T 17565 17567 17567 0 -1 4202560 3906 0 0 0 10 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17567/tid=17570] ppid=17565 vsize=8549896 CPUtime=0.06 cores=1,3,5,7
/proc/17567/task/17570/stat : 17570 (java) T 17565 17567 17567 0 -1 4202560 2572 0 0 0 6 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17567/tid=17571] ppid=17565 vsize=8549896 CPUtime=0.1 cores=1,3,5,7
/proc/17567/task/17571/stat : 17571 (java) T 17565 17567 17567 0 -1 4202560 2539 0 0 0 10 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17567/tid=17572] ppid=17565 vsize=8549896 CPUtime=0.11 cores=1,3,5,7
/proc/17567/task/17572/stat : 17572 (java) T 17565 17567 17567 0 -1 4202560 3927 0 0 0 11 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17567/tid=17573] ppid=17565 vsize=8549896 CPUtime=0.08 cores=1,3,5,7
/proc/17567/task/17573/stat : 17573 (java) T 17565 17567 17567 0 -1 4202560 1557 0 0 0 8 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17567/tid=17574] ppid=17565 vsize=8549896 CPUtime=0.11 cores=1,3,5,7
/proc/17567/task/17574/stat : 17574 (java) T 17565 17567 17567 0 -1 4202560 3943 0 0 0 11 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17567/tid=17575] ppid=17565 vsize=8549896 CPUtime=0.1 cores=1,3,5,7
/proc/17567/task/17575/stat : 17575 (java) T 17565 17567 17567 0 -1 4202560 3465 0 0 0 10 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17567/tid=17576] ppid=17565 vsize=8549896 CPUtime=0.09 cores=1,3,5,7
/proc/17567/task/17576/stat : 17576 (java) T 17565 17567 17567 0 -1 4202560 3310 0 0 0 9 0 0 0 15 0 19 0 869254875 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17567/tid=17577] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17577/stat : 17577 (java) T 17565 17567 17567 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 869254876 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048896 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17567/tid=17578] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17578/stat : 17578 (java) T 17565 17567 17567 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869254877 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17567/tid=17579] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17579/stat : 17579 (java) T 17565 17567 17567 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869254877 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17567/tid=17580] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17580/stat : 17580 (java) T 17565 17567 17567 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869254879 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092055985 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17567/tid=17581] ppid=17565 vsize=8549896 CPUtime=0.88 cores=1,3,5,7
/proc/17567/task/17581/stat : 17581 (java) T 17565 17567 17567 0 -1 4202560 8800 0 0 0 88 0 0 0 15 0 19 0 869254879 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=17567/tid=17582] ppid=17565 vsize=8549896 CPUtime=1.06 cores=1,3,5,7
/proc/17567/task/17582/stat : 17582 (java) T 17565 17567 17567 0 -1 4202560 5677 0 0 0 106 0 0 0 15 0 19 0 869254879 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=17567/tid=17583] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17583/stat : 17583 (java) T 17565 17567 17567 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869254879 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048281 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17567/tid=17584] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17584/stat : 17584 (java) T 17565 17567 17567 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869254879 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=17567/tid=17585] ppid=17565 vsize=8549896 CPUtime=0 cores=1,3,5,7
/proc/17567/task/17585/stat : 17585 (java) T 17565 17567 17567 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869254896 8755093504 126546 33554432000 1073741824 1073778376 140733466990416 18446744073709551615 208092048896 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=17565/tid=17663] ppid=17471 vsize=314388 CPUtime=0 cores=1,3,5,7
/proc/17565/task/17663/stat : 17663 (python) S 17471 17471 17436 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 869259440 321933312 5840 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554946 18446604470997049408 0 0 -1 7 0 0 0
[pid=17664] ppid=17471 vsize=324644 CPUtime=0 cores=1,3,5,7
/proc/17664/stat : 17664 (python) S 17471 17471 17436 0 -1 4202560 821 0 0 0 0 0 0 0 17 0 1 0 869259442 332435456 5815 33554432000 4194304 5683644 140733616032816 18446744073709551615 208080252486 0 0 16781312 33554946 1990094335214878720 0 0 17 3 0 0 0
/proc/17664/statm: 81161 5815 349 364 0 16036 0
[pid=17666] ppid=17664 vsize=8538848 CPUtime=1.08 cores=1,3,5,7
/proc/17666/stat : 17666 (java) S 17664 17666 17666 0 -1 4202496 21995 0 1 0 105 3 0 0 19 0 19 0 869259443 8743780352 19628 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/17666/statm: 2134712 19629 2209 9 0 2125453 0
[pid=17666/tid=17667] ppid=17664 vsize=8538848 CPUtime=0.61 cores=1,3,5,7
/proc/17666/task/17667/stat : 17667 (java) R 17664 17666 17666 0 -1 4202560 15984 0 1 0 59 2 0 0 25 0 19 0 869259443 8743780352 19744 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 46912505547975 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17666/tid=17668] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17668/stat : 17668 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869259444 8743780352 19744 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17669] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17669/stat : 17669 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869259444 8743780352 19746 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17670] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17670/stat : 17670 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869259444 8743780352 19746 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17671] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17671/stat : 17671 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869259444 8743780352 19747 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17672] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17672/stat : 17672 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869259444 8743780352 19748 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17673] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17673/stat : 17673 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869259444 8743780352 19749 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17674] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17674/stat : 17674 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869259444 8743780352 19750 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17675] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17675/stat : 17675 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869259444 8743780352 19751 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17676] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17676/stat : 17676 (java) S 17664 17666 17666 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869259445 8743780352 19751 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048896 0 0 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17666/tid=17677] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17677/stat : 17677 (java) S 17664 17666 17666 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869259445 8743780352 19752 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17678] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17678/stat : 17678 (java) S 17664 17666 17666 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869259446 8743780352 19753 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17679] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17679/stat : 17679 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869259448 8743780352 19753 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092055985 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17680] ppid=17664 vsize=8538848 CPUtime=0.23 cores=1,3,5,7
/proc/17666/task/17680/stat : 17680 (java) S 17664 17666 17666 0 -1 4202560 2363 0 0 0 23 0 0 0 25 0 19 0 869259448 8743780352 19753 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 3 0 0 0
[pid=17666/tid=17681] ppid=17664 vsize=8538848 CPUtime=0.21 cores=1,3,5,7
/proc/17666/task/17681/stat : 17681 (java) S 17664 17666 17666 0 -1 4202560 2367 0 0 0 21 0 0 0 25 0 19 0 869259448 8743780352 19755 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17682] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17682/stat : 17682 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869259448 8743780352 19755 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048281 0 4 0 16800975 18446604460656409472 0 0 -1 7 0 0 0
[pid=17666/tid=17683] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17683/stat : 17683 (java) S 17664 17666 17666 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869259448 8743780352 19755 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048896 0 4 0 16800975 18446604460656409472 0 0 -1 3 0 0 0
[pid=17666/tid=17684] ppid=17664 vsize=8538848 CPUtime=0 cores=1,3,5,7
/proc/17666/task/17684/stat : 17684 (java) S 17664 17666 17666 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869259460 8743780352 19757 33554432000 1073741824 1073778376 140734416852656 18446744073709551615 208092048896 0 4 0 16800975 18446604460656409472 0 0 -1 1 0 0 0
[pid=17471/tid=17486] ppid=17467 vsize=334888 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17486/stat : 17486 (python) S 17467 17471 17436 0 -1 4202560 26 918 0 10 0 0 0 0 17 0 6 0 869239541 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
[pid=17471/tid=17529] ppid=17467 vsize=334888 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17529/stat : 17529 (python) S 17467 17471 17436 0 -1 4202560 27 918 0 10 0 0 0 0 19 0 6 0 869244719 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 7 0 0 0
[pid=17471/tid=17557] ppid=17467 vsize=334888 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17557/stat : 17557 (python) S 17467 17471 17436 0 -1 4202560 27 918 0 10 0 0 0 0 20 0 6 0 869249911 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 1 0 0 0
[pid=17471/tid=17566] ppid=17467 vsize=334888 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17566/stat : 17566 (python) S 17467 17471 17436 0 -1 4202560 30 918 0 10 0 0 0 0 20 0 6 0 869254874 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 3 0 0 0
[pid=17471/tid=17665] ppid=17467 vsize=334888 CPUtime=0 cores=1,3,5,7
/proc/17471/task/17665/stat : 17665 (python) S 17467 17471 17436 0 -1 4202560 30 918 0 10 0 0 0 0 20 0 6 0 869259443 342925312 7351 33554432000 4194304 5683644 140733616032816 18446744073709551615 208092055985 0 0 16781312 33554434 18446604468767897792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.23
Current children cumulated vsize (KiB) 19223048
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 17471 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=459930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=320951
# CPU time returned by wait4() is 0.780881
# while last known CPU time is 204.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 218.982
CPU time (s): 204.23
CPU user time (s): 193.15
CPU system time (s): 11.08
CPU usage (%): 93.2633
Max. virtual memory (cumulated for all children) (KiB): 19223048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45993
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13930
page faults= 122
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21997
involuntary context switches= 82
runsolver used 1.26581 second user time and 2.84757 second system time
The end