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-4095100-1466091147/watcher-4095100-1466091147 -o /tmp/evaluation-result-4095100-1466091147/solver-4095100-1466091147 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466075281-10197 --watchdog 1960 naps-1.02 HOME/instance-4095100-1466091147.wbo 

pid=14093
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.18 2.17 2/176 14096
/proc/meminfo: memFree=30389652/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=6688 CPUtime=0 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 11161545 6848512 245 33554432000 4194304 5796924 140734607703168 140734403589112 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 1672 245 130 392 0 1271 0

[startup+0.100158 s]
/proc/loadavg: 2.13 2.18 2.17 2/176 14096
/proc/meminfo: memFree=30389652/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=7092 CPUtime=0.09 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 1778 0 0 0 9 0 0 0 20 0 1 0 11161545 7262208 1343 33554432000 4194304 5796924 140734607703168 140734403589112 5101656 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 1773 1343 162 392 0 1372 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7092

[startup+0.200263 s]
/proc/loadavg: 2.13 2.18 2.17 2/176 14096
/proc/meminfo: memFree=30389652/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=16428 CPUtime=0.19 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 4026 0 0 0 19 0 0 0 20 0 1 0 11161545 16822272 3467 33554432000 4194304 5796924 140734607703168 140734403589112 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 4107 3467 171 392 0 3706 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16428

[startup+0.300324 s]
/proc/loadavg: 2.13 2.18 2.17 2/176 14096
/proc/meminfo: memFree=30389652/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=18480 CPUtime=0.29 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 4135 0 0 0 29 0 0 0 20 0 1 0 11161545 18923520 3576 33554432000 4194304 5796924 140734607703168 140734607700408 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 4620 3576 171 392 0 4219 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18480

[startup+0.700221 s]
/proc/loadavg: 2.13 2.18 2.17 2/176 14096
/proc/meminfo: memFree=30389652/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=25556 CPUtime=0.69 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 5166 0 0 0 69 0 0 0 20 0 1 0 11161545 26169344 5626 33554432000 4194304 5796924 140734607703168 140734607700408 4611179 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 6389 5626 171 392 0 5988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25556

