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 (15187 MiB free)
memory of node 1: 16384 MiB (15627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264934-1502609567/watcher-4264934-1502609567 -o /tmp/evaluation-result-4264934-1502609567/solver-4264934-1502609567 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502596296-23160 --watchdog 2560 miniBTD 2400 HOME/instance-4264934-1502609567.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27051, runsolver pid=27048
[startup+0.100148 s]*
/proc/loadavg: 2.10 2.06 2.06 2/182 27052
/proc/meminfo: memFree=31554864/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26268 memory=2668 CPUtime=0 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 882 0 0 0 0 0 0 0 20 0 1 0 63150040 26898432 667 18446744073709551615 4194304 4832229 140726159141552 140726159138504 139633241287653 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6567 667 514 156 0 209 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 2668 KiB
[startup+0.209153 s]*
/proc/loadavg: 2.10 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31554864/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=2968 CPUtime=0.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 955 0 0 0 11 0 0 0 20 0 1 0 63150040 27033600 742 18446744073709551615 4194304 4832229 140726159141552 140726159138504 4320715 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 742 542 156 0 242 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 2968 KiB
[startup+0.308701 s]*
/proc/loadavg: 2.10 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31555036/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=2968 CPUtime=0.21 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 955 0 0 0 21 0 0 0 20 0 1 0 63150040 27033600 742 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 742 542 156 0 242 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 2968 KiB
[startup+0.700265 s]
/proc/loadavg: 2.10 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31555036/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=2968 CPUtime=0.59 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 955 0 0 0 59 0 0 0 20 0 1 0 63150040 27033600 742 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320644 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 742 542 156 0 242 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 2968 KiB
[startup+1.50026 s]
/proc/loadavg: 2.09 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31555036/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=2968 CPUtime=1.39 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 955 0 0 0 139 0 0 0 20 0 1 0 63150040 27033600 742 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 742 542 156 0 242 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 2968 KiB
[startup+3.10912 s]
/proc/loadavg: 2.09 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31554912/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=3 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 989 0 0 0 300 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320685 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+6.30026 s]
/proc/loadavg: 2.08 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31554912/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=6.19 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1023 0 0 0 619 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321380 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31555284/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=12.59 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1059 0 0 0 1259 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321228 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.06 3/182 27052
/proc/meminfo: memFree=31555456/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=25.39 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1133 0 0 0 2539 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321228 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+51.1087 s]
/proc/loadavg: 2.04 2.05 2.05 3/182 27053
/proc/meminfo: memFree=31555704/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=51 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1174 0 0 0 5100 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320712 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 27070
/proc/meminfo: memFree=31551580/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=102.19 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1211 0 0 0 10219 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320644 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 27072
/proc/meminfo: memFree=31551728/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=162.18 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1230 0 0 0 16218 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320644 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 162.18 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 27074
/proc/meminfo: memFree=31554952/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=222.18 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1267 0 0 0 22218 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320715 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 27076
/proc/meminfo: memFree=31555076/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=282.18 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1304 0 0 0 28218 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320640 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 27078
/proc/meminfo: memFree=31555356/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=342.18 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1340 0 0 0 34218 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27081
/proc/meminfo: memFree=31555092/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=402.18 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1358 0 0 0 40218 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320644 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27083
/proc/meminfo: memFree=31555328/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3172 CPUtime=462.17 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1379 0 0 0 46217 0 0 0 20 0 1 0 63150040 27033600 793 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321344 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
################
# More data... #
################
/proc/27051/statm: 6600 793 567 156 0 242 0
Current children cumulated CPU time: 1602.13 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3172 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27336
/proc/meminfo: memFree=31584604/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1662.13 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1962 0 0 0 166213 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320670 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1662.13 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27338
/proc/meminfo: memFree=31584816/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1722.13 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 1983 0 0 0 172213 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321380 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27340
/proc/meminfo: memFree=31584700/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1782.13 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2004 0 0 0 178213 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320698 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27342
/proc/meminfo: memFree=31585312/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1842.12 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2025 0 0 0 184212 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321380 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27359
/proc/meminfo: memFree=31579864/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1902.12 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2042 0 0 0 190212 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320640 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27361
/proc/meminfo: memFree=31580492/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=1962.12 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2063 0 0 0 196212 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320717 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27363
/proc/meminfo: memFree=31584028/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2022.12 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2084 0 0 0 202212 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321360 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27365
/proc/meminfo: memFree=31584624/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2082.12 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2101 0 0 0 208212 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320715 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27367
/proc/meminfo: memFree=31584396/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2142.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2122 0 0 0 214211 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321380 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27370
/proc/meminfo: memFree=31584884/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2202.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2143 0 0 0 220211 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320640 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27372
/proc/meminfo: memFree=31584164/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2262.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2160 0 0 0 226211 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27374
/proc/meminfo: memFree=31584760/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2322.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2197 0 0 0 232211 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4321360 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27377
/proc/meminfo: memFree=31584860/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2382.11 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2218 0 0 0 238211 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27377
/proc/meminfo: memFree=31584968/32770624 swapFree=67108860/67108860
[pid=27051] ppid=27048 vsize=26400 memory=3176 CPUtime=2400 cores=1,3,5,7
/proc/27051/stat : 27051 (miniBTD) R 27048 27051 17093 0 -1 4202496 2235 0 0 0 240000 0 0 0 20 0 1 0 63150040 27033600 794 18446744073709551615 4194304 4832229 140726159141552 140726159139560 4320853 0 0 1 0 0 0 0 17 1 0 0 10 0 0 6932488 6936608 29364224 140726159143383 140726159143463 140726159143463 140726159146957 0
/proc/27051/statm: 6600 794 567 156 0 242 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 26400 KiB
Current children cumulated memory: 3176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 27051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.002039 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): 2400.2
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.002039
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 26400
Max. memory (cumulated for all children) (KiB): 3176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.002039
maximum resident set size= 3176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2236
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= 7
involuntary context switches= 606
# summary of solver processes directly reported to runsolver:
# pid: 27051
# total CPU time (s): 2400.01
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.002039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68349 second user time and 15.1813 second system time
The end