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-4110519-1466344368/watcher-4110519-1466344368 -o /tmp/evaluation-result-4110519-1466344368/solver-4110519-1466344368 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466341820-22117 --watchdog 1960 naps-1.02 HOME/instance-4110519-1466344368.wbo 

pid=24541
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 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.30 2.29 2.08 3/176 24544
/proc/meminfo: memFree=29281728/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=6548 CPUtime=0 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 36485460 6705152 218 33554432000 4194304 5796924 140735832878112 140736917646760 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 1637 218 127 392 0 1236 0

[startup+0.100124 s]
/proc/loadavg: 2.30 2.29 2.08 3/176 24544
/proc/meminfo: memFree=29281728/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=10224 CPUtime=0.09 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 1433 0 0 0 9 0 0 0 20 0 1 0 36485460 10469376 1149 33554432000 4194304 5796924 140735832878112 140735832875832 5092423 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 2556 1149 142 392 0 2155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10224

[startup+0.200314 s]
/proc/loadavg: 2.30 2.29 2.08 3/176 24544
/proc/meminfo: memFree=29281728/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13288 CPUtime=0.19 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2645 0 0 0 19 0 0 0 20 0 1 0 36485460 13606912 2394 33554432000 4194304 5796924 140735832878112 140735832875832 4865191 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3322 2394 150 392 0 2921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13288

[startup+0.300304 s]
/proc/loadavg: 2.30 2.29 2.08 3/176 24544
/proc/meminfo: memFree=29281728/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13288 CPUtime=0.29 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2649 0 0 0 29 0 0 0 20 0 1 0 36485460 13606912 2398 33554432000 4194304 5796924 140735832878112 140735832875832 4865375 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3322 2398 150 392 0 2921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13288

[startup+0.700235 s]
/proc/loadavg: 2.30 2.29 2.08 3/176 24544
/proc/meminfo: memFree=29281728/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13288 CPUtime=0.69 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2661 0 0 0 69 0 0 0 20 0 1 0 36485460 13606912 2410 33554432000 4194304 5796924 140735832878112 140735832875832 5092604 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3322 2410 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.30 2.29 2.08 3/177 24545
/proc/meminfo: memFree=29272068/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13288 CPUtime=1.49 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2667 0 0 0 149 0 0 0 20 0 1 0 36485460 13606912 2416 33554432000 4194304 5796924 140735832878112 140735832872696 4810733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3322 2416 150 392 0 2921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10023 s]
/proc/loadavg: 2.30 2.29 2.08 3/177 24545
/proc/meminfo: memFree=29271696/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13288 CPUtime=3.09 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2668 0 0 0 309 0 0 0 20 0 1 0 36485460 13606912 2417 33554432000 4194304 5796924 140735832878112 140735832872696 5096706 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3322 2417 151 392 0 2921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288

[startup+6.30023 s]
/proc/loadavg: 2.28 2.28 2.08 3/177 24545
/proc/meminfo: memFree=29271944/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13428 CPUtime=6.29 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2695 0 0 0 629 0 0 0 20 0 1 0 36485460 13750272 2444 33554432000 4194304 5796924 140735832878112 140735832872696 4808107 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3357 2444 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.26 2.28 2.08 3/177 24545
/proc/meminfo: memFree=29271420/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13576 CPUtime=12.69 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2709 0 0 0 1269 0 0 0 20 0 1 0 36485460 13901824 2458 33554432000 4194304 5796924 140735832878112 140735832872696 4806764 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3394 2458 151 392 0 2993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13576

