| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 199 | 3600.07 | 3612.3 |
| 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.00 c #variables 479 #constraints 479 0.09/0.17 c bounds - >= 0 @ 0.003051 0.09/0.17 c bounds 235 >= 0 @ 0.128591 0.09/0.17 c bounds 235 >= 1 @ 0.128679 0.09/0.17 c bounds 235 >= 2 @ 0.128737 0.09/0.17 c bounds 235 >= 3 @ 0.12879 0.09/0.17 c bounds 235 >= 4 @ 0.128845 0.09/0.17 c bounds 235 >= 5 @ 0.128899 0.09/0.17 c bounds 235 >= 6 @ 0.128958 0.09/0.17 c bounds 235 >= 7 @ 0.129023 0.09/0.17 c bounds 235 >= 8 @ 0.129102 0.09/0.17 c bounds 235 >= 9 @ 0.129179 0.09/0.17 c bounds 235 >= 10 @ 0.129257 0.09/0.17 c bounds 235 >= 11 @ 0.129337 0.09/0.17 c bounds 235 >= 12 @ 0.129425 0.09/0.17 c bounds 235 >= 13 @ 0.129513 0.09/0.17 c bounds 235 >= 14 @ 0.129601 0.09/0.17 c bounds 235 >= 15 @ 0.129695 0.09/0.17 c bounds 235 >= 16 @ 0.129789 0.09/0.17 c bounds 235 >= 17 @ 0.129887 0.09/0.17 c bounds 235 >= 18 @ 0.130007 0.09/0.17 c bounds 235 >= 19 @ 0.130117 0.09/0.17 c bounds 235 >= 20 @ 0.130245 0.09/0.17 c bounds 235 >= 21 @ 0.130357 0.09/0.17 c bounds 235 >= 22 @ 0.130467 0.09/0.17 c bounds 235 >= 23 @ 0.130587 0.09/0.17 c bounds 235 >= 24 @ 0.130706 0.09/0.17 c bounds 235 >= 25 @ 0.130826 0.09/0.17 c bounds 235 >= 26 @ 0.130944 0.09/0.17 c bounds 234 >= 26 @ 0.143395 0.09/0.17 c bounds 234 >= 27 @ 0.143531 0.09/0.17 c bounds 234 >= 28 @ 0.143659 0.09/0.17 c bounds 234 >= 29 @ 0.143794 0.09/0.17 c bounds 234 >= 30 @ 0.143938 0.09/0.17 c bounds 234 >= 31 @ 0.144079 0.09/0.17 c bounds 234 >= 32 @ 0.144265 0.09/0.17 c bounds 234 >= 33 @ 0.144582 0.09/0.17 c bounds 234 >= 34 @ 0.14473 0.09/0.17 c bounds 234 >= 35 @ 0.144872 0.09/0.17 c bounds 234 >= 36 @ 0.145017 0.09/0.17 c bounds 234 >= 37 @ 0.145163 0.09/0.17 c bounds 234 >= 38 @ 0.145306 0.09/0.17 c bounds 234 >= 39 @ 0.145451 0.09/0.17 c bounds 234 >= 40 @ 0.145599 0.09/0.17 c bounds 234 >= 41 @ 0.145749 0.09/0.17 c bounds 234 >= 42 @ 0.145895 0.09/0.17 c bounds 234 >= 43 @ 0.146039 0.09/0.17 c bounds 234 >= 44 @ 0.146178 0.09/0.17 c bounds 234 >= 45 @ 0.146316 0.09/0.17 c bounds 234 >= 46 @ 0.146452 0.09/0.17 c bounds 234 >= 47 @ 0.146594 0.09/0.17 c bounds 234 >= 48 @ 0.146736 0.09/0.17 c bounds 234 >= 49 @ 0.146881 0.09/0.17 c bounds 234 >= 50 @ 0.147016 0.09/0.17 c bounds 234 >= 51 @ 0.147171 0.09/0.17 c bounds 234 >= 52 @ 0.147313 0.09/0.17 c bounds 234 >= 53 @ 0.147453 0.09/0.17 c bounds 234 >= 54 @ 0.147607 0.09/0.17 c bounds 234 >= 55 @ 0.147752 0.09/0.17 c bounds 234 >= 56 @ 0.147919 0.09/0.17 c bounds 234 >= 57 @ 0.148068 0.09/0.17 c bounds 234 >= 58 @ 0.148231 0.09/0.17 c bounds 234 >= 59 @ 0.14838 0.09/0.17 c bounds 234 >= 60 @ 0.148531 0.09/0.17 c bounds 234 >= 61 @ 0.148681 0.09/0.17 c bounds 234 >= 62 @ 0.148843 0.09/0.17 c bounds 234 >= 63 @ 0.148871 0.09/0.17 c bounds 234 >= 64 @ 0.148871 0.09/0.17 c bounds 234 >= 65 @ 0.148871 0.09/0.17 c bounds 234 >= 66 @ 0.148871 0.09/0.17 c bounds 234 >= 67 @ 0.148871 0.09/0.17 c bounds 234 >= 68 @ 0.148871 0.09/0.17 c bounds 234 >= 69 @ 0.148871 0.09/0.17 c bounds 234 >= 70 @ 0.148871 0.09/0.17 c bounds 234 >= 71 @ 0.148871 0.09/0.17 c bounds 234 >= 72 @ 0.148871 0.09/0.17 c bounds 234 >= 73 @ 0.148871 0.09/0.17 c bounds 234 >= 74 @ 0.148871 0.09/0.17 c bounds 234 >= 75 @ 0.148871 0.09/0.17 c bounds 234 >= 76 @ 0.149034 0.09/0.17 c bounds 234 >= 77 @ 0.149195 0.09/0.17 c bounds 234 >= 78 @ 0.149355 0.09/0.17 c bounds 234 >= 79 @ 0.149518 0.09/0.17 c bounds 234 >= 80 @ 0.149673 0.09/0.17 c bounds 234 >= 81 @ 0.149829 0.09/0.17 c bounds 234 >= 82 @ 0.149867 0.09/0.17 c bounds 234 >= 83 @ 0.149867 0.09/0.17 c bounds 234 >= 84 @ 0.149867 0.09/0.17 c bounds 234 >= 85 @ 0.149867 0.09/0.17 c bounds 234 >= 86 @ 0.149867 0.09/0.17 c bounds 234 >= 87 @ 0.149867 0.09/0.17 c bounds 234 >= 88 @ 0.149914 0.09/0.17 c bounds 234 >= 89 @ 0.150064 0.09/0.17 c bounds 234 >= 90 @ 0.150225 0.09/0.17 c bounds 234 >= 91 @ 0.150381 0.09/0.17 c bounds 234 >= 92 @ 0.150523 0.09/0.17 c bounds 234 >= 93 @ 0.150673 0.09/0.17 c bounds 234 >= 94 @ 0.150819 0.09/0.17 c bounds 234 >= 95 @ 0.150864 0.09/0.17 c bounds 234 >= 96 @ 0.150864 0.09/0.17 c bounds 234 >= 97 @ 0.150864 0.09/0.17 c bounds 234 >= 98 @ 0.150864 0.09/0.17 c bounds 234 >= 99 @ 0.150864 0.09/0.17 c bounds 234 >= 100 @ 0.150864 0.09/0.17 c bounds 234 >= 101 @ 0.150864 0.09/0.17 c bounds 234 >= 102 @ 0.150864 0.09/0.17 c bounds 234 >= 103 @ 0.150864 0.09/0.17 c bounds 234 >= 104 @ 0.150864 0.09/0.17 c bounds 234 >= 105 @ 0.150864 0.09/0.17 c bounds 234 >= 106 @ 0.150864 0.09/0.17 c bounds 234 >= 107 @ 0.150864 0.09/0.17 c bounds 234 >= 108 @ 0.150864 0.09/0.17 c bounds 234 >= 109 @ 0.150864 0.09/0.17 c bounds 234 >= 110 @ 0.150864 0.09/0.17 c bounds 234 >= 111 @ 0.150864 0.09/0.17 c bounds 234 >= 112 @ 0.150864 0.09/0.17 c bounds 234 >= 113 @ 0.150864 0.09/0.17 c bounds 234 >= 114 @ 0.150912 0.09/0.17 c bounds 234 >= 115 @ 0.151064 0.09/0.17 c bounds 234 >= 116 @ 0.15123 0.09/0.17 c bounds 234 >= 117 @ 0.151385 0.09/0.17 c bounds 234 >= 118 @ 0.15154 0.09/0.17 c bounds 234 >= 119 @ 0.151704 0.09/0.17 c bounds 234 >= 120 @ 0.151858 0.09/0.17 c bounds 234 >= 121 @ 0.152008 0.09/0.17 c bounds 234 >= 122 @ 0.152165 0.09/0.17 c bounds 234 >= 123 @ 0.152314 0.09/0.17 c bounds 234 >= 124 @ 0.152472 0.09/0.17 c bounds 234 >= 125 @ 0.152616 0.09/0.17 c bounds 234 >= 126 @ 0.152759 0.09/0.17 c bounds 234 >= 127 @ 0.152857 0.09/0.17 c bounds 234 >= 128 @ 0.152857 0.09/0.17 c bounds 234 >= 129 @ 0.152857 0.09/0.17 c bounds 234 >= 130 @ 0.152857 0.09/0.17 c bounds 234 >= 131 @ 0.152857 0.09/0.17 c bounds 234 >= 132 @ 0.152857 0.09/0.17 c bounds 234 >= 133 @ 0.152857 0.39/0.46 c bounds 234 >= 134 @ 0.152857 0.39/0.46 c bounds 234 >= 135 @ 0.152857 0.39/0.46 c bounds 234 >= 136 @ 0.152857 0.39/0.46 c bounds 234 >= 137 @ 0.152857 0.39/0.46 c bounds 234 >= 138 @ 0.152857 0.39/0.46 c bounds 234 >= 139 @ 0.152857 0.39/0.46 c bounds 234 >= 140 @ 0.152857 0.39/0.46 c bounds 234 >= 141 @ 0.15289 0.39/0.46 c bounds 234 >= 142 @ 0.153149 0.39/0.46 c bounds 234 >= 143 @ 0.15338 0.39/0.46 c bounds 234 >= 144 @ 0.153659 0.39/0.46 c bounds 234 >= 145 @ 0.153852 0.39/0.46 c bounds 234 >= 146 @ 0.153852 0.39/0.46 c bounds 234 >= 147 @ 0.154785 0.39/0.46 c bounds 234 >= 148 @ 0.156282 0.39/0.46 c bounds 234 >= 149 @ 0.159243 0.39/0.46 c bounds 233 >= 149 @ 0.164749 0.39/0.46 c bounds 233 >= 150 @ 0.181248 0.39/0.46 c bounds 232 >= 150 @ 0.18286 0.39/0.46 c bounds 231 >= 150 @ 0.184049 0.39/0.46 c bounds 230 >= 150 @ 0.18655 0.39/0.46 c bounds 229 >= 150 @ 0.188472 0.39/0.46 c bounds 228 >= 150 @ 0.196867 0.39/0.46 c bounds 227 >= 150 @ 0.201326 0.39/0.46 c bounds 226 >= 150 @ 0.204868 0.39/0.46 c bounds 225 >= 150 @ 0.228946 0.39/0.46 c #Conflicts: 1000 | #Constraints: 2237 0.39/0.46 c bounds 225 >= 151 @ 0.308415 0.39/0.46 c bounds 224 >= 151 @ 0.312123 0.39/0.46 c bounds 223 >= 151 @ 0.315178 0.39/0.46 c bounds 222 >= 151 @ 0.323615 0.39/0.46 c bounds 221 >= 151 @ 0.330342 0.39/0.46 c bounds 220 >= 151 @ 0.336316 0.39/0.46 c #Conflicts: 2000 | #Constraints: 3296 0.39/0.46 c INPROCESSING 0.39/0.46 c GARBAGE COLLECT 0.39/0.46 c rational objective 151 0.99/1.05 c bounds 219 >= 151 @ 0.508371 0.99/1.05 c bounds 218 >= 151 @ 0.51037 0.99/1.05 c bounds 217 >= 151 @ 0.511723 0.99/1.05 c bounds 216 >= 151 @ 0.518943 0.99/1.05 c bounds 215 >= 151 @ 0.569778 0.99/1.05 c #Conflicts: 3000 | #Constraints: 3143 0.99/1.05 c bounds 215 >= 152 @ 0.763932 0.99/1.05 c bounds 214 >= 152 @ 0.770971 0.99/1.05 c bounds 213 >= 152 @ 0.856097 0.99/1.05 c bounds 212 >= 152 @ 0.865942 0.99/1.05 c bounds 211 >= 152 @ 0.885015 0.99/1.05 c #Conflicts: 4000 | #Constraints: 4183 0.99/1.05 c INPROCESSING 0.99/1.05 c GARBAGE COLLECT 0.99/1.05 c rational objective 152 1.78/1.87 c bounds 210 >= 152 @ 1.15627 1.78/1.87 c #Conflicts: 5000 | #Constraints: 3581 1.78/1.87 c #Conflicts: 6000 | #Constraints: 4581 1.78/1.87 c INPROCESSING 1.78/1.87 c GARBAGE COLLECT 1.78/1.87 c rational objective 152 2.58/2.62 c bounds 209 >= 152 @ 1.8759 2.58/2.62 c #Conflicts: 7000 | #Constraints: 3644 2.58/2.62 c #Conflicts: 8000 | #Constraints: 4644 2.58/2.62 c #Conflicts: 9000 | #Constraints: 5644 2.58/2.62 c INPROCESSING 2.58/2.62 c GARBAGE COLLECT 2.58/2.62 c rational objective 152 3.48/3.51 c #Conflicts: 10000 | #Constraints: 4319 3.48/3.51 c #Conflicts: 11000 | #Constraints: 5319 3.48/3.51 c #Conflicts: 12000 | #Constraints: 6319 3.48/3.51 c INPROCESSING 3.48/3.51 c GARBAGE COLLECT 3.48/3.51 c rational objective 152 6.97/7.01 c bounds 209 >= 153 @ 3.5198 6.97/7.01 c #Conflicts: 13000 | #Constraints: 4827 6.97/7.01 c #Conflicts: 14000 | #Constraints: 5827 6.97/7.01 c #Conflicts: 15000 | #Constraints: 6827 6.97/7.01 c INPROCESSING 6.97/7.01 c GARBAGE COLLECT 6.97/7.01 c #Conflicts: 16000 | #Constraints: 5108 6.97/7.01 c bounds 208 >= 153 @ 5.28283 6.97/7.01 c bounds 207 >= 153 @ 5.36046 6.97/7.01 c #Conflicts: 17000 | #Constraints: 6178 6.97/7.01 c #Conflicts: 18000 | #Constraints: 7626 6.97/7.01 c INPROCESSING 6.97/7.01 c GARBAGE COLLECT 6.97/7.01 c rational objective 153 9.76/9.87 c #Conflicts: 19000 | #Constraints: 5356 9.76/9.87 c #Conflicts: 20000 | #Constraints: 6356 9.76/9.87 c #Conflicts: 21000 | #Constraints: 7356 9.76/9.87 c INPROCESSING 9.76/9.87 c GARBAGE COLLECT 9.76/9.87 c rational objective 153 14.14/14.25 c #Conflicts: 22000 | #Constraints: 5083 14.14/14.25 c bounds 206 >= 153 @ 9.60365 14.14/14.25 c #Conflicts: 23000 | #Constraints: 6084 14.14/14.25 c #Conflicts: 24000 | #Constraints: 7084 14.14/14.25 c #Conflicts: 25000 | #Constraints: 8084 14.14/14.25 c INPROCESSING 14.14/14.25 c GARBAGE COLLECT 14.14/14.25 c #Conflicts: 26000 | #Constraints: 5575 14.14/14.25 c #Conflicts: 27000 | #Constraints: 6575 14.14/14.25 c bounds 205 >= 153 @ 12.3434 14.14/14.25 c #Conflicts: 28000 | #Constraints: 7809 14.14/14.25 c #Conflicts: 29000 | #Constraints: 8809 14.14/14.25 c INPROCESSING 14.14/14.25 c GARBAGE COLLECT 14.14/14.25 c rational objective 153 16.64/16.74 c #Conflicts: 30000 | #Constraints: 6099 16.64/16.74 c #Conflicts: 31000 | #Constraints: 7100 16.64/16.74 c bounds 205 >= 154 @ 15.0119 16.64/16.74 c #Conflicts: 32000 | #Constraints: 8142 16.64/16.74 c #Conflicts: 33000 | #Constraints: 9143 16.64/16.74 c INPROCESSING 16.64/16.74 c GARBAGE COLLECT 16.64/16.74 c rational objective 154 34.98/35.17 c #Conflicts: 34000 | #Constraints: 6232 34.98/35.17 c #Conflicts: 35000 | #Constraints: 7264 34.98/35.17 c #Conflicts: 36000 | #Constraints: 8264 34.98/35.17 c #Conflicts: 37000 | #Constraints: 9264 34.98/35.17 c #Conflicts: 38000 | #Constraints: 10264 34.98/35.17 c bounds 204 >= 154 @ 18.5277 34.98/35.17 c #Conflicts: 39000 | #Constraints: 11265 34.98/35.17 c #Conflicts: 40000 | #Constraints: 12265 34.98/35.17 c #Conflicts: 41000 | #Constraints: 13265 34.98/35.17 c #Conflicts: 42000 | #Constraints: 14265 34.98/35.17 c #Conflicts: 43000 | #Constraints: 15265 34.98/35.17 c #Conflicts: 44000 | #Constraints: 16265 34.98/35.17 c #Conflicts: 45000 | #Constraints: 17265 34.98/35.17 c #Conflicts: 46000 | #Constraints: 18265 34.98/35.17 c #Conflicts: 47000 | #Constraints: 19265 34.98/35.17 c #Conflicts: 48000 | #Constraints: 20265 34.98/35.17 c INPROCESSING 34.98/35.17 c GARBAGE COLLECT 34.98/35.17 c rational objective 154 38.36/38.52 c #Conflicts: 49000 | #Constraints: 11871 38.36/38.52 c #Conflicts: 50000 | #Constraints: 12871 38.36/38.52 c #Conflicts: 51000 | #Constraints: 13871 38.36/38.52 c #Conflicts: 52000 | #Constraints: 14871 38.36/38.52 c #Conflicts: 53000 | #Constraints: 15878 38.36/38.52 c INPROCESSING 38.36/38.52 c GARBAGE COLLECT 38.36/38.52 c rational objective 154 42.96/43.16 c #Conflicts: 54000 | #Constraints: 9510 42.96/43.16 c #Conflicts: 55000 | #Constraints: 10594 42.96/43.16 c #Conflicts: 56000 | #Constraints: 11655 42.96/43.16 c bounds 203 >= 154 @ 39.0378 42.96/43.16 c #Conflicts: 57000 | #Constraints: 12689 42.96/43.16 c #Conflicts: 58000 | #Constraints: 13796 42.96/43.16 c INPROCESSING 42.96/43.16 c GARBAGE COLLECT 42.96/43.16 c rational objective 154 49.13/49.36 c #Conflicts: 59000 | #Constraints: 8209 49.13/49.36 c #Conflicts: 60000 | #Constraints: 9280 49.13/49.36 c #Conflicts: 61000 | #Constraints: 10384 49.13/49.36 c #Conflicts: 62000 | #Constraints: 11533 49.13/49.36 c #Conflicts: 63000 | #Constraints: 12616 49.13/49.36 c #Conflicts: 64000 | #Constraints: 13693 49.13/49.36 c INPROCESSING 49.13/49.36 c GARBAGE COLLECT 49.13/49.36 c rational objective 154 83.41/83.74 c #Conflicts: 65000 | #Constraints: 8261 83.41/83.74 c #Conflicts: 66000 | #Constraints: 9262 83.41/83.74 c #Conflicts: 67000 | #Constraints: 10263 83.41/83.74 c #Conflicts: 68000 | #Constraints: 11263 83.41/83.74 c #Conflicts: 69000 | #Constraints: 12263 83.41/83.74 c #Conflicts: 70000 | #Constraints: 13263 83.41/83.74 c #Conflicts: 71000 | #Constraints: 14263 83.41/83.74 c #Conflicts: 72000 | #Constraints: 15263 83.41/83.74 c #Conflicts: 73000 | #Constraints: 16264 83.41/83.74 c #Conflicts: 74000 | #Constraints: 17264 83.41/83.74 c #Conflicts: 75000 | #Constraints: 18264 83.41/83.74 c #Conflicts: 76000 | #Constraints: 19264 83.41/83.74 c #Conflicts: 77000 | #Constraints: 20264 83.41/83.74 c #Conflicts: 78000 | #Constraints: 21264 83.41/83.74 c #Conflicts: 79000 | #Constraints: 22264 83.41/83.74 c bounds 203 >= 155 @ 67.8731 83.41/83.74 c bounds 202 >= 155 @ 67.9611 83.41/83.74 c #Conflicts: 80000 | #Constraints: 23310 83.41/83.74 c #Conflicts: 81000 | #Constraints: 24310 83.41/83.74 c #Conflicts: 82000 | #Constraints: 25311 83.41/83.74 c #Conflicts: 83000 | #Constraints: 26463 83.41/83.74 c #Conflicts: 84000 | #Constraints: 27720 83.41/83.74 c INPROCESSING 83.41/83.74 c GARBAGE COLLECT 83.41/83.74 c #Conflicts: 85000 | #Constraints: 15198 83.41/83.74 c #Conflicts: 86000 | #Constraints: 16198 83.41/83.74 c #Conflicts: 87000 | #Constraints: 17261 83.41/83.74 c #Conflicts: 88000 | #Constraints: 18356 83.41/83.74 c #Conflicts: 89000 | #Constraints: 19433 83.41/83.74 c #Conflicts: 90000 | #Constraints: 20436 83.41/83.74 c #Conflicts: 91000 | #Constraints: 21437 83.41/83.74 c INPROCESSING 83.41/83.74 c GARBAGE COLLECT 83.41/83.74 c rational objective 155 90.20/90.53 c #Conflicts: 92000 | #Constraints: 12005 90.20/90.53 c #Conflicts: 93000 | #Constraints: 13007 90.20/90.53 c #Conflicts: 94000 | #Constraints: 14059 90.20/90.53 c #Conflicts: 95000 | #Constraints: 15069 90.20/90.53 c #Conflicts: 96000 | #Constraints: 16081 90.20/90.53 c #Conflicts: 97000 | #Constraints: 17084 90.20/90.53 c #Conflicts: 98000 | #Constraints: 18088 90.20/90.53 c #Conflicts: 99000 | #Constraints: 19181 90.20/90.53 c INPROCESSING 90.20/90.53 c GARBAGE COLLECT 90.20/90.53 c rational objective 155 97.67/98.08 c #Conflicts: 100000 | #Constraints: 11276 97.67/98.08 c #Conflicts: 101000 | #Constraints: 12276 97.67/98.08 c #Conflicts: 102000 | #Constraints: 13276 97.67/98.08 c #Conflicts: 103000 | #Constraints: 14276 97.67/98.08 c #Conflicts: 104000 | #Constraints: 15276 97.67/98.08 c #Conflicts: 105000 | #Constraints: 16276 97.67/98.08 c #Conflicts: 106000 | #Constraints: 17276 97.67/98.08 c INPROCESSING 97.67/98.08 c GARBAGE COLLECT 97.67/98.08 c rational objective 155 143.80/144.36 c bounds 201 >= 155 @ 95.8333 143.80/144.36 c #Conflicts: 107000 | #Constraints: 10201 143.80/144.36 c #Conflicts: 108000 | #Constraints: 11201 143.80/144.36 c #Conflicts: 109000 | #Constraints: 12201 143.80/144.36 c #Conflicts: 110000 | #Constraints: 13201 143.80/144.36 c #Conflicts: 111000 | #Constraints: 14201 143.80/144.36 c #Conflicts: 112000 | #Constraints: 15201 143.80/144.36 c #Conflicts: 113000 | #Constraints: 16201 143.80/144.36 c #Conflicts: 114000 | #Constraints: 17201 143.80/144.36 c #Conflicts: 115000 | #Constraints: 18201 143.80/144.36 c #Conflicts: 116000 | #Constraints: 19201 143.80/144.36 c #Conflicts: 117000 | #Constraints: 20201 143.80/144.36 c #Conflicts: 118000 | #Constraints: 21201 143.80/144.36 c #Conflicts: 119000 | #Constraints: 22201 143.80/144.36 c #Conflicts: 120000 | #Constraints: 23212 143.80/144.36 c #Conflicts: 121000 | #Constraints: 24372 143.80/144.36 c #Conflicts: 122000 | #Constraints: 25418 143.80/144.36 c #Conflicts: 123000 | #Constraints: 26418 143.80/144.36 c #Conflicts: 124000 | #Constraints: 27418 143.80/144.36 c #Conflicts: 125000 | #Constraints: 28418 143.80/144.36 c #Conflicts: 126000 | #Constraints: 29418 143.80/144.36 c #Conflicts: 127000 | #Constraints: 30418 143.80/144.36 c #Conflicts: 128000 | #Constraints: 31418 143.80/144.36 c #Conflicts: 129000 | #Constraints: 32418 143.80/144.36 c #Conflicts: 130000 | #Constraints: 33418 143.80/144.36 c #Conflicts: 131000 | #Constraints: 34418 143.80/144.36 c #Conflicts: 132000 | #Constraints: 35418 143.80/144.36 c INPROCESSING 143.80/144.36 c GARBAGE COLLECT 143.80/144.36 c rational objective 155 179.29/179.94 c #Conflicts: 133000 | #Constraints: 19405 179.29/179.94 c #Conflicts: 134000 | #Constraints: 20406 179.29/179.94 c #Conflicts: 135000 | #Constraints: 21406 179.29/179.94 c #Conflicts: 136000 | #Constraints: 22406 179.29/179.94 c #Conflicts: 137000 | #Constraints: 23406 179.29/179.94 c #Conflicts: 138000 | #Constraints: 24406 179.29/179.94 c #Conflicts: 139000 | #Constraints: 25406 179.29/179.94 c #Conflicts: 140000 | #Constraints: 26406 179.29/179.94 c INPROCESSING 179.29/179.94 c GARBAGE COLLECT 179.29/179.94 c rational objective 155 192.05/192.73 c #Conflicts: 141000 | #Constraints: 14621 192.05/192.73 c #Conflicts: 142000 | #Constraints: 15621 192.05/192.73 c #Conflicts: 143000 | #Constraints: 16621 192.05/192.73 c #Conflicts: 144000 | #Constraints: 17621 192.05/192.73 c #Conflicts: 145000 | #Constraints: 18622 192.05/192.73 c #Conflicts: 146000 | #Constraints: 19622 192.05/192.73 c #Conflicts: 147000 | #Constraints: 20622 192.05/192.73 c #Conflicts: 148000 | #Constraints: 21622 192.05/192.73 c #Conflicts: 149000 | #Constraints: 22622 192.05/192.73 c INPROCESSING 192.05/192.73 c GARBAGE COLLECT 192.05/192.73 c rational objective 155 263.72/264.64 c #Conflicts: 150000 | #Constraints: 12778 263.72/264.64 c #Conflicts: 151000 | #Constraints: 13778 263.72/264.64 c #Conflicts: 152000 | #Constraints: 14780 263.72/264.64 c #Conflicts: 153000 | #Constraints: 15780 263.72/264.64 c #Conflicts: 154000 | #Constraints: 16780 263.72/264.64 c #Conflicts: 155000 | #Constraints: 17780 263.72/264.64 c #Conflicts: 156000 | #Constraints: 18780 263.72/264.64 c #Conflicts: 157000 | #Constraints: 19780 263.72/264.64 c #Conflicts: 158000 | #Constraints: 20780 263.72/264.64 c #Conflicts: 159000 | #Constraints: 21780 263.72/264.64 c #Conflicts: 160000 | #Constraints: 22785 263.72/264.64 c #Conflicts: 161000 | #Constraints: 23785 263.72/264.64 c #Conflicts: 162000 | #Constraints: 24785 263.72/264.64 c #Conflicts: 163000 | #Constraints: 25785 263.72/264.64 c #Conflicts: 164000 | #Constraints: 26785 263.72/264.64 c #Conflicts: 165000 | #Constraints: 27785 263.72/264.64 c #Conflicts: 166000 | #Constraints: 28785 263.72/264.64 c #Conflicts: 167000 | #Constraints: 29786 263.72/264.64 c #Conflicts: 168000 | #Constraints: 30787 263.72/264.64 c #Conflicts: 169000 | #Constraints: 31787 263.72/264.64 c #Conflicts: 170000 | #Constraints: 32787 263.72/264.64 c #Conflicts: 171000 | #Constraints: 33787 263.72/264.64 c #Conflicts: 172000 | #Constraints: 34787 263.72/264.64 c #Conflicts: 173000 | #Constraints: 35787 263.72/264.64 c #Conflicts: 174000 | #Constraints: 36787 263.72/264.64 c #Conflicts: 175000 | #Constraints: 37787 263.72/264.64 c #Conflicts: 176000 | #Constraints: 38787 263.72/264.64 c #Conflicts: 177000 | #Constraints: 39787 263.72/264.64 c #Conflicts: 178000 | #Constraints: 40787 263.72/264.64 c #Conflicts: 179000 | #Constraints: 41787 263.72/264.64 c INPROCESSING 263.72/264.64 c GARBAGE COLLECT 263.72/264.64 c rational objective 155 275.58/276.57 c #Conflicts: 180000 | #Constraints: 22469 275.58/276.57 c #Conflicts: 181000 | #Constraints: 23469 275.58/276.57 c bounds 200 >= 155 @ 261.88 275.58/276.57 c #Conflicts: 182000 | #Constraints: 24470 275.58/276.57 c #Conflicts: 183000 | #Constraints: 25470 275.58/276.57 c #Conflicts: 184000 | #Constraints: 26472 275.58/276.57 c #Conflicts: 185000 | #Constraints: 27472 275.58/276.57 c #Conflicts: 186000 | #Constraints: 28472 275.58/276.57 c #Conflicts: 187000 | #Constraints: 29472 275.58/276.57 c #Conflicts: 188000 | #Constraints: 30472 275.58/276.57 c #Conflicts: 189000 | #Constraints: 31472 275.58/276.57 c INPROCESSING 275.58/276.57 c GARBAGE COLLECT 275.58/276.57 c rational objective 155 289.24/290.23 c #Conflicts: 190000 | #Constraints: 17126 289.24/290.23 c #Conflicts: 191000 | #Constraints: 18137 289.24/290.23 c #Conflicts: 192000 | #Constraints: 19157 289.24/290.23 c #Conflicts: 193000 | #Constraints: 20233 289.24/290.23 c #Conflicts: 194000 | #Constraints: 21233 289.24/290.23 c #Conflicts: 195000 | #Constraints: 22233 289.24/290.23 c #Conflicts: 196000 | #Constraints: 23233 289.24/290.23 c bounds 199 >= 155 @ 279.67 289.24/290.23 c #Conflicts: 197000 | #Constraints: 24235 289.24/290.23 c #Conflicts: 198000 | #Constraints: 25428 289.24/290.23 c #Conflicts: 199000 | #Constraints: 26428 289.24/290.23 c #Conflicts: 200000 | #Constraints: 27429 289.24/290.23 c INPROCESSING 289.24/290.23 c GARBAGE COLLECT 289.24/290.23 c rational objective 155 361.42/362.64 c #Conflicts: 201000 | #Constraints: 15450 361.42/362.64 c #Conflicts: 202000 | #Constraints: 16496 361.42/362.64 c #Conflicts: 203000 | #Constraints: 17565 361.42/362.64 c #Conflicts: 204000 | #Constraints: 18609 361.42/362.64 c #Conflicts: 205000 | #Constraints: 19707 361.42/362.64 c #Conflicts: 206000 | #Constraints: 20825 361.42/362.64 c #Conflicts: 207000 | #Constraints: 21963 361.42/362.64 c #Conflicts: 208000 | #Constraints: 23059 361.42/362.64 c #Conflicts: 209000 | #Constraints: 24195 361.42/362.64 c #Conflicts: 210000 | #Constraints: 25215 361.42/362.64 c #Conflicts: 211000 | #Constraints: 26215 361.42/362.64 c #Conflicts: 212000 | #Constraints: 27216 361.42/362.64 c #Conflicts: 213000 | #Constraints: 28245 361.42/362.64 c #Conflicts: 214000 | #Constraints: 29266 361.42/362.64 c #Conflicts: 215000 | #Constraints: 30440 361.42/362.64 c #Conflicts: 216000 | #Constraints: 31576 361.42/362.64 c #Conflicts: 217000 | #Constraints: 32630 361.42/362.64 c #Conflicts: 218000 | #Constraints: 33710 361.42/362.64 c #Conflicts: 219000 | #Constraints: 34792 361.42/362.64 c #Conflicts: 220000 | #Constraints: 35819 361.42/362.64 c #Conflicts: 221000 | #Constraints: 36862 361.42/362.64 c #Conflicts: 222000 | #Constraints: 37886 361.42/362.64 c #Conflicts: 223000 | #Constraints: 38986 361.42/362.64 c #Conflicts: 224000 | #Constraints: 40016 361.42/362.64 c #Conflicts: 225000 | #Constraints: 41028 361.42/362.64 c #Conflicts: 226000 | #Constraints: 42259 361.42/362.64 c #Conflicts: 227000 | #Constraints: 43413 361.42/362.64 c #Conflicts: 228000 | #Constraints: 44427 361.42/362.64 c #Conflicts: 229000 | #Constraints: 45521 361.42/362.64 c #Conflicts: 230000 | #Constraints: 46595 361.42/362.64 c #Conflicts: 231000 | #Constraints: 47655 361.42/362.64 c #Conflicts: 232000 | #Constraints: 48732 361.42/362.64 c #Conflicts: 233000 | #Constraints: 49791 361.42/362.64 c #Conflicts: 234000 | #Constraints: 50869 361.42/362.64 c INPROCESSING 361.42/362.64 c GARBAGE COLLECT 361.42/362.64 c rational objective 155 431.20/432.63 c #Conflicts: 235000 | #Constraints: 27120 431.20/432.63 c #Conflicts: 236000 | #Constraints: 28120 431.20/432.63 c #Conflicts: 237000 | #Constraints: 29120 431.20/432.63 c #Conflicts: 238000 | #Constraints: 30120 431.20/432.63 c #Conflicts: 239000 | #Constraints: 31120 431.20/432.63 c #Conflicts: 240000 | #Constraints: 32120 431.20/432.63 c #Conflicts: 241000 | #Constraints: 33120 431.20/432.63 c #Conflicts: 242000 | #Constraints: 34121 431.20/432.63 c #Conflicts: 243000 | #Constraints: 35121 431.20/432.63 c #Conflicts: 244000 | #Constraints: 36121 431.20/432.63 c #Conflicts: 245000 | #Constraints: 37121 431.20/432.63 c INPROCESSING 431.20/432.63 c GARBAGE COLLECT 431.20/432.63 c rational objective 155 462.21/463.71 c #Conflicts: 246000 | #Constraints: 19978 462.21/463.71 c #Conflicts: 247000 | #Constraints: 20978 462.21/463.71 c #Conflicts: 248000 | #Constraints: 21978 462.21/463.71 c #Conflicts: 249000 | #Constraints: 22978 462.21/463.71 c #Conflicts: 250000 | #Constraints: 23978 462.21/463.71 c #Conflicts: 251000 | #Constraints: 24978 462.21/463.71 c #Conflicts: 252000 | #Constraints: 25978 462.21/463.71 c #Conflicts: 253000 | #Constraints: 26978 462.21/463.71 c #Conflicts: 254000 | #Constraints: 27978 462.21/463.71 c #Conflicts: 255000 | #Constraints: 28978 462.21/463.71 c #Conflicts: 256000 | #Constraints: 29978 462.21/463.71 c #Conflicts: 257000 | #Constraints: 30978 462.21/463.71 c INPROCESSING 462.21/463.71 c GARBAGE COLLECT 462.21/463.71 c rational objective 155 580.80/582.72 c #Conflicts: 258000 | #Constraints: 17397 580.80/582.72 c #Conflicts: 259000 | #Constraints: 18401 580.80/582.72 c #Conflicts: 260000 | #Constraints: 19407 580.80/582.72 c #Conflicts: 261000 | #Constraints: 20421 580.80/582.72 c #Conflicts: 262000 | #Constraints: 21467 580.80/582.72 c #Conflicts: 263000 | #Constraints: 22468 580.80/582.72 c #Conflicts: 264000 | #Constraints: 23468 580.80/582.72 c #Conflicts: 265000 | #Constraints: 24512 580.80/582.72 c #Conflicts: 266000 | #Constraints: 25525 580.80/582.72 c #Conflicts: 267000 | #Constraints: 26548 580.80/582.72 c #Conflicts: 268000 | #Constraints: 27589 580.80/582.72 c #Conflicts: 269000 | #Constraints: 28817 580.80/582.72 c #Conflicts: 270000 | #Constraints: 29930 580.80/582.72 c #Conflicts: 271000 | #Constraints: 31131 580.80/582.72 c #Conflicts: 272000 | #Constraints: 32188 580.80/582.72 c #Conflicts: 273000 | #Constraints: 33280 580.80/582.72 c #Conflicts: 274000 | #Constraints: 34401 580.80/582.72 c #Conflicts: 275000 | #Constraints: 35498 580.80/582.72 c #Conflicts: 276000 | #Constraints: 36538 580.80/582.72 c #Conflicts: 277000 | #Constraints: 37573 580.80/582.72 c #Conflicts: 278000 | #Constraints: 38641 580.80/582.72 c #Conflicts: 279000 | #Constraints: 39695 580.80/582.72 c #Conflicts: 280000 | #Constraints: 40764 580.80/582.72 c #Conflicts: 281000 | #Constraints: 41828 580.80/582.72 c #Conflicts: 282000 | #Constraints: 42942 580.80/582.72 c #Conflicts: 283000 | #Constraints: 43974 580.80/582.72 c #Conflicts: 284000 | #Constraints: 45078 580.80/582.72 c #Conflicts: 285000 | #Constraints: 46140 580.80/582.72 c #Conflicts: 286000 | #Constraints: 47173 580.80/582.72 c #Conflicts: 287000 | #Constraints: 48222 580.80/582.72 c #Conflicts: 288000 | #Constraints: 49284 580.80/582.72 c #Conflicts: 289000 | #Constraints: 50314 580.80/582.72 c #Conflicts: 290000 | #Constraints: 51400 580.80/582.72 c #Conflicts: 291000 | #Constraints: 52400 580.80/582.72 c #Conflicts: 292000 | #Constraints: 53401 580.80/582.72 c #Conflicts: 293000 | #Constraints: 54402 580.80/582.72 c #Conflicts: 294000 | #Constraints: 55463 580.80/582.72 c #Conflicts: 295000 | #Constraints: 56481 580.80/582.72 c INPROCESSING 580.80/582.72 c GARBAGE COLLECT 580.80/582.72 c rational objective 155 668.72/670.94 c #Conflicts: 296000 | #Constraints: 29551 668.72/670.94 c #Conflicts: 297000 | #Constraints: 30551 668.72/670.94 c #Conflicts: 298000 | #Constraints: 31551 668.72/670.94 c #Conflicts: 299000 | #Constraints: 32551 668.72/670.94 c #Conflicts: 300000 | #Constraints: 33551 668.72/670.94 c #Conflicts: 301000 | #Constraints: 34551 668.72/670.94 c #Conflicts: 302000 | #Constraints: 35551 668.72/670.94 c #Conflicts: 303000 | #Constraints: 36551 668.72/670.94 c #Conflicts: 304000 | #Constraints: 37551 668.72/670.94 c #Conflicts: 305000 | #Constraints: 38551 668.72/670.94 c #Conflicts: 306000 | #Constraints: 39551 668.72/670.94 c #Conflicts: 307000 | #Constraints: 40551 668.72/670.94 c #Conflicts: 308000 | #Constraints: 41551 668.72/670.94 c #Conflicts: 309000 | #Constraints: 42551 668.72/670.94 c INPROCESSING 668.72/670.94 c GARBAGE COLLECT 668.72/670.94 c rational objective 155 708.61/711.00 c #Conflicts: 310000 | #Constraints: 23053 708.61/711.00 c #Conflicts: 311000 | #Constraints: 24053 708.61/711.00 c #Conflicts: 312000 | #Constraints: 25053 708.61/711.00 c #Conflicts: 313000 | #Constraints: 26054 708.61/711.00 c #Conflicts: 314000 | #Constraints: 27058 708.61/711.00 c #Conflicts: 315000 | #Constraints: 28058 708.61/711.00 c #Conflicts: 316000 | #Constraints: 29060 708.61/711.00 c #Conflicts: 317000 | #Constraints: 30065 708.61/711.00 c #Conflicts: 318000 | #Constraints: 31065 708.61/711.00 c #Conflicts: 319000 | #Constraints: 32065 708.61/711.00 c #Conflicts: 320000 | #Constraints: 33065 708.61/711.00 c #Conflicts: 321000 | #Constraints: 34065 708.61/711.00 c #Conflicts: 322000 | #Constraints: 35065 708.61/711.00 c INPROCESSING 708.61/711.00 c GARBAGE COLLECT 708.61/711.00 c rational objective 155 892.72/895.61 c #Conflicts: 323000 | #Constraints: 20044 892.72/895.61 c #Conflicts: 324000 | #Constraints: 21044 892.72/895.61 c #Conflicts: 325000 | #Constraints: 22047 892.72/895.61 c #Conflicts: 326000 | #Constraints: 23417 892.72/895.61 c #Conflicts: 327000 | #Constraints: 24944 892.72/895.61 c #Conflicts: 328000 | #Constraints: 26061 892.72/895.61 c #Conflicts: 329000 | #Constraints: 27206 892.72/895.61 c #Conflicts: 330000 | #Constraints: 28206 892.72/895.61 c #Conflicts: 331000 | #Constraints: 29206 892.72/895.61 c #Conflicts: 332000 | #Constraints: 30206 892.72/895.61 c #Conflicts: 333000 | #Constraints: 31208 892.72/895.61 c #Conflicts: 334000 | #Constraints: 32432 892.72/895.61 c #Conflicts: 335000 | #Constraints: 33470 892.72/895.61 c #Conflicts: 336000 | #Constraints: 34487 892.72/895.61 c #Conflicts: 337000 | #Constraints: 35494 892.72/895.61 c #Conflicts: 338000 | #Constraints: 36512 892.72/895.61 c #Conflicts: 339000 | #Constraints: 37563 892.72/895.61 c #Conflicts: 340000 | #Constraints: 38601 892.72/895.61 c #Conflicts: 341000 | #Constraints: 39601 892.72/895.61 c #Conflicts: 342000 | #Constraints: 40665 892.72/895.61 c #Conflicts: 343000 | #Constraints: 41716 892.72/895.61 c #Conflicts: 344000 | #Constraints: 42745 892.72/895.61 c #Conflicts: 345000 | #Constraints: 43830 892.72/895.61 c #Conflicts: 346000 | #Constraints: 44873 892.72/895.61 c #Conflicts: 347000 | #Constraints: 45900 892.72/895.61 c #Conflicts: 348000 | #Constraints: 46941 892.72/895.61 c #Conflicts: 349000 | #Constraints: 48224 892.72/895.61 c #Conflicts: 350000 | #Constraints: 49271 892.72/895.61 c #Conflicts: 351000 | #Constraints: 50292 892.72/895.61 c #Conflicts: 352000 | #Constraints: 51434 892.72/895.61 c #Conflicts: 353000 | #Constraints: 52461 892.72/895.61 c #Conflicts: 354000 | #Constraints: 53535 892.72/895.61 c #Conflicts: 355000 | #Constraints: 54606 892.72/895.61 c #Conflicts: 356000 | #Constraints: 55625 892.72/895.61 c #Conflicts: 357000 | #Constraints: 56765 892.72/895.61 c #Conflicts: 358000 | #Constraints: 57836 892.72/895.61 c #Conflicts: 359000 | #Constraints: 58958 892.72/895.61 c #Conflicts: 360000 | #Constraints: 59993 892.72/895.61 c #Conflicts: 361000 | #Constraints: 61081 892.72/895.61 c #Conflicts: 362000 | #Constraints: 62130 892.72/895.61 c #Conflicts: 363000 | #Constraints: 63201 892.72/895.61 c #Conflicts: 364000 | #Constraints: 64227 892.72/895.61 c INPROCESSING 892.72/895.61 c GARBAGE COLLECT 892.72/895.61 c rational objective 155 1007.34/1010.68 c #Conflicts: 365000 | #Constraints: 33404 1007.34/1010.68 c #Conflicts: 366000 | #Constraints: 34405 1007.34/1010.68 c #Conflicts: 367000 | #Constraints: 35405 1007.34/1010.68 c #Conflicts: 368000 | #Constraints: 36405 1007.34/1010.68 c #Conflicts: 369000 | #Constraints: 37407 1007.34/1010.68 c #Conflicts: 370000 | #Constraints: 38408 1007.34/1010.68 c #Conflicts: 371000 | #Constraints: 39408 1007.34/1010.68 c #Conflicts: 372000 | #Constraints: 40408 1007.34/1010.68 c #Conflicts: 373000 | #Constraints: 41408 1007.34/1010.68 c #Conflicts: 374000 | #Constraints: 42408 1007.34/1010.68 c #Conflicts: 375000 | #Constraints: 43408 1007.34/1010.68 c #Conflicts: 376000 | #Constraints: 44408 1007.34/1010.68 c #Conflicts: 377000 | #Constraints: 45408 1007.34/1010.68 c #Conflicts: 378000 | #Constraints: 46408 1007.34/1010.68 c #Conflicts: 379000 | #Constraints: 47408 1007.34/1010.68 c INPROCESSING 1007.34/1010.68 c GARBAGE COLLECT 1007.34/1010.68 c rational objective 155 1063.07/1066.56 c #Conflicts: 380000 | #Constraints: 25231 1063.07/1066.56 c #Conflicts: 381000 | #Constraints: 26231 1063.07/1066.56 c #Conflicts: 382000 | #Constraints: 27231 1063.07/1066.56 c #Conflicts: 383000 | #Constraints: 28233 1063.07/1066.56 c #Conflicts: 384000 | #Constraints: 29236 1063.07/1066.56 c #Conflicts: 385000 | #Constraints: 30237 1063.07/1066.56 c #Conflicts: 386000 | #Constraints: 31237 1063.07/1066.56 c #Conflicts: 387000 | #Constraints: 32238 1063.07/1066.56 c #Conflicts: 388000 | #Constraints: 33238 1063.07/1066.56 c #Conflicts: 389000 | #Constraints: 34239 1063.07/1066.56 c #Conflicts: 390000 | #Constraints: 35240 1063.07/1066.56 c #Conflicts: 391000 | #Constraints: 36242 1063.07/1066.56 c #Conflicts: 392000 | #Constraints: 37243 1063.07/1066.56 c #Conflicts: 393000 | #Constraints: 38243 1063.07/1066.56 c #Conflicts: 394000 | #Constraints: 39245 1063.07/1066.56 c INPROCESSING 1063.07/1066.56 c GARBAGE COLLECT 1063.07/1066.56 c rational objective 155 1308.58/1312.87 c #Conflicts: 395000 | #Constraints: 23272 1308.58/1312.87 c #Conflicts: 396000 | #Constraints: 24274 1308.58/1312.87 c #Conflicts: 397000 | #Constraints: 25276 1308.58/1312.87 c #Conflicts: 398000 | #Constraints: 26277 1308.58/1312.87 c #Conflicts: 399000 | #Constraints: 27279 1308.58/1312.87 c #Conflicts: 400000 | #Constraints: 28279 1308.58/1312.87 c #Conflicts: 401000 | #Constraints: 29280 1308.58/1312.87 c #Conflicts: 402000 | #Constraints: 30280 1308.58/1312.87 c #Conflicts: 403000 | #Constraints: 31281 1308.58/1312.87 c #Conflicts: 404000 | #Constraints: 32281 1308.58/1312.87 c #Conflicts: 405000 | #Constraints: 33281 1308.58/1312.87 c #Conflicts: 406000 | #Constraints: 34283 1308.58/1312.87 c #Conflicts: 407000 | #Constraints: 35285 1308.58/1312.87 c #Conflicts: 408000 | #Constraints: 36288 1308.58/1312.87 c #Conflicts: 409000 | #Constraints: 37290 1308.58/1312.87 c #Conflicts: 410000 | #Constraints: 38293 1308.58/1312.87 c #Conflicts: 411000 | #Constraints: 39294 1308.58/1312.87 c #Conflicts: 412000 | #Constraints: 40298 1308.58/1312.87 c #Conflicts: 413000 | #Constraints: 41301 1308.58/1312.87 c #Conflicts: 414000 | #Constraints: 42302 1308.58/1312.87 c #Conflicts: 415000 | #Constraints: 43304 1308.58/1312.87 c #Conflicts: 416000 | #Constraints: 44306 1308.58/1312.87 c #Conflicts: 417000 | #Constraints: 45307 1308.58/1312.87 c #Conflicts: 418000 | #Constraints: 46308 1308.58/1312.87 c #Conflicts: 419000 | #Constraints: 47310 1308.58/1312.87 c #Conflicts: 420000 | #Constraints: 48311 1308.58/1312.87 c #Conflicts: 421000 | #Constraints: 49313 1308.58/1312.87 c #Conflicts: 422000 | #Constraints: 50315 1308.58/1312.87 c #Conflicts: 423000 | #Constraints: 51315 1308.58/1312.87 c #Conflicts: 424000 | #Constraints: 52316 1308.58/1312.87 c #Conflicts: 425000 | #Constraints: 53317 1308.58/1312.87 c #Conflicts: 426000 | #Constraints: 54319 1308.58/1312.87 c #Conflicts: 427000 | #Constraints: 55320 1308.58/1312.87 c #Conflicts: 428000 | #Constraints: 56322 1308.58/1312.87 c #Conflicts: 429000 | #Constraints: 57324 1308.58/1312.87 c #Conflicts: 430000 | #Constraints: 58325 1308.58/1312.87 c #Conflicts: 431000 | #Constraints: 59326 1308.58/1312.87 c #Conflicts: 432000 | #Constraints: 60328 1308.58/1312.87 c #Conflicts: 433000 | #Constraints: 61329 1308.58/1312.87 c #Conflicts: 434000 | #Constraints: 62330 1308.58/1312.87 c #Conflicts: 435000 | #Constraints: 63331 1308.58/1312.87 c #Conflicts: 436000 | #Constraints: 64334 1308.58/1312.87 c bounds 199 >= 156 @ 1291.5 1308.58/1312.87 c #Conflicts: 437000 | #Constraints: 65400 1308.58/1312.87 c #Conflicts: 438000 | #Constraints: 66400 1308.58/1312.87 c #Conflicts: 439000 | #Constraints: 67400 1308.58/1312.87 c #Conflicts: 440000 | #Constraints: 68400 1308.58/1312.87 c #Conflicts: 441000 | #Constraints: 69404 1308.58/1312.87 c INPROCESSING 1308.58/1312.87 c GARBAGE COLLECT 1308.58/1312.87 c rational objective 156 1351.83/1356.22 c #Conflicts: 442000 | #Constraints: 36429 1351.83/1356.22 c #Conflicts: 443000 | #Constraints: 37434 1351.83/1356.22 c #Conflicts: 444000 | #Constraints: 38490 1351.83/1356.22 c #Conflicts: 445000 | #Constraints: 39525 1351.83/1356.22 c #Conflicts: 446000 | #Constraints: 40574 1351.83/1356.22 c #Conflicts: 447000 | #Constraints: 41574 1351.83/1356.22 c #Conflicts: 448000 | #Constraints: 42575 1351.83/1356.22 c #Conflicts: 449000 | #Constraints: 43584 1351.83/1356.22 c #Conflicts: 450000 | #Constraints: 44586 1351.83/1356.22 c #Conflicts: 451000 | #Constraints: 45596 1351.83/1356.22 c #Conflicts: 452000 | #Constraints: 46638 1351.83/1356.22 c #Conflicts: 453000 | #Constraints: 47677 1351.83/1356.22 c #Conflicts: 454000 | #Constraints: 48713 1351.83/1356.22 c #Conflicts: 455000 | #Constraints: 49739 1351.83/1356.22 c #Conflicts: 456000 | #Constraints: 50770 1351.83/1356.22 c #Conflicts: 457000 | #Constraints: 51779 1351.83/1356.22 c INPROCESSING 1351.83/1356.22 c GARBAGE COLLECT 1351.83/1356.22 c rational objective 156 1402.27/1406.85 c #Conflicts: 458000 | #Constraints: 27519 1402.27/1406.85 c #Conflicts: 459000 | #Constraints: 28519 1402.27/1406.85 c #Conflicts: 460000 | #Constraints: 29568 1402.27/1406.85 c #Conflicts: 461000 | #Constraints: 30568 1402.27/1406.85 c #Conflicts: 462000 | #Constraints: 31583 1402.27/1406.85 c #Conflicts: 463000 | #Constraints: 32587 1402.27/1406.85 c #Conflicts: 464000 | #Constraints: 33587 1402.27/1406.85 c #Conflicts: 465000 | #Constraints: 34587 1402.27/1406.85 c #Conflicts: 466000 | #Constraints: 35587 1402.27/1406.85 c #Conflicts: 467000 | #Constraints: 36587 1402.27/1406.85 c #Conflicts: 468000 | #Constraints: 37587 1402.27/1406.85 c #Conflicts: 469000 | #Constraints: 38587 1402.27/1406.85 c #Conflicts: 470000 | #Constraints: 39587 1402.27/1406.85 c #Conflicts: 471000 | #Constraints: 40587 1402.27/1406.85 c #Conflicts: 472000 | #Constraints: 41588 1402.27/1406.85 c #Conflicts: 473000 | #Constraints: 42588 1402.27/1406.85 c INPROCESSING 1402.27/1406.85 c GARBAGE COLLECT 1402.27/1406.85 c rational objective 156 1671.88/1677.34 c #Conflicts: 474000 | #Constraints: 25741 1671.88/1677.34 c #Conflicts: 475000 | #Constraints: 26741 1671.88/1677.34 c #Conflicts: 476000 | #Constraints: 27741 1671.88/1677.34 c #Conflicts: 477000 | #Constraints: 28741 1671.88/1677.34 c #Conflicts: 478000 | #Constraints: 29741 1671.88/1677.34 c #Conflicts: 479000 | #Constraints: 30741 1671.88/1677.34 c #Conflicts: 480000 | #Constraints: 31741 1671.88/1677.34 c #Conflicts: 481000 | #Constraints: 32741 1671.88/1677.34 c #Conflicts: 482000 | #Constraints: 33741 1671.88/1677.34 c #Conflicts: 483000 | #Constraints: 34741 1671.88/1677.34 c #Conflicts: 484000 | #Constraints: 35741 1671.88/1677.34 c #Conflicts: 485000 | #Constraints: 36741 1671.88/1677.34 c #Conflicts: 486000 | #Constraints: 37741 1671.88/1677.34 c #Conflicts: 487000 | #Constraints: 38741 1671.88/1677.34 c #Conflicts: 488000 | #Constraints: 39741 1671.88/1677.34 c #Conflicts: 489000 | #Constraints: 40741 1671.88/1677.34 c #Conflicts: 490000 | #Constraints: 41741 1671.88/1677.34 c #Conflicts: 491000 | #Constraints: 42741 1671.88/1677.34 c #Conflicts: 492000 | #Constraints: 43741 1671.88/1677.34 c #Conflicts: 493000 | #Constraints: 44741 1671.88/1677.34 c #Conflicts: 494000 | #Constraints: 45741 1671.88/1677.34 c #Conflicts: 495000 | #Constraints: 46741 1671.88/1677.34 c #Conflicts: 496000 | #Constraints: 47741 1671.88/1677.34 c #Conflicts: 497000 | #Constraints: 48741 1671.88/1677.34 c #Conflicts: 498000 | #Constraints: 49741 1671.88/1677.34 c #Conflicts: 499000 | #Constraints: 50741 1671.88/1677.34 c #Conflicts: 500000 | #Constraints: 51741 1671.88/1677.34 c #Conflicts: 501000 | #Constraints: 52741 1671.88/1677.34 c #Conflicts: 502000 | #Constraints: 53741 1671.88/1677.34 c #Conflicts: 503000 | #Constraints: 54741 1671.88/1677.34 c #Conflicts: 504000 | #Constraints: 55741 1671.88/1677.34 c #Conflicts: 505000 | #Constraints: 56741 1671.88/1677.34 c #Conflicts: 506000 | #Constraints: 57741 1671.88/1677.34 c #Conflicts: 507000 | #Constraints: 58741 1671.88/1677.34 c #Conflicts: 508000 | #Constraints: 59741 1671.88/1677.34 c #Conflicts: 509000 | #Constraints: 60741 1671.88/1677.34 c #Conflicts: 510000 | #Constraints: 61741 1671.88/1677.34 c #Conflicts: 511000 | #Constraints: 62741 1671.88/1677.34 c #Conflicts: 512000 | #Constraints: 63742 1671.88/1677.34 c #Conflicts: 513000 | #Constraints: 64742 1671.88/1677.34 c #Conflicts: 514000 | #Constraints: 65742 1671.88/1677.34 c #Conflicts: 515000 | #Constraints: 66743 1671.88/1677.34 c #Conflicts: 516000 | #Constraints: 67744 1671.88/1677.34 c #Conflicts: 517000 | #Constraints: 68744 1671.88/1677.34 c #Conflicts: 518000 | #Constraints: 69744 1671.88/1677.34 c #Conflicts: 519000 | #Constraints: 70744 1671.88/1677.34 c #Conflicts: 520000 | #Constraints: 71744 1671.88/1677.34 c #Conflicts: 521000 | #Constraints: 72744 1671.88/1677.34 c #Conflicts: 522000 | #Constraints: 73744 1671.88/1677.34 c #Conflicts: 523000 | #Constraints: 74744 1671.88/1677.34 c #Conflicts: 524000 | #Constraints: 75744 1671.88/1677.34 c INPROCESSING 1671.88/1677.34 c GARBAGE COLLECT 1671.88/1677.34 c rational objective 156 1735.26/1740.99 c #Conflicts: 525000 | #Constraints: 39419 1735.26/1740.99 c #Conflicts: 526000 | #Constraints: 40419 1735.26/1740.99 c #Conflicts: 527000 | #Constraints: 41419 1735.26/1740.99 c #Conflicts: 528000 | #Constraints: 42419 1735.26/1740.99 c #Conflicts: 529000 | #Constraints: 43419 1735.26/1740.99 c #Conflicts: 530000 | #Constraints: 44420 1735.26/1740.99 c #Conflicts: 531000 | #Constraints: 45421 1735.26/1740.99 c #Conflicts: 532000 | #Constraints: 46437 1735.26/1740.99 c #Conflicts: 533000 | #Constraints: 47474 1735.26/1740.99 c #Conflicts: 534000 | #Constraints: 48474 1735.26/1740.99 c #Conflicts: 535000 | #Constraints: 49474 1735.26/1740.99 c #Conflicts: 536000 | #Constraints: 50516 1735.26/1740.99 c #Conflicts: 537000 | #Constraints: 51591 1735.26/1740.99 c #Conflicts: 538000 | #Constraints: 52595 1735.26/1740.99 c #Conflicts: 539000 | #Constraints: 53642 1735.26/1740.99 c #Conflicts: 540000 | #Constraints: 54642 1735.26/1740.99 c #Conflicts: 541000 | #Constraints: 55642 1735.26/1740.99 c #Conflicts: 542000 | #Constraints: 56644 1735.26/1740.99 c INPROCESSING 1735.26/1740.99 c GARBAGE COLLECT 1735.26/1740.99 c rational objective 156 2046.27/2053.06 c #Conflicts: 543000 | #Constraints: 33918 2046.27/2053.06 c #Conflicts: 544000 | #Constraints: 34918 2046.27/2053.06 c #Conflicts: 545000 | #Constraints: 35918 2046.27/2053.06 c #Conflicts: 546000 | #Constraints: 36918 2046.27/2053.06 c #Conflicts: 547000 | #Constraints: 37924 2046.27/2053.06 c #Conflicts: 548000 | #Constraints: 38957 2046.27/2053.06 c #Conflicts: 549000 | #Constraints: 40010 2046.27/2053.06 c #Conflicts: 550000 | #Constraints: 41066 2046.27/2053.06 c #Conflicts: 551000 | #Constraints: 42072 2046.27/2053.06 c #Conflicts: 552000 | #Constraints: 43072 2046.27/2053.06 c #Conflicts: 553000 | #Constraints: 44072 2046.27/2053.06 c #Conflicts: 554000 | #Constraints: 45083 2046.27/2053.06 c #Conflicts: 555000 | #Constraints: 46083 2046.27/2053.06 c #Conflicts: 556000 | #Constraints: 47083 2046.27/2053.06 c #Conflicts: 557000 | #Constraints: 48083 2046.27/2053.06 c #Conflicts: 558000 | #Constraints: 49083 2046.27/2053.06 c #Conflicts: 559000 | #Constraints: 50083 2046.27/2053.06 c #Conflicts: 560000 | #Constraints: 51083 2046.27/2053.06 c #Conflicts: 561000 | #Constraints: 52090 2046.27/2053.06 c #Conflicts: 562000 | #Constraints: 53090 2046.27/2053.06 c #Conflicts: 563000 | #Constraints: 54092 2046.27/2053.06 c #Conflicts: 564000 | #Constraints: 55094 2046.27/2053.06 c #Conflicts: 565000 | #Constraints: 56095 2046.27/2053.06 c #Conflicts: 566000 | #Constraints: 57095 2046.27/2053.06 c #Conflicts: 567000 | #Constraints: 58112 2046.27/2053.06 c #Conflicts: 568000 | #Constraints: 59112 2046.27/2053.06 c #Conflicts: 569000 | #Constraints: 60123 2046.27/2053.06 c #Conflicts: 570000 | #Constraints: 61123 2046.27/2053.06 c #Conflicts: 571000 | #Constraints: 62123 2046.27/2053.06 c #Conflicts: 572000 | #Constraints: 63123 2046.27/2053.06 c #Conflicts: 573000 | #Constraints: 64123 2046.27/2053.06 c #Conflicts: 574000 | #Constraints: 65123 2046.27/2053.06 c #Conflicts: 575000 | #Constraints: 66123 2046.27/2053.06 c #Conflicts: 576000 | #Constraints: 67123 2046.27/2053.06 c #Conflicts: 577000 | #Constraints: 68123 2046.27/2053.06 c #Conflicts: 578000 | #Constraints: 69123 2046.27/2053.06 c #Conflicts: 579000 | #Constraints: 70123 2046.27/2053.06 c #Conflicts: 580000 | #Constraints: 71123 2046.27/2053.06 c #Conflicts: 581000 | #Constraints: 72123 2046.27/2053.06 c #Conflicts: 582000 | #Constraints: 73125 2046.27/2053.06 c #Conflicts: 583000 | #Constraints: 74253 2046.27/2053.06 c #Conflicts: 584000 | #Constraints: 75276 2046.27/2053.06 c #Conflicts: 585000 | #Constraints: 76276 2046.27/2053.06 c #Conflicts: 586000 | #Constraints: 77331 2046.27/2053.06 c #Conflicts: 587000 | #Constraints: 78347 2046.27/2053.06 c #Conflicts: 588000 | #Constraints: 79347 2046.27/2053.06 c #Conflicts: 589000 | #Constraints: 80348 2046.27/2053.06 c #Conflicts: 590000 | #Constraints: 81348 2046.27/2053.06 c #Conflicts: 591000 | #Constraints: 82348 2046.27/2053.06 c #Conflicts: 592000 | #Constraints: 83348 2046.27/2053.06 c #Conflicts: 593000 | #Constraints: 84350 2046.27/2053.06 c #Conflicts: 594000 | #Constraints: 85360 2046.27/2053.06 c #Conflicts: 595000 | #Constraints: 86369 2046.27/2053.06 c #Conflicts: 596000 | #Constraints: 87424 2046.27/2053.06 c INPROCESSING 2046.27/2053.06 c GARBAGE COLLECT 2046.27/2053.06 c rational objective 156 2265.28/2272.80 c #Conflicts: 597000 | #Constraints: 45445 2265.28/2272.80 c #Conflicts: 598000 | #Constraints: 46449 2265.28/2272.80 c #Conflicts: 599000 | #Constraints: 47449 2265.28/2272.80 c #Conflicts: 600000 | #Constraints: 48449 2265.28/2272.80 c #Conflicts: 601000 | #Constraints: 49449 2265.28/2272.80 c #Conflicts: 602000 | #Constraints: 50449 2265.28/2272.80 c #Conflicts: 603000 | #Constraints: 51449 2265.28/2272.80 c #Conflicts: 604000 | #Constraints: 52449 2265.28/2272.80 c #Conflicts: 605000 | #Constraints: 53449 2265.28/2272.80 c #Conflicts: 606000 | #Constraints: 54449 2265.28/2272.80 c #Conflicts: 607000 | #Constraints: 55449 2265.28/2272.80 c #Conflicts: 608000 | #Constraints: 56449 2265.28/2272.80 c #Conflicts: 609000 | #Constraints: 57449 2265.28/2272.80 c #Conflicts: 610000 | #Constraints: 58449 2265.28/2272.80 c #Conflicts: 611000 | #Constraints: 59449 2265.28/2272.80 c #Conflicts: 612000 | #Constraints: 60449 2265.28/2272.80 c #Conflicts: 613000 | #Constraints: 61449 2265.28/2272.80 c #Conflicts: 614000 | #Constraints: 62449 2265.28/2272.80 c #Conflicts: 615000 | #Constraints: 63449 2265.28/2272.80 c INPROCESSING 2265.28/2272.80 c GARBAGE COLLECT 2265.28/2272.80 c rational objective 156 2781.46/2790.80 c #Conflicts: 616000 | #Constraints: 36519 2781.46/2790.80 c #Conflicts: 617000 | #Constraints: 37519 2781.46/2790.80 c #Conflicts: 618000 | #Constraints: 38519 2781.46/2790.80 c #Conflicts: 619000 | #Constraints: 39526 2781.46/2790.80 c #Conflicts: 620000 | #Constraints: 40526 2781.46/2790.80 c #Conflicts: 621000 | #Constraints: 41528 2781.46/2790.80 c #Conflicts: 622000 | #Constraints: 42528 2781.46/2790.80 c #Conflicts: 623000 | #Constraints: 43529 2781.46/2790.80 c #Conflicts: 624000 | #Constraints: 44529 2781.46/2790.80 c #Conflicts: 625000 | #Constraints: 45534 2781.46/2790.80 c #Conflicts: 626000 | #Constraints: 46534 2781.46/2790.80 c #Conflicts: 627000 | #Constraints: 47534 2781.46/2790.80 c #Conflicts: 628000 | #Constraints: 48564 2781.46/2790.80 c #Conflicts: 629000 | #Constraints: 49564 2781.46/2790.80 c #Conflicts: 630000 | #Constraints: 50564 2781.46/2790.80 c #Conflicts: 631000 | #Constraints: 51564 2781.46/2790.80 c #Conflicts: 632000 | #Constraints: 52564 2781.46/2790.80 c #Conflicts: 633000 | #Constraints: 53565 2781.46/2790.80 c #Conflicts: 634000 | #Constraints: 54565 2781.46/2790.80 c #Conflicts: 635000 | #Constraints: 55567 2781.46/2790.80 c #Conflicts: 636000 | #Constraints: 56571 2781.46/2790.80 c #Conflicts: 637000 | #Constraints: 57571 2781.46/2790.80 c #Conflicts: 638000 | #Constraints: 58572 2781.46/2790.80 c #Conflicts: 639000 | #Constraints: 59572 2781.46/2790.80 c #Conflicts: 640000 | #Constraints: 60572 2781.46/2790.80 c #Conflicts: 641000 | #Constraints: 61572 2781.46/2790.80 c #Conflicts: 642000 | #Constraints: 62572 2781.46/2790.80 c #Conflicts: 643000 | #Constraints: 63572 2781.46/2790.80 c #Conflicts: 644000 | #Constraints: 64593 2781.46/2790.80 c #Conflicts: 645000 | #Constraints: 65609 2781.46/2790.80 c #Conflicts: 646000 | #Constraints: 66645 2781.46/2790.80 c #Conflicts: 647000 | #Constraints: 67645 2781.46/2790.80 c #Conflicts: 648000 | #Constraints: 68649 2781.46/2790.80 c #Conflicts: 649000 | #Constraints: 69652 2781.46/2790.80 c #Conflicts: 650000 | #Constraints: 70652 2781.46/2790.80 c #Conflicts: 651000 | #Constraints: 71655 2781.46/2790.80 c #Conflicts: 652000 | #Constraints: 72660 2781.46/2790.80 c #Conflicts: 653000 | #Constraints: 73668 2781.46/2790.80 c #Conflicts: 654000 | #Constraints: 74699 2781.46/2790.80 c #Conflicts: 655000 | #Constraints: 75717 2781.46/2790.80 c #Conflicts: 656000 | #Constraints: 76717 2781.46/2790.80 c #Conflicts: 657000 | #Constraints: 77741 2781.46/2790.80 c #Conflicts: 658000 | #Constraints: 78776 2781.46/2790.80 c #Conflicts: 659000 | #Constraints: 79776 2781.46/2790.80 c #Conflicts: 660000 | #Constraints: 80776 2781.46/2790.80 c #Conflicts: 661000 | #Constraints: 81776 2781.46/2790.80 c #Conflicts: 662000 | #Constraints: 82817 2781.46/2790.80 c #Conflicts: 663000 | #Constraints: 83817 2781.46/2790.80 c #Conflicts: 664000 | #Constraints: 84817 2781.46/2790.80 c #Conflicts: 665000 | #Constraints: 85817 2781.46/2790.80 c #Conflicts: 666000 | #Constraints: 86818 2781.46/2790.80 c #Conflicts: 667000 | #Constraints: 87847 2781.46/2790.80 c #Conflicts: 668000 | #Constraints: 88858 2781.46/2790.80 c #Conflicts: 669000 | #Constraints: 89870 2781.46/2790.80 c #Conflicts: 670000 | #Constraints: 90877 2781.46/2790.80 c #Conflicts: 671000 | #Constraints: 91928 2781.46/2790.80 c #Conflicts: 672000 | #Constraints: 92928 2781.46/2790.80 c INPROCESSING 2781.46/2790.80 c GARBAGE COLLECT 2781.46/2790.80 c rational objective 156 3046.58/3056.91 c #Conflicts: 673000 | #Constraints: 48188 3046.58/3056.91 c #Conflicts: 674000 | #Constraints: 49188 3046.58/3056.91 c #Conflicts: 675000 | #Constraints: 50188 3046.58/3056.91 c #Conflicts: 676000 | #Constraints: 51188 3046.58/3056.91 c #Conflicts: 677000 | #Constraints: 52188 3046.58/3056.91 c #Conflicts: 678000 | #Constraints: 53188 3046.58/3056.91 c #Conflicts: 679000 | #Constraints: 54188 3046.58/3056.91 c #Conflicts: 680000 | #Constraints: 55188 3046.58/3056.91 c #Conflicts: 681000 | #Constraints: 56188 3046.58/3056.91 c #Conflicts: 682000 | #Constraints: 57188 3046.58/3056.91 c #Conflicts: 683000 | #Constraints: 58188 3046.58/3056.91 c #Conflicts: 684000 | #Constraints: 59188 3046.58/3056.91 c #Conflicts: 685000 | #Constraints: 60188 3046.58/3056.91 c #Conflicts: 686000 | #Constraints: 61188 3046.58/3056.91 c #Conflicts: 687000 | #Constraints: 62188 3046.58/3056.91 c #Conflicts: 688000 | #Constraints: 63188 3046.58/3056.91 c #Conflicts: 689000 | #Constraints: 64188 3046.58/3056.91 c #Conflicts: 690000 | #Constraints: 65188 3046.58/3056.91 c #Conflicts: 691000 | #Constraints: 66188 3046.58/3056.91 c #Conflicts: 692000 | #Constraints: 67188 3046.58/3056.91 c INPROCESSING 3046.58/3056.91 c GARBAGE COLLECT 3046.58/3056.91 c rational objective 156 3580.73/3592.99 c #Conflicts: 693000 | #Constraints: 38559 3580.73/3592.99 c #Conflicts: 694000 | #Constraints: 39559 3580.73/3592.99 c #Conflicts: 695000 | #Constraints: 40559 3580.73/3592.99 c #Conflicts: 696000 | #Constraints: 41559 3580.73/3592.99 c #Conflicts: 697000 | #Constraints: 42559 3580.73/3592.99 c #Conflicts: 698000 | #Constraints: 43559 3580.73/3592.99 c #Conflicts: 699000 | #Constraints: 44559 3580.73/3592.99 c #Conflicts: 700000 | #Constraints: 45559 3580.73/3592.99 c #Conflicts: 701000 | #Constraints: 46559 3580.73/3592.99 c #Conflicts: 702000 | #Constraints: 47559 3580.73/3592.99 c #Conflicts: 703000 | #Constraints: 48559 3580.73/3592.99 c #Conflicts: 704000 | #Constraints: 49559 3580.73/3592.99 c #Conflicts: 705000 | #Constraints: 50559 3580.73/3592.99 c #Conflicts: 706000 | #Constraints: 51559 3580.73/3592.99 c #Conflicts: 707000 | #Constraints: 52559 3580.73/3592.99 c #Conflicts: 708000 | #Constraints: 53559 3580.73/3592.99 c #Conflicts: 709000 | #Constraints: 54559 3580.73/3592.99 c #Conflicts: 710000 | #Constraints: 55559 3580.73/3592.99 c #Conflicts: 711000 | #Constraints: 56559 3580.73/3592.99 c #Conflicts: 712000 | #Constraints: 57559 3580.73/3592.99 c #Conflicts: 713000 | #Constraints: 58559 3580.73/3592.99 c #Conflicts: 714000 | #Constraints: 59559 3580.73/3592.99 c #Conflicts: 715000 | #Constraints: 60559 3580.73/3592.99 c #Conflicts: 716000 | #Constraints: 61559 3580.73/3592.99 c #Conflicts: 717000 | #Constraints: 62559 3580.73/3592.99 c #Conflicts: 718000 | #Constraints: 63559 3580.73/3592.99 c #Conflicts: 719000 | #Constraints: 64559 3580.73/3592.99 c #Conflicts: 720000 | #Constraints: 65559 3580.73/3592.99 c #Conflicts: 721000 | #Constraints: 66559 3580.73/3592.99 c #Conflicts: 722000 | #Constraints: 67559 3580.73/3592.99 c #Conflicts: 723000 | #Constraints: 68559 3580.73/3592.99 c #Conflicts: 724000 | #Constraints: 69559 3580.73/3592.99 c #Conflicts: 725000 | #Constraints: 70559 3580.73/3592.99 c #Conflicts: 726000 | #Constraints: 71559 3580.73/3592.99 c #Conflicts: 727000 | #Constraints: 72559 3580.73/3592.99 c #Conflicts: 728000 | #Constraints: 73559 3580.73/3592.99 c #Conflicts: 729000 | #Constraints: 74559 3580.73/3592.99 c #Conflicts: 730000 | #Constraints: 75559 3580.73/3592.99 c #Conflicts: 731000 | #Constraints: 76559 3580.73/3592.99 c #Conflicts: 732000 | #Constraints: 77559 3580.73/3592.99 c #Conflicts: 733000 | #Constraints: 78559 3580.73/3592.99 c #Conflicts: 734000 | #Constraints: 79559 3580.73/3592.99 c #Conflicts: 735000 | #Constraints: 80559 3580.73/3592.99 c #Conflicts: 736000 | #Constraints: 81559 3580.73/3592.99 c #Conflicts: 737000 | #Constraints: 82559 3580.73/3592.99 c #Conflicts: 738000 | #Constraints: 83560 3580.73/3592.99 c #Conflicts: 739000 | #Constraints: 84560 3580.73/3592.99 c #Conflicts: 740000 | #Constraints: 85560 3580.73/3592.99 c #Conflicts: 741000 | #Constraints: 86561 3580.73/3592.99 c #Conflicts: 742000 | #Constraints: 87561 3580.73/3592.99 c #Conflicts: 743000 | #Constraints: 88561 3580.73/3592.99 c #Conflicts: 744000 | #Constraints: 89561 3580.73/3592.99 c #Conflicts: 745000 | #Constraints: 90562 3580.73/3592.99 c #Conflicts: 746000 | #Constraints: 91565 3580.73/3592.99 c #Conflicts: 747000 | #Constraints: 92565 3580.73/3592.99 c #Conflicts: 748000 | #Constraints: 93565 3580.73/3592.99 c #Conflicts: 749000 | #Constraints: 94565 3580.73/3592.99 c #Conflicts: 750000 | #Constraints: 95567 3580.73/3592.99 c #Conflicts: 751000 | #Constraints: 96567 3580.73/3592.99 c #Conflicts: 752000 | #Constraints: 97567 3580.73/3592.99 c INPROCESSING 3580.73/3592.99 c GARBAGE COLLECT 3580.73/3592.99 c rational objective 156 3600.06/3612.30 c #Conflicts: 753000 | #Constraints: 50405 3600.06/3612.30 c #Conflicts: 754000 | #Constraints: 51405 3600.06/3612.30 c #Conflicts: 755000 | #Constraints: 52405 3600.06/3612.30 c #Conflicts: 756000 | #Constraints: 53427 3600.06/3612.30 c #Conflicts: 757000 | #Constraints: 54427 3600.06/3612.30 c #Conflicts: 758000 | #Constraints: 55427 3600.06/3612.30 c #Conflicts: 759000 | #Constraints: 56427 3600.06/3612.30 c Program interrupted by user. 3600.06/3612.30 c cpu time 3584.88 s 3600.06/3612.30 c deterministic time 358383059230 3.58e+11 3600.06/3612.30 c optimization time 19.0387 s 3600.06/3612.30 c total solve time 3565.84 s 3600.06/3612.30 c core-guided solve time 2088.02 s 3600.06/3612.30 c propagation time 3104.83 s 3600.06/3612.30 c conflict analysis time 433.328 s 3600.06/3612.30 c propagations 108460147 3600.06/3612.30 c resolve steps 6647743 3600.06/3612.30 c decisions 5831531 3600.06/3612.30 c conflicts 759101 3600.06/3612.30 c restarts 1596 3600.06/3612.30 c inprocessing phases 44 3600.06/3612.30 c input clauses 313 3600.06/3612.30 c input cardinalities 348 3600.06/3612.30 c input general constraints 893 3600.06/3612.30 c input average constraint length 66.19 3600.06/3612.30 c input average constraint degree 25.02 3600.06/3612.30 c learned clauses 255407 3600.06/3612.30 c learned cardinalities 5051 3600.06/3612.30 c learned general constraints 511381 3600.06/3612.30 c learned average constraint length 199.22 3600.06/3612.30 c learned average constraint degree 109124463.90 3600.06/3612.30 c watched constraints 342567 3600.06/3612.30 c counting constraints 169707 3600.06/3612.30 c gcd simplifications 95364 3600.06/3612.30 c detected cardinalities 2359 3600.06/3612.30 c weakened non-implied lits 32103372 3600.06/3612.30 c weakened non-implying lits 63769 3600.06/3612.30 c original variables 479 3600.06/3612.30 c clausal propagations 11784469 3600.06/3612.30 c cardinality propagations 7574300 3600.06/3612.30 c watched propagations 14943926 3600.06/3612.30 c counting propagations 72552503 3600.06/3612.30 c watch lookups 61564290716 3600.06/3612.30 c watch backjump lookups 54799024786 3600.06/3612.30 c watch checks 222895252131 3600.06/3612.30 c propagation checks 18303260601 3600.06/3612.30 c constraint additions 591004673 3600.06/3612.30 c trail pops 115050100 3600.06/3612.30 c formula constraints 479 3600.06/3612.30 c learned constraints 759119 3600.06/3612.30 c bound constraints 193 3600.06/3612.30 c core-guided constraints 882 3600.06/3612.30 c encountered formula constraints 1237049 3600.06/3612.30 c encountered learned constraints 5275103 3600.06/3612.30 c encountered bound constraints 90 3600.06/3612.30 c encountered core-guided constraints 892935 3600.06/3612.30 c LP total time 70.1995 s 3600.06/3612.30 c LP solve time 63.78 s 3600.06/3612.30 c LP constraints added 533 3600.06/3612.30 c LP constraints removed 50 3600.06/3612.30 c LP pivots internal 759132 3600.06/3612.30 c LP pivots root 125412 3600.06/3612.30 c LP calls 18942 3600.06/3612.30 c LP optimalities 3610 3600.06/3612.30 c LP no pivot count 179 3600.06/3612.30 c LP infeasibilities 15089 3600.06/3612.30 c LP valid Farkas constraints 12674 3600.06/3612.30 c LP learned Farkas constraints 0 3600.06/3612.30 c LP basis resets 239 3600.06/3612.30 c LP cycling count 238 3600.06/3612.30 c LP singular count 0 3600.06/3612.30 c LP no primal count 0 3600.06/3612.30 c LP no farkas count 1 3600.06/3612.30 c LP other issue count 0 3600.06/3612.30 c LP Gomory cuts 46 3600.06/3612.30 c LP learned cuts 8 3600.06/3612.30 c LP deleted cuts 50 3600.06/3612.30 c LP encountered Gomory constraints 0 3600.06/3612.30 c LP encountered Farkas constraints 1667 3600.06/3612.30 c LP encountered learned Farkas constraints 0 3600.06/3612.30 c CG auxiliary variables introduced 346 3600.06/3612.30 c CG solutions found 37 3600.06/3612.30 c CG cores constructed 156 3600.06/3612.30 c CG core cardinality constraints returned 0 3600.06/3612.30 c CG unit cores 0 3600.06/3612.30 c CG single cores 155 3600.06/3612.30 c CG blocks removed during cardinality reduction 0 3600.06/3612.30 c CG first core best 0 3600.06/3612.30 c CG decision core best 0 3600.06/3612.30 c CG core reduction tie 1 3600.06/3612.30 c CG core degree average 1.00 3600.06/3612.30 c CG core slack average 3.78 3600.06/3612.30 s SATISFIABLE 3600.06/3612.30 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 x304 -x305 x306 x307 x308 x309 -x310 -x311 -x312 x313 x314 x315 x316 -x317 -x318 -x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 x329 -x330 x331 -x332 x333 x334 x335 -x336 x337 -x338 x339 x340 -x341 x342 -x343 -x344 x345 -x346 -x347 x348 x349 x350 x351 x352 x353 x354 x355 -x356 -x357 -x358 x359 x360 x361 -x362 -x363 x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 x375 x376 x377 x378 x379 x380 x381 -x382 x383 x384 x385 x386 x387 x388 -x389 -x390 -x391 x392 x393 x394 x395 -x396 -x397 x398 x399 x400 x401 x402 x403 -x404 x405 x406 x407 x408 -x409 -x410 x411 -x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 x423 x424 -x425 x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 x437 x438 x439 x440 -x441 -x442 x443 -x444 -x445 -x446 x447 x448 -x449 x450 x451 -x452 x453 x454 x455 -x456 x457 -x458 x459 -x460 -x461 -x462 x463 -x464 x465 x466 -x467 x468 x469 x470 x471 -x472 x473 x474 x475 -x476 x477 -x478 -x479
OK 199
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: 63968 MiB (62495 MiB free)
memory of node 1: 64473 MiB (62016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455128-1721458552/watcher-4455128-1721458552 -o /tmp/evaluation-result-4455128-1721458552/solver-4455128-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053047 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455128-1721458552.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1053100, runsolver pid=1053092
[startup+0.100867 s]*
/proc/loadavg: 3.91 4.10 4.07 7/256 1053111
/proc/meminfo: memFree=127491384/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=38692 memory=8792 CPUtime=0.09 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 670 0 1 0 9 0 0 0 20 0 1 0 198020183 39620608 2198 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 9673 2198 1738 922 0 1625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 8792 KiB
[startup+0.205065 s]*
/proc/loadavg: 3.91 4.10 4.07 5/256 1053111
/proc/meminfo: memFree=127478764/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=39788 memory=10756 CPUtime=0.19 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 1146 0 1 0 17 2 0 0 20 0 1 0 198020183 40742912 2689 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 9947 2689 1770 922 0 1899 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 10756 KiB
[startup+0.305107 s]*
/proc/loadavg: 3.91 4.10 4.07 6/256 1053111
/proc/meminfo: memFree=127468324/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=41240 memory=14916 CPUtime=0.29 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 1686 0 1 0 26 3 0 0 20 0 1 0 198020183 42229760 3729 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 10310 3729 1770 922 0 2262 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 14916 KiB
[startup+0.700147 s]
/proc/loadavg: 3.91 4.10 4.07 6/256 1053111
/proc/meminfo: memFree=127458684/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=44872 memory=18964 CPUtime=0.68 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 2611 0 1 0 63 5 0 0 20 0 1 0 198020183 45948928 4741 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 11218 4741 1865 922 0 3170 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44872 KiB
Current children cumulated memory: 18964 KiB
[startup+1.50015 s]
/proc/loadavg: 3.91 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127448724/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=45964 memory=20016 CPUtime=1.48 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 2871 0 1 0 140 8 0 0 20 0 1 0 198020183 47067136 5004 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 11491 5004 1865 922 0 3443 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45964 KiB
Current children cumulated memory: 20016 KiB
[startup+3.10627 s]
/proc/loadavg: 3.91 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127427028/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=52692 memory=26944 CPUtime=3.09 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 4085 0 1 0 292 17 0 0 20 0 1 0 198020183 53956608 6736 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 13173 6736 1865 922 0 5125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52692 KiB
Current children cumulated memory: 26944 KiB
[startup+6.30016 s]
/proc/loadavg: 3.92 4.10 4.07 6/256 1053113
/proc/meminfo: memFree=127403940/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=59984 memory=32544 CPUtime=6.27 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 5012 0 1 0 596 31 0 0 20 0 1 0 198020183 61423616 8136 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 14996 8136 1865 922 0 6948 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59984 KiB
Current children cumulated memory: 32544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.01 4.12 4.08 6/256 1053115
/proc/meminfo: memFree=127353048/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=64968 memory=37920 CPUtime=12.65 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 6716 0 1 0 1214 51 0 0 20 0 1 0 198020183 66527232 9480 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 16242 9480 1865 922 0 8194 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64968 KiB
Current children cumulated memory: 37920 KiB
[startup+25.5002 s]
/proc/loadavg: 4.01 4.11 4.08 6/256 1053116
/proc/meminfo: memFree=127290644/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=79936 memory=49636 CPUtime=25.4 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 8605 0 1 0 2463 77 0 0 20 0 1 0 198020183 81854464 12409 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 19984 12409 1865 922 0 11936 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 79936 KiB
Current children cumulated memory: 49636 KiB
[startup+51.1063 s]
/proc/loadavg: 4.00 4.10 4.08 6/256 1053121
/proc/meminfo: memFree=127208164/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=101188 memory=64392 CPUtime=50.93 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 11293 0 1 0 4962 131 0 0 20 0 1 0 198020183 103616512 16098 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 25297 16098 1865 922 0 17249 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 101188 KiB
Current children cumulated memory: 64392 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.08 6/256 1053129
/proc/meminfo: memFree=127119568/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=109956 memory=76080 CPUtime=101.96 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 13057 0 1 0 9980 216 0 0 20 0 1 0 198020183 112594944 19020 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 27489 19020 1996 922 0 19441 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 109956 KiB
Current children cumulated memory: 76080 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/259 1053310
/proc/meminfo: memFree=127009112/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=198204 memory=154128 CPUtime=161.74 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 22373 0 1 0 15904 270 0 0 20 0 1 0 198020183 202960896 38532 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 49551 38532 1996 922 0 41503 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 198204 KiB
Current children cumulated memory: 154128 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.08 6/259 1053321
/proc/meminfo: memFree=126986676/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=198204 memory=154412 CPUtime=221.56 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 22498 0 1 0 21837 319 0 0 20 0 1 0 198020183 202960896 38603 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 49551 38603 1996 922 0 41503 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 198204 KiB
Current children cumulated memory: 154412 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/260 1053335
/proc/meminfo: memFree=126875740/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=205236 memory=158944 CPUtime=281.38 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 23690 0 1 0 27774 364 0 0 20 0 1 0 198020183 210161664 39736 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 51309 39736 1996 922 0 43261 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 205236 KiB
Current children cumulated memory: 158944 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/259 1053356
/proc/meminfo: memFree=126807132/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=217248 memory=178376 CPUtime=341.18 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 26091 0 1 0 33692 426 0 0 20 0 1 0 198020183 222461952 44594 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 54312 44594 1996 922 0 46264 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 217248 KiB
Current children cumulated memory: 178376 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/259 1053367
/proc/meminfo: memFree=126761700/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=293736 memory=209504 CPUtime=400.99 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 30853 0 1 0 39646 453 0 0 20 0 1 0 198020183 300785664 52376 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 73434 52376 1996 922 0 65386 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 293736 KiB
Current children cumulated memory: 209504 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 1053378
/proc/meminfo: memFree=126750680/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=293736 memory=209504 CPUtime=460.81 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 30903 0 1 0 45597 484 0 0 20 0 1 0 198020183 300785664 52376 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 73434 52376 1996 922 0 65386 0
################
# More data... #
################
Current children cumulated memory: 414776 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/256 1054437
/proc/meminfo: memFree=126075268/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=414776 CPUtime=2912.49 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 60910 0 1 0 289901 1348 0 0 20 0 1 0 198020183 537214976 103694 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 103694 1996 922 0 123108 0
Current children cumulated CPU time: 2912.49 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 414776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/254 1054447
/proc/meminfo: memFree=126068328/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=414776 CPUtime=2972.27 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61010 0 1 0 295866 1361 0 0 20 0 1 0 198020183 537214976 103694 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 103694 1996 922 0 123108 0
Current children cumulated CPU time: 2972.27 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 414776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 1054457
/proc/meminfo: memFree=126044992/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=437060 CPUtime=3032.04 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61132 0 1 0 301830 1374 0 0 20 0 1 0 198020183 537214976 109265 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 109265 1996 922 0 123108 0
Current children cumulated CPU time: 3032.04 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 437060 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 1054468
/proc/meminfo: memFree=126044460/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=437104 CPUtime=3091.82 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61299 0 1 0 307789 1393 0 0 20 0 1 0 198020183 537214976 109276 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 109276 1996 922 0 123108 0
Current children cumulated CPU time: 3091.82 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 437104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/254 1054478
/proc/meminfo: memFree=126044952/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=437128 CPUtime=3151.61 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61448 0 1 0 313752 1409 0 0 20 0 1 0 198020183 537214976 109282 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 109282 1996 922 0 123108 0
Current children cumulated CPU time: 3151.61 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 437128 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/254 1054488
/proc/meminfo: memFree=126038904/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3211.4 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61605 0 1 0 319713 1427 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3211.4 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/257 1054503
/proc/meminfo: memFree=126037456/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3271.2 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61763 0 1 0 325675 1445 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3271.2 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/257 1054514
/proc/meminfo: memFree=126019492/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3331.01 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 61923 0 1 0 331642 1459 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 1054524
/proc/meminfo: memFree=126015700/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3390.81 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62085 0 1 0 337610 1471 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/258 1054536
/proc/meminfo: memFree=126012116/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3450.59 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62248 0 1 0 343575 1484 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/258 1054547
/proc/meminfo: memFree=126002360/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3510.38 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62412 0 1 0 349543 1495 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 1054940
/proc/meminfo: memFree=125997844/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3570.16 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62578 0 1 0 355511 1505 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.02 4.08 4.08 5/257 1055084
/proc/meminfo: memFree=127008188/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3600.06 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62580 0 1 0 358488 1518 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 1053100 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.88 s, system=15.1895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.02 4.08 4.08 5/257 1055084
/proc/meminfo: memFree=127008188/131524600 swapFree=131070704/131071996
[pid=1053100] ppid=1053092 vsize=524624 memory=442664 CPUtime=3600.06 cores=0,2
/proc/1053100/stat : 1053100 (roundingsat) R 1053092 1053100 1053037 0 -1 4194304 62580 0 1 0 358488 1518 0 0 20 0 1 0 198020183 537214976 110666 134679101440 4194304 7968373 140729822587840 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 10358784 140729822589884 140729822590048 140729822590048 140729822597065 0
/proc/1053100/statm: 131156 110666 1996 922 0 123108 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 524624 KiB
Current children cumulated memory: 442664 KiB
Child status: 0
Real time (s): 3612.3
CPU time (s): 3600.07
CPU user time (s): 3584.88
CPU system time (s): 15.1895
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 524624
Max. memory (cumulated for all children) (KiB): 442664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.88
system time used= 15.1895
maximum resident set size= 442664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62589
page faults= 1
swaps= 0
block input operations= 96
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81
involuntary context switches= 25447
# summary of solver processes directly reported to runsolver:
# pid: 1053100
# total CPU time (s): 3600.07
# total CPU user time (s): 3584.88
# total CPU system time (s): 15.1895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22021 second user time and 19.6481 second system time
The end
Begin job on nodeC023 at 2024-07-20 08:56:05 IDJOB=4455128 IDBENCH=147541 IDSOLVER=3084 FILE ID=nodeC023/4455128-1721458552 RUNJOBID= nodeC023-1721458565-1053047 SLURM_JOB_ID= 7545704 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455128-1721458552/watcher-4455128-1721458552 -o /tmp/evaluation-result-4455128-1721458552/solver-4455128-1721458552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721458565-1053047 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455128-1721458552.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=658974107 nodeC023.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 : 0xb00002a cpu MHz : 3771.912 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3722.277 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3608.426 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3576.285 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3613.216 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3825.589 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 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 : 0xb00002a cpu MHz : 3745.078 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.61 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 : 0xb00002a cpu MHz : 3703.760 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127502076 kB MemAvailable: 129751824 kB Buffers: 593608 kB Cached: 2491988 kB SwapCached: 80 kB Active: 1247248 kB Inactive: 2206776 kB Active(anon): 1484 kB Inactive(anon): 412676 kB Active(file): 1245764 kB Inactive(file): 1794100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 20884 kB Writeback: 0 kB AnonPages: 368476 kB Mapped: 106524 kB Shmem: 45728 kB KReclaimable: 99412 kB Slab: 193496 kB SReclaimable: 99412 kB SUnreclaim: 94084 kB KernelStack: 3872 kB PageTables: 9448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 792240 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890016 MiB End job on nodeC023 at 2024-07-20 09:56:17