| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 191 | 3600.09 | 3609.91 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.01 c #variables 470 #constraints 470 0.41/0.51 c bounds 471 >= 0 @ 0.006074 0.41/0.51 c bounds 224 >= 0 @ 0.39559 0.41/0.51 c bounds 224 >= 1 @ 0.39559 0.41/0.51 c bounds 224 >= 2 @ 0.39559 0.41/0.51 c bounds 224 >= 3 @ 0.39559 0.41/0.51 c bounds 224 >= 4 @ 0.39559 0.41/0.51 c bounds 224 >= 5 @ 0.39559 0.41/0.51 c bounds 224 >= 6 @ 0.39559 0.41/0.51 c bounds 224 >= 7 @ 0.39559 0.41/0.51 c bounds 224 >= 8 @ 0.395676 0.41/0.51 c bounds 224 >= 9 @ 0.395907 0.41/0.51 c bounds 224 >= 10 @ 0.396143 0.41/0.51 c bounds 224 >= 11 @ 0.396372 0.41/0.51 c bounds 224 >= 12 @ 0.396607 0.41/0.51 c bounds 224 >= 13 @ 0.396864 0.41/0.51 c bounds 224 >= 14 @ 0.397138 0.41/0.51 c bounds 224 >= 15 @ 0.397403 0.41/0.51 c bounds 224 >= 16 @ 0.397671 0.41/0.51 c bounds 224 >= 17 @ 0.397942 0.41/0.51 c bounds 224 >= 18 @ 0.398223 0.41/0.51 c bounds 224 >= 19 @ 0.398493 0.41/0.51 c bounds 224 >= 20 @ 0.398569 0.41/0.51 c bounds 224 >= 21 @ 0.398569 0.41/0.51 c bounds 224 >= 22 @ 0.398569 0.41/0.51 c bounds 224 >= 23 @ 0.398666 0.41/0.51 c bounds 224 >= 24 @ 0.39903 0.41/0.51 c bounds 224 >= 25 @ 0.399319 0.41/0.51 c bounds 224 >= 26 @ 0.399614 0.41/0.51 c bounds 224 >= 27 @ 0.399911 0.41/0.51 c bounds 224 >= 28 @ 0.40021 0.41/0.51 c bounds 224 >= 29 @ 0.400508 0.41/0.51 c bounds 223 >= 29 @ 0.444411 0.41/0.51 c bounds 223 >= 30 @ 0.444768 0.41/0.51 c bounds 223 >= 31 @ 0.445109 0.41/0.51 c bounds 223 >= 32 @ 0.44544 0.41/0.51 c bounds 223 >= 33 @ 0.445773 0.41/0.51 c bounds 223 >= 34 @ 0.446131 0.41/0.51 c bounds 223 >= 35 @ 0.446291 0.41/0.51 c bounds 223 >= 36 @ 0.446291 0.41/0.51 c bounds 223 >= 37 @ 0.446291 0.41/0.51 c bounds 223 >= 38 @ 0.446291 0.41/0.51 c bounds 223 >= 39 @ 0.446291 0.41/0.51 c bounds 223 >= 40 @ 0.446291 0.41/0.51 c bounds 223 >= 41 @ 0.446291 0.41/0.51 c bounds 223 >= 42 @ 0.446291 0.41/0.51 c bounds 223 >= 43 @ 0.446291 0.41/0.51 c bounds 223 >= 44 @ 0.446291 0.41/0.51 c bounds 223 >= 45 @ 0.446291 0.41/0.51 c bounds 223 >= 46 @ 0.446291 0.41/0.51 c bounds 223 >= 47 @ 0.446594 0.41/0.51 c bounds 223 >= 48 @ 0.446968 0.41/0.51 c bounds 223 >= 49 @ 0.447325 0.41/0.51 c bounds 223 >= 50 @ 0.447686 0.41/0.51 c bounds 223 >= 51 @ 0.448057 0.41/0.51 c bounds 223 >= 52 @ 0.448277 0.41/0.51 c bounds 223 >= 53 @ 0.448277 0.41/0.51 c bounds 223 >= 54 @ 0.448359 0.41/0.51 c bounds 223 >= 55 @ 0.449109 0.41/0.51 c bounds 223 >= 56 @ 0.44927 0.41/0.51 c bounds 223 >= 57 @ 0.44927 0.41/0.51 c bounds 223 >= 58 @ 0.44927 0.41/0.51 c bounds 223 >= 59 @ 0.44927 0.41/0.51 c bounds 223 >= 60 @ 0.44927 0.41/0.51 c bounds 223 >= 61 @ 0.44927 0.41/0.51 c bounds 223 >= 62 @ 0.44927 0.41/0.51 c bounds 223 >= 63 @ 0.449398 0.41/0.51 c bounds 223 >= 64 @ 0.449718 0.41/0.51 c bounds 223 >= 65 @ 0.450015 0.41/0.51 c bounds 223 >= 66 @ 0.450315 0.41/0.51 c bounds 223 >= 67 @ 0.450605 0.41/0.51 c bounds 223 >= 68 @ 0.450891 0.41/0.51 c bounds 223 >= 69 @ 0.451196 0.41/0.51 c bounds 223 >= 70 @ 0.451482 0.41/0.51 c bounds 223 >= 71 @ 0.451785 0.41/0.51 c bounds 223 >= 72 @ 0.452091 0.41/0.51 c bounds 223 >= 73 @ 0.452259 0.41/0.51 c bounds 223 >= 74 @ 0.452259 0.41/0.51 c bounds 223 >= 75 @ 0.452259 0.41/0.51 c bounds 223 >= 76 @ 0.452365 0.41/0.51 c bounds 223 >= 77 @ 0.452667 0.41/0.51 c bounds 223 >= 78 @ 0.452982 0.41/0.51 c bounds 223 >= 79 @ 0.453288 0.41/0.51 c bounds 223 >= 80 @ 0.453607 0.41/0.51 c bounds 223 >= 81 @ 0.453915 0.41/0.51 c bounds 223 >= 82 @ 0.45423 0.41/0.51 c bounds 223 >= 83 @ 0.45458 0.41/0.51 c bounds 223 >= 84 @ 0.45491 0.41/0.51 c bounds 223 >= 85 @ 0.455246 0.41/0.51 c bounds 223 >= 86 @ 0.455581 0.41/0.51 c bounds 223 >= 87 @ 0.4559 0.41/0.51 c bounds 223 >= 88 @ 0.456224 0.41/0.51 c bounds 223 >= 89 @ 0.456538 0.41/0.51 c bounds 223 >= 90 @ 0.456854 0.41/0.51 c bounds 223 >= 91 @ 0.457168 0.41/0.51 c bounds 223 >= 92 @ 0.457479 0.41/0.51 c bounds 223 >= 93 @ 0.457783 0.41/0.51 c bounds 223 >= 94 @ 0.458083 0.41/0.51 c bounds 223 >= 95 @ 0.45823 0.41/0.51 c bounds 223 >= 96 @ 0.45823 0.41/0.51 c bounds 223 >= 97 @ 0.45823 0.41/0.51 c bounds 223 >= 98 @ 0.458425 0.41/0.51 c bounds 223 >= 99 @ 0.458795 0.41/0.51 c bounds 223 >= 100 @ 0.459152 0.41/0.51 c bounds 223 >= 101 @ 0.459225 0.41/0.52 c bounds 223 >= 102 @ 0.459225 0.41/0.52 c bounds 223 >= 103 @ 0.459251 0.41/0.52 c bounds 223 >= 104 @ 0.459608 0.41/0.52 c bounds 223 >= 105 @ 0.459959 0.41/0.52 c bounds 223 >= 106 @ 0.460302 0.41/0.52 c bounds 223 >= 107 @ 0.46064 0.41/0.52 c bounds 223 >= 108 @ 0.460982 0.41/0.52 c bounds 223 >= 109 @ 0.461214 0.41/0.52 c bounds 223 >= 110 @ 0.461214 0.41/0.52 c bounds 223 >= 111 @ 0.461214 0.41/0.52 c bounds 223 >= 112 @ 0.461214 0.41/0.52 c bounds 223 >= 113 @ 0.461214 0.41/0.52 c bounds 223 >= 114 @ 0.461239 0.41/0.52 c bounds 223 >= 115 @ 0.461606 0.41/0.52 c bounds 223 >= 116 @ 0.461977 0.41/0.52 c bounds 223 >= 117 @ 0.46233 0.41/0.52 c bounds 223 >= 118 @ 0.462702 0.41/0.52 c bounds 223 >= 119 @ 0.46304 0.41/0.52 c bounds 223 >= 120 @ 0.463387 0.41/0.52 c bounds 223 >= 121 @ 0.463731 0.41/0.52 c bounds 223 >= 122 @ 0.464089 0.41/0.52 c bounds 223 >= 123 @ 0.464202 0.41/0.52 c bounds 223 >= 124 @ 0.464202 0.41/0.52 c bounds 223 >= 125 @ 0.464354 0.41/0.52 c bounds 223 >= 126 @ 0.464787 0.41/0.52 c bounds 223 >= 127 @ 0.46521 0.41/0.52 c bounds 223 >= 128 @ 0.465671 0.41/0.52 c bounds 223 >= 129 @ 0.46616 0.41/0.52 c bounds 223 >= 130 @ 0.466626 0.41/0.52 c bounds 223 >= 131 @ 0.467117 0.41/0.52 c bounds 223 >= 132 @ 0.467187 0.41/0.52 c bounds 223 >= 133 @ 0.467249 0.41/0.52 c bounds 223 >= 134 @ 0.467702 1.10/1.17 c bounds 223 >= 135 @ 0.468182 1.10/1.17 c bounds 223 >= 136 @ 0.468639 1.10/1.17 c bounds 223 >= 137 @ 0.468639 1.10/1.17 c bounds 223 >= 138 @ 0.468932 1.10/1.17 c bounds 223 >= 139 @ 0.470185 1.10/1.17 c bounds 223 >= 140 @ 0.473194 1.10/1.17 c bounds 223 >= 141 @ 0.474613 1.10/1.17 c bounds 223 >= 142 @ 0.480822 1.10/1.17 c bounds 222 >= 142 @ 0.495234 1.10/1.17 c bounds 222 >= 143 @ 0.498576 1.10/1.17 c bounds 222 >= 144 @ 0.508428 1.10/1.17 c bounds 221 >= 144 @ 0.511747 1.10/1.17 c bounds 220 >= 144 @ 0.51446 1.10/1.17 c bounds 219 >= 144 @ 0.518716 1.10/1.17 c #Conflicts: 1000 | #Constraints: 2183 1.10/1.17 c bounds 219 >= 145 @ 0.661458 1.10/1.17 c bounds 218 >= 145 @ 0.712435 1.10/1.17 c bounds 217 >= 145 @ 0.78583 1.10/1.17 c bounds 216 >= 145 @ 0.805812 1.10/1.17 c bounds 215 >= 145 @ 0.84376 1.10/1.17 c #Conflicts: 2000 | #Constraints: 3280 1.10/1.17 c INPROCESSING 1.10/1.17 c GARBAGE COLLECT 1.10/1.17 c rational objective 145 2.00/2.06 c bounds 214 >= 145 @ 1.23478 2.00/2.06 c #Conflicts: 3000 | #Constraints: 3172 2.00/2.06 c bounds 213 >= 145 @ 1.47959 2.00/2.06 c #Conflicts: 4000 | #Constraints: 4173 2.00/2.06 c INPROCESSING 2.00/2.06 c GARBAGE COLLECT 2.00/2.06 c rational objective 145 2.88/2.93 c bounds 212 >= 145 @ 2.05506 2.88/2.93 c bounds 211 >= 145 @ 2.08864 2.88/2.93 c #Conflicts: 5000 | #Constraints: 3611 2.88/2.93 c #Conflicts: 6000 | #Constraints: 4611 2.88/2.93 c bounds 210 >= 145 @ 2.56914 2.88/2.93 c INPROCESSING 2.88/2.93 c GARBAGE COLLECT 2.88/2.93 c rational objective 145 3.88/3.93 c bounds 210 >= 146 @ 2.87344 3.88/3.93 c #Conflicts: 7000 | #Constraints: 3695 3.88/3.93 c #Conflicts: 8000 | #Constraints: 4695 3.88/3.93 c bounds 210 >= 147 @ 3.34745 3.88/3.93 c bounds 209 >= 147 @ 3.35914 3.88/3.93 c #Conflicts: 9000 | #Constraints: 5729 3.88/3.93 c INPROCESSING 3.88/3.93 c GARBAGE COLLECT 3.88/3.93 c rational objective 147 4.98/5.05 c #Conflicts: 10000 | #Constraints: 4390 4.98/5.05 c #Conflicts: 11000 | #Constraints: 5390 4.98/5.05 c #Conflicts: 12000 | #Constraints: 6390 4.98/5.05 c INPROCESSING 4.98/5.05 c GARBAGE COLLECT 4.98/5.05 c rational objective 147 5.99/6.03 c #Conflicts: 13000 | #Constraints: 4891 5.99/6.03 c #Conflicts: 14000 | #Constraints: 5891 5.99/6.03 c #Conflicts: 15000 | #Constraints: 6891 5.99/6.03 c INPROCESSING 5.99/6.03 c GARBAGE COLLECT 5.99/6.03 c rational objective 147 7.37/7.49 c bounds 209 >= 148 @ 6.04244 7.37/7.49 c #Conflicts: 16000 | #Constraints: 5117 7.37/7.49 c #Conflicts: 17000 | #Constraints: 6117 7.37/7.49 c #Conflicts: 18000 | #Constraints: 7117 7.37/7.49 c INPROCESSING 7.37/7.49 c GARBAGE COLLECT 7.37/7.49 c rational objective 148 16.44/16.52 c bounds 208 >= 148 @ 7.19204 16.44/16.52 c #Conflicts: 19000 | #Constraints: 5162 16.44/16.52 c bounds 207 >= 148 @ 7.36845 16.44/16.52 c bounds 206 >= 148 @ 7.39947 16.44/16.52 c bounds 205 >= 148 @ 7.41334 16.44/16.52 c #Conflicts: 20000 | #Constraints: 6165 16.44/16.52 c #Conflicts: 21000 | #Constraints: 7165 16.44/16.52 c #Conflicts: 22000 | #Constraints: 8165 16.44/16.52 c #Conflicts: 23000 | #Constraints: 9165 16.44/16.52 c #Conflicts: 24000 | #Constraints: 10165 16.44/16.52 c bounds 204 >= 148 @ 9.68927 16.44/16.52 c #Conflicts: 25000 | #Constraints: 11166 16.44/16.52 c #Conflicts: 26000 | #Constraints: 12166 16.44/16.52 c #Conflicts: 27000 | #Constraints: 13166 16.44/16.52 c #Conflicts: 28000 | #Constraints: 14166 16.44/16.52 c INPROCESSING 16.44/16.52 c GARBAGE COLLECT 16.44/16.52 c rational objective 148 18.84/18.90 c bounds 203 >= 148 @ 16.0043 18.84/18.90 c bounds 202 >= 148 @ 16.0109 18.84/18.90 c #Conflicts: 29000 | #Constraints: 8399 18.84/18.90 c bounds 201 >= 148 @ 16.0876 18.84/18.90 c #Conflicts: 30000 | #Constraints: 9401 18.84/18.90 c #Conflicts: 31000 | #Constraints: 10401 18.84/18.90 c #Conflicts: 32000 | #Constraints: 11401 18.84/18.90 c #Conflicts: 33000 | #Constraints: 12401 18.84/18.90 c INPROCESSING 18.84/18.90 c GARBAGE COLLECT 18.84/18.90 c rational objective 148 20.94/21.06 c #Conflicts: 34000 | #Constraints: 7700 20.94/21.06 c #Conflicts: 35000 | #Constraints: 8700 20.94/21.06 c #Conflicts: 36000 | #Constraints: 9700 20.94/21.06 c #Conflicts: 37000 | #Constraints: 10700 20.94/21.06 c #Conflicts: 38000 | #Constraints: 11700 20.94/21.06 c INPROCESSING 20.94/21.06 c GARBAGE COLLECT 20.94/21.06 c rational objective 148 27.42/27.51 c #Conflicts: 39000 | #Constraints: 7510 27.42/27.51 c #Conflicts: 40000 | #Constraints: 8510 27.42/27.51 c #Conflicts: 41000 | #Constraints: 9510 27.42/27.51 c #Conflicts: 42000 | #Constraints: 10511 27.42/27.51 c INPROCESSING 27.42/27.51 c GARBAGE COLLECT 27.42/27.51 c #Conflicts: 43000 | #Constraints: 6527 27.42/27.51 c #Conflicts: 44000 | #Constraints: 7527 27.42/27.51 c #Conflicts: 45000 | #Constraints: 8527 27.42/27.51 c #Conflicts: 46000 | #Constraints: 9534 27.42/27.51 c #Conflicts: 47000 | #Constraints: 10657 27.42/27.51 c #Conflicts: 48000 | #Constraints: 11658 27.42/27.51 c INPROCESSING 27.42/27.51 c GARBAGE COLLECT 27.42/27.51 c rational objective 148 31.80/31.90 c #Conflicts: 49000 | #Constraints: 7488 31.80/31.90 c #Conflicts: 50000 | #Constraints: 8488 31.80/31.90 c #Conflicts: 51000 | #Constraints: 9489 31.80/31.90 c bounds 200 >= 148 @ 28.2208 31.80/31.90 c #Conflicts: 52000 | #Constraints: 10491 31.80/31.90 c bounds 200 >= 149 @ 28.8339 31.80/31.90 c #Conflicts: 53000 | #Constraints: 11536 31.80/31.90 c INPROCESSING 31.80/31.90 c GARBAGE COLLECT 31.80/31.90 c rational objective 149 35.30/35.45 c #Conflicts: 54000 | #Constraints: 7350 35.30/35.45 c #Conflicts: 55000 | #Constraints: 8350 35.30/35.45 c #Conflicts: 56000 | #Constraints: 9350 35.30/35.45 c #Conflicts: 57000 | #Constraints: 10350 35.30/35.45 c #Conflicts: 58000 | #Constraints: 11350 35.30/35.45 c INPROCESSING 35.30/35.45 c GARBAGE COLLECT 35.30/35.45 c rational objective 149 52.66/52.87 c #Conflicts: 59000 | #Constraints: 7024 52.66/52.87 c #Conflicts: 60000 | #Constraints: 8024 52.66/52.87 c #Conflicts: 61000 | #Constraints: 9032 52.66/52.87 c #Conflicts: 62000 | #Constraints: 10032 52.66/52.87 c #Conflicts: 63000 | #Constraints: 11032 52.66/52.87 c #Conflicts: 64000 | #Constraints: 12032 52.66/52.87 c bounds 199 >= 149 @ 36.5429 52.66/52.87 c #Conflicts: 65000 | #Constraints: 13033 52.66/52.87 c #Conflicts: 66000 | #Constraints: 14033 52.66/52.87 c #Conflicts: 67000 | #Constraints: 15033 52.66/52.87 c #Conflicts: 68000 | #Constraints: 16033 52.66/52.87 c #Conflicts: 69000 | #Constraints: 17033 52.66/52.87 c #Conflicts: 70000 | #Constraints: 18033 52.66/52.87 c #Conflicts: 71000 | #Constraints: 19033 52.66/52.87 c #Conflicts: 72000 | #Constraints: 20033 52.66/52.87 c #Conflicts: 73000 | #Constraints: 21033 52.66/52.87 c #Conflicts: 74000 | #Constraints: 22033 52.66/52.87 c #Conflicts: 75000 | #Constraints: 23033 52.66/52.87 c #Conflicts: 76000 | #Constraints: 24033 52.66/52.87 c #Conflicts: 77000 | #Constraints: 25033 52.66/52.87 c #Conflicts: 78000 | #Constraints: 26033 52.66/52.87 c INPROCESSING 52.66/52.87 c GARBAGE COLLECT 52.66/52.87 c rational objective 149 73.10/73.32 c #Conflicts: 79000 | #Constraints: 14703 73.10/73.32 c #Conflicts: 80000 | #Constraints: 15703 73.10/73.32 c #Conflicts: 81000 | #Constraints: 16703 73.10/73.32 c #Conflicts: 82000 | #Constraints: 17703 73.10/73.32 c #Conflicts: 83000 | #Constraints: 18703 73.10/73.32 c #Conflicts: 84000 | #Constraints: 19703 73.10/73.32 c INPROCESSING 73.10/73.32 c GARBAGE COLLECT 73.10/73.32 c rational objective 149 82.37/82.64 c #Conflicts: 85000 | #Constraints: 11214 82.37/82.64 c #Conflicts: 86000 | #Constraints: 12216 82.37/82.64 c #Conflicts: 87000 | #Constraints: 13216 82.37/82.64 c #Conflicts: 88000 | #Constraints: 14216 82.37/82.64 c #Conflicts: 89000 | #Constraints: 15217 82.37/82.64 c #Conflicts: 90000 | #Constraints: 16217 82.37/82.64 c #Conflicts: 91000 | #Constraints: 17217 82.37/82.64 c INPROCESSING 82.37/82.64 c GARBAGE COLLECT 82.37/82.64 c rational objective 149 92.55/92.87 c #Conflicts: 92000 | #Constraints: 9956 92.55/92.87 c #Conflicts: 93000 | #Constraints: 10956 92.55/92.87 c #Conflicts: 94000 | #Constraints: 11956 92.55/92.87 c #Conflicts: 95000 | #Constraints: 12956 92.55/92.87 c #Conflicts: 96000 | #Constraints: 13956 92.55/92.87 c #Conflicts: 97000 | #Constraints: 14956 92.55/92.87 c bounds 198 >= 149 @ 84.0443 92.55/92.87 c #Conflicts: 98000 | #Constraints: 15957 92.55/92.87 c #Conflicts: 99000 | #Constraints: 16983 92.55/92.87 c INPROCESSING 92.55/92.87 c GARBAGE COLLECT 92.55/92.87 c #Conflicts: 100000 | #Constraints: 10166 92.55/92.87 c #Conflicts: 101000 | #Constraints: 11168 92.55/92.87 c #Conflicts: 102000 | #Constraints: 12168 92.55/92.87 c #Conflicts: 103000 | #Constraints: 13168 92.55/92.87 c #Conflicts: 104000 | #Constraints: 14168 92.55/92.87 c #Conflicts: 105000 | #Constraints: 15168 92.55/92.87 c #Conflicts: 106000 | #Constraints: 16207 92.55/92.87 c INPROCESSING 92.55/92.87 c GARBAGE COLLECT 92.55/92.87 c rational objective 149 100.93/101.26 c #Conflicts: 107000 | #Constraints: 9584 100.93/101.26 c #Conflicts: 108000 | #Constraints: 10584 100.93/101.26 c #Conflicts: 109000 | #Constraints: 11584 100.93/101.26 c #Conflicts: 110000 | #Constraints: 12584 100.93/101.26 c #Conflicts: 111000 | #Constraints: 13584 100.93/101.26 c #Conflicts: 112000 | #Constraints: 14584 100.93/101.26 c #Conflicts: 113000 | #Constraints: 15584 100.93/101.26 c #Conflicts: 114000 | #Constraints: 16584 100.93/101.26 c INPROCESSING 100.93/101.26 c GARBAGE COLLECT 100.93/101.26 c rational objective 149 182.71/183.27 c #Conflicts: 115000 | #Constraints: 10061 182.71/183.27 c #Conflicts: 116000 | #Constraints: 11061 182.71/183.27 c #Conflicts: 117000 | #Constraints: 12061 182.71/183.27 c #Conflicts: 118000 | #Constraints: 13061 182.71/183.27 c #Conflicts: 119000 | #Constraints: 14061 182.71/183.27 c #Conflicts: 120000 | #Constraints: 15061 182.71/183.27 c bounds 197 >= 149 @ 102.878 182.71/183.27 c #Conflicts: 121000 | #Constraints: 16062 182.71/183.27 c #Conflicts: 122000 | #Constraints: 17062 182.71/183.27 c bounds 196 >= 149 @ 105.355 182.71/183.27 c #Conflicts: 123000 | #Constraints: 18063 182.71/183.27 c #Conflicts: 124000 | #Constraints: 19063 182.71/183.27 c #Conflicts: 125000 | #Constraints: 20063 182.71/183.27 c #Conflicts: 126000 | #Constraints: 21063 182.71/183.27 c #Conflicts: 127000 | #Constraints: 22063 182.71/183.27 c #Conflicts: 128000 | #Constraints: 23063 182.71/183.27 c #Conflicts: 129000 | #Constraints: 24063 182.71/183.27 c #Conflicts: 130000 | #Constraints: 25063 182.71/183.27 c #Conflicts: 131000 | #Constraints: 26063 182.71/183.27 c #Conflicts: 132000 | #Constraints: 27063 182.71/183.27 c #Conflicts: 133000 | #Constraints: 28063 182.71/183.27 c #Conflicts: 134000 | #Constraints: 29063 182.71/183.27 c #Conflicts: 135000 | #Constraints: 30063 182.71/183.27 c #Conflicts: 136000 | #Constraints: 31063 182.71/183.27 c #Conflicts: 137000 | #Constraints: 32063 182.71/183.27 c #Conflicts: 138000 | #Constraints: 33063 182.71/183.27 c #Conflicts: 139000 | #Constraints: 34063 182.71/183.27 c #Conflicts: 140000 | #Constraints: 35063 182.71/183.27 c INPROCESSING 182.71/183.27 c GARBAGE COLLECT 182.71/183.27 c rational objective 149 194.28/194.88 c #Conflicts: 141000 | #Constraints: 18932 194.28/194.88 c #Conflicts: 142000 | #Constraints: 19932 194.28/194.88 c #Conflicts: 143000 | #Constraints: 20932 194.28/194.88 c #Conflicts: 144000 | #Constraints: 21932 194.28/194.88 c #Conflicts: 145000 | #Constraints: 22932 194.28/194.88 c #Conflicts: 146000 | #Constraints: 23932 194.28/194.88 c #Conflicts: 147000 | #Constraints: 24932 194.28/194.88 c #Conflicts: 148000 | #Constraints: 25932 194.28/194.88 c #Conflicts: 149000 | #Constraints: 26932 194.28/194.88 c INPROCESSING 194.28/194.88 c GARBAGE COLLECT 194.28/194.88 c rational objective 149 204.56/205.14 c #Conflicts: 150000 | #Constraints: 14845 204.56/205.14 c #Conflicts: 151000 | #Constraints: 15845 204.56/205.14 c #Conflicts: 152000 | #Constraints: 16845 204.56/205.14 c #Conflicts: 153000 | #Constraints: 17845 204.56/205.14 c #Conflicts: 154000 | #Constraints: 18845 204.56/205.14 c #Conflicts: 155000 | #Constraints: 19845 204.56/205.14 c #Conflicts: 156000 | #Constraints: 20845 204.56/205.14 c #Conflicts: 157000 | #Constraints: 21845 204.56/205.14 c #Conflicts: 158000 | #Constraints: 22845 204.56/205.14 c INPROCESSING 204.56/205.14 c GARBAGE COLLECT 204.56/205.14 c rational objective 149 214.44/215.10 c #Conflicts: 159000 | #Constraints: 12803 214.44/215.10 c #Conflicts: 160000 | #Constraints: 13803 214.44/215.10 c #Conflicts: 161000 | #Constraints: 14803 214.44/215.10 c #Conflicts: 162000 | #Constraints: 15803 214.44/215.10 c #Conflicts: 163000 | #Constraints: 16803 214.44/215.10 c #Conflicts: 164000 | #Constraints: 17803 214.44/215.10 c #Conflicts: 165000 | #Constraints: 18803 214.44/215.10 c #Conflicts: 166000 | #Constraints: 19803 214.44/215.10 c #Conflicts: 167000 | #Constraints: 20803 214.44/215.10 c bounds 195 >= 149 @ 210.165 214.44/215.10 c #Conflicts: 168000 | #Constraints: 21804 214.44/215.10 c INPROCESSING 214.44/215.10 c GARBAGE COLLECT 214.44/215.10 c rational objective 149 225.20/225.82 c #Conflicts: 169000 | #Constraints: 12585 225.20/225.82 c #Conflicts: 170000 | #Constraints: 13585 225.20/225.82 c #Conflicts: 171000 | #Constraints: 14585 225.20/225.82 c #Conflicts: 172000 | #Constraints: 15585 225.20/225.82 c #Conflicts: 173000 | #Constraints: 16585 225.20/225.82 c #Conflicts: 174000 | #Constraints: 17585 225.20/225.82 c #Conflicts: 175000 | #Constraints: 18585 225.20/225.82 c #Conflicts: 176000 | #Constraints: 19585 225.20/225.82 c #Conflicts: 177000 | #Constraints: 20585 225.20/225.82 c INPROCESSING 225.20/225.82 c GARBAGE COLLECT 225.20/225.82 c rational objective 149 241.15/241.87 c #Conflicts: 178000 | #Constraints: 11727 241.15/241.87 c #Conflicts: 179000 | #Constraints: 12727 241.15/241.87 c #Conflicts: 180000 | #Constraints: 13727 241.15/241.87 c #Conflicts: 181000 | #Constraints: 14727 241.15/241.87 c #Conflicts: 182000 | #Constraints: 15727 241.15/241.87 c #Conflicts: 183000 | #Constraints: 16727 241.15/241.87 c #Conflicts: 184000 | #Constraints: 17727 241.15/241.87 c #Conflicts: 185000 | #Constraints: 18727 241.15/241.87 c #Conflicts: 186000 | #Constraints: 19727 241.15/241.87 c #Conflicts: 187000 | #Constraints: 20727 241.15/241.87 c INPROCESSING 241.15/241.87 c GARBAGE COLLECT 241.15/241.87 c rational objective 149 317.66/318.56 c #Conflicts: 188000 | #Constraints: 12019 317.66/318.56 c bounds 194 >= 149 @ 238.298 317.66/318.56 c #Conflicts: 189000 | #Constraints: 13020 317.66/318.56 c #Conflicts: 190000 | #Constraints: 14020 317.66/318.56 c bounds 193 >= 149 @ 239.453 317.66/318.56 c #Conflicts: 191000 | #Constraints: 15021 317.66/318.56 c #Conflicts: 192000 | #Constraints: 16021 317.66/318.56 c #Conflicts: 193000 | #Constraints: 17063 317.66/318.56 c #Conflicts: 194000 | #Constraints: 18063 317.66/318.56 c #Conflicts: 195000 | #Constraints: 19063 317.66/318.56 c #Conflicts: 196000 | #Constraints: 20063 317.66/318.56 c #Conflicts: 197000 | #Constraints: 21063 317.66/318.56 c #Conflicts: 198000 | #Constraints: 22063 317.66/318.56 c #Conflicts: 199000 | #Constraints: 23063 317.66/318.56 c #Conflicts: 200000 | #Constraints: 24063 317.66/318.56 c #Conflicts: 201000 | #Constraints: 25063 317.66/318.56 c #Conflicts: 202000 | #Constraints: 26063 317.66/318.56 c #Conflicts: 203000 | #Constraints: 27063 317.66/318.56 c #Conflicts: 204000 | #Constraints: 28063 317.66/318.56 c #Conflicts: 205000 | #Constraints: 29063 317.66/318.56 c #Conflicts: 206000 | #Constraints: 30063 317.66/318.56 c #Conflicts: 207000 | #Constraints: 31063 317.66/318.56 c #Conflicts: 208000 | #Constraints: 32063 317.66/318.56 c #Conflicts: 209000 | #Constraints: 33063 317.66/318.56 c #Conflicts: 210000 | #Constraints: 34063 317.66/318.56 c #Conflicts: 211000 | #Constraints: 35063 317.66/318.56 c #Conflicts: 212000 | #Constraints: 36063 317.66/318.56 c #Conflicts: 213000 | #Constraints: 37063 317.66/318.56 c #Conflicts: 214000 | #Constraints: 38063 317.66/318.56 c #Conflicts: 215000 | #Constraints: 39063 317.66/318.56 c #Conflicts: 216000 | #Constraints: 40063 317.66/318.56 c #Conflicts: 217000 | #Constraints: 41063 317.66/318.56 c #Conflicts: 218000 | #Constraints: 42063 317.66/318.56 c #Conflicts: 219000 | #Constraints: 43063 317.66/318.56 c #Conflicts: 220000 | #Constraints: 44063 317.66/318.56 c #Conflicts: 221000 | #Constraints: 45063 317.66/318.56 c INPROCESSING 317.66/318.56 c GARBAGE COLLECT 317.66/318.56 c rational objective 149 379.01/380.03 c #Conflicts: 222000 | #Constraints: 24021 379.01/380.03 c #Conflicts: 223000 | #Constraints: 25021 379.01/380.03 c #Conflicts: 224000 | #Constraints: 26021 379.01/380.03 c #Conflicts: 225000 | #Constraints: 27021 379.01/380.03 c #Conflicts: 226000 | #Constraints: 28021 379.01/380.03 c #Conflicts: 227000 | #Constraints: 29021 379.01/380.03 c #Conflicts: 228000 | #Constraints: 30021 379.01/380.03 c #Conflicts: 229000 | #Constraints: 31021 379.01/380.03 c #Conflicts: 230000 | #Constraints: 32021 379.01/380.03 c #Conflicts: 231000 | #Constraints: 33021 379.01/380.03 c #Conflicts: 232000 | #Constraints: 34022 379.01/380.03 c INPROCESSING 379.01/380.03 c GARBAGE COLLECT 379.01/380.03 c rational objective 149 411.41/412.59 c #Conflicts: 233000 | #Constraints: 18575 411.41/412.59 c #Conflicts: 234000 | #Constraints: 19575 411.41/412.59 c #Conflicts: 235000 | #Constraints: 20575 411.41/412.59 c #Conflicts: 236000 | #Constraints: 21577 411.41/412.59 c #Conflicts: 237000 | #Constraints: 22577 411.41/412.59 c #Conflicts: 238000 | #Constraints: 23577 411.41/412.59 c #Conflicts: 239000 | #Constraints: 24577 411.41/412.59 c #Conflicts: 240000 | #Constraints: 25577 411.41/412.59 c bounds 193 >= 150 @ 397.985 411.41/412.59 c #Conflicts: 241000 | #Constraints: 26628 411.41/412.59 c #Conflicts: 242000 | #Constraints: 27629 411.41/412.59 c #Conflicts: 243000 | #Constraints: 28629 411.41/412.59 c INPROCESSING 411.41/412.59 c GARBAGE COLLECT 411.41/412.59 c rational objective 150 437.64/438.89 c #Conflicts: 244000 | #Constraints: 15798 437.64/438.89 c #Conflicts: 245000 | #Constraints: 16798 437.64/438.89 c #Conflicts: 246000 | #Constraints: 17798 437.64/438.89 c #Conflicts: 247000 | #Constraints: 18798 437.64/438.89 c #Conflicts: 248000 | #Constraints: 19798 437.64/438.89 c #Conflicts: 249000 | #Constraints: 20798 437.64/438.89 c #Conflicts: 250000 | #Constraints: 21798 437.64/438.89 c #Conflicts: 251000 | #Constraints: 22798 437.64/438.89 c #Conflicts: 252000 | #Constraints: 23798 437.64/438.89 c #Conflicts: 253000 | #Constraints: 24798 437.64/438.89 c #Conflicts: 254000 | #Constraints: 25798 437.64/438.89 c #Conflicts: 255000 | #Constraints: 26798 437.64/438.89 c INPROCESSING 437.64/438.89 c GARBAGE COLLECT 437.64/438.89 c rational objective 150 602.47/604.16 c #Conflicts: 256000 | #Constraints: 15190 602.47/604.16 c #Conflicts: 257000 | #Constraints: 16190 602.47/604.16 c #Conflicts: 258000 | #Constraints: 17190 602.47/604.16 c #Conflicts: 259000 | #Constraints: 18190 602.47/604.16 c #Conflicts: 260000 | #Constraints: 19190 602.47/604.16 c #Conflicts: 261000 | #Constraints: 20190 602.47/604.16 c #Conflicts: 262000 | #Constraints: 21190 602.47/604.16 c #Conflicts: 263000 | #Constraints: 22190 602.47/604.16 c #Conflicts: 264000 | #Constraints: 23190 602.47/604.16 c #Conflicts: 265000 | #Constraints: 24232 602.47/604.16 c #Conflicts: 266000 | #Constraints: 25232 602.47/604.16 c #Conflicts: 267000 | #Constraints: 26232 602.47/604.16 c #Conflicts: 268000 | #Constraints: 27232 602.47/604.16 c #Conflicts: 269000 | #Constraints: 28232 602.47/604.16 c #Conflicts: 270000 | #Constraints: 29232 602.47/604.16 c #Conflicts: 271000 | #Constraints: 30232 602.47/604.16 c #Conflicts: 272000 | #Constraints: 31232 602.47/604.16 c #Conflicts: 273000 | #Constraints: 32232 602.47/604.16 c #Conflicts: 274000 | #Constraints: 33232 602.47/604.16 c #Conflicts: 275000 | #Constraints: 34232 602.47/604.16 c #Conflicts: 276000 | #Constraints: 35232 602.47/604.16 c #Conflicts: 277000 | #Constraints: 36232 602.47/604.16 c #Conflicts: 278000 | #Constraints: 37232 602.47/604.16 c #Conflicts: 279000 | #Constraints: 38232 602.47/604.16 c #Conflicts: 280000 | #Constraints: 39232 602.47/604.16 c #Conflicts: 281000 | #Constraints: 40232 602.47/604.16 c #Conflicts: 282000 | #Constraints: 41232 602.47/604.16 c #Conflicts: 283000 | #Constraints: 42232 602.47/604.16 c #Conflicts: 284000 | #Constraints: 43232 602.47/604.16 c #Conflicts: 285000 | #Constraints: 44232 602.47/604.16 c bounds 192 >= 150 @ 501.92 602.47/604.16 c #Conflicts: 286000 | #Constraints: 45233 602.47/604.16 c #Conflicts: 287000 | #Constraints: 46233 602.47/604.16 c #Conflicts: 288000 | #Constraints: 47233 602.47/604.16 c #Conflicts: 289000 | #Constraints: 48233 602.47/604.16 c #Conflicts: 290000 | #Constraints: 49233 602.47/604.16 c #Conflicts: 291000 | #Constraints: 50233 602.47/604.16 c #Conflicts: 292000 | #Constraints: 51233 602.47/604.16 c #Conflicts: 293000 | #Constraints: 52233 602.47/604.16 c #Conflicts: 294000 | #Constraints: 53233 602.47/604.16 c INPROCESSING 602.47/604.16 c GARBAGE COLLECT 602.47/604.16 c rational objective 150 631.48/633.25 c #Conflicts: 295000 | #Constraints: 28159 631.48/633.25 c #Conflicts: 296000 | #Constraints: 29159 631.48/633.25 c #Conflicts: 297000 | #Constraints: 30159 631.48/633.25 c #Conflicts: 298000 | #Constraints: 31159 631.48/633.25 c #Conflicts: 299000 | #Constraints: 32159 631.48/633.25 c #Conflicts: 300000 | #Constraints: 33159 631.48/633.25 c #Conflicts: 301000 | #Constraints: 34159 631.48/633.25 c #Conflicts: 302000 | #Constraints: 35159 631.48/633.25 c #Conflicts: 303000 | #Constraints: 36159 631.48/633.25 c #Conflicts: 304000 | #Constraints: 37159 631.48/633.25 c #Conflicts: 305000 | #Constraints: 38159 631.48/633.25 c #Conflicts: 306000 | #Constraints: 39159 631.48/633.25 c #Conflicts: 307000 | #Constraints: 40159 631.48/633.25 c INPROCESSING 631.48/633.25 c GARBAGE COLLECT 631.48/633.25 c rational objective 150 670.59/672.49 c #Conflicts: 308000 | #Constraints: 21685 670.59/672.49 c #Conflicts: 309000 | #Constraints: 22685 670.59/672.49 c #Conflicts: 310000 | #Constraints: 23685 670.59/672.49 c #Conflicts: 311000 | #Constraints: 24686 670.59/672.49 c #Conflicts: 312000 | #Constraints: 25686 670.59/672.49 c #Conflicts: 313000 | #Constraints: 26686 670.59/672.49 c #Conflicts: 314000 | #Constraints: 27686 670.59/672.49 c #Conflicts: 315000 | #Constraints: 28687 670.59/672.49 c #Conflicts: 316000 | #Constraints: 29687 670.59/672.49 c #Conflicts: 317000 | #Constraints: 30687 670.59/672.49 c #Conflicts: 318000 | #Constraints: 31687 670.59/672.49 c #Conflicts: 319000 | #Constraints: 32687 670.59/672.49 c #Conflicts: 320000 | #Constraints: 33687 670.59/672.49 c INPROCESSING 670.59/672.49 c GARBAGE COLLECT 670.59/672.49 c rational objective 150 700.91/702.86 c #Conflicts: 321000 | #Constraints: 18589 700.91/702.86 c #Conflicts: 322000 | #Constraints: 19589 700.91/702.86 c #Conflicts: 323000 | #Constraints: 20589 700.91/702.86 c #Conflicts: 324000 | #Constraints: 21589 700.91/702.86 c #Conflicts: 325000 | #Constraints: 22589 700.91/702.86 c #Conflicts: 326000 | #Constraints: 23589 700.91/702.86 c #Conflicts: 327000 | #Constraints: 24589 700.91/702.86 c #Conflicts: 328000 | #Constraints: 25589 700.91/702.86 c #Conflicts: 329000 | #Constraints: 26589 700.91/702.86 c #Conflicts: 330000 | #Constraints: 27589 700.91/702.86 c #Conflicts: 331000 | #Constraints: 28589 700.91/702.86 c #Conflicts: 332000 | #Constraints: 29589 700.91/702.86 c #Conflicts: 333000 | #Constraints: 30589 700.91/702.86 c INPROCESSING 700.91/702.86 c GARBAGE COLLECT 700.91/702.86 c rational objective 150 919.88/922.31 c #Conflicts: 334000 | #Constraints: 16901 919.88/922.31 c #Conflicts: 335000 | #Constraints: 17901 919.88/922.31 c #Conflicts: 336000 | #Constraints: 18901 919.88/922.31 c #Conflicts: 337000 | #Constraints: 19901 919.88/922.31 c #Conflicts: 338000 | #Constraints: 20901 919.88/922.31 c #Conflicts: 339000 | #Constraints: 21901 919.88/922.31 c #Conflicts: 340000 | #Constraints: 22901 919.88/922.31 c #Conflicts: 341000 | #Constraints: 23901 919.88/922.31 c #Conflicts: 342000 | #Constraints: 24901 919.88/922.31 c #Conflicts: 343000 | #Constraints: 25901 919.88/922.31 c #Conflicts: 344000 | #Constraints: 26901 919.88/922.31 c #Conflicts: 345000 | #Constraints: 27901 919.88/922.31 c #Conflicts: 346000 | #Constraints: 28901 919.88/922.31 c #Conflicts: 347000 | #Constraints: 29901 919.88/922.31 c #Conflicts: 348000 | #Constraints: 30901 919.88/922.31 c #Conflicts: 349000 | #Constraints: 31901 919.88/922.31 c #Conflicts: 350000 | #Constraints: 32901 919.88/922.31 c #Conflicts: 351000 | #Constraints: 33901 919.88/922.31 c #Conflicts: 352000 | #Constraints: 34901 919.88/922.31 c #Conflicts: 353000 | #Constraints: 35901 919.88/922.31 c #Conflicts: 354000 | #Constraints: 36901 919.88/922.31 c #Conflicts: 355000 | #Constraints: 37901 919.88/922.31 c #Conflicts: 356000 | #Constraints: 38901 919.88/922.31 c #Conflicts: 357000 | #Constraints: 39901 919.88/922.31 c #Conflicts: 358000 | #Constraints: 40901 919.88/922.31 c #Conflicts: 359000 | #Constraints: 41901 919.88/922.31 c #Conflicts: 360000 | #Constraints: 42901 919.88/922.31 c #Conflicts: 361000 | #Constraints: 43901 919.88/922.31 c #Conflicts: 362000 | #Constraints: 44901 919.88/922.31 c #Conflicts: 363000 | #Constraints: 45901 919.88/922.31 c #Conflicts: 364000 | #Constraints: 46901 919.88/922.31 c #Conflicts: 365000 | #Constraints: 47901 919.88/922.31 c #Conflicts: 366000 | #Constraints: 48901 919.88/922.31 c #Conflicts: 367000 | #Constraints: 49901 919.88/922.31 c #Conflicts: 368000 | #Constraints: 50901 919.88/922.31 c #Conflicts: 369000 | #Constraints: 51902 919.88/922.31 c #Conflicts: 370000 | #Constraints: 52902 919.88/922.31 c #Conflicts: 371000 | #Constraints: 53902 919.88/922.31 c #Conflicts: 372000 | #Constraints: 54902 919.88/922.31 c #Conflicts: 373000 | #Constraints: 55903 919.88/922.31 c #Conflicts: 374000 | #Constraints: 56904 919.88/922.31 c #Conflicts: 375000 | #Constraints: 57905 919.88/922.31 c #Conflicts: 376000 | #Constraints: 58905 919.88/922.31 c #Conflicts: 377000 | #Constraints: 59905 919.88/922.31 c #Conflicts: 378000 | #Constraints: 60905 919.88/922.31 c INPROCESSING 919.88/922.31 c GARBAGE COLLECT 919.88/922.31 c rational objective 150 958.68/961.29 c #Conflicts: 379000 | #Constraints: 32249 958.68/961.29 c #Conflicts: 380000 | #Constraints: 33249 958.68/961.29 c #Conflicts: 381000 | #Constraints: 34249 958.68/961.29 c #Conflicts: 382000 | #Constraints: 35249 958.68/961.29 c #Conflicts: 383000 | #Constraints: 36249 958.68/961.29 c #Conflicts: 384000 | #Constraints: 37249 958.68/961.29 c #Conflicts: 385000 | #Constraints: 38249 958.68/961.29 c #Conflicts: 386000 | #Constraints: 39249 958.68/961.29 c #Conflicts: 387000 | #Constraints: 40249 958.68/961.29 c #Conflicts: 388000 | #Constraints: 41249 958.68/961.29 c #Conflicts: 389000 | #Constraints: 42256 958.68/961.29 c #Conflicts: 390000 | #Constraints: 43289 958.68/961.29 c #Conflicts: 391000 | #Constraints: 44289 958.68/961.29 c #Conflicts: 392000 | #Constraints: 45313 958.68/961.29 c INPROCESSING 958.68/961.29 c GARBAGE COLLECT 958.68/961.29 c rational objective 150 1004.97/1007.63 c #Conflicts: 393000 | #Constraints: 24166 1004.97/1007.63 c #Conflicts: 394000 | #Constraints: 25166 1004.97/1007.63 c #Conflicts: 395000 | #Constraints: 26166 1004.97/1007.63 c #Conflicts: 396000 | #Constraints: 27183 1004.97/1007.63 c #Conflicts: 397000 | #Constraints: 28304 1004.97/1007.63 c #Conflicts: 398000 | #Constraints: 29352 1004.97/1007.63 c #Conflicts: 399000 | #Constraints: 30412 1004.97/1007.63 c #Conflicts: 400000 | #Constraints: 31454 1004.97/1007.63 c #Conflicts: 401000 | #Constraints: 32454 1004.97/1007.63 c #Conflicts: 402000 | #Constraints: 33454 1004.97/1007.63 c #Conflicts: 403000 | #Constraints: 34454 1004.97/1007.63 c #Conflicts: 404000 | #Constraints: 35454 1004.97/1007.63 c #Conflicts: 405000 | #Constraints: 36454 1004.97/1007.63 c #Conflicts: 406000 | #Constraints: 37454 1004.97/1007.63 c #Conflicts: 407000 | #Constraints: 38454 1004.97/1007.63 c INPROCESSING 1004.97/1007.63 c GARBAGE COLLECT 1004.97/1007.63 c rational objective 150 1286.08/1289.52 c #Conflicts: 408000 | #Constraints: 20944 1286.08/1289.52 c #Conflicts: 409000 | #Constraints: 21944 1286.08/1289.52 c #Conflicts: 410000 | #Constraints: 22944 1286.08/1289.52 c #Conflicts: 411000 | #Constraints: 23944 1286.08/1289.52 c #Conflicts: 412000 | #Constraints: 24944 1286.08/1289.52 c #Conflicts: 413000 | #Constraints: 25945 1286.08/1289.52 c #Conflicts: 414000 | #Constraints: 26946 1286.08/1289.52 c #Conflicts: 415000 | #Constraints: 27946 1286.08/1289.52 c #Conflicts: 416000 | #Constraints: 28946 1286.08/1289.52 c #Conflicts: 417000 | #Constraints: 29946 1286.08/1289.52 c #Conflicts: 418000 | #Constraints: 30946 1286.08/1289.52 c #Conflicts: 419000 | #Constraints: 31946 1286.08/1289.52 c #Conflicts: 420000 | #Constraints: 32946 1286.08/1289.52 c #Conflicts: 421000 | #Constraints: 33946 1286.08/1289.52 c #Conflicts: 422000 | #Constraints: 34946 1286.08/1289.52 c #Conflicts: 423000 | #Constraints: 35946 1286.08/1289.52 c #Conflicts: 424000 | #Constraints: 36946 1286.08/1289.52 c #Conflicts: 425000 | #Constraints: 37946 1286.08/1289.52 c #Conflicts: 426000 | #Constraints: 38946 1286.08/1289.52 c #Conflicts: 427000 | #Constraints: 39946 1286.08/1289.52 c #Conflicts: 428000 | #Constraints: 40946 1286.08/1289.52 c #Conflicts: 429000 | #Constraints: 41946 1286.08/1289.52 c #Conflicts: 430000 | #Constraints: 42946 1286.08/1289.52 c #Conflicts: 431000 | #Constraints: 43946 1286.08/1289.52 c #Conflicts: 432000 | #Constraints: 44946 1286.08/1289.52 c #Conflicts: 433000 | #Constraints: 45946 1286.08/1289.52 c #Conflicts: 434000 | #Constraints: 46946 1286.08/1289.52 c #Conflicts: 435000 | #Constraints: 47947 1286.08/1289.52 c #Conflicts: 436000 | #Constraints: 48947 1286.08/1289.52 c #Conflicts: 437000 | #Constraints: 49947 1286.08/1289.52 c #Conflicts: 438000 | #Constraints: 51010 1286.08/1289.52 c #Conflicts: 439000 | #Constraints: 52010 1286.08/1289.52 c #Conflicts: 440000 | #Constraints: 53010 1286.08/1289.52 c #Conflicts: 441000 | #Constraints: 54010 1286.08/1289.52 c #Conflicts: 442000 | #Constraints: 55010 1286.08/1289.52 c #Conflicts: 443000 | #Constraints: 56010 1286.08/1289.52 c #Conflicts: 444000 | #Constraints: 57010 1286.08/1289.52 c #Conflicts: 445000 | #Constraints: 58010 1286.08/1289.52 c #Conflicts: 446000 | #Constraints: 59010 1286.08/1289.52 c #Conflicts: 447000 | #Constraints: 60012 1286.08/1289.52 c #Conflicts: 448000 | #Constraints: 61047 1286.08/1289.52 c #Conflicts: 449000 | #Constraints: 62047 1286.08/1289.52 c #Conflicts: 450000 | #Constraints: 63067 1286.08/1289.52 c #Conflicts: 451000 | #Constraints: 64067 1286.08/1289.52 c #Conflicts: 452000 | #Constraints: 65067 1286.08/1289.52 c #Conflicts: 453000 | #Constraints: 66067 1286.08/1289.52 c #Conflicts: 454000 | #Constraints: 67067 1286.08/1289.52 c #Conflicts: 455000 | #Constraints: 68067 1286.08/1289.52 c #Conflicts: 456000 | #Constraints: 69067 1286.08/1289.52 c INPROCESSING 1286.08/1289.52 c GARBAGE COLLECT 1286.08/1289.52 c rational objective 150 1417.90/1421.78 c #Conflicts: 457000 | #Constraints: 36268 1417.90/1421.78 c #Conflicts: 458000 | #Constraints: 37268 1417.90/1421.78 c #Conflicts: 459000 | #Constraints: 38268 1417.90/1421.78 c #Conflicts: 460000 | #Constraints: 39268 1417.90/1421.78 c #Conflicts: 461000 | #Constraints: 40268 1417.90/1421.78 c #Conflicts: 462000 | #Constraints: 41268 1417.90/1421.78 c #Conflicts: 463000 | #Constraints: 42268 1417.90/1421.78 c #Conflicts: 464000 | #Constraints: 43268 1417.90/1421.78 c #Conflicts: 465000 | #Constraints: 44268 1417.90/1421.78 c #Conflicts: 466000 | #Constraints: 45268 1417.90/1421.78 c #Conflicts: 467000 | #Constraints: 46268 1417.90/1421.78 c #Conflicts: 468000 | #Constraints: 47268 1417.90/1421.78 c #Conflicts: 469000 | #Constraints: 48268 1417.90/1421.78 c #Conflicts: 470000 | #Constraints: 49268 1417.90/1421.78 c #Conflicts: 471000 | #Constraints: 50268 1417.90/1421.78 c INPROCESSING 1417.90/1421.78 c GARBAGE COLLECT 1417.90/1421.78 c rational objective 150 1497.47/1501.57 c #Conflicts: 472000 | #Constraints: 26484 1497.47/1501.57 c #Conflicts: 473000 | #Constraints: 27484 1497.47/1501.57 c #Conflicts: 474000 | #Constraints: 28484 1497.47/1501.57 c #Conflicts: 475000 | #Constraints: 29484 1497.47/1501.57 c #Conflicts: 476000 | #Constraints: 30484 1497.47/1501.57 c #Conflicts: 477000 | #Constraints: 31484 1497.47/1501.57 c #Conflicts: 478000 | #Constraints: 32484 1497.47/1501.57 c #Conflicts: 479000 | #Constraints: 33484 1497.47/1501.57 c #Conflicts: 480000 | #Constraints: 34484 1497.47/1501.57 c #Conflicts: 481000 | #Constraints: 35484 1497.47/1501.57 c #Conflicts: 482000 | #Constraints: 36484 1497.47/1501.57 c #Conflicts: 483000 | #Constraints: 37484 1497.47/1501.57 c #Conflicts: 484000 | #Constraints: 38484 1497.47/1501.57 c #Conflicts: 485000 | #Constraints: 39484 1497.47/1501.57 c #Conflicts: 486000 | #Constraints: 40484 1497.47/1501.57 c #Conflicts: 487000 | #Constraints: 41484 1497.47/1501.57 c #Conflicts: 488000 | #Constraints: 42484 1497.47/1501.57 c INPROCESSING 1497.47/1501.57 c GARBAGE COLLECT 1497.47/1501.57 c rational objective 150 1897.19/1902.28 c #Conflicts: 489000 | #Constraints: 23284 1897.19/1902.28 c #Conflicts: 490000 | #Constraints: 24284 1897.19/1902.28 c #Conflicts: 491000 | #Constraints: 25284 1897.19/1902.28 c #Conflicts: 492000 | #Constraints: 26284 1897.19/1902.28 c #Conflicts: 493000 | #Constraints: 27284 1897.19/1902.28 c #Conflicts: 494000 | #Constraints: 28284 1897.19/1902.28 c #Conflicts: 495000 | #Constraints: 29284 1897.19/1902.28 c #Conflicts: 496000 | #Constraints: 30284 1897.19/1902.28 c #Conflicts: 497000 | #Constraints: 31284 1897.19/1902.28 c #Conflicts: 498000 | #Constraints: 32284 1897.19/1902.28 c #Conflicts: 499000 | #Constraints: 33284 1897.19/1902.28 c #Conflicts: 500000 | #Constraints: 34284 1897.19/1902.28 c #Conflicts: 501000 | #Constraints: 35284 1897.19/1902.28 c #Conflicts: 502000 | #Constraints: 36284 1897.19/1902.28 c #Conflicts: 503000 | #Constraints: 37284 1897.19/1902.28 c #Conflicts: 504000 | #Constraints: 38284 1897.19/1902.28 c #Conflicts: 505000 | #Constraints: 39284 1897.19/1902.28 c #Conflicts: 506000 | #Constraints: 40284 1897.19/1902.28 c #Conflicts: 507000 | #Constraints: 41284 1897.19/1902.28 c #Conflicts: 508000 | #Constraints: 42284 1897.19/1902.28 c #Conflicts: 509000 | #Constraints: 43284 1897.19/1902.28 c #Conflicts: 510000 | #Constraints: 44284 1897.19/1902.28 c #Conflicts: 511000 | #Constraints: 45284 1897.19/1902.28 c #Conflicts: 512000 | #Constraints: 46284 1897.19/1902.28 c #Conflicts: 513000 | #Constraints: 47284 1897.19/1902.28 c #Conflicts: 514000 | #Constraints: 48284 1897.19/1902.28 c #Conflicts: 515000 | #Constraints: 49284 1897.19/1902.28 c #Conflicts: 516000 | #Constraints: 50284 1897.19/1902.28 c #Conflicts: 517000 | #Constraints: 51284 1897.19/1902.28 c #Conflicts: 518000 | #Constraints: 52284 1897.19/1902.28 c #Conflicts: 519000 | #Constraints: 53284 1897.19/1902.28 c #Conflicts: 520000 | #Constraints: 54285 1897.19/1902.28 c #Conflicts: 521000 | #Constraints: 55286 1897.19/1902.28 c #Conflicts: 522000 | #Constraints: 56286 1897.19/1902.28 c #Conflicts: 523000 | #Constraints: 57286 1897.19/1902.28 c #Conflicts: 524000 | #Constraints: 58287 1897.19/1902.28 c #Conflicts: 525000 | #Constraints: 59287 1897.19/1902.28 c #Conflicts: 526000 | #Constraints: 60287 1897.19/1902.28 c #Conflicts: 527000 | #Constraints: 61287 1897.19/1902.28 c #Conflicts: 528000 | #Constraints: 62287 1897.19/1902.28 c #Conflicts: 529000 | #Constraints: 63287 1897.19/1902.28 c #Conflicts: 530000 | #Constraints: 64287 1897.19/1902.28 c #Conflicts: 531000 | #Constraints: 65287 1897.19/1902.28 c #Conflicts: 532000 | #Constraints: 66287 1897.19/1902.28 c #Conflicts: 533000 | #Constraints: 67287 1897.19/1902.28 c #Conflicts: 534000 | #Constraints: 68287 1897.19/1902.28 c #Conflicts: 535000 | #Constraints: 69287 1897.19/1902.28 c #Conflicts: 536000 | #Constraints: 70287 1897.19/1902.28 c #Conflicts: 537000 | #Constraints: 71287 1897.19/1902.28 c #Conflicts: 538000 | #Constraints: 72287 1897.19/1902.28 c #Conflicts: 539000 | #Constraints: 73287 1897.19/1902.28 c #Conflicts: 540000 | #Constraints: 74287 1897.19/1902.28 c #Conflicts: 541000 | #Constraints: 75287 1897.19/1902.28 c INPROCESSING 1897.19/1902.28 c GARBAGE COLLECT 1897.19/1902.28 c rational objective 150 1956.23/1961.46 c #Conflicts: 542000 | #Constraints: 39337 1956.23/1961.46 c #Conflicts: 543000 | #Constraints: 40337 1956.23/1961.46 c #Conflicts: 544000 | #Constraints: 41337 1956.23/1961.46 c #Conflicts: 545000 | #Constraints: 42337 1956.23/1961.46 c #Conflicts: 546000 | #Constraints: 43339 1956.23/1961.46 c #Conflicts: 547000 | #Constraints: 44385 1956.23/1961.46 c #Conflicts: 548000 | #Constraints: 45458 1956.23/1961.46 c #Conflicts: 549000 | #Constraints: 46487 1956.23/1961.46 c #Conflicts: 550000 | #Constraints: 47499 1956.23/1961.46 c #Conflicts: 551000 | #Constraints: 48499 1956.23/1961.46 c #Conflicts: 552000 | #Constraints: 49499 1956.23/1961.46 c #Conflicts: 553000 | #Constraints: 50499 1956.23/1961.46 c #Conflicts: 554000 | #Constraints: 51499 1956.23/1961.46 c #Conflicts: 555000 | #Constraints: 52499 1956.23/1961.46 c #Conflicts: 556000 | #Constraints: 53499 1956.23/1961.46 c #Conflicts: 557000 | #Constraints: 54499 1956.23/1961.46 c #Conflicts: 558000 | #Constraints: 55528 1956.23/1961.46 c INPROCESSING 1956.23/1961.46 c GARBAGE COLLECT 1956.23/1961.46 c rational objective 150 2011.57/2016.95 c #Conflicts: 559000 | #Constraints: 29178 2011.57/2016.95 c #Conflicts: 560000 | #Constraints: 30178 2011.57/2016.95 c #Conflicts: 561000 | #Constraints: 31178 2011.57/2016.95 c #Conflicts: 562000 | #Constraints: 32178 2011.57/2016.95 c #Conflicts: 563000 | #Constraints: 33178 2011.57/2016.95 c #Conflicts: 564000 | #Constraints: 34179 2011.57/2016.95 c #Conflicts: 565000 | #Constraints: 35179 2011.57/2016.95 c #Conflicts: 566000 | #Constraints: 36179 2011.57/2016.95 c #Conflicts: 567000 | #Constraints: 37179 2011.57/2016.95 c #Conflicts: 568000 | #Constraints: 38179 2011.57/2016.95 c #Conflicts: 569000 | #Constraints: 39179 2011.57/2016.95 c #Conflicts: 570000 | #Constraints: 40179 2011.57/2016.95 c #Conflicts: 571000 | #Constraints: 41179 2011.57/2016.95 c #Conflicts: 572000 | #Constraints: 42179 2011.57/2016.95 c #Conflicts: 573000 | #Constraints: 43179 2011.57/2016.95 c #Conflicts: 574000 | #Constraints: 44180 2011.57/2016.95 c #Conflicts: 575000 | #Constraints: 45180 2011.57/2016.95 c #Conflicts: 576000 | #Constraints: 46180 2011.57/2016.95 c INPROCESSING 2011.57/2016.95 c GARBAGE COLLECT 2011.57/2016.95 c rational objective 150 2538.62/2545.54 c #Conflicts: 577000 | #Constraints: 27220 2538.62/2545.54 c #Conflicts: 578000 | #Constraints: 28220 2538.62/2545.54 c #Conflicts: 579000 | #Constraints: 29220 2538.62/2545.54 c #Conflicts: 580000 | #Constraints: 30220 2538.62/2545.54 c #Conflicts: 581000 | #Constraints: 31220 2538.62/2545.54 c #Conflicts: 582000 | #Constraints: 32220 2538.62/2545.54 c #Conflicts: 583000 | #Constraints: 33220 2538.62/2545.54 c #Conflicts: 584000 | #Constraints: 34220 2538.62/2545.54 c #Conflicts: 585000 | #Constraints: 35221 2538.62/2545.54 c #Conflicts: 586000 | #Constraints: 36221 2538.62/2545.54 c #Conflicts: 587000 | #Constraints: 37222 2538.62/2545.54 c #Conflicts: 588000 | #Constraints: 38222 2538.62/2545.54 c #Conflicts: 589000 | #Constraints: 39222 2538.62/2545.54 c #Conflicts: 590000 | #Constraints: 40222 2538.62/2545.54 c #Conflicts: 591000 | #Constraints: 41222 2538.62/2545.54 c #Conflicts: 592000 | #Constraints: 42222 2538.62/2545.54 c #Conflicts: 593000 | #Constraints: 43222 2538.62/2545.54 c #Conflicts: 594000 | #Constraints: 44222 2538.62/2545.54 c #Conflicts: 595000 | #Constraints: 45222 2538.62/2545.54 c #Conflicts: 596000 | #Constraints: 46222 2538.62/2545.54 c #Conflicts: 597000 | #Constraints: 47222 2538.62/2545.54 c #Conflicts: 598000 | #Constraints: 48222 2538.62/2545.54 c #Conflicts: 599000 | #Constraints: 49222 2538.62/2545.54 c #Conflicts: 600000 | #Constraints: 50222 2538.62/2545.54 c #Conflicts: 601000 | #Constraints: 51222 2538.62/2545.54 c #Conflicts: 602000 | #Constraints: 52223 2538.62/2545.54 c #Conflicts: 603000 | #Constraints: 53223 2538.62/2545.54 c #Conflicts: 604000 | #Constraints: 54223 2538.62/2545.54 c #Conflicts: 605000 | #Constraints: 55223 2538.62/2545.54 c #Conflicts: 606000 | #Constraints: 56223 2538.62/2545.54 c #Conflicts: 607000 | #Constraints: 57223 2538.62/2545.54 c #Conflicts: 608000 | #Constraints: 58223 2538.62/2545.54 c #Conflicts: 609000 | #Constraints: 59223 2538.62/2545.54 c #Conflicts: 610000 | #Constraints: 60223 2538.62/2545.54 c #Conflicts: 611000 | #Constraints: 61223 2538.62/2545.54 c #Conflicts: 612000 | #Constraints: 62223 2538.62/2545.54 c #Conflicts: 613000 | #Constraints: 63223 2538.62/2545.54 c #Conflicts: 614000 | #Constraints: 64223 2538.62/2545.54 c #Conflicts: 615000 | #Constraints: 65223 2538.62/2545.54 c #Conflicts: 616000 | #Constraints: 66223 2538.62/2545.55 c #Conflicts: 617000 | #Constraints: 67223 2538.62/2545.55 c #Conflicts: 618000 | #Constraints: 68223 2538.62/2545.55 c #Conflicts: 619000 | #Constraints: 69223 2538.62/2545.55 c #Conflicts: 620000 | #Constraints: 70223 2538.62/2545.55 c #Conflicts: 621000 | #Constraints: 71223 2538.62/2545.55 c #Conflicts: 622000 | #Constraints: 72223 2538.62/2545.55 c #Conflicts: 623000 | #Constraints: 73224 2538.62/2545.55 c #Conflicts: 624000 | #Constraints: 74225 2538.62/2545.55 c #Conflicts: 625000 | #Constraints: 75225 2538.62/2545.55 c #Conflicts: 626000 | #Constraints: 76225 2538.62/2545.55 c #Conflicts: 627000 | #Constraints: 77225 2538.62/2545.55 c #Conflicts: 628000 | #Constraints: 78225 2538.62/2545.55 c #Conflicts: 629000 | #Constraints: 79225 2538.62/2545.55 c #Conflicts: 630000 | #Constraints: 80225 2538.62/2545.55 c #Conflicts: 631000 | #Constraints: 81226 2538.62/2545.55 c #Conflicts: 632000 | #Constraints: 82226 2538.62/2545.55 c #Conflicts: 633000 | #Constraints: 83226 2538.62/2545.55 c INPROCESSING 2538.62/2545.55 c GARBAGE COLLECT 2538.62/2545.55 c rational objective 150 2615.10/2622.27 c #Conflicts: 634000 | #Constraints: 43120 2615.10/2622.27 c #Conflicts: 635000 | #Constraints: 44120 2615.10/2622.27 c #Conflicts: 636000 | #Constraints: 45120 2615.10/2622.27 c #Conflicts: 637000 | #Constraints: 46120 2615.10/2622.27 c #Conflicts: 638000 | #Constraints: 47120 2615.10/2622.27 c #Conflicts: 639000 | #Constraints: 48120 2615.10/2622.27 c #Conflicts: 640000 | #Constraints: 49120 2615.10/2622.27 c #Conflicts: 641000 | #Constraints: 50127 2615.10/2622.27 c #Conflicts: 642000 | #Constraints: 51127 2615.10/2622.27 c #Conflicts: 643000 | #Constraints: 52127 2615.10/2622.27 c #Conflicts: 644000 | #Constraints: 53127 2615.10/2622.27 c #Conflicts: 645000 | #Constraints: 54127 2615.10/2622.27 c #Conflicts: 646000 | #Constraints: 55127 2615.10/2622.27 c #Conflicts: 647000 | #Constraints: 56127 2615.10/2622.27 c #Conflicts: 648000 | #Constraints: 57127 2615.10/2622.27 c #Conflicts: 649000 | #Constraints: 58127 2615.10/2622.27 c #Conflicts: 650000 | #Constraints: 59127 2615.10/2622.27 c #Conflicts: 651000 | #Constraints: 60127 2615.10/2622.27 c #Conflicts: 652000 | #Constraints: 61127 2615.10/2622.27 c INPROCESSING 2615.10/2622.27 c GARBAGE COLLECT 2615.10/2622.27 c rational objective 150 2985.22/2993.31 c #Conflicts: 653000 | #Constraints: 32030 2985.22/2993.31 c #Conflicts: 654000 | #Constraints: 33030 2985.22/2993.31 c #Conflicts: 655000 | #Constraints: 34030 2985.22/2993.31 c #Conflicts: 656000 | #Constraints: 35030 2985.22/2993.31 c #Conflicts: 657000 | #Constraints: 36031 2985.22/2993.31 c #Conflicts: 658000 | #Constraints: 37031 2985.22/2993.31 c #Conflicts: 659000 | #Constraints: 38031 2985.22/2993.31 c #Conflicts: 660000 | #Constraints: 39031 2985.22/2993.31 c #Conflicts: 661000 | #Constraints: 40031 2985.22/2993.31 c #Conflicts: 662000 | #Constraints: 41031 2985.22/2993.31 c #Conflicts: 663000 | #Constraints: 42031 2985.22/2993.31 c #Conflicts: 664000 | #Constraints: 43031 2985.22/2993.31 c #Conflicts: 665000 | #Constraints: 44031 2985.22/2993.31 c #Conflicts: 666000 | #Constraints: 45031 2985.22/2993.31 c #Conflicts: 667000 | #Constraints: 46031 2985.22/2993.31 c #Conflicts: 668000 | #Constraints: 47031 2985.22/2993.31 c #Conflicts: 669000 | #Constraints: 48031 2985.22/2993.31 c #Conflicts: 670000 | #Constraints: 49031 2985.22/2993.31 c #Conflicts: 671000 | #Constraints: 50031 2985.22/2993.31 c #Conflicts: 672000 | #Constraints: 51031 2985.22/2993.31 c #Conflicts: 673000 | #Constraints: 52031 2985.22/2993.31 c #Conflicts: 674000 | #Constraints: 53193 2985.22/2993.31 c #Conflicts: 675000 | #Constraints: 54358 2985.22/2993.31 c #Conflicts: 676000 | #Constraints: 55401 2985.22/2993.31 c #Conflicts: 677000 | #Constraints: 56401 2985.22/2993.31 c #Conflicts: 678000 | #Constraints: 57407 2985.22/2993.31 c #Conflicts: 679000 | #Constraints: 58438 2985.22/2993.31 c #Conflicts: 680000 | #Constraints: 59462 2985.22/2993.31 c #Conflicts: 681000 | #Constraints: 60462 2985.22/2993.31 c #Conflicts: 682000 | #Constraints: 61462 2985.22/2993.31 c #Conflicts: 683000 | #Constraints: 62462 2985.22/2993.31 c #Conflicts: 684000 | #Constraints: 63462 2985.22/2993.31 c #Conflicts: 685000 | #Constraints: 64462 2985.22/2993.31 c #Conflicts: 686000 | #Constraints: 65462 2985.22/2993.31 c #Conflicts: 687000 | #Constraints: 66462 2985.22/2993.31 c #Conflicts: 688000 | #Constraints: 67462 2985.22/2993.31 c #Conflicts: 689000 | #Constraints: 68462 2985.22/2993.31 c #Conflicts: 690000 | #Constraints: 69462 2985.22/2993.31 c #Conflicts: 691000 | #Constraints: 70462 2985.22/2993.31 c #Conflicts: 692000 | #Constraints: 71462 2985.22/2993.31 c #Conflicts: 693000 | #Constraints: 72463 2985.22/2993.31 c #Conflicts: 694000 | #Constraints: 73480 2985.22/2993.31 c #Conflicts: 695000 | #Constraints: 74480 2985.22/2993.31 c #Conflicts: 696000 | #Constraints: 75480 2985.22/2993.31 c #Conflicts: 697000 | #Constraints: 76480 2985.22/2993.31 c #Conflicts: 698000 | #Constraints: 77480 2985.22/2993.31 c #Conflicts: 699000 | #Constraints: 78480 2985.22/2993.31 c #Conflicts: 700000 | #Constraints: 79481 2985.22/2993.31 c #Conflicts: 701000 | #Constraints: 80500 2985.22/2993.31 c #Conflicts: 702000 | #Constraints: 81575 2985.22/2993.31 c #Conflicts: 703000 | #Constraints: 82601 2985.22/2993.31 c #Conflicts: 704000 | #Constraints: 83601 2985.22/2993.31 c #Conflicts: 705000 | #Constraints: 84601 2985.22/2993.31 c #Conflicts: 706000 | #Constraints: 85601 2985.22/2993.31 c #Conflicts: 707000 | #Constraints: 86601 2985.22/2993.31 c #Conflicts: 708000 | #Constraints: 87601 2985.22/2993.31 c #Conflicts: 709000 | #Constraints: 88601 2985.22/2993.31 c #Conflicts: 710000 | #Constraints: 89601 2985.22/2993.31 c #Conflicts: 711000 | #Constraints: 90601 2985.22/2993.31 c #Conflicts: 712000 | #Constraints: 91601 2985.22/2993.31 c #Conflicts: 713000 | #Constraints: 92601 2985.22/2993.31 c INPROCESSING 2985.22/2993.31 c GARBAGE COLLECT 2985.22/2993.31 c rational objective 150 3295.21/3304.18 c #Conflicts: 714000 | #Constraints: 48022 3295.21/3304.18 c #Conflicts: 715000 | #Constraints: 49022 3295.21/3304.18 c #Conflicts: 716000 | #Constraints: 50022 3295.21/3304.18 c #Conflicts: 717000 | #Constraints: 51022 3295.21/3304.18 c #Conflicts: 718000 | #Constraints: 52022 3295.21/3304.18 c #Conflicts: 719000 | #Constraints: 53022 3295.21/3304.18 c #Conflicts: 720000 | #Constraints: 54022 3295.21/3304.18 c #Conflicts: 721000 | #Constraints: 55022 3295.21/3304.18 c #Conflicts: 722000 | #Constraints: 56022 3295.21/3304.18 c #Conflicts: 723000 | #Constraints: 57022 3295.21/3304.18 c #Conflicts: 724000 | #Constraints: 58022 3295.21/3304.18 c #Conflicts: 725000 | #Constraints: 59022 3295.21/3304.18 c #Conflicts: 726000 | #Constraints: 60022 3295.21/3304.18 c #Conflicts: 727000 | #Constraints: 61022 3295.21/3304.18 c #Conflicts: 728000 | #Constraints: 62022 3295.21/3304.18 c #Conflicts: 729000 | #Constraints: 63022 3295.21/3304.18 c #Conflicts: 730000 | #Constraints: 64022 3295.21/3304.18 c #Conflicts: 731000 | #Constraints: 65022 3295.21/3304.18 c #Conflicts: 732000 | #Constraints: 66022 3295.21/3304.18 c #Conflicts: 733000 | #Constraints: 67022 3295.21/3304.18 c INPROCESSING 3295.21/3304.18 c GARBAGE COLLECT 3295.21/3304.18 c rational objective 150 3392.53/3401.71 c #Conflicts: 734000 | #Constraints: 35216 3392.53/3401.71 c #Conflicts: 735000 | #Constraints: 36216 3392.53/3401.71 c #Conflicts: 736000 | #Constraints: 37217 3392.53/3401.71 c #Conflicts: 737000 | #Constraints: 38243 3392.53/3401.71 c #Conflicts: 738000 | #Constraints: 39339 3392.53/3401.71 c #Conflicts: 739000 | #Constraints: 40427 3392.53/3401.71 c #Conflicts: 740000 | #Constraints: 41447 3392.53/3401.71 c #Conflicts: 741000 | #Constraints: 42492 3392.53/3401.71 c #Conflicts: 742000 | #Constraints: 43605 3392.53/3401.71 c #Conflicts: 743000 | #Constraints: 44659 3392.53/3401.71 c #Conflicts: 744000 | #Constraints: 45659 3392.53/3401.71 c #Conflicts: 745000 | #Constraints: 46659 3392.53/3401.71 c #Conflicts: 746000 | #Constraints: 47659 3392.53/3401.71 c #Conflicts: 747000 | #Constraints: 48659 3392.53/3401.71 c #Conflicts: 748000 | #Constraints: 49659 3392.53/3401.71 c #Conflicts: 749000 | #Constraints: 50659 3392.53/3401.71 c #Conflicts: 750000 | #Constraints: 51659 3392.53/3401.71 c #Conflicts: 751000 | #Constraints: 52661 3392.53/3401.71 c #Conflicts: 752000 | #Constraints: 53661 3392.53/3401.71 c #Conflicts: 753000 | #Constraints: 54661 3392.53/3401.71 c INPROCESSING 3392.53/3401.71 c GARBAGE COLLECT 3392.53/3401.71 c rational objective 150 3600.08/3609.90 c 3600.08/3609.90 s SATISFIABLE 3600.08/3609.90 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 3600.08/3609.90 c #Conflicts: 754000 | #Constraints: 32727 3600.08/3609.90 c #Conflicts: 755000 | #Constraints: 33727 3600.08/3609.90 c #Conflicts: 756000 | #Constraints: 34727 3600.08/3609.90 c #Conflicts: 757000 | #Constraints: 35727 3600.08/3609.90 c #Conflicts: 758000 | #Constraints: 36727 3600.08/3609.90 c #Conflicts: 759000 | #Constraints: 37727 3600.08/3609.90 c #Conflicts: 760000 | #Constraints: 38727 3600.08/3609.90 c #Conflicts: 761000 | #Constraints: 39727 3600.08/3609.90 c #Conflicts: 762000 | #Constraints: 40727 3600.08/3609.90 c bounds 191 >= 150 @ 3410.38 3600.08/3609.90 c #Conflicts: 763000 | #Constraints: 41728 3600.08/3609.90 c #Conflicts: 764000 | #Constraints: 42728 3600.08/3609.90 c #Conflicts: 765000 | #Constraints: 43728 3600.08/3609.90 c #Conflicts: 766000 | #Constraints: 44728 3600.08/3609.90 c #Conflicts: 767000 | #Constraints: 45728 3600.08/3609.90 c #Conflicts: 768000 | #Constraints: 46728 3600.08/3609.90 c #Conflicts: 769000 | #Constraints: 47728 3600.08/3609.90 c #Conflicts: 770000 | #Constraints: 48728 3600.08/3609.90 c #Conflicts: 771000 | #Constraints: 49728 3600.08/3609.90 c #Conflicts: 772000 | #Constraints: 50728 3600.08/3609.90 c #Conflicts: 773000 | #Constraints: 51728 3600.08/3609.90 c #Conflicts: 774000 | #Constraints: 52728 3600.08/3609.90 c #Conflicts: 775000 | #Constraints: 53728 3600.08/3609.90 c #Conflicts: 776000 | #Constraints: 54728 3600.08/3609.90 c #Conflicts: 777000 | #Constraints: 55728
OK 191
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61936 MiB free)
memory of node 1: 64510 MiB (63637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429411-1721048407/watcher-4429411-1721048407 -o /tmp/evaluation-result-4429411-1721048407/solver-4429411-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793285 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429411-1721048407.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=793341, runsolver pid=793332
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.25 2.37 2.84 6/245 793345
/proc/meminfo: memFree=128582488/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=38468 memory=8676 CPUtime=0.11 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 607 0 0 0 10 1 0 0 20 0 1 0 157000329 39391232 2169 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 9617 2169 1754 922 0 1569 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 8676 KiB
[startup+0.213624 s]*
/proc/loadavg: 1.25 2.37 2.84 6/245 793345
/proc/meminfo: memFree=128580696/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=38704 memory=8676 CPUtime=0.22 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 654 0 0 0 21 1 0 0 20 0 1 0 157000329 39632896 2169 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 9676 2169 1754 922 0 1628 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38704 KiB
Current children cumulated memory: 8676 KiB
[startup+0.313392 s]*
/proc/loadavg: 1.25 2.37 2.84 6/245 793345
/proc/meminfo: memFree=128578324/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=38704 memory=8676 CPUtime=0.31 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 655 0 0 0 30 1 0 0 20 0 1 0 157000329 39632896 2169 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 9676 2169 1754 922 0 1628 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38704 KiB
Current children cumulated memory: 8676 KiB
[startup+0.700278 s]
/proc/loadavg: 1.25 2.37 2.84 7/245 793345
/proc/meminfo: memFree=128569416/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=40424 memory=11848 CPUtime=0.69 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 1371 0 0 0 62 7 0 0 20 0 1 0 157000329 41394176 2962 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 10106 2962 1786 922 0 2058 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40424 KiB
Current children cumulated memory: 11848 KiB
[startup+1.50028 s]
/proc/loadavg: 1.47 2.39 2.85 7/245 793345
/proc/meminfo: memFree=128551352/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=45160 memory=19740 CPUtime=1.48 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 2758 0 0 0 137 11 0 0 20 0 1 0 157000329 46243840 4935 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 11290 4935 1862 922 0 3242 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45160 KiB
Current children cumulated memory: 19740 KiB
[startup+3.11241 s]
/proc/loadavg: 1.47 2.39 2.85 6/245 793345
/proc/meminfo: memFree=128525776/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=51896 memory=26528 CPUtime=3.09 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 3954 0 0 0 290 19 0 0 20 0 1 0 157000329 53141504 6632 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 12974 6632 1862 922 0 4926 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51896 KiB
Current children cumulated memory: 26528 KiB
[startup+6.30025 s]
/proc/loadavg: 1.67 2.42 2.86 6/245 793345
/proc/meminfo: memFree=128500588/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=60184 memory=30692 CPUtime=6.27 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 5033 0 0 0 592 35 0 0 20 0 1 0 157000329 61628416 7673 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 15046 7673 1862 922 0 6998 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60184 KiB
Current children cumulated memory: 30692 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.45 2.86 6/245 793347
/proc/meminfo: memFree=128451960/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=82328 memory=52120 CPUtime=12.66 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 9017 0 1 0 1211 55 0 0 20 0 1 0 157000329 84303872 13030 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 20582 13030 1941 922 0 12534 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 82328 KiB
Current children cumulated memory: 52120 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.50 2.88 6/244 793348
/proc/meminfo: memFree=128379948/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=82620 memory=54660 CPUtime=25.42 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 9154 0 1 0 2460 82 0 0 20 0 1 0 157000329 84602880 13665 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 20655 13665 1941 922 0 12607 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 82620 KiB
Current children cumulated memory: 54660 KiB
[startup+51.1123 s]
/proc/loadavg: 2.96 2.66 2.92 6/244 793364
/proc/meminfo: memFree=128310364/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=140948 memory=98204 CPUtime=50.97 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 16130 0 1 0 4955 142 0 0 20 0 1 0 157000329 144330752 24551 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 35237 24551 1941 922 0 27189 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 140948 KiB
Current children cumulated memory: 98204 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.90 2.99 6/243 793372
/proc/meminfo: memFree=128240412/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=142520 memory=102356 CPUtime=102.03 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 16659 0 1 0 9998 205 0 0 20 0 1 0 157000329 145940480 25589 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 35630 25589 1941 922 0 27582 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 142520 KiB
Current children cumulated memory: 102356 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.13 3.06 6/243 793383
/proc/meminfo: memFree=128120452/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=145236 memory=104424 CPUtime=161.86 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 17213 0 1 0 15941 245 0 0 20 0 1 0 157000329 148721664 26106 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 36309 26106 1941 922 0 28261 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 145236 KiB
Current children cumulated memory: 104424 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.31 3.13 6/241 793393
/proc/meminfo: memFree=128079116/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=150472 memory=108624 CPUtime=221.71 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 18273 0 1 0 21856 315 0 0 20 0 1 0 157000329 154083328 27156 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 37618 27156 1941 922 0 29570 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 150472 KiB
Current children cumulated memory: 108624 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.45 3.19 7/241 793404
/proc/meminfo: memFree=128039760/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=193920 memory=131360 CPUtime=281.55 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 21506 0 1 0 27777 378 0 0 20 0 1 0 157000329 198574080 32840 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 48480 32840 1941 922 0 40432 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 193920 KiB
Current children cumulated memory: 131360 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.61 3.27 7/241 793415
/proc/meminfo: memFree=127939312/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=206564 memory=161028 CPUtime=341.4 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 24397 0 1 0 33734 406 0 0 20 0 1 0 157000329 211521536 40257 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 51641 40257 1941 922 0 43593 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 206564 KiB
Current children cumulated memory: 161028 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.70 3.32 6/241 793425
/proc/meminfo: memFree=127857036/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=207252 memory=161552 CPUtime=401.25 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 24588 0 1 0 39688 437 0 0 20 0 1 0 157000329 212226048 40388 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 51813 40388 1941 922 0 43765 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 207252 KiB
Current children cumulated memory: 161552 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.79 3.38 6/241 793435
/proc/meminfo: memFree=127846596/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=209100 memory=163400 CPUtime=461.07 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 25014 0 1 0 45614 493 0 0 20 0 1 0 157000329 214118400 40850 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 52275 40850 1941 922 0 44227 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 328856 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.13 7/241 794605
/proc/meminfo: memFree=127084564/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=387144 memory=348468 CPUtime=2914.42 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 51384 0 1 0 290109 1333 0 0 20 0 1 0 157000329 396435456 87117 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 96786 87117 1989 922 0 88738 0
Current children cumulated CPU time: 2914.42 s
Current children cumulated vsize: 387144 KiB
Current children cumulated memory: 348468 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 7/241 794617
/proc/meminfo: memFree=127067868/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=472216 memory=366016 CPUtime=2974.26 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 52798 0 1 0 296078 1348 0 0 20 0 1 0 157000329 483549184 91504 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118054 91504 1989 922 0 110006 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 472216 KiB
Current children cumulated memory: 366016 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.12 6/243 794631
/proc/meminfo: memFree=127061168/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3034.1 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 53193 0 1 0 302052 1358 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 6/243 794641
/proc/meminfo: memFree=127059540/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3093.93 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 53300 0 1 0 308023 1370 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.11 7/243 794652
/proc/meminfo: memFree=127041588/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3153.78 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 53484 0 1 0 313994 1384 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.11 7/243 794662
/proc/meminfo: memFree=127041100/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3213.61 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 54677 0 1 0 319966 1395 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.10 6/243 794673
/proc/meminfo: memFree=127040664/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3273.46 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 54784 0 1 0 325940 1406 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.11 6/243 795067
/proc/meminfo: memFree=127040120/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3333.29 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 54968 0 1 0 331896 1433 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/243 795077
/proc/meminfo: memFree=127037632/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3393.13 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55152 0 1 0 337854 1459 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 6/243 795087
/proc/meminfo: memFree=127015772/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3452.94 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55336 0 1 0 343810 1484 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/243 795265
/proc/meminfo: memFree=127008960/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3512.76 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55520 0 1 0 349776 1500 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 7/243 795276
/proc/meminfo: memFree=127002112/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3572.57 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55704 0 1 0 355744 1513 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.10 4.09 6/241 795298
/proc/meminfo: memFree=127381060/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3600.08 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55796 0 1 0 358490 1518 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 793341 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3584.91 s, system=15.1864 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.13 4.10 4.09 6/241 795298
/proc/meminfo: memFree=127381060/131655788 swapFree=131071996/131071996
[pid=793341] ppid=793332 vsize=473208 memory=369472 CPUtime=3600.08 cores=5,7
/proc/793341/stat : 793341 (roundingsat) R 793332 793341 793272 0 -1 4194304 55796 0 1 0 358490 1518 0 0 20 0 1 0 157000329 484564992 92368 134679101440 4194304 7968869 140731071364288 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40062976 140731071370174 140731071370338 140731071370338 140731071377353 0
/proc/793341/statm: 118302 92368 1989 922 0 110254 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 473208 KiB
Current children cumulated memory: 369472 KiB
Child status: 1
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3584.91
CPU system time (s): 15.1864
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 473208
Max. memory (cumulated for all children) (KiB): 369472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.91
system time used= 15.1864
maximum resident set size= 369472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55805
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79
involuntary context switches= 2630
# summary of solver processes directly reported to runsolver:
# pid: 793341
# total CPU time (s): 3600.09
# total CPU user time (s): 3584.91
# total CPU system time (s): 15.1864
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7421 second user time and 33.281 second system time
The end
Begin job on nodeC009 at 2024-07-15 15:00:19 IDJOB=4429411 IDBENCH=147543 IDSOLVER=3051 FILE ID=nodeC009/4429411-1721048407 RUNJOBID= nodeC009-1721048419-793285 SLURM_JOB_ID= 7505463 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4429411-1721048407/watcher-4429411-1721048407 -o /tmp/evaluation-result-4429411-1721048407/solver-4429411-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793285 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429411-1721048407.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=1422166639 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.326 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.320 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.318 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.173 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.338 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.345 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.316 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128589436 kB MemAvailable: 129923216 kB Buffers: 364736 kB Cached: 1798096 kB SwapCached: 0 kB Active: 584460 kB Inactive: 1930940 kB Active(anon): 1368 kB Inactive(anon): 389224 kB Active(file): 583092 kB Inactive(file): 1541716 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20848 kB Writeback: 0 kB AnonPages: 353332 kB Mapped: 106344 kB Shmem: 37700 kB KReclaimable: 98008 kB Slab: 194604 kB SReclaimable: 98008 kB SUnreclaim: 96596 kB KernelStack: 3724 kB PageTables: 10084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 731384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51424 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 181064 kB DirectMap2M: 17549312 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723744 MiB End job on nodeC009 at 2024-07-15 16:00:29