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-4118144-1467230333/watcher-4118144-1467230333 -o /tmp/evaluation-result-4118144-1467230333/solver-4118144-1467230333 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467230333-14299 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118144-1467230333.opb 

pid=14316
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.28 2.62 3.36 3/170 14319
/proc/meminfo: memFree=28516608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=7296 CPUtime=0 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 3984584 7471104 375 33554432000 4194304 5796924 140737221478816 140737440731560 5087743 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 1824 375 116 392 0 1423 0

[startup+0.100165 s]
/proc/loadavg: 2.28 2.62 3.36 3/170 14319
/proc/meminfo: memFree=28516608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=10084 CPUtime=0.09 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 1254 0 0 0 9 0 0 0 20 0 1 0 3984584 10326016 1121 33554432000 4194304 5796924 140737221478816 140737440731560 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 2521 1121 128 392 0 2120 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10084

[startup+0.200295 s]
/proc/loadavg: 2.28 2.62 3.36 3/170 14319
/proc/meminfo: memFree=28516608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=10924 CPUtime=0.19 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 1517 0 0 0 19 0 0 0 20 0 1 0 3984584 11186176 1327 33554432000 4194304 5796924 140737221478816 140737440731560 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 2731 1327 139 392 0 2330 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10924

[startup+0.300173 s]
/proc/loadavg: 2.28 2.62 3.36 3/170 14319
/proc/meminfo: memFree=28516608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=9744 CPUtime=0.29 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 2381 0 0 0 29 0 0 0 20 0 1 0 3984584 9977856 2017 33554432000 4194304 5796924 140737221478816 140737440731560 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 2436 2017 159 392 0 2035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9744

[startup+0.70023 s]
/proc/loadavg: 2.28 2.62 3.36 3/170 14319
/proc/meminfo: memFree=28516608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=9744 CPUtime=0.69 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 2381 0 0 0 69 0 0 0 20 0 1 0 3984584 9977856 2017 33554432000 4194304 5796924 140737221478816 140737440731560 5087512 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 2436 2017 159 392 0 2035 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9744

[startup+1.50023 s]
/proc/loadavg: 2.28 2.62 3.36 3/177 14330
/proc/meminfo: memFree=28496308/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=9744 CPUtime=1.49 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 2381 0 0 0 149 0 0 0 20 0 1 0 3984584 9977856 2017 33554432000 4194304 5796924 140737221478816 140737221475800 5087700 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 2436 2017 159 392 0 2035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9744

[startup+3.10026 s]
/proc/loadavg: 2.25 2.61 3.36 3/177 14330
/proc/meminfo: memFree=28448516/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=282400 CPUtime=3.09 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 49768 0 0 0 301 8 0 0 20 0 1 0 3984584 289177600 64824 33554432000 4194304 5796924 140737221478816 140737221472760 4636540 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 70600 64824 166 392 0 70199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 282400

[startup+6.3003 s]
/proc/loadavg: 2.25 2.61 3.36 4/177 14330
/proc/meminfo: memFree=28168608/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=356888 CPUtime=6.29 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 62528 0 0 0 617 12 0 0 20 0 1 0 3984584 365453312 81592 33554432000 4194304 5796924 140737221478816 140737221475928 4592000 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 89222 81592 168 392 0 88821 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 356888

[startup+12.7003 s]
/proc/loadavg: 2.23 2.60 3.35 4/177 14330
/proc/meminfo: memFree=28167824/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=358320 CPUtime=12.69 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 62901 0 0 0 1257 12 0 0 20 0 1 0 3984584 366919680 82987 33554432000 4194304 5796924 140737221478816 140737221475928 4592188 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 89580 82987 176 392 0 89179 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 358320

[startup+25.5004 s]
/proc/loadavg: 2.33 2.60 3.34 4/177 14330
/proc/meminfo: memFree=28161536/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=358852 CPUtime=25.48 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 63033 0 0 0 2536 12 0 0 20 0 1 0 3984584 367464448 83697 33554432000 4194304 5796924 140737221478816 140737221475928 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 89713 83697 176 392 0 89312 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 358852

[startup+51.1004 s]
/proc/loadavg: 2.34 2.59 3.31 3/177 14331
/proc/meminfo: memFree=28151404/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=378376 CPUtime=51.08 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 63349 0 0 0 5095 13 0 0 20 0 1 0 3984584 387457024 85543 33554432000 4194304 5796924 140737221478816 140737221475928 4592310 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 94594 85543 177 392 0 94193 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 378376

[startup+102.3 s]
/proc/loadavg: 2.24 2.52 3.24 3/178 14335
/proc/meminfo: memFree=28118620/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=409252 CPUtime=102.28 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 64368 0 0 0 10214 14 0 0 20 0 1 0 3984584 419074048 93471 33554432000 4194304 5796924 140737221478816 140737221476104 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 102313 93471 177 392 0 101912 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 409252

