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

pid=4220
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.30 2.26 2.22 3/174 4223
/proc/meminfo: memFree=29095892/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=2976 CPUtime=0 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 2046635 3047424 358 33554432000 4194304 6059633 140736053008880 140733532050440 4210656 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 744 358 195 456 0 219 0

[startup+0.100167 s]
/proc/loadavg: 2.30 2.26 2.22 3/174 4223
/proc/meminfo: memFree=29095892/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=16988 CPUtime=0.09 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 2979 0 0 0 9 0 0 0 20 0 1 0 2046635 17395712 3275 33554432000 4194304 6059633 140736053008880 140733532050440 4277847 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4247 3275 174 456 0 3783 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16988

[startup+0.200353 s]
/proc/loadavg: 2.30 2.26 2.22 3/174 4223
/proc/meminfo: memFree=29095892/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=17120 CPUtime=0.19 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 3027 0 0 0 19 0 0 0 20 0 1 0 2046635 17530880 3323 33554432000 4194304 6059633 140736053008880 140733532050440 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4280 3323 174 456 0 3816 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17120

[startup+0.300301 s]
/proc/loadavg: 2.30 2.26 2.22 3/174 4223
/proc/meminfo: memFree=29095892/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=17120 CPUtime=0.29 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 3053 0 0 0 29 0 0 0 20 0 1 0 2046635 17530880 3349 33554432000 4194304 6059633 140736053008880 140733532050440 4254552 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4280 3349 183 456 0 3816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17120

[startup+0.70029 s]
/proc/loadavg: 2.30 2.26 2.22 3/174 4223
/proc/meminfo: memFree=29095892/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=17920 CPUtime=0.69 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 3119 0 0 0 69 0 0 0 20 0 1 0 2046635 18350080 3415 33554432000 4194304 6059633 140736053008880 140736053007640 4277790 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4480 3415 185 456 0 4016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17920

[startup+1.50027 s]
/proc/loadavg: 2.30 2.26 2.22 3/175 4224
/proc/meminfo: memFree=29082660/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=18068 CPUtime=1.49 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 3197 0 0 0 149 0 0 0 20 0 1 0 2046635 18501632 3493 33554432000 4194304 6059633 140736053008880 140736053007032 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4517 3493 185 456 0 4053 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18068

[startup+3.10028 s]
/proc/loadavg: 2.30 2.26 2.22 3/175 4224
/proc/meminfo: memFree=29082600/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=16656 CPUtime=3.09 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 3761 0 0 0 309 0 0 0 20 0 1 0 2046635 17055744 3364 33554432000 4194304 6059633 140736053008880 140736053007640 4277804 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4164 3364 186 456 0 3700 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16656

[startup+6.30028 s]
/proc/loadavg: 2.27 2.25 2.21 3/175 4224
/proc/meminfo: memFree=29079868/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=18568 CPUtime=6.29 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 4512 0 0 0 629 0 0 0 20 0 1 0 2046635 19013632 4057 33554432000 4194304 6059633 140736053008880 140736053007640 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 4642 4057 186 456 0 4178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18568

[startup+12.7003 s]
/proc/loadavg: 2.25 2.25 2.21 3/175 4224
/proc/meminfo: memFree=29073896/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=25596 CPUtime=12.69 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 5676 0 0 0 1268 1 0 0 20 0 1 0 2046635 26210304 5629 33554432000 4194304 6059633 140736053008880 140736053007640 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 6399 5629 186 456 0 5935 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25596

[startup+25.5004 s]
/proc/loadavg: 2.28 2.25 2.21 3/175 4224
/proc/meminfo: memFree=29072292/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=27516 CPUtime=25.49 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 6074 0 0 0 2548 1 0 0 20 0 1 0 2046635 28176384 5985 33554432000 4194304 6059633 140736053008880 140736053007640 4277710 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 6879 5985 193 456 0 6415 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27516

[startup+51.1004 s]
/proc/loadavg: 2.18 2.23 2.21 3/175 4224
/proc/meminfo: memFree=29062928/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=39700 CPUtime=51.08 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 6948 0 0 0 5107 1 0 0 20 0 1 0 2046635 40652800 8355 33554432000 4194304 6059633 140736053008880 140736053007640 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 9925 8355 194 456 0 9461 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39700

[startup+102.3 s]
/proc/loadavg: 2.12 2.21 2.20 3/175 4225
/proc/meminfo: memFree=29052716/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=47000 CPUtime=102.28 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 7492 0 0 0 10226 2 0 0 20 0 1 0 2046635 48128000 10910 33554432000 4194304 6059633 140736053008880 140736053007640 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 11750 10910 195 456 0 11286 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47000

