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

pid=3836
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.27 2.31 2.27 3/174 3839
/proc/meminfo: memFree=29144784/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=2588 CPUtime=0 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 1523133 2650112 267 33554432000 4194304 6059633 140733214946224 140735116205640 5131227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 647 267 164 456 0 153 0

[startup+0.100165 s]
/proc/loadavg: 2.27 2.31 2.27 3/174 3839
/proc/meminfo: memFree=29144784/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=12836 CPUtime=0.09 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 1867 0 0 0 9 0 0 0 20 0 1 0 1523133 13144064 1691 33554432000 4194304 6059633 140733214946224 140735116205640 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 3209 1691 174 456 0 2745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12836

[startup+0.200345 s]
/proc/loadavg: 2.27 2.31 2.27 3/174 3839
/proc/meminfo: memFree=29144784/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=12836 CPUtime=0.19 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 1917 0 0 0 19 0 0 0 20 0 1 0 1523133 13144064 1740 33554432000 4194304 6059633 140733214946224 140735116205640 4254384 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 3209 1740 183 456 0 2745 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12836

[startup+0.300268 s]
/proc/loadavg: 2.27 2.31 2.27 3/174 3839
/proc/meminfo: memFree=29144784/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=12968 CPUtime=0.29 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 1961 0 0 0 29 0 0 0 20 0 1 0 1523133 13279232 1782 33554432000 4194304 6059633 140733214946224 140735116205640 4254430 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 3242 1782 183 456 0 2778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12968

[startup+0.700215 s]
/proc/loadavg: 2.27 2.31 2.27 3/174 3839
/proc/meminfo: memFree=29144784/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=10024 CPUtime=0.69 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 2403 0 0 0 69 0 0 0 20 0 1 0 1523133 10264576 1975 33554432000 4194304 6059633 140733214946224 140733214944984 4255180 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 2506 1975 185 456 0 2042 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10024

[startup+1.50026 s]
/proc/loadavg: 2.27 2.31 2.27 3/175 3840
/proc/meminfo: memFree=29136576/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=12724 CPUtime=1.49 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 3361 0 0 0 149 0 0 0 20 0 1 0 1523133 13029376 2590 33554432000 4194304 6059633 140733214946224 140733214944984 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 3181 2590 188 456 0 2717 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12724

[startup+3.10025 s]
/proc/loadavg: 2.25 2.30 2.27 3/175 3840
/proc/meminfo: memFree=29134096/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=15420 CPUtime=3.09 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 3983 0 0 0 309 0 0 0 20 0 1 0 1523133 15790080 3200 33554432000 4194304 6059633 140733214946224 140733214944984 4261525 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 3855 3200 194 456 0 3391 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15420

[startup+6.30021 s]
/proc/loadavg: 2.25 2.30 2.27 3/174 3840
/proc/meminfo: memFree=29129948/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=18468 CPUtime=6.29 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 4659 0 0 0 629 0 0 0 20 0 1 0 1523133 18911232 3815 33554432000 4194304 6059633 140733214946224 140733214944408 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 4617 3815 194 456 0 4153 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18468

[startup+12.7003 s]
/proc/loadavg: 2.21 2.29 2.27 4/175 3841
/proc/meminfo: memFree=29125844/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=21172 CPUtime=12.69 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 5503 0 0 0 1269 0 0 0 20 0 1 0 1523133 21680128 4588 33554432000 4194304 6059633 140733214946224 140733214944984 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 5293 4588 194 456 0 4829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21172

[startup+25.5004 s]
/proc/loadavg: 2.25 2.30 2.27 4/175 3841
/proc/meminfo: memFree=29121292/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=26564 CPUtime=25.49 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 6247 0 0 0 2548 1 0 0 20 0 1 0 1523133 27201536 5815 33554432000 4194304 6059633 140733214946224 140733214944984 4277868 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 6641 5815 196 456 0 6177 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26564

[startup+51.1004 s]
/proc/loadavg: 2.30 2.30 2.27 3/176 3844
/proc/meminfo: memFree=29105048/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=31240 CPUtime=51.08 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 7063 0 0 0 5107 1 0 0 20 0 1 0 1523133 31989760 7107 33554432000 4194304 6059633 140733214946224 140733214944984 4277778 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 7810 7107 200 456 0 7346 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31240

[startup+102.3 s]
/proc/loadavg: 2.24 2.28 2.27 3/175 3845
/proc/meminfo: memFree=29074752/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=44908 CPUtime=102.28 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 8229 0 0 0 10226 2 0 0 20 0 1 0 1523133 45985792 10176 33554432000 4194304 6059633 140733214946224 140733214944984 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 11227 10176 200 456 0 10763 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 44908

