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 (15355 MiB free)
memory of node 1: 16384 MiB (15561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386755-1568280927/watcher-4386755-1568280927 -o /tmp/evaluation-result-4386755-1568280927/solver-4386755-1568280927 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568280857-5096 --watchdog 2580 BTD 2520 HOME/instance-4386755-1568280927.xml
running on 4 cores: 1,3,5,7
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=5310, runsolver pid=5307
[startup+0.100156 s]*
/proc/loadavg: 1.01 0.27 0.13 3/200 5311
/proc/meminfo: memFree=31654708/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=36960 memory=6496 CPUtime=0.1 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 1815 0 0 0 10 0 0 0 20 0 1 0 404030691 37847040 1624 33554432000 4194304 36700936 140726557130240 140726557130240 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 9240 1624 450 7937 0 1268 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36960 KiB
Current children cumulated memory: 6496 KiB
[startup+0.209615 s]*
/proc/loadavg: 1.01 0.27 0.13 3/200 5311
/proc/meminfo: memFree=31648012/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=43560 memory=13096 CPUtime=0.21 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 3479 0 0 0 21 0 0 0 20 0 1 0 404030691 44605440 3274 33554432000 4194304 36700936 140726557130240 140726557130240 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 10890 3274 450 7937 0 2918 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43560 KiB
Current children cumulated memory: 13096 KiB
[startup+0.309457 s]*
/proc/loadavg: 1.01 0.27 0.13 3/200 5311
/proc/meminfo: memFree=31642060/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=49368 memory=18904 CPUtime=0.31 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 4925 0 0 0 31 0 0 0 20 0 1 0 404030691 50552832 4726 33554432000 4194304 36700936 140726557130240 140726557130240 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 12342 4726 450 7937 0 4370 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49368 KiB
Current children cumulated memory: 18904 KiB
[startup+0.700309 s]
/proc/loadavg: 1.01 0.27 0.13 3/200 5311
/proc/meminfo: memFree=31630900/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=69828 memory=39232 CPUtime=0.69 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 10033 0 0 0 68 1 0 0 20 0 1 0 404030691 71503872 9808 33554432000 4194304 36700936 140726557130240 140726557130240 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 17457 9808 450 7937 0 9485 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69828 KiB
Current children cumulated memory: 39232 KiB
[startup+1.50032 s]
/proc/loadavg: 1.09 0.29 0.14 3/200 5311
/proc/meminfo: memFree=31606076/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=107448 memory=76984 CPUtime=1.49 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 19450 0 0 0 147 2 0 0 20 0 1 0 404030691 110026752 19246 33554432000 4194304 36700936 140726557130240 140726557123816 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 26862 19246 450 7937 0 18890 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107448 KiB
Current children cumulated memory: 76984 KiB
[startup+3.10982 s]
/proc/loadavg: 1.09 0.29 0.14 3/200 5311
/proc/meminfo: memFree=31498532/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=169764 memory=139124 CPUtime=3.1 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 44877 0 0 0 304 6 0 0 20 0 1 0 404030691 173838336 34781 33554432000 4194304 36700936 140726557130240 140726557123096 7949654 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 42441 34781 450 7937 0 34469 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 169764 KiB
Current children cumulated memory: 139124 KiB
[startup+6.30035 s]
/proc/loadavg: 1.09 0.29 0.14 3/200 5311
/proc/meminfo: memFree=31475308/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215492 memory=185092 CPUtime=6.29 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 108615 0 0 0 619 10 0 0 20 0 1 0 404030691 220663808 46273 33554432000 4194304 36700936 140726557130240 140726557129288 4468772 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53873 46273 536 7937 0 45901 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 215492 KiB
Current children cumulated memory: 185092 KiB
[startup+12.7004 s]
/proc/loadavg: 1.23 0.35 0.16 3/200 5312
/proc/meminfo: memFree=31475184/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215492 memory=185092 CPUtime=12.7 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 149748 0 0 0 1258 12 0 0 20 0 1 0 404030691 220663808 46273 33554432000 4194304 36700936 140726557130240 140726557129288 4468772 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53873 46273 536 7937 0 45901 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 215492 KiB
Current children cumulated memory: 185092 KiB
[startup+25.5096 s]
/proc/loadavg: 1.35 0.40 0.18 3/200 5312
/proc/meminfo: memFree=31475112/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215640 memory=185204 CPUtime=25.51 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 229568 0 0 0 2535 16 0 0 20 0 1 0 404030691 220815360 46301 33554432000 4194304 36700936 140726557130240 140726557129288 4468772 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53910 46301 536 7937 0 45938 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 215640 KiB
Current children cumulated memory: 185204 KiB
[startup+51.1004 s]
/proc/loadavg: 1.57 0.53 0.23 3/200 5314
/proc/meminfo: memFree=31473436/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215640 memory=185236 CPUtime=51.1 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 272607 0 0 0 5088 22 0 0 20 0 1 0 404030691 220815360 46309 33554432000 4194304 36700936 140726557130240 140726557129288 4463630 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53910 46309 536 7937 0 45938 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 215640 KiB
Current children cumulated memory: 185236 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 0.78 0.33 3/199 5318
/proc/meminfo: memFree=31472888/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215640 memory=185300 CPUtime=102.3 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 313598 0 0 0 10201 29 0 0 20 0 1 0 404030691 220815360 46325 33554432000 4194304 36700936 140726557130240 140726557129288 4463683 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53910 46325 536 7937 0 45938 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 215640 KiB
Current children cumulated memory: 185300 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.00 0.43 3/199 5322
/proc/meminfo: memFree=31472580/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215772 memory=185376 CPUtime=162.3 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 343592 0 0 0 16191 39 0 0 20 0 1 0 404030691 220950528 46344 33554432000 4194304 36700936 140726557130240 140726557129288 6947517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53943 46344 536 7937 0 45971 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 215772 KiB
Current children cumulated memory: 185376 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.18 0.53 3/199 5328
/proc/meminfo: memFree=31472156/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215772 memory=185444 CPUtime=222.3 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 351373 0 0 0 22183 47 0 0 20 0 1 0 404030691 220950528 46361 33554432000 4194304 36700936 140726557130240 140726557129288 4313297 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53943 46361 536 7937 0 45971 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 215772 KiB
Current children cumulated memory: 185444 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.33 0.62 3/199 5332
/proc/meminfo: memFree=31471668/32770624 swapFree=66915892/67108860
[pid=5310] ppid=5307 vsize=215904 memory=185444 CPUtime=282.3 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 351423 0 0 0 28176 54 0 0 20 0 1 0 404030691 221085696 46361 33554432000 4194304 36700936 140726557130240 140726557129288 4313030 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53976 46361 536 7937 0 46004 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 185444 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.45 0.71 3/201 5345
/proc/meminfo: memFree=31471732/32770624 swapFree=66915904/67108860
[pid=5310] ppid=5307 vsize=215904 memory=185492 CPUtime=342.31 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 351708 0 0 0 34171 60 0 0 20 0 1 0 404030691 221085696 46373 33554432000 4194304 36700936 140726557130240 140726557129288 4431987 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53976 46373 537 7937 0 46004 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 185492 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.55 0.79 3/201 5351
/proc/meminfo: memFree=31472156/32770624 swapFree=66915904/67108860
[pid=5310] ppid=5307 vsize=215904 memory=185592 CPUtime=402.33 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 352129 0 0 0 40165 68 0 0 20 0 1 0 404030691 221085696 46398 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53976 46398 537 7937 0 46004 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 185592 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.63 0.87 3/201 5355
/proc/meminfo: memFree=31472312/32770624 swapFree=66915904/67108860
[pid=5310] ppid=5307 vsize=215904 memory=185600 CPUtime=462.33 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 352612 0 0 0 46158 75 0 0 20 0 1 0 404030691 221085696 46400 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 53976 46400 537 7937 0 46004 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 185600 KiB
################
# More data... #
################
/proc/5310/statm: 54042 46440 537 7937 0 46070 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185760 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/200 5506
/proc/meminfo: memFree=31470084/32770624 swapFree=66915956/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185760 CPUtime=1842.51 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 359481 0 0 0 184009 242 0 0 20 0 1 0 404030691 221356032 46440 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46440 537 7937 0 46070 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185760 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/199 5510
/proc/meminfo: memFree=31470224/32770624 swapFree=66915956/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=1902.52 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 360030 0 0 0 190003 249 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4468772 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/199 5514
/proc/meminfo: memFree=31470752/32770624 swapFree=66915956/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=1962.53 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 360048 0 0 0 195998 255 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4312808 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 1962.53 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/200 5521
/proc/meminfo: memFree=31470124/32770624 swapFree=66915956/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2022.53 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 360612 0 0 0 201992 261 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/200 5525
/proc/meminfo: memFree=31470208/32770624 swapFree=66915956/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2082.54 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 360614 0 0 0 207987 267 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2142.3 s]
/proc/loadavg: 2.49 2.15 1.86 3/201 5537
/proc/meminfo: memFree=31470240/32770624 swapFree=66915968/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2142.55 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 361179 0 0 0 213982 273 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4431987 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2202.3 s]
/proc/loadavg: 2.18 2.12 1.87 3/201 5543
/proc/meminfo: memFree=31470520/32770624 swapFree=66915968/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2202.56 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 361180 0 0 0 219975 281 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4313030 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.10 1.88 3/201 5547
/proc/meminfo: memFree=31470548/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2262.57 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 361745 0 0 0 225970 287 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4431987 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 1.88 3/200 5551
/proc/meminfo: memFree=31470348/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2322.57 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 361747 0 0 0 231964 293 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 1.89 3/200 5557
/proc/meminfo: memFree=31469860/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185764 CPUtime=2382.59 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 362284 0 0 0 237958 301 0 0 20 0 1 0 404030691 221356032 46441 33554432000 4194304 36700936 140726557130240 140726557129288 4312615 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46441 537 7937 0 46070 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185764 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 1.89 3/199 5561
/proc/meminfo: memFree=31469196/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185780 CPUtime=2442.59 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 362462 0 0 0 243950 309 0 0 20 0 1 0 404030691 221356032 46445 33554432000 4194304 36700936 140726557130240 140726557129288 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46445 537 7937 0 46070 0
Current children cumulated CPU time: 2442.59 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185780 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 1.90 3/196 5620
/proc/meminfo: memFree=31506788/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185788 CPUtime=2502.6 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 362860 0 0 0 249943 317 0 0 20 0 1 0 404030691 221356032 46447 33554432000 4194304 36700936 140726557130240 140726557129288 4463655 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46447 537 7937 0 46070 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 1.95 2.03 1.90 3/199 5628
/proc/meminfo: memFree=31498848/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185788 CPUtime=2520 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 362860 0 0 0 251680 320 0 0 20 0 1 0 404030691 221356032 46447 33554432000 4194304 36700936 140726557130240 140726557129288 4463160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46447 537 7937 0 46070 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 5310 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.81 s, system=3.20542 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 1.95 2.03 1.90 3/199 5628
/proc/meminfo: memFree=31498848/32770624 swapFree=66915972/67108860
[pid=5310] ppid=5307 vsize=216168 memory=185788 CPUtime=2520 cores=1,3,5,7
/proc/5310/stat : 5310 (BTD) R 5307 5310 5064 0 -1 4202496 362860 0 0 0 251680 320 0 0 20 0 1 0 404030691 221356032 46447 33554432000 4194304 36700936 140726557130240 140726557129288 4463160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 48451584 140726557131816 140726557131892 140726557131892 140726557134801 0
/proc/5310/statm: 54042 46447 537 7937 0 46070 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 216168 KiB
Current children cumulated memory: 185788 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.7
CPU time (s): 2520.01
CPU user time (s): 2516.81
CPU system time (s): 3.20542
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 216168
Max. memory (cumulated for all children) (KiB): 185788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.20542
maximum resident set size= 185788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362860
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= 42
involuntary context switches= 697
# summary of solver processes directly reported to runsolver:
# pid: 5310
# total CPU time (s): 2520.01
# total CPU user time (s): 2516.81
# total CPU system time (s): 3.20542
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4817 second user time and 18.1214 second system time
The end