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

pid=16012
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.26 2.24 2.18 3/177 16015
/proc/meminfo: memFree=30386948/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=6680 CPUtime=0 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 12051779 6840320 230 33554432000 4194304 5796924 140735576506144 140735486792680 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 1670 230 127 392 0 1269 0

[startup+0.10021 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 16015
/proc/meminfo: memFree=30386948/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=10224 CPUtime=0.09 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 1432 0 0 0 9 0 0 0 20 0 1 0 12051779 10469376 1149 33554432000 4194304 5796924 140735576506144 140735486792680 5100101 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 2556 1149 142 392 0 2155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10224

[startup+0.200297 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 16015
/proc/meminfo: memFree=30386948/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13288 CPUtime=0.19 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2671 0 0 0 19 0 0 0 20 0 1 0 12051779 13606912 1906 33554432000 4194304 5796924 140735576506144 140735486792680 5096673 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3322 1906 150 392 0 2921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13288

[startup+0.30025 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 16015
/proc/meminfo: memFree=30386948/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13288 CPUtime=0.29 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2675 0 0 0 29 0 0 0 20 0 1 0 12051779 13606912 1910 33554432000 4194304 5796924 140735576506144 140735486792680 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3322 1910 150 392 0 2921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13288

[startup+0.700251 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 16015
/proc/meminfo: memFree=30386948/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13288 CPUtime=0.69 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2687 0 0 0 69 0 0 0 20 0 1 0 12051779 13606912 1922 33554432000 4194304 5796924 140735576506144 140735486792680 4839552 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3322 1922 150 392 0 2921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13288

[startup+1.50025 s]
/proc/loadavg: 2.26 2.24 2.18 3/178 16016
/proc/meminfo: memFree=30326440/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13288 CPUtime=1.49 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2693 0 0 0 149 0 0 0 20 0 1 0 12051779 13606912 1928 33554432000 4194304 5796924 140735576506144 140735576500728 5096620 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3322 1928 150 392 0 2921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10021 s]
/proc/loadavg: 2.24 2.24 2.18 3/178 16016
/proc/meminfo: memFree=30258188/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13288 CPUtime=3.09 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2694 0 0 0 309 0 0 0 20 0 1 0 12051779 13606912 1929 33554432000 4194304 5796924 140735576506144 140735576500728 4806991 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3322 1929 151 392 0 2921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288

[startup+6.30019 s]
/proc/loadavg: 2.24 2.24 2.18 3/178 16016
/proc/meminfo: memFree=30280840/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13428 CPUtime=6.29 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2721 0 0 0 629 0 0 0 20 0 1 0 12051779 13750272 1956 33554432000 4194304 5796924 140735576506144 140735576500728 5077685 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3357 1956 151 392 0 2956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13428

[startup+12.7002 s]
/proc/loadavg: 2.20 2.23 2.18 3/178 16039
/proc/meminfo: memFree=30279320/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13576 CPUtime=12.69 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2735 0 0 0 1269 0 0 0 20 0 1 0 12051779 13901824 1970 33554432000 4194304 5796924 140735576506144 140735576500728 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3394 1970 151 392 0 2993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13576

[startup+25.5003 s]
/proc/loadavg: 2.17 2.22 2.18 4/178 16039
/proc/meminfo: memFree=30280536/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13732 CPUtime=25.49 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2776 0 0 0 2549 0 0 0 20 0 1 0 12051779 14061568 2011 33554432000 4194304 5796924 140735576506144 140735576500728 5092425 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3433 2011 151 392 0 3032 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13732

[startup+51.1003 s]
/proc/loadavg: 2.17 2.22 2.18 3/178 16039
/proc/meminfo: memFree=30278052/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=13872 CPUtime=51.08 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2835 0 0 0 5108 0 0 0 20 0 1 0 12051779 14204928 2070 33554432000 4194304 5796924 140735576506144 140735576500712 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3468 2070 151 392 0 3067 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13872

[startup+102.3 s]
/proc/loadavg: 2.12 2.20 2.17 4/177 16040
/proc/meminfo: memFree=30278296/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14064 CPUtime=102.28 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2889 0 0 0 10228 0 0 0 20 0 1 0 12051779 14401536 2176 33554432000 4194304 5796924 140735576506144 140735576500632 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3516 2176 151 392 0 3115 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14064

[startup+162.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/177 16041
/proc/meminfo: memFree=30277500/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14600 CPUtime=162.26 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 2999 0 0 0 16226 0 0 0 20 0 1 0 12051779 14950400 2286 33554432000 4194304 5796924 140735576506144 140735576500632 5087558 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3650 2286 151 392 0 3249 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14600

[startup+222.307 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 16043
/proc/meminfo: memFree=30277500/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14600 CPUtime=222.26 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3001 0 0 0 22226 0 0 0 20 0 1 0 12051779 14950400 2288 33554432000 4194304 5796924 140735576506144 140735576500632 5096706 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3650 2288 151 392 0 3249 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14600

[startup+282.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 16044
/proc/meminfo: memFree=30277876/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14832 CPUtime=282.24 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3044 0 0 0 28224 0 0 0 20 0 1 0 12051779 15187968 2331 33554432000 4194304 5796924 140735576506144 140735576500632 4863552 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3708 2331 151 392 0 3307 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14832

[startup+342.3 s]
/proc/loadavg: 2.08 2.15 2.16 3/177 16045
/proc/meminfo: memFree=30277812/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14832 CPUtime=342.23 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3045 0 0 0 34223 0 0 0 20 0 1 0 12051779 15187968 2332 33554432000 4194304 5796924 140735576506144 140735576500632 5096706 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3708 2332 151 392 0 3307 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14832

[startup+402.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 16046
/proc/meminfo: memFree=30277812/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14832 CPUtime=402.22 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3064 0 0 0 40222 0 0 0 20 0 1 0 12051779 15187968 2351 33554432000 4194304 5796924 140735576506144 140735576500632 5092622 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3708 2351 151 392 0 3307 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14832

[startup+462.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 16047
/proc/meminfo: memFree=30277568/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14976 CPUtime=462.22 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3082 0 0 0 46222 0 0 0 20 0 1 0 12051779 15335424 2369 33554432000 4194304 5796924 140735576506144 140735576500728 5092487 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3744 2369 151 392 0 3343 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14976

[startup+522.3 s]
/proc/loadavg: 2.31 2.21 2.18 3/177 16049
/proc/meminfo: memFree=30277384/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14976 CPUtime=522.21 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3094 0 0 0 52221 0 0 0 20 0 1 0 12051779 15335424 2381 33554432000 4194304 5796924 140735576506144 140735576500728 4806956 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3744 2381 151 392 0 3343 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 14976

[startup+582.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/178 16053
/proc/meminfo: memFree=30277076/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=14976 CPUtime=582.2 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3107 0 0 0 58220 0 0 0 20 0 1 0 12051779 15335424 2394 33554432000 4194304 5796924 140735576506144 140735576500728 5092509 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3744 2394 151 392 0 3343 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14976


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 16060
/proc/meminfo: memFree=30276988/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=942.14 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3162 0 0 0 94214 0 0 0 20 0 1 0 12051779 15609856 2449 33554432000 4194304 5796924 140735576506144 140735576500728 4199805 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2449 151 392 0 3410 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15244

[startup+1002.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 16061
/proc/meminfo: memFree=30276996/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1002.13 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3167 0 0 0 100213 0 0 0 20 0 1 0 12051779 15609856 2454 33554432000 4194304 5796924 140735576506144 140735576500728 4296105 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2454 151 392 0 3410 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15244

[startup+1062.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/177 16062
/proc/meminfo: memFree=30277068/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1062.12 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3168 0 0 0 106212 0 0 0 20 0 1 0 12051779 15609856 2455 33554432000 4194304 5796924 140735576506144 140735576500728 5092604 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2455 151 392 0 3410 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 15244

[startup+1122.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 16064
/proc/meminfo: memFree=30277080/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1122.11 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3172 0 0 0 112211 0 0 0 20 0 1 0 12051779 15609856 2459 33554432000 4194304 5796924 140735576506144 140735576500728 5087620 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2459 151 392 0 3410 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15244

[startup+1182.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/178 16068
/proc/meminfo: memFree=30275944/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1182.11 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 118211 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 5092432 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15244

[startup+1242.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 16069
/proc/meminfo: memFree=30275776/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1242.1 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 124210 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 5087774 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15244

[startup+1302.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 16070
/proc/meminfo: memFree=30275528/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1302.09 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 130209 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 5093096 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15244

[startup+1362.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 16071
/proc/meminfo: memFree=30275656/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1362.08 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 136208 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 4865544 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15244

[startup+1422.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 16073
/proc/meminfo: memFree=30275652/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1422.07 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 142207 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 5100101 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15244

[startup+1482.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 16074
/proc/meminfo: memFree=30275648/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=15244 CPUtime=1482.06 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 3175 0 0 0 148206 0 0 0 20 0 1 0 12051779 15609856 2464 33554432000 4194304 5796924 140735576506144 140735576500728 5087682 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 3811 2464 151 392 0 3410 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15244

[startup+1542.31 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 16075
/proc/meminfo: memFree=28867796/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=1505800 CPUtime=1542.06 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 107818 0 0 0 154170 36 0 0 20 0 1 0 12051779 1541939200 354392 33554432000 4194304 5796924 140735576506144 140735576503112 4639753 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 376450 354392 164 392 0 376049 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1505800

[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 16076
/proc/meminfo: memFree=28156128/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2417684 CPUtime=1602.05 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191524 0 0 0 160135 70 0 0 20 0 1 0 12051779 2475708416 531962 33554432000 4194304 5796924 140735576506144 140735576503192 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 604421 531962 182 392 0 604020 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 2417684

[startup+1662.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 16077
/proc/meminfo: memFree=28141796/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2417684 CPUtime=1662.04 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191530 0 0 0 166134 70 0 0 20 0 1 0 12051779 2475708416 535034 33554432000 4194304 5796924 140735576506144 140735576503192 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 604421 535034 182 392 0 604020 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 2417684

[startup+1722.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 16079
/proc/meminfo: memFree=28125168/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2428304 CPUtime=1722.03 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191539 0 0 0 172132 71 0 0 20 0 1 0 12051779 2486583296 539131 33554432000 4194304 5796924 140735576506144 140735576503192 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 607076 539131 182 392 0 606675 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 2428304

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.18 4/178 16083
/proc/meminfo: memFree=28111784/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2428304 CPUtime=1782.02 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191545 0 0 0 178131 71 0 0 20 0 1 0 12051779 2486583296 542203 33554432000 4194304 5796924 140735576506144 140735576503192 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 607076 542203 182 392 0 606675 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2428304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/178 16083
/proc/meminfo: memFree=28108188/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2428304 CPUtime=1800.01 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191547 0 0 0 179930 71 0 0 20 0 1 0 12051779 2486583296 543227 33554432000 4194304 5796924 140735576506144 140735576503192 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 607076 543227 182 392 0 606675 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2428304

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

[startup+1800.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/178 16083
/proc/meminfo: memFree=28108188/32872528 swapFree=1497568/1644736
[pid=16015] ppid=16012 vsize=2428304 CPUtime=1800.01 cores=0,2,4,6
/proc/16015/stat : 16015 (naps-1.02) R 16012 16015 15832 0 -1 4202496 191547 0 0 0 179930 71 0 0 20 0 1 0 12051779 2486583296 543227 33554432000 4194304 5796924 140735576506144 140735576503192 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/16015/statm: 607076 543227 182 392 0 606675 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2428304

Child status: 10
Real time (s): 1800.37
CPU time (s): 1800.1
CPU user time (s): 1799.31
CPU system time (s): 0.78788
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2747656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.78788
maximum resident set size= 2324648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191557
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= 5
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.92725 second user time and 7.49486 second system time

The end