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-3461374-1307081823/watcher-3461374-1307081823 -o /tmp/evaluation-result-3461374-1307081823/solver-3461374-1307081823 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461374-1307081823.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: 1.99 2.02 2.00 2/473 23918
/proc/meminfo: memFree=20313284/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=2376 CPUtime=0.01 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 424 0 0 0 1 0 0 0 25 0 1 0 819781951 2433024 351 33554432000 4194304 5714214 140735037532960 18446744073709551615 4345872 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 594 351 175 372 0 219 0
[startup+0.0453571 s]
/proc/loadavg: 1.99 2.02 2.00 2/473 23918
/proc/meminfo: memFree=20313284/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=2916 CPUtime=0.04 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 545 0 0 0 4 0 0 0 25 0 1 0 819781951 2985984 472 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 729 472 180 372 0 354 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2916
[startup+0.100347 s]
/proc/loadavg: 1.99 2.02 2.00 2/473 23918
/proc/meminfo: memFree=20313284/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=3048 CPUtime=0.09 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 580 0 0 0 9 0 0 0 25 0 1 0 819781951 3121152 507 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 762 507 180 372 0 387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3048
[startup+0.300312 s]
/proc/loadavg: 1.99 2.02 2.00 2/473 23918
/proc/meminfo: memFree=20313284/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=5044 CPUtime=0.29 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 1085 0 0 0 28 1 0 0 25 0 1 0 819781951 5165056 1012 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 1261 1012 180 372 0 886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5044
[startup+0.700242 s]
/proc/loadavg: 1.99 2.02 2.00 2/473 23918
/proc/meminfo: memFree=20313284/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=7156 CPUtime=0.69 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 1614 0 0 0 65 4 0 0 25 0 1 0 819781951 7327744 1541 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 1789 1541 180 372 0 1414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7156
[startup+1.5001 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23919
/proc/meminfo: memFree=20304100/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=13152 CPUtime=1.49 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 3099 0 0 0 142 7 0 0 25 0 1 0 819781951 13467648 3026 33554432000 4194304 5714214 140735037532960 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 3288 3026 180 372 0 2913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13152
[startup+3.10082 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23919
/proc/meminfo: memFree=20298960/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=15668 CPUtime=3.09 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 3741 0 0 0 299 10 0 0 25 0 1 0 819781951 16044032 3668 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 3917 3668 180 372 0 3542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15668
[startup+6.30026 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23919
/proc/meminfo: memFree=20292824/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=20508 CPUtime=6.29 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 4936 0 0 0 612 17 0 0 25 0 1 0 819781951 21000192 4863 33554432000 4194304 5714214 140735037532960 18446744073709551615 5012918 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 5127 4863 180 372 0 4752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20508
[startup+12.7001 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23919
/proc/meminfo: memFree=20282904/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=31188 CPUtime=12.69 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 7549 0 0 0 1236 33 0 0 25 0 1 0 819781951 31936512 7476 33554432000 4194304 5714214 140735037532960 18446744073709551615 4197705 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 7797 7476 180 372 0 7422 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31188
[startup+25.5009 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23919
/proc/meminfo: memFree=20277696/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=34284 CPUtime=25.49 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 8436 0 0 0 2489 60 0 0 25 0 1 0 819781951 35106816 8325 33554432000 4194304 5714214 140735037532960 18446744073709551615 4323020 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 8571 8325 180 372 0 8196 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34284
[startup+51.1004 s]
/proc/loadavg: 1.99 2.02 2.00 3/474 23920
/proc/meminfo: memFree=20198652/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=66604 CPUtime=51.1 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 16469 0 0 0 5016 94 0 0 25 0 1 0 819781951 68202496 16358 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311436 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 16651 16358 180 372 0 16276 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 66604
[startup+102.317 s]
/proc/loadavg: 1.99 2.01 2.00 3/474 23922
/proc/meminfo: memFree=20165752/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=99184 CPUtime=102.31 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 24461 0 0 0 10070 161 0 0 25 0 1 0 819781951 101564416 24350 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 24796 24350 180 372 0 24421 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99184
[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 23923
/proc/meminfo: memFree=20088712/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=139120 CPUtime=162.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 34403 0 0 0 15998 227 0 0 25 0 1 0 819781951 142458880 34292 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 34780 34292 180 372 0 34405 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 139120
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 23925
/proc/meminfo: memFree=20020088/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=193464 CPUtime=222.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 47891 0 0 0 21934 291 0 0 25 0 1 0 819781951 198107136 47780 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 48366 47780 180 372 0 47991 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 193464
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 23926
/proc/meminfo: memFree=19974552/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=222688 CPUtime=282.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 55119 0 0 0 27863 362 0 0 25 0 1 0 819781951 228032512 55008 33554432000 4194304 5714214 140735037532960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 55672 55008 180 372 0 55297 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 222688
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 23928
/proc/meminfo: memFree=19901980/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=260748 CPUtime=342.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 64589 0 0 0 33787 438 0 0 25 0 1 0 819781951 267005952 64478 33554432000 4194304 5714214 140735037532960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 65187 64478 180 372 0 64812 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 260748
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23929
/proc/meminfo: memFree=19845520/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=302348 CPUtime=402.26 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 74902 0 0 0 39721 505 0 0 25 0 1 0 819781951 309604352 74791 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 75587 74791 180 372 0 75212 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 302348
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23931
/proc/meminfo: memFree=19786672/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=340800 CPUtime=462.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 84396 0 0 0 45650 575 0 0 25 0 1 0 819781951 348979200 84285 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 85200 84285 180 372 0 84825 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 340800
[startup+522.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 23933
/proc/meminfo: memFree=19736048/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=372532 CPUtime=522.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 92212 0 0 0 51568 656 0 0 25 0 1 0 819781951 381472768 92101 33554432000 4194304 5714214 140735037532960 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 93133 92101 180 372 0 92758 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 372532
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/474 23934
/proc/meminfo: memFree=19679592/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=426564 CPUtime=582.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 105680 0 0 0 57486 739 0 0 25 0 1 0 819781951 436801536 105569 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 106641 105569 180 372 0 106266 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 426564
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 23942
/proc/meminfo: memFree=19397308/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=572372 CPUtime=882.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 141742 0 0 0 87205 1020 0 0 25 0 1 0 819781951 586108928 141631 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 143093 141631 180 372 0 142718 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 572372
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23944
/proc/meminfo: memFree=19323108/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=611304 CPUtime=942.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 151429 0 0 0 93145 1080 0 0 25 0 1 0 819781951 625975296 151318 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 152826 151318 180 372 0 152451 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 611304
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23945
/proc/meminfo: memFree=19294560/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=628348 CPUtime=1002.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 155629 0 0 0 99098 1127 0 0 25 0 1 0 819781951 643428352 155518 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 157087 155518 180 372 0 156712 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 628348
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 23947
/proc/meminfo: memFree=19229052/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=641652 CPUtime=1062.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 158892 0 0 0 105031 1193 0 0 25 0 1 0 819781951 657051648 158781 33554432000 4194304 5714214 140735037532960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 160413 158781 180 372 0 160038 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 641652
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/474 23949
/proc/meminfo: memFree=19174100/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=696396 CPUtime=1122.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 172549 0 0 0 110967 1257 0 0 25 0 1 0 819781951 713109504 172438 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 174099 172438 180 372 0 173724 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 696396
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/474 23950
/proc/meminfo: memFree=19149512/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=721368 CPUtime=1182.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 178739 0 0 0 116911 1312 0 0 25 0 1 0 819781951 738680832 178628 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 180342 178628 180 372 0 179967 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 721368
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 23952
/proc/meminfo: memFree=19097396/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=747108 CPUtime=1242.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 185151 0 0 0 122847 1377 0 0 25 0 1 0 819781951 765038592 185040 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 186777 185040 180 372 0 186402 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 747108
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/474 23954
/proc/meminfo: memFree=19061644/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=780628 CPUtime=1302.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 193512 0 0 0 128806 1419 0 0 25 0 1 0 819781951 799363072 193401 33554432000 4194304 5714214 140735037532960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 195157 193401 180 372 0 194782 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 780628
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/474 23955
/proc/meminfo: memFree=18948640/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=819016 CPUtime=1362.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 203026 0 0 0 134762 1462 0 0 25 0 1 0 819781951 838672384 202915 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 204754 202915 180 372 0 204379 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 819016
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 23957
/proc/meminfo: memFree=18935572/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=832336 CPUtime=1422.25 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 206327 0 0 0 140725 1500 0 0 25 0 1 0 819781951 852312064 206216 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 208084 206216 180 372 0 207709 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 832336
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 23958
/proc/meminfo: memFree=18927844/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=842200 CPUtime=1482.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 208727 0 0 0 146668 1555 0 0 25 0 1 0 819781951 862412800 208616 33554432000 4194304 5714214 140735037532960 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 210550 208616 180 372 0 210175 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 842200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23960
/proc/meminfo: memFree=18871520/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=885744 CPUtime=1542.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 219566 0 0 0 152616 1607 0 0 25 0 1 0 819781951 907001856 219455 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 221436 219455 180 372 0 221061 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 885744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 23961
/proc/meminfo: memFree=18841112/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=899388 CPUtime=1602.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 222944 0 0 0 158572 1651 0 0 25 0 1 0 819781951 920973312 222833 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 224847 222833 180 372 0 224472 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 899388
[startup+1662.3 s]
/proc/loadavg: 1.96 2.01 2.00 2/472 23964
/proc/meminfo: memFree=19507472/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=923944 CPUtime=1662.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 229068 0 0 0 164520 1703 0 0 25 0 1 0 819781951 946118656 228957 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 230986 228957 180 372 0 230611 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 923944
[startup+1722.3 s]
/proc/loadavg: 1.43 1.85 1.94 2/468 23983
/proc/meminfo: memFree=19494388/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=946108 CPUtime=1722.23 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 234567 0 0 0 170460 1763 0 0 25 0 1 0 819781951 968814592 234456 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 236527 234456 180 372 0 236152 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 946108
[startup+1782.3 s]
/proc/loadavg: 1.14 1.68 1.88 2/468 23984
/proc/meminfo: memFree=19470660/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=970888 CPUtime=1782.24 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 240674 0 0 0 176386 1838 0 0 25 0 1 0 819781951 994189312 240563 33554432000 4194304 5714214 140735037532960 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 242722 240563 180 372 0 242347 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 970888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.11 1.65 1.86 2/468 23985
/proc/meminfo: memFree=19457248/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=983716 CPUtime=1800.05 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 243879 0 0 0 178148 1857 0 0 25 0 1 0 819781951 1007325184 243768 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 245929 243768 180 372 0 245554 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 983716
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: 1.11 1.65 1.86 2/468 23985
/proc/meminfo: memFree=19457248/32950928 swapFree=61858088/67111528
[pid=23918] ppid=23916 vsize=983716 CPUtime=1800.05 cores=1,3,5,7
/proc/23918/stat : 23918 (wbo1.6) R 23916 23918 21173 0 -1 4202496 243879 0 0 0 178148 1857 0 0 25 0 1 0 819781951 1007325184 243768 33554432000 4194304 5714214 140735037532960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23918/statm: 245929 243768 180 372 0 245554 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 983716
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.1
CPU user time (s): 1781.49
CPU system time (s): 18.6172
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 983716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.49
system time used= 18.6172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243879
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= 2244
runsolver used 7.96479 second user time and 19.88 second system time
The end