[startup+25.5004 s]
/proc/loadavg: 2.20 2.26 2.07 4/177 24591
/proc/meminfo: memFree=30154816/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13732 CPUtime=25.49 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2750 0 0 0 2549 0 0 0 20 0 1 0 36485460 14061568 2499 33554432000 4194304 5796924 140735832878112 140735832872696 5087776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3433 2499 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.27 2.27 2.08 3/177 24591
/proc/meminfo: memFree=30020588/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=13872 CPUtime=51.08 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2810 0 0 0 5108 0 0 0 20 0 1 0 36485460 14204928 2611 33554432000 4194304 5796924 140735832878112 140735832872680 4295627 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3468 2611 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.27 2.27 2.09 3/177 24592
/proc/meminfo: memFree=30021820/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14064 CPUtime=102.28 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2863 0 0 0 10228 0 0 0 20 0 1 0 36485460 14401536 2664 33554432000 4194304 5796924 140735832878112 140735832872600 4295986 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3516 2664 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.27 2.28 2.10 3/177 24593
/proc/meminfo: memFree=30016032/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14600 CPUtime=162.26 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2973 0 0 0 16226 0 0 0 20 0 1 0 36485460 14950400 2774 33554432000 4194304 5796924 140735832878112 140735832872600 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3650 2774 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.27 2.27 2.11 3/177 24594
/proc/meminfo: memFree=30013940/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14600 CPUtime=222.26 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 2975 0 0 0 22226 0 0 0 20 0 1 0 36485460 14950400 2776 33554432000 4194304 5796924 140735832878112 140735832872600 5087766 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3650 2776 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.19 2.25 2.11 4/177 24596
/proc/meminfo: memFree=30014116/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14832 CPUtime=282.24 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3018 0 0 0 28224 0 0 0 20 0 1 0 36485460 15187968 2819 33554432000 4194304 5796924 140735832878112 140735832872600 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3708 2819 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.24 2.25 2.11 4/177 24597
/proc/meminfo: memFree=30014332/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14832 CPUtime=342.23 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3019 0 0 0 34223 0 0 0 20 0 1 0 36485460 15187968 2820 33554432000 4194304 5796924 140735832878112 140735832872600 5092450 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3708 2820 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.21 2.23 2.11 4/177 24598
/proc/meminfo: memFree=30014296/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14832 CPUtime=402.22 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3038 0 0 0 40222 0 0 0 20 0 1 0 36485460 15187968 2839 33554432000 4194304 5796924 140735832878112 140735832872600 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3708 2839 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.19 2.22 2.11 3/178 24602
/proc/meminfo: memFree=30014068/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14976 CPUtime=462.22 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3056 0 0 0 46222 0 0 0 20 0 1 0 36485460 15335424 2857 33554432000 4194304 5796924 140735832878112 140735832872696 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3744 2857 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.27 2.24 2.12 3/178 24626
/proc/meminfo: memFree=30013684/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14976 CPUtime=522.21 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3068 0 0 0 52221 0 0 0 20 0 1 0 36485460 15335424 2869 33554432000 4194304 5796924 140735832878112 140735832872696 4865620 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3744 2869 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.37 2.27 2.13 3/177 24628
/proc/meminfo: memFree=30014084/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=14976 CPUtime=582.2 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3081 0 0 0 58220 0 0 0 20 0 1 0 36485460 15335424 2882 33554432000 4194304 5796924 140735832878112 140735832872696 4865560 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3744 2882 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.31 2.27 2.17 3/177 24635
/proc/meminfo: memFree=30013604/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=942.14 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3136 0 0 0 94214 0 0 0 20 0 1 0 36485460 15609856 2937 33554432000 4194304 5796924 140735832878112 140735832872696 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2937 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.34 2.28 2.18 3/177 24636
/proc/meminfo: memFree=30013656/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1002.13 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3141 0 0 0 100213 0 0 0 20 0 1 0 36485460 15609856 2942 33554432000 4194304 5796924 140735832878112 140735832872696 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2942 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.26 2.27 2.18 3/178 24640
/proc/meminfo: memFree=30013100/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1062.13 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3143 0 0 0 106212 1 0 0 20 0 1 0 36485460 15609856 2945 33554432000 4194304 5796924 140735832878112 140735832872696 5087700 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2945 151 392 0 3410 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 15244

