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 (13462 MiB free)
memory of node 1: 16384 MiB (14079 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301088-1532868481/watcher-4301088-1532868481 -o /tmp/evaluation-result-4301088-1532868481/solver-4301088-1532868481 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532843067-5321 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301088-1532868481.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=8493, runsolver pid=8490
Current StackSize limit: 8192 KiB
[startup+0.100313 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28196320/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=32744 memory=9264 CPUtime=0.09 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 2480 0 0 0 9 0 0 0 20 0 1 0 104411285 33529856 2316 33554432000 4194304 5224696 140723175581344 140723175580360 140022657282515 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8186 2316 660 252 0 1732 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32744 KiB
Current children cumulated memory: 9264 KiB
[startup+0.209693 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28196320/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=32744 memory=9264 CPUtime=0.2 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 2492 0 0 0 20 0 0 0 20 0 1 0 104411285 33529856 2316 33554432000 4194304 5224696 140723175581344 140723175580360 4363245 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8186 2316 660 252 0 1732 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32744 KiB
Current children cumulated memory: 9264 KiB
[startup+0.309018 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28196320/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=32744 memory=9264 CPUtime=0.3 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 2499 0 0 0 30 0 0 0 20 0 1 0 104411285 33529856 2316 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8186 2316 660 252 0 1732 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32744 KiB
Current children cumulated memory: 9264 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195948/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=32876 memory=9264 CPUtime=0.68 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 2508 0 0 0 68 0 0 0 20 0 1 0 104411285 33665024 2316 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8219 2316 660 252 0 1765 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32876 KiB
Current children cumulated memory: 9264 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195948/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=32876 memory=9264 CPUtime=1.48 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 2511 0 0 0 148 0 0 0 20 0 1 0 104411285 33665024 2316 33554432000 4194304 5224696 140723175581344 140723175580360 4211776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8219 2316 660 252 0 1765 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32876 KiB
Current children cumulated memory: 9264 KiB
[startup+3.10905 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195948/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33272 memory=9768 CPUtime=3.09 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 3888 0 0 0 309 0 0 0 20 0 1 0 104411285 34070528 2442 33554432000 4194304 5224696 140723175581344 140723175580360 4363245 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8318 2442 661 252 0 1864 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9768 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195084/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33272 memory=9788 CPUtime=6.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 5207 0 0 0 628 0 0 0 20 0 1 0 104411285 34070528 2447 33554432000 4194304 5224696 140723175581344 140723175580360 140022657282567 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8318 2447 661 252 0 1864 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9788 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195432/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33272 memory=9820 CPUtime=12.68 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 6546 0 0 0 1268 0 0 0 20 0 1 0 104411285 34070528 2455 33554432000 4194304 5224696 140723175581344 140723175580360 4363200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8318 2455 661 252 0 1864 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 33272 KiB
Current children cumulated memory: 9820 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195432/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33404 memory=9876 CPUtime=25.49 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 9022 0 0 0 2548 1 0 0 20 0 1 0 104411285 34205696 2469 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8351 2469 661 252 0 1897 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33404 KiB
Current children cumulated memory: 9876 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8494
/proc/meminfo: memFree=28195308/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33404 memory=9924 CPUtime=51.09 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 10585 0 0 0 5108 1 0 0 20 0 1 0 104411285 34205696 2481 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8351 2481 661 252 0 1897 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 33404 KiB
Current children cumulated memory: 9924 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8620
/proc/meminfo: memFree=28183720/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33404 memory=10132 CPUtime=102.27 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 10800 0 0 0 10226 1 0 0 20 0 1 0 104411285 34205696 2533 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8351 2533 661 252 0 1897 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 33404 KiB
Current children cumulated memory: 10132 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8629
/proc/meminfo: memFree=28182520/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10168 CPUtime=162.27 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 11024 0 0 0 16226 1 0 0 20 0 1 0 104411285 34340864 2542 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2542 661 252 0 1930 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10168 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 8630
/proc/meminfo: memFree=28181712/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10212 CPUtime=222.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 11250 0 0 0 22226 2 0 0 20 0 1 0 104411285 34340864 2553 33554432000 4194304 5224696 140723175581344 140723175580360 140022657282567 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2553 661 252 0 1930 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10212 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 8631
/proc/meminfo: memFree=28181716/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10240 CPUtime=282.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 11485 0 0 0 28226 2 0 0 20 0 1 0 104411285 34340864 2560 33554432000 4194304 5224696 140723175581344 140723175580360 4362973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2560 661 252 0 1930 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10240 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 8632
/proc/meminfo: memFree=28181864/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10256 CPUtime=342.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 11725 0 0 0 34225 3 0 0 20 0 1 0 104411285 34340864 2564 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2564 661 252 0 1930 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10256 KiB
[startup+402.3 s]
/proc/loadavg: 2.28 2.06 2.06 3/188 8633
/proc/meminfo: memFree=28181988/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10284 CPUtime=402.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 11961 0 0 0 40225 3 0 0 20 0 1 0 104411285 34340864 2571 33554432000 4194304 5224696 140723175581344 140723175580360 4363264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2571 661 252 0 1930 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10284 KiB
[startup+462.3 s]
/proc/loadavg: 2.29 2.12 2.08 3/187 8635
/proc/meminfo: memFree=28181612/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33536 memory=10292 CPUtime=462.28 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 12201 0 0 0 46225 3 0 0 20 0 1 0 104411285 34340864 2573 33554432000 4194304 5224696 140723175581344 140723175580360 4363245 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8384 2573 661 252 0 1930 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 33536 KiB
Current children cumulated memory: 10292 KiB
################
# More data... #
################
/proc/8493/statm: 8417 2592 661 252 0 1963 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10368 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8698
/proc/meminfo: memFree=28180232/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10368 CPUtime=1782.31 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 17446 0 0 0 178219 12 0 0 20 0 1 0 104411285 34476032 2592 33554432000 4194304 5224696 140723175581344 140723175580360 4363314 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2592 661 252 0 1963 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10368 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8699
/proc/meminfo: memFree=28180132/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10372 CPUtime=1842.31 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 17676 0 0 0 184219 12 0 0 20 0 1 0 104411285 34476032 2593 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2593 661 252 0 1963 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10372 KiB
[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8700
/proc/meminfo: memFree=28179892/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10372 CPUtime=1902.31 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 17902 0 0 0 190218 13 0 0 20 0 1 0 104411285 34476032 2593 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2593 661 252 0 1963 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10372 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 8709
/proc/meminfo: memFree=28179744/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10372 CPUtime=1962.31 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 18155 0 0 0 196218 13 0 0 20 0 1 0 104411285 34476032 2593 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2593 661 252 0 1963 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10372 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8710
/proc/meminfo: memFree=28179744/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10380 CPUtime=2022.31 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 18387 0 0 0 202218 13 0 0 20 0 1 0 104411285 34476032 2595 33554432000 4194304 5224696 140723175581344 140723175580360 4363250 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2595 661 252 0 1963 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10380 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8711
/proc/meminfo: memFree=28179744/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10380 CPUtime=2082.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 18610 0 0 0 208218 14 0 0 20 0 1 0 104411285 34476032 2595 33554432000 4194304 5224696 140723175581344 140723175580360 4261552 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2595 661 252 0 1963 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10380 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8712
/proc/meminfo: memFree=28180116/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10380 CPUtime=2142.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 18844 0 0 0 214218 14 0 0 20 0 1 0 104411285 34476032 2595 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2595 661 252 0 1963 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10380 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8713
/proc/meminfo: memFree=28180116/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10384 CPUtime=2202.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 19095 0 0 0 220218 14 0 0 20 0 1 0 104411285 34476032 2596 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2596 661 252 0 1963 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10384 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8715
/proc/meminfo: memFree=28180224/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10384 CPUtime=2262.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 19324 0 0 0 226218 14 0 0 20 0 1 0 104411285 34476032 2596 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2596 661 252 0 1963 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10384 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8716
/proc/meminfo: memFree=28179856/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10384 CPUtime=2322.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 19546 0 0 0 232217 15 0 0 20 0 1 0 104411285 34476032 2596 33554432000 4194304 5224696 140723175581344 140723175580360 4363206 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2596 661 252 0 1963 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10384 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8717
/proc/meminfo: memFree=28179968/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10384 CPUtime=2382.33 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 19802 0 0 0 238217 16 0 0 20 0 1 0 104411285 34476032 2596 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2596 661 252 0 1963 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10384 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8719
/proc/meminfo: memFree=28179932/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10392 CPUtime=2442.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 20031 0 0 0 244216 16 0 0 20 0 1 0 104411285 34476032 2598 33554432000 4194304 5224696 140723175581344 140723175580360 4363241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2598 661 252 0 1963 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10392 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8720
/proc/meminfo: memFree=28179792/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10392 CPUtime=2502.32 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 20254 0 0 0 250216 16 0 0 20 0 1 0 104411285 34476032 2598 33554432000 4194304 5224696 140723175581344 140723175580360 4363259 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2598 661 252 0 1963 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10392 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 8728
/proc/meminfo: memFree=28178396/32770624 swapFree=67108436/67108860
[pid=8493] ppid=8490 vsize=33668 memory=10392 CPUtime=2520.03 cores=1,3,5,7
/proc/8493/stat : 8493 (miniBTD) R 8490 8493 5289 0 -1 4202496 20466 0 0 0 251987 16 0 0 20 0 1 0 104411285 34476032 2598 33554432000 4194304 5224696 140723175581344 140723175580360 4363224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7325440 7329888 16416768 140723175589045 140723175589127 140723175589127 140723175591885 0
/proc/8493/statm: 8417 2598 661 252 0 1963 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 33668 KiB
Current children cumulated memory: 10392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.88 s, system=0.169002 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.05
CPU user time (s): 2519.88
CPU system time (s): 0.169002
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 33668
Max. memory (cumulated for all children) (KiB): 10392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 0.169002
maximum resident set size= 10392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20466
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= 779
# summary of solver processes directly reported to runsolver:
# pid: 8493
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.88
# total CPU system time (s): 0.169002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14989 second user time and 17.6843 second system time
The end