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 (8337 MiB free)
memory of node 1: 16384 MiB (15044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301089-1532869855/watcher-4301089-1532869855 -o /tmp/evaluation-result-4301089-1532869855/solver-4301089-1532869855 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532844344-8495 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301089-1532869855.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
solver pid=11213, runsolver pid=11210
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23934956/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=33604 memory=9796 CPUtime=0.1 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 2675 0 0 0 10 0 0 0 20 0 1 0 104548621 34410496 2449 33554432000 4194304 5224696 140722085153312 140722085150312 139979624651776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 8401 2449 589 252 0 1947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33604 KiB
Current children cumulated memory: 9796 KiB
[startup+0.20963 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23931236/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=36924 memory=13296 CPUtime=0.2 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 3521 0 0 0 20 0 0 0 20 0 1 0 104548621 37810176 3324 33554432000 4194304 5224696 140722085153312 140722085150312 4363227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9231 3324 654 252 0 2777 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36924 KiB
Current children cumulated memory: 13296 KiB
[startup+0.30955 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23931236/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37056 memory=13296 CPUtime=0.3 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 3525 0 0 0 30 0 0 0 20 0 1 0 104548621 37945344 3324 33554432000 4194304 5224696 140722085153312 140722085150312 4363295 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9264 3324 654 252 0 2810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 13296 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23931236/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37056 memory=13296 CPUtime=0.69 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 3538 0 0 0 69 0 0 0 20 0 1 0 104548621 37945344 3324 33554432000 4194304 5224696 140722085153312 140722085150312 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9264 3324 654 252 0 2810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 13296 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23931236/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37056 memory=13560 CPUtime=1.48 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 3556 0 0 0 148 0 0 0 20 0 1 0 104548621 37945344 3390 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9264 3390 659 252 0 2810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 13560 KiB
[startup+3.10897 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23930320/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37452 memory=13960 CPUtime=3.09 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 4087 0 0 0 309 0 0 0 20 0 1 0 104548621 38350848 3490 33554432000 4194304 5224696 140722085153312 140722085152328 4363295 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9363 3490 660 252 0 2909 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37452 KiB
Current children cumulated memory: 13960 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23929196/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37584 memory=14000 CPUtime=6.28 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 4562 0 0 0 628 0 0 0 20 0 1 0 104548621 38486016 3500 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9396 3500 660 252 0 2942 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 37584 KiB
Current children cumulated memory: 14000 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23928824/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37716 memory=14220 CPUtime=12.68 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 5180 0 0 0 1268 0 0 0 20 0 1 0 104548621 38621184 3555 33554432000 4194304 5224696 140722085153312 140722085152328 4363245 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9429 3555 660 252 0 2975 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 37716 KiB
Current children cumulated memory: 14220 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23928864/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37848 memory=14256 CPUtime=25.49 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 6299 0 0 0 2548 1 0 0 20 0 1 0 104548621 38756352 3564 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9462 3564 660 252 0 3008 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 37848 KiB
Current children cumulated memory: 14256 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11214
/proc/meminfo: memFree=23928864/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37848 memory=14316 CPUtime=51.1 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 6940 0 0 0 5109 1 0 0 20 0 1 0 104548621 38756352 3579 33554432000 4194304 5224696 140722085153312 140722085152328 4363231 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9462 3579 660 252 0 3008 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 37848 KiB
Current children cumulated memory: 14316 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11215
/proc/meminfo: memFree=23929548/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37848 memory=14340 CPUtime=102.29 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 7554 0 0 0 10228 1 0 0 20 0 1 0 104548621 38756352 3585 33554432000 4194304 5224696 140722085153312 140722085152328 4363200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9462 3585 660 252 0 3008 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 37848 KiB
Current children cumulated memory: 14340 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11216
/proc/meminfo: memFree=23929424/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14352 CPUtime=162.29 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 8164 0 0 0 16228 1 0 0 20 0 1 0 104548621 38891520 3588 33554432000 4194304 5224696 140722085153312 140722085152328 139979630506503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3588 660 252 0 3041 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14352 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11217
/proc/meminfo: memFree=23929116/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14376 CPUtime=222.3 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 8775 0 0 0 22228 2 0 0 20 0 1 0 104548621 38891520 3594 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3594 660 252 0 3041 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14376 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 11218
/proc/meminfo: memFree=23929256/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14400 CPUtime=282.29 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 9387 0 0 0 28227 2 0 0 20 0 1 0 104548621 38891520 3600 33554432000 4194304 5224696 140722085153312 140722085152328 4363295 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3600 660 252 0 3041 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14400 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 11219
/proc/meminfo: memFree=23929504/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14412 CPUtime=342.29 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 10008 0 0 0 34227 2 0 0 20 0 1 0 104548621 38891520 3603 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3603 660 252 0 3041 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14412 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 11220
/proc/meminfo: memFree=23929132/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14428 CPUtime=402.29 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 10621 0 0 0 40227 2 0 0 20 0 1 0 104548621 38891520 3607 33554432000 4194304 5224696 140722085153312 140722085152328 4363264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3607 660 252 0 3041 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14428 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11221
/proc/meminfo: memFree=23929508/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=37980 memory=14436 CPUtime=462.3 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 11237 0 0 0 46227 3 0 0 20 0 1 0 104548621 38891520 3609 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9495 3609 660 252 0 3041 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 37980 KiB
Current children cumulated memory: 14436 KiB
################
# More data... #
################
/proc/11213/statm: 9528 3633 660 252 0 3074 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14532 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11268
/proc/meminfo: memFree=23928096/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14544 CPUtime=1782.33 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 24456 0 0 0 178225 8 0 0 20 0 1 0 104548621 39026688 3636 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3636 660 252 0 3074 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14544 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11269
/proc/meminfo: memFree=23928932/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14544 CPUtime=1842.33 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 25017 0 0 0 184225 8 0 0 20 0 1 0 104548621 39026688 3636 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3636 660 252 0 3074 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14544 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11270
/proc/meminfo: memFree=23928756/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14544 CPUtime=1902.33 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 25577 0 0 0 190225 8 0 0 20 0 1 0 104548621 39026688 3636 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3636 660 252 0 3074 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14544 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11271
/proc/meminfo: memFree=23928508/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14556 CPUtime=1962.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 26206 0 0 0 196225 9 0 0 20 0 1 0 104548621 39026688 3639 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3639 660 252 0 3074 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14556 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 11272
/proc/meminfo: memFree=23928740/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14556 CPUtime=2022.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 26772 0 0 0 202225 9 0 0 20 0 1 0 104548621 39026688 3639 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3639 660 252 0 3074 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14556 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11273
/proc/meminfo: memFree=23928820/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14556 CPUtime=2082.33 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 27342 0 0 0 208224 9 0 0 20 0 1 0 104548621 39026688 3639 33554432000 4194304 5224696 140722085153312 140722085152328 4363245 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3639 660 252 0 3074 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11274
/proc/meminfo: memFree=23928844/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14564 CPUtime=2142.33 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 27976 0 0 0 214224 9 0 0 20 0 1 0 104548621 39026688 3641 33554432000 4194304 5224696 140722085153312 140722085152328 4363272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3641 660 252 0 3074 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14564 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11275
/proc/meminfo: memFree=23928596/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14564 CPUtime=2202.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 28564 0 0 0 220224 10 0 0 20 0 1 0 104548621 39026688 3641 33554432000 4194304 5224696 140722085153312 140722085152328 4363227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3641 660 252 0 3074 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14564 KiB
[startup+2262.3 s]
/proc/loadavg: 1.47 1.87 2.00 2/180 11321
/proc/meminfo: memFree=23953580/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14564 CPUtime=2262.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 29129 0 0 0 226224 10 0 0 20 0 1 0 104548621 39026688 3641 33554432000 4194304 5224696 140722085153312 140722085152328 4363224 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3641 660 252 0 3074 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14564 KiB
[startup+2322.3 s]
/proc/loadavg: 1.17 1.71 1.93 2/180 11322
/proc/meminfo: memFree=23953964/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14572 CPUtime=2322.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 29767 0 0 0 232224 10 0 0 20 0 1 0 104548621 39026688 3643 33554432000 4194304 5224696 140722085153312 140722085152328 4363314 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3643 660 252 0 3074 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14572 KiB
[startup+2382.3 s]
/proc/loadavg: 1.06 1.58 1.88 2/181 11331
/proc/meminfo: memFree=23953872/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14572 CPUtime=2382.34 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 30338 0 0 0 238224 10 0 0 20 0 1 0 104548621 39026688 3643 33554432000 4194304 5224696 140722085153312 140722085152328 4363241 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3643 660 252 0 3074 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.02 1.48 1.82 2/181 11332
/proc/meminfo: memFree=23954196/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14572 CPUtime=2442.35 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 30901 0 0 0 244224 11 0 0 20 0 1 0 104548621 39026688 3643 33554432000 4194304 5224696 140722085153312 140722085152328 139979630506503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3643 660 252 0 3074 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14572 KiB
[startup+2502.3 s]
/proc/loadavg: 1.01 1.39 1.77 2/181 11333
/proc/meminfo: memFree=23954444/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14572 CPUtime=2502.35 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 31465 0 0 0 250224 11 0 0 20 0 1 0 104548621 39026688 3643 33554432000 4194304 5224696 140722085153312 140722085152328 4363227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3643 660 252 0 3074 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14572 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.01 1.37 1.75 2/181 11334
/proc/meminfo: memFree=23954196/32770624 swapFree=67108404/67108860
[pid=11213] ppid=11210 vsize=38112 memory=14572 CPUtime=2520.05 cores=1,3,5,7
/proc/11213/stat : 11213 (miniBTD) R 11210 11213 8463 0 -1 4202496 32007 0 0 0 251994 11 0 0 20 0 1 0 104548621 39026688 3643 33554432000 4194304 5224696 140722085153312 140722085152328 4363314 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 15368192 140722085160117 140722085160199 140722085160199 140722085162957 0
/proc/11213/statm: 9528 3643 660 252 0 3074 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 38112 KiB
Current children cumulated memory: 14572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 11213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.95 s, system=0.114002 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): 2520.06
CPU user time (s): 2519.95
CPU system time (s): 0.114002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 38112
Max. memory (cumulated for all children) (KiB): 14572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.114002
maximum resident set size= 14572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32007
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= 11
involuntary context switches= 708
# summary of solver processes directly reported to runsolver:
# pid: 11213
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.95
# total CPU system time (s): 0.114002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79538 second user time and 15.7734 second system time
The end