[startup+1122.3 s]
/proc/loadavg: 2.36 2.29 2.19 3/177 24641
/proc/meminfo: memFree=30013084/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1122.12 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3147 0 0 0 112211 1 0 0 20 0 1 0 36485460 15609856 2949 33554432000 4194304 5796924 140735832878112 140735832872696 5087500 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2949 151 392 0 3410 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15244

[startup+1182.3 s]
/proc/loadavg: 2.23 2.27 2.18 3/177 24643
/proc/meminfo: memFree=30012968/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1182.11 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 118210 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 5094663 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 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.27 2.26 2.19 3/177 24644
/proc/meminfo: memFree=30012692/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1242.1 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 124209 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 5087776 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 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.26 2.18 3/177 24645
/proc/meminfo: memFree=30012424/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1302.09 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 130208 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 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.30 2.27 2.19 4/177 24646
/proc/meminfo: memFree=30013096/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1362.08 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 136207 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 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.22 2.25 2.18 3/177 24647
/proc/meminfo: memFree=30012976/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1422.08 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 142207 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 151 392 0 3410 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 15244

[startup+1482.3 s]
/proc/loadavg: 2.23 2.25 2.18 3/177 24649
/proc/meminfo: memFree=30013068/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=15244 CPUtime=1482.07 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 3149 0 0 0 148206 1 0 0 20 0 1 0 36485460 15609856 2951 33554432000 4194304 5796924 140735832878112 140735832872696 5087650 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 3811 2951 151 392 0 3410 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 15244

[startup+1542.31 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 24650
/proc/meminfo: memFree=28489900/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=1678964 CPUtime=1542.06 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 104844 0 0 0 154169 37 0 0 20 0 1 0 36485460 1719259136 382959 33554432000 4194304 5796924 140735832878112 140735832875608 4577063 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 419741 382959 163 392 0 419340 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1678964

[startup+1602.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/176 24651
/proc/meminfo: memFree=27884940/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2417684 CPUtime=1602.05 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193182 0 0 0 160131 74 0 0 20 0 1 0 36485460 2475708416 533983 33554432000 4194304 5796924 140735832878112 140735832875160 4606518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 604421 533983 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.34 2.25 2.19 3/178 24656
/proc/meminfo: memFree=27871704/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2417684 CPUtime=1662.04 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193188 0 0 0 166130 74 0 0 20 0 1 0 36485460 2475708416 537055 33554432000 4194304 5796924 140735832878112 140735832875160 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 604421 537055 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.24 2.23 2.18 3/177 24657
/proc/meminfo: memFree=27855448/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2428304 CPUtime=1722.03 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193198 0 0 0 172129 74 0 0 20 0 1 0 36485460 2486583296 541664 33554432000 4194304 5796924 140735832878112 140735832875160 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 607076 541664 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.22 2.23 2.18 3/177 24659
/proc/meminfo: memFree=27840908/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2428304 CPUtime=1782.02 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193204 0 0 0 178127 75 0 0 20 0 1 0 36485460 2486583296 544736 33554432000 4194304 5796924 140735832878112 140735832875160 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 607076 544736 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.30 2.25 2.19 3/177 24659
/proc/meminfo: memFree=27837060/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2428304 CPUtime=1800.02 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193206 0 0 0 179927 75 0 0 20 0 1 0 36485460 2486583296 545760 33554432000 4194304 5796924 140735832878112 140735832875160 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 607076 545760 182 392 0 606675 0
Current children cumulated CPU time (s) 1800.02
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 24544 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 24659
/proc/meminfo: memFree=27837060/32872528 swapFree=1244700/1391868
[pid=24544] ppid=24541 vsize=2428304 CPUtime=1800.02 cores=1,3,5,7
/proc/24544/stat : 24544 (naps-1.02) R 24541 24544 22100 0 -1 4202496 193206 0 0 0 179927 75 0 0 20 0 1 0 36485460 2486583296 545760 33554432000 4194304 5796924 140735832878112 140735832875160 4606410 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24544/statm: 607076 545760 182 392 0 606675 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2428304

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.825874
maximum resident set size= 2335504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193216
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= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.05423 second user time and 6.25605 second system time

The end