| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.08 | 3613.92 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 186 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 479 |
| Total number of constraints | 479 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 479 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 479 |
| Number of bits of the biggest sum of numbers | 9 |
| 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 RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.42 c #variables 479 #constraints 479 0.48/0.91 c bounds - >= 0 @ 0.010969 0.48/0.91 c bounds 235 >= 0 @ 0.3805 0.48/0.91 c bounds 235 >= 1 @ 0.380725 0.48/0.91 c bounds 235 >= 2 @ 0.380843 0.48/0.91 c bounds 235 >= 3 @ 0.380947 0.48/0.91 c bounds 235 >= 4 @ 0.380991 0.48/0.91 c bounds 235 >= 5 @ 0.380991 0.48/0.91 c bounds 235 >= 6 @ 0.380991 0.48/0.91 c bounds 235 >= 7 @ 0.380991 0.48/0.91 c bounds 235 >= 8 @ 0.380991 0.48/0.91 c bounds 235 >= 9 @ 0.380991 0.48/0.91 c bounds 235 >= 10 @ 0.380991 0.48/0.91 c bounds 235 >= 11 @ 0.381184 0.48/0.91 c bounds 235 >= 12 @ 0.381382 0.48/0.91 c bounds 235 >= 13 @ 0.381568 0.48/0.91 c bounds 235 >= 14 @ 0.381764 0.48/0.91 c bounds 235 >= 15 @ 0.381968 0.48/0.91 c bounds 235 >= 16 @ 0.382196 0.48/0.91 c bounds 235 >= 17 @ 0.38243 0.48/0.91 c bounds 235 >= 18 @ 0.382673 0.48/0.91 c bounds 235 >= 19 @ 0.382929 0.48/0.91 c bounds 235 >= 20 @ 0.382977 0.48/0.91 c bounds 235 >= 21 @ 0.382977 0.48/0.91 c bounds 235 >= 22 @ 0.382977 0.48/0.91 c bounds 235 >= 23 @ 0.38304 0.48/0.91 c bounds 235 >= 24 @ 0.383337 0.48/0.91 c bounds 235 >= 25 @ 0.383629 0.48/0.91 c bounds 235 >= 26 @ 0.383919 0.48/0.91 c bounds 234 >= 26 @ 0.42497 0.48/0.91 c bounds 234 >= 27 @ 0.425308 0.48/0.91 c bounds 234 >= 28 @ 0.425622 0.48/0.91 c bounds 234 >= 29 @ 0.425956 0.48/0.91 c bounds 234 >= 30 @ 0.426277 0.48/0.91 c bounds 234 >= 31 @ 0.426612 0.48/0.91 c bounds 234 >= 32 @ 0.426749 0.48/0.91 c bounds 234 >= 33 @ 0.426749 0.48/0.91 c bounds 234 >= 34 @ 0.426749 0.48/0.91 c bounds 234 >= 35 @ 0.426749 0.48/0.91 c bounds 234 >= 36 @ 0.426749 0.48/0.91 c bounds 234 >= 37 @ 0.426749 0.48/0.91 c bounds 234 >= 38 @ 0.426749 0.48/0.91 c bounds 234 >= 39 @ 0.427109 0.48/0.91 c bounds 234 >= 40 @ 0.427475 0.48/0.91 c bounds 234 >= 41 @ 0.427733 0.48/0.91 c bounds 234 >= 42 @ 0.427733 0.48/0.91 c bounds 234 >= 43 @ 0.427733 0.48/0.91 c bounds 234 >= 44 @ 0.427733 0.48/0.91 c bounds 234 >= 45 @ 0.427733 0.48/0.91 c bounds 234 >= 46 @ 0.427733 0.48/0.91 c bounds 234 >= 47 @ 0.42792 0.48/0.91 c bounds 234 >= 48 @ 0.428265 0.48/0.91 c bounds 234 >= 49 @ 0.428621 0.48/0.91 c bounds 234 >= 50 @ 0.428723 0.48/0.91 c bounds 234 >= 51 @ 0.428723 0.48/0.91 c bounds 234 >= 52 @ 0.428723 0.48/0.91 c bounds 234 >= 53 @ 0.428723 0.48/0.91 c bounds 234 >= 54 @ 0.428723 0.48/0.91 c bounds 234 >= 55 @ 0.428794 0.48/0.91 c bounds 234 >= 56 @ 0.429152 0.48/0.91 c bounds 234 >= 57 @ 0.429515 0.48/0.91 c bounds 234 >= 58 @ 0.429856 0.48/0.91 c bounds 234 >= 59 @ 0.430223 0.48/0.91 c bounds 234 >= 60 @ 0.430597 0.48/0.91 c bounds 234 >= 61 @ 0.430703 0.48/0.91 c bounds 234 >= 62 @ 0.430703 0.48/0.91 c bounds 234 >= 63 @ 0.430771 0.48/0.91 c bounds 234 >= 64 @ 0.431146 0.48/0.91 c bounds 234 >= 65 @ 0.431551 0.48/0.91 c bounds 234 >= 66 @ 0.431915 0.48/0.91 c bounds 234 >= 67 @ 0.432282 0.48/0.91 c bounds 234 >= 68 @ 0.43265 0.48/0.91 c bounds 234 >= 69 @ 0.433048 0.48/0.91 c bounds 234 >= 70 @ 0.433468 0.48/0.91 c bounds 234 >= 71 @ 0.433687 0.48/0.91 c bounds 234 >= 72 @ 0.433687 0.48/0.91 c bounds 234 >= 73 @ 0.433687 0.48/0.91 c bounds 234 >= 74 @ 0.43406 0.48/0.91 c bounds 234 >= 75 @ 0.43447 0.48/0.91 c bounds 234 >= 76 @ 0.434677 0.48/0.91 c bounds 234 >= 77 @ 0.434677 0.48/0.91 c bounds 234 >= 78 @ 0.434687 0.48/0.91 c bounds 234 >= 79 @ 0.435104 0.48/0.91 c bounds 234 >= 80 @ 0.435497 0.48/0.91 c bounds 234 >= 81 @ 0.435671 0.48/0.91 c bounds 234 >= 82 @ 0.435671 0.48/0.91 c bounds 234 >= 83 @ 0.435671 0.48/0.91 c bounds 234 >= 84 @ 0.436003 0.48/0.91 c bounds 234 >= 85 @ 0.436352 0.48/0.91 c bounds 234 >= 86 @ 0.436701 0.48/0.91 c bounds 234 >= 87 @ 0.437065 0.48/0.91 c bounds 234 >= 88 @ 0.437419 0.48/0.91 c bounds 234 >= 89 @ 0.437659 0.48/0.91 c bounds 234 >= 90 @ 0.437659 0.48/0.91 c bounds 234 >= 91 @ 0.437659 0.48/0.91 c bounds 234 >= 92 @ 0.437659 0.48/0.91 c bounds 234 >= 93 @ 0.437659 0.48/0.91 c bounds 234 >= 94 @ 0.437659 0.48/0.91 c bounds 234 >= 95 @ 0.437659 0.48/0.91 c bounds 234 >= 96 @ 0.437659 0.48/0.91 c bounds 234 >= 97 @ 0.437659 0.48/0.91 c bounds 234 >= 98 @ 0.437659 0.48/0.91 c bounds 234 >= 99 @ 0.437659 0.48/0.91 c bounds 234 >= 100 @ 0.437745 0.48/0.91 c bounds 234 >= 101 @ 0.438105 0.48/0.91 c bounds 234 >= 102 @ 0.438472 0.48/0.91 c bounds 234 >= 103 @ 0.438635 0.48/0.91 c bounds 234 >= 104 @ 0.438635 0.48/0.91 c bounds 234 >= 105 @ 0.438635 0.48/0.91 c bounds 234 >= 106 @ 0.438635 0.48/0.91 c bounds 234 >= 107 @ 0.438635 0.48/0.91 c bounds 234 >= 108 @ 0.438742 0.48/0.91 c bounds 234 >= 109 @ 0.439133 0.48/0.91 c bounds 234 >= 110 @ 0.439538 0.48/0.91 c bounds 234 >= 111 @ 0.439619 0.48/0.91 c bounds 234 >= 112 @ 0.439619 0.48/0.91 c bounds 234 >= 113 @ 0.439619 0.48/0.91 c bounds 234 >= 114 @ 0.439619 0.48/0.91 c bounds 234 >= 115 @ 0.439619 0.48/0.91 c bounds 234 >= 116 @ 0.439619 0.48/0.91 c bounds 234 >= 117 @ 0.439619 0.48/0.91 c bounds 234 >= 118 @ 0.439665 0.48/0.91 c bounds 234 >= 119 @ 0.440068 0.48/0.91 c bounds 234 >= 120 @ 0.440453 0.48/0.91 c bounds 234 >= 121 @ 0.440805 0.48/0.91 c bounds 234 >= 122 @ 0.441181 0.48/0.91 c bounds 234 >= 123 @ 0.441556 0.48/0.91 c bounds 234 >= 124 @ 0.441601 0.48/0.91 c bounds 234 >= 125 @ 0.441601 0.48/0.91 c bounds 234 >= 126 @ 0.441646 0.48/0.91 c bounds 234 >= 127 @ 0.442068 0.48/0.91 c bounds 234 >= 128 @ 0.4425 0.48/0.91 c bounds 234 >= 129 @ 0.442595 0.48/0.91 c bounds 234 >= 130 @ 0.442595 0.48/0.91 c bounds 234 >= 131 @ 0.442595 0.48/0.91 c bounds 234 >= 132 @ 0.442595 0.48/0.91 c bounds 234 >= 133 @ 0.442756 0.48/0.91 c bounds 234 >= 134 @ 0.443322 1.27/1.78 c bounds 234 >= 135 @ 0.443893 1.27/1.78 c bounds 234 >= 136 @ 0.444484 1.27/1.78 c bounds 234 >= 137 @ 0.444578 1.27/1.78 c bounds 234 >= 138 @ 0.444697 1.27/1.78 c bounds 234 >= 139 @ 0.445254 1.27/1.78 c bounds 234 >= 140 @ 0.44557 1.27/1.78 c bounds 234 >= 141 @ 0.44557 1.27/1.78 c bounds 234 >= 142 @ 0.44557 1.27/1.78 c bounds 234 >= 143 @ 0.446005 1.27/1.78 c bounds 234 >= 144 @ 0.446793 1.27/1.78 c bounds 234 >= 145 @ 0.44789 1.27/1.78 c bounds 234 >= 146 @ 0.449597 1.27/1.78 c bounds 234 >= 147 @ 0.455332 1.27/1.78 c bounds 234 >= 148 @ 0.463456 1.27/1.78 c bounds 234 >= 149 @ 0.472767 1.27/1.78 c bounds 233 >= 149 @ 0.487525 1.27/1.78 c bounds 233 >= 150 @ 0.541841 1.27/1.78 c bounds 232 >= 150 @ 0.545347 1.27/1.78 c bounds 231 >= 150 @ 0.548727 1.27/1.78 c bounds 230 >= 150 @ 0.55564 1.27/1.78 c bounds 229 >= 150 @ 0.557418 1.27/1.78 c bounds 228 >= 150 @ 0.588847 1.27/1.78 c bounds 227 >= 150 @ 0.602719 1.27/1.78 c bounds 226 >= 150 @ 0.61137 1.27/1.78 c bounds 225 >= 150 @ 0.699678 1.27/1.78 c #Conflicts: 1000 | #Constraints: 2087 1.27/1.78 c bounds 225 >= 151 @ 0.872497 1.27/1.78 c bounds 224 >= 151 @ 0.877633 1.27/1.78 c bounds 223 >= 151 @ 0.88312 1.27/1.78 c bounds 222 >= 151 @ 0.890921 1.27/1.78 c bounds 221 >= 151 @ 0.978519 1.27/1.78 c #Conflicts: 2000 | #Constraints: 3150 1.27/1.78 c INPROCESSING 1.27/1.78 c GARBAGE COLLECT 1.27/1.78 c rational objective 145.155 2.18/2.67 c bounds 221 >= 152 @ 1.574 2.18/2.67 c bounds 220 >= 152 @ 1.57652 2.18/2.67 c bounds 219 >= 152 @ 1.59213 2.18/2.67 c #Conflicts: 3000 | #Constraints: 3193 2.18/2.67 c #Conflicts: 4000 | #Constraints: 4193 2.18/2.67 c INPROCESSING 2.18/2.67 c GARBAGE COLLECT 2.18/2.67 c rational objective 145.155 3.17/3.63 c #Conflicts: 5000 | #Constraints: 3607 3.17/3.63 c #Conflicts: 6000 | #Constraints: 4607 3.17/3.63 c bounds 219 >= 153 @ 2.94634 3.17/3.63 c INPROCESSING 3.17/3.63 c GARBAGE COLLECT 3.17/3.63 c rational objective 145.155 3.96/4.48 c bounds 218 >= 153 @ 3.02086 3.96/4.48 c #Conflicts: 7000 | #Constraints: 3647 3.96/4.48 c bounds 217 >= 153 @ 3.32384 3.96/4.48 c #Conflicts: 8000 | #Constraints: 4648 3.96/4.48 c #Conflicts: 9000 | #Constraints: 5648 3.96/4.48 c INPROCESSING 3.96/4.48 c GARBAGE COLLECT 3.96/4.48 c rational objective 145.155 5.26/5.74 c #Conflicts: 10000 | #Constraints: 4350 5.26/5.74 c #Conflicts: 11000 | #Constraints: 5350 5.26/5.74 c #Conflicts: 12000 | #Constraints: 6350 5.26/5.74 c INPROCESSING 5.26/5.74 c GARBAGE COLLECT 5.26/5.74 c rational objective 145.155 6.46/6.97 c bounds 216 >= 153 @ 5.01625 6.46/6.97 c bounds 215 >= 153 @ 5.22899 6.46/6.97 c #Conflicts: 13000 | #Constraints: 4858 6.46/6.97 c #Conflicts: 14000 | #Constraints: 5858 6.46/6.97 c #Conflicts: 15000 | #Constraints: 6858 6.46/6.97 c INPROCESSING 6.46/6.97 c GARBAGE COLLECT 6.46/6.97 c rational objective 145.155 8.15/8.66 c #Conflicts: 16000 | #Constraints: 5056 8.15/8.66 c #Conflicts: 17000 | #Constraints: 6056 8.15/8.66 c #Conflicts: 18000 | #Constraints: 7056 8.15/8.66 c INPROCESSING 8.15/8.66 c GARBAGE COLLECT 8.15/8.66 c rational objective 145.155 15.22/15.71 c bounds 214 >= 153 @ 7.81436 15.22/15.71 c bounds 213 >= 153 @ 7.81973 15.22/15.71 c bounds 212 >= 153 @ 7.82655 15.22/15.71 c bounds 211 >= 153 @ 7.83109 15.22/15.71 c #Conflicts: 19000 | #Constraints: 5126 15.22/15.71 c bounds 210 >= 153 @ 8.17604 15.22/15.71 c #Conflicts: 20000 | #Constraints: 6127 15.22/15.71 c #Conflicts: 21000 | #Constraints: 7127 15.22/15.71 c #Conflicts: 22000 | #Constraints: 8127 15.22/15.71 c bounds 209 >= 153 @ 9.50252 15.22/15.71 c #Conflicts: 23000 | #Constraints: 9128 15.22/15.71 c #Conflicts: 24000 | #Constraints: 10128 15.22/15.71 c #Conflicts: 25000 | #Constraints: 11128 15.22/15.71 c #Conflicts: 26000 | #Constraints: 12128 15.22/15.71 c bounds 209 >= 154 @ 13.026 15.22/15.71 c bounds 208 >= 154 @ 13.0864 15.22/15.71 c #Conflicts: 27000 | #Constraints: 13171 15.22/15.71 c #Conflicts: 28000 | #Constraints: 14171 15.22/15.71 c INPROCESSING 15.22/15.71 c GARBAGE COLLECT 15.22/15.71 c rational objective 145.155 17.41/17.91 c bounds 207 >= 154 @ 14.6979 17.41/17.91 c #Conflicts: 29000 | #Constraints: 8329 17.41/17.91 c #Conflicts: 30000 | #Constraints: 9329 17.41/17.91 c bounds 206 >= 154 @ 15.0978 17.41/17.91 c #Conflicts: 31000 | #Constraints: 10330 17.41/17.91 c #Conflicts: 32000 | #Constraints: 11330 17.41/17.91 c #Conflicts: 33000 | #Constraints: 12330 17.41/17.91 c INPROCESSING 17.41/17.91 c GARBAGE COLLECT 17.41/17.91 c rational objective 145.155 20.71/21.27 c #Conflicts: 34000 | #Constraints: 7673 20.71/21.27 c #Conflicts: 35000 | #Constraints: 8673 20.71/21.27 c #Conflicts: 36000 | #Constraints: 9673 20.71/21.27 c #Conflicts: 37000 | #Constraints: 10673 20.71/21.27 c #Conflicts: 38000 | #Constraints: 11673 20.71/21.27 c INPROCESSING 20.71/21.27 c GARBAGE COLLECT 20.71/21.27 c rational objective 145.155 23.51/24.08 c #Conflicts: 39000 | #Constraints: 7522 23.51/24.08 c #Conflicts: 40000 | #Constraints: 8522 23.51/24.08 c #Conflicts: 41000 | #Constraints: 9522 23.51/24.08 c #Conflicts: 42000 | #Constraints: 10522 23.51/24.08 c INPROCESSING 23.51/24.08 c GARBAGE COLLECT 23.51/24.08 c rational objective 145.155 27.19/27.72 c #Conflicts: 43000 | #Constraints: 6466 27.19/27.72 c #Conflicts: 44000 | #Constraints: 7466 27.19/27.72 c #Conflicts: 45000 | #Constraints: 8466 27.19/27.72 c #Conflicts: 46000 | #Constraints: 9466 27.19/27.72 c #Conflicts: 47000 | #Constraints: 10466 27.19/27.72 c #Conflicts: 48000 | #Constraints: 11466 27.19/27.72 c INPROCESSING 27.19/27.72 c GARBAGE COLLECT 27.19/27.72 c rational objective 145.155 55.54/56.22 c #Conflicts: 49000 | #Constraints: 7468 55.54/56.22 c bounds 205 >= 154 @ 26.6366 55.54/56.22 c bounds 204 >= 154 @ 26.8325 55.54/56.22 c #Conflicts: 50000 | #Constraints: 8470 55.54/56.22 c #Conflicts: 51000 | #Constraints: 9470 55.54/56.22 c #Conflicts: 52000 | #Constraints: 10470 55.54/56.22 c #Conflicts: 53000 | #Constraints: 11470 55.54/56.22 c #Conflicts: 54000 | #Constraints: 12470 55.54/56.22 c #Conflicts: 55000 | #Constraints: 13470 55.54/56.22 c bounds 203 >= 154 @ 29.9676 55.54/56.22 c #Conflicts: 56000 | #Constraints: 14471 55.54/56.22 c #Conflicts: 57000 | #Constraints: 15471 55.54/56.22 c #Conflicts: 58000 | #Constraints: 16471 55.54/56.22 c #Conflicts: 59000 | #Constraints: 17471 55.54/56.22 c #Conflicts: 60000 | #Constraints: 18471 55.54/56.22 c #Conflicts: 61000 | #Constraints: 19471 55.54/56.22 c #Conflicts: 62000 | #Constraints: 20471 55.54/56.22 c #Conflicts: 63000 | #Constraints: 21471 55.54/56.22 c #Conflicts: 64000 | #Constraints: 22471 55.54/56.22 c #Conflicts: 65000 | #Constraints: 23471 55.54/56.22 c INPROCESSING 55.54/56.22 c GARBAGE COLLECT 55.54/56.22 c rational objective 145.155 60.32/61.07 c #Conflicts: 66000 | #Constraints: 13464 60.32/61.07 c bounds 202 >= 154 @ 55.0214 60.32/61.07 c #Conflicts: 67000 | #Constraints: 14465 60.32/61.07 c #Conflicts: 68000 | #Constraints: 15465 60.32/61.07 c bounds 201 >= 154 @ 56.2751 60.32/61.07 c #Conflicts: 69000 | #Constraints: 16466 60.32/61.07 c #Conflicts: 70000 | #Constraints: 17466 60.32/61.07 c #Conflicts: 71000 | #Constraints: 18466 60.32/61.07 c INPROCESSING 60.32/61.07 c GARBAGE COLLECT 60.32/61.07 c rational objective 145.155 64.19/64.90 c #Conflicts: 72000 | #Constraints: 10696 64.19/64.90 c #Conflicts: 73000 | #Constraints: 11696 64.19/64.90 c #Conflicts: 74000 | #Constraints: 12696 64.19/64.90 c #Conflicts: 75000 | #Constraints: 13696 64.19/64.90 c bounds 200 >= 154 @ 60.9623 64.19/64.90 c bounds 199 >= 154 @ 61.0064 64.19/64.90 c bounds 198 >= 154 @ 61.0634 64.19/64.90 c #Conflicts: 76000 | #Constraints: 14699 64.19/64.90 c bounds 197 >= 154 @ 61.4714 64.19/64.90 c #Conflicts: 77000 | #Constraints: 15700 64.19/64.90 c #Conflicts: 78000 | #Constraints: 16700 64.19/64.90 c INPROCESSING 64.19/64.90 c GARBAGE COLLECT 64.19/64.90 c rational objective 145.155 69.29/70.05 c #Conflicts: 79000 | #Constraints: 9999 69.29/70.05 c #Conflicts: 80000 | #Constraints: 10999 69.29/70.05 c #Conflicts: 81000 | #Constraints: 11999 69.29/70.05 c #Conflicts: 82000 | #Constraints: 12999 69.29/70.05 c #Conflicts: 83000 | #Constraints: 13999 69.29/70.05 c #Conflicts: 84000 | #Constraints: 14999 69.29/70.05 c INPROCESSING 69.29/70.05 c GARBAGE COLLECT 69.29/70.05 c rational objective 145.155 74.27/75.03 c #Conflicts: 85000 | #Constraints: 8757 74.27/75.03 c #Conflicts: 86000 | #Constraints: 9757 74.27/75.03 c #Conflicts: 87000 | #Constraints: 10757 74.27/75.03 c #Conflicts: 88000 | #Constraints: 11757 74.27/75.03 c #Conflicts: 89000 | #Constraints: 12758 74.27/75.03 c #Conflicts: 90000 | #Constraints: 13758 74.27/75.03 c #Conflicts: 91000 | #Constraints: 14758 74.27/75.03 c INPROCESSING 74.27/75.03 c GARBAGE COLLECT 74.27/75.03 c rational objective 145.155 82.09/82.92 c #Conflicts: 92000 | #Constraints: 8633 82.09/82.92 c #Conflicts: 93000 | #Constraints: 9633 82.09/82.92 c #Conflicts: 94000 | #Constraints: 10633 82.09/82.92 c #Conflicts: 95000 | #Constraints: 11633 82.09/82.92 c #Conflicts: 96000 | #Constraints: 12633 82.09/82.92 c #Conflicts: 97000 | #Constraints: 13633 82.09/82.92 c #Conflicts: 98000 | #Constraints: 14633 82.09/82.92 c #Conflicts: 99000 | #Constraints: 15633 82.09/82.92 c INPROCESSING 82.09/82.92 c GARBAGE COLLECT 82.09/82.92 c rational objective 145.155 117.79/118.82 c #Conflicts: 100000 | #Constraints: 9545 117.79/118.82 c #Conflicts: 101000 | #Constraints: 10545 117.79/118.82 c bounds 196 >= 154 @ 81.1639 117.79/118.82 c #Conflicts: 102000 | #Constraints: 11546 117.79/118.82 c bounds 195 >= 154 @ 81.5263 117.79/118.82 c #Conflicts: 103000 | #Constraints: 12547 117.79/118.82 c #Conflicts: 104000 | #Constraints: 13547 117.79/118.82 c #Conflicts: 105000 | #Constraints: 14547 117.79/118.82 c #Conflicts: 106000 | #Constraints: 15547 117.79/118.82 c #Conflicts: 107000 | #Constraints: 16547 117.79/118.82 c #Conflicts: 108000 | #Constraints: 17547 117.79/118.82 c #Conflicts: 109000 | #Constraints: 18547 117.79/118.82 c #Conflicts: 110000 | #Constraints: 19547 117.79/118.82 c #Conflicts: 111000 | #Constraints: 20547 117.79/118.82 c #Conflicts: 112000 | #Constraints: 21547 117.79/118.82 c #Conflicts: 113000 | #Constraints: 22547 117.79/118.82 c #Conflicts: 114000 | #Constraints: 23547 117.79/118.82 c #Conflicts: 115000 | #Constraints: 24547 117.79/118.82 c #Conflicts: 116000 | #Constraints: 25547 117.79/118.82 c #Conflicts: 117000 | #Constraints: 26547 117.79/118.82 c #Conflicts: 118000 | #Constraints: 27547 117.79/118.82 c #Conflicts: 119000 | #Constraints: 28547 117.79/118.82 c #Conflicts: 120000 | #Constraints: 29547 117.79/118.82 c #Conflicts: 121000 | #Constraints: 30547 117.79/118.82 c #Conflicts: 122000 | #Constraints: 31547 117.79/118.82 c #Conflicts: 123000 | #Constraints: 32547 117.79/118.82 c INPROCESSING 117.79/118.82 c GARBAGE COLLECT 117.79/118.82 c rational objective 145.155 147.94/149.16 c #Conflicts: 124000 | #Constraints: 17676 147.94/149.16 c #Conflicts: 125000 | #Constraints: 18676 147.94/149.16 c #Conflicts: 126000 | #Constraints: 19676 147.94/149.16 c #Conflicts: 127000 | #Constraints: 20676 147.94/149.16 c #Conflicts: 128000 | #Constraints: 21676 147.94/149.16 c bounds 195 >= 155 @ 129.191 147.94/149.16 c #Conflicts: 129000 | #Constraints: 22723 147.94/149.16 c #Conflicts: 130000 | #Constraints: 23723 147.94/149.16 c #Conflicts: 131000 | #Constraints: 24723 147.94/149.16 c #Conflicts: 132000 | #Constraints: 25723 147.94/149.16 c INPROCESSING 147.94/149.16 c GARBAGE COLLECT 147.94/149.16 c rational objective 145.155 160.49/161.74 c #Conflicts: 133000 | #Constraints: 14632 160.49/161.74 c #Conflicts: 134000 | #Constraints: 15632 160.49/161.74 c #Conflicts: 135000 | #Constraints: 16632 160.49/161.74 c #Conflicts: 136000 | #Constraints: 17632 160.49/161.74 c #Conflicts: 137000 | #Constraints: 18632 160.49/161.74 c #Conflicts: 138000 | #Constraints: 19632 160.49/161.74 c #Conflicts: 139000 | #Constraints: 20632 160.49/161.74 c #Conflicts: 140000 | #Constraints: 21632 160.49/161.74 c INPROCESSING 160.49/161.74 c GARBAGE COLLECT 160.49/161.74 c rational objective 145.155 172.87/174.27 c #Conflicts: 141000 | #Constraints: 12226 172.87/174.27 c #Conflicts: 142000 | #Constraints: 13226 172.87/174.27 c #Conflicts: 143000 | #Constraints: 14226 172.87/174.27 c #Conflicts: 144000 | #Constraints: 15226 172.87/174.27 c #Conflicts: 145000 | #Constraints: 16226 172.87/174.27 c #Conflicts: 146000 | #Constraints: 17226 172.87/174.27 c #Conflicts: 147000 | #Constraints: 18226 172.87/174.27 c #Conflicts: 148000 | #Constraints: 19226 172.87/174.27 c #Conflicts: 149000 | #Constraints: 20226 172.87/174.27 c INPROCESSING 172.87/174.27 c GARBAGE COLLECT 172.87/174.27 c rational objective 145.155 239.00/240.71 c #Conflicts: 150000 | #Constraints: 12099 239.00/240.71 c #Conflicts: 151000 | #Constraints: 13099 239.00/240.71 c #Conflicts: 152000 | #Constraints: 14099 239.00/240.71 c #Conflicts: 153000 | #Constraints: 15099 239.00/240.71 c #Conflicts: 154000 | #Constraints: 16099 239.00/240.71 c #Conflicts: 155000 | #Constraints: 17099 239.00/240.71 c #Conflicts: 156000 | #Constraints: 18099 239.00/240.71 c #Conflicts: 157000 | #Constraints: 19099 239.00/240.71 c #Conflicts: 158000 | #Constraints: 20099 239.00/240.71 c #Conflicts: 159000 | #Constraints: 21099 239.00/240.71 c #Conflicts: 160000 | #Constraints: 22099 239.00/240.71 c #Conflicts: 161000 | #Constraints: 23099 239.00/240.71 c #Conflicts: 162000 | #Constraints: 24099 239.00/240.71 c #Conflicts: 163000 | #Constraints: 25099 239.00/240.71 c #Conflicts: 164000 | #Constraints: 26099 239.00/240.71 c #Conflicts: 165000 | #Constraints: 27099 239.00/240.71 c #Conflicts: 166000 | #Constraints: 28099 239.00/240.71 c #Conflicts: 167000 | #Constraints: 29099 239.00/240.71 c #Conflicts: 168000 | #Constraints: 30099 239.00/240.71 c #Conflicts: 169000 | #Constraints: 31099 239.00/240.71 c #Conflicts: 170000 | #Constraints: 32099 239.00/240.71 c #Conflicts: 171000 | #Constraints: 33099 239.00/240.71 c #Conflicts: 172000 | #Constraints: 34099 239.00/240.71 c #Conflicts: 173000 | #Constraints: 35099 239.00/240.71 c #Conflicts: 174000 | #Constraints: 36099 239.00/240.71 c #Conflicts: 175000 | #Constraints: 37099 239.00/240.71 c #Conflicts: 176000 | #Constraints: 38099 239.00/240.71 c #Conflicts: 177000 | #Constraints: 39099 239.00/240.71 c #Conflicts: 178000 | #Constraints: 40099 239.00/240.71 c #Conflicts: 179000 | #Constraints: 41099 239.00/240.71 c INPROCESSING 239.00/240.71 c GARBAGE COLLECT 239.00/240.71 c rational objective 145.155 299.02/301.03 c #Conflicts: 180000 | #Constraints: 22042 299.02/301.03 c #Conflicts: 181000 | #Constraints: 23042 299.02/301.03 c #Conflicts: 182000 | #Constraints: 24042 299.02/301.03 c #Conflicts: 183000 | #Constraints: 25042 299.02/301.03 c #Conflicts: 184000 | #Constraints: 26042 299.02/301.03 c #Conflicts: 185000 | #Constraints: 27042 299.02/301.03 c #Conflicts: 186000 | #Constraints: 28042 299.02/301.03 c #Conflicts: 187000 | #Constraints: 29042 299.02/301.03 c #Conflicts: 188000 | #Constraints: 30042 299.02/301.03 c #Conflicts: 189000 | #Constraints: 31042 299.02/301.03 c INPROCESSING 299.02/301.03 c GARBAGE COLLECT 299.02/301.03 c rational objective 145.155 319.93/322.06 c #Conflicts: 190000 | #Constraints: 16989 319.93/322.06 c #Conflicts: 191000 | #Constraints: 17989 319.93/322.06 c #Conflicts: 192000 | #Constraints: 18989 319.93/322.06 c #Conflicts: 193000 | #Constraints: 19989 319.93/322.06 c #Conflicts: 194000 | #Constraints: 20989 319.93/322.06 c #Conflicts: 195000 | #Constraints: 21989 319.93/322.06 c #Conflicts: 196000 | #Constraints: 22989 319.93/322.06 c #Conflicts: 197000 | #Constraints: 23989 319.93/322.06 c #Conflicts: 198000 | #Constraints: 24989 319.93/322.06 c #Conflicts: 199000 | #Constraints: 25989 319.93/322.06 c #Conflicts: 200000 | #Constraints: 26989 319.93/322.06 c INPROCESSING 319.93/322.06 c GARBAGE COLLECT 319.93/322.06 c rational objective 145.155 439.19/441.99 c #Conflicts: 201000 | #Constraints: 15361 439.19/441.99 c #Conflicts: 202000 | #Constraints: 16361 439.19/441.99 c #Conflicts: 203000 | #Constraints: 17361 439.19/441.99 c #Conflicts: 204000 | #Constraints: 18361 439.19/441.99 c #Conflicts: 205000 | #Constraints: 19361 439.19/441.99 c #Conflicts: 206000 | #Constraints: 20361 439.19/441.99 c #Conflicts: 207000 | #Constraints: 21361 439.19/441.99 c #Conflicts: 208000 | #Constraints: 22361 439.19/441.99 c #Conflicts: 209000 | #Constraints: 23361 439.19/441.99 c #Conflicts: 210000 | #Constraints: 24361 439.19/441.99 c #Conflicts: 211000 | #Constraints: 25361 439.19/441.99 c bounds 194 >= 155 @ 327.935 439.19/441.99 c #Conflicts: 212000 | #Constraints: 26362 439.19/441.99 c #Conflicts: 213000 | #Constraints: 27362 439.19/441.99 c #Conflicts: 214000 | #Constraints: 28362 439.19/441.99 c #Conflicts: 215000 | #Constraints: 29362 439.19/441.99 c #Conflicts: 216000 | #Constraints: 30362 439.19/441.99 c #Conflicts: 217000 | #Constraints: 31362 439.19/441.99 c #Conflicts: 218000 | #Constraints: 32362 439.19/441.99 c #Conflicts: 219000 | #Constraints: 33362 439.19/441.99 c #Conflicts: 220000 | #Constraints: 34362 439.19/442.00 c #Conflicts: 221000 | #Constraints: 35362 439.19/442.00 c #Conflicts: 222000 | #Constraints: 36362 439.19/442.00 c #Conflicts: 223000 | #Constraints: 37362 439.19/442.00 c #Conflicts: 224000 | #Constraints: 38362 439.19/442.00 c #Conflicts: 225000 | #Constraints: 39362 439.19/442.00 c #Conflicts: 226000 | #Constraints: 40362 439.19/442.00 c #Conflicts: 227000 | #Constraints: 41362 439.19/442.00 c #Conflicts: 228000 | #Constraints: 42362 439.19/442.00 c #Conflicts: 229000 | #Constraints: 43362 439.19/442.00 c #Conflicts: 230000 | #Constraints: 44362 439.19/442.00 c #Conflicts: 231000 | #Constraints: 45362 439.19/442.00 c #Conflicts: 232000 | #Constraints: 46362 439.19/442.00 c #Conflicts: 233000 | #Constraints: 47362 439.19/442.00 c #Conflicts: 234000 | #Constraints: 48362 439.19/442.00 c INPROCESSING 439.19/442.00 c GARBAGE COLLECT 439.19/442.00 c rational objective 145.155 454.70/457.56 c #Conflicts: 235000 | #Constraints: 25943 454.70/457.56 c #Conflicts: 236000 | #Constraints: 26943 454.70/457.56 c #Conflicts: 237000 | #Constraints: 27944 454.70/457.56 c #Conflicts: 238000 | #Constraints: 28946 454.70/457.56 c #Conflicts: 239000 | #Constraints: 29946 454.70/457.56 c #Conflicts: 240000 | #Constraints: 30946 454.70/457.56 c #Conflicts: 241000 | #Constraints: 31946 454.70/457.56 c #Conflicts: 242000 | #Constraints: 32946 454.70/457.56 c #Conflicts: 243000 | #Constraints: 33946 454.70/457.56 c #Conflicts: 244000 | #Constraints: 34946 454.70/457.56 c #Conflicts: 245000 | #Constraints: 35946 454.70/457.56 c INPROCESSING 454.70/457.56 c GARBAGE COLLECT 454.70/457.56 c rational objective 145.155 470.57/473.47 c #Conflicts: 246000 | #Constraints: 19311 470.57/473.47 c #Conflicts: 247000 | #Constraints: 20311 470.57/473.47 c #Conflicts: 248000 | #Constraints: 21311 470.57/473.47 c #Conflicts: 249000 | #Constraints: 22311 470.57/473.47 c #Conflicts: 250000 | #Constraints: 23311 470.57/473.47 c #Conflicts: 251000 | #Constraints: 24311 470.57/473.47 c #Conflicts: 252000 | #Constraints: 25311 470.57/473.47 c #Conflicts: 253000 | #Constraints: 26311 470.57/473.47 c #Conflicts: 254000 | #Constraints: 27311 470.57/473.47 c #Conflicts: 255000 | #Constraints: 28311 470.57/473.47 c #Conflicts: 256000 | #Constraints: 29311 470.57/473.47 c #Conflicts: 257000 | #Constraints: 30311 470.57/473.47 c INPROCESSING 470.57/473.47 c GARBAGE COLLECT 470.57/473.47 c rational objective 145.155 642.59/646.29 c #Conflicts: 258000 | #Constraints: 17160 642.59/646.29 c #Conflicts: 259000 | #Constraints: 18160 642.59/646.29 c #Conflicts: 260000 | #Constraints: 19160 642.59/646.29 c #Conflicts: 261000 | #Constraints: 20160 642.59/646.29 c #Conflicts: 262000 | #Constraints: 21160 642.59/646.29 c #Conflicts: 263000 | #Constraints: 22160 642.59/646.29 c #Conflicts: 264000 | #Constraints: 23160 642.59/646.29 c #Conflicts: 265000 | #Constraints: 24160 642.59/646.29 c #Conflicts: 266000 | #Constraints: 25160 642.59/646.29 c #Conflicts: 267000 | #Constraints: 26160 642.59/646.29 c #Conflicts: 268000 | #Constraints: 27160 642.59/646.29 c #Conflicts: 269000 | #Constraints: 28160 642.59/646.29 c #Conflicts: 270000 | #Constraints: 29160 642.59/646.29 c #Conflicts: 271000 | #Constraints: 30160 642.59/646.29 c #Conflicts: 272000 | #Constraints: 31160 642.59/646.29 c #Conflicts: 273000 | #Constraints: 32160 642.59/646.29 c #Conflicts: 274000 | #Constraints: 33160 642.59/646.29 c #Conflicts: 275000 | #Constraints: 34160 642.59/646.29 c #Conflicts: 276000 | #Constraints: 35160 642.59/646.29 c #Conflicts: 277000 | #Constraints: 36160 642.59/646.29 c #Conflicts: 278000 | #Constraints: 37160 642.59/646.29 c #Conflicts: 279000 | #Constraints: 38160 642.59/646.29 c #Conflicts: 280000 | #Constraints: 39160 642.59/646.29 c #Conflicts: 281000 | #Constraints: 40160 642.59/646.29 c #Conflicts: 282000 | #Constraints: 41160 642.59/646.29 c #Conflicts: 283000 | #Constraints: 42160 642.59/646.29 c #Conflicts: 284000 | #Constraints: 43160 642.59/646.29 c #Conflicts: 285000 | #Constraints: 44160 642.59/646.29 c #Conflicts: 286000 | #Constraints: 45160 642.59/646.29 c #Conflicts: 287000 | #Constraints: 46160 642.59/646.29 c #Conflicts: 288000 | #Constraints: 47160 642.59/646.29 c #Conflicts: 289000 | #Constraints: 48160 642.59/646.29 c #Conflicts: 290000 | #Constraints: 49160 642.59/646.29 c #Conflicts: 291000 | #Constraints: 50160 642.59/646.29 c #Conflicts: 292000 | #Constraints: 51160 642.59/646.29 c #Conflicts: 293000 | #Constraints: 52160 642.59/646.29 c #Conflicts: 294000 | #Constraints: 53160 642.59/646.29 c #Conflicts: 295000 | #Constraints: 54160 642.59/646.29 c INPROCESSING 642.59/646.29 c GARBAGE COLLECT 642.59/646.29 c rational objective 145.155 751.05/755.06 c #Conflicts: 296000 | #Constraints: 28369 751.05/755.06 c #Conflicts: 297000 | #Constraints: 29369 751.05/755.06 c #Conflicts: 298000 | #Constraints: 30369 751.05/755.06 c #Conflicts: 299000 | #Constraints: 31369 751.05/755.06 c #Conflicts: 300000 | #Constraints: 32369 751.05/755.06 c #Conflicts: 301000 | #Constraints: 33369 751.05/755.06 c #Conflicts: 302000 | #Constraints: 34369 751.05/755.06 c #Conflicts: 303000 | #Constraints: 35369 751.05/755.06 c #Conflicts: 304000 | #Constraints: 36369 751.05/755.06 c #Conflicts: 305000 | #Constraints: 37369 751.05/755.06 c #Conflicts: 306000 | #Constraints: 38369 751.05/755.06 c #Conflicts: 307000 | #Constraints: 39369 751.05/755.06 c #Conflicts: 308000 | #Constraints: 40369 751.05/755.06 c #Conflicts: 309000 | #Constraints: 41369 751.05/755.06 c INPROCESSING 751.05/755.06 c GARBAGE COLLECT 751.05/755.06 c rational objective 145.155 793.58/797.74 c #Conflicts: 310000 | #Constraints: 22469 793.58/797.74 c #Conflicts: 311000 | #Constraints: 23469 793.58/797.74 c #Conflicts: 312000 | #Constraints: 24469 793.58/797.74 c #Conflicts: 313000 | #Constraints: 25469 793.58/797.74 c #Conflicts: 314000 | #Constraints: 26469 793.58/797.74 c #Conflicts: 315000 | #Constraints: 27469 793.58/797.74 c #Conflicts: 316000 | #Constraints: 28469 793.58/797.74 c #Conflicts: 317000 | #Constraints: 29469 793.58/797.74 c #Conflicts: 318000 | #Constraints: 30469 793.58/797.74 c #Conflicts: 319000 | #Constraints: 31469 793.58/797.74 c #Conflicts: 320000 | #Constraints: 32469 793.58/797.74 c #Conflicts: 321000 | #Constraints: 33469 793.58/797.74 c #Conflicts: 322000 | #Constraints: 34469 793.58/797.74 c INPROCESSING 793.58/797.74 c GARBAGE COLLECT 793.58/797.74 c rational objective 145.155 1010.23/1015.11 c #Conflicts: 323000 | #Constraints: 20279 1010.23/1015.11 c #Conflicts: 324000 | #Constraints: 21279 1010.23/1015.11 c #Conflicts: 325000 | #Constraints: 22279 1010.23/1015.11 c #Conflicts: 326000 | #Constraints: 23279 1010.23/1015.11 c #Conflicts: 327000 | #Constraints: 24279 1010.23/1015.11 c #Conflicts: 328000 | #Constraints: 25279 1010.23/1015.11 c #Conflicts: 329000 | #Constraints: 26279 1010.23/1015.11 c #Conflicts: 330000 | #Constraints: 27279 1010.23/1015.11 c #Conflicts: 331000 | #Constraints: 28279 1010.23/1015.11 c #Conflicts: 332000 | #Constraints: 29279 1010.23/1015.11 c #Conflicts: 333000 | #Constraints: 30279 1010.23/1015.11 c #Conflicts: 334000 | #Constraints: 31279 1010.23/1015.11 c #Conflicts: 335000 | #Constraints: 32279 1010.23/1015.11 c #Conflicts: 336000 | #Constraints: 33279 1010.23/1015.11 c #Conflicts: 337000 | #Constraints: 34279 1010.23/1015.11 c #Conflicts: 338000 | #Constraints: 35279 1010.23/1015.11 c #Conflicts: 339000 | #Constraints: 36279 1010.23/1015.11 c #Conflicts: 340000 | #Constraints: 37279 1010.23/1015.11 c #Conflicts: 341000 | #Constraints: 38279 1010.23/1015.11 c #Conflicts: 342000 | #Constraints: 39279 1010.23/1015.11 c #Conflicts: 343000 | #Constraints: 40279 1010.23/1015.11 c #Conflicts: 344000 | #Constraints: 41279 1010.23/1015.11 c #Conflicts: 345000 | #Constraints: 42279 1010.23/1015.11 c #Conflicts: 346000 | #Constraints: 43279 1010.23/1015.11 c #Conflicts: 347000 | #Constraints: 44279 1010.23/1015.11 c #Conflicts: 348000 | #Constraints: 45279 1010.23/1015.11 c #Conflicts: 349000 | #Constraints: 46279 1010.23/1015.11 c #Conflicts: 350000 | #Constraints: 47279 1010.23/1015.11 c #Conflicts: 351000 | #Constraints: 48279 1010.23/1015.11 c #Conflicts: 352000 | #Constraints: 49279 1010.23/1015.11 c #Conflicts: 353000 | #Constraints: 50279 1010.23/1015.11 c #Conflicts: 354000 | #Constraints: 51279 1010.23/1015.11 c #Conflicts: 355000 | #Constraints: 52279 1010.23/1015.11 c #Conflicts: 356000 | #Constraints: 53279 1010.23/1015.11 c #Conflicts: 357000 | #Constraints: 54279 1010.23/1015.11 c #Conflicts: 358000 | #Constraints: 55279 1010.23/1015.11 c #Conflicts: 359000 | #Constraints: 56279 1010.23/1015.11 c #Conflicts: 360000 | #Constraints: 57279 1010.23/1015.11 c #Conflicts: 361000 | #Constraints: 58279 1010.23/1015.11 c #Conflicts: 362000 | #Constraints: 59279 1010.23/1015.11 c #Conflicts: 363000 | #Constraints: 60279 1010.23/1015.11 c #Conflicts: 364000 | #Constraints: 61279 1010.23/1015.11 c INPROCESSING 1010.23/1015.11 c GARBAGE COLLECT 1010.23/1015.11 c rational objective 145.155 1045.17/1050.29 c #Conflicts: 365000 | #Constraints: 32021 1045.17/1050.29 c #Conflicts: 366000 | #Constraints: 33021 1045.17/1050.29 c #Conflicts: 367000 | #Constraints: 34021 1045.17/1050.29 c #Conflicts: 368000 | #Constraints: 35021 1045.17/1050.29 c #Conflicts: 369000 | #Constraints: 36021 1045.17/1050.29 c #Conflicts: 370000 | #Constraints: 37021 1045.17/1050.29 c #Conflicts: 371000 | #Constraints: 38021 1045.17/1050.29 c #Conflicts: 372000 | #Constraints: 39021 1045.17/1050.29 c #Conflicts: 373000 | #Constraints: 40021 1045.17/1050.29 c #Conflicts: 374000 | #Constraints: 41021 1045.17/1050.29 c #Conflicts: 375000 | #Constraints: 42021 1045.17/1050.29 c #Conflicts: 376000 | #Constraints: 43021 1045.17/1050.29 c #Conflicts: 377000 | #Constraints: 44021 1045.17/1050.29 c #Conflicts: 378000 | #Constraints: 45021 1045.17/1050.29 c #Conflicts: 379000 | #Constraints: 46021 1045.17/1050.29 c INPROCESSING 1045.17/1050.29 c GARBAGE COLLECT 1045.17/1050.29 c rational objective 145.155 1248.26/1254.01 c #Conflicts: 380000 | #Constraints: 24447 1248.26/1254.01 c #Conflicts: 381000 | #Constraints: 25447 1248.26/1254.01 c #Conflicts: 382000 | #Constraints: 26447 1248.26/1254.01 c #Conflicts: 383000 | #Constraints: 27447 1248.26/1254.01 c #Conflicts: 384000 | #Constraints: 28447 1248.26/1254.01 c #Conflicts: 385000 | #Constraints: 29447 1248.26/1254.01 c #Conflicts: 386000 | #Constraints: 30447 1248.26/1254.01 c #Conflicts: 387000 | #Constraints: 31447 1248.26/1254.01 c #Conflicts: 388000 | #Constraints: 32447 1248.26/1254.01 c #Conflicts: 389000 | #Constraints: 33447 1248.26/1254.01 c #Conflicts: 390000 | #Constraints: 34447 1248.26/1254.01 c #Conflicts: 391000 | #Constraints: 35447 1248.26/1254.01 c #Conflicts: 392000 | #Constraints: 36447 1248.26/1254.01 c #Conflicts: 393000 | #Constraints: 37447 1248.26/1254.01 c #Conflicts: 394000 | #Constraints: 38447 1248.26/1254.01 c #Conflicts: 395000 | #Constraints: 39447 1248.26/1254.01 c #Conflicts: 396000 | #Constraints: 40447 1248.26/1254.01 c #Conflicts: 397000 | #Constraints: 41447 1248.26/1254.01 c #Conflicts: 398000 | #Constraints: 42447 1248.26/1254.01 c #Conflicts: 399000 | #Constraints: 43447 1248.26/1254.01 c #Conflicts: 400000 | #Constraints: 44447 1248.26/1254.01 c #Conflicts: 401000 | #Constraints: 45447 1248.26/1254.01 c #Conflicts: 402000 | #Constraints: 46447 1248.26/1254.01 c #Conflicts: 403000 | #Constraints: 47447 1248.26/1254.01 c #Conflicts: 404000 | #Constraints: 48447 1248.26/1254.01 c #Conflicts: 405000 | #Constraints: 49447 1248.26/1254.01 c #Conflicts: 406000 | #Constraints: 50447 1248.26/1254.01 c #Conflicts: 407000 | #Constraints: 51447 1248.26/1254.01 c #Conflicts: 408000 | #Constraints: 52447 1248.26/1254.01 c #Conflicts: 409000 | #Constraints: 53447 1248.26/1254.01 c #Conflicts: 410000 | #Constraints: 54447 1248.26/1254.01 c #Conflicts: 411000 | #Constraints: 55447 1248.26/1254.01 c #Conflicts: 412000 | #Constraints: 56447 1248.26/1254.01 c #Conflicts: 413000 | #Constraints: 57447 1248.26/1254.01 c #Conflicts: 414000 | #Constraints: 58447 1248.26/1254.01 c #Conflicts: 415000 | #Constraints: 59447 1248.26/1254.01 c #Conflicts: 416000 | #Constraints: 60447 1248.26/1254.01 c #Conflicts: 417000 | #Constraints: 61447 1248.26/1254.01 c #Conflicts: 418000 | #Constraints: 62447 1248.26/1254.01 c #Conflicts: 419000 | #Constraints: 63447 1248.26/1254.01 c #Conflicts: 420000 | #Constraints: 64447 1248.26/1254.01 c #Conflicts: 421000 | #Constraints: 65447 1248.26/1254.01 c #Conflicts: 422000 | #Constraints: 66447 1248.26/1254.01 c #Conflicts: 423000 | #Constraints: 67447 1248.26/1254.01 c #Conflicts: 424000 | #Constraints: 68447 1248.26/1254.01 c #Conflicts: 425000 | #Constraints: 69447 1248.26/1254.01 c INPROCESSING 1248.26/1254.01 c GARBAGE COLLECT 1248.26/1254.01 c rational objective 145.155 1378.72/1384.80 c #Conflicts: 426000 | #Constraints: 36413 1378.72/1384.80 c #Conflicts: 427000 | #Constraints: 37413 1378.72/1384.80 c #Conflicts: 428000 | #Constraints: 38413 1378.72/1384.80 c #Conflicts: 429000 | #Constraints: 39413 1378.72/1384.80 c #Conflicts: 430000 | #Constraints: 40413 1378.72/1384.80 c #Conflicts: 431000 | #Constraints: 41413 1378.72/1384.80 c #Conflicts: 432000 | #Constraints: 42413 1378.72/1384.80 c #Conflicts: 433000 | #Constraints: 43413 1378.72/1384.80 c #Conflicts: 434000 | #Constraints: 44413 1378.72/1384.80 c #Conflicts: 435000 | #Constraints: 45413 1378.72/1384.80 c #Conflicts: 436000 | #Constraints: 46413 1378.72/1384.80 c #Conflicts: 437000 | #Constraints: 47413 1378.72/1384.80 c #Conflicts: 438000 | #Constraints: 48413 1378.72/1384.80 c #Conflicts: 439000 | #Constraints: 49413 1378.72/1384.80 c #Conflicts: 440000 | #Constraints: 50413 1378.72/1384.80 c #Conflicts: 441000 | #Constraints: 51413 1378.72/1384.80 c INPROCESSING 1378.72/1384.80 c GARBAGE COLLECT 1378.72/1384.80 c rational objective 145.155 1448.04/1454.32 c #Conflicts: 442000 | #Constraints: 27482 1448.04/1454.32 c #Conflicts: 443000 | #Constraints: 28482 1448.04/1454.32 c #Conflicts: 444000 | #Constraints: 29482 1448.04/1454.32 c #Conflicts: 445000 | #Constraints: 30482 1448.04/1454.32 c #Conflicts: 446000 | #Constraints: 31482 1448.04/1454.32 c #Conflicts: 447000 | #Constraints: 32482 1448.04/1454.32 c #Conflicts: 448000 | #Constraints: 33482 1448.04/1454.32 c #Conflicts: 449000 | #Constraints: 34482 1448.04/1454.32 c #Conflicts: 450000 | #Constraints: 35482 1448.04/1454.32 c #Conflicts: 451000 | #Constraints: 36482 1448.04/1454.32 c #Conflicts: 452000 | #Constraints: 37482 1448.04/1454.32 c #Conflicts: 453000 | #Constraints: 38482 1448.04/1454.32 c #Conflicts: 454000 | #Constraints: 39482 1448.04/1454.32 c #Conflicts: 455000 | #Constraints: 40482 1448.04/1454.32 c #Conflicts: 456000 | #Constraints: 41482 1448.04/1454.32 c #Conflicts: 457000 | #Constraints: 42482 1448.04/1454.32 c INPROCESSING 1448.04/1454.32 c GARBAGE COLLECT 1448.04/1454.32 c rational objective 145.155 1668.58/1675.47 c #Conflicts: 458000 | #Constraints: 27393 1668.58/1675.47 c #Conflicts: 459000 | #Constraints: 28393 1668.58/1675.47 c #Conflicts: 460000 | #Constraints: 29393 1668.58/1675.47 c #Conflicts: 461000 | #Constraints: 30393 1668.58/1675.47 c #Conflicts: 462000 | #Constraints: 31393 1668.58/1675.47 c #Conflicts: 463000 | #Constraints: 32393 1668.58/1675.47 c #Conflicts: 464000 | #Constraints: 33393 1668.58/1675.47 c #Conflicts: 465000 | #Constraints: 34393 1668.58/1675.47 c #Conflicts: 466000 | #Constraints: 35393 1668.58/1675.47 c #Conflicts: 467000 | #Constraints: 36393 1668.58/1675.47 c #Conflicts: 468000 | #Constraints: 37393 1668.58/1675.47 c #Conflicts: 469000 | #Constraints: 38393 1668.58/1675.47 c #Conflicts: 470000 | #Constraints: 39393 1668.58/1675.47 c #Conflicts: 471000 | #Constraints: 40393 1668.58/1675.47 c #Conflicts: 472000 | #Constraints: 41393 1668.58/1675.47 c #Conflicts: 473000 | #Constraints: 42393 1668.58/1675.47 c #Conflicts: 474000 | #Constraints: 43393 1668.58/1675.47 c #Conflicts: 475000 | #Constraints: 44393 1668.58/1675.47 c #Conflicts: 476000 | #Constraints: 45393 1668.58/1675.47 c #Conflicts: 477000 | #Constraints: 46393 1668.58/1675.47 c #Conflicts: 478000 | #Constraints: 47393 1668.58/1675.47 c #Conflicts: 479000 | #Constraints: 48393 1668.58/1675.47 c #Conflicts: 480000 | #Constraints: 49393 1668.58/1675.47 c #Conflicts: 481000 | #Constraints: 50393 1668.58/1675.47 c #Conflicts: 482000 | #Constraints: 51393 1668.58/1675.47 c #Conflicts: 483000 | #Constraints: 52393 1668.58/1675.47 c #Conflicts: 484000 | #Constraints: 53393 1668.58/1675.47 c #Conflicts: 485000 | #Constraints: 54393 1668.58/1675.47 c #Conflicts: 486000 | #Constraints: 55393 1668.58/1675.47 c #Conflicts: 487000 | #Constraints: 56393 1668.58/1675.47 c #Conflicts: 488000 | #Constraints: 57393 1668.58/1675.47 c bounds 194 >= 156 @ 1605.04 1668.58/1675.47 c #Conflicts: 489000 | #Constraints: 58458 1668.58/1675.47 c #Conflicts: 490000 | #Constraints: 59458 1668.58/1675.47 c #Conflicts: 491000 | #Constraints: 60458 1668.58/1675.47 c #Conflicts: 492000 | #Constraints: 61458 1668.58/1675.47 c #Conflicts: 493000 | #Constraints: 62458 1668.58/1675.47 c #Conflicts: 494000 | #Constraints: 63458 1668.58/1675.47 c #Conflicts: 495000 | #Constraints: 64458 1668.58/1675.47 c #Conflicts: 496000 | #Constraints: 65458 1668.58/1675.47 c #Conflicts: 497000 | #Constraints: 66458 1668.58/1675.47 c #Conflicts: 498000 | #Constraints: 67458 1668.58/1675.47 c #Conflicts: 499000 | #Constraints: 68458 1668.58/1675.47 c #Conflicts: 500000 | #Constraints: 69458 1668.58/1675.47 c #Conflicts: 501000 | #Constraints: 70458 1668.58/1675.47 c #Conflicts: 502000 | #Constraints: 71458 1668.58/1675.47 c #Conflicts: 503000 | #Constraints: 72458 1668.58/1675.47 c #Conflicts: 504000 | #Constraints: 73458 1668.58/1675.47 c #Conflicts: 505000 | #Constraints: 74458 1668.58/1675.47 c #Conflicts: 506000 | #Constraints: 75458 1668.58/1675.47 c INPROCESSING 1668.58/1675.47 c GARBAGE COLLECT 1668.58/1675.47 c rational objective 145.155 1722.95/1730.00 c #Conflicts: 507000 | #Constraints: 38998 1722.95/1730.00 c #Conflicts: 508000 | #Constraints: 39998 1722.95/1730.00 c #Conflicts: 509000 | #Constraints: 40998 1722.95/1730.00 c #Conflicts: 510000 | #Constraints: 41998 1722.95/1730.00 c #Conflicts: 511000 | #Constraints: 42998 1722.95/1730.00 c #Conflicts: 512000 | #Constraints: 43998 1722.95/1730.00 c #Conflicts: 513000 | #Constraints: 44998 1722.95/1730.00 c #Conflicts: 514000 | #Constraints: 45998 1722.95/1730.00 c #Conflicts: 515000 | #Constraints: 46998 1722.95/1730.00 c #Conflicts: 516000 | #Constraints: 47998 1722.95/1730.00 c #Conflicts: 517000 | #Constraints: 48998 1722.95/1730.00 c #Conflicts: 518000 | #Constraints: 49998 1722.95/1730.00 c #Conflicts: 519000 | #Constraints: 50998 1722.95/1730.00 c #Conflicts: 520000 | #Constraints: 51998 1722.95/1730.00 c #Conflicts: 521000 | #Constraints: 52998 1722.95/1730.00 c #Conflicts: 522000 | #Constraints: 53998 1722.95/1730.00 c #Conflicts: 523000 | #Constraints: 54998 1722.95/1730.00 c #Conflicts: 524000 | #Constraints: 55998 1722.95/1730.00 c INPROCESSING 1722.95/1730.00 c GARBAGE COLLECT 1722.95/1730.00 c rational objective 145.155 2099.81/2107.84 c #Conflicts: 525000 | #Constraints: 29906 2099.81/2107.84 c #Conflicts: 526000 | #Constraints: 30906 2099.81/2107.84 c #Conflicts: 527000 | #Constraints: 31906 2099.81/2107.84 c #Conflicts: 528000 | #Constraints: 32906 2099.81/2107.84 c #Conflicts: 529000 | #Constraints: 33906 2099.81/2107.84 c #Conflicts: 530000 | #Constraints: 34906 2099.81/2107.84 c #Conflicts: 531000 | #Constraints: 35906 2099.81/2107.84 c #Conflicts: 532000 | #Constraints: 36906 2099.81/2107.84 c #Conflicts: 533000 | #Constraints: 37906 2099.81/2107.84 c #Conflicts: 534000 | #Constraints: 38906 2099.81/2107.84 c #Conflicts: 535000 | #Constraints: 39906 2099.81/2107.84 c #Conflicts: 536000 | #Constraints: 40906 2099.81/2107.84 c #Conflicts: 537000 | #Constraints: 41906 2099.81/2107.84 c #Conflicts: 538000 | #Constraints: 42906 2099.81/2107.84 c #Conflicts: 539000 | #Constraints: 43906 2099.81/2107.84 c #Conflicts: 540000 | #Constraints: 44906 2099.81/2107.84 c #Conflicts: 541000 | #Constraints: 45906 2099.81/2107.84 c #Conflicts: 542000 | #Constraints: 46906 2099.81/2107.84 c #Conflicts: 543000 | #Constraints: 47906 2099.81/2107.84 c #Conflicts: 544000 | #Constraints: 48906 2099.81/2107.84 c #Conflicts: 545000 | #Constraints: 49906 2099.81/2107.84 c #Conflicts: 546000 | #Constraints: 50906 2099.81/2107.84 c #Conflicts: 547000 | #Constraints: 51906 2099.81/2107.84 c #Conflicts: 548000 | #Constraints: 52906 2099.81/2107.84 c #Conflicts: 549000 | #Constraints: 53906 2099.81/2107.84 c #Conflicts: 550000 | #Constraints: 54906 2099.81/2107.84 c #Conflicts: 551000 | #Constraints: 55906 2099.81/2107.84 c #Conflicts: 552000 | #Constraints: 56906 2099.81/2107.84 c #Conflicts: 553000 | #Constraints: 57906 2099.81/2107.84 c #Conflicts: 554000 | #Constraints: 58906 2099.81/2107.84 c #Conflicts: 555000 | #Constraints: 59906 2099.81/2107.84 c #Conflicts: 556000 | #Constraints: 60906 2099.81/2107.84 c #Conflicts: 557000 | #Constraints: 61906 2099.81/2107.84 c #Conflicts: 558000 | #Constraints: 62906 2099.81/2107.84 c #Conflicts: 559000 | #Constraints: 63906 2099.81/2107.84 c #Conflicts: 560000 | #Constraints: 64906 2099.81/2107.84 c bounds 193 >= 156 @ 1851.62 2099.81/2107.84 c #Conflicts: 561000 | #Constraints: 65907 2099.81/2107.84 c #Conflicts: 562000 | #Constraints: 66907 2099.81/2107.84 c #Conflicts: 563000 | #Constraints: 67907 2099.81/2107.84 c #Conflicts: 564000 | #Constraints: 68907 2099.81/2107.84 c #Conflicts: 565000 | #Constraints: 69907 2099.81/2107.84 c #Conflicts: 566000 | #Constraints: 70907 2099.81/2107.84 c #Conflicts: 567000 | #Constraints: 71907 2099.81/2107.84 c #Conflicts: 568000 | #Constraints: 72907 2099.81/2107.84 c #Conflicts: 569000 | #Constraints: 73907 2099.81/2107.84 c #Conflicts: 570000 | #Constraints: 74907 2099.81/2107.84 c #Conflicts: 571000 | #Constraints: 75907 2099.81/2107.84 c #Conflicts: 572000 | #Constraints: 76907 2099.81/2107.84 c #Conflicts: 573000 | #Constraints: 77907 2099.81/2107.84 c #Conflicts: 574000 | #Constraints: 78907 2099.81/2107.84 c #Conflicts: 575000 | #Constraints: 79907 2099.81/2107.84 c #Conflicts: 576000 | #Constraints: 80907 2099.81/2107.84 c #Conflicts: 577000 | #Constraints: 81907 2099.81/2107.84 c INPROCESSING 2099.81/2107.84 c GARBAGE COLLECT 2099.81/2107.84 c rational objective 145.155 2151.06/2159.27 c #Conflicts: 578000 | #Constraints: 42662 2151.06/2159.27 c #Conflicts: 579000 | #Constraints: 43662 2151.06/2159.27 c #Conflicts: 580000 | #Constraints: 44662 2151.06/2159.27 c #Conflicts: 581000 | #Constraints: 45662 2151.06/2159.27 c #Conflicts: 582000 | #Constraints: 46662 2151.06/2159.27 c #Conflicts: 583000 | #Constraints: 47662 2151.06/2159.27 c #Conflicts: 584000 | #Constraints: 48662 2151.06/2159.27 c #Conflicts: 585000 | #Constraints: 49662 2151.06/2159.27 c #Conflicts: 586000 | #Constraints: 50662 2151.06/2159.27 c #Conflicts: 587000 | #Constraints: 51662 2151.06/2159.27 c #Conflicts: 588000 | #Constraints: 52662 2151.06/2159.27 c #Conflicts: 589000 | #Constraints: 53662 2151.06/2159.27 c #Conflicts: 590000 | #Constraints: 54662 2151.06/2159.27 c #Conflicts: 591000 | #Constraints: 55662 2151.06/2159.27 c #Conflicts: 592000 | #Constraints: 56662 2151.06/2159.27 c #Conflicts: 593000 | #Constraints: 57662 2151.06/2159.27 c #Conflicts: 594000 | #Constraints: 58662 2151.06/2159.27 c #Conflicts: 595000 | #Constraints: 59662 2151.06/2159.27 c #Conflicts: 596000 | #Constraints: 60662 2151.06/2159.27 c INPROCESSING 2151.06/2159.27 c GARBAGE COLLECT 2151.06/2159.27 c rational objective 145.155 2496.53/2505.66 c #Conflicts: 597000 | #Constraints: 32461 2496.53/2505.66 c #Conflicts: 598000 | #Constraints: 33461 2496.53/2505.66 c #Conflicts: 599000 | #Constraints: 34461 2496.53/2505.66 c #Conflicts: 600000 | #Constraints: 35461 2496.53/2505.66 c #Conflicts: 601000 | #Constraints: 36461 2496.53/2505.66 c #Conflicts: 602000 | #Constraints: 37461 2496.53/2505.66 c #Conflicts: 603000 | #Constraints: 38461 2496.53/2505.66 c #Conflicts: 604000 | #Constraints: 39461 2496.53/2505.66 c #Conflicts: 605000 | #Constraints: 40461 2496.53/2505.66 c #Conflicts: 606000 | #Constraints: 41461 2496.53/2505.66 c #Conflicts: 607000 | #Constraints: 42461 2496.53/2505.66 c #Conflicts: 608000 | #Constraints: 43461 2496.53/2505.66 c #Conflicts: 609000 | #Constraints: 44461 2496.53/2505.66 c #Conflicts: 610000 | #Constraints: 45461 2496.53/2505.66 c #Conflicts: 611000 | #Constraints: 46461 2496.53/2505.66 c #Conflicts: 612000 | #Constraints: 47461 2496.53/2505.66 c #Conflicts: 613000 | #Constraints: 48461 2496.53/2505.66 c #Conflicts: 614000 | #Constraints: 49461 2496.53/2505.66 c #Conflicts: 615000 | #Constraints: 50461 2496.53/2505.66 c #Conflicts: 616000 | #Constraints: 51461 2496.53/2505.66 c #Conflicts: 617000 | #Constraints: 52461 2496.53/2505.66 c #Conflicts: 618000 | #Constraints: 53461 2496.53/2505.66 c #Conflicts: 619000 | #Constraints: 54461 2496.53/2505.66 c #Conflicts: 620000 | #Constraints: 55461 2496.53/2505.66 c #Conflicts: 621000 | #Constraints: 56461 2496.53/2505.66 c #Conflicts: 622000 | #Constraints: 57461 2496.53/2505.66 c #Conflicts: 623000 | #Constraints: 58461 2496.53/2505.66 c #Conflicts: 624000 | #Constraints: 59461 2496.53/2505.66 c #Conflicts: 625000 | #Constraints: 60461 2496.53/2505.66 c #Conflicts: 626000 | #Constraints: 61461 2496.53/2505.66 c #Conflicts: 627000 | #Constraints: 62461 2496.53/2505.66 c #Conflicts: 628000 | #Constraints: 63461 2496.53/2505.66 c #Conflicts: 629000 | #Constraints: 64461 2496.53/2505.66 c #Conflicts: 630000 | #Constraints: 65461 2496.53/2505.66 c #Conflicts: 631000 | #Constraints: 66461 2496.53/2505.66 c #Conflicts: 632000 | #Constraints: 67461 2496.53/2505.66 c #Conflicts: 633000 | #Constraints: 68461 2496.53/2505.66 c #Conflicts: 634000 | #Constraints: 69461 2496.53/2505.66 c #Conflicts: 635000 | #Constraints: 70461 2496.53/2505.66 c #Conflicts: 636000 | #Constraints: 71461 2496.53/2505.66 c #Conflicts: 637000 | #Constraints: 72461 2496.53/2505.66 c #Conflicts: 638000 | #Constraints: 73461 2496.53/2505.66 c #Conflicts: 639000 | #Constraints: 74461 2496.53/2505.66 c #Conflicts: 640000 | #Constraints: 75461 2496.53/2505.66 c #Conflicts: 641000 | #Constraints: 76461 2496.53/2505.66 c #Conflicts: 642000 | #Constraints: 77461 2496.53/2505.66 c #Conflicts: 643000 | #Constraints: 78461 2496.53/2505.66 c #Conflicts: 644000 | #Constraints: 79461 2496.53/2505.66 c #Conflicts: 645000 | #Constraints: 80461 2496.53/2505.66 c #Conflicts: 646000 | #Constraints: 81461 2496.53/2505.66 c #Conflicts: 647000 | #Constraints: 82461 2496.53/2505.66 c #Conflicts: 648000 | #Constraints: 83461 2496.53/2505.66 c #Conflicts: 649000 | #Constraints: 84461 2496.53/2505.66 c #Conflicts: 650000 | #Constraints: 85461 2496.53/2505.66 c #Conflicts: 651000 | #Constraints: 86461 2496.53/2505.66 c INPROCESSING 2496.53/2505.66 c GARBAGE COLLECT 2496.53/2505.66 c rational objective 145.155 2577.63/2586.91 c #Conflicts: 652000 | #Constraints: 44600 2577.63/2586.91 c #Conflicts: 653000 | #Constraints: 45600 2577.63/2586.91 c #Conflicts: 654000 | #Constraints: 46600 2577.63/2586.91 c #Conflicts: 655000 | #Constraints: 47600 2577.63/2586.91 c #Conflicts: 656000 | #Constraints: 48600 2577.63/2586.91 c #Conflicts: 657000 | #Constraints: 49600 2577.63/2586.91 c #Conflicts: 658000 | #Constraints: 50600 2577.63/2586.91 c #Conflicts: 659000 | #Constraints: 51600 2577.63/2586.91 c #Conflicts: 660000 | #Constraints: 52600 2577.63/2586.91 c #Conflicts: 661000 | #Constraints: 53600 2577.63/2586.91 c #Conflicts: 662000 | #Constraints: 54600 2577.63/2586.91 c #Conflicts: 663000 | #Constraints: 55600 2577.63/2586.91 c #Conflicts: 664000 | #Constraints: 56600 2577.63/2586.91 c #Conflicts: 665000 | #Constraints: 57600 2577.63/2586.91 c #Conflicts: 666000 | #Constraints: 58600 2577.63/2586.91 c #Conflicts: 667000 | #Constraints: 59600 2577.63/2586.91 c #Conflicts: 668000 | #Constraints: 60600 2577.63/2586.91 c #Conflicts: 669000 | #Constraints: 61600 2577.63/2586.91 c #Conflicts: 670000 | #Constraints: 62600 2577.63/2586.91 c #Conflicts: 671000 | #Constraints: 63600 2577.63/2586.91 c #Conflicts: 672000 | #Constraints: 64600 2577.63/2586.91 c INPROCESSING 2577.63/2586.91 c GARBAGE COLLECT 2577.63/2586.91 c rational objective 145.155 2913.89/2924.04 c #Conflicts: 673000 | #Constraints: 38096 2913.89/2924.04 c #Conflicts: 674000 | #Constraints: 39096 2913.89/2924.04 c #Conflicts: 675000 | #Constraints: 40096 2913.89/2924.04 c #Conflicts: 676000 | #Constraints: 41096 2913.89/2924.04 c #Conflicts: 677000 | #Constraints: 42096 2913.89/2924.04 c #Conflicts: 678000 | #Constraints: 43096 2913.89/2924.04 c #Conflicts: 679000 | #Constraints: 44096 2913.89/2924.04 c #Conflicts: 680000 | #Constraints: 45096 2913.89/2924.04 c #Conflicts: 681000 | #Constraints: 46096 2913.89/2924.04 c #Conflicts: 682000 | #Constraints: 47096 2913.89/2924.04 c #Conflicts: 683000 | #Constraints: 48096 2913.89/2924.04 c #Conflicts: 684000 | #Constraints: 49096 2913.89/2924.04 c #Conflicts: 685000 | #Constraints: 50096 2913.89/2924.04 c #Conflicts: 686000 | #Constraints: 51096 2913.89/2924.04 c #Conflicts: 687000 | #Constraints: 52096 2913.89/2924.04 c #Conflicts: 688000 | #Constraints: 53096 2913.89/2924.04 c #Conflicts: 689000 | #Constraints: 54096 2913.89/2924.04 c #Conflicts: 690000 | #Constraints: 55096 2913.89/2924.04 c #Conflicts: 691000 | #Constraints: 56096 2913.89/2924.04 c #Conflicts: 692000 | #Constraints: 57096 2913.89/2924.04 c #Conflicts: 693000 | #Constraints: 58096 2913.89/2924.04 c #Conflicts: 694000 | #Constraints: 59096 2913.89/2924.04 c #Conflicts: 695000 | #Constraints: 60096 2913.89/2924.04 c #Conflicts: 696000 | #Constraints: 61096 2913.89/2924.04 c #Conflicts: 697000 | #Constraints: 62096 2913.89/2924.04 c #Conflicts: 698000 | #Constraints: 63096 2913.89/2924.04 c #Conflicts: 699000 | #Constraints: 64096 2913.89/2924.04 c #Conflicts: 700000 | #Constraints: 65096 2913.89/2924.04 c #Conflicts: 701000 | #Constraints: 66096 2913.89/2924.04 c #Conflicts: 702000 | #Constraints: 67096 2913.89/2924.04 c #Conflicts: 703000 | #Constraints: 68096 2913.89/2924.04 c #Conflicts: 704000 | #Constraints: 69096 2913.89/2924.04 c #Conflicts: 705000 | #Constraints: 70096 2913.89/2924.04 c #Conflicts: 706000 | #Constraints: 71096 2913.89/2924.04 c #Conflicts: 707000 | #Constraints: 72096 2913.89/2924.04 c #Conflicts: 708000 | #Constraints: 73096 2913.89/2924.04 c #Conflicts: 709000 | #Constraints: 74096 2913.89/2924.04 c #Conflicts: 710000 | #Constraints: 75096 2913.89/2924.04 c #Conflicts: 711000 | #Constraints: 76096 2913.89/2924.04 c #Conflicts: 712000 | #Constraints: 77096 2913.89/2924.04 c #Conflicts: 713000 | #Constraints: 78096 2913.89/2924.04 c #Conflicts: 714000 | #Constraints: 79096 2913.89/2924.04 c #Conflicts: 715000 | #Constraints: 80096 2913.89/2924.04 c #Conflicts: 716000 | #Constraints: 81096 2913.89/2924.04 c #Conflicts: 717000 | #Constraints: 82096 2913.89/2924.04 c #Conflicts: 718000 | #Constraints: 83096 2913.89/2924.04 c #Conflicts: 719000 | #Constraints: 84096 2913.89/2924.04 c #Conflicts: 720000 | #Constraints: 85096 2913.89/2924.04 c #Conflicts: 721000 | #Constraints: 86096 2913.89/2924.04 c #Conflicts: 722000 | #Constraints: 87096 2913.89/2924.04 c #Conflicts: 723000 | #Constraints: 88096 2913.89/2924.04 c #Conflicts: 724000 | #Constraints: 89096 2913.89/2924.04 c #Conflicts: 725000 | #Constraints: 90096 2913.89/2924.04 c #Conflicts: 726000 | #Constraints: 91096 2913.89/2924.04 c #Conflicts: 727000 | #Constraints: 92096 2913.89/2924.04 c #Conflicts: 728000 | #Constraints: 93096 2913.89/2924.04 c #Conflicts: 729000 | #Constraints: 94096 2913.89/2924.04 c #Conflicts: 730000 | #Constraints: 95096 2913.89/2924.04 c #Conflicts: 731000 | #Constraints: 96096 2913.89/2924.04 c INPROCESSING 2913.89/2924.04 c GARBAGE COLLECT 2913.89/2924.04 c rational objective 145.155 3120.46/3131.18 c #Conflicts: 732000 | #Constraints: 49782 3120.46/3131.18 c #Conflicts: 733000 | #Constraints: 50782 3120.46/3131.18 c #Conflicts: 734000 | #Constraints: 51782 3120.46/3131.18 c #Conflicts: 735000 | #Constraints: 52782 3120.46/3131.18 c #Conflicts: 736000 | #Constraints: 53782 3120.46/3131.18 c #Conflicts: 737000 | #Constraints: 54782 3120.46/3131.18 c #Conflicts: 738000 | #Constraints: 55782 3120.46/3131.18 c #Conflicts: 739000 | #Constraints: 56782 3120.46/3131.18 c #Conflicts: 740000 | #Constraints: 57782 3120.46/3131.18 c #Conflicts: 741000 | #Constraints: 58782 3120.46/3131.18 c #Conflicts: 742000 | #Constraints: 59782 3120.46/3131.18 c #Conflicts: 743000 | #Constraints: 60782 3120.46/3131.18 c #Conflicts: 744000 | #Constraints: 61782 3120.46/3131.18 c #Conflicts: 745000 | #Constraints: 62782 3120.46/3131.18 c #Conflicts: 746000 | #Constraints: 63782 3120.46/3131.18 c #Conflicts: 747000 | #Constraints: 64782 3120.46/3131.18 c #Conflicts: 748000 | #Constraints: 65782 3120.46/3131.18 c #Conflicts: 749000 | #Constraints: 66782 3120.46/3131.18 c #Conflicts: 750000 | #Constraints: 67782 3120.46/3131.18 c #Conflicts: 751000 | #Constraints: 68782 3120.46/3131.18 c #Conflicts: 752000 | #Constraints: 69782 3120.46/3131.18 c INPROCESSING 3120.46/3131.18 c GARBAGE COLLECT 3120.46/3131.18 c rational objective 145.155 3570.89/3582.78 c #Conflicts: 753000 | #Constraints: 39988 3570.89/3582.78 c #Conflicts: 754000 | #Constraints: 40988 3570.89/3582.78 c #Conflicts: 755000 | #Constraints: 41988 3570.89/3582.78 c bounds 192 >= 156 @ 3108.81 3570.89/3582.78 c #Conflicts: 756000 | #Constraints: 42989 3570.89/3582.78 c #Conflicts: 757000 | #Constraints: 43989 3570.89/3582.78 c #Conflicts: 758000 | #Constraints: 44989 3570.89/3582.78 c #Conflicts: 759000 | #Constraints: 45989 3570.89/3582.78 c #Conflicts: 760000 | #Constraints: 46989 3570.89/3582.78 c #Conflicts: 761000 | #Constraints: 47989 3570.89/3582.78 c #Conflicts: 762000 | #Constraints: 48989 3570.89/3582.78 c #Conflicts: 763000 | #Constraints: 49989 3570.89/3582.78 c #Conflicts: 764000 | #Constraints: 50989 3570.89/3582.78 c #Conflicts: 765000 | #Constraints: 51989 3570.89/3582.78 c #Conflicts: 766000 | #Constraints: 52989 3570.89/3582.78 c #Conflicts: 767000 | #Constraints: 53989 3570.89/3582.78 c #Conflicts: 768000 | #Constraints: 54989 3570.89/3582.78 c #Conflicts: 769000 | #Constraints: 55989 3570.89/3582.78 c #Conflicts: 770000 | #Constraints: 56989 3570.89/3582.78 c #Conflicts: 771000 | #Constraints: 57989 3570.89/3582.78 c #Conflicts: 772000 | #Constraints: 58989 3570.89/3582.78 c #Conflicts: 773000 | #Constraints: 59989 3570.89/3582.78 c #Conflicts: 774000 | #Constraints: 60989 3570.89/3582.78 c #Conflicts: 775000 | #Constraints: 61989 3570.89/3582.78 c #Conflicts: 776000 | #Constraints: 62989 3570.89/3582.78 c #Conflicts: 777000 | #Constraints: 63990 3570.89/3582.78 c #Conflicts: 778000 | #Constraints: 64990 3570.89/3582.78 c #Conflicts: 779000 | #Constraints: 65990 3570.89/3582.78 c #Conflicts: 780000 | #Constraints: 66990 3570.89/3582.78 c #Conflicts: 781000 | #Constraints: 67990 3570.89/3582.78 c #Conflicts: 782000 | #Constraints: 68990 3570.89/3582.78 c #Conflicts: 783000 | #Constraints: 69990 3570.89/3582.78 c #Conflicts: 784000 | #Constraints: 70990 3570.89/3582.78 c #Conflicts: 785000 | #Constraints: 71990 3570.89/3582.78 c #Conflicts: 786000 | #Constraints: 72990 3570.89/3582.78 c #Conflicts: 787000 | #Constraints: 73990 3570.89/3582.78 c #Conflicts: 788000 | #Constraints: 74990 3570.89/3582.78 c #Conflicts: 789000 | #Constraints: 75990 3570.89/3582.78 c #Conflicts: 790000 | #Constraints: 76990 3570.89/3582.78 c #Conflicts: 791000 | #Constraints: 77990 3570.89/3582.78 c #Conflicts: 792000 | #Constraints: 78990 3570.89/3582.78 c #Conflicts: 793000 | #Constraints: 79990 3570.89/3582.78 c #Conflicts: 794000 | #Constraints: 80990 3570.89/3582.78 c #Conflicts: 795000 | #Constraints: 81990 3570.89/3582.78 c #Conflicts: 796000 | #Constraints: 82990 3570.89/3582.78 c #Conflicts: 797000 | #Constraints: 83990 3570.89/3582.78 c #Conflicts: 798000 | #Constraints: 84990 3570.89/3582.78 c #Conflicts: 799000 | #Constraints: 85990 3570.89/3582.78 c #Conflicts: 800000 | #Constraints: 86990 3570.89/3582.78 c #Conflicts: 801000 | #Constraints: 87990 3570.89/3582.78 c #Conflicts: 802000 | #Constraints: 88990 3570.89/3582.78 c #Conflicts: 803000 | #Constraints: 89990 3570.89/3582.78 c #Conflicts: 804000 | #Constraints: 90990 3570.89/3582.78 c #Conflicts: 805000 | #Constraints: 91990 3570.89/3582.78 c #Conflicts: 806000 | #Constraints: 92990 3570.89/3582.78 c #Conflicts: 807000 | #Constraints: 93990 3570.89/3582.78 c #Conflicts: 808000 | #Constraints: 94990 3570.89/3582.78 c #Conflicts: 809000 | #Constraints: 95990 3570.89/3582.78 c #Conflicts: 810000 | #Constraints: 96990 3570.89/3582.78 c #Conflicts: 811000 | #Constraints: 97990 3570.89/3582.78 c #Conflicts: 812000 | #Constraints: 98990 3570.89/3582.78 c #Conflicts: 813000 | #Constraints: 99990 3570.89/3582.78 c #Conflicts: 814000 | #Constraints: 100990 3570.89/3582.78 c INPROCESSING 3570.89/3582.78 c GARBAGE COLLECT 3570.89/3582.78 c rational objective 145.155 3600.01/3611.97 c #Conflicts: 815000 | #Constraints: 51973 3600.01/3611.97 c #Conflicts: 816000 | #Constraints: 52973 3600.01/3611.97 c #Conflicts: 817000 | #Constraints: 53973 3600.01/3611.97 c Program interrupted by user. 3600.01/3611.97 c cpu time 3578.32 s 3600.01/3611.97 c deterministic time 367375831563 3.67e+11 3600.01/3611.97 c optimization time 29.0098 s 3600.01/3611.97 c total solve time 3549.3 s 3600.01/3611.97 c core-guided solve time 1802.7 s 3600.01/3611.97 c propagation time 3074.87 s 3600.01/3611.97 c conflict analysis time 461.753 s 3600.01/3611.97 c propagations 113201708 3600.01/3611.97 c resolve steps 6821986 3600.01/3611.97 c decisions 6211182 3600.01/3611.97 c conflicts 817217 3600.01/3611.97 c restarts 1768 3600.01/3611.97 c inprocessing phases 45 3600.01/3611.97 c input clauses 309 3600.01/3611.97 c input cardinalities 200 3600.01/3611.97 c input general constraints 890 3600.01/3611.97 c input average constraint length 22.49 3600.01/3611.97 c input average constraint degree 20.45 3600.01/3611.97 c learned clauses 279586 3600.01/3611.97 c learned cardinalities 6605 3600.01/3611.97 c learned general constraints 531051 3600.01/3611.97 c learned average constraint length 205.60 3600.01/3611.97 c learned average constraint degree 7071065.15 3600.01/3611.97 c watched constraints 331594 3600.01/3611.97 c counting constraints 200347 3600.01/3611.97 c gcd simplifications 106027 3600.01/3611.97 c detected cardinalities 2680 3600.01/3611.97 c weakened non-implied lits 38069981 3600.01/3611.97 c weakened non-implying lits 70737 3600.01/3611.97 c original variables 479 3600.01/3611.97 c clausal propagations 11071349 3600.01/3611.97 c cardinality propagations 8054699 3600.01/3611.97 c watched propagations 15551090 3600.01/3611.97 c counting propagations 76609395 3600.01/3611.97 c watch lookups 69590499908 3600.01/3611.97 c watch backjump lookups 62991359091 3600.01/3611.97 c watch checks 212243139437 3600.01/3611.97 c propagation checks 21657878495 3600.01/3611.97 c constraint additions 652453977 3600.01/3611.97 c trail pops 120229947 3600.01/3611.97 c formula constraints 479 3600.01/3611.97 c learned constraints 817230 3600.01/3611.97 c bound constraints 44 3600.01/3611.97 c core-guided constraints 876 3600.01/3611.97 c encountered formula constraints 1393100 3600.01/3611.97 c encountered learned constraints 5342489 3600.01/3611.97 c encountered bound constraints 135 3600.01/3611.97 c encountered core-guided constraints 903405 3600.01/3611.97 c LP total time 43.2874 s 3600.01/3611.97 c LP solve time 42.02 s 3600.01/3611.97 c LP constraints added 479 3600.01/3611.97 c LP constraints removed 0 3600.01/3611.97 c LP pivots internal 818721 3600.01/3611.97 c LP pivots root 39096 3600.01/3611.97 c LP calls 14688 3600.01/3611.97 c LP optimalities 14680 3600.01/3611.97 c LP no pivot count 620 3600.01/3611.97 c LP infeasibilities 6 3600.01/3611.97 c LP valid Farkas constraints 6 3600.01/3611.97 c LP learned Farkas constraints 6 3600.01/3611.97 c LP basis resets 0 3600.01/3611.97 c LP cycling count 0 3600.01/3611.97 c LP singular count 0 3600.01/3611.97 c LP no primal count 0 3600.01/3611.97 c LP no farkas count 0 3600.01/3611.97 c LP other issue count 0 3600.01/3611.97 c LP Gomory cuts 0 3600.01/3611.97 c LP learned cuts 0 3600.01/3611.97 c LP deleted cuts 0 3600.01/3611.97 c LP encountered Gomory constraints 0 3600.01/3611.97 c LP encountered Farkas constraints 58 3600.01/3611.97 c LP encountered learned Farkas constraints 10 3600.01/3611.97 c CG auxiliary variables introduced 344 3600.01/3611.97 c CG solutions found 44 3600.01/3611.97 c CG cores constructed 156 3600.01/3611.97 c CG core cardinality constraints returned 0 3600.01/3611.97 c CG unit cores 0 3600.01/3611.97 c CG single cores 155 3600.01/3611.97 c CG blocks removed during cardinality reduction 0 3600.01/3611.97 c CG first core best 0 3600.01/3611.97 c CG decision core best 0 3600.01/3611.97 c CG core reduction tie 1 3600.01/3611.97 c CG core degree average 1.00 3600.01/3611.97 c CG core slack average 3.76 3600.01/3611.97 s SATISFIABLE 3600.01/3611.97 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 x94 -x95 -x96 -x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 x111 x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 x121 x122 x123 x124 x125 x126 -x127 x128 x129 x130 -x131 -x132 -x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 x144 x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x169 x170 x171 x172 -x173 -x174 -x175 x176 -x177 x178 -x179 -x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190 -x191 x192 -x193 -x194 x195 x196 x197 x198 -x199 -x200 -x201 x202 -x203 -x204 x205 x206 -x207 x208 -x209 -x210 x211 x212 -x213 -x214 x215 -x216 x217 x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 -x227 x228 x229 x230 -x231 -x232 x233 x234 -x235 x236 x237 x238 -x239 x240 x241 -x242 x243 x244 x245 -x246 x247 x248 -x249 x250 x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 -x264 x265 x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 x275 x276 -x277 -x278 x279 -x280 x281 -x282 x283 -x284 -x285 x286 x287 x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 -x303 -
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63535 MiB free)
memory of node 1: 64510 MiB (64044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462562-1722340764/watcher-4462562-1722340764 -o /tmp/evaluation-result-4462562-1722340764/solver-4462562-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6451 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462562-1722340764 --lp-cut-gomory=0 HOME/instance-4462562-1722340764.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6505, runsolver pid=6502
[startup+0.100104 s]*
/proc/loadavg: 0.10 0.09 0.09 1/241 6512
/proc/meminfo: memFree=130639084/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=37376 memory=2624 CPUtime=0 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 447154 38273024 656 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.214031 s]*
/proc/loadavg: 0.10 0.09 0.09 1/241 6512
/proc/meminfo: memFree=130638416/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=37376 memory=2624 CPUtime=0 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 447154 38273024 656 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.313153 s]*
/proc/loadavg: 0.10 0.09 0.09 1/241 6512
/proc/meminfo: memFree=130638188/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=37376 memory=2624 CPUtime=0 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 447154 38273024 656 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 9344 656 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.70027 s]
/proc/loadavg: 0.10 0.09 0.09 5/241 6512
/proc/meminfo: memFree=130617772/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=38924 memory=10888 CPUtime=0.27 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 643 0 0 0 26 1 0 0 20 0 1 0 447154 39858176 2722 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 9731 2722 1758 992 0 1589 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 10888 KiB
[startup+1.50029 s]
/proc/loadavg: 0.10 0.09 0.09 5/241 6512
/proc/meminfo: memFree=130602428/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=42404 memory=16560 CPUtime=1.08 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 1498 0 0 0 96 12 0 0 20 0 1 0 447154 43421696 4140 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 10601 4140 1867 992 0 2459 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 42404 KiB
Current children cumulated memory: 16560 KiB
[startup+3.11336 s]
/proc/loadavg: 0.10 0.09 0.09 5/241 6512
/proc/meminfo: memFree=130421000/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=46356 memory=20412 CPUtime=2.68 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 2565 0 0 0 248 20 0 0 20 0 1 0 447154 47468544 5103 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 11589 5103 1867 992 0 3447 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 46356 KiB
Current children cumulated memory: 20412 KiB
[startup+6.3003 s]
/proc/loadavg: 0.42 0.15 0.11 5/243 6514
/proc/meminfo: memFree=130130424/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=52592 memory=26264 CPUtime=5.87 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 3996 0 0 0 552 35 0 0 20 0 1 0 447154 53854208 6566 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 13148 6566 1867 992 0 5006 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 52592 KiB
Current children cumulated memory: 26264 KiB
[startup+12.7003 s]
/proc/loadavg: 0.70 0.22 0.13 5/244 6517
/proc/meminfo: memFree=129571524/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=71444 memory=37540 CPUtime=12.23 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 6329 0 0 0 1168 55 0 0 20 0 1 0 447154 73158656 9385 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 17861 9385 1867 992 0 9719 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 71444 KiB
Current children cumulated memory: 37540 KiB
[startup+25.5003 s]
/proc/loadavg: 1.43 0.40 0.20 5/244 6518
/proc/meminfo: memFree=128442500/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=80616 memory=52160 CPUtime=24.99 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 8424 0 0 0 2412 87 0 0 20 0 1 0 447154 82550784 13040 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 20154 13040 1883 992 0 12012 0
Current children cumulated CPU time: 24.99 s
Current children cumulated vsize: 80616 KiB
Current children cumulated memory: 52160 KiB
[startup+51.1142 s]
/proc/loadavg: 2.53 0.74 0.31 5/248 6529
/proc/meminfo: memFree=126315216/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=97840 memory=63000 CPUtime=50.5 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 10119 0 0 0 4919 131 0 0 20 0 1 0 447154 100188160 15750 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 24460 15750 1883 992 0 16318 0
Current children cumulated CPU time: 50.5 s
Current children cumulated vsize: 97840 KiB
Current children cumulated memory: 63000 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.28 0.52 5/248 6548
/proc/meminfo: memFree=122339464/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=146708 memory=103804 CPUtime=101.42 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 16779 0 0 0 9894 248 0 0 20 0 1 0 447154 150228992 25951 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 36677 25951 1883 992 0 28535 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 146708 KiB
Current children cumulated memory: 103804 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 1.88 0.78 6/248 6558
/proc/meminfo: memFree=117832896/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=190652 memory=129492 CPUtime=161.09 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 20701 0 0 0 15784 325 0 0 20 0 1 0 447154 195227648 32373 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 47663 32373 1883 992 0 39521 0
Current children cumulated CPU time: 161.09 s
Current children cumulated vsize: 190652 KiB
Current children cumulated memory: 129492 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.30 0.99 5/246 6569
/proc/meminfo: memFree=113417948/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=203136 memory=144136 CPUtime=220.73 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 23283 0 0 0 21664 409 0 0 20 0 1 0 447154 208011264 36034 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 50784 36034 1883 992 0 42642 0
Current children cumulated CPU time: 220.73 s
Current children cumulated vsize: 203136 KiB
Current children cumulated memory: 144136 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 2.64 1.19 5/247 6581
/proc/meminfo: memFree=109161708/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=221272 memory=167228 CPUtime=280.42 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 26588 0 0 0 27586 456 0 0 20 0 1 0 447154 226582528 41807 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 55318 41807 1883 992 0 47176 0
Current children cumulated CPU time: 280.42 s
Current children cumulated vsize: 221272 KiB
Current children cumulated memory: 167228 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 2.94 1.39 5/250 6595
/proc/meminfo: memFree=104759776/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=221272 memory=173388 CPUtime=340.08 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 26671 0 0 0 33481 527 0 0 20 0 1 0 447154 226582528 43347 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 55318 43347 1883 992 0 47176 0
Current children cumulated CPU time: 340.08 s
Current children cumulated vsize: 221272 KiB
Current children cumulated memory: 173388 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.18 1.57 5/251 6611
/proc/meminfo: memFree=100472544/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=221272 memory=176492 CPUtime=399.76 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 26759 0 0 0 39402 574 0 0 20 0 1 0 447154 226582528 44123 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 55318 44123 1883 992 0 47176 0
Current children cumulated CPU time: 399.76 s
Current children cumulated vsize: 221272 KiB
Current children cumulated memory: 176492 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 3.39 1.75 5/251 6621
/proc/meminfo: memFree=96145660/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=223504 memory=183572 CPUtime=459.49 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 27435 0 0 0 45318 631 0 0 20 0 1 0 447154 228868096 45893 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 55876 45893 1883 992 0 47734 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.05 5/260 7778
/proc/meminfo: memFree=8054368/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=470204 memory=348292 CPUtime=3091.73 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 106371 0 0 0 307174 1999 0 0 20 0 1 0 447154 481488896 87073 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 117551 87073 1883 992 0 109409 0
Current children cumulated CPU time: 3091.73 s
Current children cumulated vsize: 470204 KiB
Current children cumulated memory: 348292 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.27 4.10 5/265 7793
/proc/meminfo: memFree=6557140/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=470204 memory=348424 CPUtime=3151.57 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 110716 0 0 0 313130 2027 0 0 20 0 1 0 447154 481488896 87106 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 117551 87106 1883 992 0 109409 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 470204 KiB
Current children cumulated memory: 348424 KiB
[startup+3222.3 s]
/proc/loadavg: 4.59 4.34 4.14 5/265 7804
/proc/meminfo: memFree=5396576/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=470204 memory=348424 CPUtime=3211.41 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 114035 0 0 0 319083 2058 0 0 20 0 1 0 447154 481488896 87106 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 117551 87106 1883 992 0 109409 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 470204 KiB
Current children cumulated memory: 348424 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.39 4.17 6/263 7815
/proc/meminfo: memFree=4597916/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=470452 memory=348620 CPUtime=3271.26 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 116512 0 0 0 325047 2079 0 0 20 0 1 0 447154 481742848 87155 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 117613 87155 1883 992 0 109471 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 470452 KiB
Current children cumulated memory: 348620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.47 4.21 5/258 7825
/proc/meminfo: memFree=4221972/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=476276 memory=352940 CPUtime=3331.11 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 121253 0 0 0 331013 2098 0 0 20 0 1 0 447154 487706624 88235 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 119069 88235 1883 992 0 110927 0
Current children cumulated CPU time: 3331.11 s
Current children cumulated vsize: 476276 KiB
Current children cumulated memory: 352940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.43 4.21 5/259 8221
/proc/meminfo: memFree=3565008/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=481228 memory=357048 CPUtime=3390.95 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 134992 0 0 0 336979 2116 0 0 20 0 1 0 447154 492777472 89262 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 120307 89262 1883 992 0 112165 0
Current children cumulated CPU time: 3390.95 s
Current children cumulated vsize: 481228 KiB
Current children cumulated memory: 357048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.66 4.48 4.24 5/253 8231
/proc/meminfo: memFree=3112956/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=492108 memory=368748 CPUtime=3450.79 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 142749 0 0 0 342947 2132 0 0 20 0 1 0 447154 503918592 92187 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 123027 92187 1883 992 0 114885 0
Current children cumulated CPU time: 3450.79 s
Current children cumulated vsize: 492108 KiB
Current children cumulated memory: 368748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.49 4.26 5/247 8411
/proc/meminfo: memFree=2421348/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=503940 memory=385972 CPUtime=3510.64 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 167129 0 0 0 348913 2151 0 0 20 0 1 0 447154 516034560 96493 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 125985 96493 1883 992 0 117843 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 503940 KiB
Current children cumulated memory: 385972 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.41 4.25 5/248 8422
/proc/meminfo: memFree=1896880/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=522992 memory=407660 CPUtime=3570.49 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 185410 0 0 0 354884 2165 0 0 20 0 1 0 447154 535543808 101915 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 130748 101915 1883 992 0 122606 0
Current children cumulated CPU time: 3570.49 s
Current children cumulated vsize: 522992 KiB
Current children cumulated memory: 407660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.20 4.39 4.25 3/236 8481
/proc/meminfo: memFree=21213684/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=524172 memory=408876 CPUtime=3600.01 cores=5,7
/proc/6505/stat : 6505 (roundingsat) R 6502 6505 6438 0 -1 4194304 193904 0 0 0 357828 2173 0 0 20 0 1 0 447154 536752128 102219 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 131043 102219 1883 992 0 122901 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 408876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.92 s]
# the end of solver process 6505 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.33 s, system=21.7555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.20 4.39 4.25 2/236 8481
/proc/meminfo: memFree=21210512/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=524172 memory=408876 CPUtime=3600.05 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 4194304 193910 0 1 0 357832 2173 0 0 20 0 1 0 447154 536752128 102219 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 0 0 0 17 5 0 0 3 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 131043 102219 1883 992 0 122901 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 408876 KiB
[startup+3613.6 s]
/proc/loadavg: 4.20 4.39 4.25 2/236 8481
/proc/meminfo: memFree=21210852/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=524172 memory=408876 CPUtime=3600.05 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 4194304 193910 0 1 0 357832 2173 0 0 20 0 1 0 447154 536752128 102219 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 1 0 0 17 5 0 0 316 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 131043 102219 1883 992 0 122901 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 408876 KiB
[startup+3613.8 s]
/proc/loadavg: 4.20 4.39 4.25 2/236 8481
/proc/meminfo: memFree=21210852/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=524172 memory=408876 CPUtime=3600.05 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 4194304 193910 0 1 0 357832 2173 0 0 20 0 1 0 447154 536752128 102219 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 1 0 0 17 5 0 0 316 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 131043 102219 1883 992 0 122901 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 408876 KiB
[startup+3613.9 s]
/proc/loadavg: 4.20 4.39 4.25 2/236 8481
/proc/meminfo: memFree=21210852/131655788 swapFree=131071996/131071996
[pid=6505] ppid=6502 vsize=524172 memory=408876 CPUtime=3600.05 cores=5,7
/proc/6505/stat : 6505 (roundingsat) D 6502 6505 6438 0 -1 4194304 193910 0 1 0 357832 2173 0 0 20 0 1 0 447154 536752128 102219 134679101440 4194304 8255733 140729856879680 0 0 0 0 0 25182210 1 0 0 17 5 0 0 316 0 0 9037040 9046032 20660224 140729856881506 140729856881768 140729856881768 140729856888777 0
/proc/6505/statm: 131043 102219 1883 992 0 122901 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 524172 KiB
Current children cumulated memory: 408876 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.92
CPU time (s): 3600.08
CPU user time (s): 3578.33
CPU system time (s): 21.7555
CPU usage (%): 99.6171
Max. virtual memory (cumulated for all children) (KiB): 524172
Max. memory (cumulated for all children) (KiB): 408876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.33
system time used= 21.7555
maximum resident set size= 409260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193910
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 4511024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 7892
# summary of solver processes directly reported to runsolver:
# pid: 6505
# total CPU time (s): 3600.08
# total CPU user time (s): 3578.33
# total CPU system time (s): 21.7555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3142 second user time and 40.4564 second system time
The end
Begin job on nodeC008 at 2024-07-30 13:59:24 IDJOB=4462562 IDBENCH=147541 IDSOLVER=3089 FILE ID=nodeC008/4462562-1722340764 RUNJOBID= nodeC008-1722340763-6451 SLURM_JOB_ID= 8248988 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462562-1722340764/watcher-4462562-1722340764 -o /tmp/evaluation-result-4462562-1722340764/solver-4462562-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6451 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462562-1722340764 --lp-cut-gomory=0 HOME/instance-4462562-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=1492646933 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.365 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.366 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.416 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.380 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.416 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.587 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.63 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.364 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130641396 kB MemAvailable: 130200992 kB Buffers: 40260 kB Cached: 297316 kB SwapCached: 0 kB Active: 127492 kB Inactive: 479976 kB Active(anon): 1376 kB Inactive(anon): 290208 kB Active(file): 126116 kB Inactive(file): 189768 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 29100 kB Writeback: 0 kB AnonPages: 270008 kB Mapped: 87896 kB Shmem: 21312 kB KReclaimable: 39944 kB Slab: 109316 kB SReclaimable: 39944 kB SUnreclaim: 69372 kB KernelStack: 3696 kB PageTables: 8868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 615792 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723752 MiB End job on nodeC008 at 2024-07-30 14:59:38