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-3460759-1307105806/watcher-3460759-1307105806 -o /tmp/evaluation-result-3460759-1307105806/solver-3460759-1307105806 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460759-1307105806.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.00 1.12 1.50 2/432 3411
/proc/meminfo: memFree=24778008/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1972 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 297 0 0 0 0 0 0 0 24 0 1 0 802996227 2019328 248 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 493 248 180 372 0 118 0
[startup+0.05416 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3411
/proc/meminfo: memFree=24778008/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=2512 CPUtime=0.05 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 410 0 0 0 5 0 0 0 24 0 1 0 802996227 2572288 361 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 628 361 180 372 0 253 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2512
[startup+0.101177 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3411
/proc/meminfo: memFree=24778008/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=2912 CPUtime=0.09 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 514 0 0 0 9 0 0 0 24 0 1 0 802996227 2981888 465 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 728 465 180 372 0 353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2912
[startup+0.301134 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3411
/proc/meminfo: memFree=24778008/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=4480 CPUtime=0.29 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 896 0 0 0 29 0 0 0 25 0 1 0 802996227 4587520 847 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 1120 847 180 372 0 745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4480
[startup+0.701068 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3411
/proc/meminfo: memFree=24778008/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=5800 CPUtime=0.69 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 1228 0 0 0 68 1 0 0 25 0 1 0 802996227 5939200 1179 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 1450 1179 180 372 0 1075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5800
[startup+1.5009 s]
/proc/loadavg: 1.00 1.12 1.50 3/438 3417
/proc/meminfo: memFree=24764936/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=8048 CPUtime=1.49 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 1785 0 0 0 148 1 0 0 25 0 1 0 802996227 8241152 1736 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 2012 1736 180 372 0 1637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8048
[startup+3.10059 s]
/proc/loadavg: 1.00 1.12 1.50 3/438 3417
/proc/meminfo: memFree=24758016/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=11344 CPUtime=3.09 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 2590 0 0 0 307 2 0 0 25 0 1 0 802996227 11616256 2541 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 2836 2541 180 372 0 2461 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11344
[startup+6.30094 s]
/proc/loadavg: 1.08 1.14 1.50 3/438 3417
/proc/meminfo: memFree=24746536/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=17336 CPUtime=6.29 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 4070 0 0 0 624 5 0 0 19 0 1 0 802996227 17752064 4021 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/3411/statm: 4334 4021 180 372 0 3959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17336
[startup+12.7007 s]
/proc/loadavg: 1.15 1.15 1.50 3/438 3417
/proc/meminfo: memFree=24727864/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=26712 CPUtime=12.69 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 6390 0 0 0 1257 12 0 0 25 0 1 0 802996227 27353088 6341 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 6678 6341 180 372 0 6303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26712
[startup+25.5012 s]
/proc/loadavg: 1.34 1.19 1.51 3/438 3417
/proc/meminfo: memFree=24696084/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=44620 CPUtime=25.49 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 10797 0 0 0 2527 22 0 0 25 0 1 0 802996227 45690880 10748 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 11155 10748 180 372 0 10780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44620
[startup+51.101 s]
/proc/loadavg: 1.56 1.25 1.52 3/438 3418
/proc/meminfo: memFree=24643308/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=76780 CPUtime=51.09 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 18811 0 0 0 5067 42 0 0 25 0 1 0 802996227 78622720 18762 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 19195 18762 180 372 0 18820 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76780
[startup+102.317 s]
/proc/loadavg: 1.81 1.37 1.54 3/438 3420
/proc/meminfo: memFree=24540128/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=135964 CPUtime=102.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 33597 0 0 0 10148 82 0 0 25 0 1 0 802996227 139227136 33548 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 33991 33548 180 372 0 33616 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 135964
[startup+162.301 s]
/proc/loadavg: 2.02 1.51 1.58 3/438 3421
/proc/meminfo: memFree=24434088/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=200408 CPUtime=162.29 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 49713 0 0 0 16105 124 0 0 25 0 1 0 802996227 205217792 49664 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 50102 49664 180 372 0 49727 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 200408
[startup+222.301 s]
/proc/loadavg: 2.05 1.61 1.61 3/438 3423
/proc/meminfo: memFree=24329028/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=261808 CPUtime=222.29 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 64861 0 0 0 22065 164 0 0 25 0 1 0 802996227 268091392 64812 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 65452 64812 180 372 0 65077 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 261808
[startup+282.301 s]
/proc/loadavg: 2.02 1.68 1.63 3/438 3434
/proc/meminfo: memFree=24228420/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=323472 CPUtime=282.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 80278 0 0 0 28025 205 0 0 25 0 1 0 802996227 331235328 80229 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 80868 80229 180 372 0 80493 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 323472
[startup+342.3 s]
/proc/loadavg: 2.00 1.73 1.65 3/438 3436
/proc/meminfo: memFree=24128220/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=381664 CPUtime=342.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 94815 0 0 0 33984 246 0 0 25 0 1 0 802996227 390823936 94766 33554432000 4194304 5714214 140736103266912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 95416 94766 180 372 0 95041 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 381664
[startup+402.3 s]
/proc/loadavg: 2.00 1.78 1.67 3/438 3438
/proc/meminfo: memFree=24035816/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=437904 CPUtime=402.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 108853 0 0 0 39944 286 0 0 25 0 1 0 802996227 448413696 108804 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 109476 108804 180 372 0 109101 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 437904
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.69 3/438 3439
/proc/meminfo: memFree=23939932/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=494276 CPUtime=462.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 122928 0 0 0 45904 326 0 0 25 0 1 0 802996227 506138624 122879 33554432000 4194304 5714214 140736103266912 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 123569 122879 180 372 0 123194 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 494276
[startup+522.301 s]
/proc/loadavg: 2.00 1.85 1.70 3/438 3441
/proc/meminfo: memFree=23851868/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=546468 CPUtime=522.3 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 135943 0 0 0 51868 362 0 0 25 0 1 0 802996227 559583232 135894 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 136617 135894 180 372 0 136242 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 546468
[startup+582.301 s]
/proc/loadavg: 2.15 1.91 1.73 3/438 3442
/proc/meminfo: memFree=23768032/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=593292 CPUtime=582.31 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 147673 0 0 0 57836 395 0 0 25 0 1 0 802996227 607531008 147624 33554432000 4194304 5714214 140736103266912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 148323 147624 180 372 0 147948 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 593292
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 1.99 1.80 3/438 3449
/proc/meminfo: memFree=23435484/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=785896 CPUtime=822.32 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 195768 0 0 0 81703 529 0 0 25 0 1 0 802996227 804757504 195719 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 196474 195719 180 372 0 196099 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 785896
[startup+882.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/438 3450
/proc/meminfo: memFree=23352500/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=833372 CPUtime=882.32 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 207618 0 0 0 87670 562 0 0 25 0 1 0 802996227 853372928 207569 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 208343 207569 180 372 0 207968 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 833372
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.82 3/438 3452
/proc/meminfo: memFree=23275836/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=880844 CPUtime=942.32 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 219431 0 0 0 93633 599 0 0 25 0 1 0 802996227 901984256 219382 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 220211 219382 180 372 0 219836 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 880844
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/438 3454
/proc/meminfo: memFree=23194848/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=928452 CPUtime=1002.33 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 231333 0 0 0 99601 632 0 0 25 0 1 0 802996227 950734848 231284 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 232113 231284 180 372 0 231738 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 928452
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/438 3455
/proc/meminfo: memFree=23115464/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=975692 CPUtime=1062.33 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 243167 0 0 0 105566 667 0 0 25 0 1 0 802996227 999108608 243118 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 243923 243118 180 372 0 243548 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 975692
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/438 3458
/proc/meminfo: memFree=23037956/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1019560 CPUtime=1122.33 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 254087 0 0 0 111532 701 0 0 25 0 1 0 802996227 1044029440 254038 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 254890 254038 180 372 0 254515 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1019560
[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 1.86 3/438 3459
/proc/meminfo: memFree=22958456/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1065512 CPUtime=1182.33 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 265571 0 0 0 117500 733 0 0 25 0 1 0 802996227 1091084288 265522 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 266378 265522 180 372 0 266003 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1065512
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.87 3/438 3462
/proc/meminfo: memFree=22876708/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1112844 CPUtime=1242.33 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 277406 0 0 0 123466 767 0 0 25 0 1 0 802996227 1139552256 277357 33554432000 4194304 5714214 140736103266912 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 278211 277357 180 372 0 277836 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1112844
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.88 3/438 3464
/proc/meminfo: memFree=22797948/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1157556 CPUtime=1302.35 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 288478 0 0 0 129436 799 0 0 25 0 1 0 802996227 1185337344 288429 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 289389 288429 180 372 0 289014 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1157556
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.88 3/438 3465
/proc/meminfo: memFree=22725628/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1201380 CPUtime=1362.34 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 299450 0 0 0 135404 830 0 0 25 0 1 0 802996227 1230213120 299401 33554432000 4194304 5714214 140736103266912 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 300345 299401 180 372 0 299970 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1201380
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.89 3/438 3467
/proc/meminfo: memFree=22647244/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1244024 CPUtime=1422.36 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 310059 0 0 0 141371 865 0 0 25 0 1 0 802996227 1273880576 310010 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 311006 310010 180 372 0 310631 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1244024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/438 3468
/proc/meminfo: memFree=22565636/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1291180 CPUtime=1482.35 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 321852 0 0 0 147336 899 0 0 25 0 1 0 802996227 1322168320 321803 33554432000 4194304 5714214 140736103266912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 322795 321803 180 372 0 322420 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1291180
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/438 3470
/proc/meminfo: memFree=22486132/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1339072 CPUtime=1542.35 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 333795 0 0 0 153300 935 0 0 25 0 1 0 802996227 1371209728 333746 33554432000 4194304 5714214 140736103266912 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 334768 333746 180 372 0 334393 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1339072
[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 1.92 3/438 3472
/proc/meminfo: memFree=22410604/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1381292 CPUtime=1602.35 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 344354 0 0 0 159264 971 0 0 25 0 1 0 802996227 1414443008 344305 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 345323 344305 180 372 0 344948 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 1381292
[startup+1662.3 s]
/proc/loadavg: 2.22 2.07 1.93 3/438 3473
/proc/meminfo: memFree=22335928/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1424184 CPUtime=1662.35 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 355037 0 0 0 165234 1001 0 0 25 0 1 0 802996227 1458364416 354967 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 356046 354967 180 372 0 355671 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1424184
[startup+1722.3 s]
/proc/loadavg: 2.14 2.07 1.94 3/438 3478
/proc/meminfo: memFree=22260612/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1466040 CPUtime=1722.36 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 365496 0 0 0 171204 1032 0 0 25 0 1 0 802996227 1501224960 365426 33554432000 4194304 5714214 140736103266912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 366510 365426 180 372 0 366135 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1466040
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 1.94 3/438 3479
/proc/meminfo: memFree=22184940/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1504732 CPUtime=1782.36 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 375173 0 0 0 177170 1066 0 0 25 0 1 0 802996227 1540845568 375103 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 376183 375103 180 372 0 375808 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1504732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.05 1.94 3/438 3480
/proc/meminfo: memFree=22161620/32951124 swapFree=50923800/67111528
[pid=3411] ppid=3409 vsize=1518448 CPUtime=1800.06 cores=0,2,4,6
/proc/3411/stat : 3411 (wbo1.6) R 3409 3411 2319 0 -1 4202496 378569 0 0 0 178931 1075 0 0 25 0 1 0 802996227 1554890752 378499 33554432000 4194304 5714214 140736103266912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/3411/statm: 379612 378499 180 372 0 379237 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1518448
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.08
CPU time (s): 1800.15
CPU user time (s): 1789.33
CPU system time (s): 10.8264
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1518448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.33
system time used= 10.8264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378570
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= 21599
runsolver used 8.11876 second user time and 17.9713 second system time
The end