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-4102030-1466241384/watcher-4102030-1466241384 -o /tmp/evaluation-result-4102030-1466241384/solver-4102030-1466241384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466241383-19988 --watchdog 1960 open-wbo HOME/instance-4102030-1466241384.opb 

pid=20106
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: 1.11 1.64 1.99 3/176 20109
/proc/meminfo: memFree=30329436/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=2576 CPUtime=0 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 26187155 2637824 272 33554432000 4194304 6059633 140734286124624 140734499371688 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 644 272 161 456 0 153 0

[startup+0.100169 s]
/proc/loadavg: 1.11 1.64 1.99 3/176 20109
/proc/meminfo: memFree=30329436/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=13728 CPUtime=0.09 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 2262 0 0 0 9 0 0 0 20 0 1 0 26187155 14057472 2583 33554432000 4194304 6059633 140734286124624 140734499371688 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 3432 2583 179 456 0 2968 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13728

[startup+0.200347 s]
/proc/loadavg: 1.11 1.64 1.99 3/176 20109
/proc/meminfo: memFree=30329436/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=13860 CPUtime=0.19 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 2292 0 0 0 19 0 0 0 20 0 1 0 26187155 14192640 2613 33554432000 4194304 6059633 140734286124624 140734286122776 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 3465 2613 179 456 0 3001 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13860

[startup+0.300279 s]
/proc/loadavg: 1.11 1.64 1.99 3/176 20109
/proc/meminfo: memFree=30329436/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=13992 CPUtime=0.29 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 2319 0 0 0 29 0 0 0 20 0 1 0 26187155 14327808 2640 33554432000 4194304 6059633 140734286124624 140734286122776 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 3498 2640 179 456 0 3034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13992

[startup+0.700248 s]
/proc/loadavg: 1.11 1.64 1.99 3/176 20109
/proc/meminfo: memFree=30329436/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=12580 CPUtime=0.69 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 2999 0 0 0 69 0 0 0 20 0 1 0 26187155 12881920 2552 33554432000 4194304 6059633 140734286124624 140734286122776 4254564 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 3145 2552 181 456 0 2681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12580

[startup+1.50025 s]
/proc/loadavg: 1.18 1.65 1.99 3/177 20110
/proc/meminfo: memFree=30106480/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=14628 CPUtime=1.49 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 3789 0 0 0 149 0 0 0 20 0 1 0 26187155 14979072 3095 33554432000 4194304 6059633 140734286124624 140734286122776 4280227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 3657 3095 183 456 0 3193 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14628

[startup+3.10032 s]
/proc/loadavg: 1.18 1.65 1.99 4/177 20110
/proc/meminfo: memFree=29895672/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=18984 CPUtime=3.09 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 4363 0 0 0 309 0 0 0 20 0 1 0 26187155 19439616 4173 33554432000 4194304 6059633 140734286124624 140734286122776 4255258 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 4746 4173 183 456 0 4282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18984

[startup+6.30028 s]
/proc/loadavg: 1.18 1.65 1.99 4/177 20110
/proc/meminfo: memFree=29656276/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=27140 CPUtime=6.29 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 4946 0 0 0 629 0 0 0 20 0 1 0 26187155 27791360 5640 33554432000 4194304 6059633 140734286124624 140734286122776 4277514 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 6785 5640 183 456 0 6321 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27140

[startup+12.7003 s]
/proc/loadavg: 1.38 1.67 2.00 3/177 20110
/proc/meminfo: memFree=29650396/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=29888 CPUtime=12.69 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 5675 0 0 0 1269 0 0 0 20 0 1 0 26187155 30605312 6822 33554432000 4194304 6059633 140734286124624 140734286122808 4255216 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 7472 6822 183 456 0 7008 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29888

[startup+25.5004 s]
/proc/loadavg: 1.55 1.70 2.00 3/177 20110
/proc/meminfo: memFree=29643432/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=67424 CPUtime=25.49 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 8393 0 0 0 2547 2 0 0 20 0 1 0 26187155 69042176 13701 33554432000 4194304 6059633 140734286124624 140734286123384 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 16856 13701 183 456 0 16392 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67424

[startup+51.1004 s]
/proc/loadavg: 1.78 1.74 2.00 4/177 20110
/proc/meminfo: memFree=29610484/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=86064 CPUtime=51.08 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 9767 0 0 0 5106 2 0 0 20 0 1 0 26187155 88129536 16278 33554432000 4194304 6059633 140734286124624 140734286123384 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 21516 16278 191 456 0 21052 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86064

[startup+102.3 s]
/proc/loadavg: 2.13 1.84 2.02 4/177 20111
/proc/meminfo: memFree=29591060/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=86064 CPUtime=102.29 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 9843 0 0 0 10226 3 0 0 20 0 1 0 26187155 88129536 20442 33554432000 4194304 6059633 140734286124624 140734286123384 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 21516 20442 191 456 0 21052 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 86064

