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 (8404 MiB free)
memory of node 1: 16384 MiB (8667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386675-1568280898/watcher-4386675-1568280898 -o /tmp/evaluation-result-4386675-1568280898/solver-4386675-1568280898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568280857-32331 --watchdog 2580 BTD 2520 HOME/instance-4386675-1568280898.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=32359, runsolver pid=32353
Current StackSize limit: 8192 KiB
[startup+0.100198 s]*
/proc/loadavg: 0.31 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17476788/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=44116 memory=12920 CPUtime=0.01 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 3366 0 0 0 1 0 0 0 20 0 1 0 404027339 45174784 3230 33554432000 4194304 36700936 140730509361584 140730509361584 7949654 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 11029 3230 253 7937 0 3057 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 44116 KiB
Current children cumulated memory: 12920 KiB
[startup+0.210634 s]*
/proc/loadavg: 0.31 0.08 0.07 4/201 32362
/proc/meminfo: memFree=17401784/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=115604 memory=85080 CPUtime=0.12 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 21410 0 0 0 10 2 0 0 20 0 1 0 404027339 118378496 21270 33554432000 4194304 36700936 140730509361584 140730509361584 7940384 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 28901 21270 404 7937 0 20929 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 115604 KiB
Current children cumulated memory: 85080 KiB
[startup+0.310165 s]*
/proc/loadavg: 0.31 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17394344/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=120620 memory=90092 CPUtime=0.22 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 22693 0 0 0 20 2 0 0 20 0 1 0 404027339 123514880 22523 33554432000 4194304 36700936 140730509361584 140730509361584 7949654 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 30155 22523 449 7937 0 22183 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 120620 KiB
Current children cumulated memory: 90092 KiB
[startup+0.700339 s]
/proc/loadavg: 0.31 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17375108/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=140284 memory=109892 CPUtime=0.59 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 27655 0 0 0 57 2 0 0 20 0 1 0 404027339 143650816 27473 33554432000 4194304 36700936 140730509361584 140730509361584 7949654 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 35071 27473 481 7937 0 27099 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 140284 KiB
Current children cumulated memory: 109892 KiB
[startup+1.50034 s]
/proc/loadavg: 0.31 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17371760/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=145828 memory=115436 CPUtime=1.4 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 29027 0 0 0 137 3 0 0 20 0 1 0 404027339 149327872 28859 33554432000 4194304 36700936 140730509361584 140730509359976 7949654 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 36457 28859 481 7937 0 28485 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 145828 KiB
Current children cumulated memory: 115436 KiB
[startup+3.10975 s]
/proc/loadavg: 0.31 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17357640/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=156916 memory=126468 CPUtime=3.01 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 32941 0 0 0 298 3 0 0 20 0 1 0 404027339 160681984 31617 33554432000 4194304 36700936 140730509361584 140730509359976 4431983 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 39229 31617 481 7937 0 31257 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 156916 KiB
Current children cumulated memory: 126468 KiB
[startup+6.30033 s]
/proc/loadavg: 0.29 0.08 0.07 3/201 32362
/proc/meminfo: memFree=17337300/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=178696 memory=148340 CPUtime=6.2 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 41852 0 0 0 616 4 0 0 20 0 1 0 404027339 182984704 37085 33554432000 4194304 36700936 140730509361584 140730509359976 7949654 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 44674 37085 481 7937 0 36702 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 178696 KiB
Current children cumulated memory: 148340 KiB
[startup+12.7003 s]
/proc/loadavg: 0.42 0.11 0.08 3/201 32362
/proc/meminfo: memFree=17308860/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217460 memory=175524 CPUtime=12.6 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 58724 0 0 0 1255 5 0 0 20 0 1 0 404027339 222679040 43881 33554432000 4194304 36700936 140730509361584 140730509360632 4308972 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54365 43881 503 7937 0 46393 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 175524 KiB
[startup+25.5003 s]
/proc/loadavg: 0.77 0.20 0.11 3/202 32364
/proc/meminfo: memFree=17308456/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217460 memory=175524 CPUtime=25.4 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 80808 0 0 0 2535 5 0 0 20 0 1 0 404027339 222679040 43881 33554432000 4194304 36700936 140730509361584 140730509360632 4308999 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54365 43881 503 7937 0 46393 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 175524 KiB
[startup+51.1095 s]
/proc/loadavg: 1.19 0.35 0.16 3/199 32426
/proc/meminfo: memFree=16504712/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217592 memory=175648 CPUtime=51.01 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 121289 0 0 0 5094 7 0 0 20 0 1 0 404027339 222814208 43912 33554432000 4194304 36700936 140730509361584 140730509360632 4309003 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54398 43912 503 7937 0 46426 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 217592 KiB
Current children cumulated memory: 175648 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 3/199 32429
/proc/meminfo: memFree=16162944/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217848 memory=175868 CPUtime=102.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 144424 0 0 0 10212 7 0 0 20 0 1 0 404027339 223076352 43967 33554432000 4194304 36700936 140730509361584 140730509360632 4308963 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54462 43967 503 7937 0 46490 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 217848 KiB
Current children cumulated memory: 175868 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/200 32436
/proc/meminfo: memFree=15918348/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217848 memory=175920 CPUtime=162.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 163312 0 0 0 16211 8 0 0 20 0 1 0 404027339 223076352 43980 33554432000 4194304 36700936 140730509361584 140730509360632 4620264 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54462 43980 504 7937 0 46490 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 217848 KiB
Current children cumulated memory: 175920 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.47 3/200 32440
/proc/meminfo: memFree=15717440/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217980 memory=182232 CPUtime=222.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 166045 0 0 0 22211 8 0 0 20 0 1 0 404027339 223211520 45558 33554432000 4194304 36700936 140730509361584 140730509360632 4431987 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54495 45558 509 7937 0 46523 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 217980 KiB
Current children cumulated memory: 182232 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 1.25 0.57 3/200 32444
/proc/meminfo: memFree=15548296/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217980 memory=182256 CPUtime=282.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 166470 0 0 0 28211 8 0 0 20 0 1 0 404027339 223211520 45564 33554432000 4194304 36700936 140730509361584 140730509360632 4313592 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54495 45564 509 7937 0 46523 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 217980 KiB
Current children cumulated memory: 182256 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 1.39 0.66 3/201 32458
/proc/meminfo: memFree=15395496/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217980 memory=182256 CPUtime=342.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 166880 0 0 0 34211 8 0 0 20 0 1 0 404027339 223211520 45564 33554432000 4194304 36700936 140730509361584 140730509360632 4310114 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54495 45564 509 7937 0 46523 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 217980 KiB
Current children cumulated memory: 182256 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.50 0.74 3/201 32462
/proc/meminfo: memFree=15256332/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=217980 memory=182288 CPUtime=402.19 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 167350 0 0 0 40211 8 0 0 20 0 1 0 404027339 223211520 45572 33554432000 4194304 36700936 140730509361584 140730509360632 4309024 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54495 45572 509 7937 0 46523 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 217980 KiB
Current children cumulated memory: 182288 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 3/200 32466
/proc/meminfo: memFree=15126604/32770624 swapFree=66997084/67108860
[pid=32359] ppid=32353 vsize=218112 memory=182304 CPUtime=462.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 167799 0 0 0 46210 8 0 0 20 0 1 0 404027339 223346688 45576 33554432000 4194304 36700936 140730509361584 140730509360632 4620281 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54528 45576 509 7937 0 46556 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 218112 KiB
Current children cumulated memory: 182304 KiB
################
# More data... #
################
/proc/32359/statm: 54591 45629 509 7937 0 46619 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182516 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/200 32611
/proc/meminfo: memFree=13053504/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182516 CPUtime=1782.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 177136 0 0 0 178209 9 0 0 20 0 1 0 404027339 223604736 45629 33554432000 4194304 36700936 140730509361584 140730509360632 4313715 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45629 509 7937 0 46619 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182516 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/200 32637
/proc/meminfo: memFree=12975788/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182516 CPUtime=1842.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 177544 0 0 0 184209 9 0 0 20 0 1 0 404027339 223604736 45629 33554432000 4194304 36700936 140730509361584 140730509360632 4308848 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45629 509 7937 0 46619 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182516 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/199 32641
/proc/meminfo: memFree=12898952/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182516 CPUtime=1902.17 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 177952 0 0 0 190208 9 0 0 20 0 1 0 404027339 223604736 45629 33554432000 4194304 36700936 140730509361584 140730509360632 4308848 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45629 509 7937 0 46619 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182516 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/199 32647
/proc/meminfo: memFree=12822252/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182516 CPUtime=1962.17 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 178365 0 0 0 196208 9 0 0 20 0 1 0 404027339 223604736 45629 33554432000 4194304 36700936 140730509361584 140730509360632 4313715 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45629 509 7937 0 46619 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182516 KiB
[startup+2022.3 s]
/proc/loadavg: 2.05 2.02 1.79 3/199 32651
/proc/meminfo: memFree=12746932/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2022.17 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 178773 0 0 0 202208 9 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4313715 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.01 1.80 3/199 32655
/proc/meminfo: memFree=12672512/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2082.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 179182 0 0 0 208208 10 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4313712 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 1.82 3/199 32668
/proc/meminfo: memFree=12599180/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2142.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 179589 0 0 0 214208 10 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4309037 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/199 32672
/proc/meminfo: memFree=12525092/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2202.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 179994 0 0 0 220208 10 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4313665 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/199 32676
/proc/meminfo: memFree=12452428/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2262.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 180398 0 0 0 226208 10 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4620271 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/199 32682
/proc/meminfo: memFree=12380148/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218364 memory=182532 CPUtime=2322.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 180802 0 0 0 232208 10 0 0 20 0 1 0 404027339 223604736 45633 33554432000 4194304 36700936 140730509361584 140730509360632 4313745 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54591 45633 509 7937 0 46619 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 218364 KiB
Current children cumulated memory: 182532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 32686
/proc/meminfo: memFree=12308340/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218628 memory=182632 CPUtime=2382.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 181366 0 0 0 238208 10 0 0 20 0 1 0 404027339 223875072 45658 33554432000 4194304 36700936 140730509361584 140730509360632 4313687 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54657 45658 516 7937 0 46685 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 218628 KiB
Current children cumulated memory: 182632 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 32690
/proc/meminfo: memFree=12236888/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=218628 memory=182884 CPUtime=2442.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 181777 0 0 0 244208 10 0 0 20 0 1 0 404027339 223875072 45721 33554432000 4194304 36700936 140730509361584 140730509360632 4308897 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54657 45721 516 7937 0 46685 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 218628 KiB
Current children cumulated memory: 182884 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 32696
/proc/meminfo: memFree=12166148/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=219128 memory=182980 CPUtime=2502.18 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 182421 0 0 0 250208 10 0 0 20 0 1 0 404027339 224387072 45745 33554432000 4194304 36700936 140730509361584 140730509360632 4313592 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54782 45745 516 7937 0 46810 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 182980 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.88 3/199 32697
/proc/meminfo: memFree=12145160/32770624 swapFree=66997088/67108860
[pid=32359] ppid=32353 vsize=219128 memory=183136 CPUtime=2519.89 cores=0,2,4,6
/proc/32359/stat : 32359 (BTD) R 32353 32359 32300 0 -1 4202496 182799 0 0 0 251979 10 0 0 20 0 1 0 404027339 224387072 45784 33554432000 4194304 36700936 140730509361584 140730509360632 4313835 0 0 4096 0 0 0 0 17 2 0 0 2 0 0 38800048 38936640 61169664 140730509366312 140730509366388 140730509366388 140730509369297 0
/proc/32359/statm: 54782 45784 516 7937 0 46810 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 219128 KiB
Current children cumulated memory: 183136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 32359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.79 s, system=0.102999 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.9
CPU user time (s): 2519.79
CPU system time (s): 0.102999
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 219128
Max. memory (cumulated for all children) (KiB): 183136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.102999
maximum resident set size= 183404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182799
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= 13
involuntary context switches= 3150
# summary of solver processes directly reported to runsolver:
# pid: 32359
# total CPU time (s): 2519.9
# total CPU user time (s): 2519.79
# total CPU system time (s): 0.102999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.39025 second user time and 17.7564 second system time
The end