[startup+162.3 s]
/proc/loadavg: 2.36 2.31 2.27 4/175 3846
/proc/meminfo: memFree=29099268/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=45068 CPUtime=162.26 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 8275 0 0 0 16224 2 0 0 20 0 1 0 1523133 46149632 10222 33554432000 4194304 6059633 140733214946224 140733214944984 4261803 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 11267 10222 200 456 0 10803 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45068

[startup+222.307 s]
/proc/loadavg: 2.33 2.31 2.27 3/175 3847
/proc/meminfo: memFree=29070100/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=52140 CPUtime=222.26 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 9647 0 0 0 22223 3 0 0 20 0 1 0 1523133 53391360 12306 33554432000 4194304 6059633 140733214946224 140733214944984 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 13035 12306 200 456 0 12571 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 52140

[startup+282.3 s]
/proc/loadavg: 2.35 2.31 2.27 3/175 3848
/proc/meminfo: memFree=29062836/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=59324 CPUtime=282.24 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10038 0 0 0 28221 3 0 0 20 0 1 0 1523133 60747776 14220 33554432000 4194304 6059633 140733214946224 140733214944984 4295724 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 14831 14220 200 456 0 14367 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 59324

[startup+342.3 s]
/proc/loadavg: 2.35 2.31 2.27 4/175 3850
/proc/meminfo: memFree=29060424/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=75236 CPUtime=342.23 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10095 0 0 0 34220 3 0 0 20 0 1 0 1523133 77041664 14788 33554432000 4194304 6059633 140733214946224 140733214944984 4277990 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 18809 14788 200 456 0 18345 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 75236

[startup+402.3 s]
/proc/loadavg: 2.28 2.29 2.27 3/175 3851
/proc/meminfo: memFree=29048572/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=75668 CPUtime=402.22 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10514 0 0 0 40218 4 0 0 20 0 1 0 1523133 77484032 17234 33554432000 4194304 6059633 140733214946224 140733214944984 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 18917 17234 200 456 0 18453 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 75668

[startup+462.3 s]
/proc/loadavg: 2.30 2.29 2.27 3/175 3852
/proc/meminfo: memFree=29030024/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=75668 CPUtime=462.21 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10646 0 0 0 46217 4 0 0 20 0 1 0 1523133 77484032 17758 33554432000 4194304 6059633 140733214946224 140733214944984 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 18917 17758 200 456 0 18453 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 75668

[startup+522.3 s]
/proc/loadavg: 2.36 2.30 2.27 4/175 3853
/proc/meminfo: memFree=29024008/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=522.2 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10655 0 0 0 52216 4 0 0 20 0 1 0 1523133 104476672 19300 33554432000 4194304 6059633 140733214946224 140733214944984 4261657 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 19300 200 456 0 25043 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 102028

[startup+582.3 s]
/proc/loadavg: 2.37 2.31 2.28 3/175 3854
/proc/meminfo: memFree=29022644/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=582.19 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 10655 0 0 0 58215 4 0 0 20 0 1 0 1523133 104476672 19300 33554432000 4194304 6059633 140733214946224 140733214944984 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 19300 200 456 0 25043 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 102028


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.29 2.27 3/175 3865
/proc/meminfo: memFree=29020608/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=942.14 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11020 0 0 0 94209 5 0 0 20 0 1 0 1523133 104476672 19653 33554432000 4194304 6059633 140733214946224 140733214944984 4255732 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 19653 200 456 0 25043 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 102028

[startup+1002.3 s]
/proc/loadavg: 2.20 2.26 2.26 4/175 3866
/proc/meminfo: memFree=28971148/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1002.13 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11206 0 0 0 100208 5 0 0 20 0 1 0 1523133 104476672 23414 33554432000 4194304 6059633 140733214946224 140733214944984 4278168 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 23414 200 456 0 25043 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 102028

[startup+1062.3 s]
/proc/loadavg: 2.16 2.24 2.26 4/175 3867
/proc/meminfo: memFree=28962872/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1062.12 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11213 0 0 0 106207 5 0 0 20 0 1 0 1523133 104476672 24438 33554432000 4194304 6059633 140733214946224 140733214944984 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24438 200 456 0 25043 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 102028

[startup+1122.3 s]
/proc/loadavg: 2.19 2.24 2.26 3/175 3868
/proc/meminfo: memFree=28998368/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1122.11 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11223 0 0 0 112206 5 0 0 20 0 1 0 1523133 104476672 24958 33554432000 4194304 6059633 140733214946224 140733214944984 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24958 200 456 0 25043 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 102028

[startup+1182.3 s]
/proc/loadavg: 2.16 2.22 2.25 3/175 3869
/proc/meminfo: memFree=28998488/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1182.1 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11223 0 0 0 118205 5 0 0 20 0 1 0 1523133 104476672 24958 33554432000 4194304 6059633 140733214946224 140733214944984 4277560 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24958 200 456 0 25043 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 102028