[startup+162.3 s]
/proc/loadavg: 2.17 1.90 2.03 3/177 20113
/proc/meminfo: memFree=29582688/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=88056 CPUtime=162.26 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 10581 0 0 0 16222 4 0 0 20 0 1 0 26187155 90169344 21114 33554432000 4194304 6059633 140734286124624 140734286123112 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 22014 21114 192 456 0 21550 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88056

[startup+222.308 s]
/proc/loadavg: 2.10 1.93 2.03 3/178 20117
/proc/meminfo: memFree=29541232/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=137376 CPUtime=222.26 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 11164 0 0 0 22220 6 0 0 20 0 1 0 26187155 140673024 30506 33554432000 4194304 6059633 140734286124624 140734286122824 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 34344 30506 192 456 0 33880 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 137376

[startup+282.3 s]
/proc/loadavg: 2.25 2.00 2.04 3/177 20118
/proc/meminfo: memFree=29533476/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=137376 CPUtime=282.25 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 11562 0 0 0 28217 8 0 0 20 0 1 0 26187155 140673024 32042 33554432000 4194304 6059633 140734286124624 140734286122824 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 34344 32042 192 456 0 33880 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 137376

[startup+342.3 s]
/proc/loadavg: 2.25 2.05 2.05 3/177 20119
/proc/meminfo: memFree=29532740/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=137376 CPUtime=342.24 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 12384 0 0 0 34214 10 0 0 20 0 1 0 26187155 140673024 31018 33554432000 4194304 6059633 140734286124624 140734286122824 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 34344 31018 192 456 0 33880 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 137376

