Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.17 | 1801.02 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 352 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
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-1875682-1245147199.opb. 0.00/0.00 c Instance file HOME/instance-1875682-1245147199.opb 0.00/0.00 c File size is 3053421 bytes. 0.29/0.39 c Highest Coefficient sum: 80 0.29/0.39 c ============================[ Problem Statistics ]============================= 0.29/0.39 c | | 0.29/0.39 c | Parsing time: 0.39 s | 0.29/0.39 c | Number Variables: 2700 | 0.29/0.39 c | Number Clauses: 21570 | 0.29/0.39 c | Number Cardinality: 800 | 0.29/0.39 c | Number PB Constraints: 21600 | 0.29/0.39 c core #1 0.29/0.39 c Core size: 50 Core Weight: 1 Total Weight: 1 0.29/0.39 c Elapsed CPU time: 0.387941 s Remaining CPU time: 1799.61 s 0.39/0.44 c core #2 0.39/0.44 c Core size: 50 Core Weight: 1 Total Weight: 2 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.49 c core #3 0.39/0.49 c Core size: 50 Core Weight: 1 Total Weight: 3 0.39/0.49 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.49/0.54 c core #4 0.49/0.54 c Core size: 50 Core Weight: 1 Total Weight: 4 0.49/0.54 c Elapsed CPU time: 0.534918 s Remaining CPU time: 1799.47 s 0.49/0.60 c core #5 0.49/0.60 c Core size: 50 Core Weight: 1 Total Weight: 5 0.49/0.60 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.65 c core #6 0.59/0.65 c Core size: 50 Core Weight: 1 Total Weight: 6 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.69/0.71 c core #7 0.69/0.71 c Core size: 50 Core Weight: 1 Total Weight: 7 0.69/0.71 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.78 c core #8 0.69/0.78 c Core size: 50 Core Weight: 1 Total Weight: 8 0.69/0.78 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.79/0.84 c core #9 0.79/0.84 c Core size: 50 Core Weight: 1 Total Weight: 9 0.79/0.84 c Elapsed CPU time: 0.829873 s Remaining CPU time: 1799.17 s 0.89/0.90 c core #10 0.89/0.90 c Core size: 50 Core Weight: 1 Total Weight: 10 0.89/0.90 c Elapsed CPU time: 0.892864 s Remaining CPU time: 1799.11 s 0.89/0.97 c core #11 0.89/0.97 c Core size: 50 Core Weight: 1 Total Weight: 11 0.89/0.97 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.99/1.03 c core #12 0.99/1.03 c Core size: 50 Core Weight: 1 Total Weight: 12 0.99/1.03 c Elapsed CPU time: 1.01385 s Remaining CPU time: 1798.99 s 0.99/1.09 c core #13 0.99/1.09 c Core size: 50 Core Weight: 1 Total Weight: 13 0.99/1.09 c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s 1.09/1.16 c core #14 1.09/1.16 c Core size: 50 Core Weight: 1 Total Weight: 14 1.09/1.16 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.19/1.22 c core #15 1.19/1.22 c Core size: 50 Core Weight: 1 Total Weight: 15 1.19/1.22 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.19/1.29 c core #16 1.19/1.29 c Core size: 50 Core Weight: 1 Total Weight: 16 1.19/1.29 c Elapsed CPU time: 1.27281 s Remaining CPU time: 1798.73 s 1.29/1.35 c core #17 1.29/1.35 c Core size: 50 Core Weight: 1 Total Weight: 17 1.29/1.35 c Elapsed CPU time: 1.3388 s Remaining CPU time: 1798.66 s 1.39/1.42 c core #18 1.39/1.42 c Core size: 50 Core Weight: 1 Total Weight: 18 1.39/1.42 c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 s 1.39/1.48 c core #19 1.39/1.48 c Core size: 50 Core Weight: 1 Total Weight: 19 1.39/1.48 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.49/1.55 c core #20 1.49/1.55 c Core size: 50 Core Weight: 1 Total Weight: 20 1.49/1.55 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.59/1.61 c core #21 1.59/1.61 c Core size: 10 Core Weight: 1 Total Weight: 21 1.59/1.61 c Elapsed CPU time: 1.59276 s Remaining CPU time: 1798.41 s 1.59/1.68 c core #22 1.59/1.68 c Core size: 10 Core Weight: 1 Total Weight: 22 1.59/1.68 c Elapsed CPU time: 1.65575 s Remaining CPU time: 1798.34 s 1.69/1.74 c core #23 1.69/1.74 c Core size: 10 Core Weight: 1 Total Weight: 23 1.69/1.74 c Elapsed CPU time: 1.71774 s Remaining CPU time: 1798.28 s 1.79/1.81 c core #24 1.79/1.81 c Core size: 10 Core Weight: 1 Total Weight: 24 1.79/1.81 c Elapsed CPU time: 1.78173 s Remaining CPU time: 1798.22 s 1.79/1.87 c core #25 1.79/1.87 c Core size: 10 Core Weight: 1 Total Weight: 25 1.79/1.87 c Elapsed CPU time: 1.84572 s Remaining CPU time: 1798.15 s 1.89/1.94 c core #26 1.89/1.94 c Core size: 10 Core Weight: 1 Total Weight: 26 1.89/1.94 c Elapsed CPU time: 1.90971 s Remaining CPU time: 1798.09 s 1.99/2.00 c core #27 1.99/2.00 c Core size: 10 Core Weight: 1 Total Weight: 27 1.99/2.00 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.99/2.07 c core #28 1.99/2.07 c Core size: 10 Core Weight: 1 Total Weight: 28 1.99/2.07 c Elapsed CPU time: 2.03669 s Remaining CPU time: 1797.96 s 2.09/2.13 c core #29 2.09/2.13 c Core size: 10 Core Weight: 1 Total Weight: 29 2.09/2.13 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.09/2.20 c core #30 2.09/2.20 c Core size: 10 Core Weight: 1 Total Weight: 30 2.09/2.20 c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s 2.19/2.26 c core #31 2.19/2.26 c Core size: 10 Core Weight: 1 Total Weight: 31 2.19/2.26 c Elapsed CPU time: 2.22666 s Remaining CPU time: 1797.77 s 2.30/2.33 c core #32 2.30/2.33 c Core size: 10 Core Weight: 1 Total Weight: 32 2.30/2.33 c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s 2.30/2.39 c core #33 2.30/2.39 c Core size: 10 Core Weight: 1 Total Weight: 33 2.30/2.39 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.39/2.46 c core #34 2.39/2.46 c Core size: 10 Core Weight: 1 Total Weight: 34 2.39/2.46 c Elapsed CPU time: 2.41963 s Remaining CPU time: 1797.58 s 2.49/2.52 c core #35 2.49/2.52 c Core size: 10 Core Weight: 1 Total Weight: 35 2.49/2.52 c Elapsed CPU time: 2.48362 s Remaining CPU time: 1797.52 s 2.49/2.59 c core #36 2.49/2.59 c Core size: 10 Core Weight: 1 Total Weight: 36 2.49/2.59 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.59/2.65 c core #37 2.59/2.65 c Core size: 10 Core Weight: 1 Total Weight: 37 2.59/2.65 c Elapsed CPU time: 2.6106 s Remaining CPU time: 1797.39 s 2.69/2.72 c core #38 2.69/2.72 c Core size: 10 Core Weight: 1 Total Weight: 38 2.69/2.72 c Elapsed CPU time: 2.67459 s Remaining CPU time: 1797.33 s 2.69/2.78 c core #39 2.69/2.78 c Core size: 10 Core Weight: 1 Total Weight: 39 2.69/2.78 c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s 2.79/2.85 c core #40 2.79/2.85 c Core size: 10 Core Weight: 1 Total Weight: 40 2.79/2.85 c Elapsed CPU time: 2.80257 s Remaining CPU time: 1797.2 s 2.89/2.91 c core #41 2.89/2.91 c Core size: 10 Core Weight: 1 Total Weight: 41 2.89/2.91 c Elapsed CPU time: 2.86456 s Remaining CPU time: 1797.14 s 2.89/2.98 c core #42 2.89/2.98 c Core size: 10 Core Weight: 1 Total Weight: 42 2.89/2.98 c Elapsed CPU time: 2.92755 s Remaining CPU time: 1797.07 s 2.99/3.04 c core #43 2.99/3.04 c Core size: 10 Core Weight: 1 Total Weight: 43 2.99/3.04 c Elapsed CPU time: 2.99254 s Remaining CPU time: 1797.01 s 3.09/3.11 c core #44 3.09/3.11 c Core size: 10 Core Weight: 1 Total Weight: 44 3.09/3.11 c Elapsed CPU time: 3.05454 s Remaining CPU time: 1796.95 s 3.09/3.17 c core #45 3.09/3.17 c Core size: 10 Core Weight: 1 Total Weight: 45 3.09/3.17 c Elapsed CPU time: 3.11952 s Remaining CPU time: 1796.88 s 3.19/3.24 c core #46 3.19/3.24 c Core size: 10 Core Weight: 1 Total Weight: 46 3.19/3.24 c Elapsed CPU time: 3.18452 s Remaining CPU time: 1796.82 s 3.29/3.30 c core #47 3.29/3.30 c Core size: 10 Core Weight: 1 Total Weight: 47 3.29/3.30 c Elapsed CPU time: 3.24851 s Remaining CPU time: 1796.75 s 3.29/3.37 c core #48 3.29/3.37 c Core size: 10 Core Weight: 1 Total Weight: 48 3.29/3.37 c Elapsed CPU time: 3.3125 s Remaining CPU time: 1796.69 s 3.39/3.43 c core #49 3.39/3.43 c Core size: 10 Core Weight: 1 Total Weight: 49 3.39/3.43 c Elapsed CPU time: 3.37849 s Remaining CPU time: 1796.62 s 3.49/3.50 c core #50 3.49/3.50 c Core size: 10 Core Weight: 1 Total Weight: 50 3.49/3.50 c Elapsed CPU time: 3.44248 s Remaining CPU time: 1796.56 s 3.49/3.57 c core #51 3.49/3.57 c Core size: 10 Core Weight: 1 Total Weight: 51 3.49/3.57 c Elapsed CPU time: 3.50647 s Remaining CPU time: 1796.49 s 3.59/3.63 c core #52 3.59/3.63 c Core size: 10 Core Weight: 1 Total Weight: 52 3.59/3.63 c Elapsed CPU time: 3.57146 s Remaining CPU time: 1796.43 s 3.69/3.70 c core #53 3.69/3.70 c Core size: 10 Core Weight: 1 Total Weight: 53 3.69/3.70 c Elapsed CPU time: 3.63645 s Remaining CPU time: 1796.36 s 3.69/3.76 c core #54 3.69/3.76 c Core size: 10 Core Weight: 1 Total Weight: 54 3.69/3.76 c Elapsed CPU time: 3.70044 s Remaining CPU time: 1796.3 s 3.79/3.83 c core #55 3.79/3.83 c Core size: 10 Core Weight: 1 Total Weight: 55 3.79/3.83 c Elapsed CPU time: 3.76643 s Remaining CPU time: 1796.23 s 3.79/3.90 c core #56 3.79/3.90 c Core size: 10 Core Weight: 1 Total Weight: 56 3.79/3.90 c Elapsed CPU time: 3.82942 s Remaining CPU time: 1796.17 s 3.89/3.96 c core #57 3.89/3.96 c Core size: 10 Core Weight: 1 Total Weight: 57 3.89/3.96 c Elapsed CPU time: 3.89441 s Remaining CPU time: 1796.11 s 3.99/4.03 c core #58 3.99/4.03 c Core size: 10 Core Weight: 1 Total Weight: 58 3.99/4.03 c Elapsed CPU time: 3.9604 s Remaining CPU time: 1796.04 s 3.99/4.09 c core #59 3.99/4.09 c Core size: 10 Core Weight: 1 Total Weight: 59 3.99/4.09 c Elapsed CPU time: 4.02439 s Remaining CPU time: 1795.98 s 4.09/4.16 c core #60 4.09/4.16 c Core size: 10 Core Weight: 1 Total Weight: 60 4.09/4.16 c Elapsed CPU time: 4.09038 s Remaining CPU time: 1795.91 s 4.19/4.22 c core #61 4.19/4.22 c Core size: 10 Core Weight: 1 Total Weight: 61 4.19/4.22 c Elapsed CPU time: 4.15437 s Remaining CPU time: 1795.85 s 4.19/4.29 c core #62 4.19/4.29 c Core size: 10 Core Weight: 1 Total Weight: 62 4.19/4.29 c Elapsed CPU time: 4.21836 s Remaining CPU time: 1795.78 s 4.29/4.36 c core #63 4.29/4.36 c Core size: 10 Core Weight: 1 Total Weight: 63 4.29/4.36 c Elapsed CPU time: 4.28435 s Remaining CPU time: 1795.72 s 4.39/4.43 c core #64 4.39/4.43 c Core size: 10 Core Weight: 1 Total Weight: 64 4.39/4.43 c Elapsed CPU time: 4.35134 s Remaining CPU time: 1795.65 s 4.39/4.50 c core #65 4.39/4.50 c Core size: 10 Core Weight: 1 Total Weight: 65 4.39/4.50 c Elapsed CPU time: 4.41633 s Remaining CPU time: 1795.58 s 4.48/4.56 c core #66 4.48/4.56 c Core size: 10 Core Weight: 1 Total Weight: 66 4.48/4.56 c Elapsed CPU time: 4.48232 s Remaining CPU time: 1795.52 s 4.59/4.63 c core #67 4.59/4.63 c Core size: 10 Core Weight: 1 Total Weight: 67 4.59/4.63 c Elapsed CPU time: 4.54631 s Remaining CPU time: 1795.45 s 4.59/4.70 c core #68 4.59/4.70 c Core size: 10 Core Weight: 1 Total Weight: 68 4.59/4.70 c Elapsed CPU time: 4.6113 s Remaining CPU time: 1795.39 s 4.69/4.76 c core #69 4.69/4.76 c Core size: 10 Core Weight: 1 Total Weight: 69 4.69/4.76 c Elapsed CPU time: 4.67429 s Remaining CPU time: 1795.33 s 4.78/4.83 c core #70 4.78/4.83 c Core size: 10 Core Weight: 1 Total Weight: 70 4.78/4.83 c Elapsed CPU time: 4.73728 s Remaining CPU time: 1795.26 s 4.78/4.90 c core #71 4.78/4.90 c Core size: 10 Core Weight: 1 Total Weight: 71 4.78/4.90 c Elapsed CPU time: 4.80127 s Remaining CPU time: 1795.2 s 4.89/4.96 c core #72 4.89/4.96 c Core size: 10 Core Weight: 1 Total Weight: 72 4.89/4.96 c Elapsed CPU time: 4.86826 s Remaining CPU time: 1795.13 s 4.99/5.03 c core #73 4.99/5.03 c Core size: 10 Core Weight: 1 Total Weight: 73 4.99/5.03 c Elapsed CPU time: 4.93425 s Remaining CPU time: 1795.07 s 4.99/5.10 c core #74 4.99/5.10 c Core size: 10 Core Weight: 1 Total Weight: 74 4.99/5.10 c Elapsed CPU time: 4.99724 s Remaining CPU time: 1795 s 5.08/5.16 c core #75 5.08/5.16 c Core size: 10 Core Weight: 1 Total Weight: 75 5.08/5.16 c Elapsed CPU time: 5.06223 s Remaining CPU time: 1794.94 s 5.18/5.23 c core #76 5.18/5.23 c Core size: 10 Core Weight: 1 Total Weight: 76 5.18/5.23 c Elapsed CPU time: 5.12922 s Remaining CPU time: 1794.87 s 5.18/5.30 c core #77 5.18/5.30 c Core size: 10 Core Weight: 1 Total Weight: 77 5.18/5.30 c Elapsed CPU time: 5.19321 s Remaining CPU time: 1794.81 s 5.29/5.36 c core #78 5.29/5.36 c Core size: 10 Core Weight: 1 Total Weight: 78 5.29/5.36 c Elapsed CPU time: 5.2592 s Remaining CPU time: 1794.74 s 5.39/5.43 c core #79 5.39/5.43 c Core size: 10 Core Weight: 1 Total Weight: 79 5.39/5.43 c Elapsed CPU time: 5.32519 s Remaining CPU time: 1794.67 s 5.39/5.50 c core #80 5.39/5.50 c Core size: 10 Core Weight: 1 Total Weight: 80 5.39/5.50 c Elapsed CPU time: 5.38818 s Remaining CPU time: 1794.61 s 5.49/5.56 c core #81 5.49/5.56 c Core size: 10 Core Weight: 1 Total Weight: 81 5.49/5.56 c Elapsed CPU time: 5.45517 s Remaining CPU time: 1794.54 s 5.58/5.63 c core #82 5.58/5.63 c Core size: 10 Core Weight: 1 Total Weight: 82 5.58/5.63 c Elapsed CPU time: 5.52116 s Remaining CPU time: 1794.48 s 5.58/5.70 c core #83 5.58/5.70 c Core size: 10 Core Weight: 1 Total Weight: 83 5.58/5.70 c Elapsed CPU time: 5.58815 s Remaining CPU time: 1794.41 s 5.68/5.76 c core #84 5.68/5.76 c Core size: 10 Core Weight: 1 Total Weight: 84 5.68/5.76 c Elapsed CPU time: 5.65414 s Remaining CPU time: 1794.35 s 5.78/5.83 c core #85 5.78/5.83 c Core size: 10 Core Weight: 1 Total Weight: 85 5.78/5.83 c Elapsed CPU time: 5.71913 s Remaining CPU time: 1794.28 s 5.78/5.90 c core #86 5.78/5.90 c Core size: 10 Core Weight: 1 Total Weight: 86 5.78/5.90 c Elapsed CPU time: 5.78212 s Remaining CPU time: 1794.22 s 5.89/5.96 c core #87 5.89/5.96 c Core size: 10 Core Weight: 1 Total Weight: 87 5.89/5.96 c Elapsed CPU time: 5.84811 s Remaining CPU time: 1794.15 s 5.99/6.03 c core #88 5.99/6.03 c Core size: 10 Core Weight: 1 Total Weight: 88 5.99/6.03 c Elapsed CPU time: 5.9141 s Remaining CPU time: 1794.09 s 5.99/6.10 c core #89 5.99/6.10 c Core size: 10 Core Weight: 1 Total Weight: 89 5.99/6.10 c Elapsed CPU time: 5.97909 s Remaining CPU time: 1794.02 s 6.09/6.16 c core #90 6.09/6.16 c Core size: 10 Core Weight: 1 Total Weight: 90 6.09/6.16 c Elapsed CPU time: 6.04508 s Remaining CPU time: 1793.95 s 6.19/6.23 c core #91 6.19/6.23 c Core size: 37 Core Weight: 1 Total Weight: 91 6.19/6.23 c Elapsed CPU time: 6.10907 s Remaining CPU time: 1793.89 s 6.19/6.29 c core #92 6.19/6.29 c Core size: 37 Core Weight: 1 Total Weight: 92 6.19/6.29 c Elapsed CPU time: 6.17306 s Remaining CPU time: 1793.83 s 6.29/6.36 c core #93 6.29/6.36 c Core size: 37 Core Weight: 1 Total Weight: 93 6.29/6.36 c Elapsed CPU time: 6.23805 s Remaining CPU time: 1793.76 s 6.39/6.43 c core #94 6.39/6.43 c Core size: 37 Core Weight: 1 Total Weight: 94 6.39/6.43 c Elapsed CPU time: 6.30504 s Remaining CPU time: 1793.69 s 6.49/6.50 c core #95 6.49/6.50 c Core size: 37 Core Weight: 1 Total Weight: 95 6.49/6.50 c Elapsed CPU time: 6.37003 s Remaining CPU time: 1793.63 s 6.49/6.56 c core #96 6.49/6.56 c Core size: 37 Core Weight: 1 Total Weight: 96 6.49/6.56 c Elapsed CPU time: 6.43502 s Remaining CPU time: 1793.56 s 6.59/6.63 c core #97 6.59/6.63 c Core size: 37 Core Weight: 1 Total Weight: 97 6.59/6.63 c Elapsed CPU time: 6.50101 s Remaining CPU time: 1793.5 s 6.69/6.70 c core #98 6.69/6.70 c Core size: 37 Core Weight: 1 Total Weight: 98 6.69/6.70 c Elapsed CPU time: 6.566 s Remaining CPU time: 1793.43 s 6.69/6.76 c core #99 6.69/6.76 c Core size: 37 Core Weight: 1 Total Weight: 99 6.69/6.76 c Elapsed CPU time: 6.63299 s Remaining CPU time: 1793.37 s 6.79/6.83 c core #100 6.79/6.83 c Core size: 37 Core Weight: 1 Total Weight: 100 6.79/6.83 c Elapsed CPU time: 6.69798 s Remaining CPU time: 1793.3 s 6.88/6.91 c ============================[ Search Statistics ]============================== 6.88/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.91 c =============================================================================== 6.88/6.91 c | 0 | 3110 44880 139990 | 14960 0 nan | 0.000 % | 6.88/6.91 c =============================================================================== 6.88/6.92 c core #101 6.88/6.92 c Core size: 11 Core Weight: 1 Total Weight: 101 6.88/6.92 c Elapsed CPU time: 6.77897 s Remaining CPU time: 1793.22 s 6.88/6.99 c ============================[ Search Statistics ]============================== 6.88/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.88/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.88/6.99 c =============================================================================== 6.88/6.99 c | 0 | 3123 44884 140167 | 14961 0 nan | 0.000 % | 6.98/7.00 c =============================================================================== 6.98/7.00 c core #102 6.98/7.00 c Core size: 14 Core Weight: 1 Total Weight: 102 6.98/7.00 c Elapsed CPU time: 6.86096 s Remaining CPU time: 1793.14 s 6.98/7.08 c ============================[ Search Statistics ]============================== 6.98/7.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.98/7.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.98/7.08 c =============================================================================== 6.98/7.08 c | 0 | 3134 44890 140184 | 14963 0 nan | 0.000 % | 6.98/7.08 c =============================================================================== 6.98/7.08 c core #103 6.98/7.08 c Core size: 15 Core Weight: 1 Total Weight: 103 6.98/7.08 c Elapsed CPU time: 6.93795 s Remaining CPU time: 1793.06 s 7.08/7.16 c ============================[ Search Statistics ]============================== 7.08/7.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.08/7.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.08/7.16 c =============================================================================== 7.08/7.16 c | 0 | 3153 44892 140317 | 14964 0 nan | 0.000 % | 7.08/7.17 c =============================================================================== 7.08/7.17 c core #104 7.08/7.17 c Core size: 14 Core Weight: 1 Total Weight: 104 7.08/7.17 c Elapsed CPU time: 7.02193 s Remaining CPU time: 1792.98 s 7.18/7.25 c ============================[ Search Statistics ]============================== 7.18/7.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.18/7.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.18/7.25 c =============================================================================== 7.18/7.25 c | 0 | 3164 44898 140334 | 14966 0 nan | 0.000 % | 7.18/7.26 c =============================================================================== 7.18/7.26 c core #105 7.18/7.26 c Core size: 11 Core Weight: 1 Total Weight: 105 7.18/7.26 c Elapsed CPU time: 7.10792 s Remaining CPU time: 1792.89 s 7.28/7.34 c ============================[ Search Statistics ]============================== 7.28/7.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.34 c =============================================================================== 7.28/7.34 c | 0 | 3177 44902 140511 | 14967 0 nan | 0.000 % | 7.28/7.34 c =============================================================================== 7.28/7.35 c core #106 7.28/7.35 c Core size: 14 Core Weight: 1 Total Weight: 106 7.28/7.35 c Elapsed CPU time: 7.19391 s Remaining CPU time: 1792.81 s 7.39/7.43 c ============================[ Search Statistics ]============================== 7.39/7.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.43 c =============================================================================== 7.39/7.43 c | 0 | 3188 44908 140528 | 14969 0 nan | 0.000 % | 7.39/7.44 c =============================================================================== 7.39/7.44 c core #107 7.39/7.44 c Core size: 114 Core Weight: 1 Total Weight: 107 7.39/7.44 c Elapsed CPU time: 7.28289 s Remaining CPU time: 1792.72 s 7.49/7.52 c ============================[ Search Statistics ]============================== 7.49/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.52 c =============================================================================== 7.49/7.52 c | 0 | 3288 44951 144240 | 14983 0 nan | 0.000 % | 7.49/7.53 c =============================================================================== 7.49/7.53 c core #108 7.49/7.53 c Core size: 14 Core Weight: 1 Total Weight: 108 7.49/7.53 c Elapsed CPU time: 7.37188 s Remaining CPU time: 1792.63 s 7.59/7.61 c ============================[ Search Statistics ]============================== 7.59/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.61 c =============================================================================== 7.59/7.61 c | 0 | 3299 44957 144257 | 14985 0 nan | 0.000 % | 7.59/7.61 c =============================================================================== 7.59/7.61 c core #109 7.59/7.61 c Core size: 11 Core Weight: 1 Total Weight: 109 7.59/7.61 c Elapsed CPU time: 7.45887 s Remaining CPU time: 1792.54 s 7.59/7.70 c ============================[ Search Statistics ]============================== 7.59/7.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.59/7.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.59/7.70 c =============================================================================== 7.59/7.70 c | 0 | 3308 44963 144270 | 14987 0 nan | 0.000 % | 7.69/7.71 c =============================================================================== 7.69/7.71 c core #110 7.69/7.71 c Core size: 11 Core Weight: 1 Total Weight: 110 7.69/7.71 c Elapsed CPU time: 7.54685 s Remaining CPU time: 1792.45 s 7.69/7.79 c ============================[ Search Statistics ]============================== 7.69/7.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.69/7.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.69/7.79 c =============================================================================== 7.69/7.79 c | 0 | 3321 44967 144447 | 14989 0 nan | 0.000 % | 7.69/7.80 c =============================================================================== 7.69/7.80 c core #111 7.69/7.80 c Core size: 13 Core Weight: 1 Total Weight: 111 7.69/7.80 c Elapsed CPU time: 7.63384 s Remaining CPU time: 1792.37 s 7.79/7.88 c ============================[ Search Statistics ]============================== 7.79/7.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.79/7.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.79/7.88 c =============================================================================== 7.79/7.88 c | 0 | 3331 44973 144462 | 14991 0 nan | 0.000 % | 7.79/7.88 c =============================================================================== 7.79/7.88 c core #112 7.79/7.88 c Core size: 11 Core Weight: 1 Total Weight: 112 7.79/7.88 c Elapsed CPU time: 7.71983 s Remaining CPU time: 1792.28 s 7.89/7.97 c ============================[ Search Statistics ]============================== 7.89/7.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.97 c =============================================================================== 7.89/7.97 c | 0 | 3344 44977 144639 | 14992 0 nan | 0.000 % | 7.89/7.98 c =============================================================================== 7.89/7.98 c core #113 7.89/7.98 c Core size: 53 Core Weight: 1 Total Weight: 113 7.89/7.98 c Elapsed CPU time: 7.80981 s Remaining CPU time: 1792.19 s 7.98/8.06 c ============================[ Search Statistics ]============================== 7.98/8.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.98/8.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.98/8.06 c =============================================================================== 7.98/8.06 c | 0 | 3408 45002 148209 | 15000 0 nan | 0.000 % | 7.98/8.07 c =============================================================================== 7.98/8.07 c core #114 7.98/8.07 c Core size: 13 Core Weight: 1 Total Weight: 114 7.98/8.07 c Elapsed CPU time: 7.8998 s Remaining CPU time: 1792.1 s 8.09/8.15 c ============================[ Search Statistics ]============================== 8.09/8.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.15 c =============================================================================== 8.09/8.15 c | 0 | 3418 45008 148224 | 15002 0 nan | 0.000 % | 8.09/8.17 c =============================================================================== 8.09/8.17 c core #115 8.09/8.17 c Core size: 53 Core Weight: 1 Total Weight: 115 8.09/8.17 c Elapsed CPU time: 7.99278 s Remaining CPU time: 1792.01 s 8.19/8.25 c ============================[ Search Statistics ]============================== 8.19/8.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.25 c =============================================================================== 8.19/8.25 c | 0 | 3482 45033 151794 | 15011 0 nan | 0.000 % | 8.19/8.26 c =============================================================================== 8.19/8.26 c core #116 8.19/8.26 c Core size: 12 Core Weight: 1 Total Weight: 116 8.19/8.26 c Elapsed CPU time: 8.08077 s Remaining CPU time: 1791.92 s 8.29/8.35 c ============================[ Search Statistics ]============================== 8.29/8.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.35 c =============================================================================== 8.29/8.35 c | 0 | 3499 45035 151923 | 15011 0 nan | 0.000 % | 8.29/8.35 c =============================================================================== 8.29/8.35 c core #117 8.29/8.35 c Core size: 26 Core Weight: 1 Total Weight: 117 8.29/8.35 c Elapsed CPU time: 8.17176 s Remaining CPU time: 1791.83 s 8.39/8.44 c ============================[ Search Statistics ]============================== 8.39/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.44 c =============================================================================== 8.39/8.44 c | 0 | 3520 45037 151964 | 15012 0 nan | 0.000 % | 8.39/8.45 c =============================================================================== 8.39/8.45 c core #118 8.39/8.45 c Core size: 26 Core Weight: 1 Total Weight: 118 8.39/8.45 c Elapsed CPU time: 8.25674 s Remaining CPU time: 1791.74 s 8.48/8.53 c ============================[ Search Statistics ]============================== 8.48/8.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.53 c =============================================================================== 8.48/8.53 c | 0 | 3541 45039 152005 | 15013 0 nan | 0.000 % | 8.48/8.54 c =============================================================================== 8.48/8.54 c core #119 8.48/8.54 c Core size: 14 Core Weight: 1 Total Weight: 119 8.48/8.54 c Elapsed CPU time: 8.34973 s Remaining CPU time: 1791.65 s 8.59/8.63 c ============================[ Search Statistics ]============================== 8.59/8.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.63 c =============================================================================== 8.59/8.63 c | 0 | 3556 45041 152336 | 15013 0 nan | 0.000 % | 8.59/8.64 c | 100 | 3554 45041 152336 | 16515 100 29 | 14.608 % | 8.59/8.64 c =============================================================================== 8.59/8.64 c core #120 8.59/8.64 c Core size: 11 Core Weight: 1 Total Weight: 120 8.59/8.64 c Elapsed CPU time: 8.44772 s Remaining CPU time: 1791.55 s 8.69/8.73 c ============================[ Search Statistics ]============================== 8.69/8.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.73 c =============================================================================== 8.69/8.73 c | 0 | 3569 45045 152513 | 15015 0 nan | 0.000 % | 8.69/8.73 c =============================================================================== 8.69/8.73 c core #121 8.69/8.73 c Core size: 13 Core Weight: 1 Total Weight: 121 8.69/8.73 c Elapsed CPU time: 8.5377 s Remaining CPU time: 1791.46 s 8.79/8.82 c ============================[ Search Statistics ]============================== 8.79/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.82 c =============================================================================== 8.79/8.82 c | 0 | 3579 45051 152528 | 15017 0 nan | 0.000 % | 8.79/8.82 c =============================================================================== 8.79/8.82 c core #122 8.79/8.82 c Core size: 11 Core Weight: 1 Total Weight: 122 8.79/8.82 c Elapsed CPU time: 8.62669 s Remaining CPU time: 1791.37 s 8.88/8.91 c ============================[ Search Statistics ]============================== 8.88/8.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.88/8.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.88/8.91 c =============================================================================== 8.88/8.91 c | 0 | 3592 45055 152705 | 15018 0 nan | 0.000 % | 8.88/8.91 c =============================================================================== 8.88/8.91 c core #123 8.88/8.91 c Core size: 11 Core Weight: 1 Total Weight: 123 8.88/8.91 c Elapsed CPU time: 8.71268 s Remaining CPU time: 1791.29 s 8.99/9.00 c ============================[ Search Statistics ]============================== 8.99/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.00 c =============================================================================== 8.99/9.00 c | 0 | 3605 45059 152882 | 15019 0 nan | 0.000 % | 8.99/9.01 c | 100 | 3603 45059 152882 | 16521 100 29 | 14.194 % | 8.99/9.01 c =============================================================================== 8.99/9.01 c core #124 8.99/9.01 c Core size: 15 Core Weight: 1 Total Weight: 124 8.99/9.01 c Elapsed CPU time: 8.81066 s Remaining CPU time: 1791.19 s 9.09/9.10 c ============================[ Search Statistics ]============================== 9.09/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.10 c =============================================================================== 9.09/9.10 c | 0 | 3624 45061 153015 | 15020 0 nan | 0.000 % | 9.09/9.11 c =============================================================================== 9.09/9.11 c core #125 9.09/9.11 c Core size: 79 Core Weight: 1 Total Weight: 125 9.09/9.11 c Elapsed CPU time: 8.90365 s Remaining CPU time: 1791.1 s 9.09/9.20 c ============================[ Search Statistics ]============================== 9.09/9.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.20 c =============================================================================== 9.09/9.20 c | 0 | 3692 45086 154743 | 15028 0 nan | 0.000 % | 9.18/9.21 c =============================================================================== 9.18/9.21 c core #126 9.18/9.21 c Core size: 14 Core Weight: 1 Total Weight: 126 9.18/9.21 c Elapsed CPU time: 8.99963 s Remaining CPU time: 1791 s 9.18/9.29 c ============================[ Search Statistics ]============================== 9.18/9.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.29 c =============================================================================== 9.18/9.29 c | 0 | 3703 45090 154762 | 15030 0 nan | 0.000 % | 9.29/9.31 c | 100 | 3701 45090 154762 | 16533 100 26 | 13.595 % | 9.29/9.31 c =============================================================================== 9.29/9.31 c core #127 9.29/9.31 c Core size: 15 Core Weight: 1 Total Weight: 127 9.29/9.31 c Elapsed CPU time: 9.09862 s Remaining CPU time: 1790.9 s 9.38/9.40 c ============================[ Search Statistics ]============================== 9.38/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.40 c =============================================================================== 9.38/9.40 c | 0 | 3722 45092 154895 | 15030 0 nan | 0.000 % | 9.38/9.41 c =============================================================================== 9.38/9.41 c core #128 9.38/9.41 c Core size: 13 Core Weight: 1 Total Weight: 128 9.38/9.41 c Elapsed CPU time: 9.1886 s Remaining CPU time: 1790.81 s 9.38/9.49 c ============================[ Search Statistics ]============================== 9.38/9.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.49 c =============================================================================== 9.38/9.49 c | 0 | 3732 45098 154910 | 15032 0 nan | 0.000 % | 9.48/9.50 c =============================================================================== 9.48/9.50 c core #129 9.48/9.50 c Core size: 11 Core Weight: 1 Total Weight: 129 9.48/9.50 c Elapsed CPU time: 9.27759 s Remaining CPU time: 1790.72 s 9.48/9.58 c ============================[ Search Statistics ]============================== 9.48/9.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.58 c =============================================================================== 9.48/9.58 c | 0 | 3745 45102 155087 | 15034 0 nan | 0.000 % | 9.48/9.59 c =============================================================================== 9.48/9.59 c core #130 9.48/9.59 c Core size: 15 Core Weight: 1 Total Weight: 130 9.48/9.59 c Elapsed CPU time: 9.36758 s Remaining CPU time: 1790.63 s 9.59/9.67 c ============================[ Search Statistics ]============================== 9.59/9.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.67 c =============================================================================== 9.59/9.67 c | 0 | 3764 45104 155220 | 15034 0 nan | 0.000 % | 9.59/9.68 c =============================================================================== 9.59/9.68 c core #131 9.59/9.68 c Core size: 34 Core Weight: 1 Total Weight: 131 9.59/9.68 c Elapsed CPU time: 9.45956 s Remaining CPU time: 1790.54 s 9.69/9.77 c ============================[ Search Statistics ]============================== 9.69/9.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.69/9.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.69/9.77 c =============================================================================== 9.69/9.77 c | 0 | 3796 45117 155908 | 15039 0 nan | 0.000 % | 9.69/9.78 c =============================================================================== 9.69/9.78 c core #132 9.69/9.78 c Core size: 15 Core Weight: 1 Total Weight: 132 9.69/9.78 c Elapsed CPU time: 9.55255 s Remaining CPU time: 1790.45 s 9.79/9.87 c ============================[ Search Statistics ]============================== 9.79/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.87 c =============================================================================== 9.79/9.87 c | 0 | 3815 45119 156041 | 15039 0 nan | 0.000 % | 9.79/9.88 c | 101 | 3815 45119 156041 | 16543 101 8 | 12.500 % | 9.79/9.88 c =============================================================================== 9.79/9.88 c core #133 9.79/9.88 c Core size: 33 Core Weight: 1 Total Weight: 133 9.79/9.88 c Elapsed CPU time: 9.64653 s Remaining CPU time: 1790.35 s 9.89/9.96 c ============================[ Search Statistics ]============================== 9.89/9.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.96 c =============================================================================== 9.89/9.96 c | 0 | 3846 45135 156390 | 15045 0 nan | 0.000 % | 9.89/9.98 c | 102 | 3844 45135 156390 | 16549 102 28 | 12.377 % | 9.89/9.98 c =============================================================================== 9.89/9.98 c core #134 9.89/9.98 c Core size: 14 Core Weight: 1 Total Weight: 134 9.89/9.98 c Elapsed CPU time: 9.74152 s Remaining CPU time: 1790.26 s 9.98/10.07 c ============================[ Search Statistics ]============================== 9.98/10.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.98/10.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.98/10.07 c =============================================================================== 9.98/10.07 c | 0 | 3857 45139 156409 | 15046 0 nan | 0.000 % | 9.98/10.08 c | 100 | 3855 45139 156409 | 16550 100 26 | 12.347 % | 9.98/10.08 c =============================================================================== 9.98/10.08 c core #135 9.98/10.08 c Core size: 15 Core Weight: 1 Total Weight: 135 9.98/10.08 c Elapsed CPU time: 9.8425 s Remaining CPU time: 1790.16 s 10.08/10.17 c ============================[ Search Statistics ]============================== 10.08/10.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.08/10.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.08/10.17 c =============================================================================== 10.08/10.17 c | 0 | 3876 45141 156542 | 15047 0 nan | 0.000 % | 10.08/10.18 c | 104 | 3874 45141 156542 | 16551 104 26 | 12.134 % | 10.08/10.19 c =============================================================================== 10.08/10.19 c core #136 10.08/10.19 c Core size: 14 Core Weight: 1 Total Weight: 136 10.08/10.19 c Elapsed CPU time: 9.93749 s Remaining CPU time: 1790.06 s 10.18/10.27 c ============================[ Search Statistics ]============================== 10.18/10.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.18/10.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.18/10.27 c =============================================================================== 10.18/10.27 c | 0 | 3891 45143 156873 | 15047 0 nan | 0.000 % | 10.18/10.29 c | 101 | 3889 45143 156873 | 16552 101 27 | 12.014 % | 10.28/10.30 c =============================================================================== 10.28/10.30 c core #137 10.28/10.30 c Core size: 82 Core Weight: 1 Total Weight: 137 10.28/10.30 c Elapsed CPU time: 10.0495 s Remaining CPU time: 1789.95 s 10.28/10.39 c ============================[ Search Statistics ]============================== 10.28/10.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.39 c =============================================================================== 10.28/10.39 c | 0 | 3968 45171 160554 | 15057 0 nan | 0.000 % | 10.39/10.40 c | 102 | 3966 45171 160554 | 16562 102 28 | 11.532 % | 10.39/10.41 c =============================================================================== 10.39/10.41 c core #138 10.39/10.41 c Core size: 14 Core Weight: 1 Total Weight: 138 10.39/10.41 c Elapsed CPU time: 10.1495 s Remaining CPU time: 1789.85 s 10.39/10.49 c ============================[ Search Statistics ]============================== 10.39/10.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.39/10.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.39/10.49 c =============================================================================== 10.39/10.49 c | 0 | 3983 45173 160885 | 15057 0 nan | 0.000 % | 10.48/10.51 c | 101 | 3981 45173 160885 | 16563 101 21 | 11.415 % | 10.48/10.52 c =============================================================================== 10.48/10.52 c core #139 10.48/10.52 c Core size: 15 Core Weight: 1 Total Weight: 139 10.48/10.52 c Elapsed CPU time: 10.2544 s Remaining CPU time: 1789.75 s 10.59/10.60 c ============================[ Search Statistics ]============================== 10.59/10.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.60 c =============================================================================== 10.59/10.60 c | 0 | 4002 45175 161021 | 15058 0 nan | 0.000 % | 10.59/10.62 c | 100 | 4000 45175 161021 | 16564 100 28 | 11.210 % | 10.59/10.63 c | 250 | 4000 45175 161021 | 18220 250 23 | 11.210 % | 10.59/10.64 c | 475 | 4000 45175 161021 | 20042 475 21 | 11.210 % | 10.59/10.64 c =============================================================================== 10.59/10.65 c core #140 10.59/10.65 c Core size: 128 Core Weight: 1 Total Weight: 140 10.59/10.65 c Elapsed CPU time: 10.3814 s Remaining CPU time: 1789.62 s 10.69/10.73 c ============================[ Search Statistics ]============================== 10.69/10.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.69/10.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.69/10.73 c =============================================================================== 10.69/10.73 c | 0 | 4110 45214 165318 | 15071 0 nan | 0.000 % | 10.69/10.75 c | 100 | 4108 45214 165318 | 16578 100 25 | 10.676 % | 10.69/10.76 c | 253 | 4106 45214 165318 | 18236 253 19 | 10.763 % | 10.69/10.78 c | 478 | 4104 45214 165318 | 20059 478 25 | 10.807 % | 10.78/10.81 c | 815 | 4089 45214 165318 | 22065 815 34 | 11.372 % | 10.78/10.83 c =============================================================================== 10.78/10.83 c core #141 10.78/10.83 c Core size: 1634 Core Weight: 1 Total Weight: 141 10.78/10.83 c Elapsed CPU time: 10.5614 s Remaining CPU time: 1789.44 s 10.89/10.93 c Learning 622 hard constraints 10.89/10.93 c ============================[ Search Statistics ]============================== 10.89/10.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.93 c =============================================================================== 10.89/10.93 c | 0 | 4212 45878 195345 | 15292 0 nan | 0.000 % | 10.89/10.94 c | 100 | 4212 45878 195345 | 16821 100 31 | 10.173 % | 10.89/10.95 c | 250 | 4212 45878 195345 | 18504 250 24 | 10.173 % | 10.89/10.97 c | 475 | 4212 45878 195345 | 20354 475 19 | 10.173 % | 10.89/11.00 c | 812 | 4206 45878 195345 | 22389 812 25 | 10.386 % | 10.98/11.06 c | 1318 | 4204 45878 195345 | 24628 1318 31 | 10.429 % | 10.98/11.07 c =============================================================================== 10.98/11.08 c core #142 10.98/11.08 c Core size: 1556 Core Weight: 1 Total Weight: 142 10.98/11.08 c Elapsed CPU time: 10.7934 s Remaining CPU time: 1789.21 s 11.09/11.18 c Learning 592 hard constraints 11.09/11.18 c ============================[ Search Statistics ]============================== 11.09/11.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.18 c =============================================================================== 11.09/11.18 c | 0 | 4322 46501 218733 | 15500 0 nan | 0.000 % | 11.09/11.19 c | 100 | 4322 46501 218733 | 17050 100 27 | 9.676 % | 11.18/11.20 c | 256 | 4319 46501 218733 | 18755 256 24 | 9.760 % | 11.18/11.22 c | 481 | 4319 46501 218733 | 20630 481 21 | 9.760 % | 11.18/11.25 c | 819 | 4309 46501 218733 | 22694 819 23 | 10.052 % | 11.29/11.30 c | 1325 | 4309 46501 218733 | 24963 1325 32 | 10.052 % | 11.29/11.34 c =============================================================================== 11.29/11.34 c core #143 11.29/11.34 c Core size: 1239 Core Weight: 1 Total Weight: 143 11.29/11.34 c Elapsed CPU time: 11.0473 s Remaining CPU time: 1788.95 s 11.39/11.44 c Learning 680 hard constraints 11.39/11.44 c ============================[ Search Statistics ]============================== 11.39/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.44 c =============================================================================== 11.39/11.44 c | 0 | 4435 47214 249661 | 15738 0 nan | 0.000 % | 11.39/11.46 c | 101 | 4435 47214 249661 | 17311 101 22 | 9.156 % | 11.39/11.47 c | 254 | 4435 47214 249661 | 19042 254 19 | 9.197 % | 11.39/11.49 c | 479 | 4434 47214 249661 | 20947 479 26 | 9.197 % | 11.48/11.51 c =============================================================================== 11.48/11.52 c core #144 11.48/11.52 c Core size: 654 Core Weight: 1 Total Weight: 144 11.48/11.52 c Elapsed CPU time: 11.2183 s Remaining CPU time: 1788.78 s 11.59/11.62 c Learning 93 hard constraints 11.59/11.62 c ============================[ Search Statistics ]============================== 11.59/11.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.59/11.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.59/11.62 c =============================================================================== 11.59/11.62 c | 0 | 4562 47326 262046 | 15775 0 nan | 0.000 % | 11.59/11.64 c | 101 | 4562 47326 262046 | 17352 101 39 | 8.485 % | 11.59/11.65 c | 251 | 4562 47326 262046 | 19088 251 35 | 8.485 % | 11.59/11.67 c | 480 | 4556 47326 262046 | 20996 480 45 | 8.606 % | 11.69/11.70 c | 817 | 4554 47326 262046 | 23096 817 54 | 8.646 % | 11.69/11.71 c =============================================================================== 11.69/11.71 c core #145 11.69/11.71 c Core size: 834 Core Weight: 1 Total Weight: 145 11.69/11.71 c Elapsed CPU time: 11.4033 s Remaining CPU time: 1788.6 s 11.79/11.82 c Learning 607 hard constraints 11.79/11.82 c ============================[ Search Statistics ]============================== 11.79/11.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.79/11.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.79/11.82 c =============================================================================== 11.79/11.82 c | 0 | 4663 47965 305110 | 15988 0 nan | 0.000 % | 11.79/11.84 c | 101 | 4663 47965 305110 | 17587 101 38 | 7.973 % | 11.79/11.85 c | 251 | 4662 47965 305110 | 19345 251 35 | 8.013 % | 11.79/11.87 c | 476 | 4662 47965 305110 | 21280 476 31 | 8.013 % | 11.88/11.91 c | 813 | 4662 47965 305110 | 23408 813 34 | 8.013 % | 11.88/11.95 c =============================================================================== 11.88/11.96 c core #146 11.88/11.96 c Core size: 1458 Core Weight: 1 Total Weight: 146 11.88/11.96 c Elapsed CPU time: 11.6452 s Remaining CPU time: 1788.35 s 11.99/12.08 c Learning 431 hard constraints 11.99/12.08 c ============================[ Search Statistics ]============================== 11.99/12.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.99/12.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.99/12.08 c =============================================================================== 11.99/12.08 c | 0 | 4794 48416 327987 | 16138 0 nan | 0.000 % | 11.99/12.09 c | 100 | 4794 48416 327987 | 17752 100 26 | 7.487 % | 12.09/12.11 c | 250 | 4794 48416 327987 | 19527 250 46 | 7.487 % | 12.09/12.13 c | 476 | 4794 48416 327987 | 21480 476 57 | 7.487 % | 12.09/12.16 c | 813 | 4794 48416 327987 | 23628 813 55 | 7.487 % | 12.18/12.23 c | 1324 | 4794 48416 327987 | 25991 1324 54 | 7.487 % | 12.29/12.32 c | 2084 | 4794 48416 327987 | 28590 2084 50 | 7.487 % | 12.39/12.41 c =============================================================================== 12.39/12.43 c core #147 12.39/12.43 c Core size: 383 Core Weight: 1 Total Weight: 147 12.39/12.43 c Elapsed CPU time: 12.1042 s Remaining CPU time: 1787.9 s 12.49/12.55 c Learning 43 hard constraints 12.49/12.55 c ============================[ Search Statistics ]============================== 12.49/12.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.49/12.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.49/12.55 c =============================================================================== 12.49/12.55 c | 0 | 4936 48470 336928 | 16156 0 nan | 0.000 % | 12.49/12.57 c | 101 | 4936 48470 336928 | 17772 101 43 | 6.938 % | 12.49/12.59 c | 251 | 4930 48470 336928 | 19549 251 39 | 7.051 % | 12.59/12.61 c | 478 | 4930 48470 336928 | 21504 478 33 | 7.051 % | 12.59/12.64 c | 815 | 4930 48470 336928 | 23654 815 34 | 7.051 % | 12.59/12.69 c | 1321 | 4930 48470 336928 | 26020 1321 35 | 7.051 % | 12.69/12.79 c | 2080 | 4930 48470 336928 | 28622 2080 44 | 7.051 % | 12.88/12.95 c | 3220 | 4930 48470 336928 | 31484 3220 48 | 7.051 % | 13.09/13.20 c | 4930 | 4930 48470 336928 | 34633 4825 45 | 7.051 % | 13.68/13.70 c | 7494 | 4930 48470 336928 | 38096 7389 45 | 7.051 % | 14.38/14.48 c | 11338 | 4928 48470 336928 | 41906 11169 44 | 7.089 % | 15.78/15.89 c | 17106 | 4928 48470 336928 | 46096 16937 44 | 7.089 % | 19.69/19.80 c | 25756 | 4928 48470 336928 | 50706 25545 46 | 7.089 % | 23.98/24.07 c =============================================================================== 24.48/24.55 c core #148 24.48/24.55 c Core size: 2318 Core Weight: 1 Total Weight: 148 24.48/24.55 c Elapsed CPU time: 24.1303 s Remaining CPU time: 1775.87 s 24.68/24.72 c Learning 1787 hard constraints 24.68/24.72 c ============================[ Search Statistics ]============================== 24.68/24.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.68/24.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.68/24.72 c =============================================================================== 24.68/24.72 c | 0 | 5141 50261 410512 | 16753 0 nan | 0.000 % | 24.68/24.75 c | 101 | 5141 50261 410512 | 18429 101 41 | 6.561 % | 24.68/24.76 c | 251 | 5141 50261 410512 | 20271 251 34 | 6.561 % | 24.68/24.78 c | 477 | 5141 50261 410512 | 22299 477 24 | 6.561 % | 24.78/24.83 c | 816 | 5141 50261 410512 | 24529 816 29 | 6.561 % | 24.88/24.90 c | 1323 | 5141 50261 410512 | 26981 1323 37 | 6.561 % | 24.98/25.01 c | 2082 | 5141 50261 410512 | 29680 2082 38 | 6.561 % | 25.07/25.15 c | 3223 | 5141 50261 410512 | 32648 3223 42 | 6.561 % | 25.28/25.38 c | 4933 | 5141 50261 410512 | 35912 4933 39 | 6.561 % | 25.67/25.76 c =============================================================================== 25.78/25.83 c core #149 25.78/25.83 c Core size: 2364 Core Weight: 1 Total Weight: 149 25.78/25.83 c Elapsed CPU time: 25.3841 s Remaining CPU time: 1774.62 s 25.88/25.98 c Learning 1838 hard constraints 25.88/25.98 c ============================[ Search Statistics ]============================== 25.88/25.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.88/25.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.88/25.98 c =============================================================================== 25.88/25.98 c | 0 | 5303 52110 493315 | 17370 0 nan | 0.000 % | 25.98/26.00 c | 100 | 5303 52110 493315 | 19107 100 29 | 6.241 % | 25.98/26.01 c | 252 | 5301 52110 493315 | 21017 252 26 | 6.277 % | 25.98/26.04 c | 477 | 5300 52110 493315 | 23119 477 23 | 6.312 % | 25.98/26.07 c | 815 | 5300 52110 493315 | 25431 815 26 | 6.312 % | 26.08/26.13 c | 1322 | 5300 52110 493315 | 27974 1322 24 | 6.312 % | 26.18/26.22 c | 2081 | 5300 52110 493315 | 30772 2081 26 | 6.312 % | 26.38/26.42 c | 3221 | 5300 52110 493315 | 33849 3221 34 | 6.312 % | 26.58/26.68 c | 4929 | 5299 52110 493315 | 37234 4845 36 | 6.312 % | 27.17/27.21 c | 7492 | 5299 52110 493315 | 40957 7408 37 | 6.312 % | 28.08/28.11 c | 11336 | 5299 52110 493315 | 45053 11252 41 | 6.312 % | 29.78/29.85 c | 17102 | 5299 52110 493315 | 49558 17018 44 | 6.312 % | 32.88/32.93 c | 25751 | 5299 52110 493315 | 54514 25667 49 | 6.312 % | 38.95/39.04 c | 38730 | 5299 52110 493315 | 59965 38646 49 | 6.312 % | 48.15/48.21 c =============================================================================== 48.84/48.96 c core #150 48.84/48.96 c Core size: 3963 Core Weight: 1 Total Weight: 150 48.84/48.96 c Elapsed CPU time: 48.3466 s Remaining CPU time: 1751.65 s 49.05/49.18 c Learning 3998 hard constraints 49.05/49.18 c ============================[ Search Statistics ]============================== 49.05/49.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.05/49.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.05/49.18 c =============================================================================== 49.05/49.18 c | 0 | 5505 56109 659140 | 18703 0 nan | 0.000 % | 49.15/49.22 c | 102 | 5505 56109 659140 | 20573 102 24 | 5.865 % | 49.15/49.24 c | 252 | 5505 56109 659140 | 22630 252 41 | 5.865 % | 49.15/49.27 c | 479 | 5505 56109 659140 | 24893 479 40 | 5.865 % | 49.25/49.31 c | 818 | 5505 56109 659140 | 27383 818 49 | 5.865 % | 49.25/49.38 c | 1325 | 5505 56109 659140 | 30121 1325 46 | 5.865 % | 49.35/49.48 c | 2087 | 5505 56109 659140 | 33133 2087 46 | 5.865 % | 49.55/49.61 c | 3227 | 5505 56109 659140 | 36446 3227 42 | 5.865 % | 49.75/49.88 c | 4936 | 5505 56109 659140 | 40091 4936 42 | 5.865 % | 50.25/50.32 c | 7499 | 5485 56109 659140 | 44100 3307 27 | 6.207 % | 50.25/50.32 c =============================================================================== 50.25/50.39 c core #151 50.25/50.39 c Core size: 2379 Core Weight: 1 Total Weight: 151 50.25/50.39 c Elapsed CPU time: 49.7394 s Remaining CPU time: 1750.26 s 50.45/50.56 c Learning 1081 hard constraints 50.45/50.56 c ============================[ Search Statistics ]============================== 50.45/50.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.45/50.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.45/50.56 c =============================================================================== 50.45/50.56 c | 0 | 5671 57196 701067 | 19065 0 nan | 0.000 % | 50.55/50.60 c | 102 | 5671 57196 701067 | 20971 102 69 | 5.483 % | 50.55/50.63 c | 255 | 5671 57196 701067 | 23069 255 46 | 5.483 % | 50.55/50.65 c | 481 | 5671 57196 701067 | 25375 481 32 | 5.483 % | 50.55/50.70 c | 818 | 5671 57196 701067 | 27913 818 42 | 5.483 % | 50.64/50.75 c | 1326 | 5671 57196 701067 | 30704 1326 38 | 5.483 % | 50.74/50.87 c | 2086 | 5671 57196 701067 | 33775 2086 41 | 5.483 % | 50.95/51.03 c | 3225 | 5671 57196 701067 | 37152 3225 39 | 5.483 % | 51.25/51.31 c | 4935 | 5671 57196 701067 | 40868 4935 40 | 5.483 % | 51.74/51.82 c | 7499 | 5671 57196 701067 | 44955 7499 42 | 5.483 % | 52.44/52.54 c | 11346 | 5671 57196 701067 | 49450 11346 41 | 5.483 % | 53.94/54.07 c | 17115 | 5671 57196 701067 | 54395 17115 44 | 5.483 % | 56.84/56.93 c | 25768 | 5671 57196 701067 | 59835 25768 47 | 5.483 % | 63.64/63.76 c | 38743 | 5671 57196 701067 | 65818 38743 46 | 5.483 % | 78.04/78.19 c | 58205 | 5671 57196 701067 | 72400 58205 48 | 5.483 % | 92.73/92.81 c =============================================================================== 93.72/93.89 c core #152 93.72/93.89 c Core size: 4034 Core Weight: 1 Total Weight: 152 93.72/93.89 c Elapsed CPU time: 92.9889 s Remaining CPU time: 1707.01 s 94.13/94.28 c Learning 15914 hard constraints 94.13/94.28 c ============================[ Search Statistics ]============================== 94.13/94.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 94.13/94.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 94.13/94.28 c =============================================================================== 94.13/94.28 c | 0 | 5877 73111 1559360 | 24370 0 nan | 0.000 % | 94.33/94.46 c | 107 | 5877 73111 1559360 | 26807 107 117 | 5.225 % | 94.43/94.51 c | 257 | 5877 73111 1559360 | 29488 257 77 | 5.225 % | 94.43/94.56 c | 485 | 5877 73111 1559360 | 32436 485 58 | 5.225 % | 94.53/94.67 c | 823 | 5877 73111 1559360 | 35680 823 42 | 5.225 % | 94.83/94.92 c | 1329 | 5877 73111 1559360 | 39248 1329 43 | 5.225 % | 95.02/95.16 c | 2090 | 5877 73111 1559360 | 43173 2090 41 | 5.225 % | 95.42/95.52 c | 3229 | 5877 73111 1559360 | 47490 3229 40 | 5.225 % | 96.03/96.10 c | 4939 | 5877 73111 1559360 | 52239 4939 43 | 5.225 % | 96.73/96.85 c | 7507 | 5877 73111 1559360 | 57463 7507 43 | 5.225 % | 98.33/98.41 c | 11351 | 5877 73111 1559360 | 63210 11351 49 | 5.225 % | 100.53/100.63 c | 17119 | 5877 73111 1559360 | 69531 17119 50 | 5.225 % | 104.43/104.55 c | 25768 | 5877 73111 1559360 | 76484 25768 49 | 5.225 % | 113.92/114.04 c | 38743 | 5877 73111 1559360 | 84133 38743 51 | 5.225 % | 132.41/132.53 c | 58204 | 5877 73111 1559360 | 92546 58204 51 | 5.225 % | 164.90/165.05 c | 87396 | 5877 73111 1559360 | 101800 87396 62 | 5.225 % | 214.08/214.26 c | 131186 | 5877 73111 1559360 | 111981 45318 51 | 5.225 % | 294.93/295.13 c | 196870 | 5877 73111 1559360 | 123179 111002 55 | 5.225 % | 404.18/404.41 c | 295398 | 5877 73111 1559360 | 135497 103898 49 | 5.225 % | 596.20/596.55 c =============================================================================== 605.59/605.95 c core #153 605.59/605.95 c Core size: 11082 Core Weight: 1 Total Weight: 153 605.59/605.95 c Elapsed CPU time: 603.252 s Remaining CPU time: 1196.75 s 606.29/606.68 c Learning 3295 hard constraints 606.29/606.68 c ============================[ Search Statistics ]============================== 606.29/606.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 606.29/606.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 606.29/606.68 c =============================================================================== 606.29/606.68 c | 0 | 6104 76407 1674914 | 25469 0 nan | 0.000 % | 606.49/606.82 c | 100 | 6104 76407 1674914 | 28015 100 85 | 5.040 % | 606.49/606.84 c | 250 | 6104 76407 1674914 | 30817 250 71 | 5.040 % | 606.49/606.88 c | 475 | 6104 76407 1674914 | 33899 475 52 | 5.040 % | 606.59/606.93 c | 812 | 6104 76407 1674914 | 37289 812 46 | 5.040 % | 606.69/607.00 c | 1319 | 6104 76407 1674914 | 41018 1319 41 | 5.040 % | 606.79/607.10 c | 2079 | 6104 76407 1674914 | 45119 2079 42 | 5.040 % | 606.89/607.26 c | 3218 | 6104 76407 1674914 | 49631 3218 39 | 5.040 % | 607.19/607.50 c | 4929 | 6104 76407 1674914 | 54595 4929 37 | 5.040 % | 607.69/608.02 c | 7492 | 6104 76407 1674914 | 60054 7492 40 | 5.040 % | 608.70/609.05 c | 11337 | 6104 76407 1674914 | 66060 11337 44 | 5.040 % | 610.09/610.44 c | 17103 | 6104 76407 1674914 | 72666 17103 44 | 5.040 % | 613.58/613.90 c | 25752 | 6104 76407 1674914 | 79932 25752 45 | 5.040 % | 619.48/619.89 c | 38726 | 6104 76407 1674914 | 87925 38726 44 | 5.040 % | 634.78/635.15 c | 58187 | 6104 76407 1674914 | 96718 58187 49 | 5.040 % | 668.86/669.23 c | 87382 | 6104 76407 1674914 | 106390 87382 49 | 5.040 % | 712.04/712.40 c | 131177 | 6104 76407 1674914 | 117029 41422 45 | 5.040 % | 787.91/788.30 c | 196861 | 6104 76407 1674914 | 128732 107106 46 | 5.040 % | 907.13/907.65 c =============================================================================== 914.13/914.63 c core #154 914.13/914.63 c Core size: 4930 Core Weight: 1 Total Weight: 154 914.13/914.63 c Elapsed CPU time: 910.964 s Remaining CPU time: 889.036 s 914.74/915.27 c Learning 5373 hard constraints 914.74/915.27 c ============================[ Search Statistics ]============================== 914.74/915.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 914.74/915.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 914.74/915.27 c =============================================================================== 914.74/915.27 c | 0 | 6327 81781 1856840 | 27260 0 nan | 0.000 % | 915.03/915.56 c | 101 | 6327 81781 1856840 | 29986 101 111 | 4.829 % | 915.03/915.59 c | 252 | 6327 81781 1856840 | 32985 252 61 | 4.829 % | 915.23/915.75 c | 480 | 6327 81781 1856840 | 36283 480 59 | 4.829 % | 915.33/915.84 c | 818 | 6327 81781 1856840 | 39911 818 47 | 4.829 % | 915.44/915.92 c | 1327 | 6327 81781 1856840 | 43903 1327 36 | 4.829 % | 915.64/916.17 c | 2086 | 6327 81781 1856840 | 48293 2086 44 | 4.829 % | 915.94/916.45 c | 3227 | 6327 81781 1856840 | 53122 3227 43 | 4.829 % | 916.53/917.05 c | 4937 | 6327 81781 1856840 | 58434 4937 44 | 4.829 % | 917.33/917.81 c | 7500 | 6327 81781 1856840 | 64278 7500 49 | 4.829 % | 918.53/919.00 c | 11347 | 6327 81781 1856840 | 70706 11347 48 | 4.829 % | 920.13/920.64 c | 17114 | 6327 81781 1856840 | 77776 17114 46 | 4.829 % | 924.03/924.55 c | 25765 | 6327 81781 1856840 | 85554 25765 52 | 4.829 % | 930.23/930.70 c | 38742 | 6327 81781 1856840 | 94110 38742 54 | 4.829 % | 953.51/954.10 c | 58203 | 6327 81781 1856840 | 103521 58203 56 | 4.829 % | 996.19/996.73 c | 87396 | 6327 81781 1856840 | 113873 87396 56 | 4.829 % | 1050.97/1051.56 c | 131186 | 6327 81781 1856840 | 125260 31134 49 | 4.829 % | 1131.13/1131.79 c | 196870 | 6327 81781 1856840 | 137786 96818 70 | 4.829 % | 1255.75/1256.40 c | 295397 | 6327 81781 1856840 | 151565 71228 78 | 4.829 % | 1471.86/1472.64 c | 443191 | 6327 81781 1856840 | 166721 84781 70 | 4.829 % |
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-1875682-1245147199/watcher-1875682-1245147199 -o /tmp/evaluation-result-1875682-1245147199/solver-1875682-1245147199 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875682-1245147199.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.12 1.04 1.00 3/64 1553 /proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=5920 CPUtime=0 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 182320566 6062080 270 1992294400 134512640 135709839 4294956240 18446744073709551615 134542951 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 1480 270 126 292 0 439 0 [startup+0.075671 s] /proc/loadavg: 1.12 1.04 1.00 3/64 1553 /proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=6980 CPUtime=0.07 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 684 0 0 0 7 0 0 0 18 0 1 0 182320566 7147520 668 1992294400 134512640 135709839 4294956240 18446744073709551615 134544302 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 1745 668 253 292 0 704 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6980 [startup+0.101678 s] /proc/loadavg: 1.12 1.04 1.00 3/64 1553 /proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=7304 CPUtime=0.1 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 812 0 0 0 10 0 0 0 18 0 1 0 182320566 7479296 796 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 1826 796 304 292 0 785 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 7304 [startup+0.301722 s] /proc/loadavg: 1.12 1.04 1.00 3/64 1553 /proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=9316 CPUtime=0.29 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 1700 0 0 0 29 0 0 0 19 0 1 0 182320566 9539584 1684 1992294400 134512640 135709839 4294956240 18446744073709551615 135190409 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 2329 1685 686 292 0 1288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9316 [startup+0.701806 s] /proc/loadavg: 1.12 1.04 1.00 3/64 1553 /proc/meminfo: memFree=1864120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=18188 CPUtime=0.69 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 4957 0 0 0 69 0 0 0 23 0 1 0 182320566 18624512 4076 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 4547 4077 134 292 0 4252 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18188 [startup+1.50198 s] /proc/loadavg: 1.11 1.04 1.00 2/65 1554 /proc/meminfo: memFree=1842288/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=34716 CPUtime=1.49 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 9074 0 0 0 147 2 0 0 25 0 1 0 182320566 35549184 8193 1992294400 134512640 135709839 4294956240 18446744073709551615 135183485 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 8679 8193 134 292 0 8384 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34716 [startup+3.10132 s] /proc/loadavg: 1.11 1.04 1.00 2/65 1554 /proc/meminfo: memFree=1819888/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=67336 CPUtime=3.09 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 17232 0 0 0 304 5 0 0 25 0 1 0 182320566 68952064 16351 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 16834 16351 134 292 0 16539 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67336 [startup+6.30201 s] /proc/loadavg: 1.10 1.04 1.00 2/65 1554 /proc/meminfo: memFree=1753904/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=130548 CPUtime=6.29 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 33043 0 0 0 617 12 0 0 25 0 1 0 182320566 133681152 32162 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 32637 32162 134 292 0 32342 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 130548 [startup+12.7024 s] /proc/loadavg: 1.09 1.04 1.00 2/65 1554 /proc/meminfo: memFree=1598592/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=275128 CPUtime=12.69 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 69196 0 0 0 1236 33 0 0 25 0 1 0 182320566 281731072 68315 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 68782 68315 136 292 0 68487 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 275128 [startup+25.5011 s] /proc/loadavg: 1.08 1.03 1.00 2/65 1554 /proc/meminfo: memFree=1573504/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=292312 CPUtime=25.48 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 73479 0 0 0 2505 43 0 0 25 0 1 0 182320566 299327488 72598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 73078 72598 136 292 0 72783 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 292312 [startup+51.1016 s] /proc/loadavg: 1.05 1.03 1.00 2/65 1554 /proc/meminfo: memFree=1553792/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=311936 CPUtime=51.05 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 78403 0 0 0 5043 62 0 0 25 0 1 0 182320566 319422464 77522 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 77984 77522 136 292 0 77689 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 311936 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/65 1554 /proc/meminfo: memFree=1521344/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=344352 CPUtime=102.23 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 86554 0 0 0 10132 91 0 0 25 0 1 0 182320566 352616448 85537 1992294400 134512640 135709839 4294956240 18446744073709551615 134574216 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 86088 85537 136 292 0 85793 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 344352 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 1554 /proc/meminfo: memFree=1518464/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=347544 CPUtime=162.2 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 87368 0 0 0 16113 107 0 0 25 0 1 0 182320566 355885056 86351 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 86886 86351 136 292 0 86591 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 347544 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1554 /proc/meminfo: memFree=1496320/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=369652 CPUtime=222.16 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 92842 0 0 0 22091 125 0 0 25 0 1 0 182320566 378523648 91825 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 92413 91825 136 292 0 92118 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 369652 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 1554 /proc/meminfo: memFree=1472960/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=393140 CPUtime=282.14 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 98675 0 0 0 28071 143 0 0 25 0 1 0 182320566 402575360 97658 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 98285 97658 136 292 0 97990 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 393140 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1451072/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=415072 CPUtime=342.11 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 104147 0 0 0 34046 165 0 0 25 0 1 0 182320566 425033728 103130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 103768 103130 136 292 0 103473 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 415072 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1430208/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=436040 CPUtime=402.08 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 109380 0 0 0 40025 183 0 0 25 0 1 0 182320566 446504960 108363 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 109010 108363 136 292 0 108715 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 436040 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1414080/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=452144 CPUtime=462.06 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 113384 0 0 0 46009 197 0 0 25 0 1 0 182320566 462995456 112367 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 113036 112367 136 292 0 112741 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 452144 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1385152/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=481088 CPUtime=522.03 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 120629 0 0 0 51980 223 0 0 25 0 1 0 182320566 492634112 119612 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 120272 119612 136 292 0 119977 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 481088 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1370432/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=495652 CPUtime=582.01 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 124238 0 0 0 57965 236 0 0 25 0 1 0 182320566 507547648 123221 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 123913 123221 136 292 0 123618 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 495652 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1340992/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=524824 CPUtime=641.98 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 131726 0 0 0 63941 257 0 0 25 0 1 0 182320566 537419776 130504 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 131206 130504 136 292 0 130911 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 524824 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1339648/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=525492 CPUtime=881.84 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 132057 0 0 0 87872 312 0 0 25 0 1 0 182320566 538103808 130835 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 131373 130835 136 292 0 131078 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 525492 [startup+942.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1309120/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=555908 CPUtime=941.82 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 139636 0 0 0 93848 334 0 0 25 0 1 0 182320566 569249792 138414 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 138977 138414 136 292 0 138682 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 555908 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1309056/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=555908 CPUtime=1001.79 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 139650 0 0 0 99832 347 0 0 25 0 1 0 182320566 569249792 138428 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 138977 138428 136 292 0 138682 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 555908 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1308864/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=555908 CPUtime=1061.76 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 139697 0 0 0 105815 361 0 0 25 0 1 0 182320566 569249792 138475 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 138977 138475 136 292 0 138682 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 555908 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1296128/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=568816 CPUtime=1121.74 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 142889 0 0 0 111797 377 0 0 25 0 1 0 182320566 582467584 141667 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 142204 141667 136 292 0 141909 0 Current children cumulated CPU time (s) 1121.74 Current children cumulated vsize (KiB) 568816 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1277184/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=587988 CPUtime=1181.68 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 147652 0 0 0 117775 393 0 0 25 0 1 0 182320566 602099712 146430 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 146997 146430 136 292 0 146702 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 587988 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1247296/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=617776 CPUtime=1241.65 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 155026 0 0 0 123753 412 0 0 25 0 1 0 182320566 632602624 153804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 154444 153804 136 292 0 154149 0 Current children cumulated CPU time (s) 1241.65 Current children cumulated vsize (KiB) 617776 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1224128/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=640772 CPUtime=1301.63 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 160752 0 0 0 129733 430 0 0 25 0 1 0 182320566 656150528 159530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 160193 159530 136 292 0 159898 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 640772 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1209024/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=656072 CPUtime=1361.6 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 164557 0 0 0 135716 444 0 0 25 0 1 0 182320566 671817728 163335 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 164018 163335 136 292 0 163723 0 Current children cumulated CPU time (s) 1361.6 Current children cumulated vsize (KiB) 656072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1185792/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=679136 CPUtime=1421.57 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 170336 0 0 0 141697 460 0 0 25 0 1 0 182320566 695435264 169114 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 169784 169114 136 292 0 169489 0 Current children cumulated CPU time (s) 1421.57 Current children cumulated vsize (KiB) 679136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1164032/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=701148 CPUtime=1481.55 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 175812 0 0 0 147679 476 0 0 25 0 1 0 182320566 717975552 174590 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 175287 174590 136 292 0 174992 0 Current children cumulated CPU time (s) 1481.55 Current children cumulated vsize (KiB) 701148 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1147328/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=717560 CPUtime=1541.53 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 179907 0 0 0 153664 489 0 0 25 0 1 0 182320566 734781440 178685 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 179390 178685 136 292 0 179095 0 Current children cumulated CPU time (s) 1541.53 Current children cumulated vsize (KiB) 717560 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1132096/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=732960 CPUtime=1601.51 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 183741 0 0 0 159650 501 0 0 25 0 1 0 182320566 750551040 182519 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 183240 182519 136 292 0 182945 0 Current children cumulated CPU time (s) 1601.51 Current children cumulated vsize (KiB) 732960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1120704/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=744180 CPUtime=1661.49 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 186561 0 0 0 165641 508 0 0 25 0 1 0 182320566 762040320 185339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 186045 185339 136 292 0 185750 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 744180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1104064/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=761264 CPUtime=1721.46 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 190813 0 0 0 171628 518 0 0 25 0 1 0 182320566 779534336 189591 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 190316 189591 136 292 0 190021 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 761264 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1080384/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=784392 CPUtime=1781.44 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 196590 0 0 0 177607 537 0 0 25 0 1 0 182320566 803217408 195368 1992294400 134512640 135709839 4294956240 18446744073709551615 134573772 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 196098 195368 136 292 0 195803 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 784392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1074240/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=790388 CPUtime=1800.04 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4194304 198099 0 0 0 179463 541 0 0 25 0 1 0 182320566 809357312 196877 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 197597 196877 136 292 0 197302 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 790388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1554 /proc/meminfo: memFree=1074240/2055920 swapFree=4192812/4192956 [pid=1553] ppid=1551 vsize=0 CPUtime=1800.14 /proc/1553/stat : 1553 (wbo) R 1551 1553 1439 0 -1 4195332 198099 0 0 0 179463 551 0 0 25 0 1 0 182320566 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/1553/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.02 CPU time (s): 1800.17 CPU user time (s): 1794.63 CPU system time (s): 5.53416 CPU usage (%): 99.9524 Max. virtual memory (cumulated for all children) (KiB): 790388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.63 system time used= 5.53416 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198099 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= 6 involuntary context switches= 6636 runsolver used 1.83972 second user time and 4.75528 second system time The end
Begin job on node10 at 2009-06-16 12:13:19 IDJOB=1875682 IDBENCH=2013 IDSOLVER=698 FILE ID=node10/1875682-1245147199 PBS_JOBID= 9363751 Free space on /tmp= 65988 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.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-1875682-1245147199/watcher-1875682-1245147199 -o /tmp/evaluation-result-1875682-1245147199/solver-1875682-1245147199 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875682-1245147199.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED=1476068889 node10.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 : 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.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: 1864600 kB Buffers: 28284 kB Cached: 96904 kB SwapCached: 0 kB Active: 28336 kB Inactive: 110248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864600 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5356 kB Writeback: 0 kB Mapped: 23228 kB Slab: 38768 kB Committed_AS: 177680 kB PageTables: 1376 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-1875682-1245147199.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-16 12:43:22