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 (8191 MiB free)
memory of node 1: 16384 MiB (14787 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301041-1532844344/watcher-4301041-1532844344 -o /tmp/evaluation-result-4301041-1532844344/solver-4301041-1532844344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532844344-8495 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301041-1532844344.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=8522, runsolver pid=8518
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23527108/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27612 memory=3988 CPUtime=0.09 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1202 0 1 0 9 0 0 0 20 0 1 0 101997558 28274688 997 33554432000 4194304 5224696 140728877454080 140728877451080 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6903 997 630 252 0 449 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 3988 KiB
[startup+0.209506 s]*
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23526812/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27612 memory=3988 CPUtime=0.2 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1208 0 1 0 20 0 0 0 20 0 1 0 101997558 28274688 997 33554432000 4194304 5224696 140728877454080 140728877451080 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6903 997 630 252 0 449 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 3988 KiB
[startup+0.309139 s]*
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23526812/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27612 memory=3988 CPUtime=0.3 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1210 0 1 0 30 0 0 0 20 0 1 0 101997558 28274688 997 33554432000 4194304 5224696 140728877454080 140728877451080 4363024 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6903 997 630 252 0 449 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 3988 KiB
[startup+0.700235 s]
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23526440/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27612 memory=3988 CPUtime=0.68 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1219 0 1 0 68 0 0 0 20 0 1 0 101997558 28274688 997 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6903 997 630 252 0 449 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 3988 KiB
[startup+1.50022 s]
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23526440/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27612 memory=4252 CPUtime=1.49 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1226 0 1 0 148 1 0 0 20 0 1 0 101997558 28274688 1063 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6903 1063 639 252 0 449 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27612 KiB
Current children cumulated memory: 4252 KiB
[startup+3.10904 s]
/proc/loadavg: 0.73 0.65 0.69 3/189 8527
/proc/meminfo: memFree=23526596/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27744 memory=4276 CPUtime=3.09 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1468 0 1 0 308 1 0 0 20 0 1 0 101997558 28409856 1069 33554432000 4194304 5224696 140728877454080 140728877453096 4241558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6936 1069 639 252 0 482 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27744 KiB
Current children cumulated memory: 4276 KiB
[startup+6.30021 s]
/proc/loadavg: 0.91 0.69 0.71 3/189 8527
/proc/meminfo: memFree=23525988/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27744 memory=4312 CPUtime=6.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1718 0 1 0 625 4 0 0 20 0 1 0 101997558 28409856 1078 33554432000 4194304 5224696 140728877454080 140728877453096 4363272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6936 1078 639 252 0 482 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27744 KiB
Current children cumulated memory: 4312 KiB
[startup+12.7003 s]
/proc/loadavg: 0.92 0.69 0.71 3/189 8527
/proc/meminfo: memFree=23526448/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27744 memory=4356 CPUtime=12.69 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 1982 0 1 0 1261 8 0 0 20 0 1 0 101997558 28409856 1089 33554432000 4194304 5224696 140728877454080 140728877453096 139974888943160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6936 1089 639 252 0 482 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27744 KiB
Current children cumulated memory: 4356 KiB
[startup+25.5003 s]
/proc/loadavg: 1.16 0.76 0.73 3/189 8527
/proc/meminfo: memFree=23527016/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27876 memory=4432 CPUtime=25.49 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 2512 0 1 0 2531 18 0 0 20 0 1 0 101997558 28545024 1108 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6969 1108 639 252 0 515 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27876 KiB
Current children cumulated memory: 4432 KiB
[startup+51.1091 s]
/proc/loadavg: 1.45 0.86 0.76 3/189 8527
/proc/meminfo: memFree=23527360/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27876 memory=4460 CPUtime=51.1 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 2804 0 1 0 5075 35 0 0 20 0 1 0 101997558 28545024 1115 33554432000 4194304 5224696 140728877454080 140728877453096 4362864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6969 1115 639 252 0 515 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27876 KiB
Current children cumulated memory: 4460 KiB
[startup+102.3 s]
/proc/loadavg: 1.76 1.03 0.83 3/189 8528
/proc/meminfo: memFree=23527452/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=27876 memory=4500 CPUtime=102.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 3108 0 1 0 10154 75 0 0 20 0 1 0 101997558 28545024 1125 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 6969 1125 639 252 0 515 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27876 KiB
Current children cumulated memory: 4500 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.21 0.90 3/189 8529
/proc/meminfo: memFree=23527080/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4556 CPUtime=162.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 3413 0 1 0 16108 121 0 0 20 0 1 0 101997558 28680192 1139 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1139 639 252 0 548 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4556 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.35 0.97 3/189 8530
/proc/meminfo: memFree=23526592/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4568 CPUtime=222.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 3715 0 1 0 22063 166 0 0 20 0 1 0 101997558 28680192 1142 33554432000 4194304 5224696 140728877454080 140728877453096 4363017 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1142 639 252 0 548 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4568 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.47 1.03 3/191 8540
/proc/meminfo: memFree=23525196/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4608 CPUtime=282.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 4008 0 1 0 28017 212 0 0 20 0 1 0 101997558 28680192 1152 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1152 639 252 0 548 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4608 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.57 1.09 3/189 8541
/proc/meminfo: memFree=23525788/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4620 CPUtime=342.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 4323 0 1 0 33974 255 0 0 20 0 1 0 101997558 28680192 1155 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1155 639 252 0 548 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4620 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.64 1.15 3/189 8542
/proc/meminfo: memFree=23525812/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4636 CPUtime=402.29 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 4630 0 1 0 39928 301 0 0 20 0 1 0 101997558 28680192 1159 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1159 639 252 0 548 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4636 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.71 1.20 3/189 8543
/proc/meminfo: memFree=23526176/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28008 memory=4648 CPUtime=462.3 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 4940 0 1 0 45882 348 0 0 20 0 1 0 101997558 28680192 1162 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7002 1162 639 252 0 548 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 28008 KiB
Current children cumulated memory: 4648 KiB
################
# More data... #
################
Current children cumulated memory: 4788 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/187 8595
/proc/meminfo: memFree=23524040/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4788 CPUtime=2082.33 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 12766 0 1 0 206626 1607 0 0 20 0 1 0 101997558 28815360 1197 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1197 639 252 0 581 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4788 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/187 8596
/proc/meminfo: memFree=23524600/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4788 CPUtime=2142.33 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 13078 0 1 0 212579 1654 0 0 20 0 1 0 101997558 28815360 1197 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1197 639 252 0 581 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4788 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/187 8597
/proc/meminfo: memFree=23524436/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4796 CPUtime=2202.34 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 13354 0 1 0 218535 1699 0 0 20 0 1 0 101997558 28815360 1199 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1199 639 252 0 581 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4796 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/187 8598
/proc/meminfo: memFree=23524272/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4796 CPUtime=2262.34 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 13630 0 1 0 224486 1748 0 0 20 0 1 0 101997558 28815360 1199 33554432000 4194304 5224696 140728877454080 140728877453096 139974895243776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1199 639 252 0 581 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4796 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/187 8599
/proc/meminfo: memFree=23524356/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4796 CPUtime=2322.34 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 13908 0 1 0 230438 1796 0 0 20 0 1 0 101997558 28815360 1199 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1199 639 252 0 581 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/187 8600
/proc/meminfo: memFree=23524588/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2382.34 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 14213 0 1 0 236387 1847 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/187 8601
/proc/meminfo: memFree=23524464/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2442.34 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 14484 0 1 0 242339 1895 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524464/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2502.35 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 14755 0 1 0 248291 1944 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2519.95 s]
# the end of solver process 8522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2500.41 s, system=19.5905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524464/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2508.84 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 14755 0 1 0 248936 1948 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2508.84 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2515.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2515.25 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 14755 0 1 0 249571 1954 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2515.25 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2518.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2518.45 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 15025 0 1 0 249888 1957 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2518.45 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2519.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2519.25 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 15025 0 1 0 249967 1958 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974895243808 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2519.25 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2519.6 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2519.64 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 15025 0 1 0 250006 1958 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2519.8 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2519.84 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 15025 0 1 0 250026 1958 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/187 8602
/proc/meminfo: memFree=23524712/32770624 swapFree=67108404/67108860
[pid=8522] ppid=8518 vsize=28140 memory=4800 CPUtime=2519.94 cores=1,3,5,7
/proc/8522/stat : 8522 (miniBTD) R 8518 8522 8463 0 -1 4202496 15025 0 1 0 250036 1958 0 0 20 0 1 0 101997558 28815360 1200 33554432000 4194304 5224696 140728877454080 140728877453096 139974889214332 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 29110272 140728877458613 140728877458695 140728877458695 140728877461453 0
/proc/8522/statm: 7035 1200 639 252 0 581 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4800 KiB
Child status: 0
Real time (s): 2519.95
CPU time (s): 2520
CPU user time (s): 2500.41
CPU system time (s): 19.5905
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28140
Max. memory (cumulated for all children) (KiB): 4800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2500.41
system time used= 19.5905
maximum resident set size= 4820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15262
page faults= 1
swaps= 0
block input operations= 880
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 650
# summary of solver processes directly reported to runsolver:
# pid: 8522
# total CPU time (s): 2520
# total CPU user time (s): 2500.41
# total CPU system time (s): 19.5905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.16687 second user time and 15.5631 second system time
The end