[startup+1.50026 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 14097
/proc/meminfo: memFree=30371488/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=32844 CPUtime=1.48 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 6611 0 0 0 148 0 0 0 20 0 1 0 11161545 33632256 7119 33554432000 4194304 5796924 140734607703168 140734607700408 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 8211 7119 171 392 0 7810 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32844

[startup+3.10021 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 14097
/proc/meminfo: memFree=30344232/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=63196 CPUtime=3.09 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 7285 0 0 0 308 1 0 0 20 0 1 0 11161545 64712704 12900 33554432000 4194304 5796924 140734607703168 140734607700456 4591913 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 15799 12900 171 392 0 15398 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63196

[startup+6.30023 s]
/proc/loadavg: 2.12 2.18 2.17 4/177 14097
/proc/meminfo: memFree=30347456/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=70376 CPUtime=6.29 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 7768 0 0 0 627 2 0 0 20 0 1 0 11161545 72065024 12241 33554432000 4194304 5796924 140734607703168 140734607700408 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 17594 12241 171 392 0 17193 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70376

[startup+12.7002 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 14097
/proc/meminfo: memFree=30300028/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=119696 CPUtime=12.69 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 8316 0 0 0 1266 3 0 0 20 0 1 0 11161545 122568704 23320 33554432000 4194304 5796924 140734607703168 140734607700456 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 29924 23320 171 392 0 29523 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 119696

[startup+25.5004 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 14097
/proc/meminfo: memFree=30270972/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=150516 CPUtime=25.49 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 9695 0 0 0 2544 5 0 0 20 0 1 0 11161545 154128384 29531 33554432000 4194304 5796924 140734607703168 140734607700808 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 37629 29531 171 392 0 37228 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 150516

[startup+51.1003 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 14097
/proc/meminfo: memFree=30320756/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=70376 CPUtime=51.08 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 12632 0 0 0 5098 10 0 0 20 0 1 0 11161545 72065024 16489 33554432000 4194304 5796924 140734607703168 140734607701560 4607194 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 17594 16489 182 392 0 17193 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70376

[startup+102.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 14098
/proc/meminfo: memFree=30289728/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=98696 CPUtime=102.27 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 14730 0 0 0 10213 14 0 0 20 0 1 0 11161545 101064704 22633 33554432000 4194304 5796924 140734607703168 140734607700632 4593538 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 24674 22633 182 392 0 24273 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 98696

[startup+162.3 s]
/proc/loadavg: 2.35 2.22 2.19 4/177 14099
/proc/meminfo: memFree=30265844/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=110996 CPUtime=162.26 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 17762 0 0 0 16204 22 0 0 20 0 1 0 11161545 113659904 27364 33554432000 4194304 5796924 140734607703168 140734607700632 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 27749 27364 182 392 0 27348 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 110996

[startup+222.307 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 14100
/proc/meminfo: memFree=30265844/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=110996 CPUtime=222.26 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 19573 0 0 0 22198 28 0 0 20 0 1 0 11161545 113659904 27364 33554432000 4194304 5796924 140734607703168 140734607700632 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 27749 27364 182 392 0 27348 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 110996

[startup+282.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 14102
/proc/meminfo: memFree=30230768/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=282.23 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 21406 0 0 0 28190 33 0 0 20 0 1 0 11161545 164163584 37273 33554432000 4194304 5796924 140734607703168 140734607700456 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 37273 182 392 0 39678 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 160316

[startup+342.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 14103
/proc/meminfo: memFree=30234888/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=342.23 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 24749 0 0 0 34183 40 0 0 20 0 1 0 11161545 164163584 35225 33554432000 4194304 5796924 140734607703168 140734607700456 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 35225 182 392 0 39678 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 160316

[startup+402.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/177 14104
/proc/meminfo: memFree=30225800/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=402.22 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 28102 0 0 0 40175 47 0 0 20 0 1 0 11161545 164163584 37785 33554432000 4194304 5796924 140734607703168 140734607700456 4925529 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 37785 182 392 0 39678 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 160316

[startup+462.3 s]
/proc/loadavg: 2.33 2.23 2.19 4/178 14108
/proc/meminfo: memFree=30218348/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=462.21 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 32833 0 0 0 46165 56 0 0 20 0 1 0 11161545 164163584 36251 33554432000 4194304 5796924 140734607703168 140734607700456 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 36251 182 392 0 39678 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 160316

[startup+522.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 14109
/proc/meminfo: memFree=30207512/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=522.2 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 36781 0 0 0 52155 65 0 0 20 0 1 0 11161545 164163584 38811 33554432000 4194304 5796924 140734607703168 140734607700456 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 38811 182 392 0 39678 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 160316

[startup+582.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 14111
/proc/meminfo: memFree=30213720/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=160316 CPUtime=582.19 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 40734 0 0 0 58145 74 0 0 20 0 1 0 11161545 164163584 37275 33554432000 4194304 5796924 140734607703168 140734607700456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 40079 37275 182 392 0 39678 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 160316


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 14118
/proc/meminfo: memFree=30152256/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=942.14 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 60977 0 0 0 94099 115 0 0 20 0 1 0 11161545 228569088 52012 33554432000 4194304 5796924 140734607703168 140734607700808 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 52012 182 392 0 55402 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 223212

[startup+1002.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 14119
/proc/meminfo: memFree=30141940/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1002.13 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 63378 0 0 0 100092 121 0 0 20 0 1 0 11161545 228569088 54060 33554432000 4194304 5796924 140734607703168 140734607700808 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 54060 182 392 0 55402 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 223212

[startup+1062.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 14123
/proc/meminfo: memFree=30210472/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=143072 CPUtime=1062.12 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 65768 0 0 0 106085 127 0 0 20 0 1 0 11161545 146505728 35380 33554432000 4194304 5796924 140734607703168 140734607700632 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 35768 35380 182 392 0 35367 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 143072

[startup+1122.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/177 14124
/proc/meminfo: memFree=30210160/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=143072 CPUtime=1122.12 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 68164 0 0 0 112079 133 0 0 20 0 1 0 11161545 146505728 35380 33554432000 4194304 5796924 140734607703168 140734607700632 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 35768 35380 182 392 0 35367 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 143072

[startup+1182.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/177 14126
/proc/meminfo: memFree=30133672/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1182.1 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 70560 0 0 0 118072 138 0 0 20 0 1 0 11161545 228569088 55084 33554432000 4194304 5796924 140734607703168 140734607700808 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 55084 182 392 0 55402 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 223212

[startup+1242.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 14127
/proc/meminfo: memFree=30138880/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1242.09 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 73468 0 0 0 124066 143 0 0 20 0 1 0 11161545 228569088 53039 33554432000 4194304 5796924 140734607703168 140734607700808 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 53039 182 392 0 55402 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 223212

[startup+1302.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 14128
/proc/meminfo: memFree=30147720/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1302.08 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 77396 0 0 0 130058 150 0 0 20 0 1 0 11161545 228569088 51503 33554432000 4194304 5796924 140734607703168 140734607700808 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 51503 182 392 0 55402 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 223212

[startup+1362.3 s]
/proc/loadavg: 2.16 2.20 2.18 4/177 14129
/proc/meminfo: memFree=30161832/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1362.07 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 82015 0 0 0 136049 158 0 0 20 0 1 0 11161545 228569088 48431 33554432000 4194304 5796924 140734607703168 140734607700808 4606567 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 48431 182 392 0 55402 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 223212

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 14130
/proc/meminfo: memFree=30175440/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=192392 CPUtime=1422.07 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 86273 0 0 0 142041 166 0 0 20 0 1 0 11161545 197009408 44268 33554432000 4194304 5796924 140734607703168 140734607700456 4591680 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 48098 44268 182 392 0 47697 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 192392

[startup+1482.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 14132
/proc/meminfo: memFree=30136064/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1482.05 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 90106 0 0 0 148033 172 0 0 20 0 1 0 11161545 228569088 54063 33554432000 4194304 5796924 140734607703168 140734607700808 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 54063 182 392 0 55402 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 223212

[startup+1542.31 s]
/proc/loadavg: 2.36 2.24 2.19 4/177 14133
/proc/meminfo: memFree=30151912/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223212 CPUtime=1542.05 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 94951 0 0 0 154025 180 0 0 20 0 1 0 11161545 228569088 49967 33554432000 4194304 5796924 140734607703168 140734607700808 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55803 49967 182 392 0 55402 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 223212

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 14134
/proc/meminfo: memFree=30132960/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=223800 CPUtime=1602.03 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 98337 0 0 0 160017 186 0 0 20 0 1 0 11161545 229171200 54722 33554432000 4194304 5796924 140734607703168 140734607700808 4606768 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 55950 54722 182 392 0 55549 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 223800

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/178 14138
/proc/meminfo: memFree=30165376/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=195032 CPUtime=1662.03 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 102292 0 0 0 166010 193 0 0 20 0 1 0 11161545 199712768 45952 33554432000 4194304 5796924 140734607703168 140734607700456 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 48758 45952 182 392 0 48357 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 195032

[startup+1722.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/178 14206
/proc/meminfo: memFree=30122560/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=226356 CPUtime=1722.01 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 105316 0 0 0 172003 198 0 0 20 0 1 0 11161545 231788544 50753 33554432000 4194304 5796924 140734607703168 140734607700808 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 56589 50753 182 392 0 56188 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 226356

[startup+1782.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 14208
/proc/meminfo: memFree=30053436/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=227516 CPUtime=1782.01 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 108598 0 0 0 177997 204 0 0 20 0 1 0 11161545 232976384 52067 33554432000 4194304 5796924 140734607703168 140734607700808 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 56879 52067 182 392 0 56478 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 227516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 14209
/proc/meminfo: memFree=30090276/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=197736 CPUtime=1800 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 109889 0 0 0 179795 205 0 0 20 0 1 0 11161545 202481664 47140 33554432000 4194304 5796924 140734607703168 140734607700456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 49434 47140 182 392 0 49033 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 197736

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 14096 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 14209
/proc/meminfo: memFree=30090276/32872528 swapFree=1497568/1644736
[pid=14096] ppid=14093 vsize=197736 CPUtime=1800 cores=0,2,4,6
/proc/14096/stat : 14096 (naps-1.02) R 14093 14096 7284 0 -1 4202496 109889 0 0 0 179795 205 0 0 20 0 1 0 11161545 202481664 47140 33554432000 4194304 5796924 140734607703168 140734607700456 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14096/statm: 49434 47140 182 392 0 49033 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 197736

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1797.95
CPU system time (s): 2.06069
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 277604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.06069
maximum resident set size= 236100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109899
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= 21
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47332 second user time and 6.98594 second system time

The end