[startup+402.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/177 20120
/proc/meminfo: memFree=29566292/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=88056 CPUtime=402.23 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 13928 0 0 0 40210 13 0 0 20 0 1 0 26187155 90169344 21286 33554432000 4194304 6059633 140734286124624 140734286123112 4278363 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 22014 21286 192 456 0 21550 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 88056

[startup+462.3 s]
/proc/loadavg: 2.31 2.12 2.08 3/177 20122
/proc/meminfo: memFree=29495624/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=462.22 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 16092 0 0 0 46205 17 0 0 20 0 1 0 26187155 185135104 38503 33554432000 4194304 6059633 140734286124624 140734286123080 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 38503 192 456 0 44735 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 180796

[startup+522.3 s]
/proc/loadavg: 2.34 2.16 2.09 4/177 20123
/proc/meminfo: memFree=29507948/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=149976 CPUtime=522.21 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 17080 0 0 0 52202 19 0 0 20 0 1 0 26187155 153575424 34857 33554432000 4194304 6059633 140734286124624 140734286123384 4261190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 37494 34857 192 456 0 37030 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 149976

[startup+582.3 s]
/proc/loadavg: 2.46 2.23 2.12 3/177 20124
/proc/meminfo: memFree=29486688/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=582.2 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 18459 0 0 0 58198 22 0 0 20 0 1 0 26187155 185135104 38508 33554432000 4194304 6059633 140734286124624 140734286123080 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 38508 192 456 0 44735 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 180796


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


[startup+942.3 s]
/proc/loadavg: 2.23 2.25 2.16 3/177 20134
/proc/meminfo: memFree=29452752/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=942.15 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 23210 0 0 0 94182 33 0 0 20 0 1 0 26187155 185135104 39020 33554432000 4194304 6059633 140734286124624 140734286123080 4278457 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 39020 192 456 0 44735 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 180796

[startup+1002.3 s]
/proc/loadavg: 2.26 2.25 2.16 4/177 20135
/proc/meminfo: memFree=29451552/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=149976 CPUtime=1002.13 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 23418 0 0 0 100179 34 0 0 20 0 1 0 26187155 153575424 36393 33554432000 4194304 6059633 140734286124624 140734286122824 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 37494 36393 192 456 0 37030 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 149976

[startup+1062.3 s]
/proc/loadavg: 2.20 2.23 2.16 3/177 20137
/proc/meminfo: memFree=29488060/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=100656 CPUtime=1062.13 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 24017 0 0 0 106177 36 0 0 20 0 1 0 26187155 103071744 24441 33554432000 4194304 6059633 140734286124624 140734286123112 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 25164 24441 192 456 0 24700 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 100656

[startup+1122.3 s]
/proc/loadavg: 2.16 2.22 2.16 3/177 20138
/proc/meminfo: memFree=29485012/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1122.12 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 24811 0 0 0 112174 38 0 0 20 0 1 0 26187155 185135104 43116 33554432000 4194304 6059633 140734286124624 140734286123080 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 43116 192 456 0 44735 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 180796

[startup+1182.3 s]
/proc/loadavg: 2.28 2.24 2.17 4/177 20139
/proc/meminfo: memFree=29493496/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1182.11 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 26149 0 0 0 118171 40 0 0 20 0 1 0 26187155 185135104 39532 33554432000 4194304 6059633 140734286124624 140734286123080 4278369 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 39532 192 456 0 44735 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 180796

[startup+1242.3 s]
/proc/loadavg: 2.23 2.22 2.17 3/177 20140
/proc/meminfo: memFree=29509308/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=149976 CPUtime=1242.1 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 27175 0 0 0 124168 42 0 0 20 0 1 0 26187155 153575424 34857 33554432000 4194304 6059633 140734286124624 140734286122824 4277790 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 37494 34857 192 456 0 37030 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 149976

[startup+1302.3 s]
/proc/loadavg: 2.13 2.19 2.16 3/177 20141
/proc/meminfo: memFree=29465748/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1302.1 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 27777 0 0 0 130166 44 0 0 20 0 1 0 26187155 185135104 44140 33554432000 4194304 6059633 140734286124624 140734286123080 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 44140 192 456 0 44735 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 180796

[startup+1362.3 s]
/proc/loadavg: 2.43 2.26 2.19 3/177 20143
/proc/meminfo: memFree=29479380/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1362.08 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 29385 0 0 0 136161 47 0 0 20 0 1 0 26187155 185135104 39532 33554432000 4194304 6059633 140734286124624 140734286123080 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 39532 192 456 0 44735 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 180796

[startup+1422.3 s]
/proc/loadavg: 2.32 2.26 2.19 3/178 20147
/proc/meminfo: memFree=29502728/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=149976 CPUtime=1422.08 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 30413 0 0 0 142159 49 0 0 20 0 1 0 26187155 153575424 32809 33554432000 4194304 6059633 140734286124624 140734286122824 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 37494 32809 192 456 0 37030 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 149976

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.18 3/177 20148
/proc/meminfo: memFree=29453104/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1482.06 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 31020 0 0 0 148156 50 0 0 20 0 1 0 26187155 185135104 43628 33554432000 4194304 6059633 140734286124624 140734286123080 4278369 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 43628 192 456 0 44735 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 180796

[startup+1542.31 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 20149
/proc/meminfo: memFree=29469472/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1542.06 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 32622 0 0 0 154153 53 0 0 20 0 1 0 26187155 185135104 38508 33554432000 4194304 6059633 140734286124624 140734286123080 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 38508 192 456 0 44735 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 180796

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 20150
/proc/meminfo: memFree=29430884/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=230884 CPUtime=1602.05 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 33451 0 0 0 160150 55 0 0 20 0 1 0 26187155 236425216 47001 33554432000 4194304 6059633 140734286124624 140734286123080 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 57721 47001 192 456 0 57257 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 230884

[startup+1662.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 20152
/proc/meminfo: memFree=29448556/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1662.04 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 34245 0 0 0 166147 57 0 0 20 0 1 0 26187155 185135104 41580 33554432000 4194304 6059633 140734286124624 140734286123080 4255370 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 41580 192 456 0 44735 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 180796

[startup+1722.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 20153
/proc/meminfo: memFree=29477404/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=149976 CPUtime=1722.03 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 35263 0 0 0 172144 59 0 0 20 0 1 0 26187155 153575424 33321 33554432000 4194304 6059633 140734286124624 140734286122824 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 37494 33321 192 456 0 37030 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 149976

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 20154
/proc/meminfo: memFree=29428756/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=180796 CPUtime=1782.02 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 35867 0 0 0 178141 61 0 0 20 0 1 0 26187155 185135104 44140 33554432000 4194304 6059633 140734286124624 140734286123080 4277889 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 45199 44140 192 456 0 44735 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 180796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 20154
/proc/meminfo: memFree=29417712/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=230884 CPUtime=1800.02 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 36689 0 0 0 179940 62 0 0 20 0 1 0 26187155 236425216 46489 33554432000 4194304 6059633 140734286124624 140734286123080 4261029 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 57721 46489 192 456 0 57257 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 230884

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 20154
/proc/meminfo: memFree=29417712/32872528 swapFree=1431120/1543540
[pid=20109] ppid=20106 vsize=230884 CPUtime=1800.02 cores=1,3,5,7
/proc/20109/stat : 20109 (open-wbo) R 20106 20109 19971 0 -1 4202496 36689 0 0 0 179940 62 0 0 20 0 1 0 26187155 236425216 46489 33554432000 4194304 6059633 140734286124624 140734286123080 4261029 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/20109/statm: 57721 46489 192 456 0 57257 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 230884

Child status: 40
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.4
CPU system time (s): 0.627904
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 230884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.627904
maximum resident set size= 190052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36692
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= 11
involuntary context switches= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46132 second user time and 7.02293 second system time

The end