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

pid=14675
running on 4 cores: 1,3,5,7

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.23 2.22 2.32 3/176 14678
/proc/meminfo: memFree=28427816/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=7000 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 4179630 7168000 292 33554432000 4194304 5796924 140735882741328 140737280454120 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 1750 292 114 392 0 1349 0

[startup+0.100123 s]
/proc/loadavg: 2.23 2.22 2.32 3/176 14678
/proc/meminfo: memFree=28427816/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=9336 CPUtime=0.09 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 1074 0 0 0 9 0 0 0 20 0 1 0 4179630 9560064 935 33554432000 4194304 5796924 140735882741328 140737280454120 5092423 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2334 936 129 392 0 1933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9336

[startup+0.200294 s]
/proc/loadavg: 2.23 2.22 2.32 3/176 14678
/proc/meminfo: memFree=28427816/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=11096 CPUtime=0.19 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 1511 0 0 0 19 0 0 0 20 0 1 0 4179630 11362304 1844 33554432000 4194304 5796924 140735882741328 140737280454120 4648271 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2774 1844 148 392 0 2373 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11096

[startup+0.300291 s]
/proc/loadavg: 2.23 2.22 2.32 3/176 14678
/proc/meminfo: memFree=28427816/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=8508 CPUtime=0.29 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 1927 0 0 0 29 0 0 0 20 0 1 0 4179630 8712192 1706 33554432000 4194304 5796924 140735882741328 140737280454120 5092502 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2127 1706 160 392 0 1726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8508

[startup+0.700251 s]
/proc/loadavg: 2.23 2.22 2.32 3/176 14678
/proc/meminfo: memFree=28427816/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=8508 CPUtime=0.69 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 1927 0 0 0 69 0 0 0 20 0 1 0 4179630 8712192 1706 33554432000 4194304 5796924 140735882741328 140735882738312 4805619 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2127 1706 160 392 0 1726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8508

[startup+1.50027 s]
/proc/loadavg: 2.23 2.22 2.32 3/177 14679
/proc/meminfo: memFree=28421740/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=8508 CPUtime=1.49 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 1927 0 0 0 149 0 0 0 20 0 1 0 4179630 8712192 1706 33554432000 4194304 5796924 140735882741328 140735882738312 4296021 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 2127 1706 160 392 0 1726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8508

[startup+3.1003 s]
/proc/loadavg: 2.21 2.21 2.32 3/177 14679
/proc/meminfo: memFree=28420996/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=140616 CPUtime=3.09 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 24599 0 0 0 304 5 0 0 20 0 1 0 4179630 143990784 31458 33554432000 4194304 5796924 140735882741328 140735882738312 4659057 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 35154 31459 167 392 0 34753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 140616

[startup+6.30031 s]
/proc/loadavg: 2.21 2.21 2.32 3/177 14679
/proc/meminfo: memFree=28038796/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=437900 CPUtime=6.28 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 62460 0 0 0 616 12 0 0 20 0 1 0 4179630 448409600 101039 33554432000 4194304 5796924 140735882741328 140735882739176 4637616 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 109475 101039 167 392 0 109074 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 437900

[startup+12.7003 s]
/proc/loadavg: 2.26 2.22 2.32 4/177 14679
/proc/meminfo: memFree=27991704/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=425696 CPUtime=12.69 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 64407 0 0 0 1256 13 0 0 20 0 1 0 4179630 435912704 100691 33554432000 4194304 5796924 140735882741328 140735882738376 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 106424 100691 179 392 0 106023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 425696

[startup+25.5004 s]
/proc/loadavg: 2.29 2.23 2.32 3/177 14679
/proc/meminfo: memFree=28017972/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=446372 CPUtime=25.48 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 65317 0 0 0 2535 13 0 0 20 0 1 0 4179630 457084928 102111 33554432000 4194304 5796924 140735882741328 140735882738968 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 111593 102111 179 392 0 111192 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 446372

[startup+51.1004 s]
/proc/loadavg: 2.27 2.23 2.32 3/177 14679
/proc/meminfo: memFree=28006864/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=446372 CPUtime=51.08 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 65570 0 0 0 5095 13 0 0 20 0 1 0 4179630 457084928 104919 33554432000 4194304 5796924 140735882741328 140735882738968 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 111593 104919 179 392 0 111192 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 446372

[startup+102.3 s]
/proc/loadavg: 2.43 2.28 2.33 4/177 14680
/proc/meminfo: memFree=28004732/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=447588 CPUtime=102.28 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 66807 0 0 0 10213 15 0 0 20 0 1 0 4179630 458330112 105600 33554432000 4194304 5796924 140735882741328 140735882738968 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 111897 105600 179 392 0 111496 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 447588

[startup+162.3 s]
/proc/loadavg: 2.34 2.27 2.32 3/177 14681
/proc/meminfo: memFree=27967724/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=447588 CPUtime=162.26 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 68054 0 0 0 16210 16 0 0 20 0 1 0 4179630 458330112 104760 33554432000 4194304 5796924 140735882741328 140735882738968 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 111897 104760 179 392 0 111496 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 447588

