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-3481733-1307576360/watcher-3481733-1307576360 -o /tmp/evaluation-result-3481733-1307576360/solver-3481733-1307576360 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481733-1307576360.opb -seed 1857836293 -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.55 0.13 0.04 2/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (runsolver) D 14749 14754 14716 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 947869513 12079104 54 33554432000 4194304 5432328 140736858981328 18446744073709551615 5055479 0 0 4096 24578 0 0 0 17 2 0 0 0
/proc/14754/statm: 2949 54 34 303 0 2643 0
[startup+0.0372949 s]
/proc/loadavg: 0.55 0.13 0.04 2/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (runsolver) S 14749 14754 14716 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 947869513 12079104 54 33554432000 4194304 5432328 140736858981328 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 2 0 0 0
/proc/14754/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100387 s]
/proc/loadavg: 0.55 0.13 0.04 2/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (python) R 14749 14754 14716 0 -1 4194304 96 0 2 0 0 0 0 0 18 0 1 0 947869513 6389760 51 33554432000 4194304 5683644 140733772679808 18446744073709551615 215983668871 0 0 4096 0 0 0 0 17 4 0 0 3
/proc/14754/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.300193 s]
/proc/loadavg: 0.55 0.13 0.04 2/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=15084 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (python) D 14749 14754 14716 0 -1 4202496 618 0 6 0 0 0 0 0 17 0 1 0 947869513 15446016 521 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988592384 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 12
/proc/14754/statm: 3771 521 302 364 0 258 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15084
[startup+0.855094 s]
/proc/loadavg: 0.55 0.13 0.04 2/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 928 0 6 0 0 0 0 0 15 0 1 0 947869513 16154624 813 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 15
/proc/14754/statm: 3944 813 356 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15776
[startup+1.51898 s]
/proc/loadavg: 0.55 0.13 0.04 1/515 14756
/proc/meminfo: memFree=22348000/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 1110 0 6 0 1 0 0 0 15 0 1 0 947869513 16789504 984 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 18
/proc/14754/statm: 4099 984 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10076 s]
/proc/loadavg: 0.55 0.13 0.04 2/515 14756
/proc/meminfo: memFree=22345224/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=36516 CPUtime=0.07 cores=0,2,4,6
/proc/14754/stat : 14754 (python) D 14749 14754 14716 0 -1 4202496 1598 0 13 0 3 4 0 0 15 0 1 0 947869513 37392384 1445 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988592384 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 25
/proc/14754/statm: 9129 1445 452 364 0 946 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36516
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 0.58 0.14 0.05 1/515 14764
/proc/meminfo: memFree=22322744/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=123588 CPUtime=0.19 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 5254 923 39 9 12 7 0 0 16 0 1 0 947869513 126554112 3696 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 77
/proc/14754/statm: 30897 3696 986 364 0 2729 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123588
heavy processes:
[startup+12.7011 s]
/proc/loadavg: 0.62 0.15 0.05 2/521 14771
/proc/meminfo: memFree=22267780/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=293268 CPUtime=0.53 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 9566 923 114 9 37 16 0 0 18 0 2 0 947869513 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 156
/proc/14754/statm: 73317 7184 1870 364 0 8204 0
[pid=14767] ppid=14754 vsize=283024 CPUtime=0 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 947870752 289816576 5662 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988612623 0 0 16781312 33554946 2799234047425872131 0 0 17 4 0 0 0
/proc/14767/statm: 70756 5662 352 364 0 5643 0
[pid=14771] ppid=14767 vsize=24676 CPUtime=0.29 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) R 14767 14771 14771 0 -1 4202496 4479 0 0 0 28 1 0 0 20 0 1 0 947870752 25268224 3861 33554432000 4194304 13684479 140737215884208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14771/statm: 6169 3861 737 2317 0 3847 0
[pid=14754/tid=14769] ppid=14749 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14769/stat : 14769 (python) S 14749 14754 14716 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870752 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 600968
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 0.92 0.24 0.08 4/521 14771
/proc/meminfo: memFree=22233556/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=293268 CPUtime=0.53 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 9566 923 114 9 37 16 0 0 18 0 2 0 947869513 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 156
/proc/14754/statm: 73317 7184 1870 364 0 8204 0
[pid=14767] ppid=14754 vsize=283024 CPUtime=0.05 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 910 0 0 0 3 2 0 0 15 0 1 0 947870752 289816576 5686 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988612623 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/14767/statm: 70756 5686 376 364 0 5643 0
[pid=14771] ppid=14767 vsize=29628 CPUtime=13.09 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) R 14767 14771 14771 0 -1 4202496 6623 0 0 0 1298 11 0 0 18 0 1 0 947870752 30339072 5241 33554432000 4194304 13684479 140737215884208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14771/statm: 7407 5241 802 2317 0 5085 0
[pid=14754/tid=14769] ppid=14749 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14769/stat : 14769 (python) S 14749 14754 14716 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870752 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (KiB) 605920
heavy processes:
[startup+51.1004 s]
/proc/loadavg: 1.29 0.38 0.13 4/521 14772
/proc/meminfo: memFree=22233864/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=293268 CPUtime=0.53 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 9566 923 114 9 37 16 0 0 18 0 2 0 947869513 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 156
/proc/14754/statm: 73317 7184 1870 364 0 8204 0
[pid=14767] ppid=14754 vsize=283024 CPUtime=0.16 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 921 0 0 0 9 7 0 0 15 0 1 0 947870752 289816576 5686 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/14767/statm: 70756 5686 376 364 0 5643 0
[pid=14771] ppid=14767 vsize=29628 CPUtime=38.69 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) R 14767 14771 14771 0 -1 4202496 6629 0 0 0 3832 37 0 0 25 0 1 0 947870752 30339072 5247 33554432000 4194304 13684479 140737215884208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/14771/statm: 7407 5247 806 2317 0 5085 0
[pid=14754/tid=14769] ppid=14749 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14769/stat : 14769 (python) S 14749 14754 14716 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 2 0 947870752 300306432 7184 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 605920
heavy processes:
[startup+102.3 s]
/proc/loadavg: 1.69 0.63 0.23 4/529 14781
/proc/meminfo: memFree=22189276/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=304032 CPUtime=0.56 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 10382 923 114 9 40 16 0 0 20 0 3 0 947869513 311328768 7305 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 156
/proc/14754/statm: 76008 7305 1873 364 0 10892 0
[pid=14767] ppid=14754 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 1086 0 0 0 12 10 0 0 17 0 2 0 947870752 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14767/statm: 73317 5722 407 364 0 8204 0
[pid=14771] ppid=14767 vsize=29628 CPUtime=50.03 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) T 14767 14771 14771 0 -1 4202496 8738 0 0 0 4950 53 0 0 21 0 1 0 947870752 30339072 5266 33554432000 4194304 13684479 140737215884208 18446744073709551615 7259566 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/14771/statm: 7407 5266 822 2317 0 5085 0
[pid=14767/tid=14777] ppid=14754 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14767/task/14777/stat : 14777 (python) S 14754 14754 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875758 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348030656 0 0 -1 6 0 0 0
[pid=14778] ppid=14754 vsize=293788 CPUtime=0.16 cores=0,2,4,6
/proc/14778/stat : 14778 (python) S 14754 14754 14716 0 -1 4202560 948 0 0 0 9 7 0 0 15 0 1 0 947875760 300838912 5801 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988612678 0 0 16781312 33554946 3966254641175330816 0 0 17 6 0 0 0
/proc/14778/statm: 73447 5801 373 364 0 8331 0
[pid=14780] ppid=14778 vsize=33428 CPUtime=39.81 cores=0,2,4,6
/proc/14780/stat : 14780 (scip-2.0.1.linu) R 14778 14780 14780 0 -1 4202496 22044 0 0 0 3963 18 0 0 25 0 1 0 947875760 34230272 5316 33554432000 4194304 15243407 140734346496864 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/14780/statm: 8357 5316 929 2698 0 5652 0
[pid=14754/tid=14769] ppid=14749 vsize=304032 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14769/stat : 14769 (python) S 14749 14754 14716 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 3 0 947870752 311328768 7305 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
[pid=14754/tid=14779] ppid=14749 vsize=304032 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14779/stat : 14779 (python) S 14749 14754 14716 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 3 0 947875760 311328768 7305 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 90.78
Current children cumulated vsize (KiB) 954144
[startup+162.301 s]
/proc/loadavg: 1.88 0.88 0.33 4/545 14799
/proc/meminfo: memFree=22119004/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=324748 CPUtime=0.62 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 12146 923 114 9 45 17 0 0 20 0 5 0 947869513 332541952 7352 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 156
/proc/14754/statm: 81187 7352 1877 364 0 16065 0
[pid=14767] ppid=14754 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 1086 0 0 0 12 10 0 0 17 0 2 0 947870752 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14767/statm: 73317 5722 407 364 0 8204 0
[pid=14771] ppid=14767 vsize=29628 CPUtime=50.03 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) T 14767 14771 14771 0 -1 4202496 8738 0 0 0 4950 53 0 0 21 0 1 0 947870752 30339072 5266 33554432000 4194304 13684479 140737215884208 18446744073709551615 7259566 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/14771/statm: 7407 5266 822 2317 0 5085 0
[pid=14767/tid=14777] ppid=14754 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14767/task/14777/stat : 14777 (python) S 14754 14754 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875758 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348030656 0 0 -1 6 0 0 0
[pid=14778] ppid=14754 vsize=293788 CPUtime=0.22 cores=0,2,4,6
/proc/14778/stat : 14778 (python) S 14754 14754 14716 0 -1 4202560 1117 0 0 0 13 9 0 0 17 0 2 0 947875760 300838912 5826 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14778/statm: 73447 5826 397 364 0 8331 0
[pid=14780] ppid=14778 vsize=42028 CPUtime=49.63 cores=0,2,4,6
/proc/14780/stat : 14780 (scip-2.0.1.linu) T 14778 14780 14780 0 -1 4202496 25056 0 0 0 4939 24 0 0 19 0 1 0 947875760 43036672 7928 33554432000 4194304 15243407 140734346496864 18446744073709551615 7128950 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14780/statm: 10507 7928 945 2698 0 7802 0
[pid=14778/tid=14786] ppid=14754 vsize=293788 CPUtime=0 cores=0,2,4,6
/proc/14778/task/14786/stat : 14786 (python) S 14754 14754 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947880725 300838912 5826 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604451378516992 0 0 -1 6 0 0 0
[pid=14787] ppid=14754 vsize=303744 CPUtime=0.2 cores=0,2,4,6
/proc/14787/stat : 14787 (python) S 14754 14754 14716 0 -1 4202560 1177 0 0 0 11 9 0 0 19 0 2 0 947880728 311033856 5762 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14787/statm: 75936 5762 403 364 0 10817 0
[pid=14789] ppid=14787 vsize=2256 CPUtime=47.27 cores=0,2,4,6
################
# More data... #
################
[pid=14754/tid=14779] ppid=14749 vsize=335252 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14779/stat : 14779 (python) S 14749 14754 14716 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 6 0 947875760 343298048 7420 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
[pid=14754/tid=14788] ppid=14749 vsize=335252 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14788/stat : 14788 (python) S 14749 14754 14716 0 -1 4202560 31 923 0 9 0 0 0 0 18 0 6 0 947880728 343298048 7420 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 6 0 0 0
[pid=14754/tid=14798] ppid=14749 vsize=335252 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14798/stat : 14798 (python) S 14749 14754 14716 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 6 0 947885459 343298048 7420 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 0 0 0 0
[pid=14754/tid=14826] ppid=14749 vsize=335252 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14826/stat : 14826 (python) S 14749 14754 14716 0 -1 4202560 32 923 0 9 0 0 0 0 20 0 6 0 947894647 343298048 7420 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 273.17
Current children cumulated vsize (KiB) 10610772
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+298.402 s]
/proc/loadavg: 2.30 1.37 0.58 3/594 14892
/proc/meminfo: memFree=20639880/32950940 swapFree=67111360/67111528
[pid=14754] ppid=14749 vsize=345508 CPUtime=0.69 cores=0,2,4,6
/proc/14754/stat : 14754 (python) S 14749 14754 14716 0 -1 4202496 13993 923 114 9 52 17 0 0 20 0 7 0 947869513 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 156
/proc/14754/statm: 86377 7426 1881 364 0 21249 0
[pid=14767] ppid=14754 vsize=293268 CPUtime=0.22 cores=0,2,4,6
/proc/14767/stat : 14767 (python) S 14754 14754 14716 0 -1 4202560 1086 0 0 0 12 10 0 0 17 0 2 0 947870752 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14767/statm: 73317 5722 407 364 0 8204 0
[pid=14771] ppid=14767 vsize=29628 CPUtime=50.03 cores=0,2,4,6
/proc/14771/stat : 14771 (scip-2.0.1.linu) T 14767 14771 14771 0 -1 4202496 8738 0 0 0 4950 53 0 0 21 0 1 0 947870752 30339072 5266 33554432000 4194304 13684479 140737215884208 18446744073709551615 7259566 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/14771/statm: 7407 5266 822 2317 0 5085 0
[pid=14767/tid=14777] ppid=14754 vsize=293268 CPUtime=0 cores=0,2,4,6
/proc/14767/task/14777/stat : 14777 (python) S 14754 14754 14716 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 947875758 300306432 5722 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348030656 0 0 -1 6 0 0 0
[pid=14778] ppid=14754 vsize=293788 CPUtime=0.22 cores=0,2,4,6
/proc/14778/stat : 14778 (python) S 14754 14754 14716 0 -1 4202560 1117 0 0 0 13 9 0 0 17 0 2 0 947875760 300838912 5826 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14778/statm: 73447 5826 397 364 0 8331 0
[pid=14780] ppid=14778 vsize=42028 CPUtime=49.63 cores=0,2,4,6
/proc/14780/stat : 14780 (scip-2.0.1.linu) T 14778 14780 14780 0 -1 4202496 25056 0 0 0 4939 24 0 0 19 0 1 0 947875760 43036672 7928 33554432000 4194304 15243407 140734346496864 18446744073709551615 7128950 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/14780/statm: 10507 7928 945 2698 0 7802 0
[pid=14778/tid=14786] ppid=14754 vsize=293788 CPUtime=0 cores=0,2,4,6
/proc/14778/task/14786/stat : 14786 (python) S 14754 14754 14716 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 947880725 300838912 5826 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604451378516992 0 0 -1 6 0 0 0
[pid=14787] ppid=14754 vsize=303744 CPUtime=0.41 cores=0,2,4,6
/proc/14787/stat : 14787 (python) S 14754 14754 14716 0 -1 4202560 1200 0 0 0 21 20 0 0 18 0 2 0 947880728 311033856 5762 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14787/statm: 75936 5762 403 364 0 10817 0
[pid=14789] ppid=14787 vsize=2256 CPUtime=92.49 cores=0,2,4,6
/proc/14789/stat : 14789 (clasp-1.3.7-x86) T 14787 14789 14789 0 -1 4202496 588 0 0 0 9249 0 0 0 25 0 1 0 947880728 2310144 320 33554432000 134512640 136139019 4293628976 18446744073709551615 134875832 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/14789/statm: 564 320 184 398 0 164 0
[pid=14787/tid=14796] ppid=14754 vsize=303744 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (python) S 14754 14754 14716 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 2 0 947885456 311033856 5762 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604442256350080 0 0 -1 0 0 0 0
[pid=14797] ppid=14754 vsize=314504 CPUtime=0.2 cores=0,2,4,6
/proc/14797/stat : 14797 (python) S 14754 14754 14716 0 -1 4202560 1203 0 0 0 11 9 0 0 16 0 2 0 947885459 322052096 5875 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14797/statm: 78626 5875 403 364 0 13504 0
[pid=14799] ppid=14797 vsize=126868 CPUtime=46.59 cores=0,2,4,6
/proc/14799/stat : 14799 (wbo1.4a) T 14797 14799 14799 0 -1 4202496 31530 0 0 0 4616 43 0 0 25 0 1 0 947885459 129912832 31251 33554432000 134512640 135751879 4289495584 18446744073709551615 134606383 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/14799/statm: 31717 31251 146 303 0 31412 0
[pid=14797/tid=14802] ppid=14754 vsize=314504 CPUtime=0 cores=0,2,4,6
/proc/14797/task/14802/stat : 14802 (python) S 14754 14754 14716 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 947890119 322052096 5875 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604450348027968 0 0 -1 6 0 0 0
[pid=14825] ppid=14754 vsize=325008 CPUtime=0.21 cores=0,2,4,6
/proc/14825/stat : 14825 (python) S 14754 14754 14716 0 -1 4202560 1149 0 0 0 11 10 0 0 17 0 2 0 947894647 332808192 5935 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/14825/statm: 81252 5935 397 364 0 16127 0
[pid=14827] ppid=14825 vsize=8544428 CPUtime=48.76 cores=0,2,4,6
/proc/14827/stat : 14827 (java) T 14825 14827 14827 0 -1 4202496 247076 0 1 0 4847 29 0 0 18 0 19 0 947894647 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14827/statm: 2136107 212653 2237 9 0 2126848 0
[pid=14827/tid=14828] ppid=14825 vsize=8544428 CPUtime=46.62 cores=0,2,4,6
/proc/14827/task/14828/stat : 14828 (java) T 14825 14827 14827 0 -1 4202560 199166 0 1 0 4640 22 0 0 25 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 46912505883609 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14829] ppid=14825 vsize=8544428 CPUtime=0.07 cores=0,2,4,6
/proc/14827/task/14829/stat : 14829 (java) T 14825 14827 14827 0 -1 4202560 3882 0 0 0 7 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14830] ppid=14825 vsize=8544428 CPUtime=0.06 cores=0,2,4,6
/proc/14827/task/14830/stat : 14830 (java) T 14825 14827 14827 0 -1 4202560 3485 0 0 0 6 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14831] ppid=14825 vsize=8544428 CPUtime=0.1 cores=0,2,4,6
/proc/14827/task/14831/stat : 14831 (java) T 14825 14827 14827 0 -1 4202560 5338 0 0 0 10 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14827/tid=14832] ppid=14825 vsize=8544428 CPUtime=0.07 cores=0,2,4,6
/proc/14827/task/14832/stat : 14832 (java) T 14825 14827 14827 0 -1 4202560 4811 0 0 0 7 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14827/tid=14833] ppid=14825 vsize=8544428 CPUtime=0.09 cores=0,2,4,6
/proc/14827/task/14833/stat : 14833 (java) T 14825 14827 14827 0 -1 4202560 4526 0 0 0 9 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14827/tid=14834] ppid=14825 vsize=8544428 CPUtime=0.12 cores=0,2,4,6
/proc/14827/task/14834/stat : 14834 (java) T 14825 14827 14827 0 -1 4202560 6516 0 0 0 11 1 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14827/tid=14835] ppid=14825 vsize=8544428 CPUtime=0.07 cores=0,2,4,6
/proc/14827/task/14835/stat : 14835 (java) T 14825 14827 14827 0 -1 4202560 3573 0 0 0 7 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14836] ppid=14825 vsize=8544428 CPUtime=0.06 cores=0,2,4,6
/proc/14827/task/14836/stat : 14836 (java) T 14825 14827 14827 0 -1 4202560 3936 0 0 0 6 0 0 0 15 0 19 0 947894648 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=14827/tid=14837] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14837/stat : 14837 (java) T 14825 14827 14827 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 19 0 947894649 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14827/tid=14838] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14838/stat : 14838 (java) T 14825 14827 14827 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947894650 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14839] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14839/stat : 14839 (java) T 14825 14827 14827 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 947894650 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14840] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14840/stat : 14840 (java) T 14825 14827 14827 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894652 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14841] ppid=14825 vsize=8544428 CPUtime=0.69 cores=0,2,4,6
/proc/14827/task/14841/stat : 14841 (java) T 14825 14827 14827 0 -1 4202560 5105 0 0 0 69 0 0 0 15 0 19 0 947894652 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14842] ppid=14825 vsize=8544428 CPUtime=0.69 cores=0,2,4,6
/proc/14827/task/14842/stat : 14842 (java) T 14825 14827 14827 0 -1 4202560 4986 0 0 0 69 0 0 0 15 0 19 0 947894652 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14827/tid=14843] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14843/stat : 14843 (java) T 14825 14827 14827 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894652 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=14827/tid=14844] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14844/stat : 14844 (java) T 14825 14827 14827 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894652 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=14827/tid=14845] ppid=14825 vsize=8544428 CPUtime=0 cores=0,2,4,6
/proc/14827/task/14845/stat : 14845 (java) T 14825 14827 14827 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894670 8749494272 212653 33554432000 1073741824 1073778376 140735539986928 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=14825/tid=14872] ppid=14754 vsize=325008 CPUtime=0 cores=0,2,4,6
/proc/14825/task/14872/stat : 14872 (python) S 14754 14754 14716 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 947899346 332808192 5935 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554946 18446604453693706304 0 0 -1 6 0 0 0
[pid=14873] ppid=14754 vsize=335264 CPUtime=0 cores=0,2,4,6
/proc/14873/stat : 14873 (python) S 14754 14754 14716 0 -1 4202560 769 0 0 0 0 0 0 0 19 0 1 0 947899349 343310336 5887 33554432000 4194304 5683644 140733772679808 18446744073709551615 215988612678 0 0 16781312 33554946 11068880902254723329 0 0 17 2 0 0 0
/proc/14873/statm: 83816 5887 346 364 0 18688 0
[pid=14875] ppid=14873 vsize=8530772 CPUtime=0.05 cores=0,2,4,6
/proc/14875/stat : 14875 (java) S 14873 14875 14875 0 -1 4202496 4291 0 1 0 5 0 0 0 21 0 18 0 947899349 8735510528 3744 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14875/statm: 2132693 3745 1748 9 0 2123434 0
[pid=14875/tid=14876] ppid=14873 vsize=8531372 CPUtime=0.06 cores=0,2,4,6
/proc/14875/task/14876/stat : 14876 (java) R 14873 14875 14875 0 -1 4202560 3073 0 1 0 6 0 0 0 25 0 18 0 947899349 8736124928 4437 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 47450227612468 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14875/tid=14877] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14877/stat : 14877 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 947899350 8736124928 4437 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14878] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14878/stat : 14878 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4437 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14879] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14879/stat : 14879 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4438 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14880] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14880/stat : 14880 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4439 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14881] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14881/stat : 14881 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4442 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14882] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14882/stat : 14882 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4444 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14883] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14883/stat : 14883 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4447 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14884] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14884/stat : 14884 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899350 8736124928 4449 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14885] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14885/stat : 14885 (java) S 14873 14875 14875 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 947899351 8736124928 4450 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000409088 0 0 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14886] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14886/stat : 14886 (java) S 14873 14875 14875 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 947899351 8736124928 4452 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14887] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14887/stat : 14887 (java) S 14873 14875 14875 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 947899351 8736124928 4453 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 4 0 0 0
[pid=14875/tid=14888] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14888/stat : 14888 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899353 8736124928 4462 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000416177 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14889] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14889/stat : 14889 (java) R 14873 14875 14875 0 -1 4202560 37 0 0 0 0 0 0 0 25 0 18 0 947899353 8736124928 4467 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 47450226656518 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14875/tid=14890] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14890/stat : 14890 (java) R 14873 14875 14875 0 -1 4202560 504 0 0 0 0 0 0 0 25 0 18 0 947899354 8736124928 4468 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 47450221541024 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14875/tid=14891] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14891/stat : 14891 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899354 8736124928 4470 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000408473 0 4 0 16800975 18446604453908981888 0 0 -1 2 0 0 0
[pid=14875/tid=14892] ppid=14873 vsize=8531372 CPUtime=0 cores=0,2,4,6
/proc/14875/task/14892/stat : 14892 (java) S 14873 14875 14875 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 947899354 8736124928 4474 33554432000 1073741824 1073778376 140734458974768 18446744073709551615 216000409088 0 4 0 16800975 18446604453908981888 0 0 -1 4 0 0 0
[pid=14754/tid=14769] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14769/stat : 14769 (python) S 14749 14754 14716 0 -1 4202560 25 923 0 9 0 0 0 0 18 0 7 0 947870752 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
[pid=14754/tid=14779] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14779/stat : 14779 (python) S 14749 14754 14716 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947875760 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 4 0 0 0
[pid=14754/tid=14788] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14788/stat : 14788 (python) S 14749 14754 14716 0 -1 4202560 31 923 0 9 0 0 0 0 18 0 7 0 947880728 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 6 0 0 0
[pid=14754/tid=14798] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14798/stat : 14798 (python) S 14749 14754 14716 0 -1 4202560 30 923 0 9 0 0 0 0 20 0 7 0 947885459 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 0 0 0 0
[pid=14754/tid=14826] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14826/stat : 14826 (python) S 14749 14754 14716 0 -1 4202560 32 923 0 9 0 0 0 0 20 0 7 0 947894647 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 6 0 0 0
[pid=14754/tid=14874] ppid=14749 vsize=345508 CPUtime=0 cores=0,2,4,6
/proc/14754/task/14874/stat : 14874 (python) S 14749 14754 14716 0 -1 4202560 32 923 0 9 0 0 0 0 20 0 7 0 947899349 353800192 7426 33554432000 4194304 5683644 140733772679808 18446744073709551615 216000416177 0 0 16781312 33554434 18446604442459053120 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 289.5
Current children cumulated vsize (KiB) 19487064
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 14754 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=527919
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=183972
# CPU time returned by wait4() is 0.711891
# while last known CPU time is 289.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 298.491
CPU time (s): 289.5
CPU user time (s): 287.26
CPU system time (s): 2.24
CPU usage (%): 96.988
Max. virtual memory (cumulated for all children) (KiB): 19487064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.527919
system time used= 0.183972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14920
page faults= 123
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23101
involuntary context switches= 18
runsolver used 1.77173 second user time and 3.80942 second system time
The end