Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.14 | 1800.91 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb |
MD5SUM | 5548b3a1af88258afdf09b4f2d4db162 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 175 |
Best CPU time to get the best result obtained on this benchmark | 1795.58 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 239 |
Optimality of the best value was proved | NO |
Number of variables | 63009 |
Total number of constraints | 507 |
Number of constraints which are clauses | 507 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 7753 |
Number of terms in the objective function | 63009 |
Biggest coefficient in the objective function | 2 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 122425 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 122425 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875672-1245134898.opb. 0.00/0.00 c Instance file HOME/instance-1875672-1245134898.opb 0.00/0.00 c File size is 4644392 bytes. 0.79/0.82 c Highest Coefficient sum: 7754 0.79/0.82 c ============================[ Problem Statistics ]============================= 0.79/0.82 c | | 0.79/0.82 c | Parsing time: 0.80 s | 0.79/0.82 c | Number Variables: 63009 | 0.79/0.82 c | Number Clauses: 63516 | 0.79/0.82 c | Number Cardinality: 0 | 0.79/0.82 c | Number PB Constraints: 0 | 0.79/0.82 c core #1 0.79/0.82 c Core size: 2 Core Weight: 2 Total Weight: 2 0.79/0.82 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.89/0.98 c core #2 0.89/0.98 c Core size: 3074 Core Weight: 1 Total Weight: 3 0.89/0.98 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.99/1.08 c core #3 0.99/1.08 c Core size: 291 Core Weight: 1 Total Weight: 4 0.99/1.08 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 1.09/1.19 c core #4 1.09/1.19 c Core size: 905 Core Weight: 1 Total Weight: 5 1.09/1.19 c Elapsed CPU time: 1.13783 s Remaining CPU time: 1798.86 s 1.19/1.28 c core #5 1.19/1.28 c Core size: 8 Core Weight: 1 Total Weight: 6 1.19/1.28 c Elapsed CPU time: 1.23081 s Remaining CPU time: 1798.77 s 1.29/1.38 c core #6 1.29/1.38 c Core size: 5 Core Weight: 2 Total Weight: 8 1.29/1.38 c Elapsed CPU time: 1.3238 s Remaining CPU time: 1798.68 s 1.40/1.47 c core #7 1.40/1.47 c Core size: 185 Core Weight: 1 Total Weight: 9 1.40/1.47 c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s 1.49/1.57 c core #8 1.49/1.57 c Core size: 229 Core Weight: 1 Total Weight: 10 1.49/1.57 c Elapsed CPU time: 1.51277 s Remaining CPU time: 1798.49 s 1.59/1.67 c core #9 1.59/1.67 c Core size: 54 Core Weight: 1 Total Weight: 11 1.59/1.67 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.69/1.76 c core #10 1.69/1.76 c Core size: 14 Core Weight: 2 Total Weight: 13 1.69/1.76 c Elapsed CPU time: 1.69174 s Remaining CPU time: 1798.31 s 1.79/1.86 c core #11 1.79/1.86 c Core size: 603 Core Weight: 1 Total Weight: 14 1.79/1.86 c Elapsed CPU time: 1.78773 s Remaining CPU time: 1798.21 s 1.89/1.96 c core #12 1.89/1.96 c Core size: 411 Core Weight: 1 Total Weight: 15 1.89/1.96 c Elapsed CPU time: 1.88071 s Remaining CPU time: 1798.12 s 1.99/2.07 c core #13 1.99/2.07 c Core size: 1236 Core Weight: 1 Total Weight: 16 1.99/2.07 c Elapsed CPU time: 1.9847 s Remaining CPU time: 1798.02 s 2.10/2.17 c core #14 2.10/2.17 c Core size: 753 Core Weight: 1 Total Weight: 17 2.10/2.17 c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s 2.19/2.27 c core #15 2.19/2.27 c Core size: 211 Core Weight: 1 Total Weight: 18 2.19/2.27 c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s 2.29/2.39 c core #16 2.29/2.39 c Core size: 1470 Core Weight: 1 Total Weight: 19 2.29/2.39 c Elapsed CPU time: 2.29365 s Remaining CPU time: 1797.71 s 2.39/2.49 c core #17 2.39/2.49 c Core size: 269 Core Weight: 1 Total Weight: 20 2.39/2.49 c Elapsed CPU time: 2.38564 s Remaining CPU time: 1797.61 s 2.59/2.60 c core #18 2.59/2.60 c Core size: 910 Core Weight: 1 Total Weight: 21 2.59/2.60 c Elapsed CPU time: 2.49062 s Remaining CPU time: 1797.51 s 2.69/2.70 c core #19 2.69/2.70 c Core size: 411 Core Weight: 1 Total Weight: 22 2.69/2.70 c Elapsed CPU time: 2.58761 s Remaining CPU time: 1797.41 s 2.79/2.80 c core #20 2.79/2.80 c Core size: 17 Core Weight: 1 Total Weight: 23 2.79/2.80 c Elapsed CPU time: 2.68559 s Remaining CPU time: 1797.31 s 2.89/2.91 c core #21 2.89/2.91 c Core size: 29 Core Weight: 2 Total Weight: 25 2.89/2.91 c Elapsed CPU time: 2.78258 s Remaining CPU time: 1797.22 s 2.99/3.01 c core #22 2.99/3.01 c Core size: 32 Core Weight: 1 Total Weight: 26 2.99/3.01 c Elapsed CPU time: 2.87956 s Remaining CPU time: 1797.12 s 3.09/3.11 c core #23 3.09/3.11 c Core size: 266 Core Weight: 1 Total Weight: 27 3.09/3.11 c Elapsed CPU time: 2.97855 s Remaining CPU time: 1797.02 s 3.20/3.24 c core #24 3.20/3.24 c Core size: 1948 Core Weight: 1 Total Weight: 28 3.20/3.24 c Elapsed CPU time: 3.10553 s Remaining CPU time: 1796.89 s 3.29/3.35 c core #25 3.29/3.35 c Core size: 205 Core Weight: 1 Total Weight: 29 3.29/3.35 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.49/3.50 c core #26 3.49/3.50 c Core size: 2374 Core Weight: 1 Total Weight: 30 3.49/3.50 c Elapsed CPU time: 3.35049 s Remaining CPU time: 1796.65 s 3.69/3.70 c core #27 3.69/3.70 c Core size: 3511 Core Weight: 1 Total Weight: 31 3.69/3.70 c Elapsed CPU time: 3.54846 s Remaining CPU time: 1796.45 s 3.79/3.82 c core #28 3.79/3.82 c Core size: 312 Core Weight: 1 Total Weight: 32 3.79/3.82 c Elapsed CPU time: 3.65844 s Remaining CPU time: 1796.34 s 3.89/3.93 c core #29 3.89/3.93 c Core size: 18 Core Weight: 1 Total Weight: 33 3.89/3.93 c Elapsed CPU time: 3.76543 s Remaining CPU time: 1796.23 s 3.99/4.05 c core #30 3.99/4.05 c Core size: 1401 Core Weight: 1 Total Weight: 34 3.99/4.05 c Elapsed CPU time: 3.89041 s Remaining CPU time: 1796.11 s 4.09/4.17 c core #31 4.09/4.17 c Core size: 32 Core Weight: 1 Total Weight: 35 4.09/4.17 c Elapsed CPU time: 3.99539 s Remaining CPU time: 1796 s 4.19/4.28 c core #32 4.19/4.28 c Core size: 377 Core Weight: 1 Total Weight: 36 4.19/4.28 c Elapsed CPU time: 4.10538 s Remaining CPU time: 1795.89 s 4.40/4.42 c core #33 4.40/4.42 c Core size: 27 Core Weight: 1 Total Weight: 37 4.40/4.42 c Elapsed CPU time: 4.23036 s Remaining CPU time: 1795.77 s 4.49/4.53 c core #34 4.49/4.53 c Core size: 35 Core Weight: 1 Total Weight: 38 4.49/4.53 c Elapsed CPU time: 4.33934 s Remaining CPU time: 1795.66 s 4.59/4.65 c core #35 4.59/4.65 c Core size: 45 Core Weight: 2 Total Weight: 40 4.59/4.65 c Elapsed CPU time: 4.44832 s Remaining CPU time: 1795.55 s 4.69/4.76 c core #36 4.69/4.76 c Core size: 273 Core Weight: 1 Total Weight: 41 4.69/4.76 c Elapsed CPU time: 4.55431 s Remaining CPU time: 1795.45 s 4.79/4.88 c core #37 4.79/4.88 c Core size: 72 Core Weight: 2 Total Weight: 43 4.79/4.88 c Elapsed CPU time: 4.66129 s Remaining CPU time: 1795.34 s 4.89/4.99 c core #38 4.89/4.99 c Core size: 306 Core Weight: 2 Total Weight: 45 4.89/4.99 c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s 5.09/5.12 c core #39 5.09/5.12 c Core size: 1380 Core Weight: 1 Total Weight: 46 5.09/5.12 c Elapsed CPU time: 4.89026 s Remaining CPU time: 1795.11 s 5.19/5.24 c core #40 5.19/5.24 c Core size: 39 Core Weight: 2 Total Weight: 48 5.19/5.24 c Elapsed CPU time: 5.00424 s Remaining CPU time: 1795 s 5.29/5.36 c core #41 5.29/5.36 c Core size: 16 Core Weight: 1 Total Weight: 49 5.29/5.36 c Elapsed CPU time: 5.11522 s Remaining CPU time: 1794.88 s 5.39/5.48 c core #42 5.39/5.48 c Core size: 2 Core Weight: 2 Total Weight: 51 5.39/5.48 c Elapsed CPU time: 5.2302 s Remaining CPU time: 1794.77 s 5.50/5.60 c core #43 5.50/5.60 c Core size: 289 Core Weight: 1 Total Weight: 52 5.50/5.60 c Elapsed CPU time: 5.34319 s Remaining CPU time: 1794.66 s 5.69/5.72 c core #44 5.69/5.72 c Core size: 3 Core Weight: 2 Total Weight: 54 5.69/5.72 c Elapsed CPU time: 5.45617 s Remaining CPU time: 1794.54 s 5.79/5.84 c core #45 5.79/5.84 c Core size: 450 Core Weight: 1 Total Weight: 55 5.79/5.84 c Elapsed CPU time: 5.57215 s Remaining CPU time: 1794.43 s 5.89/5.96 c core #46 5.89/5.96 c Core size: 10 Core Weight: 1 Total Weight: 56 5.89/5.96 c Elapsed CPU time: 5.68614 s Remaining CPU time: 1794.31 s 5.99/6.08 c core #47 5.99/6.08 c Core size: 77 Core Weight: 1 Total Weight: 57 5.99/6.08 c Elapsed CPU time: 5.79912 s Remaining CPU time: 1794.2 s 6.19/6.20 c core #48 6.19/6.20 c Core size: 46 Core Weight: 1 Total Weight: 58 6.19/6.20 c Elapsed CPU time: 5.9151 s Remaining CPU time: 1794.08 s 6.29/6.32 c core #49 6.29/6.32 c Core size: 44 Core Weight: 1 Total Weight: 59 6.29/6.32 c Elapsed CPU time: 6.02408 s Remaining CPU time: 1793.98 s 6.39/6.44 c core #50 6.39/6.44 c Core size: 65 Core Weight: 1 Total Weight: 60 6.39/6.44 c Elapsed CPU time: 6.14307 s Remaining CPU time: 1793.86 s 6.49/6.56 c core #51 6.49/6.56 c Core size: 214 Core Weight: 1 Total Weight: 61 6.49/6.56 c Elapsed CPU time: 6.25205 s Remaining CPU time: 1793.75 s 6.59/6.68 c core #52 6.59/6.68 c Core size: 44 Core Weight: 1 Total Weight: 62 6.59/6.68 c Elapsed CPU time: 6.36203 s Remaining CPU time: 1793.64 s 6.79/6.80 c core #53 6.79/6.80 c Core size: 68 Core Weight: 1 Total Weight: 63 6.79/6.80 c Elapsed CPU time: 6.47602 s Remaining CPU time: 1793.52 s 6.89/6.93 c core #54 6.89/6.93 c Core size: 417 Core Weight: 1 Total Weight: 64 6.89/6.93 c Elapsed CPU time: 6.6 s Remaining CPU time: 1793.4 s 6.99/7.05 c core #55 6.99/7.05 c Core size: 112 Core Weight: 1 Total Weight: 65 6.99/7.05 c Elapsed CPU time: 6.71398 s Remaining CPU time: 1793.29 s 7.09/7.17 c core #56 7.09/7.17 c Core size: 53 Core Weight: 1 Total Weight: 66 7.09/7.17 c Elapsed CPU time: 6.82996 s Remaining CPU time: 1793.17 s 7.29/7.30 c core #57 7.29/7.30 c Core size: 256 Core Weight: 1 Total Weight: 67 7.29/7.30 c Elapsed CPU time: 6.95094 s Remaining CPU time: 1793.05 s 7.39/7.43 c core #58 7.39/7.43 c Core size: 300 Core Weight: 1 Total Weight: 68 7.39/7.43 c Elapsed CPU time: 7.07292 s Remaining CPU time: 1792.93 s 7.49/7.55 c core #59 7.49/7.55 c Core size: 175 Core Weight: 1 Total Weight: 69 7.49/7.55 c Elapsed CPU time: 7.18291 s Remaining CPU time: 1792.82 s 7.59/7.68 c core #60 7.59/7.68 c Core size: 377 Core Weight: 1 Total Weight: 70 7.59/7.68 c Elapsed CPU time: 7.31189 s Remaining CPU time: 1792.69 s 7.79/7.80 c core #61 7.79/7.80 c Core size: 363 Core Weight: 1 Total Weight: 71 7.79/7.80 c Elapsed CPU time: 7.42987 s Remaining CPU time: 1792.57 s 7.88/7.92 c core #62 7.88/7.92 c Core size: 292 Core Weight: 1 Total Weight: 72 7.88/7.92 c Elapsed CPU time: 7.54385 s Remaining CPU time: 1792.46 s 7.99/8.05 c core #63 7.99/8.05 c Core size: 345 Core Weight: 1 Total Weight: 73 7.99/8.05 c Elapsed CPU time: 7.65984 s Remaining CPU time: 1792.34 s 8.09/8.18 c core #64 8.09/8.18 c Core size: 302 Core Weight: 1 Total Weight: 74 8.09/8.18 c Elapsed CPU time: 7.77882 s Remaining CPU time: 1792.22 s 8.29/8.30 c core #65 8.29/8.30 c Core size: 175 Core Weight: 1 Total Weight: 75 8.29/8.30 c Elapsed CPU time: 7.8998 s Remaining CPU time: 1792.1 s 8.38/8.43 c core #66 8.38/8.43 c Core size: 51 Core Weight: 1 Total Weight: 76 8.38/8.43 c Elapsed CPU time: 8.02578 s Remaining CPU time: 1791.97 s 8.49/8.56 c core #67 8.49/8.56 c Core size: 4 Core Weight: 1 Total Weight: 77 8.49/8.56 c Elapsed CPU time: 8.14476 s Remaining CPU time: 1791.86 s 8.58/8.69 c core #68 8.58/8.69 c Core size: 107 Core Weight: 1 Total Weight: 78 8.58/8.69 c Elapsed CPU time: 8.27374 s Remaining CPU time: 1791.73 s 8.80/8.82 c core #69 8.80/8.82 c Core size: 4 Core Weight: 2 Total Weight: 80 8.80/8.82 c Elapsed CPU time: 8.38472 s Remaining CPU time: 1791.62 s 8.88/8.94 c core #70 8.88/8.94 c Core size: 9 Core Weight: 1 Total Weight: 81 8.88/8.94 c Elapsed CPU time: 8.50371 s Remaining CPU time: 1791.5 s 8.98/9.08 c core #71 8.98/9.08 c Core size: 574 Core Weight: 1 Total Weight: 82 8.98/9.08 c Elapsed CPU time: 8.62869 s Remaining CPU time: 1791.37 s 9.19/9.21 c core #72 9.19/9.21 c Core size: 554 Core Weight: 1 Total Weight: 83 9.19/9.21 c Elapsed CPU time: 8.75967 s Remaining CPU time: 1791.24 s 9.29/9.35 c core #73 9.29/9.35 c Core size: 484 Core Weight: 1 Total Weight: 84 9.29/9.35 c Elapsed CPU time: 8.88665 s Remaining CPU time: 1791.11 s 9.38/9.50 c core #74 9.38/9.50 c Core size: 960 Core Weight: 1 Total Weight: 85 9.38/9.50 c Elapsed CPU time: 9.02663 s Remaining CPU time: 1790.97 s 9.59/9.63 c core #75 9.59/9.63 c Core size: 224 Core Weight: 1 Total Weight: 86 9.59/9.63 c Elapsed CPU time: 9.15061 s Remaining CPU time: 1790.85 s 9.68/9.77 c core #76 9.68/9.77 c Core size: 320 Core Weight: 1 Total Weight: 87 9.68/9.77 c Elapsed CPU time: 9.28359 s Remaining CPU time: 1790.72 s 9.89/9.91 c core #77 9.89/9.91 c Core size: 829 Core Weight: 1 Total Weight: 88 9.89/9.91 c Elapsed CPU time: 9.41457 s Remaining CPU time: 1790.59 s 9.99/10.06 c core #78 9.99/10.06 c Core size: 705 Core Weight: 1 Total Weight: 89 9.99/10.06 c Elapsed CPU time: 9.55555 s Remaining CPU time: 1790.44 s 10.19/10.20 c core #79 10.19/10.20 c Core size: 923 Core Weight: 1 Total Weight: 90 10.19/10.20 c Elapsed CPU time: 9.69053 s Remaining CPU time: 1790.31 s 10.29/10.35 c core #80 10.29/10.35 c Core size: 380 Core Weight: 1 Total Weight: 91 10.29/10.35 c Elapsed CPU time: 9.82051 s Remaining CPU time: 1790.18 s 10.38/10.49 c core #81 10.38/10.49 c Core size: 582 Core Weight: 1 Total Weight: 92 10.38/10.49 c Elapsed CPU time: 9.95249 s Remaining CPU time: 1790.05 s 10.59/10.64 c core #82 10.59/10.64 c Core size: 81 Core Weight: 1 Total Weight: 93 10.59/10.64 c Elapsed CPU time: 10.0895 s Remaining CPU time: 1789.91 s 10.69/10.79 c core #83 10.69/10.79 c Core size: 290 Core Weight: 1 Total Weight: 94 10.69/10.79 c Elapsed CPU time: 10.2274 s Remaining CPU time: 1789.77 s 10.89/10.95 c core #84 10.89/10.95 c Core size: 236 Core Weight: 1 Total Weight: 95 10.89/10.95 c Elapsed CPU time: 10.3674 s Remaining CPU time: 1789.63 s 10.99/11.09 c core #85 10.99/11.09 c Core size: 358 Core Weight: 1 Total Weight: 96 10.99/11.09 c Elapsed CPU time: 10.5054 s Remaining CPU time: 1789.49 s 11.19/11.25 c core #86 11.19/11.25 c Core size: 648 Core Weight: 1 Total Weight: 97 11.19/11.25 c Elapsed CPU time: 10.6534 s Remaining CPU time: 1789.35 s 11.28/11.39 c core #87 11.28/11.39 c Core size: 515 Core Weight: 1 Total Weight: 98 11.28/11.39 c Elapsed CPU time: 10.7834 s Remaining CPU time: 1789.22 s 11.48/11.55 c core #88 11.48/11.55 c Core size: 309 Core Weight: 1 Total Weight: 99 11.48/11.55 c Elapsed CPU time: 10.9243 s Remaining CPU time: 1789.08 s 11.59/11.69 c core #89 11.59/11.69 c Core size: 54 Core Weight: 1 Total Weight: 100 11.59/11.69 c Elapsed CPU time: 11.0653 s Remaining CPU time: 1788.93 s 11.79/11.85 c core #90 11.79/11.85 c Core size: 141 Core Weight: 1 Total Weight: 101 11.79/11.85 c Elapsed CPU time: 11.2073 s Remaining CPU time: 1788.79 s 11.89/12.00 c core #91 11.89/12.00 c Core size: 165 Core Weight: 1 Total Weight: 102 11.89/12.00 c Elapsed CPU time: 11.3453 s Remaining CPU time: 1788.65 s 12.09/12.16 c core #92 12.09/12.16 c Core size: 486 Core Weight: 1 Total Weight: 103 12.09/12.16 c Elapsed CPU time: 11.4953 s Remaining CPU time: 1788.5 s 12.28/12.30 c core #93 12.28/12.30 c Core size: 201 Core Weight: 1 Total Weight: 104 12.28/12.30 c Elapsed CPU time: 11.6302 s Remaining CPU time: 1788.37 s 12.38/12.46 c core #94 12.38/12.46 c Core size: 252 Core Weight: 1 Total Weight: 105 12.38/12.46 c Elapsed CPU time: 11.7732 s Remaining CPU time: 1788.23 s 12.58/12.61 c core #95 12.58/12.61 c Core size: 50 Core Weight: 1 Total Weight: 106 12.58/12.61 c Elapsed CPU time: 11.9112 s Remaining CPU time: 1788.09 s 12.68/12.77 c core #96 12.68/12.77 c Core size: 827 Core Weight: 1 Total Weight: 107 12.68/12.77 c Elapsed CPU time: 12.0622 s Remaining CPU time: 1787.94 s 12.88/12.92 c core #97 12.88/12.92 c Core size: 14 Core Weight: 1 Total Weight: 108 12.88/12.92 c Elapsed CPU time: 12.2011 s Remaining CPU time: 1787.8 s 12.98/13.08 c core #98 12.98/13.08 c Core size: 713 Core Weight: 1 Total Weight: 109 12.98/13.08 c Elapsed CPU time: 12.3571 s Remaining CPU time: 1787.64 s 13.18/13.23 c core #99 13.18/13.23 c Core size: 219 Core Weight: 1 Total Weight: 110 13.18/13.23 c Elapsed CPU time: 12.4951 s Remaining CPU time: 1787.5 s 13.28/13.39 c core #100 13.28/13.39 c Core size: 166 Core Weight: 2 Total Weight: 112 13.28/13.39 c Elapsed CPU time: 12.6371 s Remaining CPU time: 1787.36 s 13.48/13.54 c core #101 13.48/13.54 c Core size: 431 Core Weight: 1 Total Weight: 113 13.48/13.54 c Elapsed CPU time: 12.7801 s Remaining CPU time: 1787.22 s 13.69/13.71 c core #102 13.69/13.71 c Core size: 134 Core Weight: 1 Total Weight: 114 13.69/13.71 c Elapsed CPU time: 12.928 s Remaining CPU time: 1787.07 s 13.78/13.86 c core #103 13.78/13.86 c Core size: 4 Core Weight: 1 Total Weight: 115 13.78/13.86 c Elapsed CPU time: 13.074 s Remaining CPU time: 1786.93 s 13.98/14.03 c core #104 13.98/14.03 c Core size: 133 Core Weight: 2 Total Weight: 117 13.98/14.03 c Elapsed CPU time: 13.225 s Remaining CPU time: 1786.78 s 14.09/14.18 c core #105 14.09/14.18 c Core size: 178 Core Weight: 1 Total Weight: 118 14.09/14.18 c Elapsed CPU time: 13.367 s Remaining CPU time: 1786.63 s 14.28/14.34 c core #106 14.28/14.34 c Core size: 670 Core Weight: 1 Total Weight: 119 14.28/14.34 c Elapsed CPU time: 13.5239 s Remaining CPU time: 1786.48 s 14.48/14.51 c core #107 14.48/14.51 c Core size: 836 Core Weight: 1 Total Weight: 120 14.48/14.51 c Elapsed CPU time: 13.6769 s Remaining CPU time: 1786.32 s 14.58/14.67 c core #108 14.58/14.67 c Core size: 33 Core Weight: 2 Total Weight: 122 14.58/14.67 c Elapsed CPU time: 13.8279 s Remaining CPU time: 1786.17 s 14.78/14.82 c core #109 14.78/14.82 c Core size: 31 Core Weight: 1 Total Weight: 123 14.78/14.82 c Elapsed CPU time: 13.9709 s Remaining CPU time: 1786.03 s 14.98/15.00 c core #110 14.98/15.00 c Core size: 805 Core Weight: 1 Total Weight: 124 14.98/15.00 c Elapsed CPU time: 14.1349 s Remaining CPU time: 1785.87 s 15.08/15.15 c core #111 15.08/15.15 c Core size: 19 Core Weight: 1 Total Weight: 125 15.08/15.15 c Elapsed CPU time: 14.2758 s Remaining CPU time: 1785.72 s 15.28/15.31 c core #112 15.28/15.31 c Core size: 18 Core Weight: 1 Total Weight: 126 15.28/15.31 c Elapsed CPU time: 14.4268 s Remaining CPU time: 1785.57 s 15.39/15.49 c core #113 15.39/15.49 c Core size: 1050 Core Weight: 1 Total Weight: 127 15.39/15.49 c Elapsed CPU time: 14.5848 s Remaining CPU time: 1785.42 s 15.58/15.65 c core #114 15.58/15.65 c Core size: 769 Core Weight: 1 Total Weight: 128 15.58/15.65 c Elapsed CPU time: 14.7348 s Remaining CPU time: 1785.27 s 15.78/15.82 c core #115 15.78/15.82 c Core size: 234 Core Weight: 2 Total Weight: 130 15.78/15.82 c Elapsed CPU time: 14.8887 s Remaining CPU time: 1785.11 s 15.88/15.98 c core #116 15.88/15.98 c Core size: 327 Core Weight: 1 Total Weight: 131 15.88/15.98 c Elapsed CPU time: 15.0457 s Remaining CPU time: 1784.95 s 16.08/16.16 c core #117 16.08/16.16 c Core size: 872 Core Weight: 1 Total Weight: 132 16.08/16.16 c Elapsed CPU time: 15.2097 s Remaining CPU time: 1784.79 s 16.28/16.32 c core #118 16.28/16.32 c Core size: 2 Core Weight: 2 Total Weight: 134 16.28/16.32 c Elapsed CPU time: 15.3647 s Remaining CPU time: 1784.64 s 16.38/16.49 c core #119 16.38/16.49 c Core size: 2 Core Weight: 2 Total Weight: 136 16.38/16.49 c Elapsed CPU time: 15.5186 s Remaining CPU time: 1784.48 s 16.58/16.67 c core #120 16.58/16.67 c Core size: 1205 Core Weight: 1 Total Weight: 137 16.58/16.67 c Elapsed CPU time: 15.6936 s Remaining CPU time: 1784.31 s 16.78/16.85 c core #121 16.78/16.85 c Core size: 1115 Core Weight: 1 Total Weight: 138 16.78/16.85 c Elapsed CPU time: 15.8576 s Remaining CPU time: 1784.14 s 16.98/17.02 c core #122 16.98/17.02 c Core size: 780 Core Weight: 1 Total Weight: 139 16.98/17.02 c Elapsed CPU time: 16.0236 s Remaining CPU time: 1783.98 s 17.08/17.20 c core #123 17.08/17.20 c Core size: 995 Core Weight: 1 Total Weight: 140 17.08/17.20 c Elapsed CPU time: 16.1765 s Remaining CPU time: 1783.82 s 17.28/17.37 c core #124 17.28/17.37 c Core size: 241 Core Weight: 1 Total Weight: 141 17.28/17.37 c Elapsed CPU time: 16.3425 s Remaining CPU time: 1783.66 s 17.48/17.57 c core #125 17.48/17.57 c Core size: 1051 Core Weight: 1 Total Weight: 142 17.48/17.57 c Elapsed CPU time: 16.5275 s Remaining CPU time: 1783.47 s 17.68/17.75 c ============================[ Search Statistics ]============================== 17.68/17.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.68/17.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.68/17.75 c =============================================================================== 17.68/17.75 c | 0 | 62328 105030 500184 | 35010 0 nan | 0.000 % | 17.78/17.81 c | 102 | 62328 105030 500184 | 38511 102 628 | 46.027 % | 17.88/17.92 c =============================================================================== 17.88/17.92 c core #126 17.88/17.92 c Core size: 2097 Core Weight: 1 Total Weight: 143 17.88/17.92 c Elapsed CPU time: 16.8744 s Remaining CPU time: 1783.13 s 18.08/18.11 c ============================[ Search Statistics ]============================== 18.08/18.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.08/18.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.08/18.11 c =============================================================================== 18.08/18.11 c | 0 | 65823 105569 508025 | 35189 0 nan | 0.000 % | 18.18/18.20 c | 100 | 65822 105569 508025 | 38708 100 606 | 44.012 % | 18.48/18.53 c | 253 | 65810 105569 508025 | 42579 253 947 | 44.026 % | 19.08/19.12 c | 478 | 65809 105569 508025 | 46837 478 1443 | 44.028 % | 20.48/20.59 c | 815 | 65803 105569 508025 | 51521 794 2388 | 44.028 % | 22.78/22.88 c | 1322 | 65794 105569 508025 | 56673 1296 2393 | 44.040 % | 24.28/24.39 c =============================================================================== 24.38/24.43 c core #127 24.38/24.43 c Core size: 9232 Core Weight: 1 Total Weight: 144 24.38/24.43 c Elapsed CPU time: 23.3125 s Remaining CPU time: 1776.69 s 24.58/24.64 c ============================[ Search Statistics ]============================== 24.58/24.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.58/24.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.58/24.64 c =============================================================================== 24.58/24.64 c | 0 | 80230 108863 535864 | 36287 0 nan | 0.000 % | 24.78/24.81 c | 100 | 80230 108863 535864 | 39916 100 723 | 36.706 % | 24.88/25.00 c | 250 | 80230 108863 535864 | 43908 250 778 | 36.706 % | 27.48/27.55 c | 476 | 80230 108863 535864 | 48298 476 766 | 36.706 % | 36.38/36.41 c | 813 | 80230 108863 535864 | 53128 813 961 | 36.706 % | 42.27/42.37 c | 1319 | 80230 108863 535864 | 58441 1319 1246 | 36.706 % | 59.66/59.74 c =============================================================================== 59.66/59.74 c core #128 59.66/59.74 c Core size: 595 Core Weight: 1 Total Weight: 145 59.66/59.74 c Elapsed CPU time: 58.5301 s Remaining CPU time: 1741.47 s 59.86/59.94 c ============================[ Search Statistics ]============================== 59.86/59.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.86/59.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.86/59.94 c =============================================================================== 59.86/59.94 c | 0 | 81090 109179 537485 | 36393 0 nan | 0.000 % | 59.96/60.08 c | 100 | 81090 109179 537485 | 40032 100 620 | 36.325 % | 65.27/65.35 c | 250 | 81090 109179 537485 | 44035 250 592 | 36.325 % | 67.26/67.35 c | 475 | 81089 109179 537485 | 48439 474 581 | 36.327 % | 70.66/70.74 c | 812 | 81087 109179 537485 | 53282 810 848 | 36.327 % | 96.76/96.81 c | 1321 | 81079 109179 537485 | 58611 1317 1321 | 36.335 % | 141.53/141.61 c | 2080 | 81075 109179 537485 | 64472 2061 2184 | 36.338 % | 185.51/185.63 c | 3219 | 81073 109179 537485 | 70919 3199 2682 | 36.340 % | 251.98/252.16 c | 4927 | 81070 109179 537485 | 78011 4904 3116 | 36.342 % | 387.83/388.04 c | 7490 | 81066 109179 537485 | 85812 7463 3031 | 36.345 % | 472.39/472.67 c | 11335 | 81063 109179 537485 | 94394 11305 3328 | 36.347 % | 613.22/613.52 c | 17102 | 81059 109179 537485 | 103833 17047 4344 | 36.349 % | 841.54/841.96 c | 25751 | 81044 109179 537485 | 114216 25676 5010 | 36.361 % | 1005.37/1005.89 c =============================================================================== 1006.37/1006.84 c core #129 1006.37/1006.84 c Core size: 20559 Core Weight: 1 Total Weight: 146 1006.37/1006.84 c Elapsed CPU time: 1003.91 s Remaining CPU time: 796.089 s 1006.67/1007.12 c ============================[ Search Statistics ]============================== 1006.67/1007.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1006.67/1007.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1006.67/1007.12 c =============================================================================== 1006.67/1007.12 c | 0 | 109293 112115 598928 | 37371 0 nan | 0.000 % | 1006.87/1007.33 c | 100 | 109293 112115 598928 | 41108 100 662 | 26.066 % | 1010.97/1011.41 c | 250 | 109293 112115 598928 | 45219 250 577 | 26.066 % | 1031.96/1032.45 c | 476 | 109293 112115 598928 | 49741 476 1168 | 26.066 % | 1043.56/1044.07 c | 813 | 109293 112115 598928 | 54715 813 1217 | 26.066 % | 1118.61/1119.10 c | 1319 | 109293 112115 598928 | 60187 1319 1758 | 26.066 % | 1296.43/1297.00 c | 2079 | 109293 112115 598928 | 66206 2079 3550 | 26.066 % | 1423.69/1424.37 c | 3218 | 109293 112115 598928 | 72826 3218 5241 | 26.066 % | 1603.81/1604.56 c | 4931 | 109293 112115 598928 | 80109 4931 5734 | 26.066 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875672-1245134898/watcher-1875672-1245134898 -o /tmp/evaluation-result-1875672-1245134898/solver-1875672-1245134898 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875672-1245134898.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9712 /proc/meminfo: memFree=1916568/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=7388 CPUtime=0 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 181089503 7565312 258 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 1847 266 123 292 0 418 0 [startup+0.015703 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9712 /proc/meminfo: memFree=1916568/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=8524 CPUtime=0.01 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 523 0 0 0 1 0 0 0 18 0 1 0 181089503 8728576 507 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 2131 509 140 292 0 702 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8524 [startup+0.101716 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9712 /proc/meminfo: memFree=1916568/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=15332 CPUtime=0.09 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 2333 0 0 0 9 0 0 0 18 0 1 0 181089503 15699968 2228 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 3833 2228 258 292 0 2404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15332 [startup+0.301748 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9712 /proc/meminfo: memFree=1916568/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=20664 CPUtime=0.29 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 3758 0 0 0 28 1 0 0 19 0 1 0 181089503 21159936 3591 1992294400 134512640 135709839 4294956240 18446744073709551615 134543835 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 5166 3591 506 292 0 3737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20664 [startup+0.701812 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9712 /proc/meminfo: memFree=1916568/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=21628 CPUtime=0.69 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 4581 0 0 0 68 1 0 0 23 0 1 0 181089503 22147072 4414 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 5407 4414 1086 292 0 3978 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21628 [startup+1.50194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1893776/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=30756 CPUtime=1.49 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 14617 0 0 0 143 6 0 0 25 0 1 0 181089503 31494144 7026 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 7689 7028 133 292 0 7394 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30756 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1887504/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=35788 CPUtime=3.09 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 27808 0 0 0 296 13 0 0 25 0 1 0 181089503 36646912 7736 1992294400 134512640 135709839 4294956240 18446744073709551615 135164462 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 8947 7736 133 292 0 8652 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35788 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1883088/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=37944 CPUtime=6.29 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 57431 0 0 0 600 29 0 0 25 0 1 0 181089503 38854656 8646 1992294400 134512640 135709839 4294956240 18446744073709551615 135166003 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 9486 8646 133 292 0 9191 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37944 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1880664/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=48220 CPUtime=12.68 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 134278 0 0 0 1199 69 0 0 25 0 1 0 181089503 49377280 11178 1992294400 134512640 135709839 4294956240 18446744073709551615 134530671 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 12055 11178 133 292 0 11760 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48220 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1847000/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=73240 CPUtime=25.48 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 206201 0 0 0 2434 114 0 0 25 0 1 0 181089503 74997760 17405 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 18310 17405 136 292 0 18015 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 73240 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1847000/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=73240 CPUtime=51.07 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 206201 0 0 0 4990 117 0 0 25 0 1 0 181089503 74997760 17405 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 18310 17405 136 292 0 18015 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73240 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1850136/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=69436 CPUtime=102.25 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 207714 0 0 0 10101 124 0 0 25 0 1 0 181089503 71102464 16581 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 17359 16581 136 292 0 17064 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 69436 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9713 /proc/meminfo: memFree=1839128/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=80736 CPUtime=162.23 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 210540 0 0 0 16092 131 0 0 25 0 1 0 181089503 82673664 19407 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 20184 19407 136 292 0 19889 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 80736 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1811160/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=108396 CPUtime=222.2 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 217461 0 0 0 22082 138 0 0 25 0 1 0 181089503 110997504 26328 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 27099 26328 136 292 0 26804 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 108396 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1791384/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=128356 CPUtime=282.17 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 222438 0 0 0 28072 145 0 0 25 0 1 0 181089503 131436544 31305 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 32089 31305 136 292 0 31794 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 128356 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1771864/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=147696 CPUtime=342.15 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 227281 0 0 0 34064 151 0 0 25 0 1 0 181089503 151240704 36148 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 36924 36148 136 292 0 36629 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 147696 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1753304/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=166288 CPUtime=402.12 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 231934 0 0 0 40057 155 0 0 25 0 1 0 181089503 170278912 40801 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 41572 40801 136 292 0 41277 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 166288 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1708888/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=211196 CPUtime=462.1 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 243146 0 0 0 46042 168 0 0 25 0 1 0 181089503 216264704 52013 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 52799 52013 136 292 0 52504 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 211196 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1645976/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=273472 CPUtime=522.07 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 258734 0 0 0 52028 179 0 0 25 0 1 0 181089503 280035328 67601 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 68368 67601 136 292 0 68073 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 273472 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1578456/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=341444 CPUtime=582.05 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 275696 0 0 0 58013 192 0 0 25 0 1 0 181089503 349638656 84563 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 85361 84563 136 292 0 85066 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 341444 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9715 /proc/meminfo: memFree=1509208/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=409656 CPUtime=642.02 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 292773 0 0 0 63998 204 0 0 25 0 1 0 181089503 419487744 101640 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 102414 101640 136 292 0 102119 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 409656 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1308632/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=609820 CPUtime=881.92 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 342796 0 0 0 87957 235 0 0 25 0 1 0 181089503 624455680 151663 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 152455 151663 136 292 0 152160 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 609820 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1278616/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=639808 CPUtime=941.9 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 350292 0 0 0 93949 241 0 0 25 0 1 0 181089503 655163392 159159 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 159952 159159 136 292 0 159657 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 639808 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1239576/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=679172 CPUtime=1001.87 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 360119 0 0 0 99937 250 0 0 25 0 1 0 181089503 695472128 168986 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 169793 168986 136 292 0 169498 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 679172 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217944/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1061.84 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 105922 262 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 701004 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217944/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1121.8 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 111916 264 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577684 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 701004 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217880/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1181.79 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 117912 267 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 701004 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1241.76 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 123906 270 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 701004 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1301.74 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 129899 275 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 701004 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 9721 /proc/meminfo: memFree=1217624/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1361.7 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 135894 276 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 701004 [startup+1422.31 s] /proc/loadavg: 1.04 1.02 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1421.69 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 141887 282 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 701004 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1481.66 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 147870 296 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 701004 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9721 /proc/meminfo: memFree=1217752/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1541.63 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 153865 298 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 701004 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1601.61 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 159861 300 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 701004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217688/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1661.59 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 165857 302 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 701004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217624/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1721.56 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 171854 302 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 701004 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217496/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1781.53 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 177849 304 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 701004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217496/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=701004 CPUtime=1800.03 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4194304 366836 0 0 0 179698 305 0 0 25 0 1 0 181089503 717828096 174209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 175251 174209 136 292 0 174956 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 701004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9721 /proc/meminfo: memFree=1217496/2055920 swapFree=4192812/4192956 [pid=9712] ppid=9710 vsize=0 CPUtime=1800.13 /proc/9712/stat : 9712 (wbo) R 9710 9712 9148 0 -1 4195332 366836 0 0 0 179698 315 0 0 25 0 1 0 181089503 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/9712/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.91 CPU time (s): 1800.14 CPU user time (s): 1796.98 CPU system time (s): 3.16052 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (KiB): 704652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.98 system time used= 3.16052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 366836 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= 2 involuntary context switches= 5748 runsolver used 1.74973 second user time and 4.82926 second system time The end
Begin job on node26 at 2009-06-16 08:48:18 IDJOB=1875672 IDBENCH=1874 IDSOLVER=698 FILE ID=node26/1875672-1245134898 PBS_JOBID= 9363680 Free space on /tmp= 66152 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875672-1245134898/watcher-1875672-1245134898 -o /tmp/evaluation-result-1875672-1245134898/solver-1875672-1245134898 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875672-1245134898.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5548b3a1af88258afdf09b4f2d4db162 RANDOM SEED=589670825 node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1917048 kB Buffers: 7732 kB Cached: 68360 kB SwapCached: 0 kB Active: 62892 kB Inactive: 27156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1917048 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 6912 kB Writeback: 0 kB Mapped: 23732 kB Slab: 34784 kB Committed_AS: 150936 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875672-1245134898.opb Free space on /tmp at the end= 66148 MiB End job on node26 at 2009-06-16 09:18:21