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-3481838-1307576354/watcher-3481838-1307576354 -o /tmp/evaluation-result-3481838-1307576354/solver-3481838-1307576354 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481838-1307576354.opb -seed 1525658409 -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: 0.00 0.00 0.00 2/550 23135
/proc/meminfo: memFree=25227480/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/23135/stat : 23135 (runsolver) S 23133 23135 23102 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 869232957 12079104 53 33554432000 4194304 5432328 140734668683120 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 4 0 0 0
/proc/23135/statm: 2949 53 34 303 0 2643 0
[startup+0.0752659 s]
/proc/loadavg: 0.00 0.00 0.00 2/550 23135
/proc/meminfo: memFree=25227480/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 505 0 6 0 0 0 0 0 22 0 1 0 869232957 15175680 418 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476690789 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 3
/proc/23135/statm: 3705 418 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.101256 s]
/proc/loadavg: 0.00 0.00 0.00 2/550 23135
/proc/meminfo: memFree=25227480/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/23135/stat : 23135 (python) R 23133 23135 23102 0 -1 4202496 694 0 6 0 0 0 0 0 22 0 1 0 869232957 15548416 592 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476388845 0 0 16781312 2 0 0 0 17 4 0 0 4
/proc/23135/statm: 3796 594 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+0.300224 s]
/proc/loadavg: 0.00 0.00 0.00 2/550 23135
/proc/meminfo: memFree=25227480/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=15752 CPUtime=0 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 833 0 6 0 0 0 0 0 20 0 1 0 869232957 16130048 722 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476690789 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 8
/proc/23135/statm: 3938 722 334 364 0 425 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15752
[startup+0.701197 s]
/proc/loadavg: 0.00 0.00 0.00 2/550 23135
/proc/meminfo: memFree=25227480/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=15904 CPUtime=0.01 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 952 0 6 0 0 1 0 0 16 0 1 0 869232957 16285696 833 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 14
/proc/23135/statm: 3976 833 357 364 0 463 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15904
[startup+1.50105 s]
/proc/loadavg: 0.00 0.00 0.00 1/555 23141
/proc/meminfo: memFree=25192744/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=18884 CPUtime=0.04 cores=0,2,4,6
/proc/23135/stat : 23135 (python) D 23133 23135 23102 0 -1 4202496 1231 0 7 0 2 2 0 0 16 0 1 0 869232957 19337216 1093 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476692992 0 0 16781312 2 0 0 0 17 4 0 0 19
/proc/23135/statm: 4721 1093 421 364 0 690 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18884
[startup+3.10072 s]
/proc/loadavg: 0.16 0.03 0.01 1/555 23141
/proc/meminfo: memFree=25192020/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=29788 CPUtime=0.08 cores=0,2,4,6
/proc/23135/stat : 23135 (python) D 23133 23135 23102 0 -1 4202496 1450 0 11 0 5 3 0 0 15 0 1 0 869232957 30502912 1300 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476694784 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 49
/proc/23135/statm: 7447 1300 443 364 0 817 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29788
heavy processes:
[startup+6.30108 s]
/proc/loadavg: 0.16 0.03 0.01 1/555 23141
/proc/meminfo: memFree=25188508/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=36832 CPUtime=0.09 cores=0,2,4,6
/proc/23135/stat : 23135 (python) D 23133 23135 23102 0 -1 4202496 1610 0 13 0 6 3 0 0 15 0 1 0 869232957 37715968 1452 33554432000 4194304 5683644 140737039352208 18446744073709551615 239471771367 0 0 16781312 2 18446744071562234166 0 0 17 6 0 0 102
/proc/23135/statm: 9208 1452 452 364 0 1025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36832
heavy processes:
[startup+12.7009 s]
/proc/loadavg: 0.21 0.05 0.02 1/555 23149
/proc/meminfo: memFree=25176156/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=98184 CPUtime=0.19 cores=0,2,4,6
/proc/23135/stat : 23135 (python) D 23133 23135 23102 0 -1 4202496 3283 919 25 9 14 5 0 0 16 0 1 0 869232957 100540416 2486 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476692992 0 0 16781312 2 0 0 0 17 2 0 0 199
/proc/23135/statm: 24546 2486 794 364 0 1626 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 98184
heavy processes:
[startup+25.5004 s]
/proc/loadavg: 0.34 0.08 0.02 1/555 23149
/proc/meminfo: memFree=25170620/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=111976 CPUtime=0.24 cores=0,2,4,6
/proc/23135/stat : 23135 (python) D 23133 23135 23102 0 -1 4202496 4649 919 34 9 17 7 0 0 16 0 1 0 869232957 114663424 3131 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476694784 0 0 16781312 2 18446744071562234166 0 0 17 2 0 0 481
/proc/23135/statm: 27994 3131 901 364 0 2173 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 111976
heavy processes:
[startup+51.1005 s]
/proc/loadavg: 0.84 0.22 0.07 3/561 23156
/proc/meminfo: memFree=24836676/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=293240 CPUtime=0.71 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 9556 919 116 9 50 21 0 0 16 0 2 0 869232957 300277760 7175 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 636
/proc/23135/statm: 73310 7175 1870 364 0 8197 0
[pid=23151] ppid=23135 vsize=282996 CPUtime=0.06 cores=0,2,4,6
/proc/23151/stat : 23151 (python) S 23135 23135 23102 0 -1 4202560 907 0 0 0 2 4 0 0 15 0 1 0 869236571 289787904 5677 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476715023 0 0 16781312 33554946 2353029667411197952 0 0 17 6 0 0 0
/proc/23151/statm: 70749 5677 376 364 0 5636 0
[pid=23153] ppid=23151 vsize=38524 CPUtime=14.93 cores=0,2,4,6
/proc/23153/stat : 23153 (scip-2.0.1.linu) R 23151 23153 23153 0 -1 4202496 10413 0 0 0 1437 56 0 0 18 0 1 0 869236572 39448576 6938 33554432000 4194304 13684479 140734359421616 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23153/statm: 9631 6938 810 2317 0 7309 0
[pid=23135/tid=23152] ppid=23133 vsize=293240 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23152/stat : 23152 (python) S 23133 23135 23102 0 -1 4202560 26 919 0 9 0 0 0 0 17 0 2 0 869236571 300277760 7175 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.7
Current children cumulated vsize (KiB) 614760
heavy processes:
[startup+102.321 s]
/proc/loadavg: 1.68 0.57 0.20 3/565 23197
/proc/meminfo: memFree=24945552/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=304024 CPUtime=0.74 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 10414 919 116 9 53 21 0 0 19 0 3 0 869232957 311320576 7304 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 636
/proc/23135/statm: 76006 7304 1873 364 0 10890 0
[pid=23151] ppid=23135 vsize=293372 CPUtime=0.27 cores=0,2,4,6
/proc/23151/stat : 23151 (python) S 23135 23135 23102 0 -1 4202560 1115 0 0 0 13 14 0 0 16 0 2 0 869236571 300412928 5730 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23151/statm: 73343 5730 417 364 0 8230 0
[pid=23153] ppid=23151 vsize=44988 CPUtime=48.14 cores=0,2,4,6
/proc/23153/stat : 23153 (scip-2.0.1.linu) T 23151 23153 23153 0 -1 4202496 12454 0 0 0 4643 171 0 0 18 0 1 0 869236572 46067712 8968 33554432000 4194304 13684479 140734359421616 18446744073709551615 7430616 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23153/statm: 11247 8968 815 2317 0 8925 0
[pid=23151/tid=23193] ppid=23135 vsize=293372 CPUtime=0 cores=0,2,4,6
/proc/23151/task/23193/stat : 23193 (python) S 23135 23135 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869241388 300412928 5730 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604441514743808 0 0 -1 6 0 0 0
[pid=23194] ppid=23135 vsize=293780 CPUtime=0.09 cores=0,2,4,6
/proc/23194/stat : 23194 (python) S 23135 23135 23102 0 -1 4202560 956 0 0 0 5 4 0 0 15 0 1 0 869241391 300830720 5800 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476715078 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/23194/statm: 73445 5800 373 364 0 8329 0
[pid=23196] ppid=23194 vsize=22560 CPUtime=17.94 cores=0,2,4,6
/proc/23196/stat : 23196 (wbo1.4a) R 23194 23196 23196 0 -1 4202496 6398 0 0 0 1765 29 0 0 25 0 1 0 869241393 23101440 5161 33554432000 134512640 135751879 4287578816 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23196/statm: 5640 5161 146 303 0 5335 0
[pid=23135/tid=23152] ppid=23133 vsize=304024 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23152/stat : 23152 (python) S 23133 23135 23102 0 -1 4202560 26 919 0 9 0 0 0 0 17 0 3 0 869236571 311320576 7304 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 6 0 0 0
[pid=23135/tid=23195] ppid=23133 vsize=304024 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23195/stat : 23195 (python) S 23133 23135 23102 0 -1 4202560 31 919 0 9 0 0 0 0 19 0 3 0 869241391 311320576 7304 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 67.18
Current children cumulated vsize (KiB) 958724
heavy processes:
[startup+162.301 s]
/proc/loadavg: 2.02 0.86 0.32 3/595 23228
/proc/meminfo: memFree=24578612/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=313952 CPUtime=0.76 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 11313 919 116 9 55 21 0 0 20 0 4 0 869232957 321486848 7228 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 636
/proc/23135/statm: 78488 7228 1875 364 0 13369 0
[pid=23151] ppid=23135 vsize=293372 CPUtime=0.27 cores=0,2,4,6
/proc/23151/stat : 23151 (python) S 23135 23135 23102 0 -1 4202560 1115 0 0 0 13 14 0 0 16 0 2 0 869236571 300412928 5730 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23151/statm: 73343 5730 417 364 0 8230 0
[pid=23153] ppid=23151 vsize=44988 CPUtime=48.14 cores=0,2,4,6
/proc/23153/stat : 23153 (scip-2.0.1.linu) T 23151 23153 23153 0 -1 4202496 12454 0 0 0 4643 171 0 0 18 0 1 0 869236572 46067712 8968 33554432000 4194304 13684479 140734359421616 18446744073709551615 7430616 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23153/statm: 11247 8968 815 2317 0 8925 0
[pid=23151/tid=23193] ppid=23135 vsize=293372 CPUtime=0 cores=0,2,4,6
/proc/23151/task/23193/stat : 23193 (python) S 23135 23135 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869241388 300412928 5730 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604441514743808 0 0 -1 6 0 0 0
[pid=23194] ppid=23135 vsize=293780 CPUtime=0.28 cores=0,2,4,6
/proc/23194/stat : 23194 (python) S 23135 23135 23102 0 -1 4202560 1130 0 0 0 13 15 0 0 16 0 2 0 869241391 300830720 5825 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23194/statm: 73445 5825 397 364 0 8329 0
[pid=23196] ppid=23194 vsize=39460 CPUtime=48.38 cores=0,2,4,6
/proc/23196/stat : 23196 (wbo1.4a) T 23194 23196 23196 0 -1 4202496 13125 0 0 0 4778 60 0 0 25 0 1 0 869241393 40407040 9373 33554432000 134512640 135751879 4287578816 18446744073709551615 134616309 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23196/statm: 9865 9373 146 303 0 9560 0
[pid=23194/tid=23220] ppid=23135 vsize=293780 CPUtime=0 cores=0,2,4,6
/proc/23194/task/23220/stat : 23220 (python) S 23135 23135 23102 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869246234 300830720 5825 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604444872138880 0 0 -1 2 0 0 0
[pid=23221] ppid=23135 vsize=303708 CPUtime=0.18 cores=0,2,4,6
/proc/23221/stat : 23221 (python) S 23135 23135 23102 0 -1 4202560 957 0 0 0 10 8 0 0 15 0 1 0 869246237 310996992 5722 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476715078 0 0 16781312 33554946 2678011546138836992 0 0 17 6 0 0 0
/proc/23221/statm: 75927 5722 373 364 0 10808 0
[pid=23223] ppid=23221 vsize=40936 CPUtime=29.45 cores=0,2,4,6
/proc/23223/stat : 23223 (scip-2.0.1.linu) R 23221 23223 23223 0 -1 4202496 18686 0 0 0 2887 58 0 0 20 0 1 0 869246237 41918464 7530 33554432000 4194304 15243407 140734182503968 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23223/statm: 10234 7530 935 2698 0 7529 0
[pid=23135/tid=23152] ppid=23133 vsize=313952 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23152/stat : 23152 (python) S 23133 23135 23102 0 -1 4202560 26 919 0 9 0 0 0 0 17 0 4 0 869236571 321486848 7228 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 6 0 0 0
[pid=23135/tid=23195] ppid=23133 vsize=313952 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23195/stat : 23195 (python) S 23133 23135 23102 0 -1 4202560 31 919 0 9 0 0 0 0 19 0 4 0 869241391 321486848 7228 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23222] ppid=23133 vsize=313952 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23222/stat : 23222 (python) S 23133 23135 23102 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 4 0 869246237 321486848 7228 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 127.46
Current children cumulated vsize (KiB) 1330196
heavy processes:
[startup+222.302 s]
/proc/loadavg: 2.28 1.15 0.45 3/630 23329
/proc/meminfo: memFree=22610128/32950928 swapFree=67056572/67111528
################
# More data... #
################
[pid=23135/tid=23195] ppid=23133 vsize=334568 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23195/stat : 23195 (python) S 23133 23135 23102 0 -1 4202560 38 919 0 9 0 0 0 0 18 0 6 0 869241391 342597632 7282 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23222] ppid=23133 vsize=334568 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23222/stat : 23222 (python) S 23133 23135 23102 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 6 0 869246237 342597632 7282 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23232] ppid=23133 vsize=334568 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23232/stat : 23232 (python) S 23133 23135 23102 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 6 0 869251080 342597632 7282 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23332] ppid=23133 vsize=334568 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23332/stat : 23332 (python) S 23133 23135 23102 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 6 0 869255819 342597632 7282 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 551.74
Current children cumulated vsize (KiB) 10730216
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+606.002 s]
/proc/loadavg: 2.33 1.89 1.01 5/686 23522
/proc/meminfo: memFree=21447720/32950928 swapFree=67056572/67111528
[pid=23135] ppid=23133 vsize=345328 CPUtime=0.95 cores=0,2,4,6
/proc/23135/stat : 23135 (python) S 23133 23135 23102 0 -1 4202496 14204 919 116 9 73 22 0 0 20 0 7 0 869232957 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 636
/proc/23135/statm: 86332 7382 1881 364 0 21204 0
[pid=23151] ppid=23135 vsize=293504 CPUtime=0.58 cores=0,2,4,6
/proc/23151/stat : 23151 (python) S 23135 23135 23102 0 -1 4202560 1177 0 0 0 28 30 0 0 16 0 2 0 869236571 300548096 5766 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/23151/statm: 73376 5766 419 364 0 8263 0
[pid=23153] ppid=23151 vsize=58648 CPUtime=97.04 cores=0,2,4,6
/proc/23153/stat : 23153 (scip-2.0.1.linu) T 23151 23153 23153 0 -1 4202496 17245 0 0 0 9346 358 0 0 18 0 1 0 869236572 60055552 12202 33554432000 4194304 13684479 140734359421616 18446744073709551615 7431877 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23153/statm: 14662 12202 815 2317 0 12340 0
[pid=23151/tid=23193] ppid=23135 vsize=293504 CPUtime=0 cores=0,2,4,6
/proc/23151/task/23193/stat : 23193 (python) S 23135 23135 23102 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869241388 300548096 5766 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604441514743808 0 0 -1 6 0 0 0
[pid=23194] ppid=23135 vsize=293780 CPUtime=0.54 cores=0,2,4,6
/proc/23194/stat : 23194 (python) S 23135 23135 23102 0 -1 4202560 1157 0 0 0 26 28 0 0 15 0 2 0 869241391 300830720 5825 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23194/statm: 73445 5825 397 364 0 8329 0
[pid=23196] ppid=23194 vsize=70080 CPUtime=94.27 cores=0,2,4,6
/proc/23196/stat : 23196 (wbo1.4a) T 23194 23196 23196 0 -1 4202496 22480 0 0 0 9339 88 0 0 25 0 1 0 869241393 71761920 16942 33554432000 134512640 135751879 4287578816 18446744073709551615 134610803 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23196/statm: 17520 16942 146 303 0 17215 0
[pid=23194/tid=23220] ppid=23135 vsize=293780 CPUtime=0 cores=0,2,4,6
/proc/23194/task/23220/stat : 23220 (python) S 23135 23135 23102 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 869246234 300830720 5825 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604444872138880 0 0 -1 2 0 0 0
[pid=23221] ppid=23135 vsize=303708 CPUtime=0.59 cores=0,2,4,6
/proc/23221/stat : 23221 (python) S 23135 23135 23102 0 -1 4202560 1197 0 0 0 30 29 0 0 16 0 2 0 869246237 310996992 5755 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23221/statm: 75927 5755 398 364 0 10808 0
[pid=23223] ppid=23221 vsize=57960 CPUtime=93.39 cores=0,2,4,6
/proc/23223/stat : 23223 (scip-2.0.1.linu) T 23221 23223 23223 0 -1 4202496 39380 0 0 0 9141 198 0 0 18 0 1 0 869246237 59351040 11657 33554432000 4194304 15243407 140734182503968 18446744073709551615 8108607 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23223/statm: 14490 11657 935 2698 0 11785 0
[pid=23221/tid=23230] ppid=23135 vsize=303708 CPUtime=0 cores=0,2,4,6
/proc/23221/task/23230/stat : 23230 (python) S 23135 23135 23102 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869251077 310996992 5755 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604451782031552 0 0 -1 6 0 0 0
[pid=23231] ppid=23135 vsize=380004 CPUtime=0.25 cores=0,2,4,6
/proc/23231/stat : 23231 (python) S 23135 23135 23102 0 -1 4202560 1125 0 0 0 13 12 0 0 16 0 2 0 869251080 389124096 5863 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/23231/statm: 95001 5863 397 364 0 29879 0
[pid=23233] ppid=23231 vsize=8544108 CPUtime=49.55 cores=0,2,4,6
/proc/23233/stat : 23233 (java) T 23231 23233 23233 0 -1 4202496 240483 0 1 0 4922 33 0 0 18 0 19 0 869251080 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/23233/statm: 2136027 209274 2253 9 0 2126768 0
[pid=23233/tid=23234] ppid=23231 vsize=8544108 CPUtime=46.86 cores=0,2,4,6
/proc/23233/task/23234/stat : 23234 (java) T 23231 23233 23233 0 -1 4202560 201015 0 1 0 4662 24 0 0 25 0 19 0 869251081 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 46912505610992 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 4
[pid=23233/tid=23235] ppid=23231 vsize=8544108 CPUtime=0.1 cores=0,2,4,6
/proc/23233/task/23235/stat : 23235 (java) T 23231 23233 23233 0 -1 4202560 3926 0 0 0 10 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23233/tid=23236] ppid=23231 vsize=8544108 CPUtime=0.09 cores=0,2,4,6
/proc/23233/task/23236/stat : 23236 (java) T 23231 23233 23233 0 -1 4202560 2374 0 0 0 9 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23233/tid=23237] ppid=23231 vsize=8544108 CPUtime=0.06 cores=0,2,4,6
/proc/23233/task/23237/stat : 23237 (java) T 23231 23233 23233 0 -1 4202560 2595 0 0 0 6 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23233/tid=23238] ppid=23231 vsize=8544108 CPUtime=0.07 cores=0,2,4,6
/proc/23233/task/23238/stat : 23238 (java) T 23231 23233 23233 0 -1 4202560 2121 0 0 0 7 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23233/tid=23239] ppid=23231 vsize=8544108 CPUtime=0.07 cores=0,2,4,6
/proc/23233/task/23239/stat : 23239 (java) T 23231 23233 23233 0 -1 4202560 1592 0 0 0 7 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23240] ppid=23231 vsize=8544108 CPUtime=0.09 cores=0,2,4,6
/proc/23233/task/23240/stat : 23240 (java) T 23231 23233 23233 0 -1 4202560 3764 0 0 0 9 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23233/tid=23241] ppid=23231 vsize=8544108 CPUtime=0.08 cores=0,2,4,6
/proc/23233/task/23241/stat : 23241 (java) T 23231 23233 23233 0 -1 4202560 3512 0 0 0 8 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23233/tid=23242] ppid=23231 vsize=8544108 CPUtime=0.09 cores=0,2,4,6
/proc/23233/task/23242/stat : 23242 (java) T 23231 23233 23233 0 -1 4202560 3732 0 0 0 9 0 0 0 15 0 19 0 869251082 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23233/tid=23243] ppid=23231 vsize=8544108 CPUtime=0.08 cores=0,2,4,6
/proc/23233/task/23243/stat : 23243 (java) T 23231 23233 23233 0 -1 4202560 470 0 0 0 7 1 0 0 15 0 19 0 869251083 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23244] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23244/stat : 23244 (java) T 23231 23233 23233 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869251083 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23245] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23245/stat : 23245 (java) T 23231 23233 23233 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869251083 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23246] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23246/stat : 23246 (java) T 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251085 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23247] ppid=23231 vsize=8544108 CPUtime=0.89 cores=0,2,4,6
/proc/23233/task/23247/stat : 23247 (java) T 23231 23233 23233 0 -1 4202560 5083 0 0 0 89 0 0 0 15 0 19 0 869251085 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=23233/tid=23248] ppid=23231 vsize=8544108 CPUtime=0.93 cores=0,2,4,6
/proc/23233/task/23248/stat : 23248 (java) T 23231 23233 23233 0 -1 4202560 8908 0 0 0 91 2 0 0 15 0 19 0 869251085 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23233/tid=23249] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23249/stat : 23249 (java) T 23231 23233 23233 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869251085 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23233/tid=23250] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23250/stat : 23250 (java) T 23231 23233 23233 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869251085 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23233/tid=23251] ppid=23231 vsize=8544108 CPUtime=0 cores=0,2,4,6
/proc/23233/task/23251/stat : 23251 (java) T 23231 23233 23233 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869251109 8749166592 209274 33554432000 1073741824 1073778376 140736322599808 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23231/tid=23330] ppid=23135 vsize=380004 CPUtime=0 cores=0,2,4,6
/proc/23231/task/23330/stat : 23330 (python) S 23135 23135 23102 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869255816 389124096 5863 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604443171824000 0 0 -1 4 0 0 0
[pid=23331] ppid=23135 vsize=324724 CPUtime=1.18 cores=0,2,4,6
/proc/23331/stat : 23331 (python) S 23135 23135 23102 0 -1 4202560 1193 0 0 0 61 57 0 0 18 0 2 0 869255819 332517376 5866 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23331/statm: 81181 5866 397 364 0 16056 0
[pid=23333] ppid=23331 vsize=75956 CPUtime=237.17 cores=0,2,4,6
/proc/23333/stat : 23333 (bsolo_pb10) T 23331 23333 23333 0 -1 4202496 2800830 0 0 0 23210 507 0 0 25 0 1 0 869255819 77778944 16658 33554432000 134512640 137138936 4290380912 18446744073709551615 136502620 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/23333/statm: 18989 16658 287 642 0 18345 0
[pid=23331/tid=23350] ppid=23135 vsize=324724 CPUtime=0 cores=0,2,4,6
/proc/23331/task/23350/stat : 23350 (python) S 23135 23135 23102 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 869270207 332517376 5866 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554946 18446604446922888384 0 0 -1 6 0 0 0
[pid=23503] ppid=23135 vsize=335084 CPUtime=0 cores=0,2,4,6
/proc/23503/stat : 23503 (python) S 23135 23135 23102 0 -1 4202560 819 0 0 0 0 0 0 0 17 0 1 0 869293548 343126016 5846 33554432000 4194304 5683644 140737039352208 18446744073709551615 239476715078 0 0 16781312 33554946 2028391201383645184 0 0 17 0 0 0 0
/proc/23503/statm: 83771 5846 349 364 0 18643 0
[pid=23505] ppid=23503 vsize=8532496 CPUtime=0.14 cores=0,2,4,6
/proc/23505/stat : 23505 (java) S 23503 23505 23505 0 -1 4202496 5694 0 1 0 13 1 0 0 20 0 18 0 869293548 8737275904 5155 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23505/statm: 2133124 5155 2125 9 0 2123865 0
[pid=23505/tid=23506] ppid=23503 vsize=8532496 CPUtime=0.11 cores=0,2,4,6
/proc/23505/task/23506/stat : 23506 (java) R 23503 23505 23505 0 -1 4202560 3463 0 1 0 11 0 0 0 22 0 18 0 869293549 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23507] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23507/stat : 23507 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869293550 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 6 0 0 0
[pid=23505/tid=23508] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23508/stat : 23508 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 869293550 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 6 0 0 0
[pid=23505/tid=23509] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23509/stat : 23509 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 869293550 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 6 0 0 0
[pid=23505/tid=23510] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23510/stat : 23510 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293550 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23511/stat : 23511 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293550 8737275904 5166 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23512/stat : 23512 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293550 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23513/stat : 23513 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293550 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23514/stat : 23514 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 869293550 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23515] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23515/stat : 23515 (java) S 23503 23505 23505 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 869293551 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488511488 0 0 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23505/tid=23516] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23516/stat : 23516 (java) S 23503 23505 23505 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 18 0 869293551 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23505/tid=23517] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23517/stat : 23517 (java) S 23503 23505 23505 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 869293551 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 0 0 0 0
[pid=23505/tid=23518] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23518/stat : 23518 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 869293553 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488518577 0 4 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23505/tid=23519] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23519/stat : 23519 (java) S 23503 23505 23505 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 18 0 869293553 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 6 0 0 0
[pid=23505/tid=23520] ppid=23503 vsize=8532496 CPUtime=0.02 cores=0,2,4,6
/proc/23505/task/23520/stat : 23520 (java) S 23503 23505 23505 0 -1 4202560 691 0 0 0 2 0 0 0 17 0 18 0 869293553 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23505/tid=23521] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23521/stat : 23521 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 869293553 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488510873 0 4 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23505/tid=23522] ppid=23503 vsize=8532496 CPUtime=0 cores=0,2,4,6
/proc/23505/task/23522/stat : 23522 (java) S 23503 23505 23505 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 869293553 8737275904 5167 33554432000 1073741824 1073778376 140736907458048 18446744073709551615 239488511488 0 4 0 16800975 18446604448176203776 0 0 -1 4 0 0 0
[pid=23135/tid=23152] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23152/stat : 23152 (python) S 23133 23135 23102 0 -1 4202560 31 919 0 9 0 0 0 0 15 0 7 0 869236571 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 6 0 0 0
[pid=23135/tid=23195] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23195/stat : 23195 (python) S 23133 23135 23102 0 -1 4202560 38 919 0 9 0 0 0 0 18 0 7 0 869241391 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23222] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23222/stat : 23222 (python) S 23133 23135 23102 0 -1 4202560 32 919 0 9 0 0 0 0 18 0 7 0 869246237 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23232] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23232/stat : 23232 (python) S 23133 23135 23102 0 -1 4202560 25 919 0 9 0 0 0 0 20 0 7 0 869251080 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
[pid=23135/tid=23332] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23332/stat : 23332 (python) S 23133 23135 23102 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 7 0 869255819 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 4 0 0 0
[pid=23135/tid=23504] ppid=23133 vsize=345328 CPUtime=0 cores=0,2,4,6
/proc/23135/task/23504/stat : 23504 (python) S 23133 23135 23102 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 869293548 353615872 7382 33554432000 4194304 5683644 140737039352208 18446744073709551615 239488518577 0 0 16781312 33554434 18446604443870913600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 575.65
Current children cumulated vsize (KiB) 19615380
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 23135 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=736887
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=232964
# CPU time returned by wait4() is 0.969851
# while last known CPU time is 575.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 606.094
CPU time (s): 575.65
CPU user time (s): 562.02
CPU system time (s): 13.63
CPU usage (%): 94.9771
Max. virtual memory (cumulated for all children) (KiB): 19615380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.736887
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15126
page faults= 125
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17680
involuntary context switches= 35
runsolver used 5.14422 second user time and 10.3874 second system time
The end