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-3481532-1307578071/watcher-3481532-1307578071 -o /tmp/evaluation-result-3481532-1307578071/solver-3481532-1307578071 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481532-1307578071.opb -seed 884438884 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.07 1.71 2/633 31988
/proc/meminfo: memFree=16041232/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/31988/stat : 31988 (python) R 31986 31988 30366 0 -1 4202496 1116 0 0 0 1 0 0 0 21 0 1 0 850222670 16789504 984 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095446885 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31988/statm: 4099 984 408 364 0 586 0
[startup+0.055379 s]
/proc/loadavg: 2.02 2.07 1.71 2/633 31988
/proc/meminfo: memFree=16041232/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=36508 CPUtime=0.03 cores=0,2,4,6
/proc/31988/stat : 31988 (python) R 31986 31988 30366 0 -1 4202496 1568 0 0 0 3 0 0 0 22 0 1 0 850222670 37384192 1402 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095111877 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31988/statm: 9127 1402 452 364 0 944 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 36508
[startup+0.100366 s]
/proc/loadavg: 2.02 2.07 1.71 2/633 31988
/proc/meminfo: memFree=16041232/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/31988/stat : 31988 (python) R 31986 31988 30366 0 -1 4202496 3170 930 1 0 5 1 0 0 22 0 1 0 850222670 98430976 2483 33554432000 4194304 5683644 140733927135232 18446744073709551615 5178114 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31988/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300302 s]
/proc/loadavg: 2.02 2.07 1.71 2/633 31988
/proc/meminfo: memFree=16041232/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 6679 930 1 0 17 6 0 0 23 0 1 0 850222670 207863808 4962 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 2 0 0 0
/proc/31988/statm: 50749 4963 1472 364 0 3711 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992
[startup+0.700282 s]
/proc/loadavg: 2.02 2.07 1.71 2/633 31988
/proc/meminfo: memFree=16041232/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=285308 CPUtime=0.4 cores=0,2,4,6
/proc/31988/stat : 31988 (python) R 31986 31988 30366 0 -1 4202496 9903 930 1 0 31 9 0 0 18 0 1 0 850222670 292155392 7632 33554432000 4194304 5683644 140733927135232 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/31988/statm: 71327 7632 1777 364 0 6220 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 285308
[startup+1.50109 s]
/proc/loadavg: 2.09 2.09 1.72 3/634 31994
/proc/meminfo: memFree=16008240/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=302300 CPUtime=1.36 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 15300 1459 1 0 104 10 21 1 21 0 2 0 850222670 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 75575 9415 1871 364 0 10462 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 302300
[startup+3.10076 s]
/proc/loadavg: 2.09 2.09 1.72 4/637 31997
/proc/meminfo: memFree=15920920/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=302300 CPUtime=1.36 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 15300 1459 1 0 104 10 21 1 21 0 2 0 850222670 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 75575 9415 1871 364 0 10462 0
[pid=31995] ppid=31988 vsize=292056 CPUtime=0 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 717 0 0 0 0 0 0 0 15 0 1 0 850222814 299065344 7858 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471119 0 0 16781312 33554946 602581751260217602 0 0 17 2 0 0 0
/proc/31995/statm: 73014 7858 318 364 0 7901 0
[pid=31997] ppid=31995 vsize=100236 CPUtime=1.62 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) R 31995 31997 31997 0 -1 4202496 24272 0 0 0 153 9 0 0 18 0 1 0 850222815 102641664 22102 33554432000 4194304 13684479 140733481143680 18446744073709551615 6628875 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/31997/statm: 25059 22102 767 2317 0 22737 0
[pid=31988/tid=31996] ppid=31986 vsize=302300 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 2 0 850222815 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 694592
[startup+6.30124 s]
/proc/loadavg: 2.09 2.09 1.72 4/637 31997
/proc/meminfo: memFree=15912540/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=302300 CPUtime=1.36 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 15300 1459 1 0 104 10 21 1 21 0 2 0 850222670 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 75575 9415 1871 364 0 10462 0
[pid=31995] ppid=31988 vsize=292056 CPUtime=0.01 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 848 0 0 0 1 0 0 0 15 0 1 0 850222814 299065344 7882 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471119 0 0 16781312 33554946 2187000422319783936 0 0 17 0 0 0 0
/proc/31995/statm: 73014 7882 342 364 0 7901 0
[pid=31997] ppid=31995 vsize=110392 CPUtime=4.81 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) R 31995 31997 31997 0 -1 4202496 26934 0 0 0 470 11 0 0 18 0 1 0 850222815 113041408 24660 33554432000 4194304 13684479 140733481143680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31997/statm: 27598 24660 758 2317 0 25276 0
[pid=31988/tid=31996] ppid=31986 vsize=302300 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 2 0 850222815 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 704748
[startup+12.7011 s]
/proc/loadavg: 2.08 2.08 1.72 4/637 31997
/proc/meminfo: memFree=15890240/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=302300 CPUtime=1.36 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 15300 1459 1 0 104 10 21 1 21 0 2 0 850222670 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 75575 9415 1871 364 0 10462 0
[pid=31995] ppid=31988 vsize=292056 CPUtime=0.04 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 854 0 0 0 2 2 0 0 15 0 1 0 850222814 299065344 7882 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471119 0 0 16781312 33554946 34404324423499776 0 0 17 0 0 0 0
/proc/31995/statm: 73014 7882 342 364 0 7901 0
[pid=31997] ppid=31995 vsize=128804 CPUtime=11.21 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) R 31995 31997 31997 0 -1 4202496 32609 0 0 0 1105 16 0 0 21 0 1 0 850222815 131895296 29584 33554432000 4194304 13684479 140733481143680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31997/statm: 32201 29584 761 2317 0 29879 0
[pid=31988/tid=31996] ppid=31986 vsize=302300 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 2 0 850222815 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 723160
[startup+25.5007 s]
/proc/loadavg: 2.07 2.08 1.73 3/659 32020
/proc/meminfo: memFree=15755924/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=302300 CPUtime=1.36 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 15300 1459 1 0 104 10 21 1 21 0 2 0 850222670 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 75575 9415 1871 364 0 10462 0
[pid=31995] ppid=31988 vsize=292056 CPUtime=0.14 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 872 0 0 0 7 7 0 0 15 0 1 0 850222814 299065344 7882 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471119 0 0 16781312 33554946 4294934785 0 0 17 6 0 0 0
/proc/31995/statm: 73014 7882 342 364 0 7901 0
[pid=31997] ppid=31995 vsize=150180 CPUtime=24.01 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) R 31995 31997 31997 0 -1 4202496 37516 0 0 0 2376 25 0 0 19 0 1 0 850222815 153784320 34399 33554432000 4194304 13684479 140733481143680 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/31997/statm: 37545 34399 781 2317 0 35223 0
[pid=31988/tid=31996] ppid=31986 vsize=302300 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 2 0 850222815 309555200 9415 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 744536
[startup+51.101 s]
/proc/loadavg: 2.04 2.07 1.73 3/663 32024
/proc/meminfo: memFree=15568304/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=312556 CPUtime=1.38 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 16169 1459 1 0 106 10 21 1 20 0 3 0 850222670 320057344 9422 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/31988/statm: 78139 9422 1874 364 0 13023 0
[pid=31995] ppid=31988 vsize=302300 CPUtime=0.25 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 1086 0 0 0 14 11 0 0 17 0 2 0 850222814 309555200 7950 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31995/statm: 75575 7950 405 364 0 10462 0
[pid=31997] ppid=31995 vsize=182064 CPUtime=46.72 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) T 31995 31997 31997 0 -1 4202496 45670 0 0 0 4632 40 0 0 25 0 1 0 850222815 186433536 42343 33554432000 4194304 13684479 140733481143680 18446744073709551615 11065640 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/31997/statm: 45516 42343 838 2317 0 43194 0
[pid=31995/tid=32021] ppid=31988 vsize=302300 CPUtime=0 cores=0,2,4,6
/proc/31995/task/32021/stat : 32021 (python) S 31988 31988 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850227490 309555200 7950 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604447704060928 0 0 -1 6 0 0 0
[pid=32022] ppid=31988 vsize=302312 CPUtime=0 cores=0,2,4,6
/proc/32022/stat : 32022 (python) S 31988 31988 30366 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 850227492 309567488 7863 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471174 0 0 16781312 33554946 2117253095485341696 0 0 17 6 0 0 0
/proc/32022/statm: 75578 7863 319 364 0 10462 0
[pid=32024] ppid=32022 vsize=109900 CPUtime=2.86 cores=0,2,4,6
/proc/32024/stat : 32024 (scip-2.0.1.linu) R 32022 32024 32024 0 -1 4202496 25380 0 0 0 278 8 0 0 19 0 1 0 850227493 112537600 23769 33554432000 4194304 15243407 140736767146496 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32024/statm: 27475 23769 853 2698 0 24770 0
[pid=31988/tid=31996] ppid=31986 vsize=312556 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 3 0 850222815 320057344 9422 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32023] ppid=31986 vsize=312556 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32023/stat : 32023 (python) S 31986 31988 30366 0 -1 4202560 29 1459 0 0 0 0 21 1 20 0 3 0 850227493 320057344 9422 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 1209132
[startup+102.321 s]
/proc/loadavg: 2.20 2.11 1.76 4/671 32034
/proc/meminfo: memFree=15336044/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=322812 CPUtime=1.4 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 17041 1459 1 0 108 10 21 1 20 0 4 0 850222670 330559488 9428 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31988/statm: 80703 9428 1876 364 0 15584 0
[pid=31995] ppid=31988 vsize=302300 CPUtime=0.25 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 1086 0 0 0 14 11 0 0 17 0 2 0 850222814 309555200 7950 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31995/statm: 75575 7950 405 364 0 10462 0
[pid=31997] ppid=31995 vsize=182064 CPUtime=46.72 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) T 31995 31997 31997 0 -1 4202496 45670 0 0 0 4632 40 0 0 25 0 1 0 850222815 186433536 42343 33554432000 4194304 13684479 140733481143680 18446744073709551615 11065640 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/31997/statm: 45516 42343 838 2317 0 43194 0
[pid=31995/tid=32021] ppid=31988 vsize=302300 CPUtime=0 cores=0,2,4,6
/proc/31995/task/32021/stat : 32021 (python) S 31988 31988 30366 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850227490 309555200 7950 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604447704060928 0 0 -1 6 0 0 0
[pid=32022] ppid=31988 vsize=302312 CPUtime=0.25 cores=0,2,4,6
/proc/32022/stat : 32022 (python) S 31988 31988 30366 0 -1 4202560 1126 0 0 0 14 11 0 0 16 0 2 0 850227492 309567488 7935 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32022/statm: 75578 7935 390 364 0 10462 0
[pid=32024] ppid=32022 vsize=140288 CPUtime=47.74 cores=0,2,4,6
/proc/32024/stat : 32024 (scip-2.0.1.linu) T 32022 32024 32024 0 -1 4202496 48552 0 0 0 4754 20 0 0 18 0 1 0 850227493 143654912 31699 33554432000 4194304 15243407 140736767146496 18446744073709551615 4413168 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32024/statm: 35072 31699 866 2698 0 32367 0
[pid=32022/tid=32031] ppid=31988 vsize=302312 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (python) S 31988 31988 30366 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 850232267 309567488 7935 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604446605829312 0 0 -1 6 0 0 0
[pid=32032] ppid=31988 vsize=312568 CPUtime=0.02 cores=0,2,4,6
/proc/32032/stat : 32032 (python) S 31988 31988 30366 0 -1 4202560 892 0 0 0 1 1 0 0 18 0 1 0 850232270 320069632 7891 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471174 0 0 16781312 33554946 3425722991109964036 0 0 17 4 0 0 0
/proc/32032/statm: 78142 7891 343 364 0 13023 0
[pid=32034] ppid=32032 vsize=124100 CPUtime=6.31 cores=0,2,4,6
/proc/32034/stat : 32034 (wbo1.4a) R 32032 32034 32034 0 -1 4202496 31978 0 0 0 627 4 0 0 25 0 1 0 850232270 127078400 30412 33554432000 134512640 135751879 4294270224 18446744073709551615 135204850 0 0 16781312 3 0 0 0 17 4 0 0 0
/proc/32034/statm: 31025 30412 143 303 0 30720 0
[pid=31988/tid=31996] ppid=31986 vsize=322812 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 26 1459 0 0 0 0 21 1 21 0 4 0 850222815 330559488 9428 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32023] ppid=31986 vsize=322812 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32023/stat : 32023 (python) S 31986 31988 30366 0 -1 4202560 29 1459 0 0 0 0 21 1 20 0 4 0 850227493 330559488 9428 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=31988/tid=31996] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 35 1459 0 0 0 0 21 1 18 0 7 0 850222815 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32023] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32023/stat : 32023 (python) S 31986 31988 30366 0 -1 4202560 37 1459 0 0 0 0 21 1 18 0 7 0 850227493 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32033] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32033/stat : 32033 (python) S 31986 31988 30366 0 -1 4202560 25 1459 0 0 0 0 21 1 20 0 7 0 850232270 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 4 0 0 0
[pid=31988/tid=32098] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32098/stat : 32098 (python) S 31986 31988 30366 0 -1 4202560 31 1459 0 0 0 0 21 1 20 0 7 0 850237200 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 6 0 0 0
[pid=31988/tid=32148] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32148/stat : 32148 (python) S 31986 31988 30366 0 -1 4202560 30 1459 0 0 0 0 21 1 20 0 7 0 850246479 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 4 0 0 0
[pid=31988/tid=32262] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32262/stat : 32262 (python) S 31986 31988 30366 0 -1 4202560 25 1459 0 0 0 0 21 1 20 0 7 0 850292788 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 708.95
Current children cumulated vsize (KiB) 20208280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+701.702 s]
/proc/loadavg: 2.21 2.11 1.90 8/791 32302
/proc/meminfo: memFree=9891216/32951124 swapFree=57370024/67111528
[pid=31988] ppid=31986 vsize=353580 CPUtime=1.56 cores=0,2,4,6
/proc/31988/stat : 31988 (python) S 31986 31988 30366 0 -1 4202496 19946 1459 1 0 123 11 21 1 20 0 7 0 850222670 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/31988/statm: 88395 9446 1882 364 0 23267 0
[pid=31995] ppid=31988 vsize=302300 CPUtime=1.71 cores=0,2,4,6
/proc/31995/stat : 31995 (python) S 31988 31988 30366 0 -1 4202560 1194 0 0 0 85 86 0 0 15 0 2 0 850222814 309555200 7952 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/31995/statm: 75575 7952 407 364 0 10462 0
[pid=31997] ppid=31995 vsize=198200 CPUtime=321.43 cores=0,2,4,6
/proc/31997/stat : 31997 (scip-2.0.1.linu) T 31995 31997 31997 0 -1 4202496 49829 0 0 0 31999 144 0 0 25 0 1 0 850222815 202956800 46336 33554432000 4194304 13684479 140733481143680 18446744073709551615 7154634 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/31997/statm: 49550 46336 785 2317 0 47228 0
[pid=31995/tid=32021] ppid=31988 vsize=302300 CPUtime=0 cores=0,2,4,6
/proc/31995/task/32021/stat : 32021 (python) S 31988 31988 30366 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 850227490 309555200 7952 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604447704060928 0 0 -1 6 0 0 0
[pid=32022] ppid=31988 vsize=302312 CPUtime=1.03 cores=0,2,4,6
/proc/32022/stat : 32022 (python) S 31988 31988 30366 0 -1 4202560 1209 0 0 0 55 48 0 0 15 0 2 0 850227492 309567488 7944 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32022/statm: 75578 7944 399 364 0 10462 0
[pid=32024] ppid=32022 vsize=199960 CPUtime=186.7 cores=0,2,4,6
/proc/32024/stat : 32024 (scip-2.0.1.linu) T 32022 32024 32024 0 -1 4202496 63459 0 0 0 18622 48 0 0 25 0 1 0 850227493 204759040 45342 33554432000 4194304 15243407 140736767146496 18446744073709551615 4963150 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/32024/statm: 49990 45342 866 2698 0 47285 0
[pid=32022/tid=32031] ppid=31988 vsize=302312 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (python) S 31988 31988 30366 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 850232267 309567488 7944 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604446605829312 0 0 -1 6 0 0 0
[pid=32032] ppid=31988 vsize=312568 CPUtime=0.26 cores=0,2,4,6
/proc/32032/stat : 32032 (python) S 31988 31988 30366 0 -1 4202560 1109 0 0 0 15 11 0 0 16 0 2 0 850232270 320069632 7939 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32032/statm: 78142 7939 390 364 0 13023 0
[pid=32034] ppid=32032 vsize=419512 CPUtime=49.24 cores=0,2,4,6
/proc/32034/stat : 32034 (wbo1.4a) T 32032 32034 32034 0 -1 4202496 106285 0 0 0 4895 29 0 0 25 0 1 0 850232270 429580288 104353 33554432000 134512640 135751879 4294270224 18446744073709551615 134620317 0 0 16781312 3 18446744071562691360 0 0 17 4 0 0 0
/proc/32034/statm: 104878 104353 146 303 0 104573 0
[pid=32032/tid=32096] ppid=31988 vsize=312568 CPUtime=0 cores=0,2,4,6
/proc/32032/task/32096/stat : 32096 (python) S 31988 31988 30366 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850237197 320069632 7939 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453982658752 0 0 -1 6 0 0 0
[pid=32097] ppid=31988 vsize=322824 CPUtime=0.22 cores=0,2,4,6
/proc/32097/stat : 32097 (python) S 31988 31988 30366 0 -1 4202560 1140 0 0 0 12 10 0 0 16 0 2 0 850237200 330571776 7943 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/32097/statm: 80706 7943 390 364 0 15584 0
[pid=32099] ppid=32097 vsize=8550580 CPUtime=50.58 cores=0,2,4,6
/proc/32099/stat : 32099 (java) T 32097 32099 32099 0 -1 4202496 335179 0 1 0 5020 38 0 0 18 0 19 0 850237200 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32099/statm: 2137645 327051 2253 9 0 2128386 0
[pid=32099/tid=32100] ppid=32097 vsize=8550580 CPUtime=47.2 cores=0,2,4,6
/proc/32099/task/32100/stat : 32100 (java) T 32097 32099 32099 0 -1 4202560 232739 0 1 0 4696 24 0 0 25 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 46912506049520 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32101] ppid=32097 vsize=8550580 CPUtime=0.07 cores=0,2,4,6
/proc/32099/task/32101/stat : 32101 (java) T 32097 32099 32099 0 -1 4202560 6020 0 0 0 7 0 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32102] ppid=32097 vsize=8550580 CPUtime=0.1 cores=0,2,4,6
/proc/32099/task/32102/stat : 32102 (java) T 32097 32099 32099 0 -1 4202560 8950 0 0 0 9 1 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32099/tid=32103] ppid=32097 vsize=8550580 CPUtime=0.15 cores=0,2,4,6
/proc/32099/task/32103/stat : 32103 (java) T 32097 32099 32099 0 -1 4202560 11655 0 0 0 14 1 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32104] ppid=32097 vsize=8550580 CPUtime=0.1 cores=0,2,4,6
/proc/32099/task/32104/stat : 32104 (java) T 32097 32099 32099 0 -1 4202560 7028 0 0 0 9 1 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32105] ppid=32097 vsize=8550580 CPUtime=0.23 cores=0,2,4,6
/proc/32099/task/32105/stat : 32105 (java) T 32097 32099 32099 0 -1 4202560 17170 0 0 0 21 2 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32099/tid=32106] ppid=32097 vsize=8550580 CPUtime=0.18 cores=0,2,4,6
/proc/32099/task/32106/stat : 32106 (java) T 32097 32099 32099 0 -1 4202560 13332 0 0 0 17 1 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=32099/tid=32107] ppid=32097 vsize=8550580 CPUtime=0.1 cores=0,2,4,6
/proc/32099/task/32107/stat : 32107 (java) T 32097 32099 32099 0 -1 4202560 7416 0 0 0 10 0 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32108] ppid=32097 vsize=8550580 CPUtime=0.17 cores=0,2,4,6
/proc/32099/task/32108/stat : 32108 (java) T 32097 32099 32099 0 -1 4202560 14565 0 0 0 16 1 0 0 15 0 19 0 850237201 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32099/tid=32109] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32109/stat : 32109 (java) T 32097 32099 32099 0 -1 4202560 991 0 0 0 0 0 0 0 15 0 19 0 850237202 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107267584 0 0 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32099/tid=32110] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32110/stat : 32110 (java) T 32097 32099 32099 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850237203 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32099/tid=32111] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32111/stat : 32111 (java) T 32097 32099 32099 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850237203 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32099/tid=32112] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32112/stat : 32112 (java) T 32097 32099 32099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850237205 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107274673 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32099/tid=32113] ppid=32097 vsize=8550580 CPUtime=1.13 cores=0,2,4,6
/proc/32099/task/32113/stat : 32113 (java) T 32097 32099 32099 0 -1 4202560 8481 0 0 0 112 1 0 0 15 0 19 0 850237205 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=32099/tid=32114] ppid=32097 vsize=8550580 CPUtime=1.03 cores=0,2,4,6
/proc/32099/task/32114/stat : 32114 (java) T 32097 32099 32099 0 -1 4202560 5433 0 0 0 103 0 0 0 15 0 19 0 850237205 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32115] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32115/stat : 32115 (java) T 32097 32099 32099 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850237205 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107266969 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=32099/tid=32116] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32116/stat : 32116 (java) T 32097 32099 32099 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850237205 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32099/tid=32117] ppid=32097 vsize=8550580 CPUtime=0 cores=0,2,4,6
/proc/32099/task/32117/stat : 32117 (java) T 32097 32099 32099 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850237273 8755793920 327051 33554432000 1073741824 1073778376 140735588505952 18446744073709551615 228107267584 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=32097/tid=32123] ppid=31988 vsize=322824 CPUtime=0 cores=0,2,4,6
/proc/32097/task/32123/stat : 32123 (python) S 31988 31988 30366 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 850241954 330571776 7943 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604453985580864 0 0 -1 6 0 0 0
[pid=32147] ppid=31988 vsize=333080 CPUtime=0.46 cores=0,2,4,6
/proc/32147/stat : 32147 (python) S 31988 31988 30366 0 -1 4202560 1229 0 0 0 25 21 0 0 16 0 2 0 850246479 341073920 7953 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107277771 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/32147/statm: 83270 7953 396 364 0 18145 0
[pid=32149] ppid=32147 vsize=23796 CPUtime=94.51 cores=0,2,4,6
/proc/32149/stat : 32149 (clasp-1.3.7-x86) T 32147 32149 32149 0 -1 4202496 6395 0 0 0 9451 0 0 0 25 0 1 0 850246479 24367104 5699 33554432000 134512640 136139019 4293060128 18446744073709551615 134640568 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/32149/statm: 5949 5699 187 398 0 5549 0
[pid=32147/tid=32157] ppid=31988 vsize=333080 CPUtime=0 cores=0,2,4,6
/proc/32147/task/32157/stat : 32157 (python) S 31988 31988 30366 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 850255931 341073920 7953 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554946 18446604447704061824 0 0 -1 0 0 0 0
[pid=32261] ppid=31988 vsize=343336 CPUtime=0 cores=0,2,4,6
/proc/32261/stat : 32261 (python) S 31988 31988 30366 0 -1 4202560 806 0 0 0 0 0 0 0 19 0 1 0 850292787 351576064 7879 33554432000 4194304 5683644 140733927135232 18446744073709551615 228095471174 0 0 16781312 33554946 3486793229876068352 0 0 17 2 0 0 0
/proc/32261/statm: 85834 7879 319 364 0 20706 0
[pid=32263] ppid=32261 vsize=8546232 CPUtime=1.25 cores=0,2,4,6
/proc/32263/stat : 32263 (java) S 32261 32263 32263 0 -1 4202496 24097 0 1 0 122 3 0 0 20 0 18 0 850292788 8751341568 19732 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32263/statm: 2136558 19733 2225 9 0 2127299 0
[pid=32263/tid=32264] ppid=32261 vsize=8546232 CPUtime=0.54 cores=0,2,4,6
/proc/32263/task/32264/stat : 32264 (java) R 32261 32263 32263 0 -1 4202560 11373 0 1 0 53 1 0 0 18 0 18 0 850292789 8751341568 19787 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 46912505587318 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32263/tid=32265] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32265/stat : 32265 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 850292789 8751341568 19788 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32266] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32266/stat : 32266 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 850292789 8751341568 19789 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32267] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32267/stat : 32267 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 850292789 8751341568 19791 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32268] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32268/stat : 32268 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292789 8751341568 19792 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32269] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32269/stat : 32269 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292789 8751341568 19793 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32270] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32270/stat : 32270 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292789 8751341568 19795 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32271] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32271/stat : 32271 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292789 8751341568 19797 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32272] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32272/stat : 32272 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292789 8751341568 19797 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32273] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32273/stat : 32273 (java) S 32261 32263 32263 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 850292790 8751341568 19798 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107267584 0 0 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32274] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32274/stat : 32274 (java) S 32261 32263 32263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 850292791 8751341568 19798 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32275] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32275/stat : 32275 (java) S 32261 32263 32263 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 850292791 8751341568 19799 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32276] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32276/stat : 32276 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292793 8751341568 19800 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107274673 0 4 0 16800975 18446604450822989952 0 0 -1 2 0 0 0
[pid=32263/tid=32277] ppid=32261 vsize=8546232 CPUtime=0.35 cores=0,2,4,6
/proc/32263/task/32277/stat : 32277 (java) R 32261 32263 32263 0 -1 4202560 4851 0 0 0 34 1 0 0 17 0 18 0 850292793 8751341568 19802 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 47126065798297 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32263/tid=32278] ppid=32261 vsize=8546232 CPUtime=0.34 cores=0,2,4,6
/proc/32263/task/32278/stat : 32278 (java) R 32261 32263 32263 0 -1 4202560 6529 0 0 0 34 0 0 0 17 0 18 0 850292793 8751341568 19803 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 47126062574855 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32263/tid=32279] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32279/stat : 32279 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 850292793 8751341568 19804 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107266969 0 4 0 16800975 18446604450822989952 0 0 -1 4 0 0 0
[pid=32263/tid=32280] ppid=32261 vsize=8546232 CPUtime=0 cores=0,2,4,6
/proc/32263/task/32280/stat : 32280 (java) S 32261 32263 32263 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 850292793 8751341568 19806 33554432000 1073741824 1073778376 140736908675200 18446744073709551615 228107267584 0 4 0 16800975 18446604450822989952 0 0 -1 0 0 0 0
[pid=31988/tid=31996] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/31996/stat : 31996 (python) S 31986 31988 30366 0 -1 4202560 35 1459 0 0 0 0 21 1 18 0 7 0 850222815 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32023] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32023/stat : 32023 (python) S 31986 31988 30366 0 -1 4202560 37 1459 0 0 0 0 21 1 18 0 7 0 850227493 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 2 0 0 0
[pid=31988/tid=32033] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32033/stat : 32033 (python) S 31986 31988 30366 0 -1 4202560 25 1459 0 0 0 0 21 1 20 0 7 0 850232270 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 4 0 0 0
[pid=31988/tid=32098] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32098/stat : 32098 (python) S 31986 31988 30366 0 -1 4202560 31 1459 0 0 0 0 21 1 20 0 7 0 850237200 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 6 0 0 0
[pid=31988/tid=32148] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32148/stat : 32148 (python) S 31986 31988 30366 0 -1 4202560 30 1459 0 0 0 0 21 1 20 0 7 0 850246479 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 4 0 0 0
[pid=31988/tid=32262] ppid=31986 vsize=353580 CPUtime=0.22 cores=0,2,4,6
/proc/31988/task/32262/stat : 32262 (python) S 31986 31988 30366 0 -1 4202560 25 1459 0 0 0 0 21 1 20 0 7 0 850292788 362065920 9446 33554432000 4194304 5683644 140733927135232 18446744073709551615 228107274673 0 0 16781312 33554434 18446604441784671296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 708.95
Current children cumulated vsize (KiB) 20208280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31988 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=456778
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 1.58876
# while last known CPU time is 708.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 701.794
CPU time (s): 708.95
CPU user time (s): 704.45
CPU system time (s): 4.5
CPU usage (%): 101.02
Max. virtual memory (cumulated for all children) (KiB): 20208280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45678
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21408
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= 12976
involuntary context switches= 32
runsolver used 6.10107 second user time and 12.2181 second system time
The end