[startup+162.3 s]
/proc/loadavg: 2.14 2.44 3.17 4/178 14405
/proc/meminfo: memFree=28034532/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=409252 CPUtime=162.26 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 64387 0 0 0 16212 14 0 0 20 0 1 0 3984584 419074048 96172 33554432000 4194304 5796924 140737221478816 140737221476104 4592160 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 102313 96172 177 392 0 101912 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 409252

[startup+222.308 s]
/proc/loadavg: 2.18 2.40 3.11 3/177 14406
/proc/meminfo: memFree=28016108/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=439552 CPUtime=222.26 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 65617 0 0 0 22209 17 0 0 20 0 1 0 3984584 450101248 101182 33554432000 4194304 5796924 140737221478816 140737221476104 4593716 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 109888 101182 177 392 0 109487 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 439552

[startup+282.3 s]
/proc/loadavg: 2.24 2.37 3.06 3/177 14407
/proc/meminfo: memFree=27982408/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=439552 CPUtime=282.24 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 65622 0 0 0 28207 17 0 0 20 0 1 0 3984584 450101248 104134 33554432000 4194304 5796924 140737221478816 140737221476104 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 109888 104134 177 392 0 109487 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 439552

[startup+342.3 s]
/proc/loadavg: 2.38 2.38 3.01 4/177 14409
/proc/meminfo: memFree=27954776/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=470372 CPUtime=342.22 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 66083 0 0 0 34205 17 0 0 20 0 1 0 3984584 481660928 105616 33554432000 4194304 5796924 140737221478816 140737221476456 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 117593 105616 177 392 0 117192 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 470372

[startup+402.3 s]
/proc/loadavg: 2.24 2.34 2.96 3/177 14410
/proc/meminfo: memFree=27947380/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=470372 CPUtime=402.22 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 66207 0 0 0 40204 18 0 0 20 0 1 0 3984584 481660928 107273 33554432000 4194304 5796924 140737221478816 140737221476456 4592055 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 117593 107273 177 392 0 117192 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 470372

[startup+462.3 s]
/proc/loadavg: 2.25 2.33 2.92 4/177 14411
/proc/meminfo: memFree=27868396/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=554588 CPUtime=462.21 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 80084 0 0 0 46195 26 0 0 20 0 1 0 3984584 567898112 126977 33554432000 4194304 5796924 140737221478816 140737221476104 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 138647 126977 178 392 0 138246 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 554588

[startup+522.3 s]
/proc/loadavg: 2.13 2.28 2.86 4/177 14412
/proc/meminfo: memFree=27821028/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=554588 CPUtime=522.2 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 80091 0 0 0 52194 26 0 0 20 0 1 0 3984584 567898112 130561 33554432000 4194304 5796924 140737221478816 140737221476104 4592000 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 138647 130561 178 392 0 138246 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 554588

[startup+582.3 s]
/proc/loadavg: 2.18 2.27 2.82 3/177 14413
/proc/meminfo: memFree=27794128/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=582.19 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 80687 0 0 0 58193 26 0 0 20 0 1 0 3984584 599457792 134223 33554432000 4194304 5796924 140737221478816 140737221476456 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 134223 178 392 0 145951 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 585408

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


[startup+882.307 s]
/proc/loadavg: 2.15 2.21 2.63 4/177 14422
/proc/meminfo: memFree=27798868/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=882.16 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 81788 0 0 0 88186 30 0 0 20 0 1 0 3984584 599457792 130815 33554432000 4194304 5796924 140737221478816 140737221476456 4592020 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 130815 178 392 0 145951 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 585408

[startup+942.3 s]
/proc/loadavg: 2.17 2.20 2.60 3/177 14424
/proc/meminfo: memFree=27839640/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=942.14 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 82172 0 0 0 94184 30 0 0 20 0 1 0 3984584 599457792 134265 33554432000 4194304 5796924 140737221478816 140737221476456 4592017 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 134265 178 392 0 145951 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 585408

[startup+1002.3 s]
/proc/loadavg: 2.19 2.20 2.58 3/177 14425
/proc/meminfo: memFree=27770880/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=1002.13 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 82178 0 0 0 100183 30 0 0 20 0 1 0 3984584 599457792 137337 33554432000 4194304 5796924 140737221478816 140737221476456 4569014 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 137337 178 392 0 145951 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 585408

[startup+1062.3 s]
/proc/loadavg: 2.18 2.19 2.54 3/177 14426
/proc/meminfo: memFree=27813724/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1062.12 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 82487 0 0 0 106181 31 0 0 20 0 1 0 3984584 650747904 140710 33554432000 4194304 5796924 140737221478816 140737221476456 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 140710 178 392 0 158473 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 635496

[startup+1122.3 s]
/proc/loadavg: 2.18 2.20 2.52 3/177 14427
/proc/meminfo: memFree=27736756/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1122.11 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 82495 0 0 0 112180 31 0 0 20 0 1 0 3984584 650747904 144806 33554432000 4194304 5796924 140737221478816 140737221476456 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 144806 178 392 0 158473 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 635496

