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 (9674 MiB free)
memory of node 1: 16384 MiB (10245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301085-1532867909/watcher-4301085-1532867909 -o /tmp/evaluation-result-4301085-1532867909/solver-4301085-1532867909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532846840-3944 --watchdog 2580 miniBTD 3 2520 HOME/instance-4301085-1532867909.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=6769, runsolver pid=6766
[startup+0.10011 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20396048/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4280 CPUtime=0.1 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1255 0 0 0 10 0 0 0 20 0 1 0 104354133 28377088 1070 33554432000 4194304 5224696 140728092639328 140728092636328 4600774 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1070 655 252 0 474 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4280 KiB
[startup+0.209173 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20396048/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4280 CPUtime=0.21 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1260 0 0 0 21 0 0 0 20 0 1 0 104354133 28377088 1070 33554432000 4194304 5224696 140728092639328 140728092636328 4363224 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1070 655 252 0 474 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4280 KiB
[startup+0.308657 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20396048/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4280 CPUtime=0.3 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1260 0 0 0 30 0 0 0 20 0 1 0 104354133 28377088 1070 33554432000 4194304 5224696 140728092639328 140728092636328 139662902235693 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1070 655 252 0 474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4280 KiB
[startup+0.700222 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20395924/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4280 CPUtime=0.69 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1267 0 0 0 69 0 0 0 20 0 1 0 104354133 28377088 1070 33554432000 4194304 5224696 140728092639328 140728092638344 139662902235712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1070 655 252 0 474 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4280 KiB
[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20395924/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4280 CPUtime=1.49 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1270 0 0 0 149 0 0 0 20 0 1 0 104354133 28377088 1070 33554432000 4194304 5224696 140728092639328 140728092638344 4363231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1070 655 252 0 474 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4280 KiB
[startup+3.1089 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20395840/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4440 CPUtime=3.1 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1574 0 0 0 309 1 0 0 20 0 1 0 104354133 28377088 1110 33554432000 4194304 5224696 140728092639328 140728092638344 139662896206204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1110 661 252 0 474 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4440 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20395608/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4448 CPUtime=6.29 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 1879 0 0 0 628 1 0 0 20 0 1 0 104354133 28377088 1112 33554432000 4194304 5224696 140728092639328 140728092638344 4363236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1112 661 252 0 474 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4448 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20395980/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27712 memory=4460 CPUtime=12.69 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 2190 0 0 0 1267 2 0 0 20 0 1 0 104354133 28377088 1115 33554432000 4194304 5224696 140728092639328 140728092638344 4363248 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6928 1115 661 252 0 474 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27712 KiB
Current children cumulated memory: 4460 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20396288/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4496 CPUtime=25.49 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 2822 0 0 0 2546 3 0 0 20 0 1 0 104354133 28512256 1124 33554432000 4194304 5224696 140728092639328 140728092638344 4363200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1124 661 252 0 507 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4496 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6770
/proc/meminfo: memFree=20396164/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4508 CPUtime=51.09 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 3141 0 0 0 5102 7 0 0 20 0 1 0 104354133 28512256 1127 33554432000 4194304 5224696 140728092639328 140728092638344 139662902235664 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1127 661 252 0 507 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4508 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6778
/proc/meminfo: memFree=20395636/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4520 CPUtime=102.29 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 3468 0 0 0 10215 14 0 0 20 0 1 0 104354133 28512256 1130 33554432000 4194304 5224696 140728092639328 140728092638344 139662896206204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1130 661 252 0 507 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4520 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6779
/proc/meminfo: memFree=20395636/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4532 CPUtime=162.29 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 3794 0 0 0 16206 23 0 0 20 0 1 0 104354133 28512256 1133 33554432000 4194304 5224696 140728092639328 140728092638344 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1133 661 252 0 507 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4532 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 6780
/proc/meminfo: memFree=20395016/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4548 CPUtime=222.28 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 4124 0 0 0 22198 30 0 0 20 0 1 0 104354133 28512256 1137 33554432000 4194304 5224696 140728092639328 140728092638344 4363236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1137 661 252 0 507 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4548 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6781
/proc/meminfo: memFree=20394768/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4556 CPUtime=282.28 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 4456 0 0 0 28188 40 0 0 20 0 1 0 104354133 28512256 1139 33554432000 4194304 5224696 140728092639328 140728092638344 4363167 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1139 661 252 0 507 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4556 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6782
/proc/meminfo: memFree=20394760/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4564 CPUtime=342.27 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 4789 0 0 0 34178 49 0 0 20 0 1 0 104354133 28512256 1141 33554432000 4194304 5224696 140728092639328 140728092638344 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1141 661 252 0 507 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4564 KiB
[startup+402.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/187 6844
/proc/meminfo: memFree=20397936/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4572 CPUtime=402.28 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 5121 0 0 0 40170 58 0 0 20 0 1 0 104354133 28512256 1143 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1143 661 252 0 507 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4572 KiB
[startup+462.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 6845
/proc/meminfo: memFree=20397068/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4576 CPUtime=462.28 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 5454 0 0 0 46161 67 0 0 20 0 1 0 104354133 28512256 1144 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1144 661 252 0 507 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4576 KiB
################
# More data... #
################
Current children cumulated memory: 4616 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 6903
/proc/meminfo: memFree=20395136/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4620 CPUtime=1482.25 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 11166 0 0 0 147990 235 0 0 20 0 1 0 104354133 28512256 1155 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1155 661 252 0 507 0
Current children cumulated CPU time: 1482.25 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4620 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 6904
/proc/meminfo: memFree=20395508/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4620 CPUtime=1542.24 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 11506 0 0 0 153980 244 0 0 20 0 1 0 104354133 28512256 1155 33554432000 4194304 5224696 140728092639328 140728092638344 4363236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1155 661 252 0 507 0
Current children cumulated CPU time: 1542.24 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4620 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 6905
/proc/meminfo: memFree=20395524/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4620 CPUtime=1602.24 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 11834 0 0 0 159970 254 0 0 20 0 1 0 104354133 28512256 1155 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1155 661 252 0 507 0
Current children cumulated CPU time: 1602.24 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4620 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6906
/proc/meminfo: memFree=20395424/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4620 CPUtime=1662.24 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 12166 0 0 0 165961 263 0 0 20 0 1 0 104354133 28512256 1155 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1155 661 252 0 507 0
Current children cumulated CPU time: 1662.24 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4620 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6907
/proc/meminfo: memFree=20395052/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1722.24 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 12508 0 0 0 171951 273 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 139662896206204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6908
/proc/meminfo: memFree=20395300/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1782.24 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 12840 0 0 0 177943 281 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1818.93 s]
# the end of solver process 6769 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1815.99 s, system=2.88192 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 6908
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1791.94 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 12840 0 0 0 178911 283 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 139662896206204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1791.94 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1804.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6908
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1804.74 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13169 0 0 0 180189 285 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363206 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1804.74 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1811.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1811.14 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13169 0 0 0 180828 286 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363024 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1811.14 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1814.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1814.34 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13169 0 0 0 181147 287 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363241 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1814.34 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1816 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1815.95 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13169 0 0 0 181308 287 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1815.95 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1817.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1817.54 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13171 0 0 0 181467 287 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1817.54 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1818.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1818.34 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13171 0 0 0 181547 287 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1818.34 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1818.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1818.74 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13171 0 0 0 181586 288 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 4363224 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1818.74 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
[startup+1818.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 6909
/proc/meminfo: memFree=20395548/32770624 swapFree=67108860/67108860
[pid=6769] ppid=6766 vsize=27844 memory=4624 CPUtime=1818.84 cores=0,2,4,6
/proc/6769/stat : 6769 (miniBTD) R 6766 6769 3913 0 -1 4202496 13171 0 0 0 181596 288 0 0 20 0 1 0 104354133 28512256 1156 33554432000 4194304 5224696 140728092639328 140728092638344 139662896206204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 7325440 7329888 39051264 140728092644533 140728092644615 140728092644615 140728092647373 0
/proc/6769/statm: 6961 1156 661 252 0 507 0
Current children cumulated CPU time: 1818.84 s
Current children cumulated vsize: 27844 KiB
Current children cumulated memory: 4624 KiB
Child status: 0
Real time (s): 1818.93
CPU time (s): 1818.88
CPU user time (s): 1815.99
CPU system time (s): 2.88192
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 27844
Max. memory (cumulated for all children) (KiB): 4624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1815.99
system time used= 2.88192
maximum resident set size= 4644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13292
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= 6
involuntary context switches= 2305
# summary of solver processes directly reported to runsolver:
# pid: 6769
# total CPU time (s): 1818.88
# total CPU user time (s): 1815.99
# total CPU system time (s): 2.88192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24228 second user time and 11.7006 second system time
The end