| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 192 | 3600.08 | 3615.28 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
| MD5SUM | 0daa95194506fa379fbbdb25b381edfb |
| 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 | 180 |
| 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 | 473 |
| Total number of constraints | 473 |
| 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 | 473 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 473 |
| 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 | 473 |
| 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 | 473 |
| 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.45 c #variables 473 #constraints 473 0.66/1.15 c bounds - >= 0 @ 0.008674 0.66/1.15 c bounds 230 >= 0 @ 0.397223 0.66/1.15 c bounds 230 >= 1 @ 0.39744 0.66/1.15 c bounds 230 >= 2 @ 0.397562 0.66/1.15 c bounds 230 >= 3 @ 0.397677 0.66/1.15 c bounds 230 >= 4 @ 0.397783 0.66/1.15 c bounds 230 >= 5 @ 0.397894 0.66/1.15 c bounds 230 >= 6 @ 0.398018 0.66/1.15 c bounds 230 >= 7 @ 0.398156 0.66/1.15 c bounds 230 >= 8 @ 0.398284 0.66/1.15 c bounds 230 >= 9 @ 0.398409 0.66/1.15 c bounds 230 >= 10 @ 0.398545 0.66/1.15 c bounds 230 >= 11 @ 0.398695 0.66/1.15 c bounds 230 >= 12 @ 0.398867 0.66/1.15 c bounds 230 >= 13 @ 0.39904 0.66/1.15 c bounds 230 >= 14 @ 0.399227 0.66/1.15 c bounds 230 >= 15 @ 0.39942 0.66/1.15 c bounds 230 >= 16 @ 0.399623 0.66/1.15 c bounds 230 >= 17 @ 0.399826 0.66/1.15 c bounds 230 >= 18 @ 0.400039 0.66/1.15 c bounds 230 >= 19 @ 0.400244 0.66/1.15 c bounds 230 >= 20 @ 0.400391 0.66/1.15 c bounds 230 >= 21 @ 0.400391 0.66/1.15 c bounds 230 >= 22 @ 0.400391 0.66/1.15 c bounds 230 >= 23 @ 0.400391 0.66/1.15 c bounds 230 >= 24 @ 0.400436 0.66/1.15 c bounds 230 >= 25 @ 0.400675 0.66/1.15 c bounds 230 >= 26 @ 0.400955 0.66/1.15 c bounds 230 >= 27 @ 0.401186 0.66/1.15 c bounds 229 >= 27 @ 0.414491 0.66/1.15 c bounds 229 >= 28 @ 0.414746 0.66/1.15 c bounds 229 >= 29 @ 0.414995 0.66/1.15 c bounds 229 >= 30 @ 0.415249 0.66/1.15 c bounds 229 >= 31 @ 0.41548 0.66/1.15 c bounds 229 >= 32 @ 0.415715 0.66/1.15 c bounds 229 >= 33 @ 0.415948 0.66/1.15 c bounds 229 >= 34 @ 0.41613 0.66/1.15 c bounds 229 >= 35 @ 0.41613 0.66/1.15 c bounds 229 >= 36 @ 0.41613 0.66/1.15 c bounds 229 >= 37 @ 0.41613 0.66/1.15 c bounds 229 >= 38 @ 0.416133 0.66/1.15 c bounds 229 >= 39 @ 0.416133 0.66/1.15 c bounds 229 >= 40 @ 0.416241 0.66/1.15 c bounds 229 >= 41 @ 0.416523 0.66/1.15 c bounds 229 >= 42 @ 0.416803 0.66/1.15 c bounds 229 >= 43 @ 0.417075 0.66/1.15 c bounds 229 >= 44 @ 0.417123 0.66/1.15 c bounds 229 >= 45 @ 0.417123 0.66/1.15 c bounds 229 >= 46 @ 0.417123 0.66/1.15 c bounds 229 >= 47 @ 0.417127 0.66/1.15 c bounds 229 >= 48 @ 0.417127 0.66/1.15 c bounds 229 >= 49 @ 0.417127 0.66/1.15 c bounds 229 >= 50 @ 0.417127 0.66/1.15 c bounds 229 >= 51 @ 0.417364 0.66/1.15 c bounds 229 >= 52 @ 0.417659 0.66/1.15 c bounds 229 >= 53 @ 0.417947 0.66/1.15 c bounds 229 >= 54 @ 0.418127 0.66/1.15 c bounds 229 >= 55 @ 0.418127 0.66/1.15 c bounds 229 >= 56 @ 0.418127 0.66/1.15 c bounds 229 >= 57 @ 0.418145 0.66/1.15 c bounds 229 >= 58 @ 0.418429 0.66/1.15 c bounds 229 >= 59 @ 0.418729 0.66/1.15 c bounds 229 >= 60 @ 0.419023 0.66/1.15 c bounds 229 >= 61 @ 0.419122 0.66/1.15 c bounds 229 >= 62 @ 0.419122 0.66/1.15 c bounds 229 >= 63 @ 0.419122 0.66/1.15 c bounds 229 >= 64 @ 0.419123 0.66/1.15 c bounds 229 >= 65 @ 0.419123 0.66/1.15 c bounds 229 >= 66 @ 0.419123 0.66/1.15 c bounds 229 >= 67 @ 0.419123 0.66/1.15 c bounds 229 >= 68 @ 0.419418 0.66/1.15 c bounds 229 >= 69 @ 0.419713 0.66/1.15 c bounds 229 >= 70 @ 0.420007 0.66/1.15 c bounds 229 >= 71 @ 0.420117 0.66/1.15 c bounds 229 >= 72 @ 0.420117 0.66/1.15 c bounds 229 >= 73 @ 0.420117 0.66/1.15 c bounds 229 >= 74 @ 0.42012 0.66/1.15 c bounds 229 >= 75 @ 0.42012 0.66/1.15 c bounds 229 >= 76 @ 0.42012 0.66/1.15 c bounds 229 >= 77 @ 0.420181 0.66/1.15 c bounds 229 >= 78 @ 0.420514 0.66/1.15 c bounds 229 >= 79 @ 0.420841 0.66/1.15 c bounds 229 >= 80 @ 0.421164 0.66/1.15 c bounds 229 >= 81 @ 0.421499 0.66/1.15 c bounds 229 >= 82 @ 0.421827 0.66/1.15 c bounds 229 >= 83 @ 0.422166 0.66/1.15 c bounds 229 >= 84 @ 0.422498 0.66/1.15 c bounds 229 >= 85 @ 0.422857 0.66/1.15 c bounds 229 >= 86 @ 0.423105 0.66/1.15 c bounds 229 >= 87 @ 0.423105 0.66/1.15 c bounds 229 >= 88 @ 0.423105 0.66/1.15 c bounds 229 >= 89 @ 0.423106 0.66/1.15 c bounds 229 >= 90 @ 0.423106 0.66/1.15 c bounds 229 >= 91 @ 0.423106 0.66/1.15 c bounds 229 >= 92 @ 0.423107 0.66/1.15 c bounds 229 >= 93 @ 0.423107 0.66/1.15 c bounds 229 >= 94 @ 0.423107 0.66/1.15 c bounds 229 >= 95 @ 0.423107 0.66/1.15 c bounds 229 >= 96 @ 0.423107 0.66/1.15 c bounds 229 >= 97 @ 0.423109 0.66/1.15 c bounds 229 >= 98 @ 0.423109 0.66/1.15 c bounds 229 >= 99 @ 0.423109 0.66/1.15 c bounds 229 >= 100 @ 0.42311 0.66/1.15 c bounds 229 >= 101 @ 0.42311 0.66/1.15 c bounds 229 >= 102 @ 0.423178 0.66/1.15 c bounds 229 >= 103 @ 0.423543 0.66/1.15 c bounds 229 >= 104 @ 0.42392 0.66/1.15 c bounds 229 >= 105 @ 0.424373 0.66/1.15 c bounds 229 >= 106 @ 0.424771 0.66/1.15 c bounds 229 >= 107 @ 0.425177 0.66/1.15 c bounds 229 >= 108 @ 0.42556 0.66/1.15 c bounds 229 >= 109 @ 0.42597 0.66/1.15 c bounds 229 >= 110 @ 0.42637 0.66/1.15 c bounds 229 >= 111 @ 0.426756 0.66/1.15 c bounds 229 >= 112 @ 0.427171 0.66/1.15 c bounds 229 >= 113 @ 0.42759 0.66/1.15 c bounds 229 >= 114 @ 0.428006 0.66/1.15 c bounds 229 >= 115 @ 0.42808 0.66/1.15 c bounds 229 >= 116 @ 0.42808 0.66/1.15 c bounds 229 >= 117 @ 0.428241 0.66/1.15 c bounds 229 >= 118 @ 0.428691 0.66/1.15 c bounds 229 >= 119 @ 0.429092 0.66/1.15 c bounds 228 >= 119 @ 0.648808 0.66/1.15 c bounds 228 >= 120 @ 0.649552 0.66/1.15 c bounds 228 >= 121 @ 0.650126 0.66/1.15 c bounds 228 >= 122 @ 0.650797 0.66/1.15 c bounds 228 >= 123 @ 0.651396 0.66/1.15 c bounds 228 >= 124 @ 0.651661 0.66/1.15 c bounds 228 >= 125 @ 0.651661 0.66/1.15 c bounds 228 >= 126 @ 0.651664 0.66/1.15 c bounds 228 >= 127 @ 0.651919 0.66/1.15 c bounds 228 >= 128 @ 0.652717 0.66/1.15 c bounds 228 >= 129 @ 0.653444 0.66/1.15 c bounds 228 >= 130 @ 0.654329 0.66/1.15 c bounds 228 >= 131 @ 0.654648 0.66/1.15 c bounds 228 >= 132 @ 0.655183 0.66/1.15 c bounds 228 >= 133 @ 0.655721 1.75/2.28 c bounds 228 >= 134 @ 0.659459 1.75/2.28 c bounds 228 >= 135 @ 0.663599 1.75/2.28 c bounds 228 >= 136 @ 0.664597 1.75/2.28 c bounds 228 >= 137 @ 0.667583 1.75/2.28 c bounds 228 >= 138 @ 0.672365 1.75/2.28 c bounds 228 >= 139 @ 0.677978 1.75/2.28 c bounds 228 >= 140 @ 0.69218 1.75/2.28 c bounds 228 >= 141 @ 0.750366 1.75/2.28 c #Conflicts: 1000 | #Constraints: 2059 1.75/2.28 c bounds 228 >= 142 @ 1.0682 1.75/2.28 c #Conflicts: 2000 | #Constraints: 3121 1.75/2.28 c INPROCESSING 1.75/2.28 c GARBAGE COLLECT 1.75/2.28 c rational objective 140.89 3.04/3.54 c bounds 227 >= 142 @ 1.72556 3.04/3.54 c bounds 226 >= 142 @ 1.73128 3.04/3.54 c bounds 225 >= 142 @ 1.73444 3.04/3.54 c bounds 224 >= 142 @ 1.74168 3.04/3.54 c bounds 223 >= 142 @ 1.74905 3.04/3.54 c bounds 222 >= 142 @ 1.76682 3.04/3.54 c bounds 221 >= 142 @ 1.8217 3.04/3.54 c #Conflicts: 3000 | #Constraints: 3158 3.04/3.54 c bounds 220 >= 142 @ 1.90663 3.04/3.54 c bounds 219 >= 142 @ 1.94691 3.04/3.54 c #Conflicts: 4000 | #Constraints: 4160 3.04/3.54 c INPROCESSING 3.04/3.54 c GARBAGE COLLECT 3.04/3.54 c bounds 218 >= 142 @ 2.28803 3.04/3.54 c bounds 217 >= 142 @ 2.33025 3.04/3.54 c bounds 216 >= 142 @ 2.33484 3.04/3.54 c bounds 215 >= 142 @ 2.33947 3.04/3.54 c bounds 214 >= 142 @ 2.34707 3.04/3.54 c #Conflicts: 5000 | #Constraints: 3594 3.04/3.54 c bounds 213 >= 142 @ 2.49971 3.04/3.54 c bounds 212 >= 142 @ 2.50831 3.04/3.54 c #Conflicts: 6000 | #Constraints: 4596 3.04/3.54 c INPROCESSING 3.04/3.54 c GARBAGE COLLECT 3.04/3.54 c rational objective 140.89 6.92/7.44 c #Conflicts: 7000 | #Constraints: 3576 6.92/7.44 c #Conflicts: 8000 | #Constraints: 4576 6.92/7.44 c bounds 212 >= 143 @ 3.81916 6.92/7.44 c #Conflicts: 9000 | #Constraints: 5623 6.92/7.44 c bounds 211 >= 143 @ 3.8374 6.92/7.44 c bounds 210 >= 143 @ 3.84204 6.92/7.44 c INPROCESSING 6.92/7.44 c GARBAGE COLLECT 6.92/7.44 c bounds 209 >= 143 @ 4.31504 6.92/7.44 c bounds 208 >= 143 @ 4.33128 6.92/7.44 c #Conflicts: 10000 | #Constraints: 4321 6.92/7.44 c #Conflicts: 11000 | #Constraints: 5321 6.92/7.44 c bounds 207 >= 143 @ 4.71439 6.92/7.44 c #Conflicts: 12000 | #Constraints: 6322 6.92/7.44 c INPROCESSING 6.92/7.44 c GARBAGE COLLECT 6.92/7.44 c #Conflicts: 13000 | #Constraints: 4760 6.92/7.44 c #Conflicts: 14000 | #Constraints: 5760 6.92/7.44 c #Conflicts: 15000 | #Constraints: 6760 6.92/7.44 c INPROCESSING 6.92/7.44 c GARBAGE COLLECT 6.92/7.44 c rational objective 140.89 7.92/8.43 c bounds 206 >= 143 @ 6.58997 7.92/8.43 c bounds 205 >= 143 @ 6.60367 7.92/8.43 c #Conflicts: 16000 | #Constraints: 5038 7.92/8.43 c #Conflicts: 17000 | #Constraints: 6038 7.92/8.43 c #Conflicts: 18000 | #Constraints: 7038 7.92/8.43 c INPROCESSING 7.92/8.43 c GARBAGE COLLECT 7.92/8.43 c rational objective 140.89 9.53/10.05 c bounds 204 >= 143 @ 7.76895 9.53/10.05 c #Conflicts: 19000 | #Constraints: 5032 9.53/10.05 c #Conflicts: 20000 | #Constraints: 6032 9.53/10.05 c #Conflicts: 21000 | #Constraints: 7032 9.53/10.05 c bounds 203 >= 143 @ 8.77362 9.53/10.05 c INPROCESSING 9.53/10.05 c GARBAGE COLLECT 9.53/10.05 c rational objective 140.89 11.52/12.11 c #Conflicts: 22000 | #Constraints: 4869 11.52/12.11 c #Conflicts: 23000 | #Constraints: 5869 11.52/12.11 c #Conflicts: 24000 | #Constraints: 6869 11.52/12.11 c #Conflicts: 25000 | #Constraints: 7869 11.52/12.11 c INPROCESSING 11.52/12.11 c GARBAGE COLLECT 11.52/12.11 c rational objective 140.89 13.40/13.98 c bounds 202 >= 143 @ 11.073 13.40/13.98 c #Conflicts: 26000 | #Constraints: 5508 13.40/13.98 c #Conflicts: 27000 | #Constraints: 6509 13.40/13.98 c bounds 201 >= 143 @ 11.7971 13.40/13.98 c bounds 200 >= 143 @ 11.8635 13.40/13.98 c bounds 199 >= 143 @ 12.0894 13.40/13.98 c #Conflicts: 28000 | #Constraints: 7512 13.40/13.98 c #Conflicts: 29000 | #Constraints: 8512 13.40/13.98 c INPROCESSING 13.40/13.98 c GARBAGE COLLECT 13.40/13.98 c rational objective 140.89 15.20/15.76 c bounds 198 >= 143 @ 12.862 15.20/15.76 c #Conflicts: 30000 | #Constraints: 5921 15.20/15.76 c #Conflicts: 31000 | #Constraints: 6921 15.20/15.76 c bounds 197 >= 143 @ 13.7119 15.20/15.76 c #Conflicts: 32000 | #Constraints: 7922 15.20/15.76 c #Conflicts: 33000 | #Constraints: 8922 15.20/15.76 c INPROCESSING 15.20/15.76 c GARBAGE COLLECT 15.20/15.76 c rational objective 140.89 16.80/17.35 c #Conflicts: 34000 | #Constraints: 6132 16.80/17.35 c #Conflicts: 35000 | #Constraints: 7132 16.80/17.35 c #Conflicts: 36000 | #Constraints: 8132 16.80/17.35 c #Conflicts: 37000 | #Constraints: 9133 16.80/17.35 c INPROCESSING 16.80/17.35 c GARBAGE COLLECT 16.80/17.35 c rational objective 140.89 19.59/20.18 c #Conflicts: 38000 | #Constraints: 6079 19.59/20.18 c bounds 197 >= 144 @ 16.8528 19.59/20.18 c #Conflicts: 39000 | #Constraints: 7138 19.59/20.18 c #Conflicts: 40000 | #Constraints: 8138 19.59/20.18 c #Conflicts: 41000 | #Constraints: 9138 19.59/20.18 c INPROCESSING 19.59/20.18 c GARBAGE COLLECT 19.59/20.18 c rational objective 140.89 40.81/41.47 c #Conflicts: 42000 | #Constraints: 5957 40.81/41.47 c #Conflicts: 43000 | #Constraints: 6957 40.81/41.47 c bounds 196 >= 144 @ 19.3907 40.81/41.47 c #Conflicts: 44000 | #Constraints: 7958 40.81/41.47 c #Conflicts: 45000 | #Constraints: 8958 40.81/41.47 c #Conflicts: 46000 | #Constraints: 9958 40.81/41.47 c bounds 195 >= 144 @ 20.9845 40.81/41.47 c #Conflicts: 47000 | #Constraints: 10959 40.81/41.47 c #Conflicts: 48000 | #Constraints: 11959 40.81/41.47 c #Conflicts: 49000 | #Constraints: 12959 40.81/41.47 c #Conflicts: 50000 | #Constraints: 13959 40.81/41.47 c #Conflicts: 51000 | #Constraints: 14959 40.81/41.47 c #Conflicts: 52000 | #Constraints: 15959 40.81/41.47 c #Conflicts: 53000 | #Constraints: 16959 40.81/41.47 c #Conflicts: 54000 | #Constraints: 17959 40.81/41.47 c #Conflicts: 55000 | #Constraints: 18959 40.81/41.47 c #Conflicts: 56000 | #Constraints: 19959 40.81/41.47 c #Conflicts: 57000 | #Constraints: 20959 40.81/41.47 c bounds 195 >= 145 @ 38.0452 40.81/41.47 c #Conflicts: 58000 | #Constraints: 22003 40.81/41.47 c INPROCESSING 40.81/41.47 c GARBAGE COLLECT 40.81/41.47 c rational objective 140.89 49.49/50.14 c #Conflicts: 59000 | #Constraints: 12256 49.49/50.14 c #Conflicts: 60000 | #Constraints: 13256 49.49/50.14 c #Conflicts: 61000 | #Constraints: 14256 49.49/50.14 c #Conflicts: 62000 | #Constraints: 15256 49.49/50.14 c #Conflicts: 63000 | #Constraints: 16256 49.49/50.14 c #Conflicts: 64000 | #Constraints: 17256 49.49/50.14 c bounds 194 >= 145 @ 47.3717 49.49/50.14 c INPROCESSING 49.49/50.14 c GARBAGE COLLECT 49.49/50.14 c rational objective 140.89 59.64/60.39 c #Conflicts: 65000 | #Constraints: 10044 59.64/60.39 c #Conflicts: 66000 | #Constraints: 11044 59.64/60.39 c #Conflicts: 67000 | #Constraints: 12044 59.64/60.39 c #Conflicts: 68000 | #Constraints: 13044 59.64/60.39 c #Conflicts: 69000 | #Constraints: 14044 59.64/60.39 c #Conflicts: 70000 | #Constraints: 15044 59.64/60.39 c INPROCESSING 59.64/60.39 c GARBAGE COLLECT 59.64/60.39 c rational objective 140.89 64.93/65.69 c #Conflicts: 71000 | #Constraints: 8981 64.93/65.69 c #Conflicts: 72000 | #Constraints: 9981 64.93/65.69 c #Conflicts: 73000 | #Constraints: 10981 64.93/65.69 c #Conflicts: 74000 | #Constraints: 11981 64.93/65.69 c #Conflicts: 75000 | #Constraints: 12981 64.93/65.69 c #Conflicts: 76000 | #Constraints: 13981 64.93/65.69 c INPROCESSING 64.93/65.69 c GARBAGE COLLECT 64.93/65.69 c rational objective 140.89 101.39/102.27 c #Conflicts: 77000 | #Constraints: 8452 101.39/102.27 c #Conflicts: 78000 | #Constraints: 9452 101.39/102.27 c #Conflicts: 79000 | #Constraints: 10452 101.39/102.27 c #Conflicts: 80000 | #Constraints: 11452 101.39/102.27 c #Conflicts: 81000 | #Constraints: 12452 101.39/102.27 c #Conflicts: 82000 | #Constraints: 13452 101.39/102.27 c #Conflicts: 83000 | #Constraints: 14452 101.39/102.27 c #Conflicts: 84000 | #Constraints: 15452 101.39/102.27 c #Conflicts: 85000 | #Constraints: 16452 101.39/102.27 c #Conflicts: 86000 | #Constraints: 17452 101.39/102.27 c #Conflicts: 87000 | #Constraints: 18452 101.39/102.27 c #Conflicts: 88000 | #Constraints: 19452 101.39/102.27 c #Conflicts: 89000 | #Constraints: 20452 101.39/102.27 c #Conflicts: 90000 | #Constraints: 21452 101.39/102.27 c #Conflicts: 91000 | #Constraints: 22452 101.39/102.27 c #Conflicts: 92000 | #Constraints: 23452 101.39/102.27 c #Conflicts: 93000 | #Constraints: 24452 101.39/102.27 c #Conflicts: 94000 | #Constraints: 25452 101.39/102.27 c #Conflicts: 95000 | #Constraints: 26452 101.39/102.27 c #Conflicts: 96000 | #Constraints: 27452 101.39/102.27 c #Conflicts: 97000 | #Constraints: 28452 101.39/102.27 c #Conflicts: 98000 | #Constraints: 29452 101.39/102.27 c #Conflicts: 99000 | #Constraints: 30452 101.39/102.27 c INPROCESSING 101.39/102.27 c GARBAGE COLLECT 101.39/102.27 c rational objective 140.89 110.46/111.36 c #Conflicts: 100000 | #Constraints: 16970 110.46/111.36 c #Conflicts: 101000 | #Constraints: 17970 110.46/111.36 c #Conflicts: 102000 | #Constraints: 18970 110.46/111.36 c #Conflicts: 103000 | #Constraints: 19970 110.46/111.36 c #Conflicts: 104000 | #Constraints: 20970 110.46/111.36 c #Conflicts: 105000 | #Constraints: 21970 110.46/111.36 c #Conflicts: 106000 | #Constraints: 22970 110.46/111.36 c INPROCESSING 110.46/111.36 c GARBAGE COLLECT 110.46/111.36 c rational objective 140.89 121.72/122.62 c #Conflicts: 107000 | #Constraints: 12953 121.72/122.62 c #Conflicts: 108000 | #Constraints: 13953 121.72/122.62 c #Conflicts: 109000 | #Constraints: 14953 121.72/122.62 c #Conflicts: 110000 | #Constraints: 15953 121.72/122.62 c #Conflicts: 111000 | #Constraints: 16953 121.72/122.62 c #Conflicts: 112000 | #Constraints: 17953 121.72/122.62 c #Conflicts: 113000 | #Constraints: 18953 121.72/122.62 c #Conflicts: 114000 | #Constraints: 19953 121.72/122.62 c INPROCESSING 121.72/122.62 c GARBAGE COLLECT 121.72/122.62 c rational objective 140.89 172.53/173.62 c #Conflicts: 115000 | #Constraints: 11645 172.53/173.62 c #Conflicts: 116000 | #Constraints: 12645 172.53/173.62 c #Conflicts: 117000 | #Constraints: 13645 172.53/173.62 c #Conflicts: 118000 | #Constraints: 14645 172.53/173.62 c #Conflicts: 119000 | #Constraints: 15645 172.53/173.62 c #Conflicts: 120000 | #Constraints: 16645 172.53/173.62 c #Conflicts: 121000 | #Constraints: 17645 172.53/173.62 c #Conflicts: 122000 | #Constraints: 18645 172.53/173.62 c #Conflicts: 123000 | #Constraints: 19645 172.53/173.62 c #Conflicts: 124000 | #Constraints: 20645 172.53/173.62 c #Conflicts: 125000 | #Constraints: 21645 172.53/173.62 c #Conflicts: 126000 | #Constraints: 22645 172.53/173.62 c #Conflicts: 127000 | #Constraints: 23645 172.53/173.62 c #Conflicts: 128000 | #Constraints: 24645 172.53/173.62 c #Conflicts: 129000 | #Constraints: 25645 172.53/173.62 c #Conflicts: 130000 | #Constraints: 26645 172.53/173.62 c #Conflicts: 131000 | #Constraints: 27645 172.53/173.62 c #Conflicts: 132000 | #Constraints: 28645 172.53/173.62 c bounds 194 >= 146 @ 148.957 172.53/173.62 c #Conflicts: 133000 | #Constraints: 29698 172.53/173.62 c #Conflicts: 134000 | #Constraints: 30698 172.53/173.62 c #Conflicts: 135000 | #Constraints: 31698 172.53/173.62 c #Conflicts: 136000 | #Constraints: 32698 172.53/173.62 c #Conflicts: 137000 | #Constraints: 33698 172.53/173.62 c #Conflicts: 138000 | #Constraints: 34698 172.53/173.62 c #Conflicts: 139000 | #Constraints: 35698 172.53/173.62 c #Conflicts: 140000 | #Constraints: 36698 172.53/173.62 c INPROCESSING 172.53/173.62 c GARBAGE COLLECT 172.53/173.62 c rational objective 140.89 191.87/193.07 c #Conflicts: 141000 | #Constraints: 19700 191.87/193.07 c #Conflicts: 142000 | #Constraints: 20700 191.87/193.07 c #Conflicts: 143000 | #Constraints: 21700 191.87/193.07 c #Conflicts: 144000 | #Constraints: 22700 191.87/193.07 c #Conflicts: 145000 | #Constraints: 23700 191.87/193.07 c #Conflicts: 146000 | #Constraints: 24700 191.87/193.07 c #Conflicts: 147000 | #Constraints: 25700 191.87/193.07 c #Conflicts: 148000 | #Constraints: 26700 191.87/193.07 c #Conflicts: 149000 | #Constraints: 27700 191.87/193.07 c INPROCESSING 191.87/193.07 c GARBAGE COLLECT 191.87/193.07 c rational objective 140.89 206.61/207.81 c #Conflicts: 150000 | #Constraints: 15250 206.61/207.81 c #Conflicts: 151000 | #Constraints: 16250 206.61/207.81 c #Conflicts: 152000 | #Constraints: 17250 206.61/207.81 c #Conflicts: 153000 | #Constraints: 18250 206.61/207.81 c #Conflicts: 154000 | #Constraints: 19250 206.61/207.81 c #Conflicts: 155000 | #Constraints: 20250 206.61/207.81 c #Conflicts: 156000 | #Constraints: 21250 206.61/207.81 c #Conflicts: 157000 | #Constraints: 22250 206.61/207.81 c #Conflicts: 158000 | #Constraints: 23250 206.61/207.81 c INPROCESSING 206.61/207.81 c GARBAGE COLLECT 206.61/207.81 c rational objective 140.89 288.29/289.90 c #Conflicts: 159000 | #Constraints: 13049 288.29/289.90 c #Conflicts: 160000 | #Constraints: 14049 288.29/289.90 c #Conflicts: 161000 | #Constraints: 15049 288.29/289.90 c #Conflicts: 162000 | #Constraints: 16049 288.29/289.90 c #Conflicts: 163000 | #Constraints: 17049 288.29/289.90 c #Conflicts: 164000 | #Constraints: 18049 288.29/289.90 c #Conflicts: 165000 | #Constraints: 19049 288.29/289.90 c #Conflicts: 166000 | #Constraints: 20049 288.29/289.90 c #Conflicts: 167000 | #Constraints: 21049 288.29/289.90 c #Conflicts: 168000 | #Constraints: 22049 288.29/289.90 c #Conflicts: 169000 | #Constraints: 23049 288.29/289.90 c #Conflicts: 170000 | #Constraints: 24049 288.29/289.90 c #Conflicts: 171000 | #Constraints: 25049 288.29/289.90 c #Conflicts: 172000 | #Constraints: 26049 288.29/289.90 c #Conflicts: 173000 | #Constraints: 27049 288.29/289.90 c #Conflicts: 174000 | #Constraints: 28049 288.29/289.90 c #Conflicts: 175000 | #Constraints: 29049 288.29/289.90 c #Conflicts: 176000 | #Constraints: 30049 288.29/289.90 c #Conflicts: 177000 | #Constraints: 31049 288.29/289.90 c #Conflicts: 178000 | #Constraints: 32049 288.29/289.90 c #Conflicts: 179000 | #Constraints: 33049 288.29/289.90 c #Conflicts: 180000 | #Constraints: 34049 288.29/289.90 c #Conflicts: 181000 | #Constraints: 35049 288.29/289.90 c #Conflicts: 182000 | #Constraints: 36049 288.29/289.90 c #Conflicts: 183000 | #Constraints: 37049 288.29/289.90 c #Conflicts: 184000 | #Constraints: 38049 288.29/289.90 c #Conflicts: 185000 | #Constraints: 39049 288.29/289.90 c #Conflicts: 186000 | #Constraints: 40049 288.29/289.90 c #Conflicts: 187000 | #Constraints: 41049 288.29/289.90 c #Conflicts: 188000 | #Constraints: 42049 288.29/289.90 c #Conflicts: 189000 | #Constraints: 43049 288.29/289.90 c INPROCESSING 288.29/289.90 c GARBAGE COLLECT 288.29/289.90 c rational objective 140.89 305.72/307.35 c #Conflicts: 190000 | #Constraints: 22988 305.72/307.35 c #Conflicts: 191000 | #Constraints: 23988 305.72/307.35 c #Conflicts: 192000 | #Constraints: 24988 305.72/307.35 c #Conflicts: 193000 | #Constraints: 25988 305.72/307.35 c #Conflicts: 194000 | #Constraints: 26988 305.72/307.35 c #Conflicts: 195000 | #Constraints: 27988 305.72/307.35 c #Conflicts: 196000 | #Constraints: 28988 305.72/307.35 c #Conflicts: 197000 | #Constraints: 29988 305.72/307.35 c #Conflicts: 198000 | #Constraints: 30988 305.72/307.35 c #Conflicts: 199000 | #Constraints: 31988 305.72/307.35 c #Conflicts: 200000 | #Constraints: 32988 305.72/307.35 c INPROCESSING 305.72/307.35 c GARBAGE COLLECT 305.72/307.35 c rational objective 140.89 400.95/402.94 c #Conflicts: 201000 | #Constraints: 18187 400.95/402.94 c #Conflicts: 202000 | #Constraints: 19187 400.95/402.94 c #Conflicts: 203000 | #Constraints: 20187 400.95/402.94 c #Conflicts: 204000 | #Constraints: 21187 400.95/402.94 c #Conflicts: 205000 | #Constraints: 22187 400.95/402.94 c #Conflicts: 206000 | #Constraints: 23187 400.95/402.94 c #Conflicts: 207000 | #Constraints: 24187 400.95/402.94 c #Conflicts: 208000 | #Constraints: 25187 400.95/402.94 c #Conflicts: 209000 | #Constraints: 26187 400.95/402.94 c #Conflicts: 210000 | #Constraints: 27187 400.95/402.94 c #Conflicts: 211000 | #Constraints: 28187 400.95/402.94 c #Conflicts: 212000 | #Constraints: 29187 400.95/402.94 c #Conflicts: 213000 | #Constraints: 30187 400.95/402.94 c #Conflicts: 214000 | #Constraints: 31187 400.95/402.94 c #Conflicts: 215000 | #Constraints: 32187 400.95/402.94 c #Conflicts: 216000 | #Constraints: 33187 400.95/402.94 c #Conflicts: 217000 | #Constraints: 34187 400.95/402.94 c #Conflicts: 218000 | #Constraints: 35187 400.95/402.94 c #Conflicts: 219000 | #Constraints: 36187 400.95/402.94 c #Conflicts: 220000 | #Constraints: 37187 400.95/402.94 c #Conflicts: 221000 | #Constraints: 38187 400.95/402.94 c #Conflicts: 222000 | #Constraints: 39187 400.95/402.94 c #Conflicts: 223000 | #Constraints: 40187 400.95/402.94 c #Conflicts: 224000 | #Constraints: 41187 400.95/402.94 c #Conflicts: 225000 | #Constraints: 42187 400.95/402.94 c #Conflicts: 226000 | #Constraints: 43187 400.95/402.94 c #Conflicts: 227000 | #Constraints: 44187 400.95/402.94 c #Conflicts: 228000 | #Constraints: 45187 400.95/402.94 c #Conflicts: 229000 | #Constraints: 46187 400.95/402.94 c #Conflicts: 230000 | #Constraints: 47187 400.95/402.94 c #Conflicts: 231000 | #Constraints: 48187 400.95/402.94 c #Conflicts: 232000 | #Constraints: 49187 400.95/402.94 c #Conflicts: 233000 | #Constraints: 50187 400.95/402.94 c #Conflicts: 234000 | #Constraints: 51187 400.95/402.94 c INPROCESSING 400.95/402.94 c GARBAGE COLLECT 400.95/402.94 c rational objective 140.89 465.39/467.65 c #Conflicts: 235000 | #Constraints: 27284 465.39/467.65 c #Conflicts: 236000 | #Constraints: 28284 465.39/467.65 c #Conflicts: 237000 | #Constraints: 29284 465.39/467.65 c #Conflicts: 238000 | #Constraints: 30284 465.39/467.65 c #Conflicts: 239000 | #Constraints: 31284 465.39/467.65 c #Conflicts: 240000 | #Constraints: 32284 465.39/467.65 c #Conflicts: 241000 | #Constraints: 33284 465.39/467.65 c #Conflicts: 242000 | #Constraints: 34284 465.39/467.65 c #Conflicts: 243000 | #Constraints: 35284 465.39/467.65 c #Conflicts: 244000 | #Constraints: 36284 465.39/467.65 c #Conflicts: 245000 | #Constraints: 37284 465.39/467.65 c INPROCESSING 465.39/467.65 c GARBAGE COLLECT 465.39/467.65 c rational objective 140.89 492.98/495.39 c #Conflicts: 246000 | #Constraints: 20071 492.98/495.39 c #Conflicts: 247000 | #Constraints: 21071 492.98/495.39 c #Conflicts: 248000 | #Constraints: 22071 492.98/495.39 c #Conflicts: 249000 | #Constraints: 23071 492.98/495.39 c #Conflicts: 250000 | #Constraints: 24071 492.98/495.39 c #Conflicts: 251000 | #Constraints: 25071 492.98/495.39 c #Conflicts: 252000 | #Constraints: 26071 492.98/495.39 c #Conflicts: 253000 | #Constraints: 27071 492.98/495.39 c #Conflicts: 254000 | #Constraints: 28071 492.98/495.39 c #Conflicts: 255000 | #Constraints: 29071 492.98/495.39 c #Conflicts: 256000 | #Constraints: 30071 492.98/495.39 c #Conflicts: 257000 | #Constraints: 31071 492.98/495.39 c INPROCESSING 492.98/495.39 c GARBAGE COLLECT 492.98/495.39 c rational objective 140.89 681.12/684.29 c #Conflicts: 258000 | #Constraints: 20347 681.12/684.29 c #Conflicts: 259000 | #Constraints: 21347 681.12/684.29 c #Conflicts: 260000 | #Constraints: 22347 681.12/684.29 c #Conflicts: 261000 | #Constraints: 23347 681.12/684.29 c #Conflicts: 262000 | #Constraints: 24347 681.12/684.29 c #Conflicts: 263000 | #Constraints: 25347 681.12/684.29 c #Conflicts: 264000 | #Constraints: 26347 681.12/684.29 c #Conflicts: 265000 | #Constraints: 27347 681.12/684.29 c #Conflicts: 266000 | #Constraints: 28347 681.12/684.29 c #Conflicts: 267000 | #Constraints: 29347 681.12/684.29 c #Conflicts: 268000 | #Constraints: 30347 681.12/684.29 c #Conflicts: 269000 | #Constraints: 31347 681.12/684.29 c #Conflicts: 270000 | #Constraints: 32347 681.12/684.29 c #Conflicts: 271000 | #Constraints: 33347 681.12/684.29 c #Conflicts: 272000 | #Constraints: 34347 681.12/684.29 c #Conflicts: 273000 | #Constraints: 35347 681.12/684.29 c #Conflicts: 274000 | #Constraints: 36347 681.12/684.29 c #Conflicts: 275000 | #Constraints: 37347 681.12/684.29 c #Conflicts: 276000 | #Constraints: 38347 681.12/684.29 c #Conflicts: 277000 | #Constraints: 39347 681.12/684.29 c #Conflicts: 278000 | #Constraints: 40347 681.12/684.29 c #Conflicts: 279000 | #Constraints: 41347 681.12/684.29 c #Conflicts: 280000 | #Constraints: 42347 681.12/684.29 c #Conflicts: 281000 | #Constraints: 43347 681.12/684.29 c #Conflicts: 282000 | #Constraints: 44347 681.12/684.29 c #Conflicts: 283000 | #Constraints: 45347 681.12/684.29 c #Conflicts: 284000 | #Constraints: 46347 681.12/684.29 c #Conflicts: 285000 | #Constraints: 47347 681.12/684.29 c #Conflicts: 286000 | #Constraints: 48347 681.12/684.29 c #Conflicts: 287000 | #Constraints: 49347 681.12/684.29 c #Conflicts: 288000 | #Constraints: 50347 681.12/684.29 c #Conflicts: 289000 | #Constraints: 51347 681.12/684.29 c #Conflicts: 290000 | #Constraints: 52347 681.12/684.29 c #Conflicts: 291000 | #Constraints: 53347 681.12/684.29 c #Conflicts: 292000 | #Constraints: 54347 681.12/684.29 c #Conflicts: 293000 | #Constraints: 55347 681.12/684.29 c #Conflicts: 294000 | #Constraints: 56347 681.12/684.29 c #Conflicts: 295000 | #Constraints: 57347 681.12/684.29 c INPROCESSING 681.12/684.29 c GARBAGE COLLECT 681.12/684.29 c rational objective 140.89 715.98/719.23 c #Conflicts: 296000 | #Constraints: 30060 715.98/719.23 c #Conflicts: 297000 | #Constraints: 31060 715.98/719.23 c bounds 193 >= 146 @ 676.322 715.98/719.23 c #Conflicts: 298000 | #Constraints: 32061 715.98/719.23 c #Conflicts: 299000 | #Constraints: 33061 715.98/719.23 c #Conflicts: 300000 | #Constraints: 34061 715.98/719.23 c #Conflicts: 301000 | #Constraints: 35061 715.98/719.23 c #Conflicts: 302000 | #Constraints: 36061 715.98/719.23 c #Conflicts: 303000 | #Constraints: 37061 715.98/719.23 c #Conflicts: 304000 | #Constraints: 38061 715.98/719.23 c #Conflicts: 305000 | #Constraints: 39061 715.98/719.23 c #Conflicts: 306000 | #Constraints: 40061 715.98/719.23 c #Conflicts: 307000 | #Constraints: 41061 715.98/719.23 c #Conflicts: 308000 | #Constraints: 42061 715.98/719.23 c #Conflicts: 309000 | #Constraints: 43061 715.98/719.23 c INPROCESSING 715.98/719.23 c GARBAGE COLLECT 715.98/719.23 c rational objective 140.89 888.86/892.80 c #Conflicts: 310000 | #Constraints: 24461 888.86/892.80 c #Conflicts: 311000 | #Constraints: 25461 888.86/892.80 c #Conflicts: 312000 | #Constraints: 26461 888.86/892.80 c #Conflicts: 313000 | #Constraints: 27461 888.86/892.80 c #Conflicts: 314000 | #Constraints: 28461 888.86/892.80 c #Conflicts: 315000 | #Constraints: 29461 888.86/892.80 c #Conflicts: 316000 | #Constraints: 30461 888.86/892.80 c #Conflicts: 317000 | #Constraints: 31463 888.86/892.80 c #Conflicts: 318000 | #Constraints: 32464 888.86/892.80 c #Conflicts: 319000 | #Constraints: 33464 888.86/892.80 c #Conflicts: 320000 | #Constraints: 34464 888.86/892.80 c #Conflicts: 321000 | #Constraints: 35464 888.86/892.80 c #Conflicts: 322000 | #Constraints: 36464 888.86/892.80 c #Conflicts: 323000 | #Constraints: 37464 888.86/892.80 c #Conflicts: 324000 | #Constraints: 38464 888.86/892.80 c #Conflicts: 325000 | #Constraints: 39465 888.86/892.80 c #Conflicts: 326000 | #Constraints: 40465 888.86/892.80 c #Conflicts: 327000 | #Constraints: 41465 888.86/892.80 c #Conflicts: 328000 | #Constraints: 42465 888.86/892.80 c #Conflicts: 329000 | #Constraints: 43465 888.86/892.80 c #Conflicts: 330000 | #Constraints: 44465 888.86/892.80 c #Conflicts: 331000 | #Constraints: 45465 888.86/892.80 c #Conflicts: 332000 | #Constraints: 46465 888.86/892.80 c #Conflicts: 333000 | #Constraints: 47465 888.86/892.80 c #Conflicts: 334000 | #Constraints: 48465 888.86/892.80 c #Conflicts: 335000 | #Constraints: 49465 888.86/892.80 c #Conflicts: 336000 | #Constraints: 50465 888.86/892.80 c #Conflicts: 337000 | #Constraints: 51465 888.86/892.80 c #Conflicts: 338000 | #Constraints: 52465 888.86/892.80 c #Conflicts: 339000 | #Constraints: 53465 888.86/892.80 c #Conflicts: 340000 | #Constraints: 54465 888.86/892.80 c #Conflicts: 341000 | #Constraints: 55465 888.86/892.80 c #Conflicts: 342000 | #Constraints: 56465 888.86/892.80 c #Conflicts: 343000 | #Constraints: 57465 888.86/892.80 c #Conflicts: 344000 | #Constraints: 58465 888.86/892.80 c #Conflicts: 345000 | #Constraints: 59465 888.86/892.80 c #Conflicts: 346000 | #Constraints: 60465 888.86/892.80 c #Conflicts: 347000 | #Constraints: 61465 888.86/892.80 c #Conflicts: 348000 | #Constraints: 62465 888.86/892.80 c #Conflicts: 349000 | #Constraints: 63465 888.86/892.80 c #Conflicts: 350000 | #Constraints: 64465 888.86/892.80 c INPROCESSING 888.86/892.80 c GARBAGE COLLECT 888.86/892.80 c rational objective 140.89 995.43/999.82 c #Conflicts: 351000 | #Constraints: 33791 995.43/999.82 c #Conflicts: 352000 | #Constraints: 34791 995.43/999.82 c #Conflicts: 353000 | #Constraints: 35791 995.43/999.82 c #Conflicts: 354000 | #Constraints: 36791 995.43/999.82 c #Conflicts: 355000 | #Constraints: 37791 995.43/999.82 c #Conflicts: 356000 | #Constraints: 38791 995.43/999.82 c #Conflicts: 357000 | #Constraints: 39791 995.43/999.82 c #Conflicts: 358000 | #Constraints: 40791 995.43/999.82 c #Conflicts: 359000 | #Constraints: 41791 995.43/999.82 c #Conflicts: 360000 | #Constraints: 42791 995.43/999.82 c #Conflicts: 361000 | #Constraints: 43791 995.43/999.82 c #Conflicts: 362000 | #Constraints: 44791 995.43/999.82 c #Conflicts: 363000 | #Constraints: 45791 995.43/999.82 c #Conflicts: 364000 | #Constraints: 46791 995.43/999.82 c INPROCESSING 995.43/999.82 c GARBAGE COLLECT 995.43/999.82 c rational objective 140.89 1209.42/1214.53 c #Conflicts: 365000 | #Constraints: 25169 1209.42/1214.53 c #Conflicts: 366000 | #Constraints: 26169 1209.42/1214.53 c #Conflicts: 367000 | #Constraints: 27169 1209.42/1214.53 c #Conflicts: 368000 | #Constraints: 28169 1209.42/1214.53 c #Conflicts: 369000 | #Constraints: 29169 1209.42/1214.53 c #Conflicts: 370000 | #Constraints: 30169 1209.42/1214.53 c #Conflicts: 371000 | #Constraints: 31169 1209.42/1214.53 c #Conflicts: 372000 | #Constraints: 32169 1209.42/1214.53 c #Conflicts: 373000 | #Constraints: 33169 1209.42/1214.53 c #Conflicts: 374000 | #Constraints: 34169 1209.42/1214.53 c #Conflicts: 375000 | #Constraints: 35169 1209.42/1214.53 c #Conflicts: 376000 | #Constraints: 36169 1209.42/1214.53 c #Conflicts: 377000 | #Constraints: 37169 1209.42/1214.53 c #Conflicts: 378000 | #Constraints: 38169 1209.42/1214.53 c #Conflicts: 379000 | #Constraints: 39169 1209.42/1214.53 c #Conflicts: 380000 | #Constraints: 40169 1209.42/1214.53 c #Conflicts: 381000 | #Constraints: 41169 1209.42/1214.53 c #Conflicts: 382000 | #Constraints: 42169 1209.42/1214.53 c #Conflicts: 383000 | #Constraints: 43169 1209.42/1214.53 c #Conflicts: 384000 | #Constraints: 44169 1209.42/1214.53 c #Conflicts: 385000 | #Constraints: 45169 1209.42/1214.53 c #Conflicts: 386000 | #Constraints: 46169 1209.42/1214.53 c #Conflicts: 387000 | #Constraints: 47169 1209.42/1214.53 c #Conflicts: 388000 | #Constraints: 48169 1209.42/1214.53 c #Conflicts: 389000 | #Constraints: 49169 1209.42/1214.53 c #Conflicts: 390000 | #Constraints: 50169 1209.42/1214.53 c #Conflicts: 391000 | #Constraints: 51169 1209.42/1214.53 c #Conflicts: 392000 | #Constraints: 52169 1209.42/1214.53 c #Conflicts: 393000 | #Constraints: 53169 1209.42/1214.53 c #Conflicts: 394000 | #Constraints: 54169 1209.42/1214.53 c #Conflicts: 395000 | #Constraints: 55169 1209.42/1214.53 c #Conflicts: 396000 | #Constraints: 56169 1209.42/1214.53 c #Conflicts: 397000 | #Constraints: 57169 1209.42/1214.53 c #Conflicts: 398000 | #Constraints: 58169 1209.42/1214.53 c #Conflicts: 399000 | #Constraints: 59169 1209.42/1214.53 c #Conflicts: 400000 | #Constraints: 60169 1209.42/1214.53 c #Conflicts: 401000 | #Constraints: 61169 1209.42/1214.53 c #Conflicts: 402000 | #Constraints: 62169 1209.42/1214.53 c #Conflicts: 403000 | #Constraints: 63169 1209.42/1214.53 c #Conflicts: 404000 | #Constraints: 64169 1209.42/1214.53 c bounds 193 >= 147 @ 1190.29 1209.42/1214.53 c #Conflicts: 405000 | #Constraints: 65210 1209.42/1214.53 c #Conflicts: 406000 | #Constraints: 66210 1209.42/1214.53 c #Conflicts: 407000 | #Constraints: 67210 1209.42/1214.53 c #Conflicts: 408000 | #Constraints: 68210 1209.42/1214.53 c bounds 192 >= 147 @ 1196.98 1209.42/1214.53 c #Conflicts: 409000 | #Constraints: 69211 1209.42/1214.53 c INPROCESSING 1209.42/1214.53 c GARBAGE COLLECT 1209.42/1214.53 c rational objective 140.89 1252.05/1257.37 c #Conflicts: 410000 | #Constraints: 36222 1252.05/1257.37 c #Conflicts: 411000 | #Constraints: 37222 1252.05/1257.37 c #Conflicts: 412000 | #Constraints: 38222 1252.05/1257.37 c #Conflicts: 413000 | #Constraints: 39222 1252.05/1257.37 c #Conflicts: 414000 | #Constraints: 40222 1252.05/1257.37 c #Conflicts: 415000 | #Constraints: 41223 1252.05/1257.37 c #Conflicts: 416000 | #Constraints: 42223 1252.05/1257.37 c #Conflicts: 417000 | #Constraints: 43223 1252.05/1257.37 c #Conflicts: 418000 | #Constraints: 44223 1252.05/1257.37 c #Conflicts: 419000 | #Constraints: 45223 1252.05/1257.37 c #Conflicts: 420000 | #Constraints: 46223 1252.05/1257.37 c #Conflicts: 421000 | #Constraints: 47223 1252.05/1257.37 c #Conflicts: 422000 | #Constraints: 48223 1252.05/1257.37 c #Conflicts: 423000 | #Constraints: 49223 1252.05/1257.37 c #Conflicts: 424000 | #Constraints: 50223 1252.05/1257.37 c #Conflicts: 425000 | #Constraints: 51223 1252.05/1257.37 c INPROCESSING 1252.05/1257.37 c GARBAGE COLLECT 1252.05/1257.37 c rational objective 140.89 1393.86/1399.68 c #Conflicts: 426000 | #Constraints: 28847 1393.86/1399.68 c #Conflicts: 427000 | #Constraints: 29847 1393.86/1399.68 c #Conflicts: 428000 | #Constraints: 30847 1393.86/1399.68 c #Conflicts: 429000 | #Constraints: 31847 1393.86/1399.68 c #Conflicts: 430000 | #Constraints: 32847 1393.86/1399.68 c #Conflicts: 431000 | #Constraints: 33847 1393.86/1399.68 c #Conflicts: 432000 | #Constraints: 34847 1393.86/1399.68 c #Conflicts: 433000 | #Constraints: 35847 1393.86/1399.68 c #Conflicts: 434000 | #Constraints: 36847 1393.86/1399.68 c #Conflicts: 435000 | #Constraints: 37847 1393.86/1399.68 c #Conflicts: 436000 | #Constraints: 38847 1393.86/1399.68 c #Conflicts: 437000 | #Constraints: 39847 1393.86/1399.68 c #Conflicts: 438000 | #Constraints: 40847 1393.86/1399.68 c #Conflicts: 439000 | #Constraints: 41847 1393.86/1399.68 c #Conflicts: 440000 | #Constraints: 42847 1393.86/1399.68 c #Conflicts: 441000 | #Constraints: 43847 1393.86/1399.68 c #Conflicts: 442000 | #Constraints: 44847 1393.86/1399.68 c #Conflicts: 443000 | #Constraints: 45847 1393.86/1399.68 c #Conflicts: 444000 | #Constraints: 46847 1393.86/1399.68 c #Conflicts: 445000 | #Constraints: 47847 1393.86/1399.68 c #Conflicts: 446000 | #Constraints: 48847 1393.86/1399.68 c #Conflicts: 447000 | #Constraints: 49847 1393.86/1399.68 c #Conflicts: 448000 | #Constraints: 50847 1393.86/1399.68 c #Conflicts: 449000 | #Constraints: 51847 1393.86/1399.68 c #Conflicts: 450000 | #Constraints: 52847 1393.86/1399.68 c #Conflicts: 451000 | #Constraints: 53847 1393.86/1399.68 c #Conflicts: 452000 | #Constraints: 54847 1393.86/1399.68 c #Conflicts: 453000 | #Constraints: 55847 1393.86/1399.68 c #Conflicts: 454000 | #Constraints: 56847 1393.86/1399.68 c #Conflicts: 455000 | #Constraints: 57847 1393.86/1399.68 c #Conflicts: 456000 | #Constraints: 58847 1393.86/1399.68 c #Conflicts: 457000 | #Constraints: 59847 1393.86/1399.68 c #Conflicts: 458000 | #Constraints: 60847 1393.86/1399.68 c #Conflicts: 459000 | #Constraints: 61847 1393.86/1399.68 c #Conflicts: 460000 | #Constraints: 62847 1393.86/1399.68 c #Conflicts: 461000 | #Constraints: 63847 1393.86/1399.68 c #Conflicts: 462000 | #Constraints: 64847 1393.86/1399.68 c #Conflicts: 463000 | #Constraints: 65847 1393.86/1399.68 c #Conflicts: 464000 | #Constraints: 66847 1393.86/1399.68 c #Conflicts: 465000 | #Constraints: 67847 1393.86/1399.68 c #Conflicts: 466000 | #Constraints: 68847 1393.86/1399.68 c #Conflicts: 467000 | #Constraints: 69847 1393.86/1399.68 c #Conflicts: 468000 | #Constraints: 70847 1393.86/1399.68 c #Conflicts: 469000 | #Constraints: 71847 1393.86/1399.68 c #Conflicts: 470000 | #Constraints: 72847 1393.86/1399.68 c #Conflicts: 471000 | #Constraints: 73847 1393.86/1399.68 c #Conflicts: 472000 | #Constraints: 74847 1393.86/1399.68 c INPROCESSING 1393.86/1399.68 c GARBAGE COLLECT 1393.86/1399.68 c rational objective 140.89 1516.75/1522.90 c #Conflicts: 473000 | #Constraints: 38886 1516.75/1522.90 c #Conflicts: 474000 | #Constraints: 39886 1516.75/1522.90 c #Conflicts: 475000 | #Constraints: 40886 1516.75/1522.90 c #Conflicts: 476000 | #Constraints: 41886 1516.75/1522.90 c #Conflicts: 477000 | #Constraints: 42886 1516.75/1522.90 c #Conflicts: 478000 | #Constraints: 43886 1516.75/1522.90 c #Conflicts: 479000 | #Constraints: 44886 1516.75/1522.90 c #Conflicts: 480000 | #Constraints: 45886 1516.75/1522.90 c #Conflicts: 481000 | #Constraints: 46886 1516.75/1522.90 c #Conflicts: 482000 | #Constraints: 47886 1516.75/1522.90 c #Conflicts: 483000 | #Constraints: 48886 1516.75/1522.90 c #Conflicts: 484000 | #Constraints: 49886 1516.75/1522.90 c #Conflicts: 485000 | #Constraints: 50886 1516.75/1522.90 c #Conflicts: 486000 | #Constraints: 51886 1516.75/1522.90 c #Conflicts: 487000 | #Constraints: 52886 1516.75/1522.90 c #Conflicts: 488000 | #Constraints: 53886 1516.75/1522.90 c #Conflicts: 489000 | #Constraints: 54886 1516.75/1522.90 c INPROCESSING 1516.75/1522.90 c GARBAGE COLLECT 1516.75/1522.90 c rational objective 140.89 1784.67/1791.85 c #Conflicts: 490000 | #Constraints: 30323 1784.67/1791.85 c #Conflicts: 491000 | #Constraints: 31323 1784.67/1791.85 c #Conflicts: 492000 | #Constraints: 32323 1784.67/1791.85 c #Conflicts: 493000 | #Constraints: 33323 1784.67/1791.85 c #Conflicts: 494000 | #Constraints: 34323 1784.67/1791.85 c #Conflicts: 495000 | #Constraints: 35323 1784.67/1791.85 c #Conflicts: 496000 | #Constraints: 36323 1784.67/1791.85 c #Conflicts: 497000 | #Constraints: 37323 1784.67/1791.85 c #Conflicts: 498000 | #Constraints: 38323 1784.67/1791.85 c #Conflicts: 499000 | #Constraints: 39323 1784.67/1791.85 c #Conflicts: 500000 | #Constraints: 40323 1784.67/1791.85 c #Conflicts: 501000 | #Constraints: 41323 1784.67/1791.85 c #Conflicts: 502000 | #Constraints: 42323 1784.67/1791.85 c #Conflicts: 503000 | #Constraints: 43323 1784.67/1791.85 c #Conflicts: 504000 | #Constraints: 44323 1784.67/1791.85 c #Conflicts: 505000 | #Constraints: 45323 1784.67/1791.85 c #Conflicts: 506000 | #Constraints: 46323 1784.67/1791.85 c #Conflicts: 507000 | #Constraints: 47323 1784.67/1791.85 c #Conflicts: 508000 | #Constraints: 48323 1784.67/1791.85 c #Conflicts: 509000 | #Constraints: 49323 1784.67/1791.85 c #Conflicts: 510000 | #Constraints: 50323 1784.67/1791.85 c #Conflicts: 511000 | #Constraints: 51323 1784.67/1791.85 c #Conflicts: 512000 | #Constraints: 52323 1784.67/1791.85 c #Conflicts: 513000 | #Constraints: 53323 1784.67/1791.85 c #Conflicts: 514000 | #Constraints: 54323 1784.67/1791.85 c #Conflicts: 515000 | #Constraints: 55323 1784.67/1791.85 c #Conflicts: 516000 | #Constraints: 56323 1784.67/1791.85 c #Conflicts: 517000 | #Constraints: 57323 1784.67/1791.85 c #Conflicts: 518000 | #Constraints: 58323 1784.67/1791.85 c #Conflicts: 519000 | #Constraints: 59323 1784.67/1791.85 c #Conflicts: 520000 | #Constraints: 60323 1784.67/1791.85 c #Conflicts: 521000 | #Constraints: 61323 1784.67/1791.85 c #Conflicts: 522000 | #Constraints: 62323 1784.67/1791.85 c #Conflicts: 523000 | #Constraints: 63323 1784.67/1791.85 c #Conflicts: 524000 | #Constraints: 64323 1784.67/1791.85 c #Conflicts: 525000 | #Constraints: 65323 1784.67/1791.85 c #Conflicts: 526000 | #Constraints: 66323 1784.67/1791.85 c #Conflicts: 527000 | #Constraints: 67323 1784.67/1791.85 c #Conflicts: 528000 | #Constraints: 68323 1784.67/1791.85 c #Conflicts: 529000 | #Constraints: 69323 1784.67/1791.85 c #Conflicts: 530000 | #Constraints: 70323 1784.67/1791.85 c #Conflicts: 531000 | #Constraints: 71323 1784.67/1791.85 c #Conflicts: 532000 | #Constraints: 72323 1784.67/1791.85 c #Conflicts: 533000 | #Constraints: 73323 1784.67/1791.85 c #Conflicts: 534000 | #Constraints: 74323 1784.67/1791.85 c #Conflicts: 535000 | #Constraints: 75323 1784.67/1791.85 c #Conflicts: 536000 | #Constraints: 76323 1784.67/1791.85 c #Conflicts: 537000 | #Constraints: 77323 1784.67/1791.85 c #Conflicts: 538000 | #Constraints: 78323 1784.67/1791.85 c #Conflicts: 539000 | #Constraints: 79323 1784.67/1791.85 c #Conflicts: 540000 | #Constraints: 80323 1784.67/1791.85 c INPROCESSING 1784.67/1791.85 c GARBAGE COLLECT 1784.67/1791.85 c rational objective 140.89 1928.24/1935.96 c #Conflicts: 541000 | #Constraints: 41785 1928.24/1935.96 c #Conflicts: 542000 | #Constraints: 42785 1928.24/1935.96 c #Conflicts: 543000 | #Constraints: 43785 1928.24/1935.96 c #Conflicts: 544000 | #Constraints: 44785 1928.24/1935.96 c #Conflicts: 545000 | #Constraints: 45785 1928.24/1935.96 c #Conflicts: 546000 | #Constraints: 46785 1928.24/1935.96 c #Conflicts: 547000 | #Constraints: 47785 1928.24/1935.96 c #Conflicts: 548000 | #Constraints: 48785 1928.24/1935.96 c #Conflicts: 549000 | #Constraints: 49785 1928.24/1935.96 c #Conflicts: 550000 | #Constraints: 50785 1928.24/1935.96 c #Conflicts: 551000 | #Constraints: 51785 1928.24/1935.96 c #Conflicts: 552000 | #Constraints: 52785 1928.24/1935.96 c #Conflicts: 553000 | #Constraints: 53785 1928.24/1935.96 c #Conflicts: 554000 | #Constraints: 54785 1928.24/1935.96 c #Conflicts: 555000 | #Constraints: 55785 1928.24/1935.96 c #Conflicts: 556000 | #Constraints: 56785 1928.24/1935.96 c #Conflicts: 557000 | #Constraints: 57785 1928.24/1935.96 c #Conflicts: 558000 | #Constraints: 58785 1928.24/1935.96 c INPROCESSING 1928.24/1935.96 c GARBAGE COLLECT 1928.24/1935.96 c rational objective 140.89 2243.68/2252.54 c #Conflicts: 559000 | #Constraints: 32349 2243.68/2252.54 c #Conflicts: 560000 | #Constraints: 33349 2243.68/2252.54 c #Conflicts: 561000 | #Constraints: 34349 2243.68/2252.54 c #Conflicts: 562000 | #Constraints: 35349 2243.68/2252.54 c #Conflicts: 563000 | #Constraints: 36349 2243.68/2252.54 c #Conflicts: 564000 | #Constraints: 37349 2243.68/2252.54 c #Conflicts: 565000 | #Constraints: 38349 2243.68/2252.54 c #Conflicts: 566000 | #Constraints: 39349 2243.68/2252.54 c #Conflicts: 567000 | #Constraints: 40349 2243.68/2252.54 c #Conflicts: 568000 | #Constraints: 41349 2243.68/2252.54 c #Conflicts: 569000 | #Constraints: 42349 2243.68/2252.54 c #Conflicts: 570000 | #Constraints: 43349 2243.68/2252.54 c #Conflicts: 571000 | #Constraints: 44349 2243.68/2252.54 c #Conflicts: 572000 | #Constraints: 45349 2243.68/2252.54 c #Conflicts: 573000 | #Constraints: 46349 2243.68/2252.54 c #Conflicts: 574000 | #Constraints: 47349 2243.68/2252.54 c #Conflicts: 575000 | #Constraints: 48349 2243.68/2252.54 c #Conflicts: 576000 | #Constraints: 49349 2243.68/2252.54 c #Conflicts: 577000 | #Constraints: 50349 2243.68/2252.54 c #Conflicts: 578000 | #Constraints: 51349 2243.68/2252.54 c #Conflicts: 579000 | #Constraints: 52349 2243.68/2252.54 c #Conflicts: 580000 | #Constraints: 53349 2243.68/2252.54 c #Conflicts: 581000 | #Constraints: 54349 2243.68/2252.54 c #Conflicts: 582000 | #Constraints: 55349 2243.68/2252.54 c #Conflicts: 583000 | #Constraints: 56349 2243.68/2252.54 c #Conflicts: 584000 | #Constraints: 57349 2243.68/2252.54 c #Conflicts: 585000 | #Constraints: 58349 2243.68/2252.54 c #Conflicts: 586000 | #Constraints: 59349 2243.68/2252.54 c #Conflicts: 587000 | #Constraints: 60349 2243.68/2252.54 c #Conflicts: 588000 | #Constraints: 61349 2243.68/2252.54 c #Conflicts: 589000 | #Constraints: 62349 2243.68/2252.54 c #Conflicts: 590000 | #Constraints: 63349 2243.68/2252.54 c #Conflicts: 591000 | #Constraints: 64349 2243.68/2252.54 c #Conflicts: 592000 | #Constraints: 65349 2243.68/2252.54 c #Conflicts: 593000 | #Constraints: 66349 2243.68/2252.54 c #Conflicts: 594000 | #Constraints: 67349 2243.68/2252.54 c #Conflicts: 595000 | #Constraints: 68349 2243.68/2252.54 c #Conflicts: 596000 | #Constraints: 69349 2243.68/2252.54 c #Conflicts: 597000 | #Constraints: 70349 2243.68/2252.54 c #Conflicts: 598000 | #Constraints: 71349 2243.68/2252.54 c #Conflicts: 599000 | #Constraints: 72349 2243.68/2252.54 c #Conflicts: 600000 | #Constraints: 73349 2243.68/2252.54 c #Conflicts: 601000 | #Constraints: 74349 2243.68/2252.54 c #Conflicts: 602000 | #Constraints: 75349 2243.68/2252.54 c #Conflicts: 603000 | #Constraints: 76349 2243.68/2252.54 c #Conflicts: 604000 | #Constraints: 77349 2243.68/2252.54 c #Conflicts: 605000 | #Constraints: 78349 2243.68/2252.54 c #Conflicts: 606000 | #Constraints: 79349 2243.68/2252.54 c #Conflicts: 607000 | #Constraints: 80349 2243.68/2252.54 c #Conflicts: 608000 | #Constraints: 81349 2243.68/2252.54 c #Conflicts: 609000 | #Constraints: 82349 2243.68/2252.54 c #Conflicts: 610000 | #Constraints: 83349 2243.68/2252.54 c #Conflicts: 611000 | #Constraints: 84349 2243.68/2252.54 c #Conflicts: 612000 | #Constraints: 85349 2243.68/2252.54 c INPROCESSING 2243.68/2252.54 c GARBAGE COLLECT 2243.68/2252.54 c rational objective 140.89 2331.76/2340.93 c #Conflicts: 613000 | #Constraints: 44337 2331.76/2340.93 c #Conflicts: 614000 | #Constraints: 45337 2331.76/2340.93 c #Conflicts: 615000 | #Constraints: 46337 2331.76/2340.93 c #Conflicts: 616000 | #Constraints: 47337 2331.76/2340.93 c #Conflicts: 617000 | #Constraints: 48337 2331.76/2340.93 c #Conflicts: 618000 | #Constraints: 49337 2331.76/2340.93 c #Conflicts: 619000 | #Constraints: 50337 2331.76/2340.93 c #Conflicts: 620000 | #Constraints: 51337 2331.76/2340.93 c #Conflicts: 621000 | #Constraints: 52337 2331.76/2340.93 c #Conflicts: 622000 | #Constraints: 53337 2331.76/2340.93 c #Conflicts: 623000 | #Constraints: 54337 2331.76/2340.93 c #Conflicts: 624000 | #Constraints: 55337 2331.76/2340.93 c #Conflicts: 625000 | #Constraints: 56337 2331.76/2340.93 c #Conflicts: 626000 | #Constraints: 57337 2331.76/2340.93 c #Conflicts: 627000 | #Constraints: 58337 2331.76/2340.93 c #Conflicts: 628000 | #Constraints: 59337 2331.76/2340.93 c #Conflicts: 629000 | #Constraints: 60337 2331.76/2340.93 c #Conflicts: 630000 | #Constraints: 61337 2331.76/2340.93 c #Conflicts: 631000 | #Constraints: 62337 2331.76/2340.93 c #Conflicts: 632000 | #Constraints: 63337 2331.76/2340.93 c INPROCESSING 2331.76/2340.93 c GARBAGE COLLECT 2331.76/2340.93 c rational objective 140.89 2679.69/2690.04 c #Conflicts: 633000 | #Constraints: 37406 2679.69/2690.04 c #Conflicts: 634000 | #Constraints: 38406 2679.69/2690.04 c #Conflicts: 635000 | #Constraints: 39407 2679.69/2690.04 c #Conflicts: 636000 | #Constraints: 40407 2679.69/2690.04 c #Conflicts: 637000 | #Constraints: 41408 2679.69/2690.04 c #Conflicts: 638000 | #Constraints: 42408 2679.69/2690.04 c #Conflicts: 639000 | #Constraints: 43408 2679.69/2690.04 c #Conflicts: 640000 | #Constraints: 44408 2679.69/2690.04 c #Conflicts: 641000 | #Constraints: 45408 2679.69/2690.04 c #Conflicts: 642000 | #Constraints: 46408 2679.69/2690.04 c #Conflicts: 643000 | #Constraints: 47408 2679.69/2690.04 c #Conflicts: 644000 | #Constraints: 48408 2679.69/2690.04 c #Conflicts: 645000 | #Constraints: 49409 2679.69/2690.04 c #Conflicts: 646000 | #Constraints: 50409 2679.69/2690.04 c #Conflicts: 647000 | #Constraints: 51409 2679.69/2690.04 c #Conflicts: 648000 | #Constraints: 52409 2679.69/2690.04 c #Conflicts: 649000 | #Constraints: 53409 2679.69/2690.04 c #Conflicts: 650000 | #Constraints: 54409 2679.69/2690.04 c #Conflicts: 651000 | #Constraints: 55409 2679.69/2690.04 c #Conflicts: 652000 | #Constraints: 56409 2679.69/2690.04 c #Conflicts: 653000 | #Constraints: 57409 2679.69/2690.04 c #Conflicts: 654000 | #Constraints: 58409 2679.69/2690.04 c #Conflicts: 655000 | #Constraints: 59409 2679.69/2690.04 c #Conflicts: 656000 | #Constraints: 60409 2679.69/2690.04 c #Conflicts: 657000 | #Constraints: 61409 2679.69/2690.04 c #Conflicts: 658000 | #Constraints: 62409 2679.69/2690.04 c #Conflicts: 659000 | #Constraints: 63409 2679.69/2690.04 c #Conflicts: 660000 | #Constraints: 64409 2679.69/2690.04 c #Conflicts: 661000 | #Constraints: 65409 2679.69/2690.04 c #Conflicts: 662000 | #Constraints: 66409 2679.69/2690.04 c #Conflicts: 663000 | #Constraints: 67409 2679.69/2690.04 c #Conflicts: 664000 | #Constraints: 68409 2679.69/2690.04 c #Conflicts: 665000 | #Constraints: 69409 2679.69/2690.04 c #Conflicts: 666000 | #Constraints: 70409 2679.69/2690.04 c #Conflicts: 667000 | #Constraints: 71409 2679.69/2690.04 c #Conflicts: 668000 | #Constraints: 72409 2679.69/2690.04 c #Conflicts: 669000 | #Constraints: 73409 2679.69/2690.04 c #Conflicts: 670000 | #Constraints: 74409 2679.69/2690.04 c #Conflicts: 671000 | #Constraints: 75409 2679.69/2690.04 c #Conflicts: 672000 | #Constraints: 76409 2679.69/2690.04 c #Conflicts: 673000 | #Constraints: 77409 2679.69/2690.04 c #Conflicts: 674000 | #Constraints: 78409 2679.69/2690.04 c #Conflicts: 675000 | #Constraints: 79409 2679.69/2690.04 c #Conflicts: 676000 | #Constraints: 80409 2679.69/2690.04 c #Conflicts: 677000 | #Constraints: 81409 2679.69/2690.04 c #Conflicts: 678000 | #Constraints: 82409 2679.69/2690.04 c #Conflicts: 679000 | #Constraints: 83409 2679.69/2690.04 c #Conflicts: 680000 | #Constraints: 84409 2679.69/2690.04 c #Conflicts: 681000 | #Constraints: 85409 2679.69/2690.04 c #Conflicts: 682000 | #Constraints: 86409 2679.69/2690.04 c #Conflicts: 683000 | #Constraints: 87409 2679.69/2690.04 c #Conflicts: 684000 | #Constraints: 88409 2679.69/2690.04 c #Conflicts: 685000 | #Constraints: 89409 2679.69/2690.04 c #Conflicts: 686000 | #Constraints: 90409 2679.69/2690.04 c #Conflicts: 687000 | #Constraints: 91409 2679.69/2690.04 c #Conflicts: 688000 | #Constraints: 92409 2679.69/2690.04 c INPROCESSING 2679.69/2690.04 c GARBAGE COLLECT 2679.69/2690.04 c rational objective 140.89 2897.62/2908.79 c #Conflicts: 689000 | #Constraints: 47531 2897.62/2908.79 c #Conflicts: 690000 | #Constraints: 48531 2897.62/2908.79 c #Conflicts: 691000 | #Constraints: 49531 2897.62/2908.79 c #Conflicts: 692000 | #Constraints: 50531 2897.62/2908.79 c #Conflicts: 693000 | #Constraints: 51531 2897.62/2908.79 c #Conflicts: 694000 | #Constraints: 52531 2897.62/2908.79 c #Conflicts: 695000 | #Constraints: 53531 2897.62/2908.79 c #Conflicts: 696000 | #Constraints: 54531 2897.62/2908.79 c #Conflicts: 697000 | #Constraints: 55531 2897.62/2908.79 c #Conflicts: 698000 | #Constraints: 56531 2897.62/2908.79 c #Conflicts: 699000 | #Constraints: 57531 2897.62/2908.79 c #Conflicts: 700000 | #Constraints: 58531 2897.62/2908.79 c #Conflicts: 701000 | #Constraints: 59531 2897.62/2908.79 c #Conflicts: 702000 | #Constraints: 60531 2897.62/2908.79 c #Conflicts: 703000 | #Constraints: 61531 2897.62/2908.79 c #Conflicts: 704000 | #Constraints: 62531 2897.62/2908.79 c #Conflicts: 705000 | #Constraints: 63531 2897.62/2908.79 c #Conflicts: 706000 | #Constraints: 64531 2897.62/2908.79 c #Conflicts: 707000 | #Constraints: 65531 2897.62/2908.79 c #Conflicts: 708000 | #Constraints: 66531 2897.62/2908.79 c #Conflicts: 709000 | #Constraints: 67531 2897.62/2908.79 c INPROCESSING 2897.62/2908.79 c GARBAGE COLLECT 2897.62/2908.79 c rational objective 140.89 3385.13/3397.95 c #Conflicts: 710000 | #Constraints: 38637 3385.13/3397.95 c #Conflicts: 711000 | #Constraints: 39637 3385.13/3397.95 c #Conflicts: 712000 | #Constraints: 40637 3385.13/3397.95 c #Conflicts: 713000 | #Constraints: 41637 3385.13/3397.95 c #Conflicts: 714000 | #Constraints: 42637 3385.13/3397.95 c #Conflicts: 715000 | #Constraints: 43637 3385.13/3397.95 c #Conflicts: 716000 | #Constraints: 44637 3385.13/3397.95 c #Conflicts: 717000 | #Constraints: 45637 3385.13/3397.95 c #Conflicts: 718000 | #Constraints: 46637 3385.13/3397.95 c #Conflicts: 719000 | #Constraints: 47637 3385.13/3397.95 c #Conflicts: 720000 | #Constraints: 48637 3385.13/3397.95 c #Conflicts: 721000 | #Constraints: 49637 3385.13/3397.95 c #Conflicts: 722000 | #Constraints: 50637 3385.13/3397.95 c #Conflicts: 723000 | #Constraints: 51637 3385.13/3397.95 c #Conflicts: 724000 | #Constraints: 52637 3385.13/3397.95 c #Conflicts: 725000 | #Constraints: 53637 3385.13/3397.95 c #Conflicts: 726000 | #Constraints: 54637 3385.13/3397.95 c #Conflicts: 727000 | #Constraints: 55637 3385.13/3397.95 c #Conflicts: 728000 | #Constraints: 56637 3385.13/3397.95 c #Conflicts: 729000 | #Constraints: 57637 3385.13/3397.95 c #Conflicts: 730000 | #Constraints: 58637 3385.13/3397.95 c #Conflicts: 731000 | #Constraints: 59637 3385.13/3397.95 c #Conflicts: 732000 | #Constraints: 60637 3385.13/3397.95 c #Conflicts: 733000 | #Constraints: 61637 3385.13/3397.95 c #Conflicts: 734000 | #Constraints: 62637 3385.13/3397.95 c #Conflicts: 735000 | #Constraints: 63637 3385.13/3397.95 c #Conflicts: 736000 | #Constraints: 64637 3385.13/3397.95 c #Conflicts: 737000 | #Constraints: 65637 3385.13/3397.95 c #Conflicts: 738000 | #Constraints: 66637 3385.13/3397.95 c #Conflicts: 739000 | #Constraints: 67637 3385.13/3397.95 c #Conflicts: 740000 | #Constraints: 68637 3385.13/3397.95 c #Conflicts: 741000 | #Constraints: 69637 3385.13/3397.95 c #Conflicts: 742000 | #Constraints: 70637 3385.13/3397.95 c #Conflicts: 743000 | #Constraints: 71637 3385.13/3397.95 c #Conflicts: 744000 | #Constraints: 72637 3385.13/3397.95 c #Conflicts: 745000 | #Constraints: 73637 3385.13/3397.95 c #Conflicts: 746000 | #Constraints: 74637 3385.13/3397.95 c #Conflicts: 747000 | #Constraints: 75637 3385.13/3397.95 c #Conflicts: 748000 | #Constraints: 76637 3385.13/3397.95 c #Conflicts: 749000 | #Constraints: 77637 3385.13/3397.95 c #Conflicts: 750000 | #Constraints: 78637 3385.13/3397.95 c #Conflicts: 751000 | #Constraints: 79637 3385.13/3397.95 c #Conflicts: 752000 | #Constraints: 80637 3385.13/3397.95 c #Conflicts: 753000 | #Constraints: 81637 3385.13/3397.95 c #Conflicts: 754000 | #Constraints: 82637 3385.13/3397.95 c #Conflicts: 755000 | #Constraints: 83637 3385.13/3397.95 c #Conflicts: 756000 | #Constraints: 84637 3385.13/3397.95 c #Conflicts: 757000 | #Constraints: 85637 3385.13/3397.95 c #Conflicts: 758000 | #Constraints: 86637 3385.13/3397.95 c #Conflicts: 759000 | #Constraints: 87637 3385.13/3397.95 c #Conflicts: 760000 | #Constraints: 88637 3385.13/3397.95 c #Conflicts: 761000 | #Constraints: 89637 3385.13/3397.95 c #Conflicts: 762000 | #Constraints: 90637 3385.13/3397.95 c #Conflicts: 763000 | #Constraints: 91637 3385.13/3397.95 c #Conflicts: 764000 | #Constraints: 92637 3385.13/3397.95 c #Conflicts: 765000 | #Constraints: 93637 3385.13/3397.95 c #Conflicts: 766000 | #Constraints: 94637 3385.13/3397.95 c #Conflicts: 767000 | #Constraints: 95637 3385.13/3397.95 c #Conflicts: 768000 | #Constraints: 96637 3385.13/3397.95 c #Conflicts: 769000 | #Constraints: 97637 3385.13/3397.95 c INPROCESSING 3385.13/3397.95 c GARBAGE COLLECT 3385.13/3397.95 c rational objective 140.89 3492.12/3505.33 c #Conflicts: 770000 | #Constraints: 50291 3492.12/3505.33 c #Conflicts: 771000 | #Constraints: 51291 3492.12/3505.33 c #Conflicts: 772000 | #Constraints: 52291 3492.12/3505.33 c #Conflicts: 773000 | #Constraints: 53291 3492.12/3505.33 c #Conflicts: 774000 | #Constraints: 54291 3492.12/3505.33 c #Conflicts: 775000 | #Constraints: 55291 3492.12/3505.33 c #Conflicts: 776000 | #Constraints: 56291 3492.12/3505.33 c #Conflicts: 777000 | #Constraints: 57291 3492.12/3505.33 c #Conflicts: 778000 | #Constraints: 58291 3492.12/3505.33 c #Conflicts: 779000 | #Constraints: 59291 3492.12/3505.33 c #Conflicts: 780000 | #Constraints: 60291 3492.12/3505.33 c #Conflicts: 781000 | #Constraints: 61291 3492.12/3505.33 c #Conflicts: 782000 | #Constraints: 62291 3492.12/3505.33 c #Conflicts: 783000 | #Constraints: 63291 3492.12/3505.33 c #Conflicts: 784000 | #Constraints: 64291 3492.12/3505.33 c #Conflicts: 785000 | #Constraints: 65291 3492.12/3505.33 c #Conflicts: 786000 | #Constraints: 66291 3492.12/3505.33 c #Conflicts: 787000 | #Constraints: 67291 3492.12/3505.33 c #Conflicts: 788000 | #Constraints: 68291 3492.12/3505.33 c #Conflicts: 789000 | #Constraints: 69291 3492.12/3505.33 c #Conflicts: 790000 | #Constraints: 70292 3492.12/3505.33 c #Conflicts: 791000 | #Constraints: 71292 3492.12/3505.33 c #Conflicts: 792000 | #Constraints: 72292 3492.12/3505.33 c INPROCESSING 3492.12/3505.33 c GARBAGE COLLECT 3492.12/3505.33 c rational objective 140.89 3600.03/3613.62 c #Conflicts: 793000 | #Constraints: 43860 3600.03/3613.62 c #Conflicts: 794000 | #Constraints: 44860 3600.03/3613.62 c #Conflicts: 795000 | #Constraints: 45860 3600.03/3613.62 c #Conflicts: 796000 | #Constraints: 46860 3600.03/3613.62 c #Conflicts: 797000 | #Constraints: 47860 3600.03/3613.62 c #Conflicts: 798000 | #Constraints: 48860 3600.03/3613.62 c #Conflicts: 799000 | #Constraints: 49860 3600.03/3613.62 c #Conflicts: 800000 | #Constraints: 50860 3600.03/3613.62 c #Conflicts: 801000 | #Constraints: 51860 3600.03/3613.62 c #Conflicts: 802000 | #Constraints: 52860 3600.03/3613.62 c #Conflicts: 803000 | #Constraints: 53860 3600.03/3613.62 c #Conflicts: 804000 | #Constraints: 54860 3600.03/3613.62 c #Conflicts: 805000 | #Constraints: 55860 3600.03/3613.62 c #Conflicts: 806000 | #Constraints: 56860 3600.03/3613.62 c #Conflicts: 807000 | #Constraints: 57860 3600.03/3613.62 c #Conflicts: 808000 | #Constraints: 58860 3600.03/3613.62 c #Conflicts: 809000 | #Constraints: 59860 3600.03/3613.62 c #Conflicts: 810000 | #Constraints: 60860 3600.03/3613.62 c #Conflicts: 811000 | #Constraints: 61860 3600.03/3613.62 c Program interrupted by user. 3600.03/3613.62 c cpu time 3579.94 s 3600.03/3613.62 c deterministic time 341434033274 3.41e+11 3600.03/3613.62 c optimization time 107.333 s 3600.03/3613.62 c total solve time 3472.6 s 3600.03/3613.62 c core-guided solve time 2064.59 s 3600.03/3613.62 c propagation time 3069.06 s 3600.03/3613.62 c conflict analysis time 473.012 s 3600.03/3613.62 c propagations 116666642 3600.03/3613.62 c resolve steps 6964345 3600.03/3613.62 c decisions 6005577 3600.03/3613.62 c conflicts 811703 3600.03/3613.62 c restarts 1751 3600.03/3613.62 c inprocessing phases 44 3600.03/3613.62 c input clauses 309 3600.03/3613.62 c input cardinalities 186 3600.03/3613.62 c input general constraints 899 3600.03/3613.62 c input average constraint length 20.77 3600.03/3613.62 c input average constraint degree 19.33 3600.03/3613.62 c learned clauses 283417 3600.03/3613.62 c learned cardinalities 3351 3600.03/3613.62 c learned general constraints 524955 3600.03/3613.62 c learned average constraint length 184.35 3600.03/3613.62 c learned average constraint degree 7199790.03 3600.03/3613.62 c watched constraints 355928 3600.03/3613.62 c counting constraints 169926 3600.03/3613.62 c gcd simplifications 103279 3600.03/3613.62 c detected cardinalities 1454 3600.03/3613.62 c weakened non-implied lits 34304940 3600.03/3613.62 c weakened non-implying lits 69300 3600.03/3613.62 c original variables 473 3600.03/3613.62 c clausal propagations 12307538 3600.03/3613.62 c cardinality propagations 6945155 3600.03/3613.62 c watched propagations 17132137 3600.03/3613.62 c counting propagations 78646800 3600.03/3613.62 c watch lookups 59599145184 3600.03/3613.62 c watch backjump lookups 53387205868 3600.03/3613.62 c watch checks 208471600553 3600.03/3613.62 c propagation checks 19124737775 3600.03/3613.62 c constraint additions 604329136 3600.03/3613.62 c trail pops 123483908 3600.03/3613.62 c formula constraints 473 3600.03/3613.62 c learned constraints 811699 3600.03/3613.62 c bound constraints 39 3600.03/3613.62 c core-guided constraints 882 3600.03/3613.62 c encountered formula constraints 1231501 3600.03/3613.62 c encountered learned constraints 5561315 3600.03/3613.62 c encountered bound constraints 88 3600.03/3613.62 c encountered core-guided constraints 983054 3600.03/3613.62 c LP total time 45.8345 s 3600.03/3613.62 c LP solve time 44.57 s 3600.03/3613.62 c LP constraints added 473 3600.03/3613.62 c LP constraints removed 0 3600.03/3613.62 c LP pivots internal 811720 3600.03/3613.62 c LP pivots root 46910 3600.03/3613.62 c LP calls 15012 3600.03/3613.62 c LP optimalities 14996 3600.03/3613.62 c LP no pivot count 790 3600.03/3613.62 c LP infeasibilities 12 3600.03/3613.62 c LP valid Farkas constraints 12 3600.03/3613.62 c LP learned Farkas constraints 12 3600.03/3613.62 c LP basis resets 0 3600.03/3613.62 c LP cycling count 0 3600.03/3613.62 c LP singular count 0 3600.03/3613.62 c LP no primal count 0 3600.03/3613.62 c LP no farkas count 0 3600.03/3613.62 c LP other issue count 0 3600.03/3613.62 c LP Gomory cuts 0 3600.03/3613.62 c LP learned cuts 0 3600.03/3613.62 c LP deleted cuts 0 3600.03/3613.62 c LP encountered Gomory constraints 0 3600.03/3613.62 c LP encountered Farkas constraints 42 3600.03/3613.62 c LP encountered learned Farkas constraints 36 3600.03/3613.62 c CG auxiliary variables introduced 343 3600.03/3613.62 c CG solutions found 39 3600.03/3613.62 c CG cores constructed 147 3600.03/3613.62 c CG core cardinality constraints returned 0 3600.03/3613.62 c CG unit cores 0 3600.03/3613.62 c CG single cores 147 3600.03/3613.62 c CG blocks removed during cardinality reduction 0 3600.03/3613.62 c CG first core best 0 3600.03/3613.62 c CG decision core best 0 3600.03/3613.62 c CG core reduction tie 0 3600.03/3613.62 c CG core degree average 1.00 3600.03/3613.62 c CG core slack average 3.99 3600.03/3613.62 s SATISFIABLE 3600.03/3613.62 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
OK 192
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 (63375 MiB free)
memory of node 1: 64473 MiB (64079 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462554-1722340764/watcher-4462554-1722340764 -o /tmp/evaluation-result-4462554-1722340764/solver-4462554-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6895 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462554-1722340764 --lp-cut-gomory=0 HOME/instance-4462554-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=6959, runsolver pid=6956
[startup+0.100067 s]*
/proc/loadavg: 0.11 0.09 0.09 1/248 6960
/proc/meminfo: memFree=130512420/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=37376 memory=2608 CPUtime=0 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 674051 38273024 652 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 9344 652 595 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2608 KiB
[startup+0.213314 s]*
/proc/loadavg: 0.11 0.09 0.09 1/248 6960
/proc/meminfo: memFree=130512100/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=37376 memory=2608 CPUtime=0 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 674051 38273024 652 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 9344 652 595 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2608 KiB
[startup+0.312827 s]*
/proc/loadavg: 0.11 0.09 0.09 1/248 6960
/proc/meminfo: memFree=130511964/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=37376 memory=2608 CPUtime=0 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 674051 38273024 652 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 9344 652 595 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2608 KiB
[startup+0.700282 s]
/proc/loadavg: 0.11 0.09 0.09 6/245 6964
/proc/meminfo: memFree=130503824/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=39072 memory=8744 CPUtime=0.25 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 660 0 0 0 24 1 0 0 20 0 1 0 674051 40009728 2186 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 9768 2186 1753 992 0 1626 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 39072 KiB
Current children cumulated memory: 8744 KiB
[startup+1.50028 s]
/proc/loadavg: 0.42 0.16 0.11 4/243 6968
/proc/meminfo: memFree=130464120/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=41620 memory=15016 CPUtime=1.05 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 1621 0 0 0 95 10 0 0 20 0 1 0 674051 42618880 3754 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 10405 3754 1831 992 0 2263 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 41620 KiB
Current children cumulated memory: 15016 KiB
[startup+3.11278 s]
/proc/loadavg: 0.42 0.16 0.11 4/242 6992
/proc/meminfo: memFree=130420124/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=45872 memory=19716 CPUtime=2.65 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 2834 0 0 0 246 19 0 0 20 0 1 0 674051 46972928 4929 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 11468 4929 1862 992 0 3326 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 45872 KiB
Current children cumulated memory: 19716 KiB
[startup+6.30025 s]
/proc/loadavg: 0.71 0.22 0.13 6/243 7150
/proc/meminfo: memFree=130353520/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=60144 memory=31604 CPUtime=5.83 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 5269 0 0 0 548 35 0 0 20 0 1 0 674051 61587456 7901 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 15036 7901 1862 992 0 6894 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 60144 KiB
Current children cumulated memory: 31604 KiB
[startup+12.7003 s]
/proc/loadavg: 0.97 0.29 0.15 5/248 7196
/proc/meminfo: memFree=130281520/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=63300 memory=34220 CPUtime=12.21 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 6006 0 0 0 1163 58 0 0 20 0 1 0 674051 64819200 8555 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 15825 8555 1862 992 0 7683 0
Current children cumulated CPU time: 12.21 s
Current children cumulated vsize: 63300 KiB
Current children cumulated memory: 34220 KiB
[startup+25.5003 s]
/proc/loadavg: 1.44 0.41 0.20 5/248 7199
/proc/meminfo: memFree=130137148/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=75760 memory=45468 CPUtime=24.96 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 7798 0 0 0 2397 99 0 0 20 0 1 0 674051 77578240 11367 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 18940 11367 1878 992 0 10798 0
Current children cumulated CPU time: 24.96 s
Current children cumulated vsize: 75760 KiB
Current children cumulated memory: 45468 KiB
[startup+51.113 s]
/proc/loadavg: 2.45 0.75 0.32 5/249 7205
/proc/meminfo: memFree=129921796/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=99472 memory=63368 CPUtime=50.49 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 10789 0 0 0 4901 148 0 0 20 0 1 0 674051 101859328 15842 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 24868 15842 1878 992 0 16726 0
Current children cumulated CPU time: 50.49 s
Current children cumulated vsize: 99472 KiB
Current children cumulated memory: 63368 KiB
[startup+102.3 s]
/proc/loadavg: 3.37 1.27 0.52 5/246 7225
/proc/meminfo: memFree=129511768/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=108016 memory=70752 CPUtime=101.49 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 12660 0 0 0 9915 234 0 0 20 0 1 0 674051 110608384 17688 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 27004 17688 1878 992 0 18862 0
Current children cumulated CPU time: 101.49 s
Current children cumulated vsize: 108016 KiB
Current children cumulated memory: 70752 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.81 0.75 5/247 7237
/proc/meminfo: memFree=129170132/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=115468 memory=82912 CPUtime=161.27 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 14321 0 0 0 15802 325 0 0 20 0 1 0 674051 118239232 20728 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 28867 20728 1878 992 0 20725 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 115468 KiB
Current children cumulated memory: 82912 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/247 7249
/proc/meminfo: memFree=128853280/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=137772 memory=94272 CPUtime=221.06 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 15788 0 0 0 21698 408 0 0 20 0 1 0 674051 141078528 23568 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 34443 23568 1878 992 0 26301 0
Current children cumulated CPU time: 221.06 s
Current children cumulated vsize: 137772 KiB
Current children cumulated memory: 94272 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.16 5/245 7259
/proc/meminfo: memFree=128554548/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=143176 memory=100428 CPUtime=280.83 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 16885 0 0 0 27623 460 0 0 20 0 1 0 674051 146612224 25107 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 35794 25107 1878 992 0 27652 0
Current children cumulated CPU time: 280.83 s
Current children cumulated vsize: 143176 KiB
Current children cumulated memory: 100428 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 2.85 1.35 5/245 7269
/proc/meminfo: memFree=128213200/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=157316 memory=127288 CPUtime=340.6 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 19644 0 0 0 33539 521 0 0 20 0 1 0 674051 161091584 31822 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 39329 31822 1878 992 0 31187 0
Current children cumulated CPU time: 340.6 s
Current children cumulated vsize: 157316 KiB
Current children cumulated memory: 127288 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.08 1.52 5/244 7281
/proc/meminfo: memFree=127803692/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=233032 memory=192104 CPUtime=400.36 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 28705 0 0 0 39471 565 0 0 20 0 1 0 674051 238624768 48026 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 58258 48026 1878 992 0 50116 0
Current children cumulated CPU time: 400.36 s
Current children cumulated vsize: 233032 KiB
Current children cumulated memory: 192104 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.37 1.72 5/244 7292
/proc/meminfo: memFree=127576148/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=233288 memory=192536 CPUtime=460.12 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 28918 0 0 0 45415 597 0 0 20 0 1 0 674051 238886912 48134 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 58322 48134 1878 992 0 50180 0
################
# More data... #
################
Current children cumulated memory: 380204 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.12 4.02 5/244 8395
/proc/meminfo: memFree=119076960/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=493140 memory=380204 CPUtime=3030.76 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 57018 0 0 0 301288 1788 0 0 20 0 1 0 674051 504975360 95051 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123285 95051 1878 992 0 115143 0
Current children cumulated CPU time: 3030.76 s
Current children cumulated vsize: 493140 KiB
Current children cumulated memory: 380204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.01 5/246 8410
/proc/meminfo: memFree=118906500/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=493140 memory=380204 CPUtime=3090.54 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 57220 0 0 0 307246 1808 0 0 20 0 1 0 674051 504975360 95051 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123285 95051 1878 992 0 115143 0
Current children cumulated CPU time: 3090.54 s
Current children cumulated vsize: 493140 KiB
Current children cumulated memory: 380204 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/245 8421
/proc/meminfo: memFree=118757876/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=493140 memory=380204 CPUtime=3150.34 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 57422 0 0 0 313204 1830 0 0 20 0 1 0 674051 504975360 95051 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123285 95051 1878 992 0 115143 0
Current children cumulated CPU time: 3150.34 s
Current children cumulated vsize: 493140 KiB
Current children cumulated memory: 380204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.40 4.16 4.04 5/245 8433
/proc/meminfo: memFree=118630956/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=493140 memory=380212 CPUtime=3210.13 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 57628 0 0 0 319163 1850 0 0 20 0 1 0 674051 504975360 95053 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123285 95053 1878 992 0 115143 0
Current children cumulated CPU time: 3210.13 s
Current children cumulated vsize: 493140 KiB
Current children cumulated memory: 380212 KiB
[startup+3282.3 s]
/proc/loadavg: 5.22 4.45 4.15 5/245 8444
/proc/meminfo: memFree=118513624/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=493140 memory=380236 CPUtime=3269.92 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 57837 0 0 0 325123 1869 0 0 20 0 1 0 674051 504975360 95059 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123285 95059 1878 992 0 115143 0
Current children cumulated CPU time: 3269.92 s
Current children cumulated vsize: 493140 KiB
Current children cumulated memory: 380236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.62 4.43 4.16 5/246 8455
/proc/meminfo: memFree=118317704/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=495288 memory=381316 CPUtime=3329.72 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 58219 0 0 0 331088 1884 0 0 20 0 1 0 674051 507174912 95329 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 123822 95329 1878 992 0 115680 0
Current children cumulated CPU time: 3329.72 s
Current children cumulated vsize: 495288 KiB
Current children cumulated memory: 381316 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.36 4.15 5/247 8852
/proc/meminfo: memFree=118172444/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498232 memory=383160 CPUtime=3389.51 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 59245 0 0 0 337049 1902 0 0 20 0 1 0 674051 510189568 95790 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124558 95790 1878 992 0 116416 0
Current children cumulated CPU time: 3389.51 s
Current children cumulated vsize: 498232 KiB
Current children cumulated memory: 383160 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.31 4.15 5/247 8862
/proc/meminfo: memFree=117982520/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498232 memory=383160 CPUtime=3449.28 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 59447 0 0 0 342994 1934 0 0 20 0 1 0 674051 510189568 95790 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124558 95790 1878 992 0 116416 0
Current children cumulated CPU time: 3449.28 s
Current children cumulated vsize: 498232 KiB
Current children cumulated memory: 383160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.26 4.14 5/248 8874
/proc/meminfo: memFree=117822532/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383476 CPUtime=3509.06 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 59728 0 0 0 348940 1966 0 0 20 0 1 0 674051 510480384 95869 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95869 1878 992 0 116487 0
Current children cumulated CPU time: 3509.06 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383476 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.23 4.14 5/253 9057
/proc/meminfo: memFree=117661176/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383476 CPUtime=3568.84 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 59930 0 0 0 354887 1997 0 0 20 0 1 0 674051 510480384 95869 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95869 1878 992 0 116487 0
Current children cumulated CPU time: 3568.84 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.10 4.22 4.14 3/246 9090
/proc/meminfo: memFree=118136500/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383476 CPUtime=3600.03 cores=0,2
/proc/6959/stat : 6959 (roundingsat) R 6956 6959 6885 0 -1 4194304 60031 0 0 0 357992 2011 0 0 20 0 1 0 674051 510480384 95869 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95869 1878 992 0 116487 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.28 s]
# the end of solver process 6959 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.94 s, system=20.1329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.10 4.22 4.14 2/246 9090
/proc/meminfo: memFree=118133824/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383672 CPUtime=3600.05 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 4194304 60039 0 0 0 357994 2011 0 0 20 0 1 0 674051 510480384 95918 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95918 1927 992 0 116487 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383672 KiB
[startup+3614.8 s]
/proc/loadavg: 4.10 4.22 4.14 2/246 9090
/proc/meminfo: memFree=118133824/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383672 CPUtime=3600.06 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 4194304 60039 0 0 0 357994 2012 0 0 20 0 1 0 674051 510480384 95918 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 171 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95918 1927 992 0 116487 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383672 KiB
[startup+3615.2 s]
/proc/loadavg: 4.10 4.22 4.14 2/242 9099
/proc/meminfo: memFree=118658956/131655788 swapFree=131071996/131071996
[pid=6959] ppid=6956 vsize=498516 memory=383672 CPUtime=3600.06 cores=0,2
/proc/6959/stat : 6959 (roundingsat) D 6956 6959 6885 0 -1 1077936128 60039 0 0 0 357994 2012 0 0 20 0 1 0 674051 510480384 95918 134679101440 4194304 8255733 140732239381200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 293 0 0 9037040 9046032 41639936 140732239385438 140732239385700 140732239385700 140732239392713 0
/proc/6959/statm: 124629 95918 1927 992 0 116487 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 498516 KiB
Current children cumulated memory: 383672 KiB
Child status: 0
Real time (s): 3615.28
CPU time (s): 3600.08
CPU user time (s): 3579.94
CPU system time (s): 20.1329
CPU usage (%): 99.5795
Max. virtual memory (cumulated for all children) (KiB): 499996
Max. memory (cumulated for all children) (KiB): 384468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.94
system time used= 20.1329
maximum resident set size= 384468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4561464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244
involuntary context switches= 25498
# summary of solver processes directly reported to runsolver:
# pid: 6959
# total CPU time (s): 3600.08
# total CPU user time (s): 3579.94
# total CPU system time (s): 20.1329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1289 second user time and 34.5112 second system time
The end
Begin job on nodeC009 at 2024-07-30 13:59:24 IDJOB=4462554 IDBENCH=147549 IDSOLVER=3089 FILE ID=nodeC009/4462554-1722340764 RUNJOBID= nodeC009-1722340763-6895 SLURM_JOB_ID= 8248989 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_11.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-4462554-1722340764/watcher-4462554-1722340764 -o /tmp/evaluation-result-4462554-1722340764/solver-4462554-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722340763-6895 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462554-1722340764 --lp-cut-gomory=0 HOME/instance-4462554-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb RANDOM SEED=1492646933 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.260 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.99 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.291 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.268 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.99 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.258 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.427 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.99 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.438 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.265 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.99 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.268 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: 130514176 kB MemAvailable: 130093936 kB Buffers: 38516 kB Cached: 337316 kB SwapCached: 0 kB Active: 126648 kB Inactive: 604856 kB Active(anon): 1464 kB Inactive(anon): 375572 kB Active(file): 125184 kB Inactive(file): 229284 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 26136 kB Writeback: 4 kB AnonPages: 355252 kB Mapped: 90676 kB Shmem: 21320 kB KReclaimable: 42032 kB Slab: 111632 kB SReclaimable: 42032 kB SUnreclaim: 69600 kB KernelStack: 3920 kB PageTables: 9732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 759320 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6368 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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: 240456 kB DirectMap2M: 7004160 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723756 MiB End job on nodeC009 at 2024-07-30 14:59:40