| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.08 | 3614.75 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| 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 | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 478 |
| Total number of constraints | 478 |
| 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 | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| 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 | 478 |
| 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 | 478 |
| 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.04 c RoundingSat 2 0.00/0.04 c branch 0.00/0.04 c commit 0.00/0.05 c #variables 478 #constraints 478 0.56/0.65 c bounds - >= 0 @ 0.007518 0.56/0.65 c bounds 226 >= 0 @ 0.415146 0.56/0.65 c bounds 226 >= 1 @ 0.415777 0.56/0.65 c bounds 226 >= 2 @ 0.41628 0.56/0.65 c bounds 226 >= 3 @ 0.41628 0.56/0.65 c bounds 226 >= 4 @ 0.41628 0.56/0.65 c bounds 226 >= 5 @ 0.416781 0.56/0.65 c bounds 226 >= 6 @ 0.41726 0.56/0.65 c bounds 226 >= 7 @ 0.417777 0.56/0.65 c bounds 226 >= 8 @ 0.418294 0.56/0.65 c bounds 226 >= 9 @ 0.41883 0.56/0.65 c bounds 226 >= 10 @ 0.419369 0.56/0.65 c bounds 226 >= 11 @ 0.419896 0.56/0.65 c bounds 226 >= 12 @ 0.420441 0.56/0.65 c bounds 226 >= 13 @ 0.420978 0.56/0.65 c bounds 226 >= 14 @ 0.421526 0.56/0.65 c bounds 226 >= 15 @ 0.422074 0.56/0.65 c bounds 226 >= 16 @ 0.422645 0.56/0.65 c bounds 226 >= 17 @ 0.423216 0.56/0.65 c bounds 226 >= 18 @ 0.423784 0.56/0.65 c bounds 226 >= 19 @ 0.423978 0.56/0.65 c bounds 226 >= 20 @ 0.423978 0.56/0.65 c bounds 226 >= 21 @ 0.424503 0.56/0.65 c bounds 226 >= 22 @ 0.425093 0.56/0.65 c bounds 226 >= 23 @ 0.425233 0.56/0.65 c bounds 226 >= 24 @ 0.425356 0.56/0.65 c bounds 226 >= 25 @ 0.425911 0.56/0.65 c bounds 226 >= 26 @ 0.426117 0.56/0.65 c bounds 226 >= 27 @ 0.426117 0.56/0.65 c bounds 226 >= 28 @ 0.426227 0.56/0.65 c bounds 226 >= 29 @ 0.426427 0.56/0.65 c bounds 226 >= 30 @ 0.426996 0.56/0.65 c bounds 225 >= 30 @ 0.467337 0.56/0.65 c bounds 225 >= 31 @ 0.468022 0.56/0.65 c bounds 225 >= 32 @ 0.468702 0.56/0.65 c bounds 225 >= 33 @ 0.469504 0.56/0.65 c bounds 225 >= 34 @ 0.470725 0.56/0.65 c bounds 225 >= 35 @ 0.471455 0.56/0.65 c bounds 225 >= 36 @ 0.472147 0.56/0.65 c bounds 225 >= 37 @ 0.472832 0.56/0.65 c bounds 225 >= 38 @ 0.472966 0.56/0.65 c bounds 225 >= 39 @ 0.473302 0.56/0.65 c bounds 225 >= 40 @ 0.47396 0.56/0.65 c bounds 225 >= 41 @ 0.474687 0.56/0.65 c bounds 225 >= 42 @ 0.475402 0.56/0.65 c bounds 225 >= 43 @ 0.476106 0.56/0.65 c bounds 225 >= 44 @ 0.476816 0.56/0.65 c bounds 225 >= 45 @ 0.477553 0.56/0.65 c bounds 225 >= 46 @ 0.478301 0.56/0.65 c bounds 225 >= 47 @ 0.479044 0.56/0.65 c bounds 225 >= 48 @ 0.479778 0.56/0.65 c bounds 225 >= 49 @ 0.480505 0.56/0.65 c bounds 225 >= 50 @ 0.48124 0.56/0.65 c bounds 225 >= 51 @ 0.481972 0.56/0.65 c bounds 225 >= 52 @ 0.482715 0.56/0.65 c bounds 225 >= 53 @ 0.482914 0.56/0.65 c bounds 225 >= 54 @ 0.483251 0.56/0.65 c bounds 225 >= 55 @ 0.483894 0.56/0.65 c bounds 225 >= 56 @ 0.484632 0.56/0.65 c bounds 225 >= 57 @ 0.484904 0.56/0.65 c bounds 225 >= 58 @ 0.485188 0.56/0.65 c bounds 225 >= 59 @ 0.485881 0.56/0.65 c bounds 225 >= 60 @ 0.486642 0.56/0.65 c bounds 225 >= 61 @ 0.487391 0.56/0.65 c bounds 225 >= 62 @ 0.488141 0.56/0.65 c bounds 225 >= 63 @ 0.488913 0.56/0.65 c bounds 225 >= 64 @ 0.489681 0.56/0.65 c bounds 225 >= 65 @ 0.490438 0.56/0.65 c bounds 225 >= 66 @ 0.491236 0.56/0.65 c bounds 225 >= 67 @ 0.492023 0.56/0.65 c bounds 225 >= 68 @ 0.492811 0.56/0.65 c bounds 225 >= 69 @ 0.492862 0.56/0.65 c bounds 225 >= 70 @ 0.492863 0.56/0.65 c bounds 225 >= 71 @ 0.493312 0.56/0.65 c bounds 225 >= 72 @ 0.494095 0.56/0.65 c bounds 225 >= 73 @ 0.494863 0.56/0.65 c bounds 225 >= 74 @ 0.495658 0.56/0.65 c bounds 225 >= 75 @ 0.496481 0.56/0.65 c bounds 225 >= 76 @ 0.497281 0.56/0.65 c bounds 225 >= 77 @ 0.498047 0.56/0.65 c bounds 225 >= 78 @ 0.498829 0.56/0.65 c bounds 225 >= 79 @ 0.499596 0.56/0.65 c bounds 225 >= 80 @ 0.500376 0.56/0.65 c bounds 225 >= 81 @ 0.501177 0.56/0.65 c bounds 225 >= 82 @ 0.501995 0.56/0.65 c bounds 225 >= 83 @ 0.502835 0.56/0.65 c bounds 225 >= 84 @ 0.503615 0.56/0.65 c bounds 225 >= 85 @ 0.503804 0.56/0.65 c bounds 225 >= 86 @ 0.504245 0.56/0.65 c bounds 225 >= 87 @ 0.505037 0.56/0.65 c bounds 225 >= 88 @ 0.505809 0.56/0.65 c bounds 225 >= 89 @ 0.506607 0.56/0.65 c bounds 225 >= 90 @ 0.507409 0.56/0.65 c bounds 225 >= 91 @ 0.50819 0.56/0.65 c bounds 225 >= 92 @ 0.508988 0.56/0.65 c bounds 225 >= 93 @ 0.509792 0.56/0.65 c bounds 225 >= 94 @ 0.510554 0.56/0.65 c bounds 225 >= 95 @ 0.510768 0.56/0.65 c bounds 225 >= 96 @ 0.511168 0.56/0.65 c bounds 225 >= 97 @ 0.511967 0.56/0.65 c bounds 225 >= 98 @ 0.512753 0.56/0.65 c bounds 225 >= 99 @ 0.513618 0.56/0.65 c bounds 225 >= 100 @ 0.513746 0.56/0.65 c bounds 225 >= 101 @ 0.514292 0.56/0.65 c bounds 225 >= 102 @ 0.515093 0.56/0.65 c bounds 225 >= 103 @ 0.515904 0.56/0.65 c bounds 225 >= 104 @ 0.516725 0.56/0.65 c bounds 225 >= 105 @ 0.517565 0.56/0.65 c bounds 225 >= 106 @ 0.517725 0.56/0.65 c bounds 225 >= 107 @ 0.517725 0.56/0.65 c bounds 225 >= 108 @ 0.518169 0.56/0.65 c bounds 225 >= 109 @ 0.518989 0.56/0.65 c bounds 225 >= 110 @ 0.519819 0.56/0.65 c bounds 225 >= 111 @ 0.520649 0.56/0.65 c bounds 225 >= 112 @ 0.520708 0.56/0.65 c bounds 225 >= 113 @ 0.520708 0.56/0.65 c bounds 225 >= 114 @ 0.520708 0.56/0.65 c bounds 225 >= 115 @ 0.521104 0.56/0.65 c bounds 225 >= 116 @ 0.521927 0.56/0.65 c bounds 225 >= 117 @ 0.522824 0.56/0.65 c bounds 225 >= 118 @ 0.523675 0.56/0.65 c bounds 225 >= 119 @ 0.524529 0.56/0.65 c bounds 225 >= 120 @ 0.524682 0.56/0.65 c bounds 225 >= 121 @ 0.524684 0.56/0.65 c bounds 225 >= 122 @ 0.525321 0.56/0.65 c bounds 225 >= 123 @ 0.525673 0.56/0.65 c bounds 225 >= 124 @ 0.526229 0.56/0.65 c bounds 225 >= 125 @ 0.527216 0.56/0.65 c bounds 225 >= 126 @ 0.528194 0.56/0.65 c bounds 225 >= 127 @ 0.52866 0.56/0.65 c bounds 225 >= 128 @ 0.52866 0.56/0.65 c bounds 225 >= 129 @ 0.529254 0.56/0.65 c bounds 225 >= 130 @ 0.529652 0.56/0.65 c bounds 225 >= 131 @ 0.529652 0.56/0.65 c bounds 225 >= 132 @ 0.529828 0.56/0.65 c bounds 225 >= 133 @ 0.531798 0.56/0.65 c bounds 225 >= 134 @ 0.534791 1.54/1.69 c bounds 225 >= 135 @ 0.536227 1.54/1.69 c bounds 225 >= 136 @ 0.537232 1.54/1.69 c bounds 225 >= 137 @ 0.537843 1.54/1.69 c bounds 225 >= 138 @ 0.544004 1.54/1.69 c bounds 224 >= 138 @ 0.590739 1.54/1.69 c bounds 224 >= 139 @ 0.592331 1.54/1.69 c bounds 224 >= 140 @ 0.61661 1.54/1.69 c bounds 224 >= 141 @ 0.672592 1.54/1.69 c bounds 223 >= 141 @ 0.69146 1.54/1.69 c bounds 222 >= 141 @ 0.704412 1.54/1.69 c bounds 221 >= 141 @ 0.713112 1.54/1.69 c bounds 220 >= 141 @ 0.723905 1.54/1.69 c bounds 219 >= 141 @ 0.733438 1.54/1.69 c bounds 218 >= 141 @ 0.742574 1.54/1.69 c #Conflicts: 1000 | #Constraints: 2198 1.54/1.69 c bounds 218 >= 142 @ 0.871517 1.54/1.69 c bounds 217 >= 142 @ 0.883711 1.54/1.69 c bounds 216 >= 142 @ 0.916408 1.54/1.69 c bounds 215 >= 142 @ 0.937262 1.54/1.69 c bounds 214 >= 142 @ 1.0568 1.54/1.69 c #Conflicts: 2000 | #Constraints: 3262 1.54/1.69 c INPROCESSING 1.54/1.69 c GARBAGE COLLECT 1.54/1.69 c rational objective 142 2.43/2.58 c #Conflicts: 3000 | #Constraints: 3158 2.43/2.58 c bounds 213 >= 142 @ 2.00014 2.43/2.58 c #Conflicts: 4000 | #Constraints: 4159 2.43/2.58 c INPROCESSING 2.43/2.58 c GARBAGE COLLECT 2.43/2.58 c rational objective 142 3.53/3.61 c bounds 213 >= 143 @ 2.41108 3.53/3.61 c #Conflicts: 5000 | #Constraints: 3631 3.53/3.61 c #Conflicts: 6000 | #Constraints: 4631 3.53/3.61 c INPROCESSING 3.53/3.61 c GARBAGE COLLECT 3.53/3.61 c rational objective 143 4.33/4.44 c #Conflicts: 7000 | #Constraints: 3657 4.33/4.44 c bounds 212 >= 143 @ 3.41537 4.33/4.44 c bounds 211 >= 143 @ 3.54429 4.33/4.44 c bounds 210 >= 143 @ 3.63171 4.33/4.44 c #Conflicts: 8000 | #Constraints: 4660 4.33/4.44 c bounds 209 >= 143 @ 3.80465 4.33/4.44 c bounds 209 >= 144 @ 3.96813 4.33/4.44 c #Conflicts: 9000 | #Constraints: 5694 4.33/4.44 c INPROCESSING 4.33/4.44 c GARBAGE COLLECT 4.33/4.44 c rational objective 144 5.43/5.52 c #Conflicts: 10000 | #Constraints: 4349 5.43/5.52 c #Conflicts: 11000 | #Constraints: 5349 5.43/5.52 c bounds 208 >= 144 @ 4.84285 5.43/5.52 c #Conflicts: 12000 | #Constraints: 6350 5.43/5.52 c INPROCESSING 5.43/5.52 c GARBAGE COLLECT 5.43/5.52 c rational objective 144 6.82/6.94 c #Conflicts: 13000 | #Constraints: 4834 6.82/6.94 c #Conflicts: 14000 | #Constraints: 5834 6.82/6.94 c #Conflicts: 15000 | #Constraints: 6834 6.82/6.94 c INPROCESSING 6.82/6.94 c GARBAGE COLLECT 6.82/6.94 c rational objective 144 7.93/8.05 c bounds 207 >= 144 @ 6.70768 7.93/8.05 c #Conflicts: 16000 | #Constraints: 5085 7.93/8.05 c bounds 206 >= 144 @ 6.85727 7.93/8.05 c #Conflicts: 17000 | #Constraints: 6086 7.93/8.05 c #Conflicts: 18000 | #Constraints: 7086 7.93/8.05 c INPROCESSING 7.93/8.05 c GARBAGE COLLECT 7.93/8.05 c rational objective 144 9.32/9.45 c #Conflicts: 19000 | #Constraints: 5060 9.32/9.45 c #Conflicts: 20000 | #Constraints: 6060 9.32/9.45 c #Conflicts: 21000 | #Constraints: 7060 9.32/9.45 c INPROCESSING 9.32/9.45 c GARBAGE COLLECT 9.32/9.45 c rational objective 144 11.32/11.41 c #Conflicts: 22000 | #Constraints: 4841 11.32/11.41 c #Conflicts: 23000 | #Constraints: 5841 11.32/11.41 c #Conflicts: 24000 | #Constraints: 6841 11.32/11.41 c #Conflicts: 25000 | #Constraints: 7841 11.32/11.41 c bounds 206 >= 145 @ 10.7247 11.32/11.41 c INPROCESSING 11.32/11.41 c GARBAGE COLLECT 11.32/11.41 c rational objective 145 13.21/13.35 c #Conflicts: 26000 | #Constraints: 5479 13.21/13.35 c #Conflicts: 27000 | #Constraints: 6479 13.21/13.35 c #Conflicts: 28000 | #Constraints: 7479 13.21/13.35 c #Conflicts: 29000 | #Constraints: 8479 13.21/13.35 c INPROCESSING 13.21/13.35 c GARBAGE COLLECT 13.21/13.35 c rational objective 145 15.50/15.60 c #Conflicts: 30000 | #Constraints: 5878 15.50/15.60 c #Conflicts: 31000 | #Constraints: 6878 15.50/15.60 c #Conflicts: 32000 | #Constraints: 7878 15.50/15.60 c #Conflicts: 33000 | #Constraints: 8878 15.50/15.60 c INPROCESSING 15.50/15.60 c GARBAGE COLLECT 15.50/15.60 c rational objective 145 17.91/18.05 c #Conflicts: 34000 | #Constraints: 6149 17.91/18.05 c #Conflicts: 35000 | #Constraints: 7149 17.91/18.05 c #Conflicts: 36000 | #Constraints: 8149 17.91/18.05 c #Conflicts: 37000 | #Constraints: 9149 17.91/18.05 c INPROCESSING 17.91/18.05 c GARBAGE COLLECT 17.91/18.05 c rational objective 145 20.90/21.02 c #Conflicts: 38000 | #Constraints: 6122 20.90/21.02 c #Conflicts: 39000 | #Constraints: 7122 20.90/21.02 c #Conflicts: 40000 | #Constraints: 8122 20.90/21.02 c #Conflicts: 41000 | #Constraints: 9122 20.90/21.02 c INPROCESSING 20.90/21.02 c GARBAGE COLLECT 20.90/21.02 c rational objective 145 42.84/43.02 c #Conflicts: 42000 | #Constraints: 5982 42.84/43.02 c #Conflicts: 43000 | #Constraints: 6982 42.84/43.02 c #Conflicts: 44000 | #Constraints: 7982 42.84/43.02 c #Conflicts: 45000 | #Constraints: 8982 42.84/43.02 c #Conflicts: 46000 | #Constraints: 9982 42.84/43.02 c #Conflicts: 47000 | #Constraints: 10982 42.84/43.02 c #Conflicts: 48000 | #Constraints: 11982 42.84/43.02 c #Conflicts: 49000 | #Constraints: 12982 42.84/43.02 c bounds 206 >= 146 @ 26.9093 42.84/43.02 c #Conflicts: 50000 | #Constraints: 14036 42.84/43.02 c #Conflicts: 51000 | #Constraints: 15036 42.84/43.02 c #Conflicts: 52000 | #Constraints: 16036 42.84/43.02 c #Conflicts: 53000 | #Constraints: 17036 42.84/43.02 c #Conflicts: 54000 | #Constraints: 18036 42.84/43.02 c #Conflicts: 55000 | #Constraints: 19036 42.84/43.02 c bounds 205 >= 146 @ 33.7356 42.84/43.02 c #Conflicts: 56000 | #Constraints: 20037 42.84/43.02 c #Conflicts: 57000 | #Constraints: 21037 42.84/43.02 c #Conflicts: 58000 | #Constraints: 22037 42.84/43.02 c INPROCESSING 42.84/43.02 c GARBAGE COLLECT 42.84/43.02 c rational objective 146 46.52/46.75 c bounds 204 >= 146 @ 41.6743 46.52/46.75 c #Conflicts: 59000 | #Constraints: 12357 46.52/46.75 c #Conflicts: 60000 | #Constraints: 13357 46.52/46.75 c #Conflicts: 61000 | #Constraints: 14357 46.52/46.75 c #Conflicts: 62000 | #Constraints: 15357 46.52/46.75 c #Conflicts: 63000 | #Constraints: 16357 46.52/46.75 c #Conflicts: 64000 | #Constraints: 17357 46.52/46.75 c bounds 203 >= 146 @ 45.165 46.52/46.75 c INPROCESSING 46.52/46.75 c GARBAGE COLLECT 46.52/46.75 c rational objective 146 52.11/52.32 c #Conflicts: 65000 | #Constraints: 10100 52.11/52.32 c #Conflicts: 66000 | #Constraints: 11100 52.11/52.32 c #Conflicts: 67000 | #Constraints: 12100 52.11/52.32 c bounds 202 >= 146 @ 46.4877 52.11/52.32 c #Conflicts: 68000 | #Constraints: 13101 52.11/52.32 c #Conflicts: 69000 | #Constraints: 14101 52.11/52.32 c #Conflicts: 70000 | #Constraints: 15101 52.11/52.32 c INPROCESSING 52.11/52.32 c GARBAGE COLLECT 52.11/52.32 c rational objective 146 55.39/55.63 c bounds 201 >= 146 @ 50.7572 55.39/55.63 c #Conflicts: 71000 | #Constraints: 9093 55.39/55.63 c #Conflicts: 72000 | #Constraints: 10093 55.39/55.63 c #Conflicts: 73000 | #Constraints: 11093 55.39/55.63 c #Conflicts: 74000 | #Constraints: 12093 55.39/55.63 c #Conflicts: 75000 | #Constraints: 13093 55.39/55.63 c #Conflicts: 76000 | #Constraints: 14093 55.39/55.63 c INPROCESSING 55.39/55.63 c GARBAGE COLLECT 55.39/55.63 c rational objective 146 91.77/92.12 c #Conflicts: 77000 | #Constraints: 8476 91.77/92.12 c #Conflicts: 78000 | #Constraints: 9476 91.77/92.12 c #Conflicts: 79000 | #Constraints: 10476 91.77/92.12 c #Conflicts: 80000 | #Constraints: 11476 91.77/92.12 c #Conflicts: 81000 | #Constraints: 12476 91.77/92.12 c #Conflicts: 82000 | #Constraints: 13476 91.77/92.12 c #Conflicts: 83000 | #Constraints: 14476 91.77/92.12 c #Conflicts: 84000 | #Constraints: 15476 91.77/92.12 c #Conflicts: 85000 | #Constraints: 16476 91.77/92.12 c #Conflicts: 86000 | #Constraints: 17476 91.77/92.12 c #Conflicts: 87000 | #Constraints: 18476 91.77/92.12 c #Conflicts: 88000 | #Constraints: 19476 91.77/92.12 c #Conflicts: 89000 | #Constraints: 20476 91.77/92.12 c #Conflicts: 90000 | #Constraints: 21476 91.77/92.12 c #Conflicts: 91000 | #Constraints: 22476 91.77/92.12 c #Conflicts: 92000 | #Constraints: 23476 91.77/92.12 c #Conflicts: 93000 | #Constraints: 24476 91.77/92.12 c #Conflicts: 94000 | #Constraints: 25476 91.77/92.12 c #Conflicts: 95000 | #Constraints: 26476 91.77/92.12 c #Conflicts: 96000 | #Constraints: 27476 91.77/92.12 c #Conflicts: 97000 | #Constraints: 28476 91.77/92.12 c #Conflicts: 98000 | #Constraints: 29476 91.77/92.12 c #Conflicts: 99000 | #Constraints: 30476 91.77/92.12 c INPROCESSING 91.77/92.12 c GARBAGE COLLECT 91.77/92.12 c rational objective 146 114.99/115.40 c #Conflicts: 100000 | #Constraints: 16917 114.99/115.40 c #Conflicts: 101000 | #Constraints: 17917 114.99/115.40 c #Conflicts: 102000 | #Constraints: 18917 114.99/115.40 c #Conflicts: 103000 | #Constraints: 19917 114.99/115.40 c #Conflicts: 104000 | #Constraints: 20917 114.99/115.40 c #Conflicts: 105000 | #Constraints: 21917 114.99/115.40 c #Conflicts: 106000 | #Constraints: 22917 114.99/115.40 c INPROCESSING 114.99/115.40 c GARBAGE COLLECT 114.99/115.40 c rational objective 146 126.25/126.73 c #Conflicts: 107000 | #Constraints: 13008 126.25/126.73 c #Conflicts: 108000 | #Constraints: 14008 126.25/126.73 c #Conflicts: 109000 | #Constraints: 15008 126.25/126.73 c #Conflicts: 110000 | #Constraints: 16008 126.25/126.73 c #Conflicts: 111000 | #Constraints: 17008 126.25/126.73 c #Conflicts: 112000 | #Constraints: 18008 126.25/126.73 c #Conflicts: 113000 | #Constraints: 19008 126.25/126.73 c #Conflicts: 114000 | #Constraints: 20008 126.25/126.73 c INPROCESSING 126.25/126.73 c GARBAGE COLLECT 126.25/126.73 c rational objective 146 136.42/136.91 c #Conflicts: 115000 | #Constraints: 11761 136.42/136.91 c #Conflicts: 116000 | #Constraints: 12761 136.42/136.91 c #Conflicts: 117000 | #Constraints: 13761 136.42/136.91 c #Conflicts: 118000 | #Constraints: 14761 136.42/136.91 c #Conflicts: 119000 | #Constraints: 15761 136.42/136.91 c #Conflicts: 120000 | #Constraints: 16761 136.42/136.91 c #Conflicts: 121000 | #Constraints: 17761 136.42/136.91 c INPROCESSING 136.42/136.91 c GARBAGE COLLECT 136.42/136.91 c rational objective 146 181.69/182.32 c #Conflicts: 122000 | #Constraints: 10240 181.69/182.32 c #Conflicts: 123000 | #Constraints: 11240 181.69/182.32 c #Conflicts: 124000 | #Constraints: 12240 181.69/182.32 c #Conflicts: 125000 | #Constraints: 13240 181.69/182.32 c #Conflicts: 126000 | #Constraints: 14240 181.69/182.32 c #Conflicts: 127000 | #Constraints: 15240 181.69/182.32 c #Conflicts: 128000 | #Constraints: 16240 181.69/182.32 c #Conflicts: 129000 | #Constraints: 17240 181.69/182.32 c #Conflicts: 130000 | #Constraints: 18240 181.69/182.32 c #Conflicts: 131000 | #Constraints: 19240 181.69/182.32 c #Conflicts: 132000 | #Constraints: 20240 181.69/182.32 c #Conflicts: 133000 | #Constraints: 21240 181.69/182.32 c #Conflicts: 134000 | #Constraints: 22240 181.69/182.32 c #Conflicts: 135000 | #Constraints: 23240 181.69/182.32 c #Conflicts: 136000 | #Constraints: 24240 181.69/182.32 c #Conflicts: 137000 | #Constraints: 25240 181.69/182.32 c bounds 201 >= 147 @ 162.166 181.69/182.32 c #Conflicts: 138000 | #Constraints: 26291 181.69/182.32 c #Conflicts: 139000 | #Constraints: 27291 181.69/182.32 c #Conflicts: 140000 | #Constraints: 28291 181.69/182.32 c #Conflicts: 141000 | #Constraints: 29291 181.69/182.32 c #Conflicts: 142000 | #Constraints: 30291 181.69/182.32 c #Conflicts: 143000 | #Constraints: 31292 181.69/182.32 c #Conflicts: 144000 | #Constraints: 32294 181.69/182.32 c #Conflicts: 145000 | #Constraints: 33295 181.69/182.32 c #Conflicts: 146000 | #Constraints: 34295 181.69/182.32 c #Conflicts: 147000 | #Constraints: 35295 181.69/182.32 c #Conflicts: 148000 | #Constraints: 36296 181.69/182.32 c #Conflicts: 149000 | #Constraints: 37296 181.69/182.32 c INPROCESSING 181.69/182.32 c GARBAGE COLLECT 181.69/182.32 c rational objective 147 200.22/200.99 c #Conflicts: 150000 | #Constraints: 20052 200.22/200.99 c #Conflicts: 151000 | #Constraints: 21052 200.22/200.99 c #Conflicts: 152000 | #Constraints: 22052 200.22/200.99 c #Conflicts: 153000 | #Constraints: 23052 200.22/200.99 c #Conflicts: 154000 | #Constraints: 24052 200.22/200.99 c #Conflicts: 155000 | #Constraints: 25052 200.22/200.99 c #Conflicts: 156000 | #Constraints: 26052 200.22/200.99 c #Conflicts: 157000 | #Constraints: 27052 200.22/200.99 c #Conflicts: 158000 | #Constraints: 28052 200.22/200.99 c INPROCESSING 200.22/200.99 c GARBAGE COLLECT 200.22/200.99 c rational objective 147 210.30/211.07 c #Conflicts: 159000 | #Constraints: 15475 210.30/211.07 c #Conflicts: 160000 | #Constraints: 16475 210.30/211.07 c #Conflicts: 161000 | #Constraints: 17475 210.30/211.07 c #Conflicts: 162000 | #Constraints: 18475 210.30/211.07 c #Conflicts: 163000 | #Constraints: 19475 210.30/211.07 c #Conflicts: 164000 | #Constraints: 20475 210.30/211.07 c #Conflicts: 165000 | #Constraints: 21475 210.30/211.07 c #Conflicts: 166000 | #Constraints: 22475 210.30/211.07 c #Conflicts: 167000 | #Constraints: 23475 210.30/211.07 c bounds 200 >= 147 @ 206.593 210.30/211.07 c #Conflicts: 168000 | #Constraints: 24476 210.30/211.07 c INPROCESSING 210.30/211.07 c GARBAGE COLLECT 210.30/211.07 c rational objective 147 314.58/315.63 c #Conflicts: 169000 | #Constraints: 13936 314.58/315.63 c #Conflicts: 170000 | #Constraints: 14936 314.58/315.63 c bounds 199 >= 147 @ 208.599 314.58/315.63 c #Conflicts: 171000 | #Constraints: 15937 314.58/315.63 c #Conflicts: 172000 | #Constraints: 16937 314.58/315.63 c #Conflicts: 173000 | #Constraints: 17937 314.58/315.63 c #Conflicts: 174000 | #Constraints: 18937 314.58/315.63 c #Conflicts: 175000 | #Constraints: 19937 314.58/315.63 c bounds 198 >= 147 @ 213.785 314.58/315.63 c #Conflicts: 176000 | #Constraints: 20938 314.58/315.63 c #Conflicts: 177000 | #Constraints: 21938 314.58/315.63 c #Conflicts: 178000 | #Constraints: 22938 314.58/315.63 c #Conflicts: 179000 | #Constraints: 23938 314.58/315.63 c #Conflicts: 180000 | #Constraints: 24938 314.58/315.63 c #Conflicts: 181000 | #Constraints: 25938 314.58/315.63 c #Conflicts: 182000 | #Constraints: 26938 314.58/315.63 c #Conflicts: 183000 | #Constraints: 27938 314.58/315.63 c #Conflicts: 184000 | #Constraints: 28938 314.58/315.63 c #Conflicts: 185000 | #Constraints: 29938 314.58/315.63 c #Conflicts: 186000 | #Constraints: 30938 314.58/315.63 c #Conflicts: 187000 | #Constraints: 31938 314.58/315.63 c #Conflicts: 188000 | #Constraints: 32938 314.58/315.63 c #Conflicts: 189000 | #Constraints: 33938 314.58/315.63 c #Conflicts: 190000 | #Constraints: 34938 314.58/315.63 c #Conflicts: 191000 | #Constraints: 35938 314.58/315.63 c #Conflicts: 192000 | #Constraints: 36938 314.58/315.63 c #Conflicts: 193000 | #Constraints: 37938 314.58/315.63 c #Conflicts: 194000 | #Constraints: 38938 314.58/315.63 c #Conflicts: 195000 | #Constraints: 39938 314.58/315.63 c #Conflicts: 196000 | #Constraints: 40938 314.58/315.63 c #Conflicts: 197000 | #Constraints: 41938 314.58/315.63 c #Conflicts: 198000 | #Constraints: 42938 314.58/315.63 c #Conflicts: 199000 | #Constraints: 43938 314.58/315.63 c #Conflicts: 200000 | #Constraints: 44938 314.58/315.63 c INPROCESSING 314.58/315.63 c GARBAGE COLLECT 314.58/315.63 c rational objective 147 333.63/334.76 c #Conflicts: 201000 | #Constraints: 24266 333.63/334.76 c #Conflicts: 202000 | #Constraints: 25266 333.63/334.76 c #Conflicts: 203000 | #Constraints: 26266 333.63/334.76 c #Conflicts: 204000 | #Constraints: 27266 333.63/334.76 c #Conflicts: 205000 | #Constraints: 28266 333.63/334.76 c #Conflicts: 206000 | #Constraints: 29266 333.63/334.76 c #Conflicts: 207000 | #Constraints: 30266 333.63/334.76 c #Conflicts: 208000 | #Constraints: 31266 333.63/334.76 c #Conflicts: 209000 | #Constraints: 32266 333.63/334.76 c #Conflicts: 210000 | #Constraints: 33266 333.63/334.76 c INPROCESSING 333.63/334.76 c GARBAGE COLLECT 333.63/334.76 c rational objective 147 349.48/350.64 c #Conflicts: 211000 | #Constraints: 18037 349.48/350.64 c #Conflicts: 212000 | #Constraints: 19037 349.48/350.64 c #Conflicts: 213000 | #Constraints: 20037 349.48/350.64 c #Conflicts: 214000 | #Constraints: 21037 349.48/350.64 c #Conflicts: 215000 | #Constraints: 22037 349.48/350.64 c #Conflicts: 216000 | #Constraints: 23037 349.48/350.64 c #Conflicts: 217000 | #Constraints: 24037 349.48/350.64 c #Conflicts: 218000 | #Constraints: 25037 349.48/350.64 c #Conflicts: 219000 | #Constraints: 26037 349.48/350.64 c #Conflicts: 220000 | #Constraints: 27037 349.48/350.64 c #Conflicts: 221000 | #Constraints: 28037 349.48/350.64 c INPROCESSING 349.48/350.64 c GARBAGE COLLECT 349.48/350.64 c rational objective 147 489.60/491.17 c #Conflicts: 222000 | #Constraints: 15519 489.60/491.17 c #Conflicts: 223000 | #Constraints: 16519 489.60/491.17 c #Conflicts: 224000 | #Constraints: 17519 489.60/491.17 c #Conflicts: 225000 | #Constraints: 18519 489.60/491.17 c #Conflicts: 226000 | #Constraints: 19519 489.60/491.17 c #Conflicts: 227000 | #Constraints: 20519 489.60/491.17 c #Conflicts: 228000 | #Constraints: 21519 489.60/491.17 c #Conflicts: 229000 | #Constraints: 22519 489.60/491.17 c #Conflicts: 230000 | #Constraints: 23519 489.60/491.17 c #Conflicts: 231000 | #Constraints: 24519 489.60/491.17 c #Conflicts: 232000 | #Constraints: 25519 489.60/491.17 c #Conflicts: 233000 | #Constraints: 26519 489.60/491.17 c #Conflicts: 234000 | #Constraints: 27519 489.60/491.17 c bounds 197 >= 147 @ 372.814 489.60/491.17 c #Conflicts: 235000 | #Constraints: 28520 489.60/491.17 c #Conflicts: 236000 | #Constraints: 29520 489.60/491.17 c #Conflicts: 237000 | #Constraints: 30520 489.60/491.17 c #Conflicts: 238000 | #Constraints: 31520 489.60/491.17 c #Conflicts: 239000 | #Constraints: 32520 489.60/491.17 c #Conflicts: 240000 | #Constraints: 33520 489.60/491.17 c #Conflicts: 241000 | #Constraints: 34520 489.60/491.17 c #Conflicts: 242000 | #Constraints: 35520 489.60/491.17 c #Conflicts: 243000 | #Constraints: 36520 489.60/491.17 c #Conflicts: 244000 | #Constraints: 37520 489.60/491.17 c #Conflicts: 245000 | #Constraints: 38520 489.60/491.17 c #Conflicts: 246000 | #Constraints: 39520 489.60/491.17 c #Conflicts: 247000 | #Constraints: 40520 489.60/491.17 c #Conflicts: 248000 | #Constraints: 41520 489.60/491.17 c #Conflicts: 249000 | #Constraints: 42520 489.60/491.17 c #Conflicts: 250000 | #Constraints: 43520 489.60/491.17 c #Conflicts: 251000 | #Constraints: 44520 489.60/491.17 c #Conflicts: 252000 | #Constraints: 45520 489.60/491.17 c #Conflicts: 253000 | #Constraints: 46520 489.60/491.17 c #Conflicts: 254000 | #Constraints: 47520 489.60/491.17 c #Conflicts: 255000 | #Constraints: 48520 489.60/491.17 c #Conflicts: 256000 | #Constraints: 49520 489.60/491.17 c #Conflicts: 257000 | #Constraints: 50520 489.60/491.17 c INPROCESSING 489.60/491.17 c GARBAGE COLLECT 489.60/491.17 c rational objective 147 510.02/511.69 c #Conflicts: 258000 | #Constraints: 26756 510.02/511.69 c #Conflicts: 259000 | #Constraints: 27756 510.02/511.69 c #Conflicts: 260000 | #Constraints: 28756 510.02/511.69 c #Conflicts: 261000 | #Constraints: 29756 510.02/511.69 c #Conflicts: 262000 | #Constraints: 30756 510.02/511.69 c #Conflicts: 263000 | #Constraints: 31756 510.02/511.69 c #Conflicts: 264000 | #Constraints: 32756 510.02/511.69 c #Conflicts: 265000 | #Constraints: 33756 510.02/511.69 c #Conflicts: 266000 | #Constraints: 34756 510.02/511.69 c #Conflicts: 267000 | #Constraints: 35756 510.02/511.69 c #Conflicts: 268000 | #Constraints: 36756 510.02/511.69 c #Conflicts: 269000 | #Constraints: 37757 510.02/511.69 c INPROCESSING 510.02/511.69 c GARBAGE COLLECT 510.02/511.69 c rational objective 147 530.56/532.28 c #Conflicts: 270000 | #Constraints: 20231 530.56/532.28 c #Conflicts: 271000 | #Constraints: 21231 530.56/532.28 c #Conflicts: 272000 | #Constraints: 22231 530.56/532.28 c #Conflicts: 273000 | #Constraints: 23232 530.56/532.28 c #Conflicts: 274000 | #Constraints: 24232 530.56/532.28 c #Conflicts: 275000 | #Constraints: 25232 530.56/532.28 c #Conflicts: 276000 | #Constraints: 26232 530.56/532.28 c #Conflicts: 277000 | #Constraints: 27232 530.56/532.28 c #Conflicts: 278000 | #Constraints: 28232 530.56/532.28 c #Conflicts: 279000 | #Constraints: 29232 530.56/532.28 c #Conflicts: 280000 | #Constraints: 30232 530.56/532.28 c #Conflicts: 281000 | #Constraints: 31232 530.56/532.28 c #Conflicts: 282000 | #Constraints: 32232 530.56/532.28 c INPROCESSING 530.56/532.28 c GARBAGE COLLECT 530.56/532.28 c rational objective 147 730.29/732.53 c #Conflicts: 283000 | #Constraints: 17821 730.29/732.53 c #Conflicts: 284000 | #Constraints: 18821 730.29/732.53 c #Conflicts: 285000 | #Constraints: 19821 730.29/732.53 c #Conflicts: 286000 | #Constraints: 20821 730.29/732.53 c #Conflicts: 287000 | #Constraints: 21821 730.29/732.53 c #Conflicts: 288000 | #Constraints: 22821 730.29/732.53 c #Conflicts: 289000 | #Constraints: 23822 730.29/732.53 c #Conflicts: 290000 | #Constraints: 24822 730.29/732.53 c #Conflicts: 291000 | #Constraints: 25822 730.29/732.53 c #Conflicts: 292000 | #Constraints: 26822 730.29/732.53 c #Conflicts: 293000 | #Constraints: 27822 730.29/732.53 c #Conflicts: 294000 | #Constraints: 28822 730.29/732.53 c #Conflicts: 295000 | #Constraints: 29822 730.29/732.53 c bounds 196 >= 147 @ 545.639 730.29/732.53 c #Conflicts: 296000 | #Constraints: 30823 730.29/732.53 c #Conflicts: 297000 | #Constraints: 31823 730.29/732.53 c #Conflicts: 298000 | #Constraints: 32823 730.29/732.53 c #Conflicts: 299000 | #Constraints: 33823 730.29/732.53 c #Conflicts: 300000 | #Constraints: 34823 730.29/732.53 c bounds 195 >= 147 @ 558.054 730.29/732.53 c #Conflicts: 301000 | #Constraints: 35824 730.29/732.53 c #Conflicts: 302000 | #Constraints: 36824 730.29/732.53 c #Conflicts: 303000 | #Constraints: 37824 730.29/732.53 c #Conflicts: 304000 | #Constraints: 38824 730.29/732.53 c #Conflicts: 305000 | #Constraints: 39824 730.29/732.53 c #Conflicts: 306000 | #Constraints: 40824 730.29/732.53 c #Conflicts: 307000 | #Constraints: 41824 730.29/732.53 c #Conflicts: 308000 | #Constraints: 42824 730.29/732.53 c #Conflicts: 309000 | #Constraints: 43824 730.29/732.53 c #Conflicts: 310000 | #Constraints: 44824 730.29/732.53 c #Conflicts: 311000 | #Constraints: 45824 730.29/732.53 c #Conflicts: 312000 | #Constraints: 46824 730.29/732.53 c #Conflicts: 313000 | #Constraints: 47824 730.29/732.53 c #Conflicts: 314000 | #Constraints: 48824 730.29/732.53 c #Conflicts: 315000 | #Constraints: 49824 730.29/732.53 c #Conflicts: 316000 | #Constraints: 50824 730.29/732.53 c #Conflicts: 317000 | #Constraints: 51824 730.29/732.53 c #Conflicts: 318000 | #Constraints: 52824 730.29/732.53 c #Conflicts: 319000 | #Constraints: 53824 730.29/732.53 c #Conflicts: 320000 | #Constraints: 54824 730.29/732.53 c #Conflicts: 321000 | #Constraints: 55824 730.29/732.53 c #Conflicts: 322000 | #Constraints: 56824 730.29/732.53 c INPROCESSING 730.29/732.53 c GARBAGE COLLECT 730.29/732.53 c rational objective 147 753.04/755.30 c #Conflicts: 323000 | #Constraints: 30010 753.04/755.30 c #Conflicts: 324000 | #Constraints: 31010 753.04/755.30 c #Conflicts: 325000 | #Constraints: 32010 753.04/755.30 c #Conflicts: 326000 | #Constraints: 33010 753.04/755.30 c #Conflicts: 327000 | #Constraints: 34010 753.04/755.30 c #Conflicts: 328000 | #Constraints: 35010 753.04/755.30 c #Conflicts: 329000 | #Constraints: 36010 753.04/755.30 c #Conflicts: 330000 | #Constraints: 37010 753.04/755.30 c #Conflicts: 331000 | #Constraints: 38010 753.04/755.30 c #Conflicts: 332000 | #Constraints: 39010 753.04/755.30 c #Conflicts: 333000 | #Constraints: 40010 753.04/755.30 c #Conflicts: 334000 | #Constraints: 41010 753.04/755.30 c #Conflicts: 335000 | #Constraints: 42010 753.04/755.30 c #Conflicts: 336000 | #Constraints: 43010 753.04/755.30 c INPROCESSING 753.04/755.30 c GARBAGE COLLECT 753.04/755.30 c rational objective 147 775.56/777.97 c #Conflicts: 337000 | #Constraints: 23219 775.56/777.97 c #Conflicts: 338000 | #Constraints: 24219 775.56/777.97 c #Conflicts: 339000 | #Constraints: 25219 775.56/777.97 c #Conflicts: 340000 | #Constraints: 26219 775.56/777.97 c #Conflicts: 341000 | #Constraints: 27220 775.56/777.97 c #Conflicts: 342000 | #Constraints: 28220 775.56/777.97 c #Conflicts: 343000 | #Constraints: 29220 775.56/777.97 c #Conflicts: 344000 | #Constraints: 30220 775.56/777.97 c #Conflicts: 345000 | #Constraints: 31220 775.56/777.97 c #Conflicts: 346000 | #Constraints: 32220 775.56/777.97 c #Conflicts: 347000 | #Constraints: 33220 775.56/777.97 c #Conflicts: 348000 | #Constraints: 34220 775.56/777.97 c #Conflicts: 349000 | #Constraints: 35220 775.56/777.97 c INPROCESSING 775.56/777.97 c GARBAGE COLLECT 775.56/777.97 c rational objective 147 938.16/941.09 c #Conflicts: 350000 | #Constraints: 18917 938.16/941.09 c #Conflicts: 351000 | #Constraints: 19917 938.16/941.09 c #Conflicts: 352000 | #Constraints: 20917 938.16/941.09 c #Conflicts: 353000 | #Constraints: 21917 938.16/941.09 c #Conflicts: 354000 | #Constraints: 22917 938.16/941.09 c #Conflicts: 355000 | #Constraints: 23917 938.16/941.09 c #Conflicts: 356000 | #Constraints: 24917 938.16/941.09 c #Conflicts: 357000 | #Constraints: 25917 938.16/941.09 c #Conflicts: 358000 | #Constraints: 26917 938.16/941.09 c #Conflicts: 359000 | #Constraints: 27917 938.16/941.09 c #Conflicts: 360000 | #Constraints: 28917 938.16/941.09 c #Conflicts: 361000 | #Constraints: 29917 938.16/941.09 c #Conflicts: 362000 | #Constraints: 30917 938.16/941.09 c #Conflicts: 363000 | #Constraints: 31917 938.16/941.09 c #Conflicts: 364000 | #Constraints: 32917 938.16/941.09 c #Conflicts: 365000 | #Constraints: 33917 938.16/941.09 c #Conflicts: 366000 | #Constraints: 34917 938.16/941.09 c #Conflicts: 367000 | #Constraints: 35917 938.16/941.09 c #Conflicts: 368000 | #Constraints: 36917 938.16/941.09 c #Conflicts: 369000 | #Constraints: 37917 938.16/941.09 c #Conflicts: 370000 | #Constraints: 38917 938.16/941.09 c #Conflicts: 371000 | #Constraints: 39917 938.16/941.09 c #Conflicts: 372000 | #Constraints: 40917 938.16/941.09 c #Conflicts: 373000 | #Constraints: 41917 938.16/941.09 c #Conflicts: 374000 | #Constraints: 42917 938.16/941.09 c #Conflicts: 375000 | #Constraints: 43917 938.16/941.09 c #Conflicts: 376000 | #Constraints: 44917 938.16/941.09 c #Conflicts: 377000 | #Constraints: 45917 938.16/941.09 c #Conflicts: 378000 | #Constraints: 46917 938.16/941.09 c #Conflicts: 379000 | #Constraints: 47917 938.16/941.09 c #Conflicts: 380000 | #Constraints: 48917 938.16/941.09 c #Conflicts: 381000 | #Constraints: 49917 938.16/941.09 c #Conflicts: 382000 | #Constraints: 50917 938.16/941.09 c #Conflicts: 383000 | #Constraints: 51917 938.16/941.09 c #Conflicts: 384000 | #Constraints: 52917 938.16/941.09 c #Conflicts: 385000 | #Constraints: 53917 938.16/941.09 c #Conflicts: 386000 | #Constraints: 54917 938.16/941.09 c #Conflicts: 387000 | #Constraints: 55917 938.16/941.09 c #Conflicts: 388000 | #Constraints: 56917 938.16/941.09 c #Conflicts: 389000 | #Constraints: 57917 938.16/941.09 c #Conflicts: 390000 | #Constraints: 58917 938.16/941.09 c #Conflicts: 391000 | #Constraints: 59917 938.16/941.09 c #Conflicts: 392000 | #Constraints: 60917 938.16/941.09 c #Conflicts: 393000 | #Constraints: 61917 938.16/941.09 c #Conflicts: 394000 | #Constraints: 62917 938.16/941.09 c INPROCESSING 938.16/941.09 c GARBAGE COLLECT 938.16/941.09 c rational objective 147 1057.00/1060.26 c #Conflicts: 395000 | #Constraints: 32969 1057.00/1060.26 c #Conflicts: 396000 | #Constraints: 33969 1057.00/1060.26 c #Conflicts: 397000 | #Constraints: 34969 1057.00/1060.26 c #Conflicts: 398000 | #Constraints: 35969 1057.00/1060.26 c #Conflicts: 399000 | #Constraints: 36969 1057.00/1060.26 c #Conflicts: 400000 | #Constraints: 37969 1057.00/1060.26 c #Conflicts: 401000 | #Constraints: 38969 1057.00/1060.26 c #Conflicts: 402000 | #Constraints: 39969 1057.00/1060.26 c #Conflicts: 403000 | #Constraints: 40969 1057.00/1060.26 c #Conflicts: 404000 | #Constraints: 41969 1057.00/1060.26 c #Conflicts: 405000 | #Constraints: 42969 1057.00/1060.26 c #Conflicts: 406000 | #Constraints: 43969 1057.00/1060.26 c #Conflicts: 407000 | #Constraints: 44969 1057.00/1060.26 c #Conflicts: 408000 | #Constraints: 45969 1057.00/1060.26 c #Conflicts: 409000 | #Constraints: 46969 1057.00/1060.26 c INPROCESSING 1057.00/1060.26 c GARBAGE COLLECT 1057.00/1060.26 c rational objective 147 1118.65/1122.02 c #Conflicts: 410000 | #Constraints: 25041 1118.65/1122.02 c #Conflicts: 411000 | #Constraints: 26041 1118.65/1122.02 c #Conflicts: 412000 | #Constraints: 27041 1118.65/1122.02 c #Conflicts: 413000 | #Constraints: 28041 1118.65/1122.02 c #Conflicts: 414000 | #Constraints: 29041 1118.65/1122.02 c #Conflicts: 415000 | #Constraints: 30041 1118.65/1122.02 c #Conflicts: 416000 | #Constraints: 31041 1118.65/1122.02 c #Conflicts: 417000 | #Constraints: 32041 1118.65/1122.02 c #Conflicts: 418000 | #Constraints: 33041 1118.65/1122.02 c #Conflicts: 419000 | #Constraints: 34041 1118.65/1122.02 c #Conflicts: 420000 | #Constraints: 35041 1118.65/1122.02 c #Conflicts: 421000 | #Constraints: 36041 1118.65/1122.02 c #Conflicts: 422000 | #Constraints: 37041 1118.65/1122.02 c #Conflicts: 423000 | #Constraints: 38041 1118.65/1122.02 c #Conflicts: 424000 | #Constraints: 39041 1118.65/1122.02 c INPROCESSING 1118.65/1122.02 c GARBAGE COLLECT 1118.65/1122.02 c rational objective 147 1315.19/1319.15 c #Conflicts: 425000 | #Constraints: 20948 1315.19/1319.15 c #Conflicts: 426000 | #Constraints: 21948 1315.19/1319.15 c #Conflicts: 427000 | #Constraints: 22948 1315.19/1319.15 c #Conflicts: 428000 | #Constraints: 23948 1315.19/1319.15 c #Conflicts: 429000 | #Constraints: 24948 1315.19/1319.15 c #Conflicts: 430000 | #Constraints: 25948 1315.19/1319.15 c #Conflicts: 431000 | #Constraints: 26948 1315.19/1319.15 c #Conflicts: 432000 | #Constraints: 27948 1315.19/1319.15 c #Conflicts: 433000 | #Constraints: 28948 1315.19/1319.15 c #Conflicts: 434000 | #Constraints: 29948 1315.19/1319.15 c #Conflicts: 435000 | #Constraints: 30948 1315.19/1319.15 c #Conflicts: 436000 | #Constraints: 31948 1315.19/1319.15 c #Conflicts: 437000 | #Constraints: 32948 1315.19/1319.15 c #Conflicts: 438000 | #Constraints: 33948 1315.19/1319.15 c #Conflicts: 439000 | #Constraints: 34948 1315.19/1319.15 c #Conflicts: 440000 | #Constraints: 35948 1315.19/1319.15 c #Conflicts: 441000 | #Constraints: 36948 1315.19/1319.15 c #Conflicts: 442000 | #Constraints: 37948 1315.19/1319.15 c #Conflicts: 443000 | #Constraints: 38948 1315.19/1319.15 c #Conflicts: 444000 | #Constraints: 39948 1315.19/1319.15 c #Conflicts: 445000 | #Constraints: 40948 1315.19/1319.15 c #Conflicts: 446000 | #Constraints: 41948 1315.19/1319.15 c #Conflicts: 447000 | #Constraints: 42948 1315.19/1319.15 c #Conflicts: 448000 | #Constraints: 43948 1315.19/1319.15 c #Conflicts: 449000 | #Constraints: 44948 1315.19/1319.15 c #Conflicts: 450000 | #Constraints: 45948 1315.19/1319.15 c #Conflicts: 451000 | #Constraints: 46948 1315.19/1319.15 c #Conflicts: 452000 | #Constraints: 47948 1315.19/1319.15 c #Conflicts: 453000 | #Constraints: 48948 1315.19/1319.15 c #Conflicts: 454000 | #Constraints: 49948 1315.19/1319.15 c #Conflicts: 455000 | #Constraints: 50948 1315.19/1319.15 c #Conflicts: 456000 | #Constraints: 51948 1315.19/1319.15 c #Conflicts: 457000 | #Constraints: 52948 1315.19/1319.15 c #Conflicts: 458000 | #Constraints: 53948 1315.19/1319.15 c #Conflicts: 459000 | #Constraints: 54948 1315.19/1319.15 c #Conflicts: 460000 | #Constraints: 55948 1315.19/1319.15 c #Conflicts: 461000 | #Constraints: 56948 1315.19/1319.15 c #Conflicts: 462000 | #Constraints: 57948 1315.19/1319.15 c #Conflicts: 463000 | #Constraints: 58948 1315.19/1319.15 c #Conflicts: 464000 | #Constraints: 59948 1315.19/1319.15 c #Conflicts: 465000 | #Constraints: 60948 1315.19/1319.15 c #Conflicts: 466000 | #Constraints: 61948 1315.19/1319.15 c #Conflicts: 467000 | #Constraints: 62948 1315.19/1319.15 c #Conflicts: 468000 | #Constraints: 63948 1315.19/1319.15 c #Conflicts: 469000 | #Constraints: 64948 1315.19/1319.15 c #Conflicts: 470000 | #Constraints: 65948 1315.19/1319.15 c #Conflicts: 471000 | #Constraints: 66948 1315.19/1319.15 c #Conflicts: 472000 | #Constraints: 67948 1315.19/1319.15 c #Conflicts: 473000 | #Constraints: 68948 1315.19/1319.15 c INPROCESSING 1315.19/1319.15 c GARBAGE COLLECT 1315.19/1319.15 c rational objective 147 1440.44/1444.76 c #Conflicts: 474000 | #Constraints: 35885 1440.44/1444.76 c #Conflicts: 475000 | #Constraints: 36885 1440.44/1444.76 c #Conflicts: 476000 | #Constraints: 37885 1440.44/1444.76 c #Conflicts: 477000 | #Constraints: 38885 1440.44/1444.76 c #Conflicts: 478000 | #Constraints: 39885 1440.44/1444.76 c #Conflicts: 479000 | #Constraints: 40885 1440.44/1444.76 c #Conflicts: 480000 | #Constraints: 41885 1440.44/1444.76 c bounds 195 >= 148 @ 1347.2 1440.44/1444.76 c #Conflicts: 481000 | #Constraints: 42930 1440.44/1444.76 c #Conflicts: 482000 | #Constraints: 43930 1440.44/1444.76 c #Conflicts: 483000 | #Constraints: 44930 1440.44/1444.76 c #Conflicts: 484000 | #Constraints: 45930 1440.44/1444.76 c #Conflicts: 485000 | #Constraints: 46930 1440.44/1444.76 c #Conflicts: 486000 | #Constraints: 47930 1440.44/1444.76 c #Conflicts: 487000 | #Constraints: 48930 1440.44/1444.76 c #Conflicts: 488000 | #Constraints: 49930 1440.44/1444.76 c #Conflicts: 489000 | #Constraints: 50930 1440.44/1444.76 c #Conflicts: 490000 | #Constraints: 51930 1440.44/1444.76 c INPROCESSING 1440.44/1444.76 c GARBAGE COLLECT 1440.44/1444.76 c rational objective 148 1504.08/1508.55 c #Conflicts: 491000 | #Constraints: 27678 1504.08/1508.55 c #Conflicts: 492000 | #Constraints: 28678 1504.08/1508.55 c #Conflicts: 493000 | #Constraints: 29678 1504.08/1508.55 c #Conflicts: 494000 | #Constraints: 30678 1504.08/1508.55 c #Conflicts: 495000 | #Constraints: 31678 1504.08/1508.55 c #Conflicts: 496000 | #Constraints: 32678 1504.08/1508.55 c #Conflicts: 497000 | #Constraints: 33678 1504.08/1508.55 c #Conflicts: 498000 | #Constraints: 34678 1504.08/1508.55 c #Conflicts: 499000 | #Constraints: 35678 1504.08/1508.55 c #Conflicts: 500000 | #Constraints: 36678 1504.08/1508.55 c #Conflicts: 501000 | #Constraints: 37678 1504.08/1508.55 c #Conflicts: 502000 | #Constraints: 38678 1504.08/1508.55 c #Conflicts: 503000 | #Constraints: 39678 1504.08/1508.55 c #Conflicts: 504000 | #Constraints: 40678 1504.08/1508.55 c #Conflicts: 505000 | #Constraints: 41678 1504.08/1508.55 c #Conflicts: 506000 | #Constraints: 42678 1504.08/1508.55 c #Conflicts: 507000 | #Constraints: 43678 1504.08/1508.55 c INPROCESSING 1504.08/1508.55 c GARBAGE COLLECT 1504.08/1508.55 c rational objective 148 1797.59/1802.84 c #Conflicts: 508000 | #Constraints: 23651 1797.59/1802.84 c #Conflicts: 509000 | #Constraints: 24651 1797.59/1802.84 c #Conflicts: 510000 | #Constraints: 25651 1797.59/1802.84 c #Conflicts: 511000 | #Constraints: 26651 1797.59/1802.84 c #Conflicts: 512000 | #Constraints: 27651 1797.59/1802.84 c #Conflicts: 513000 | #Constraints: 28651 1797.59/1802.84 c #Conflicts: 514000 | #Constraints: 29651 1797.59/1802.84 c #Conflicts: 515000 | #Constraints: 30651 1797.59/1802.84 c #Conflicts: 516000 | #Constraints: 31651 1797.59/1802.84 c #Conflicts: 517000 | #Constraints: 32651 1797.59/1802.84 c #Conflicts: 518000 | #Constraints: 33651 1797.59/1802.84 c #Conflicts: 519000 | #Constraints: 34651 1797.59/1802.84 c #Conflicts: 520000 | #Constraints: 35651 1797.59/1802.84 c #Conflicts: 521000 | #Constraints: 36651 1797.59/1802.84 c #Conflicts: 522000 | #Constraints: 37651 1797.59/1802.84 c #Conflicts: 523000 | #Constraints: 38651 1797.59/1802.84 c #Conflicts: 524000 | #Constraints: 39651 1797.59/1802.84 c #Conflicts: 525000 | #Constraints: 40651 1797.59/1802.84 c #Conflicts: 526000 | #Constraints: 41651 1797.59/1802.84 c #Conflicts: 527000 | #Constraints: 42651 1797.59/1802.84 c #Conflicts: 528000 | #Constraints: 43651 1797.59/1802.84 c #Conflicts: 529000 | #Constraints: 44651 1797.59/1802.84 c #Conflicts: 530000 | #Constraints: 45651 1797.59/1802.84 c #Conflicts: 531000 | #Constraints: 46651 1797.59/1802.84 c #Conflicts: 532000 | #Constraints: 47651 1797.59/1802.84 c #Conflicts: 533000 | #Constraints: 48651 1797.59/1802.84 c #Conflicts: 534000 | #Constraints: 49651 1797.59/1802.84 c #Conflicts: 535000 | #Constraints: 50651 1797.59/1802.84 c #Conflicts: 536000 | #Constraints: 51651 1797.59/1802.84 c #Conflicts: 537000 | #Constraints: 52651 1797.59/1802.84 c #Conflicts: 538000 | #Constraints: 53651 1797.59/1802.84 c #Conflicts: 539000 | #Constraints: 54651 1797.59/1802.84 c #Conflicts: 540000 | #Constraints: 55651 1797.59/1802.84 c #Conflicts: 541000 | #Constraints: 56651 1797.59/1802.84 c #Conflicts: 542000 | #Constraints: 57651 1797.59/1802.84 c #Conflicts: 543000 | #Constraints: 58651 1797.59/1802.84 c #Conflicts: 544000 | #Constraints: 59651 1797.59/1802.84 c #Conflicts: 545000 | #Constraints: 60651 1797.59/1802.84 c #Conflicts: 546000 | #Constraints: 61651 1797.59/1802.84 c #Conflicts: 547000 | #Constraints: 62651 1797.59/1802.84 c #Conflicts: 548000 | #Constraints: 63651 1797.59/1802.84 c #Conflicts: 549000 | #Constraints: 64651 1797.59/1802.84 c #Conflicts: 550000 | #Constraints: 65651 1797.59/1802.84 c #Conflicts: 551000 | #Constraints: 66651 1797.59/1802.84 c #Conflicts: 552000 | #Constraints: 67651 1797.59/1802.84 c #Conflicts: 553000 | #Constraints: 68651 1797.59/1802.84 c #Conflicts: 554000 | #Constraints: 69651 1797.59/1802.84 c #Conflicts: 555000 | #Constraints: 70651 1797.59/1802.84 c #Conflicts: 556000 | #Constraints: 71651 1797.59/1802.84 c #Conflicts: 557000 | #Constraints: 72651 1797.59/1802.84 c #Conflicts: 558000 | #Constraints: 73651 1797.59/1802.84 c #Conflicts: 559000 | #Constraints: 74651 1797.59/1802.84 c #Conflicts: 560000 | #Constraints: 75651 1797.59/1802.84 c INPROCESSING 1797.59/1802.84 c GARBAGE COLLECT 1797.59/1802.84 c rational objective 148 1857.03/1862.46 c #Conflicts: 561000 | #Constraints: 39663 1857.03/1862.46 c #Conflicts: 562000 | #Constraints: 40663 1857.03/1862.46 c #Conflicts: 563000 | #Constraints: 41664 1857.03/1862.46 c #Conflicts: 564000 | #Constraints: 42664 1857.03/1862.46 c #Conflicts: 565000 | #Constraints: 43664 1857.03/1862.46 c #Conflicts: 566000 | #Constraints: 44664 1857.03/1862.46 c #Conflicts: 567000 | #Constraints: 45664 1857.03/1862.46 c #Conflicts: 568000 | #Constraints: 46664 1857.03/1862.46 c #Conflicts: 569000 | #Constraints: 47664 1857.03/1862.46 c #Conflicts: 570000 | #Constraints: 48664 1857.03/1862.46 c #Conflicts: 571000 | #Constraints: 49664 1857.03/1862.46 c #Conflicts: 572000 | #Constraints: 50664 1857.03/1862.46 c #Conflicts: 573000 | #Constraints: 51664 1857.03/1862.46 c #Conflicts: 574000 | #Constraints: 52664 1857.03/1862.46 c #Conflicts: 575000 | #Constraints: 53664 1857.03/1862.46 c #Conflicts: 576000 | #Constraints: 54664 1857.03/1862.46 c #Conflicts: 577000 | #Constraints: 55664 1857.03/1862.46 c #Conflicts: 578000 | #Constraints: 56664 1857.03/1862.46 c INPROCESSING 1857.03/1862.46 c GARBAGE COLLECT 1857.03/1862.46 c rational objective 148 1915.48/1921.11 c #Conflicts: 579000 | #Constraints: 30012 1915.48/1921.11 c #Conflicts: 580000 | #Constraints: 31012 1915.48/1921.11 c #Conflicts: 581000 | #Constraints: 32012 1915.48/1921.11 c #Conflicts: 582000 | #Constraints: 33012 1915.48/1921.11 c #Conflicts: 583000 | #Constraints: 34012 1915.48/1921.11 c #Conflicts: 584000 | #Constraints: 35013 1915.48/1921.11 c #Conflicts: 585000 | #Constraints: 36013 1915.48/1921.11 c #Conflicts: 586000 | #Constraints: 37013 1915.48/1921.11 c #Conflicts: 587000 | #Constraints: 38013 1915.48/1921.11 c #Conflicts: 588000 | #Constraints: 39013 1915.48/1921.11 c #Conflicts: 589000 | #Constraints: 40013 1915.48/1921.11 c #Conflicts: 590000 | #Constraints: 41013 1915.48/1921.11 c #Conflicts: 591000 | #Constraints: 42013 1915.48/1921.11 c #Conflicts: 592000 | #Constraints: 43013 1915.48/1921.11 c #Conflicts: 593000 | #Constraints: 44013 1915.48/1921.11 c #Conflicts: 594000 | #Constraints: 45013 1915.48/1921.11 c #Conflicts: 595000 | #Constraints: 46013 1915.48/1921.11 c #Conflicts: 596000 | #Constraints: 47013 1915.48/1921.11 c INPROCESSING 1915.48/1921.11 c GARBAGE COLLECT 1915.48/1921.11 c rational objective 148 2230.38/2236.81 c #Conflicts: 597000 | #Constraints: 26257 2230.38/2236.81 c #Conflicts: 598000 | #Constraints: 27257 2230.38/2236.81 c #Conflicts: 599000 | #Constraints: 28257 2230.38/2236.81 c #Conflicts: 600000 | #Constraints: 29257 2230.38/2236.81 c #Conflicts: 601000 | #Constraints: 30257 2230.38/2236.81 c #Conflicts: 602000 | #Constraints: 31257 2230.38/2236.81 c #Conflicts: 603000 | #Constraints: 32257 2230.38/2236.81 c #Conflicts: 604000 | #Constraints: 33257 2230.38/2236.81 c #Conflicts: 605000 | #Constraints: 34257 2230.38/2236.81 c #Conflicts: 606000 | #Constraints: 35257 2230.38/2236.81 c #Conflicts: 607000 | #Constraints: 36257 2230.38/2236.81 c #Conflicts: 608000 | #Constraints: 37257 2230.38/2236.81 c #Conflicts: 609000 | #Constraints: 38257 2230.38/2236.81 c #Conflicts: 610000 | #Constraints: 39257 2230.38/2236.81 c #Conflicts: 611000 | #Constraints: 40257 2230.38/2236.81 c #Conflicts: 612000 | #Constraints: 41257 2230.38/2236.81 c #Conflicts: 613000 | #Constraints: 42257 2230.38/2236.81 c #Conflicts: 614000 | #Constraints: 43257 2230.38/2236.81 c #Conflicts: 615000 | #Constraints: 44257 2230.38/2236.81 c #Conflicts: 616000 | #Constraints: 45257 2230.38/2236.81 c #Conflicts: 617000 | #Constraints: 46257 2230.38/2236.81 c #Conflicts: 618000 | #Constraints: 47257 2230.38/2236.81 c #Conflicts: 619000 | #Constraints: 48257 2230.38/2236.81 c #Conflicts: 620000 | #Constraints: 49257 2230.38/2236.81 c #Conflicts: 621000 | #Constraints: 50257 2230.38/2236.81 c #Conflicts: 622000 | #Constraints: 51257 2230.38/2236.81 c #Conflicts: 623000 | #Constraints: 52257 2230.38/2236.81 c #Conflicts: 624000 | #Constraints: 53257 2230.38/2236.81 c #Conflicts: 625000 | #Constraints: 54257 2230.38/2236.81 c #Conflicts: 626000 | #Constraints: 55257 2230.38/2236.81 c #Conflicts: 627000 | #Constraints: 56257 2230.38/2236.81 c #Conflicts: 628000 | #Constraints: 57257 2230.38/2236.81 c #Conflicts: 629000 | #Constraints: 58257 2230.38/2236.81 c #Conflicts: 630000 | #Constraints: 59257 2230.38/2236.81 c #Conflicts: 631000 | #Constraints: 60257 2230.38/2236.81 c #Conflicts: 632000 | #Constraints: 61257 2230.38/2236.81 c #Conflicts: 633000 | #Constraints: 62257 2230.38/2236.81 c #Conflicts: 634000 | #Constraints: 63257 2230.38/2236.81 c #Conflicts: 635000 | #Constraints: 64257 2230.38/2236.81 c #Conflicts: 636000 | #Constraints: 65257 2230.38/2236.81 c #Conflicts: 637000 | #Constraints: 66257 2230.38/2236.81 c #Conflicts: 638000 | #Constraints: 67257 2230.38/2236.81 c #Conflicts: 639000 | #Constraints: 68257 2230.38/2236.81 c #Conflicts: 640000 | #Constraints: 69257 2230.38/2236.81 c #Conflicts: 641000 | #Constraints: 70257 2230.38/2236.81 c #Conflicts: 642000 | #Constraints: 71257 2230.38/2236.81 c #Conflicts: 643000 | #Constraints: 72257 2230.38/2236.81 c #Conflicts: 644000 | #Constraints: 73257 2230.38/2236.81 c #Conflicts: 645000 | #Constraints: 74257 2230.38/2236.81 c #Conflicts: 646000 | #Constraints: 75257 2230.38/2236.81 c #Conflicts: 647000 | #Constraints: 76257 2230.38/2236.81 c #Conflicts: 648000 | #Constraints: 77257 2230.38/2236.81 c #Conflicts: 649000 | #Constraints: 78257 2230.38/2236.81 c #Conflicts: 650000 | #Constraints: 79257 2230.38/2236.81 c #Conflicts: 651000 | #Constraints: 80257 2230.38/2236.81 c #Conflicts: 652000 | #Constraints: 81257 2230.38/2236.81 c #Conflicts: 653000 | #Constraints: 82257 2230.38/2236.81 c INPROCESSING 2230.38/2236.81 c GARBAGE COLLECT 2230.38/2236.81 c rational objective 148 2437.44/2444.46 c #Conflicts: 654000 | #Constraints: 42570 2437.44/2444.46 c #Conflicts: 655000 | #Constraints: 43570 2437.44/2444.46 c #Conflicts: 656000 | #Constraints: 44570 2437.44/2444.46 c #Conflicts: 657000 | #Constraints: 45570 2437.44/2444.46 c #Conflicts: 658000 | #Constraints: 46570 2437.44/2444.46 c #Conflicts: 659000 | #Constraints: 47570 2437.44/2444.46 c #Conflicts: 660000 | #Constraints: 48570 2437.44/2444.46 c #Conflicts: 661000 | #Constraints: 49570 2437.44/2444.46 c #Conflicts: 662000 | #Constraints: 50570 2437.44/2444.46 c #Conflicts: 663000 | #Constraints: 51570 2437.44/2444.46 c #Conflicts: 664000 | #Constraints: 52570 2437.44/2444.46 c #Conflicts: 665000 | #Constraints: 53570 2437.44/2444.46 c #Conflicts: 666000 | #Constraints: 54570 2437.44/2444.46 c #Conflicts: 667000 | #Constraints: 55570 2437.44/2444.46 c #Conflicts: 668000 | #Constraints: 56570 2437.44/2444.46 c #Conflicts: 669000 | #Constraints: 57570 2437.44/2444.46 c #Conflicts: 670000 | #Constraints: 58570 2437.44/2444.46 c #Conflicts: 671000 | #Constraints: 59570 2437.44/2444.46 c #Conflicts: 672000 | #Constraints: 60570 2437.44/2444.46 c #Conflicts: 673000 | #Constraints: 61570 2437.44/2444.46 c INPROCESSING 2437.44/2444.46 c GARBAGE COLLECT 2437.44/2444.46 c rational objective 148 2530.91/2538.17 c #Conflicts: 674000 | #Constraints: 32517 2530.91/2538.17 c #Conflicts: 675000 | #Constraints: 33517 2530.91/2538.17 c #Conflicts: 676000 | #Constraints: 34517 2530.91/2538.17 c #Conflicts: 677000 | #Constraints: 35517 2530.91/2538.17 c #Conflicts: 678000 | #Constraints: 36517 2530.91/2538.17 c #Conflicts: 679000 | #Constraints: 37517 2530.91/2538.17 c #Conflicts: 680000 | #Constraints: 38517 2530.91/2538.17 c #Conflicts: 681000 | #Constraints: 39517 2530.91/2538.17 c #Conflicts: 682000 | #Constraints: 40517 2530.91/2538.17 c #Conflicts: 683000 | #Constraints: 41517 2530.91/2538.17 c #Conflicts: 684000 | #Constraints: 42517 2530.91/2538.17 c #Conflicts: 685000 | #Constraints: 43517 2530.91/2538.17 c #Conflicts: 686000 | #Constraints: 44517 2530.91/2538.17 c #Conflicts: 687000 | #Constraints: 45517 2530.91/2538.17 c #Conflicts: 688000 | #Constraints: 46517 2530.91/2538.17 c #Conflicts: 689000 | #Constraints: 47517 2530.91/2538.17 c #Conflicts: 690000 | #Constraints: 48517 2530.91/2538.17 c #Conflicts: 691000 | #Constraints: 49517 2530.91/2538.17 c #Conflicts: 692000 | #Constraints: 50517 2530.91/2538.17 c #Conflicts: 693000 | #Constraints: 51517 2530.91/2538.17 c INPROCESSING 2530.91/2538.17 c GARBAGE COLLECT 2530.91/2538.17 c rational objective 148 3079.65/3088.37 c #Conflicts: 694000 | #Constraints: 29984 3079.65/3088.37 c #Conflicts: 695000 | #Constraints: 30984 3079.65/3088.37 c #Conflicts: 696000 | #Constraints: 31984 3079.65/3088.37 c #Conflicts: 697000 | #Constraints: 32984 3079.65/3088.37 c #Conflicts: 698000 | #Constraints: 33984 3079.65/3088.37 c #Conflicts: 699000 | #Constraints: 34984 3079.65/3088.37 c #Conflicts: 700000 | #Constraints: 35984 3079.65/3088.37 c #Conflicts: 701000 | #Constraints: 36984 3079.65/3088.37 c #Conflicts: 702000 | #Constraints: 37984 3079.65/3088.37 c #Conflicts: 703000 | #Constraints: 38984 3079.65/3088.37 c #Conflicts: 704000 | #Constraints: 39984 3079.65/3088.37 c #Conflicts: 705000 | #Constraints: 40984 3079.65/3088.37 c #Conflicts: 706000 | #Constraints: 41984 3079.65/3088.37 c #Conflicts: 707000 | #Constraints: 42984 3079.65/3088.37 c #Conflicts: 708000 | #Constraints: 43984 3079.65/3088.37 c #Conflicts: 709000 | #Constraints: 44984 3079.65/3088.37 c #Conflicts: 710000 | #Constraints: 45984 3079.65/3088.37 c #Conflicts: 711000 | #Constraints: 46984 3079.65/3088.37 c #Conflicts: 712000 | #Constraints: 47984 3079.65/3088.37 c #Conflicts: 713000 | #Constraints: 48984 3079.65/3088.37 c #Conflicts: 714000 | #Constraints: 49984 3079.65/3088.37 c #Conflicts: 715000 | #Constraints: 50984 3079.65/3088.37 c #Conflicts: 716000 | #Constraints: 51984 3079.65/3088.37 c #Conflicts: 717000 | #Constraints: 52984 3079.65/3088.37 c #Conflicts: 718000 | #Constraints: 53984 3079.65/3088.37 c #Conflicts: 719000 | #Constraints: 54984 3079.65/3088.37 c #Conflicts: 720000 | #Constraints: 55984 3079.65/3088.37 c bounds 194 >= 148 @ 2598.84 3079.65/3088.37 c #Conflicts: 721000 | #Constraints: 56985 3079.65/3088.37 c #Conflicts: 722000 | #Constraints: 57985 3079.65/3088.37 c #Conflicts: 723000 | #Constraints: 58985 3079.65/3088.37 c #Conflicts: 724000 | #Constraints: 59985 3079.65/3088.37 c #Conflicts: 725000 | #Constraints: 60985 3079.65/3088.37 c #Conflicts: 726000 | #Constraints: 61985 3079.65/3088.37 c #Conflicts: 727000 | #Constraints: 62985 3079.65/3088.37 c #Conflicts: 728000 | #Constraints: 63985 3079.65/3088.37 c #Conflicts: 729000 | #Constraints: 64985 3079.65/3088.37 c #Conflicts: 730000 | #Constraints: 65985 3079.65/3088.37 c #Conflicts: 731000 | #Constraints: 66985 3079.65/3088.37 c #Conflicts: 732000 | #Constraints: 67985 3079.65/3088.37 c #Conflicts: 733000 | #Constraints: 68985 3079.65/3088.37 c #Conflicts: 734000 | #Constraints: 69985 3079.65/3088.37 c #Conflicts: 735000 | #Constraints: 70985 3079.65/3088.37 c #Conflicts: 736000 | #Constraints: 71985 3079.65/3088.37 c #Conflicts: 737000 | #Constraints: 72985 3079.65/3088.37 c #Conflicts: 738000 | #Constraints: 73985 3079.65/3088.37 c #Conflicts: 739000 | #Constraints: 74985 3079.65/3088.37 c #Conflicts: 740000 | #Constraints: 75985 3079.65/3088.37 c #Conflicts: 741000 | #Constraints: 76985 3079.65/3088.37 c #Conflicts: 742000 | #Constraints: 77985 3079.65/3088.37 c #Conflicts: 743000 | #Constraints: 78985 3079.65/3088.37 c #Conflicts: 744000 | #Constraints: 79985 3079.65/3088.37 c #Conflicts: 745000 | #Constraints: 80985 3079.65/3088.37 c #Conflicts: 746000 | #Constraints: 81985 3079.65/3088.37 c #Conflicts: 747000 | #Constraints: 82985 3079.65/3088.37 c #Conflicts: 748000 | #Constraints: 83985 3079.65/3088.37 c #Conflicts: 749000 | #Constraints: 84985 3079.65/3088.37 c #Conflicts: 750000 | #Constraints: 85985 3079.65/3088.37 c #Conflicts: 751000 | #Constraints: 86985 3079.65/3088.37 c #Conflicts: 752000 | #Constraints: 87985 3079.65/3088.37 c #Conflicts: 753000 | #Constraints: 88985 3079.65/3088.37 c #Conflicts: 754000 | #Constraints: 89985 3079.65/3088.37 c INPROCESSING 3079.65/3088.37 c GARBAGE COLLECT 3079.65/3088.37 c rational objective 148 3155.26/3164.17 c #Conflicts: 755000 | #Constraints: 46610 3155.26/3164.17 c #Conflicts: 756000 | #Constraints: 47610 3155.26/3164.17 c #Conflicts: 757000 | #Constraints: 48610 3155.26/3164.17 c #Conflicts: 758000 | #Constraints: 49610 3155.26/3164.17 c #Conflicts: 759000 | #Constraints: 50610 3155.26/3164.17 c #Conflicts: 760000 | #Constraints: 51610 3155.26/3164.17 c #Conflicts: 761000 | #Constraints: 52610 3155.26/3164.17 c #Conflicts: 762000 | #Constraints: 53610 3155.26/3164.17 c #Conflicts: 763000 | #Constraints: 54610 3155.26/3164.17 c #Conflicts: 764000 | #Constraints: 55610 3155.26/3164.17 c #Conflicts: 765000 | #Constraints: 56610 3155.26/3164.17 c #Conflicts: 766000 | #Constraints: 57610 3155.26/3164.17 c #Conflicts: 767000 | #Constraints: 58610 3155.26/3164.17 c #Conflicts: 768000 | #Constraints: 59610 3155.26/3164.17 c #Conflicts: 769000 | #Constraints: 60610 3155.26/3164.17 c #Conflicts: 770000 | #Constraints: 61610 3155.26/3164.17 c #Conflicts: 771000 | #Constraints: 62610 3155.26/3164.17 c #Conflicts: 772000 | #Constraints: 63610 3155.26/3164.17 c #Conflicts: 773000 | #Constraints: 64610 3155.26/3164.17 c #Conflicts: 774000 | #Constraints: 65610 3155.26/3164.17 c #Conflicts: 775000 | #Constraints: 66610 3155.26/3164.17 c INPROCESSING 3155.26/3164.17 c GARBAGE COLLECT 3155.26/3164.17 c rational objective 148 3221.87/3230.90 c #Conflicts: 776000 | #Constraints: 34796 3221.87/3230.90 c #Conflicts: 777000 | #Constraints: 35796 3221.87/3230.90 c #Conflicts: 778000 | #Constraints: 36796 3221.87/3230.90 c #Conflicts: 779000 | #Constraints: 37796 3221.87/3230.90 c #Conflicts: 780000 | #Constraints: 38796 3221.87/3230.90 c #Conflicts: 781000 | #Constraints: 39796 3221.87/3230.90 c #Conflicts: 782000 | #Constraints: 40796 3221.87/3230.90 c #Conflicts: 783000 | #Constraints: 41796 3221.87/3230.90 c #Conflicts: 784000 | #Constraints: 42796 3221.87/3230.90 c #Conflicts: 785000 | #Constraints: 43796 3221.87/3230.90 c #Conflicts: 786000 | #Constraints: 44796 3221.87/3230.90 c #Conflicts: 787000 | #Constraints: 45796 3221.87/3230.90 c #Conflicts: 788000 | #Constraints: 46796 3221.87/3230.90 c #Conflicts: 789000 | #Constraints: 47796 3221.87/3230.90 c #Conflicts: 790000 | #Constraints: 48796 3221.87/3230.90 c #Conflicts: 791000 | #Constraints: 49796 3221.87/3230.90 c #Conflicts: 792000 | #Constraints: 50796 3221.87/3230.90 c #Conflicts: 793000 | #Constraints: 51796 3221.87/3230.90 c #Conflicts: 794000 | #Constraints: 52796 3221.87/3230.90 c #Conflicts: 795000 | #Constraints: 53796 3221.87/3230.90 c #Conflicts: 796000 | #Constraints: 54796 3221.87/3230.90 c INPROCESSING 3221.87/3230.90 c GARBAGE COLLECT 3221.87/3230.90 c rational objective 148 3600.05/3610.12 c #Conflicts: 797000 | #Constraints: 31850 3600.05/3610.12 c #Conflicts: 798000 | #Constraints: 32850 3600.05/3610.12 c #Conflicts: 799000 | #Constraints: 33850 3600.05/3610.12 c #Conflicts: 800000 | #Constraints: 34850 3600.05/3610.12 c #Conflicts: 801000 | #Constraints: 35850 3600.05/3610.12 c #Conflicts: 802000 | #Constraints: 36850 3600.05/3610.12 c #Conflicts: 803000 | #Constraints: 37850 3600.05/3610.12 c #Conflicts: 804000 | #Constraints: 38850 3600.05/3610.12 c #Conflicts: 805000 | #Constraints: 39850 3600.05/3610.12 c #Conflicts: 806000 | #Constraints: 40850 3600.05/3610.12 c #Conflicts: 807000 | #Constraints: 41850 3600.05/3610.12 c #Conflicts: 808000 | #Constraints: 42850 3600.05/3610.12 c #Conflicts: 809000 | #Constraints: 43850 3600.05/3610.12 c #Conflicts: 810000 | #Constraints: 44850 3600.05/3610.12 c #Conflicts: 811000 | #Constraints: 45850 3600.05/3610.12 c #Conflicts: 812000 | #Constraints: 46850 3600.05/3610.12 c #Conflicts: 813000 | #Constraints: 47850 3600.05/3610.12 c #Conflicts: 814000 | #Constraints: 48850 3600.05/3610.12 c #Conflicts: 815000 | #Constraints: 49850 3600.05/3610.12 c #Conflicts: 816000 | #Constraints: 50850 3600.05/3610.12 c #Conflicts: 817000 | #Constraints: 51850 3600.05/3610.12 c #Conflicts: 818000 | #Constraints: 52850 3600.05/3610.12 c #Conflicts: 819000 | #Constraints: 53850 3600.05/3610.12 c #Conflicts: 820000 | #Constraints: 54850 3600.05/3610.12 c #Conflicts: 821000 | #Constraints: 55850 3600.05/3610.12 c #Conflicts: 822000 | #Constraints: 56850 3600.05/3610.12 c #Conflicts: 823000 | #Constraints: 57850 3600.05/3610.12 c #Conflicts: 824000 | #Constraints: 58850 3600.05/3610.12 c #Conflicts: 825000 | #Constraints: 59850 3600.05/3610.12 c #Conflicts: 826000 | #Constraints: 60850 3600.05/3610.12 c #Conflicts: 827000 | #Constraints: 61850 3600.05/3610.12 c #Conflicts: 828000 | #Constraints: 62850 3600.05/3610.12 c #Conflicts: 829000 | #Constraints: 63850 3600.05/3610.12 c #Conflicts: 830000 | #Constraints: 64850 3600.05/3610.12 c #Conflicts: 831000 | #Constraints: 65850 3600.05/3610.12 c #Conflicts: 832000 | #Constraints: 66850 3600.05/3610.12 c #Conflicts: 833000 | #Constraints: 67850 3600.05/3610.12 c #Conflicts: 834000 | #Constraints: 68850 3600.05/3610.12 c #Conflicts: 835000 | #Constraints: 69850 3600.05/3610.12 c #Conflicts: 836000 | #Constraints: 70850 3600.05/3610.12 c #Conflicts: 837000 | #Constraints: 71850 3600.05/3610.12 c #Conflicts: 838000 | #Constraints: 72850 3600.05/3610.12 c #Conflicts: 839000 | #Constraints: 73850 3600.05/3610.12 c #Conflicts: 840000 | #Constraints: 74850 3600.05/3610.12 c #Conflicts: 841000 | #Constraints: 75850 3600.05/3610.12 c #Conflicts: 842000 | #Constraints: 76850 3600.05/3610.12 c #Conflicts: 843000 | #Constraints: 77850 3600.05/3610.12 c #Conflicts: 844000 | #Constraints: 78850 3600.05/3610.12 c #Conflicts: 845000 | #Constraints: 79850 3600.05/3610.12 c #Conflicts: 846000 | #Constraints: 80850 3600.05/3610.12 c #Conflicts: 847000 | #Constraints: 81850 3600.05/3610.12 c #Conflicts: 848000 | #Constraints: 82850 3600.05/3610.12 c #Conflicts: 849000 | #Constraints: 83850 3600.05/3610.12 c #Conflicts: 850000 | #Constraints: 84850 3600.05/3610.12 c #Conflicts: 851000 | #Constraints: 85850 3600.05/3610.12 c #Conflicts: 852000 | #Constraints: 86850 3600.05/3610.12 c #Conflicts: 853000 | #Constraints: 87850 3600.05/3610.12 c #Conflicts: 854000 | #Constraints: 88850 3600.05/3610.12 c #Conflicts: 855000 | #Constraints: 89850 3600.05/3610.12 c #Conflicts: 856000 | #Constraints: 90850 3600.05/3610.12 c #Conflicts: 857000 | #Constraints: 91850 3600.05/3610.12 c #Conflicts: 858000 | #Constraints: 92850 3600.05/3610.12 c #Conflicts: 859000 | #Constraints: 93850 3600.05/3610.12 c #Conflicts: 860000 | #Constraints: 94850 3600.05/3610.12 c #Conflicts: 861000 | #Constraints: 95850 3600.05/3610.12 c Program interrupted by user. 3600.05/3610.12 c cpu time 3579.68 s 3600.05/3610.12 c deterministic time 334204427678 3.34e+11 3600.05/3610.12 c optimization time 376.937 s 3600.05/3610.12 c total solve time 3202.74 s 3600.05/3610.12 c core-guided solve time 1914.49 s 3600.05/3610.12 c propagation time 3022.27 s 3600.05/3610.12 c conflict analysis time 517.306 s 3600.05/3610.12 c propagations 113714759 3600.05/3610.12 c resolve steps 6800265 3600.05/3610.12 c decisions 5648809 3600.05/3610.12 c conflicts 861134 3600.05/3610.12 c restarts 1850 3600.05/3610.12 c inprocessing phases 48 3600.05/3610.12 c input clauses 311 3600.05/3610.12 c input cardinalities 328 3600.05/3610.12 c input general constraints 916 3600.05/3610.12 c input average constraint length 62.59 3600.05/3610.12 c input average constraint degree 23.75 3600.05/3610.12 c learned clauses 309923 3600.05/3610.12 c learned cardinalities 8941 3600.05/3610.12 c learned general constraints 542296 3600.05/3610.12 c learned average constraint length 206.42 3600.05/3610.12 c learned average constraint degree 7918022.72 3600.05/3610.12 c watched constraints 332780 3600.05/3610.12 c counting constraints 210432 3600.05/3610.12 c gcd simplifications 125325 3600.05/3610.12 c detected cardinalities 4304 3600.05/3610.12 c weakened non-implied lits 45337796 3600.05/3610.12 c weakened non-implying lits 78175 3600.05/3610.12 c original variables 478 3600.05/3610.12 c clausal propagations 11839672 3600.05/3610.12 c cardinality propagations 7870365 3600.05/3610.12 c watched propagations 15640983 3600.05/3610.12 c counting propagations 76059878 3600.05/3610.12 c watch lookups 61233972889 3600.05/3610.12 c watch backjump lookups 55203010225 3600.05/3610.12 c watch checks 198418517766 3600.05/3610.12 c propagation checks 18389191981 3600.05/3610.12 c constraint additions 719263236 3600.05/3610.12 c trail pops 120224142 3600.05/3610.12 c formula constraints 478 3600.05/3610.12 c learned constraints 861138 3600.05/3610.12 c bound constraints 181 3600.05/3610.12 c core-guided constraints 896 3600.05/3610.12 c encountered formula constraints 1397384 3600.05/3610.12 c encountered learned constraints 5408260 3600.05/3610.12 c encountered bound constraints 96 3600.05/3610.12 c encountered core-guided constraints 855548 3600.05/3610.12 c LP total time 40.6868 s 3600.05/3610.12 c LP solve time 38.55 s 3600.05/3610.12 c LP constraints added 478 3600.05/3610.12 c LP constraints removed 0 3600.05/3610.12 c LP pivots internal 861140 3600.05/3610.12 c LP pivots root 22730 3600.05/3610.12 c LP calls 19629 3600.05/3610.12 c LP optimalities 19616 3600.05/3610.12 c LP no pivot count 1171 3600.05/3610.12 c LP infeasibilities 11 3600.05/3610.12 c LP valid Farkas constraints 11 3600.05/3610.12 c LP learned Farkas constraints 11 3600.05/3610.12 c LP basis resets 0 3600.05/3610.12 c LP cycling count 0 3600.05/3610.12 c LP singular count 0 3600.05/3610.12 c LP no primal count 0 3600.05/3610.12 c LP no farkas count 0 3600.05/3610.12 c LP other issue count 0 3600.05/3610.12 c LP Gomory cuts 0 3600.05/3610.12 c LP learned cuts 0 3600.05/3610.12 c LP deleted cuts 0 3600.05/3610.12 c LP encountered Gomory constraints 0 3600.05/3610.12 c LP encountered Farkas constraints 68 3600.05/3610.12 c LP encountered learned Farkas constraints 32 3600.05/3610.12 c CG auxiliary variables introduced 348 3600.05/3610.12 c CG solutions found 33 3600.05/3610.12 c CG cores constructed 148 3600.05/3610.12 c CG core cardinality constraints returned 0 3600.05/3610.12 c CG unit cores 0 3600.05/3610.12 c CG single cores 148 3600.05/3610.12 c CG blocks removed during cardinality reduction 0 3600.05/3610.12 c CG first core best 0 3600.05/3610.12 c CG decision core best 0 3600.05/3610.12 c CG core reduction tie 0 3600.05/3610.12 c CG core degree average 1.00 3600.05/3610.12 c CG core slack average 4.07 3600.05/3610.12 s SATISFIABLE 3600.05/3610.12 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
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (50754 MiB free)
memory of node 1: 64510 MiB (56443 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460170-1722064837/watcher-4460170-1722064837 -o /tmp/evaluation-result-4460170-1722064837/solver-4460170-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364882 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460170-1722064837 --lp-cut-gomory=0 HOME/instance-4460170-1722064837.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=364930, runsolver pid=364921
Current StackSize limit: 8192 KiB
[startup+0.100477 s]*
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109756556/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=38712 memory=8516 CPUtime=0.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 605 0 0 0 6 0 0 0 20 0 1 0 42473132 39641088 2129 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 9678 2129 1760 992 0 1536 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 38712 KiB
Current children cumulated memory: 8516 KiB
[startup+0.214263 s]*
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109753864/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=39076 memory=8780 CPUtime=0.17 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 676 0 0 0 16 1 0 0 20 0 1 0 42473132 40013824 2195 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 9769 2195 1760 992 0 1627 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 8780 KiB
[startup+0.31286 s]*
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109747036/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=39076 memory=8780 CPUtime=0.27 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 679 0 0 0 25 2 0 0 20 0 1 0 42473132 40013824 2195 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 9769 2195 1760 992 0 1627 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 39076 KiB
Current children cumulated memory: 8780 KiB
[startup+0.700277 s]
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109729992/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=40568 memory=11432 CPUtime=0.65 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 1253 0 0 0 57 8 0 0 20 0 1 0 42473132 41541632 2858 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 10142 2858 1808 992 0 2000 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 40568 KiB
Current children cumulated memory: 11432 KiB
[startup+1.50029 s]
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109686240/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=43876 memory=17380 CPUtime=1.44 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 2214 0 0 0 129 15 0 0 20 0 1 0 42473132 44929024 4345 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 10969 4345 1869 992 0 2827 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 43876 KiB
Current children cumulated memory: 17380 KiB
[startup+3.11345 s]
/proc/loadavg: 0.08 0.09 0.09 5/244 364943
/proc/meminfo: memFree=109502044/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=50024 memory=23436 CPUtime=3.05 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 3270 0 0 0 282 23 0 0 20 0 1 0 42473132 51224576 5859 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 12506 5859 1869 992 0 4364 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 50024 KiB
Current children cumulated memory: 23436 KiB
[startup+6.30026 s]
/proc/loadavg: 0.40 0.16 0.11 5/246 364947
/proc/meminfo: memFree=109426888/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=54376 memory=27652 CPUtime=6.23 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 4311 0 0 0 589 34 0 0 20 0 1 0 42473132 55681024 6913 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 13594 6913 1869 992 0 5452 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 54376 KiB
Current children cumulated memory: 27652 KiB
[startup+12.7003 s]
/proc/loadavg: 0.77 0.24 0.14 5/246 364947
/proc/meminfo: memFree=109341272/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=62132 memory=33940 CPUtime=12.62 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 5366 0 0 0 1206 56 0 0 20 0 1 0 42473132 63623168 8485 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 15533 8485 1869 992 0 7391 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 62132 KiB
Current children cumulated memory: 33940 KiB
[startup+25.5004 s]
/proc/loadavg: 1.48 0.42 0.20 5/246 364950
/proc/meminfo: memFree=109139844/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=76580 memory=43896 CPUtime=25.38 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 7323 0 0 0 2445 93 0 0 20 0 1 0 42473132 78417920 10974 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 19145 10974 1869 992 0 11003 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 76580 KiB
Current children cumulated memory: 43896 KiB
[startup+51.1135 s]
/proc/loadavg: 2.34 0.71 0.30 5/248 364956
/proc/meminfo: memFree=108732676/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=102256 memory=70296 CPUtime=50.92 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 10934 0 0 0 4956 136 0 0 20 0 1 0 42473132 104710144 17574 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 25564 17574 1869 992 0 17422 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 102256 KiB
Current children cumulated memory: 70296 KiB
[startup+102.3 s]
/proc/loadavg: 3.39 1.25 0.51 5/248 364964
/proc/meminfo: memFree=108053048/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=146732 memory=112380 CPUtime=101.92 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 16863 0 0 0 9992 200 0 0 20 0 1 0 42473132 150253568 28095 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 36683 28095 1869 992 0 28541 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 146732 KiB
Current children cumulated memory: 112380 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.77 0.73 5/248 364974
/proc/meminfo: memFree=107631412/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=149788 memory=114896 CPUtime=161.73 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 17615 0 0 0 15887 286 0 0 20 0 1 0 42473132 153382912 28724 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 37447 28724 1869 992 0 29305 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 149788 KiB
Current children cumulated memory: 114896 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.19 0.95 5/248 364986
/proc/meminfo: memFree=107175380/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=155960 memory=120008 CPUtime=221.56 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 19036 0 0 0 21796 360 0 0 20 0 1 0 42473132 159703040 30002 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 38990 30002 1885 992 0 30848 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 155960 KiB
Current children cumulated memory: 120008 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.55 1.15 5/248 364996
/proc/meminfo: memFree=106830032/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=156212 memory=120008 CPUtime=281.36 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 19076 0 0 0 27733 403 0 0 20 0 1 0 42473132 159961088 30002 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 39053 30002 1885 992 0 30911 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 156212 KiB
Current children cumulated memory: 120008 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 2.85 1.34 5/245 365389
/proc/meminfo: memFree=106509532/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=160376 memory=123184 CPUtime=341.21 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 20045 0 0 0 33659 462 0 0 20 0 1 0 42473132 164225024 30796 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 40094 30796 1885 992 0 31952 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 160376 KiB
Current children cumulated memory: 123184 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 3.12 1.53 5/245 365400
/proc/meminfo: memFree=106101328/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=161216 memory=124240 CPUtime=401.04 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 20301 0 0 0 39581 523 0 0 20 0 1 0 42473132 165085184 31060 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 40304 31060 1885 992 0 32162 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 161216 KiB
Current children cumulated memory: 124240 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.30 1.69 5/245 365411
/proc/meminfo: memFree=105801344/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=161512 memory=124708 CPUtime=460.86 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 20417 0 0 0 45528 558 0 0 20 0 1 0 42473132 165388288 31177 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 40378 31177 1885 992 0 32236 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/246 366691
/proc/meminfo: memFree=97644828/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=465716 memory=355168 CPUtime=3153.46 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 51135 0 0 0 313476 1870 0 0 20 0 1 0 42473132 476893184 88792 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 116429 88792 1885 992 0 108287 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 465716 KiB
Current children cumulated memory: 355168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/246 366701
/proc/meminfo: memFree=97498020/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=466228 memory=355304 CPUtime=3213.29 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 51298 0 0 0 319425 1904 0 0 20 0 1 0 42473132 477417472 88826 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 116557 88826 1885 992 0 108415 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 355304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/246 366713
/proc/meminfo: memFree=97330664/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=466228 memory=355304 CPUtime=3273.13 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 51425 0 0 0 325374 1939 0 0 20 0 1 0 42473132 477417472 88826 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 116557 88826 1885 992 0 108415 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 355304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/244 366724
/proc/meminfo: memFree=97198952/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=466228 memory=355304 CPUtime=3332.97 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 51570 0 0 0 331334 1963 0 0 20 0 1 0 42473132 477417472 88826 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 116557 88826 1885 992 0 108415 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 466228 KiB
Current children cumulated memory: 355304 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/244 366734
/proc/meminfo: memFree=97076328/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=468040 memory=356508 CPUtime=3392.79 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 52024 0 0 0 337298 1981 0 0 20 0 1 0 42473132 479272960 89127 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 117010 89127 1885 992 0 108868 0
Current children cumulated CPU time: 3392.79 s
Current children cumulated vsize: 468040 KiB
Current children cumulated memory: 356508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/245 366745
/proc/meminfo: memFree=96905860/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=470084 memory=357836 CPUtime=3452.63 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 52514 0 0 0 343262 2001 0 0 20 0 1 0 42473132 481366016 89459 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 117521 89459 1885 992 0 109379 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 470084 KiB
Current children cumulated memory: 357836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/245 366756
/proc/meminfo: memFree=96741048/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=474488 memory=360468 CPUtime=3512.48 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 53390 0 0 0 349230 2018 0 0 20 0 1 0 42473132 485875712 90117 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 118622 90117 1885 992 0 110480 0
Current children cumulated CPU time: 3512.48 s
Current children cumulated vsize: 474488 KiB
Current children cumulated memory: 360468 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/245 366766
/proc/meminfo: memFree=96546244/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=483632 memory=374336 CPUtime=3572.32 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 54975 0 0 0 355200 2032 0 0 20 0 1 0 42473132 495239168 93584 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 120908 93584 1885 992 0 112766 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 483632 KiB
Current children cumulated memory: 374336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.10 4.13 4.09 4/248 366777
/proc/meminfo: memFree=96468052/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385248 CPUtime=3600.05 cores=1,3
/proc/364930/stat : 364930 (roundingsat) R 364921 364930 364870 0 -1 4194304 56413 0 0 0 357967 2038 0 0 20 0 1 0 42473132 504016896 96312 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96312 1885 992 0 114909 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 492204 KiB
Current children cumulated memory: 385248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.10 4.13 4.09 2/247 366777
/proc/meminfo: memFree=96463360/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385812 CPUtime=3600.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) D 364921 364930 364870 0 -1 4194304 56421 0 0 0 357968 2038 0 0 20 0 1 0 42473132 504016896 96453 134679101440 4194304 8254357 140726164227904 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96453 1966 992 0 114909 0
??? kill 364930 sig 9
??? end of watcher thread
[startup+3614.75 s]
# the end of solver process 364930 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3579.69 s, system=20.3922 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.10 4.13 4.09 2/248 366777
/proc/meminfo: memFree=96464116/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385812 CPUtime=3600.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) D 364921 364930 364870 0 -1 4194304 56421 0 0 0 357968 2038 0 0 20 0 1 0 42473132 504016896 96453 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96453 1966 992 0 114909 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 492204 KiB
Current children cumulated memory: 385812 KiB
[startup+3611.6 s]
/proc/loadavg: 4.10 4.13 4.09 2/248 366777
/proc/meminfo: memFree=96464116/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385812 CPUtime=3600.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) D 364921 364930 364870 0 -1 4194304 56421 0 0 0 357968 2038 0 0 20 0 1 0 42473132 504016896 96453 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96453 1966 992 0 114909 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 492204 KiB
Current children cumulated memory: 385812 KiB
[startup+3612 s]*
/proc/loadavg: 4.10 4.13 4.09 2/247 366777
/proc/meminfo: memFree=96463736/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385812 CPUtime=3600.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) D 364921 364930 364870 0 -1 4194304 56421 0 0 0 357968 2038 0 0 20 0 1 0 42473132 504016896 96453 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96453 1966 992 0 114909 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 492204 KiB
Current children cumulated memory: 385812 KiB
[startup+3612.11 s]
/proc/loadavg: 4.10 4.13 4.09 2/247 366777
/proc/meminfo: memFree=96463736/131655788 swapFree=131070704/131071996
[pid=364930] ppid=364921 vsize=492204 memory=385812 CPUtime=3600.06 cores=1,3
/proc/364930/stat : 364930 (roundingsat) D 364921 364930 364870 0 -1 4194304 56421 0 0 0 357968 2038 0 0 20 0 1 0 42473132 504016896 96453 134679101440 4194304 8254357 140726164227904 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18075648 140726164231003 140726164231265 140726164231265 140726164238281 0
/proc/364930/statm: 123051 96453 1966 992 0 114909 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 492204 KiB
Current children cumulated memory: 385812 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.75
CPU time (s): 3600.08
CPU user time (s): 3579.69
CPU system time (s): 20.3922
CPU usage (%): 99.5941
Max. virtual memory (cumulated for all children) (KiB): 492204
Max. memory (cumulated for all children) (KiB): 385812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.69
system time used= 20.3922
maximum resident set size= 385932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56421
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4839256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195
involuntary context switches= 4829
# summary of solver processes directly reported to runsolver:
# pid: 364930
# total CPU time (s): 3600.08
# total CPU user time (s): 3579.69
# total CPU system time (s): 20.3922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4553 second user time and 30.2033 second system time
The end
Begin job on nodeC008 at 2024-07-27 09:20:38 IDJOB=4460170 IDBENCH=147538 IDSOLVER=3086 FILE ID=nodeC008/4460170-1722064837 RUNJOBID= nodeC008-1722064837-364882 SLURM_JOB_ID= 8248110 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.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-4460170-1722064837/watcher-4460170-1722064837 -o /tmp/evaluation-result-4460170-1722064837/solver-4460170-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722064837-364882 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460170-1722064837 --lp-cut-gomory=0 HOME/instance-4460170-1722064837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=1191205797 nodeC008.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.151 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.19 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.123 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.33 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.19 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.127 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.33 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.162 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.19 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.144 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.33 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.149 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.19 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.193 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 109771472 kB MemAvailable: 129852856 kB Buffers: 371848 kB Cached: 20470200 kB SwapCached: 732 kB Active: 2826860 kB Inactive: 18348532 kB Active(anon): 1528 kB Inactive(anon): 385716 kB Active(file): 2825332 kB Inactive(file): 17962816 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 23428 kB Writeback: 8 kB AnonPages: 332888 kB Mapped: 121220 kB Shmem: 53860 kB KReclaimable: 266536 kB Slab: 387740 kB SReclaimable: 266536 kB SUnreclaim: 121204 kB KernelStack: 3792 kB PageTables: 10080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 655024 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21024 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 400200 kB DirectMap2M: 49836032 kB DirectMap1G: 85983232 kB Free space on /tmp at the end= 723760 MiB End job on nodeC008 at 2024-07-27 10:20:53