| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.02 | 3615.15 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
| MD5SUM | 62fadc113b966a642e431cfbd80ddcdc |
| 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 | 176 |
| 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 | 465 |
| Total number of constraints | 465 |
| 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 | 465 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 465 |
| 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 | 465 |
| 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 | 465 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 465 #constraints 465 0.57/0.61 c bounds - >= 0 @ 0.006897 0.57/0.61 c bounds 229 >= 0 @ 0.394027 0.57/0.61 c bounds 229 >= 1 @ 0.394633 0.57/0.61 c bounds 229 >= 2 @ 0.395139 0.57/0.61 c bounds 229 >= 3 @ 0.395631 0.57/0.61 c bounds 229 >= 4 @ 0.396105 0.57/0.61 c bounds 229 >= 5 @ 0.396599 0.57/0.61 c bounds 229 >= 6 @ 0.397094 0.57/0.61 c bounds 229 >= 7 @ 0.397625 0.57/0.61 c bounds 229 >= 8 @ 0.398158 0.57/0.61 c bounds 229 >= 9 @ 0.398701 0.57/0.61 c bounds 229 >= 10 @ 0.399239 0.57/0.61 c bounds 229 >= 11 @ 0.399794 0.57/0.61 c bounds 229 >= 12 @ 0.400345 0.57/0.61 c bounds 229 >= 13 @ 0.40091 0.57/0.61 c bounds 229 >= 14 @ 0.40148 0.57/0.61 c bounds 229 >= 15 @ 0.402042 0.57/0.61 c bounds 229 >= 16 @ 0.402584 0.57/0.61 c bounds 229 >= 17 @ 0.403145 0.57/0.61 c bounds 229 >= 18 @ 0.403707 0.57/0.61 c bounds 229 >= 19 @ 0.404279 0.57/0.61 c bounds 229 >= 20 @ 0.404848 0.57/0.61 c bounds 229 >= 21 @ 0.405435 0.57/0.61 c bounds 229 >= 22 @ 0.40602 0.57/0.61 c bounds 229 >= 23 @ 0.406616 0.57/0.61 c bounds 229 >= 24 @ 0.40721 0.57/0.61 c bounds 229 >= 25 @ 0.40783 0.57/0.61 c bounds 229 >= 26 @ 0.407999 0.57/0.61 c bounds 228 >= 26 @ 0.463416 0.57/0.61 c bounds 228 >= 27 @ 0.463698 0.57/0.61 c bounds 228 >= 28 @ 0.46373 0.57/0.61 c bounds 228 >= 29 @ 0.464374 0.57/0.61 c bounds 228 >= 30 @ 0.465032 0.57/0.61 c bounds 228 >= 31 @ 0.46568 0.57/0.61 c bounds 228 >= 32 @ 0.466346 0.57/0.61 c bounds 228 >= 33 @ 0.467058 0.57/0.61 c bounds 228 >= 34 @ 0.467785 0.57/0.61 c bounds 228 >= 35 @ 0.468505 0.57/0.61 c bounds 228 >= 36 @ 0.468665 0.57/0.61 c bounds 228 >= 37 @ 0.469037 0.57/0.61 c bounds 228 >= 38 @ 0.469739 0.57/0.61 c bounds 228 >= 39 @ 0.470474 0.57/0.61 c bounds 228 >= 40 @ 0.471208 0.57/0.61 c bounds 228 >= 41 @ 0.471929 0.57/0.61 c bounds 228 >= 42 @ 0.472633 0.57/0.61 c bounds 228 >= 43 @ 0.473335 0.57/0.61 c bounds 228 >= 44 @ 0.474043 0.57/0.61 c bounds 228 >= 45 @ 0.474733 0.57/0.61 c bounds 228 >= 46 @ 0.475542 0.57/0.61 c bounds 228 >= 47 @ 0.476014 0.57/0.61 c bounds 228 >= 48 @ 0.476724 0.57/0.61 c bounds 228 >= 49 @ 0.477439 0.57/0.61 c bounds 228 >= 50 @ 0.478161 0.57/0.61 c bounds 228 >= 51 @ 0.478922 0.57/0.61 c bounds 228 >= 52 @ 0.479661 0.57/0.61 c bounds 228 >= 53 @ 0.480388 0.57/0.61 c bounds 228 >= 54 @ 0.481123 0.57/0.61 c bounds 228 >= 55 @ 0.481851 0.57/0.61 c bounds 228 >= 56 @ 0.482616 0.57/0.61 c bounds 228 >= 57 @ 0.483336 0.57/0.61 c bounds 228 >= 58 @ 0.483567 0.57/0.61 c bounds 228 >= 59 @ 0.483921 0.57/0.61 c bounds 228 >= 60 @ 0.484654 0.57/0.61 c bounds 228 >= 61 @ 0.485406 0.57/0.61 c bounds 228 >= 62 @ 0.48616 0.57/0.61 c bounds 228 >= 63 @ 0.48691 0.57/0.61 c bounds 228 >= 64 @ 0.487659 0.57/0.61 c bounds 228 >= 65 @ 0.488418 0.57/0.61 c bounds 228 >= 66 @ 0.488532 0.57/0.61 c bounds 228 >= 67 @ 0.488963 0.57/0.61 c bounds 228 >= 68 @ 0.489722 0.57/0.61 c bounds 228 >= 69 @ 0.490487 0.57/0.61 c bounds 228 >= 70 @ 0.491265 0.57/0.61 c bounds 228 >= 71 @ 0.491513 0.57/0.61 c bounds 228 >= 72 @ 0.491851 0.57/0.61 c bounds 228 >= 73 @ 0.492538 0.57/0.61 c bounds 228 >= 74 @ 0.493335 0.57/0.61 c bounds 228 >= 75 @ 0.494133 0.57/0.61 c bounds 228 >= 76 @ 0.494898 0.57/0.61 c bounds 228 >= 77 @ 0.495281 0.57/0.61 c bounds 228 >= 78 @ 0.495435 0.57/0.61 c bounds 228 >= 79 @ 0.496203 0.57/0.61 c bounds 228 >= 80 @ 0.496971 0.57/0.61 c bounds 228 >= 81 @ 0.497753 0.57/0.61 c bounds 228 >= 82 @ 0.498556 0.57/0.61 c bounds 228 >= 83 @ 0.499333 0.57/0.61 c bounds 228 >= 84 @ 0.499464 0.57/0.61 c bounds 228 >= 85 @ 0.499919 0.57/0.61 c bounds 228 >= 86 @ 0.500717 0.57/0.61 c bounds 228 >= 87 @ 0.501465 0.57/0.61 c bounds 228 >= 88 @ 0.502253 0.57/0.61 c bounds 228 >= 89 @ 0.502448 0.57/0.61 c bounds 228 >= 90 @ 0.50283 0.57/0.61 c bounds 228 >= 91 @ 0.503234 0.57/0.61 c bounds 228 >= 92 @ 0.503371 0.57/0.61 c bounds 228 >= 93 @ 0.503443 0.57/0.61 c bounds 228 >= 94 @ 0.503933 0.57/0.61 c bounds 228 >= 95 @ 0.504731 0.57/0.61 c bounds 228 >= 96 @ 0.505531 0.57/0.61 c bounds 228 >= 97 @ 0.506345 0.57/0.61 c bounds 228 >= 98 @ 0.506425 0.57/0.61 c bounds 228 >= 99 @ 0.506929 0.57/0.61 c bounds 228 >= 100 @ 0.507672 0.57/0.61 c bounds 228 >= 101 @ 0.508412 0.57/0.61 c bounds 228 >= 102 @ 0.508412 0.57/0.61 c bounds 228 >= 103 @ 0.509098 0.57/0.61 c bounds 228 >= 104 @ 0.509878 0.57/0.61 c bounds 228 >= 105 @ 0.510678 0.57/0.61 c bounds 228 >= 106 @ 0.511542 0.57/0.61 c bounds 228 >= 107 @ 0.512378 0.57/0.61 c bounds 228 >= 108 @ 0.513161 0.57/0.61 c bounds 228 >= 109 @ 0.513994 0.57/0.61 c bounds 228 >= 110 @ 0.514807 0.57/0.61 c bounds 228 >= 111 @ 0.515589 0.57/0.61 c bounds 228 >= 112 @ 0.516458 0.57/0.61 c bounds 228 >= 113 @ 0.517266 0.57/0.61 c bounds 228 >= 114 @ 0.517357 0.57/0.61 c bounds 228 >= 115 @ 0.517358 0.57/0.61 c bounds 228 >= 116 @ 0.517743 0.57/0.61 c bounds 228 >= 117 @ 0.518531 0.57/0.61 c bounds 228 >= 118 @ 0.519442 0.57/0.61 c bounds 228 >= 119 @ 0.520261 0.57/0.61 c bounds 228 >= 120 @ 0.520341 0.57/0.61 c bounds 228 >= 121 @ 0.520342 0.57/0.61 c bounds 228 >= 122 @ 0.52067 0.57/0.61 c bounds 228 >= 123 @ 0.521407 0.57/0.61 c bounds 228 >= 124 @ 0.522174 0.57/0.61 c bounds 228 >= 125 @ 0.523172 0.57/0.61 c bounds 228 >= 126 @ 0.523323 0.57/0.61 c bounds 228 >= 127 @ 0.524261 0.57/0.61 c bounds 228 >= 128 @ 0.524482 0.57/0.61 c bounds 228 >= 129 @ 0.525239 0.57/0.61 c bounds 228 >= 130 @ 0.525706 0.57/0.61 c bounds 228 >= 131 @ 0.526893 0.57/0.61 c bounds 228 >= 132 @ 0.527296 0.57/0.61 c bounds 228 >= 133 @ 0.528136 0.57/0.61 c bounds 228 >= 134 @ 0.528339 1.26/1.31 c bounds 228 >= 135 @ 0.530593 1.26/1.31 c bounds 228 >= 136 @ 0.535437 1.26/1.31 c bounds 228 >= 137 @ 0.539659 1.26/1.31 c bounds 228 >= 138 @ 0.546955 1.26/1.31 c bounds 228 >= 139 @ 0.560379 1.26/1.31 c bounds 227 >= 139 @ 0.585749 1.26/1.31 c bounds 227 >= 140 @ 0.603787 1.26/1.31 c bounds 227 >= 141 @ 0.694449 1.26/1.31 c bounds 226 >= 141 @ 0.700774 1.26/1.31 c bounds 225 >= 141 @ 0.710775 1.26/1.31 c bounds 224 >= 141 @ 0.719609 1.26/1.31 c #Conflicts: 1000 | #Constraints: 2238 1.26/1.31 c bounds 223 >= 141 @ 0.748048 1.26/1.31 c bounds 222 >= 141 @ 0.776567 1.26/1.31 c bounds 221 >= 141 @ 0.782488 1.26/1.31 c bounds 220 >= 141 @ 0.788158 1.26/1.31 c bounds 219 >= 141 @ 0.791797 1.26/1.31 c bounds 218 >= 141 @ 0.797517 1.26/1.31 c bounds 217 >= 141 @ 0.801889 1.26/1.31 c bounds 216 >= 141 @ 0.805963 1.26/1.31 c bounds 215 >= 141 @ 0.808448 1.26/1.31 c bounds 215 >= 142 @ 1.01586 1.26/1.31 c #Conflicts: 2000 | #Constraints: 3283 1.26/1.31 c INPROCESSING 1.26/1.31 c GARBAGE COLLECT 1.26/1.31 c rational objective 142 2.07/2.18 c bounds 214 >= 142 @ 1.2627 2.07/2.18 c #Conflicts: 3000 | #Constraints: 3144 2.07/2.18 c bounds 213 >= 142 @ 1.68845 2.07/2.18 c #Conflicts: 4000 | #Constraints: 4145 2.07/2.18 c INPROCESSING 2.07/2.18 c GARBAGE COLLECT 2.07/2.18 c rational objective 142 2.75/2.88 c #Conflicts: 5000 | #Constraints: 3581 2.75/2.88 c #Conflicts: 6000 | #Constraints: 4581 2.75/2.88 c bounds 213 >= 143 @ 2.4486 2.75/2.88 c bounds 212 >= 143 @ 2.45095 2.75/2.88 c bounds 211 >= 143 @ 2.45365 2.75/2.88 c bounds 210 >= 143 @ 2.46615 2.75/2.88 c bounds 209 >= 143 @ 2.5073 2.75/2.88 c bounds 208 >= 143 @ 2.52679 2.75/2.88 c bounds 207 >= 143 @ 2.54706 2.75/2.88 c bounds 206 >= 143 @ 2.55117 2.75/2.88 c INPROCESSING 2.75/2.88 c GARBAGE COLLECT 2.75/2.88 c rational objective 143 3.65/3.77 c bounds 205 >= 143 @ 2.62632 3.65/3.77 c #Conflicts: 7000 | #Constraints: 3621 3.65/3.77 c bounds 204 >= 143 @ 2.77595 3.65/3.77 c #Conflicts: 8000 | #Constraints: 4622 3.65/3.77 c bounds 203 >= 143 @ 3.04908 3.65/3.77 c #Conflicts: 9000 | #Constraints: 5623 3.65/3.77 c INPROCESSING 3.65/3.77 c GARBAGE COLLECT 3.65/3.77 c rational objective 143 4.96/5.03 c #Conflicts: 10000 | #Constraints: 4355 4.96/5.03 c bounds 202 >= 143 @ 3.82908 4.96/5.03 c #Conflicts: 11000 | #Constraints: 5356 4.96/5.03 c #Conflicts: 12000 | #Constraints: 6356 4.96/5.03 c INPROCESSING 4.96/5.03 c GARBAGE COLLECT 4.96/5.03 c rational objective 143 9.23/9.32 c bounds 201 >= 143 @ 4.72556 9.23/9.32 c #Conflicts: 13000 | #Constraints: 4844 9.23/9.32 c #Conflicts: 14000 | #Constraints: 5844 9.23/9.32 c #Conflicts: 15000 | #Constraints: 6844 9.23/9.32 c #Conflicts: 16000 | #Constraints: 7844 9.23/9.32 c #Conflicts: 17000 | #Constraints: 8844 9.23/9.32 c #Conflicts: 18000 | #Constraints: 9844 9.23/9.32 c #Conflicts: 19000 | #Constraints: 10844 9.23/9.32 c #Conflicts: 20000 | #Constraints: 11844 9.23/9.32 c bounds 200 >= 143 @ 8.50493 9.23/9.32 c INPROCESSING 9.23/9.32 c GARBAGE COLLECT 9.23/9.32 c rational objective 143 13.02/13.13 c #Conflicts: 21000 | #Constraints: 7375 13.02/13.13 c #Conflicts: 22000 | #Constraints: 8375 13.02/13.13 c #Conflicts: 23000 | #Constraints: 9375 13.02/13.13 c #Conflicts: 24000 | #Constraints: 10375 13.02/13.13 c bounds 200 >= 144 @ 12.203 13.02/13.13 c INPROCESSING 13.02/13.13 c GARBAGE COLLECT 13.02/13.13 c rational objective 144 15.70/15.87 c #Conflicts: 25000 | #Constraints: 6624 15.70/15.87 c #Conflicts: 26000 | #Constraints: 7624 15.70/15.87 c #Conflicts: 27000 | #Constraints: 8624 15.70/15.87 c #Conflicts: 28000 | #Constraints: 9624 15.70/15.87 c INPROCESSING 15.70/15.87 c GARBAGE COLLECT 15.70/15.87 c rational objective 144 17.59/17.73 c #Conflicts: 29000 | #Constraints: 6097 17.59/17.73 c #Conflicts: 30000 | #Constraints: 7097 17.59/17.73 c bounds 199 >= 144 @ 15.6378 17.59/17.73 c bounds 198 >= 144 @ 15.7384 17.59/17.73 c #Conflicts: 31000 | #Constraints: 8099 17.59/17.73 c #Conflicts: 32000 | #Constraints: 9099 17.59/17.73 c #Conflicts: 33000 | #Constraints: 10099 17.59/17.73 c INPROCESSING 17.59/17.73 c GARBAGE COLLECT 17.59/17.73 c rational objective 144 29.15/29.35 c #Conflicts: 34000 | #Constraints: 6528 29.15/29.35 c #Conflicts: 35000 | #Constraints: 7528 29.15/29.35 c #Conflicts: 36000 | #Constraints: 8528 29.15/29.35 c #Conflicts: 37000 | #Constraints: 9528 29.15/29.35 c #Conflicts: 38000 | #Constraints: 10528 29.15/29.35 c #Conflicts: 39000 | #Constraints: 11528 29.15/29.35 c #Conflicts: 40000 | #Constraints: 12528 29.15/29.35 c #Conflicts: 41000 | #Constraints: 13528 29.15/29.35 c #Conflicts: 42000 | #Constraints: 14528 29.15/29.35 c #Conflicts: 43000 | #Constraints: 15528 29.15/29.35 c #Conflicts: 44000 | #Constraints: 16528 29.15/29.35 c #Conflicts: 45000 | #Constraints: 17528 29.15/29.35 c #Conflicts: 46000 | #Constraints: 18528 29.15/29.35 c #Conflicts: 47000 | #Constraints: 19528 29.15/29.35 c INPROCESSING 29.15/29.35 c GARBAGE COLLECT 29.15/29.35 c rational objective 144 38.92/39.16 c #Conflicts: 48000 | #Constraints: 11395 38.92/39.16 c #Conflicts: 49000 | #Constraints: 12395 38.92/39.16 c #Conflicts: 50000 | #Constraints: 13395 38.92/39.16 c #Conflicts: 51000 | #Constraints: 14395 38.92/39.16 c #Conflicts: 52000 | #Constraints: 15395 38.92/39.16 c INPROCESSING 38.92/39.16 c GARBAGE COLLECT 38.92/39.16 c rational objective 144 45.09/45.32 c #Conflicts: 53000 | #Constraints: 9001 45.09/45.32 c #Conflicts: 54000 | #Constraints: 10001 45.09/45.32 c #Conflicts: 55000 | #Constraints: 11001 45.09/45.32 c #Conflicts: 56000 | #Constraints: 12001 45.09/45.32 c #Conflicts: 57000 | #Constraints: 13001 45.09/45.32 c #Conflicts: 58000 | #Constraints: 14001 45.09/45.32 c INPROCESSING 45.09/45.32 c GARBAGE COLLECT 45.09/45.32 c rational objective 144 51.15/51.43 c #Conflicts: 59000 | #Constraints: 8308 51.15/51.43 c #Conflicts: 60000 | #Constraints: 9308 51.15/51.43 c #Conflicts: 61000 | #Constraints: 10308 51.15/51.43 c #Conflicts: 62000 | #Constraints: 11308 51.15/51.43 c #Conflicts: 63000 | #Constraints: 12308 51.15/51.43 c #Conflicts: 64000 | #Constraints: 13308 51.15/51.43 c #Conflicts: 65000 | #Constraints: 14308 51.15/51.43 c INPROCESSING 51.15/51.43 c GARBAGE COLLECT 51.15/51.43 c rational objective 144 85.32/85.78 c bounds 197 >= 144 @ 50.1471 85.32/85.78 c #Conflicts: 66000 | #Constraints: 8855 85.32/85.78 c #Conflicts: 67000 | #Constraints: 9855 85.32/85.78 c #Conflicts: 68000 | #Constraints: 10855 85.32/85.78 c #Conflicts: 69000 | #Constraints: 11855 85.32/85.78 c bounds 196 >= 144 @ 52.2825 85.32/85.78 c #Conflicts: 70000 | #Constraints: 12856 85.32/85.78 c #Conflicts: 71000 | #Constraints: 13856 85.32/85.78 c bounds 195 >= 144 @ 54.0478 85.32/85.78 c #Conflicts: 72000 | #Constraints: 14857 85.32/85.78 c bounds 194 >= 144 @ 54.9717 85.32/85.78 c #Conflicts: 73000 | #Constraints: 15858 85.32/85.78 c #Conflicts: 74000 | #Constraints: 16858 85.32/85.78 c #Conflicts: 75000 | #Constraints: 17858 85.32/85.78 c #Conflicts: 76000 | #Constraints: 18858 85.32/85.78 c #Conflicts: 77000 | #Constraints: 19858 85.32/85.78 c #Conflicts: 78000 | #Constraints: 20858 85.32/85.78 c #Conflicts: 79000 | #Constraints: 21858 85.32/85.78 c #Conflicts: 80000 | #Constraints: 22858 85.32/85.78 c #Conflicts: 81000 | #Constraints: 23858 85.32/85.78 c #Conflicts: 82000 | #Constraints: 24858 85.32/85.78 c #Conflicts: 83000 | #Constraints: 25858 85.32/85.78 c #Conflicts: 84000 | #Constraints: 26858 85.32/85.78 c INPROCESSING 85.32/85.78 c GARBAGE COLLECT 85.32/85.78 c rational objective 144 90.50/90.93 c bounds 193 >= 144 @ 83.8758 90.50/90.93 c #Conflicts: 85000 | #Constraints: 15142 90.50/90.93 c #Conflicts: 86000 | #Constraints: 16142 90.50/90.93 c #Conflicts: 87000 | #Constraints: 17142 90.50/90.93 c #Conflicts: 88000 | #Constraints: 18142 90.50/90.93 c #Conflicts: 89000 | #Constraints: 19142 90.50/90.93 c #Conflicts: 90000 | #Constraints: 20142 90.50/90.93 c #Conflicts: 91000 | #Constraints: 21142 90.50/90.93 c INPROCESSING 90.50/90.93 c GARBAGE COLLECT 90.50/90.93 c rational objective 144 97.08/97.52 c #Conflicts: 92000 | #Constraints: 11953 97.08/97.52 c bounds 192 >= 144 @ 89.0186 97.08/97.52 c #Conflicts: 93000 | #Constraints: 12954 97.08/97.52 c #Conflicts: 94000 | #Constraints: 13954 97.08/97.52 c #Conflicts: 95000 | #Constraints: 14954 97.08/97.52 c #Conflicts: 96000 | #Constraints: 15954 97.08/97.52 c #Conflicts: 97000 | #Constraints: 16954 97.08/97.52 c #Conflicts: 98000 | #Constraints: 17954 97.08/97.52 c #Conflicts: 99000 | #Constraints: 18954 97.08/97.52 c INPROCESSING 97.08/97.52 c GARBAGE COLLECT 97.08/97.52 c rational objective 144 102.86/103.38 c #Conflicts: 100000 | #Constraints: 11013 102.86/103.38 c #Conflicts: 101000 | #Constraints: 12013 102.86/103.38 c #Conflicts: 102000 | #Constraints: 13013 102.86/103.38 c #Conflicts: 103000 | #Constraints: 14013 102.86/103.38 c #Conflicts: 104000 | #Constraints: 15013 102.86/103.38 c #Conflicts: 105000 | #Constraints: 16013 102.86/103.38 c bounds 191 >= 144 @ 99.4779 102.86/103.38 c #Conflicts: 106000 | #Constraints: 17014 102.86/103.38 c #Conflicts: 107000 | #Constraints: 18014 102.86/103.38 c INPROCESSING 102.86/103.38 c GARBAGE COLLECT 102.86/103.38 c rational objective 144 109.73/110.20 c #Conflicts: 108000 | #Constraints: 10591 109.73/110.20 c #Conflicts: 109000 | #Constraints: 11591 109.73/110.20 c #Conflicts: 110000 | #Constraints: 12591 109.73/110.20 c #Conflicts: 111000 | #Constraints: 13591 109.73/110.20 c #Conflicts: 112000 | #Constraints: 14591 109.73/110.20 c #Conflicts: 113000 | #Constraints: 15591 109.73/110.20 c #Conflicts: 114000 | #Constraints: 16591 109.73/110.20 c #Conflicts: 115000 | #Constraints: 17591 109.73/110.20 c INPROCESSING 109.73/110.20 c GARBAGE COLLECT 109.73/110.20 c rational objective 144 119.20/119.77 c #Conflicts: 116000 | #Constraints: 10327 119.20/119.77 c #Conflicts: 117000 | #Constraints: 11327 119.20/119.77 c #Conflicts: 118000 | #Constraints: 12327 119.20/119.77 c #Conflicts: 119000 | #Constraints: 13327 119.20/119.77 c #Conflicts: 120000 | #Constraints: 14327 119.20/119.77 c #Conflicts: 121000 | #Constraints: 15327 119.20/119.77 c #Conflicts: 122000 | #Constraints: 16327 119.20/119.77 c #Conflicts: 123000 | #Constraints: 17327 119.20/119.77 c INPROCESSING 119.20/119.77 c GARBAGE COLLECT 119.20/119.77 c rational objective 144 190.46/191.26 c #Conflicts: 124000 | #Constraints: 10105 190.46/191.26 c #Conflicts: 125000 | #Constraints: 11105 190.46/191.26 c #Conflicts: 126000 | #Constraints: 12105 190.46/191.26 c #Conflicts: 127000 | #Constraints: 13105 190.46/191.26 c #Conflicts: 128000 | #Constraints: 14105 190.46/191.26 c #Conflicts: 129000 | #Constraints: 15105 190.46/191.26 c #Conflicts: 130000 | #Constraints: 16105 190.46/191.26 c #Conflicts: 131000 | #Constraints: 17105 190.46/191.26 c #Conflicts: 132000 | #Constraints: 18105 190.46/191.26 c #Conflicts: 133000 | #Constraints: 19105 190.46/191.26 c #Conflicts: 134000 | #Constraints: 20105 190.46/191.26 c #Conflicts: 135000 | #Constraints: 21105 190.46/191.26 c #Conflicts: 136000 | #Constraints: 22105 190.46/191.26 c #Conflicts: 137000 | #Constraints: 23105 190.46/191.26 c #Conflicts: 138000 | #Constraints: 24105 190.46/191.26 c #Conflicts: 139000 | #Constraints: 25105 190.46/191.26 c bounds 190 >= 144 @ 135.547 190.46/191.26 c #Conflicts: 140000 | #Constraints: 26106 190.46/191.26 c bounds 190 >= 145 @ 137.034 190.46/191.26 c #Conflicts: 141000 | #Constraints: 27169 190.46/191.26 c #Conflicts: 142000 | #Constraints: 28169 190.46/191.26 c #Conflicts: 143000 | #Constraints: 29169 190.46/191.26 c #Conflicts: 144000 | #Constraints: 30169 190.46/191.26 c #Conflicts: 145000 | #Constraints: 31169 190.46/191.26 c #Conflicts: 146000 | #Constraints: 32169 190.46/191.26 c #Conflicts: 147000 | #Constraints: 33169 190.46/191.26 c #Conflicts: 148000 | #Constraints: 34169 190.46/191.26 c #Conflicts: 149000 | #Constraints: 35169 190.46/191.26 c #Conflicts: 150000 | #Constraints: 36169 190.46/191.26 c INPROCESSING 190.46/191.26 c GARBAGE COLLECT 190.46/191.26 c rational objective 145 200.34/201.14 c #Conflicts: 151000 | #Constraints: 19821 200.34/201.14 c #Conflicts: 152000 | #Constraints: 20821 200.34/201.14 c #Conflicts: 153000 | #Constraints: 21821 200.34/201.14 c #Conflicts: 154000 | #Constraints: 22821 200.34/201.14 c #Conflicts: 155000 | #Constraints: 23821 200.34/201.14 c #Conflicts: 156000 | #Constraints: 24821 200.34/201.14 c #Conflicts: 157000 | #Constraints: 25821 200.34/201.14 c #Conflicts: 158000 | #Constraints: 26821 200.34/201.14 c #Conflicts: 159000 | #Constraints: 27821 200.34/201.14 c INPROCESSING 200.34/201.14 c GARBAGE COLLECT 200.34/201.14 c rational objective 145 212.29/213.11 c #Conflicts: 160000 | #Constraints: 15283 212.29/213.11 c #Conflicts: 161000 | #Constraints: 16283 212.29/213.11 c #Conflicts: 162000 | #Constraints: 17283 212.29/213.11 c #Conflicts: 163000 | #Constraints: 18283 212.29/213.11 c #Conflicts: 164000 | #Constraints: 19283 212.29/213.11 c #Conflicts: 165000 | #Constraints: 20283 212.29/213.11 c #Conflicts: 166000 | #Constraints: 21283 212.29/213.11 c #Conflicts: 167000 | #Constraints: 22283 212.29/213.11 c #Conflicts: 168000 | #Constraints: 23283 212.29/213.11 c #Conflicts: 169000 | #Constraints: 24283 212.29/213.11 c INPROCESSING 212.29/213.11 c GARBAGE COLLECT 212.29/213.11 c rational objective 145 227.83/228.76 c #Conflicts: 170000 | #Constraints: 13620 227.83/228.76 c #Conflicts: 171000 | #Constraints: 14620 227.83/228.76 c #Conflicts: 172000 | #Constraints: 15620 227.83/228.76 c #Conflicts: 173000 | #Constraints: 16620 227.83/228.76 c #Conflicts: 174000 | #Constraints: 17620 227.83/228.76 c #Conflicts: 175000 | #Constraints: 18620 227.83/228.76 c #Conflicts: 176000 | #Constraints: 19620 227.83/228.76 c #Conflicts: 177000 | #Constraints: 20620 227.83/228.76 c #Conflicts: 178000 | #Constraints: 21620 227.83/228.76 c #Conflicts: 179000 | #Constraints: 22620 227.83/228.76 c INPROCESSING 227.83/228.76 c GARBAGE COLLECT 227.83/228.76 c rational objective 145 321.00/322.25 c #Conflicts: 180000 | #Constraints: 12864 321.00/322.25 c #Conflicts: 181000 | #Constraints: 13864 321.00/322.25 c #Conflicts: 182000 | #Constraints: 14864 321.00/322.25 c #Conflicts: 183000 | #Constraints: 15864 321.00/322.25 c #Conflicts: 184000 | #Constraints: 16864 321.00/322.25 c #Conflicts: 185000 | #Constraints: 17864 321.00/322.25 c #Conflicts: 186000 | #Constraints: 18864 321.00/322.25 c #Conflicts: 187000 | #Constraints: 19864 321.00/322.25 c #Conflicts: 188000 | #Constraints: 20864 321.00/322.25 c #Conflicts: 189000 | #Constraints: 21864 321.00/322.25 c #Conflicts: 190000 | #Constraints: 22864 321.00/322.25 c #Conflicts: 191000 | #Constraints: 23864 321.00/322.25 c #Conflicts: 192000 | #Constraints: 24864 321.00/322.25 c #Conflicts: 193000 | #Constraints: 25864 321.00/322.25 c #Conflicts: 194000 | #Constraints: 26864 321.00/322.25 c #Conflicts: 195000 | #Constraints: 27864 321.00/322.25 c #Conflicts: 196000 | #Constraints: 28864 321.00/322.25 c #Conflicts: 197000 | #Constraints: 29864 321.00/322.25 c #Conflicts: 198000 | #Constraints: 30864 321.00/322.25 c #Conflicts: 199000 | #Constraints: 31864 321.00/322.25 c #Conflicts: 200000 | #Constraints: 32864 321.00/322.25 c #Conflicts: 201000 | #Constraints: 33864 321.00/322.25 c #Conflicts: 202000 | #Constraints: 34864 321.00/322.25 c #Conflicts: 203000 | #Constraints: 35864 321.00/322.25 c #Conflicts: 204000 | #Constraints: 36864 321.00/322.25 c #Conflicts: 205000 | #Constraints: 37864 321.00/322.25 c #Conflicts: 206000 | #Constraints: 38864 321.00/322.25 c #Conflicts: 207000 | #Constraints: 39864 321.00/322.25 c #Conflicts: 208000 | #Constraints: 40864 321.00/322.25 c #Conflicts: 209000 | #Constraints: 41864 321.00/322.25 c #Conflicts: 210000 | #Constraints: 42864 321.00/322.25 c #Conflicts: 211000 | #Constraints: 43864 321.00/322.25 c INPROCESSING 321.00/322.25 c GARBAGE COLLECT 321.00/322.25 c rational objective 145 390.16/391.64 c #Conflicts: 212000 | #Constraints: 23518 390.16/391.64 c #Conflicts: 213000 | #Constraints: 24518 390.16/391.64 c #Conflicts: 214000 | #Constraints: 25518 390.16/391.64 c #Conflicts: 215000 | #Constraints: 26518 390.16/391.64 c #Conflicts: 216000 | #Constraints: 27518 390.16/391.64 c #Conflicts: 217000 | #Constraints: 28518 390.16/391.64 c #Conflicts: 218000 | #Constraints: 29518 390.16/391.64 c #Conflicts: 219000 | #Constraints: 30518 390.16/391.64 c #Conflicts: 220000 | #Constraints: 31518 390.16/391.64 c #Conflicts: 221000 | #Constraints: 32518 390.16/391.64 c #Conflicts: 222000 | #Constraints: 33518 390.16/391.64 c INPROCESSING 390.16/391.64 c GARBAGE COLLECT 390.16/391.64 c rational objective 145 421.95/423.52 c #Conflicts: 223000 | #Constraints: 18246 421.95/423.52 c #Conflicts: 224000 | #Constraints: 19246 421.95/423.52 c #Conflicts: 225000 | #Constraints: 20246 421.95/423.52 c #Conflicts: 226000 | #Constraints: 21246 421.95/423.52 c #Conflicts: 227000 | #Constraints: 22246 421.95/423.52 c #Conflicts: 228000 | #Constraints: 23246 421.95/423.52 c #Conflicts: 229000 | #Constraints: 24246 421.95/423.52 c #Conflicts: 230000 | #Constraints: 25246 421.95/423.52 c #Conflicts: 231000 | #Constraints: 26246 421.95/423.52 c #Conflicts: 232000 | #Constraints: 27246 421.95/423.52 c #Conflicts: 233000 | #Constraints: 28246 421.95/423.52 c #Conflicts: 234000 | #Constraints: 29246 421.95/423.52 c INPROCESSING 421.95/423.52 c GARBAGE COLLECT 421.95/423.52 c rational objective 145 578.61/580.75 c #Conflicts: 235000 | #Constraints: 16365 578.61/580.75 c #Conflicts: 236000 | #Constraints: 17365 578.61/580.75 c #Conflicts: 237000 | #Constraints: 18365 578.61/580.75 c #Conflicts: 238000 | #Constraints: 19365 578.61/580.75 c #Conflicts: 239000 | #Constraints: 20365 578.61/580.75 c #Conflicts: 240000 | #Constraints: 21365 578.61/580.75 c #Conflicts: 241000 | #Constraints: 22365 578.61/580.75 c #Conflicts: 242000 | #Constraints: 23365 578.61/580.75 c #Conflicts: 243000 | #Constraints: 24365 578.61/580.75 c #Conflicts: 244000 | #Constraints: 25365 578.61/580.75 c #Conflicts: 245000 | #Constraints: 26365 578.61/580.75 c #Conflicts: 246000 | #Constraints: 27365 578.61/580.75 c #Conflicts: 247000 | #Constraints: 28365 578.61/580.75 c #Conflicts: 248000 | #Constraints: 29365 578.61/580.75 c #Conflicts: 249000 | #Constraints: 30365 578.61/580.75 c #Conflicts: 250000 | #Constraints: 31365 578.61/580.75 c #Conflicts: 251000 | #Constraints: 32365 578.61/580.75 c #Conflicts: 252000 | #Constraints: 33365 578.61/580.75 c #Conflicts: 253000 | #Constraints: 34365 578.61/580.75 c #Conflicts: 254000 | #Constraints: 35365 578.61/580.75 c #Conflicts: 255000 | #Constraints: 36365 578.61/580.75 c #Conflicts: 256000 | #Constraints: 37365 578.61/580.75 c #Conflicts: 257000 | #Constraints: 38365 578.61/580.75 c #Conflicts: 258000 | #Constraints: 39365 578.61/580.75 c #Conflicts: 259000 | #Constraints: 40365 578.61/580.75 c #Conflicts: 260000 | #Constraints: 41365 578.61/580.75 c #Conflicts: 261000 | #Constraints: 42365 578.61/580.75 c #Conflicts: 262000 | #Constraints: 43365 578.61/580.75 c #Conflicts: 263000 | #Constraints: 44365 578.61/580.75 c #Conflicts: 264000 | #Constraints: 45365 578.61/580.75 c #Conflicts: 265000 | #Constraints: 46365 578.61/580.75 c #Conflicts: 266000 | #Constraints: 47365 578.61/580.75 c #Conflicts: 267000 | #Constraints: 48365 578.61/580.75 c #Conflicts: 268000 | #Constraints: 49365 578.61/580.75 c #Conflicts: 269000 | #Constraints: 50365 578.61/580.75 c #Conflicts: 270000 | #Constraints: 51365 578.61/580.75 c INPROCESSING 578.61/580.75 c GARBAGE COLLECT 578.61/580.75 c rational objective 145 610.91/613.12 c #Conflicts: 271000 | #Constraints: 27434 610.91/613.12 c #Conflicts: 272000 | #Constraints: 28434 610.91/613.12 c #Conflicts: 273000 | #Constraints: 29434 610.91/613.12 c #Conflicts: 274000 | #Constraints: 30434 610.91/613.12 c #Conflicts: 275000 | #Constraints: 31434 610.91/613.12 c #Conflicts: 276000 | #Constraints: 32434 610.91/613.12 c #Conflicts: 277000 | #Constraints: 33434 610.91/613.12 c #Conflicts: 278000 | #Constraints: 34434 610.91/613.12 c #Conflicts: 279000 | #Constraints: 35434 610.91/613.12 c #Conflicts: 280000 | #Constraints: 36434 610.91/613.12 c #Conflicts: 281000 | #Constraints: 37434 610.91/613.12 c #Conflicts: 282000 | #Constraints: 38434 610.91/613.12 c INPROCESSING 610.91/613.12 c GARBAGE COLLECT 610.91/613.12 c rational objective 145 648.06/650.45 c #Conflicts: 283000 | #Constraints: 20491 648.06/650.45 c #Conflicts: 284000 | #Constraints: 21491 648.06/650.45 c #Conflicts: 285000 | #Constraints: 22491 648.06/650.45 c #Conflicts: 286000 | #Constraints: 23491 648.06/650.45 c #Conflicts: 287000 | #Constraints: 24491 648.06/650.45 c #Conflicts: 288000 | #Constraints: 25491 648.06/650.45 c #Conflicts: 289000 | #Constraints: 26491 648.06/650.45 c #Conflicts: 290000 | #Constraints: 27491 648.06/650.45 c #Conflicts: 291000 | #Constraints: 28491 648.06/650.45 c #Conflicts: 292000 | #Constraints: 29491 648.06/650.45 c #Conflicts: 293000 | #Constraints: 30491 648.06/650.45 c #Conflicts: 294000 | #Constraints: 31491 648.06/650.45 c #Conflicts: 295000 | #Constraints: 32491 648.06/650.45 c INPROCESSING 648.06/650.45 c GARBAGE COLLECT 648.06/650.45 c rational objective 145 852.53/855.66 c #Conflicts: 296000 | #Constraints: 17767 852.53/855.66 c #Conflicts: 297000 | #Constraints: 18767 852.53/855.66 c #Conflicts: 298000 | #Constraints: 19767 852.53/855.66 c #Conflicts: 299000 | #Constraints: 20767 852.53/855.66 c #Conflicts: 300000 | #Constraints: 21767 852.53/855.66 c #Conflicts: 301000 | #Constraints: 22767 852.53/855.66 c #Conflicts: 302000 | #Constraints: 23767 852.53/855.66 c #Conflicts: 303000 | #Constraints: 24767 852.53/855.66 c #Conflicts: 304000 | #Constraints: 25767 852.53/855.66 c #Conflicts: 305000 | #Constraints: 26767 852.53/855.66 c #Conflicts: 306000 | #Constraints: 27767 852.53/855.66 c #Conflicts: 307000 | #Constraints: 28767 852.53/855.66 c #Conflicts: 308000 | #Constraints: 29767 852.53/855.66 c #Conflicts: 309000 | #Constraints: 30767 852.53/855.66 c #Conflicts: 310000 | #Constraints: 31767 852.53/855.66 c #Conflicts: 311000 | #Constraints: 32767 852.53/855.66 c #Conflicts: 312000 | #Constraints: 33767 852.53/855.66 c #Conflicts: 313000 | #Constraints: 34767 852.53/855.66 c #Conflicts: 314000 | #Constraints: 35767 852.53/855.66 c #Conflicts: 315000 | #Constraints: 36767 852.53/855.66 c #Conflicts: 316000 | #Constraints: 37767 852.53/855.66 c #Conflicts: 317000 | #Constraints: 38767 852.53/855.66 c #Conflicts: 318000 | #Constraints: 39767 852.53/855.66 c #Conflicts: 319000 | #Constraints: 40767 852.53/855.66 c #Conflicts: 320000 | #Constraints: 41767 852.53/855.66 c #Conflicts: 321000 | #Constraints: 42767 852.53/855.66 c #Conflicts: 322000 | #Constraints: 43767 852.53/855.66 c #Conflicts: 323000 | #Constraints: 44767 852.53/855.66 c #Conflicts: 324000 | #Constraints: 45767 852.53/855.66 c #Conflicts: 325000 | #Constraints: 46767 852.53/855.66 c #Conflicts: 326000 | #Constraints: 47767 852.53/855.66 c #Conflicts: 327000 | #Constraints: 48767 852.53/855.66 c #Conflicts: 328000 | #Constraints: 49767 852.53/855.66 c #Conflicts: 329000 | #Constraints: 50767 852.53/855.66 c #Conflicts: 330000 | #Constraints: 51767 852.53/855.66 c #Conflicts: 331000 | #Constraints: 52767 852.53/855.66 c #Conflicts: 332000 | #Constraints: 53767 852.53/855.66 c #Conflicts: 333000 | #Constraints: 54767 852.53/855.66 c #Conflicts: 334000 | #Constraints: 55767 852.53/855.66 c #Conflicts: 335000 | #Constraints: 56767 852.53/855.66 c #Conflicts: 336000 | #Constraints: 57767 852.53/855.66 c INPROCESSING 852.53/855.66 c GARBAGE COLLECT 852.53/855.66 c rational objective 145 973.22/976.75 c #Conflicts: 337000 | #Constraints: 30556 973.22/976.75 c #Conflicts: 338000 | #Constraints: 31556 973.22/976.75 c #Conflicts: 339000 | #Constraints: 32556 973.22/976.75 c #Conflicts: 340000 | #Constraints: 33556 973.22/976.75 c #Conflicts: 341000 | #Constraints: 34556 973.22/976.75 c #Conflicts: 342000 | #Constraints: 35556 973.22/976.75 c #Conflicts: 343000 | #Constraints: 36556 973.22/976.75 c #Conflicts: 344000 | #Constraints: 37556 973.22/976.75 c #Conflicts: 345000 | #Constraints: 38556 973.22/976.75 c #Conflicts: 346000 | #Constraints: 39556 973.22/976.75 c #Conflicts: 347000 | #Constraints: 40556 973.22/976.75 c #Conflicts: 348000 | #Constraints: 41556 973.22/976.75 c #Conflicts: 349000 | #Constraints: 42556 973.22/976.75 c #Conflicts: 350000 | #Constraints: 43556 973.22/976.75 c INPROCESSING 973.22/976.75 c GARBAGE COLLECT 973.22/976.75 c rational objective 145 1039.79/1043.51 c #Conflicts: 351000 | #Constraints: 23374 1039.79/1043.51 c #Conflicts: 352000 | #Constraints: 24374 1039.79/1043.51 c #Conflicts: 353000 | #Constraints: 25374 1039.79/1043.51 c #Conflicts: 354000 | #Constraints: 26374 1039.79/1043.51 c #Conflicts: 355000 | #Constraints: 27374 1039.79/1043.51 c #Conflicts: 356000 | #Constraints: 28374 1039.79/1043.51 c #Conflicts: 357000 | #Constraints: 29374 1039.79/1043.51 c #Conflicts: 358000 | #Constraints: 30374 1039.79/1043.51 c #Conflicts: 359000 | #Constraints: 31374 1039.79/1043.51 c #Conflicts: 360000 | #Constraints: 32374 1039.79/1043.51 c #Conflicts: 361000 | #Constraints: 33374 1039.79/1043.51 c #Conflicts: 362000 | #Constraints: 34374 1039.79/1043.51 c #Conflicts: 363000 | #Constraints: 35374 1039.79/1043.51 c #Conflicts: 364000 | #Constraints: 36374 1039.79/1043.51 c INPROCESSING 1039.79/1043.51 c GARBAGE COLLECT 1039.79/1043.51 c rational objective 145 1278.96/1283.59 c #Conflicts: 365000 | #Constraints: 21101 1278.96/1283.59 c #Conflicts: 366000 | #Constraints: 22101 1278.96/1283.59 c #Conflicts: 367000 | #Constraints: 23101 1278.96/1283.59 c #Conflicts: 368000 | #Constraints: 24101 1278.96/1283.59 c #Conflicts: 369000 | #Constraints: 25101 1278.96/1283.59 c #Conflicts: 370000 | #Constraints: 26101 1278.96/1283.59 c #Conflicts: 371000 | #Constraints: 27101 1278.96/1283.59 c #Conflicts: 372000 | #Constraints: 28101 1278.96/1283.59 c #Conflicts: 373000 | #Constraints: 29101 1278.96/1283.59 c #Conflicts: 374000 | #Constraints: 30101 1278.96/1283.59 c #Conflicts: 375000 | #Constraints: 31101 1278.96/1283.59 c #Conflicts: 376000 | #Constraints: 32101 1278.96/1283.59 c #Conflicts: 377000 | #Constraints: 33101 1278.96/1283.59 c #Conflicts: 378000 | #Constraints: 34101 1278.96/1283.59 c #Conflicts: 379000 | #Constraints: 35101 1278.96/1283.59 c #Conflicts: 380000 | #Constraints: 36101 1278.96/1283.59 c #Conflicts: 381000 | #Constraints: 37101 1278.96/1283.59 c #Conflicts: 382000 | #Constraints: 38101 1278.96/1283.59 c #Conflicts: 383000 | #Constraints: 39101 1278.96/1283.59 c #Conflicts: 384000 | #Constraints: 40101 1278.96/1283.59 c #Conflicts: 385000 | #Constraints: 41101 1278.96/1283.59 c #Conflicts: 386000 | #Constraints: 42101 1278.96/1283.59 c #Conflicts: 387000 | #Constraints: 43101 1278.96/1283.59 c #Conflicts: 388000 | #Constraints: 44101 1278.96/1283.59 c #Conflicts: 389000 | #Constraints: 45101 1278.96/1283.59 c #Conflicts: 390000 | #Constraints: 46101 1278.96/1283.59 c #Conflicts: 391000 | #Constraints: 47101 1278.96/1283.59 c #Conflicts: 392000 | #Constraints: 48101 1278.96/1283.59 c #Conflicts: 393000 | #Constraints: 49101 1278.96/1283.59 c #Conflicts: 394000 | #Constraints: 50101 1278.96/1283.59 c #Conflicts: 395000 | #Constraints: 51101 1278.96/1283.59 c #Conflicts: 396000 | #Constraints: 52101 1278.96/1283.59 c #Conflicts: 397000 | #Constraints: 53101 1278.96/1283.59 c #Conflicts: 398000 | #Constraints: 54101 1278.96/1283.59 c #Conflicts: 399000 | #Constraints: 55101 1278.96/1283.59 c #Conflicts: 400000 | #Constraints: 56101 1278.96/1283.59 c bounds 190 >= 146 @ 1244.39 1278.96/1283.59 c #Conflicts: 401000 | #Constraints: 57158 1278.96/1283.59 c #Conflicts: 402000 | #Constraints: 58158 1278.96/1283.59 c #Conflicts: 403000 | #Constraints: 59158 1278.96/1283.59 c #Conflicts: 404000 | #Constraints: 60158 1278.96/1283.59 c #Conflicts: 405000 | #Constraints: 61158 1278.96/1283.59 c #Conflicts: 406000 | #Constraints: 62158 1278.96/1283.59 c #Conflicts: 407000 | #Constraints: 63158 1278.96/1283.59 c #Conflicts: 408000 | #Constraints: 64158 1278.96/1283.59 c #Conflicts: 409000 | #Constraints: 65158 1278.96/1283.59 c INPROCESSING 1278.96/1283.59 c GARBAGE COLLECT 1278.96/1283.59 c rational objective 146 1327.89/1332.61 c #Conflicts: 410000 | #Constraints: 34177 1327.89/1332.61 c #Conflicts: 411000 | #Constraints: 35177 1327.89/1332.61 c #Conflicts: 412000 | #Constraints: 36177 1327.89/1332.61 c #Conflicts: 413000 | #Constraints: 37177 1327.89/1332.61 c #Conflicts: 414000 | #Constraints: 38177 1327.89/1332.61 c #Conflicts: 415000 | #Constraints: 39177 1327.89/1332.61 c #Conflicts: 416000 | #Constraints: 40177 1327.89/1332.61 c #Conflicts: 417000 | #Constraints: 41177 1327.89/1332.61 c #Conflicts: 418000 | #Constraints: 42177 1327.89/1332.61 c #Conflicts: 419000 | #Constraints: 43177 1327.89/1332.61 c #Conflicts: 420000 | #Constraints: 44177 1327.89/1332.61 c #Conflicts: 421000 | #Constraints: 45177 1327.89/1332.61 c #Conflicts: 422000 | #Constraints: 46177 1327.89/1332.61 c #Conflicts: 423000 | #Constraints: 47177 1327.89/1332.61 c #Conflicts: 424000 | #Constraints: 48177 1327.89/1332.61 c #Conflicts: 425000 | #Constraints: 49177 1327.89/1332.61 c INPROCESSING 1327.89/1332.61 c GARBAGE COLLECT 1327.89/1332.61 c rational objective 146 1396.95/1401.93 c #Conflicts: 426000 | #Constraints: 26290 1396.95/1401.93 c #Conflicts: 427000 | #Constraints: 27290 1396.95/1401.93 c #Conflicts: 428000 | #Constraints: 28290 1396.95/1401.93 c #Conflicts: 429000 | #Constraints: 29290 1396.95/1401.93 c #Conflicts: 430000 | #Constraints: 30290 1396.95/1401.93 c #Conflicts: 431000 | #Constraints: 31290 1396.95/1401.93 c #Conflicts: 432000 | #Constraints: 32290 1396.95/1401.93 c #Conflicts: 433000 | #Constraints: 33290 1396.95/1401.93 c #Conflicts: 434000 | #Constraints: 34290 1396.95/1401.93 c #Conflicts: 435000 | #Constraints: 35290 1396.95/1401.93 c #Conflicts: 436000 | #Constraints: 36290 1396.95/1401.93 c #Conflicts: 437000 | #Constraints: 37290 1396.95/1401.93 c #Conflicts: 438000 | #Constraints: 38290 1396.95/1401.93 c #Conflicts: 439000 | #Constraints: 39290 1396.95/1401.93 c #Conflicts: 440000 | #Constraints: 40290 1396.95/1401.93 c #Conflicts: 441000 | #Constraints: 41290 1396.95/1401.93 c INPROCESSING 1396.95/1401.93 c GARBAGE COLLECT 1396.95/1401.93 c rational objective 146 1644.55/1650.40 c #Conflicts: 442000 | #Constraints: 27145 1644.55/1650.40 c #Conflicts: 443000 | #Constraints: 28145 1644.55/1650.40 c #Conflicts: 444000 | #Constraints: 29145 1644.55/1650.40 c #Conflicts: 445000 | #Constraints: 30145 1644.55/1650.40 c #Conflicts: 446000 | #Constraints: 31145 1644.55/1650.40 c #Conflicts: 447000 | #Constraints: 32145 1644.55/1650.40 c #Conflicts: 448000 | #Constraints: 33145 1644.55/1650.40 c #Conflicts: 449000 | #Constraints: 34145 1644.55/1650.40 c #Conflicts: 450000 | #Constraints: 35145 1644.55/1650.40 c #Conflicts: 451000 | #Constraints: 36145 1644.55/1650.40 c #Conflicts: 452000 | #Constraints: 37145 1644.55/1650.40 c #Conflicts: 453000 | #Constraints: 38145 1644.55/1650.40 c #Conflicts: 454000 | #Constraints: 39145 1644.55/1650.40 c #Conflicts: 455000 | #Constraints: 40145 1644.55/1650.40 c #Conflicts: 456000 | #Constraints: 41145 1644.55/1650.40 c #Conflicts: 457000 | #Constraints: 42145 1644.55/1650.40 c #Conflicts: 458000 | #Constraints: 43145 1644.55/1650.40 c #Conflicts: 459000 | #Constraints: 44145 1644.55/1650.40 c #Conflicts: 460000 | #Constraints: 45145 1644.55/1650.40 c #Conflicts: 461000 | #Constraints: 46145 1644.55/1650.41 c #Conflicts: 462000 | #Constraints: 47145 1644.55/1650.41 c #Conflicts: 463000 | #Constraints: 48145 1644.55/1650.41 c #Conflicts: 464000 | #Constraints: 49145 1644.55/1650.41 c #Conflicts: 465000 | #Constraints: 50145 1644.55/1650.41 c #Conflicts: 466000 | #Constraints: 51145 1644.55/1650.41 c #Conflicts: 467000 | #Constraints: 52145 1644.55/1650.41 c #Conflicts: 468000 | #Constraints: 53145 1644.55/1650.41 c #Conflicts: 469000 | #Constraints: 54145 1644.55/1650.41 c #Conflicts: 470000 | #Constraints: 55145 1644.55/1650.41 c #Conflicts: 471000 | #Constraints: 56145 1644.55/1650.41 c #Conflicts: 472000 | #Constraints: 57145 1644.55/1650.41 c #Conflicts: 473000 | #Constraints: 58145 1644.55/1650.41 c #Conflicts: 474000 | #Constraints: 59145 1644.55/1650.41 c #Conflicts: 475000 | #Constraints: 60145 1644.55/1650.41 c #Conflicts: 476000 | #Constraints: 61145 1644.55/1650.41 c #Conflicts: 477000 | #Constraints: 62145 1644.55/1650.41 c #Conflicts: 478000 | #Constraints: 63145 1644.55/1650.41 c #Conflicts: 479000 | #Constraints: 64145 1644.55/1650.41 c #Conflicts: 480000 | #Constraints: 65145 1644.55/1650.41 c #Conflicts: 481000 | #Constraints: 66145 1644.55/1650.41 c #Conflicts: 482000 | #Constraints: 67145 1644.55/1650.41 c #Conflicts: 483000 | #Constraints: 68145 1644.55/1650.41 c #Conflicts: 484000 | #Constraints: 69145 1644.55/1650.41 c #Conflicts: 485000 | #Constraints: 70145 1644.55/1650.41 c #Conflicts: 486000 | #Constraints: 71145 1644.55/1650.41 c #Conflicts: 487000 | #Constraints: 72145 1644.55/1650.41 c #Conflicts: 488000 | #Constraints: 73145 1644.55/1650.41 c #Conflicts: 489000 | #Constraints: 74145 1644.55/1650.41 c INPROCESSING 1644.55/1650.41 c GARBAGE COLLECT 1644.55/1650.41 c rational objective 146 1792.45/1798.83 c #Conflicts: 490000 | #Constraints: 38481 1792.45/1798.83 c #Conflicts: 491000 | #Constraints: 39481 1792.45/1798.83 c #Conflicts: 492000 | #Constraints: 40481 1792.45/1798.83 c #Conflicts: 493000 | #Constraints: 41481 1792.45/1798.83 c #Conflicts: 494000 | #Constraints: 42481 1792.45/1798.83 c #Conflicts: 495000 | #Constraints: 43481 1792.45/1798.83 c #Conflicts: 496000 | #Constraints: 44481 1792.45/1798.83 c #Conflicts: 497000 | #Constraints: 45481 1792.45/1798.83 c #Conflicts: 498000 | #Constraints: 46481 1792.45/1798.83 c #Conflicts: 499000 | #Constraints: 47481 1792.45/1798.83 c #Conflicts: 500000 | #Constraints: 48481 1792.45/1798.83 c #Conflicts: 501000 | #Constraints: 49481 1792.45/1798.83 c #Conflicts: 502000 | #Constraints: 50481 1792.45/1798.83 c #Conflicts: 503000 | #Constraints: 51481 1792.45/1798.83 c #Conflicts: 504000 | #Constraints: 52481 1792.45/1798.83 c #Conflicts: 505000 | #Constraints: 53481 1792.45/1798.83 c #Conflicts: 506000 | #Constraints: 54481 1792.45/1798.83 c INPROCESSING 1792.45/1798.83 c GARBAGE COLLECT 1792.45/1798.83 c rational objective 146 2123.18/2130.72 c #Conflicts: 507000 | #Constraints: 28577 2123.18/2130.72 c #Conflicts: 508000 | #Constraints: 29577 2123.18/2130.72 c #Conflicts: 509000 | #Constraints: 30577 2123.18/2130.72 c #Conflicts: 510000 | #Constraints: 31577 2123.18/2130.72 c #Conflicts: 511000 | #Constraints: 32577 2123.18/2130.72 c #Conflicts: 512000 | #Constraints: 33577 2123.18/2130.72 c #Conflicts: 513000 | #Constraints: 34577 2123.18/2130.72 c #Conflicts: 514000 | #Constraints: 35577 2123.18/2130.72 c #Conflicts: 515000 | #Constraints: 36577 2123.18/2130.72 c #Conflicts: 516000 | #Constraints: 37577 2123.18/2130.72 c #Conflicts: 517000 | #Constraints: 38577 2123.18/2130.72 c #Conflicts: 518000 | #Constraints: 39577 2123.18/2130.72 c #Conflicts: 519000 | #Constraints: 40577 2123.18/2130.72 c #Conflicts: 520000 | #Constraints: 41577 2123.18/2130.72 c #Conflicts: 521000 | #Constraints: 42577 2123.18/2130.72 c #Conflicts: 522000 | #Constraints: 43577 2123.18/2130.72 c #Conflicts: 523000 | #Constraints: 44577 2123.18/2130.72 c #Conflicts: 524000 | #Constraints: 45577 2123.18/2130.72 c #Conflicts: 525000 | #Constraints: 46577 2123.18/2130.72 c #Conflicts: 526000 | #Constraints: 47577 2123.18/2130.72 c #Conflicts: 527000 | #Constraints: 48577 2123.18/2130.72 c #Conflicts: 528000 | #Constraints: 49577 2123.18/2130.72 c #Conflicts: 529000 | #Constraints: 50577 2123.18/2130.72 c #Conflicts: 530000 | #Constraints: 51577 2123.18/2130.72 c #Conflicts: 531000 | #Constraints: 52577 2123.18/2130.72 c #Conflicts: 532000 | #Constraints: 53577 2123.18/2130.72 c #Conflicts: 533000 | #Constraints: 54577 2123.18/2130.72 c #Conflicts: 534000 | #Constraints: 55577 2123.18/2130.72 c #Conflicts: 535000 | #Constraints: 56577 2123.18/2130.72 c #Conflicts: 536000 | #Constraints: 57577 2123.18/2130.72 c #Conflicts: 537000 | #Constraints: 58577 2123.18/2130.72 c #Conflicts: 538000 | #Constraints: 59577 2123.18/2130.72 c #Conflicts: 539000 | #Constraints: 60577 2123.18/2130.72 c #Conflicts: 540000 | #Constraints: 61577 2123.18/2130.72 c #Conflicts: 541000 | #Constraints: 62577 2123.18/2130.72 c #Conflicts: 542000 | #Constraints: 63577 2123.18/2130.72 c #Conflicts: 543000 | #Constraints: 64577 2123.18/2130.72 c #Conflicts: 544000 | #Constraints: 65577 2123.18/2130.72 c #Conflicts: 545000 | #Constraints: 66577 2123.18/2130.72 c #Conflicts: 546000 | #Constraints: 67577 2123.18/2130.72 c #Conflicts: 547000 | #Constraints: 68577 2123.18/2130.72 c #Conflicts: 548000 | #Constraints: 69577 2123.18/2130.72 c #Conflicts: 549000 | #Constraints: 70577 2123.18/2130.72 c #Conflicts: 550000 | #Constraints: 71577 2123.18/2130.72 c #Conflicts: 551000 | #Constraints: 72577 2123.18/2130.72 c #Conflicts: 552000 | #Constraints: 73577 2123.18/2130.72 c #Conflicts: 553000 | #Constraints: 74577 2123.18/2130.72 c #Conflicts: 554000 | #Constraints: 75577 2123.18/2130.72 c #Conflicts: 555000 | #Constraints: 76577 2123.18/2130.72 c #Conflicts: 556000 | #Constraints: 77577 2123.18/2130.72 c #Conflicts: 557000 | #Constraints: 78577 2123.18/2130.72 c #Conflicts: 558000 | #Constraints: 79577 2123.18/2130.72 c INPROCESSING 2123.18/2130.72 c GARBAGE COLLECT 2123.18/2130.72 c rational objective 146 2205.58/2213.46 c #Conflicts: 559000 | #Constraints: 41284 2205.58/2213.46 c #Conflicts: 560000 | #Constraints: 42284 2205.58/2213.46 c #Conflicts: 561000 | #Constraints: 43284 2205.58/2213.46 c #Conflicts: 562000 | #Constraints: 44284 2205.58/2213.46 c #Conflicts: 563000 | #Constraints: 45284 2205.58/2213.46 c #Conflicts: 564000 | #Constraints: 46284 2205.58/2213.46 c #Conflicts: 565000 | #Constraints: 47284 2205.58/2213.46 c #Conflicts: 566000 | #Constraints: 48284 2205.58/2213.46 c #Conflicts: 567000 | #Constraints: 49284 2205.58/2213.46 c #Conflicts: 568000 | #Constraints: 50284 2205.58/2213.46 c #Conflicts: 569000 | #Constraints: 51284 2205.58/2213.46 c #Conflicts: 570000 | #Constraints: 52284 2205.58/2213.46 c #Conflicts: 571000 | #Constraints: 53284 2205.58/2213.46 c #Conflicts: 572000 | #Constraints: 54284 2205.58/2213.46 c #Conflicts: 573000 | #Constraints: 55284 2205.58/2213.46 c #Conflicts: 574000 | #Constraints: 56284 2205.58/2213.46 c #Conflicts: 575000 | #Constraints: 57284 2205.58/2213.46 c #Conflicts: 576000 | #Constraints: 58284 2205.58/2213.46 c #Conflicts: 577000 | #Constraints: 59284 2205.58/2213.46 c INPROCESSING 2205.58/2213.46 c GARBAGE COLLECT 2205.58/2213.46 c rational objective 146 2578.05/2587.20 c #Conflicts: 578000 | #Constraints: 34271 2578.05/2587.20 c #Conflicts: 579000 | #Constraints: 35271 2578.05/2587.20 c #Conflicts: 580000 | #Constraints: 36271 2578.05/2587.20 c #Conflicts: 581000 | #Constraints: 37271 2578.05/2587.20 c #Conflicts: 582000 | #Constraints: 38271 2578.05/2587.20 c #Conflicts: 583000 | #Constraints: 39271 2578.05/2587.20 c #Conflicts: 584000 | #Constraints: 40271 2578.05/2587.20 c #Conflicts: 585000 | #Constraints: 41271 2578.05/2587.20 c #Conflicts: 586000 | #Constraints: 42271 2578.05/2587.20 c #Conflicts: 587000 | #Constraints: 43271 2578.05/2587.20 c #Conflicts: 588000 | #Constraints: 44271 2578.05/2587.20 c #Conflicts: 589000 | #Constraints: 45271 2578.05/2587.20 c #Conflicts: 590000 | #Constraints: 46271 2578.05/2587.20 c #Conflicts: 591000 | #Constraints: 47271 2578.05/2587.20 c #Conflicts: 592000 | #Constraints: 48271 2578.05/2587.20 c #Conflicts: 593000 | #Constraints: 49271 2578.05/2587.20 c #Conflicts: 594000 | #Constraints: 50271 2578.05/2587.20 c #Conflicts: 595000 | #Constraints: 51271 2578.05/2587.20 c #Conflicts: 596000 | #Constraints: 52271 2578.05/2587.20 c #Conflicts: 597000 | #Constraints: 53271 2578.05/2587.20 c #Conflicts: 598000 | #Constraints: 54271 2578.05/2587.20 c #Conflicts: 599000 | #Constraints: 55271 2578.05/2587.20 c #Conflicts: 600000 | #Constraints: 56271 2578.05/2587.20 c #Conflicts: 601000 | #Constraints: 57271 2578.05/2587.20 c #Conflicts: 602000 | #Constraints: 58271 2578.05/2587.20 c #Conflicts: 603000 | #Constraints: 59271 2578.05/2587.20 c #Conflicts: 604000 | #Constraints: 60271 2578.05/2587.20 c #Conflicts: 605000 | #Constraints: 61271 2578.05/2587.20 c #Conflicts: 606000 | #Constraints: 62271 2578.05/2587.20 c #Conflicts: 607000 | #Constraints: 63271 2578.05/2587.20 c #Conflicts: 608000 | #Constraints: 64271 2578.05/2587.20 c #Conflicts: 609000 | #Constraints: 65271 2578.05/2587.20 c #Conflicts: 610000 | #Constraints: 66271 2578.05/2587.20 c #Conflicts: 611000 | #Constraints: 67271 2578.05/2587.20 c #Conflicts: 612000 | #Constraints: 68271 2578.05/2587.20 c #Conflicts: 613000 | #Constraints: 69271 2578.05/2587.20 c #Conflicts: 614000 | #Constraints: 70271 2578.05/2587.20 c #Conflicts: 615000 | #Constraints: 71271 2578.05/2587.20 c #Conflicts: 616000 | #Constraints: 72271 2578.05/2587.20 c #Conflicts: 617000 | #Constraints: 73271 2578.05/2587.20 c #Conflicts: 618000 | #Constraints: 74271 2578.05/2587.20 c #Conflicts: 619000 | #Constraints: 75271 2578.05/2587.20 c #Conflicts: 620000 | #Constraints: 76271 2578.05/2587.20 c #Conflicts: 621000 | #Constraints: 77271 2578.05/2587.20 c #Conflicts: 622000 | #Constraints: 78271 2578.05/2587.20 c #Conflicts: 623000 | #Constraints: 79271 2578.05/2587.20 c #Conflicts: 624000 | #Constraints: 80271 2578.05/2587.20 c #Conflicts: 625000 | #Constraints: 81271 2578.05/2587.20 c #Conflicts: 626000 | #Constraints: 82271 2578.05/2587.20 c #Conflicts: 627000 | #Constraints: 83271 2578.05/2587.20 c #Conflicts: 628000 | #Constraints: 84271 2578.05/2587.20 c #Conflicts: 629000 | #Constraints: 85271 2578.05/2587.20 c #Conflicts: 630000 | #Constraints: 86271 2578.05/2587.20 c #Conflicts: 631000 | #Constraints: 87271 2578.05/2587.20 c #Conflicts: 632000 | #Constraints: 88271 2578.05/2587.20 c INPROCESSING 2578.05/2587.20 c GARBAGE COLLECT 2578.05/2587.20 c rational objective 146 2784.18/2794.06 c #Conflicts: 633000 | #Constraints: 45846 2784.18/2794.06 c #Conflicts: 634000 | #Constraints: 46846 2784.18/2794.06 c #Conflicts: 635000 | #Constraints: 47846 2784.18/2794.06 c #Conflicts: 636000 | #Constraints: 48846 2784.18/2794.06 c #Conflicts: 637000 | #Constraints: 49846 2784.18/2794.06 c #Conflicts: 638000 | #Constraints: 50846 2784.18/2794.06 c #Conflicts: 639000 | #Constraints: 51846 2784.18/2794.06 c #Conflicts: 640000 | #Constraints: 52846 2784.18/2794.06 c #Conflicts: 641000 | #Constraints: 53846 2784.18/2794.06 c #Conflicts: 642000 | #Constraints: 54846 2784.18/2794.06 c #Conflicts: 643000 | #Constraints: 55846 2784.18/2794.06 c #Conflicts: 644000 | #Constraints: 56846 2784.18/2794.06 c #Conflicts: 645000 | #Constraints: 57846 2784.18/2794.06 c #Conflicts: 646000 | #Constraints: 58846 2784.18/2794.06 c #Conflicts: 647000 | #Constraints: 59846 2784.18/2794.06 c #Conflicts: 648000 | #Constraints: 60846 2784.18/2794.06 c #Conflicts: 649000 | #Constraints: 61846 2784.18/2794.06 c #Conflicts: 650000 | #Constraints: 62846 2784.18/2794.06 c #Conflicts: 651000 | #Constraints: 63846 2784.18/2794.06 c INPROCESSING 2784.18/2794.06 c GARBAGE COLLECT 2784.18/2794.06 c rational objective 146 3302.09/3313.60 c #Conflicts: 652000 | #Constraints: 35837 3302.09/3313.60 c #Conflicts: 653000 | #Constraints: 36837 3302.09/3313.60 c #Conflicts: 654000 | #Constraints: 37837 3302.09/3313.60 c #Conflicts: 655000 | #Constraints: 38837 3302.09/3313.60 c #Conflicts: 656000 | #Constraints: 39837 3302.09/3313.60 c #Conflicts: 657000 | #Constraints: 40837 3302.09/3313.60 c #Conflicts: 658000 | #Constraints: 41837 3302.09/3313.60 c #Conflicts: 659000 | #Constraints: 42837 3302.09/3313.60 c #Conflicts: 660000 | #Constraints: 43837 3302.09/3313.60 c #Conflicts: 661000 | #Constraints: 44837 3302.09/3313.60 c #Conflicts: 662000 | #Constraints: 45837 3302.09/3313.60 c #Conflicts: 663000 | #Constraints: 46837 3302.09/3313.60 c #Conflicts: 664000 | #Constraints: 47837 3302.09/3313.60 c #Conflicts: 665000 | #Constraints: 48837 3302.09/3313.60 c #Conflicts: 666000 | #Constraints: 49837 3302.09/3313.60 c #Conflicts: 667000 | #Constraints: 50837 3302.09/3313.60 c #Conflicts: 668000 | #Constraints: 51837 3302.09/3313.60 c #Conflicts: 669000 | #Constraints: 52837 3302.09/3313.60 c #Conflicts: 670000 | #Constraints: 53837 3302.09/3313.60 c #Conflicts: 671000 | #Constraints: 54837 3302.09/3313.60 c #Conflicts: 672000 | #Constraints: 55837 3302.09/3313.60 c #Conflicts: 673000 | #Constraints: 56837 3302.09/3313.60 c #Conflicts: 674000 | #Constraints: 57837 3302.09/3313.60 c #Conflicts: 675000 | #Constraints: 58837 3302.09/3313.60 c #Conflicts: 676000 | #Constraints: 59837 3302.09/3313.60 c #Conflicts: 677000 | #Constraints: 60837 3302.09/3313.60 c #Conflicts: 678000 | #Constraints: 61837 3302.09/3313.60 c #Conflicts: 679000 | #Constraints: 62837 3302.09/3313.60 c #Conflicts: 680000 | #Constraints: 63837 3302.09/3313.60 c #Conflicts: 681000 | #Constraints: 64837 3302.09/3313.60 c #Conflicts: 682000 | #Constraints: 65837 3302.09/3313.60 c #Conflicts: 683000 | #Constraints: 66837 3302.09/3313.60 c #Conflicts: 684000 | #Constraints: 67837 3302.09/3313.60 c #Conflicts: 685000 | #Constraints: 68837 3302.09/3313.60 c #Conflicts: 686000 | #Constraints: 69837 3302.09/3313.60 c #Conflicts: 687000 | #Constraints: 70837 3302.09/3313.60 c #Conflicts: 688000 | #Constraints: 71837 3302.09/3313.60 c #Conflicts: 689000 | #Constraints: 72837 3302.09/3313.60 c #Conflicts: 690000 | #Constraints: 73837 3302.09/3313.60 c #Conflicts: 691000 | #Constraints: 74837 3302.09/3313.60 c #Conflicts: 692000 | #Constraints: 75837 3302.09/3313.60 c #Conflicts: 693000 | #Constraints: 76837 3302.09/3313.60 c #Conflicts: 694000 | #Constraints: 77837 3302.09/3313.60 c #Conflicts: 695000 | #Constraints: 78837 3302.09/3313.60 c #Conflicts: 696000 | #Constraints: 79837 3302.09/3313.60 c #Conflicts: 697000 | #Constraints: 80837 3302.09/3313.60 c #Conflicts: 698000 | #Constraints: 81837 3302.09/3313.60 c #Conflicts: 699000 | #Constraints: 82837 3302.09/3313.60 c #Conflicts: 700000 | #Constraints: 83837 3302.09/3313.60 c #Conflicts: 701000 | #Constraints: 84837 3302.09/3313.60 c #Conflicts: 702000 | #Constraints: 85837 3302.09/3313.60 c #Conflicts: 703000 | #Constraints: 86837 3302.09/3313.60 c #Conflicts: 704000 | #Constraints: 87837 3302.09/3313.60 c #Conflicts: 705000 | #Constraints: 88837 3302.09/3313.60 c #Conflicts: 706000 | #Constraints: 89837 3302.09/3313.60 c #Conflicts: 707000 | #Constraints: 90837 3302.09/3313.60 c #Conflicts: 708000 | #Constraints: 91837 3302.09/3313.60 c #Conflicts: 709000 | #Constraints: 92837 3302.09/3313.60 c INPROCESSING 3302.09/3313.60 c GARBAGE COLLECT 3302.09/3313.60 c rational objective 146 3383.12/3394.98 c #Conflicts: 710000 | #Constraints: 47819 3383.12/3394.98 c #Conflicts: 711000 | #Constraints: 48819 3383.12/3394.98 c #Conflicts: 712000 | #Constraints: 49819 3383.12/3394.98 c #Conflicts: 713000 | #Constraints: 50819 3383.12/3394.98 c #Conflicts: 714000 | #Constraints: 51819 3383.12/3394.98 c #Conflicts: 715000 | #Constraints: 52819 3383.12/3394.98 c #Conflicts: 716000 | #Constraints: 53819 3383.12/3394.98 c #Conflicts: 717000 | #Constraints: 54819 3383.12/3394.98 c #Conflicts: 718000 | #Constraints: 55819 3383.12/3394.98 c #Conflicts: 719000 | #Constraints: 56819 3383.12/3394.98 c #Conflicts: 720000 | #Constraints: 57819 3383.12/3394.98 c #Conflicts: 721000 | #Constraints: 58819 3383.12/3394.98 c #Conflicts: 722000 | #Constraints: 59819 3383.12/3394.98 c #Conflicts: 723000 | #Constraints: 60819 3383.12/3394.98 c #Conflicts: 724000 | #Constraints: 61819 3383.12/3394.98 c #Conflicts: 725000 | #Constraints: 62819 3383.12/3394.98 c #Conflicts: 726000 | #Constraints: 63819 3383.12/3394.98 c #Conflicts: 727000 | #Constraints: 64819 3383.12/3394.98 c #Conflicts: 728000 | #Constraints: 65819 3383.12/3394.98 c #Conflicts: 729000 | #Constraints: 66819 3383.12/3394.98 c #Conflicts: 730000 | #Constraints: 67819 3383.12/3394.98 c #Conflicts: 731000 | #Constraints: 68819 3383.12/3394.98 c INPROCESSING 3383.12/3394.98 c GARBAGE COLLECT 3383.12/3394.98 c rational objective 146 3600.00/3612.50 c #Conflicts: 732000 | #Constraints: 42648 3600.00/3612.50 c #Conflicts: 733000 | #Constraints: 43648 3600.00/3612.50 c #Conflicts: 734000 | #Constraints: 44648 3600.00/3612.50 c #Conflicts: 735000 | #Constraints: 45648 3600.00/3612.50 c #Conflicts: 736000 | #Constraints: 46648 3600.00/3612.50 c #Conflicts: 737000 | #Constraints: 47648 3600.00/3612.50 c #Conflicts: 738000 | #Constraints: 48648 3600.00/3612.50 c #Conflicts: 739000 | #Constraints: 49648 3600.00/3612.50 c #Conflicts: 740000 | #Constraints: 50648 3600.00/3612.50 c #Conflicts: 741000 | #Constraints: 51648 3600.00/3612.50 c #Conflicts: 742000 | #Constraints: 52648 3600.00/3612.50 c #Conflicts: 743000 | #Constraints: 53648 3600.00/3612.50 c #Conflicts: 744000 | #Constraints: 54648 3600.00/3612.50 c #Conflicts: 745000 | #Constraints: 55648 3600.00/3612.50 c #Conflicts: 746000 | #Constraints: 56648 3600.00/3612.50 c #Conflicts: 747000 | #Constraints: 57648 3600.00/3612.50 c #Conflicts: 748000 | #Constraints: 58648 3600.00/3612.50 c #Conflicts: 749000 | #Constraints: 59648 3600.00/3612.50 c #Conflicts: 750000 | #Constraints: 60648 3600.00/3612.50 c #Conflicts: 751000 | #Constraints: 61648 3600.00/3612.50 c #Conflicts: 752000 | #Constraints: 62648 3600.00/3612.50 c #Conflicts: 753000 | #Constraints: 63648 3600.00/3612.50 c #Conflicts: 754000 | #Constraints: 64648 3600.00/3612.50 c #Conflicts: 755000 | #Constraints: 65648 3600.00/3612.50 c #Conflicts: 756000 | #Constraints: 66648 3600.00/3612.50 c #Conflicts: 757000 | #Constraints: 67648 3600.00/3612.50 c #Conflicts: 758000 | #Constraints: 68648 3600.00/3612.50 c #Conflicts: 759000 | #Constraints: 69648 3600.00/3612.50 c #Conflicts: 760000 | #Constraints: 70648 3600.00/3612.50 c #Conflicts: 761000 | #Constraints: 71648 3600.00/3612.50 c #Conflicts: 762000 | #Constraints: 72648 3600.00/3612.50 c #Conflicts: 763000 | #Constraints: 73648 3600.00/3612.50 c #Conflicts: 764000 | #Constraints: 74648 3600.00/3612.50 c #Conflicts: 765000 | #Constraints: 75648 3600.00/3612.50 c #Conflicts: 766000 | #Constraints: 76648 3600.00/3612.50 c #Conflicts: 767000 | #Constraints: 77648 3600.00/3612.50 c #Conflicts: 768000 | #Constraints: 78648 3600.00/3612.50 c #Conflicts: 769000 | #Constraints: 79648 3600.00/3612.50 c #Conflicts: 770000 | #Constraints: 80648 3600.00/3612.50 c #Conflicts: 771000 | #Constraints: 81648 3600.00/3612.50 c #Conflicts: 772000 | #Constraints: 82648 3600.00/3612.50 c Program interrupted by user. 3600.00/3612.50 c cpu time 3581.04 s 3600.00/3612.50 c deterministic time 345334259572 3.45e+11 3600.00/3612.50 c optimization time 215.947 s 3600.00/3612.50 c total solve time 3365.09 s 3600.00/3612.50 c core-guided solve time 2059.11 s 3600.00/3612.50 c propagation time 3095.84 s 3600.00/3612.50 c conflict analysis time 455.853 s 3600.00/3612.50 c propagations 105141480 3600.00/3612.50 c resolve steps 6544483 3600.00/3612.50 c decisions 5604979 3600.00/3612.50 c conflicts 772605 3600.00/3612.50 c restarts 1642 3600.00/3612.50 c inprocessing phases 43 3600.00/3612.50 c input clauses 301 3600.00/3612.50 c input cardinalities 331 3600.00/3612.50 c input general constraints 866 3600.00/3612.50 c input average constraint length 64.36 3600.00/3612.50 c input average constraint degree 24.62 3600.00/3612.50 c learned clauses 268001 3600.00/3612.50 c learned cardinalities 4676 3600.00/3612.50 c learned general constraints 499941 3600.00/3612.50 c learned average constraint length 188.63 3600.00/3612.50 c learned average constraint degree 7043391.38 3600.00/3612.50 c watched constraints 343944 3600.00/3612.50 c counting constraints 156863 3600.00/3612.50 c gcd simplifications 97698 3600.00/3612.50 c detected cardinalities 2071 3600.00/3612.50 c weakened non-implied lits 30521742 3600.00/3612.50 c weakened non-implying lits 68126 3600.00/3612.50 c original variables 465 3600.00/3612.50 c clausal propagations 10876980 3600.00/3612.50 c cardinality propagations 6147684 3600.00/3612.50 c watched propagations 16301458 3600.00/3612.50 c counting propagations 70327909 3600.00/3612.50 c watch lookups 59512404357 3600.00/3612.50 c watch backjump lookups 52818651184 3600.00/3612.50 c watch checks 213337838401 3600.00/3612.50 c propagation checks 18866060295 3600.00/3612.50 c constraint additions 576255697 3600.00/3612.50 c trail pops 111518402 3600.00/3612.50 c formula constraints 465 3600.00/3612.50 c learned constraints 772614 3600.00/3612.50 c bound constraints 186 3600.00/3612.50 c core-guided constraints 847 3600.00/3612.50 c encountered formula constraints 1183294 3600.00/3612.50 c encountered learned constraints 5229250 3600.00/3612.50 c encountered bound constraints 71 3600.00/3612.50 c encountered core-guided constraints 904465 3600.00/3612.50 c LP total time 35.1202 s 3600.00/3612.50 c LP solve time 33.45 s 3600.00/3612.50 c LP constraints added 465 3600.00/3612.50 c LP constraints removed 0 3600.00/3612.50 c LP pivots internal 772628 3600.00/3612.50 c LP pivots root 12148 3600.00/3612.50 c LP calls 16672 3600.00/3612.50 c LP optimalities 16668 3600.00/3612.50 c LP no pivot count 1672 3600.00/3612.50 c LP infeasibilities 2 3600.00/3612.50 c LP valid Farkas constraints 2 3600.00/3612.50 c LP learned Farkas constraints 2 3600.00/3612.50 c LP basis resets 0 3600.00/3612.50 c LP cycling count 0 3600.00/3612.50 c LP singular count 0 3600.00/3612.50 c LP no primal count 0 3600.00/3612.50 c LP no farkas count 0 3600.00/3612.50 c LP other issue count 0 3600.00/3612.50 c LP Gomory cuts 0 3600.00/3612.50 c LP learned cuts 0 3600.00/3612.50 c LP deleted cuts 0 3600.00/3612.50 c LP encountered Gomory constraints 0 3600.00/3612.50 c LP encountered Farkas constraints 5 3600.00/3612.50 c LP encountered learned Farkas constraints 1 3600.00/3612.50 c CG auxiliary variables introduced 331 3600.00/3612.50 c CG solutions found 40 3600.00/3612.50 c CG cores constructed 146 3600.00/3612.50 c CG core cardinality constraints returned 0 3600.00/3612.50 c CG unit cores 0 3600.00/3612.50 c CG single cores 146 3600.00/3612.50 c CG blocks removed during cardinality reduction 0 3600.00/3612.50 c CG first core best 0 3600.00/3612.50 c CG decision core best 0 3600.00/3612.50 c CG core reduction tie 0 3600.00/3612.50 c CG core degree average 1.00 3600.00/3612.50 c CG core slack average 3.95 3600.00/3612.50 s SATISFIABLE 3600.00/3612.50 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 x30
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61846 MiB free)
memory of node 1: 64473 MiB (61152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460165-1722064837/watcher-4460165-1722064837 -o /tmp/evaluation-result-4460165-1722064837/solver-4460165-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301306 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460165-1722064837 --lp-cut-gomory=0 HOME/instance-4460165-1722064837.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=301355, runsolver pid=301349
[startup+0.100958 s]*
/proc/loadavg: 0.07 0.09 0.09 6/245 301370
/proc/meminfo: memFree=125943136/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=38792 memory=8936 CPUtime=0.08 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 622 0 0 0 8 0 0 0 20 0 1 0 42473669 39723008 2234 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 9698 2234 1793 992 0 1556 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 8936 KiB
[startup+0.21528 s]*
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125940940/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=38840 memory=8876 CPUtime=0.2 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 653 0 0 0 19 1 0 0 20 0 1 0 42473669 39772160 2219 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 9710 2219 1793 992 0 1568 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 8876 KiB
[startup+0.313018 s]*
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125940476/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=38840 memory=8876 CPUtime=0.29 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 659 0 0 0 27 2 0 0 20 0 1 0 42473669 39772160 2219 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 9710 2219 1793 992 0 1568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38840 KiB
Current children cumulated memory: 8876 KiB
[startup+0.700265 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125932288/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=41032 memory=13452 CPUtime=0.66 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 1254 0 0 0 59 7 0 0 20 0 1 0 42473669 42016768 3363 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 10258 3363 1841 992 0 2116 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 41032 KiB
Current children cumulated memory: 13452 KiB
[startup+1.50025 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301370
/proc/meminfo: memFree=125904324/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=43600 memory=16092 CPUtime=1.46 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 1924 0 0 0 130 16 0 0 20 0 1 0 42473669 44646400 4023 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 10900 4023 1841 992 0 2758 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 16092 KiB
[startup+3.11337 s]
/proc/loadavg: 0.07 0.09 0.09 5/245 301372
/proc/meminfo: memFree=125852912/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=45800 memory=19748 CPUtime=3.06 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 2819 0 0 0 281 25 0 0 20 0 1 0 42473669 46899200 4937 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 11450 4937 1905 992 0 3308 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 45800 KiB
Current children cumulated memory: 19748 KiB
[startup+6.30029 s]
/proc/loadavg: 0.39 0.15 0.11 5/248 301375
/proc/meminfo: memFree=125760392/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=58656 memory=32028 CPUtime=6.24 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 5334 0 0 0 586 38 0 0 20 0 1 0 42473669 60063744 8007 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 14664 8007 1905 992 0 6522 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 58656 KiB
Current children cumulated memory: 32028 KiB
[startup+12.7003 s]
/proc/loadavg: 0.76 0.23 0.14 5/248 301376
/proc/meminfo: memFree=125580148/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=78836 memory=50620 CPUtime=12.61 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 8958 0 0 0 1205 56 0 0 20 0 1 0 42473669 80728064 12655 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 19709 12655 1905 992 0 11567 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 78836 KiB
Current children cumulated memory: 50620 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.42 0.20 5/248 301378
/proc/meminfo: memFree=125342596/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=97860 memory=65296 CPUtime=25.37 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 11119 0 0 0 2445 92 0 0 20 0 1 0 42473669 100208640 16324 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 24465 16324 1905 992 0 16323 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 97860 KiB
Current children cumulated memory: 65296 KiB
[startup+51.1136 s]
/proc/loadavg: 2.34 0.71 0.30 5/248 301382
/proc/meminfo: memFree=125013704/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=127120 memory=80184 CPUtime=50.87 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 13841 0 0 0 4956 131 0 0 20 0 1 0 42473669 130170880 20046 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 31780 20046 1905 992 0 23638 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 127120 KiB
Current children cumulated memory: 80184 KiB
[startup+102.3 s]
/proc/loadavg: 3.32 1.23 0.50 5/248 301392
/proc/meminfo: memFree=124599176/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=131436 memory=88384 CPUtime=101.86 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 14892 0 0 0 9977 209 0 0 20 0 1 0 42473669 134590464 22096 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 32859 22096 1905 992 0 24717 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 131436 KiB
Current children cumulated memory: 88384 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.75 0.73 5/248 301402
/proc/meminfo: memFree=124161636/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=151204 memory=111648 CPUtime=161.66 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 18341 0 0 0 15885 281 0 0 20 0 1 0 42473669 154832896 27912 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 37801 27912 1905 992 0 29659 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 151204 KiB
Current children cumulated memory: 111648 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.18 0.94 5/248 301413
/proc/meminfo: memFree=123836144/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=152116 memory=114572 CPUtime=221.46 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 18656 0 0 0 21811 335 0 0 20 0 1 0 42473669 155766784 28643 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 38029 28643 1905 992 0 29887 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 152116 KiB
Current children cumulated memory: 114572 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.54 1.15 5/248 301423
/proc/meminfo: memFree=123484812/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=198616 memory=140092 CPUtime=281.25 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 21972 0 0 0 27736 389 0 0 20 0 1 0 42473669 203382784 35023 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 49654 35023 1921 992 0 41512 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 198616 KiB
Current children cumulated memory: 140092 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 2.81 1.33 5/245 301815
/proc/meminfo: memFree=123170772/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=216604 memory=170392 CPUtime=341.03 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 25558 0 0 0 33681 422 0 0 20 0 1 0 42473669 221802496 42598 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 54151 42598 1921 992 0 46009 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 216604 KiB
Current children cumulated memory: 170392 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.08 1.51 5/245 301826
/proc/meminfo: memFree=122923584/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=216604 memory=170392 CPUtime=400.82 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 25602 0 0 0 39625 457 0 0 20 0 1 0 42473669 221802496 42598 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 54151 42598 1921 992 0 46009 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 216604 KiB
Current children cumulated memory: 170392 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.26 1.68 5/245 301836
/proc/meminfo: memFree=122667680/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=216604 memory=170748 CPUtime=460.61 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 25734 0 0 0 45546 515 0 0 20 0 1 0 42473669 221802496 42687 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 54151 42687 1921 992 0 46009 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.03 5/245 303131
/proc/meminfo: memFree=116222260/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=473824 memory=370880 CPUtime=3211.08 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 53761 0 0 0 319364 1744 0 0 20 0 1 0 42473669 485195776 92720 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 118456 92720 1921 992 0 110314 0
Current children cumulated CPU time: 3211.08 s
Current children cumulated vsize: 473824 KiB
Current children cumulated memory: 370880 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.04 5/245 303143
/proc/meminfo: memFree=116114384/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=475616 memory=371500 CPUtime=3270.89 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 54116 0 0 0 325332 1757 0 0 20 0 1 0 42473669 487030784 92875 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 118904 92875 1921 992 0 110762 0
Current children cumulated CPU time: 3270.89 s
Current children cumulated vsize: 475616 KiB
Current children cumulated memory: 371500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/244 303153
/proc/meminfo: memFree=116006312/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=477008 memory=372668 CPUtime=3330.69 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 54844 0 0 0 331289 1780 0 0 20 0 1 0 42473669 488456192 93167 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119252 93167 1921 992 0 111110 0
Current children cumulated CPU time: 3330.69 s
Current children cumulated vsize: 477008 KiB
Current children cumulated memory: 372668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/244 303163
/proc/meminfo: memFree=115873304/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=477736 memory=373328 CPUtime=3390.49 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 55141 0 0 0 337240 1809 0 0 20 0 1 0 42473669 489201664 93332 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119434 93332 1921 992 0 111292 0
Current children cumulated CPU time: 3390.49 s
Current children cumulated vsize: 477736 KiB
Current children cumulated memory: 373328 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.04 5/244 303173
/proc/meminfo: memFree=115762588/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=477736 memory=373328 CPUtime=3450.3 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 55292 0 0 0 343189 1841 0 0 20 0 1 0 42473669 489201664 93332 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119434 93332 1921 992 0 111292 0
Current children cumulated CPU time: 3450.3 s
Current children cumulated vsize: 477736 KiB
Current children cumulated memory: 373328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/243 303185
/proc/meminfo: memFree=115655548/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=477736 memory=373328 CPUtime=3510.1 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 55443 0 0 0 349142 1868 0 0 20 0 1 0 42473669 489201664 93332 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119434 93332 1921 992 0 111292 0
Current children cumulated CPU time: 3510.1 s
Current children cumulated vsize: 477736 KiB
Current children cumulated memory: 373328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/243 303195
/proc/meminfo: memFree=115565752/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=478680 memory=373880 CPUtime=3569.9 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 55740 0 0 0 355105 1885 0 0 20 0 1 0 42473669 490168320 93470 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119670 93470 1921 992 0 111528 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 373880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.04 4.10 4.04 2/245 303206
/proc/meminfo: memFree=115521856/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) R 301349 301355 301296 0 -1 4194304 55924 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.04 4.10 4.04 3/238 303237
/proc/meminfo: memFree=116351780/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 256 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
??? kill 301355 sig 9
??? end of watcher thread
[startup+3615.15 s]
# the end of solver process 301355 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.04 s, system=18.9735 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.04 4.10 4.04 2/245 303206
/proc/meminfo: memFree=115521856/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
[startup+3613.6 s]
/proc/loadavg: 4.04 4.10 4.04 1/244 303206
/proc/meminfo: memFree=115521588/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
[startup+3614 s]*
/proc/loadavg: 4.04 4.10 4.04 3/242 303210
/proc/meminfo: memFree=115950584/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
[startup+3614.4 s]
/proc/loadavg: 4.04 4.10 4.04 3/242 303210
/proc/meminfo: memFree=115950584/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
[startup+3614.5 s]
/proc/loadavg: 4.04 4.10 4.04 3/242 303210
/proc/meminfo: memFree=115950584/131655788 swapFree=131058856/131071996
[pid=301355] ppid=301349 vsize=479624 memory=374468 CPUtime=3600 cores=0,2
/proc/301355/stat : 301355 (roundingsat) D 301349 301355 301296 0 -1 4194304 55933 0 0 0 358104 1896 0 0 20 0 1 0 42473669 491134976 93617 134679101440 4194304 8254357 140736215746576 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25456640 140736215749467 140736215749729 140736215749729 140736215756745 0
/proc/301355/statm: 119906 93617 1921 992 0 111764 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 479624 KiB
Current children cumulated memory: 374468 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.15
CPU time (s): 3600.02
CPU user time (s): 3581.04
CPU system time (s): 18.9735
CPU usage (%): 99.5813
Max. virtual memory (cumulated for all children) (KiB): 479624
Max. memory (cumulated for all children) (KiB): 374468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.04
system time used= 18.9735
maximum resident set size= 374920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4189896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308
involuntary context switches= 25498
# summary of solver processes directly reported to runsolver:
# pid: 301355
# total CPU time (s): 3600.02
# total CPU user time (s): 3581.04
# total CPU system time (s): 18.9735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8965 second user time and 37.77 second system time
The end
Begin job on nodeC009 at 2024-07-27 09:20:38 IDJOB=4460165 IDBENCH=147540 IDSOLVER=3086 FILE ID=nodeC009/4460165-1722064837 RUNJOBID= nodeC009-1722064837-301306 SLURM_JOB_ID= 8248111 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460165-1722064837/watcher-4460165-1722064837 -o /tmp/evaluation-result-4460165-1722064837/solver-4460165-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301306 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460165-1722064837 --lp-cut-gomory=0 HOME/instance-4460165-1722064837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc RANDOM SEED=1191205797 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.271 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.96 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.274 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.36 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.286 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.96 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.265 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.36 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.268 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.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 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.36 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.281 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.96 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.265 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125951944 kB MemAvailable: 129855528 kB Buffers: 381732 kB Cached: 4268484 kB SwapCached: 4924 kB Active: 1916368 kB Inactive: 3063520 kB Active(anon): 1512 kB Inactive(anon): 381652 kB Active(file): 1914856 kB Inactive(file): 2681868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22520 kB Writeback: 0 kB AnonPages: 323984 kB Mapped: 92312 kB Shmem: 53492 kB KReclaimable: 294120 kB Slab: 406344 kB SReclaimable: 294120 kB SUnreclaim: 112224 kB KernelStack: 3664 kB PageTables: 9720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 728496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723760 MiB End job on nodeC009 at 2024-07-27 10:20:53