[startup+1242.3 s]
/proc/loadavg: 2.33 2.27 2.26 4/176 3874
/proc/meminfo: memFree=28997916/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1242.09 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11223 0 0 0 124204 5 0 0 20 0 1 0 1523133 104476672 24958 33554432000 4194304 6059633 140733214946224 140733214944984 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24958 200 456 0 25043 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 102028

[startup+1302.3 s]
/proc/loadavg: 2.22 2.25 2.26 3/175 3875
/proc/meminfo: memFree=28997876/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1302.09 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11227 0 0 0 130204 5 0 0 20 0 1 0 1523133 104476672 24962 33554432000 4194304 6059633 140733214946224 140733214944984 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24962 200 456 0 25043 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 102028

[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.25 3/175 3876
/proc/meminfo: memFree=28997996/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1362.08 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11227 0 0 0 136203 5 0 0 20 0 1 0 1523133 104476672 24962 33554432000 4194304 6059633 140733214946224 140733214944984 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24962 200 456 0 25043 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 102028

[startup+1422.3 s]
/proc/loadavg: 2.32 2.26 2.26 4/175 3877
/proc/meminfo: memFree=28998240/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1422.07 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11230 0 0 0 142202 5 0 0 20 0 1 0 1523133 104476672 24965 33554432000 4194304 6059633 140733214946224 140733214944984 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 24965 200 456 0 25043 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 102028

[startup+1482.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/175 3878
/proc/meminfo: memFree=28997244/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1482.05 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11564 0 0 0 148200 5 0 0 20 0 1 0 1523133 104476672 25041 33554432000 4194304 6059633 140733214946224 140733214944984 4261552 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 25041 200 456 0 25043 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 102028

[startup+1542.31 s]
/proc/loadavg: 2.28 2.27 2.27 3/174 3879
/proc/meminfo: memFree=28959648/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102028 CPUtime=1542.05 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11591 0 0 0 154200 5 0 0 20 0 1 0 1523133 104476672 25068 33554432000 4194304 6059633 140733214946224 140733214944984 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25507 25068 200 456 0 25043 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 102028

[startup+1602.3 s]
/proc/loadavg: 2.23 2.26 2.26 4/175 3881
/proc/meminfo: memFree=28959644/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1602.03 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11610 0 0 0 160198 5 0 0 20 0 1 0 1523133 104722432 25087 33554432000 4194304 6059633 140733214946224 140733214944984 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25087 200 456 0 25103 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 102268

[startup+1662.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/175 3928
/proc/meminfo: memFree=29059432/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1662.03 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11618 0 0 0 166198 5 0 0 20 0 1 0 1523133 104722432 25095 33554432000 4194304 6059633 140733214946224 140733214944984 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25095 200 456 0 25103 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 102268

[startup+1722.3 s]
/proc/loadavg: 2.17 2.22 2.25 3/175 3929
/proc/meminfo: memFree=29047836/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1722.02 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11625 0 0 0 172197 5 0 0 20 0 1 0 1523133 104722432 25102 33554432000 4194304 6059633 140733214946224 140733214944984 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25102 200 456 0 25103 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 102268

[startup+1782.3 s]
/proc/loadavg: 2.18 2.22 2.25 3/175 3930
/proc/meminfo: memFree=29037532/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1782.01 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11630 0 0 0 178196 5 0 0 20 0 1 0 1523133 104722432 25107 33554432000 4194304 6059633 140733214946224 140733214944984 4277524 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25107 200 456 0 25103 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 102268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.34 2.26 2.26 3/175 3930
/proc/meminfo: memFree=29037656/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1800 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11630 0 0 0 179995 5 0 0 20 0 1 0 1523133 104722432 25107 33554432000 4194304 6059633 140733214946224 140733214944984 4255738 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25107 200 456 0 25103 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 102268

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

[startup+1800.3 s]
/proc/loadavg: 2.34 2.26 2.26 3/175 3930
/proc/meminfo: memFree=29037656/32872528 swapFree=1297548/1461068
[pid=3839] ppid=3836 vsize=102268 CPUtime=1800 cores=1,3,5,7
/proc/3839/stat : 3839 (open-wbo) R 3836 3839 1964 0 -1 4202496 11630 0 0 0 179995 5 0 0 20 0 1 0 1523133 104722432 25107 33554432000 4194304 6059633 140733214946224 140733214944984 4255738 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3839/statm: 25567 25107 200 456 0 25103 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 102268

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.058991
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 151348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.058991
maximum resident set size= 131756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11633
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= 16
involuntary context switches= 1981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96024 second user time and 6.78197 second system time

The end