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

pid=24701
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.25 2.19 3/176 24704
/proc/meminfo: memFree=30022648/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=6548 CPUtime=0 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 36665540 6705152 210 33554432000 4194304 5796924 140733667281216 140733429487928 4623737 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 1637 210 127 392 0 1236 0

[startup+0.10016 s]
/proc/loadavg: 2.30 2.25 2.19 3/176 24704
/proc/meminfo: memFree=30022648/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=10224 CPUtime=0.09 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 1432 0 0 0 9 0 0 0 20 0 1 0 36665540 10469376 1148 33554432000 4194304 5796924 140733667281216 140733429487928 5087778 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 2556 1148 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.25 2.19 3/176 24704
/proc/meminfo: memFree=30022648/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=13288 CPUtime=0.19 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2672 0 0 0 19 0 0 0 20 0 1 0 36665540 13606912 1906 33554432000 4194304 5796924 140733667281216 140733429487928 4865620 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3322 1906 150 392 0 2921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13288

[startup+0.300264 s]
/proc/loadavg: 2.30 2.25 2.19 3/176 24704
/proc/meminfo: memFree=30022648/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=13288 CPUtime=0.29 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2677 0 0 0 29 0 0 0 20 0 1 0 36665540 13606912 1911 33554432000 4194304 5796924 140733667281216 140733667275800 5092545 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3322 1911 150 392 0 2921 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13288

[startup+0.700238 s]
/proc/loadavg: 2.30 2.25 2.19 3/176 24704
/proc/meminfo: memFree=30022648/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=13288 CPUtime=0.69 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2691 0 0 0 69 0 0 0 20 0 1 0 36665540 13606912 1925 33554432000 4194304 5796924 140733667281216 140733667275800 4806764 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3322 1925 150 392 0 2921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13288

