runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461703-1307120794/watcher-3461703-1307120794 -o /tmp/evaluation-result-3461703-1307120794/solver-3461703-1307120794 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461703-1307120794.opb
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.00 2.01 2.00 2/514 8295
/proc/meminfo: memFree=18787228/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=10592 CPUtime=0 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 559 0 0 0 0 0 0 0 25 0 1 0 902310203 10846208 513 33554432000 4194304 5714214 140734416824704 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 2648 513 180 372 0 399 0
[startup+0.04266 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 8295
/proc/meminfo: memFree=18787228/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=18072 CPUtime=0.03 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 2323 0 0 0 3 0 0 0 25 0 1 0 902310203 18505728 2278 33554432000 4194304 5714214 140734416824704 18446744073709551615 4223284 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 4518 2283 302 372 0 2269 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18072
[startup+0.100631 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 8295
/proc/meminfo: memFree=18787228/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=24304 CPUtime=0.09 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 4168 0 0 0 9 0 0 0 25 0 1 0 902310203 24887296 3975 33554432000 4194304 5714214 140734416824704 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 6076 3975 497 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24304
[startup+0.300593 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 8295
/proc/meminfo: memFree=18787228/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=35376 CPUtime=0.29 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 7301 0 0 0 28 1 0 0 25 0 1 0 902310203 36225024 6939 33554432000 4194304 5714214 140734416824704 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 8844 6940 1175 372 0 6595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35376
[startup+0.700524 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 8295
/proc/meminfo: memFree=18787228/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=82172 CPUtime=0.69 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 21699 0 0 0 66 3 0 0 18 0 1 0 902310203 84144128 19237 33554432000 4194304 5714214 140734416824704 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 20543 19238 172 372 0 20168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82172
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8296
/proc/meminfo: memFree=18688144/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=106324 CPUtime=1.49 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 31907 0 0 0 144 5 0 0 18 0 1 0 902310203 108875776 25471 33554432000 4194304 5714214 140734416824704 18446744073709551615 4310880 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 26581 25471 180 372 0 26206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106324
[startup+3.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8296
/proc/meminfo: memFree=18683876/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=106324 CPUtime=3.1 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 31907 0 0 0 304 6 0 0 21 0 1 0 902310203 108875776 25471 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 26581 25471 180 372 0 26206 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 106324
[startup+6.30054 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8296
/proc/meminfo: memFree=18675196/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=113608 CPUtime=6.29 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 33942 0 0 0 622 7 0 0 25 0 1 0 902310203 116334592 27506 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 28402 27506 180 372 0 28027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 113608
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8296
/proc/meminfo: memFree=18674660/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=113608 CPUtime=12.69 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 33942 0 0 0 1258 11 0 0 25 0 1 0 902310203 116334592 27506 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 28402 27506 180 372 0 28027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113608
[startup+25.5012 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8297
/proc/meminfo: memFree=18675276/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=113608 CPUtime=25.49 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 33942 0 0 0 2533 16 0 0 25 0 1 0 902310203 116334592 27506 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 28402 27506 180 372 0 28027 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113608
[startup+51.1007 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8298
/proc/meminfo: memFree=18661984/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=130068 CPUtime=51.09 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 38279 0 0 0 5085 24 0 0 25 0 1 0 902310203 133189632 31843 33554432000 4194304 5714214 140734416824704 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 32517 31843 180 372 0 32142 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 130068
[startup+102.32 s]
/proc/loadavg: 2.08 2.02 2.01 3/515 8299
/proc/meminfo: memFree=18631084/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=159680 CPUtime=102.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 45560 0 0 0 10196 35 0 0 25 0 1 0 902310203 163512320 39124 33554432000 4194304 5714214 140734416824704 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 39920 39124 180 372 0 39545 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 159680
[startup+162.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/515 8300
/proc/meminfo: memFree=18603872/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=187700 CPUtime=162.29 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 52409 0 0 0 16178 51 0 0 25 0 1 0 902310203 192204800 45973 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 46925 45973 180 372 0 46550 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 187700
[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/515 8330
/proc/meminfo: memFree=18884684/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=232552 CPUtime=222.3 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 63414 0 0 0 22162 68 0 0 25 0 1 0 902310203 238133248 56978 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 58138 56978 180 372 0 57763 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 232552
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 8332
/proc/meminfo: memFree=18825928/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=232552 CPUtime=282.29 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 63658 0 0 0 28147 82 0 0 25 0 1 0 902310203 238133248 57222 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 58138 57222 180 372 0 57763 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 232552
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8333
/proc/meminfo: memFree=18783868/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=232552 CPUtime=342.3 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 63735 0 0 0 34138 92 0 0 25 0 1 0 902310203 238133248 57299 33554432000 4194304 5714214 140734416824704 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 58138 57299 180 372 0 57763 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232552
[startup+402.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/515 8362
/proc/meminfo: memFree=18885720/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=232552 CPUtime=402.3 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 63827 0 0 0 40128 102 0 0 25 0 1 0 902310203 238133248 57391 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 58138 57391 180 372 0 57763 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 232552
[startup+462.301 s]
/proc/loadavg: 2.18 2.06 2.01 3/515 8363
/proc/meminfo: memFree=18851460/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=232552 CPUtime=462.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 63895 0 0 0 46119 112 0 0 25 0 1 0 902310203 238133248 57459 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 58138 57459 180 372 0 57763 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 232552
[startup+522.301 s]
/proc/loadavg: 2.20 2.08 2.02 3/515 8365
/proc/meminfo: memFree=18816576/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=247532 CPUtime=522.3 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 67587 0 0 0 52109 121 0 0 25 0 1 0 902310203 253472768 61151 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 61883 61151 180 372 0 61508 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 247532
[startup+582.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/512 8370
/proc/meminfo: memFree=18968820/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=260168 CPUtime=582.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 70701 0 0 0 58100 131 0 0 25 0 1 0 902310203 266412032 64265 33554432000 4194304 5714214 140734416824704 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 65042 64265 180 372 0 64667 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 260168
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8400
/proc/meminfo: memFree=18763448/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=274864 CPUtime=822.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 74211 0 0 0 82056 175 0 0 25 0 1 0 902310203 281460736 67775 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 68716 67775 180 372 0 68341 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 274864
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8402
/proc/meminfo: memFree=18750384/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=288244 CPUtime=882.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 77491 0 0 0 88047 184 0 0 25 0 1 0 902310203 295161856 71055 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 72061 71055 180 372 0 71686 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 288244
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8403
/proc/meminfo: memFree=18726680/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=310368 CPUtime=942.31 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 83007 0 0 0 94037 194 0 0 25 0 1 0 902310203 317816832 76571 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 77592 76571 180 372 0 77217 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 310368
[startup+1002.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/515 8405
/proc/meminfo: memFree=18695644/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=327352 CPUtime=1002.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 87203 0 0 0 100029 203 0 0 25 0 1 0 902310203 335208448 80767 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 81838 80767 180 372 0 81463 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 327352
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/515 8406
/proc/meminfo: memFree=18663248/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=344884 CPUtime=1062.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 91131 0 0 0 106021 211 0 0 25 0 1 0 902310203 353161216 84695 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 86221 84695 180 372 0 85846 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 344884
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/515 8408
/proc/meminfo: memFree=18636316/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=356476 CPUtime=1122.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 94049 0 0 0 112014 218 0 0 25 0 1 0 902310203 365031424 87613 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 89119 87613 180 372 0 88744 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 356476
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 8410
/proc/meminfo: memFree=18601432/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=356476 CPUtime=1182.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 94058 0 0 0 117998 234 0 0 25 0 1 0 902310203 365031424 87622 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 89119 87622 180 372 0 88744 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 356476
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 8411
/proc/meminfo: memFree=18601152/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=356476 CPUtime=1242.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 94059 0 0 0 123988 244 0 0 25 0 1 0 902310203 365031424 87623 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 89119 87623 180 372 0 88744 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 356476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 8413
/proc/meminfo: memFree=18600248/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=356476 CPUtime=1302.32 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 94071 0 0 0 129981 251 0 0 25 0 1 0 902310203 365031424 87635 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 89119 87635 180 372 0 88744 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 356476
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8414
/proc/meminfo: memFree=18601212/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=357272 CPUtime=1362.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 94266 0 0 0 135974 259 0 0 25 0 1 0 902310203 365846528 87830 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 89318 87830 180 372 0 88943 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 357272
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 8416
/proc/meminfo: memFree=18593492/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=365060 CPUtime=1422.34 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 96200 0 0 0 141968 266 0 0 25 0 1 0 902310203 373821440 89764 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 91265 89764 180 372 0 90890 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 365060
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 8418
/proc/meminfo: memFree=18578576/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=379780 CPUtime=1482.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 99877 0 0 0 147959 274 0 0 25 0 1 0 902310203 388894720 93441 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 94945 93441 180 372 0 94570 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 379780
[startup+1542.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/515 8419
/proc/meminfo: memFree=18563152/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=395536 CPUtime=1542.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 103756 0 0 0 153949 284 0 0 25 0 1 0 902310203 405028864 97320 33554432000 4194304 5714214 140734416824704 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 98884 97320 180 372 0 98509 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 395536
[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 8421
/proc/meminfo: memFree=18547384/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=410744 CPUtime=1602.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 107553 0 0 0 159940 293 0 0 25 0 1 0 902310203 420601856 101117 33554432000 4194304 5714214 140734416824704 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 102686 101117 180 372 0 102311 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 410744
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 8422
/proc/meminfo: memFree=18532104/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=426016 CPUtime=1662.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 111351 0 0 0 165933 300 0 0 25 0 1 0 902310203 436240384 104915 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 106504 104915 180 372 0 106129 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 426016
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 8424
/proc/meminfo: memFree=18517448/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=440344 CPUtime=1722.33 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 114918 0 0 0 171926 307 0 0 25 0 1 0 902310203 450912256 108482 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 110086 108482 180 372 0 109711 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 440344
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/515 8426
/proc/meminfo: memFree=18502412/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=453032 CPUtime=1782.34 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 118136 0 0 0 177922 312 0 0 25 0 1 0 902310203 463904768 111700 33554432000 4194304 5714214 140734416824704 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 113258 111700 180 372 0 112883 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 453032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.01 3/515 8426
/proc/meminfo: memFree=18501784/32950940 swapFree=67111364/67111528
[pid=8295] ppid=8293 vsize=453560 CPUtime=1800.04 cores=0,2,4,6
/proc/8295/stat : 8295 (wbo1.6) R 8293 8295 4622 0 -1 4202496 118291 0 0 0 179689 315 0 0 25 0 1 0 902310203 464445440 111855 33554432000 4194304 5714214 140734416824704 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/8295/statm: 113390 111855 180 372 0 113015 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 453560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.91
CPU system time (s): 3.17352
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 453560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 3.17352
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118291
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= 10
involuntary context switches= 1609
runsolver used 9.48356 second user time and 20.5429 second system time
The end