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

pid=22133
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: 0.14 0.14 0.13 4/172 22137
/proc/meminfo: memFree=30309816/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=6420 CPUtime=0 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 304 0 0 0 0 0 0 0 20 0 1 0 36230660 6574080 178 33554432000 4194304 5796924 140734125937600 140737378606168 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 1605 178 130 392 0 1204 0

[startup+0.100111 s]
/proc/loadavg: 0.14 0.14 0.13 4/172 22137
/proc/meminfo: memFree=30309816/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=9508 CPUtime=0.09 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 2244 0 0 0 9 0 0 0 20 0 1 0 36230660 9736192 1865 33554432000 4194304 5796924 140734125937600 140734125934584 4621249 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 2377 1867 169 392 0 1976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9508

[startup+0.200352 s]
/proc/loadavg: 0.14 0.14 0.13 4/172 22137
/proc/meminfo: memFree=30309816/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=12972 CPUtime=0.19 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 3103 0 0 0 19 0 0 0 20 0 1 0 36230660 13283328 2673 33554432000 4194304 5796924 140734125937600 140734125934584 4592593 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 3243 2673 171 392 0 2842 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12972

[startup+0.300266 s]
/proc/loadavg: 0.14 0.14 0.13 4/172 22137
/proc/meminfo: memFree=30309816/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=15648 CPUtime=0.29 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 3321 0 0 0 29 0 0 0 20 0 1 0 36230660 16023552 2890 33554432000 4194304 5796924 140734125937600 140734125934584 4591848 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 3912 2890 171 392 0 3511 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15648

[startup+0.700412 s]
/proc/loadavg: 0.14 0.14 0.13 4/172 22137
/proc/meminfo: memFree=30309816/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=18020 CPUtime=0.68 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 4970 0 0 0 67 1 0 0 20 0 1 0 36230660 18452480 3987 33554432000 4194304 5796924 140734125937600 140734125935992 4611179 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 4505 3987 182 392 0 4104 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18020

[startup+1.50025 s]
/proc/loadavg: 0.21 0.15 0.14 4/178 22193
/proc/meminfo: memFree=30278008/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=29464 CPUtime=1.48 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 5777 0 0 0 147 1 0 0 20 0 1 0 36230660 30171136 5815 33554432000 4194304 5796924 140734125937600 140734125934840 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 7366 5815 184 392 0 6965 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29464

[startup+3.10023 s]
/proc/loadavg: 0.21 0.15 0.14 4/178 22193
/proc/meminfo: memFree=30260896/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=25072 CPUtime=3.09 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 6922 0 0 0 307 2 0 0 20 0 1 0 36230660 25673728 5762 33554432000 4194304 5796924 140734125937600 140734125935064 4607194 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 6268 5762 184 392 0 5867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25072

[startup+6.30029 s]
/proc/loadavg: 0.21 0.15 0.14 4/178 22193
/proc/meminfo: memFree=30253460/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=41112 CPUtime=6.29 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 7859 0 0 0 626 3 0 0 20 0 1 0 36230660 42098688 9762 33554432000 4194304 5796924 140734125937600 140734125934840 4596172 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 10278 9762 184 392 0 9877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41112

[startup+12.7003 s]
/proc/loadavg: 0.48 0.21 0.16 3/178 22193
/proc/meminfo: memFree=30242800/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=45584 CPUtime=12.68 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 8457 0 0 0 1265 3 0 0 20 0 1 0 36230660 46678016 10862 33554432000 4194304 5796924 140734125937600 140734125934664 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 11396 10862 184 392 0 10995 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45584

[startup+25.5003 s]
/proc/loadavg: 0.79 0.29 0.18 3/178 22193
/proc/meminfo: memFree=30228008/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=59908 CPUtime=25.48 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 8865 0 0 0 2545 3 0 0 20 0 1 0 36230660 61345792 14007 33554432000 4194304 5796924 140734125937600 140734125934840 4594511 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 14977 14007 184 392 0 14576 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59908

[startup+51.1003 s]
/proc/loadavg: 1.20 0.43 0.23 3/177 22194
/proc/meminfo: memFree=30222000/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=59908 CPUtime=51.08 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 9277 0 0 0 5104 4 0 0 20 0 1 0 36230660 61345792 14415 33554432000 4194304 5796924 140734125937600 140734125934840 4606704 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 14977 14415 184 392 0 14576 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59908

[startup+102.3 s]
/proc/loadavg: 1.80 0.72 0.34 3/177 22195
/proc/meminfo: memFree=30190796/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=90256 CPUtime=102.28 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 9934 0 0 0 10223 5 0 0 20 0 1 0 36230660 92422144 21024 33554432000 4194304 5796924 140734125937600 140734125934840 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 22564 21024 184 392 0 22163 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90256

[startup+162.3 s]
/proc/loadavg: 2.02 0.98 0.45 3/177 22196
/proc/meminfo: memFree=30184800/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=90256 CPUtime=162.26 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 9936 0 0 0 16221 5 0 0 20 0 1 0 36230660 92422144 22048 33554432000 4194304 5796924 140734125937600 140734125934840 4592027 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 22564 22048 184 392 0 22163 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 90256