[startup+1.50024 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 24705
/proc/meminfo: memFree=30016092/32872528 swapFree=1244704/1391872
[pid=24704] ppid=24701 vsize=13288 CPUtime=1.49 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2694 0 0 0 149 0 0 0 20 0 1 0 36665540 13606912 1928 33554432000 4194304 5796924 140733667281216 140733667275800 4839574 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3322 1928 150 392 0 2921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10027 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 24705
/proc/meminfo: memFree=30015472/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=13288 CPUtime=3.09 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2697 0 0 0 309 0 0 0 20 0 1 0 36665540 13606912 1931 33554432000 4194304 5796924 140733667281216 140733667275800 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3322 1931 151 392 0 2921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288

[startup+6.30018 s]
/proc/loadavg: 2.36 2.26 2.19 3/177 24705
/proc/meminfo: memFree=30015604/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=13428 CPUtime=6.29 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2722 0 0 0 629 0 0 0 20 0 1 0 36665540 13750272 1956 33554432000 4194304 5796924 140733667281216 140733667275800 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/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.33 2.26 2.19 3/177 24705
/proc/meminfo: memFree=30015496/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=13560 CPUtime=12.69 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2736 0 0 0 1269 0 0 0 20 0 1 0 36665540 13885440 1970 33554432000 4194304 5796924 140733667281216 140733667275800 5092643 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3390 1970 151 392 0 2989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13560

[startup+25.5003 s]
/proc/loadavg: 2.33 2.26 2.19 3/177 24751
/proc/meminfo: memFree=30286476/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=13704 CPUtime=25.48 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2780 0 0 0 2548 0 0 0 20 0 1 0 36665540 14032896 2014 33554432000 4194304 5796924 140733667281216 140733667275800 4865579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3426 2014 151 392 0 3025 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13704

[startup+51.1003 s]
/proc/loadavg: 2.36 2.27 2.19 3/177 24751
/proc/meminfo: memFree=30286764/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=13864 CPUtime=51.08 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2836 0 0 0 5108 0 0 0 20 0 1 0 36665540 14196736 2070 33554432000 4194304 5796924 140733667281216 140733667275784 5092450 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3466 2070 151 392 0 3065 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13864

[startup+102.3 s]
/proc/loadavg: 2.35 2.27 2.20 3/177 24752
/proc/meminfo: memFree=30285668/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14148 CPUtime=102.28 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 2888 0 0 0 10228 0 0 0 20 0 1 0 36665540 14487552 2122 33554432000 4194304 5796924 140733667281216 140733667275800 5087558 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3537 2122 151 392 0 3136 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14148

[startup+162.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/177 24753
/proc/meminfo: memFree=30285152/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14584 CPUtime=162.26 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3002 0 0 0 16226 0 0 0 20 0 1 0 36665540 14934016 2236 33554432000 4194304 5796924 140733667281216 140733667275704 4865579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3646 2236 151 392 0 3245 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14584

[startup+222.307 s]
/proc/loadavg: 2.24 2.26 2.19 4/177 24754
/proc/meminfo: memFree=30285004/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14584 CPUtime=222.26 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3004 0 0 0 22226 0 0 0 20 0 1 0 36665540 14934016 2238 33554432000 4194304 5796924 140733667281216 140733667275704 4199792 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3646 2238 151 392 0 3245 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14584

[startup+282.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/177 24756
/proc/meminfo: memFree=30285136/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14848 CPUtime=282.24 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3047 0 0 0 28224 0 0 0 20 0 1 0 36665540 15204352 2281 33554432000 4194304 5796924 140733667281216 140733667275704 5087650 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3712 2281 151 392 0 3311 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 14848

[startup+342.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 24757
/proc/meminfo: memFree=30284100/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14848 CPUtime=342.24 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3049 0 0 0 34223 1 0 0 20 0 1 0 36665540 15204352 2335 33554432000 4194304 5796924 140733667281216 140733667275704 5092526 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3712 2335 151 392 0 3311 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14848

[startup+402.3 s]
/proc/loadavg: 2.39 2.29 2.20 3/177 24758
/proc/meminfo: memFree=30284192/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14848 CPUtime=402.23 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3062 0 0 0 40222 1 0 0 20 0 1 0 36665540 15204352 2348 33554432000 4194304 5796924 140733667281216 140733667275704 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3712 2348 151 392 0 3311 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14848

[startup+462.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/178 24762
/proc/meminfo: memFree=30283756/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14848 CPUtime=462.22 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3083 0 0 0 46221 1 0 0 20 0 1 0 36665540 15204352 2369 33554432000 4194304 5796924 140733667281216 140733667275704 4806956 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3712 2369 151 392 0 3311 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14848

[startup+522.3 s]
/proc/loadavg: 2.26 2.28 2.20 4/177 24763
/proc/meminfo: memFree=30283616/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14992 CPUtime=522.21 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3095 0 0 0 52220 1 0 0 20 0 1 0 36665540 15351808 2381 33554432000 4194304 5796924 140733667281216 140733667275800 5092509 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3748 2381 151 392 0 3347 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 14992

[startup+582.3 s]
/proc/loadavg: 2.30 2.28 2.21 3/177 24765
/proc/meminfo: memFree=30283704/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=14992 CPUtime=582.2 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3111 0 0 0 58219 1 0 0 20 0 1 0 36665540 15351808 2397 33554432000 4194304 5796924 140733667281216 140733667275800 5087579 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3748 2397 151 392 0 3347 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14992


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


[startup+942.3 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 24772
/proc/meminfo: memFree=29349872/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=942.15 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3167 0 0 0 94214 1 0 0 20 0 1 0 36665540 15622144 2453 33554432000 4194304 5796924 140733667281216 140733667275800 4809286 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2453 151 392 0 3413 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 15256

[startup+1002.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 24773
/proc/meminfo: memFree=29329020/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1002.14 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3167 0 0 0 100213 1 0 0 20 0 1 0 36665540 15622144 2453 33554432000 4194304 5796924 140733667281216 140733667275800 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2453 151 392 0 3413 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 15256

[startup+1062.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/178 24777
/proc/meminfo: memFree=29349804/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1062.13 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3172 0 0 0 106212 1 0 0 20 0 1 0 36665540 15622144 2458 33554432000 4194304 5796924 140733667281216 140733667275800 4805857 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2458 151 392 0 3413 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 15256

[startup+1122.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/177 24778
/proc/meminfo: memFree=29358776/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1122.12 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3176 0 0 0 112211 1 0 0 20 0 1 0 36665540 15622144 2462 33554432000 4194304 5796924 140733667281216 140733667275800 4865443 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2462 151 392 0 3413 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15256

[startup+1182.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 24779
/proc/meminfo: memFree=29338036/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1182.11 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3176 0 0 0 118210 1 0 0 20 0 1 0 36665540 15622144 2462 33554432000 4194304 5796924 140733667281216 140733667275800 4806764 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2462 151 392 0 3413 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15256

[startup+1242.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 24781
/proc/meminfo: memFree=29349148/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1242.1 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3177 0 0 0 124209 1 0 0 20 0 1 0 36665540 15622144 2463 33554432000 4194304 5796924 140733667281216 140733667275800 5092622 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2463 151 392 0 3413 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15256

[startup+1302.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/177 24782
/proc/meminfo: memFree=29328608/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1302.09 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3178 0 0 0 130208 1 0 0 20 0 1 0 36665540 15622144 2464 33554432000 4194304 5796924 140733667281216 140733667275800 5087529 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2464 151 392 0 3413 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15256

[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 24783
/proc/meminfo: memFree=29343244/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1362.08 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3178 0 0 0 136207 1 0 0 20 0 1 0 36665540 15622144 2464 33554432000 4194304 5796924 140733667281216 140733667275800 5100122 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2464 151 392 0 3413 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15256

[startup+1422.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 24784
/proc/meminfo: memFree=29312240/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1422.08 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3178 0 0 0 142207 1 0 0 20 0 1 0 36665540 15622144 2464 33554432000 4194304 5796924 140733667281216 140733667275800 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2464 151 392 0 3413 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 15256

[startup+1482.3 s]
/proc/loadavg: 2.05 2.15 2.16 4/177 24785
/proc/meminfo: memFree=29336328/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1482.06 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3178 0 0 0 148205 1 0 0 20 0 1 0 36665540 15622144 2464 33554432000 4194304 5796924 140733667281216 140733667275800 5092558 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2464 151 392 0 3413 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15256

[startup+1542.31 s]
/proc/loadavg: 2.12 2.15 2.16 3/177 24787
/proc/meminfo: memFree=29319988/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=15256 CPUtime=1542.06 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 3178 0 0 0 154205 1 0 0 20 0 1 0 36665540 15622144 2464 33554432000 4194304 5796924 140733667281216 140733667275800 4806956 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 3814 2464 151 392 0 3413 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 15256

[startup+1602.3 s]
/proc/loadavg: 2.16 2.15 2.16 3/177 24788
/proc/meminfo: memFree=26509256/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=3238972 CPUtime=1602.04 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 257628 0 0 0 160108 96 0 0 20 0 1 0 36665540 3316707328 711078 33554432000 4194304 5796924 140733667281216 140733667278424 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 809743 711079 180 392 0 809342 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3238972

[startup+1662.3 s]
/proc/loadavg: 2.10 2.14 2.16 4/178 24792
/proc/meminfo: memFree=26400048/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=3355436 CPUtime=1662.03 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 274456 0 0 0 166097 106 0 0 20 0 1 0 36665540 3435966464 733175 33554432000 4194304 5796924 140733667281216 140733667278856 4594171 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 838859 733175 183 392 0 838458 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3355436

[startup+1722.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/177 24793
/proc/meminfo: memFree=26353568/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=3364580 CPUtime=1722.02 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 274774 0 0 0 172095 107 0 0 20 0 1 0 36665540 3445329920 740136 33554432000 4194304 5796924 140733667281216 140733667278264 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 841145 740136 183 392 0 840744 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 3364580

[startup+1782.3 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 24794
/proc/meminfo: memFree=26322504/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=3364580 CPUtime=1782.01 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 274781 0 0 0 178094 107 0 0 20 0 1 0 36665540 3445329920 743720 33554432000 4194304 5796924 140733667281216 140733667278264 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 841145 743720 183 392 0 840744 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3364580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.17 2.17 3/177 24795
/proc/meminfo: memFree=26308172/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=3364580 CPUtime=1800.01 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202496 274785 0 0 0 179894 107 0 0 20 0 1 0 36665540 3445329920 745768 33554432000 4194304 5796924 140733667281216 140733667278264 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 841145 745768 183 392 0 840744 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3364580

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

[startup+1800.4 s]
/proc/loadavg: 2.24 2.17 2.17 3/177 24795
/proc/meminfo: memFree=26308172/32872528 swapFree=1244700/1391868
[pid=24704] ppid=24701 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/24704/stat : 24704 (naps-1.02) R 24701 24704 22100 0 -1 4202500 274795 0 0 0 179894 117 0 0 20 0 1 0 36665540 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24704/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.14
CPU user time (s): 1798.95
CPU system time (s): 1.19382
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 3553008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.19382
maximum resident set size= 3175400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274795
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= 4
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47632 second user time and 6.60799 second system time

The end