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-3461013-1307066710/watcher-3461013-1307066710 -o /tmp/evaluation-result-3461013-1307066710/solver-3461013-1307066710 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461013-1307066710.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: 1.07 1.02 1.00 4/557 28376
/proc/meminfo: memFree=28820984/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=2632 CPUtime=0.01 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 470 0 0 0 1 0 0 0 23 0 1 0 896901637 2695168 410 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 658 410 180 372 0 283 0
[startup+0.077958 s]
/proc/loadavg: 1.07 1.02 1.00 4/557 28376
/proc/meminfo: memFree=28820984/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=3288 CPUtime=0.07 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 644 0 0 0 7 0 0 0 23 0 1 0 896901637 3366912 584 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 822 584 180 372 0 447 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3288
[startup+0.100945 s]
/proc/loadavg: 1.07 1.02 1.00 4/557 28376
/proc/meminfo: memFree=28820984/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=3676 CPUtime=0.09 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 719 0 0 0 9 0 0 0 23 0 1 0 896901637 3764224 659 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 919 659 180 372 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3676
[startup+0.300926 s]
/proc/loadavg: 1.07 1.02 1.00 4/557 28376
/proc/meminfo: memFree=28820984/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=5900 CPUtime=0.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 1284 0 0 0 29 0 0 0 25 0 1 0 896901637 6041600 1224 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 1475 1224 180 372 0 1100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5900
[startup+0.700845 s]
/proc/loadavg: 1.07 1.02 1.00 4/557 28376
/proc/meminfo: memFree=28820984/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=8820 CPUtime=0.69 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 2016 0 0 0 69 0 0 0 25 0 1 0 896901637 9031680 1956 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 2205 1956 180 372 0 1830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8820
[startup+1.50069 s]
/proc/loadavg: 1.07 1.02 1.00 4/559 28378
/proc/meminfo: memFree=28806076/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=12092 CPUtime=1.49 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 2826 0 0 0 148 1 0 0 25 0 1 0 896901637 12382208 2766 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 3023 2766 180 372 0 2648 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12092
[startup+3.10042 s]
/proc/loadavg: 1.07 1.02 1.00 3/559 28405
/proc/meminfo: memFree=28800792/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=14196 CPUtime=3.09 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 3322 0 0 0 308 1 0 0 19 0 1 0 896901637 14536704 3262 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 3549 3262 180 372 0 3174 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14196
[startup+6.30092 s]
/proc/loadavg: 1.14 1.04 1.01 3/559 28405
/proc/meminfo: memFree=28788560/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=19192 CPUtime=6.28 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 4581 0 0 0 625 3 0 0 25 0 1 0 896901637 19652608 4521 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 4798 4521 180 372 0 4423 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19192
[startup+12.7008 s]
/proc/loadavg: 1.21 1.05 1.01 3/559 28405
/proc/meminfo: memFree=28772948/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=25484 CPUtime=12.68 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 6098 0 0 0 1262 6 0 0 25 0 1 0 896901637 26095616 6038 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 6371 6038 180 372 0 5996 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25484
[startup+25.5007 s]
/proc/loadavg: 1.38 1.10 1.03 3/559 28405
/proc/meminfo: memFree=28753992/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=35824 CPUtime=25.48 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 8647 0 0 0 2537 11 0 0 25 0 1 0 896901637 36683776 8587 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 8956 8587 180 372 0 8581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35824
[startup+51.1004 s]
/proc/loadavg: 1.59 1.17 1.05 3/559 28407
/proc/meminfo: memFree=28728512/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=50052 CPUtime=51.08 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 12174 0 0 0 5089 19 0 0 25 0 1 0 896901637 51253248 12114 33554432000 4194304 5714214 140735174788752 18446744073709551615 4312235 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 12513 12114 180 372 0 12138 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50052
[startup+102.322 s]
/proc/loadavg: 1.82 1.30 1.10 3/559 28407
/proc/meminfo: memFree=28680140/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=75744 CPUtime=102.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 18510 0 0 0 10197 34 0 0 25 0 1 0 896901637 77561856 18450 33554432000 4194304 5714214 140735174788752 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 18936 18450 180 372 0 18561 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 75744
[startup+162.301 s]
/proc/loadavg: 1.93 1.42 1.15 3/559 28409
/proc/meminfo: memFree=28628276/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=100252 CPUtime=162.28 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 24611 0 0 0 16177 51 0 0 25 0 1 0 896901637 102658048 24551 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 25063 24551 180 372 0 24688 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 100252
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.20 3/559 28411
/proc/meminfo: memFree=28581512/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=123672 CPUtime=222.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 30415 0 0 0 22164 65 0 0 25 0 1 0 896901637 126640128 30355 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 30918 30355 180 372 0 30543 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 123672
[startup+282.301 s]
/proc/loadavg: 2.15 1.64 1.26 3/559 28413
/proc/meminfo: memFree=28536712/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=147024 CPUtime=282.28 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 36187 0 0 0 28148 80 0 0 25 0 1 0 896901637 150552576 36127 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 36756 36127 180 372 0 36381 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 147024
[startup+342.301 s]
/proc/loadavg: 2.13 1.72 1.31 3/559 28415
/proc/meminfo: memFree=28499488/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=165980 CPUtime=342.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 40918 0 0 0 34132 97 0 0 25 0 1 0 896901637 169963520 40858 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 41495 40858 180 372 0 41120 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 165980
[startup+402.301 s]
/proc/loadavg: 2.11 1.78 1.36 3/559 28415
/proc/meminfo: memFree=28461868/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=187992 CPUtime=402.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 46388 0 0 0 40116 113 0 0 25 0 1 0 896901637 192503808 46328 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 46998 46328 180 372 0 46623 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 187992
[startup+462.301 s]
/proc/loadavg: 2.04 1.82 1.39 3/559 28417
/proc/meminfo: memFree=28429492/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=208640 CPUtime=462.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 51538 0 0 0 46101 128 0 0 25 0 1 0 896901637 213647360 51478 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 52160 51478 180 372 0 51785 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 208640
[startup+522.301 s]
/proc/loadavg: 2.16 1.88 1.44 3/559 28419
/proc/meminfo: memFree=28392004/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=229000 CPUtime=522.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 56587 0 0 0 52085 144 0 0 25 0 1 0 896901637 234496000 56527 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 57250 56527 180 372 0 56875 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 229000
[startup+582.301 s]
/proc/loadavg: 2.12 1.92 1.48 3/559 28421
/proc/meminfo: memFree=28358116/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=246816 CPUtime=582.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 61022 0 0 0 58073 156 0 0 25 0 1 0 896901637 252739584 60962 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 61704 60962 180 372 0 61329 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 246816
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.95 1.58 3/559 28427
/proc/meminfo: memFree=28216724/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=316836 CPUtime=822.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 78450 0 0 0 82017 213 0 0 25 0 1 0 896901637 324440064 78390 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 79209 78390 180 372 0 78834 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 316836
[startup+882.3 s]
/proc/loadavg: 2.00 1.96 1.61 3/559 28429
/proc/meminfo: memFree=28184944/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=331020 CPUtime=882.29 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 82010 0 0 0 88001 228 0 0 25 0 1 0 896901637 338964480 81950 33554432000 4194304 5714214 140735174788752 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 82755 81950 180 372 0 82380 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 331020
[startup+942.3 s]
/proc/loadavg: 2.07 1.99 1.64 3/559 28431
/proc/meminfo: memFree=28153904/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=352468 CPUtime=942.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 87316 0 0 0 93987 243 0 0 25 0 1 0 896901637 360927232 87256 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 88117 87256 180 372 0 87742 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 352468
[startup+1002.3 s]
/proc/loadavg: 2.06 2.00 1.66 3/559 28431
/proc/meminfo: memFree=28124104/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=364392 CPUtime=1002.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 90297 0 0 0 99974 256 0 0 25 0 1 0 896901637 373137408 90237 33554432000 4194304 5714214 140735174788752 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 91098 90237 180 372 0 90723 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 364392
[startup+1062.3 s]
/proc/loadavg: 2.02 2.00 1.68 3/559 28433
/proc/meminfo: memFree=28089964/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=383468 CPUtime=1062.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 95062 0 0 0 105959 271 0 0 25 0 1 0 896901637 392671232 95002 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 95867 95002 180 372 0 95492 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 383468
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.71 3/559 28435
/proc/meminfo: memFree=28061784/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=399380 CPUtime=1122.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 99041 0 0 0 111947 283 0 0 25 0 1 0 896901637 408965120 98981 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 99845 98981 180 372 0 99470 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 399380
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 1.73 3/559 28437
/proc/meminfo: memFree=28031604/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=413444 CPUtime=1182.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 102539 0 0 0 117934 296 0 0 25 0 1 0 896901637 423366656 102479 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 103361 102479 180 372 0 102986 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 413444
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.74 3/559 28439
/proc/meminfo: memFree=27999584/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=428892 CPUtime=1242.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 106365 0 0 0 123922 308 0 0 25 0 1 0 896901637 439185408 106305 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 107223 106305 180 372 0 106848 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 428892
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.75 3/559 28439
/proc/meminfo: memFree=27973624/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=439444 CPUtime=1302.32 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 109000 0 0 0 129912 320 0 0 25 0 1 0 896901637 449990656 108940 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 109861 108940 180 372 0 109486 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 439444
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/559 28441
/proc/meminfo: memFree=27945928/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=454344 CPUtime=1362.3 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 112720 0 0 0 135898 332 0 0 25 0 1 0 896901637 465248256 112660 33554432000 4194304 5714214 140735174788752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 113586 112660 180 372 0 113211 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 454344
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.78 3/559 28443
/proc/meminfo: memFree=27915764/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=467660 CPUtime=1422.32 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 115984 0 0 0 141887 345 0 0 25 0 1 0 896901637 478883840 115924 33554432000 4194304 5714214 140735174788752 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 116915 115924 180 372 0 116540 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 467660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/559 28445
/proc/meminfo: memFree=27886952/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=480264 CPUtime=1482.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 119160 0 0 0 147873 358 0 0 25 0 1 0 896901637 491790336 119100 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 120066 119100 180 372 0 119691 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 480264
[startup+1542.3 s]
/proc/loadavg: 2.10 2.03 1.81 3/559 28447
/proc/meminfo: memFree=27855292/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=498364 CPUtime=1542.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 123676 0 0 0 153856 375 0 0 25 0 1 0 896901637 510324736 123616 33554432000 4194304 5714214 140735174788752 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 124591 123616 180 372 0 124216 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 498364
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 1.83 3/559 28447
/proc/meminfo: memFree=27827220/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=513512 CPUtime=1602.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 127406 0 0 0 159845 386 0 0 25 0 1 0 896901637 525836288 127346 33554432000 4194304 5714214 140735174788752 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 128378 127346 180 372 0 128003 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 513512
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.83 3/559 28449
/proc/meminfo: memFree=27797420/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=528364 CPUtime=1662.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 131106 0 0 0 165832 399 0 0 25 0 1 0 896901637 541044736 131046 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 132091 131046 180 372 0 131716 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 528364
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.85 3/559 28451
/proc/meminfo: memFree=27763400/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=548160 CPUtime=1722.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 136063 0 0 0 171819 412 0 0 25 0 1 0 896901637 561315840 136003 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 137040 136003 180 372 0 136665 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 548160
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 1.86 3/559 28453
/proc/meminfo: memFree=27729264/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=564008 CPUtime=1782.31 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 139976 0 0 0 177803 428 0 0 25 0 1 0 896901637 577544192 139916 33554432000 4194304 5714214 140735174788752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 141002 139917 180 372 0 140627 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 564008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 1.86 3/559 28453
/proc/meminfo: memFree=27722924/32951124 swapFree=34426104/67111528
[pid=28376] ppid=28374 vsize=569832 CPUtime=1800.03 cores=0,2,4,6
/proc/28376/stat : 28376 (wbo1.6) R 28374 28376 27313 0 -1 4202496 141414 0 0 0 179571 432 0 0 25 0 1 0 896901637 583507968 141354 33554432000 4194304 5714214 140735174788752 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/28376/statm: 142458 141354 180 372 0 142083 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 569832
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.05
CPU time (s): 1800.07
CPU user time (s): 1795.72
CPU system time (s): 4.34734
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 569832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.72
system time used= 4.34734
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141414
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= 7
involuntary context switches= 2083
runsolver used 10.7214 second user time and 22.2776 second system time
The end