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 (11514 MiB free)
memory of node 1: 16384 MiB (15039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300948-1532860291/watcher-4300948-1532860291 -o /tmp/evaluation-result-4300948-1532860291/solver-4300948-1532860291 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532844739-15065 --watchdog 2580 miniBTD 12 2520 HOME/instance-4300948-1532860291.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
Current StackSize limit: 8192 KiB
solver pid=17002, runsolver pid=16999
[startup+0.100116 s]*
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27180324/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37036 memory=13492 CPUtime=0.1 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 3579 0 0 0 10 0 0 0 20 0 1 0 103592250 37924864 3373 33554432000 4194304 5224696 140729818069008 140729818066008 4362984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9259 3373 647 252 0 2805 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37036 KiB
Current children cumulated memory: 13492 KiB
[startup+0.209745 s]*
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179984/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37168 memory=13756 CPUtime=0.21 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 3612 0 0 0 21 0 0 0 20 0 1 0 103592250 38060032 3439 33554432000 4194304 5224696 140729818069008 140729818068024 139853120303484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9292 3439 658 252 0 2838 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 13756 KiB
[startup+0.309638 s]*
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179776/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37168 memory=13756 CPUtime=0.31 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 3623 0 0 0 31 0 0 0 20 0 1 0 103592250 38060032 3439 33554432000 4194304 5224696 140729818069008 140729818068024 139853120303484 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9292 3439 658 252 0 2838 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 13756 KiB
[startup+0.700297 s]
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179776/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37300 memory=13756 CPUtime=0.69 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 3658 0 0 0 69 0 0 0 20 0 1 0 103592250 38195200 3439 33554432000 4194304 5224696 140729818069008 140729818068024 4362999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9325 3439 658 252 0 2871 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37300 KiB
Current children cumulated memory: 13756 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179568/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37436 memory=14020 CPUtime=1.49 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 3683 0 0 0 149 0 0 0 20 0 1 0 103592250 38334464 3505 33554432000 4194304 5224696 140729818069008 140729818068024 4463184 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9359 3505 658 252 0 2905 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 37436 KiB
Current children cumulated memory: 14020 KiB
[startup+3.10953 s]
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179600/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37572 memory=14112 CPUtime=3.09 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 6340 0 0 0 309 0 0 0 20 0 1 0 103592250 38473728 3528 33554432000 4194304 5224696 140729818069008 140729818068024 4363007 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9393 3528 658 252 0 2939 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 37572 KiB
Current children cumulated memory: 14112 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.09 2.10 3/191 17003
/proc/meminfo: memFree=27179268/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37708 memory=14284 CPUtime=6.29 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 9036 0 0 0 628 1 0 0 20 0 1 0 103592250 38612992 3571 33554432000 4194304 5224696 140729818069008 140729818068024 4463199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9427 3571 658 252 0 2973 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 37708 KiB
Current children cumulated memory: 14284 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.09 2.09 3/191 17003
/proc/meminfo: memFree=27179340/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37708 memory=14368 CPUtime=12.69 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 11732 0 0 0 1266 3 0 0 20 0 1 0 103592250 38612992 3592 33554432000 4194304 5224696 140729818069008 140729818068024 4363024 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9427 3592 658 252 0 2973 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 37708 KiB
Current children cumulated memory: 14368 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.09 2.09 3/191 17003
/proc/meminfo: memFree=27179092/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37844 memory=14440 CPUtime=25.48 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 17098 0 0 0 2542 6 0 0 20 0 1 0 103592250 38752256 3610 33554432000 4194304 5224696 140729818069008 140729818068024 4362989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9461 3610 658 252 0 3007 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 14440 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.08 2.09 3/190 17003
/proc/meminfo: memFree=27178728/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37844 memory=14440 CPUtime=51.09 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 19781 0 0 0 5096 13 0 0 20 0 1 0 103592250 38752256 3610 33554432000 4194304 5224696 140729818069008 140729818068024 4463195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9461 3610 658 252 0 3007 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 14440 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/190 17004
/proc/meminfo: memFree=27178232/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37844 memory=14452 CPUtime=102.27 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 20496 0 0 0 10200 27 0 0 20 0 1 0 103592250 38752256 3613 33554432000 4194304 5224696 140729818069008 140729818068024 4471737 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9461 3613 658 252 0 3007 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 14452 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/190 17005
/proc/meminfo: memFree=27178404/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37844 memory=14508 CPUtime=162.27 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 21172 0 0 0 16187 40 0 0 20 0 1 0 103592250 38752256 3627 33554432000 4194304 5224696 140729818069008 140729818068024 4363231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9461 3627 658 252 0 3007 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 14508 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/190 17006
/proc/meminfo: memFree=27178508/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37844 memory=14516 CPUtime=222.26 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 21851 0 0 0 22170 56 0 0 20 0 1 0 103592250 38752256 3629 33554432000 4194304 5224696 140729818069008 140729818068024 4362984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9461 3629 660 252 0 3007 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 37844 KiB
Current children cumulated memory: 14516 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/191 17008
/proc/meminfo: memFree=27178516/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37988 memory=14516 CPUtime=282.25 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 22532 0 0 0 28151 74 0 0 20 0 1 0 103592250 38899712 3629 33554432000 4194304 5224696 140729818069008 140729818068024 4362849 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9497 3629 660 252 0 3043 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 14516 KiB
[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.07 3/191 17009
/proc/meminfo: memFree=27178316/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37988 memory=14676 CPUtime=342.25 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 23196 0 0 0 34137 88 0 0 20 0 1 0 103592250 38899712 3669 33554432000 4194304 5224696 140729818069008 140729818068024 4463172 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9497 3669 660 252 0 3043 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 14676 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.07 3/191 17010
/proc/meminfo: memFree=27177932/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37988 memory=14700 CPUtime=402.24 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 23545 0 0 0 40121 103 0 0 20 0 1 0 103592250 38899712 3675 33554432000 4194304 5224696 140729818069008 140729818068024 4363236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9497 3675 660 252 0 3043 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 14700 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/191 17011
/proc/meminfo: memFree=27178028/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=37988 memory=14700 CPUtime=462.23 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 23894 0 0 0 46106 117 0 0 20 0 1 0 103592250 38899712 3675 33554432000 4194304 5224696 140729818069008 140729818068024 4463195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9497 3675 660 252 0 3043 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 37988 KiB
Current children cumulated memory: 14700 KiB
################
# More data... #
################
Current children cumulated memory: 14808 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17025
/proc/meminfo: memFree=27177412/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14808 CPUtime=822.19 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 26073 0 0 0 82012 207 0 0 20 0 1 0 103592250 39047168 3702 33554432000 4194304 5224696 140729818069008 140729818068024 4599808 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3702 660 252 0 3079 0
Current children cumulated CPU time: 822.19 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14808 KiB
[startup+882.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 17026
/proc/meminfo: memFree=27176892/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14808 CPUtime=882.19 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 26442 0 0 0 87999 220 0 0 20 0 1 0 103592250 39047168 3702 33554432000 4194304 5224696 140729818069008 140729818068024 4362989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3702 660 252 0 3079 0
Current children cumulated CPU time: 882.19 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14808 KiB
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 17027
/proc/meminfo: memFree=27176992/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14808 CPUtime=942.18 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 26812 0 0 0 93984 234 0 0 20 0 1 0 103592250 39047168 3702 33554432000 4194304 5224696 140729818069008 140729818068024 4463195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3702 660 252 0 3079 0
Current children cumulated CPU time: 942.18 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14808 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 17028
/proc/meminfo: memFree=27176764/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14808 CPUtime=1002.17 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 27185 0 0 0 99970 247 0 0 20 0 1 0 103592250 39047168 3702 33554432000 4194304 5224696 140729818069008 140729818068024 4600824 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3702 660 252 0 3079 0
Current children cumulated CPU time: 1002.17 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14808 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17029
/proc/meminfo: memFree=27176732/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14824 CPUtime=1062.17 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 27555 0 0 0 105956 261 0 0 20 0 1 0 103592250 39047168 3706 33554432000 4194304 5224696 140729818069008 140729818068024 4362989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3706 660 252 0 3079 0
Current children cumulated CPU time: 1062.17 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14824 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17037
/proc/meminfo: memFree=27176320/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14824 CPUtime=1122.16 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 27937 0 0 0 111941 275 0 0 20 0 1 0 103592250 39047168 3706 33554432000 4194304 5224696 140729818069008 140729818068024 4362925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3706 660 252 0 3079 0
Current children cumulated CPU time: 1122.16 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14824 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17038
/proc/meminfo: memFree=27176676/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1182.15 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 28307 0 0 0 117925 290 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4599488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1182.15 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17039
/proc/meminfo: memFree=27176632/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1242.14 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 28682 0 0 0 123905 309 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4363012 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1242.14 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176612/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1302.14 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29056 0 0 0 129887 327 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4471867 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1302.14 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1308.93 s]
# the end of solver process 17002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1305.49 s, system=3.29263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1305.44 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29057 0 0 0 130216 328 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 139853126332960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1305.44 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1307.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1307.04 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29060 0 0 0 130376 328 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4463199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1307.04 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1308 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1307.85 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29060 0 0 0 130457 328 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4362999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1307.85 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1308.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1308.24 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29060 0 0 0 130496 328 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4463264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1308.24 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1308.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1308.64 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29060 0 0 0 130535 329 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4463199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1308.64 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
[startup+1308.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 17040
/proc/meminfo: memFree=27176620/32770624 swapFree=67108860/67108860
[pid=17002] ppid=16999 vsize=38132 memory=14852 CPUtime=1308.74 cores=0,2,4,6
/proc/17002/stat : 17002 (miniBTD) R 16999 17002 15034 0 -1 4202496 29060 0 0 0 130545 329 0 0 20 0 1 0 103592250 39047168 3713 33554432000 4194304 5224696 140729818069008 140729818068024 4463409 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 17264640 140729818072244 140729818072327 140729818072327 140729818075085 0
/proc/17002/statm: 9533 3713 663 252 0 3079 0
Current children cumulated CPU time: 1308.74 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14852 KiB
Child status: 0
Real time (s): 1308.93
CPU time (s): 1308.78
CPU user time (s): 1305.49
CPU system time (s): 3.29263
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 38132
Max. memory (cumulated for all children) (KiB): 14852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.49
system time used= 3.29263
maximum resident set size= 14864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29138
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= 1091
# summary of solver processes directly reported to runsolver:
# pid: 17002
# total CPU time (s): 1308.78
# total CPU user time (s): 1305.49
# total CPU system time (s): 3.29263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22605 second user time and 7.66592 second system time
The end