| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 195 | 3600.07 | 3610.31 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| 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 | 183 |
| 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 | 476 |
| Total number of constraints | 476 |
| 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 | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| 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 | 476 |
| 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 | 476 |
| 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 476 #constraints 476 0.42/0.47 c bounds 477 >= 0 @ 0.008217 0.42/0.47 c bounds 231 >= 0 @ 0.369486 0.42/0.47 c bounds 231 >= 1 @ 0.369723 0.42/0.47 c bounds 231 >= 2 @ 0.369886 0.42/0.47 c bounds 231 >= 3 @ 0.370044 0.42/0.47 c bounds 231 >= 4 @ 0.370209 0.42/0.47 c bounds 231 >= 5 @ 0.370369 0.42/0.47 c bounds 231 >= 6 @ 0.370537 0.42/0.47 c bounds 231 >= 7 @ 0.370701 0.42/0.47 c bounds 231 >= 8 @ 0.370874 0.42/0.47 c bounds 231 >= 9 @ 0.371066 0.42/0.47 c bounds 231 >= 10 @ 0.371252 0.42/0.47 c bounds 231 >= 11 @ 0.371433 0.42/0.47 c bounds 231 >= 12 @ 0.371625 0.42/0.47 c bounds 231 >= 13 @ 0.371808 0.42/0.47 c bounds 231 >= 14 @ 0.372009 0.42/0.47 c bounds 231 >= 15 @ 0.372208 0.42/0.47 c bounds 231 >= 16 @ 0.372414 0.42/0.47 c bounds 231 >= 17 @ 0.372616 0.42/0.47 c bounds 231 >= 18 @ 0.372828 0.42/0.47 c bounds 231 >= 19 @ 0.373038 0.42/0.47 c bounds 231 >= 20 @ 0.373267 0.42/0.47 c bounds 231 >= 21 @ 0.373515 0.42/0.47 c bounds 231 >= 22 @ 0.373768 0.42/0.47 c bounds 231 >= 23 @ 0.374057 0.42/0.47 c bounds 231 >= 24 @ 0.374356 0.42/0.47 c bounds 231 >= 25 @ 0.374429 0.42/0.47 c bounds 231 >= 26 @ 0.374429 0.42/0.47 c bounds 231 >= 27 @ 0.374429 0.42/0.47 c bounds 231 >= 28 @ 0.374429 0.42/0.47 c bounds 231 >= 29 @ 0.374429 0.42/0.47 c bounds 231 >= 30 @ 0.374429 0.42/0.47 c bounds 231 >= 31 @ 0.374521 0.42/0.47 c bounds 230 >= 31 @ 0.376424 0.42/0.47 c bounds 230 >= 32 @ 0.376753 0.42/0.47 c bounds 230 >= 33 @ 0.37706 0.42/0.47 c bounds 230 >= 34 @ 0.377358 0.42/0.47 c bounds 230 >= 35 @ 0.377723 0.42/0.47 c bounds 230 >= 36 @ 0.378243 0.42/0.47 c bounds 230 >= 37 @ 0.3784 0.42/0.47 c bounds 230 >= 38 @ 0.3784 0.42/0.47 c bounds 230 >= 39 @ 0.3784 0.42/0.47 c bounds 230 >= 40 @ 0.378477 0.42/0.47 c bounds 230 >= 41 @ 0.378789 0.42/0.47 c bounds 230 >= 42 @ 0.379104 0.42/0.47 c bounds 230 >= 43 @ 0.379397 0.42/0.47 c bounds 230 >= 44 @ 0.379716 0.42/0.47 c bounds 230 >= 45 @ 0.380019 0.42/0.47 c bounds 230 >= 46 @ 0.380326 0.42/0.47 c bounds 230 >= 47 @ 0.380646 0.42/0.47 c bounds 230 >= 48 @ 0.380956 0.42/0.47 c bounds 230 >= 49 @ 0.38127 0.42/0.47 c bounds 230 >= 50 @ 0.381381 0.42/0.47 c bounds 230 >= 51 @ 0.381381 0.42/0.47 c bounds 230 >= 52 @ 0.381381 0.42/0.47 c bounds 230 >= 53 @ 0.381528 0.42/0.47 c bounds 230 >= 54 @ 0.381841 0.42/0.47 c bounds 230 >= 55 @ 0.382143 0.42/0.47 c bounds 230 >= 56 @ 0.382372 0.42/0.47 c bounds 230 >= 57 @ 0.382372 0.42/0.47 c bounds 230 >= 58 @ 0.382372 0.42/0.47 c bounds 230 >= 59 @ 0.382449 0.42/0.47 c bounds 230 >= 60 @ 0.38277 0.42/0.47 c bounds 230 >= 61 @ 0.383076 0.42/0.47 c bounds 229 >= 61 @ 0.384637 0.42/0.47 c bounds 229 >= 62 @ 0.384983 0.42/0.47 c bounds 229 >= 63 @ 0.385324 0.42/0.47 c bounds 229 >= 64 @ 0.385663 0.42/0.47 c bounds 229 >= 65 @ 0.385997 0.42/0.47 c bounds 229 >= 66 @ 0.386333 0.42/0.47 c bounds 229 >= 67 @ 0.386666 0.42/0.47 c bounds 229 >= 68 @ 0.386984 0.42/0.47 c bounds 229 >= 69 @ 0.387306 0.42/0.47 c bounds 229 >= 70 @ 0.387341 0.42/0.47 c bounds 229 >= 71 @ 0.387341 0.42/0.47 c bounds 229 >= 72 @ 0.387341 0.42/0.47 c bounds 229 >= 73 @ 0.387665 0.42/0.47 c bounds 229 >= 74 @ 0.387997 0.42/0.47 c bounds 229 >= 75 @ 0.388326 0.42/0.47 c bounds 229 >= 76 @ 0.388694 0.42/0.47 c bounds 229 >= 77 @ 0.389044 0.42/0.47 c bounds 229 >= 78 @ 0.389403 0.42/0.47 c bounds 229 >= 79 @ 0.389762 0.42/0.47 c bounds 229 >= 80 @ 0.39012 0.42/0.47 c bounds 229 >= 81 @ 0.390323 0.42/0.47 c bounds 229 >= 82 @ 0.390323 0.42/0.47 c bounds 229 >= 83 @ 0.390323 0.42/0.47 c bounds 229 >= 84 @ 0.390323 0.42/0.47 c bounds 228 >= 84 @ 0.390323 0.42/0.47 c bounds 228 >= 85 @ 0.390323 0.42/0.47 c bounds 228 >= 86 @ 0.390323 0.42/0.47 c bounds 228 >= 87 @ 0.390323 0.42/0.47 c bounds 228 >= 88 @ 0.390323 0.42/0.47 c bounds 228 >= 89 @ 0.390323 0.42/0.47 c bounds 228 >= 90 @ 0.390404 0.42/0.47 c bounds 228 >= 91 @ 0.390762 0.42/0.47 c bounds 228 >= 92 @ 0.39109 0.42/0.47 c bounds 228 >= 93 @ 0.391299 0.42/0.47 c bounds 228 >= 94 @ 0.391299 0.42/0.47 c bounds 228 >= 95 @ 0.391299 0.42/0.47 c bounds 228 >= 96 @ 0.3913 0.42/0.47 c bounds 228 >= 97 @ 0.3913 0.42/0.47 c bounds 228 >= 98 @ 0.3913 0.42/0.47 c bounds 227 >= 98 @ 0.394847 0.42/0.47 c bounds 227 >= 99 @ 0.395343 0.42/0.47 c bounds 227 >= 100 @ 0.39578 0.42/0.47 c bounds 227 >= 101 @ 0.39618 0.42/0.47 c bounds 227 >= 102 @ 0.396266 0.42/0.47 c bounds 227 >= 103 @ 0.396266 0.42/0.47 c bounds 227 >= 104 @ 0.396266 0.42/0.47 c bounds 227 >= 105 @ 0.396266 0.42/0.47 c bounds 227 >= 106 @ 0.396266 0.42/0.47 c bounds 227 >= 107 @ 0.396266 0.42/0.47 c bounds 227 >= 108 @ 0.396266 0.42/0.47 c bounds 227 >= 109 @ 0.396388 0.42/0.47 c bounds 227 >= 110 @ 0.396825 0.42/0.47 c bounds 227 >= 111 @ 0.397297 0.42/0.47 c bounds 227 >= 112 @ 0.397722 0.42/0.47 c bounds 227 >= 113 @ 0.398172 0.42/0.47 c bounds 227 >= 114 @ 0.398226 0.42/0.47 c bounds 227 >= 115 @ 0.398226 0.42/0.47 c bounds 227 >= 116 @ 0.398573 0.42/0.47 c bounds 227 >= 117 @ 0.399059 0.42/0.47 c bounds 227 >= 118 @ 0.399503 0.42/0.47 c bounds 227 >= 119 @ 0.399995 0.42/0.47 c bounds 227 >= 120 @ 0.400231 0.42/0.47 c bounds 227 >= 121 @ 0.400231 0.42/0.47 c bounds 227 >= 122 @ 0.400231 0.42/0.47 c bounds 227 >= 123 @ 0.400231 0.42/0.47 c bounds 227 >= 124 @ 0.400306 0.42/0.47 c bounds 227 >= 125 @ 0.400739 0.42/0.47 c bounds 227 >= 126 @ 0.401204 0.42/0.47 c bounds 227 >= 127 @ 0.401221 0.42/0.47 c bounds 227 >= 128 @ 0.401221 0.42/0.47 c bounds 227 >= 129 @ 0.401819 0.42/0.47 c bounds 227 >= 130 @ 0.402443 0.42/0.47 c bounds 226 >= 130 @ 0.420115 1.48/1.51 c bounds 226 >= 131 @ 0.420115 1.48/1.51 c bounds 226 >= 132 @ 0.420227 1.48/1.51 c bounds 226 >= 133 @ 0.420957 1.48/1.51 c bounds 226 >= 134 @ 0.4211 1.48/1.51 c bounds 226 >= 135 @ 0.423118 1.48/1.51 c bounds 226 >= 136 @ 0.425075 1.48/1.51 c bounds 226 >= 137 @ 0.429549 1.48/1.51 c bounds 226 >= 138 @ 0.431038 1.48/1.51 c bounds 226 >= 139 @ 0.434317 1.48/1.51 c bounds 226 >= 140 @ 0.467615 1.48/1.51 c bounds 225 >= 140 @ 0.476774 1.48/1.51 c bounds 224 >= 140 @ 0.493017 1.48/1.51 c bounds 223 >= 140 @ 0.500381 1.48/1.51 c #Conflicts: 1000 | #Constraints: 2171 1.48/1.51 c bounds 222 >= 140 @ 0.944027 1.48/1.51 c #Conflicts: 2000 | #Constraints: 3172 1.48/1.51 c INPROCESSING 1.48/1.51 c GARBAGE COLLECT 1.48/1.51 c rational objective 143.945 2.47/2.56 c bounds 222 >= 141 @ 1.59677 2.47/2.56 c bounds 222 >= 142 @ 1.72691 2.47/2.56 c #Conflicts: 3000 | #Constraints: 3163 2.47/2.56 c #Conflicts: 4000 | #Constraints: 4163 2.47/2.56 c bounds 222 >= 143 @ 2.00984 2.47/2.56 c bounds 221 >= 143 @ 2.01357 2.47/2.56 c bounds 220 >= 143 @ 2.03723 2.47/2.56 c INPROCESSING 2.47/2.56 c GARBAGE COLLECT 2.47/2.56 c rational objective 143.945 3.58/3.68 c bounds 219 >= 143 @ 2.51424 3.58/3.68 c bounds 218 >= 143 @ 2.59942 3.58/3.68 c #Conflicts: 5000 | #Constraints: 3592 3.58/3.68 c bounds 217 >= 143 @ 2.66387 3.58/3.68 c bounds 216 >= 143 @ 2.67682 3.58/3.68 c bounds 215 >= 143 @ 2.68516 3.58/3.68 c bounds 214 >= 143 @ 2.69479 3.58/3.68 c bounds 213 >= 143 @ 2.71288 3.58/3.68 c bounds 212 >= 143 @ 2.7232 3.58/3.68 c #Conflicts: 6000 | #Constraints: 4598 3.58/3.68 c INPROCESSING 3.58/3.68 c GARBAGE COLLECT 3.58/3.68 c rational objective 143.945 6.17/6.24 c #Conflicts: 7000 | #Constraints: 3588 6.17/6.24 c #Conflicts: 8000 | #Constraints: 4588 6.17/6.24 c #Conflicts: 9000 | #Constraints: 5588 6.17/6.24 c INPROCESSING 6.17/6.24 c GARBAGE COLLECT 6.17/6.24 c bounds 211 >= 143 @ 4.75442 6.17/6.24 c #Conflicts: 10000 | #Constraints: 4341 6.17/6.24 c #Conflicts: 11000 | #Constraints: 5341 6.17/6.24 c bounds 210 >= 143 @ 5.27824 6.17/6.24 c bounds 209 >= 143 @ 5.30522 6.17/6.24 c #Conflicts: 12000 | #Constraints: 6343 6.17/6.24 c INPROCESSING 6.17/6.24 c GARBAGE COLLECT 6.17/6.24 c rational objective 143.945 8.26/8.39 c bounds 208 >= 143 @ 6.01127 8.26/8.39 c bounds 207 >= 143 @ 6.01704 8.26/8.39 c #Conflicts: 13000 | #Constraints: 4768 8.26/8.39 c bounds 206 >= 143 @ 6.28429 8.26/8.39 c bounds 206 >= 144 @ 7.22464 8.26/8.39 c #Conflicts: 14000 | #Constraints: 5814 8.26/8.39 c bounds 205 >= 144 @ 7.40926 8.26/8.39 c #Conflicts: 15000 | #Constraints: 6815 8.26/8.39 c INPROCESSING 8.26/8.39 c GARBAGE COLLECT 8.26/8.39 c rational objective 144 11.25/11.32 c #Conflicts: 16000 | #Constraints: 5034 11.25/11.32 c #Conflicts: 17000 | #Constraints: 6034 11.25/11.32 c #Conflicts: 18000 | #Constraints: 7034 11.25/11.32 c INPROCESSING 11.25/11.32 c GARBAGE COLLECT 11.25/11.32 c #Conflicts: 19000 | #Constraints: 5044 11.25/11.32 c #Conflicts: 20000 | #Constraints: 6044 11.25/11.32 c #Conflicts: 21000 | #Constraints: 7044 11.25/11.32 c INPROCESSING 11.25/11.32 c GARBAGE COLLECT 11.25/11.32 c rational objective 144 12.65/12.72 c #Conflicts: 22000 | #Constraints: 4914 12.65/12.72 c bounds 204 >= 144 @ 11.1101 12.65/12.72 c #Conflicts: 23000 | #Constraints: 5915 12.65/12.72 c #Conflicts: 24000 | #Constraints: 6915 12.65/12.72 c #Conflicts: 25000 | #Constraints: 7915 12.65/12.72 c INPROCESSING 12.65/12.72 c GARBAGE COLLECT 12.65/12.72 c rational objective 144 14.44/14.58 c #Conflicts: 26000 | #Constraints: 5483 14.44/14.58 c #Conflicts: 27000 | #Constraints: 6483 14.44/14.58 c bounds 204 >= 145 @ 13.3882 14.44/14.58 c #Conflicts: 28000 | #Constraints: 7526 14.44/14.58 c #Conflicts: 29000 | #Constraints: 8526 14.44/14.58 c INPROCESSING 14.44/14.58 c GARBAGE COLLECT 14.44/14.58 c rational objective 145 25.51/25.67 c #Conflicts: 30000 | #Constraints: 5908 25.51/25.67 c bounds 203 >= 145 @ 14.4611 25.51/25.67 c #Conflicts: 31000 | #Constraints: 6909 25.51/25.67 c #Conflicts: 32000 | #Constraints: 7909 25.51/25.67 c #Conflicts: 33000 | #Constraints: 8909 25.51/25.67 c #Conflicts: 34000 | #Constraints: 9909 25.51/25.67 c #Conflicts: 35000 | #Constraints: 10909 25.51/25.67 c #Conflicts: 36000 | #Constraints: 11909 25.51/25.67 c #Conflicts: 37000 | #Constraints: 12909 25.51/25.67 c #Conflicts: 38000 | #Constraints: 13909 25.51/25.67 c #Conflicts: 39000 | #Constraints: 14909 25.51/25.67 c #Conflicts: 40000 | #Constraints: 15909 25.51/25.67 c #Conflicts: 41000 | #Constraints: 16909 25.51/25.67 c #Conflicts: 42000 | #Constraints: 17909 25.51/25.67 c INPROCESSING 25.51/25.67 c GARBAGE COLLECT 25.51/25.67 c rational objective 145 33.09/33.28 c #Conflicts: 43000 | #Constraints: 10162 33.09/33.28 c #Conflicts: 44000 | #Constraints: 11162 33.09/33.28 c #Conflicts: 45000 | #Constraints: 12162 33.09/33.28 c #Conflicts: 46000 | #Constraints: 13162 33.09/33.28 c #Conflicts: 47000 | #Constraints: 14162 33.09/33.28 c #Conflicts: 48000 | #Constraints: 15162 33.09/33.28 c INPROCESSING 33.09/33.28 c GARBAGE COLLECT 33.09/33.28 c rational objective 145 38.08/38.27 c #Conflicts: 49000 | #Constraints: 9292 38.08/38.27 c #Conflicts: 50000 | #Constraints: 10292 38.08/38.27 c #Conflicts: 51000 | #Constraints: 11292 38.08/38.27 c bounds 203 >= 146 @ 35.4072 38.08/38.27 c #Conflicts: 52000 | #Constraints: 12331 38.08/38.27 c #Conflicts: 53000 | #Constraints: 13331 38.08/38.27 c INPROCESSING 38.08/38.27 c GARBAGE COLLECT 38.08/38.27 c rational objective 146 42.67/42.84 c #Conflicts: 54000 | #Constraints: 8260 42.67/42.84 c #Conflicts: 55000 | #Constraints: 9262 42.67/42.84 c #Conflicts: 56000 | #Constraints: 10262 42.67/42.84 c #Conflicts: 57000 | #Constraints: 11263 42.67/42.84 c #Conflicts: 58000 | #Constraints: 12263 42.67/42.84 c INPROCESSING 42.67/42.84 c GARBAGE COLLECT 42.67/42.84 c rational objective 146 73.38/73.63 c #Conflicts: 59000 | #Constraints: 7477 73.38/73.63 c #Conflicts: 60000 | #Constraints: 8477 73.38/73.63 c #Conflicts: 61000 | #Constraints: 9477 73.38/73.63 c #Conflicts: 62000 | #Constraints: 10477 73.38/73.63 c #Conflicts: 63000 | #Constraints: 11477 73.38/73.63 c #Conflicts: 64000 | #Constraints: 12477 73.38/73.63 c #Conflicts: 65000 | #Constraints: 13477 73.38/73.63 c #Conflicts: 66000 | #Constraints: 14477 73.38/73.63 c #Conflicts: 67000 | #Constraints: 15477 73.38/73.63 c #Conflicts: 68000 | #Constraints: 16478 73.38/73.63 c #Conflicts: 69000 | #Constraints: 17480 73.38/73.63 c #Conflicts: 70000 | #Constraints: 18480 73.38/73.63 c bounds 202 >= 146 @ 50.2151 73.38/73.63 c #Conflicts: 71000 | #Constraints: 19485 73.38/73.63 c #Conflicts: 72000 | #Constraints: 20485 73.38/73.63 c #Conflicts: 73000 | #Constraints: 21485 73.38/73.63 c #Conflicts: 74000 | #Constraints: 22485 73.38/73.63 c #Conflicts: 75000 | #Constraints: 23485 73.38/73.63 c #Conflicts: 76000 | #Constraints: 24485 73.38/73.63 c #Conflicts: 77000 | #Constraints: 25485 73.38/73.63 c #Conflicts: 78000 | #Constraints: 26485 73.38/73.63 c INPROCESSING 73.38/73.63 c GARBAGE COLLECT 73.38/73.63 c rational objective 146 77.88/78.16 c bounds 201 >= 146 @ 72.1304 77.88/78.16 c bounds 200 >= 146 @ 72.1731 77.88/78.16 c #Conflicts: 79000 | #Constraints: 14985 77.88/78.16 c #Conflicts: 80000 | #Constraints: 15985 77.88/78.16 c #Conflicts: 81000 | #Constraints: 16985 77.88/78.16 c #Conflicts: 82000 | #Constraints: 17985 77.88/78.16 c #Conflicts: 83000 | #Constraints: 18985 77.88/78.16 c #Conflicts: 84000 | #Constraints: 19985 77.88/78.16 c INPROCESSING 77.88/78.16 c GARBAGE COLLECT 77.88/78.16 c rational objective 146 82.77/83.02 c #Conflicts: 85000 | #Constraints: 11264 82.77/83.02 c #Conflicts: 86000 | #Constraints: 12264 82.77/83.02 c #Conflicts: 87000 | #Constraints: 13264 82.77/83.02 c #Conflicts: 88000 | #Constraints: 14264 82.77/83.02 c #Conflicts: 89000 | #Constraints: 15264 82.77/83.02 c #Conflicts: 90000 | #Constraints: 16264 82.77/83.02 c #Conflicts: 91000 | #Constraints: 17264 82.77/83.02 c INPROCESSING 82.77/83.02 c GARBAGE COLLECT 82.77/83.02 c rational objective 146 90.03/90.32 c #Conflicts: 92000 | #Constraints: 9907 90.03/90.32 c #Conflicts: 93000 | #Constraints: 10907 90.03/90.32 c #Conflicts: 94000 | #Constraints: 11907 90.03/90.32 c #Conflicts: 95000 | #Constraints: 12907 90.03/90.32 c #Conflicts: 96000 | #Constraints: 13907 90.03/90.32 c #Conflicts: 97000 | #Constraints: 14907 90.03/90.32 c #Conflicts: 98000 | #Constraints: 15907 90.03/90.32 c #Conflicts: 99000 | #Constraints: 16907 90.03/90.32 c INPROCESSING 90.03/90.32 c GARBAGE COLLECT 90.03/90.32 c rational objective 146 94.92/95.22 c #Conflicts: 100000 | #Constraints: 10200 94.92/95.22 c #Conflicts: 101000 | #Constraints: 11200 94.92/95.22 c #Conflicts: 102000 | #Constraints: 12200 94.92/95.22 c bounds 199 >= 146 @ 90.216 94.92/95.22 c #Conflicts: 103000 | #Constraints: 13227 94.92/95.22 c #Conflicts: 104000 | #Constraints: 14227 94.92/95.22 c #Conflicts: 105000 | #Constraints: 15227 94.92/95.22 c #Conflicts: 106000 | #Constraints: 16227 94.92/95.22 c INPROCESSING 94.92/95.22 c GARBAGE COLLECT 94.92/95.22 c rational objective 146 137.00/137.48 c #Conflicts: 107000 | #Constraints: 9593 137.00/137.48 c #Conflicts: 108000 | #Constraints: 10597 137.00/137.48 c #Conflicts: 109000 | #Constraints: 11609 137.00/137.48 c #Conflicts: 110000 | #Constraints: 12629 137.00/137.48 c #Conflicts: 111000 | #Constraints: 13672 137.00/137.48 c bounds 198 >= 146 @ 96.7088 137.00/137.48 c #Conflicts: 112000 | #Constraints: 14674 137.00/137.48 c #Conflicts: 113000 | #Constraints: 15674 137.00/137.48 c #Conflicts: 114000 | #Constraints: 16674 137.00/137.48 c #Conflicts: 115000 | #Constraints: 17674 137.00/137.48 c #Conflicts: 116000 | #Constraints: 18674 137.00/137.48 c #Conflicts: 117000 | #Constraints: 19674 137.00/137.48 c #Conflicts: 118000 | #Constraints: 20674 137.00/137.48 c #Conflicts: 119000 | #Constraints: 21674 137.00/137.48 c #Conflicts: 120000 | #Constraints: 22674 137.00/137.48 c #Conflicts: 121000 | #Constraints: 23674 137.00/137.48 c bounds 198 >= 147 @ 116.678 137.00/137.48 c #Conflicts: 122000 | #Constraints: 24716 137.00/137.48 c #Conflicts: 123000 | #Constraints: 25716 137.00/137.48 c #Conflicts: 124000 | #Constraints: 26716 137.00/137.48 c bounds 197 >= 147 @ 120.343 137.00/137.48 c #Conflicts: 125000 | #Constraints: 27717 137.00/137.48 c #Conflicts: 126000 | #Constraints: 28717 137.00/137.48 c #Conflicts: 127000 | #Constraints: 29717 137.00/137.48 c #Conflicts: 128000 | #Constraints: 30717 137.00/137.48 c #Conflicts: 129000 | #Constraints: 31717 137.00/137.48 c #Conflicts: 130000 | #Constraints: 32717 137.00/137.48 c #Conflicts: 131000 | #Constraints: 33717 137.00/137.48 c #Conflicts: 132000 | #Constraints: 34717 137.00/137.48 c INPROCESSING 137.00/137.48 c GARBAGE COLLECT 137.00/137.48 c rational objective 147 152.16/152.64 c #Conflicts: 133000 | #Constraints: 19052 152.16/152.64 c #Conflicts: 134000 | #Constraints: 20052 152.16/152.64 c #Conflicts: 135000 | #Constraints: 21052 152.16/152.64 c #Conflicts: 136000 | #Constraints: 22052 152.16/152.64 c #Conflicts: 137000 | #Constraints: 23052 152.16/152.64 c #Conflicts: 138000 | #Constraints: 24052 152.16/152.64 c #Conflicts: 139000 | #Constraints: 25052 152.16/152.64 c #Conflicts: 140000 | #Constraints: 26052 152.16/152.64 c INPROCESSING 152.16/152.64 c GARBAGE COLLECT 152.16/152.64 c rational objective 147 163.65/164.13 c bounds 196 >= 147 @ 149.824 163.65/164.13 c #Conflicts: 141000 | #Constraints: 14448 163.65/164.13 c #Conflicts: 142000 | #Constraints: 15448 163.65/164.13 c #Conflicts: 143000 | #Constraints: 16448 163.65/164.13 c #Conflicts: 144000 | #Constraints: 17448 163.65/164.13 c #Conflicts: 145000 | #Constraints: 18448 163.65/164.13 c #Conflicts: 146000 | #Constraints: 19448 163.65/164.13 c #Conflicts: 147000 | #Constraints: 20448 163.65/164.13 c #Conflicts: 148000 | #Constraints: 21448 163.65/164.13 c #Conflicts: 149000 | #Constraints: 22448 163.65/164.13 c INPROCESSING 163.65/164.13 c GARBAGE COLLECT 163.65/164.13 c rational objective 147 174.90/175.44 c #Conflicts: 150000 | #Constraints: 12627 174.90/175.44 c #Conflicts: 151000 | #Constraints: 13627 174.90/175.44 c #Conflicts: 152000 | #Constraints: 14627 174.90/175.44 c #Conflicts: 153000 | #Constraints: 15627 174.90/175.44 c #Conflicts: 154000 | #Constraints: 16627 174.90/175.44 c #Conflicts: 155000 | #Constraints: 17627 174.90/175.44 c bounds 195 >= 147 @ 165.613 174.90/175.44 c #Conflicts: 156000 | #Constraints: 18629 174.90/175.44 c #Conflicts: 157000 | #Constraints: 19629 174.90/175.44 c #Conflicts: 158000 | #Constraints: 20629 174.90/175.44 c INPROCESSING 174.90/175.44 c GARBAGE COLLECT 174.90/175.44 c rational objective 147 243.77/244.50 c #Conflicts: 159000 | #Constraints: 11736 243.77/244.50 c #Conflicts: 160000 | #Constraints: 12736 243.77/244.50 c #Conflicts: 161000 | #Constraints: 13736 243.77/244.50 c #Conflicts: 162000 | #Constraints: 14736 243.77/244.50 c #Conflicts: 163000 | #Constraints: 15737 243.77/244.50 c #Conflicts: 164000 | #Constraints: 16737 243.77/244.50 c #Conflicts: 165000 | #Constraints: 17737 243.77/244.50 c #Conflicts: 166000 | #Constraints: 18738 243.77/244.50 c #Conflicts: 167000 | #Constraints: 19738 243.77/244.50 c #Conflicts: 168000 | #Constraints: 20738 243.77/244.50 c #Conflicts: 169000 | #Constraints: 21738 243.77/244.50 c #Conflicts: 170000 | #Constraints: 22738 243.77/244.50 c #Conflicts: 171000 | #Constraints: 23738 243.77/244.50 c #Conflicts: 172000 | #Constraints: 24738 243.77/244.50 c #Conflicts: 173000 | #Constraints: 25738 243.77/244.50 c #Conflicts: 174000 | #Constraints: 26767 243.77/244.50 c #Conflicts: 175000 | #Constraints: 27940 243.77/244.50 c #Conflicts: 176000 | #Constraints: 28960 243.77/244.50 c #Conflicts: 177000 | #Constraints: 30148 243.77/244.50 c #Conflicts: 178000 | #Constraints: 31148 243.77/244.50 c #Conflicts: 179000 | #Constraints: 32150 243.77/244.50 c #Conflicts: 180000 | #Constraints: 33151 243.77/244.50 c #Conflicts: 181000 | #Constraints: 34156 243.77/244.50 c #Conflicts: 182000 | #Constraints: 35156 243.77/244.50 c #Conflicts: 183000 | #Constraints: 36156 243.77/244.50 c #Conflicts: 184000 | #Constraints: 37156 243.77/244.50 c #Conflicts: 185000 | #Constraints: 38156 243.77/244.50 c #Conflicts: 186000 | #Constraints: 39156 243.77/244.50 c #Conflicts: 187000 | #Constraints: 40157 243.77/244.50 c #Conflicts: 188000 | #Constraints: 41157 243.77/244.50 c #Conflicts: 189000 | #Constraints: 42157 243.77/244.50 c INPROCESSING 243.77/244.50 c GARBAGE COLLECT 243.77/244.50 c rational objective 147 291.13/292.04 c #Conflicts: 190000 | #Constraints: 22488 291.13/292.04 c #Conflicts: 191000 | #Constraints: 23488 291.13/292.04 c #Conflicts: 192000 | #Constraints: 24488 291.13/292.04 c #Conflicts: 193000 | #Constraints: 25488 291.13/292.04 c #Conflicts: 194000 | #Constraints: 26488 291.13/292.04 c #Conflicts: 195000 | #Constraints: 27488 291.13/292.04 c #Conflicts: 196000 | #Constraints: 28488 291.13/292.04 c #Conflicts: 197000 | #Constraints: 29488 291.13/292.04 c #Conflicts: 198000 | #Constraints: 30488 291.13/292.04 c #Conflicts: 199000 | #Constraints: 31488 291.13/292.04 c #Conflicts: 200000 | #Constraints: 32488 291.13/292.04 c INPROCESSING 291.13/292.04 c GARBAGE COLLECT 291.13/292.04 c rational objective 147 313.65/314.63 c #Conflicts: 201000 | #Constraints: 18037 313.65/314.63 c #Conflicts: 202000 | #Constraints: 19037 313.65/314.63 c #Conflicts: 203000 | #Constraints: 20037 313.65/314.63 c #Conflicts: 204000 | #Constraints: 21037 313.65/314.63 c #Conflicts: 205000 | #Constraints: 22039 313.65/314.63 c #Conflicts: 206000 | #Constraints: 23039 313.65/314.63 c #Conflicts: 207000 | #Constraints: 24039 313.65/314.63 c #Conflicts: 208000 | #Constraints: 25039 313.65/314.63 c #Conflicts: 209000 | #Constraints: 26039 313.65/314.63 c #Conflicts: 210000 | #Constraints: 27039 313.65/314.63 c INPROCESSING 313.65/314.63 c GARBAGE COLLECT 313.65/314.63 c rational objective 147 331.99/333.04 c #Conflicts: 211000 | #Constraints: 15002 331.99/333.04 c #Conflicts: 212000 | #Constraints: 16004 331.99/333.04 c #Conflicts: 213000 | #Constraints: 17004 331.99/333.04 c #Conflicts: 214000 | #Constraints: 18004 331.99/333.04 c #Conflicts: 215000 | #Constraints: 19004 331.99/333.04 c #Conflicts: 216000 | #Constraints: 20004 331.99/333.04 c #Conflicts: 217000 | #Constraints: 21004 331.99/333.04 c #Conflicts: 218000 | #Constraints: 22004 331.99/333.04 c #Conflicts: 219000 | #Constraints: 23004 331.99/333.04 c #Conflicts: 220000 | #Constraints: 24004 331.99/333.04 c #Conflicts: 221000 | #Constraints: 25004 331.99/333.04 c INPROCESSING 331.99/333.04 c GARBAGE COLLECT 331.99/333.04 c rational objective 147 429.46/430.84 c #Conflicts: 222000 | #Constraints: 14092 429.46/430.84 c #Conflicts: 223000 | #Constraints: 15092 429.46/430.84 c #Conflicts: 224000 | #Constraints: 16109 429.46/430.84 c #Conflicts: 225000 | #Constraints: 17109 429.46/430.84 c #Conflicts: 226000 | #Constraints: 18109 429.46/430.84 c #Conflicts: 227000 | #Constraints: 19109 429.46/430.84 c #Conflicts: 228000 | #Constraints: 20109 429.46/430.84 c #Conflicts: 229000 | #Constraints: 21109 429.46/430.84 c #Conflicts: 230000 | #Constraints: 22109 429.46/430.84 c #Conflicts: 231000 | #Constraints: 23109 429.46/430.84 c #Conflicts: 232000 | #Constraints: 24109 429.46/430.84 c #Conflicts: 233000 | #Constraints: 25109 429.46/430.84 c #Conflicts: 234000 | #Constraints: 26109 429.46/430.84 c #Conflicts: 235000 | #Constraints: 27109 429.46/430.84 c #Conflicts: 236000 | #Constraints: 28109 429.46/430.84 c #Conflicts: 237000 | #Constraints: 29109 429.46/430.84 c #Conflicts: 238000 | #Constraints: 30109 429.46/430.84 c #Conflicts: 239000 | #Constraints: 31109 429.46/430.84 c #Conflicts: 240000 | #Constraints: 32109 429.46/430.84 c #Conflicts: 241000 | #Constraints: 33109 429.46/430.84 c #Conflicts: 242000 | #Constraints: 34109 429.46/430.84 c #Conflicts: 243000 | #Constraints: 35109 429.46/430.84 c #Conflicts: 244000 | #Constraints: 36109 429.46/430.84 c #Conflicts: 245000 | #Constraints: 37109 429.46/430.84 c #Conflicts: 246000 | #Constraints: 38109 429.46/430.84 c #Conflicts: 247000 | #Constraints: 39109 429.46/430.84 c #Conflicts: 248000 | #Constraints: 40109 429.46/430.84 c #Conflicts: 249000 | #Constraints: 41109 429.46/430.84 c #Conflicts: 250000 | #Constraints: 42109 429.46/430.84 c #Conflicts: 251000 | #Constraints: 43109 429.46/430.84 c #Conflicts: 252000 | #Constraints: 44109 429.46/430.84 c #Conflicts: 253000 | #Constraints: 45109 429.46/430.84 c #Conflicts: 254000 | #Constraints: 46109 429.46/430.84 c #Conflicts: 255000 | #Constraints: 47109 429.46/430.84 c #Conflicts: 256000 | #Constraints: 48109 429.46/430.84 c #Conflicts: 257000 | #Constraints: 49109 429.46/430.84 c INPROCESSING 429.46/430.84 c GARBAGE COLLECT 429.46/430.84 c rational objective 147 493.46/495.02 c #Conflicts: 258000 | #Constraints: 25963 493.46/495.02 c #Conflicts: 259000 | #Constraints: 26963 493.46/495.02 c #Conflicts: 260000 | #Constraints: 27963 493.46/495.02 c #Conflicts: 261000 | #Constraints: 28963 493.46/495.02 c #Conflicts: 262000 | #Constraints: 29963 493.46/495.02 c #Conflicts: 263000 | #Constraints: 30963 493.46/495.02 c #Conflicts: 264000 | #Constraints: 31963 493.46/495.02 c #Conflicts: 265000 | #Constraints: 32963 493.46/495.02 c #Conflicts: 266000 | #Constraints: 33963 493.46/495.02 c #Conflicts: 267000 | #Constraints: 34963 493.46/495.02 c #Conflicts: 268000 | #Constraints: 35963 493.46/495.02 c #Conflicts: 269000 | #Constraints: 36963 493.46/495.02 c INPROCESSING 493.46/495.02 c GARBAGE COLLECT 493.46/495.02 c rational objective 147 525.83/527.52 c #Conflicts: 270000 | #Constraints: 19917 525.83/527.52 c #Conflicts: 271000 | #Constraints: 20917 525.83/527.52 c #Conflicts: 272000 | #Constraints: 21917 525.83/527.52 c #Conflicts: 273000 | #Constraints: 22917 525.83/527.52 c #Conflicts: 274000 | #Constraints: 23917 525.83/527.52 c #Conflicts: 275000 | #Constraints: 24917 525.83/527.52 c #Conflicts: 276000 | #Constraints: 25917 525.83/527.52 c #Conflicts: 277000 | #Constraints: 26917 525.83/527.52 c #Conflicts: 278000 | #Constraints: 27917 525.83/527.52 c #Conflicts: 279000 | #Constraints: 28917 525.83/527.52 c #Conflicts: 280000 | #Constraints: 29917 525.83/527.52 c #Conflicts: 281000 | #Constraints: 30917 525.83/527.52 c #Conflicts: 282000 | #Constraints: 31917 525.83/527.52 c INPROCESSING 525.83/527.52 c GARBAGE COLLECT 525.83/527.52 c rational objective 147 556.73/558.58 c #Conflicts: 283000 | #Constraints: 17760 556.73/558.58 c #Conflicts: 284000 | #Constraints: 18760 556.73/558.58 c #Conflicts: 285000 | #Constraints: 19760 556.73/558.58 c #Conflicts: 286000 | #Constraints: 20760 556.73/558.58 c #Conflicts: 287000 | #Constraints: 21760 556.73/558.58 c #Conflicts: 288000 | #Constraints: 22760 556.73/558.58 c #Conflicts: 289000 | #Constraints: 23760 556.73/558.58 c #Conflicts: 290000 | #Constraints: 24760 556.73/558.58 c #Conflicts: 291000 | #Constraints: 25760 556.73/558.58 c #Conflicts: 292000 | #Constraints: 26760 556.73/558.58 c #Conflicts: 293000 | #Constraints: 27760 556.73/558.58 c #Conflicts: 294000 | #Constraints: 28760 556.73/558.58 c INPROCESSING 556.73/558.58 c GARBAGE COLLECT 556.73/558.58 c rational objective 147 727.75/730.13 c #Conflicts: 295000 | #Constraints: 15926 727.75/730.13 c #Conflicts: 296000 | #Constraints: 16928 727.75/730.13 c #Conflicts: 297000 | #Constraints: 17928 727.75/730.13 c #Conflicts: 298000 | #Constraints: 18928 727.75/730.13 c #Conflicts: 299000 | #Constraints: 19928 727.75/730.13 c #Conflicts: 300000 | #Constraints: 20928 727.75/730.13 c #Conflicts: 301000 | #Constraints: 21928 727.75/730.13 c #Conflicts: 302000 | #Constraints: 22928 727.75/730.13 c #Conflicts: 303000 | #Constraints: 23928 727.75/730.13 c #Conflicts: 304000 | #Constraints: 24928 727.75/730.13 c #Conflicts: 305000 | #Constraints: 25934 727.75/730.13 c #Conflicts: 306000 | #Constraints: 26943 727.75/730.13 c #Conflicts: 307000 | #Constraints: 27943 727.75/730.13 c #Conflicts: 308000 | #Constraints: 28943 727.75/730.13 c #Conflicts: 309000 | #Constraints: 29967 727.75/730.13 c #Conflicts: 310000 | #Constraints: 30967 727.75/730.13 c #Conflicts: 311000 | #Constraints: 31967 727.75/730.13 c #Conflicts: 312000 | #Constraints: 32967 727.75/730.13 c #Conflicts: 313000 | #Constraints: 33967 727.75/730.13 c #Conflicts: 314000 | #Constraints: 34967 727.75/730.13 c #Conflicts: 315000 | #Constraints: 35967 727.75/730.13 c #Conflicts: 316000 | #Constraints: 36967 727.75/730.13 c #Conflicts: 317000 | #Constraints: 37967 727.75/730.13 c #Conflicts: 318000 | #Constraints: 38967 727.75/730.13 c #Conflicts: 319000 | #Constraints: 39967 727.75/730.13 c #Conflicts: 320000 | #Constraints: 40967 727.75/730.13 c #Conflicts: 321000 | #Constraints: 41967 727.75/730.13 c #Conflicts: 322000 | #Constraints: 42967 727.75/730.13 c #Conflicts: 323000 | #Constraints: 43967 727.75/730.13 c #Conflicts: 324000 | #Constraints: 44967 727.75/730.13 c #Conflicts: 325000 | #Constraints: 45967 727.75/730.13 c #Conflicts: 326000 | #Constraints: 46967 727.75/730.13 c #Conflicts: 327000 | #Constraints: 47967 727.75/730.13 c #Conflicts: 328000 | #Constraints: 48967 727.75/730.13 c #Conflicts: 329000 | #Constraints: 49967 727.75/730.13 c #Conflicts: 330000 | #Constraints: 50967 727.75/730.13 c #Conflicts: 331000 | #Constraints: 51967 727.75/730.13 c #Conflicts: 332000 | #Constraints: 52967 727.75/730.13 c #Conflicts: 333000 | #Constraints: 53967 727.75/730.13 c #Conflicts: 334000 | #Constraints: 54967 727.75/730.13 c #Conflicts: 335000 | #Constraints: 55967 727.75/730.13 c #Conflicts: 336000 | #Constraints: 56967 727.75/730.13 c INPROCESSING 727.75/730.13 c GARBAGE COLLECT 727.75/730.13 c rational objective 147 819.22/821.93 c #Conflicts: 337000 | #Constraints: 30191 819.22/821.93 c #Conflicts: 338000 | #Constraints: 31191 819.22/821.93 c #Conflicts: 339000 | #Constraints: 32191 819.22/821.93 c #Conflicts: 340000 | #Constraints: 33191 819.22/821.93 c #Conflicts: 341000 | #Constraints: 34191 819.22/821.93 c #Conflicts: 342000 | #Constraints: 35191 819.22/821.93 c #Conflicts: 343000 | #Constraints: 36191 819.22/821.93 c #Conflicts: 344000 | #Constraints: 37191 819.22/821.93 c #Conflicts: 345000 | #Constraints: 38191 819.22/821.93 c #Conflicts: 346000 | #Constraints: 39191 819.22/821.93 c #Conflicts: 347000 | #Constraints: 40191 819.22/821.93 c #Conflicts: 348000 | #Constraints: 41191 819.22/821.93 c #Conflicts: 349000 | #Constraints: 42191 819.22/821.93 c INPROCESSING 819.22/821.93 c GARBAGE COLLECT 819.22/821.93 c rational objective 147 869.76/872.67 c #Conflicts: 350000 | #Constraints: 22495 869.76/872.67 c #Conflicts: 351000 | #Constraints: 23496 869.76/872.67 c #Conflicts: 352000 | #Constraints: 24496 869.76/872.67 c #Conflicts: 353000 | #Constraints: 25496 869.76/872.67 c #Conflicts: 354000 | #Constraints: 26496 869.76/872.67 c #Conflicts: 355000 | #Constraints: 27496 869.76/872.67 c #Conflicts: 356000 | #Constraints: 28496 869.76/872.67 c #Conflicts: 357000 | #Constraints: 29496 869.76/872.67 c #Conflicts: 358000 | #Constraints: 30496 869.76/872.67 c #Conflicts: 359000 | #Constraints: 31496 869.76/872.67 c #Conflicts: 360000 | #Constraints: 32496 869.76/872.67 c #Conflicts: 361000 | #Constraints: 33496 869.76/872.67 c #Conflicts: 362000 | #Constraints: 34496 869.76/872.67 c #Conflicts: 363000 | #Constraints: 35496 869.76/872.67 c INPROCESSING 869.76/872.67 c GARBAGE COLLECT 869.76/872.67 c rational objective 147 917.40/920.48 c #Conflicts: 364000 | #Constraints: 19142 917.40/920.48 c #Conflicts: 365000 | #Constraints: 20142 917.40/920.48 c #Conflicts: 366000 | #Constraints: 21142 917.40/920.48 c #Conflicts: 367000 | #Constraints: 22142 917.40/920.48 c #Conflicts: 368000 | #Constraints: 23142 917.40/920.48 c #Conflicts: 369000 | #Constraints: 24143 917.40/920.48 c #Conflicts: 370000 | #Constraints: 25143 917.40/920.48 c #Conflicts: 371000 | #Constraints: 26143 917.40/920.48 c #Conflicts: 372000 | #Constraints: 27143 917.40/920.48 c #Conflicts: 373000 | #Constraints: 28143 917.40/920.48 c #Conflicts: 374000 | #Constraints: 29143 917.40/920.48 c #Conflicts: 375000 | #Constraints: 30143 917.40/920.48 c #Conflicts: 376000 | #Constraints: 31143 917.40/920.48 c #Conflicts: 377000 | #Constraints: 32143 917.40/920.48 c #Conflicts: 378000 | #Constraints: 33143 917.40/920.48 c INPROCESSING 917.40/920.48 c GARBAGE COLLECT 917.40/920.48 c rational objective 147 1105.76/1109.43 c #Conflicts: 379000 | #Constraints: 18374 1105.76/1109.43 c #Conflicts: 380000 | #Constraints: 19374 1105.76/1109.43 c #Conflicts: 381000 | #Constraints: 20374 1105.76/1109.43 c #Conflicts: 382000 | #Constraints: 21374 1105.76/1109.43 c #Conflicts: 383000 | #Constraints: 22374 1105.76/1109.43 c #Conflicts: 384000 | #Constraints: 23374 1105.76/1109.43 c #Conflicts: 385000 | #Constraints: 24374 1105.76/1109.43 c bounds 195 >= 148 @ 935.615 1105.76/1109.43 c #Conflicts: 386000 | #Constraints: 25422 1105.76/1109.43 c #Conflicts: 387000 | #Constraints: 26422 1105.76/1109.43 c #Conflicts: 388000 | #Constraints: 27422 1105.76/1109.43 c #Conflicts: 389000 | #Constraints: 28422 1105.76/1109.43 c #Conflicts: 390000 | #Constraints: 29422 1105.76/1109.43 c #Conflicts: 391000 | #Constraints: 30422 1105.76/1109.43 c #Conflicts: 392000 | #Constraints: 31422 1105.76/1109.43 c #Conflicts: 393000 | #Constraints: 32422 1105.76/1109.43 c #Conflicts: 394000 | #Constraints: 33422 1105.76/1109.43 c #Conflicts: 395000 | #Constraints: 34422 1105.76/1109.43 c #Conflicts: 396000 | #Constraints: 35422 1105.76/1109.43 c #Conflicts: 397000 | #Constraints: 36422 1105.76/1109.43 c #Conflicts: 398000 | #Constraints: 37422 1105.76/1109.43 c #Conflicts: 399000 | #Constraints: 38423 1105.76/1109.43 c #Conflicts: 400000 | #Constraints: 39423 1105.76/1109.43 c #Conflicts: 401000 | #Constraints: 40423 1105.76/1109.43 c #Conflicts: 402000 | #Constraints: 41423 1105.76/1109.43 c #Conflicts: 403000 | #Constraints: 42423 1105.76/1109.43 c #Conflicts: 404000 | #Constraints: 43423 1105.76/1109.43 c #Conflicts: 405000 | #Constraints: 44423 1105.76/1109.43 c #Conflicts: 406000 | #Constraints: 45444 1105.76/1109.43 c #Conflicts: 407000 | #Constraints: 46444 1105.76/1109.43 c #Conflicts: 408000 | #Constraints: 47444 1105.76/1109.43 c #Conflicts: 409000 | #Constraints: 48444 1105.76/1109.43 c #Conflicts: 410000 | #Constraints: 49444 1105.76/1109.43 c #Conflicts: 411000 | #Constraints: 50444 1105.76/1109.43 c #Conflicts: 412000 | #Constraints: 51445 1105.76/1109.43 c #Conflicts: 413000 | #Constraints: 52445 1105.76/1109.43 c #Conflicts: 414000 | #Constraints: 53445 1105.76/1109.43 c #Conflicts: 415000 | #Constraints: 54445 1105.76/1109.43 c #Conflicts: 416000 | #Constraints: 55445 1105.76/1109.43 c #Conflicts: 417000 | #Constraints: 56445 1105.76/1109.43 c #Conflicts: 418000 | #Constraints: 57445 1105.76/1109.43 c #Conflicts: 419000 | #Constraints: 58445 1105.76/1109.43 c #Conflicts: 420000 | #Constraints: 59445 1105.76/1109.43 c #Conflicts: 421000 | #Constraints: 60445 1105.76/1109.43 c #Conflicts: 422000 | #Constraints: 61460 1105.76/1109.43 c #Conflicts: 423000 | #Constraints: 62464 1105.76/1109.43 c #Conflicts: 424000 | #Constraints: 63464 1105.76/1109.43 c INPROCESSING 1105.76/1109.43 c GARBAGE COLLECT 1105.76/1109.43 c rational objective 148 1216.09/1220.15 c #Conflicts: 425000 | #Constraints: 33056 1216.09/1220.15 c #Conflicts: 426000 | #Constraints: 34056 1216.09/1220.15 c #Conflicts: 427000 | #Constraints: 35056 1216.09/1220.15 c #Conflicts: 428000 | #Constraints: 36056 1216.09/1220.15 c #Conflicts: 429000 | #Constraints: 37056 1216.09/1220.15 c #Conflicts: 430000 | #Constraints: 38056 1216.09/1220.15 c #Conflicts: 431000 | #Constraints: 39056 1216.09/1220.15 c #Conflicts: 432000 | #Constraints: 40056 1216.09/1220.15 c #Conflicts: 433000 | #Constraints: 41056 1216.09/1220.15 c #Conflicts: 434000 | #Constraints: 42056 1216.09/1220.15 c #Conflicts: 435000 | #Constraints: 43056 1216.09/1220.15 c #Conflicts: 436000 | #Constraints: 44056 1216.09/1220.15 c #Conflicts: 437000 | #Constraints: 45056 1216.09/1220.15 c #Conflicts: 438000 | #Constraints: 46056 1216.09/1220.15 c #Conflicts: 439000 | #Constraints: 47056 1216.09/1220.15 c #Conflicts: 440000 | #Constraints: 48056 1216.09/1220.15 c INPROCESSING 1216.09/1220.15 c GARBAGE COLLECT 1216.09/1220.15 c rational objective 148 1270.50/1274.79 c #Conflicts: 441000 | #Constraints: 25698 1270.50/1274.79 c #Conflicts: 442000 | #Constraints: 26698 1270.50/1274.79 c #Conflicts: 443000 | #Constraints: 27699 1270.50/1274.79 c #Conflicts: 444000 | #Constraints: 28699 1270.50/1274.79 c #Conflicts: 445000 | #Constraints: 29699 1270.50/1274.79 c #Conflicts: 446000 | #Constraints: 30699 1270.50/1274.79 c #Conflicts: 447000 | #Constraints: 31699 1270.50/1274.79 c #Conflicts: 448000 | #Constraints: 32699 1270.50/1274.79 c #Conflicts: 449000 | #Constraints: 33699 1270.50/1274.79 c #Conflicts: 450000 | #Constraints: 34699 1270.50/1274.79 c #Conflicts: 451000 | #Constraints: 35699 1270.50/1274.79 c #Conflicts: 452000 | #Constraints: 36699 1270.50/1274.79 c #Conflicts: 453000 | #Constraints: 37699 1270.50/1274.79 c #Conflicts: 454000 | #Constraints: 38700 1270.50/1274.79 c #Conflicts: 455000 | #Constraints: 39700 1270.50/1274.79 c #Conflicts: 456000 | #Constraints: 40700 1270.50/1274.79 c INPROCESSING 1270.50/1274.79 c GARBAGE COLLECT 1270.50/1274.79 c rational objective 148 1521.02/1526.00 c #Conflicts: 457000 | #Constraints: 22157 1521.02/1526.00 c #Conflicts: 458000 | #Constraints: 23157 1521.02/1526.00 c #Conflicts: 459000 | #Constraints: 24157 1521.02/1526.00 c #Conflicts: 460000 | #Constraints: 25157 1521.02/1526.00 c #Conflicts: 461000 | #Constraints: 26157 1521.02/1526.00 c #Conflicts: 462000 | #Constraints: 27157 1521.02/1526.00 c #Conflicts: 463000 | #Constraints: 28157 1521.02/1526.00 c #Conflicts: 464000 | #Constraints: 29157 1521.02/1526.00 c #Conflicts: 465000 | #Constraints: 30157 1521.02/1526.00 c #Conflicts: 466000 | #Constraints: 31157 1521.02/1526.00 c #Conflicts: 467000 | #Constraints: 32157 1521.02/1526.00 c #Conflicts: 468000 | #Constraints: 33157 1521.02/1526.00 c #Conflicts: 469000 | #Constraints: 34157 1521.02/1526.00 c #Conflicts: 470000 | #Constraints: 35158 1521.02/1526.00 c #Conflicts: 471000 | #Constraints: 36158 1521.02/1526.00 c #Conflicts: 472000 | #Constraints: 37158 1521.02/1526.00 c #Conflicts: 473000 | #Constraints: 38158 1521.02/1526.00 c #Conflicts: 474000 | #Constraints: 39159 1521.02/1526.00 c #Conflicts: 475000 | #Constraints: 40159 1521.02/1526.00 c #Conflicts: 476000 | #Constraints: 41159 1521.02/1526.00 c #Conflicts: 477000 | #Constraints: 42159 1521.02/1526.00 c #Conflicts: 478000 | #Constraints: 43159 1521.02/1526.00 c #Conflicts: 479000 | #Constraints: 44160 1521.02/1526.00 c #Conflicts: 480000 | #Constraints: 45163 1521.02/1526.00 c #Conflicts: 481000 | #Constraints: 46164 1521.02/1526.00 c #Conflicts: 482000 | #Constraints: 47165 1521.02/1526.00 c #Conflicts: 483000 | #Constraints: 48165 1521.02/1526.00 c #Conflicts: 484000 | #Constraints: 49167 1521.02/1526.00 c #Conflicts: 485000 | #Constraints: 50167 1521.02/1526.00 c #Conflicts: 486000 | #Constraints: 51167 1521.02/1526.00 c #Conflicts: 487000 | #Constraints: 52167 1521.02/1526.00 c #Conflicts: 488000 | #Constraints: 53167 1521.02/1526.00 c #Conflicts: 489000 | #Constraints: 54167 1521.02/1526.00 c #Conflicts: 490000 | #Constraints: 55167 1521.02/1526.00 c #Conflicts: 491000 | #Constraints: 56167 1521.02/1526.00 c #Conflicts: 492000 | #Constraints: 57167 1521.02/1526.00 c #Conflicts: 493000 | #Constraints: 58167 1521.02/1526.00 c #Conflicts: 494000 | #Constraints: 59167 1521.02/1526.00 c #Conflicts: 495000 | #Constraints: 60167 1521.02/1526.00 c #Conflicts: 496000 | #Constraints: 61167 1521.02/1526.00 c #Conflicts: 497000 | #Constraints: 62168 1521.02/1526.00 c #Conflicts: 498000 | #Constraints: 63168 1521.02/1526.00 c #Conflicts: 499000 | #Constraints: 64169 1521.02/1526.00 c #Conflicts: 500000 | #Constraints: 65169 1521.02/1526.00 c #Conflicts: 501000 | #Constraints: 66169 1521.02/1526.00 c #Conflicts: 502000 | #Constraints: 67170 1521.02/1526.00 c #Conflicts: 503000 | #Constraints: 68170 1521.02/1526.00 c #Conflicts: 504000 | #Constraints: 69170 1521.02/1526.00 c #Conflicts: 505000 | #Constraints: 70170 1521.02/1526.00 c #Conflicts: 506000 | #Constraints: 71170 1521.02/1526.00 c #Conflicts: 507000 | #Constraints: 72170 1521.02/1526.00 c INPROCESSING 1521.02/1526.00 c GARBAGE COLLECT 1521.02/1526.00 c rational objective 148 1562.70/1567.74 c #Conflicts: 508000 | #Constraints: 37903 1562.70/1567.74 c #Conflicts: 509000 | #Constraints: 38903 1562.70/1567.74 c #Conflicts: 510000 | #Constraints: 39903 1562.70/1567.74 c #Conflicts: 511000 | #Constraints: 40903 1562.70/1567.74 c #Conflicts: 512000 | #Constraints: 41903 1562.70/1567.74 c #Conflicts: 513000 | #Constraints: 42915 1562.70/1567.74 c #Conflicts: 514000 | #Constraints: 43915 1562.70/1567.74 c #Conflicts: 515000 | #Constraints: 44915 1562.70/1567.74 c #Conflicts: 516000 | #Constraints: 45915 1562.70/1567.74 c #Conflicts: 517000 | #Constraints: 46915 1562.70/1567.74 c #Conflicts: 518000 | #Constraints: 47915 1562.70/1567.74 c #Conflicts: 519000 | #Constraints: 48915 1562.70/1567.74 c #Conflicts: 520000 | #Constraints: 49915 1562.70/1567.74 c #Conflicts: 521000 | #Constraints: 50915 1562.70/1567.74 c #Conflicts: 522000 | #Constraints: 51915 1562.70/1567.74 c #Conflicts: 523000 | #Constraints: 52915 1562.70/1567.74 c #Conflicts: 524000 | #Constraints: 53915 1562.70/1567.74 c INPROCESSING 1562.70/1567.74 c GARBAGE COLLECT 1562.70/1567.74 c rational objective 148 1609.38/1614.59 c #Conflicts: 525000 | #Constraints: 28680 1609.38/1614.59 c #Conflicts: 526000 | #Constraints: 29680 1609.38/1614.59 c #Conflicts: 527000 | #Constraints: 30688 1609.38/1614.59 c #Conflicts: 528000 | #Constraints: 31688 1609.38/1614.59 c #Conflicts: 529000 | #Constraints: 32688 1609.38/1614.59 c #Conflicts: 530000 | #Constraints: 33688 1609.38/1614.59 c #Conflicts: 531000 | #Constraints: 34689 1609.38/1614.59 c #Conflicts: 532000 | #Constraints: 35689 1609.38/1614.59 c #Conflicts: 533000 | #Constraints: 36689 1609.38/1614.59 c #Conflicts: 534000 | #Constraints: 37719 1609.38/1614.59 c #Conflicts: 535000 | #Constraints: 38719 1609.38/1614.59 c #Conflicts: 536000 | #Constraints: 39719 1609.38/1614.59 c #Conflicts: 537000 | #Constraints: 40719 1609.38/1614.59 c #Conflicts: 538000 | #Constraints: 41719 1609.38/1614.59 c #Conflicts: 539000 | #Constraints: 42719 1609.38/1614.59 c #Conflicts: 540000 | #Constraints: 43719 1609.38/1614.59 c #Conflicts: 541000 | #Constraints: 44720 1609.38/1614.59 c INPROCESSING 1609.38/1614.59 c GARBAGE COLLECT 1609.38/1614.59 c rational objective 148 1977.88/1983.90 c #Conflicts: 542000 | #Constraints: 25208 1977.88/1983.90 c #Conflicts: 543000 | #Constraints: 26208 1977.88/1983.90 c #Conflicts: 544000 | #Constraints: 27209 1977.88/1983.90 c #Conflicts: 545000 | #Constraints: 28237 1977.88/1983.90 c #Conflicts: 546000 | #Constraints: 29238 1977.88/1983.90 c #Conflicts: 547000 | #Constraints: 30238 1977.88/1983.90 c #Conflicts: 548000 | #Constraints: 31238 1977.88/1983.90 c #Conflicts: 549000 | #Constraints: 32238 1977.88/1983.90 c #Conflicts: 550000 | #Constraints: 33238 1977.88/1983.90 c #Conflicts: 551000 | #Constraints: 34238 1977.88/1983.90 c #Conflicts: 552000 | #Constraints: 35238 1977.88/1983.90 c #Conflicts: 553000 | #Constraints: 36238 1977.88/1983.90 c #Conflicts: 554000 | #Constraints: 37238 1977.88/1983.90 c #Conflicts: 555000 | #Constraints: 38240 1977.88/1983.90 c #Conflicts: 556000 | #Constraints: 39240 1977.88/1983.90 c #Conflicts: 557000 | #Constraints: 40241 1977.88/1983.90 c #Conflicts: 558000 | #Constraints: 41241 1977.88/1983.90 c #Conflicts: 559000 | #Constraints: 42242 1977.88/1983.90 c #Conflicts: 560000 | #Constraints: 43242 1977.88/1983.90 c #Conflicts: 561000 | #Constraints: 44242 1977.88/1983.90 c #Conflicts: 562000 | #Constraints: 45242 1977.88/1983.90 c #Conflicts: 563000 | #Constraints: 46242 1977.88/1983.90 c #Conflicts: 564000 | #Constraints: 47242 1977.88/1983.90 c #Conflicts: 565000 | #Constraints: 48243 1977.88/1983.90 c #Conflicts: 566000 | #Constraints: 49243 1977.88/1983.90 c #Conflicts: 567000 | #Constraints: 50243 1977.88/1983.90 c #Conflicts: 568000 | #Constraints: 51243 1977.88/1983.90 c #Conflicts: 569000 | #Constraints: 52243 1977.88/1983.90 c #Conflicts: 570000 | #Constraints: 53243 1977.88/1983.90 c #Conflicts: 571000 | #Constraints: 54243 1977.88/1983.90 c #Conflicts: 572000 | #Constraints: 55243 1977.88/1983.90 c #Conflicts: 573000 | #Constraints: 56243 1977.88/1983.90 c #Conflicts: 574000 | #Constraints: 57243 1977.88/1983.90 c #Conflicts: 575000 | #Constraints: 58243 1977.88/1983.90 c #Conflicts: 576000 | #Constraints: 59243 1977.88/1983.90 c #Conflicts: 577000 | #Constraints: 60243 1977.88/1983.90 c #Conflicts: 578000 | #Constraints: 61243 1977.88/1983.90 c #Conflicts: 579000 | #Constraints: 62243 1977.88/1983.90 c #Conflicts: 580000 | #Constraints: 63243 1977.88/1983.90 c #Conflicts: 581000 | #Constraints: 64243 1977.88/1983.90 c #Conflicts: 582000 | #Constraints: 65243 1977.88/1983.90 c #Conflicts: 583000 | #Constraints: 66243 1977.88/1983.90 c #Conflicts: 584000 | #Constraints: 67243 1977.88/1983.90 c #Conflicts: 585000 | #Constraints: 68243 1977.88/1983.90 c #Conflicts: 586000 | #Constraints: 69243 1977.88/1983.90 c #Conflicts: 587000 | #Constraints: 70243 1977.88/1983.90 c #Conflicts: 588000 | #Constraints: 71243 1977.88/1983.90 c #Conflicts: 589000 | #Constraints: 72243 1977.88/1983.90 c #Conflicts: 590000 | #Constraints: 73243 1977.88/1983.90 c #Conflicts: 591000 | #Constraints: 74243 1977.88/1983.90 c #Conflicts: 592000 | #Constraints: 75243 1977.88/1983.90 c #Conflicts: 593000 | #Constraints: 76243 1977.88/1983.90 c #Conflicts: 594000 | #Constraints: 77243 1977.88/1983.90 c #Conflicts: 595000 | #Constraints: 78244 1977.88/1983.90 c #Conflicts: 596000 | #Constraints: 79244 1977.88/1983.90 c INPROCESSING 1977.88/1983.90 c GARBAGE COLLECT 1977.88/1983.90 c rational objective 148 2182.53/2189.19 c #Conflicts: 597000 | #Constraints: 41168 2182.53/2189.19 c #Conflicts: 598000 | #Constraints: 42168 2182.53/2189.19 c #Conflicts: 599000 | #Constraints: 43168 2182.53/2189.19 c #Conflicts: 600000 | #Constraints: 44168 2182.53/2189.19 c #Conflicts: 601000 | #Constraints: 45168 2182.53/2189.19 c #Conflicts: 602000 | #Constraints: 46168 2182.53/2189.19 c #Conflicts: 603000 | #Constraints: 47169 2182.53/2189.19 c #Conflicts: 604000 | #Constraints: 48169 2182.53/2189.19 c #Conflicts: 605000 | #Constraints: 49169 2182.53/2189.19 c #Conflicts: 606000 | #Constraints: 50170 2182.53/2189.19 c #Conflicts: 607000 | #Constraints: 51170 2182.53/2189.19 c #Conflicts: 608000 | #Constraints: 52170 2182.53/2189.19 c #Conflicts: 609000 | #Constraints: 53170 2182.53/2189.19 c #Conflicts: 610000 | #Constraints: 54170 2182.53/2189.19 c #Conflicts: 611000 | #Constraints: 55170 2182.53/2189.19 c #Conflicts: 612000 | #Constraints: 56170 2182.53/2189.19 c #Conflicts: 613000 | #Constraints: 57170 2182.53/2189.19 c #Conflicts: 614000 | #Constraints: 58170 2182.53/2189.19 c INPROCESSING 2182.53/2189.19 c GARBAGE COLLECT 2182.53/2189.19 c rational objective 148 2273.78/2280.63 c #Conflicts: 615000 | #Constraints: 30449 2273.78/2280.63 c #Conflicts: 616000 | #Constraints: 31449 2273.78/2280.63 c #Conflicts: 617000 | #Constraints: 32449 2273.78/2280.63 c #Conflicts: 618000 | #Constraints: 33449 2273.78/2280.63 c #Conflicts: 619000 | #Constraints: 34449 2273.78/2280.63 c #Conflicts: 620000 | #Constraints: 35449 2273.78/2280.63 c #Conflicts: 621000 | #Constraints: 36449 2273.78/2280.63 c #Conflicts: 622000 | #Constraints: 37449 2273.78/2280.63 c #Conflicts: 623000 | #Constraints: 38449 2273.78/2280.63 c #Conflicts: 624000 | #Constraints: 39449 2273.78/2280.63 c #Conflicts: 625000 | #Constraints: 40449 2273.78/2280.63 c #Conflicts: 626000 | #Constraints: 41449 2273.78/2280.63 c #Conflicts: 627000 | #Constraints: 42449 2273.78/2280.63 c #Conflicts: 628000 | #Constraints: 43449 2273.78/2280.63 c #Conflicts: 629000 | #Constraints: 44449 2273.78/2280.63 c #Conflicts: 630000 | #Constraints: 45449 2273.78/2280.63 c #Conflicts: 631000 | #Constraints: 46449 2273.78/2280.63 c #Conflicts: 632000 | #Constraints: 47449 2273.78/2280.63 c #Conflicts: 633000 | #Constraints: 48449 2273.78/2280.63 c INPROCESSING 2273.78/2280.63 c GARBAGE COLLECT 2273.78/2280.63 c rational objective 148 2717.87/2725.92 c #Conflicts: 634000 | #Constraints: 28046 2717.87/2725.92 c #Conflicts: 635000 | #Constraints: 29046 2717.87/2725.92 c #Conflicts: 636000 | #Constraints: 30046 2717.87/2725.92 c #Conflicts: 637000 | #Constraints: 31046 2717.87/2725.92 c #Conflicts: 638000 | #Constraints: 32046 2717.87/2725.92 c #Conflicts: 639000 | #Constraints: 33046 2717.87/2725.92 c #Conflicts: 640000 | #Constraints: 34046 2717.87/2725.92 c #Conflicts: 641000 | #Constraints: 35046 2717.87/2725.92 c #Conflicts: 642000 | #Constraints: 36046 2717.87/2725.92 c #Conflicts: 643000 | #Constraints: 37046 2717.87/2725.92 c #Conflicts: 644000 | #Constraints: 38046 2717.87/2725.92 c #Conflicts: 645000 | #Constraints: 39046 2717.87/2725.92 c #Conflicts: 646000 | #Constraints: 40046 2717.87/2725.92 c #Conflicts: 647000 | #Constraints: 41046 2717.87/2725.92 c #Conflicts: 648000 | #Constraints: 42046 2717.87/2725.92 c #Conflicts: 649000 | #Constraints: 43046 2717.87/2725.92 c #Conflicts: 650000 | #Constraints: 44046 2717.87/2725.92 c #Conflicts: 651000 | #Constraints: 45046 2717.87/2725.92 c #Conflicts: 652000 | #Constraints: 46046 2717.87/2725.92 c #Conflicts: 653000 | #Constraints: 47046 2717.87/2725.92 c #Conflicts: 654000 | #Constraints: 48046 2717.87/2725.92 c #Conflicts: 655000 | #Constraints: 49046 2717.87/2725.92 c #Conflicts: 656000 | #Constraints: 50046 2717.87/2725.92 c #Conflicts: 657000 | #Constraints: 51046 2717.87/2725.92 c #Conflicts: 658000 | #Constraints: 52046 2717.87/2725.92 c #Conflicts: 659000 | #Constraints: 53046 2717.87/2725.92 c #Conflicts: 660000 | #Constraints: 54046 2717.87/2725.92 c #Conflicts: 661000 | #Constraints: 55046 2717.87/2725.92 c #Conflicts: 662000 | #Constraints: 56046 2717.87/2725.92 c #Conflicts: 663000 | #Constraints: 57046 2717.87/2725.92 c #Conflicts: 664000 | #Constraints: 58046 2717.87/2725.92 c #Conflicts: 665000 | #Constraints: 59046 2717.87/2725.92 c #Conflicts: 666000 | #Constraints: 60046 2717.87/2725.92 c #Conflicts: 667000 | #Constraints: 61046 2717.87/2725.92 c #Conflicts: 668000 | #Constraints: 62046 2717.87/2725.92 c #Conflicts: 669000 | #Constraints: 63046 2717.87/2725.92 c #Conflicts: 670000 | #Constraints: 64046 2717.87/2725.92 c #Conflicts: 671000 | #Constraints: 65046 2717.87/2725.92 c #Conflicts: 672000 | #Constraints: 66046 2717.87/2725.92 c #Conflicts: 673000 | #Constraints: 67046 2717.87/2725.92 c #Conflicts: 674000 | #Constraints: 68046 2717.87/2725.92 c #Conflicts: 675000 | #Constraints: 69046 2717.87/2725.92 c #Conflicts: 676000 | #Constraints: 70046 2717.87/2725.92 c #Conflicts: 677000 | #Constraints: 71046 2717.87/2725.92 c #Conflicts: 678000 | #Constraints: 72047 2717.87/2725.92 c #Conflicts: 679000 | #Constraints: 73047 2717.87/2725.92 c #Conflicts: 680000 | #Constraints: 74047 2717.87/2725.92 c #Conflicts: 681000 | #Constraints: 75047 2717.87/2725.92 c #Conflicts: 682000 | #Constraints: 76047 2717.87/2725.92 c #Conflicts: 683000 | #Constraints: 77047 2717.87/2725.92 c #Conflicts: 684000 | #Constraints: 78047 2717.87/2725.92 c #Conflicts: 685000 | #Constraints: 79047 2717.87/2725.92 c #Conflicts: 686000 | #Constraints: 80047 2717.87/2725.92 c #Conflicts: 687000 | #Constraints: 81049 2717.87/2725.92 c #Conflicts: 688000 | #Constraints: 82049 2717.87/2725.92 c #Conflicts: 689000 | #Constraints: 83051 2717.87/2725.92 c #Conflicts: 690000 | #Constraints: 84051 2717.87/2725.92 c #Conflicts: 691000 | #Constraints: 85051 2717.87/2725.92 c #Conflicts: 692000 | #Constraints: 86051 2717.87/2725.92 c #Conflicts: 693000 | #Constraints: 87051 2717.87/2725.92 c INPROCESSING 2717.87/2725.92 c GARBAGE COLLECT 2717.87/2725.92 c rational objective 148 2794.78/2803.06 c #Conflicts: 694000 | #Constraints: 45349 2794.78/2803.06 c #Conflicts: 695000 | #Constraints: 46349 2794.78/2803.06 c #Conflicts: 696000 | #Constraints: 47370 2794.78/2803.06 c #Conflicts: 697000 | #Constraints: 48374 2794.78/2803.06 c #Conflicts: 698000 | #Constraints: 49383 2794.78/2803.06 c #Conflicts: 699000 | #Constraints: 50408 2794.78/2803.06 c #Conflicts: 700000 | #Constraints: 51416 2794.78/2803.06 c #Conflicts: 701000 | #Constraints: 52416 2794.78/2803.06 c #Conflicts: 702000 | #Constraints: 53416 2794.78/2803.06 c #Conflicts: 703000 | #Constraints: 54416 2794.78/2803.06 c #Conflicts: 704000 | #Constraints: 55416 2794.78/2803.06 c #Conflicts: 705000 | #Constraints: 56416 2794.78/2803.06 c #Conflicts: 706000 | #Constraints: 57416 2794.78/2803.06 c #Conflicts: 707000 | #Constraints: 58416 2794.78/2803.06 c #Conflicts: 708000 | #Constraints: 59416 2794.78/2803.06 c #Conflicts: 709000 | #Constraints: 60416 2794.78/2803.06 c #Conflicts: 710000 | #Constraints: 61416 2794.78/2803.06 c #Conflicts: 711000 | #Constraints: 62416 2794.78/2803.06 c #Conflicts: 712000 | #Constraints: 63416 2794.78/2803.06 c #Conflicts: 713000 | #Constraints: 64416 2794.78/2803.06 c INPROCESSING 2794.78/2803.06 c GARBAGE COLLECT 2794.78/2803.06 c rational objective 148 3284.84/3294.39 c #Conflicts: 714000 | #Constraints: 33945 3284.84/3294.39 c #Conflicts: 715000 | #Constraints: 34949 3284.84/3294.39 c #Conflicts: 716000 | #Constraints: 35977 3284.84/3294.39 c #Conflicts: 717000 | #Constraints: 36994 3284.84/3294.39 c #Conflicts: 718000 | #Constraints: 38002 3284.84/3294.39 c #Conflicts: 719000 | #Constraints: 39022 3284.84/3294.39 c #Conflicts: 720000 | #Constraints: 40022 3284.84/3294.39 c #Conflicts: 721000 | #Constraints: 41022 3284.84/3294.39 c #Conflicts: 722000 | #Constraints: 42022 3284.84/3294.39 c #Conflicts: 723000 | #Constraints: 43022 3284.84/3294.39 c #Conflicts: 724000 | #Constraints: 44022 3284.84/3294.39 c #Conflicts: 725000 | #Constraints: 45022 3284.84/3294.39 c #Conflicts: 726000 | #Constraints: 46022 3284.84/3294.39 c #Conflicts: 727000 | #Constraints: 47022 3284.84/3294.39 c #Conflicts: 728000 | #Constraints: 48022 3284.84/3294.39 c #Conflicts: 729000 | #Constraints: 49022 3284.84/3294.39 c #Conflicts: 730000 | #Constraints: 50022 3284.84/3294.39 c #Conflicts: 731000 | #Constraints: 51022 3284.84/3294.39 c #Conflicts: 732000 | #Constraints: 52022 3284.84/3294.39 c #Conflicts: 733000 | #Constraints: 53022 3284.84/3294.39 c #Conflicts: 734000 | #Constraints: 54022 3284.84/3294.39 c #Conflicts: 735000 | #Constraints: 55022 3284.84/3294.39 c #Conflicts: 736000 | #Constraints: 56022 3284.84/3294.39 c #Conflicts: 737000 | #Constraints: 57022 3284.84/3294.39 c #Conflicts: 738000 | #Constraints: 58022 3284.84/3294.39 c #Conflicts: 739000 | #Constraints: 59022 3284.84/3294.39 c #Conflicts: 740000 | #Constraints: 60070 3284.84/3294.39 c #Conflicts: 741000 | #Constraints: 61078 3284.84/3294.39 c #Conflicts: 742000 | #Constraints: 62084 3284.84/3294.39 c #Conflicts: 743000 | #Constraints: 63100 3284.84/3294.39 c #Conflicts: 744000 | #Constraints: 64122 3284.84/3294.39 c #Conflicts: 745000 | #Constraints: 65132 3284.84/3294.39 c #Conflicts: 746000 | #Constraints: 66133 3284.84/3294.39 c #Conflicts: 747000 | #Constraints: 67202 3284.84/3294.39 c #Conflicts: 748000 | #Constraints: 68202 3284.84/3294.39 c #Conflicts: 749000 | #Constraints: 69202 3284.84/3294.39 c #Conflicts: 750000 | #Constraints: 70202 3284.84/3294.39 c #Conflicts: 751000 | #Constraints: 71202 3284.84/3294.39 c #Conflicts: 752000 | #Constraints: 72202 3284.84/3294.39 c #Conflicts: 753000 | #Constraints: 73202 3284.84/3294.39 c #Conflicts: 754000 | #Constraints: 74202 3284.84/3294.39 c #Conflicts: 755000 | #Constraints: 75247 3284.84/3294.39 c #Conflicts: 756000 | #Constraints: 76280 3284.84/3294.39 c #Conflicts: 757000 | #Constraints: 77340 3284.84/3294.39 c #Conflicts: 758000 | #Constraints: 78371 3284.84/3294.39 c #Conflicts: 759000 | #Constraints: 79373 3284.84/3294.39 c #Conflicts: 760000 | #Constraints: 80384 3284.84/3294.39 c #Conflicts: 761000 | #Constraints: 81388 3284.84/3294.39 c #Conflicts: 762000 | #Constraints: 82395 3284.84/3294.39 c #Conflicts: 763000 | #Constraints: 83465 3284.84/3294.39 c #Conflicts: 764000 | #Constraints: 84576 3284.84/3294.39 c #Conflicts: 765000 | #Constraints: 85651 3284.84/3294.39 c #Conflicts: 766000 | #Constraints: 86681 3284.84/3294.39 c #Conflicts: 767000 | #Constraints: 87817 3284.84/3294.39 c #Conflicts: 768000 | #Constraints: 88843 3284.84/3294.39 c #Conflicts: 769000 | #Constraints: 89845 3284.84/3294.39 c #Conflicts: 770000 | #Constraints: 90853 3284.84/3294.39 c #Conflicts: 771000 | #Constraints: 91881 3284.84/3294.39 c #Conflicts: 772000 | #Constraints: 92922 3284.84/3294.39 c #Conflicts: 773000 | #Constraints: 93927 3284.84/3294.39 c #Conflicts: 774000 | #Constraints: 94943 3284.84/3294.39 c #Conflicts: 775000 | #Constraints: 96013 3284.84/3294.39 c INPROCESSING 3284.84/3294.39 c GARBAGE COLLECT 3284.84/3294.39 c rational objective 148 3548.89/3559.06 c #Conflicts: 776000 | #Constraints: 49484 3548.89/3559.06 c #Conflicts: 777000 | #Constraints: 50484 3548.89/3559.06 c #Conflicts: 778000 | #Constraints: 51484 3548.89/3559.06 c #Conflicts: 779000 | #Constraints: 52484 3548.89/3559.06 c #Conflicts: 780000 | #Constraints: 53484 3548.89/3559.06 c #Conflicts: 781000 | #Constraints: 54484 3548.89/3559.06 c #Conflicts: 782000 | #Constraints: 55484 3548.89/3559.06 c #Conflicts: 783000 | #Constraints: 56484 3548.89/3559.06 c #Conflicts: 784000 | #Constraints: 57484 3548.89/3559.06 c #Conflicts: 785000 | #Constraints: 58484 3548.89/3559.06 c #Conflicts: 786000 | #Constraints: 59484 3548.89/3559.06 c #Conflicts: 787000 | #Constraints: 60484 3548.89/3559.06 c #Conflicts: 788000 | #Constraints: 61484 3548.89/3559.06 c #Conflicts: 789000 | #Constraints: 62484 3548.89/3559.06 c #Conflicts: 790000 | #Constraints: 63484 3548.89/3559.06 c #Conflicts: 791000 | #Constraints: 64484 3548.89/3559.06 c #Conflicts: 792000 | #Constraints: 65484 3548.89/3559.06 c #Conflicts: 793000 | #Constraints: 66484 3548.89/3559.06 c #Conflicts: 794000 | #Constraints: 67484 3548.89/3559.06 c #Conflicts: 795000 | #Constraints: 68485 3548.89/3559.06 c #Conflicts: 796000 | #Constraints: 69485 3548.89/3559.06 c INPROCESSING 3548.89/3559.06 c GARBAGE COLLECT 3548.89/3559.06 c rational objective 148 3600.05/3610.30 c 3600.05/3610.30 s SATISFIABLE 3600.05/3610.30 v x1 ~x2 x3 ~x4 ~x5 ~x6 x7 x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 x15 x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 x23 ~x24 ~x25 ~x26 x27 ~x28 x29 x30 ~x31 ~x32 ~x33 ~x34 x35 ~x36 ~x37 ~x38 ~x39 x40 ~x41 ~x42 ~x43 ~x44 ~x45 ~x46 ~x47 x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 x59 ~x60 ~x61 ~x62 x63 ~x64 ~x65 ~x66 ~x67 x68 x69 x70 ~x71 x72 ~x73 x74 ~x75 ~x76 ~x77 ~x78 x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 x86 ~x87 ~x88 x89 ~x90 ~x91 ~x92 ~x93 x94 ~x95 x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 x112 ~x113 ~x114 x115 ~x116 x117 ~x118 ~x119 ~x120 ~x121 x122 ~x123 ~x124 ~x125 ~x126 x127 ~x128 x129 ~x130 ~x131 ~x132 x133 ~x134 x135 x136 x137 x138 x139 ~x140 x141 ~x142 ~x143 ~x144 x145 ~x146 ~x147 ~x148 ~x149 ~x150 x151 ~x152 x153 x154 x155 ~x156 ~x157 ~x158 x159 x160 x161 ~x162 x163 x164 x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 x173 ~x174 x175 ~x176 x177 ~x178 x179 ~x180 ~x181 ~x182 x183 ~x184 ~x185 x186 x187 ~x188 ~x189 x190 ~x191 ~x192 ~x193 ~x194 x195 ~x196 x197 ~x198 x199 ~x200 ~x201 ~x202 x203 x204 x205 ~x206 ~x207 ~x208 ~x209 ~x210 x211 x212 x213 ~x214 ~x215 x216 ~x217 ~x218 x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 x226 ~x227 x228 ~x229 ~x230 ~x231 x232 x233 x234 x235 x236 x237 ~x238 x239 ~x240 ~x241 ~x242 x243 ~x244 x245 x246 ~x247 ~x248 ~x249 ~x250 x251 ~x252 ~x253 ~x254 x255 ~x256 ~x257 ~x258 x259 ~x260 x261 ~x262 ~x263 ~x264 x265 ~x266 ~x267 x268 ~x269 ~x270 ~x271 x272 ~x273 ~x274 ~x275 ~x276 x277 ~x278 ~x279 ~x280 ~x281 ~x282 x283 ~x284 x285 ~x286 x287 ~x288 x289 x290 ~x291 ~x292 x293 ~x294 ~x295 x296 x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 x305 x306 ~x307 x308 ~x309 ~x310 x311 ~x312 ~x313 x314 ~x315 x316 ~x317 ~x318 ~x319 x320 ~x321 x322 x323 x324 ~x325 x326 ~x327 x328 ~x329 ~x330 x331 x332 x333 ~x334 ~x335 x336 x337 ~x338 x339 ~x340 ~x341 x342 x343 ~x344 x345 x346 x347 x348 x349 ~x350 x351 ~x352 ~x353 ~x354 x355 x356 x357 ~x358 ~x359 x360 x361 x362 ~x363 ~x364 x365 ~x366 x367 x368 ~x369 x370 ~x371 ~x372 ~x373 x374 ~x375 x376 x377 x378 x379 x380 ~x381 x382 ~x383 x384 ~x385 x386 x387 ~x388 ~x389 x390 x391 x392 x393 x394 ~x395 ~x396 x397 ~x398 x399 ~x400 x401 ~x402 x403 ~x404 ~x405 ~x406 x407 ~x408 x409 x410 x411 ~x412 ~x413 x414 ~x415 x416 x417 x418 x419 ~x420 x421 x422 x423 x424 x425 x426 ~x427 ~x428 x429 ~x430 x431 x432 ~x433 x434 ~x435 x436 ~x437 x438 ~x439 x440 x441 ~x442 x443 x444 x445 x446 ~x447 ~x448 x449 x450 ~x451 x452 ~x453 ~x454 x455 x456 x457 x458 x459 x460 x461 x462 ~x463 x464 x465 x466 ~x467 x468 ~x469 ~x470 x471 ~x472 ~x473 ~x474 x475 ~x476 3600.05/3610.30 c #Conflicts: 797000 | #Constraints: 36175 3600.05/3610.30 c #Conflicts: 798000 | #Constraints: 37175 3600.05/3610.30 c #Conflicts: 799000 | #Constraints: 38175 3600.05/3610.30 c #Conflicts: 800000 | #Constraints: 39177 3600.05/3610.30 c #Conflicts: 801000 | #Constraints: 40178 3600.05/3610.30 c #Conflicts: 802000 | #Constraints: 41178 3600.05/3610.30 c #Conflicts: 803000 | #Constraints: 42178 3600.05/3610.30 c #Conflicts: 804000 | #Constraints: 43178 3600.05/3610.30 c #Conflicts: 805000 | #Constraints: 44178
OK 195
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: 64096 MiB (63401 MiB free)
memory of node 1: 64473 MiB (62213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429406-1721048429/watcher-4429406-1721048429 -o /tmp/evaluation-result-4429406-1721048429/solver-4429406-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802519 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429406-1721048429.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=802556, runsolver pid=802553
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 3.81 4.06 4.11 5/242 802570
/proc/meminfo: memFree=128618524/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=38444 memory=8624 CPUtime=0.11 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 614 0 1 0 10 1 0 0 20 0 1 0 157001788 39366656 2156 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 9611 2156 1742 922 0 1563 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 8624 KiB
[startup+0.214541 s]*
/proc/loadavg: 3.81 4.06 4.11 5/242 802570
/proc/meminfo: memFree=128612092/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=38444 memory=8624 CPUtime=0.22 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 620 0 1 0 21 1 0 0 20 0 1 0 157001788 39366656 2156 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 9611 2156 1742 922 0 1563 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 8624 KiB
[startup+0.313809 s]*
/proc/loadavg: 3.81 4.06 4.11 5/240 802570
/proc/meminfo: memFree=128618964/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=38444 memory=8624 CPUtime=0.31 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 624 0 1 0 30 1 0 0 20 0 1 0 157001788 39366656 2156 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 9611 2156 1742 922 0 1563 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38444 KiB
Current children cumulated memory: 8624 KiB
[startup+0.70028 s]
/proc/loadavg: 3.81 4.06 4.11 6/246 802581
/proc/meminfo: memFree=128601364/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=40680 memory=13084 CPUtime=0.68 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 1220 0 1 0 61 7 0 0 20 0 1 0 157001788 41656320 3271 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 10170 3271 1772 922 0 2122 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40680 KiB
Current children cumulated memory: 13084 KiB
[startup+1.50029 s]
/proc/loadavg: 3.81 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128582772/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=45060 memory=19120 CPUtime=1.48 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 2266 0 1 0 137 11 0 0 20 0 1 0 157001788 46141440 4780 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 11265 4780 1788 922 0 3217 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45060 KiB
Current children cumulated memory: 19120 KiB
[startup+3.11358 s]
/proc/loadavg: 3.82 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128456588/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=51296 memory=23684 CPUtime=3.09 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 3380 0 1 0 291 18 0 0 20 0 1 0 157001788 52527104 5921 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 12824 5921 1850 922 0 4776 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51296 KiB
Current children cumulated memory: 23684 KiB
[startup+6.30027 s]
/proc/loadavg: 3.82 4.06 4.11 5/246 802581
/proc/meminfo: memFree=128232432/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=61444 memory=31268 CPUtime=6.27 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 5448 0 2 0 595 32 0 0 20 0 1 0 157001788 62918656 7817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 15361 7817 1921 922 0 7313 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61444 KiB
Current children cumulated memory: 31268 KiB
[startup+12.7003 s]
/proc/loadavg: 3.85 4.05 4.11 5/246 802583
/proc/meminfo: memFree=128153016/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=65316 memory=37752 CPUtime=12.65 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 6715 0 2 0 1212 53 0 0 20 0 1 0 157001788 66883584 9438 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 16329 9438 1921 922 0 8281 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 65316 KiB
Current children cumulated memory: 37752 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.07 4.12 5/246 802595
/proc/meminfo: memFree=127950216/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=107952 memory=75600 CPUtime=25.42 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 13144 0 2 0 2463 79 0 0 20 0 1 0 157001788 110542848 18900 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 26988 18900 1921 922 0 18940 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107952 KiB
Current children cumulated memory: 75600 KiB
[startup+51.1137 s]
/proc/loadavg: 3.97 4.06 4.11 5/246 802600
/proc/meminfo: memFree=127861776/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=112248 memory=79280 CPUtime=50.96 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 14053 0 2 0 4969 127 0 0 20 0 1 0 157001788 114941952 19820 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 28062 19820 1921 922 0 20014 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 112248 KiB
Current children cumulated memory: 79280 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.11 5/246 802608
/proc/meminfo: memFree=127796120/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=134320 memory=86836 CPUtime=102 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 15466 0 2 0 10002 198 0 0 20 0 1 0 157001788 137543680 21709 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 33580 21709 1921 922 0 25532 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 134320 KiB
Current children cumulated memory: 86836 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.11 5/246 802619
/proc/meminfo: memFree=127278084/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=147428 memory=109608 CPUtime=161.84 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 18093 0 2 0 15915 269 0 0 20 0 1 0 157001788 150966272 27402 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 36857 27402 1921 922 0 28809 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 147428 KiB
Current children cumulated memory: 109608 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/244 802629
/proc/meminfo: memFree=127100420/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=196056 memory=136516 CPUtime=221.65 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 22286 0 2 0 21825 340 0 0 20 0 1 0 157001788 200761344 34129 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 49014 34129 1921 922 0 40966 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 196056 KiB
Current children cumulated memory: 136516 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.10 5/244 802640
/proc/meminfo: memFree=127049352/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=215904 memory=160200 CPUtime=281.45 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 25619 0 2 0 27775 370 0 0 20 0 1 0 157001788 221085696 40050 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 53976 40050 1921 922 0 45928 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 160200 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 802651
/proc/meminfo: memFree=127005004/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=215904 memory=160200 CPUtime=341.25 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 25638 0 2 0 33699 426 0 0 20 0 1 0 157001788 221085696 40050 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 53976 40050 1921 922 0 45928 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 215904 KiB
Current children cumulated memory: 160200 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/241 802661
/proc/meminfo: memFree=126695488/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=221880 memory=165452 CPUtime=401.05 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 26965 0 2 0 39641 464 0 0 20 0 1 0 157001788 227205120 41363 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 55470 41363 1921 922 0 47422 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 221880 KiB
Current children cumulated memory: 165452 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/241 802671
/proc/meminfo: memFree=126645860/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=235396 memory=185656 CPUtime=460.85 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 29470 0 2 0 45596 489 0 0 20 0 1 0 157001788 241045504 46414 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 58849 46414 1921 922 0 50801 0
################
# More data... #
################
Current children cumulated memory: 357400 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/241 803836
/proc/meminfo: memFree=125056640/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=486640 memory=357400 CPUtime=2913.77 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 56962 0 2 0 289913 1464 0 0 20 0 1 0 157001788 498319360 89350 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 121660 89350 1921 922 0 113612 0
Current children cumulated CPU time: 2913.77 s
Current children cumulated vsize: 486640 KiB
Current children cumulated memory: 357400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/241 803846
/proc/meminfo: memFree=124918316/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=486640 memory=357400 CPUtime=2973.62 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 57165 0 2 0 295880 1482 0 0 20 0 1 0 157001788 498319360 89350 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 121660 89350 1921 922 0 113612 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 486640 KiB
Current children cumulated memory: 357400 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 803861
/proc/meminfo: memFree=125010888/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=488456 memory=358348 CPUtime=3033.47 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 57691 0 2 0 301846 1501 0 0 20 0 1 0 157001788 500178944 89587 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 122114 89587 1921 922 0 114066 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 488456 KiB
Current children cumulated memory: 358348 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 803871
/proc/meminfo: memFree=125005008/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=490696 memory=359604 CPUtime=3093.32 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 58253 0 2 0 307817 1515 0 0 20 0 1 0 157001788 502472704 89901 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 122674 89901 1921 922 0 114626 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 490696 KiB
Current children cumulated memory: 359604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 803882
/proc/meminfo: memFree=125001352/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=496968 memory=363336 CPUtime=3153.16 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 59370 0 2 0 313784 1532 0 0 20 0 1 0 157001788 508895232 90834 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 124242 90834 1921 922 0 116194 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 496968 KiB
Current children cumulated memory: 363336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/244 803892
/proc/meminfo: memFree=124977696/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=521416 memory=389688 CPUtime=3213.02 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 62964 0 2 0 319757 1545 0 0 20 0 1 0 157001788 533929984 97422 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 130354 97422 1921 922 0 122306 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 521416 KiB
Current children cumulated memory: 389688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/244 803903
/proc/meminfo: memFree=124959736/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=535752 memory=412080 CPUtime=3272.87 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 65616 0 2 0 325725 1562 0 0 20 0 1 0 157001788 548610048 103020 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 133938 103020 1921 922 0 125890 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 535752 KiB
Current children cumulated memory: 412080 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/242 804297
/proc/meminfo: memFree=124951296/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3332.73 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 65960 0 2 0 331698 1575 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/242 804307
/proc/meminfo: memFree=124950908/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3392.58 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66039 0 2 0 337671 1587 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 804317
/proc/meminfo: memFree=124944704/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3452.42 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66118 0 2 0 343644 1598 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/244 804498
/proc/meminfo: memFree=124940384/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3512.27 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66197 0 2 0 349617 1610 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/245 804509
/proc/meminfo: memFree=124934600/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3572.12 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66275 0 2 0 355583 1629 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 804554
/proc/meminfo: memFree=125298360/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3600.05 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66275 0 2 0 358366 1639 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 802556 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3583.66 s, system=16.4038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 804554
/proc/meminfo: memFree=125298360/131655788 swapFree=131071996/131071996
[pid=802556] ppid=802553 vsize=536776 memory=415268 CPUtime=3600.05 cores=1,3
/proc/802556/stat : 802556 (roundingsat) R 802553 802556 802507 0 -1 4194304 66275 0 2 0 358366 1639 0 0 20 0 1 0 157001788 549658624 103817 134679101440 4194304 7968869 140734871826784 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 13893632 140734871835582 140734871835746 140734871835746 140734871842761 0
/proc/802556/statm: 134194 103817 1921 922 0 126146 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 536776 KiB
Current children cumulated memory: 415268 KiB
Child status: 1
Real time (s): 3610.31
CPU time (s): 3600.07
CPU user time (s): 3583.66
CPU system time (s): 16.4038
CPU usage (%): 99.7164
Max. virtual memory (cumulated for all children) (KiB): 536776
Max. memory (cumulated for all children) (KiB): 415268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.66
system time used= 16.4038
maximum resident set size= 415268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66283
page faults= 2
swaps= 0
block input operations= 488
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 2672
# summary of solver processes directly reported to runsolver:
# pid: 802556
# total CPU time (s): 3600.07
# total CPU user time (s): 3583.66
# total CPU system time (s): 16.4038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7932 second user time and 35.6529 second system time
The end
Begin job on nodeC005 at 2024-07-15 15:00:42 IDJOB=4429406 IDBENCH=147547 IDSOLVER=3051 FILE ID=nodeC005/4429406-1721048429 RUNJOBID= nodeC005-1721048442-802519 SLURM_JOB_ID= 7505464 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.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-4429406-1721048429/watcher-4429406-1721048429 -o /tmp/evaluation-result-4429406-1721048429/solver-4429406-1721048429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721048442-802519 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429406-1721048429.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=104377921 nodeC005.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.193 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 : 6983.53 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.189 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.35 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.184 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 : 6983.53 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.178 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.196 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 : 6983.53 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 : 3433.669 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.35 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.189 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 : 6983.53 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.178 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128637040 kB MemAvailable: 129968056 kB Buffers: 345208 kB Cached: 1813460 kB SwapCached: 0 kB Active: 562164 kB Inactive: 1897248 kB Active(anon): 3356 kB Inactive(anon): 335112 kB Active(file): 558808 kB Inactive(file): 1562136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18492 kB Writeback: 0 kB AnonPages: 300044 kB Mapped: 104200 kB Shmem: 37704 kB KReclaimable: 100544 kB Slab: 201144 kB SReclaimable: 100544 kB SUnreclaim: 100600 kB KernelStack: 3712 kB PageTables: 9164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 633616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52000 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723716 MiB End job on nodeC005 at 2024-07-15 16:00:52