[startup+222.307 s]
/proc/loadavg: 2.09 1.19 0.55 3/177 22197
/proc/meminfo: memFree=30163268/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=102008 CPUtime=222.25 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 11932 0 0 0 22217 8 0 0 20 0 1 0 36230660 104456192 25048 33554432000 4194304 5796924 140734125937600 140734125935064 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 25502 25048 184 392 0 25101 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 102008

[startup+282.3 s]
/proc/loadavg: 2.33 1.43 0.67 3/177 22198
/proc/meminfo: memFree=30127080/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=151328 CPUtime=282.23 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 14173 0 0 0 28211 12 0 0 20 0 1 0 36230660 154959872 34056 33554432000 4194304 5796924 140734125937600 140734125934888 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 37832 34056 184 392 0 37431 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 151328

[startup+342.3 s]
/proc/loadavg: 2.33 1.59 0.77 3/177 22199
/proc/meminfo: memFree=30160436/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=102008 CPUtime=342.22 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 15464 0 0 0 34207 15 0 0 20 0 1 0 36230660 104456192 25048 33554432000 4194304 5796924 140734125937600 140734125935064 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 25502 25048 184 392 0 25101 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 102008

[startup+402.3 s]
/proc/loadavg: 2.26 1.71 0.86 3/177 22201
/proc/meminfo: memFree=30158572/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=102008 CPUtime=402.21 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 16758 0 0 0 40204 17 0 0 20 0 1 0 36230660 104456192 25048 33554432000 4194304 5796924 140734125937600 140734125935064 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 25502 25048 184 392 0 25101 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 102008

[startup+462.3 s]
/proc/loadavg: 2.13 1.77 0.94 3/177 22202
/proc/meminfo: memFree=30158336/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=102008 CPUtime=462.21 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 18049 0 0 0 46201 20 0 0 20 0 1 0 36230660 104456192 25048 33554432000 4194304 5796924 140734125937600 140734125935064 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 25502 25048 184 392 0 25101 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 102008

[startup+522.3 s]
/proc/loadavg: 2.27 1.87 1.02 3/177 22203
/proc/meminfo: memFree=30119692/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=151328 CPUtime=522.2 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 19345 0 0 0 52197 23 0 0 20 0 1 0 36230660 154959872 34056 33554432000 4194304 5796924 140734125937600 140734125934888 4591865 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 37832 34056 184 392 0 37431 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 151328

[startup+582.3 s]
/proc/loadavg: 2.23 1.94 1.10 3/178 22207
/proc/meminfo: memFree=30153024/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=102008 CPUtime=582.18 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 20640 0 0 0 58193 25 0 0 20 0 1 0 36230660 104456192 25048 33554432000 4194304 5796924 140734125937600 140734125935064 4594237 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 25502 25048 184 392 0 25101 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 102008


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


[startup+942.3 s]
/proc/loadavg: 2.14 2.09 1.43 3/177 22214
/proc/meminfo: memFree=30135728/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=121696 CPUtime=942.13 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 30541 0 0 0 94169 44 0 0 20 0 1 0 36230660 124616704 25842 33554432000 4194304 5796924 140734125937600 140734125935064 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 30424 25842 184 392 0 30023 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 121696

[startup+1002.3 s]
/proc/loadavg: 2.21 2.13 1.48 3/177 22216
/proc/meminfo: memFree=30069604/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=171016 CPUtime=1002.12 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 31781 0 0 0 100166 46 0 0 20 0 1 0 36230660 175120384 37922 33554432000 4194304 5796924 140734125937600 140734125934888 4606771 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 42754 37922 184 392 0 42353 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 171016

[startup+1062.3 s]
/proc/loadavg: 2.17 2.14 1.52 3/177 22217
/proc/meminfo: memFree=30084104/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=171016 CPUtime=1062.12 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 33601 0 0 0 106162 50 0 0 20 0 1 0 36230660 175120384 34338 33554432000 4194304 5796924 140734125937600 140734125934888 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 42754 34338 184 392 0 42353 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 171016

[startup+1122.3 s]
/proc/loadavg: 2.11 2.12 1.55 3/177 22218
/proc/meminfo: memFree=30060884/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=201836 CPUtime=1122.1 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 35105 0 0 0 112158 52 0 0 20 0 1 0 36230660 206680064 40037 33554432000 4194304 5796924 140734125937600 140734125935240 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 50459 40037 184 392 0 50058 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 201836

[startup+1182.3 s]
/proc/loadavg: 2.15 2.14 1.59 3/178 22222
/proc/meminfo: memFree=30084128/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=137844 CPUtime=1182.1 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 37461 0 0 0 118153 57 0 0 20 0 1 0 36230660 141152256 34033 33554432000 4194304 5796924 140734125937600 140734125935064 4606495 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 34461 34033 184 392 0 34060 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 137844

