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-4118336-1467219402/watcher-4118336-1467219402 -o /tmp/evaluation-result-4118336-1467219402/solver-4118336-1467219402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467210304-1980 --watchdog 1960 open-wbo HOME/instance-4118336-1467219402.opb 

pid=3242
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.16 2.16 2.17 4/174 3245
/proc/meminfo: memFree=29105596/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 966198 2560000 232 33554432000 4194304 6059633 140735158626656 140736616379096 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 625 233 174 456 0 120 0

[startup+0.100137 s]
/proc/loadavg: 2.16 2.16 2.17 4/174 3245
/proc/meminfo: memFree=29105596/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=13672 CPUtime=0.09 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 2196 0 0 0 9 0 0 0 20 0 1 0 966198 14000128 2511 33554432000 4194304 6059633 140735158626656 140736616379096 4261792 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 3418 2511 174 456 0 2954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13672

[startup+0.200299 s]
/proc/loadavg: 2.16 2.16 2.17 4/174 3245
/proc/meminfo: memFree=29105596/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=10984 CPUtime=0.18 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 2532 0 0 0 18 0 0 0 20 0 1 0 966198 11247616 2187 33554432000 4194304 6059633 140735158626656 140736616379096 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 2746 2187 185 456 0 2282 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10984

[startup+0.300281 s]
/proc/loadavg: 2.16 2.16 2.17 4/174 3245
/proc/meminfo: memFree=29105596/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=10984 CPUtime=0.28 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 2567 0 0 0 28 0 0 0 20 0 1 0 966198 11247616 2219 33554432000 4194304 6059633 140735158626656 140736616379096 4277507 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 2746 2219 185 456 0 2282 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10984

[startup+0.700227 s]
/proc/loadavg: 2.16 2.16 2.17 4/174 3245
/proc/meminfo: memFree=29105596/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=11884 CPUtime=0.68 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 2793 0 0 0 68 0 0 0 20 0 1 0 966198 12169216 2438 33554432000 4194304 6059633 140735158626656 140736616379096 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 2971 2438 189 456 0 2507 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11884

[startup+1.50022 s]
/proc/loadavg: 2.16 2.16 2.17 4/175 3246
/proc/meminfo: memFree=29096024/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=12088 CPUtime=1.48 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 3351 0 0 0 148 0 0 0 20 0 1 0 966198 12378112 2502 33554432000 4194304 6059633 140735158626656 140735158624696 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 3022 2502 190 456 0 2558 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12088

[startup+3.10026 s]
/proc/loadavg: 2.16 2.16 2.17 4/175 3246
/proc/meminfo: memFree=29093216/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=16516 CPUtime=3.08 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 4045 0 0 0 308 0 0 0 20 0 1 0 966198 16912384 3667 33554432000 4194304 6059633 140735158626656 140735158624840 4278402 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 4129 3667 191 456 0 3665 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16516

[startup+6.30024 s]
/proc/loadavg: 2.23 2.17 2.17 3/175 3246
/proc/meminfo: memFree=29055812/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=19220 CPUtime=6.28 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 4168 0 0 0 628 0 0 0 20 0 1 0 966198 19681280 4291 33554432000 4194304 6059633 140735158626656 140735158624840 4277721 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 4805 4291 191 456 0 4341 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19220

[startup+12.7003 s]
/proc/loadavg: 2.21 2.17 2.17 3/175 3246
/proc/meminfo: memFree=29051024/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=26296 CPUtime=12.69 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 4305 0 0 0 1268 1 0 0 20 0 1 0 966198 26927104 5956 33554432000 4194304 6059633 140735158626656 140735158624840 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 6574 5956 191 456 0 6110 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26296

[startup+25.5004 s]
/proc/loadavg: 2.16 2.16 2.17 4/175 3246
/proc/meminfo: memFree=29034024/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=29464 CPUtime=25.48 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 5604 0 0 0 2547 1 0 0 20 0 1 0 966198 30171136 6658 33554432000 4194304 6059633 140735158626656 140735158625416 4277737 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 7366 6658 192 456 0 6902 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29464

[startup+51.1004 s]
/proc/loadavg: 2.18 2.16 2.17 3/175 3246
/proc/meminfo: memFree=29067788/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=41272 CPUtime=51.08 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 6833 0 0 0 5106 2 0 0 20 0 1 0 966198 42262528 9463 33554432000 4194304 6059633 140735158626656 140735158625416 4277835 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 10318 9463 192 456 0 9854 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41272

