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-3481913-1307577332/watcher-3481913-1307577332 -o /tmp/evaluation-result-3481913-1307577332/solver-3481913-1307577332 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481913-1307577332.opb -seed 2078187392 -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: 1.94 2.04 1.37 2/745 7949
/proc/meminfo: memFree=27545040/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/7949/stat : 7949 (python) R 7947 7949 7156 0 -1 4202496 879 0 0 0 0 0 0 0 24 0 1 0 947963899 16150528 761 33554432000 4194304 5683644 140733482647504 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7949/statm: 3943 762 343 364 0 430 0
[startup+0.105454 s]
/proc/loadavg: 1.94 2.04 1.37 2/745 7949
/proc/meminfo: memFree=27545040/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/7949/stat : 7949 (python) R 7947 7949 7156 0 -1 4202496 3169 934 1 0 6 1 0 0 18 0 1 0 947963899 98430976 2483 33554432000 4194304 5683644 140733482647504 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7949/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.200524 s]
/proc/loadavg: 1.94 2.04 1.37 2/745 7949
/proc/meminfo: memFree=27545040/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 5357 934 1 0 11 3 0 0 17 0 1 0 947963899 126709760 3744 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7949/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.30143 s]
/proc/loadavg: 1.94 2.04 1.37 2/745 7949
/proc/meminfo: memFree=27545040/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 6700 934 1 0 17 6 0 0 17 0 1 0 947963899 207863808 4981 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/7949/statm: 50748 4981 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.700362 s]
/proc/loadavg: 1.94 2.04 1.37 2/745 7949
/proc/meminfo: memFree=27545040/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293072
[startup+1.50121 s]
/proc/loadavg: 1.94 2.04 1.38 3/749 7957
/proc/meminfo: memFree=27503160/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=282828 CPUtime=0 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 947963950 289615872 5622 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 1519054929581309952 0 0 17 6 0 0 0
/proc/7955/statm: 70707 5622 358 364 0 5594 0
[pid=7957] ppid=7955 vsize=30248 CPUtime=0.98 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 5510 0 0 0 91 7 0 0 18 0 1 0 947963950 30973952 4895 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7957/statm: 7562 4895 811 2317 0 5240 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 606148
[startup+3.10096 s]
/proc/loadavg: 1.94 2.04 1.38 3/749 7957
/proc/meminfo: memFree=27501052/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=282828 CPUtime=0 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 855 0 0 0 0 0 0 0 15 0 1 0 947963950 289615872 5622 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 4146416931420766208 0 0 17 6 0 0 0
/proc/7955/statm: 70707 5622 358 364 0 5594 0
[pid=7957] ppid=7955 vsize=30248 CPUtime=2.58 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 5728 0 0 0 241 17 0 0 18 0 1 0 947963950 30973952 5113 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7957/statm: 7562 5113 811 2317 0 5240 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 606148
[startup+6.30041 s]
/proc/loadavg: 1.94 2.04 1.38 2/736 7981
/proc/meminfo: memFree=27550784/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=282960 CPUtime=0.03 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 994 0 0 0 2 1 0 0 15 0 1 0 947963950 289751040 5651 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 725321368140251136 0 0 17 4 0 0 0
/proc/7955/statm: 70740 5651 383 364 0 5627 0
[pid=7957] ppid=7955 vsize=30576 CPUtime=5.78 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 7217 0 0 0 536 42 0 0 18 0 1 0 947963950 31309824 5456 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7957/statm: 7644 5456 811 2317 0 5322 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 606608
[startup+12.7004 s]
/proc/loadavg: 2.18 2.09 1.40 3/741 8017
/proc/meminfo: memFree=27506088/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=282960 CPUtime=0.09 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 1015 0 0 0 5 4 0 0 15 0 1 0 947963950 289751040 5668 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 2468770583542759424 0 0 17 4 0 0 0
/proc/7955/statm: 70740 5668 384 364 0 5627 0
[pid=7957] ppid=7955 vsize=31812 CPUtime=12.18 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 12801 0 0 0 1128 90 0 0 18 0 1 0 947963950 32575488 5775 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7957/statm: 7953 5775 811 2317 0 5631 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 607844
[startup+25.5012 s]
/proc/loadavg: 2.15 2.09 1.41 3/741 8017
/proc/meminfo: memFree=27504132/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=283100 CPUtime=0.2 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 1063 0 0 0 12 8 0 0 15 0 1 0 947963950 289894400 5711 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 1566228239020457984 0 0 17 4 0 0 0
/proc/7955/statm: 70775 5711 384 364 0 5662 0
[pid=7957] ppid=7955 vsize=32480 CPUtime=24.98 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 25736 0 0 0 2308 190 0 0 18 0 1 0 947963950 33259520 5942 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/7957/statm: 8120 5942 811 2317 0 5798 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 608652
[startup+51.1009 s]
/proc/loadavg: 2.16 2.09 1.43 3/741 8017
/proc/meminfo: memFree=27495468/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=293072 CPUtime=0.42 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 9632 934 1 0 32 10 0 0 19 0 2 0 947963899 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/7949/statm: 73268 7138 1870 364 0 8155 0
[pid=7955] ppid=7949 vsize=283448 CPUtime=0.45 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 1129 0 0 0 28 17 0 0 15 0 1 0 947963950 290250752 5767 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945935 0 0 16781312 33554946 4154878553864798208 0 0 17 0 0 0 0
/proc/7955/statm: 70862 5767 384 364 0 5749 0
[pid=7957] ppid=7955 vsize=40204 CPUtime=50.56 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) R 7955 7957 7957 0 -1 4202496 35539 0 0 0 4658 398 0 0 18 0 1 0 947963950 41168896 7851 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/7957/statm: 10051 7851 811 2317 0 7729 0
[pid=7949/tid=7956] ppid=7947 vsize=293072 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 2 0 947963950 300105728 7138 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.43
Current children cumulated vsize (KiB) 616724
[startup+102.301 s]
/proc/loadavg: 2.06 2.08 1.46 3/753 8031
/proc/meminfo: memFree=27279744/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=313820 CPUtime=0.47 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 11349 934 1 0 37 10 0 0 20 0 4 0 947963899 321351680 7196 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7949/statm: 78455 7196 1875 364 0 13336 0
[pid=7955] ppid=7949 vsize=293692 CPUtime=0.48 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 1268 0 0 0 30 18 0 0 17 0 2 0 947963950 300740608 5804 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7955/statm: 73423 5804 414 364 0 8310 0
[pid=7957] ppid=7955 vsize=40588 CPUtime=51.43 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) T 7955 7957 7957 0 -1 4202496 35635 0 0 0 4737 406 0 0 18 0 1 0 947963950 41562112 7947 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/7957/statm: 10147 7947 811 2317 0 7825 0
[pid=7955/tid=8018] ppid=7949 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/7955/task/8018/stat : 8018 (python) S 7949 7949 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947969097 300740608 5804 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604446990942592 0 0 -1 0 0 0 0
[pid=8019] ppid=7949 vsize=293628 CPUtime=0.23 cores=0,2,4,6
/proc/8019/stat : 8019 (python) S 7949 7949 7156 0 -1 4202560 1124 0 0 0 12 11 0 0 17 0 2 0 947969099 300675072 5787 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8019/statm: 73407 5787 397 364 0 8291 0
[pid=8021] ppid=8019 vsize=115588 CPUtime=46.2 cores=0,2,4,6
/proc/8021/stat : 8021 (wbo1.4a) T 8019 8021 8021 0 -1 4202496 28677 0 0 0 4584 36 0 0 25 0 1 0 947969099 118362112 28413 33554432000 134512640 135751879 4286686336 18446744073709551615 134616414 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/8021/statm: 28897 28413 143 303 0 28592 0
[pid=8019/tid=8028] ppid=7949 vsize=293628 CPUtime=0 cores=0,2,4,6
/proc/8019/task/8028/stat : 8028 (python) S 7949 7949 7156 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947973723 300675072 5787 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604449453453632 0 0 -1 6 0 0 0
[pid=8029] ppid=7949 vsize=303576 CPUtime=0.01 cores=0,2,4,6
/proc/8029/stat : 8029 (python) S 7949 7949 7156 0 -1 4202560 934 0 0 0 1 0 0 0 15 0 1 0 947973725 310861824 5690 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945990 0 0 16781312 33554946 8598235806005428481 0 0 17 4 0 0 0
/proc/8029/statm: 75894 5690 373 364 0 10775 0
[pid=8031] ppid=8029 vsize=1860 CPUtime=4.04 cores=0,2,4,6
/proc/8031/stat : 8031 (clasp-1.3.7-x86) R 8029 8031 8031 0 -1 4202496 475 0 0 0 404 0 0 0 25 0 1 0 947973725 1904640 216 33554432000 134512640 136139019 4289278096 18446744073709551615 134640814 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/8031/statm: 465 216 184 398 0 65 0
[pid=7949/tid=7956] ppid=7947 vsize=313820 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 4 0 947963950 321351680 7196 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
[pid=7949/tid=8020] ppid=7947 vsize=313820 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8020/stat : 8020 (python) S 7947 7949 7156 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 4 0 947969099 321351680 7196 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
[pid=7949/tid=8030] ppid=7947 vsize=313820 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8030/stat : 8030 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 4 0 947973725 321351680 7196 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=8091/tid=8105] ppid=8089 vsize=8537932 CPUtime=0.18 cores=0,2,4,6
/proc/8091/task/8105/stat : 8105 (java) S 8089 8091 8091 0 -1 4202560 1620 0 0 0 18 0 0 0 15 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 4 0 0 0
[pid=8091/tid=8106] ppid=8089 vsize=8537932 CPUtime=0.18 cores=0,2,4,6
/proc/8091/task/8106/stat : 8106 (java) S 8089 8091 8091 0 -1 4202560 1366 0 0 0 18 0 0 0 15 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8107] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8107/stat : 8107 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8108] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8108/stat : 8108 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296742400 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8109] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8109/stat : 8109 (java) S 8089 8091 8091 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947987588 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296742400 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=7949/tid=7956] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 6 0 947963950 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
[pid=7949/tid=8020] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8020/stat : 8020 (python) S 7947 7949 7156 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 6 0 947969099 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
[pid=7949/tid=8030] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8030/stat : 8030 (python) S 7947 7949 7156 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 6 0 947973725 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
[pid=7949/tid=8038] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8038/stat : 8038 (python) S 7947 7949 7156 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 6 0 947978575 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 0 0 0 0
[pid=7949/tid=8090] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8090/stat : 8090 (python) S 7947 7949 7156 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 6 0 947987573 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 240.99
Current children cumulated vsize (KiB) 19101964
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+237.602 s]
/proc/loadavg: 2.00 2.04 1.52 4/827 8109
/proc/meminfo: memFree=25650628/32951124 swapFree=33333036/67111528
[pid=7949] ppid=7947 vsize=334836 CPUtime=0.54 cores=0,2,4,6
/proc/7949/stat : 7949 (python) S 7947 7949 7156 0 -1 4202496 13068 934 1 0 44 10 0 0 20 0 6 0 947963899 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/7949/statm: 83709 7337 1879 364 0 18584 0
[pid=7955] ppid=7949 vsize=293692 CPUtime=0.48 cores=0,2,4,6
/proc/7955/stat : 7955 (python) S 7949 7949 7156 0 -1 4202560 1268 0 0 0 30 18 0 0 17 0 2 0 947963950 300740608 5804 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/7955/statm: 73423 5804 414 364 0 8310 0
[pid=7957] ppid=7955 vsize=40588 CPUtime=51.43 cores=0,2,4,6
/proc/7957/stat : 7957 (scip-2.0.1.linu) T 7955 7957 7957 0 -1 4202496 35635 0 0 0 4737 406 0 0 18 0 1 0 947963950 41562112 7947 33554432000 4194304 13684479 140734557796560 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/7957/statm: 10147 7947 811 2317 0 7825 0
[pid=7955/tid=8018] ppid=7949 vsize=293692 CPUtime=0 cores=0,2,4,6
/proc/7955/task/8018/stat : 8018 (python) S 7949 7949 7156 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 947969097 300740608 5804 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604446990942592 0 0 -1 0 0 0 0
[pid=8019] ppid=7949 vsize=293628 CPUtime=0.23 cores=0,2,4,6
/proc/8019/stat : 8019 (python) S 7949 7949 7156 0 -1 4202560 1124 0 0 0 12 11 0 0 17 0 2 0 947969099 300675072 5787 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8019/statm: 73407 5787 397 364 0 8291 0
[pid=8021] ppid=8019 vsize=115588 CPUtime=46.2 cores=0,2,4,6
/proc/8021/stat : 8021 (wbo1.4a) T 8019 8021 8021 0 -1 4202496 28677 0 0 0 4584 36 0 0 25 0 1 0 947969099 118362112 28413 33554432000 134512640 135751879 4286686336 18446744073709551615 134616414 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/8021/statm: 28897 28413 143 303 0 28592 0
[pid=8019/tid=8028] ppid=7949 vsize=293628 CPUtime=0 cores=0,2,4,6
/proc/8019/task/8028/stat : 8028 (python) S 7949 7949 7156 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947973723 300675072 5787 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604449453453632 0 0 -1 6 0 0 0
[pid=8029] ppid=7949 vsize=303576 CPUtime=0.47 cores=0,2,4,6
/proc/8029/stat : 8029 (python) S 7949 7949 7156 0 -1 4202560 1125 0 0 0 25 22 0 0 15 0 2 0 947973725 310861824 5715 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8029/statm: 75894 5715 397 364 0 10775 0
[pid=8031] ppid=8029 vsize=1860 CPUtime=93.67 cores=0,2,4,6
/proc/8031/stat : 8031 (clasp-1.3.7-x86) T 8029 8031 8031 0 -1 4202496 477 0 0 0 9367 0 0 0 25 0 1 0 947973725 1904640 218 33554432000 134512640 136139019 4289278096 18446744073709551615 134871049 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/8031/statm: 465 218 184 398 0 65 0
[pid=8029/tid=8036] ppid=7949 vsize=303576 CPUtime=0 cores=0,2,4,6
/proc/8029/task/8036/stat : 8036 (python) S 7949 7949 7156 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 947978572 310861824 5715 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604442742681792 0 0 -1 0 0 0 0
[pid=8037] ppid=7949 vsize=314336 CPUtime=0.25 cores=0,2,4,6
/proc/8037/stat : 8037 (python) S 7949 7949 7156 0 -1 4202560 1143 0 0 0 13 12 0 0 17 0 2 0 947978575 321880064 5828 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296752587 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/8037/statm: 78584 5828 397 364 0 13462 0
[pid=8039] ppid=8037 vsize=8541336 CPUtime=46.5 cores=0,2,4,6
/proc/8039/stat : 8039 (java) T 8037 8039 8039 0 -1 4202496 115371 0 1 0 4634 16 0 0 18 0 19 0 947978575 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8039/statm: 2135334 94593 2236 9 0 2126075 0
[pid=8039/tid=8040] ppid=8037 vsize=8541336 CPUtime=44.33 cores=0,2,4,6
/proc/8039/task/8040/stat : 8040 (java) T 8037 8039 8039 0 -1 4202560 69033 0 1 0 4425 8 0 0 25 0 19 0 947978576 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 46912505545056 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8041] ppid=8037 vsize=8541336 CPUtime=0.09 cores=0,2,4,6
/proc/8039/task/8041/stat : 8041 (java) T 8037 8039 8039 0 -1 4202560 3638 0 0 0 9 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8039/tid=8042] ppid=8037 vsize=8541336 CPUtime=0.07 cores=0,2,4,6
/proc/8039/task/8042/stat : 8042 (java) T 8037 8039 8039 0 -1 4202560 3677 0 0 0 7 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=8541336 CPUtime=0.1 cores=0,2,4,6
/proc/8039/task/8043/stat : 8043 (java) T 8037 8039 8039 0 -1 4202560 4040 0 0 0 9 1 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=8541336 CPUtime=0.1 cores=0,2,4,6
/proc/8039/task/8044/stat : 8044 (java) T 8037 8039 8039 0 -1 4202560 5991 0 0 0 10 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=8541336 CPUtime=0.07 cores=0,2,4,6
/proc/8039/task/8045/stat : 8045 (java) T 8037 8039 8039 0 -1 4202560 3412 0 0 0 7 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=8541336 CPUtime=0.09 cores=0,2,4,6
/proc/8039/task/8046/stat : 8046 (java) T 8037 8039 8039 0 -1 4202560 4581 0 0 0 9 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=8541336 CPUtime=0.09 cores=0,2,4,6
/proc/8039/task/8047/stat : 8047 (java) T 8037 8039 8039 0 -1 4202560 4792 0 0 0 9 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8039/tid=8048] ppid=8037 vsize=8541336 CPUtime=0.08 cores=0,2,4,6
/proc/8039/task/8048/stat : 8048 (java) T 8037 8039 8039 0 -1 4202560 4460 0 0 0 8 0 0 0 15 0 19 0 947978577 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8039/tid=8049] ppid=8037 vsize=8541336 CPUtime=0.02 cores=0,2,4,6
/proc/8039/task/8049/stat : 8049 (java) T 8037 8039 8039 0 -1 4202560 161 0 0 0 1 1 0 0 15 0 19 0 947978578 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296742400 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=8039/tid=8050] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8050/stat : 8050 (java) T 8037 8039 8039 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947978578 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8051] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8051/stat : 8051 (java) T 8037 8039 8039 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 947978578 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8052] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8052/stat : 8052 (java) T 8037 8039 8039 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947978581 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296749489 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8053] ppid=8037 vsize=8541336 CPUtime=0.73 cores=0,2,4,6
/proc/8039/task/8053/stat : 8053 (java) T 8037 8039 8039 0 -1 4202560 6579 0 0 0 73 0 0 0 15 0 19 0 947978581 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=8039/tid=8054] ppid=8037 vsize=8541336 CPUtime=0.61 cores=0,2,4,6
/proc/8039/task/8054/stat : 8054 (java) T 8037 8039 8039 0 -1 4202560 3611 0 0 0 61 0 0 0 15 0 19 0 947978581 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8039/tid=8055] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8055/stat : 8055 (java) T 8037 8039 8039 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 947978581 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296741785 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8039/tid=8056] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8056/stat : 8056 (java) T 8037 8039 8039 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947978581 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=8039/tid=8057] ppid=8037 vsize=8541336 CPUtime=0 cores=0,2,4,6
/proc/8039/task/8057/stat : 8057 (java) T 8037 8039 8039 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947978591 8746328064 94593 33554432000 1073741824 1073778376 140735501363584 18446744073709551615 224296742400 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=8037/tid=8082] ppid=7949 vsize=314336 CPUtime=0 cores=0,2,4,6
/proc/8037/task/8082/stat : 8082 (python) S 7949 7949 7156 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 947983045 321880064 5828 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554946 18446604452396126272 0 0 -1 6 0 0 0
[pid=8089] ppid=7949 vsize=324592 CPUtime=0 cores=0,2,4,6
/proc/8089/stat : 8089 (python) S 7949 7949 7156 0 -1 4202560 814 0 0 0 0 0 0 0 15 0 1 0 947987573 332382208 5803 33554432000 4194304 5683644 140733482647504 18446744073709551615 224284945990 0 0 16781312 33554946 1774654347536236544 0 0 17 6 0 0 0
/proc/8089/statm: 81148 5803 349 364 0 16023 0
[pid=8091] ppid=8089 vsize=8537932 CPUtime=1.22 cores=0,2,4,6
/proc/8091/stat : 8091 (java) S 8089 8091 8091 0 -1 4202496 18082 0 1 0 120 2 0 0 20 0 19 0 947987574 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/8091/statm: 2134483 16622 2239 9 0 2125224 0
[pid=8091/tid=8092] ppid=8089 vsize=8537932 CPUtime=0.86 cores=0,2,4,6
/proc/8091/task/8092/stat : 8092 (java) R 8089 8091 8091 0 -1 4202560 13176 0 1 0 84 2 0 0 20 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 46912505523848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8091/tid=8093] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8093/stat : 8093 (java) S 8089 8091 8091 0 -1 4202560 118 0 0 0 0 0 0 0 17 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8094] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8094/stat : 8094 (java) S 8089 8091 8091 0 -1 4202560 140 0 0 0 0 0 0 0 18 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8095] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8095/stat : 8095 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8096] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8096/stat : 8096 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8097] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8097/stat : 8097 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8098] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8098/stat : 8098 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8099] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8099/stat : 8099 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8100] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8100/stat : 8100 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 947987575 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8101] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8101/stat : 8101 (java) S 8089 8091 8091 0 -1 4202560 264 0 0 0 0 0 0 0 20 0 19 0 947987576 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296742400 0 0 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8102] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8102/stat : 8102 (java) S 8089 8091 8091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 947987577 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8103] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8103/stat : 8103 (java) S 8089 8091 8091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 947987577 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8104] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8104/stat : 8104 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296749489 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8105] ppid=8089 vsize=8537932 CPUtime=0.18 cores=0,2,4,6
/proc/8091/task/8105/stat : 8105 (java) S 8089 8091 8091 0 -1 4202560 1620 0 0 0 18 0 0 0 15 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 4 0 0 0
[pid=8091/tid=8106] ppid=8089 vsize=8537932 CPUtime=0.18 cores=0,2,4,6
/proc/8091/task/8106/stat : 8106 (java) S 8089 8091 8091 0 -1 4202560 1366 0 0 0 18 0 0 0 15 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8107] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8107/stat : 8107 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296741785 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=8091/tid=8108] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8108/stat : 8108 (java) S 8089 8091 8091 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 947987579 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296742400 0 4 0 16800975 18446604449453455424 0 0 -1 0 0 0 0
[pid=8091/tid=8109] ppid=8089 vsize=8537932 CPUtime=0 cores=0,2,4,6
/proc/8091/task/8109/stat : 8109 (java) S 8089 8091 8091 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 947987588 8742842368 16622 33554432000 1073741824 1073778376 140734215633568 18446744073709551615 224296742400 0 4 0 16800975 18446604449453455424 0 0 -1 6 0 0 0
[pid=7949/tid=7956] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/7956/stat : 7956 (python) S 7947 7949 7156 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 6 0 947963950 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 4 0 0 0
[pid=7949/tid=8020] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8020/stat : 8020 (python) S 7947 7949 7156 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 6 0 947969099 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
[pid=7949/tid=8030] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8030/stat : 8030 (python) S 7947 7949 7156 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 6 0 947973725 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
[pid=7949/tid=8038] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8038/stat : 8038 (python) S 7947 7949 7156 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 6 0 947978575 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 0 0 0 0
[pid=7949/tid=8090] ppid=7947 vsize=334836 CPUtime=0 cores=0,2,4,6
/proc/7949/task/8090/stat : 8090 (python) S 7947 7949 7156 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 6 0 947987573 342872064 7337 33554432000 4194304 5683644 140733482647504 18446744073709551615 224296749489 0 0 16781312 33554434 18446604449453456320 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 240.99
Current children cumulated vsize (KiB) 19101964
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7949 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=447931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=109983
# CPU time returned by wait4() is 0.557914
# while last known CPU time is 240.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 237.694
CPU time (s): 240.99
CPU user time (s): 235.66
CPU system time (s): 5.33
CPU usage (%): 101.387
Max. virtual memory (cumulated for all children) (KiB): 19101964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.447931
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14004
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1011
involuntary context switches= 20
runsolver used 1.80472 second user time and 3.68244 second system time
The end