[startup+1242.3 s]
/proc/loadavg: 2.20 2.14 1.63 3/177 22223
/proc/meminfo: memFree=30027292/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1242.09 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 39286 0 0 0 124149 60 0 0 20 0 1 0 36230660 223215616 48228 33554432000 4194304 5796924 140734125937600 140734125935240 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 48228 184 392 0 54095 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 217984

[startup+1302.3 s]
/proc/loadavg: 2.27 2.16 1.66 3/177 22225
/proc/meminfo: memFree=30055792/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=187164 CPUtime=1302.07 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 40524 0 0 0 130145 62 0 0 20 0 1 0 36230660 191655936 43041 33554432000 4194304 5796924 140734125937600 140734125934888 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 46791 43041 184 392 0 46390 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 187164

[startup+1362.3 s]
/proc/loadavg: 2.24 2.18 1.70 3/177 22226
/proc/meminfo: memFree=30071104/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1362.07 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 41763 0 0 0 136142 65 0 0 20 0 1 0 36230660 223215616 46429 33554432000 4194304 5796924 140734125937600 140734125935240 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 46429 184 392 0 54095 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 217984

[startup+1422.3 s]
/proc/loadavg: 2.31 2.20 1.74 3/177 22227
/proc/meminfo: memFree=30027520/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1422.07 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 42948 0 0 0 142140 67 0 0 20 0 1 0 36230660 223215616 49252 33554432000 4194304 5796924 140734125937600 140734125935240 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 49252 184 392 0 54095 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 217984

[startup+1482.3 s]
/proc/loadavg: 2.16 2.18 1.75 3/177 22228
/proc/meminfo: memFree=30087952/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=187164 CPUtime=1482.05 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 44187 0 0 0 148136 69 0 0 20 0 1 0 36230660 191655936 42017 33554432000 4194304 5796924 140734125937600 140734125935064 4606779 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 46791 42017 184 392 0 46390 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 187164

[startup+1542.31 s]
/proc/loadavg: 2.10 2.16 1.77 3/177 22229
/proc/meminfo: memFree=30044680/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=187164 CPUtime=1542.05 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 45110 0 0 0 154134 71 0 0 20 0 1 0 36230660 191655936 45089 33554432000 4194304 5796924 140734125937600 140734125934888 4606768 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 46791 45089 184 392 0 46390 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 187164

[startup+1602.3 s]
/proc/loadavg: 2.13 2.16 1.79 3/177 22231
/proc/meminfo: memFree=30030260/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1602.03 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 46616 0 0 0 160130 73 0 0 20 0 1 0 36230660 223215616 48228 33554432000 4194304 5796924 140734125937600 140734125935240 4606744 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 48228 184 392 0 54095 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 217984

[startup+1662.3 s]
/proc/loadavg: 2.13 2.15 1.81 3/177 22232
/proc/meminfo: memFree=30086476/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=137844 CPUtime=1662.02 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 47536 0 0 0 166126 76 0 0 20 0 1 0 36230660 141152256 34033 33554432000 4194304 5796924 140734125937600 140734125935064 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 34461 34033 184 392 0 34060 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 137844

[startup+1722.3 s]
/proc/loadavg: 2.09 2.14 1.83 3/177 22233
/proc/meminfo: memFree=30055008/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=187164 CPUtime=1722.02 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 49684 0 0 0 172122 80 0 0 20 0 1 0 36230660 191655936 42529 33554432000 4194304 5796924 140734125937600 140734125934888 4607222 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 46791 42529 184 392 0 46390 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 187164

[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 1.84 3/178 22237
/proc/meminfo: memFree=30039668/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=187164 CPUtime=1782 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 51519 0 0 0 178117 83 0 0 20 0 1 0 36230660 191655936 45601 33554432000 4194304 5796924 140734125937600 140734125934888 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 46791 45601 184 392 0 46390 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 187164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.13 1.85 3/178 22237
/proc/meminfo: memFree=30025892/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1800 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 52105 0 0 0 179916 84 0 0 20 0 1 0 36230660 223215616 49252 33554432000 4194304 5796924 140734125937600 140734125935240 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 49252 184 392 0 54095 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 217984

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.13 1.85 3/178 22237
/proc/meminfo: memFree=30025892/32872528 swapFree=1244700/1391868
[pid=22137] ppid=22133 vsize=217984 CPUtime=1800 cores=1,3,5,7
/proc/22137/stat : 22137 (naps-1.02) R 22133 22137 22100 0 -1 4202496 52105 0 0 0 179916 84 0 0 20 0 1 0 36230660 223215616 49252 33554432000 4194304 5796924 140734125937600 140734125935240 4606789 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/22137/statm: 54496 49252 184 392 0 54095 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 217984

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.17
CPU system time (s): 0.84987
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 217984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.84987
maximum resident set size= 201104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52115
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= 15
involuntary context switches= 2178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.62469 second user time and 9.34658 second system time

The end