Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1329.55 | 1330.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5461 |
Best CPU time to get the best result obtained on this benchmark | 1178.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 492823 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 492823 |
Number of bits of the biggest sum of numbers | 19 |
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-1875627-1245139804.opb. 0.00/0.00 c Instance file HOME/instance-1875627-1245139804.opb 0.00/0.00 c File size is 17233622 bytes. 2.20/2.22 c Highest Coefficient sum: 101 2.20/2.23 c ============================[ Problem Statistics ]============================= 2.20/2.23 c | | 2.20/2.23 c | Parsing time: 2.19 s | 2.20/2.23 c | Number Variables: 10000 | 2.20/2.23 c | Number Clauses: 666900 | 2.20/2.23 c | Number Cardinality: 0 | 2.20/2.23 c | Number PB Constraints: 0 | 2.20/2.23 c core #1 2.20/2.23 c Core size: 101 Core Weight: 1 Total Weight: 1 2.20/2.23 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.49/2.54 c core #2 2.49/2.54 c Core size: 101 Core Weight: 1 Total Weight: 2 2.49/2.54 c Elapsed CPU time: 2.48562 s Remaining CPU time: 1797.51 s 2.79/2.85 c core #3 2.79/2.85 c Core size: 101 Core Weight: 1 Total Weight: 3 2.79/2.85 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 3.09/3.17 c core #4 3.09/3.17 c Core size: 101 Core Weight: 1 Total Weight: 4 3.09/3.17 c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s 3.38/3.49 c core #5 3.38/3.49 c Core size: 101 Core Weight: 1 Total Weight: 5 3.38/3.50 c Elapsed CPU time: 3.42148 s Remaining CPU time: 1796.58 s 3.78/3.82 c core #6 3.78/3.82 c Core size: 101 Core Weight: 1 Total Weight: 6 3.78/3.82 c Elapsed CPU time: 3.75143 s Remaining CPU time: 1796.25 s 4.08/4.15 c core #7 4.08/4.15 c Core size: 101 Core Weight: 1 Total Weight: 7 4.08/4.15 c Elapsed CPU time: 4.07538 s Remaining CPU time: 1795.92 s 4.38/4.47 c core #8 4.38/4.47 c Core size: 101 Core Weight: 1 Total Weight: 8 4.38/4.47 c Elapsed CPU time: 4.39633 s Remaining CPU time: 1795.6 s 4.68/4.77 c core #9 4.68/4.77 c Core size: 101 Core Weight: 1 Total Weight: 9 4.68/4.77 c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s 4.98/5.06 c core #10 4.98/5.06 c Core size: 101 Core Weight: 1 Total Weight: 10 4.98/5.06 c Elapsed CPU time: 4.98824 s Remaining CPU time: 1795.01 s 5.28/5.39 c core #11 5.28/5.39 c Core size: 101 Core Weight: 1 Total Weight: 11 5.28/5.39 c Elapsed CPU time: 5.31519 s Remaining CPU time: 1794.68 s 5.68/5.72 c core #12 5.68/5.72 c Core size: 101 Core Weight: 1 Total Weight: 12 5.68/5.72 c Elapsed CPU time: 5.64314 s Remaining CPU time: 1794.36 s 5.98/6.06 c core #13 5.98/6.06 c Core size: 101 Core Weight: 1 Total Weight: 13 5.98/6.06 c Elapsed CPU time: 5.98209 s Remaining CPU time: 1794.02 s 6.38/6.40 c core #14 6.38/6.40 c Core size: 101 Core Weight: 1 Total Weight: 14 6.38/6.40 c Elapsed CPU time: 6.32004 s Remaining CPU time: 1793.68 s 6.67/6.70 c core #15 6.67/6.70 c Core size: 101 Core Weight: 3 Total Weight: 17 6.67/6.70 c Elapsed CPU time: 6.62299 s Remaining CPU time: 1793.38 s 6.97/7.01 c core #16 6.97/7.01 c Core size: 101 Core Weight: 1 Total Weight: 18 6.97/7.01 c Elapsed CPU time: 6.92995 s Remaining CPU time: 1793.07 s 7.27/7.31 c core #17 7.27/7.31 c Core size: 101 Core Weight: 1 Total Weight: 19 7.27/7.31 c Elapsed CPU time: 7.2339 s Remaining CPU time: 1792.77 s 7.58/7.62 c core #18 7.58/7.62 c Core size: 101 Core Weight: 1 Total Weight: 20 7.58/7.62 c Elapsed CPU time: 7.54485 s Remaining CPU time: 1792.46 s 7.87/7.93 c core #19 7.87/7.93 c Core size: 101 Core Weight: 3 Total Weight: 23 7.87/7.93 c Elapsed CPU time: 7.85081 s Remaining CPU time: 1792.15 s 8.17/8.24 c core #20 8.17/8.24 c Core size: 101 Core Weight: 1 Total Weight: 24 8.17/8.24 c Elapsed CPU time: 8.15876 s Remaining CPU time: 1791.84 s 8.47/8.54 c core #21 8.47/8.54 c Core size: 101 Core Weight: 1 Total Weight: 25 8.47/8.54 c Elapsed CPU time: 8.46071 s Remaining CPU time: 1791.54 s 8.78/8.84 c core #22 8.78/8.84 c Core size: 101 Core Weight: 1 Total Weight: 26 8.78/8.84 c Elapsed CPU time: 8.76667 s Remaining CPU time: 1791.23 s 9.07/9.15 c core #23 9.07/9.15 c Core size: 101 Core Weight: 1 Total Weight: 27 9.07/9.15 c Elapsed CPU time: 9.07262 s Remaining CPU time: 1790.93 s 9.37/9.49 c core #24 9.37/9.49 c Core size: 101 Core Weight: 1 Total Weight: 28 9.37/9.49 c Elapsed CPU time: 9.41557 s Remaining CPU time: 1790.58 s 9.67/9.79 c core #25 9.67/9.79 c Core size: 101 Core Weight: 1 Total Weight: 29 9.67/9.79 c Elapsed CPU time: 9.71652 s Remaining CPU time: 1790.28 s 10.07/10.11 c core #26 10.07/10.11 c Core size: 101 Core Weight: 1 Total Weight: 30 10.07/10.11 c Elapsed CPU time: 10.0275 s Remaining CPU time: 1789.97 s 10.37/10.44 c core #27 10.37/10.44 c Core size: 101 Core Weight: 1 Total Weight: 31 10.37/10.44 c Elapsed CPU time: 10.3624 s Remaining CPU time: 1789.64 s 10.67/10.75 c core #28 10.67/10.75 c Core size: 101 Core Weight: 1 Total Weight: 32 10.67/10.75 c Elapsed CPU time: 10.6744 s Remaining CPU time: 1789.33 s 10.98/11.09 c core #29 10.98/11.09 c Core size: 101 Core Weight: 1 Total Weight: 33 10.98/11.09 c Elapsed CPU time: 11.0103 s Remaining CPU time: 1788.99 s 11.37/11.40 c core #30 11.37/11.40 c Core size: 101 Core Weight: 1 Total Weight: 34 11.37/11.40 c Elapsed CPU time: 11.3233 s Remaining CPU time: 1788.68 s 11.67/11.71 c core #31 11.67/11.71 c Core size: 101 Core Weight: 1 Total Weight: 35 11.67/11.71 c Elapsed CPU time: 11.6272 s Remaining CPU time: 1788.37 s 11.98/12.04 c core #32 11.98/12.04 c Core size: 101 Core Weight: 1 Total Weight: 36 11.98/12.04 c Elapsed CPU time: 11.9572 s Remaining CPU time: 1788.04 s 12.27/12.35 c core #33 12.27/12.35 c Core size: 101 Core Weight: 1 Total Weight: 37 12.27/12.35 c Elapsed CPU time: 12.2671 s Remaining CPU time: 1787.73 s 12.57/12.68 c core #34 12.57/12.68 c Core size: 101 Core Weight: 1 Total Weight: 38 12.57/12.68 c Elapsed CPU time: 12.6051 s Remaining CPU time: 1787.39 s 12.97/13.02 c core #35 12.97/13.02 c Core size: 101 Core Weight: 1 Total Weight: 39 12.97/13.02 c Elapsed CPU time: 12.943 s Remaining CPU time: 1787.06 s 13.27/13.34 c core #36 13.27/13.34 c Core size: 101 Core Weight: 1 Total Weight: 40 13.27/13.34 c Elapsed CPU time: 13.256 s Remaining CPU time: 1786.74 s 13.57/13.64 c core #37 13.57/13.64 c Core size: 101 Core Weight: 1 Total Weight: 41 13.57/13.64 c Elapsed CPU time: 13.5609 s Remaining CPU time: 1786.44 s 13.87/13.96 c core #38 13.87/13.96 c Core size: 101 Core Weight: 1 Total Weight: 42 13.87/13.96 c Elapsed CPU time: 13.8779 s Remaining CPU time: 1786.12 s 14.18/14.27 c core #39 14.18/14.27 c Core size: 401 Core Weight: 1 Total Weight: 43 14.18/14.27 c Elapsed CPU time: 14.1908 s Remaining CPU time: 1785.81 s 14.47/14.58 c core #40 14.47/14.58 c Core size: 101 Core Weight: 2 Total Weight: 45 14.47/14.58 c Elapsed CPU time: 14.5008 s Remaining CPU time: 1785.5 s 14.77/14.89 c core #41 14.77/14.89 c Core size: 101 Core Weight: 1 Total Weight: 46 14.77/14.89 c Elapsed CPU time: 14.8067 s Remaining CPU time: 1785.19 s 15.07/15.19 c core #42 15.07/15.19 c Core size: 101 Core Weight: 1 Total Weight: 47 15.07/15.19 c Elapsed CPU time: 15.1137 s Remaining CPU time: 1784.89 s 15.47/15.50 c core #43 15.47/15.50 c Core size: 101 Core Weight: 1 Total Weight: 48 15.47/15.50 c Elapsed CPU time: 15.4197 s Remaining CPU time: 1784.58 s 15.77/15.81 c core #44 15.77/15.81 c Core size: 101 Core Weight: 1 Total Weight: 49 15.77/15.81 c Elapsed CPU time: 15.7286 s Remaining CPU time: 1784.27 s 16.07/16.14 c core #45 16.07/16.14 c Core size: 101 Core Weight: 1 Total Weight: 50 16.07/16.14 c Elapsed CPU time: 16.0596 s Remaining CPU time: 1783.94 s 16.38/16.44 c core #46 16.38/16.44 c Core size: 401 Core Weight: 1 Total Weight: 51 16.38/16.44 c Elapsed CPU time: 16.3645 s Remaining CPU time: 1783.64 s 16.67/16.75 c core #47 16.67/16.75 c Core size: 101 Core Weight: 1 Total Weight: 52 16.67/16.75 c Elapsed CPU time: 16.6685 s Remaining CPU time: 1783.33 s 16.97/17.06 c core #48 16.97/17.06 c Core size: 101 Core Weight: 1 Total Weight: 53 16.97/17.06 c Elapsed CPU time: 16.9794 s Remaining CPU time: 1783.02 s 17.27/17.36 c core #49 17.27/17.36 c Core size: 101 Core Weight: 1 Total Weight: 54 17.27/17.36 c Elapsed CPU time: 17.2814 s Remaining CPU time: 1782.72 s 17.57/17.68 c core #50 17.57/17.68 c Core size: 101 Core Weight: 1 Total Weight: 55 17.57/17.68 c Elapsed CPU time: 17.5933 s Remaining CPU time: 1782.41 s 17.87/17.98 c core #51 17.87/17.98 c Core size: 101 Core Weight: 1 Total Weight: 56 17.87/17.98 c Elapsed CPU time: 17.9013 s Remaining CPU time: 1782.1 s 18.17/18.29 c core #52 18.17/18.29 c Core size: 101 Core Weight: 1 Total Weight: 57 18.17/18.29 c Elapsed CPU time: 18.2112 s Remaining CPU time: 1781.79 s 18.57/18.63 c core #53 18.57/18.63 c Core size: 101 Core Weight: 1 Total Weight: 58 18.57/18.63 c Elapsed CPU time: 18.5472 s Remaining CPU time: 1781.45 s 18.88/18.95 c core #54 18.88/18.95 c Core size: 101 Core Weight: 1 Total Weight: 59 18.88/18.95 c Elapsed CPU time: 18.8691 s Remaining CPU time: 1781.13 s 19.18/19.26 c core #55 19.18/19.26 c Core size: 101 Core Weight: 1 Total Weight: 60 19.18/19.26 c Elapsed CPU time: 19.1761 s Remaining CPU time: 1780.82 s 19.48/19.57 c core #56 19.48/19.57 c Core size: 101 Core Weight: 1 Total Weight: 61 19.48/19.57 c Elapsed CPU time: 19.489 s Remaining CPU time: 1780.51 s 19.78/19.88 c core #57 19.78/19.88 c Core size: 101 Core Weight: 1 Total Weight: 62 19.78/19.88 c Elapsed CPU time: 19.793 s Remaining CPU time: 1780.21 s 20.08/20.19 c core #58 20.08/20.19 c Core size: 101 Core Weight: 1 Total Weight: 63 20.08/20.19 c Elapsed CPU time: 20.1009 s Remaining CPU time: 1779.9 s 20.38/20.49 c core #59 20.38/20.49 c Core size: 101 Core Weight: 1 Total Weight: 64 20.38/20.49 c Elapsed CPU time: 20.4069 s Remaining CPU time: 1779.59 s 20.78/20.80 c core #60 20.78/20.80 c Core size: 501 Core Weight: 1 Total Weight: 65 20.78/20.80 c Elapsed CPU time: 20.7178 s Remaining CPU time: 1779.28 s 21.08/21.11 c core #61 21.08/21.11 c Core size: 101 Core Weight: 1 Total Weight: 66 21.08/21.11 c Elapsed CPU time: 21.0258 s Remaining CPU time: 1778.97 s 21.38/21.42 c core #62 21.38/21.42 c Core size: 101 Core Weight: 1 Total Weight: 67 21.38/21.42 c Elapsed CPU time: 21.3368 s Remaining CPU time: 1778.66 s 21.68/21.73 c core #63 21.68/21.73 c Core size: 101 Core Weight: 3 Total Weight: 70 21.68/21.73 c Elapsed CPU time: 21.6467 s Remaining CPU time: 1778.35 s 21.98/22.04 c core #64 21.98/22.04 c Core size: 301 Core Weight: 1 Total Weight: 71 21.98/22.04 c Elapsed CPU time: 21.9517 s Remaining CPU time: 1778.05 s 22.27/22.35 c core #65 22.27/22.35 c Core size: 101 Core Weight: 1 Total Weight: 72 22.27/22.35 c Elapsed CPU time: 22.2656 s Remaining CPU time: 1777.73 s 22.57/22.70 c core #66 22.57/22.70 c Core size: 101 Core Weight: 1 Total Weight: 73 22.57/22.70 c Elapsed CPU time: 22.6076 s Remaining CPU time: 1777.39 s 22.98/23.01 c core #67 22.98/23.01 c Core size: 301 Core Weight: 2 Total Weight: 75 22.98/23.01 c Elapsed CPU time: 22.9225 s Remaining CPU time: 1777.08 s 23.27/23.33 c core #68 23.27/23.33 c Core size: 101 Core Weight: 1 Total Weight: 76 23.27/23.33 c Elapsed CPU time: 23.2365 s Remaining CPU time: 1776.76 s 23.57/23.64 c core #69 23.57/23.64 c Core size: 101 Core Weight: 1 Total Weight: 77 23.57/23.64 c Elapsed CPU time: 23.5474 s Remaining CPU time: 1776.45 s 23.87/23.95 c core #70 23.87/23.95 c Core size: 101 Core Weight: 1 Total Weight: 78 23.87/23.95 c Elapsed CPU time: 23.8584 s Remaining CPU time: 1776.14 s 24.18/24.26 c core #71 24.18/24.26 c Core size: 101 Core Weight: 2 Total Weight: 80 24.18/24.26 c Elapsed CPU time: 24.1693 s Remaining CPU time: 1775.83 s 24.47/24.57 c core #72 24.47/24.57 c Core size: 101 Core Weight: 1 Total Weight: 81 24.47/24.57 c Elapsed CPU time: 24.4843 s Remaining CPU time: 1775.52 s 24.77/24.89 c core #73 24.77/24.89 c Core size: 101 Core Weight: 1 Total Weight: 82 24.77/24.89 c Elapsed CPU time: 24.7962 s Remaining CPU time: 1775.2 s 25.07/25.20 c core #74 25.07/25.20 c Core size: 101 Core Weight: 1 Total Weight: 83 25.07/25.20 c Elapsed CPU time: 25.1062 s Remaining CPU time: 1774.89 s 25.47/25.54 c core #75 25.47/25.54 c Core size: 101 Core Weight: 1 Total Weight: 84 25.47/25.54 c Elapsed CPU time: 25.4491 s Remaining CPU time: 1774.55 s 25.77/25.87 c core #76 25.77/25.87 c Core size: 101 Core Weight: 1 Total Weight: 85 25.77/25.87 c Elapsed CPU time: 25.7811 s Remaining CPU time: 1774.22 s 26.17/26.22 c core #77 26.17/26.22 c Core size: 2101 Core Weight: 1 Total Weight: 86 26.17/26.22 c Elapsed CPU time: 26.129 s Remaining CPU time: 1773.87 s 26.47/26.59 c core #78 26.47/26.59 c Core size: 101 Core Weight: 1 Total Weight: 87 26.47/26.59 c Elapsed CPU time: 26.496 s Remaining CPU time: 1773.5 s 26.87/26.91 c core #79 26.87/26.91 c Core size: 101 Core Weight: 1 Total Weight: 88 26.87/26.91 c Elapsed CPU time: 26.8199 s Remaining CPU time: 1773.18 s 27.17/27.24 c core #80 27.17/27.24 c Core size: 101 Core Weight: 1 Total Weight: 89 27.17/27.24 c Elapsed CPU time: 27.1479 s Remaining CPU time: 1772.85 s 27.47/27.56 c core #81 27.47/27.56 c Core size: 101 Core Weight: 1 Total Weight: 90 27.47/27.56 c Elapsed CPU time: 27.4678 s Remaining CPU time: 1772.53 s 27.87/27.91 c core #82 27.87/27.91 c Core size: 501 Core Weight: 1 Total Weight: 91 27.87/27.91 c Elapsed CPU time: 27.8188 s Remaining CPU time: 1772.18 s 28.17/28.24 c core #83 28.17/28.24 c Core size: 101 Core Weight: 1 Total Weight: 92 28.17/28.24 c Elapsed CPU time: 28.1477 s Remaining CPU time: 1771.85 s 28.47/28.59 c core #84 28.47/28.59 c Core size: 101 Core Weight: 1 Total Weight: 93 28.47/28.59 c Elapsed CPU time: 28.4987 s Remaining CPU time: 1771.5 s 28.87/28.90 c core #85 28.87/28.90 c Core size: 101 Core Weight: 1 Total Weight: 94 28.87/28.90 c Elapsed CPU time: 28.8096 s Remaining CPU time: 1771.19 s 29.17/29.23 c core #86 29.17/29.23 c Core size: 101 Core Weight: 1 Total Weight: 95 29.17/29.23 c Elapsed CPU time: 29.1396 s Remaining CPU time: 1770.86 s 29.47/29.58 c core #87 29.47/29.58 c Core size: 101 Core Weight: 1 Total Weight: 96 29.47/29.58 c Elapsed CPU time: 29.4885 s Remaining CPU time: 1770.51 s 29.87/29.90 c core #88 29.87/29.90 c Core size: 101 Core Weight: 2 Total Weight: 98 29.87/29.90 c Elapsed CPU time: 29.8085 s Remaining CPU time: 1770.19 s 30.17/30.24 c core #89 30.17/30.24 c Core size: 501 Core Weight: 1 Total Weight: 99 30.17/30.24 c Elapsed CPU time: 30.1424 s Remaining CPU time: 1769.86 s 30.47/30.56 c core #90 30.47/30.56 c Core size: 1001 Core Weight: 1 Total Weight: 100 30.47/30.56 c Elapsed CPU time: 30.4694 s Remaining CPU time: 1769.53 s 30.77/30.89 c core #91 30.77/30.89 c Core size: 101 Core Weight: 1 Total Weight: 101 30.77/30.89 c Elapsed CPU time: 30.7953 s Remaining CPU time: 1769.2 s 31.17/31.21 c core #92 31.17/31.21 c Core size: 101 Core Weight: 1 Total Weight: 102 31.17/31.21 c Elapsed CPU time: 31.1193 s Remaining CPU time: 1768.88 s 31.47/31.56 c core #93 31.47/31.56 c Core size: 101 Core Weight: 2 Total Weight: 104 31.47/31.56 c Elapsed CPU time: 31.4682 s Remaining CPU time: 1768.53 s 31.87/31.91 c core #94 31.87/31.91 c Core size: 101 Core Weight: 1 Total Weight: 105 31.87/31.91 c Elapsed CPU time: 31.8102 s Remaining CPU time: 1768.19 s 32.17/32.23 c core #95 32.17/32.23 c Core size: 901 Core Weight: 1 Total Weight: 106 32.17/32.23 c Elapsed CPU time: 32.1371 s Remaining CPU time: 1767.86 s 32.47/32.57 c core #96 32.47/32.57 c Core size: 101 Core Weight: 1 Total Weight: 107 32.47/32.57 c Elapsed CPU time: 32.4691 s Remaining CPU time: 1767.53 s 32.77/32.89 c core #97 32.77/32.89 c Core size: 101 Core Weight: 1 Total Weight: 108 32.77/32.89 c Elapsed CPU time: 32.791 s Remaining CPU time: 1767.21 s 33.17/33.21 c core #98 33.17/33.21 c Core size: 101 Core Weight: 1 Total Weight: 109 33.17/33.21 c Elapsed CPU time: 33.116 s Remaining CPU time: 1766.88 s 33.47/33.55 c core #99 33.47/33.55 c Core size: 101 Core Weight: 1 Total Weight: 110 33.47/33.55 c Elapsed CPU time: 33.4549 s Remaining CPU time: 1766.55 s 33.77/33.88 c core #100 33.77/33.88 c Core size: 101 Core Weight: 1 Total Weight: 111 33.77/33.88 c Elapsed CPU time: 33.7819 s Remaining CPU time: 1766.22 s 34.16/34.20 c core #101 34.16/34.20 c Core size: 101 Core Weight: 1 Total Weight: 112 34.16/34.20 c Elapsed CPU time: 34.1028 s Remaining CPU time: 1765.9 s 34.46/34.54 c core #102 34.46/34.54 c Core size: 101 Core Weight: 1 Total Weight: 113 34.46/34.54 c Elapsed CPU time: 34.4478 s Remaining CPU time: 1765.55 s 34.76/34.87 c core #103 34.76/34.87 c Core size: 101 Core Weight: 1 Total Weight: 114 34.76/34.87 c Elapsed CPU time: 34.7717 s Remaining CPU time: 1765.23 s 35.17/35.22 c core #104 35.17/35.22 c Core size: 1401 Core Weight: 1 Total Weight: 115 35.17/35.22 c Elapsed CPU time: 35.1227 s Remaining CPU time: 1764.88 s 35.46/35.56 c core #105 35.46/35.56 c Core size: 101 Core Weight: 1 Total Weight: 116 35.46/35.56 c Elapsed CPU time: 35.4646 s Remaining CPU time: 1764.54 s 35.76/35.89 c core #106 35.76/35.89 c Core size: 101 Core Weight: 1 Total Weight: 117 35.76/35.89 c Elapsed CPU time: 35.7946 s Remaining CPU time: 1764.21 s 36.17/36.21 c core #107 36.17/36.21 c Core size: 101 Core Weight: 1 Total Weight: 118 36.17/36.21 c Elapsed CPU time: 36.1135 s Remaining CPU time: 1763.89 s 36.46/36.54 c core #108 36.46/36.54 c Core size: 101 Core Weight: 1 Total Weight: 119 36.46/36.54 c Elapsed CPU time: 36.4425 s Remaining CPU time: 1763.56 s 36.77/36.88 c core #109 36.77/36.88 c Core size: 101 Core Weight: 1 Total Weight: 120 36.77/36.88 c Elapsed CPU time: 36.7854 s Remaining CPU time: 1763.21 s 37.17/37.21 c core #110 37.17/37.21 c Core size: 101 Core Weight: 2 Total Weight: 122 37.17/37.21 c Elapsed CPU time: 37.1134 s Remaining CPU time: 1762.89 s 37.46/37.57 c core #111 37.46/37.57 c Core size: 301 Core Weight: 1 Total Weight: 123 37.46/37.57 c Elapsed CPU time: 37.4763 s Remaining CPU time: 1762.52 s 37.86/37.90 c core #112 37.86/37.90 c Core size: 101 Core Weight: 1 Total Weight: 124 37.86/37.90 c Elapsed CPU time: 37.8043 s Remaining CPU time: 1762.2 s 38.16/38.25 c core #113 38.16/38.25 c Core size: 501 Core Weight: 1 Total Weight: 125 38.16/38.25 c Elapsed CPU time: 38.1492 s Remaining CPU time: 1761.85 s 38.47/38.57 c core #114 38.47/38.57 c Core size: 200 Core Weight: 1 Total Weight: 126 38.47/38.57 c Elapsed CPU time: 38.4772 s Remaining CPU time: 1761.52 s 38.86/38.91 c core #115 38.86/38.91 c Core size: 101 Core Weight: 1 Total Weight: 127 38.86/38.91 c Elapsed CPU time: 38.8091 s Remaining CPU time: 1761.19 s 39.16/39.25 c core #116 39.16/39.25 c Core size: 101 Core Weight: 3 Total Weight: 130 39.16/39.25 c Elapsed CPU time: 39.153 s Remaining CPU time: 1760.85 s 39.57/39.61 c core #117 39.57/39.61 c Core size: 101 Core Weight: 1 Total Weight: 131 39.57/39.61 c Elapsed CPU time: 39.513 s Remaining CPU time: 1760.49 s 39.86/39.96 c core #118 39.86/39.96 c Core size: 1169 Core Weight: 1 Total Weight: 132 39.86/39.96 c Elapsed CPU time: 39.8639 s Remaining CPU time: 1760.14 s 40.26/40.30 c core #119 40.26/40.30 c Core size: 101 Core Weight: 1 Total Weight: 133 40.26/40.30 c Elapsed CPU time: 40.2019 s Remaining CPU time: 1759.8 s 40.57/40.64 c core #120 40.57/40.64 c Core size: 881 Core Weight: 1 Total Weight: 134 40.57/40.64 c Elapsed CPU time: 40.5388 s Remaining CPU time: 1759.46 s 40.87/40.99 c core #121 40.87/40.99 c Core size: 695 Core Weight: 1 Total Weight: 135 40.87/40.99 c Elapsed CPU time: 40.8818 s Remaining CPU time: 1759.12 s 41.26/41.33 c core #122 41.26/41.33 c Core size: 789 Core Weight: 1 Total Weight: 136 41.26/41.33 c Elapsed CPU time: 41.2197 s Remaining CPU time: 1758.78 s 41.56/41.67 c core #123 41.56/41.67 c Core size: 101 Core Weight: 5 Total Weight: 141 41.56/41.67 c Elapsed CPU time: 41.5567 s Remaining CPU time: 1758.44 s 41.97/42.01 c core #124 41.97/42.01 c Core size: 101 Core Weight: 2 Total Weight: 143 41.97/42.01 c Elapsed CPU time: 41.8936 s Remaining CPU time: 1758.11 s 42.27/42.34 c core #125 42.27/42.34 c Core size: 789 Core Weight: 1 Total Weight: 144 42.27/42.34 c Elapsed CPU time: 42.2296 s Remaining CPU time: 1757.77 s 42.66/42.71 c core #126 42.66/42.71 c Core size: 1357 Core Weight: 1 Total Weight: 145 42.66/42.71 c Elapsed CPU time: 42.5885 s Remaining CPU time: 1757.41 s 42.97/43.08 c core #127 42.97/43.08 c Core size: 499 Core Weight: 1 Total Weight: 146 42.97/43.08 c Elapsed CPU time: 42.9505 s Remaining CPU time: 1757.05 s 43.36/43.42 c ============================[ Search Statistics ]============================== 43.36/43.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.36/43.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.36/43.42 c =============================================================================== 43.36/43.42 c | 0 | 25959 692390 49223 | 230796 0 nan | 0.000 % | 43.36/43.43 c =============================================================================== 43.36/43.43 c core #128 43.36/43.43 c Core size: 511 Core Weight: 1 Total Weight: 147 43.36/43.43 c Elapsed CPU time: 43.3034 s Remaining CPU time: 1756.7 s 43.66/43.79 c ============================[ Search Statistics ]============================== 43.66/43.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.66/43.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.66/43.79 c =============================================================================== 43.66/43.79 c | 0 | 26570 692869 50063 | 230956 0 nan | 0.000 % | 43.66/43.80 c =============================================================================== 43.66/43.80 c core #129 43.66/43.80 c Core size: 402 Core Weight: 1 Total Weight: 148 43.66/43.80 c Elapsed CPU time: 43.6634 s Remaining CPU time: 1756.34 s 44.06/44.15 c ============================[ Search Statistics ]============================== 44.06/44.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.06/44.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.06/44.15 c =============================================================================== 44.06/44.15 c | 0 | 26973 693244 50696 | 231081 0 nan | 0.000 % | 44.06/44.19 c =============================================================================== 44.06/44.19 c core #130 44.06/44.19 c Core size: 1654 Core Weight: 1 Total Weight: 149 44.06/44.19 c Elapsed CPU time: 44.0483 s Remaining CPU time: 1755.95 s 44.46/44.58 c ============================[ Search Statistics ]============================== 44.46/44.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.46/44.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.46/44.58 c =============================================================================== 44.46/44.58 c | 0 | 28599 694799 52697 | 231599 0 nan | 0.000 % | 44.67/44.72 c =============================================================================== 44.67/44.72 c core #131 44.67/44.72 c Core size: 3432 Core Weight: 1 Total Weight: 150 44.67/44.72 c Elapsed CPU time: 44.5732 s Remaining CPU time: 1755.43 s 44.97/45.10 c Learning 1 hard constraints 44.97/45.10 c ============================[ Search Statistics ]============================== 44.97/45.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.97/45.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.97/45.10 c =============================================================================== 44.97/45.10 c | 0 | 31969 697969 57515 | 232656 0 nan | 0.000 % | 45.17/45.22 c | 102 | 31969 697969 57515 | 255921 102 1578 | 23.161 % | 45.87/45.99 c =============================================================================== 45.97/46.00 c core #132 45.97/46.00 c Core size: 7125 Core Weight: 1 Total Weight: 151 45.97/46.00 c Elapsed CPU time: 45.846 s Remaining CPU time: 1754.15 s 46.26/46.39 c Learning 4 hard constraints 46.26/46.39 c ============================[ Search Statistics ]============================== 46.26/46.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.26/46.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.26/46.39 c =============================================================================== 46.26/46.39 c | 0 | 38980 704359 67389 | 234786 0 nan | 0.000 % | 46.46/46.52 c | 100 | 38980 704359 67389 | 258264 100 1087 | 19.521 % | 46.86/46.95 c | 253 | 38980 704359 67389 | 284091 253 2179 | 19.521 % | 47.46/47.51 c | 479 | 38979 704359 67389 | 312500 478 2392 | 19.523 % | 48.27/48.39 c | 818 | 38978 704359 67389 | 343750 814 2141 | 19.525 % | 50.66/50.76 c | 1327 | 38973 704359 67389 | 378125 1319 2945 | 19.535 % | 51.57/51.61 c =============================================================================== 51.57/51.63 c core #133 51.57/51.63 c Core size: 10431 Core Weight: 1 Total Weight: 152 51.57/51.63 c Elapsed CPU time: 51.4502 s Remaining CPU time: 1748.55 s 51.96/52.06 c Learning 16 hard constraints 51.96/52.06 c ============================[ Search Statistics ]============================== 51.96/52.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.96/52.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.96/52.06 c =============================================================================== 51.96/52.06 c | 0 | 48602 713043 83728 | 237681 0 nan | 0.000 % | 52.16/52.27 c | 101 | 48602 713043 83728 | 261449 101 2019 | 16.147 % | 52.96/53.01 c | 251 | 48602 713043 83728 | 287594 251 2986 | 16.147 % | 53.86/53.94 c | 478 | 48602 713043 83728 | 316353 478 2584 | 16.147 % | 54.96/55.08 c | 815 | 48602 713043 83728 | 347988 815 1882 | 16.147 % | 56.86/56.98 c | 1321 | 48602 713043 83728 | 382787 1321 1633 | 16.147 % | 59.96/60.03 c | 2081 | 48602 713043 83728 | 421066 2081 1561 | 16.147 % | 64.46/64.52 c | 3220 | 48602 713043 83728 | 463173 3220 1748 | 16.147 % | 74.35/74.46 c | 4928 | 48601 713043 83728 | 509490 4918 2630 | 16.149 % | 86.45/86.56 c | 7492 | 48600 713043 83728 | 560439 7482 2792 | 16.151 % | 105.34/105.48 c | 11336 | 48589 713043 83728 | 616483 11315 2994 | 16.169 % | 138.82/138.94 c =============================================================================== 139.02/139.11 c core #134 139.02/139.11 c Core size: 12236 Core Weight: 1 Total Weight: 153 139.02/139.11 c Elapsed CPU time: 138.6 s Remaining CPU time: 1661.4 s 139.43/139.57 c Learning 50 hard constraints 139.43/139.57 c ============================[ Search Statistics ]============================== 139.43/139.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 139.43/139.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 139.43/139.57 c =============================================================================== 139.43/139.57 c | 0 | 59366 722233 114584 | 240744 0 nan | 0.000 % | 139.72/139.84 c | 101 | 59366 722233 114584 | 264818 101 2480 | 13.509 % | 140.03/140.20 c | 251 | 59366 722233 114584 | 291300 251 2536 | 13.509 % | 140.83/140.98 c | 476 | 59366 722233 114584 | 320430 476 1950 | 13.509 % | 141.93/142.01 c | 815 | 59366 722233 114584 | 352473 815 1339 | 13.509 % | 143.73/143.82 c | 1322 | 59366 722233 114584 | 387721 1322 1114 | 13.509 % | 147.52/147.69 c | 2082 | 59366 722233 114584 | 426493 2082 1265 | 13.509 % | 152.83/152.93 c | 3221 | 59365 722233 114584 | 469142 3219 1179 | 13.510 % | 161.42/161.58 c | 4930 | 59365 722233 114584 | 516056 4928 1409 | 13.510 % | 174.72/174.90 c | 7494 | 59365 722233 114584 | 567662 7492 1798 | 13.510 % | 195.80/195.99 c | 11339 | 59365 722233 114584 | 624428 11337 1843 | 13.510 % | 235.89/236.05 c | 17105 | 59365 722233 114584 | 686871 17103 1925 | 13.510 % | 298.56/298.76 c | 25755 | 59365 722233 114584 | 755558 25753 2499 | 13.510 % | 418.92/419.18 c | 38729 | 59365 722233 114584 | 831114 38727 3330 | 13.510 % | 652.52/652.80 c | 58191 | 59365 722233 114584 | 914226 58189 3754 | 13.510 % | 1116.43/1116.94 c | 87384 | 59365 722233 114584 | 1005648 87382 4294 | 13.510 % |
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-1875627-1245139804/watcher-1875627-1245139804 -o /tmp/evaluation-result-1875627-1245139804/solver-1875627-1245139804 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875627-1245139804.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 679 /proc/meminfo: memFree=1838624/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=19888 CPUtime=0 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 181580741 20365312 287 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 4972 288 123 292 0 469 0 [startup+0.022592 s] /proc/loadavg: 1.00 1.00 1.00 3/64 679 /proc/meminfo: memFree=1838624/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=21396 CPUtime=0.02 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 674 0 0 0 2 0 0 0 18 0 1 0 181580741 21909504 658 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 5349 658 149 292 0 846 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21396 [startup+0.101599 s] /proc/loadavg: 1.00 1.00 1.00 3/64 679 /proc/meminfo: memFree=1838624/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=22220 CPUtime=0.09 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 1046 0 0 0 9 0 0 0 18 0 1 0 181580741 22753280 1030 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 5555 1030 306 292 0 1052 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22220 [startup+0.301619 s] /proc/loadavg: 1.00 1.00 1.00 3/64 679 /proc/meminfo: memFree=1838624/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=24580 CPUtime=0.29 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 1968 0 0 0 29 0 0 0 19 0 1 0 181580741 25169920 1952 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 6145 1952 691 292 0 1642 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24580 [startup+0.701659 s] /proc/loadavg: 1.00 1.00 1.00 3/64 679 /proc/meminfo: memFree=1838624/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=28948 CPUtime=0.69 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 3764 0 0 0 68 1 0 0 23 0 1 0 181580741 29642752 3748 1992294400 134512640 135709839 4294956240 18446744073709551615 135187186 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 7237 3748 1442 292 0 2734 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28948 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1826200/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=37080 CPUtime=1.49 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 7442 0 0 0 147 2 0 0 25 0 1 0 181580741 37969920 7426 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 9270 7426 2978 292 0 4767 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37080 [startup+3.10191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1814360/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=55092 CPUtime=3.09 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 19666 0 0 0 303 6 0 0 25 0 1 0 181580741 56414208 12963 1992294400 134512640 135709839 4294956240 18446744073709551615 134605042 0 0 4096 3 0 0 0 17 1 0 0 /proc/679/statm: 13773 12963 133 292 0 13478 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55092 [startup+6.30123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1785240/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=56940 CPUtime=6.28 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 20122 0 0 0 622 6 0 0 25 0 1 0 181580741 58306560 13419 1992294400 134512640 135709839 4294956240 18446744073709551615 135183285 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 14235 13419 133 292 0 13940 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 56940 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1784600/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=57732 CPUtime=12.67 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 20318 0 0 0 1261 6 0 0 25 0 1 0 181580741 59117568 13615 1992294400 134512640 135709839 4294956240 18446744073709551615 134530713 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 14433 13615 133 292 0 14138 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 57732 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1782112/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=60372 CPUtime=25.47 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 20991 0 0 0 2540 7 0 0 25 0 1 0 181580741 61820928 14288 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 15093 14288 133 292 0 14798 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 60372 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1766048/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=80016 CPUtime=51.06 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 35287 0 0 0 5091 15 0 0 25 0 1 0 181580741 81936384 18636 1992294400 134512640 135709839 4294956240 18446744073709551615 134599089 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 20004 18636 136 292 0 19709 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 80016 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1659488/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=184500 CPUtime=102.25 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 62878 0 0 0 10192 33 0 0 25 0 1 0 181580741 188928000 44876 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 46125 44876 136 292 0 45830 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 184500 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1541536/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=301408 CPUtime=162.22 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 93670 0 0 0 16171 51 0 0 25 0 1 0 181580741 308641792 74177 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 75352 74177 136 292 0 75057 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 301408 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1541536/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=301408 CPUtime=222.19 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 93676 0 0 0 22164 55 0 0 25 0 1 0 181580741 308641792 74183 1992294400 134512640 135709839 4294956240 18446744073709551615 134577798 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 75352 74183 136 292 0 75057 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 301408 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1498912/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=345508 CPUtime=282.17 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 104716 0 0 0 28154 63 0 0 25 0 1 0 181580741 353800192 85223 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 86377 85223 136 292 0 86082 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 345508 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1369120/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=474080 CPUtime=342.15 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 136869 0 0 0 34132 83 0 0 25 0 1 0 181580741 485457920 117376 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 118520 117376 136 292 0 118225 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 474080 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1246752/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=598232 CPUtime=402.12 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 167890 0 0 0 40115 97 0 0 25 0 1 0 181580741 612589568 148397 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 149558 148397 136 292 0 149263 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 598232 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1150752/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=691796 CPUtime=462.1 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 191282 0 0 0 46101 109 0 0 25 0 1 0 181580741 708399104 171789 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 172949 171789 136 292 0 172654 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 691796 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=1055968/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=788012 CPUtime=522.06 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 215315 0 0 0 52085 121 0 0 25 0 1 0 181580741 806924288 195822 1992294400 134512640 135709839 4294956240 18446744073709551615 134577298 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 197003 195822 136 292 0 196708 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 788012 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=965920/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=876876 CPUtime=582.04 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 237533 0 0 0 58071 133 0 0 25 0 1 0 181580741 897921024 218040 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 219219 218040 136 292 0 218924 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 876876 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=869536/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=972128 CPUtime=642.02 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 261366 0 0 0 64057 145 0 0 25 0 1 0 181580741 995459072 241873 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 243032 241873 136 292 0 242737 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 972128 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=791648/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1050716 CPUtime=701.99 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 280986 0 0 0 70045 154 0 0 25 0 1 0 181580741 1075933184 261493 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 262679 261493 136 292 0 262384 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 1050716 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=710496/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1131108 CPUtime=761.97 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 301068 0 0 0 76034 163 0 0 25 0 1 0 181580741 1158254592 281575 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 282777 281575 136 292 0 282482 0 Current children cumulated CPU time (s) 761.97 Current children cumulated vsize (KiB) 1131108 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=618720/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1222864 CPUtime=821.94 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 324009 0 0 0 82019 175 0 0 25 0 1 0 181580741 1252212736 304516 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 305716 304516 136 292 0 305421 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 1222864 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=533856/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1307428 CPUtime=881.92 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 345144 0 0 0 88006 186 0 0 25 0 1 0 181580741 1338806272 325651 1992294400 134512640 135709839 4294956240 18446744073709551615 134572707 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 326857 325651 136 292 0 326562 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1307428 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=454432/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1387480 CPUtime=941.9 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 365163 0 0 0 93993 197 0 0 25 0 1 0 181580741 1420779520 345670 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 346870 345670 136 292 0 346575 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 1387480 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=379872/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1460784 CPUtime=1001.88 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 383506 0 0 0 99982 206 0 0 25 0 1 0 181580741 1495842816 364013 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 365196 364013 136 292 0 364901 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1460784 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 680 /proc/meminfo: memFree=303520/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1538020 CPUtime=1061.85 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 402787 0 0 0 105969 216 0 0 25 0 1 0 181580741 1574932480 383294 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 384505 383294 136 292 0 384210 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 1538020 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 680 /proc/meminfo: memFree=225504/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1615176 CPUtime=1121.83 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 422094 0 0 0 111958 225 0 0 25 0 1 0 181580741 1653940224 402601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 403794 402601 136 292 0 403499 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1615176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=168352/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1672784 CPUtime=1181.8 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 436490 0 0 0 117948 232 0 0 25 0 1 0 181580741 1712930816 416997 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 418196 416997 136 292 0 417901 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 1672784 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=101664/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1738656 CPUtime=1241.78 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 452910 0 0 0 123936 242 0 0 25 0 1 0 181580741 1780383744 433417 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 434664 433417 136 292 0 434369 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 1738656 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=39904/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1799872 CPUtime=1301.75 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 468233 0 0 0 129927 248 0 0 25 0 1 0 181580741 1843068928 448740 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 449968 448740 136 292 0 449673 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 1799872 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1329.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=15520/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=1843296 CPUtime=1329.27 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4194304 479090 0 0 0 132675 252 0 0 25 0 1 0 181580741 1887535104 459597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/679/statm: 460824 459597 136 292 0 460529 0 Current children cumulated CPU time (s) 1329.27 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1330.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=15520/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=0 CPUtime=1329.37 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4195332 479090 0 0 0 132675 262 0 0 25 0 1 0 181580741 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1329.37 Current children cumulated vsize (KiB) 0 [startup+1330.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 680 /proc/meminfo: memFree=15520/2055920 swapFree=4182564/4192956 [pid=679] ppid=677 vsize=0 CPUtime=1329.47 /proc/679/stat : 679 (wbo) R 677 679 342 0 -1 4195332 479090 0 0 0 132675 272 0 0 25 0 1 0 181580741 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/679/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1329.47 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1330.18 CPU time (s): 1329.55 CPU user time (s): 1326.75 CPU system time (s): 2.79557 CPU usage (%): 99.9528 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1326.75 system time used= 2.79557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 479090 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= 3 involuntary context switches= 4347 runsolver used 1.52177 second user time and 3.34049 second system time The end
Begin job on node17 at 2009-06-16 10:10:05 IDJOB=1875627 IDBENCH=1963 IDSOLVER=698 FILE ID=node17/1875627-1245139804 PBS_JOBID= 9363690 Free space on /tmp= 66340 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.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-1875627-1245139804/watcher-1875627-1245139804 -o /tmp/evaluation-result-1875627-1245139804/solver-1875627-1245139804 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875627-1245139804.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=1474586923 node17.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.214 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 : 5914.62 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.214 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: 1839104 kB Buffers: 21432 kB Cached: 125916 kB SwapCached: 4224 kB Active: 46324 kB Inactive: 108932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839104 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 19208 kB Writeback: 0 kB Mapped: 13748 kB Slab: 47500 kB Committed_AS: 159320 kB PageTables: 1456 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-1875627-1245139804.opb Free space on /tmp at the end= 66340 MiB End job on node17 at 2009-06-16 10:32:17