| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 184 | 3600.08 | 3614.53 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
| MD5SUM | 8940813d27fb075f4739eb458e093f9a |
| 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.01 |
| 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 | 467 |
| Total number of constraints | 466 |
| 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 | 466 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 467 |
| 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 | 467 |
| 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 | 467 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.41 c #variables 467 #constraints 466 0.60/1.09 c bounds - >= 0 @ 0.008228 0.60/1.09 c bounds 216 >= 0 @ 0.382576 0.60/1.09 c bounds 216 >= 1 @ 0.382782 0.60/1.09 c bounds 216 >= 2 @ 0.382943 0.60/1.09 c bounds 216 >= 3 @ 0.383113 0.60/1.09 c bounds 216 >= 4 @ 0.383279 0.60/1.09 c bounds 216 >= 5 @ 0.383459 0.60/1.09 c bounds 216 >= 6 @ 0.383637 0.60/1.09 c bounds 216 >= 7 @ 0.383826 0.60/1.09 c bounds 216 >= 8 @ 0.384023 0.60/1.09 c bounds 216 >= 9 @ 0.384213 0.60/1.09 c bounds 216 >= 10 @ 0.384397 0.60/1.09 c bounds 216 >= 11 @ 0.384596 0.60/1.09 c bounds 216 >= 12 @ 0.384804 0.60/1.09 c bounds 216 >= 13 @ 0.385022 0.60/1.09 c bounds 216 >= 14 @ 0.385241 0.60/1.09 c bounds 216 >= 15 @ 0.385462 0.60/1.09 c bounds 216 >= 16 @ 0.385675 0.60/1.09 c bounds 216 >= 17 @ 0.385769 0.60/1.09 c bounds 216 >= 18 @ 0.385769 0.60/1.09 c bounds 216 >= 19 @ 0.385769 0.60/1.09 c bounds 216 >= 20 @ 0.385769 0.60/1.09 c bounds 216 >= 21 @ 0.385772 0.60/1.09 c bounds 216 >= 22 @ 0.385772 0.60/1.09 c bounds 215 >= 22 @ 0.433041 0.60/1.09 c bounds 215 >= 23 @ 0.433336 0.60/1.09 c bounds 215 >= 24 @ 0.433604 0.60/1.09 c bounds 215 >= 25 @ 0.433875 0.60/1.09 c bounds 215 >= 26 @ 0.43414 0.60/1.09 c bounds 215 >= 27 @ 0.434402 0.60/1.09 c bounds 215 >= 28 @ 0.4345 0.60/1.09 c bounds 215 >= 29 @ 0.4345 0.60/1.09 c bounds 215 >= 30 @ 0.4345 0.60/1.09 c bounds 215 >= 31 @ 0.434502 0.60/1.09 c bounds 215 >= 32 @ 0.434502 0.60/1.09 c bounds 215 >= 33 @ 0.434502 0.60/1.09 c bounds 215 >= 34 @ 0.434502 0.60/1.09 c bounds 215 >= 35 @ 0.434504 0.60/1.09 c bounds 215 >= 36 @ 0.434504 0.60/1.09 c bounds 215 >= 37 @ 0.434504 0.60/1.09 c bounds 215 >= 38 @ 0.434504 0.60/1.09 c bounds 215 >= 39 @ 0.434506 0.60/1.09 c bounds 215 >= 40 @ 0.434506 0.60/1.09 c bounds 215 >= 41 @ 0.434506 0.60/1.09 c bounds 215 >= 42 @ 0.434556 0.60/1.09 c bounds 215 >= 43 @ 0.434824 0.60/1.09 c bounds 215 >= 44 @ 0.435206 0.60/1.09 c bounds 215 >= 45 @ 0.435467 0.60/1.09 c bounds 215 >= 46 @ 0.435467 0.60/1.09 c bounds 215 >= 47 @ 0.43559 0.60/1.09 c bounds 215 >= 48 @ 0.435909 0.60/1.09 c bounds 215 >= 49 @ 0.436236 0.60/1.09 c bounds 215 >= 50 @ 0.436591 0.60/1.09 c bounds 215 >= 51 @ 0.436926 0.60/1.09 c bounds 215 >= 52 @ 0.437251 0.60/1.09 c bounds 215 >= 53 @ 0.437494 0.60/1.09 c bounds 215 >= 54 @ 0.437494 0.60/1.09 c bounds 215 >= 55 @ 0.437494 0.60/1.09 c bounds 215 >= 56 @ 0.437621 0.60/1.09 c bounds 215 >= 57 @ 0.437972 0.60/1.09 c bounds 215 >= 58 @ 0.438313 0.60/1.09 c bounds 215 >= 59 @ 0.438671 0.60/1.09 c bounds 215 >= 60 @ 0.439018 0.60/1.09 c bounds 215 >= 61 @ 0.439355 0.60/1.09 c bounds 215 >= 62 @ 0.439485 0.60/1.09 c bounds 215 >= 63 @ 0.439485 0.60/1.09 c bounds 215 >= 64 @ 0.439485 0.60/1.09 c bounds 215 >= 65 @ 0.439489 0.60/1.09 c bounds 215 >= 66 @ 0.439489 0.60/1.09 c bounds 215 >= 67 @ 0.439489 0.60/1.09 c bounds 215 >= 68 @ 0.439489 0.60/1.09 c bounds 215 >= 69 @ 0.439489 0.60/1.09 c bounds 215 >= 70 @ 0.439558 0.60/1.09 c bounds 215 >= 71 @ 0.439904 0.60/1.09 c bounds 215 >= 72 @ 0.440257 0.60/1.09 c bounds 215 >= 73 @ 0.440597 0.60/1.09 c bounds 215 >= 74 @ 0.440919 0.60/1.09 c bounds 215 >= 75 @ 0.441233 0.60/1.09 c bounds 215 >= 76 @ 0.441471 0.60/1.09 c bounds 215 >= 77 @ 0.441471 0.60/1.09 c bounds 215 >= 78 @ 0.441471 0.60/1.09 c bounds 215 >= 79 @ 0.441542 0.60/1.09 c bounds 215 >= 80 @ 0.441881 0.60/1.09 c bounds 215 >= 81 @ 0.4422 0.60/1.09 c bounds 215 >= 82 @ 0.442545 0.60/1.09 c bounds 215 >= 83 @ 0.442912 0.60/1.09 c bounds 215 >= 84 @ 0.443252 0.60/1.09 c bounds 215 >= 85 @ 0.443589 0.60/1.09 c bounds 215 >= 86 @ 0.443965 0.60/1.09 c bounds 215 >= 87 @ 0.444324 0.60/1.09 c bounds 215 >= 88 @ 0.444453 0.60/1.09 c bounds 215 >= 89 @ 0.444453 0.60/1.09 c bounds 215 >= 90 @ 0.444453 0.60/1.09 c bounds 215 >= 91 @ 0.444457 0.60/1.09 c bounds 215 >= 92 @ 0.444457 0.60/1.09 c bounds 215 >= 93 @ 0.444458 0.60/1.09 c bounds 215 >= 94 @ 0.444458 0.60/1.09 c bounds 215 >= 95 @ 0.444458 0.60/1.09 c bounds 215 >= 96 @ 0.44446 0.60/1.09 c bounds 215 >= 97 @ 0.44446 0.60/1.09 c bounds 215 >= 98 @ 0.44446 0.60/1.09 c bounds 215 >= 99 @ 0.444619 0.60/1.09 c bounds 215 >= 100 @ 0.444949 0.60/1.09 c bounds 215 >= 101 @ 0.445272 0.60/1.09 c bounds 215 >= 102 @ 0.445452 0.60/1.09 c bounds 215 >= 103 @ 0.445452 0.60/1.09 c bounds 215 >= 104 @ 0.445452 0.60/1.09 c bounds 215 >= 105 @ 0.445457 0.60/1.09 c bounds 215 >= 106 @ 0.445457 0.60/1.09 c bounds 215 >= 107 @ 0.445457 0.60/1.09 c bounds 215 >= 108 @ 0.445719 0.60/1.09 c bounds 215 >= 109 @ 0.446062 0.60/1.09 c bounds 215 >= 110 @ 0.446456 0.60/1.09 c bounds 215 >= 111 @ 0.446456 0.60/1.09 c bounds 215 >= 112 @ 0.446456 0.60/1.09 c bounds 215 >= 113 @ 0.446457 0.60/1.09 c bounds 215 >= 114 @ 0.446457 0.60/1.09 c bounds 215 >= 115 @ 0.446608 0.60/1.09 c bounds 215 >= 116 @ 0.447065 0.60/1.09 c bounds 215 >= 117 @ 0.447543 0.60/1.09 c bounds 215 >= 118 @ 0.448042 0.60/1.09 c bounds 215 >= 119 @ 0.448464 0.60/1.09 c bounds 215 >= 120 @ 0.449036 0.60/1.09 c bounds 215 >= 121 @ 0.449606 0.60/1.09 c bounds 215 >= 122 @ 0.450434 0.60/1.09 c bounds 215 >= 123 @ 0.450434 0.60/1.09 c bounds 215 >= 124 @ 0.450656 0.60/1.09 c bounds 215 >= 125 @ 0.451318 0.60/1.09 c bounds 215 >= 126 @ 0.451429 0.60/1.09 c bounds 215 >= 127 @ 0.451432 0.60/1.09 c bounds 215 >= 128 @ 0.452542 0.60/1.09 c bounds 215 >= 129 @ 0.455381 0.60/1.09 c bounds 215 >= 130 @ 0.457397 0.60/1.09 c bounds 215 >= 131 @ 0.469306 0.60/1.09 c bounds 215 >= 132 @ 0.50314 0.60/1.09 c bounds 214 >= 132 @ 0.543564 0.60/1.09 c bounds 214 >= 133 @ 0.611324 1.88/2.38 c bounds 213 >= 133 @ 0.615728 1.88/2.38 c bounds 212 >= 133 @ 0.618267 1.88/2.38 c bounds 211 >= 133 @ 0.629266 1.88/2.38 c bounds 210 >= 133 @ 0.637022 1.88/2.38 c bounds 209 >= 133 @ 0.664323 1.88/2.38 c #Conflicts: 1000 | #Constraints: 2045 1.88/2.38 c bounds 208 >= 133 @ 0.749762 1.88/2.38 c #Conflicts: 2000 | #Constraints: 3046 1.88/2.38 c INPROCESSING 1.88/2.38 c GARBAGE COLLECT 1.88/2.38 c rational objective 138.086 3.77/4.24 c bounds 207 >= 133 @ 1.83426 3.77/4.24 c bounds 206 >= 133 @ 1.83813 3.77/4.24 c bounds 205 >= 133 @ 1.84626 3.77/4.24 c bounds 204 >= 133 @ 1.86246 3.77/4.24 c #Conflicts: 3000 | #Constraints: 3102 3.77/4.24 c #Conflicts: 4000 | #Constraints: 4102 3.77/4.24 c INPROCESSING 3.77/4.24 c GARBAGE COLLECT 3.77/4.24 c bounds 204 >= 134 @ 2.36933 3.77/4.24 c #Conflicts: 5000 | #Constraints: 3559 3.77/4.24 c bounds 204 >= 135 @ 2.61753 3.77/4.24 c #Conflicts: 6000 | #Constraints: 4591 3.77/4.24 c INPROCESSING 3.77/4.24 c GARBAGE COLLECT 3.77/4.24 c rational objective 138.086 5.86/6.32 c bounds 203 >= 135 @ 3.60348 5.86/6.32 c #Conflicts: 7000 | #Constraints: 3634 5.86/6.32 c bounds 202 >= 135 @ 3.76293 5.86/6.32 c bounds 201 >= 135 @ 3.80747 5.86/6.32 c #Conflicts: 8000 | #Constraints: 4636 5.86/6.32 c bounds 200 >= 135 @ 3.95701 5.86/6.32 c #Conflicts: 9000 | #Constraints: 5637 5.86/6.32 c INPROCESSING 5.86/6.32 c GARBAGE COLLECT 5.86/6.32 c #Conflicts: 10000 | #Constraints: 4303 5.86/6.32 c #Conflicts: 11000 | #Constraints: 5303 5.86/6.32 c bounds 200 >= 136 @ 4.68666 5.86/6.32 c bounds 199 >= 136 @ 4.69817 5.86/6.32 c #Conflicts: 12000 | #Constraints: 6366 5.86/6.32 c INPROCESSING 5.86/6.32 c GARBAGE COLLECT 5.86/6.32 c rational objective 138.086 14.55/15.09 c #Conflicts: 13000 | #Constraints: 4808 14.55/15.09 c #Conflicts: 14000 | #Constraints: 5808 14.55/15.09 c #Conflicts: 15000 | #Constraints: 6808 14.55/15.09 c INPROCESSING 14.55/15.09 c GARBAGE COLLECT 14.55/15.09 c bounds 198 >= 136 @ 6.65936 14.55/15.09 c bounds 197 >= 136 @ 6.78605 14.55/15.09 c bounds 196 >= 136 @ 6.82458 14.55/15.09 c #Conflicts: 16000 | #Constraints: 5084 14.55/15.09 c #Conflicts: 17000 | #Constraints: 6084 14.55/15.09 c #Conflicts: 18000 | #Constraints: 7084 14.55/15.09 c #Conflicts: 19000 | #Constraints: 8084 14.55/15.09 c bounds 195 >= 136 @ 8.45595 14.55/15.09 c #Conflicts: 20000 | #Constraints: 9085 14.55/15.09 c bounds 195 >= 137 @ 9.73829 14.55/15.09 c #Conflicts: 21000 | #Constraints: 10126 14.55/15.09 c #Conflicts: 22000 | #Constraints: 11126 14.55/15.09 c #Conflicts: 23000 | #Constraints: 12126 14.55/15.09 c #Conflicts: 24000 | #Constraints: 13126 14.55/15.09 c INPROCESSING 14.55/15.09 c GARBAGE COLLECT 14.55/15.09 c rational objective 138.086 16.54/17.05 c bounds 194 >= 137 @ 14.1024 16.54/17.05 c #Conflicts: 25000 | #Constraints: 8023 16.54/17.05 c #Conflicts: 26000 | #Constraints: 9023 16.54/17.05 c #Conflicts: 27000 | #Constraints: 10023 16.54/17.05 c #Conflicts: 28000 | #Constraints: 11023 16.54/17.05 c INPROCESSING 16.54/17.05 c GARBAGE COLLECT 16.54/17.05 c rational objective 138.086 18.64/19.13 c #Conflicts: 29000 | #Constraints: 6764 18.64/19.13 c bounds 193 >= 137 @ 16.0886 18.64/19.13 c #Conflicts: 30000 | #Constraints: 7765 18.64/19.13 c #Conflicts: 31000 | #Constraints: 8765 18.64/19.13 c bounds 192 >= 137 @ 17.021 18.64/19.13 c #Conflicts: 32000 | #Constraints: 9766 18.64/19.13 c #Conflicts: 33000 | #Constraints: 10766 18.64/19.13 c INPROCESSING 18.64/19.13 c GARBAGE COLLECT 18.64/19.13 c rational objective 138.086 20.53/21.07 c #Conflicts: 34000 | #Constraints: 6888 20.53/21.07 c #Conflicts: 35000 | #Constraints: 7888 20.53/21.07 c #Conflicts: 36000 | #Constraints: 8888 20.53/21.07 c #Conflicts: 37000 | #Constraints: 9888 20.53/21.07 c #Conflicts: 38000 | #Constraints: 10888 20.53/21.07 c INPROCESSING 20.53/21.07 c GARBAGE COLLECT 20.53/21.07 c rational objective 138.086 23.91/24.45 c #Conflicts: 39000 | #Constraints: 7112 23.91/24.45 c #Conflicts: 40000 | #Constraints: 8112 23.91/24.45 c #Conflicts: 41000 | #Constraints: 9112 23.91/24.45 c #Conflicts: 42000 | #Constraints: 10112 23.91/24.45 c INPROCESSING 23.91/24.45 c GARBAGE COLLECT 23.91/24.45 c rational objective 138.086 41.15/41.70 c #Conflicts: 43000 | #Constraints: 6268 41.15/41.70 c bounds 191 >= 137 @ 23.5546 41.15/41.70 c #Conflicts: 44000 | #Constraints: 7269 41.15/41.70 c #Conflicts: 45000 | #Constraints: 8269 41.15/41.70 c bounds 190 >= 137 @ 24.7906 41.15/41.70 c #Conflicts: 46000 | #Constraints: 9270 41.15/41.70 c #Conflicts: 47000 | #Constraints: 10270 41.15/41.70 c #Conflicts: 48000 | #Constraints: 11270 41.15/41.70 c #Conflicts: 49000 | #Constraints: 12270 41.15/41.70 c #Conflicts: 50000 | #Constraints: 13270 41.15/41.70 c #Conflicts: 51000 | #Constraints: 14270 41.15/41.70 c #Conflicts: 52000 | #Constraints: 15270 41.15/41.70 c #Conflicts: 53000 | #Constraints: 16270 41.15/41.70 c #Conflicts: 54000 | #Constraints: 17270 41.15/41.70 c #Conflicts: 55000 | #Constraints: 18270 41.15/41.70 c bounds 190 >= 138 @ 36.1486 41.15/41.70 c bounds 189 >= 138 @ 36.1802 41.15/41.70 c #Conflicts: 56000 | #Constraints: 19312 41.15/41.70 c #Conflicts: 57000 | #Constraints: 20313 41.15/41.70 c bounds 188 >= 138 @ 38.9383 41.15/41.70 c #Conflicts: 58000 | #Constraints: 21314 41.15/41.70 c INPROCESSING 41.15/41.70 c GARBAGE COLLECT 41.15/41.70 c rational objective 138.086 46.64/47.21 c #Conflicts: 59000 | #Constraints: 11924 46.64/47.21 c #Conflicts: 60000 | #Constraints: 12924 46.64/47.21 c #Conflicts: 61000 | #Constraints: 13924 46.64/47.21 c #Conflicts: 62000 | #Constraints: 14924 46.64/47.21 c #Conflicts: 63000 | #Constraints: 15924 46.64/47.21 c #Conflicts: 64000 | #Constraints: 16924 46.64/47.21 c #Conflicts: 65000 | #Constraints: 17924 46.64/47.21 c INPROCESSING 46.64/47.21 c GARBAGE COLLECT 46.64/47.21 c rational objective 138.086 50.92/51.50 c #Conflicts: 66000 | #Constraints: 10629 50.92/51.50 c #Conflicts: 67000 | #Constraints: 11629 50.92/51.50 c #Conflicts: 68000 | #Constraints: 12629 50.92/51.50 c #Conflicts: 69000 | #Constraints: 13629 50.92/51.50 c #Conflicts: 70000 | #Constraints: 14629 50.92/51.50 c #Conflicts: 71000 | #Constraints: 15629 50.92/51.50 c INPROCESSING 50.92/51.50 c GARBAGE COLLECT 50.92/51.50 c rational objective 138.086 56.80/57.43 c #Conflicts: 72000 | #Constraints: 9293 56.80/57.43 c #Conflicts: 73000 | #Constraints: 10293 56.80/57.43 c #Conflicts: 74000 | #Constraints: 11293 56.80/57.43 c #Conflicts: 75000 | #Constraints: 12293 56.80/57.43 c #Conflicts: 76000 | #Constraints: 13293 56.80/57.43 c #Conflicts: 77000 | #Constraints: 14293 56.80/57.43 c #Conflicts: 78000 | #Constraints: 15293 56.80/57.43 c INPROCESSING 56.80/57.43 c GARBAGE COLLECT 56.80/57.43 c rational objective 138.086 81.90/82.62 c #Conflicts: 79000 | #Constraints: 9392 81.90/82.62 c #Conflicts: 80000 | #Constraints: 10392 81.90/82.62 c #Conflicts: 81000 | #Constraints: 11392 81.90/82.62 c #Conflicts: 82000 | #Constraints: 12392 81.90/82.62 c #Conflicts: 83000 | #Constraints: 13392 81.90/82.62 c #Conflicts: 84000 | #Constraints: 14392 81.90/82.62 c #Conflicts: 85000 | #Constraints: 15392 81.90/82.62 c #Conflicts: 86000 | #Constraints: 16392 81.90/82.62 c #Conflicts: 87000 | #Constraints: 17392 81.90/82.62 c #Conflicts: 88000 | #Constraints: 18392 81.90/82.62 c #Conflicts: 89000 | #Constraints: 19392 81.90/82.62 c #Conflicts: 90000 | #Constraints: 20392 81.90/82.62 c #Conflicts: 91000 | #Constraints: 21392 81.90/82.62 c #Conflicts: 92000 | #Constraints: 22392 81.90/82.62 c #Conflicts: 93000 | #Constraints: 23392 81.90/82.62 c #Conflicts: 94000 | #Constraints: 24392 81.90/82.62 c #Conflicts: 95000 | #Constraints: 25392 81.90/82.62 c #Conflicts: 96000 | #Constraints: 26392 81.90/82.62 c #Conflicts: 97000 | #Constraints: 27392 81.90/82.62 c #Conflicts: 98000 | #Constraints: 28392 81.90/82.62 c #Conflicts: 99000 | #Constraints: 29392 81.90/82.62 c INPROCESSING 81.90/82.62 c GARBAGE COLLECT 81.90/82.62 c rational objective 138.086 101.25/102.07 c #Conflicts: 100000 | #Constraints: 16280 101.25/102.07 c #Conflicts: 101000 | #Constraints: 17280 101.25/102.07 c #Conflicts: 102000 | #Constraints: 18280 101.25/102.07 c #Conflicts: 103000 | #Constraints: 19280 101.25/102.07 c #Conflicts: 104000 | #Constraints: 20280 101.25/102.07 c #Conflicts: 105000 | #Constraints: 21280 101.25/102.07 c #Conflicts: 106000 | #Constraints: 22280 101.25/102.07 c #Conflicts: 107000 | #Constraints: 23280 101.25/102.07 c INPROCESSING 101.25/102.07 c GARBAGE COLLECT 101.25/102.07 c rational objective 138.086 112.31/113.11 c #Conflicts: 108000 | #Constraints: 13336 112.31/113.11 c #Conflicts: 109000 | #Constraints: 14336 112.31/113.11 c #Conflicts: 110000 | #Constraints: 15336 112.31/113.11 c #Conflicts: 111000 | #Constraints: 16336 112.31/113.11 c #Conflicts: 112000 | #Constraints: 17336 112.31/113.11 c #Conflicts: 113000 | #Constraints: 18336 112.31/113.11 c #Conflicts: 114000 | #Constraints: 19336 112.31/113.11 c #Conflicts: 115000 | #Constraints: 20336 112.31/113.11 c INPROCESSING 112.31/113.11 c GARBAGE COLLECT 112.31/113.11 c rational objective 138.086 152.66/153.64 c #Conflicts: 116000 | #Constraints: 11805 152.66/153.64 c #Conflicts: 117000 | #Constraints: 12805 152.66/153.64 c #Conflicts: 118000 | #Constraints: 13805 152.66/153.64 c #Conflicts: 119000 | #Constraints: 14805 152.66/153.64 c #Conflicts: 120000 | #Constraints: 15805 152.66/153.64 c #Conflicts: 121000 | #Constraints: 16805 152.66/153.64 c #Conflicts: 122000 | #Constraints: 17805 152.66/153.64 c #Conflicts: 123000 | #Constraints: 18805 152.66/153.64 c #Conflicts: 124000 | #Constraints: 19805 152.66/153.64 c #Conflicts: 125000 | #Constraints: 20805 152.66/153.64 c #Conflicts: 126000 | #Constraints: 21805 152.66/153.64 c #Conflicts: 127000 | #Constraints: 22805 152.66/153.64 c #Conflicts: 128000 | #Constraints: 23805 152.66/153.64 c #Conflicts: 129000 | #Constraints: 24805 152.66/153.64 c #Conflicts: 130000 | #Constraints: 25805 152.66/153.64 c #Conflicts: 131000 | #Constraints: 26805 152.66/153.64 c #Conflicts: 132000 | #Constraints: 27805 152.66/153.64 c bounds 188 >= 139 @ 140.006 152.66/153.64 c #Conflicts: 133000 | #Constraints: 28843 152.66/153.64 c #Conflicts: 134000 | #Constraints: 29843 152.66/153.64 c #Conflicts: 135000 | #Constraints: 30843 152.66/153.64 c #Conflicts: 136000 | #Constraints: 31843 152.66/153.64 c #Conflicts: 137000 | #Constraints: 32843 152.66/153.64 c #Conflicts: 138000 | #Constraints: 33843 152.66/153.64 c #Conflicts: 139000 | #Constraints: 34843 152.66/153.64 c #Conflicts: 140000 | #Constraints: 35843 152.66/153.64 c INPROCESSING 152.66/153.64 c GARBAGE COLLECT 152.66/153.64 c rational objective 138.086 165.61/166.69 c #Conflicts: 141000 | #Constraints: 19323 165.61/166.69 c #Conflicts: 142000 | #Constraints: 20323 165.61/166.69 c #Conflicts: 143000 | #Constraints: 21323 165.61/166.69 c #Conflicts: 144000 | #Constraints: 22323 165.61/166.69 c #Conflicts: 145000 | #Constraints: 23323 165.61/166.69 c #Conflicts: 146000 | #Constraints: 24323 165.61/166.69 c #Conflicts: 147000 | #Constraints: 25323 165.61/166.69 c #Conflicts: 148000 | #Constraints: 26323 165.61/166.69 c #Conflicts: 149000 | #Constraints: 27323 165.61/166.69 c #Conflicts: 150000 | #Constraints: 28323 165.61/166.69 c INPROCESSING 165.61/166.69 c GARBAGE COLLECT 165.61/166.69 c rational objective 138.086 176.78/177.87 c #Conflicts: 151000 | #Constraints: 15858 176.78/177.87 c #Conflicts: 152000 | #Constraints: 16858 176.78/177.87 c #Conflicts: 153000 | #Constraints: 17858 176.78/177.87 c #Conflicts: 154000 | #Constraints: 18859 176.78/177.87 c #Conflicts: 155000 | #Constraints: 19859 176.78/177.87 c #Conflicts: 156000 | #Constraints: 20859 176.78/177.87 c #Conflicts: 157000 | #Constraints: 21859 176.78/177.87 c #Conflicts: 158000 | #Constraints: 22859 176.78/177.87 c #Conflicts: 159000 | #Constraints: 23859 176.78/177.87 c INPROCESSING 176.78/177.87 c GARBAGE COLLECT 176.78/177.87 c rational objective 138.086 245.75/247.08 c #Conflicts: 160000 | #Constraints: 13328 245.75/247.08 c #Conflicts: 161000 | #Constraints: 14328 245.75/247.08 c #Conflicts: 162000 | #Constraints: 15328 245.75/247.08 c #Conflicts: 163000 | #Constraints: 16328 245.75/247.08 c #Conflicts: 164000 | #Constraints: 17328 245.75/247.08 c #Conflicts: 165000 | #Constraints: 18328 245.75/247.08 c #Conflicts: 166000 | #Constraints: 19328 245.75/247.08 c #Conflicts: 167000 | #Constraints: 20328 245.75/247.08 c #Conflicts: 168000 | #Constraints: 21328 245.75/247.08 c #Conflicts: 169000 | #Constraints: 22328 245.75/247.08 c #Conflicts: 170000 | #Constraints: 23328 245.75/247.08 c #Conflicts: 171000 | #Constraints: 24328 245.75/247.08 c #Conflicts: 172000 | #Constraints: 25328 245.75/247.08 c #Conflicts: 173000 | #Constraints: 26328 245.75/247.08 c #Conflicts: 174000 | #Constraints: 27328 245.75/247.08 c #Conflicts: 175000 | #Constraints: 28328 245.75/247.08 c #Conflicts: 176000 | #Constraints: 29328 245.75/247.08 c #Conflicts: 177000 | #Constraints: 30328 245.75/247.08 c #Conflicts: 178000 | #Constraints: 31328 245.75/247.08 c #Conflicts: 179000 | #Constraints: 32328 245.75/247.08 c #Conflicts: 180000 | #Constraints: 33328 245.75/247.08 c #Conflicts: 181000 | #Constraints: 34328 245.75/247.08 c #Conflicts: 182000 | #Constraints: 35328 245.75/247.08 c #Conflicts: 183000 | #Constraints: 36328 245.75/247.08 c #Conflicts: 184000 | #Constraints: 37328 245.75/247.08 c #Conflicts: 185000 | #Constraints: 38328 245.75/247.08 c #Conflicts: 186000 | #Constraints: 39328 245.75/247.08 c #Conflicts: 187000 | #Constraints: 40328 245.75/247.08 c #Conflicts: 188000 | #Constraints: 41328 245.75/247.08 c #Conflicts: 189000 | #Constraints: 42328 245.75/247.08 c INPROCESSING 245.75/247.08 c GARBAGE COLLECT 245.75/247.08 c rational objective 138.086 259.38/260.75 c #Conflicts: 190000 | #Constraints: 22831 259.38/260.75 c #Conflicts: 191000 | #Constraints: 23831 259.38/260.75 c #Conflicts: 192000 | #Constraints: 24831 259.38/260.75 c #Conflicts: 193000 | #Constraints: 25831 259.38/260.75 c #Conflicts: 194000 | #Constraints: 26831 259.38/260.75 c #Conflicts: 195000 | #Constraints: 27831 259.38/260.75 c #Conflicts: 196000 | #Constraints: 28831 259.38/260.75 c #Conflicts: 197000 | #Constraints: 29831 259.38/260.75 c #Conflicts: 198000 | #Constraints: 30831 259.38/260.75 c #Conflicts: 199000 | #Constraints: 31831 259.38/260.75 c #Conflicts: 200000 | #Constraints: 32831 259.38/260.75 c INPROCESSING 259.38/260.75 c GARBAGE COLLECT 259.38/260.75 c rational objective 138.086 444.72/446.79 c #Conflicts: 201000 | #Constraints: 18072 444.72/446.79 c #Conflicts: 202000 | #Constraints: 19072 444.72/446.79 c #Conflicts: 203000 | #Constraints: 20072 444.72/446.79 c #Conflicts: 204000 | #Constraints: 21072 444.72/446.79 c #Conflicts: 205000 | #Constraints: 22072 444.72/446.79 c #Conflicts: 206000 | #Constraints: 23072 444.72/446.79 c #Conflicts: 207000 | #Constraints: 24072 444.72/446.79 c #Conflicts: 208000 | #Constraints: 25072 444.72/446.79 c #Conflicts: 209000 | #Constraints: 26072 444.72/446.79 c #Conflicts: 210000 | #Constraints: 27072 444.72/446.79 c #Conflicts: 211000 | #Constraints: 28072 444.72/446.79 c #Conflicts: 212000 | #Constraints: 29072 444.72/446.79 c #Conflicts: 213000 | #Constraints: 30072 444.72/446.79 c #Conflicts: 214000 | #Constraints: 31072 444.72/446.79 c #Conflicts: 215000 | #Constraints: 32072 444.72/446.79 c #Conflicts: 216000 | #Constraints: 33072 444.72/446.79 c #Conflicts: 217000 | #Constraints: 34072 444.72/446.79 c #Conflicts: 218000 | #Constraints: 35072 444.72/446.79 c #Conflicts: 219000 | #Constraints: 36072 444.72/446.79 c #Conflicts: 220000 | #Constraints: 37072 444.72/446.80 c #Conflicts: 221000 | #Constraints: 38072 444.72/446.80 c #Conflicts: 222000 | #Constraints: 39072 444.72/446.80 c #Conflicts: 223000 | #Constraints: 40072 444.72/446.80 c #Conflicts: 224000 | #Constraints: 41072 444.72/446.80 c #Conflicts: 225000 | #Constraints: 42072 444.72/446.80 c #Conflicts: 226000 | #Constraints: 43072 444.72/446.80 c #Conflicts: 227000 | #Constraints: 44072 444.72/446.80 c #Conflicts: 228000 | #Constraints: 45072 444.72/446.80 c #Conflicts: 229000 | #Constraints: 46072 444.72/446.80 c #Conflicts: 230000 | #Constraints: 47072 444.72/446.80 c #Conflicts: 231000 | #Constraints: 48072 444.72/446.80 c #Conflicts: 232000 | #Constraints: 49072 444.72/446.80 c bounds 187 >= 139 @ 437.593 444.72/446.80 c INPROCESSING 444.72/446.80 c GARBAGE COLLECT 444.72/446.80 c rational objective 138.086 507.79/510.04 c #Conflicts: 233000 | #Constraints: 25909 507.79/510.04 c #Conflicts: 234000 | #Constraints: 26909 507.79/510.04 c #Conflicts: 235000 | #Constraints: 27909 507.79/510.04 c #Conflicts: 236000 | #Constraints: 28909 507.79/510.04 c #Conflicts: 237000 | #Constraints: 29909 507.79/510.04 c #Conflicts: 238000 | #Constraints: 30909 507.79/510.04 c #Conflicts: 239000 | #Constraints: 31909 507.79/510.04 c #Conflicts: 240000 | #Constraints: 32909 507.79/510.04 c #Conflicts: 241000 | #Constraints: 33909 507.79/510.04 c #Conflicts: 242000 | #Constraints: 34909 507.79/510.04 c #Conflicts: 243000 | #Constraints: 35909 507.79/510.04 c #Conflicts: 244000 | #Constraints: 36909 507.79/510.04 c #Conflicts: 245000 | #Constraints: 37909 507.79/510.04 c INPROCESSING 507.79/510.04 c GARBAGE COLLECT 507.79/510.04 c rational objective 138.086 539.02/541.42 c #Conflicts: 246000 | #Constraints: 20728 539.02/541.42 c #Conflicts: 247000 | #Constraints: 21728 539.02/541.42 c #Conflicts: 248000 | #Constraints: 22728 539.02/541.42 c #Conflicts: 249000 | #Constraints: 23728 539.02/541.42 c #Conflicts: 250000 | #Constraints: 24728 539.02/541.42 c #Conflicts: 251000 | #Constraints: 25728 539.02/541.42 c #Conflicts: 252000 | #Constraints: 26728 539.02/541.42 c #Conflicts: 253000 | #Constraints: 27728 539.02/541.42 c #Conflicts: 254000 | #Constraints: 28728 539.02/541.42 c #Conflicts: 255000 | #Constraints: 29728 539.02/541.42 c #Conflicts: 256000 | #Constraints: 30728 539.02/541.42 c #Conflicts: 257000 | #Constraints: 31728 539.02/541.42 c INPROCESSING 539.02/541.42 c GARBAGE COLLECT 539.02/541.42 c rational objective 138.086 666.67/669.56 c #Conflicts: 258000 | #Constraints: 18444 666.67/669.56 c #Conflicts: 259000 | #Constraints: 19444 666.67/669.56 c #Conflicts: 260000 | #Constraints: 20444 666.67/669.56 c #Conflicts: 261000 | #Constraints: 21444 666.67/669.56 c #Conflicts: 262000 | #Constraints: 22444 666.67/669.56 c #Conflicts: 263000 | #Constraints: 23444 666.67/669.56 c #Conflicts: 264000 | #Constraints: 24444 666.67/669.56 c #Conflicts: 265000 | #Constraints: 25444 666.67/669.56 c #Conflicts: 266000 | #Constraints: 26444 666.67/669.56 c #Conflicts: 267000 | #Constraints: 27444 666.67/669.56 c #Conflicts: 268000 | #Constraints: 28444 666.67/669.56 c #Conflicts: 269000 | #Constraints: 29444 666.67/669.56 c #Conflicts: 270000 | #Constraints: 30444 666.67/669.56 c #Conflicts: 271000 | #Constraints: 31444 666.67/669.56 c #Conflicts: 272000 | #Constraints: 32444 666.67/669.56 c #Conflicts: 273000 | #Constraints: 33444 666.67/669.56 c #Conflicts: 274000 | #Constraints: 34444 666.67/669.56 c #Conflicts: 275000 | #Constraints: 35444 666.67/669.56 c #Conflicts: 276000 | #Constraints: 36444 666.67/669.56 c #Conflicts: 277000 | #Constraints: 37444 666.67/669.56 c #Conflicts: 278000 | #Constraints: 38444 666.67/669.56 c #Conflicts: 279000 | #Constraints: 39444 666.67/669.56 c #Conflicts: 280000 | #Constraints: 40444 666.67/669.56 c #Conflicts: 281000 | #Constraints: 41444 666.67/669.56 c #Conflicts: 282000 | #Constraints: 42444 666.67/669.56 c #Conflicts: 283000 | #Constraints: 43444 666.67/669.56 c #Conflicts: 284000 | #Constraints: 44444 666.67/669.56 c #Conflicts: 285000 | #Constraints: 45444 666.67/669.56 c #Conflicts: 286000 | #Constraints: 46444 666.67/669.56 c #Conflicts: 287000 | #Constraints: 47444 666.67/669.56 c #Conflicts: 288000 | #Constraints: 48444 666.67/669.56 c #Conflicts: 289000 | #Constraints: 49444 666.67/669.56 c #Conflicts: 290000 | #Constraints: 50444 666.67/669.56 c #Conflicts: 291000 | #Constraints: 51444 666.67/669.56 c #Conflicts: 292000 | #Constraints: 52444 666.67/669.56 c #Conflicts: 293000 | #Constraints: 53444 666.67/669.56 c #Conflicts: 294000 | #Constraints: 54444 666.67/669.56 c INPROCESSING 666.67/669.56 c GARBAGE COLLECT 666.67/669.56 c rational objective 138.086 717.58/720.65 c #Conflicts: 295000 | #Constraints: 28858 717.58/720.65 c #Conflicts: 296000 | #Constraints: 29858 717.58/720.65 c #Conflicts: 297000 | #Constraints: 30858 717.58/720.65 c #Conflicts: 298000 | #Constraints: 31858 717.58/720.65 c #Conflicts: 299000 | #Constraints: 32858 717.58/720.65 c #Conflicts: 300000 | #Constraints: 33858 717.58/720.65 c #Conflicts: 301000 | #Constraints: 34858 717.58/720.65 c #Conflicts: 302000 | #Constraints: 35858 717.58/720.65 c #Conflicts: 303000 | #Constraints: 36858 717.58/720.65 c #Conflicts: 304000 | #Constraints: 37858 717.58/720.65 c #Conflicts: 305000 | #Constraints: 38858 717.58/720.65 c #Conflicts: 306000 | #Constraints: 39858 717.58/720.65 c #Conflicts: 307000 | #Constraints: 40858 717.58/720.65 c #Conflicts: 308000 | #Constraints: 41858 717.58/720.65 c INPROCESSING 717.58/720.65 c GARBAGE COLLECT 717.58/720.65 c rational objective 138.086 852.59/856.11 c #Conflicts: 309000 | #Constraints: 24046 852.59/856.11 c #Conflicts: 310000 | #Constraints: 25046 852.59/856.11 c #Conflicts: 311000 | #Constraints: 26046 852.59/856.11 c #Conflicts: 312000 | #Constraints: 27046 852.59/856.11 c #Conflicts: 313000 | #Constraints: 28046 852.59/856.11 c #Conflicts: 314000 | #Constraints: 29046 852.59/856.11 c #Conflicts: 315000 | #Constraints: 30046 852.59/856.11 c #Conflicts: 316000 | #Constraints: 31046 852.59/856.11 c bounds 186 >= 139 @ 722.693 852.59/856.11 c #Conflicts: 317000 | #Constraints: 32047 852.59/856.11 c #Conflicts: 318000 | #Constraints: 33047 852.59/856.11 c #Conflicts: 319000 | #Constraints: 34047 852.59/856.11 c #Conflicts: 320000 | #Constraints: 35047 852.59/856.11 c #Conflicts: 321000 | #Constraints: 36047 852.59/856.11 c #Conflicts: 322000 | #Constraints: 37047 852.59/856.11 c #Conflicts: 323000 | #Constraints: 38047 852.59/856.11 c #Conflicts: 324000 | #Constraints: 39047 852.59/856.11 c #Conflicts: 325000 | #Constraints: 40047 852.59/856.11 c #Conflicts: 326000 | #Constraints: 41047 852.59/856.11 c #Conflicts: 327000 | #Constraints: 42047 852.59/856.11 c #Conflicts: 328000 | #Constraints: 43047 852.59/856.11 c #Conflicts: 329000 | #Constraints: 44047 852.59/856.11 c #Conflicts: 330000 | #Constraints: 45047 852.59/856.11 c #Conflicts: 331000 | #Constraints: 46047 852.59/856.11 c #Conflicts: 332000 | #Constraints: 47047 852.59/856.11 c #Conflicts: 333000 | #Constraints: 48047 852.59/856.11 c #Conflicts: 334000 | #Constraints: 49047 852.59/856.11 c #Conflicts: 335000 | #Constraints: 50047 852.59/856.11 c #Conflicts: 336000 | #Constraints: 51047 852.59/856.11 c #Conflicts: 337000 | #Constraints: 52047 852.59/856.11 c #Conflicts: 338000 | #Constraints: 53047 852.59/856.11 c #Conflicts: 339000 | #Constraints: 54047 852.59/856.11 c #Conflicts: 340000 | #Constraints: 55047 852.59/856.11 c #Conflicts: 341000 | #Constraints: 56047 852.59/856.11 c #Conflicts: 342000 | #Constraints: 57047 852.59/856.11 c #Conflicts: 343000 | #Constraints: 58047 852.59/856.11 c #Conflicts: 344000 | #Constraints: 59047 852.59/856.11 c #Conflicts: 345000 | #Constraints: 60047 852.59/856.11 c #Conflicts: 346000 | #Constraints: 61047 852.59/856.11 c #Conflicts: 347000 | #Constraints: 62047 852.59/856.11 c #Conflicts: 348000 | #Constraints: 63047 852.59/856.11 c INPROCESSING 852.59/856.11 c GARBAGE COLLECT 852.59/856.11 c rational objective 138.086 951.82/955.73 c #Conflicts: 349000 | #Constraints: 33226 951.82/955.73 c #Conflicts: 350000 | #Constraints: 34226 951.82/955.73 c #Conflicts: 351000 | #Constraints: 35226 951.82/955.73 c #Conflicts: 352000 | #Constraints: 36226 951.82/955.73 c #Conflicts: 353000 | #Constraints: 37226 951.82/955.73 c #Conflicts: 354000 | #Constraints: 38226 951.82/955.73 c #Conflicts: 355000 | #Constraints: 39226 951.82/955.73 c #Conflicts: 356000 | #Constraints: 40226 951.82/955.73 c #Conflicts: 357000 | #Constraints: 41226 951.82/955.73 c #Conflicts: 358000 | #Constraints: 42226 951.82/955.73 c #Conflicts: 359000 | #Constraints: 43226 951.82/955.73 c #Conflicts: 360000 | #Constraints: 44226 951.82/955.73 c #Conflicts: 361000 | #Constraints: 45226 951.82/955.73 c #Conflicts: 362000 | #Constraints: 46226 951.82/955.73 c #Conflicts: 363000 | #Constraints: 47226 951.82/955.73 c INPROCESSING 951.82/955.73 c GARBAGE COLLECT 951.82/955.73 c rational objective 138.086 1189.06/1193.84 c #Conflicts: 364000 | #Constraints: 25609 1189.06/1193.84 c #Conflicts: 365000 | #Constraints: 26609 1189.06/1193.84 c #Conflicts: 366000 | #Constraints: 27609 1189.06/1193.84 c #Conflicts: 367000 | #Constraints: 28609 1189.06/1193.84 c #Conflicts: 368000 | #Constraints: 29609 1189.06/1193.84 c #Conflicts: 369000 | #Constraints: 30609 1189.06/1193.84 c #Conflicts: 370000 | #Constraints: 31609 1189.06/1193.84 c #Conflicts: 371000 | #Constraints: 32609 1189.06/1193.84 c #Conflicts: 372000 | #Constraints: 33609 1189.06/1193.84 c #Conflicts: 373000 | #Constraints: 34609 1189.06/1193.84 c #Conflicts: 374000 | #Constraints: 35609 1189.06/1193.84 c #Conflicts: 375000 | #Constraints: 36609 1189.06/1193.84 c #Conflicts: 376000 | #Constraints: 37609 1189.06/1193.84 c #Conflicts: 377000 | #Constraints: 38609 1189.06/1193.84 c #Conflicts: 378000 | #Constraints: 39609 1189.06/1193.84 c #Conflicts: 379000 | #Constraints: 40609 1189.06/1193.84 c #Conflicts: 380000 | #Constraints: 41609 1189.06/1193.84 c #Conflicts: 381000 | #Constraints: 42609 1189.06/1193.84 c #Conflicts: 382000 | #Constraints: 43609 1189.06/1193.84 c #Conflicts: 383000 | #Constraints: 44609 1189.06/1193.84 c #Conflicts: 384000 | #Constraints: 45609 1189.06/1193.84 c #Conflicts: 385000 | #Constraints: 46609 1189.06/1193.84 c #Conflicts: 386000 | #Constraints: 47609 1189.06/1193.84 c #Conflicts: 387000 | #Constraints: 48609 1189.06/1193.84 c #Conflicts: 388000 | #Constraints: 49609 1189.06/1193.84 c #Conflicts: 389000 | #Constraints: 50609 1189.06/1193.84 c #Conflicts: 390000 | #Constraints: 51609 1189.06/1193.84 c #Conflicts: 391000 | #Constraints: 52609 1189.06/1193.84 c #Conflicts: 392000 | #Constraints: 53609 1189.06/1193.84 c #Conflicts: 393000 | #Constraints: 54609 1189.06/1193.84 c #Conflicts: 394000 | #Constraints: 55609 1189.06/1193.84 c #Conflicts: 395000 | #Constraints: 56609 1189.06/1193.84 c #Conflicts: 396000 | #Constraints: 57609 1189.06/1193.84 c #Conflicts: 397000 | #Constraints: 58609 1189.06/1193.84 c #Conflicts: 398000 | #Constraints: 59609 1189.06/1193.84 c #Conflicts: 399000 | #Constraints: 60609 1189.06/1193.84 c #Conflicts: 400000 | #Constraints: 61609 1189.06/1193.84 c #Conflicts: 401000 | #Constraints: 62609 1189.06/1193.84 c #Conflicts: 402000 | #Constraints: 63609 1189.06/1193.84 c #Conflicts: 403000 | #Constraints: 64609 1189.06/1193.84 c #Conflicts: 404000 | #Constraints: 65609 1189.06/1193.84 c #Conflicts: 405000 | #Constraints: 66609 1189.06/1193.84 c #Conflicts: 406000 | #Constraints: 67609 1189.06/1193.84 c INPROCESSING 1189.06/1193.84 c GARBAGE COLLECT 1189.06/1193.84 c rational objective 138.086 1228.60/1233.51 c #Conflicts: 407000 | #Constraints: 35555 1228.60/1233.51 c #Conflicts: 408000 | #Constraints: 36555 1228.60/1233.51 c #Conflicts: 409000 | #Constraints: 37555 1228.60/1233.51 c #Conflicts: 410000 | #Constraints: 38555 1228.60/1233.51 c #Conflicts: 411000 | #Constraints: 39555 1228.60/1233.51 c #Conflicts: 412000 | #Constraints: 40555 1228.60/1233.51 c #Conflicts: 413000 | #Constraints: 41555 1228.60/1233.51 c #Conflicts: 414000 | #Constraints: 42555 1228.60/1233.51 c #Conflicts: 415000 | #Constraints: 43555 1228.60/1233.51 c #Conflicts: 416000 | #Constraints: 44555 1228.60/1233.51 c #Conflicts: 417000 | #Constraints: 45555 1228.60/1233.51 c bounds 185 >= 139 @ 1203.81 1228.60/1233.51 c #Conflicts: 418000 | #Constraints: 46556 1228.60/1233.51 c #Conflicts: 419000 | #Constraints: 47556 1228.60/1233.51 c #Conflicts: 420000 | #Constraints: 48556 1228.60/1233.51 c #Conflicts: 421000 | #Constraints: 49556 1228.60/1233.51 c #Conflicts: 422000 | #Constraints: 50556 1228.60/1233.51 c INPROCESSING 1228.60/1233.51 c GARBAGE COLLECT 1228.60/1233.51 c rational objective 138.086 1450.08/1455.85 c #Conflicts: 423000 | #Constraints: 28852 1450.08/1455.85 c bounds 184 >= 139 @ 1220.81 1450.08/1455.85 c #Conflicts: 424000 | #Constraints: 29854 1450.08/1455.85 c #Conflicts: 425000 | #Constraints: 30854 1450.08/1455.85 c #Conflicts: 426000 | #Constraints: 31855 1450.08/1455.85 c #Conflicts: 427000 | #Constraints: 32855 1450.08/1455.85 c #Conflicts: 428000 | #Constraints: 33855 1450.08/1455.85 c #Conflicts: 429000 | #Constraints: 34855 1450.08/1455.85 c #Conflicts: 430000 | #Constraints: 35855 1450.08/1455.85 c #Conflicts: 431000 | #Constraints: 36855 1450.08/1455.85 c #Conflicts: 432000 | #Constraints: 37855 1450.08/1455.85 c #Conflicts: 433000 | #Constraints: 38855 1450.08/1455.85 c #Conflicts: 434000 | #Constraints: 39855 1450.08/1455.85 c #Conflicts: 435000 | #Constraints: 40855 1450.08/1455.85 c #Conflicts: 436000 | #Constraints: 41855 1450.08/1455.85 c #Conflicts: 437000 | #Constraints: 42855 1450.08/1455.85 c #Conflicts: 438000 | #Constraints: 43855 1450.08/1455.85 c #Conflicts: 439000 | #Constraints: 44855 1450.08/1455.85 c #Conflicts: 440000 | #Constraints: 45855 1450.08/1455.85 c #Conflicts: 441000 | #Constraints: 46855 1450.08/1455.85 c #Conflicts: 442000 | #Constraints: 47855 1450.08/1455.85 c #Conflicts: 443000 | #Constraints: 48855 1450.08/1455.85 c #Conflicts: 444000 | #Constraints: 49855 1450.08/1455.85 c #Conflicts: 445000 | #Constraints: 50855 1450.08/1455.85 c #Conflicts: 446000 | #Constraints: 51855 1450.08/1455.85 c #Conflicts: 447000 | #Constraints: 52855 1450.08/1455.85 c #Conflicts: 448000 | #Constraints: 53855 1450.08/1455.85 c #Conflicts: 449000 | #Constraints: 54855 1450.08/1455.85 c #Conflicts: 450000 | #Constraints: 55855 1450.08/1455.85 c #Conflicts: 451000 | #Constraints: 56855 1450.08/1455.85 c #Conflicts: 452000 | #Constraints: 57855 1450.08/1455.85 c #Conflicts: 453000 | #Constraints: 58855 1450.08/1455.85 c #Conflicts: 454000 | #Constraints: 59855 1450.08/1455.85 c #Conflicts: 455000 | #Constraints: 60855 1450.08/1455.85 c #Conflicts: 456000 | #Constraints: 61855 1450.08/1455.85 c #Conflicts: 457000 | #Constraints: 62855 1450.08/1455.85 c #Conflicts: 458000 | #Constraints: 63857 1450.08/1455.85 c #Conflicts: 459000 | #Constraints: 64857 1450.08/1455.85 c #Conflicts: 460000 | #Constraints: 65857 1450.08/1455.85 c #Conflicts: 461000 | #Constraints: 66857 1450.08/1455.85 c #Conflicts: 462000 | #Constraints: 67857 1450.08/1455.85 c #Conflicts: 463000 | #Constraints: 68857 1450.08/1455.85 c #Conflicts: 464000 | #Constraints: 69857 1450.08/1455.85 c #Conflicts: 465000 | #Constraints: 70857 1450.08/1455.85 c #Conflicts: 466000 | #Constraints: 71857 1450.08/1455.85 c #Conflicts: 467000 | #Constraints: 72857 1450.08/1455.85 c #Conflicts: 468000 | #Constraints: 73857 1450.08/1455.85 c INPROCESSING 1450.08/1455.85 c GARBAGE COLLECT 1450.08/1455.85 c rational objective 138.086 1592.15/1598.46 c #Conflicts: 469000 | #Constraints: 38333 1592.15/1598.46 c #Conflicts: 470000 | #Constraints: 39333 1592.15/1598.46 c #Conflicts: 471000 | #Constraints: 40333 1592.15/1598.46 c #Conflicts: 472000 | #Constraints: 41333 1592.15/1598.46 c #Conflicts: 473000 | #Constraints: 42333 1592.15/1598.46 c #Conflicts: 474000 | #Constraints: 43333 1592.15/1598.46 c #Conflicts: 475000 | #Constraints: 44333 1592.15/1598.46 c #Conflicts: 476000 | #Constraints: 45333 1592.15/1598.46 c #Conflicts: 477000 | #Constraints: 46333 1592.15/1598.46 c #Conflicts: 478000 | #Constraints: 47333 1592.15/1598.46 c #Conflicts: 479000 | #Constraints: 48333 1592.15/1598.46 c #Conflicts: 480000 | #Constraints: 49333 1592.15/1598.46 c #Conflicts: 481000 | #Constraints: 50333 1592.15/1598.46 c #Conflicts: 482000 | #Constraints: 51333 1592.15/1598.46 c #Conflicts: 483000 | #Constraints: 52333 1592.15/1598.46 c #Conflicts: 484000 | #Constraints: 53333 1592.15/1598.46 c #Conflicts: 485000 | #Constraints: 54333 1592.15/1598.46 c #Conflicts: 486000 | #Constraints: 55333 1592.15/1598.46 c INPROCESSING 1592.15/1598.46 c GARBAGE COLLECT 1592.15/1598.46 c rational objective 138.086 1978.04/1985.75 c #Conflicts: 487000 | #Constraints: 30933 1978.04/1985.75 c #Conflicts: 488000 | #Constraints: 31933 1978.04/1985.75 c #Conflicts: 489000 | #Constraints: 32933 1978.04/1985.75 c #Conflicts: 490000 | #Constraints: 33933 1978.04/1985.75 c #Conflicts: 491000 | #Constraints: 34933 1978.04/1985.75 c #Conflicts: 492000 | #Constraints: 35933 1978.04/1985.75 c #Conflicts: 493000 | #Constraints: 36933 1978.04/1985.75 c #Conflicts: 494000 | #Constraints: 37933 1978.04/1985.75 c #Conflicts: 495000 | #Constraints: 38933 1978.04/1985.75 c #Conflicts: 496000 | #Constraints: 39933 1978.04/1985.75 c #Conflicts: 497000 | #Constraints: 40933 1978.04/1985.75 c #Conflicts: 498000 | #Constraints: 41933 1978.04/1985.75 c #Conflicts: 499000 | #Constraints: 42933 1978.04/1985.75 c #Conflicts: 500000 | #Constraints: 43933 1978.04/1985.75 c #Conflicts: 501000 | #Constraints: 44933 1978.04/1985.75 c #Conflicts: 502000 | #Constraints: 45933 1978.04/1985.75 c #Conflicts: 503000 | #Constraints: 46933 1978.04/1985.75 c #Conflicts: 504000 | #Constraints: 47933 1978.04/1985.75 c #Conflicts: 505000 | #Constraints: 48933 1978.04/1985.75 c #Conflicts: 506000 | #Constraints: 49933 1978.04/1985.75 c #Conflicts: 507000 | #Constraints: 50933 1978.04/1985.75 c #Conflicts: 508000 | #Constraints: 51933 1978.04/1985.75 c #Conflicts: 509000 | #Constraints: 52933 1978.04/1985.75 c #Conflicts: 510000 | #Constraints: 53933 1978.04/1985.75 c #Conflicts: 511000 | #Constraints: 54933 1978.04/1985.75 c #Conflicts: 512000 | #Constraints: 55933 1978.04/1985.75 c #Conflicts: 513000 | #Constraints: 56933 1978.04/1985.75 c #Conflicts: 514000 | #Constraints: 57933 1978.04/1985.75 c #Conflicts: 515000 | #Constraints: 58933 1978.04/1985.75 c #Conflicts: 516000 | #Constraints: 59933 1978.04/1985.75 c #Conflicts: 517000 | #Constraints: 60933 1978.04/1985.75 c #Conflicts: 518000 | #Constraints: 61933 1978.04/1985.75 c #Conflicts: 519000 | #Constraints: 62933 1978.04/1985.75 c #Conflicts: 520000 | #Constraints: 63933 1978.04/1985.75 c #Conflicts: 521000 | #Constraints: 64933 1978.04/1985.75 c #Conflicts: 522000 | #Constraints: 65933 1978.04/1985.75 c #Conflicts: 523000 | #Constraints: 66933 1978.04/1985.75 c #Conflicts: 524000 | #Constraints: 67933 1978.04/1985.75 c #Conflicts: 525000 | #Constraints: 68933 1978.04/1985.75 c #Conflicts: 526000 | #Constraints: 69933 1978.04/1985.75 c #Conflicts: 527000 | #Constraints: 70933 1978.04/1985.75 c #Conflicts: 528000 | #Constraints: 71933 1978.04/1985.75 c #Conflicts: 529000 | #Constraints: 72933 1978.04/1985.75 c #Conflicts: 530000 | #Constraints: 73933 1978.04/1985.75 c #Conflicts: 531000 | #Constraints: 74933 1978.04/1985.75 c #Conflicts: 532000 | #Constraints: 75933 1978.04/1985.75 c #Conflicts: 533000 | #Constraints: 76933 1978.04/1985.75 c #Conflicts: 534000 | #Constraints: 77933 1978.04/1985.75 c #Conflicts: 535000 | #Constraints: 78933 1978.04/1985.75 c INPROCESSING 1978.04/1985.75 c GARBAGE COLLECT 1978.04/1985.75 c rational objective 138.086 2052.46/2060.43 c #Conflicts: 536000 | #Constraints: 41016 2052.46/2060.43 c #Conflicts: 537000 | #Constraints: 42016 2052.46/2060.43 c #Conflicts: 538000 | #Constraints: 43016 2052.46/2060.43 c #Conflicts: 539000 | #Constraints: 44016 2052.46/2060.43 c #Conflicts: 540000 | #Constraints: 45016 2052.46/2060.43 c #Conflicts: 541000 | #Constraints: 46016 2052.46/2060.43 c #Conflicts: 542000 | #Constraints: 47017 2052.46/2060.43 c #Conflicts: 543000 | #Constraints: 48017 2052.46/2060.43 c #Conflicts: 544000 | #Constraints: 49017 2052.46/2060.43 c #Conflicts: 545000 | #Constraints: 50017 2052.46/2060.43 c #Conflicts: 546000 | #Constraints: 51017 2052.46/2060.43 c #Conflicts: 547000 | #Constraints: 52017 2052.46/2060.43 c #Conflicts: 548000 | #Constraints: 53017 2052.46/2060.43 c #Conflicts: 549000 | #Constraints: 54017 2052.46/2060.43 c #Conflicts: 550000 | #Constraints: 55017 2052.46/2060.43 c #Conflicts: 551000 | #Constraints: 56017 2052.46/2060.43 c #Conflicts: 552000 | #Constraints: 57017 2052.46/2060.43 c #Conflicts: 553000 | #Constraints: 58017 2052.46/2060.43 c #Conflicts: 554000 | #Constraints: 59017 2052.46/2060.43 c INPROCESSING 2052.46/2060.43 c GARBAGE COLLECT 2052.46/2060.43 c rational objective 138.086 2416.71/2426.04 c #Conflicts: 555000 | #Constraints: 34868 2416.71/2426.04 c #Conflicts: 556000 | #Constraints: 35869 2416.71/2426.04 c #Conflicts: 557000 | #Constraints: 36869 2416.71/2426.04 c #Conflicts: 558000 | #Constraints: 37869 2416.71/2426.04 c #Conflicts: 559000 | #Constraints: 38869 2416.71/2426.04 c #Conflicts: 560000 | #Constraints: 39869 2416.71/2426.04 c #Conflicts: 561000 | #Constraints: 40869 2416.71/2426.04 c #Conflicts: 562000 | #Constraints: 41869 2416.71/2426.04 c #Conflicts: 563000 | #Constraints: 42869 2416.71/2426.04 c #Conflicts: 564000 | #Constraints: 43869 2416.71/2426.04 c #Conflicts: 565000 | #Constraints: 44869 2416.71/2426.04 c #Conflicts: 566000 | #Constraints: 45869 2416.71/2426.04 c #Conflicts: 567000 | #Constraints: 46869 2416.71/2426.04 c #Conflicts: 568000 | #Constraints: 47869 2416.71/2426.04 c #Conflicts: 569000 | #Constraints: 48869 2416.71/2426.04 c #Conflicts: 570000 | #Constraints: 49869 2416.71/2426.04 c #Conflicts: 571000 | #Constraints: 50869 2416.71/2426.04 c #Conflicts: 572000 | #Constraints: 51869 2416.71/2426.04 c #Conflicts: 573000 | #Constraints: 52869 2416.71/2426.04 c #Conflicts: 574000 | #Constraints: 53869 2416.71/2426.04 c #Conflicts: 575000 | #Constraints: 54869 2416.71/2426.04 c #Conflicts: 576000 | #Constraints: 55869 2416.71/2426.04 c #Conflicts: 577000 | #Constraints: 56869 2416.71/2426.04 c #Conflicts: 578000 | #Constraints: 57869 2416.71/2426.04 c #Conflicts: 579000 | #Constraints: 58869 2416.71/2426.04 c #Conflicts: 580000 | #Constraints: 59869 2416.71/2426.04 c #Conflicts: 581000 | #Constraints: 60869 2416.71/2426.04 c #Conflicts: 582000 | #Constraints: 61869 2416.71/2426.04 c #Conflicts: 583000 | #Constraints: 62869 2416.71/2426.04 c #Conflicts: 584000 | #Constraints: 63869 2416.71/2426.04 c #Conflicts: 585000 | #Constraints: 64869 2416.71/2426.04 c #Conflicts: 586000 | #Constraints: 65869 2416.71/2426.04 c #Conflicts: 587000 | #Constraints: 66869 2416.71/2426.04 c #Conflicts: 588000 | #Constraints: 67869 2416.71/2426.04 c #Conflicts: 589000 | #Constraints: 68869 2416.71/2426.04 c #Conflicts: 590000 | #Constraints: 69869 2416.71/2426.04 c #Conflicts: 591000 | #Constraints: 70869 2416.71/2426.04 c #Conflicts: 592000 | #Constraints: 71869 2416.71/2426.04 c #Conflicts: 593000 | #Constraints: 72869 2416.71/2426.04 c #Conflicts: 594000 | #Constraints: 73869 2416.71/2426.04 c #Conflicts: 595000 | #Constraints: 74869 2416.71/2426.04 c #Conflicts: 596000 | #Constraints: 75869 2416.71/2426.04 c #Conflicts: 597000 | #Constraints: 76869 2416.71/2426.04 c #Conflicts: 598000 | #Constraints: 77869 2416.71/2426.04 c #Conflicts: 599000 | #Constraints: 78869 2416.71/2426.04 c #Conflicts: 600000 | #Constraints: 79869 2416.71/2426.04 c #Conflicts: 601000 | #Constraints: 80869 2416.71/2426.04 c #Conflicts: 602000 | #Constraints: 81869 2416.71/2426.04 c #Conflicts: 603000 | #Constraints: 82869 2416.71/2426.04 c #Conflicts: 604000 | #Constraints: 83869 2416.71/2426.04 c #Conflicts: 605000 | #Constraints: 84869 2416.71/2426.04 c #Conflicts: 606000 | #Constraints: 85869 2416.71/2426.04 c INPROCESSING 2416.71/2426.04 c GARBAGE COLLECT 2416.71/2426.04 c rational objective 138.086 2657.64/2668.00 c #Conflicts: 607000 | #Constraints: 44246 2657.64/2668.00 c #Conflicts: 608000 | #Constraints: 45246 2657.64/2668.00 c #Conflicts: 609000 | #Constraints: 46246 2657.64/2668.00 c #Conflicts: 610000 | #Constraints: 47246 2657.64/2668.00 c #Conflicts: 611000 | #Constraints: 48246 2657.64/2668.00 c #Conflicts: 612000 | #Constraints: 49246 2657.64/2668.00 c #Conflicts: 613000 | #Constraints: 50246 2657.64/2668.00 c #Conflicts: 614000 | #Constraints: 51246 2657.64/2668.00 c #Conflicts: 615000 | #Constraints: 52246 2657.64/2668.00 c #Conflicts: 616000 | #Constraints: 53246 2657.64/2668.00 c #Conflicts: 617000 | #Constraints: 54246 2657.64/2668.00 c #Conflicts: 618000 | #Constraints: 55246 2657.64/2668.00 c #Conflicts: 619000 | #Constraints: 56246 2657.64/2668.00 c #Conflicts: 620000 | #Constraints: 57246 2657.64/2668.00 c #Conflicts: 621000 | #Constraints: 58246 2657.64/2668.00 c #Conflicts: 622000 | #Constraints: 59246 2657.64/2668.00 c #Conflicts: 623000 | #Constraints: 60246 2657.64/2668.00 c #Conflicts: 624000 | #Constraints: 61246 2657.64/2668.00 c #Conflicts: 625000 | #Constraints: 62246 2657.64/2668.00 c #Conflicts: 626000 | #Constraints: 63246 2657.64/2668.00 c #Conflicts: 627000 | #Constraints: 64246 2657.64/2668.00 c INPROCESSING 2657.64/2668.00 c GARBAGE COLLECT 2657.64/2668.00 c rational objective 138.086 3279.16/3291.90 c #Conflicts: 628000 | #Constraints: 37209 3279.16/3291.90 c #Conflicts: 629000 | #Constraints: 38209 3279.16/3291.90 c #Conflicts: 630000 | #Constraints: 39209 3279.16/3291.90 c #Conflicts: 631000 | #Constraints: 40209 3279.16/3291.90 c #Conflicts: 632000 | #Constraints: 41209 3279.16/3291.90 c #Conflicts: 633000 | #Constraints: 42209 3279.16/3291.90 c #Conflicts: 634000 | #Constraints: 43209 3279.16/3291.90 c #Conflicts: 635000 | #Constraints: 44209 3279.16/3291.90 c #Conflicts: 636000 | #Constraints: 45209 3279.16/3291.90 c #Conflicts: 637000 | #Constraints: 46209 3279.16/3291.90 c #Conflicts: 638000 | #Constraints: 47209 3279.16/3291.90 c #Conflicts: 639000 | #Constraints: 48209 3279.16/3291.90 c #Conflicts: 640000 | #Constraints: 49209 3279.16/3291.90 c #Conflicts: 641000 | #Constraints: 50209 3279.16/3291.90 c #Conflicts: 642000 | #Constraints: 51209 3279.16/3291.90 c #Conflicts: 643000 | #Constraints: 52209 3279.16/3291.90 c #Conflicts: 644000 | #Constraints: 53209 3279.16/3291.90 c #Conflicts: 645000 | #Constraints: 54209 3279.16/3291.90 c #Conflicts: 646000 | #Constraints: 55209 3279.16/3291.90 c #Conflicts: 647000 | #Constraints: 56209 3279.16/3291.90 c #Conflicts: 648000 | #Constraints: 57209 3279.16/3291.90 c #Conflicts: 649000 | #Constraints: 58209 3279.16/3291.90 c #Conflicts: 650000 | #Constraints: 59209 3279.16/3291.90 c #Conflicts: 651000 | #Constraints: 60209 3279.16/3291.90 c #Conflicts: 652000 | #Constraints: 61209 3279.16/3291.90 c #Conflicts: 653000 | #Constraints: 62209 3279.16/3291.90 c #Conflicts: 654000 | #Constraints: 63209 3279.16/3291.90 c #Conflicts: 655000 | #Constraints: 64209 3279.16/3291.90 c #Conflicts: 656000 | #Constraints: 65209 3279.16/3291.90 c #Conflicts: 657000 | #Constraints: 66209 3279.16/3291.90 c #Conflicts: 658000 | #Constraints: 67209 3279.16/3291.90 c #Conflicts: 659000 | #Constraints: 68209 3279.16/3291.90 c #Conflicts: 660000 | #Constraints: 69209 3279.16/3291.90 c #Conflicts: 661000 | #Constraints: 70209 3279.16/3291.90 c #Conflicts: 662000 | #Constraints: 71209 3279.16/3291.90 c #Conflicts: 663000 | #Constraints: 72209 3279.16/3291.90 c #Conflicts: 664000 | #Constraints: 73209 3279.16/3291.90 c #Conflicts: 665000 | #Constraints: 74209 3279.16/3291.90 c #Conflicts: 666000 | #Constraints: 75209 3279.16/3291.90 c #Conflicts: 667000 | #Constraints: 76209 3279.16/3291.90 c #Conflicts: 668000 | #Constraints: 77209 3279.16/3291.90 c #Conflicts: 669000 | #Constraints: 78209 3279.16/3291.90 c #Conflicts: 670000 | #Constraints: 79209 3279.16/3291.90 c #Conflicts: 671000 | #Constraints: 80209 3279.16/3291.90 c #Conflicts: 672000 | #Constraints: 81209 3279.16/3291.90 c #Conflicts: 673000 | #Constraints: 82209 3279.16/3291.90 c #Conflicts: 674000 | #Constraints: 83209 3279.16/3291.90 c #Conflicts: 675000 | #Constraints: 84209 3279.16/3291.90 c #Conflicts: 676000 | #Constraints: 85209 3279.16/3291.90 c #Conflicts: 677000 | #Constraints: 86209 3279.16/3291.90 c #Conflicts: 678000 | #Constraints: 87209 3279.16/3291.90 c #Conflicts: 679000 | #Constraints: 88209 3279.16/3291.90 c #Conflicts: 680000 | #Constraints: 89209 3279.16/3291.90 c #Conflicts: 681000 | #Constraints: 90209 3279.16/3291.90 c #Conflicts: 682000 | #Constraints: 91209 3279.16/3291.90 c INPROCESSING 3279.16/3291.90 c GARBAGE COLLECT 3279.16/3291.90 c rational objective 138.086 3389.21/3402.45 c #Conflicts: 683000 | #Constraints: 47144 3389.21/3402.45 c #Conflicts: 684000 | #Constraints: 48144 3389.21/3402.45 c #Conflicts: 685000 | #Constraints: 49144 3389.21/3402.45 c #Conflicts: 686000 | #Constraints: 50144 3389.21/3402.45 c #Conflicts: 687000 | #Constraints: 51144 3389.21/3402.45 c #Conflicts: 688000 | #Constraints: 52144 3389.21/3402.45 c #Conflicts: 689000 | #Constraints: 53144 3389.21/3402.45 c #Conflicts: 690000 | #Constraints: 54144 3389.21/3402.45 c #Conflicts: 691000 | #Constraints: 55144 3389.21/3402.45 c #Conflicts: 692000 | #Constraints: 56144 3389.21/3402.45 c #Conflicts: 693000 | #Constraints: 57144 3389.21/3402.45 c #Conflicts: 694000 | #Constraints: 58144 3389.21/3402.45 c #Conflicts: 695000 | #Constraints: 59144 3389.21/3402.45 c #Conflicts: 696000 | #Constraints: 60144 3389.21/3402.45 c #Conflicts: 697000 | #Constraints: 61144 3389.21/3402.45 c #Conflicts: 698000 | #Constraints: 62144 3389.21/3402.45 c #Conflicts: 699000 | #Constraints: 63144 3389.21/3402.45 c #Conflicts: 700000 | #Constraints: 64144 3389.21/3402.45 c #Conflicts: 701000 | #Constraints: 65144 3389.21/3402.45 c #Conflicts: 702000 | #Constraints: 66144 3389.21/3402.45 c #Conflicts: 703000 | #Constraints: 67144 3389.21/3402.45 c #Conflicts: 704000 | #Constraints: 68144 3389.21/3402.45 c INPROCESSING 3389.21/3402.45 c GARBAGE COLLECT 3389.21/3402.45 c rational objective 138.086 3600.06/3614.11 c #Conflicts: 705000 | #Constraints: 41311 3600.06/3614.11 c #Conflicts: 706000 | #Constraints: 42311 3600.06/3614.11 c #Conflicts: 707000 | #Constraints: 43311 3600.06/3614.11 c #Conflicts: 708000 | #Constraints: 44311 3600.06/3614.11 c #Conflicts: 709000 | #Constraints: 45311 3600.06/3614.11 c #Conflicts: 710000 | #Constraints: 46311 3600.06/3614.11 c #Conflicts: 711000 | #Constraints: 47311 3600.06/3614.11 c #Conflicts: 712000 | #Constraints: 48311 3600.06/3614.11 c #Conflicts: 713000 | #Constraints: 49311 3600.06/3614.11 c #Conflicts: 714000 | #Constraints: 50311 3600.06/3614.11 c #Conflicts: 715000 | #Constraints: 51312 3600.06/3614.11 c #Conflicts: 716000 | #Constraints: 52312 3600.06/3614.11 c #Conflicts: 717000 | #Constraints: 53312 3600.06/3614.11 c #Conflicts: 718000 | #Constraints: 54312 3600.06/3614.11 c #Conflicts: 719000 | #Constraints: 55312 3600.06/3614.11 c #Conflicts: 720000 | #Constraints: 56312 3600.06/3614.11 c #Conflicts: 721000 | #Constraints: 57312 3600.06/3614.11 c #Conflicts: 722000 | #Constraints: 58312 3600.06/3614.11 c #Conflicts: 723000 | #Constraints: 59312 3600.06/3614.11 c #Conflicts: 724000 | #Constraints: 60312 3600.06/3614.11 c #Conflicts: 725000 | #Constraints: 61312 3600.06/3614.11 c #Conflicts: 726000 | #Constraints: 62313 3600.06/3614.11 c #Conflicts: 727000 | #Constraints: 63314 3600.06/3614.11 c #Conflicts: 728000 | #Constraints: 64314 3600.06/3614.11 c #Conflicts: 729000 | #Constraints: 65314 3600.06/3614.11 c #Conflicts: 730000 | #Constraints: 66314 3600.06/3614.11 c #Conflicts: 731000 | #Constraints: 67314 3600.06/3614.11 c #Conflicts: 732000 | #Constraints: 68314 3600.06/3614.11 c #Conflicts: 733000 | #Constraints: 69314 3600.06/3614.11 c #Conflicts: 734000 | #Constraints: 70314 3600.06/3614.11 c Program interrupted by user. 3600.06/3614.11 c cpu time 3582.06 s 3600.06/3614.11 c deterministic time 355608028279 3.56e+11 3600.06/3614.11 c optimization time 209.953 s 3600.06/3614.11 c total solve time 3372.1 s 3600.06/3614.11 c core-guided solve time 2152.42 s 3600.06/3614.11 c propagation time 3118.9 s 3600.06/3614.11 c conflict analysis time 433.783 s 3600.06/3614.11 c propagations 108981815 3600.06/3614.11 c resolve steps 6673805 3600.06/3614.11 c decisions 5616374 3600.06/3614.11 c conflicts 734672 3600.06/3614.11 c restarts 1533 3600.06/3614.11 c inprocessing phases 40 3600.06/3614.11 c input clauses 295 3600.06/3614.11 c input cardinalities 172 3600.06/3614.11 c input general constraints 880 3600.06/3614.11 c input average constraint length 19.03 3600.06/3614.11 c input average constraint degree 18.66 3600.06/3614.11 c learned clauses 241772 3600.06/3614.11 c learned cardinalities 3438 3600.06/3614.11 c learned general constraints 489479 3600.06/3614.11 c learned average constraint length 186.79 3600.06/3614.11 c learned average constraint degree 10336370.64 3600.06/3614.11 c watched constraints 356953 3600.06/3614.11 c counting constraints 133406 3600.06/3614.11 c gcd simplifications 86767 3600.06/3614.11 c detected cardinalities 1361 3600.06/3614.11 c weakened non-implied lits 28275757 3600.06/3614.11 c weakened non-implying lits 62740 3600.06/3614.11 c original variables 467 3600.06/3614.11 c clausal propagations 11540770 3600.06/3614.11 c cardinality propagations 5827380 3600.06/3614.11 c watched propagations 19182363 3600.06/3614.11 c counting propagations 71157524 3600.06/3614.11 c watch lookups 61439546621 3600.06/3614.11 c watch backjump lookups 55892424235 3600.06/3614.11 c watch checks 218365022212 3600.06/3614.11 c propagation checks 19114678984 3600.06/3614.11 c constraint additions 565639692 3600.06/3614.11 c trail pops 115332355 3600.06/3614.11 c formula constraints 466 3600.06/3614.11 c learned constraints 734667 3600.06/3614.11 c bound constraints 33 3600.06/3614.11 c core-guided constraints 848 3600.06/3614.11 c encountered formula constraints 1051271 3600.06/3614.11 c encountered learned constraints 5501285 3600.06/3614.11 c encountered bound constraints 95 3600.06/3614.11 c encountered core-guided constraints 855698 3600.06/3614.11 c LP total time 44.1953 s 3600.06/3614.11 c LP solve time 43.17 s 3600.06/3614.11 c LP constraints added 466 3600.06/3614.11 c LP constraints removed 0 3600.06/3614.11 c LP pivots internal 734676 3600.06/3614.11 c LP pivots root 51314 3600.06/3614.11 c LP calls 12115 3600.06/3614.11 c LP optimalities 12100 3600.06/3614.11 c LP no pivot count 668 3600.06/3614.11 c LP infeasibilities 11 3600.06/3614.11 c LP valid Farkas constraints 11 3600.06/3614.11 c LP learned Farkas constraints 11 3600.06/3614.11 c LP basis resets 0 3600.06/3614.11 c LP cycling count 0 3600.06/3614.11 c LP singular count 0 3600.06/3614.11 c LP no primal count 0 3600.06/3614.11 c LP no farkas count 0 3600.06/3614.11 c LP other issue count 0 3600.06/3614.11 c LP Gomory cuts 0 3600.06/3614.11 c LP learned cuts 0 3600.06/3614.11 c LP deleted cuts 0 3600.06/3614.11 c LP encountered Gomory constraints 0 3600.06/3614.11 c LP encountered Farkas constraints 90 3600.06/3614.11 c LP encountered learned Farkas constraints 27 3600.06/3614.11 c CG auxiliary variables introduced 329 3600.06/3614.11 c CG solutions found 33 3600.06/3614.11 c CG cores constructed 139 3600.06/3614.11 c CG core cardinality constraints returned 0 3600.06/3614.11 c CG unit cores 0 3600.06/3614.11 c CG single cores 139 3600.06/3614.11 c CG blocks removed during cardinality reduction 0 3600.06/3614.11 c CG first core best 0 3600.06/3614.11 c CG decision core best 0 3600.06/3614.11 c CG core reduction tie 0 3600.06/3614.11 c CG core degree average 1.00 3600.06/3614.11 c CG core slack average 4.16 3600.06/3614.11 s SATISFIABLE 3600.06/3614.11 v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 x97 -x98 x99 x100 -x101 -x102 x103 x104 x105 -x106 x107 -x108 -x109 x110 -x111 x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 x165 x166 x167 -x168 x169 x170 x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 x182 -x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 -x198 x199 x200 x201 -x202 -x203 x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 x242 -x243 x244 x245 x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 x271 x272 -x273 -x274 x275 x276 -x277 x278 -x279 x280 x281 -x282 x283 x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 x301 x302 -x303 -x304 -x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 -x314 x315 x316 -x317 x318 -x319 x320 -x321 -x322 x323 -x324 x325 -x326 x327 x328 x329 x330 x331 -x332 x333 x334 -x335 x336 -x337 -x338 -x339 -x340 x341 x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 -x351 x352 x353 -x354 -x355 -x356 x357 x358 x359 -x360 -x361 x362 x363 x364 x365 x366 -x367 -x368 -x369 x370 x371 -x372 -x373 -x374 -x375 -x376 x377 x378 x379 -x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 x389 x390 x391 x392 x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 x416 x417 x418 -x419 -x420 -x421 x422 x423 -x424 -x425 x426 -x427 -x428 x429 x430 -x431 -x432 x433 x434 x435 x436 -x437 -x438 -x439 -x440 x441 -x442 x443 x444 x445 x446 x447 -x448 x449 -x450 x451 x452 -x453 x454 x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 x465 -x466 -x467
OK 184
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 (63681 MiB free)
memory of node 1: 64473 MiB (63791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462558-1722340764/watcher-4462558-1722340764 -o /tmp/evaluation-result-4462558-1722340764/solver-4462558-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462558-1722340764 --lp-cut-gomory=0 HOME/instance-4462558-1722340764.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=5759, runsolver pid=5756
[startup+0.10009 s]*
/proc/loadavg: 0.12 0.11 0.09 2/245 5766
/proc/meminfo: memFree=130530676/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=37376 memory=2700 CPUtime=0 cores=0,2
/proc/5759/stat : 5759 (roundingsat) D 5756 5759 5693 0 -1 4194304 217 0 0 0 0 0 0 0 20 0 1 0 446779 38273024 675 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 8404994 1 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 9344 675 619 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2700 KiB
[startup+0.212856 s]*
/proc/loadavg: 0.12 0.11 0.09 2/245 5766
/proc/meminfo: memFree=130528332/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=37376 memory=2700 CPUtime=0 cores=0,2
/proc/5759/stat : 5759 (roundingsat) D 5756 5759 5693 0 -1 1077936128 217 0 0 0 0 0 0 0 20 0 1 0 446779 38273024 675 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 9344 675 619 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2700 KiB
[startup+0.31335 s]*
/proc/loadavg: 0.12 0.11 0.09 3/245 5766
/proc/meminfo: memFree=130527408/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=37376 memory=2700 CPUtime=0 cores=0,2
/proc/5759/stat : 5759 (roundingsat) D 5756 5759 5693 0 -1 1077936128 217 0 0 0 0 0 0 0 20 0 1 0 446779 38273024 675 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 9344 675 619 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2700 KiB
[startup+0.700299 s]
/proc/loadavg: 0.12 0.11 0.09 5/244 5767
/proc/meminfo: memFree=130519424/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=38844 memory=8872 CPUtime=0.29 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 633 0 0 0 27 2 0 0 20 0 1 0 446779 39776256 2218 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 9711 2218 1797 992 0 1569 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38844 KiB
Current children cumulated memory: 8872 KiB
[startup+1.50026 s]
/proc/loadavg: 0.12 0.11 0.09 4/241 5775
/proc/meminfo: memFree=130498296/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=42304 memory=15908 CPUtime=1.08 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 1820 0 0 0 97 11 0 0 20 0 1 0 446779 43319296 3977 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 10576 3977 1896 992 0 2434 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 42304 KiB
Current children cumulated memory: 15908 KiB
[startup+3.11302 s]
/proc/loadavg: 0.12 0.11 0.09 5/241 5800
/proc/meminfo: memFree=130406436/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=50936 memory=23244 CPUtime=2.69 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 3739 0 0 0 250 19 0 0 20 0 1 0 446779 52158464 5811 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 12734 5811 1896 992 0 4592 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 50936 KiB
Current children cumulated memory: 23244 KiB
[startup+6.30024 s]
/proc/loadavg: 0.43 0.17 0.11 5/248 5816
/proc/meminfo: memFree=130335072/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=52888 memory=26040 CPUtime=5.86 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 4475 0 0 0 553 33 0 0 20 0 1 0 446779 54157312 6510 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 13222 6510 1896 992 0 5080 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 52888 KiB
Current children cumulated memory: 26040 KiB
[startup+12.7003 s]
/proc/loadavg: 0.80 0.26 0.14 5/248 5818
/proc/meminfo: memFree=130209448/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=73356 memory=40992 CPUtime=12.24 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 7208 0 0 0 1173 51 0 0 20 0 1 0 446779 75116544 10248 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 18339 10248 1896 992 0 10197 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 73356 KiB
Current children cumulated memory: 40992 KiB
[startup+25.5003 s]
/proc/loadavg: 1.51 0.44 0.20 5/243 5846
/proc/meminfo: memFree=130014056/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=77808 memory=47056 CPUtime=25.01 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 8251 0 0 0 2413 88 0 0 20 0 1 0 446779 79675392 11764 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 19452 11764 1896 992 0 11310 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 77808 KiB
Current children cumulated memory: 47056 KiB
[startup+51.1131 s]
/proc/loadavg: 2.48 0.76 0.31 6/248 5871
/proc/meminfo: memFree=129606716/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=100056 memory=66220 CPUtime=50.53 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 11061 0 0 0 4912 141 0 0 20 0 1 0 446779 102457344 16555 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 25014 16555 1912 992 0 16872 0
Current children cumulated CPU time: 50.53 s
Current children cumulated vsize: 100056 KiB
Current children cumulated memory: 66220 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.29 0.52 6/247 5896
/proc/meminfo: memFree=128940508/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=135144 memory=96836 CPUtime=101.54 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 15218 0 0 0 9950 204 0 0 20 0 1 0 446779 138387456 24209 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 33786 24209 1912 992 0 25644 0
Current children cumulated CPU time: 101.54 s
Current children cumulated vsize: 135144 KiB
Current children cumulated memory: 96836 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.82 0.75 6/247 5906
/proc/meminfo: memFree=128309084/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=140920 memory=101540 CPUtime=161.33 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 16508 0 0 0 15845 288 0 0 20 0 1 0 446779 144302080 25385 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 35230 25385 1912 992 0 27088 0
Current children cumulated CPU time: 161.33 s
Current children cumulated vsize: 140920 KiB
Current children cumulated memory: 101540 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.96 6/247 5917
/proc/meminfo: memFree=127665880/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=144736 memory=104484 CPUtime=221.12 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 17414 0 0 0 21753 359 0 0 20 0 1 0 446779 148209664 26121 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 36184 26121 1912 992 0 28042 0
Current children cumulated CPU time: 221.12 s
Current children cumulated vsize: 144736 KiB
Current children cumulated memory: 104484 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.57 1.16 8/246 5928
/proc/meminfo: memFree=127087144/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=154084 memory=111444 CPUtime=280.9 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 19363 0 0 0 27673 417 0 0 20 0 1 0 446779 157782016 27861 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 38521 27861 1912 992 0 30379 0
Current children cumulated CPU time: 280.9 s
Current children cumulated vsize: 154084 KiB
Current children cumulated memory: 111444 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.87 1.35 6/246 5938
/proc/meminfo: memFree=126544404/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=201536 memory=145604 CPUtime=340.69 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 23297 0 0 0 33625 444 0 0 20 0 1 0 446779 206372864 36401 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 50384 36401 1912 992 0 42242 0
Current children cumulated CPU time: 340.69 s
Current children cumulated vsize: 201536 KiB
Current children cumulated memory: 145604 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.09 1.52 6/245 5951
/proc/meminfo: memFree=126088028/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=211108 memory=168856 CPUtime=400.48 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 25518 0 0 0 39583 465 0 0 20 0 1 0 446779 216174592 42214 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 52777 42214 1912 992 0 44635 0
Current children cumulated CPU time: 400.48 s
Current children cumulated vsize: 211108 KiB
Current children cumulated memory: 168856 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.29 1.69 6/245 5961
/proc/meminfo: memFree=125654752/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=279424 memory=196628 CPUtime=460.27 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 30040 0 0 0 45539 488 0 0 20 0 1 0 446779 286130176 49157 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 69856 49157 1912 992 0 61714 0
################
# More data... #
################
Current children cumulated memory: 361236 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.01 5/251 7110
/proc/meminfo: memFree=81976992/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=479952 memory=361236 CPUtime=2911.02 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 55903 0 0 0 289558 1544 0 0 20 0 1 0 446779 491470848 90309 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 119988 90309 1912 992 0 111846 0
Current children cumulated CPU time: 2911.02 s
Current children cumulated vsize: 479952 KiB
Current children cumulated memory: 361236 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.02 5/254 7123
/proc/meminfo: memFree=80646728/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=479952 memory=361240 CPUtime=2970.78 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 56084 0 0 0 295511 1567 0 0 20 0 1 0 446779 491470848 90310 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 119988 90310 1912 992 0 111846 0
Current children cumulated CPU time: 2970.78 s
Current children cumulated vsize: 479952 KiB
Current children cumulated memory: 361240 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.02 5/254 7134
/proc/meminfo: memFree=79025220/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=479952 memory=361256 CPUtime=3030.54 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 56270 0 0 0 301468 1586 0 0 20 0 1 0 446779 491470848 90314 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 119988 90314 1912 992 0 111846 0
Current children cumulated CPU time: 3030.54 s
Current children cumulated vsize: 479952 KiB
Current children cumulated memory: 361256 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/258 7151
/proc/meminfo: memFree=77349356/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=479952 memory=361384 CPUtime=3090.3 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 56489 0 0 0 307425 1605 0 0 20 0 1 0 446779 491470848 90346 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 119988 90346 1912 992 0 111846 0
Current children cumulated CPU time: 3090.3 s
Current children cumulated vsize: 479952 KiB
Current children cumulated memory: 361384 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/260 7164
/proc/meminfo: memFree=75429360/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=479952 memory=361580 CPUtime=3150.06 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 56713 0 0 0 313385 1621 0 0 20 0 1 0 446779 491470848 90395 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 119988 90395 1912 992 0 111846 0
Current children cumulated CPU time: 3150.06 s
Current children cumulated vsize: 479952 KiB
Current children cumulated memory: 361580 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.12 4.03 5/259 7177
/proc/meminfo: memFree=73890876/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=480648 memory=362104 CPUtime=3209.83 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 57028 0 0 0 319347 1636 0 0 20 0 1 0 446779 492183552 90526 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120162 90526 1912 992 0 112020 0
Current children cumulated CPU time: 3209.83 s
Current children cumulated vsize: 480648 KiB
Current children cumulated memory: 362104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/258 7187
/proc/meminfo: memFree=72921332/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=482440 memory=363116 CPUtime=3269.58 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 57494 0 0 0 325305 1653 0 0 20 0 1 0 446779 494018560 90779 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120610 90779 1912 992 0 112468 0
Current children cumulated CPU time: 3269.58 s
Current children cumulated vsize: 482440 KiB
Current children cumulated memory: 363116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.03 6/260 7199
/proc/meminfo: memFree=71152644/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=482800 memory=363648 CPUtime=3329.35 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 58135 0 0 0 331246 1689 0 0 20 0 1 0 446779 494387200 90912 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120700 90912 1912 992 0 112558 0
Current children cumulated CPU time: 3329.35 s
Current children cumulated vsize: 482800 KiB
Current children cumulated memory: 363648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.04 5/260 7596
/proc/meminfo: memFree=69525856/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363788 CPUtime=3389.11 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 58375 0 0 0 337196 1715 0 0 20 0 1 0 446779 494616576 90947 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90947 1912 992 0 112614 0
Current children cumulated CPU time: 3389.11 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.05 5/258 7607
/proc/meminfo: memFree=68053536/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363888 CPUtime=3448.86 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 58555 0 0 0 343140 1746 0 0 20 0 1 0 446779 494616576 90972 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90972 1912 992 0 112614 0
Current children cumulated CPU time: 3448.86 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363888 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.05 5/257 7618
/proc/meminfo: memFree=65985288/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363892 CPUtime=3508.62 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 58737 0 0 0 349091 1771 0 0 20 0 1 0 446779 494616576 90973 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90973 1912 992 0 112614 0
Current children cumulated CPU time: 3508.62 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.23 4.09 5/259 7798
/proc/meminfo: memFree=63861420/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363940 CPUtime=3568.38 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 58930 0 0 0 355046 1792 0 0 20 0 1 0 446779 494616576 90985 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90985 1912 992 0 112614 0
Current children cumulated CPU time: 3568.38 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.1 s]*
/proc/loadavg: 4.27 4.22 4.09 3/248 7858
/proc/meminfo: memFree=63990840/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363976 CPUtime=3600.06 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 59027 0 0 0 358205 1801 0 0 20 0 1 0 446779 494616576 90994 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90994 1912 992 0 112614 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.53 s]
# the end of solver process 5759 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.06 s, system=18.0181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.5 s]
/proc/loadavg: 4.27 4.22 4.09 3/248 7858
/proc/meminfo: memFree=63990840/131655788 swapFree=131071996/131071996
[pid=5759] ppid=5756 vsize=483024 memory=363976 CPUtime=3600.07 cores=0,2
/proc/5759/stat : 5759 (roundingsat) R 5756 5759 5693 0 -1 4194304 59039 0 0 0 358206 1801 0 0 20 0 1 0 446779 494616576 90994 134679101440 4194304 8255733 140732781959664 0 0 0 0 0 25182210 0 0 0 17 0 0 0 76 0 0 9037040 9046032 14254080 140732781962078 140732781962340 140732781962340 140732781969353 0
/proc/5759/statm: 120756 90994 1912 992 0 112614 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 363976 KiB
Child status: 0
Real time (s): 3614.53
CPU time (s): 3600.08
CPU user time (s): 3582.06
CPU system time (s): 18.0181
CPU usage (%): 99.6003
Max. virtual memory (cumulated for all children) (KiB): 484560
Max. memory (cumulated for all children) (KiB): 364880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.06
system time used= 18.0181
maximum resident set size= 364880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4520288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 25511
# summary of solver processes directly reported to runsolver:
# pid: 5759
# total CPU time (s): 3600.08
# total CPU user time (s): 3582.06
# total CPU system time (s): 18.0181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1134 second user time and 36.1976 second system time
The end
Begin job on nodeC011 at 2024-07-30 13:59:24 IDJOB=4462558 IDBENCH=147542 IDSOLVER=3089 FILE ID=nodeC011/4462558-1722340764 RUNJOBID= nodeC011-1722340763-5703 SLURM_JOB_ID= 8248991 Free space on /tmp= 723768 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.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-4462558-1722340764/watcher-4462558-1722340764 -o /tmp/evaluation-result-4462558-1722340764/solver-4462558-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722340763-5703 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462558-1722340764 --lp-cut-gomory=0 HOME/instance-4462558-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a RANDOM SEED=1492646933 nodeC011.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.140 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.28 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.143 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.29 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.145 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.28 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.160 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.29 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.288 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.28 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.296 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.29 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.139 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.28 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.152 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130533168 kB MemAvailable: 130106280 kB Buffers: 38892 kB Cached: 332132 kB SwapCached: 0 kB Active: 127140 kB Inactive: 587872 kB Active(anon): 1896 kB Inactive(anon): 371600 kB Active(file): 125244 kB Inactive(file): 216272 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25760 kB Writeback: 0 kB AnonPages: 342084 kB Mapped: 93720 kB Shmem: 29512 kB KReclaimable: 41688 kB Slab: 110912 kB SReclaimable: 41688 kB SUnreclaim: 69224 kB KernelStack: 3824 kB PageTables: 9864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 742444 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 219136 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: 156488 kB DirectMap2M: 9185280 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723732 MiB End job on nodeC011 at 2024-07-30 14:59:39