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-4251704-1500917398/watcher-4251704-1500917398 -o /tmp/evaluation-result-4251704-1500917398/solver-4251704-1500917398 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3527 --watchdog 2560 miniBTD 2400 HOME/instance-4251704-1500917398.xml
pid=4199
running on 4 cores: 0,2,4,6
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: 2.00 2.01 2.43 2/181 4202
/proc/meminfo: memFree=31957628/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=26000 CPUtime=0 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 1299227 26624000 613 33554432000 4194304 4832315 140731905140224 140731905137224 139770503269349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 6500 613 512 156 0 142 0
[startup+0.100199 s]
/proc/loadavg: 2.00 2.01 2.43 2/181 4202
/proc/meminfo: memFree=31957628/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=33248 CPUtime=0.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 2647 0 0 0 9 0 0 0 20 0 1 0 1299227 34045952 2454 33554432000 4194304 4832315 140731905140224 140731905137224 139770513078891 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 8312 2454 535 156 0 1954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33248
[startup+0.200384 s]
/proc/loadavg: 2.00 2.01 2.43 2/181 4202
/proc/meminfo: memFree=31957628/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=34828 CPUtime=0.19 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 3069 0 0 0 19 0 0 0 20 0 1 0 1299227 35663872 2899 33554432000 4194304 4832315 140731905140224 140731905137224 4264115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 8707 2899 582 156 0 2349 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34828
[startup+0.300315 s]
/proc/loadavg: 2.00 2.01 2.43 2/181 4202
/proc/meminfo: memFree=31957628/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=36676 CPUtime=0.29 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 3538 0 0 0 29 0 0 0 20 0 1 0 1299227 37556224 3361 33554432000 4194304 4832315 140731905140224 140731905137224 139770503269349 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 9169 3361 583 156 0 2811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36676
[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.43 2/181 4202
/proc/meminfo: memFree=31957628/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=38788 CPUtime=0.69 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 4053 0 0 0 69 0 0 0 20 0 1 0 1299227 39718912 3823 33554432000 4194304 4832315 140731905140224 140731905137224 4340799 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 9697 3823 583 156 0 3339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38788
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.42 3/182 4203
/proc/meminfo: memFree=31935852/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=52208 CPUtime=1.48 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 7185 0 0 0 148 0 0 0 20 0 1 0 1299227 53460992 6975 33554432000 4194304 4832315 140731905140224 140731905137224 4340814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13052 6975 601 156 0 6694 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 52208
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.42 3/182 4203
/proc/meminfo: memFree=31932020/32770624 swapFree=5860/114100
[pid=4202] ppid=4199 vsize=52208 CPUtime=3.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 10001 0 0 0 308 1 0 0 20 0 1 0 1299227 53460992 7018 33554432000 4194304 4832315 140731905140224 140731905137944 4278721 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13052 7018 601 156 0 6694 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52208
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.42 3/182 4210
/proc/meminfo: memFree=31929476/32770624 swapFree=5860/114136
[pid=4202] ppid=4199 vsize=52208 CPUtime=6.29 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 12863 0 0 0 628 1 0 0 20 0 1 0 1299227 53460992 7018 33554432000 4194304 4832315 140731905140224 140731905137944 4340825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13052 7018 601 156 0 6694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52208
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.42 3/182 4210
/proc/meminfo: memFree=31928436/32770624 swapFree=5860/114140
[pid=4202] ppid=4199 vsize=52208 CPUtime=12.69 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 15686 0 0 0 1268 1 0 0 20 0 1 0 1299227 53460992 7018 33554432000 4194304 4832315 140731905140224 140731905137944 4340852 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13052 7018 601 156 0 6694 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52208
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.41 3/182 4210
/proc/meminfo: memFree=31926480/32770624 swapFree=5860/114160
[pid=4202] ppid=4199 vsize=52208 CPUtime=25.48 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 20755 0 0 0 2547 1 0 0 20 0 1 0 1299227 53460992 7018 33554432000 4194304 4832315 140731905140224 140731905137944 4264173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13052 7018 601 156 0 6694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52208
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.40 3/182 4210
/proc/meminfo: memFree=31824132/32770624 swapFree=5860/114172
[pid=4202] ppid=4199 vsize=52340 CPUtime=51.08 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 23901 0 0 0 5107 1 0 0 20 0 1 0 1299227 53596160 7037 33554432000 4194304 4832315 140731905140224 140731905137944 4340810 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7037 601 156 0 6727 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52340
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.38 3/182 4211
/proc/meminfo: memFree=31766660/32770624 swapFree=5860/114208
[pid=4202] ppid=4199 vsize=52340 CPUtime=102.28 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 26657 0 0 0 10227 1 0 0 20 0 1 0 1299227 53596160 7041 33554432000 4194304 4832315 140731905140224 140731905137944 4281244 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7041 601 156 0 6727 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52340
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.36 3/182 4212
/proc/meminfo: memFree=31766424/32770624 swapFree=5860/114232
[pid=4202] ppid=4199 vsize=52340 CPUtime=162.27 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 29278 0 0 0 16226 1 0 0 20 0 1 0 1299227 53596160 7041 33554432000 4194304 4832315 140731905140224 140731905137944 4280376 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7041 601 156 0 6727 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 52340
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.34 3/182 4213
/proc/meminfo: memFree=31765208/32770624 swapFree=5860/114272
[pid=4202] ppid=4199 vsize=52340 CPUtime=222.28 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 31762 0 0 0 22226 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4264107 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 52340
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/182 4214
/proc/meminfo: memFree=31766428/32770624 swapFree=5860/114300
[pid=4202] ppid=4199 vsize=52340 CPUtime=282.26 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 32202 0 0 0 28224 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4264099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 52340
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.30 3/182 4215
/proc/meminfo: memFree=31766688/32770624 swapFree=5860/114332
[pid=4202] ppid=4199 vsize=52340 CPUtime=342.26 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 32639 0 0 0 34224 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4264056 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 52340
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.28 3/182 4216
/proc/meminfo: memFree=31766772/32770624 swapFree=5860/114364
[pid=4202] ppid=4199 vsize=52340 CPUtime=402.25 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 33071 0 0 0 40223 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4280421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 52340
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.27 3/182 4217
/proc/meminfo: memFree=31766776/32770624 swapFree=5860/114392
[pid=4202] ppid=4199 vsize=52340 CPUtime=462.25 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 33500 0 0 0 46223 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4278699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 52340
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/182 4218
/proc/meminfo: memFree=31766904/32770624 swapFree=5860/114420
[pid=4202] ppid=4199 vsize=52340 CPUtime=522.24 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 33928 0 0 0 52222 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4264099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 52340
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/182 4219
/proc/meminfo: memFree=31766768/32770624 swapFree=5860/114452
[pid=4202] ppid=4199 vsize=52340 CPUtime=582.24 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 34404 0 0 0 58222 2 0 0 20 0 1 0 1299227 53596160 7053 33554432000 4194304 4832315 140731905140224 140731905137944 4264170 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13085 7053 601 156 0 6727 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 52340
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.09 3/182 4252
/proc/meminfo: memFree=31765724/32770624 swapFree=5860/114964
[pid=4202] ppid=4199 vsize=52472 CPUtime=1542.15 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 43068 0 0 0 154212 3 0 0 20 0 1 0 1299227 53731328 7080 33554432000 4194304 4832315 140731905140224 140731905137944 4264115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7080 601 156 0 6760 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 52472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4253
/proc/meminfo: memFree=31765976/32770624 swapFree=5860/114988
[pid=4202] ppid=4199 vsize=52472 CPUtime=1602.14 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 43546 0 0 0 160211 3 0 0 20 0 1 0 1299227 53731328 7080 33554432000 4194304 4832315 140731905140224 140731905137944 4279004 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7080 601 156 0 6760 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 52472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4254
/proc/meminfo: memFree=31765852/32770624 swapFree=5860/115028
[pid=4202] ppid=4199 vsize=52472 CPUtime=1662.14 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 44168 0 0 0 166211 3 0 0 20 0 1 0 1299227 53731328 7080 33554432000 4194304 4832315 140731905140224 140731905137944 4340814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7080 601 156 0 6760 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 52472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/182 4256
/proc/meminfo: memFree=31765880/32770624 swapFree=5860/115056
[pid=4202] ppid=4199 vsize=52472 CPUtime=1722.14 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 44809 0 0 0 172210 4 0 0 20 0 1 0 1299227 53731328 7082 33554432000 4194304 4832315 140731905140224 140731905137944 4340822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7082 601 156 0 6760 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 52472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/182 4257
/proc/meminfo: memFree=31765760/32770624 swapFree=5860/115100
[pid=4202] ppid=4199 vsize=52472 CPUtime=1782.13 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 45295 0 0 0 178209 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4278651 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 52472
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.07 3/182 4265
/proc/meminfo: memFree=31764776/32770624 swapFree=5860/115124
[pid=4202] ppid=4199 vsize=52472 CPUtime=1842.13 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 45767 0 0 0 184209 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4264048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 52472
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.06 3/182 4288
/proc/meminfo: memFree=31764672/32770624 swapFree=5860/115168
[pid=4202] ppid=4199 vsize=52472 CPUtime=1902.12 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 46226 0 0 0 190208 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4264064 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 52472
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/182 4289
/proc/meminfo: memFree=31765284/32770624 swapFree=5860/115196
[pid=4202] ppid=4199 vsize=52472 CPUtime=1962.12 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 46678 0 0 0 196208 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4265316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 52472
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4290
/proc/meminfo: memFree=31765632/32770624 swapFree=5860/115236
[pid=4202] ppid=4199 vsize=52472 CPUtime=2022.11 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 47126 0 0 0 202207 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4264048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 52472
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4291
/proc/meminfo: memFree=31766228/32770624 swapFree=5860/115260
[pid=4202] ppid=4199 vsize=52472 CPUtime=2082.11 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 47568 0 0 0 208207 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4264099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 52472
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4292
/proc/meminfo: memFree=31766300/32770624 swapFree=5860/115296
[pid=4202] ppid=4199 vsize=52472 CPUtime=2142.1 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 48010 0 0 0 214206 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4280421 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 52472
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4293
/proc/meminfo: memFree=31766936/32770624 swapFree=5860/115320
[pid=4202] ppid=4199 vsize=52472 CPUtime=2202.1 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 48462 0 0 0 220206 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4264048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 52472
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4294
/proc/meminfo: memFree=31766560/32770624 swapFree=5860/115360
[pid=4202] ppid=4199 vsize=52472 CPUtime=2262.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 48989 0 0 0 226205 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4340805 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 52472
[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 4295
/proc/meminfo: memFree=31765952/32770624 swapFree=5860/115392
[pid=4202] ppid=4199 vsize=52472 CPUtime=2322.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 49480 0 0 0 232205 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4278824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 52472
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4357
/proc/meminfo: memFree=32082756/32770624 swapFree=5860/115508
[pid=4202] ppid=4199 vsize=52472 CPUtime=2382.08 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 49970 0 0 0 238204 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4279016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 52472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4357
/proc/meminfo: memFree=32056320/32770624 swapFree=5860/115468
[pid=4202] ppid=4199 vsize=52472 CPUtime=2400.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 50456 0 0 0 240005 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4278544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 52472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4202 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4357
/proc/meminfo: memFree=32056320/32770624 swapFree=5860/115468
[pid=4202] ppid=4199 vsize=52472 CPUtime=2400.09 cores=0,2,4,6
/proc/4202/stat : 4202 (miniBTD) R 4199 4202 3496 0 -1 4202496 50456 0 0 0 240005 4 0 0 20 0 1 0 1299227 53731328 7085 33554432000 4194304 4832315 140731905140224 140731905137944 4278544 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 21643264 140731905144050 140731905144130 140731905144130 140731905146829 0
/proc/4202/statm: 13118 7085 601 156 0 6760 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 52472
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.041996
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 52472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.041996
maximum resident set size= 28340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50456
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= 11
involuntary context switches= 645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62187 second user time and 8.48842 second system time
The end