[startup+162.3 s]
/proc/loadavg: 2.21 2.21 2.20 3/175 4226
/proc/meminfo: memFree=29042784/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=59360 CPUtime=162.27 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 8618 0 0 0 16224 3 0 0 20 0 1 0 2046635 60784640 13244 33554432000 4194304 6059633 140736053008880 140736053007640 4262315 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 14840 13244 195 456 0 14376 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 59360

[startup+222.307 s]
/proc/loadavg: 2.27 2.22 2.19 3/176 4275
/proc/meminfo: memFree=29095796/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=59360 CPUtime=222.26 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 8977 0 0 0 22223 3 0 0 20 0 1 0 2046635 60784640 14106 33554432000 4194304 6059633 140736053008880 140736053007640 4277835 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 14840 14106 195 456 0 14376 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 59360

[startup+282.3 s]
/proc/loadavg: 2.29 2.22 2.19 3/176 4300
/proc/meminfo: memFree=29079844/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=59864 CPUtime=282.25 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 9228 0 0 0 28222 3 0 0 20 0 1 0 2046635 61300736 14355 33554432000 4194304 6059633 140736053008880 140736053007640 4255350 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 14966 14355 196 456 0 14502 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 59864

[startup+342.3 s]
/proc/loadavg: 2.31 2.24 2.20 3/175 4301
/proc/meminfo: memFree=29063356/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=79584 CPUtime=342.24 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10063 0 0 0 34220 4 0 0 20 0 1 0 2046635 81494016 16503 33554432000 4194304 6059633 140736053008880 140736053007368 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 19896 16503 196 456 0 19432 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 79584

[startup+402.3 s]
/proc/loadavg: 2.35 2.27 2.21 3/175 4302
/proc/meminfo: memFree=29061180/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=402.23 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10071 0 0 0 40219 4 0 0 20 0 1 0 2046635 100802560 17022 33554432000 4194304 6059633 140736053008880 140736053007032 4277855 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 17022 196 456 0 24146 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 98440

