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-3460769-1307071265/watcher-3460769-1307071265 -o /tmp/evaluation-result-3460769-1307071265/solver-3460769-1307071265 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460769-1307071265.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 1.91 3/517 3317
/proc/meminfo: memFree=21226920/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=10468 CPUtime=0 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 818723184 10719232 412 33554432000 4194304 5714214 140736452805808 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 2617 412 186 372 0 298 0
[startup+0.026244 s]
/proc/loadavg: 2.00 2.01 1.91 3/517 3317
/proc/meminfo: memFree=21226920/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=12292 CPUtime=0.02 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 963 0 0 0 2 0 0 0 25 0 1 0 818723184 12587008 916 33554432000 4194304 5714214 140736452805808 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 3073 917 254 372 0 754 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12292
[startup+0.100231 s]
/proc/loadavg: 2.00 2.01 1.91 3/517 3317
/proc/meminfo: memFree=21226920/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=18892 CPUtime=0.09 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 2824 0 0 0 9 0 0 0 25 0 1 0 818723184 19345408 2744 33554432000 4194304 5714214 140736452805808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 4723 2745 524 372 0 2404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18892
[startup+0.301188 s]
/proc/loadavg: 2.00 2.01 1.91 3/517 3317
/proc/meminfo: memFree=21226920/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=36700 CPUtime=0.29 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 7912 0 0 0 28 1 0 0 25 0 1 0 818723184 37580800 7387 33554432000 4194304 5714214 140736452805808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 9175 7389 1210 372 0 6856 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36700
[startup+0.70111 s]
/proc/loadavg: 2.00 2.01 1.91 3/517 3317
/proc/meminfo: memFree=21226920/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=103212 CPUtime=0.69 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 26988 0 0 0 65 4 0 0 18 0 1 0 818723184 105689088 24144 33554432000 4194304 5714214 140736452805808 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 25836 24147 174 372 0 25461 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103212
[startup+1.50095 s]
/proc/loadavg: 2.00 2.01 1.91 3/518 3318
/proc/meminfo: memFree=21116912/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=114104 CPUtime=1.49 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 32473 0 0 0 144 5 0 0 19 0 1 0 818723184 116842496 27391 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 28526 27391 180 372 0 28151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114104
[startup+3.10063 s]
/proc/loadavg: 2.00 2.01 1.91 3/518 3318
/proc/meminfo: memFree=21115672/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=114104 CPUtime=3.09 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 32473 0 0 0 303 6 0 0 22 0 1 0 818723184 116842496 27391 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 28526 27391 180 372 0 28151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114104
[startup+6.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/518 3318
/proc/meminfo: memFree=21115184/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=114104 CPUtime=6.29 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 32473 0 0 0 622 7 0 0 25 0 1 0 818723184 116842496 27391 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 28526 27391 180 372 0 28151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 114104
[startup+12.7007 s]
/proc/loadavg: 2.16 2.04 1.92 3/518 3319
/proc/meminfo: memFree=21114336/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=114104 CPUtime=12.69 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 32474 0 0 0 1261 8 0 0 25 0 1 0 818723184 116842496 27392 33554432000 4194304 5714214 140736452805808 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 28526 27392 180 372 0 28151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114104
[startup+25.5012 s]
/proc/loadavg: 2.12 2.03 1.92 3/518 3319
/proc/meminfo: memFree=21113960/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=114104 CPUtime=25.49 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 32486 0 0 0 2537 12 0 0 25 0 1 0 818723184 116842496 27404 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 28526 27404 180 372 0 28151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 114104
[startup+51.1011 s]
/proc/loadavg: 2.16 2.05 1.93 3/518 3320
/proc/meminfo: memFree=21093676/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=132948 CPUtime=51.09 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 37127 0 0 0 5090 19 0 0 25 0 1 0 818723184 136138752 32045 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 33237 32045 180 372 0 32862 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 132948
[startup+102.32 s]
/proc/loadavg: 2.11 2.05 1.93 3/518 3321
/proc/meminfo: memFree=21038676/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=176120 CPUtime=102.32 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 47818 0 0 0 10200 32 0 0 25 0 1 0 818723184 180346880 42736 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 44030 42736 180 372 0 43655 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 176120
[startup+162.301 s]
/proc/loadavg: 2.04 2.04 1.93 3/518 3323
/proc/meminfo: memFree=20980720/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=217412 CPUtime=162.3 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 57980 0 0 0 16183 47 0 0 25 0 1 0 818723184 222629888 52898 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 54353 52898 180 372 0 53978 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 217412
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.93 3/518 3324
/proc/meminfo: memFree=20942632/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=234624 CPUtime=222.3 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 62079 0 0 0 22174 56 0 0 25 0 1 0 818723184 240254976 56997 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 58656 56997 180 372 0 58281 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 234624
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.93 3/518 3326
/proc/meminfo: memFree=20890268/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=247132 CPUtime=282.31 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 65246 0 0 0 28167 64 0 0 25 0 1 0 818723184 253063168 60164 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 61783 60164 180 372 0 61408 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 247132
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.93 3/518 3327
/proc/meminfo: memFree=20867784/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=253564 CPUtime=342.31 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 66861 0 0 0 34157 74 0 0 25 0 1 0 818723184 259649536 61779 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 63391 61779 180 372 0 63016 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 253564
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/518 3329
/proc/meminfo: memFree=20866632/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=254912 CPUtime=402.3 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 67127 0 0 0 40142 88 0 0 25 0 1 0 818723184 261029888 62045 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 63728 62045 180 372 0 63353 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 254912
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/518 3331
/proc/meminfo: memFree=20857060/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=255444 CPUtime=462.32 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 67332 0 0 0 46131 101 0 0 25 0 1 0 818723184 261574656 62250 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 63861 62250 180 372 0 63486 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 255444
[startup+522.3 s]
/proc/loadavg: 2.19 2.05 1.95 3/518 3332
/proc/meminfo: memFree=20846624/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=256724 CPUtime=522.32 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 67634 0 0 0 52123 109 0 0 25 0 1 0 818723184 262885376 62552 33554432000 4194304 5714214 140736452805808 18446744073709551615 4329470 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 64181 62552 180 372 0 63806 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 256724
[startup+582.3 s]
/proc/loadavg: 2.19 2.07 1.96 3/518 3334
/proc/meminfo: memFree=20832960/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=270184 CPUtime=582.32 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 70955 0 0 0 58112 120 0 0 25 0 1 0 818723184 276668416 65873 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 67546 65873 180 372 0 67171 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 270184
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/518 3340
/proc/meminfo: memFree=20735992/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=315620 CPUtime=822.33 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 81846 0 0 0 82085 148 0 0 25 0 1 0 818723184 323194880 76764 33554432000 4194304 5714214 140736452805808 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 78905 76764 180 372 0 78530 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 315620
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/518 3342
/proc/meminfo: memFree=20726016/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=315768 CPUtime=882.33 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 81854 0 0 0 88071 162 0 0 25 0 1 0 818723184 323346432 76772 33554432000 4194304 5714214 140736452805808 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 78942 76772 180 372 0 78567 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 315768
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.96 3/518 3343
/proc/meminfo: memFree=20707868/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=316008 CPUtime=942.33 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 81902 0 0 0 94063 170 0 0 25 0 1 0 818723184 323592192 76820 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 79002 76820 180 372 0 78627 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 316008
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/518 3346
/proc/meminfo: memFree=20710692/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=316184 CPUtime=1002.34 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 81965 0 0 0 100052 182 0 0 25 0 1 0 818723184 323772416 76883 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 79046 76883 180 372 0 78671 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 316184
[startup+1062.3 s]
/proc/loadavg: 2.22 2.07 1.99 3/518 3348
/proc/meminfo: memFree=20681016/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=316184 CPUtime=1062.34 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 81970 0 0 0 106045 189 0 0 25 0 1 0 818723184 323772416 76888 33554432000 4194304 5714214 140736452805808 18446744073709551615 4311680 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 79046 76888 180 372 0 78671 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 316184
[startup+1122.3 s]
/proc/loadavg: 2.12 2.07 1.99 3/518 3349
/proc/meminfo: memFree=20679876/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=317552 CPUtime=1122.34 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 82241 0 0 0 112039 195 0 0 25 0 1 0 818723184 325173248 77159 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 79388 77159 180 372 0 79013 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 317552
[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 1.99 3/518 3351
/proc/meminfo: memFree=20676132/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=320912 CPUtime=1182.35 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 83076 0 0 0 118032 203 0 0 25 0 1 0 818723184 328613888 77994 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319812 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 80228 77994 180 372 0 79853 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 320912
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 1.99 3/518 3352
/proc/meminfo: memFree=20647704/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=329588 CPUtime=1242.35 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 85277 0 0 0 124026 209 0 0 25 0 1 0 818723184 337498112 80195 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 82397 80195 180 372 0 82022 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 329588
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/518 3354
/proc/meminfo: memFree=20624360/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=337104 CPUtime=1302.36 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 87118 0 0 0 130020 216 0 0 25 0 1 0 818723184 345194496 82036 33554432000 4194304 5714214 140736452805808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 84276 82036 180 372 0 83901 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 337104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/518 3356
/proc/meminfo: memFree=20607100/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=347752 CPUtime=1362.35 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 89752 0 0 0 136013 222 0 0 25 0 1 0 818723184 356098048 84670 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 86938 84670 180 372 0 86563 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 347752
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.99 3/518 3416
/proc/meminfo: memFree=20830676/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=355112 CPUtime=1422.37 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 91490 0 0 0 142010 227 0 0 25 0 1 0 818723184 363634688 86408 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 88778 86408 180 372 0 88403 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 355112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/518 3418
/proc/meminfo: memFree=20657412/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=361308 CPUtime=1482.36 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 93050 0 0 0 148002 234 0 0 25 0 1 0 818723184 369979392 87968 33554432000 4194304 5714214 140736452805808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 90327 87968 180 372 0 89952 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 361308
[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/518 3419
/proc/meminfo: memFree=20547204/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=367140 CPUtime=1542.36 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 94570 0 0 0 153996 240 0 0 25 0 1 0 818723184 375951360 89488 33554432000 4194304 5714214 140736452805808 18446744073709551615 4199232 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 91785 89488 180 372 0 91410 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 367140
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 3421
/proc/meminfo: memFree=20439776/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=372844 CPUtime=1602.37 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 96051 0 0 0 159991 246 0 0 25 0 1 0 818723184 381792256 90969 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 93211 90969 180 372 0 92836 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 372844
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/518 3423
/proc/meminfo: memFree=20358992/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=375088 CPUtime=1662.36 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 96631 0 0 0 165987 249 0 0 25 0 1 0 818723184 384090112 91549 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 93772 91549 180 372 0 93397 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 375088
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 3424
/proc/meminfo: memFree=20307960/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=375560 CPUtime=1722.37 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 96742 0 0 0 171972 265 0 0 25 0 1 0 818723184 384573440 91660 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 93890 91660 180 372 0 93515 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 375560
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 3426
/proc/meminfo: memFree=20276468/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=375748 CPUtime=1782.37 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 96764 0 0 0 177961 276 0 0 25 0 1 0 818723184 384765952 91682 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 93937 91682 180 372 0 93562 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 375748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 3426
/proc/meminfo: memFree=20266296/32950928 swapFree=34259960/67111528
[pid=3317] ppid=3315 vsize=375748 CPUtime=1800.08 cores=0,2,4,6
/proc/3317/stat : 3317 (wbo1.6) R 3315 3317 1159 0 -1 4202496 96764 0 0 0 179730 278 0 0 25 0 1 0 818723184 384765952 91682 33554432000 4194304 5714214 140736452805808 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/3317/statm: 93937 91682 180 372 0 93562 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 375748
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.03
CPU time (s): 1800.12
CPU user time (s): 1797.32
CPU system time (s): 2.79757
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 375748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.32
system time used= 2.79757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96764
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= 6
involuntary context switches= 1633
runsolver used 10.2404 second user time and 20.3829 second system time
The end