[startup+222.307 s]
/proc/loadavg: 2.21 2.25 2.31 3/176 14683
/proc/meminfo: memFree=27979428/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=449036 CPUtime=222.26 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 69664 0 0 0 22207 19 0 0 20 0 1 0 4179630 459812864 103369 33554432000 4194304 5796924 140735882741328 140735882738968 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 112259 103369 179 392 0 111858 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 449036

[startup+282.3 s]
/proc/loadavg: 2.22 2.25 2.30 3/177 14685
/proc/meminfo: memFree=28018472/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=430068 CPUtime=282.24 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 70747 0 0 0 28204 20 0 0 20 0 1 0 4179630 440389632 101961 33554432000 4194304 5796924 140735882741328 140735882738792 4591930 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 107517 101961 179 392 0 107116 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 430068

[startup+342.3 s]
/proc/loadavg: 2.19 2.23 2.29 3/177 14686
/proc/meminfo: memFree=28001044/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=450424 CPUtime=342.23 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 71457 0 0 0 34202 21 0 0 20 0 1 0 4179630 461234176 106246 33554432000 4194304 5796924 140735882741328 140735882738376 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 112606 106246 179 392 0 112205 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 450424

[startup+402.3 s]
/proc/loadavg: 2.16 2.22 2.28 4/177 14687
/proc/meminfo: memFree=27958500/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=450424 CPUtime=402.22 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 72639 0 0 0 40200 22 0 0 20 0 1 0 4179630 461234176 106362 33554432000 4194304 5796924 140735882741328 140735882738968 4591992 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 112606 106362 179 392 0 112205 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 450424

[startup+462.3 s]
/proc/loadavg: 2.19 2.22 2.27 3/177 14688
/proc/meminfo: memFree=27929324/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=481244 CPUtime=462.21 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 73133 0 0 0 46198 23 0 0 20 0 1 0 4179630 492793856 111964 33554432000 4194304 5796924 140735882741328 140735882738968 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 120311 111964 179 392 0 119910 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 481244

[startup+522.3 s]
/proc/loadavg: 2.24 2.22 2.27 3/178 14693
/proc/meminfo: memFree=27961996/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=433028 CPUtime=522.21 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 74179 0 0 0 52196 25 0 0 20 0 1 0 4179630 443420672 102694 33554432000 4194304 5796924 140735882741328 140735882738376 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 108257 102694 179 392 0 107856 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 433028

[startup+582.3 s]
/proc/loadavg: 2.23 2.22 2.27 3/177 14694
/proc/meminfo: memFree=27941832/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=451996 CPUtime=582.19 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 74618 0 0 0 58194 25 0 0 20 0 1 0 4179630 462843904 106705 33554432000 4194304 5796924 140735882741328 140735882738968 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 112999 106705 179 392 0 112598 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 451996

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


[startup+882.307 s]
/proc/loadavg: 2.17 2.21 2.25 3/177 14700
/proc/meminfo: memFree=27981960/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=434308 CPUtime=882.16 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 77532 0 0 0 88186 30 0 0 20 0 1 0 4179630 444731392 102777 33554432000 4194304 5796924 140735882741328 140735882738792 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 108577 102777 179 392 0 108176 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 434308

[startup+942.3 s]
/proc/loadavg: 2.27 2.23 2.26 3/177 14701
/proc/meminfo: memFree=27995068/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=453276 CPUtime=942.14 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 78277 0 0 0 94183 31 0 0 20 0 1 0 4179630 464154624 107609 33554432000 4194304 5796924 140735882741328 140735882738968 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 113319 107609 179 392 0 112918 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 453276

[startup+1002.3 s]
/proc/loadavg: 2.32 2.25 2.26 3/177 14702
/proc/meminfo: memFree=27911528/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=484096 CPUtime=1002.13 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 78724 0 0 0 100181 32 0 0 20 0 1 0 4179630 495714304 112142 33554432000 4194304 5796924 140735882741328 140735882738968 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121024 112142 179 392 0 120623 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 484096

[startup+1062.3 s]
/proc/loadavg: 2.31 2.25 2.26 3/177 14703
/proc/meminfo: memFree=27908168/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=484096 CPUtime=1062.12 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 78805 0 0 0 106180 32 0 0 20 0 1 0 4179630 495714304 115800 33554432000 4194304 5796924 140735882741328 140735882738968 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121024 115800 179 392 0 120623 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 484096

[startup+1122.3 s]
/proc/loadavg: 2.30 2.26 2.26 3/178 14708
/proc/meminfo: memFree=27966876/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=435200 CPUtime=1122.1 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 79934 0 0 0 112176 34 0 0 20 0 1 0 4179630 445644800 103760 33554432000 4194304 5796924 140735882741328 140735882738792 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 108800 103760 179 392 0 108399 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 435200

