| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 194 | 3600.02 | 3614.51 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.38 c #variables 476 #constraints 476 0.39/0.88 c bounds - >= 0 @ 0.010243 0.39/0.88 c bounds 231 >= 0 @ 0.395534 0.39/0.88 c bounds 231 >= 1 @ 0.395775 0.39/0.88 c bounds 231 >= 2 @ 0.395915 0.39/0.88 c bounds 231 >= 3 @ 0.396049 0.39/0.88 c bounds 231 >= 4 @ 0.396137 0.39/0.88 c bounds 231 >= 5 @ 0.396137 0.39/0.88 c bounds 231 >= 6 @ 0.396137 0.39/0.88 c bounds 231 >= 7 @ 0.396137 0.39/0.88 c bounds 231 >= 8 @ 0.396137 0.39/0.88 c bounds 231 >= 9 @ 0.396137 0.39/0.88 c bounds 231 >= 10 @ 0.396137 0.39/0.88 c bounds 231 >= 11 @ 0.396143 0.39/0.88 c bounds 231 >= 12 @ 0.396143 0.39/0.88 c bounds 231 >= 13 @ 0.396143 0.39/0.88 c bounds 231 >= 14 @ 0.396143 0.39/0.88 c bounds 231 >= 15 @ 0.396143 0.39/0.88 c bounds 231 >= 16 @ 0.396143 0.39/0.88 c bounds 231 >= 17 @ 0.396332 0.39/0.88 c bounds 231 >= 18 @ 0.396525 0.39/0.88 c bounds 231 >= 19 @ 0.396721 0.39/0.88 c bounds 231 >= 20 @ 0.39692 0.39/0.88 c bounds 231 >= 21 @ 0.397146 0.39/0.88 c bounds 231 >= 22 @ 0.39739 0.39/0.88 c bounds 231 >= 23 @ 0.397679 0.39/0.88 c bounds 231 >= 24 @ 0.397975 0.39/0.88 c bounds 231 >= 25 @ 0.398132 0.39/0.88 c bounds 231 >= 26 @ 0.398132 0.39/0.88 c bounds 231 >= 27 @ 0.398132 0.39/0.88 c bounds 231 >= 28 @ 0.398133 0.39/0.88 c bounds 231 >= 29 @ 0.398133 0.39/0.88 c bounds 231 >= 30 @ 0.398133 0.39/0.88 c bounds 231 >= 31 @ 0.398133 0.39/0.88 c bounds 230 >= 31 @ 0.400038 0.39/0.88 c bounds 230 >= 32 @ 0.400365 0.39/0.88 c bounds 230 >= 33 @ 0.400675 0.39/0.88 c bounds 230 >= 34 @ 0.400965 0.39/0.88 c bounds 230 >= 35 @ 0.401118 0.39/0.88 c bounds 230 >= 36 @ 0.401118 0.39/0.88 c bounds 230 >= 37 @ 0.401118 0.39/0.88 c bounds 230 >= 38 @ 0.401412 0.39/0.88 c bounds 230 >= 39 @ 0.401703 0.39/0.88 c bounds 230 >= 40 @ 0.401986 0.39/0.88 c bounds 230 >= 41 @ 0.402115 0.39/0.88 c bounds 230 >= 42 @ 0.402115 0.39/0.88 c bounds 230 >= 43 @ 0.402115 0.39/0.88 c bounds 230 >= 44 @ 0.402117 0.39/0.88 c bounds 230 >= 45 @ 0.402117 0.39/0.88 c bounds 230 >= 46 @ 0.402117 0.39/0.88 c bounds 230 >= 47 @ 0.402128 0.39/0.88 c bounds 230 >= 48 @ 0.402428 0.39/0.88 c bounds 230 >= 49 @ 0.402741 0.39/0.88 c bounds 230 >= 50 @ 0.403043 0.39/0.88 c bounds 230 >= 51 @ 0.403113 0.39/0.88 c bounds 230 >= 52 @ 0.403113 0.39/0.88 c bounds 230 >= 53 @ 0.403113 0.39/0.88 c bounds 230 >= 54 @ 0.403113 0.39/0.88 c bounds 230 >= 55 @ 0.403113 0.39/0.88 c bounds 230 >= 56 @ 0.403113 0.39/0.88 c bounds 230 >= 57 @ 0.403207 0.39/0.88 c bounds 230 >= 58 @ 0.403519 0.39/0.88 c bounds 230 >= 59 @ 0.403846 0.39/0.88 c bounds 230 >= 60 @ 0.404155 0.39/0.88 c bounds 230 >= 61 @ 0.404464 0.39/0.88 c bounds 229 >= 61 @ 0.405996 0.39/0.88 c bounds 229 >= 62 @ 0.405996 0.39/0.88 c bounds 229 >= 63 @ 0.406101 0.39/0.88 c bounds 229 >= 64 @ 0.406101 0.39/0.88 c bounds 229 >= 65 @ 0.406101 0.39/0.88 c bounds 229 >= 66 @ 0.406101 0.39/0.88 c bounds 229 >= 67 @ 0.406101 0.39/0.88 c bounds 229 >= 68 @ 0.406101 0.39/0.88 c bounds 229 >= 69 @ 0.406302 0.39/0.88 c bounds 229 >= 70 @ 0.406649 0.39/0.88 c bounds 229 >= 71 @ 0.406989 0.39/0.88 c bounds 229 >= 72 @ 0.40732 0.39/0.88 c bounds 229 >= 73 @ 0.407639 0.39/0.88 c bounds 229 >= 74 @ 0.407964 0.39/0.88 c bounds 229 >= 75 @ 0.408308 0.39/0.88 c bounds 229 >= 76 @ 0.408671 0.39/0.88 c bounds 229 >= 77 @ 0.409029 0.39/0.88 c bounds 229 >= 78 @ 0.409085 0.39/0.88 c bounds 229 >= 79 @ 0.409085 0.39/0.88 c bounds 229 >= 80 @ 0.409085 0.39/0.88 c bounds 229 >= 81 @ 0.409085 0.39/0.88 c bounds 229 >= 82 @ 0.409085 0.39/0.88 c bounds 229 >= 83 @ 0.409085 0.39/0.88 c bounds 229 >= 84 @ 0.409085 0.39/0.88 c bounds 228 >= 84 @ 0.410986 0.39/0.88 c bounds 228 >= 85 @ 0.411078 0.39/0.88 c bounds 228 >= 86 @ 0.411078 0.39/0.88 c bounds 228 >= 87 @ 0.411079 0.39/0.88 c bounds 228 >= 88 @ 0.411079 0.39/0.88 c bounds 228 >= 89 @ 0.411079 0.39/0.88 c bounds 228 >= 90 @ 0.41108 0.39/0.88 c bounds 228 >= 91 @ 0.41108 0.39/0.88 c bounds 228 >= 92 @ 0.41108 0.39/0.88 c bounds 228 >= 93 @ 0.41108 0.39/0.88 c bounds 228 >= 94 @ 0.41108 0.39/0.88 c bounds 228 >= 95 @ 0.41108 0.39/0.88 c bounds 228 >= 96 @ 0.41108 0.39/0.88 c bounds 228 >= 97 @ 0.41108 0.39/0.88 c bounds 228 >= 98 @ 0.411083 0.39/0.88 c bounds 227 >= 98 @ 0.415045 0.39/0.88 c bounds 227 >= 99 @ 0.415073 0.39/0.88 c bounds 227 >= 100 @ 0.415527 0.39/0.88 c bounds 227 >= 101 @ 0.415933 0.39/0.88 c bounds 227 >= 102 @ 0.416049 0.39/0.88 c bounds 227 >= 103 @ 0.416049 0.39/0.88 c bounds 227 >= 104 @ 0.416051 0.39/0.88 c bounds 227 >= 105 @ 0.416051 0.39/0.88 c bounds 227 >= 106 @ 0.416051 0.39/0.88 c bounds 227 >= 107 @ 0.416052 0.39/0.88 c bounds 227 >= 108 @ 0.416052 0.39/0.88 c bounds 227 >= 109 @ 0.416053 0.39/0.88 c bounds 227 >= 110 @ 0.416053 0.39/0.88 c bounds 227 >= 111 @ 0.416121 0.39/0.88 c bounds 227 >= 112 @ 0.416566 0.39/0.88 c bounds 227 >= 113 @ 0.417037 0.39/0.88 c bounds 227 >= 114 @ 0.417486 0.39/0.88 c bounds 227 >= 115 @ 0.417949 0.39/0.88 c bounds 227 >= 116 @ 0.418032 0.39/0.88 c bounds 227 >= 117 @ 0.418032 0.39/0.88 c bounds 227 >= 118 @ 0.418408 0.39/0.88 c bounds 227 >= 119 @ 0.418929 0.39/0.88 c bounds 227 >= 120 @ 0.419032 0.39/0.88 c bounds 227 >= 121 @ 0.419032 0.39/0.88 c bounds 227 >= 122 @ 0.419033 0.39/0.88 c bounds 227 >= 123 @ 0.419033 0.39/0.88 c bounds 227 >= 124 @ 0.419349 0.39/0.88 c bounds 227 >= 125 @ 0.419785 0.39/0.88 c bounds 227 >= 126 @ 0.420315 0.39/0.88 c bounds 227 >= 127 @ 0.420759 0.39/0.88 c bounds 227 >= 128 @ 0.421021 0.39/0.88 c bounds 227 >= 129 @ 0.42104 0.39/0.88 c bounds 227 >= 130 @ 0.421798 0.39/0.88 c bounds 227 >= 131 @ 0.422368 1.38/1.86 c bounds 226 >= 131 @ 0.445519 1.38/1.86 c bounds 226 >= 132 @ 0.445759 1.38/1.86 c bounds 226 >= 133 @ 0.445759 1.38/1.86 c bounds 226 >= 134 @ 0.445761 1.38/1.86 c bounds 226 >= 135 @ 0.446755 1.38/1.86 c bounds 226 >= 136 @ 0.446909 1.38/1.86 c bounds 226 >= 137 @ 0.453748 1.38/1.86 c bounds 226 >= 138 @ 0.457074 1.38/1.86 c bounds 226 >= 139 @ 0.459548 1.38/1.86 c bounds 226 >= 140 @ 0.510931 1.38/1.86 c bounds 225 >= 140 @ 0.526759 1.38/1.86 c bounds 224 >= 140 @ 0.549025 1.38/1.86 c bounds 223 >= 140 @ 0.625475 1.38/1.86 c #Conflicts: 1000 | #Constraints: 2031 1.38/1.86 c bounds 223 >= 141 @ 0.690993 1.38/1.86 c bounds 222 >= 141 @ 0.709266 1.38/1.86 c bounds 221 >= 141 @ 0.731919 1.38/1.86 c bounds 220 >= 141 @ 0.744983 1.38/1.86 c bounds 220 >= 142 @ 0.99432 1.38/1.86 c bounds 219 >= 142 @ 1.00116 1.38/1.86 c #Conflicts: 2000 | #Constraints: 3129 1.38/1.86 c INPROCESSING 1.38/1.86 c GARBAGE COLLECT 1.38/1.86 c rational objective 143.945 2.48/2.97 c #Conflicts: 3000 | #Constraints: 3135 2.48/2.97 c bounds 218 >= 142 @ 1.92793 2.48/2.97 c #Conflicts: 4000 | #Constraints: 4136 2.48/2.97 c INPROCESSING 2.48/2.97 c GARBAGE COLLECT 2.48/2.97 c rational objective 143.945 3.18/3.68 c bounds 218 >= 143 @ 2.39653 3.18/3.68 c #Conflicts: 5000 | #Constraints: 3636 3.18/3.68 c #Conflicts: 6000 | #Constraints: 4636 3.18/3.68 c INPROCESSING 3.18/3.68 c GARBAGE COLLECT 3.18/3.68 c rational objective 143.945 3.97/4.42 c bounds 217 >= 143 @ 3.06686 3.97/4.42 c bounds 216 >= 143 @ 3.07996 3.97/4.42 c bounds 215 >= 143 @ 3.0856 3.97/4.42 c bounds 214 >= 143 @ 3.10611 3.97/4.42 c #Conflicts: 7000 | #Constraints: 3684 3.97/4.42 c bounds 213 >= 143 @ 3.12113 3.97/4.42 c bounds 212 >= 143 @ 3.14731 3.97/4.42 c #Conflicts: 8000 | #Constraints: 4686 3.97/4.42 c bounds 211 >= 143 @ 3.45197 3.97/4.42 c bounds 210 >= 143 @ 3.49912 3.97/4.42 c bounds 209 >= 143 @ 3.51495 3.97/4.42 c bounds 208 >= 143 @ 3.5306 3.97/4.42 c bounds 207 >= 143 @ 3.53796 3.97/4.42 c #Conflicts: 9000 | #Constraints: 5691 3.97/4.42 c bounds 206 >= 143 @ 3.54954 3.97/4.42 c bounds 205 >= 143 @ 3.55772 3.97/4.42 c INPROCESSING 3.97/4.42 c GARBAGE COLLECT 3.97/4.42 c rational objective 143.945 4.97/5.42 c bounds 204 >= 143 @ 3.7794 4.97/5.42 c bounds 203 >= 143 @ 3.82259 4.97/5.42 c #Conflicts: 10000 | #Constraints: 4341 4.97/5.42 c #Conflicts: 11000 | #Constraints: 5341 4.97/5.42 c bounds 202 >= 143 @ 4.41918 4.97/5.42 c #Conflicts: 12000 | #Constraints: 6342 4.97/5.42 c INPROCESSING 4.97/5.42 c GARBAGE COLLECT 4.97/5.42 c rational objective 143.945 6.07/6.50 c bounds 202 >= 144 @ 4.73086 6.07/6.50 c #Conflicts: 13000 | #Constraints: 4869 6.07/6.50 c #Conflicts: 14000 | #Constraints: 5869 6.07/6.50 c #Conflicts: 15000 | #Constraints: 6869 6.07/6.50 c INPROCESSING 6.07/6.50 c GARBAGE COLLECT 6.07/6.50 c rational objective 143.945 10.67/11.11 c #Conflicts: 16000 | #Constraints: 5119 10.67/11.11 c bounds 201 >= 144 @ 5.94876 10.67/11.11 c #Conflicts: 17000 | #Constraints: 6120 10.67/11.11 c #Conflicts: 18000 | #Constraints: 7120 10.67/11.11 c #Conflicts: 19000 | #Constraints: 8120 10.67/11.11 c #Conflicts: 20000 | #Constraints: 9120 10.67/11.11 c #Conflicts: 21000 | #Constraints: 10120 10.67/11.11 c #Conflicts: 22000 | #Constraints: 11120 10.67/11.11 c #Conflicts: 23000 | #Constraints: 12120 10.67/11.11 c #Conflicts: 24000 | #Constraints: 13120 10.67/11.11 c INPROCESSING 10.67/11.11 c GARBAGE COLLECT 10.67/11.11 c rational objective 143.945 14.13/14.63 c #Conflicts: 25000 | #Constraints: 7940 14.13/14.63 c #Conflicts: 26000 | #Constraints: 8940 14.13/14.63 c bounds 201 >= 145 @ 11.2929 14.13/14.63 c #Conflicts: 27000 | #Constraints: 9975 14.13/14.63 c #Conflicts: 28000 | #Constraints: 10975 14.13/14.63 c INPROCESSING 14.13/14.63 c GARBAGE COLLECT 14.13/14.63 c rational objective 143.945 16.93/17.43 c #Conflicts: 29000 | #Constraints: 6790 16.93/17.43 c #Conflicts: 30000 | #Constraints: 7790 16.93/17.43 c #Conflicts: 31000 | #Constraints: 8790 16.93/17.43 c #Conflicts: 32000 | #Constraints: 9790 16.93/17.43 c #Conflicts: 33000 | #Constraints: 10790 16.93/17.43 c INPROCESSING 16.93/17.43 c GARBAGE COLLECT 16.93/17.43 c rational objective 143.945 19.11/19.69 c #Conflicts: 34000 | #Constraints: 6964 19.11/19.69 c #Conflicts: 35000 | #Constraints: 7964 19.11/19.69 c #Conflicts: 36000 | #Constraints: 8964 19.11/19.69 c #Conflicts: 37000 | #Constraints: 9964 19.11/19.69 c #Conflicts: 38000 | #Constraints: 10964 19.11/19.69 c INPROCESSING 19.11/19.69 c GARBAGE COLLECT 19.11/19.69 c rational objective 143.945 29.09/29.60 c #Conflicts: 39000 | #Constraints: 7131 29.09/29.60 c #Conflicts: 40000 | #Constraints: 8131 29.09/29.60 c #Conflicts: 41000 | #Constraints: 9131 29.09/29.60 c #Conflicts: 42000 | #Constraints: 10131 29.09/29.60 c #Conflicts: 43000 | #Constraints: 11131 29.09/29.60 c bounds 201 >= 146 @ 21.4531 29.09/29.60 c #Conflicts: 44000 | #Constraints: 12178 29.09/29.60 c #Conflicts: 45000 | #Constraints: 13178 29.09/29.60 c bounds 200 >= 146 @ 22.5674 29.09/29.60 c #Conflicts: 46000 | #Constraints: 14179 29.09/29.60 c #Conflicts: 47000 | #Constraints: 15179 29.09/29.60 c #Conflicts: 48000 | #Constraints: 16179 29.09/29.60 c #Conflicts: 49000 | #Constraints: 17179 29.09/29.60 c #Conflicts: 50000 | #Constraints: 18179 29.09/29.60 c #Conflicts: 51000 | #Constraints: 19179 29.09/29.60 c #Conflicts: 52000 | #Constraints: 20179 29.09/29.60 c INPROCESSING 29.09/29.60 c GARBAGE COLLECT 29.09/29.60 c rational objective 143.945 34.77/35.38 c #Conflicts: 53000 | #Constraints: 11369 34.77/35.38 c #Conflicts: 54000 | #Constraints: 12369 34.77/35.38 c #Conflicts: 55000 | #Constraints: 13369 34.77/35.38 c #Conflicts: 56000 | #Constraints: 14369 34.77/35.38 c #Conflicts: 57000 | #Constraints: 15369 34.77/35.38 c #Conflicts: 58000 | #Constraints: 16369 34.77/35.38 c INPROCESSING 34.77/35.38 c GARBAGE COLLECT 34.77/35.38 c rational objective 143.945 39.05/39.67 c #Conflicts: 59000 | #Constraints: 9527 39.05/39.67 c #Conflicts: 60000 | #Constraints: 10527 39.05/39.67 c #Conflicts: 61000 | #Constraints: 11527 39.05/39.67 c #Conflicts: 62000 | #Constraints: 12527 39.05/39.67 c #Conflicts: 63000 | #Constraints: 13527 39.05/39.67 c #Conflicts: 64000 | #Constraints: 14527 39.05/39.67 c #Conflicts: 65000 | #Constraints: 15527 39.05/39.67 c INPROCESSING 39.05/39.67 c GARBAGE COLLECT 39.05/39.67 c rational objective 143.945 44.54/45.18 c #Conflicts: 66000 | #Constraints: 9434 44.54/45.18 c #Conflicts: 67000 | #Constraints: 10434 44.54/45.18 c #Conflicts: 68000 | #Constraints: 11434 44.54/45.18 c #Conflicts: 69000 | #Constraints: 12434 44.54/45.18 c #Conflicts: 70000 | #Constraints: 13434 44.54/45.18 c #Conflicts: 71000 | #Constraints: 14434 44.54/45.18 c INPROCESSING 44.54/45.18 c GARBAGE COLLECT 44.54/45.18 c rational objective 143.945 75.22/75.93 c #Conflicts: 72000 | #Constraints: 8766 75.22/75.93 c #Conflicts: 73000 | #Constraints: 9766 75.22/75.93 c #Conflicts: 74000 | #Constraints: 10766 75.22/75.93 c #Conflicts: 75000 | #Constraints: 11766 75.22/75.93 c bounds 199 >= 146 @ 45.5904 75.22/75.93 c #Conflicts: 76000 | #Constraints: 12767 75.22/75.93 c #Conflicts: 77000 | #Constraints: 13767 75.22/75.93 c #Conflicts: 78000 | #Constraints: 14767 75.22/75.93 c #Conflicts: 79000 | #Constraints: 15767 75.22/75.93 c #Conflicts: 80000 | #Constraints: 16767 75.22/75.93 c #Conflicts: 81000 | #Constraints: 17767 75.22/75.93 c #Conflicts: 82000 | #Constraints: 18767 75.22/75.93 c #Conflicts: 83000 | #Constraints: 19767 75.22/75.93 c #Conflicts: 84000 | #Constraints: 20767 75.22/75.93 c #Conflicts: 85000 | #Constraints: 21767 75.22/75.93 c #Conflicts: 86000 | #Constraints: 22767 75.22/75.93 c #Conflicts: 87000 | #Constraints: 23767 75.22/75.93 c #Conflicts: 88000 | #Constraints: 24767 75.22/75.93 c #Conflicts: 89000 | #Constraints: 25767 75.22/75.93 c bounds 199 >= 147 @ 72.2549 75.22/75.93 c #Conflicts: 90000 | #Constraints: 26814 75.22/75.93 c #Conflicts: 91000 | #Constraints: 27814 75.22/75.93 c bounds 198 >= 147 @ 73.3571 75.22/75.93 c INPROCESSING 75.22/75.93 c GARBAGE COLLECT 75.22/75.93 c rational objective 143.945 81.32/82.01 c #Conflicts: 92000 | #Constraints: 15350 81.32/82.01 c #Conflicts: 93000 | #Constraints: 16350 81.32/82.01 c #Conflicts: 94000 | #Constraints: 17350 81.32/82.01 c #Conflicts: 95000 | #Constraints: 18350 81.32/82.01 c #Conflicts: 96000 | #Constraints: 19350 81.32/82.01 c #Conflicts: 97000 | #Constraints: 20350 81.32/82.01 c #Conflicts: 98000 | #Constraints: 21350 81.32/82.01 c #Conflicts: 99000 | #Constraints: 22350 81.32/82.01 c INPROCESSING 81.32/82.01 c GARBAGE COLLECT 81.32/82.01 c rational objective 143.945 89.38/90.13 c #Conflicts: 100000 | #Constraints: 12774 89.38/90.13 c #Conflicts: 101000 | #Constraints: 13774 89.38/90.13 c #Conflicts: 102000 | #Constraints: 14774 89.38/90.13 c #Conflicts: 103000 | #Constraints: 15774 89.38/90.13 c #Conflicts: 104000 | #Constraints: 16774 89.38/90.13 c #Conflicts: 105000 | #Constraints: 17774 89.38/90.13 c bounds 197 >= 147 @ 85.6632 89.38/90.13 c #Conflicts: 106000 | #Constraints: 18775 89.38/90.13 c #Conflicts: 107000 | #Constraints: 19775 89.38/90.13 c INPROCESSING 89.38/90.13 c GARBAGE COLLECT 89.38/90.13 c rational objective 143.945 98.04/98.89 c #Conflicts: 108000 | #Constraints: 11538 98.04/98.89 c #Conflicts: 109000 | #Constraints: 12538 98.04/98.89 c #Conflicts: 110000 | #Constraints: 13538 98.04/98.89 c #Conflicts: 111000 | #Constraints: 14538 98.04/98.89 c #Conflicts: 112000 | #Constraints: 15538 98.04/98.89 c bounds 196 >= 147 @ 91.3336 98.04/98.89 c #Conflicts: 113000 | #Constraints: 16539 98.04/98.89 c #Conflicts: 114000 | #Constraints: 17539 98.04/98.89 c #Conflicts: 115000 | #Constraints: 18539 98.04/98.89 c INPROCESSING 98.04/98.89 c GARBAGE COLLECT 98.04/98.89 c rational objective 143.945 157.63/158.65 c #Conflicts: 116000 | #Constraints: 10935 157.63/158.65 c #Conflicts: 117000 | #Constraints: 11935 157.63/158.65 c #Conflicts: 118000 | #Constraints: 12935 157.63/158.65 c #Conflicts: 119000 | #Constraints: 13935 157.63/158.65 c #Conflicts: 120000 | #Constraints: 14935 157.63/158.65 c #Conflicts: 121000 | #Constraints: 15935 157.63/158.65 c #Conflicts: 122000 | #Constraints: 16935 157.63/158.65 c #Conflicts: 123000 | #Constraints: 17935 157.63/158.65 c #Conflicts: 124000 | #Constraints: 18935 157.63/158.65 c #Conflicts: 125000 | #Constraints: 19935 157.63/158.65 c #Conflicts: 126000 | #Constraints: 20935 157.63/158.65 c #Conflicts: 127000 | #Constraints: 21935 157.63/158.65 c #Conflicts: 128000 | #Constraints: 22935 157.63/158.65 c #Conflicts: 129000 | #Constraints: 23935 157.63/158.65 c #Conflicts: 130000 | #Constraints: 24935 157.63/158.65 c #Conflicts: 131000 | #Constraints: 25935 157.63/158.65 c #Conflicts: 132000 | #Constraints: 26935 157.63/158.65 c bounds 195 >= 147 @ 119.058 157.63/158.65 c #Conflicts: 133000 | #Constraints: 27936 157.63/158.65 c #Conflicts: 134000 | #Constraints: 28936 157.63/158.65 c #Conflicts: 135000 | #Constraints: 29936 157.63/158.65 c #Conflicts: 136000 | #Constraints: 30936 157.63/158.65 c #Conflicts: 137000 | #Constraints: 31936 157.63/158.65 c #Conflicts: 138000 | #Constraints: 32936 157.63/158.65 c #Conflicts: 139000 | #Constraints: 33936 157.63/158.65 c #Conflicts: 140000 | #Constraints: 34936 157.63/158.65 c INPROCESSING 157.63/158.65 c GARBAGE COLLECT 157.63/158.65 c rational objective 143.945 177.86/178.99 c #Conflicts: 141000 | #Constraints: 18944 177.86/178.99 c #Conflicts: 142000 | #Constraints: 19944 177.86/178.99 c #Conflicts: 143000 | #Constraints: 20944 177.86/178.99 c #Conflicts: 144000 | #Constraints: 21944 177.86/178.99 c #Conflicts: 145000 | #Constraints: 22944 177.86/178.99 c #Conflicts: 146000 | #Constraints: 23944 177.86/178.99 c #Conflicts: 147000 | #Constraints: 24944 177.86/178.99 c #Conflicts: 148000 | #Constraints: 25944 177.86/178.99 c #Conflicts: 149000 | #Constraints: 26944 177.86/178.99 c #Conflicts: 150000 | #Constraints: 27944 177.86/178.99 c INPROCESSING 177.86/178.99 c GARBAGE COLLECT 177.86/178.99 c rational objective 143.945 190.02/191.12 c #Conflicts: 151000 | #Constraints: 15747 190.02/191.12 c #Conflicts: 152000 | #Constraints: 16747 190.02/191.12 c #Conflicts: 153000 | #Constraints: 17747 190.02/191.12 c #Conflicts: 154000 | #Constraints: 18747 190.02/191.12 c #Conflicts: 155000 | #Constraints: 19747 190.02/191.12 c #Conflicts: 156000 | #Constraints: 20747 190.02/191.12 c #Conflicts: 157000 | #Constraints: 21747 190.02/191.12 c #Conflicts: 158000 | #Constraints: 22747 190.02/191.12 c #Conflicts: 159000 | #Constraints: 23747 190.02/191.12 c INPROCESSING 190.02/191.12 c GARBAGE COLLECT 190.02/191.12 c rational objective 143.945 262.16/263.53 c #Conflicts: 160000 | #Constraints: 13277 262.16/263.53 c #Conflicts: 161000 | #Constraints: 14277 262.16/263.53 c #Conflicts: 162000 | #Constraints: 15277 262.16/263.53 c #Conflicts: 163000 | #Constraints: 16277 262.16/263.53 c #Conflicts: 164000 | #Constraints: 17277 262.16/263.53 c #Conflicts: 165000 | #Constraints: 18277 262.16/263.53 c #Conflicts: 166000 | #Constraints: 19277 262.16/263.53 c #Conflicts: 167000 | #Constraints: 20277 262.16/263.53 c #Conflicts: 168000 | #Constraints: 21277 262.16/263.53 c #Conflicts: 169000 | #Constraints: 22277 262.16/263.53 c #Conflicts: 170000 | #Constraints: 23277 262.16/263.53 c #Conflicts: 171000 | #Constraints: 24277 262.16/263.53 c #Conflicts: 172000 | #Constraints: 25277 262.16/263.53 c #Conflicts: 173000 | #Constraints: 26277 262.16/263.53 c #Conflicts: 174000 | #Constraints: 27277 262.16/263.53 c #Conflicts: 175000 | #Constraints: 28277 262.16/263.53 c #Conflicts: 176000 | #Constraints: 29277 262.16/263.53 c #Conflicts: 177000 | #Constraints: 30277 262.16/263.53 c #Conflicts: 178000 | #Constraints: 31277 262.16/263.53 c #Conflicts: 179000 | #Constraints: 32277 262.16/263.53 c #Conflicts: 180000 | #Constraints: 33277 262.16/263.53 c #Conflicts: 181000 | #Constraints: 34277 262.16/263.53 c #Conflicts: 182000 | #Constraints: 35277 262.16/263.53 c #Conflicts: 183000 | #Constraints: 36277 262.16/263.53 c #Conflicts: 184000 | #Constraints: 37277 262.16/263.53 c #Conflicts: 185000 | #Constraints: 38277 262.16/263.53 c #Conflicts: 186000 | #Constraints: 39277 262.16/263.53 c #Conflicts: 187000 | #Constraints: 40277 262.16/263.53 c #Conflicts: 188000 | #Constraints: 41277 262.16/263.53 c #Conflicts: 189000 | #Constraints: 42277 262.16/263.53 c INPROCESSING 262.16/263.53 c GARBAGE COLLECT 262.16/263.53 c rational objective 143.945 275.11/276.55 c #Conflicts: 190000 | #Constraints: 22825 275.11/276.55 c #Conflicts: 191000 | #Constraints: 23825 275.11/276.55 c #Conflicts: 192000 | #Constraints: 24825 275.11/276.55 c #Conflicts: 193000 | #Constraints: 25825 275.11/276.55 c #Conflicts: 194000 | #Constraints: 26825 275.11/276.55 c #Conflicts: 195000 | #Constraints: 27825 275.11/276.55 c #Conflicts: 196000 | #Constraints: 28825 275.11/276.55 c #Conflicts: 197000 | #Constraints: 29825 275.11/276.55 c #Conflicts: 198000 | #Constraints: 30825 275.11/276.55 c #Conflicts: 199000 | #Constraints: 31825 275.11/276.55 c #Conflicts: 200000 | #Constraints: 32825 275.11/276.55 c INPROCESSING 275.11/276.55 c GARBAGE COLLECT 275.11/276.55 c rational objective 143.945 289.76/291.28 c #Conflicts: 201000 | #Constraints: 18074 289.76/291.28 c #Conflicts: 202000 | #Constraints: 19074 289.76/291.28 c #Conflicts: 203000 | #Constraints: 20074 289.76/291.28 c #Conflicts: 204000 | #Constraints: 21074 289.76/291.28 c bounds 194 >= 147 @ 276.243 289.76/291.28 c #Conflicts: 205000 | #Constraints: 22075 289.76/291.28 c #Conflicts: 206000 | #Constraints: 23075 289.76/291.28 c #Conflicts: 207000 | #Constraints: 24075 289.76/291.28 c #Conflicts: 208000 | #Constraints: 25075 289.76/291.28 c #Conflicts: 209000 | #Constraints: 26075 289.76/291.28 c #Conflicts: 210000 | #Constraints: 27075 289.76/291.28 c #Conflicts: 211000 | #Constraints: 28075 289.76/291.28 c INPROCESSING 289.76/291.28 c GARBAGE COLLECT 289.76/291.28 c rational objective 143.945 379.92/381.80 c #Conflicts: 212000 | #Constraints: 15644 379.92/381.80 c #Conflicts: 213000 | #Constraints: 16644 379.92/381.80 c #Conflicts: 214000 | #Constraints: 17644 379.92/381.80 c #Conflicts: 215000 | #Constraints: 18644 379.92/381.80 c #Conflicts: 216000 | #Constraints: 19644 379.92/381.80 c #Conflicts: 217000 | #Constraints: 20644 379.92/381.80 c #Conflicts: 218000 | #Constraints: 21644 379.92/381.80 c #Conflicts: 219000 | #Constraints: 22644 379.92/381.80 c #Conflicts: 220000 | #Constraints: 23644 379.92/381.80 c #Conflicts: 221000 | #Constraints: 24644 379.92/381.80 c #Conflicts: 222000 | #Constraints: 25644 379.92/381.80 c #Conflicts: 223000 | #Constraints: 26644 379.92/381.80 c #Conflicts: 224000 | #Constraints: 27644 379.92/381.80 c #Conflicts: 225000 | #Constraints: 28644 379.92/381.80 c #Conflicts: 226000 | #Constraints: 29644 379.92/381.80 c #Conflicts: 227000 | #Constraints: 30644 379.92/381.80 c #Conflicts: 228000 | #Constraints: 31644 379.92/381.80 c #Conflicts: 229000 | #Constraints: 32644 379.92/381.80 c #Conflicts: 230000 | #Constraints: 33644 379.92/381.80 c #Conflicts: 231000 | #Constraints: 34644 379.92/381.80 c #Conflicts: 232000 | #Constraints: 35644 379.92/381.80 c #Conflicts: 233000 | #Constraints: 36644 379.92/381.80 c #Conflicts: 234000 | #Constraints: 37644 379.92/381.80 c #Conflicts: 235000 | #Constraints: 38644 379.92/381.80 c #Conflicts: 236000 | #Constraints: 39644 379.92/381.80 c #Conflicts: 237000 | #Constraints: 40644 379.92/381.80 c #Conflicts: 238000 | #Constraints: 41644 379.92/381.80 c #Conflicts: 239000 | #Constraints: 42644 379.92/381.80 c #Conflicts: 240000 | #Constraints: 43644 379.92/381.80 c #Conflicts: 241000 | #Constraints: 44644 379.92/381.80 c #Conflicts: 242000 | #Constraints: 45644 379.92/381.80 c #Conflicts: 243000 | #Constraints: 46644 379.92/381.80 c #Conflicts: 244000 | #Constraints: 47644 379.92/381.80 c #Conflicts: 245000 | #Constraints: 48644 379.92/381.80 c INPROCESSING 379.92/381.80 c GARBAGE COLLECT 379.92/381.80 c rational objective 143.945 441.88/444.00 c #Conflicts: 246000 | #Constraints: 26025 441.88/444.00 c #Conflicts: 247000 | #Constraints: 27025 441.88/444.00 c #Conflicts: 248000 | #Constraints: 28025 441.88/444.00 c #Conflicts: 249000 | #Constraints: 29025 441.88/444.00 c #Conflicts: 250000 | #Constraints: 30025 441.88/444.00 c #Conflicts: 251000 | #Constraints: 31025 441.88/444.00 c #Conflicts: 252000 | #Constraints: 32025 441.88/444.00 c #Conflicts: 253000 | #Constraints: 33025 441.88/444.00 c #Conflicts: 254000 | #Constraints: 34025 441.88/444.00 c #Conflicts: 255000 | #Constraints: 35025 441.88/444.00 c #Conflicts: 256000 | #Constraints: 36025 441.88/444.00 c #Conflicts: 257000 | #Constraints: 37025 441.88/444.00 c INPROCESSING 441.88/444.00 c GARBAGE COLLECT 441.88/444.00 c rational objective 143.945 470.88/473.01 c #Conflicts: 258000 | #Constraints: 20106 470.88/473.01 c #Conflicts: 259000 | #Constraints: 21106 470.88/473.01 c #Conflicts: 260000 | #Constraints: 22106 470.88/473.01 c #Conflicts: 261000 | #Constraints: 23106 470.88/473.01 c #Conflicts: 262000 | #Constraints: 24106 470.88/473.01 c #Conflicts: 263000 | #Constraints: 25106 470.88/473.01 c #Conflicts: 264000 | #Constraints: 26106 470.88/473.01 c #Conflicts: 265000 | #Constraints: 27106 470.88/473.01 c #Conflicts: 266000 | #Constraints: 28106 470.88/473.01 c #Conflicts: 267000 | #Constraints: 29106 470.88/473.01 c #Conflicts: 268000 | #Constraints: 30106 470.88/473.01 c #Conflicts: 269000 | #Constraints: 31106 470.88/473.01 c #Conflicts: 270000 | #Constraints: 32106 470.88/473.01 c INPROCESSING 470.88/473.01 c GARBAGE COLLECT 470.88/473.01 c rational objective 143.945 572.92/575.44 c #Conflicts: 271000 | #Constraints: 17830 572.92/575.44 c #Conflicts: 272000 | #Constraints: 18830 572.92/575.44 c #Conflicts: 273000 | #Constraints: 19830 572.92/575.44 c #Conflicts: 274000 | #Constraints: 20830 572.92/575.44 c #Conflicts: 275000 | #Constraints: 21830 572.92/575.44 c #Conflicts: 276000 | #Constraints: 22830 572.92/575.44 c #Conflicts: 277000 | #Constraints: 23830 572.92/575.44 c #Conflicts: 278000 | #Constraints: 24830 572.92/575.44 c #Conflicts: 279000 | #Constraints: 25830 572.92/575.44 c #Conflicts: 280000 | #Constraints: 26830 572.92/575.44 c #Conflicts: 281000 | #Constraints: 27830 572.92/575.44 c #Conflicts: 282000 | #Constraints: 28830 572.92/575.44 c #Conflicts: 283000 | #Constraints: 29830 572.92/575.44 c #Conflicts: 284000 | #Constraints: 30830 572.92/575.44 c #Conflicts: 285000 | #Constraints: 31830 572.92/575.44 c #Conflicts: 286000 | #Constraints: 32830 572.92/575.44 c #Conflicts: 287000 | #Constraints: 33830 572.92/575.44 c #Conflicts: 288000 | #Constraints: 34830 572.92/575.44 c #Conflicts: 289000 | #Constraints: 35830 572.92/575.44 c #Conflicts: 290000 | #Constraints: 36830 572.92/575.44 c #Conflicts: 291000 | #Constraints: 37830 572.92/575.44 c #Conflicts: 292000 | #Constraints: 38830 572.92/575.44 c #Conflicts: 293000 | #Constraints: 39830 572.92/575.44 c #Conflicts: 294000 | #Constraints: 40830 572.92/575.44 c #Conflicts: 295000 | #Constraints: 41830 572.92/575.44 c #Conflicts: 296000 | #Constraints: 42830 572.92/575.44 c #Conflicts: 297000 | #Constraints: 43830 572.92/575.44 c bounds 194 >= 148 @ 545.063 572.92/575.44 c #Conflicts: 298000 | #Constraints: 44880 572.92/575.44 c #Conflicts: 299000 | #Constraints: 45880 572.92/575.44 c #Conflicts: 300000 | #Constraints: 46880 572.92/575.44 c #Conflicts: 301000 | #Constraints: 47880 572.92/575.44 c #Conflicts: 302000 | #Constraints: 48880 572.92/575.44 c #Conflicts: 303000 | #Constraints: 49880 572.92/575.44 c #Conflicts: 304000 | #Constraints: 50880 572.92/575.44 c #Conflicts: 305000 | #Constraints: 51880 572.92/575.44 c #Conflicts: 306000 | #Constraints: 52880 572.92/575.44 c #Conflicts: 307000 | #Constraints: 53880 572.92/575.44 c #Conflicts: 308000 | #Constraints: 54880 572.92/575.44 c INPROCESSING 572.92/575.44 c GARBAGE COLLECT 572.92/575.44 c rational objective 143.945 600.54/603.13 c #Conflicts: 309000 | #Constraints: 29165 600.54/603.13 c #Conflicts: 310000 | #Constraints: 30165 600.54/603.13 c #Conflicts: 311000 | #Constraints: 31165 600.54/603.13 c #Conflicts: 312000 | #Constraints: 32165 600.54/603.13 c #Conflicts: 313000 | #Constraints: 33165 600.54/603.13 c #Conflicts: 314000 | #Constraints: 34165 600.54/603.13 c #Conflicts: 315000 | #Constraints: 35165 600.54/603.13 c #Conflicts: 316000 | #Constraints: 36165 600.54/603.13 c #Conflicts: 317000 | #Constraints: 37165 600.54/603.13 c #Conflicts: 318000 | #Constraints: 38165 600.54/603.13 c #Conflicts: 319000 | #Constraints: 39165 600.54/603.13 c #Conflicts: 320000 | #Constraints: 40165 600.54/603.13 c #Conflicts: 321000 | #Constraints: 41165 600.54/603.13 c INPROCESSING 600.54/603.13 c GARBAGE COLLECT 600.54/603.13 c rational objective 143.945 624.45/627.16 c #Conflicts: 322000 | #Constraints: 21856 624.45/627.16 c #Conflicts: 323000 | #Constraints: 22856 624.45/627.16 c #Conflicts: 324000 | #Constraints: 23856 624.45/627.16 c #Conflicts: 325000 | #Constraints: 24856 624.45/627.16 c #Conflicts: 326000 | #Constraints: 25856 624.45/627.16 c #Conflicts: 327000 | #Constraints: 26856 624.45/627.16 c #Conflicts: 328000 | #Constraints: 27856 624.45/627.16 c #Conflicts: 329000 | #Constraints: 28856 624.45/627.16 c #Conflicts: 330000 | #Constraints: 29856 624.45/627.16 c #Conflicts: 331000 | #Constraints: 30856 624.45/627.16 c #Conflicts: 332000 | #Constraints: 31856 624.45/627.16 c #Conflicts: 333000 | #Constraints: 32856 624.45/627.16 c #Conflicts: 334000 | #Constraints: 33856 624.45/627.16 c #Conflicts: 335000 | #Constraints: 34856 624.45/627.16 c #Conflicts: 336000 | #Constraints: 35856 624.45/627.16 c INPROCESSING 624.45/627.16 c GARBAGE COLLECT 624.45/627.16 c rational objective 143.945 769.85/773.06 c #Conflicts: 337000 | #Constraints: 19654 769.85/773.06 c #Conflicts: 338000 | #Constraints: 20654 769.85/773.06 c #Conflicts: 339000 | #Constraints: 21654 769.85/773.06 c #Conflicts: 340000 | #Constraints: 22654 769.85/773.06 c #Conflicts: 341000 | #Constraints: 23654 769.85/773.06 c #Conflicts: 342000 | #Constraints: 24654 769.85/773.06 c #Conflicts: 343000 | #Constraints: 25654 769.85/773.06 c #Conflicts: 344000 | #Constraints: 26654 769.85/773.06 c #Conflicts: 345000 | #Constraints: 27654 769.85/773.06 c #Conflicts: 346000 | #Constraints: 28654 769.85/773.06 c #Conflicts: 347000 | #Constraints: 29654 769.85/773.06 c #Conflicts: 348000 | #Constraints: 30654 769.85/773.06 c #Conflicts: 349000 | #Constraints: 31654 769.85/773.06 c #Conflicts: 350000 | #Constraints: 32654 769.85/773.06 c #Conflicts: 351000 | #Constraints: 33654 769.85/773.06 c #Conflicts: 352000 | #Constraints: 34654 769.85/773.06 c #Conflicts: 353000 | #Constraints: 35654 769.85/773.06 c #Conflicts: 354000 | #Constraints: 36654 769.85/773.06 c #Conflicts: 355000 | #Constraints: 37654 769.85/773.06 c #Conflicts: 356000 | #Constraints: 38654 769.85/773.07 c #Conflicts: 357000 | #Constraints: 39654 769.85/773.07 c #Conflicts: 358000 | #Constraints: 40654 769.85/773.07 c #Conflicts: 359000 | #Constraints: 41654 769.85/773.07 c #Conflicts: 360000 | #Constraints: 42654 769.85/773.07 c #Conflicts: 361000 | #Constraints: 43654 769.85/773.07 c #Conflicts: 362000 | #Constraints: 44654 769.85/773.07 c #Conflicts: 363000 | #Constraints: 45654 769.85/773.07 c #Conflicts: 364000 | #Constraints: 46654 769.85/773.07 c #Conflicts: 365000 | #Constraints: 47654 769.85/773.07 c #Conflicts: 366000 | #Constraints: 48654 769.85/773.07 c #Conflicts: 367000 | #Constraints: 49654 769.85/773.07 c #Conflicts: 368000 | #Constraints: 50654 769.85/773.07 c #Conflicts: 369000 | #Constraints: 51654 769.85/773.07 c #Conflicts: 370000 | #Constraints: 52654 769.85/773.07 c #Conflicts: 371000 | #Constraints: 53654 769.85/773.07 c #Conflicts: 372000 | #Constraints: 54654 769.85/773.07 c #Conflicts: 373000 | #Constraints: 55654 769.85/773.07 c #Conflicts: 374000 | #Constraints: 56654 769.85/773.07 c #Conflicts: 375000 | #Constraints: 57654 769.85/773.07 c #Conflicts: 376000 | #Constraints: 58654 769.85/773.07 c #Conflicts: 377000 | #Constraints: 59654 769.85/773.07 c #Conflicts: 378000 | #Constraints: 60654 769.85/773.07 c INPROCESSING 769.85/773.07 c GARBAGE COLLECT 769.85/773.07 c rational objective 143.945 815.19/818.57 c #Conflicts: 379000 | #Constraints: 32057 815.19/818.57 c #Conflicts: 380000 | #Constraints: 33057 815.19/818.57 c #Conflicts: 381000 | #Constraints: 34057 815.19/818.57 c #Conflicts: 382000 | #Constraints: 35057 815.19/818.57 c #Conflicts: 383000 | #Constraints: 36057 815.19/818.57 c #Conflicts: 384000 | #Constraints: 37057 815.19/818.57 c #Conflicts: 385000 | #Constraints: 38057 815.19/818.57 c #Conflicts: 386000 | #Constraints: 39057 815.19/818.57 c #Conflicts: 387000 | #Constraints: 40057 815.19/818.57 c #Conflicts: 388000 | #Constraints: 41057 815.19/818.57 c #Conflicts: 389000 | #Constraints: 42057 815.19/818.57 c #Conflicts: 390000 | #Constraints: 43057 815.19/818.57 c #Conflicts: 391000 | #Constraints: 44057 815.19/818.57 c #Conflicts: 392000 | #Constraints: 45057 815.19/818.57 c #Conflicts: 393000 | #Constraints: 46057 815.19/818.57 c INPROCESSING 815.19/818.57 c GARBAGE COLLECT 815.19/818.57 c rational objective 143.945 1044.91/1049.07 c #Conflicts: 394000 | #Constraints: 24454 1044.91/1049.07 c #Conflicts: 395000 | #Constraints: 25454 1044.91/1049.07 c #Conflicts: 396000 | #Constraints: 26454 1044.91/1049.07 c #Conflicts: 397000 | #Constraints: 27454 1044.91/1049.07 c #Conflicts: 398000 | #Constraints: 28454 1044.91/1049.07 c #Conflicts: 399000 | #Constraints: 29454 1044.91/1049.07 c #Conflicts: 400000 | #Constraints: 30454 1044.91/1049.07 c #Conflicts: 401000 | #Constraints: 31454 1044.91/1049.07 c #Conflicts: 402000 | #Constraints: 32454 1044.91/1049.07 c #Conflicts: 403000 | #Constraints: 33454 1044.91/1049.07 c #Conflicts: 404000 | #Constraints: 34454 1044.91/1049.07 c #Conflicts: 405000 | #Constraints: 35454 1044.91/1049.07 c #Conflicts: 406000 | #Constraints: 36454 1044.91/1049.07 c #Conflicts: 407000 | #Constraints: 37454 1044.91/1049.07 c #Conflicts: 408000 | #Constraints: 38454 1044.91/1049.07 c #Conflicts: 409000 | #Constraints: 39454 1044.91/1049.07 c #Conflicts: 410000 | #Constraints: 40454 1044.91/1049.07 c #Conflicts: 411000 | #Constraints: 41454 1044.91/1049.07 c #Conflicts: 412000 | #Constraints: 42454 1044.91/1049.07 c #Conflicts: 413000 | #Constraints: 43454 1044.91/1049.07 c #Conflicts: 414000 | #Constraints: 44454 1044.91/1049.07 c #Conflicts: 415000 | #Constraints: 45454 1044.91/1049.07 c #Conflicts: 416000 | #Constraints: 46454 1044.91/1049.07 c #Conflicts: 417000 | #Constraints: 47454 1044.91/1049.07 c #Conflicts: 418000 | #Constraints: 48454 1044.91/1049.07 c #Conflicts: 419000 | #Constraints: 49454 1044.91/1049.07 c #Conflicts: 420000 | #Constraints: 50454 1044.91/1049.07 c #Conflicts: 421000 | #Constraints: 51454 1044.91/1049.07 c #Conflicts: 422000 | #Constraints: 52454 1044.91/1049.07 c #Conflicts: 423000 | #Constraints: 53454 1044.91/1049.07 c #Conflicts: 424000 | #Constraints: 54454 1044.91/1049.07 c #Conflicts: 425000 | #Constraints: 55454 1044.91/1049.07 c #Conflicts: 426000 | #Constraints: 56454 1044.91/1049.07 c #Conflicts: 427000 | #Constraints: 57454 1044.91/1049.07 c #Conflicts: 428000 | #Constraints: 58454 1044.91/1049.07 c #Conflicts: 429000 | #Constraints: 59454 1044.91/1049.07 c #Conflicts: 430000 | #Constraints: 60454 1044.91/1049.07 c #Conflicts: 431000 | #Constraints: 61454 1044.91/1049.07 c #Conflicts: 432000 | #Constraints: 62454 1044.91/1049.07 c #Conflicts: 433000 | #Constraints: 63454 1044.91/1049.07 c #Conflicts: 434000 | #Constraints: 64454 1044.91/1049.07 c #Conflicts: 435000 | #Constraints: 65454 1044.91/1049.07 c #Conflicts: 436000 | #Constraints: 66454 1044.91/1049.07 c #Conflicts: 437000 | #Constraints: 67454 1044.91/1049.07 c #Conflicts: 438000 | #Constraints: 68454 1044.91/1049.07 c INPROCESSING 1044.91/1049.07 c GARBAGE COLLECT 1044.91/1049.07 c rational objective 143.945 1151.83/1156.36 c #Conflicts: 439000 | #Constraints: 35517 1151.83/1156.36 c #Conflicts: 440000 | #Constraints: 36517 1151.83/1156.36 c #Conflicts: 441000 | #Constraints: 37517 1151.83/1156.36 c #Conflicts: 442000 | #Constraints: 38517 1151.83/1156.36 c #Conflicts: 443000 | #Constraints: 39517 1151.83/1156.36 c #Conflicts: 444000 | #Constraints: 40517 1151.83/1156.36 c #Conflicts: 445000 | #Constraints: 41517 1151.83/1156.36 c #Conflicts: 446000 | #Constraints: 42517 1151.83/1156.36 c #Conflicts: 447000 | #Constraints: 43517 1151.83/1156.36 c #Conflicts: 448000 | #Constraints: 44517 1151.83/1156.36 c #Conflicts: 449000 | #Constraints: 45517 1151.83/1156.36 c #Conflicts: 450000 | #Constraints: 46517 1151.83/1156.36 c #Conflicts: 451000 | #Constraints: 47517 1151.83/1156.36 c #Conflicts: 452000 | #Constraints: 48517 1151.83/1156.36 c #Conflicts: 453000 | #Constraints: 49517 1151.83/1156.36 c #Conflicts: 454000 | #Constraints: 50517 1151.83/1156.36 c #Conflicts: 455000 | #Constraints: 51517 1151.83/1156.36 c INPROCESSING 1151.83/1156.36 c GARBAGE COLLECT 1151.83/1156.36 c rational objective 143.945 1208.73/1213.46 c #Conflicts: 456000 | #Constraints: 27302 1208.73/1213.46 c #Conflicts: 457000 | #Constraints: 28302 1208.73/1213.46 c #Conflicts: 458000 | #Constraints: 29302 1208.73/1213.46 c #Conflicts: 459000 | #Constraints: 30302 1208.73/1213.46 c #Conflicts: 460000 | #Constraints: 31302 1208.73/1213.46 c #Conflicts: 461000 | #Constraints: 32302 1208.73/1213.46 c #Conflicts: 462000 | #Constraints: 33302 1208.73/1213.46 c #Conflicts: 463000 | #Constraints: 34302 1208.73/1213.46 c #Conflicts: 464000 | #Constraints: 35302 1208.73/1213.46 c #Conflicts: 465000 | #Constraints: 36302 1208.73/1213.46 c #Conflicts: 466000 | #Constraints: 37302 1208.73/1213.46 c #Conflicts: 467000 | #Constraints: 38302 1208.73/1213.46 c #Conflicts: 468000 | #Constraints: 39302 1208.73/1213.46 c #Conflicts: 469000 | #Constraints: 40302 1208.73/1213.46 c #Conflicts: 470000 | #Constraints: 41302 1208.73/1213.46 c #Conflicts: 471000 | #Constraints: 42302 1208.73/1213.46 c #Conflicts: 472000 | #Constraints: 43302 1208.73/1213.46 c INPROCESSING 1208.73/1213.46 c GARBAGE COLLECT 1208.73/1213.46 c rational objective 143.945 1451.54/1457.05 c #Conflicts: 473000 | #Constraints: 23223 1451.54/1457.05 c #Conflicts: 474000 | #Constraints: 24223 1451.54/1457.05 c #Conflicts: 475000 | #Constraints: 25223 1451.54/1457.05 c #Conflicts: 476000 | #Constraints: 26223 1451.54/1457.05 c #Conflicts: 477000 | #Constraints: 27223 1451.54/1457.05 c #Conflicts: 478000 | #Constraints: 28223 1451.54/1457.05 c #Conflicts: 479000 | #Constraints: 29223 1451.54/1457.05 c #Conflicts: 480000 | #Constraints: 30223 1451.54/1457.05 c #Conflicts: 481000 | #Constraints: 31223 1451.54/1457.05 c #Conflicts: 482000 | #Constraints: 32223 1451.54/1457.05 c #Conflicts: 483000 | #Constraints: 33223 1451.54/1457.05 c #Conflicts: 484000 | #Constraints: 34223 1451.54/1457.05 c #Conflicts: 485000 | #Constraints: 35223 1451.54/1457.05 c #Conflicts: 486000 | #Constraints: 36223 1451.54/1457.05 c #Conflicts: 487000 | #Constraints: 37223 1451.54/1457.05 c #Conflicts: 488000 | #Constraints: 38223 1451.54/1457.05 c #Conflicts: 489000 | #Constraints: 39223 1451.54/1457.05 c #Conflicts: 490000 | #Constraints: 40223 1451.54/1457.05 c #Conflicts: 491000 | #Constraints: 41223 1451.54/1457.05 c #Conflicts: 492000 | #Constraints: 42223 1451.54/1457.05 c #Conflicts: 493000 | #Constraints: 43223 1451.54/1457.05 c #Conflicts: 494000 | #Constraints: 44223 1451.54/1457.05 c #Conflicts: 495000 | #Constraints: 45223 1451.54/1457.05 c #Conflicts: 496000 | #Constraints: 46223 1451.54/1457.05 c #Conflicts: 497000 | #Constraints: 47223 1451.54/1457.05 c #Conflicts: 498000 | #Constraints: 48223 1451.54/1457.05 c #Conflicts: 499000 | #Constraints: 49223 1451.54/1457.05 c #Conflicts: 500000 | #Constraints: 50223 1451.54/1457.05 c #Conflicts: 501000 | #Constraints: 51223 1451.54/1457.05 c #Conflicts: 502000 | #Constraints: 52223 1451.54/1457.05 c #Conflicts: 503000 | #Constraints: 53223 1451.54/1457.05 c #Conflicts: 504000 | #Constraints: 54223 1451.54/1457.05 c #Conflicts: 505000 | #Constraints: 55223 1451.54/1457.05 c #Conflicts: 506000 | #Constraints: 56223 1451.54/1457.05 c #Conflicts: 507000 | #Constraints: 57223 1451.54/1457.05 c #Conflicts: 508000 | #Constraints: 58223 1451.54/1457.05 c #Conflicts: 509000 | #Constraints: 59223 1451.54/1457.05 c #Conflicts: 510000 | #Constraints: 60223 1451.54/1457.05 c #Conflicts: 511000 | #Constraints: 61223 1451.54/1457.05 c #Conflicts: 512000 | #Constraints: 62223 1451.54/1457.05 c #Conflicts: 513000 | #Constraints: 63223 1451.54/1457.05 c #Conflicts: 514000 | #Constraints: 64223 1451.54/1457.05 c #Conflicts: 515000 | #Constraints: 65223 1451.54/1457.05 c #Conflicts: 516000 | #Constraints: 66223 1451.54/1457.05 c #Conflicts: 517000 | #Constraints: 67223 1451.54/1457.05 c #Conflicts: 518000 | #Constraints: 68223 1451.54/1457.05 c #Conflicts: 519000 | #Constraints: 69223 1451.54/1457.05 c #Conflicts: 520000 | #Constraints: 70223 1451.54/1457.05 c #Conflicts: 521000 | #Constraints: 71223 1451.54/1457.05 c #Conflicts: 522000 | #Constraints: 72223 1451.54/1457.05 c INPROCESSING 1451.54/1457.05 c GARBAGE COLLECT 1451.54/1457.05 c rational objective 143.945 1498.16/1503.84 c #Conflicts: 523000 | #Constraints: 37924 1498.16/1503.84 c #Conflicts: 524000 | #Constraints: 38924 1498.16/1503.84 c #Conflicts: 525000 | #Constraints: 39924 1498.16/1503.84 c #Conflicts: 526000 | #Constraints: 40924 1498.16/1503.84 c #Conflicts: 527000 | #Constraints: 41924 1498.16/1503.84 c #Conflicts: 528000 | #Constraints: 42924 1498.16/1503.84 c #Conflicts: 529000 | #Constraints: 43924 1498.16/1503.84 c #Conflicts: 530000 | #Constraints: 44924 1498.16/1503.84 c #Conflicts: 531000 | #Constraints: 45924 1498.16/1503.84 c #Conflicts: 532000 | #Constraints: 46924 1498.16/1503.84 c #Conflicts: 533000 | #Constraints: 47924 1498.16/1503.84 c #Conflicts: 534000 | #Constraints: 48924 1498.16/1503.84 c #Conflicts: 535000 | #Constraints: 49924 1498.16/1503.84 c #Conflicts: 536000 | #Constraints: 50924 1498.16/1503.84 c #Conflicts: 537000 | #Constraints: 51924 1498.16/1503.84 c #Conflicts: 538000 | #Constraints: 52924 1498.16/1503.84 c #Conflicts: 539000 | #Constraints: 53924 1498.16/1503.84 c #Conflicts: 540000 | #Constraints: 54924 1498.16/1503.84 c INPROCESSING 1498.16/1503.84 c GARBAGE COLLECT 1498.16/1503.84 c rational objective 143.945 1542.51/1548.36 c #Conflicts: 541000 | #Constraints: 29097 1542.51/1548.36 c #Conflicts: 542000 | #Constraints: 30097 1542.51/1548.36 c #Conflicts: 543000 | #Constraints: 31097 1542.51/1548.36 c #Conflicts: 544000 | #Constraints: 32097 1542.51/1548.36 c #Conflicts: 545000 | #Constraints: 33097 1542.51/1548.36 c #Conflicts: 546000 | #Constraints: 34097 1542.51/1548.36 c #Conflicts: 547000 | #Constraints: 35097 1542.51/1548.36 c #Conflicts: 548000 | #Constraints: 36097 1542.51/1548.36 c #Conflicts: 549000 | #Constraints: 37097 1542.51/1548.36 c #Conflicts: 550000 | #Constraints: 38097 1542.51/1548.36 c #Conflicts: 551000 | #Constraints: 39097 1542.51/1548.36 c #Conflicts: 552000 | #Constraints: 40097 1542.51/1548.36 c #Conflicts: 553000 | #Constraints: 41097 1542.51/1548.36 c #Conflicts: 554000 | #Constraints: 42097 1542.51/1548.36 c #Conflicts: 555000 | #Constraints: 43097 1542.51/1548.36 c #Conflicts: 556000 | #Constraints: 44097 1542.51/1548.36 c #Conflicts: 557000 | #Constraints: 45097 1542.51/1548.36 c #Conflicts: 558000 | #Constraints: 46097 1542.51/1548.36 c INPROCESSING 1542.51/1548.36 c GARBAGE COLLECT 1542.51/1548.36 c rational objective 143.945 1814.68/1821.40 c #Conflicts: 559000 | #Constraints: 26259 1814.68/1821.40 c #Conflicts: 560000 | #Constraints: 27259 1814.68/1821.40 c #Conflicts: 561000 | #Constraints: 28259 1814.68/1821.40 c #Conflicts: 562000 | #Constraints: 29259 1814.68/1821.40 c #Conflicts: 563000 | #Constraints: 30259 1814.68/1821.40 c #Conflicts: 564000 | #Constraints: 31259 1814.68/1821.40 c #Conflicts: 565000 | #Constraints: 32259 1814.68/1821.40 c #Conflicts: 566000 | #Constraints: 33259 1814.68/1821.40 c #Conflicts: 567000 | #Constraints: 34259 1814.68/1821.40 c #Conflicts: 568000 | #Constraints: 35259 1814.68/1821.40 c #Conflicts: 569000 | #Constraints: 36259 1814.68/1821.40 c #Conflicts: 570000 | #Constraints: 37259 1814.68/1821.40 c #Conflicts: 571000 | #Constraints: 38259 1814.68/1821.40 c #Conflicts: 572000 | #Constraints: 39259 1814.68/1821.40 c #Conflicts: 573000 | #Constraints: 40259 1814.68/1821.40 c #Conflicts: 574000 | #Constraints: 41259 1814.68/1821.40 c #Conflicts: 575000 | #Constraints: 42259 1814.68/1821.40 c #Conflicts: 576000 | #Constraints: 43259 1814.68/1821.40 c #Conflicts: 577000 | #Constraints: 44259 1814.68/1821.40 c #Conflicts: 578000 | #Constraints: 45259 1814.68/1821.40 c #Conflicts: 579000 | #Constraints: 46259 1814.68/1821.40 c #Conflicts: 580000 | #Constraints: 47259 1814.68/1821.40 c #Conflicts: 581000 | #Constraints: 48259 1814.68/1821.40 c #Conflicts: 582000 | #Constraints: 49259 1814.68/1821.40 c #Conflicts: 583000 | #Constraints: 50259 1814.68/1821.40 c #Conflicts: 584000 | #Constraints: 51259 1814.68/1821.40 c #Conflicts: 585000 | #Constraints: 52259 1814.68/1821.40 c #Conflicts: 586000 | #Constraints: 53259 1814.68/1821.40 c #Conflicts: 587000 | #Constraints: 54259 1814.68/1821.40 c #Conflicts: 588000 | #Constraints: 55259 1814.68/1821.40 c #Conflicts: 589000 | #Constraints: 56259 1814.68/1821.40 c #Conflicts: 590000 | #Constraints: 57259 1814.68/1821.40 c #Conflicts: 591000 | #Constraints: 58259 1814.68/1821.40 c #Conflicts: 592000 | #Constraints: 59259 1814.68/1821.40 c #Conflicts: 593000 | #Constraints: 60259 1814.68/1821.40 c #Conflicts: 594000 | #Constraints: 61259 1814.68/1821.40 c #Conflicts: 595000 | #Constraints: 62259 1814.68/1821.40 c #Conflicts: 596000 | #Constraints: 63259 1814.68/1821.40 c #Conflicts: 597000 | #Constraints: 64259 1814.68/1821.40 c #Conflicts: 598000 | #Constraints: 65259 1814.68/1821.40 c #Conflicts: 599000 | #Constraints: 66259 1814.68/1821.40 c #Conflicts: 600000 | #Constraints: 67259 1814.68/1821.40 c #Conflicts: 601000 | #Constraints: 68259 1814.68/1821.40 c #Conflicts: 602000 | #Constraints: 69259 1814.68/1821.40 c #Conflicts: 603000 | #Constraints: 70259 1814.68/1821.40 c #Conflicts: 604000 | #Constraints: 71259 1814.68/1821.40 c #Conflicts: 605000 | #Constraints: 72259 1814.68/1821.40 c #Conflicts: 606000 | #Constraints: 73259 1814.68/1821.40 c #Conflicts: 607000 | #Constraints: 74259 1814.68/1821.40 c #Conflicts: 608000 | #Constraints: 75259 1814.68/1821.40 c #Conflicts: 609000 | #Constraints: 76259 1814.68/1821.40 c #Conflicts: 610000 | #Constraints: 77259 1814.68/1821.40 c #Conflicts: 611000 | #Constraints: 78259 1814.68/1821.40 c #Conflicts: 612000 | #Constraints: 79259 1814.68/1821.40 c INPROCESSING 1814.68/1821.40 c GARBAGE COLLECT 1814.68/1821.40 c rational objective 143.945 1987.70/1995.06 c #Conflicts: 613000 | #Constraints: 41214 1987.70/1995.06 c #Conflicts: 614000 | #Constraints: 42214 1987.70/1995.06 c #Conflicts: 615000 | #Constraints: 43214 1987.70/1995.06 c #Conflicts: 616000 | #Constraints: 44214 1987.70/1995.06 c #Conflicts: 617000 | #Constraints: 45214 1987.70/1995.06 c #Conflicts: 618000 | #Constraints: 46214 1987.70/1995.06 c #Conflicts: 619000 | #Constraints: 47214 1987.70/1995.06 c #Conflicts: 620000 | #Constraints: 48214 1987.70/1995.06 c #Conflicts: 621000 | #Constraints: 49214 1987.70/1995.06 c #Conflicts: 622000 | #Constraints: 50214 1987.70/1995.06 c #Conflicts: 623000 | #Constraints: 51214 1987.70/1995.06 c #Conflicts: 624000 | #Constraints: 52214 1987.70/1995.06 c #Conflicts: 625000 | #Constraints: 53214 1987.70/1995.06 c #Conflicts: 626000 | #Constraints: 54214 1987.70/1995.06 c #Conflicts: 627000 | #Constraints: 55214 1987.70/1995.06 c #Conflicts: 628000 | #Constraints: 56214 1987.70/1995.06 c #Conflicts: 629000 | #Constraints: 57214 1987.70/1995.06 c #Conflicts: 630000 | #Constraints: 58214 1987.70/1995.06 c #Conflicts: 631000 | #Constraints: 59214 1987.70/1995.06 c #Conflicts: 632000 | #Constraints: 60214 1987.70/1995.06 c INPROCESSING 1987.70/1995.06 c GARBAGE COLLECT 1987.70/1995.06 c rational objective 143.945 2082.27/2089.90 c #Conflicts: 633000 | #Constraints: 31920 2082.27/2089.90 c #Conflicts: 634000 | #Constraints: 32920 2082.27/2089.90 c #Conflicts: 635000 | #Constraints: 33920 2082.27/2089.90 c #Conflicts: 636000 | #Constraints: 34920 2082.27/2089.90 c #Conflicts: 637000 | #Constraints: 35920 2082.27/2089.90 c #Conflicts: 638000 | #Constraints: 36920 2082.27/2089.90 c #Conflicts: 639000 | #Constraints: 37920 2082.27/2089.90 c #Conflicts: 640000 | #Constraints: 38920 2082.27/2089.90 c #Conflicts: 641000 | #Constraints: 39920 2082.27/2089.90 c #Conflicts: 642000 | #Constraints: 40920 2082.27/2089.90 c #Conflicts: 643000 | #Constraints: 41920 2082.27/2089.90 c #Conflicts: 644000 | #Constraints: 42920 2082.27/2089.90 c #Conflicts: 645000 | #Constraints: 43920 2082.27/2089.90 c #Conflicts: 646000 | #Constraints: 44920 2082.27/2089.90 c #Conflicts: 647000 | #Constraints: 45920 2082.27/2089.90 c #Conflicts: 648000 | #Constraints: 46920 2082.27/2089.90 c #Conflicts: 649000 | #Constraints: 47920 2082.27/2089.90 c #Conflicts: 650000 | #Constraints: 48920 2082.27/2089.90 c #Conflicts: 651000 | #Constraints: 49920 2082.27/2089.90 c INPROCESSING 2082.27/2089.90 c GARBAGE COLLECT 2082.27/2089.90 c rational objective 143.945 2487.70/2496.74 c #Conflicts: 652000 | #Constraints: 28716 2487.70/2496.74 c #Conflicts: 653000 | #Constraints: 29716 2487.70/2496.74 c #Conflicts: 654000 | #Constraints: 30716 2487.70/2496.74 c #Conflicts: 655000 | #Constraints: 31716 2487.70/2496.74 c #Conflicts: 656000 | #Constraints: 32716 2487.70/2496.74 c #Conflicts: 657000 | #Constraints: 33716 2487.70/2496.74 c #Conflicts: 658000 | #Constraints: 34716 2487.70/2496.74 c #Conflicts: 659000 | #Constraints: 35716 2487.70/2496.74 c #Conflicts: 660000 | #Constraints: 36716 2487.70/2496.74 c #Conflicts: 661000 | #Constraints: 37716 2487.70/2496.74 c #Conflicts: 662000 | #Constraints: 38716 2487.70/2496.74 c #Conflicts: 663000 | #Constraints: 39716 2487.70/2496.74 c #Conflicts: 664000 | #Constraints: 40716 2487.70/2496.74 c #Conflicts: 665000 | #Constraints: 41716 2487.70/2496.74 c #Conflicts: 666000 | #Constraints: 42716 2487.70/2496.74 c #Conflicts: 667000 | #Constraints: 43716 2487.70/2496.74 c #Conflicts: 668000 | #Constraints: 44716 2487.70/2496.74 c #Conflicts: 669000 | #Constraints: 45716 2487.70/2496.74 c #Conflicts: 670000 | #Constraints: 46716 2487.70/2496.74 c #Conflicts: 671000 | #Constraints: 47716 2487.70/2496.74 c #Conflicts: 672000 | #Constraints: 48716 2487.70/2496.74 c #Conflicts: 673000 | #Constraints: 49716 2487.70/2496.74 c #Conflicts: 674000 | #Constraints: 50716 2487.70/2496.74 c #Conflicts: 675000 | #Constraints: 51716 2487.70/2496.74 c #Conflicts: 676000 | #Constraints: 52716 2487.70/2496.74 c #Conflicts: 677000 | #Constraints: 53716 2487.70/2496.74 c #Conflicts: 678000 | #Constraints: 54716 2487.70/2496.74 c #Conflicts: 679000 | #Constraints: 55716 2487.70/2496.74 c #Conflicts: 680000 | #Constraints: 56716 2487.70/2496.74 c #Conflicts: 681000 | #Constraints: 57716 2487.70/2496.74 c #Conflicts: 682000 | #Constraints: 58716 2487.70/2496.74 c #Conflicts: 683000 | #Constraints: 59716 2487.70/2496.74 c #Conflicts: 684000 | #Constraints: 60716 2487.70/2496.74 c #Conflicts: 685000 | #Constraints: 61716 2487.70/2496.74 c #Conflicts: 686000 | #Constraints: 62716 2487.70/2496.74 c #Conflicts: 687000 | #Constraints: 63716 2487.70/2496.74 c #Conflicts: 688000 | #Constraints: 64716 2487.70/2496.74 c #Conflicts: 689000 | #Constraints: 65716 2487.70/2496.74 c #Conflicts: 690000 | #Constraints: 66716 2487.70/2496.74 c #Conflicts: 691000 | #Constraints: 67716 2487.70/2496.74 c #Conflicts: 692000 | #Constraints: 68716 2487.70/2496.74 c #Conflicts: 693000 | #Constraints: 69716 2487.70/2496.74 c #Conflicts: 694000 | #Constraints: 70716 2487.70/2496.74 c #Conflicts: 695000 | #Constraints: 71716 2487.70/2496.74 c #Conflicts: 696000 | #Constraints: 72716 2487.70/2496.74 c #Conflicts: 697000 | #Constraints: 73716 2487.70/2496.74 c #Conflicts: 698000 | #Constraints: 74716 2487.70/2496.74 c #Conflicts: 699000 | #Constraints: 75716 2487.70/2496.74 c #Conflicts: 700000 | #Constraints: 76716 2487.70/2496.74 c #Conflicts: 701000 | #Constraints: 77716 2487.70/2496.74 c #Conflicts: 702000 | #Constraints: 78716 2487.70/2496.74 c #Conflicts: 703000 | #Constraints: 79716 2487.70/2496.74 c #Conflicts: 704000 | #Constraints: 80716 2487.70/2496.74 c #Conflicts: 705000 | #Constraints: 81716 2487.70/2496.74 c #Conflicts: 706000 | #Constraints: 82716 2487.70/2496.74 c #Conflicts: 707000 | #Constraints: 83716 2487.70/2496.74 c #Conflicts: 708000 | #Constraints: 84716 2487.70/2496.74 c #Conflicts: 709000 | #Constraints: 85716 2487.70/2496.74 c INPROCESSING 2487.70/2496.74 c GARBAGE COLLECT 2487.70/2496.74 c rational objective 143.945 2569.92/2579.22 c #Conflicts: 710000 | #Constraints: 44291 2569.92/2579.22 c #Conflicts: 711000 | #Constraints: 45291 2569.92/2579.22 c #Conflicts: 712000 | #Constraints: 46291 2569.92/2579.22 c #Conflicts: 713000 | #Constraints: 47291 2569.92/2579.22 c #Conflicts: 714000 | #Constraints: 48291 2569.92/2579.22 c #Conflicts: 715000 | #Constraints: 49291 2569.92/2579.22 c #Conflicts: 716000 | #Constraints: 50291 2569.92/2579.22 c #Conflicts: 717000 | #Constraints: 51291 2569.92/2579.22 c #Conflicts: 718000 | #Constraints: 52291 2569.92/2579.22 c #Conflicts: 719000 | #Constraints: 53291 2569.92/2579.22 c #Conflicts: 720000 | #Constraints: 54291 2569.92/2579.22 c #Conflicts: 721000 | #Constraints: 55291 2569.92/2579.22 c #Conflicts: 722000 | #Constraints: 56291 2569.92/2579.22 c #Conflicts: 723000 | #Constraints: 57291 2569.92/2579.22 c #Conflicts: 724000 | #Constraints: 58291 2569.92/2579.22 c #Conflicts: 725000 | #Constraints: 59291 2569.92/2579.22 c #Conflicts: 726000 | #Constraints: 60291 2569.92/2579.22 c #Conflicts: 727000 | #Constraints: 61291 2569.92/2579.22 c #Conflicts: 728000 | #Constraints: 62291 2569.92/2579.22 c #Conflicts: 729000 | #Constraints: 63291 2569.92/2579.22 c #Conflicts: 730000 | #Constraints: 64291 2569.92/2579.22 c #Conflicts: 731000 | #Constraints: 65291 2569.92/2579.22 c INPROCESSING 2569.92/2579.22 c GARBAGE COLLECT 2569.92/2579.22 c rational objective 143.945 3031.19/3042.04 c #Conflicts: 732000 | #Constraints: 34387 3031.19/3042.04 c #Conflicts: 733000 | #Constraints: 35387 3031.19/3042.04 c #Conflicts: 734000 | #Constraints: 36387 3031.19/3042.04 c #Conflicts: 735000 | #Constraints: 37387 3031.19/3042.04 c #Conflicts: 736000 | #Constraints: 38387 3031.19/3042.04 c #Conflicts: 737000 | #Constraints: 39387 3031.19/3042.04 c #Conflicts: 738000 | #Constraints: 40387 3031.19/3042.04 c #Conflicts: 739000 | #Constraints: 41387 3031.19/3042.04 c #Conflicts: 740000 | #Constraints: 42387 3031.19/3042.04 c #Conflicts: 741000 | #Constraints: 43387 3031.19/3042.04 c #Conflicts: 742000 | #Constraints: 44387 3031.19/3042.04 c #Conflicts: 743000 | #Constraints: 45387 3031.19/3042.04 c #Conflicts: 744000 | #Constraints: 46387 3031.19/3042.04 c #Conflicts: 745000 | #Constraints: 47387 3031.19/3042.04 c #Conflicts: 746000 | #Constraints: 48387 3031.19/3042.04 c #Conflicts: 747000 | #Constraints: 49387 3031.19/3042.04 c #Conflicts: 748000 | #Constraints: 50387 3031.19/3042.04 c #Conflicts: 749000 | #Constraints: 51387 3031.19/3042.04 c #Conflicts: 750000 | #Constraints: 52387 3031.19/3042.04 c #Conflicts: 751000 | #Constraints: 53387 3031.19/3042.04 c #Conflicts: 752000 | #Constraints: 54387 3031.19/3042.04 c #Conflicts: 753000 | #Constraints: 55387 3031.19/3042.04 c #Conflicts: 754000 | #Constraints: 56387 3031.19/3042.04 c #Conflicts: 755000 | #Constraints: 57387 3031.19/3042.04 c #Conflicts: 756000 | #Constraints: 58387 3031.19/3042.04 c #Conflicts: 757000 | #Constraints: 59387 3031.19/3042.04 c #Conflicts: 758000 | #Constraints: 60387 3031.19/3042.04 c #Conflicts: 759000 | #Constraints: 61387 3031.19/3042.04 c #Conflicts: 760000 | #Constraints: 62387 3031.19/3042.04 c #Conflicts: 761000 | #Constraints: 63387 3031.19/3042.04 c #Conflicts: 762000 | #Constraints: 64387 3031.19/3042.04 c #Conflicts: 763000 | #Constraints: 65387 3031.19/3042.04 c #Conflicts: 764000 | #Constraints: 66387 3031.19/3042.04 c #Conflicts: 765000 | #Constraints: 67387 3031.19/3042.04 c #Conflicts: 766000 | #Constraints: 68387 3031.19/3042.04 c #Conflicts: 767000 | #Constraints: 69387 3031.19/3042.04 c #Conflicts: 768000 | #Constraints: 70387 3031.19/3042.04 c #Conflicts: 769000 | #Constraints: 71387 3031.19/3042.04 c #Conflicts: 770000 | #Constraints: 72387 3031.19/3042.04 c #Conflicts: 771000 | #Constraints: 73387 3031.19/3042.04 c #Conflicts: 772000 | #Constraints: 74387 3031.19/3042.04 c #Conflicts: 773000 | #Constraints: 75387 3031.19/3042.04 c #Conflicts: 774000 | #Constraints: 76387 3031.19/3042.04 c #Conflicts: 775000 | #Constraints: 77387 3031.19/3042.04 c #Conflicts: 776000 | #Constraints: 78387 3031.19/3042.04 c #Conflicts: 777000 | #Constraints: 79387 3031.19/3042.04 c #Conflicts: 778000 | #Constraints: 80387 3031.19/3042.04 c #Conflicts: 779000 | #Constraints: 81387 3031.19/3042.04 c #Conflicts: 780000 | #Constraints: 82387 3031.19/3042.04 c #Conflicts: 781000 | #Constraints: 83387 3031.19/3042.04 c #Conflicts: 782000 | #Constraints: 84387 3031.19/3042.04 c #Conflicts: 783000 | #Constraints: 85387 3031.19/3042.04 c #Conflicts: 784000 | #Constraints: 86387 3031.19/3042.04 c #Conflicts: 785000 | #Constraints: 87387 3031.19/3042.04 c #Conflicts: 786000 | #Constraints: 88387 3031.19/3042.04 c #Conflicts: 787000 | #Constraints: 89387 3031.19/3042.04 c #Conflicts: 788000 | #Constraints: 90387 3031.19/3042.04 c #Conflicts: 789000 | #Constraints: 91387 3031.19/3042.04 c #Conflicts: 790000 | #Constraints: 92387 3031.19/3042.04 c #Conflicts: 791000 | #Constraints: 93387 3031.19/3042.04 c #Conflicts: 792000 | #Constraints: 94387 3031.19/3042.04 c INPROCESSING 3031.19/3042.04 c GARBAGE COLLECT 3031.19/3042.04 c rational objective 143.945 3308.32/3320.16 c #Conflicts: 793000 | #Constraints: 48930 3308.32/3320.16 c #Conflicts: 794000 | #Constraints: 49930 3308.32/3320.16 c #Conflicts: 795000 | #Constraints: 50930 3308.32/3320.16 c #Conflicts: 796000 | #Constraints: 51930 3308.32/3320.16 c #Conflicts: 797000 | #Constraints: 52930 3308.32/3320.16 c #Conflicts: 798000 | #Constraints: 53930 3308.32/3320.16 c #Conflicts: 799000 | #Constraints: 54930 3308.32/3320.16 c #Conflicts: 800000 | #Constraints: 55930 3308.32/3320.16 c #Conflicts: 801000 | #Constraints: 56930 3308.32/3320.16 c #Conflicts: 802000 | #Constraints: 57930 3308.32/3320.16 c #Conflicts: 803000 | #Constraints: 58930 3308.32/3320.16 c #Conflicts: 804000 | #Constraints: 59930 3308.32/3320.16 c #Conflicts: 805000 | #Constraints: 60930 3308.32/3320.16 c #Conflicts: 806000 | #Constraints: 61930 3308.32/3320.16 c #Conflicts: 807000 | #Constraints: 62930 3308.32/3320.16 c #Conflicts: 808000 | #Constraints: 63930 3308.32/3320.16 c #Conflicts: 809000 | #Constraints: 64930 3308.32/3320.16 c #Conflicts: 810000 | #Constraints: 65930 3308.32/3320.16 c #Conflicts: 811000 | #Constraints: 66930 3308.32/3320.16 c #Conflicts: 812000 | #Constraints: 67930 3308.32/3320.16 c #Conflicts: 813000 | #Constraints: 68930 3308.32/3320.16 c #Conflicts: 814000 | #Constraints: 69930 3308.32/3320.16 c INPROCESSING 3308.32/3320.16 c GARBAGE COLLECT 3308.32/3320.16 c rational objective 143.945 3484.99/3497.47 c #Conflicts: 815000 | #Constraints: 36558 3484.99/3497.47 c #Conflicts: 816000 | #Constraints: 37558 3484.99/3497.47 c #Conflicts: 817000 | #Constraints: 38558 3484.99/3497.47 c #Conflicts: 818000 | #Constraints: 39558 3484.99/3497.47 c #Conflicts: 819000 | #Constraints: 40558 3484.99/3497.47 c #Conflicts: 820000 | #Constraints: 41558 3484.99/3497.47 c #Conflicts: 821000 | #Constraints: 42558 3484.99/3497.47 c #Conflicts: 822000 | #Constraints: 43558 3484.99/3497.47 c #Conflicts: 823000 | #Constraints: 44558 3484.99/3497.47 c #Conflicts: 824000 | #Constraints: 45558 3484.99/3497.47 c #Conflicts: 825000 | #Constraints: 46558 3484.99/3497.47 c #Conflicts: 826000 | #Constraints: 47558 3484.99/3497.47 c #Conflicts: 827000 | #Constraints: 48558 3484.99/3497.47 c #Conflicts: 828000 | #Constraints: 49558 3484.99/3497.47 c #Conflicts: 829000 | #Constraints: 50558 3484.99/3497.47 c #Conflicts: 830000 | #Constraints: 51558 3484.99/3497.47 c #Conflicts: 831000 | #Constraints: 52558 3484.99/3497.47 c #Conflicts: 832000 | #Constraints: 53558 3484.99/3497.47 c #Conflicts: 833000 | #Constraints: 54558 3484.99/3497.47 c #Conflicts: 834000 | #Constraints: 55558 3484.99/3497.47 c #Conflicts: 835000 | #Constraints: 56558 3484.99/3497.47 c #Conflicts: 836000 | #Constraints: 57558 3484.99/3497.47 c #Conflicts: 837000 | #Constraints: 58558 3484.99/3497.47 c INPROCESSING 3484.99/3497.47 c GARBAGE COLLECT 3484.99/3497.47 c rational objective 143.945 3600.00/3612.80 c #Conflicts: 838000 | #Constraints: 36527 3600.00/3612.80 c #Conflicts: 839000 | #Constraints: 37527 3600.00/3612.80 c #Conflicts: 840000 | #Constraints: 38527 3600.00/3612.80 c #Conflicts: 841000 | #Constraints: 39527 3600.00/3612.80 c #Conflicts: 842000 | #Constraints: 40527 3600.00/3612.80 c #Conflicts: 843000 | #Constraints: 41527 3600.00/3612.80 c #Conflicts: 844000 | #Constraints: 42527 3600.00/3612.80 c #Conflicts: 845000 | #Constraints: 43527 3600.00/3612.80 c #Conflicts: 846000 | #Constraints: 44527 3600.00/3612.80 c #Conflicts: 847000 | #Constraints: 45527 3600.00/3612.80 c #Conflicts: 848000 | #Constraints: 46527 3600.00/3612.80 c #Conflicts: 849000 | #Constraints: 47527 3600.00/3612.80 c #Conflicts: 850000 | #Constraints: 48527 3600.00/3612.80 c #Conflicts: 851000 | #Constraints: 49527 3600.00/3612.80 c #Conflicts: 852000 | #Constraints: 50527 3600.00/3612.80 c Program interrupted by user. 3600.00/3612.80 c cpu time 3581.1 s 3600.00/3612.80 c deterministic time 354568890563 3.55e+11 3600.00/3612.80 c optimization time 114.477 s 3600.00/3612.80 c total solve time 3466.62 s 3600.00/3612.80 c core-guided solve time 2024.13 s 3600.00/3612.80 c propagation time 3086.25 s 3600.00/3612.80 c conflict analysis time 460.354 s 3600.00/3612.80 c propagations 121028207 3600.00/3612.80 c resolve steps 7779941 3600.00/3612.80 c decisions 5586471 3600.00/3612.80 c conflicts 852585 3600.00/3612.80 c restarts 1819 3600.00/3612.80 c inprocessing phases 46 3600.00/3612.80 c input clauses 312 3600.00/3612.80 c input cardinalities 186 3600.00/3612.80 c input general constraints 909 3600.00/3612.80 c input average constraint length 20.51 3600.00/3612.80 c input average constraint degree 19.21 3600.00/3612.80 c learned clauses 320769 3600.00/3612.80 c learned cardinalities 4003 3600.00/3612.80 c learned general constraints 527824 3600.00/3612.80 c learned average constraint length 182.97 3600.00/3612.80 c learned average constraint degree 4541973.56 3600.00/3612.80 c watched constraints 361216 3600.00/3612.80 c counting constraints 167517 3600.00/3612.80 c gcd simplifications 102491 3600.00/3612.80 c detected cardinalities 1603 3600.00/3612.80 c weakened non-implied lits 36651155 3600.00/3612.80 c weakened non-implying lits 81880 3600.00/3612.80 c original variables 476 3600.00/3612.80 c clausal propagations 13823981 3600.00/3612.80 c cardinality propagations 7077702 3600.00/3612.80 c watched propagations 19516241 3600.00/3612.80 c counting propagations 78881410 3600.00/3612.80 c watch lookups 60461810131 3600.00/3612.80 c watch backjump lookups 53886215789 3600.00/3612.80 c watch checks 220557272671 3600.00/3612.80 c propagation checks 18774097631 3600.00/3612.80 c constraint additions 634516605 3600.00/3612.80 c trail pops 127466902 3600.00/3612.80 c formula constraints 476 3600.00/3612.80 c learned constraints 852596 3600.00/3612.80 c bound constraints 38 3600.00/3612.80 c core-guided constraints 893 3600.00/3612.80 c encountered formula constraints 1162338 3600.00/3612.80 c encountered learned constraints 6329652 3600.00/3612.80 c encountered bound constraints 84 3600.00/3612.80 c encountered core-guided constraints 1140452 3600.00/3612.80 c LP total time 49.1779 s 3600.00/3612.80 c LP solve time 48.3 s 3600.00/3612.80 c LP constraints added 476 3600.00/3612.80 c LP constraints removed 0 3600.00/3612.80 c LP pivots internal 852935 3600.00/3612.80 c LP pivots root 43220 3600.00/3612.80 c LP calls 12384 3600.00/3612.80 c LP optimalities 12382 3600.00/3612.80 c LP no pivot count 417 3600.00/3612.80 c LP infeasibilities 0 3600.00/3612.80 c LP valid Farkas constraints 0 3600.00/3612.80 c LP learned Farkas constraints 0 3600.00/3612.80 c LP basis resets 0 3600.00/3612.80 c LP cycling count 0 3600.00/3612.80 c LP singular count 0 3600.00/3612.80 c LP no primal count 0 3600.00/3612.80 c LP no farkas count 0 3600.00/3612.80 c LP other issue count 0 3600.00/3612.80 c LP Gomory cuts 0 3600.00/3612.80 c LP learned cuts 0 3600.00/3612.80 c LP deleted cuts 0 3600.00/3612.80 c LP encountered Gomory constraints 0 3600.00/3612.80 c LP encountered Farkas constraints 0 3600.00/3612.80 c LP encountered learned Farkas constraints 0 3600.00/3612.80 c CG auxiliary variables introduced 347 3600.00/3612.80 c CG solutions found 38 3600.00/3612.80 c CG cores constructed 148 3600.00/3612.80 c CG core cardinality constraints returned 0 3600.00/3612.80 c CG unit cores 0 3600.00/3612.80 c CG single cores 148 3600.00/3612.80 c CG blocks removed during cardinality reduction 0 3600.00/3612.80 c CG first core best 0 3600.00/3612.80 c CG decision core best 0 3600.00/3612.80 c CG core reduction tie 0 3600.00/3612.80 c CG core degree average 1.00 3600.00/3612.80 c CG core slack average 4.07 3600.00/3612.80 s SATISFIABLE 3600.00/3612.80 v -x1 -x2 -x3 -x4 x5 -x6 x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 x22 x23 -x24 -x25 x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 x92 -x93 x94 -x95 x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 -x134 x135 x136 x137 x138 x139 -x140 x141 -x142 -x143 -x144 x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 x177 x178 x179 -x180 -x181 -x182 x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 x218 x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 x230 -x231 -x232 x233 x234 x235 x236 x237 x238 x239 -x240 -x241 -x242 x243 x244 x245 x246 -x247 -x248 -x249 x250 x251 -x252 x253 x254 x255 x256 -x257 -x258 x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 x286 -x287 -x288 x289 x290 -x291 -x292 x293 -x294 -x295 x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 x305 x306 x307 x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 x317 -x318 -x319 x320 -x321 x322 -x323 -x324 x325 x326 x327 x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 x342 x343 -x344 -x345 x346 x347 x348 -x349 -x350 x351 x352 x353 -x354 -x355 -x356 x357 x358 -x359 x360 x361 -x362 x363 -x364 -x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 x374 x375 x376 x377 x378 -x379 x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 x400 x401 -x402 x403 -x404 x405 -x406 x407 x408 -x409 x410 x411 -x412 -x413 x414 -x415 -x416 -x417 x418 -x419 -x420 x421 x422 x423 x424 x425 x426 -x427 -x428 x429 x430 x431 x432 -x433 -x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 -x448 x449 x450 -x451 x452 -x453 -x454 x455 x456 -x457 x458 -x459 -x460 x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 x475 -x476
OK 194
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63587 MiB free)
memory of node 1: 64473 MiB (63880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462556-1722340764/watcher-4462556-1722340764 -o /tmp/evaluation-result-4462556-1722340764/solver-4462556-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6808 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462556-1722340764 --lp-cut-gomory=0 HOME/instance-4462556-1722340764.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6871, runsolver pid=6868
[startup+0.100028 s]*
/proc/loadavg: 0.04 0.07 0.08 4/243 6872
/proc/meminfo: memFree=130523916/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 218 0 0 0 0 0 0 0 20 0 1 0 673450 38273024 657 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.212162 s]*
/proc/loadavg: 0.04 0.07 0.08 3/243 6872
/proc/meminfo: memFree=130517452/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 218 0 0 0 0 0 0 0 20 0 1 0 673450 38273024 657 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.312045 s]*
/proc/loadavg: 0.04 0.07 0.08 3/243 6872
/proc/meminfo: memFree=130510260/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=37376 memory=2628 CPUtime=0 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 218 0 0 0 0 0 0 0 20 0 1 0 673450 38273024 657 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 8404994 1 0 0 17 2 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 9344 657 600 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2628 KiB
[startup+0.700988 s]
/proc/loadavg: 0.04 0.07 0.08 5/243 6872
/proc/meminfo: memFree=130504628/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=38896 memory=8880 CPUtime=0.29 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 650 0 0 0 28 1 0 0 20 0 1 0 673450 39829504 2220 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 9724 2220 1758 992 0 1582 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 8880 KiB
[startup+1.50024 s]
/proc/loadavg: 0.04 0.07 0.08 4/245 6891
/proc/meminfo: memFree=130478312/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=41316 memory=14056 CPUtime=1.08 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 1424 0 0 0 92 16 0 0 20 0 1 0 673450 42307584 3514 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 10329 3514 1806 992 0 2187 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 41316 KiB
Current children cumulated memory: 14056 KiB
[startup+3.11259 s]
/proc/loadavg: 0.44 0.15 0.11 4/243 6900
/proc/meminfo: memFree=130398316/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=49144 memory=20636 CPUtime=2.69 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 3108 0 0 0 244 25 0 0 20 0 1 0 673450 50323456 5159 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 12286 5159 1867 992 0 4144 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 49144 KiB
Current children cumulated memory: 20636 KiB
[startup+6.30025 s]
/proc/loadavg: 0.44 0.15 0.11 5/243 6958
/proc/meminfo: memFree=130257688/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=53772 memory=27228 CPUtime=5.86 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 4749 0 0 0 548 38 0 0 20 0 1 0 673450 55062528 6807 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 13443 6807 1867 992 0 5301 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 53772 KiB
Current children cumulated memory: 27228 KiB
[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.15 5/248 6979
/proc/meminfo: memFree=130030452/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=91848 memory=54356 CPUtime=12.25 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 8966 0 0 0 1168 57 0 0 20 0 1 0 673450 94052352 13589 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 22962 13589 1867 992 0 14820 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 91848 KiB
Current children cumulated memory: 54356 KiB
[startup+25.5003 s]
/proc/loadavg: 1.45 0.40 0.20 5/248 6981
/proc/meminfo: memFree=129702916/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=93020 memory=55412 CPUtime=25 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 9255 0 0 0 2413 87 0 0 20 0 1 0 673450 95252480 13853 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 23255 13853 1867 992 0 15113 0
Current children cumulated CPU time: 25 s
Current children cumulated vsize: 93020 KiB
Current children cumulated memory: 55412 KiB
[startup+51.1131 s]
/proc/loadavg: 2.40 0.71 0.30 5/250 7033
/proc/meminfo: memFree=129252360/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=99260 memory=64268 CPUtime=50.52 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 10505 0 0 0 4908 144 0 0 20 0 1 0 673450 101642240 16067 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 24815 16067 1867 992 0 16673 0
Current children cumulated CPU time: 50.52 s
Current children cumulated vsize: 99260 KiB
Current children cumulated memory: 64268 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.28 0.52 5/251 7057
/proc/meminfo: memFree=128351100/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=104996 memory=68864 CPUtime=101.53 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 11847 0 0 0 9927 226 0 0 20 0 1 0 673450 107515904 17216 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 26249 17216 1867 992 0 18107 0
Current children cumulated CPU time: 101.53 s
Current children cumulated vsize: 104996 KiB
Current children cumulated memory: 68864 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.83 0.76 5/251 7068
/proc/meminfo: memFree=127404700/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=153540 memory=112840 CPUtime=161.32 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 18273 0 0 0 15850 282 0 0 20 0 1 0 673450 157224960 28210 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 38385 28210 1867 992 0 30243 0
Current children cumulated CPU time: 161.32 s
Current children cumulated vsize: 153540 KiB
Current children cumulated memory: 112840 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.24 0.97 5/251 7079
/proc/meminfo: memFree=126637760/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=153540 memory=113608 CPUtime=221.11 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 18488 0 0 0 21755 356 0 0 20 0 1 0 673450 157224960 28402 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 38385 28402 1867 992 0 30243 0
Current children cumulated CPU time: 221.11 s
Current children cumulated vsize: 153540 KiB
Current children cumulated memory: 113608 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 2.62 1.18 5/251 7089
/proc/meminfo: memFree=125656816/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=158688 memory=117472 CPUtime=280.89 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 19719 0 0 0 27677 412 0 0 20 0 1 0 673450 162496512 29368 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 39672 29368 1867 992 0 31530 0
Current children cumulated CPU time: 280.89 s
Current children cumulated vsize: 158688 KiB
Current children cumulated memory: 117472 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.89 1.37 5/247 7100
/proc/meminfo: memFree=124818620/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=202992 memory=142056 CPUtime=340.67 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 23436 0 0 0 33591 476 0 0 20 0 1 0 673450 207863808 35514 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 50748 35514 1867 992 0 42606 0
Current children cumulated CPU time: 340.67 s
Current children cumulated vsize: 202992 KiB
Current children cumulated memory: 142056 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.13 1.55 5/245 7112
/proc/meminfo: memFree=124067576/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=233840 memory=185672 CPUtime=400.44 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 29545 0 0 0 39530 514 0 0 20 0 1 0 673450 239452160 46418 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 58460 46418 1867 992 0 50318 0
Current children cumulated CPU time: 400.44 s
Current children cumulated vsize: 233840 KiB
Current children cumulated memory: 185672 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.30 1.71 5/245 7122
/proc/meminfo: memFree=123451580/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=234096 memory=204368 CPUtime=460.21 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 29643 0 0 0 45470 551 0 0 20 0 1 0 673450 239714304 51092 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 58524 51092 1867 992 0 50382 0
################
# More data... #
################
Current children cumulated memory: 369372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.07 5/245 8227
/proc/meminfo: memFree=104590616/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391424 CPUtime=3031.48 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 59335 0 0 0 301443 1705 0 0 20 0 1 0 673450 516075520 97856 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97856 1867 992 0 117853 0
Current children cumulated CPU time: 3031.48 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.20 4.09 5/247 8242
/proc/meminfo: memFree=104176728/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3091.27 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 59420 0 0 0 307406 1721 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3091.27 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.21 4.10 5/247 8252
/proc/meminfo: memFree=103636460/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3151.06 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 59590 0 0 0 313370 1736 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3151.06 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/249 8265
/proc/meminfo: memFree=103267364/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3210.85 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 59760 0 0 0 319334 1751 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3210.85 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/249 8276
/proc/meminfo: memFree=102869152/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3270.64 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 59930 0 0 0 325297 1767 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3270.64 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/249 8286
/proc/meminfo: memFree=102367060/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3330.44 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60100 0 0 0 331258 1786 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3330.44 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/247 8683
/proc/meminfo: memFree=102059308/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3390.22 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60270 0 0 0 337213 1809 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3390.22 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/247 8694
/proc/meminfo: memFree=101626668/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3450.01 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60440 0 0 0 343170 1831 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3450.01 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.20 4.11 5/247 8707
/proc/meminfo: memFree=101229576/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3509.8 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60610 0 0 0 349126 1854 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3509.8 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.19 4.11 5/248 8887
/proc/meminfo: memFree=100895188/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3569.6 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60780 0 0 0 355082 1878 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3569.6 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.15 4.17 4.10 4/239 8939
/proc/meminfo: memFree=102945020/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391616 CPUtime=3600 cores=0,2
/proc/6871/stat : 6871 (roundingsat) R 6868 6871 6796 0 -1 4194304 60865 0 0 0 358110 1890 0 0 20 0 1 0 673450 516075520 97904 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97904 1867 992 0 117853 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.51 s]
# the end of solver process 6871 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.11 s, system=18.9171 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.14 4.17 4.10 2/238 8947
/proc/meminfo: memFree=102944736/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391940 CPUtime=3600 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 60873 0 0 0 358110 1890 0 0 20 0 1 0 673450 516075520 97985 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 154 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97985 1948 992 0 117853 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391940 KiB
[startup+3614 s]*
/proc/loadavg: 4.14 4.17 4.10 2/238 8947
/proc/meminfo: memFree=102945224/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391940 CPUtime=3600 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 60873 0 0 0 358110 1890 0 0 20 0 1 0 673450 516075520 97985 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 154 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97985 1948 992 0 117853 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391940 KiB
[startup+3614.4 s]
/proc/loadavg: 4.14 4.17 4.10 2/238 8947
/proc/meminfo: memFree=102945224/131655788 swapFree=131071996/131071996
[pid=6871] ppid=6868 vsize=503980 memory=391940 CPUtime=3600 cores=0,2
/proc/6871/stat : 6871 (roundingsat) D 6868 6871 6796 0 -1 4194304 60873 0 0 0 358110 1890 0 0 20 0 1 0 673450 516075520 97985 134679101440 4194304 8255733 140726476198112 0 0 0 0 0 25182210 0 0 0 17 0 0 0 154 0 0 9037040 9046032 19161088 140726476206942 140726476207204 140726476207204 140726476214217 0
/proc/6871/statm: 125995 97985 1948 992 0 117853 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 503980 KiB
Current children cumulated memory: 391940 KiB
Child status: 0
Real time (s): 3614.51
CPU time (s): 3600.02
CPU user time (s): 3581.11
CPU system time (s): 18.9171
CPU usage (%): 99.5991
Max. virtual memory (cumulated for all children) (KiB): 503980
Max. memory (cumulated for all children) (KiB): 391940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.11
system time used= 18.9171
maximum resident set size= 391940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4704296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 25597
# summary of solver processes directly reported to runsolver:
# pid: 6871
# total CPU time (s): 3600.02
# total CPU user time (s): 3581.11
# total CPU system time (s): 18.9171
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1521 second user time and 34.6876 second system time
The end
Begin job on nodeC005 at 2024-07-30 13:59:24 IDJOB=4462556 IDBENCH=147547 IDSOLVER=3089 FILE ID=nodeC005/4462556-1722340764 RUNJOBID= nodeC005-1722340763-6808 SLURM_JOB_ID= 8248985 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_13.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-4462556-1722340764/watcher-4462556-1722340764 -o /tmp/evaluation-result-4462556-1722340764/solver-4462556-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6808 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462556-1722340764 --lp-cut-gomory=0 HOME/instance-4462556-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1492646933 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.210 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.72 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.417 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.37 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.459 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.72 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.381 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.37 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.454 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.72 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.259 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.37 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.211 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.72 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.211 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130527776 kB MemAvailable: 130112296 kB Buffers: 40036 kB Cached: 344816 kB SwapCached: 0 kB Active: 126756 kB Inactive: 591092 kB Active(anon): 1444 kB Inactive(anon): 352880 kB Active(file): 125312 kB Inactive(file): 238212 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22856 kB Writeback: 0 kB AnonPages: 332840 kB Mapped: 88456 kB Shmem: 21320 kB KReclaimable: 42492 kB Slab: 111536 kB SReclaimable: 42492 kB SUnreclaim: 69044 kB KernelStack: 3792 kB PageTables: 9940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 678924 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 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: 150344 kB DirectMap2M: 6045696 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 723756 MiB End job on nodeC005 at 2024-07-30 14:59:39