[startup+102.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 3248
/proc/meminfo: memFree=28997188/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=59948 CPUtime=102.28 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 7779 0 0 0 10226 2 0 0 20 0 1 0 966198 61386752 13781 33554432000 4194304 6059633 140735158626656 140735158625416 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 14987 13781 193 456 0 14523 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 59948

[startup+162.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/175 3295
/proc/meminfo: memFree=29117316/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=59948 CPUtime=162.26 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 7794 0 0 0 16224 2 0 0 20 0 1 0 966198 61386752 14307 33554432000 4194304 6059633 140735158626656 140735158625416 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 14987 14307 193 456 0 14523 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 59948

[startup+222.307 s]
/proc/loadavg: 2.21 2.16 2.17 3/176 3299
/proc/meminfo: memFree=29081816/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=78804 CPUtime=222.26 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 8444 0 0 0 22223 3 0 0 20 0 1 0 966198 80695296 18982 33554432000 4194304 6059633 140735158626656 140735158625416 4277781 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 19701 18982 193 456 0 19237 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 78804

[startup+282.3 s]
/proc/loadavg: 2.25 2.18 2.17 3/176 3323
/proc/meminfo: memFree=29053804/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=282.24 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 8661 0 0 0 28221 3 0 0 20 0 1 0 966198 111902720 21752 33554432000 4194304 6059633 140735158626656 140735158625416 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 21752 193 456 0 26856 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 109280

[startup+342.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/175 3324
/proc/meminfo: memFree=29053560/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=342.23 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 8661 0 0 0 34220 3 0 0 20 0 1 0 966198 111902720 21752 33554432000 4194304 6059633 140735158626656 140735158625416 4278432 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 21752 193 456 0 26856 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 109280

[startup+402.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/175 3326
/proc/meminfo: memFree=29050404/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=402.23 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 8834 0 0 0 40219 4 0 0 20 0 1 0 966198 111902720 22264 33554432000 4194304 6059633 140735158626656 140735158625144 4277572 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22264 193 456 0 26856 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 109280

[startup+462.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/175 3327
/proc/meminfo: memFree=29043752/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=462.22 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 9194 0 0 0 46217 5 0 0 20 0 1 0 966198 111902720 22332 33554432000 4194304 6059633 140735158626656 140735158625144 4261499 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22332 193 456 0 26856 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 109280

[startup+522.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/175 3328
/proc/meminfo: memFree=29000504/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=522.21 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 9714 0 0 0 52214 7 0 0 20 0 1 0 966198 162406400 30680 33554432000 4194304 6059633 140735158626656 140735158624856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 30680 193 456 0 39186 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 158600

[startup+582.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/175 3329
/proc/meminfo: memFree=28998520/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=582.2 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 10067 0 0 0 58212 8 0 0 20 0 1 0 966198 162406400 30684 33554432000 4194304 6059633 140735158626656 140735158624856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 30684 193 456 0 39186 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 158600


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


[startup+942.3 s]
/proc/loadavg: 2.08 2.14 2.16 3/175 3339
/proc/meminfo: memFree=28966364/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=942.14 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 12437 0 0 0 94199 15 0 0 20 0 1 0 966198 162406400 33247 33554432000 4194304 6059633 140735158626656 140735158624856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 33247 193 456 0 39186 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 158600

[startup+1002.3 s]
/proc/loadavg: 2.27 2.18 2.17 3/175 3341
/proc/meminfo: memFree=29007352/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=1002.13 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 13639 0 0 0 100195 18 0 0 20 0 1 0 966198 111902720 22339 33554432000 4194304 6059633 140735158626656 140735158625144 4277910 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22339 193 456 0 26856 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 109280

[startup+1062.3 s]
/proc/loadavg: 2.26 2.19 2.18 3/175 3342
/proc/meminfo: memFree=28970520/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=1062.12 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 14583 0 0 0 106192 20 0 0 20 0 1 0 966198 162406400 32223 33554432000 4194304 6059633 140735158626656 140735158624856 4255375 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 32223 193 456 0 39186 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 158600

[startup+1122.3 s]
/proc/loadavg: 2.36 2.23 2.19 3/175 3343
/proc/meminfo: memFree=28920580/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1122.12 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 15952 0 0 0 112189 23 0 0 20 0 1 0 966198 193966080 35362 33554432000 4194304 6059633 140735158626656 140735158625112 4278414 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 35362 193 456 0 46891 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 189420

[startup+1182.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/175 3344
/proc/meminfo: memFree=29007312/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=1182.1 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 16719 0 0 0 118185 25 0 0 20 0 1 0 966198 111902720 22339 33554432000 4194304 6059633 140735158626656 140735158625144 4277774 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22339 193 456 0 26856 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 109280

[startup+1242.3 s]
/proc/loadavg: 2.09 2.17 2.17 3/175 3345
/proc/meminfo: memFree=28976724/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=1242.09 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 17663 0 0 0 124182 27 0 0 20 0 1 0 966198 162406400 30687 33554432000 4194304 6059633 140735158626656 140735158624856 4246280 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 30687 193 456 0 39186 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 158600

[startup+1302.3 s]
/proc/loadavg: 2.07 2.15 2.16 3/175 3347
/proc/meminfo: memFree=28936108/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=1302.09 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 18436 0 0 0 130180 29 0 0 20 0 1 0 966198 162406400 31711 33554432000 4194304 6059633 140735158626656 140735158624856 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 31711 193 456 0 39186 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 158600

[startup+1362.3 s]
/proc/loadavg: 2.13 2.15 2.16 3/175 3348
/proc/meminfo: memFree=28917808/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=158600 CPUtime=1362.08 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 19209 0 0 0 136177 31 0 0 20 0 1 0 966198 162406400 34271 33554432000 4194304 6059633 140735158626656 140735158624856 4255416 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 39650 34271 193 456 0 39186 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 158600

[startup+1422.3 s]
/proc/loadavg: 2.17 2.15 2.16 4/176 3352
/proc/meminfo: memFree=28909288/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1422.07 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 20582 0 0 0 142174 33 0 0 20 0 1 0 966198 193966080 36386 33554432000 4194304 6059633 140735158626656 140735158625112 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 36386 193 456 0 46891 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 189420

[startup+1482.3 s]
/proc/loadavg: 2.11 2.14 2.16 3/175 3353
/proc/meminfo: memFree=28953140/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1482.06 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 21354 0 0 0 148171 35 0 0 20 0 1 0 966198 193966080 36389 33554432000 4194304 6059633 140735158626656 140735158625112 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 36389 193 456 0 46891 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 189420

[startup+1542.31 s]
/proc/loadavg: 2.38 2.20 2.18 3/175 3354
/proc/meminfo: memFree=28948568/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1542.06 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 22130 0 0 0 154169 37 0 0 20 0 1 0 966198 193966080 36901 33554432000 4194304 6059633 140735158626656 140735158625112 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 36901 193 456 0 46891 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 189420

[startup+1602.3 s]
/proc/loadavg: 2.23 2.19 2.17 3/174 3355
/proc/meminfo: memFree=28948408/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1602.04 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 22903 0 0 0 160166 38 0 0 20 0 1 0 966198 193966080 37413 33554432000 4194304 6059633 140735158626656 140735158625112 4278457 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 37413 193 456 0 46891 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 189420

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/175 3357
/proc/meminfo: memFree=28942528/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1662.03 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 23680 0 0 0 166163 40 0 0 20 0 1 0 966198 193966080 38437 33554432000 4194304 6059633 140735158626656 140735158625112 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 38437 193 456 0 46891 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 189420

[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/175 3358
/proc/meminfo: memFree=28940252/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1722.03 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 24452 0 0 0 172161 42 0 0 20 0 1 0 966198 193966080 38949 33554432000 4194304 6059633 140735158626656 140735158625112 4255388 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 38949 193 456 0 46891 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 189420

[startup+1782.3 s]
/proc/loadavg: 2.19 2.17 2.17 4/175 3359
/proc/meminfo: memFree=28914444/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=189420 CPUtime=1782.02 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 25227 0 0 0 178158 44 0 0 20 0 1 0 966198 193966080 37413 33554432000 4194304 6059633 140735158626656 140735158625112 4255352 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 47355 37413 193 456 0 46891 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 189420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/175 3359
/proc/meminfo: memFree=28964668/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=1800.01 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 25230 0 0 0 179957 44 0 0 20 0 1 0 966198 111902720 22342 33554432000 4194304 6059633 140735158626656 140735158625144 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22342 193 456 0 26856 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109280

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.17 2.17 3/175 3359
/proc/meminfo: memFree=28964668/32872528 swapFree=1297548/1461068
[pid=3245] ppid=3242 vsize=109280 CPUtime=1800.01 cores=0,2,4,6
/proc/3245/stat : 3245 (open-wbo) R 3242 3245 1964 0 -1 4202496 25230 0 0 0 179957 44 0 0 20 0 1 0 966198 111902720 22342 33554432000 4194304 6059633 140735158626656 140735158625144 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/3245/statm: 27320 22342 193 456 0 26856 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 109280

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.57
CPU system time (s): 0.447931
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 189420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.447931
maximum resident set size= 159892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25233
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= 13
involuntary context switches= 1855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16737 second user time and 5.65814 second system time

The end