[startup+1182.3 s]
/proc/loadavg: 2.22 2.24 2.26 3/177 14709
/proc/meminfo: memFree=27906904/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=454168 CPUtime=1182.09 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 80367 0 0 0 118174 35 0 0 20 0 1 0 4179630 465068032 109141 33554432000 4194304 5796924 140735882741328 140735882738968 4606423 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 113542 109141 179 392 0 113141 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 454168

[startup+1242.3 s]
/proc/loadavg: 2.31 2.25 2.26 3/177 14710
/proc/meminfo: memFree=27905640/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=486556 CPUtime=1242.06 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 80965 0 0 0 124171 35 0 0 20 0 1 0 4179630 498233344 113786 33554432000 4194304 5796924 140735882741328 140735882738376 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121639 113786 179 392 0 121238 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 486556

[startup+1302.3 s]
/proc/loadavg: 2.32 2.25 2.26 3/177 14711
/proc/meminfo: memFree=27909244/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=486556 CPUtime=1302.06 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 81059 0 0 0 130170 36 0 0 20 0 1 0 4179630 498233344 117454 33554432000 4194304 5796924 140735882741328 140735882738376 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121639 117454 179 392 0 121238 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 486556

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.25 3/177 14712
/proc/meminfo: memFree=27902884/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=455736 CPUtime=1362.04 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 82150 0 0 0 136167 37 0 0 20 0 1 0 4179630 466673664 109623 33554432000 4194304 5796924 140735882741328 140735882738968 4592014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 113934 109623 179 392 0 113533 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 455736

[startup+1422.3 s]
/proc/loadavg: 2.22 2.23 2.25 4/177 14714
/proc/meminfo: memFree=27905852/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=486556 CPUtime=1422.04 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 82560 0 0 0 142166 38 0 0 20 0 1 0 4179630 498233344 114120 33554432000 4194304 5796924 140735882741328 140735882738968 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121639 114120 179 392 0 121238 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 486556

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.25 3/177 14715
/proc/meminfo: memFree=27912092/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=536644 CPUtime=1482.02 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 82878 0 0 0 148164 38 0 0 20 0 1 0 4179630 549523456 119037 33554432000 4194304 5796924 140735882741328 140735882738968 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 134161 119037 179 392 0 133760 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 536644

[startup+1542.31 s]
/proc/loadavg: 2.14 2.22 2.24 3/177 14716
/proc/meminfo: memFree=27854348/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=536644 CPUtime=1542.03 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 82887 0 0 0 154164 39 0 0 20 0 1 0 4179630 549523456 123645 33554432000 4194304 5796924 140735882741328 140735882738968 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 134161 123645 179 392 0 133760 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 536644

[startup+1602.3 s]
/proc/loadavg: 2.27 2.23 2.25 3/177 14717
/proc/meminfo: memFree=27945048/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=457068 CPUtime=1602 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 84174 0 0 0 160160 40 0 0 20 0 1 0 4179630 468037632 107804 33554432000 4194304 5796924 140735882741328 140735882738376 4592160 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 114267 107804 179 392 0 113866 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 457068

[startup+1662.3 s]
/proc/loadavg: 2.34 2.25 2.25 3/177 14764
/proc/meminfo: memFree=27930680/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=487888 CPUtime=1662 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 84584 0 0 0 166159 41 0 0 20 0 1 0 4179630 499597312 111789 33554432000 4194304 5796924 140735882741328 140735882738968 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121972 111789 179 392 0 121571 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 487888

[startup+1722.3 s]
/proc/loadavg: 2.41 2.28 2.26 3/177 14768
/proc/meminfo: memFree=27889840/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=487888 CPUtime=1721.99 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 84591 0 0 0 172158 41 0 0 20 0 1 0 4179630 499597312 115373 33554432000 4194304 5796924 140735882741328 140735882738968 4606516 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 121972 115373 179 392 0 121571 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 487888

[startup+1782.3 s]
/proc/loadavg: 2.55 2.35 2.28 4/178 14793
/proc/meminfo: memFree=27870112/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=537976 CPUtime=1781.98 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 84899 0 0 0 178156 42 0 0 20 0 1 0 4179630 550887424 119258 33554432000 4194304 5796924 140735882741328 140735882738968 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 134494 119258 179 392 0 134093 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 537976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.53 2.36 2.28 3/178 14793
/proc/meminfo: memFree=27867308/32872528 swapFree=1499084/1695308
[pid=14678] ppid=14675 vsize=537976 CPUtime=1800.08 cores=1,3,5,7
/proc/14678/stat : 14678 (naps-1.02) R 14675 14678 5962 0 -1 4202496 84984 0 0 0 179966 42 0 0 20 0 1 0 4179630 550887424 120365 33554432000 4194304 5796924 140735882741328 140735882738968 4592059 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/14678/statm: 134494 120365 179 392 0 134093 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 537976

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 14678 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.09
CPU user time (s): 1799.66
CPU system time (s): 0.430934
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 566996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.430934
maximum resident set size= 531104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84996
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= 74
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50131 second user time and 6.95894 second system time

The end