[startup+462.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/175 4303
/proc/meminfo: memFree=29052944/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=462.22 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10075 0 0 0 46218 4 0 0 20 0 1 0 2046635 100802560 17537 33554432000 4194304 6059633 140736053008880 140736053007640 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 17537 196 456 0 24146 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 98440

[startup+522.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/175 4304
/proc/meminfo: memFree=29044248/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=522.21 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10075 0 0 0 52217 4 0 0 20 0 1 0 2046635 100802560 17537 33554432000 4194304 6059633 140736053008880 140736053007640 4277570 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 17537 196 456 0 24146 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 98440

[startup+582.3 s]
/proc/loadavg: 2.30 2.26 2.20 3/174 4305
/proc/meminfo: memFree=29042088/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=582.2 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10078 0 0 0 58216 4 0 0 20 0 1 0 2046635 100802560 17540 33554432000 4194304 6059633 140736053008880 140736053007640 4261768 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 17540 196 456 0 24146 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 98440


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


[startup+942.3 s]
/proc/loadavg: 2.17 2.23 2.19 3/175 4316
/proc/meminfo: memFree=28992504/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=942.14 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10446 0 0 0 94209 5 0 0 20 0 1 0 2046635 100802560 19597 33554432000 4194304 6059633 140736053008880 140736053007368 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 19597 196 456 0 24146 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 98440

[startup+1002.3 s]
/proc/loadavg: 2.18 2.23 2.19 3/175 4317
/proc/meminfo: memFree=29025148/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=98440 CPUtime=1002.13 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 10798 0 0 0 100208 5 0 0 20 0 1 0 2046635 100802560 19600 33554432000 4194304 6059633 140736053008880 140736053007368 4278369 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 24610 19600 196 456 0 24146 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 98440

[startup+1062.3 s]
/proc/loadavg: 2.27 2.24 2.20 3/175 4318
/proc/meminfo: memFree=29025028/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1062.13 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 11269 0 0 0 106207 6 0 0 20 0 1 0 2046635 103862272 19722 33554432000 4194304 6059633 140736053008880 140736053007640 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 19722 196 456 0 24893 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 101428

[startup+1122.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/175 4319
/proc/meminfo: memFree=28977796/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1122.11 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 11334 0 0 0 112205 6 0 0 20 0 1 0 2046635 103862272 23364 33554432000 4194304 6059633 140736053008880 140736053007640 4278354 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 23364 196 456 0 24893 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 101428

[startup+1182.3 s]
/proc/loadavg: 2.28 2.26 2.20 4/175 4320
/proc/meminfo: memFree=29006896/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1182.11 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 11701 0 0 0 118205 6 0 0 20 0 1 0 2046635 103862272 24235 33554432000 4194304 6059633 140736053008880 140736053007640 4277874 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24235 196 456 0 24893 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 101428

[startup+1242.3 s]
/proc/loadavg: 2.48 2.31 2.22 3/175 4322
/proc/meminfo: memFree=29006272/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1242.09 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 11958 0 0 0 124203 6 0 0 20 0 1 0 2046635 103862272 24238 33554432000 4194304 6059633 140736053008880 140736053007640 4278425 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24238 196 456 0 24893 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 101428

[startup+1302.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/175 4323
/proc/meminfo: memFree=29006028/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1302.09 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 12218 0 0 0 130202 7 0 0 20 0 1 0 2046635 103862272 24242 33554432000 4194304 6059633 140736053008880 140736053007368 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24242 196 456 0 24893 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 101428

[startup+1362.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/175 4324
/proc/meminfo: memFree=28974564/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1362.07 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 12475 0 0 0 136200 7 0 0 20 0 1 0 2046635 154365952 32164 33554432000 4194304 6059633 140736053008880 140736053007080 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 32164 196 456 0 37223 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 150748

[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.21 4/176 4328
/proc/meminfo: memFree=29005820/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1422.07 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 12489 0 0 0 142200 7 0 0 20 0 1 0 2046635 103862272 24256 33554432000 4194304 6059633 140736053008880 140736053007640 4255297 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24256 196 456 0 24893 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 101428

[startup+1482.3 s]
/proc/loadavg: 2.32 2.28 2.21 3/175 4329
/proc/meminfo: memFree=28970136/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1482.06 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 12745 0 0 0 148198 8 0 0 20 0 1 0 2046635 154365952 33199 33554432000 4194304 6059633 140736053008880 140736053007080 4246291 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 33199 196 456 0 37223 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 150748

[startup+1542.31 s]
/proc/loadavg: 2.24 2.27 2.21 3/175 4331
/proc/meminfo: memFree=29005564/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1542.06 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 12748 0 0 0 154198 8 0 0 20 0 1 0 2046635 103862272 24256 33554432000 4194304 6059633 140736053008880 140736053007640 4277507 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24256 196 456 0 24893 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 101428

[startup+1602.3 s]
/proc/loadavg: 2.26 2.26 2.21 4/175 4332
/proc/meminfo: memFree=28966028/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1602.04 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13006 0 0 0 160195 9 0 0 20 0 1 0 2046635 154365952 34223 33554432000 4194304 6059633 140736053008880 140736053007080 4277549 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 34223 196 456 0 37223 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 150748

[startup+1662.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/175 4333
/proc/meminfo: memFree=29005316/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1662.04 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13007 0 0 0 166195 9 0 0 20 0 1 0 2046635 103862272 24256 33554432000 4194304 6059633 140736053008880 140736053007368 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24256 196 456 0 24893 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 101428

[startup+1722.3 s]
/proc/loadavg: 2.13 2.21 2.19 3/175 4334
/proc/meminfo: memFree=28963992/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1722.02 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13269 0 0 0 172193 9 0 0 20 0 1 0 2046635 154365952 34738 33554432000 4194304 6059633 140736053008880 140736053007640 4277864 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 34738 196 456 0 37223 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 150748

[startup+1782.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/175 4335
/proc/meminfo: memFree=29004168/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=101428 CPUtime=1782.01 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13270 0 0 0 178192 9 0 0 20 0 1 0 2046635 103862272 24453 33554432000 4194304 6059633 140736053008880 140736053007368 4278432 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 25357 24453 196 456 0 24893 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 101428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.36 2.26 2.20 3/175 4336
/proc/meminfo: memFree=28938244/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1800.01 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13526 0 0 0 179991 10 0 0 20 0 1 0 2046635 154365952 33396 33554432000 4194304 6059633 140736053008880 140736053007080 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 33396 196 456 0 37223 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 150748

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

[startup+1800.3 s]
/proc/loadavg: 2.36 2.26 2.20 3/175 4336
/proc/meminfo: memFree=28938244/32872528 swapFree=1297548/1461068
[pid=4223] ppid=4220 vsize=150748 CPUtime=1800.01 cores=0,2,4,6
/proc/4223/stat : 4223 (open-wbo) R 4220 4223 1964 0 -1 4202496 13526 0 0 0 179991 10 0 0 20 0 1 0 2046635 154365952 33396 33554432000 4194304 6059633 140736053008880 140736053007080 4255169 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/4223/statm: 37687 33396 196 456 0 37223 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 150748

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.92
CPU system time (s): 0.106983
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 150748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.106983
maximum resident set size= 138952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13529
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= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97824 second user time and 5.8931 second system time

The end