[startup+1182.3 s]
/proc/loadavg: 2.18 2.19 2.50 3/177 14428
/proc/meminfo: memFree=27782876/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1182.1 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 82501 0 0 0 118179 31 0 0 20 0 1 0 3984584 650747904 147878 33554432000 4194304 5796924 140737221478816 140737221476456 4593577 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 147878 178 392 0 158473 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 635496

[startup+1242.3 s]
/proc/loadavg: 2.11 2.17 2.47 4/177 14430
/proc/meminfo: memFree=27707788/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1242.09 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 83021 0 0 0 124178 31 0 0 20 0 1 0 3984584 734089216 152486 33554432000 4194304 5796924 140737221478816 140737221476456 4592304 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 152486 178 392 0 178820 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 716884

[startup+1302.3 s]
/proc/loadavg: 2.21 2.18 2.45 3/178 14434
/proc/meminfo: memFree=27724876/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1302.08 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 83028 0 0 0 130177 31 0 0 20 0 1 0 3984584 734089216 156070 33554432000 4194304 5796924 140737221478816 140737221476456 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 156070 178 392 0 178820 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 716884

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.43 3/177 14435
/proc/meminfo: memFree=27657920/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1362.08 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 83034 0 0 0 136176 32 0 0 20 0 1 0 3984584 734089216 159142 33554432000 4194304 5796924 140737221478816 140737221476456 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 159142 178 392 0 178820 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 716884

[startup+1422.3 s]
/proc/loadavg: 2.15 2.17 2.41 4/177 14436
/proc/meminfo: memFree=27814364/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=1422.07 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84139 0 0 0 142173 34 0 0 20 0 1 0 3984584 599457792 133199 33554432000 4194304 5796924 140737221478816 140737221476456 4592641 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 133199 178 392 0 145951 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 585408

[startup+1482.3 s]
/proc/loadavg: 2.32 2.21 2.41 3/177 14437
/proc/meminfo: memFree=27759492/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=585408 CPUtime=1482.05 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84149 0 0 0 148171 34 0 0 20 0 1 0 3984584 599457792 137295 33554432000 4194304 5796924 140737221478816 140737221476456 4592067 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 146352 137295 178 392 0 145951 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 585408

[startup+1542.31 s]
/proc/loadavg: 2.17 2.19 2.39 3/176 14438
/proc/meminfo: memFree=27781312/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1542.05 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84458 0 0 0 154170 35 0 0 20 0 1 0 3984584 650747904 141199 33554432000 4194304 5796924 140737221478816 140737221476456 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 141199 178 392 0 158473 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 635496

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.38 3/177 14440
/proc/meminfo: memFree=27723512/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1602.03 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84482 0 0 0 160168 35 0 0 20 0 1 0 3984584 650747904 145295 33554432000 4194304 5796924 140737221478816 140737221476456 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 145295 178 392 0 158473 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 635496

[startup+1662.3 s]
/proc/loadavg: 2.34 2.23 2.37 3/177 14441
/proc/meminfo: memFree=27688112/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=635496 CPUtime=1662.02 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84494 0 0 0 166167 35 0 0 20 0 1 0 3984584 650747904 148367 33554432000 4194304 5796924 140737221478816 140737221476456 4595432 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 158874 148367 178 392 0 158473 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 635496

[startup+1722.3 s]
/proc/loadavg: 2.18 2.20 2.35 3/177 14442
/proc/meminfo: memFree=27704540/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1722.01 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84549 0 0 0 172165 36 0 0 20 0 1 0 3984584 734089216 150977 33554432000 4194304 5796924 140737221478816 140737221476456 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 150977 178 392 0 178820 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 716884

[startup+1782.3 s]
/proc/loadavg: 2.17 2.19 2.34 3/177 14443
/proc/meminfo: memFree=27666468/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1782 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84673 0 0 0 178164 36 0 0 20 0 1 0 3984584 734089216 154167 33554432000 4194304 5796924 140737221478816 140737221476456 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 154167 178 392 0 178820 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 716884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.20 2.34 3/177 14443
/proc/meminfo: memFree=27654180/32872528 swapFree=1499084/1695308
[pid=14319] ppid=14316 vsize=716884 CPUtime=1800.09 cores=0,2,4,6
/proc/14319/stat : 14319 (naps-1.02) R 14316 14319 5962 0 -1 4202496 84675 0 0 0 179973 36 0 0 20 0 1 0 3984584 734089216 155191 33554432000 4194304 5796924 140737221478816 140737221476456 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/14319/statm: 179221 155191 178 392 0 178820 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 716884

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.378942
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 766204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.378942
maximum resident set size= 681260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84687
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= 46
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63254 second user time and 14.7898 second system time

The end