runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252177-1500925543/watcher-4252177-1500925543 -o /tmp/evaluation-result-4252177-1500925543/solver-4252177-1500925543 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3503 --watchdog 2560 miniBTD 2400 HOME/instance-4252177-1500925543.xml
pid=6118
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 2.04 2/181 6121
/proc/meminfo: memFree=31713360/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 837 0 0 0 0 0 0 0 20 0 1 0 2093935 26628096 667 33554432000 4194304 4832315 140725529456688 140725529453688 4314400 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6501 667 556 156 0 143 0
[startup+0.100158 s]
/proc/loadavg: 1.92 2.01 2.04 2/181 6121
/proc/meminfo: memFree=31713360/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26140 CPUtime=0.09 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 927 0 0 0 9 0 0 0 20 0 1 0 2093935 26767360 733 33554432000 4194304 4832315 140725529456688 140725529453688 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6535 733 589 156 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26140
[startup+0.200265 s]
/proc/loadavg: 1.92 2.01 2.04 2/181 6121
/proc/meminfo: memFree=31713360/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26140 CPUtime=0.19 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 927 0 0 0 19 0 0 0 20 0 1 0 2093935 26767360 733 33554432000 4194304 4832315 140725529456688 140725529453688 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6535 733 589 156 0 177 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26140
[startup+0.300252 s]
/proc/loadavg: 1.92 2.01 2.04 2/181 6121
/proc/meminfo: memFree=31713360/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26140 CPUtime=0.29 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 928 0 0 0 29 0 0 0 20 0 1 0 2093935 26767360 733 33554432000 4194304 4832315 140725529456688 140725529453688 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6535 733 589 156 0 177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26140
[startup+0.700225 s]
/proc/loadavg: 1.92 2.01 2.04 2/181 6121
/proc/meminfo: memFree=31713360/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26140 CPUtime=0.69 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 931 0 0 0 69 0 0 0 20 0 1 0 2093935 26767360 733 33554432000 4194304 4832315 140725529456688 140725529453688 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6535 733 589 156 0 177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26140
[startup+1.50022 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 6122
/proc/meminfo: memFree=31712616/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26140 CPUtime=1.49 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 933 0 0 0 149 0 0 0 20 0 1 0 2093935 26767360 733 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6535 733 589 156 0 177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26140
[startup+3.10022 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 6122
/proc/meminfo: memFree=31712352/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26268 CPUtime=3.09 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1022 0 0 0 308 1 0 0 20 0 1 0 2093935 26898432 768 33554432000 4194304 4832315 140725529456688 140725529454408 4339031 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 768 598 156 0 209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26268
[startup+6.30023 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6122
/proc/meminfo: memFree=31711280/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26268 CPUtime=6.29 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1112 0 0 0 627 2 0 0 20 0 1 0 2093935 26898432 770 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 770 598 156 0 209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26268
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6122
/proc/meminfo: memFree=31709048/32770624 swapFree=5828/119836
[pid=6121] ppid=6118 vsize=26268 CPUtime=12.7 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1206 0 0 0 1265 5 0 0 20 0 1 0 2093935 26898432 775 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 775 598 156 0 209 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 26268
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6122
/proc/meminfo: memFree=31706236/32770624 swapFree=5828/120080
[pid=6121] ppid=6118 vsize=26268 CPUtime=25.5 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1386 0 0 0 2538 12 0 0 20 0 1 0 2093935 26898432 782 33554432000 4194304 4832315 140725529456688 140725529454408 4339598 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 782 598 156 0 209 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 26268
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6122
/proc/meminfo: memFree=31699292/32770624 swapFree=5828/120096
[pid=6121] ppid=6118 vsize=26268 CPUtime=51.1 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1481 0 0 0 5087 23 0 0 20 0 1 0 2093935 26898432 786 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 786 598 156 0 209 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 26268
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6123
/proc/meminfo: memFree=31689972/32770624 swapFree=5828/120124
[pid=6121] ppid=6118 vsize=26268 CPUtime=102.3 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1570 0 0 0 10185 45 0 0 20 0 1 0 2093935 26898432 790 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 790 598 156 0 209 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26268
[startup+162.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 6124
/proc/meminfo: memFree=31680176/32770624 swapFree=5828/120156
[pid=6121] ppid=6118 vsize=26268 CPUtime=162.3 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1671 0 0 0 16153 77 0 0 20 0 1 0 2093935 26898432 793 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6567 793 598 156 0 209 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26268
[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6125
/proc/meminfo: memFree=31671744/32770624 swapFree=5828/120176
[pid=6121] ppid=6118 vsize=26400 CPUtime=222.31 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1759 0 0 0 22126 105 0 0 20 0 1 0 2093935 27033600 799 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 799 598 156 0 242 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 26400
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6133
/proc/meminfo: memFree=31662424/32770624 swapFree=5828/120200
[pid=6121] ppid=6118 vsize=26400 CPUtime=282.31 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1775 0 0 0 28101 130 0 0 20 0 1 0 2093935 27033600 799 33554432000 4194304 4832315 140725529456688 140725529454408 140262154650112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 799 598 156 0 242 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 26400
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6134
/proc/meminfo: memFree=31655232/32770624 swapFree=5828/120220
[pid=6121] ppid=6118 vsize=26400 CPUtime=342.32 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1856 0 0 0 34073 159 0 0 20 0 1 0 2093935 27033600 802 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 802 598 156 0 242 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 26400
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6135
/proc/meminfo: memFree=31647744/32770624 swapFree=5828/120240
[pid=6121] ppid=6118 vsize=26400 CPUtime=402.32 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1858 0 0 0 40042 190 0 0 20 0 1 0 2093935 27033600 802 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 802 598 156 0 242 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 26400
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6136
/proc/meminfo: memFree=31642040/32770624 swapFree=5828/120268
[pid=6121] ppid=6118 vsize=26400 CPUtime=462.33 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1943 0 0 0 46018 215 0 0 20 0 1 0 2093935 27033600 806 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 806 598 156 0 242 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 26400
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6137
/proc/meminfo: memFree=31635600/32770624 swapFree=5828/120296
[pid=6121] ppid=6118 vsize=26400 CPUtime=522.33 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 1945 0 0 0 51989 244 0 0 20 0 1 0 2093935 27033600 806 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 806 598 156 0 242 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 26400
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6139
/proc/meminfo: memFree=31630108/32770624 swapFree=5828/120324
[pid=6121] ppid=6118 vsize=26400 CPUtime=582.33 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2029 0 0 0 57961 272 0 0 20 0 1 0 2093935 27033600 808 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 808 598 156 0 242 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 26400
################
# More data... #
################
/proc/loadavg: 2.01 2.02 2.05 3/183 6256
/proc/meminfo: memFree=32038084/32770624 swapFree=5828/120848
[pid=6121] ppid=6118 vsize=26400 CPUtime=1722.41 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2805 0 0 0 171429 812 0 0 20 0 1 0 2093935 27033600 821 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 821 598 156 0 242 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 26400
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6257
/proc/meminfo: memFree=32037356/32770624 swapFree=5828/120868
[pid=6121] ppid=6118 vsize=26400 CPUtime=1782.42 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2895 0 0 0 177401 841 0 0 20 0 1 0 2093935 27033600 821 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 821 598 156 0 242 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 26400
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6258
/proc/meminfo: memFree=32037604/32770624 swapFree=5828/120892
[pid=6121] ppid=6118 vsize=26400 CPUtime=1842.43 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2895 0 0 0 183375 868 0 0 20 0 1 0 2093935 27033600 821 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 821 598 156 0 242 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 26400
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6259
/proc/meminfo: memFree=32037864/32770624 swapFree=5828/120912
[pid=6121] ppid=6118 vsize=26400 CPUtime=1902.44 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2972 0 0 0 189345 899 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 1902.44
Current children cumulated vsize (KiB) 26400
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6260
/proc/meminfo: memFree=32037864/32770624 swapFree=5828/120940
[pid=6121] ppid=6118 vsize=26400 CPUtime=1962.43 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 2984 0 0 0 195314 929 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 26400
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6261
/proc/meminfo: memFree=32038020/32770624 swapFree=5828/120960
[pid=6121] ppid=6118 vsize=26400 CPUtime=2022.44 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3060 0 0 0 201283 961 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 4339931 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 26400
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6269
/proc/meminfo: memFree=32036716/32770624 swapFree=5828/120996
[pid=6121] ppid=6118 vsize=26400 CPUtime=2082.45 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3060 0 0 0 207254 991 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 26400
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 6270
/proc/meminfo: memFree=32036716/32770624 swapFree=5828/121016
[pid=6121] ppid=6118 vsize=26400 CPUtime=2142.45 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3162 0 0 0 213223 1022 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 26400
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6271
/proc/meminfo: memFree=32036592/32770624 swapFree=5828/121040
[pid=6121] ppid=6118 vsize=26400 CPUtime=2202.46 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3167 0 0 0 219195 1051 0 0 20 0 1 0 2093935 27033600 823 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 823 598 156 0 242 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 26400
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6272
/proc/meminfo: memFree=32036592/32770624 swapFree=5828/121068
[pid=6121] ppid=6118 vsize=26400 CPUtime=2262.45 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3244 0 0 0 225165 1080 0 0 20 0 1 0 2093935 27033600 824 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 824 598 156 0 242 0
Current children cumulated CPU time (s) 2262.45
Current children cumulated vsize (KiB) 26400
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6273
/proc/meminfo: memFree=32036708/32770624 swapFree=5828/121088
[pid=6121] ppid=6118 vsize=26400 CPUtime=2322.46 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3244 0 0 0 231135 1111 0 0 20 0 1 0 2093935 27033600 824 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 824 598 156 0 242 0
Current children cumulated CPU time (s) 2322.46
Current children cumulated vsize (KiB) 26400
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6275
/proc/meminfo: memFree=32036440/32770624 swapFree=5828/121112
[pid=6121] ppid=6118 vsize=26400 CPUtime=2382.47 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 237105 1142 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 4358995 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 26400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6121 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6275
/proc/meminfo: memFree=32036440/32770624 swapFree=5828/121120
[pid=6121] ppid=6118 vsize=26400 CPUtime=2393.77 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238229 1148 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2393.77
Current children cumulated vsize (KiB) 26400
[startup+2396.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6275
/proc/meminfo: memFree=32036440/32770624 swapFree=5828/121120
[pid=6121] ppid=6118 vsize=26400 CPUtime=2396.97 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238548 1149 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2396.97
Current children cumulated vsize (KiB) 26400
[startup+2398.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6275
/proc/meminfo: memFree=32036440/32770624 swapFree=5828/121120
[pid=6121] ppid=6118 vsize=26400 CPUtime=2398.57 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238707 1150 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2398.57
Current children cumulated vsize (KiB) 26400
[startup+2399.21 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6276
/proc/meminfo: memFree=32036436/32770624 swapFree=5828/121132
[pid=6121] ppid=6118 vsize=26400 CPUtime=2399.37 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238787 1150 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2399.37
Current children cumulated vsize (KiB) 26400
[startup+2399.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6276
/proc/meminfo: memFree=32036436/32770624 swapFree=5828/121132
[pid=6121] ppid=6118 vsize=26400 CPUtime=2399.77 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238826 1151 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2399.77
Current children cumulated vsize (KiB) 26400
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6276
/proc/meminfo: memFree=32036436/32770624 swapFree=5828/121132
[pid=6121] ppid=6118 vsize=26400 CPUtime=2399.97 cores=1,3,5,7
/proc/6121/stat : 6121 (miniBTD) R 6118 6121 3471 0 -1 4202496 3325 0 0 0 238846 1151 0 0 20 0 1 0 2093935 27033600 825 33554432000 4194304 4832315 140725529456688 140725529454408 140262154916220 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 31825920 140725529462002 140725529462082 140725529462082 140725529464781 0
/proc/6121/statm: 6600 825 598 156 0 242 0
Current children cumulated CPU time (s) 2399.97
Current children cumulated vsize (KiB) 26400
Child status: 0
Real time (s): 2399.83
CPU time (s): 2400
CPU user time (s): 2388.49
CPU system time (s): 11.5129
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 26400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.49
system time used= 11.5129
maximum resident set size= 3356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3442
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= 681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89379 second user time and 7.44267 second system time
The end