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 (15371 MiB free)
memory of node 1: 16384 MiB (15622 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264806-1502597129/watcher-4264806-1502597129 -o /tmp/evaluation-result-4264806-1502597129/solver-4264806-1502597129 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502596271-29774 --watchdog 2560 miniBTD 2400 HOME/instance-4264806-1502597129.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
solver pid=29800, runsolver pid=29796
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 4.55 4.73 3.59 3/190 29805
/proc/meminfo: memFree=31735592/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26280 memory=2932 CPUtime=0.1 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 930 0 1 0 10 0 0 0 20 0 1 0 92800591 26910720 733 33554432000 4194304 4832229 140726217686288 140726217683240 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6570 733 561 156 0 212 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26280 KiB
Current children cumulated memory: 2932 KiB
[startup+0.210143 s]*
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26280 memory=2932 CPUtime=0.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 932 0 1 0 21 0 0 0 20 0 1 0 92800591 26910720 733 33554432000 4194304 4832229 140726217686288 140726217683240 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6570 733 561 156 0 212 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26280 KiB
Current children cumulated memory: 2932 KiB
[startup+0.309323 s]*
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26280 memory=2932 CPUtime=0.31 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 933 0 1 0 31 0 0 0 20 0 1 0 92800591 26910720 733 33554432000 4194304 4832229 140726217686288 140726217683240 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6570 733 561 156 0 212 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 26280 KiB
Current children cumulated memory: 2932 KiB
[startup+0.700255 s]
/proc/loadavg: 4.55 4.73 3.59 4/190 29805
/proc/meminfo: memFree=31733304/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3096 CPUtime=0.68 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 937 0 1 0 68 0 0 0 20 0 1 0 92800591 27041792 774 33554432000 4194304 4832229 140726217686288 140726217683240 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 774 571 156 0 244 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3096 KiB
[startup+1.50031 s]
/proc/loadavg: 4.55 4.73 3.59 3/190 29805
/proc/meminfo: memFree=31733216/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3096 CPUtime=1.49 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 941 0 1 0 148 1 0 0 20 0 1 0 92800591 27041792 774 33554432000 4194304 4832229 140726217686288 140726217684008 139820669546428 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 774 571 156 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3096 KiB
[startup+3.10934 s]
/proc/loadavg: 4.55 4.73 3.59 3/190 29805
/proc/meminfo: memFree=31728844/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3128 CPUtime=3.09 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1051 0 1 0 307 2 0 0 20 0 1 0 92800591 27041792 782 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 782 571 156 0 244 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3128 KiB
[startup+6.3003 s]
/proc/loadavg: 4.35 4.68 3.58 3/190 29805
/proc/meminfo: memFree=31737848/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3144 CPUtime=6.29 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1167 0 1 0 623 6 0 0 20 0 1 0 92800591 27041792 786 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 786 571 156 0 244 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.64 3.57 3/190 29805
/proc/meminfo: memFree=31738368/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3168 CPUtime=12.69 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1287 0 1 0 1257 12 0 0 20 0 1 0 92800591 27041792 792 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 792 571 156 0 244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3168 KiB
[startup+25.5003 s]
/proc/loadavg: 3.68 4.51 3.54 3/190 29805
/proc/meminfo: memFree=31738700/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26408 memory=3204 CPUtime=25.48 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1539 0 1 0 2525 23 0 0 20 0 1 0 92800591 27041792 801 33554432000 4194304 4832229 140726217686288 140726217684008 4338967 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6602 801 571 156 0 244 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 26408 KiB
Current children cumulated memory: 3204 KiB
[startup+51.1093 s]
/proc/loadavg: 3.11 4.31 3.50 3/190 29805
/proc/meminfo: memFree=31738776/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3220 CPUtime=51.1 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1675 0 1 0 5066 44 0 0 20 0 1 0 92800591 27176960 805 33554432000 4194304 4832229 140726217686288 140726217684008 4339904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 805 571 156 0 277 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3220 KiB
[startup+102.3 s]
/proc/loadavg: 2.48 3.95 3.42 3/190 29806
/proc/meminfo: memFree=31738600/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3236 CPUtime=102.28 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1813 0 1 0 10139 89 0 0 20 0 1 0 92800591 27176960 809 33554432000 4194304 4832229 140726217686288 140726217684008 139820669534799 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 809 571 156 0 277 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3236 KiB
[startup+162.3 s]
/proc/loadavg: 2.18 3.60 3.34 3/190 29807
/proc/meminfo: memFree=31738664/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3252 CPUtime=162.28 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 1953 0 1 0 16085 143 0 0 20 0 1 0 92800591 27176960 813 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 813 571 156 0 277 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3252 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 3.31 3.25 3/189 29808
/proc/meminfo: memFree=31738680/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3264 CPUtime=222.27 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 2097 0 1 0 22034 193 0 0 20 0 1 0 92800591 27176960 816 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 816 571 156 0 277 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3264 KiB
[startup+282.3 s]
/proc/loadavg: 2.07 3.08 3.18 3/188 29810
/proc/meminfo: memFree=31738828/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3276 CPUtime=282.27 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 2241 0 1 0 27980 247 0 0 20 0 1 0 92800591 27176960 819 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 819 571 156 0 277 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3276 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.89 3.11 3/187 29811
/proc/meminfo: memFree=31738620/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3284 CPUtime=342.28 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 2386 0 1 0 33930 298 0 0 20 0 1 0 92800591 27176960 821 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 821 571 156 0 277 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3284 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.72 3.04 3/187 29812
/proc/meminfo: memFree=31738460/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3296 CPUtime=402.27 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 2532 0 1 0 39874 353 0 0 20 0 1 0 92800591 27176960 824 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 824 571 156 0 277 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3296 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.59 2.97 3/187 29814
/proc/meminfo: memFree=31738316/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3296 CPUtime=462.27 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 2680 0 1 0 45817 410 0 0 20 0 1 0 92800591 27176960 824 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 824 571 156 0 277 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3296 KiB
################
# More data... #
################
Current children cumulated memory: 3352 KiB
[startup+1902.3 s]
/proc/loadavg: 2.16 2.20 2.30 3/188 29883
/proc/meminfo: memFree=31737020/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26540 memory=3352 CPUtime=1902.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6006 0 1 0 188419 1802 0 0 20 0 1 0 92800591 27176960 838 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6635 838 571 156 0 277 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 26540 KiB
Current children cumulated memory: 3352 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.16 2.28 3/188 29884
/proc/meminfo: memFree=31737244/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3356 CPUtime=1962.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6155 0 1 0 194360 1861 0 0 20 0 1 0 92800591 27312128 839 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 839 571 156 0 310 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3356 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.13 2.26 3/188 29885
/proc/meminfo: memFree=31737056/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3356 CPUtime=2022.2 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6284 0 1 0 200295 1925 0 0 20 0 1 0 92800591 27312128 839 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 839 571 156 0 310 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3356 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.11 2.24 3/187 29887
/proc/meminfo: memFree=31737244/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3356 CPUtime=2082.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6409 0 1 0 206236 1985 0 0 20 0 1 0 92800591 27312128 839 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 839 571 156 0 310 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3356 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.09 2.23 3/187 29888
/proc/meminfo: memFree=31737368/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2142.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6560 0 1 0 212174 2047 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.07 2.22 3/187 29889
/proc/meminfo: memFree=31737616/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2202.21 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6686 0 1 0 218115 2106 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.06 2.20 3/187 29891
/proc/meminfo: memFree=31737212/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2262.2 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6812 0 1 0 224057 2163 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.19 3/187 29892
/proc/meminfo: memFree=31737460/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2322.2 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 6937 0 1 0 229995 2225 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2382.19 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7069 0 1 0 235937 2282 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2400.11 s]
# the end of solver process 29800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2377.01 s, system=23.0001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3364 CPUtime=2393.5 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7069 0 1 0 237057 2293 0 0 20 0 1 0 92800591 27312128 841 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 841 571 156 0 310 0
Current children cumulated CPU time: 2393.5 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3364 KiB
[startup+2396.8 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3368 CPUtime=2396.69 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7194 0 1 0 237374 2295 0 0 20 0 1 0 92800591 27312128 842 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 842 571 156 0 310 0
Current children cumulated CPU time: 2396.69 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3368 KiB
[startup+2398.4 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3368 CPUtime=2398.3 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7194 0 1 0 237532 2298 0 0 20 0 1 0 92800591 27312128 842 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 842 571 156 0 310 0
Current children cumulated CPU time: 2398.3 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3368 KiB
[startup+2399.2 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3368 CPUtime=2399.1 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7194 0 1 0 237611 2299 0 0 20 0 1 0 92800591 27312128 842 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 842 571 156 0 310 0
Current children cumulated CPU time: 2399.1 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3368 KiB
[startup+2399.6 s]
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3368 CPUtime=2399.5 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7194 0 1 0 237651 2299 0 0 20 0 1 0 92800591 27312128 842 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 842 571 156 0 310 0
Current children cumulated CPU time: 2399.5 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3368 KiB
[startup+2400 s]*
/proc/loadavg: 2.00 2.04 2.18 3/189 29902
/proc/meminfo: memFree=31737048/32770624 swapFree=67108860/67108860
[pid=29800] ppid=29796 vsize=26672 memory=3368 CPUtime=2399.9 cores=1,3,5,7
/proc/29800/stat : 29800 (miniBTD) R 29796 29800 24815 0 -1 4202496 7194 0 1 0 237691 2299 0 0 20 0 1 0 92800591 27312128 842 33554432000 4194304 4832229 140726217686288 140726217684008 139820669800828 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932488 6936608 25894912 140726217688269 140726217688349 140726217688349 140726217691085 0
/proc/29800/statm: 6668 842 571 156 0 310 0
Current children cumulated CPU time: 2399.9 s
Current children cumulated vsize: 26672 KiB
Current children cumulated memory: 3368 KiB
Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2377.01
CPU system time (s): 23.0001
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 26672
Max. memory (cumulated for all children) (KiB): 3368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2377.01
system time used= 23.0001
maximum resident set size= 3440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7315
page faults= 1
swaps= 0
block input operations= 208
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 613
# summary of solver processes directly reported to runsolver:
# pid: 29800
# total CPU time (s): 2400.01
# total CPU user time (s): 2377.01
# total CPU system time (s): 23.0001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.46139 second user time and 15.9681 second system time
The end