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 (13231 MiB free)
memory of node 1: 16384 MiB (10858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294170-1532503490/watcher-4294170-1532503490 -o /tmp/evaluation-result-4294170-1532503490/solver-4294170-1532503490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532503484-878 --watchdog 2580 BTD 3 2520 HOME/instance-4294170-1532503490.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
solver pid=1176, runsolver pid=1173
Current StackSize limit: 8192 KiB
[startup+0.100548 s]*
/proc/loadavg: 0.68 0.74 1.01 3/187 1177
/proc/meminfo: memFree=24668216/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32752 memory=2884 CPUtime=0.09 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 870 0 0 0 9 0 0 0 20 0 1 0 67912243 33538048 721 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8188 721 508 7861 0 292 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32752 KiB
Current children cumulated memory: 2884 KiB
[startup+0.209201 s]*
/proc/loadavg: 0.68 0.74 1.01 3/196 1200
/proc/meminfo: memFree=24659684/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32752 memory=2884 CPUtime=0.2 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 875 0 0 0 20 0 0 0 20 0 1 0 67912243 33538048 721 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8188 721 508 7861 0 292 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32752 KiB
Current children cumulated memory: 2884 KiB
[startup+0.309239 s]*
/proc/loadavg: 0.68 0.74 1.01 4/202 1206
/proc/meminfo: memFree=24646368/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32752 memory=2884 CPUtime=0.3 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 884 0 0 0 29 1 0 0 20 0 1 0 67912243 33538048 721 33554432000 4194304 36388972 140735412466128 140735412464968 4560624 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8188 721 508 7861 0 292 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32752 KiB
Current children cumulated memory: 2884 KiB
[startup+0.700227 s]
/proc/loadavg: 0.68 0.74 1.01 3/184 1228
/proc/meminfo: memFree=24698672/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32884 memory=2884 CPUtime=0.68 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 891 0 0 0 66 2 0 0 20 0 1 0 67912243 33673216 721 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8221 721 508 7861 0 325 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32884 KiB
Current children cumulated memory: 2884 KiB
[startup+1.50022 s]
/proc/loadavg: 0.68 0.74 1.01 3/189 1238
/proc/meminfo: memFree=24668000/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32884 memory=2884 CPUtime=1.48 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 900 0 0 0 142 6 0 0 20 0 1 0 67912243 33673216 721 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8221 721 508 7861 0 325 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32884 KiB
Current children cumulated memory: 2884 KiB
[startup+3.10894 s]
/proc/loadavg: 0.68 0.74 1.01 3/189 1238
/proc/meminfo: memFree=24668000/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=32884 memory=3112 CPUtime=3.09 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 1087 0 0 0 296 13 0 0 20 0 1 0 67912243 33673216 778 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8221 778 516 7861 0 325 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32884 KiB
Current children cumulated memory: 3112 KiB
[startup+6.30022 s]
/proc/loadavg: 0.78 0.76 1.02 3/189 1238
/proc/meminfo: memFree=24666800/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33016 memory=3172 CPUtime=6.28 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 1289 0 0 0 594 34 0 0 20 0 1 0 67912243 33808384 793 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8254 793 516 7861 0 358 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33016 KiB
Current children cumulated memory: 3172 KiB
[startup+12.7002 s]
/proc/loadavg: 0.88 0.78 1.02 3/188 1239
/proc/meminfo: memFree=24666160/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33016 memory=3216 CPUtime=12.68 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 1505 0 0 0 1196 72 0 0 20 0 1 0 67912243 33808384 804 33554432000 4194304 36388972 140735412466128 140735412464968 4658333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8254 804 516 7861 0 358 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33016 KiB
Current children cumulated memory: 3216 KiB
[startup+25.5002 s]
/proc/loadavg: 1.13 0.84 1.04 3/187 1239
/proc/meminfo: memFree=24666420/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33148 memory=3324 CPUtime=25.48 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 1905 0 0 0 2406 142 0 0 20 0 1 0 67912243 33943552 831 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8287 831 516 7861 0 391 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 3324 KiB
[startup+51.1089 s]
/proc/loadavg: 1.35 0.91 1.06 3/187 1239
/proc/meminfo: memFree=24666324/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33148 memory=3360 CPUtime=51.09 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 2145 0 0 0 4829 280 0 0 20 0 1 0 67912243 33943552 840 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8287 840 516 7861 0 391 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 3360 KiB
[startup+102.3 s]
/proc/loadavg: 1.72 1.08 1.11 3/187 1240
/proc/meminfo: memFree=24666460/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33148 memory=3424 CPUtime=102.27 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 2464 0 0 0 9680 547 0 0 20 0 1 0 67912243 33943552 856 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8287 856 516 7861 0 391 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 3424 KiB
[startup+162.3 s]
/proc/loadavg: 1.90 1.25 1.16 3/187 1241
/proc/meminfo: memFree=24666596/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3448 CPUtime=162.26 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 2728 0 0 0 15353 873 0 0 20 0 1 0 67912243 34078720 862 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 862 516 7861 0 424 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3448 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.39 1.22 3/187 1243
/proc/meminfo: memFree=24666920/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3480 CPUtime=222.26 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 2997 0 0 0 21027 1199 0 0 20 0 1 0 67912243 34078720 870 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 870 516 7861 0 424 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3480 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.50 1.26 3/187 1244
/proc/meminfo: memFree=24666880/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3528 CPUtime=282.25 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 3252 0 0 0 26669 1556 0 0 20 0 1 0 67912243 34078720 882 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 882 516 7861 0 424 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3528 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.59 1.31 3/187 1252
/proc/meminfo: memFree=24666164/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3536 CPUtime=342.25 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 3503 0 0 0 32306 1919 0 0 20 0 1 0 67912243 34078720 884 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 884 516 7861 0 424 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3536 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.66 1.35 3/187 1253
/proc/meminfo: memFree=24666400/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3544 CPUtime=402.25 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 3741 0 0 0 37955 2270 0 0 20 0 1 0 67912243 34078720 886 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 886 516 7861 0 424 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3544 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.72 1.39 3/187 1254
/proc/meminfo: memFree=24666028/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33280 memory=3564 CPUtime=462.24 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 3990 0 0 0 43609 2615 0 0 20 0 1 0 67912243 34078720 891 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8320 891 516 7861 0 424 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 3564 KiB
################
# More data... #
################
/proc/1176/statm: 8386 928 516 7861 0 490 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3712 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.08 1.89 3/188 1292
/proc/meminfo: memFree=24665568/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3712 CPUtime=1782.13 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 8266 0 0 0 167989 10224 0 0 20 0 1 0 67912243 34349056 928 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 928 516 7861 0 490 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3712 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 1.89 3/187 1294
/proc/meminfo: memFree=24665212/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3720 CPUtime=1842.12 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 8425 0 0 0 173647 10565 0 0 20 0 1 0 67912243 34349056 930 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 930 516 7861 0 490 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3720 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 1.90 3/187 1295
/proc/meminfo: memFree=24664972/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3720 CPUtime=1902.12 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 8574 0 0 0 179296 10916 0 0 20 0 1 0 67912243 34349056 930 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 930 516 7861 0 490 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3720 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 1.91 3/187 1296
/proc/meminfo: memFree=24664992/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3720 CPUtime=1962.11 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 8752 0 0 0 184970 11241 0 0 20 0 1 0 67912243 34349056 930 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 930 516 7861 0 490 0
Current children cumulated CPU time: 1962.11 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3720 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 1.91 3/187 1298
/proc/meminfo: memFree=24665460/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3728 CPUtime=2022.1 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 8908 0 0 0 190630 11580 0 0 20 0 1 0 67912243 34349056 932 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 932 516 7861 0 490 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3728 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 1.92 3/187 1299
/proc/meminfo: memFree=24665168/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3728 CPUtime=2082.11 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9060 0 0 0 196274 11937 0 0 20 0 1 0 67912243 34349056 932 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 932 516 7861 0 490 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3728 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/189 1309
/proc/meminfo: memFree=24664940/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3728 CPUtime=2142.1 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9213 0 0 0 201925 12285 0 0 20 0 1 0 67912243 34349056 932 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 932 516 7861 0 490 0
Current children cumulated CPU time: 2142.1 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3728 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/189 1332
/proc/meminfo: memFree=24664212/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3744 CPUtime=2202.1 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9499 0 0 0 207609 12601 0 0 20 0 1 0 67912243 34349056 936 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 936 516 7861 0 490 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3744 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/189 1333
/proc/meminfo: memFree=24664408/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3744 CPUtime=2262.09 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9668 0 0 0 213290 12919 0 0 20 0 1 0 67912243 34349056 936 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 936 516 7861 0 490 0
Current children cumulated CPU time: 2262.09 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3744 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/189 1334
/proc/meminfo: memFree=24664728/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3744 CPUtime=2322.08 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9826 0 0 0 218955 13253 0 0 20 0 1 0 67912243 34349056 936 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 936 516 7861 0 490 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3744 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/189 1335
/proc/meminfo: memFree=24664796/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3744 CPUtime=2382.08 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 9977 0 0 0 224643 13565 0 0 20 0 1 0 67912243 34349056 936 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 936 516 7861 0 490 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3744 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 1336
/proc/meminfo: memFree=24665012/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3756 CPUtime=2442.07 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 10153 0 0 0 230286 13921 0 0 20 0 1 0 67912243 34349056 939 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 939 516 7861 0 490 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3756 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 1337
/proc/meminfo: memFree=24664700/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3756 CPUtime=2502.07 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 10310 0 0 0 235928 14279 0 0 20 0 1 0 67912243 34349056 939 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 939 516 7861 0 490 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3756 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/187 1337
/proc/meminfo: memFree=24664700/32770624 swapFree=67108860/67108860
[pid=1176] ppid=1173 vsize=33544 memory=3756 CPUtime=2519.77 cores=0,2,4,6
/proc/1176/stat : 1176 (BTD) R 1173 1176 27142 0 -1 4202496 10457 0 0 0 237588 14389 0 0 20 0 1 0 67912243 34349056 939 33554432000 4194304 36388972 140735412466128 140735412464968 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 68276224 140735412470973 140735412471051 140735412471051 140735412473809 0
/proc/1176/statm: 8386 939 516 7861 0 490 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 33544 KiB
Current children cumulated memory: 3756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 1176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2375.89 s, system=143.896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.79
CPU user time (s): 2375.89
CPU system time (s): 143.896
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 33544
Max. memory (cumulated for all children) (KiB): 3756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2375.89
system time used= 143.896
maximum resident set size= 3756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10457
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= 2
involuntary context switches= 3186
# summary of solver processes directly reported to runsolver:
# pid: 1176
# total CPU time (s): 2519.79
# total CPU user time (s): 2375.89
# total CPU system time (s): 143.896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6844 second user time and 16.2005 second system time
The end