runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10677 MiB free)
memory of node 1: 16384 MiB (13550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306123-1534129051/watcher-4306123-1534129051 -o /tmp/evaluation-result-4306123-1534129051/solver-4306123-1534129051 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534100983-28907 --watchdog 2580 BTD 12 2520 HOME/instance-4306123-1534129051.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32575, runsolver pid=32572
[startup+0.100284 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24804772/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37160 memory=7104 CPUtime=0.1 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 1930 0 0 0 10 0 0 0 20 0 1 0 230468307 38051840 1776 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9290 1776 488 7861 0 1394 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37160 KiB
Current children cumulated memory: 7104 KiB
[startup+0.209518 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24804772/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37160 memory=7104 CPUtime=0.2 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 1938 0 0 0 20 0 0 0 20 0 1 0 230468307 38051840 1776 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9290 1776 488 7861 0 1394 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37160 KiB
Current children cumulated memory: 7104 KiB
[startup+0.308857 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24778668/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37160 memory=7104 CPUtime=0.31 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 1943 0 0 0 30 1 0 0 20 0 1 0 230468307 38051840 1776 33554432000 4194304 36388936 140737348541728 140737348540568 4528144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9290 1776 488 7861 0 1394 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37160 KiB
Current children cumulated memory: 7104 KiB
[startup+0.920378 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24804444/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37292 memory=7104 CPUtime=0.91 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 1966 0 0 0 88 3 0 0 20 0 1 0 230468307 38187008 1776 33554432000 4194304 36388936 140737348541728 140737348540568 4661890 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9323 1776 488 7861 0 1427 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 37292 KiB
Current children cumulated memory: 7104 KiB
[startup+1.50021 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24804172/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37292 memory=7368 CPUtime=1.5 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 1987 0 0 0 146 4 0 0 20 0 1 0 230468307 38187008 1842 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9323 1842 502 7861 0 1427 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 37292 KiB
Current children cumulated memory: 7368 KiB
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24804172/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37424 memory=7472 CPUtime=3.09 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 2705 0 0 0 304 5 0 0 20 0 1 0 230468307 38322176 1868 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9356 1868 502 7861 0 1460 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37424 KiB
Current children cumulated memory: 7472 KiB
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24803844/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37556 memory=7552 CPUtime=6.28 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 3465 0 0 0 622 6 0 0 20 0 1 0 230468307 38457344 1888 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9389 1888 502 7861 0 1493 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 37556 KiB
Current children cumulated memory: 7552 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24803512/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37556 memory=7656 CPUtime=12.68 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 4239 0 0 0 1259 9 0 0 20 0 1 0 230468307 38457344 1914 33554432000 4194304 36388936 140737348541728 140737348540568 4661846 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9389 1914 502 7861 0 1493 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 37556 KiB
Current children cumulated memory: 7656 KiB
[startup+25.5003 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32576
/proc/meminfo: memFree=24803760/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37688 memory=7784 CPUtime=25.49 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 5771 0 0 0 2534 15 0 0 20 0 1 0 230468307 38592512 1946 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9422 1946 504 7861 0 1526 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 37688 KiB
Current children cumulated memory: 7784 KiB
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32577
/proc/meminfo: memFree=24803436/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37820 memory=7864 CPUtime=51.08 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 6632 0 0 0 5082 26 0 0 20 0 1 0 230468307 38727680 1966 33554432000 4194304 36388936 140737348541728 140737348540568 6663856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9455 1966 504 7861 0 1559 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 37820 KiB
Current children cumulated memory: 7864 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32578
/proc/meminfo: memFree=24803580/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37952 memory=7988 CPUtime=102.29 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 7337 0 0 0 10178 51 0 0 20 0 1 0 230468307 38862848 1997 33554432000 4194304 36388936 140737348541728 140737348540568 4525301 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9488 1997 504 7861 0 1592 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 37952 KiB
Current children cumulated memory: 7988 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32586
/proc/meminfo: memFree=24802332/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37952 memory=8148 CPUtime=162.28 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 8049 0 0 0 16150 78 0 0 20 0 1 0 230468307 38862848 2037 33554432000 4194304 36388936 140737348541728 140737348540568 6663888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9488 2037 504 7861 0 1592 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 37952 KiB
Current children cumulated memory: 8148 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32610
/proc/meminfo: memFree=24801500/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=37952 memory=8168 CPUtime=222.28 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 8528 0 0 0 22128 100 0 0 20 0 1 0 230468307 38862848 2042 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9488 2042 504 7861 0 1592 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 37952 KiB
Current children cumulated memory: 8168 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32611
/proc/meminfo: memFree=24802356/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38084 memory=8188 CPUtime=282.28 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 9012 0 0 0 28103 125 0 0 20 0 1 0 230468307 38998016 2047 33554432000 4194304 36388936 140737348541728 140737348540568 4528159 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9521 2047 504 7861 0 1625 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 38084 KiB
Current children cumulated memory: 8188 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32612
/proc/meminfo: memFree=24802116/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38084 memory=8236 CPUtime=342.29 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 9494 0 0 0 34078 151 0 0 20 0 1 0 230468307 38998016 2059 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9521 2059 504 7861 0 1625 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 38084 KiB
Current children cumulated memory: 8236 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32673
/proc/meminfo: memFree=24803356/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38084 memory=8252 CPUtime=402.29 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 9999 0 0 0 40047 182 0 0 20 0 1 0 230468307 38998016 2063 33554432000 4194304 36388936 140737348541728 140737348540568 4661824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9521 2063 504 7861 0 1625 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 38084 KiB
Current children cumulated memory: 8252 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32674
/proc/meminfo: memFree=24803200/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38084 memory=8296 CPUtime=462.29 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 10504 0 0 0 46019 210 0 0 20 0 1 0 230468307 38998016 2074 33554432000 4194304 36388936 140737348541728 140737348540568 6664263 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9521 2074 504 7861 0 1625 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 38084 KiB
Current children cumulated memory: 8296 KiB
################
# More data... #
################
Current children cumulated memory: 8464 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32725
/proc/meminfo: memFree=24802360/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8484 CPUtime=2022.33 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 22929 0 0 0 201330 903 0 0 20 0 1 0 230468307 39268352 2121 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2121 504 7861 0 1691 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8484 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32726
/proc/meminfo: memFree=24802136/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8484 CPUtime=2082.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 23399 0 0 0 207300 934 0 0 20 0 1 0 230468307 39268352 2121 33554432000 4194304 36388936 140737348541728 140737348540568 4528198 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2121 504 7861 0 1691 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8484 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32728
/proc/meminfo: memFree=24802228/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8504 CPUtime=2142.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 23885 0 0 0 213270 964 0 0 20 0 1 0 230468307 39268352 2126 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2126 504 7861 0 1691 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8504 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32729
/proc/meminfo: memFree=24802320/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8508 CPUtime=2202.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 24358 0 0 0 219240 994 0 0 20 0 1 0 230468307 39268352 2127 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2127 504 7861 0 1691 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8508 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32730
/proc/meminfo: memFree=24802300/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8508 CPUtime=2262.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 24852 0 0 0 225210 1024 0 0 20 0 1 0 230468307 39268352 2127 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2127 504 7861 0 1691 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8508 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32731
/proc/meminfo: memFree=24802160/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8508 CPUtime=2322.35 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 25321 0 0 0 231180 1055 0 0 20 0 1 0 230468307 39268352 2127 33554432000 4194304 36388936 140737348541728 140737348540568 4621708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2127 504 7861 0 1691 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8508 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32732
/proc/meminfo: memFree=24802040/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2382.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 25808 0 0 0 237153 1081 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32733
/proc/meminfo: memFree=24802176/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2442.35 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 26278 0 0 0 243128 1107 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32734
/proc/meminfo: memFree=24802564/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2502.35 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 26747 0 0 0 249098 1137 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 4528205 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2519.97 s]
# the end of solver process 32575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.56 s, system=11.4763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32734
/proc/meminfo: memFree=24802564/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2509.35 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 26747 0 0 0 249794 1141 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2509.35 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2515.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32734
/proc/meminfo: memFree=24802564/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2515.75 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 26747 0 0 0 250431 1144 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 4525236 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2515.75 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2517.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32734
/proc/meminfo: memFree=24802564/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2517.34 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 27219 0 0 0 250589 1145 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 8047831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2517.34 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2518.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32735
/proc/meminfo: memFree=24802516/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2518.95 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 27219 0 0 0 250748 1147 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 4525192 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2518.95 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32735
/proc/meminfo: memFree=24802516/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2519.75 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 27219 0 0 0 250828 1147 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 4251292 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32735
/proc/meminfo: memFree=24802516/32770624 swapFree=67058932/67108860
[pid=32575] ppid=32572 vsize=38348 memory=8532 CPUtime=2519.95 cores=0,2,4,6
/proc/32575/stat : 32575 (BTD) R 32572 32575 28876 0 -1 4202496 27219 0 0 0 250848 1147 0 0 20 0 1 0 230468307 39268352 2133 33554432000 4194304 36388936 140737348541728 140737348540568 4420302 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 62935040 140737348543676 140737348543755 140737348543755 140737348546513 0
/proc/32575/statm: 9587 2133 504 7861 0 1691 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 38348 KiB
Current children cumulated memory: 8532 KiB
Child status: 0
Real time (s): 2519.97
CPU time (s): 2520.03
CPU user time (s): 2508.56
CPU system time (s): 11.4763
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 38348
Max. memory (cumulated for all children) (KiB): 8532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.56
system time used= 11.4763
maximum resident set size= 8548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 769
# summary of solver processes directly reported to runsolver:
# pid: 32575
# total CPU time (s): 2520.03
# total CPU user time (s): 2508.56
# total CPU system time (s): 11.4763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42446 second user time and 17.7379 second system time
The end