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-3461532-1307103519/watcher-3461532-1307103519 -o /tmp/evaluation-result-3461532-1307103519/solver-3461532-1307103519 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461532-1307103519.opb
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: 2.01 2.07 2.01 3/554 4281
/proc/meminfo: memFree=25038080/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=1984 CPUtime=0 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 260 0 0 0 0 0 0 0 23 0 1 0 821948939 2031616 213 33554432000 4194304 5714214 140735292315280 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 496 213 162 372 0 118 0
[startup+0.093433 s]
/proc/loadavg: 2.01 2.07 2.01 3/554 4281
/proc/meminfo: memFree=25038080/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=3264 CPUtime=0.08 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 600 0 0 0 8 0 0 0 23 0 1 0 821948939 3342336 550 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 816 550 180 372 0 441 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3264
[startup+0.10045 s]
/proc/loadavg: 2.01 2.07 2.01 3/554 4281
/proc/meminfo: memFree=25038080/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=3264 CPUtime=0.09 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 600 0 0 0 9 0 0 0 23 0 1 0 821948939 3342336 550 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 816 550 180 372 0 441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3264
[startup+0.300404 s]
/proc/loadavg: 2.01 2.07 2.01 3/554 4281
/proc/meminfo: memFree=25038080/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=4056 CPUtime=0.29 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 810 0 0 0 28 1 0 0 25 0 1 0 821948939 4153344 760 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 1014 760 180 372 0 639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4056
[startup+0.700315 s]
/proc/loadavg: 2.01 2.07 2.01 3/554 4281
/proc/meminfo: memFree=25038080/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=6872 CPUtime=0.69 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 1518 0 0 0 67 2 0 0 25 0 1 0 821948939 7036928 1468 33554432000 4194304 5714214 140735292315280 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 1718 1468 180 372 0 1343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6872
[startup+1.50017 s]
/proc/loadavg: 2.01 2.07 2.01 3/555 4282
/proc/meminfo: memFree=25030136/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=9932 CPUtime=1.48 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 2267 0 0 0 145 3 0 0 25 0 1 0 821948939 10170368 2217 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 2483 2217 180 372 0 2108 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9932
[startup+3.10086 s]
/proc/loadavg: 2.01 2.07 2.01 3/555 4282
/proc/meminfo: memFree=25024680/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=17012 CPUtime=3.08 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 4026 0 0 0 303 5 0 0 25 0 1 0 821948939 17420288 3976 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 4253 3976 180 372 0 3878 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17012
[startup+6.30025 s]
/proc/loadavg: 2.01 2.06 2.01 3/555 4282
/proc/meminfo: memFree=25011120/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=23636 CPUtime=6.28 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 5651 0 0 0 619 9 0 0 25 0 1 0 821948939 24203264 5601 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 5909 5601 180 372 0 5534 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23636
[startup+12.701 s]
/proc/loadavg: 2.01 2.06 2.01 3/555 4282
/proc/meminfo: memFree=25000972/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=26788 CPUtime=12.69 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 6452 0 0 0 1250 19 0 0 25 0 1 0 821948939 27430912 6368 33554432000 4194304 5714214 140735292315280 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 6697 6368 180 372 0 6322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26788
[startup+25.5006 s]
/proc/loadavg: 2.01 2.06 2.01 3/555 4282
/proc/meminfo: memFree=24972680/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=39112 CPUtime=25.48 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 9537 0 0 0 2514 34 0 0 25 0 1 0 821948939 40050688 9453 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 9778 9453 180 372 0 9403 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39112
[startup+51.1007 s]
/proc/loadavg: 2.00 2.05 2.01 3/555 4283
/proc/meminfo: memFree=24918244/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=70484 CPUtime=51.08 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 17210 0 0 0 5049 59 0 0 25 0 1 0 821948939 72175616 17126 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 17621 17126 180 372 0 17246 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70484
[startup+102.321 s]
/proc/loadavg: 2.00 2.04 2.00 3/555 4284
/proc/meminfo: memFree=24820992/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=121564 CPUtime=102.31 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 29724 0 0 0 10137 94 0 0 25 0 1 0 821948939 124481536 29640 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319826 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 30391 29640 180 372 0 30016 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121564
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4286
/proc/meminfo: memFree=24743836/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=156828 CPUtime=162.29 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 38355 0 0 0 16102 127 0 0 25 0 1 0 821948939 160591872 38271 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4281/statm: 39207 38271 180 372 0 38832 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 156828
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4288
/proc/meminfo: memFree=24674360/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=190296 CPUtime=222.17 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 46619 0 0 0 22052 165 0 0 25 0 1 0 821948939 194863104 46535 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 47574 46535 180 372 0 47199 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 190296
[startup+282.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 4289
/proc/meminfo: memFree=24599664/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=230096 CPUtime=282.17 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 56447 0 0 0 28019 198 0 0 25 0 1 0 821948939 235618304 56363 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 57524 56363 180 372 0 57149 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 230096
[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/555 4291
/proc/meminfo: memFree=24527468/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=267624 CPUtime=342.17 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 65560 0 0 0 33992 225 0 0 25 0 1 0 821948939 274046976 65476 33554432000 4194304 5714214 140735292315280 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 66906 65476 180 372 0 66531 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 267624
[startup+402.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/555 4292
/proc/meminfo: memFree=24477344/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=290244 CPUtime=402.18 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 71005 0 0 0 39964 254 0 0 25 0 1 0 821948939 297209856 70921 33554432000 4194304 5714214 140735292315280 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 72561 70921 180 372 0 72186 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 290244
[startup+462.301 s]
/proc/loadavg: 2.14 2.07 2.01 3/555 4294
/proc/meminfo: memFree=24406396/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=328772 CPUtime=462.18 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 80564 0 0 0 45930 288 0 0 25 0 1 0 821948939 336662528 80480 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 82193 80480 180 372 0 81818 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 328772
[startup+522.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/555 4296
/proc/meminfo: memFree=24333720/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=368564 CPUtime=522.18 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 90340 0 0 0 51898 320 0 0 25 0 1 0 821948939 377409536 90256 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 92141 90256 180 372 0 91766 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 368564
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 4297
/proc/meminfo: memFree=24258296/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=406168 CPUtime=582.19 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 99558 0 0 0 57875 344 0 0 25 0 1 0 821948939 415916032 99474 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 101542 99474 180 372 0 101167 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 406168
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/555 4305
/proc/meminfo: memFree=23916552/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=882.2 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 151716 0 0 0 87700 520 0 0 25 0 1 0 821948939 620716032 149772 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 149772 180 372 0 151167 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 606168
[startup+942.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/555 4307
/proc/meminfo: memFree=23916896/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=942.2 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 151788 0 0 0 93660 560 0 0 25 0 1 0 821948939 620716032 149844 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 149844 180 372 0 151167 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 606168
[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/555 4308
/proc/meminfo: memFree=23916000/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1002.2 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 151842 0 0 0 99629 591 0 0 25 0 1 0 821948939 620716032 149898 33554432000 4194304 5714214 140735292315280 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 149898 180 372 0 151167 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 606168
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/555 4310
/proc/meminfo: memFree=23914740/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1062.2 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152110 0 0 0 105596 624 0 0 25 0 1 0 821948939 620716032 150166 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150166 180 372 0 151167 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 606168
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 4312
/proc/meminfo: memFree=23913100/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1122.21 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152225 0 0 0 111569 652 0 0 25 0 1 0 821948939 620716032 150281 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150281 180 372 0 151167 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 606168
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4313
/proc/meminfo: memFree=23912216/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1182.21 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152412 0 0 0 117540 681 0 0 25 0 1 0 821948939 620716032 150468 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150468 180 372 0 151167 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 606168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4315
/proc/meminfo: memFree=23910092/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1242.21 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152450 0 0 0 123515 706 0 0 25 0 1 0 821948939 620716032 150506 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150506 180 372 0 151167 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 606168
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 4316
/proc/meminfo: memFree=23910188/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1302.22 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152477 0 0 0 129489 733 0 0 25 0 1 0 821948939 620716032 150533 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150533 180 372 0 151167 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 606168
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/555 4318
/proc/meminfo: memFree=23909908/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1362.21 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152592 0 0 0 135459 762 0 0 25 0 1 0 821948939 620716032 150648 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150648 180 372 0 151167 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 606168
[startup+1422.32 s]
/proc/loadavg: 2.15 2.07 2.01 3/555 4320
/proc/meminfo: memFree=23908272/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1422.24 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152728 0 0 0 141436 788 0 0 25 0 1 0 821948939 620716032 150784 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150784 180 372 0 151167 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 606168
[startup+1482.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/555 4321
/proc/meminfo: memFree=23908376/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1482.22 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152776 0 0 0 147408 814 0 0 25 0 1 0 821948939 620716032 150832 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150832 180 372 0 151167 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 606168
[startup+1542.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/555 4323
/proc/meminfo: memFree=23907608/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1542.22 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152869 0 0 0 153383 839 0 0 25 0 1 0 821948939 620716032 150925 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150925 180 372 0 151167 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 606168
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/555 4324
/proc/meminfo: memFree=23907336/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1602.22 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 152905 0 0 0 159361 861 0 0 25 0 1 0 821948939 620716032 150961 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 150961 180 372 0 151167 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 606168
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 4326
/proc/meminfo: memFree=23876940/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1662.23 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 153014 0 0 0 165336 887 0 0 25 0 1 0 821948939 620716032 151070 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 151070 180 372 0 151167 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 606168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4328
/proc/meminfo: memFree=23851376/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1722.23 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 153055 0 0 0 171315 908 0 0 25 0 1 0 821948939 620716032 151111 33554432000 4194304 5714214 140735292315280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 151111 180 372 0 151167 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 606168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4329
/proc/meminfo: memFree=23816632/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1782.23 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 153126 0 0 0 177282 941 0 0 25 0 1 0 821948939 620716032 151182 33554432000 4194304 5714214 140735292315280 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 151182 180 372 0 151167 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 606168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4358
/proc/meminfo: memFree=24430940/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1800.03 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 153126 0 0 0 179051 952 0 0 25 0 1 0 821948939 620716032 151182 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 151182 180 372 0 151167 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 606168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4358
/proc/meminfo: memFree=24430940/32950928 swapFree=67056580/67111528
[pid=4281] ppid=4279 vsize=606168 CPUtime=1800.03 cores=1,3,5,7
/proc/4281/stat : 4281 (wbo1.6) R 4279 4281 3492 0 -1 4202496 153126 0 0 0 179051 952 0 0 25 0 1 0 821948939 620716032 151182 33554432000 4194304 5714214 140735292315280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/4281/statm: 151542 151182 180 372 0 151167 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 606168
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.09
CPU user time (s): 1790.53
CPU system time (s): 9.55655
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 615724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.53
system time used= 9.55655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153126
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= 5
involuntary context switches= 4561
runsolver used 9.99148 second user time and 22.7655 second system time
The end