| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 195 | 3600.08 | 3610.2 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb |
| MD5SUM | bed0fcfa7fe1ab50726d34a7d1903e12 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 478 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 478 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 478 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 478 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 478 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 478 #constraints 478 0.51/0.57 c bounds - >= 0 @ 0.006676 0.51/0.57 c bounds 226 >= 0 @ 0.418313 0.51/0.57 c bounds 226 >= 1 @ 0.418402 0.51/0.57 c bounds 226 >= 2 @ 0.418588 0.51/0.57 c bounds 226 >= 3 @ 0.418768 0.51/0.57 c bounds 226 >= 4 @ 0.418933 0.51/0.57 c bounds 226 >= 5 @ 0.419108 0.51/0.57 c bounds 226 >= 6 @ 0.419291 0.51/0.57 c bounds 226 >= 7 @ 0.419501 0.51/0.57 c bounds 226 >= 8 @ 0.419707 0.51/0.57 c bounds 226 >= 9 @ 0.419928 0.51/0.57 c bounds 226 >= 10 @ 0.420152 0.51/0.57 c bounds 226 >= 11 @ 0.420374 0.51/0.57 c bounds 226 >= 12 @ 0.420609 0.51/0.57 c bounds 226 >= 13 @ 0.420838 0.51/0.57 c bounds 226 >= 14 @ 0.421074 0.51/0.57 c bounds 226 >= 15 @ 0.421313 0.51/0.57 c bounds 226 >= 16 @ 0.421573 0.51/0.57 c bounds 226 >= 17 @ 0.421829 0.51/0.57 c bounds 226 >= 18 @ 0.422086 0.51/0.57 c bounds 226 >= 19 @ 0.422349 0.51/0.57 c bounds 226 >= 20 @ 0.422607 0.51/0.57 c bounds 226 >= 21 @ 0.422885 0.51/0.57 c bounds 226 >= 22 @ 0.42317 0.51/0.57 c bounds 226 >= 23 @ 0.423461 0.51/0.57 c bounds 226 >= 24 @ 0.423734 0.51/0.57 c bounds 226 >= 25 @ 0.424028 0.51/0.57 c bounds 226 >= 26 @ 0.424316 0.51/0.57 c bounds 226 >= 27 @ 0.424618 0.51/0.57 c bounds 226 >= 28 @ 0.424923 0.51/0.57 c bounds 226 >= 29 @ 0.425241 0.51/0.57 c bounds 226 >= 30 @ 0.425557 0.51/0.57 c bounds 225 >= 30 @ 0.464563 0.51/0.57 c bounds 225 >= 31 @ 0.464952 0.51/0.57 c bounds 225 >= 32 @ 0.465069 0.51/0.57 c bounds 225 >= 33 @ 0.465069 0.51/0.57 c bounds 225 >= 34 @ 0.465069 0.51/0.57 c bounds 225 >= 35 @ 0.465181 0.51/0.57 c bounds 225 >= 36 @ 0.46556 0.51/0.57 c bounds 225 >= 37 @ 0.46593 0.51/0.57 c bounds 225 >= 38 @ 0.466315 0.51/0.57 c bounds 225 >= 39 @ 0.466704 0.51/0.57 c bounds 225 >= 40 @ 0.467123 0.51/0.57 c bounds 225 >= 41 @ 0.467534 0.51/0.57 c bounds 225 >= 42 @ 0.467939 0.51/0.57 c bounds 225 >= 43 @ 0.468051 0.51/0.57 c bounds 225 >= 44 @ 0.468051 0.51/0.57 c bounds 225 >= 45 @ 0.468051 0.51/0.57 c bounds 225 >= 46 @ 0.468051 0.51/0.57 c bounds 225 >= 47 @ 0.468051 0.51/0.57 c bounds 225 >= 48 @ 0.468484 0.51/0.57 c bounds 225 >= 49 @ 0.468897 0.51/0.57 c bounds 225 >= 50 @ 0.469043 0.51/0.57 c bounds 225 >= 51 @ 0.469043 0.51/0.57 c bounds 225 >= 52 @ 0.469182 0.51/0.57 c bounds 225 >= 53 @ 0.469596 0.51/0.57 c bounds 225 >= 54 @ 0.470017 0.51/0.57 c bounds 225 >= 55 @ 0.47043 0.51/0.57 c bounds 225 >= 56 @ 0.470872 0.51/0.57 c bounds 225 >= 57 @ 0.47103 0.51/0.57 c bounds 225 >= 58 @ 0.47103 0.51/0.57 c bounds 225 >= 59 @ 0.471187 0.51/0.57 c bounds 225 >= 60 @ 0.471629 0.51/0.57 c bounds 225 >= 61 @ 0.472055 0.51/0.57 c bounds 225 >= 62 @ 0.472494 0.51/0.57 c bounds 225 >= 63 @ 0.472958 0.51/0.57 c bounds 225 >= 64 @ 0.47302 0.51/0.57 c bounds 225 >= 65 @ 0.47302 0.51/0.57 c bounds 225 >= 66 @ 0.473325 0.51/0.57 c bounds 225 >= 67 @ 0.473806 0.51/0.57 c bounds 225 >= 68 @ 0.474015 0.51/0.57 c bounds 225 >= 69 @ 0.474015 0.51/0.57 c bounds 225 >= 70 @ 0.474015 0.51/0.57 c bounds 225 >= 71 @ 0.474015 0.51/0.57 c bounds 225 >= 72 @ 0.474292 0.51/0.57 c bounds 225 >= 73 @ 0.474762 0.51/0.57 c bounds 225 >= 74 @ 0.475243 0.51/0.57 c bounds 225 >= 75 @ 0.475763 0.51/0.57 c bounds 225 >= 76 @ 0.475999 0.51/0.57 c bounds 225 >= 77 @ 0.475999 0.51/0.57 c bounds 225 >= 78 @ 0.475999 0.51/0.57 c bounds 225 >= 79 @ 0.475999 0.51/0.57 c bounds 225 >= 80 @ 0.476102 0.51/0.57 c bounds 225 >= 81 @ 0.476586 0.51/0.57 c bounds 225 >= 82 @ 0.477091 0.51/0.57 c bounds 225 >= 83 @ 0.477612 0.51/0.57 c bounds 225 >= 84 @ 0.478097 0.51/0.57 c bounds 225 >= 85 @ 0.478601 0.51/0.57 c bounds 225 >= 86 @ 0.4791 0.51/0.57 c bounds 225 >= 87 @ 0.479596 0.51/0.57 c bounds 225 >= 88 @ 0.480066 0.51/0.57 c bounds 225 >= 89 @ 0.480555 0.51/0.57 c bounds 225 >= 90 @ 0.48095 0.51/0.57 c bounds 225 >= 91 @ 0.48095 0.51/0.57 c bounds 225 >= 92 @ 0.48095 0.51/0.57 c bounds 225 >= 93 @ 0.48095 0.51/0.57 c bounds 225 >= 94 @ 0.48095 0.51/0.57 c bounds 225 >= 95 @ 0.481419 0.51/0.57 c bounds 225 >= 96 @ 0.481903 0.51/0.57 c bounds 225 >= 97 @ 0.482405 0.51/0.57 c bounds 225 >= 98 @ 0.482907 0.51/0.57 c bounds 225 >= 99 @ 0.483459 0.51/0.57 c bounds 225 >= 100 @ 0.483993 0.51/0.57 c bounds 225 >= 101 @ 0.484501 0.51/0.57 c bounds 225 >= 102 @ 0.484994 0.51/0.57 c bounds 225 >= 103 @ 0.485493 0.51/0.57 c bounds 225 >= 104 @ 0.486029 0.51/0.57 c bounds 225 >= 105 @ 0.486561 0.51/0.57 c bounds 225 >= 106 @ 0.487132 0.51/0.57 c bounds 225 >= 107 @ 0.487674 0.51/0.57 c bounds 225 >= 108 @ 0.487911 0.51/0.57 c bounds 225 >= 109 @ 0.487911 0.51/0.57 c bounds 225 >= 110 @ 0.487912 0.51/0.57 c bounds 225 >= 111 @ 0.487912 0.51/0.57 c bounds 225 >= 112 @ 0.487912 0.51/0.57 c bounds 225 >= 113 @ 0.487912 0.51/0.57 c bounds 225 >= 114 @ 0.487912 0.51/0.57 c bounds 225 >= 115 @ 0.488008 0.51/0.57 c bounds 225 >= 116 @ 0.488539 0.51/0.57 c bounds 225 >= 117 @ 0.488902 0.51/0.57 c bounds 225 >= 118 @ 0.488902 0.51/0.57 c bounds 225 >= 119 @ 0.488902 0.51/0.57 c bounds 225 >= 120 @ 0.488902 0.51/0.57 c bounds 225 >= 121 @ 0.488902 0.51/0.57 c bounds 225 >= 122 @ 0.489085 0.51/0.57 c bounds 225 >= 123 @ 0.489686 0.51/0.57 c bounds 225 >= 124 @ 0.489894 0.51/0.57 c bounds 225 >= 125 @ 0.489989 0.51/0.57 c bounds 225 >= 126 @ 0.490636 0.51/0.57 c bounds 225 >= 127 @ 0.490889 0.51/0.57 c bounds 225 >= 128 @ 0.491081 0.51/0.57 c bounds 225 >= 129 @ 0.491774 0.51/0.57 c bounds 225 >= 130 @ 0.491881 0.51/0.57 c bounds 225 >= 131 @ 0.492369 0.51/0.57 c bounds 225 >= 132 @ 0.493178 0.51/0.57 c bounds 225 >= 133 @ 0.493878 0.51/0.57 c bounds 225 >= 134 @ 0.49586 1.38/1.44 c bounds 225 >= 135 @ 0.496603 1.38/1.44 c bounds 225 >= 136 @ 0.498117 1.38/1.44 c bounds 225 >= 137 @ 0.50026 1.38/1.44 c bounds 225 >= 138 @ 0.507353 1.38/1.44 c bounds 224 >= 138 @ 0.541055 1.38/1.44 c bounds 224 >= 139 @ 0.541648 1.38/1.44 c bounds 224 >= 140 @ 0.555096 1.38/1.44 c bounds 224 >= 141 @ 0.589443 1.38/1.44 c bounds 223 >= 141 @ 0.598948 1.38/1.44 c bounds 222 >= 141 @ 0.605865 1.38/1.44 c bounds 221 >= 141 @ 0.611457 1.38/1.44 c bounds 220 >= 141 @ 0.618097 1.38/1.44 c bounds 219 >= 141 @ 0.624184 1.38/1.44 c bounds 218 >= 141 @ 0.629663 1.38/1.44 c #Conflicts: 1000 | #Constraints: 2198 1.38/1.44 c bounds 218 >= 142 @ 0.737814 1.38/1.44 c bounds 217 >= 142 @ 0.748129 1.38/1.44 c bounds 216 >= 142 @ 0.770666 1.38/1.44 c bounds 215 >= 142 @ 0.790517 1.38/1.44 c bounds 214 >= 142 @ 0.896417 1.38/1.44 c #Conflicts: 2000 | #Constraints: 3262 1.38/1.44 c INPROCESSING 1.38/1.44 c GARBAGE COLLECT 1.38/1.44 c rational objective 142 3.38/3.46 c #Conflicts: 3000 | #Constraints: 3159 3.38/3.46 c bounds 213 >= 142 @ 1.86236 3.38/3.46 c #Conflicts: 4000 | #Constraints: 4160 3.38/3.46 c INPROCESSING 3.38/3.46 c GARBAGE COLLECT 3.38/3.46 c bounds 213 >= 143 @ 2.29657 3.38/3.46 c #Conflicts: 5000 | #Constraints: 3625 3.38/3.46 c #Conflicts: 6000 | #Constraints: 4625 3.38/3.46 c bounds 213 >= 144 @ 2.97753 3.38/3.46 c INPROCESSING 3.38/3.46 c GARBAGE COLLECT 3.38/3.46 c rational objective 144 4.37/4.46 c bounds 212 >= 144 @ 3.3393 4.37/4.46 c #Conflicts: 7000 | #Constraints: 3647 4.37/4.46 c bounds 211 >= 144 @ 3.64079 4.37/4.46 c #Conflicts: 8000 | #Constraints: 4648 4.37/4.46 c #Conflicts: 9000 | #Constraints: 5648 4.37/4.46 c INPROCESSING 4.37/4.46 c GARBAGE COLLECT 4.37/4.46 c rational objective 144 5.27/5.39 c bounds 210 >= 144 @ 4.29756 5.27/5.39 c bounds 209 >= 144 @ 4.30597 5.27/5.39 c bounds 208 >= 144 @ 4.34203 5.27/5.39 c bounds 207 >= 144 @ 4.36662 5.27/5.39 c #Conflicts: 10000 | #Constraints: 4391 5.27/5.39 c bounds 206 >= 144 @ 4.51149 5.27/5.39 c bounds 205 >= 144 @ 4.53841 5.27/5.39 c #Conflicts: 11000 | #Constraints: 5393 5.27/5.39 c bounds 204 >= 144 @ 4.77771 5.27/5.39 c #Conflicts: 12000 | #Constraints: 6394 5.27/5.39 c INPROCESSING 5.27/5.39 c GARBAGE COLLECT 5.27/5.39 c rational objective 144 6.76/6.86 c #Conflicts: 13000 | #Constraints: 4803 6.76/6.86 c #Conflicts: 14000 | #Constraints: 5803 6.76/6.86 c #Conflicts: 15000 | #Constraints: 6803 6.76/6.86 c INPROCESSING 6.76/6.86 c GARBAGE COLLECT 6.76/6.86 c rational objective 144 7.86/7.96 c bounds 203 >= 144 @ 6.59661 7.86/7.96 c bounds 202 >= 144 @ 6.5987 7.86/7.96 c #Conflicts: 16000 | #Constraints: 5074 7.86/7.96 c #Conflicts: 17000 | #Constraints: 6074 7.86/7.96 c #Conflicts: 18000 | #Constraints: 7074 7.86/7.96 c INPROCESSING 7.86/7.96 c GARBAGE COLLECT 7.86/7.96 c rational objective 144 9.46/9.52 c #Conflicts: 19000 | #Constraints: 5051 9.46/9.52 c bounds 201 >= 144 @ 8.07586 9.46/9.52 c #Conflicts: 20000 | #Constraints: 6070 9.46/9.52 c #Conflicts: 21000 | #Constraints: 7070 9.46/9.52 c bounds 200 >= 144 @ 8.75074 9.46/9.52 c INPROCESSING 9.46/9.52 c GARBAGE COLLECT 9.46/9.52 c rational objective 144 11.06/11.15 c #Conflicts: 22000 | #Constraints: 4892 11.06/11.15 c #Conflicts: 23000 | #Constraints: 5892 11.06/11.15 c bounds 200 >= 145 @ 9.88274 11.06/11.15 c #Conflicts: 24000 | #Constraints: 6952 11.06/11.15 c #Conflicts: 25000 | #Constraints: 7957 11.06/11.15 c INPROCESSING 11.06/11.15 c GARBAGE COLLECT 11.06/11.15 c rational objective 145 13.35/13.45 c #Conflicts: 26000 | #Constraints: 5520 13.35/13.45 c #Conflicts: 27000 | #Constraints: 6520 13.35/13.45 c #Conflicts: 28000 | #Constraints: 7520 13.35/13.45 c #Conflicts: 29000 | #Constraints: 8520 13.35/13.45 c INPROCESSING 13.35/13.45 c GARBAGE COLLECT 13.35/13.45 c rational objective 145 31.20/31.30 c bounds 199 >= 145 @ 12.935 31.20/31.30 c bounds 198 >= 145 @ 12.9917 31.20/31.30 c #Conflicts: 30000 | #Constraints: 5976 31.20/31.30 c #Conflicts: 31000 | #Constraints: 6976 31.20/31.30 c #Conflicts: 32000 | #Constraints: 7976 31.20/31.30 c #Conflicts: 33000 | #Constraints: 8976 31.20/31.30 c #Conflicts: 34000 | #Constraints: 9976 31.20/31.30 c #Conflicts: 35000 | #Constraints: 10976 31.20/31.30 c #Conflicts: 36000 | #Constraints: 11976 31.20/31.30 c #Conflicts: 37000 | #Constraints: 12976 31.20/31.30 c #Conflicts: 38000 | #Constraints: 13976 31.20/31.30 c #Conflicts: 39000 | #Constraints: 14976 31.20/31.30 c #Conflicts: 40000 | #Constraints: 15976 31.20/31.30 c #Conflicts: 41000 | #Constraints: 16976 31.20/31.30 c #Conflicts: 42000 | #Constraints: 17976 31.20/31.30 c INPROCESSING 31.20/31.30 c GARBAGE COLLECT 31.20/31.30 c rational objective 145 42.17/42.31 c #Conflicts: 43000 | #Constraints: 10197 42.17/42.31 c #Conflicts: 44000 | #Constraints: 11198 42.17/42.31 c #Conflicts: 45000 | #Constraints: 12198 42.17/42.31 c #Conflicts: 46000 | #Constraints: 13199 42.17/42.31 c #Conflicts: 47000 | #Constraints: 14199 42.17/42.31 c #Conflicts: 48000 | #Constraints: 15199 42.17/42.31 c INPROCESSING 42.17/42.31 c GARBAGE COLLECT 42.17/42.31 c rational objective 145 47.86/48.11 c #Conflicts: 49000 | #Constraints: 9318 47.86/48.11 c #Conflicts: 50000 | #Constraints: 10318 47.86/48.11 c #Conflicts: 51000 | #Constraints: 11318 47.86/48.11 c #Conflicts: 52000 | #Constraints: 12318 47.86/48.11 c bounds 198 >= 146 @ 45.7389 47.86/48.11 c #Conflicts: 53000 | #Constraints: 13369 47.86/48.11 c INPROCESSING 47.86/48.11 c GARBAGE COLLECT 47.86/48.11 c rational objective 146 52.04/52.21 c #Conflicts: 54000 | #Constraints: 8264 52.04/52.21 c #Conflicts: 55000 | #Constraints: 9264 52.04/52.21 c #Conflicts: 56000 | #Constraints: 10264 52.04/52.21 c #Conflicts: 57000 | #Constraints: 11264 52.04/52.21 c #Conflicts: 58000 | #Constraints: 12264 52.04/52.21 c INPROCESSING 52.04/52.21 c GARBAGE COLLECT 52.04/52.21 c rational objective 146 79.57/79.83 c #Conflicts: 59000 | #Constraints: 7495 79.57/79.83 c #Conflicts: 60000 | #Constraints: 8495 79.57/79.83 c #Conflicts: 61000 | #Constraints: 9495 79.57/79.83 c #Conflicts: 62000 | #Constraints: 10495 79.57/79.83 c #Conflicts: 63000 | #Constraints: 11495 79.57/79.83 c #Conflicts: 64000 | #Constraints: 12495 79.57/79.83 c #Conflicts: 65000 | #Constraints: 13495 79.57/79.83 c #Conflicts: 66000 | #Constraints: 14495 79.57/79.83 c #Conflicts: 67000 | #Constraints: 15495 79.57/79.83 c #Conflicts: 68000 | #Constraints: 16495 79.57/79.83 c #Conflicts: 69000 | #Constraints: 17495 79.57/79.83 c #Conflicts: 70000 | #Constraints: 18495 79.57/79.83 c #Conflicts: 71000 | #Constraints: 19495 79.57/79.83 c #Conflicts: 72000 | #Constraints: 20495 79.57/79.83 c #Conflicts: 73000 | #Constraints: 21495 79.57/79.83 c #Conflicts: 74000 | #Constraints: 22495 79.57/79.83 c #Conflicts: 75000 | #Constraints: 23495 79.57/79.83 c #Conflicts: 76000 | #Constraints: 24495 79.57/79.83 c #Conflicts: 77000 | #Constraints: 25495 79.57/79.83 c #Conflicts: 78000 | #Constraints: 26495 79.57/79.83 c INPROCESSING 79.57/79.83 c GARBAGE COLLECT 79.57/79.83 c rational objective 146 85.15/85.49 c bounds 197 >= 146 @ 78.2173 85.15/85.49 c #Conflicts: 79000 | #Constraints: 15027 85.15/85.49 c #Conflicts: 80000 | #Constraints: 16027 85.15/85.49 c #Conflicts: 81000 | #Constraints: 17027 85.15/85.49 c #Conflicts: 82000 | #Constraints: 18029 85.15/85.49 c #Conflicts: 83000 | #Constraints: 19030 85.15/85.49 c #Conflicts: 84000 | #Constraints: 20031 85.15/85.49 c INPROCESSING 85.15/85.49 c GARBAGE COLLECT 85.15/85.49 c rational objective 146 90.94/91.27 c #Conflicts: 85000 | #Constraints: 11300 90.94/91.27 c #Conflicts: 86000 | #Constraints: 12300 90.94/91.27 c #Conflicts: 87000 | #Constraints: 13305 90.94/91.27 c #Conflicts: 88000 | #Constraints: 14337 90.94/91.27 c #Conflicts: 89000 | #Constraints: 15424 90.94/91.27 c #Conflicts: 90000 | #Constraints: 16457 90.94/91.27 c #Conflicts: 91000 | #Constraints: 17468 90.94/91.27 c INPROCESSING 90.94/91.27 c GARBAGE COLLECT 90.94/91.27 c rational objective 146 130.13/130.56 c #Conflicts: 92000 | #Constraints: 10015 130.13/130.56 c #Conflicts: 93000 | #Constraints: 11017 130.13/130.56 c #Conflicts: 94000 | #Constraints: 12017 130.13/130.56 c #Conflicts: 95000 | #Constraints: 13221 130.13/130.56 c #Conflicts: 96000 | #Constraints: 14296 130.13/130.56 c #Conflicts: 97000 | #Constraints: 15421 130.13/130.56 c #Conflicts: 98000 | #Constraints: 16423 130.13/130.56 c #Conflicts: 99000 | #Constraints: 17433 130.13/130.56 c #Conflicts: 100000 | #Constraints: 18470 130.13/130.56 c #Conflicts: 101000 | #Constraints: 19475 130.13/130.56 c #Conflicts: 102000 | #Constraints: 20480 130.13/130.56 c #Conflicts: 103000 | #Constraints: 21488 130.13/130.56 c #Conflicts: 104000 | #Constraints: 22489 130.13/130.56 c #Conflicts: 105000 | #Constraints: 23505 130.13/130.56 c #Conflicts: 106000 | #Constraints: 24506 130.13/130.56 c #Conflicts: 107000 | #Constraints: 25506 130.13/130.56 c #Conflicts: 108000 | #Constraints: 26516 130.13/130.56 c #Conflicts: 109000 | #Constraints: 27516 130.13/130.56 c #Conflicts: 110000 | #Constraints: 28516 130.13/130.56 c #Conflicts: 111000 | #Constraints: 29516 130.13/130.56 c #Conflicts: 112000 | #Constraints: 30516 130.13/130.56 c #Conflicts: 113000 | #Constraints: 31569 130.13/130.56 c #Conflicts: 114000 | #Constraints: 32569 130.13/130.56 c #Conflicts: 115000 | #Constraints: 33569 130.13/130.56 c INPROCESSING 130.13/130.56 c GARBAGE COLLECT 130.13/130.56 c rational objective 146 157.56/158.01 c #Conflicts: 116000 | #Constraints: 18365 157.56/158.01 c #Conflicts: 117000 | #Constraints: 19365 157.56/158.01 c #Conflicts: 118000 | #Constraints: 20365 157.56/158.01 c #Conflicts: 119000 | #Constraints: 21365 157.56/158.01 c #Conflicts: 120000 | #Constraints: 22365 157.56/158.01 c #Conflicts: 121000 | #Constraints: 23365 157.56/158.01 c #Conflicts: 122000 | #Constraints: 24365 157.56/158.01 c #Conflicts: 123000 | #Constraints: 25365 157.56/158.01 c INPROCESSING 157.56/158.01 c GARBAGE COLLECT 157.56/158.01 c rational objective 146 170.81/171.32 c #Conflicts: 124000 | #Constraints: 14204 170.81/171.32 c #Conflicts: 125000 | #Constraints: 15204 170.81/171.32 c #Conflicts: 126000 | #Constraints: 16204 170.81/171.32 c #Conflicts: 127000 | #Constraints: 17204 170.81/171.32 c #Conflicts: 128000 | #Constraints: 18204 170.81/171.32 c bounds 197 >= 147 @ 162.694 170.81/171.32 c #Conflicts: 129000 | #Constraints: 19252 170.81/171.32 c #Conflicts: 130000 | #Constraints: 20253 170.81/171.32 c #Conflicts: 131000 | #Constraints: 21253 170.81/171.32 c #Conflicts: 132000 | #Constraints: 22253 170.81/171.32 c INPROCESSING 170.81/171.32 c GARBAGE COLLECT 170.81/171.32 c rational objective 147 227.37/228.07 c #Conflicts: 133000 | #Constraints: 12843 227.37/228.07 c #Conflicts: 134000 | #Constraints: 13843 227.37/228.07 c #Conflicts: 135000 | #Constraints: 14843 227.37/228.07 c #Conflicts: 136000 | #Constraints: 15845 227.37/228.07 c #Conflicts: 137000 | #Constraints: 16845 227.37/228.07 c #Conflicts: 138000 | #Constraints: 17845 227.37/228.07 c #Conflicts: 139000 | #Constraints: 18845 227.37/228.07 c #Conflicts: 140000 | #Constraints: 19845 227.37/228.07 c #Conflicts: 141000 | #Constraints: 20845 227.37/228.07 c #Conflicts: 142000 | #Constraints: 21845 227.37/228.07 c #Conflicts: 143000 | #Constraints: 22845 227.37/228.07 c #Conflicts: 144000 | #Constraints: 23845 227.37/228.07 c #Conflicts: 145000 | #Constraints: 24845 227.37/228.07 c #Conflicts: 146000 | #Constraints: 25845 227.37/228.07 c #Conflicts: 147000 | #Constraints: 26845 227.37/228.07 c #Conflicts: 148000 | #Constraints: 27845 227.37/228.07 c #Conflicts: 149000 | #Constraints: 28845 227.37/228.07 c #Conflicts: 150000 | #Constraints: 29845 227.37/228.07 c #Conflicts: 151000 | #Constraints: 30845 227.37/228.07 c #Conflicts: 152000 | #Constraints: 31845 227.37/228.07 c #Conflicts: 153000 | #Constraints: 32845 227.37/228.07 c #Conflicts: 154000 | #Constraints: 33845 227.37/228.07 c #Conflicts: 155000 | #Constraints: 34845 227.37/228.07 c #Conflicts: 156000 | #Constraints: 35845 227.37/228.07 c #Conflicts: 157000 | #Constraints: 36845 227.37/228.07 c #Conflicts: 158000 | #Constraints: 37845 227.37/228.07 c #Conflicts: 159000 | #Constraints: 38845 227.37/228.07 c INPROCESSING 227.37/228.07 c GARBAGE COLLECT 227.37/228.07 c rational objective 147 238.63/239.37 c #Conflicts: 160000 | #Constraints: 20927 238.63/239.37 c #Conflicts: 161000 | #Constraints: 21956 238.63/239.37 c #Conflicts: 162000 | #Constraints: 22958 238.63/239.37 c #Conflicts: 163000 | #Constraints: 23958 238.63/239.37 c #Conflicts: 164000 | #Constraints: 24958 238.63/239.37 c #Conflicts: 165000 | #Constraints: 25958 238.63/239.37 c #Conflicts: 166000 | #Constraints: 26958 238.63/239.37 c #Conflicts: 167000 | #Constraints: 27958 238.63/239.37 c #Conflicts: 168000 | #Constraints: 28958 238.63/239.37 c #Conflicts: 169000 | #Constraints: 29962 238.63/239.37 c INPROCESSING 238.63/239.37 c GARBAGE COLLECT 238.63/239.37 c rational objective 147 366.27/367.31 c #Conflicts: 170000 | #Constraints: 16490 366.27/367.31 c #Conflicts: 171000 | #Constraints: 17490 366.27/367.31 c #Conflicts: 172000 | #Constraints: 18490 366.27/367.31 c #Conflicts: 173000 | #Constraints: 19490 366.27/367.31 c #Conflicts: 174000 | #Constraints: 20589 366.27/367.31 c #Conflicts: 175000 | #Constraints: 21608 366.27/367.31 c #Conflicts: 176000 | #Constraints: 22608 366.27/367.31 c #Conflicts: 177000 | #Constraints: 23608 366.27/367.31 c #Conflicts: 178000 | #Constraints: 24650 366.27/367.31 c #Conflicts: 179000 | #Constraints: 25650 366.27/367.31 c #Conflicts: 180000 | #Constraints: 26651 366.27/367.31 c #Conflicts: 181000 | #Constraints: 27651 366.27/367.31 c #Conflicts: 182000 | #Constraints: 28651 366.27/367.31 c #Conflicts: 183000 | #Constraints: 29651 366.27/367.31 c #Conflicts: 184000 | #Constraints: 30651 366.27/367.31 c #Conflicts: 185000 | #Constraints: 31651 366.27/367.31 c #Conflicts: 186000 | #Constraints: 32651 366.27/367.31 c #Conflicts: 187000 | #Constraints: 33652 366.27/367.31 c #Conflicts: 188000 | #Constraints: 34652 366.27/367.31 c #Conflicts: 189000 | #Constraints: 35652 366.27/367.31 c #Conflicts: 190000 | #Constraints: 36653 366.27/367.31 c #Conflicts: 191000 | #Constraints: 37657 366.27/367.31 c #Conflicts: 192000 | #Constraints: 38662 366.27/367.31 c #Conflicts: 193000 | #Constraints: 39662 366.27/367.31 c #Conflicts: 194000 | #Constraints: 40662 366.27/367.31 c #Conflicts: 195000 | #Constraints: 41662 366.27/367.31 c #Conflicts: 196000 | #Constraints: 42662 366.27/367.31 c #Conflicts: 197000 | #Constraints: 43662 366.27/367.31 c #Conflicts: 198000 | #Constraints: 44662 366.27/367.31 c #Conflicts: 199000 | #Constraints: 45662 366.27/367.31 c #Conflicts: 200000 | #Constraints: 46662 366.27/367.31 c INPROCESSING 366.27/367.31 c GARBAGE COLLECT 366.27/367.31 c rational objective 147 424.52/425.71 c #Conflicts: 201000 | #Constraints: 24998 424.52/425.71 c #Conflicts: 202000 | #Constraints: 25998 424.52/425.71 c #Conflicts: 203000 | #Constraints: 26998 424.52/425.71 c #Conflicts: 204000 | #Constraints: 27998 424.52/425.71 c #Conflicts: 205000 | #Constraints: 28998 424.52/425.71 c #Conflicts: 206000 | #Constraints: 29999 424.52/425.71 c #Conflicts: 207000 | #Constraints: 30999 424.52/425.71 c #Conflicts: 208000 | #Constraints: 31999 424.52/425.71 c #Conflicts: 209000 | #Constraints: 33000 424.52/425.71 c #Conflicts: 210000 | #Constraints: 34000 424.52/425.71 c #Conflicts: 211000 | #Constraints: 35000 424.52/425.71 c INPROCESSING 424.52/425.71 c GARBAGE COLLECT 424.52/425.71 c rational objective 147 448.54/449.84 c #Conflicts: 212000 | #Constraints: 19190 448.54/449.84 c #Conflicts: 213000 | #Constraints: 20190 448.54/449.84 c #Conflicts: 214000 | #Constraints: 21190 448.54/449.84 c #Conflicts: 215000 | #Constraints: 22190 448.54/449.84 c #Conflicts: 216000 | #Constraints: 23190 448.54/449.84 c #Conflicts: 217000 | #Constraints: 24190 448.54/449.84 c #Conflicts: 218000 | #Constraints: 25190 448.54/449.84 c #Conflicts: 219000 | #Constraints: 26190 448.54/449.84 c #Conflicts: 220000 | #Constraints: 27190 448.54/449.84 c #Conflicts: 221000 | #Constraints: 28190 448.54/449.84 c #Conflicts: 222000 | #Constraints: 29190 448.54/449.84 c INPROCESSING 448.54/449.84 c GARBAGE COLLECT 448.54/449.84 c rational objective 147 555.96/557.53 c #Conflicts: 223000 | #Constraints: 16153 555.96/557.53 c #Conflicts: 224000 | #Constraints: 17153 555.96/557.53 c #Conflicts: 225000 | #Constraints: 18153 555.96/557.53 c #Conflicts: 226000 | #Constraints: 19153 555.96/557.53 c #Conflicts: 227000 | #Constraints: 20153 555.96/557.53 c #Conflicts: 228000 | #Constraints: 21153 555.96/557.53 c #Conflicts: 229000 | #Constraints: 22153 555.96/557.53 c #Conflicts: 230000 | #Constraints: 23153 555.96/557.53 c #Conflicts: 231000 | #Constraints: 24153 555.96/557.53 c #Conflicts: 232000 | #Constraints: 25153 555.96/557.53 c #Conflicts: 233000 | #Constraints: 26153 555.96/557.53 c #Conflicts: 234000 | #Constraints: 27153 555.96/557.53 c #Conflicts: 235000 | #Constraints: 28153 555.96/557.53 c #Conflicts: 236000 | #Constraints: 29153 555.96/557.53 c #Conflicts: 237000 | #Constraints: 30153 555.96/557.53 c #Conflicts: 238000 | #Constraints: 31153 555.96/557.53 c #Conflicts: 239000 | #Constraints: 32153 555.96/557.53 c #Conflicts: 240000 | #Constraints: 33153 555.96/557.53 c #Conflicts: 241000 | #Constraints: 34153 555.96/557.53 c #Conflicts: 242000 | #Constraints: 35153 555.96/557.53 c #Conflicts: 243000 | #Constraints: 36153 555.96/557.53 c #Conflicts: 244000 | #Constraints: 37153 555.96/557.53 c #Conflicts: 245000 | #Constraints: 38153 555.96/557.53 c #Conflicts: 246000 | #Constraints: 39153 555.96/557.53 c #Conflicts: 247000 | #Constraints: 40153 555.96/557.53 c #Conflicts: 248000 | #Constraints: 41153 555.96/557.53 c #Conflicts: 249000 | #Constraints: 42153 555.96/557.53 c #Conflicts: 250000 | #Constraints: 43153 555.96/557.53 c #Conflicts: 251000 | #Constraints: 44153 555.96/557.53 c #Conflicts: 252000 | #Constraints: 45153 555.96/557.53 c bounds 197 >= 148 @ 541.453 555.96/557.53 c #Conflicts: 253000 | #Constraints: 46198 555.96/557.53 c #Conflicts: 254000 | #Constraints: 47198 555.96/557.53 c #Conflicts: 255000 | #Constraints: 48198 555.96/557.53 c #Conflicts: 256000 | #Constraints: 49200 555.96/557.53 c #Conflicts: 257000 | #Constraints: 50200 555.96/557.53 c INPROCESSING 555.96/557.53 c GARBAGE COLLECT 555.96/557.53 c rational objective 148 581.41/583.04 c #Conflicts: 258000 | #Constraints: 26618 581.41/583.04 c #Conflicts: 259000 | #Constraints: 27618 581.41/583.04 c #Conflicts: 260000 | #Constraints: 28618 581.41/583.04 c #Conflicts: 261000 | #Constraints: 29618 581.41/583.04 c #Conflicts: 262000 | #Constraints: 30620 581.41/583.04 c #Conflicts: 263000 | #Constraints: 31622 581.41/583.04 c #Conflicts: 264000 | #Constraints: 32624 581.41/583.04 c #Conflicts: 265000 | #Constraints: 33626 581.41/583.04 c #Conflicts: 266000 | #Constraints: 34629 581.41/583.04 c #Conflicts: 267000 | #Constraints: 35632 581.41/583.04 c #Conflicts: 268000 | #Constraints: 36634 581.41/583.04 c #Conflicts: 269000 | #Constraints: 37634 581.41/583.04 c #Conflicts: 270000 | #Constraints: 38635 581.41/583.04 c INPROCESSING 581.41/583.04 c GARBAGE COLLECT 581.41/583.04 c rational objective 148 617.61/619.40 c #Conflicts: 271000 | #Constraints: 21047 617.61/619.40 c #Conflicts: 272000 | #Constraints: 22047 617.61/619.40 c #Conflicts: 273000 | #Constraints: 23048 617.61/619.40 c #Conflicts: 274000 | #Constraints: 24052 617.61/619.40 c #Conflicts: 275000 | #Constraints: 25052 617.61/619.40 c #Conflicts: 276000 | #Constraints: 26052 617.61/619.40 c bounds 196 >= 148 @ 585.874 617.61/619.40 c #Conflicts: 277000 | #Constraints: 27054 617.61/619.40 c #Conflicts: 278000 | #Constraints: 28054 617.61/619.40 c #Conflicts: 279000 | #Constraints: 29054 617.61/619.40 c #Conflicts: 280000 | #Constraints: 30054 617.61/619.40 c #Conflicts: 281000 | #Constraints: 31054 617.61/619.40 c #Conflicts: 282000 | #Constraints: 32054 617.61/619.40 c INPROCESSING 617.61/619.40 c GARBAGE COLLECT 617.61/619.40 c rational objective 148 743.07/745.14 c #Conflicts: 283000 | #Constraints: 18199 743.07/745.14 c #Conflicts: 284000 | #Constraints: 19199 743.07/745.14 c #Conflicts: 285000 | #Constraints: 20199 743.07/745.14 c #Conflicts: 286000 | #Constraints: 21199 743.07/745.14 c #Conflicts: 287000 | #Constraints: 22199 743.07/745.14 c #Conflicts: 288000 | #Constraints: 23218 743.07/745.14 c #Conflicts: 289000 | #Constraints: 24218 743.07/745.14 c #Conflicts: 290000 | #Constraints: 25218 743.07/745.14 c #Conflicts: 291000 | #Constraints: 26218 743.07/745.14 c #Conflicts: 292000 | #Constraints: 27219 743.07/745.14 c #Conflicts: 293000 | #Constraints: 28219 743.07/745.14 c #Conflicts: 294000 | #Constraints: 29219 743.07/745.14 c #Conflicts: 295000 | #Constraints: 30219 743.07/745.14 c #Conflicts: 296000 | #Constraints: 31219 743.07/745.14 c #Conflicts: 297000 | #Constraints: 32219 743.07/745.14 c #Conflicts: 298000 | #Constraints: 33219 743.07/745.14 c #Conflicts: 299000 | #Constraints: 34221 743.07/745.14 c #Conflicts: 300000 | #Constraints: 35221 743.07/745.14 c #Conflicts: 301000 | #Constraints: 36221 743.07/745.14 c #Conflicts: 302000 | #Constraints: 37221 743.07/745.14 c #Conflicts: 303000 | #Constraints: 38221 743.07/745.14 c #Conflicts: 304000 | #Constraints: 39221 743.07/745.14 c #Conflicts: 305000 | #Constraints: 40222 743.07/745.14 c #Conflicts: 306000 | #Constraints: 41222 743.07/745.14 c #Conflicts: 307000 | #Constraints: 42222 743.07/745.14 c #Conflicts: 308000 | #Constraints: 43222 743.07/745.14 c #Conflicts: 309000 | #Constraints: 44222 743.07/745.14 c #Conflicts: 310000 | #Constraints: 45223 743.07/745.14 c #Conflicts: 311000 | #Constraints: 46223 743.07/745.14 c #Conflicts: 312000 | #Constraints: 47223 743.07/745.14 c #Conflicts: 313000 | #Constraints: 48223 743.07/745.14 c #Conflicts: 314000 | #Constraints: 49223 743.07/745.14 c #Conflicts: 315000 | #Constraints: 50223 743.07/745.14 c #Conflicts: 316000 | #Constraints: 51223 743.07/745.14 c #Conflicts: 317000 | #Constraints: 52224 743.07/745.14 c #Conflicts: 318000 | #Constraints: 53224 743.07/745.14 c #Conflicts: 319000 | #Constraints: 54224 743.07/745.14 c #Conflicts: 320000 | #Constraints: 55226 743.07/745.14 c #Conflicts: 321000 | #Constraints: 56226 743.07/745.14 c INPROCESSING 743.07/745.14 c GARBAGE COLLECT 743.07/745.14 c rational objective 148 837.30/839.62 c #Conflicts: 322000 | #Constraints: 29401 837.30/839.62 c #Conflicts: 323000 | #Constraints: 30401 837.30/839.62 c #Conflicts: 324000 | #Constraints: 31401 837.30/839.62 c #Conflicts: 325000 | #Constraints: 32401 837.30/839.62 c #Conflicts: 326000 | #Constraints: 33401 837.30/839.62 c #Conflicts: 327000 | #Constraints: 34401 837.30/839.62 c #Conflicts: 328000 | #Constraints: 35401 837.30/839.62 c #Conflicts: 329000 | #Constraints: 36401 837.30/839.62 c #Conflicts: 330000 | #Constraints: 37401 837.30/839.62 c #Conflicts: 331000 | #Constraints: 38401 837.30/839.62 c #Conflicts: 332000 | #Constraints: 39401 837.30/839.62 c #Conflicts: 333000 | #Constraints: 40401 837.30/839.62 c #Conflicts: 334000 | #Constraints: 41401 837.30/839.62 c #Conflicts: 335000 | #Constraints: 42401 837.30/839.62 c #Conflicts: 336000 | #Constraints: 43401 837.30/839.62 c INPROCESSING 837.30/839.62 c GARBAGE COLLECT 837.30/839.62 c rational objective 148 873.63/876.03 c #Conflicts: 337000 | #Constraints: 23522 873.63/876.03 c #Conflicts: 338000 | #Constraints: 24522 873.63/876.03 c #Conflicts: 339000 | #Constraints: 25522 873.63/876.03 c #Conflicts: 340000 | #Constraints: 26522 873.63/876.03 c #Conflicts: 341000 | #Constraints: 27522 873.63/876.03 c #Conflicts: 342000 | #Constraints: 28522 873.63/876.03 c #Conflicts: 343000 | #Constraints: 29522 873.63/876.03 c #Conflicts: 344000 | #Constraints: 30522 873.63/876.03 c #Conflicts: 345000 | #Constraints: 31522 873.63/876.03 c #Conflicts: 346000 | #Constraints: 32522 873.63/876.03 c #Conflicts: 347000 | #Constraints: 33522 873.63/876.03 c #Conflicts: 348000 | #Constraints: 34522 873.63/876.03 c #Conflicts: 349000 | #Constraints: 35522 873.63/876.03 c #Conflicts: 350000 | #Constraints: 36523 873.63/876.03 c INPROCESSING 873.63/876.03 c GARBAGE COLLECT 873.63/876.03 c rational objective 148 1045.99/1048.88 c #Conflicts: 351000 | #Constraints: 21345 1045.99/1048.88 c #Conflicts: 352000 | #Constraints: 22345 1045.99/1048.88 c #Conflicts: 353000 | #Constraints: 23345 1045.99/1048.88 c #Conflicts: 354000 | #Constraints: 24345 1045.99/1048.88 c #Conflicts: 355000 | #Constraints: 25345 1045.99/1048.88 c #Conflicts: 356000 | #Constraints: 26345 1045.99/1048.88 c #Conflicts: 357000 | #Constraints: 27345 1045.99/1048.88 c #Conflicts: 358000 | #Constraints: 28345 1045.99/1048.88 c #Conflicts: 359000 | #Constraints: 29345 1045.99/1048.88 c #Conflicts: 360000 | #Constraints: 30345 1045.99/1048.88 c #Conflicts: 361000 | #Constraints: 31345 1045.99/1048.88 c #Conflicts: 362000 | #Constraints: 32345 1045.99/1048.88 c #Conflicts: 363000 | #Constraints: 33345 1045.99/1048.88 c #Conflicts: 364000 | #Constraints: 34345 1045.99/1048.88 c #Conflicts: 365000 | #Constraints: 35345 1045.99/1048.88 c #Conflicts: 366000 | #Constraints: 36345 1045.99/1048.88 c #Conflicts: 367000 | #Constraints: 37345 1045.99/1048.88 c #Conflicts: 368000 | #Constraints: 38345 1045.99/1048.88 c #Conflicts: 369000 | #Constraints: 39345 1045.99/1048.88 c #Conflicts: 370000 | #Constraints: 40345 1045.99/1048.88 c #Conflicts: 371000 | #Constraints: 41345 1045.99/1048.88 c #Conflicts: 372000 | #Constraints: 42345 1045.99/1048.88 c #Conflicts: 373000 | #Constraints: 43345 1045.99/1048.88 c #Conflicts: 374000 | #Constraints: 44345 1045.99/1048.88 c #Conflicts: 375000 | #Constraints: 45345 1045.99/1048.88 c #Conflicts: 376000 | #Constraints: 46346 1045.99/1048.88 c #Conflicts: 377000 | #Constraints: 47346 1045.99/1048.88 c #Conflicts: 378000 | #Constraints: 48346 1045.99/1048.88 c #Conflicts: 379000 | #Constraints: 49347 1045.99/1048.88 c #Conflicts: 380000 | #Constraints: 50347 1045.99/1048.88 c #Conflicts: 381000 | #Constraints: 51347 1045.99/1048.88 c #Conflicts: 382000 | #Constraints: 52347 1045.99/1048.88 c #Conflicts: 383000 | #Constraints: 53347 1045.99/1048.88 c #Conflicts: 384000 | #Constraints: 54347 1045.99/1048.88 c #Conflicts: 385000 | #Constraints: 55347 1045.99/1048.88 c #Conflicts: 386000 | #Constraints: 56347 1045.99/1048.88 c #Conflicts: 387000 | #Constraints: 57347 1045.99/1048.88 c #Conflicts: 388000 | #Constraints: 58347 1045.99/1048.88 c #Conflicts: 389000 | #Constraints: 59347 1045.99/1048.88 c #Conflicts: 390000 | #Constraints: 60347 1045.99/1048.88 c #Conflicts: 391000 | #Constraints: 61347 1045.99/1048.88 c #Conflicts: 392000 | #Constraints: 62347 1045.99/1048.88 c #Conflicts: 393000 | #Constraints: 63347 1045.99/1048.88 c INPROCESSING 1045.99/1048.88 c GARBAGE COLLECT 1045.99/1048.88 c rational objective 148 1091.49/1094.49 c #Conflicts: 394000 | #Constraints: 33180 1091.49/1094.49 c #Conflicts: 395000 | #Constraints: 34180 1091.49/1094.49 c #Conflicts: 396000 | #Constraints: 35181 1091.49/1094.49 c #Conflicts: 397000 | #Constraints: 36191 1091.49/1094.49 c #Conflicts: 398000 | #Constraints: 37245 1091.49/1094.49 c #Conflicts: 399000 | #Constraints: 38245 1091.49/1094.49 c #Conflicts: 400000 | #Constraints: 39266 1091.49/1094.49 c #Conflicts: 401000 | #Constraints: 40330 1091.49/1094.49 c #Conflicts: 402000 | #Constraints: 41330 1091.49/1094.49 c #Conflicts: 403000 | #Constraints: 42330 1091.49/1094.49 c #Conflicts: 404000 | #Constraints: 43330 1091.49/1094.49 c #Conflicts: 405000 | #Constraints: 44330 1091.49/1094.49 c #Conflicts: 406000 | #Constraints: 45332 1091.49/1094.49 c #Conflicts: 407000 | #Constraints: 46371 1091.49/1094.49 c #Conflicts: 408000 | #Constraints: 47377 1091.49/1094.49 c #Conflicts: 409000 | #Constraints: 48394 1091.49/1094.49 c INPROCESSING 1091.49/1094.49 c GARBAGE COLLECT 1091.49/1094.49 c rational objective 148 1308.29/1311.82 c #Conflicts: 410000 | #Constraints: 25831 1308.29/1311.82 c #Conflicts: 411000 | #Constraints: 26841 1308.29/1311.82 c #Conflicts: 412000 | #Constraints: 27850 1308.29/1311.82 c #Conflicts: 413000 | #Constraints: 28850 1308.29/1311.82 c #Conflicts: 414000 | #Constraints: 29850 1308.29/1311.82 c #Conflicts: 415000 | #Constraints: 30850 1308.29/1311.82 c #Conflicts: 416000 | #Constraints: 31850 1308.29/1311.82 c #Conflicts: 417000 | #Constraints: 32850 1308.29/1311.82 c #Conflicts: 418000 | #Constraints: 33873 1308.29/1311.82 c #Conflicts: 419000 | #Constraints: 34879 1308.29/1311.82 c #Conflicts: 420000 | #Constraints: 35955 1308.29/1311.82 c #Conflicts: 421000 | #Constraints: 36986 1308.29/1311.82 c #Conflicts: 422000 | #Constraints: 37986 1308.29/1311.82 c #Conflicts: 423000 | #Constraints: 39031 1308.29/1311.82 c #Conflicts: 424000 | #Constraints: 40031 1308.29/1311.82 c #Conflicts: 425000 | #Constraints: 41032 1308.29/1311.82 c #Conflicts: 426000 | #Constraints: 42523 1308.29/1311.82 c #Conflicts: 427000 | #Constraints: 44389 1308.29/1311.82 c #Conflicts: 428000 | #Constraints: 46227 1308.29/1311.82 c #Conflicts: 429000 | #Constraints: 48077 1308.29/1311.82 c #Conflicts: 430000 | #Constraints: 49896 1308.29/1311.82 c #Conflicts: 431000 | #Constraints: 51691 1308.29/1311.82 c #Conflicts: 432000 | #Constraints: 52778 1308.29/1311.82 c #Conflicts: 433000 | #Constraints: 53783 1308.29/1311.82 c #Conflicts: 434000 | #Constraints: 54796 1308.29/1311.82 c #Conflicts: 435000 | #Constraints: 55796 1308.29/1311.82 c #Conflicts: 436000 | #Constraints: 56803 1308.29/1311.82 c #Conflicts: 437000 | #Constraints: 57826 1308.29/1311.82 c #Conflicts: 438000 | #Constraints: 58826 1308.29/1311.82 c #Conflicts: 439000 | #Constraints: 59826 1308.29/1311.82 c #Conflicts: 440000 | #Constraints: 60826 1308.29/1311.82 c #Conflicts: 441000 | #Constraints: 61842 1308.29/1311.82 c #Conflicts: 442000 | #Constraints: 62842 1308.29/1311.82 c #Conflicts: 443000 | #Constraints: 63842 1308.29/1311.82 c #Conflicts: 444000 | #Constraints: 64842 1308.29/1311.82 c #Conflicts: 445000 | #Constraints: 65856 1308.29/1311.82 c #Conflicts: 446000 | #Constraints: 67108 1308.29/1311.82 c #Conflicts: 447000 | #Constraints: 68108 1308.29/1311.82 c #Conflicts: 448000 | #Constraints: 69108 1308.29/1311.82 c #Conflicts: 449000 | #Constraints: 70122 1308.29/1311.82 c #Conflicts: 450000 | #Constraints: 71199 1308.29/1311.82 c #Conflicts: 451000 | #Constraints: 72199 1308.29/1311.82 c #Conflicts: 452000 | #Constraints: 73200 1308.29/1311.82 c #Conflicts: 453000 | #Constraints: 74205 1308.29/1311.82 c #Conflicts: 454000 | #Constraints: 75265 1308.29/1311.82 c #Conflicts: 455000 | #Constraints: 76265 1308.29/1311.82 c INPROCESSING 1308.29/1311.82 c GARBAGE COLLECT 1308.29/1311.82 c rational objective 148 1421.94/1425.85 c #Conflicts: 456000 | #Constraints: 39576 1421.94/1425.85 c #Conflicts: 457000 | #Constraints: 40576 1421.94/1425.85 c #Conflicts: 458000 | #Constraints: 41576 1421.94/1425.85 c #Conflicts: 459000 | #Constraints: 42576 1421.94/1425.85 c #Conflicts: 460000 | #Constraints: 43576 1421.94/1425.85 c #Conflicts: 461000 | #Constraints: 44577 1421.94/1425.85 c #Conflicts: 462000 | #Constraints: 45577 1421.94/1425.85 c #Conflicts: 463000 | #Constraints: 46578 1421.94/1425.85 c #Conflicts: 464000 | #Constraints: 47578 1421.94/1425.85 c #Conflicts: 465000 | #Constraints: 48578 1421.94/1425.85 c #Conflicts: 466000 | #Constraints: 49579 1421.94/1425.85 c #Conflicts: 467000 | #Constraints: 50579 1421.94/1425.85 c #Conflicts: 468000 | #Constraints: 51579 1421.94/1425.85 c #Conflicts: 469000 | #Constraints: 52579 1421.94/1425.85 c #Conflicts: 470000 | #Constraints: 53579 1421.94/1425.85 c #Conflicts: 471000 | #Constraints: 54579 1421.94/1425.85 c #Conflicts: 472000 | #Constraints: 55580 1421.94/1425.85 c INPROCESSING 1421.94/1425.85 c GARBAGE COLLECT 1421.94/1425.85 c rational objective 148 1483.85/1487.98 c #Conflicts: 473000 | #Constraints: 29358 1483.85/1487.98 c #Conflicts: 474000 | #Constraints: 30358 1483.85/1487.98 c #Conflicts: 475000 | #Constraints: 31358 1483.85/1487.98 c #Conflicts: 476000 | #Constraints: 32358 1483.85/1487.98 c #Conflicts: 477000 | #Constraints: 33358 1483.85/1487.98 c #Conflicts: 478000 | #Constraints: 34358 1483.85/1487.98 c #Conflicts: 479000 | #Constraints: 35359 1483.85/1487.98 c #Conflicts: 480000 | #Constraints: 36359 1483.85/1487.98 c #Conflicts: 481000 | #Constraints: 37359 1483.85/1487.98 c #Conflicts: 482000 | #Constraints: 38359 1483.85/1487.98 c #Conflicts: 483000 | #Constraints: 39359 1483.85/1487.98 c #Conflicts: 484000 | #Constraints: 40359 1483.85/1487.98 c #Conflicts: 485000 | #Constraints: 41359 1483.85/1487.98 c #Conflicts: 486000 | #Constraints: 42359 1483.85/1487.98 c #Conflicts: 487000 | #Constraints: 43359 1483.85/1487.98 c #Conflicts: 488000 | #Constraints: 44359 1483.85/1487.98 c #Conflicts: 489000 | #Constraints: 45359 1483.85/1487.98 c INPROCESSING 1483.85/1487.98 c GARBAGE COLLECT 1483.85/1487.98 c rational objective 148 1771.90/1776.86 c #Conflicts: 490000 | #Constraints: 27654 1771.90/1776.86 c #Conflicts: 491000 | #Constraints: 28654 1771.90/1776.86 c #Conflicts: 492000 | #Constraints: 29654 1771.90/1776.86 c #Conflicts: 493000 | #Constraints: 30654 1771.90/1776.86 c #Conflicts: 494000 | #Constraints: 31655 1771.90/1776.86 c #Conflicts: 495000 | #Constraints: 32655 1771.90/1776.86 c #Conflicts: 496000 | #Constraints: 33655 1771.90/1776.86 c #Conflicts: 497000 | #Constraints: 34656 1771.90/1776.86 c #Conflicts: 498000 | #Constraints: 35657 1771.90/1776.86 c #Conflicts: 499000 | #Constraints: 36659 1771.90/1776.86 c #Conflicts: 500000 | #Constraints: 37659 1771.90/1776.86 c #Conflicts: 501000 | #Constraints: 38660 1771.90/1776.86 c #Conflicts: 502000 | #Constraints: 39660 1771.90/1776.86 c #Conflicts: 503000 | #Constraints: 40660 1771.90/1776.86 c #Conflicts: 504000 | #Constraints: 41660 1771.90/1776.86 c #Conflicts: 505000 | #Constraints: 42660 1771.90/1776.86 c #Conflicts: 506000 | #Constraints: 43660 1771.90/1776.86 c #Conflicts: 507000 | #Constraints: 44660 1771.90/1776.86 c #Conflicts: 508000 | #Constraints: 45660 1771.90/1776.86 c #Conflicts: 509000 | #Constraints: 46660 1771.90/1776.86 c #Conflicts: 510000 | #Constraints: 47660 1771.90/1776.86 c #Conflicts: 511000 | #Constraints: 48664 1771.90/1776.86 c #Conflicts: 512000 | #Constraints: 49665 1771.90/1776.86 c #Conflicts: 513000 | #Constraints: 50665 1771.90/1776.86 c #Conflicts: 514000 | #Constraints: 51665 1771.90/1776.86 c #Conflicts: 515000 | #Constraints: 52665 1771.90/1776.86 c #Conflicts: 516000 | #Constraints: 53665 1771.90/1776.86 c #Conflicts: 517000 | #Constraints: 54665 1771.90/1776.86 c #Conflicts: 518000 | #Constraints: 55665 1771.90/1776.86 c #Conflicts: 519000 | #Constraints: 56666 1771.90/1776.86 c #Conflicts: 520000 | #Constraints: 57666 1771.90/1776.86 c #Conflicts: 521000 | #Constraints: 58666 1771.90/1776.86 c #Conflicts: 522000 | #Constraints: 59666 1771.90/1776.86 c #Conflicts: 523000 | #Constraints: 60666 1771.90/1776.86 c #Conflicts: 524000 | #Constraints: 61666 1771.90/1776.86 c #Conflicts: 525000 | #Constraints: 62666 1771.90/1776.86 c #Conflicts: 526000 | #Constraints: 63666 1771.90/1776.86 c #Conflicts: 527000 | #Constraints: 64666 1771.90/1776.86 c #Conflicts: 528000 | #Constraints: 65666 1771.90/1776.86 c #Conflicts: 529000 | #Constraints: 66666 1771.90/1776.87 c #Conflicts: 530000 | #Constraints: 67667 1771.90/1776.87 c #Conflicts: 531000 | #Constraints: 68667 1771.90/1776.87 c #Conflicts: 532000 | #Constraints: 69667 1771.90/1776.87 c #Conflicts: 533000 | #Constraints: 70667 1771.90/1776.87 c #Conflicts: 534000 | #Constraints: 71667 1771.90/1776.87 c #Conflicts: 535000 | #Constraints: 72667 1771.90/1776.87 c #Conflicts: 536000 | #Constraints: 73667 1771.90/1776.87 c #Conflicts: 537000 | #Constraints: 74667 1771.90/1776.87 c #Conflicts: 538000 | #Constraints: 75667 1771.90/1776.87 c #Conflicts: 539000 | #Constraints: 76667 1771.90/1776.87 c #Conflicts: 540000 | #Constraints: 77667 1771.90/1776.87 c INPROCESSING 1771.90/1776.87 c GARBAGE COLLECT 1771.90/1776.87 c rational objective 148 1824.83/1830.01 c #Conflicts: 541000 | #Constraints: 40571 1824.83/1830.01 c #Conflicts: 542000 | #Constraints: 41597 1824.83/1830.01 c #Conflicts: 543000 | #Constraints: 42598 1824.83/1830.01 c #Conflicts: 544000 | #Constraints: 43655 1824.83/1830.01 c #Conflicts: 545000 | #Constraints: 44690 1824.83/1830.01 c #Conflicts: 546000 | #Constraints: 45690 1824.83/1830.01 c #Conflicts: 547000 | #Constraints: 46829 1824.83/1830.01 c #Conflicts: 548000 | #Constraints: 48111 1824.83/1830.01 c #Conflicts: 549000 | #Constraints: 49132 1824.83/1830.01 c #Conflicts: 550000 | #Constraints: 50303 1824.83/1830.01 c #Conflicts: 551000 | #Constraints: 51303 1824.83/1830.01 c #Conflicts: 552000 | #Constraints: 52303 1824.83/1830.01 c #Conflicts: 553000 | #Constraints: 53317 1824.83/1830.01 c #Conflicts: 554000 | #Constraints: 54366 1824.83/1830.01 c #Conflicts: 555000 | #Constraints: 55410 1824.83/1830.01 c #Conflicts: 556000 | #Constraints: 56479 1824.83/1830.01 c #Conflicts: 557000 | #Constraints: 57547 1824.83/1830.01 c #Conflicts: 558000 | #Constraints: 58614 1824.83/1830.01 c INPROCESSING 1824.83/1830.01 c GARBAGE COLLECT 1824.83/1830.01 c rational objective 148 2245.46/2251.65 c #Conflicts: 559000 | #Constraints: 30845 2245.46/2251.65 c #Conflicts: 560000 | #Constraints: 31845 2245.46/2251.65 c #Conflicts: 561000 | #Constraints: 32914 2245.46/2251.65 c #Conflicts: 562000 | #Constraints: 34020 2245.46/2251.65 c #Conflicts: 563000 | #Constraints: 35023 2245.46/2251.65 c #Conflicts: 564000 | #Constraints: 36024 2245.46/2251.65 c #Conflicts: 565000 | #Constraints: 37127 2245.46/2251.65 c #Conflicts: 566000 | #Constraints: 38127 2245.46/2251.65 c #Conflicts: 567000 | #Constraints: 39127 2245.46/2251.65 c #Conflicts: 568000 | #Constraints: 40127 2245.46/2251.65 c #Conflicts: 569000 | #Constraints: 41127 2245.46/2251.65 c #Conflicts: 570000 | #Constraints: 42127 2245.46/2251.65 c #Conflicts: 571000 | #Constraints: 43127 2245.46/2251.65 c #Conflicts: 572000 | #Constraints: 44127 2245.46/2251.65 c #Conflicts: 573000 | #Constraints: 45127 2245.46/2251.65 c #Conflicts: 574000 | #Constraints: 46128 2245.46/2251.65 c #Conflicts: 575000 | #Constraints: 47128 2245.46/2251.65 c #Conflicts: 576000 | #Constraints: 48201 2245.46/2251.65 c #Conflicts: 577000 | #Constraints: 49214 2245.46/2251.65 c #Conflicts: 578000 | #Constraints: 50214 2245.46/2251.65 c #Conflicts: 579000 | #Constraints: 51214 2245.46/2251.65 c #Conflicts: 580000 | #Constraints: 52214 2245.46/2251.65 c #Conflicts: 581000 | #Constraints: 53214 2245.46/2251.65 c #Conflicts: 582000 | #Constraints: 54214 2245.46/2251.65 c #Conflicts: 583000 | #Constraints: 55214 2245.46/2251.65 c #Conflicts: 584000 | #Constraints: 56214 2245.46/2251.65 c #Conflicts: 585000 | #Constraints: 57214 2245.46/2251.65 c #Conflicts: 586000 | #Constraints: 58214 2245.46/2251.65 c #Conflicts: 587000 | #Constraints: 59215 2245.46/2251.65 c #Conflicts: 588000 | #Constraints: 60217 2245.46/2251.65 c #Conflicts: 589000 | #Constraints: 61266 2245.46/2251.65 c #Conflicts: 590000 | #Constraints: 62266 2245.46/2251.65 c #Conflicts: 591000 | #Constraints: 63266 2245.46/2251.65 c #Conflicts: 592000 | #Constraints: 64266 2245.46/2251.65 c #Conflicts: 593000 | #Constraints: 65266 2245.46/2251.65 c #Conflicts: 594000 | #Constraints: 66273 2245.46/2251.65 c #Conflicts: 595000 | #Constraints: 67273 2245.46/2251.65 c bounds 195 >= 148 @ 1983.52 2245.46/2251.65 c #Conflicts: 596000 | #Constraints: 68274 2245.46/2251.65 c #Conflicts: 597000 | #Constraints: 69274 2245.46/2251.65 c #Conflicts: 598000 | #Constraints: 70274 2245.46/2251.65 c #Conflicts: 599000 | #Constraints: 71274 2245.46/2251.65 c #Conflicts: 600000 | #Constraints: 72274 2245.46/2251.65 c #Conflicts: 601000 | #Constraints: 73274 2245.46/2251.65 c #Conflicts: 602000 | #Constraints: 74274 2245.46/2251.65 c #Conflicts: 603000 | #Constraints: 75274 2245.46/2251.65 c #Conflicts: 604000 | #Constraints: 76274 2245.46/2251.65 c #Conflicts: 605000 | #Constraints: 77274 2245.46/2251.65 c #Conflicts: 606000 | #Constraints: 78274 2245.46/2251.65 c #Conflicts: 607000 | #Constraints: 79274 2245.46/2251.65 c #Conflicts: 608000 | #Constraints: 80274 2245.46/2251.65 c #Conflicts: 609000 | #Constraints: 81274 2245.46/2251.65 c #Conflicts: 610000 | #Constraints: 82274 2245.46/2251.65 c #Conflicts: 611000 | #Constraints: 83274 2245.46/2251.65 c #Conflicts: 612000 | #Constraints: 84274 2245.46/2251.65 c INPROCESSING 2245.46/2251.65 c GARBAGE COLLECT 2245.46/2251.65 c rational objective 148 2308.30/2314.61 c #Conflicts: 613000 | #Constraints: 43808 2308.30/2314.61 c #Conflicts: 614000 | #Constraints: 44809 2308.30/2314.61 c #Conflicts: 615000 | #Constraints: 45809 2308.30/2314.61 c #Conflicts: 616000 | #Constraints: 46855 2308.30/2314.61 c #Conflicts: 617000 | #Constraints: 47929 2308.30/2314.61 c #Conflicts: 618000 | #Constraints: 48960 2308.30/2314.61 c #Conflicts: 619000 | #Constraints: 50043 2308.30/2314.61 c #Conflicts: 620000 | #Constraints: 51081 2308.30/2314.61 c #Conflicts: 621000 | #Constraints: 52081 2308.30/2314.61 c #Conflicts: 622000 | #Constraints: 53081 2308.30/2314.61 c #Conflicts: 623000 | #Constraints: 54115 2308.30/2314.61 c #Conflicts: 624000 | #Constraints: 55477 2308.30/2314.61 c #Conflicts: 625000 | #Constraints: 56477 2308.30/2314.61 c #Conflicts: 626000 | #Constraints: 57483 2308.30/2314.61 c #Conflicts: 627000 | #Constraints: 58680 2308.30/2314.61 c #Conflicts: 628000 | #Constraints: 59939 2308.30/2314.61 c #Conflicts: 629000 | #Constraints: 60946 2308.30/2314.61 c #Conflicts: 630000 | #Constraints: 62013 2308.30/2314.61 c #Conflicts: 631000 | #Constraints: 63013 2308.30/2314.61 c #Conflicts: 632000 | #Constraints: 64038 2308.30/2314.61 c INPROCESSING 2308.30/2314.61 c GARBAGE COLLECT 2308.30/2314.61 c rational objective 148 2645.73/2653.08 c #Conflicts: 633000 | #Constraints: 33752 2645.73/2653.08 c #Conflicts: 634000 | #Constraints: 34752 2645.73/2653.08 c #Conflicts: 635000 | #Constraints: 35786 2645.73/2653.08 c #Conflicts: 636000 | #Constraints: 36828 2645.73/2653.08 c #Conflicts: 637000 | #Constraints: 37877 2645.73/2653.08 c #Conflicts: 638000 | #Constraints: 38877 2645.73/2653.08 c #Conflicts: 639000 | #Constraints: 39878 2645.73/2653.08 c #Conflicts: 640000 | #Constraints: 40878 2645.73/2653.08 c #Conflicts: 641000 | #Constraints: 41879 2645.73/2653.08 c #Conflicts: 642000 | #Constraints: 42879 2645.73/2653.08 c #Conflicts: 643000 | #Constraints: 43879 2645.73/2653.08 c #Conflicts: 644000 | #Constraints: 45209 2645.73/2653.08 c #Conflicts: 645000 | #Constraints: 46228 2645.73/2653.08 c #Conflicts: 646000 | #Constraints: 47251 2645.73/2653.08 c #Conflicts: 647000 | #Constraints: 48328 2645.73/2653.08 c #Conflicts: 648000 | #Constraints: 49364 2645.73/2653.08 c #Conflicts: 649000 | #Constraints: 50368 2645.73/2653.08 c #Conflicts: 650000 | #Constraints: 51369 2645.73/2653.08 c #Conflicts: 651000 | #Constraints: 52370 2645.73/2653.08 c #Conflicts: 652000 | #Constraints: 53414 2645.73/2653.08 c #Conflicts: 653000 | #Constraints: 54460 2645.73/2653.08 c #Conflicts: 654000 | #Constraints: 55584 2645.73/2653.08 c #Conflicts: 655000 | #Constraints: 56593 2645.73/2653.08 c #Conflicts: 656000 | #Constraints: 57609 2645.73/2653.08 c #Conflicts: 657000 | #Constraints: 58615 2645.73/2653.08 c #Conflicts: 658000 | #Constraints: 59675 2645.73/2653.08 c #Conflicts: 659000 | #Constraints: 60711 2645.73/2653.08 c #Conflicts: 660000 | #Constraints: 61896 2645.73/2653.08 c #Conflicts: 661000 | #Constraints: 63223 2645.73/2653.08 c #Conflicts: 662000 | #Constraints: 64374 2645.73/2653.08 c #Conflicts: 663000 | #Constraints: 65398 2645.73/2653.08 c #Conflicts: 664000 | #Constraints: 66452 2645.73/2653.08 c #Conflicts: 665000 | #Constraints: 67873 2645.73/2653.08 c #Conflicts: 666000 | #Constraints: 68946 2645.73/2653.08 c #Conflicts: 667000 | #Constraints: 69967 2645.73/2653.08 c #Conflicts: 668000 | #Constraints: 70993 2645.73/2653.08 c #Conflicts: 669000 | #Constraints: 72102 2645.73/2653.08 c #Conflicts: 670000 | #Constraints: 73150 2645.73/2653.08 c #Conflicts: 671000 | #Constraints: 74181 2645.73/2653.08 c #Conflicts: 672000 | #Constraints: 75191 2645.73/2653.08 c #Conflicts: 673000 | #Constraints: 76197 2645.73/2653.08 c #Conflicts: 674000 | #Constraints: 77197 2645.73/2653.08 c #Conflicts: 675000 | #Constraints: 78197 2645.73/2653.08 c #Conflicts: 676000 | #Constraints: 79197 2645.73/2653.08 c #Conflicts: 677000 | #Constraints: 80197 2645.73/2653.08 c #Conflicts: 678000 | #Constraints: 81197 2645.73/2653.08 c #Conflicts: 679000 | #Constraints: 82197 2645.73/2653.08 c #Conflicts: 680000 | #Constraints: 83203 2645.73/2653.08 c #Conflicts: 681000 | #Constraints: 84203 2645.73/2653.08 c #Conflicts: 682000 | #Constraints: 85203 2645.73/2653.08 c #Conflicts: 683000 | #Constraints: 86203 2645.73/2653.08 c #Conflicts: 684000 | #Constraints: 87205 2645.73/2653.08 c #Conflicts: 685000 | #Constraints: 88281 2645.73/2653.08 c #Conflicts: 686000 | #Constraints: 89282 2645.73/2653.08 c #Conflicts: 687000 | #Constraints: 90283 2645.73/2653.08 c #Conflicts: 688000 | #Constraints: 91551 2645.73/2653.08 c INPROCESSING 2645.73/2653.08 c GARBAGE COLLECT 2645.73/2653.08 c rational objective 148 2892.38/2900.56 c #Conflicts: 689000 | #Constraints: 47114 2892.38/2900.56 c #Conflicts: 690000 | #Constraints: 48115 2892.38/2900.56 c #Conflicts: 691000 | #Constraints: 49115 2892.38/2900.56 c #Conflicts: 692000 | #Constraints: 50116 2892.38/2900.56 c #Conflicts: 693000 | #Constraints: 51116 2892.38/2900.56 c #Conflicts: 694000 | #Constraints: 52116 2892.38/2900.56 c #Conflicts: 695000 | #Constraints: 53117 2892.38/2900.56 c #Conflicts: 696000 | #Constraints: 54117 2892.38/2900.56 c #Conflicts: 697000 | #Constraints: 55117 2892.38/2900.56 c #Conflicts: 698000 | #Constraints: 56117 2892.38/2900.56 c #Conflicts: 699000 | #Constraints: 57117 2892.38/2900.56 c #Conflicts: 700000 | #Constraints: 58117 2892.38/2900.56 c #Conflicts: 701000 | #Constraints: 59119 2892.38/2900.56 c #Conflicts: 702000 | #Constraints: 60119 2892.38/2900.56 c #Conflicts: 703000 | #Constraints: 61119 2892.38/2900.56 c #Conflicts: 704000 | #Constraints: 62120 2892.38/2900.56 c #Conflicts: 705000 | #Constraints: 63120 2892.38/2900.56 c #Conflicts: 706000 | #Constraints: 64120 2892.38/2900.56 c #Conflicts: 707000 | #Constraints: 65120 2892.38/2900.56 c #Conflicts: 708000 | #Constraints: 66120 2892.38/2900.56 c #Conflicts: 709000 | #Constraints: 67120 2892.38/2900.56 c INPROCESSING 2892.38/2900.56 c GARBAGE COLLECT 2892.38/2900.56 c rational objective 148 3431.40/3441.11 c #Conflicts: 710000 | #Constraints: 34984 3431.40/3441.11 c #Conflicts: 711000 | #Constraints: 35984 3431.40/3441.11 c #Conflicts: 712000 | #Constraints: 36984 3431.40/3441.11 c #Conflicts: 713000 | #Constraints: 37984 3431.40/3441.11 c #Conflicts: 714000 | #Constraints: 38984 3431.40/3441.11 c #Conflicts: 715000 | #Constraints: 39984 3431.40/3441.11 c #Conflicts: 716000 | #Constraints: 40984 3431.40/3441.11 c #Conflicts: 717000 | #Constraints: 41984 3431.40/3441.11 c #Conflicts: 718000 | #Constraints: 42984 3431.40/3441.11 c #Conflicts: 719000 | #Constraints: 43984 3431.40/3441.11 c #Conflicts: 720000 | #Constraints: 44984 3431.40/3441.11 c #Conflicts: 721000 | #Constraints: 45984 3431.40/3441.11 c #Conflicts: 722000 | #Constraints: 46984 3431.40/3441.11 c #Conflicts: 723000 | #Constraints: 47984 3431.40/3441.11 c #Conflicts: 724000 | #Constraints: 48984 3431.40/3441.11 c #Conflicts: 725000 | #Constraints: 49984 3431.40/3441.11 c #Conflicts: 726000 | #Constraints: 50984 3431.40/3441.11 c #Conflicts: 727000 | #Constraints: 51984 3431.40/3441.11 c #Conflicts: 728000 | #Constraints: 52984 3431.40/3441.11 c #Conflicts: 729000 | #Constraints: 53984 3431.40/3441.11 c #Conflicts: 730000 | #Constraints: 54984 3431.40/3441.11 c #Conflicts: 731000 | #Constraints: 55984 3431.40/3441.11 c #Conflicts: 732000 | #Constraints: 56984 3431.40/3441.11 c #Conflicts: 733000 | #Constraints: 57984 3431.40/3441.11 c #Conflicts: 734000 | #Constraints: 58984 3431.40/3441.11 c #Conflicts: 735000 | #Constraints: 59984 3431.40/3441.11 c #Conflicts: 736000 | #Constraints: 60984 3431.40/3441.11 c #Conflicts: 737000 | #Constraints: 61984 3431.40/3441.11 c #Conflicts: 738000 | #Constraints: 62984 3431.40/3441.11 c #Conflicts: 739000 | #Constraints: 63984 3431.40/3441.11 c #Conflicts: 740000 | #Constraints: 64984 3431.40/3441.11 c #Conflicts: 741000 | #Constraints: 65985 3431.40/3441.11 c #Conflicts: 742000 | #Constraints: 66985 3431.40/3441.11 c #Conflicts: 743000 | #Constraints: 67985 3431.40/3441.11 c #Conflicts: 744000 | #Constraints: 68986 3431.40/3441.11 c #Conflicts: 745000 | #Constraints: 69986 3431.40/3441.11 c #Conflicts: 746000 | #Constraints: 70986 3431.40/3441.11 c #Conflicts: 747000 | #Constraints: 71988 3431.40/3441.11 c #Conflicts: 748000 | #Constraints: 72988 3431.40/3441.11 c #Conflicts: 749000 | #Constraints: 73988 3431.40/3441.11 c #Conflicts: 750000 | #Constraints: 74988 3431.40/3441.11 c #Conflicts: 751000 | #Constraints: 75988 3431.40/3441.11 c #Conflicts: 752000 | #Constraints: 76988 3431.40/3441.11 c #Conflicts: 753000 | #Constraints: 77988 3431.40/3441.11 c #Conflicts: 754000 | #Constraints: 78988 3431.40/3441.11 c #Conflicts: 755000 | #Constraints: 79988 3431.40/3441.11 c #Conflicts: 756000 | #Constraints: 80988 3431.40/3441.11 c #Conflicts: 757000 | #Constraints: 81989 3431.40/3441.11 c #Conflicts: 758000 | #Constraints: 82989 3431.40/3441.11 c #Conflicts: 759000 | #Constraints: 83989 3431.40/3441.11 c #Conflicts: 760000 | #Constraints: 84989 3431.40/3441.11 c #Conflicts: 761000 | #Constraints: 85989 3431.40/3441.11 c #Conflicts: 762000 | #Constraints: 86989 3431.40/3441.11 c #Conflicts: 763000 | #Constraints: 87989 3431.40/3441.11 c #Conflicts: 764000 | #Constraints: 88989 3431.40/3441.11 c #Conflicts: 765000 | #Constraints: 89989 3431.40/3441.11 c #Conflicts: 766000 | #Constraints: 90989 3431.40/3441.11 c #Conflicts: 767000 | #Constraints: 91989 3431.40/3441.11 c #Conflicts: 768000 | #Constraints: 92989 3431.40/3441.11 c #Conflicts: 769000 | #Constraints: 93989 3431.40/3441.11 c INPROCESSING 3431.40/3441.11 c GARBAGE COLLECT 3431.40/3441.11 c rational objective 148 3528.55/3538.55 c #Conflicts: 770000 | #Constraints: 48468 3528.55/3538.55 c #Conflicts: 771000 | #Constraints: 49468 3528.55/3538.55 c #Conflicts: 772000 | #Constraints: 50468 3528.55/3538.55 c #Conflicts: 773000 | #Constraints: 51468 3528.55/3538.55 c #Conflicts: 774000 | #Constraints: 52468 3528.55/3538.55 c #Conflicts: 775000 | #Constraints: 53468 3528.55/3538.55 c #Conflicts: 776000 | #Constraints: 54518 3528.55/3538.55 c #Conflicts: 777000 | #Constraints: 55518 3528.55/3538.55 c #Conflicts: 778000 | #Constraints: 56521 3528.55/3538.55 c #Conflicts: 779000 | #Constraints: 57593 3528.55/3538.55 c #Conflicts: 780000 | #Constraints: 58632 3528.55/3538.55 c #Conflicts: 781000 | #Constraints: 60064 3528.55/3538.55 c #Conflicts: 782000 | #Constraints: 61067 3528.55/3538.55 c #Conflicts: 783000 | #Constraints: 62067 3528.55/3538.55 c #Conflicts: 784000 | #Constraints: 63067 3528.55/3538.55 c #Conflicts: 785000 | #Constraints: 64113 3528.55/3538.55 c #Conflicts: 786000 | #Constraints: 65114 3528.55/3538.55 c #Conflicts: 787000 | #Constraints: 66114 3528.55/3538.55 c #Conflicts: 788000 | #Constraints: 67114 3528.55/3538.55 c #Conflicts: 789000 | #Constraints: 68162 3528.55/3538.55 c #Conflicts: 790000 | #Constraints: 69329 3528.55/3538.55 c #Conflicts: 791000 | #Constraints: 70329 3528.55/3538.55 c #Conflicts: 792000 | #Constraints: 71330 3528.55/3538.55 c INPROCESSING 3528.55/3538.55 c GARBAGE COLLECT 3528.55/3538.55 c rational objective 148 3600.06/3610.20 c #Conflicts: 793000 | #Constraints: 38193 3600.06/3610.20 c #Conflicts: 794000 | #Constraints: 39193 3600.06/3610.20 c #Conflicts: 795000 | #Constraints: 40194 3600.06/3610.20 c #Conflicts: 796000 | #Constraints: 41195 3600.06/3610.20 c #Conflicts: 797000 | #Constraints: 42195 3600.06/3610.20 c #Conflicts: 798000 | #Constraints: 43196 3600.06/3610.20 c #Conflicts: 799000 | #Constraints: 44236 3600.06/3610.20 c #Conflicts: 800000 | #Constraints: 45240 3600.06/3610.20 c #Conflicts: 801000 | #Constraints: 46267 3600.06/3610.20 c #Conflicts: 802000 | #Constraints: 47292 3600.06/3610.20 c #Conflicts: 803000 | #Constraints: 48292 3600.06/3610.20 c #Conflicts: 804000 | #Constraints: 49292 3600.06/3610.20 c #Conflicts: 805000 | #Constraints: 50292 3600.06/3610.20 c #Conflicts: 806000 | #Constraints: 51295 3600.06/3610.20 c #Conflicts: 807000 | #Constraints: 52344 3600.06/3610.20 c #Conflicts: 808000 | #Constraints: 53344 3600.06/3610.20 c #Conflicts: 809000 | #Constraints: 54344 3600.06/3610.20 c #Conflicts: 810000 | #Constraints: 55374 3600.06/3610.20 c #Conflicts: 811000 | #Constraints: 56383 3600.06/3610.20 c #Conflicts: 812000 | #Constraints: 57390 3600.06/3610.20 c Program interrupted by user. 3600.06/3610.20 c cpu time 3584.26 s 3600.06/3610.20 c deterministic time 345803793844 3.46e+11 3600.06/3610.20 c optimization time 71.0691 s 3600.06/3610.20 c total solve time 3513.19 s 3600.06/3610.20 c core-guided solve time 2154.6 s 3600.06/3610.20 c propagation time 3096.23 s 3600.06/3610.20 c conflict analysis time 445.076 s 3600.06/3610.20 c propagations 112155252 3600.06/3610.20 c resolve steps 7156265 3600.06/3610.20 c decisions 5792257 3600.06/3610.20 c conflicts 812535 3600.06/3610.20 c restarts 1753 3600.06/3610.20 c inprocessing phases 44 3600.06/3610.20 c input clauses 308 3600.06/3610.20 c input cardinalities 327 3600.06/3610.20 c input general constraints 913 3600.06/3610.20 c input average constraint length 62.52 3600.06/3610.20 c input average constraint degree 23.66 3600.06/3610.20 c learned clauses 276900 3600.06/3610.20 c learned cardinalities 5453 3600.06/3610.20 c learned general constraints 543539 3600.06/3610.20 c learned average constraint length 185.30 3600.06/3610.20 c learned average constraint degree 71968674.51 3600.06/3610.20 c watched constraints 352084 3600.06/3610.20 c counting constraints 192368 3600.06/3610.20 c gcd simplifications 95412 3600.06/3610.20 c detected cardinalities 2387 3600.06/3610.20 c weakened non-implied lits 33824728 3600.06/3610.20 c weakened non-implying lits 71177 3600.06/3610.20 c original variables 478 3600.06/3610.20 c clausal propagations 13847838 3600.06/3610.20 c cardinality propagations 6016015 3600.06/3610.20 c watched propagations 17119657 3600.06/3610.20 c counting propagations 73550868 3600.06/3610.20 c watch lookups 60042568879 3600.06/3610.20 c watch backjump lookups 53726149267 3600.06/3610.20 c watch checks 212091230920 3600.06/3610.20 c propagation checks 19095696093 3600.06/3610.20 c constraint additions 610555930 3600.06/3610.20 c trail pops 118759746 3600.06/3610.20 c formula constraints 478 3600.06/3610.20 c learned constraints 812551 3600.06/3610.20 c bound constraints 180 3600.06/3610.20 c core-guided constraints 890 3600.06/3610.20 c encountered formula constraints 1208190 3600.06/3610.20 c encountered learned constraints 5706128 3600.06/3610.20 c encountered bound constraints 64 3600.06/3610.20 c encountered core-guided constraints 1050633 3600.06/3610.20 c LP total time 70.26 s 3600.06/3610.20 c LP solve time 63.28 s 3600.06/3610.20 c LP constraints added 535 3600.06/3610.20 c LP constraints removed 51 3600.06/3610.20 c LP pivots internal 812576 3600.06/3610.20 c LP pivots root 72923 3600.06/3610.20 c LP calls 21186 3600.06/3610.20 c LP optimalities 5516 3600.06/3610.20 c LP no pivot count 261 3600.06/3610.20 c LP infeasibilities 15487 3600.06/3610.20 c LP valid Farkas constraints 13288 3600.06/3610.20 c LP learned Farkas constraints 0 3600.06/3610.20 c LP basis resets 179 3600.06/3610.20 c LP cycling count 179 3600.06/3610.20 c LP singular count 0 3600.06/3610.20 c LP no primal count 0 3600.06/3610.20 c LP no farkas count 0 3600.06/3610.20 c LP other issue count 0 3600.06/3610.20 c LP Gomory cuts 53 3600.06/3610.20 c LP learned cuts 4 3600.06/3610.20 c LP deleted cuts 51 3600.06/3610.20 c LP encountered Gomory constraints 0 3600.06/3610.20 c LP encountered Farkas constraints 3785 3600.06/3610.20 c LP encountered learned Farkas constraints 0 3600.06/3610.20 c CG auxiliary variables introduced 346 3600.06/3610.20 c CG solutions found 32 3600.06/3610.20 c CG cores constructed 148 3600.06/3610.20 c CG core cardinality constraints returned 0 3600.06/3610.20 c CG unit cores 0 3600.06/3610.20 c CG single cores 148 3600.06/3610.20 c CG blocks removed during cardinality reduction 0 3600.06/3610.20 c CG first core best 0 3600.06/3610.20 c CG decision core best 0 3600.06/3610.20 c CG core reduction tie 0 3600.06/3610.20 c CG core degree average 1.00 3600.06/3610.20 c CG core slack average 4.07 3600.06/3610.20 s SATISFIABLE 3600.06/3610.20 v -x1 -x2 -x3 x4 -x5 -x6 x7 x8 -x9 x10 -x11 x12 -x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 x22 -x23 x24 x25 x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 x171 -x172 x173 -x174 x175 x176 -x177 -x178 x179 x180 -x181 -x182 x183 -x184 x185 x186 -x187 -x188 -x189 -x190 -x191 x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 x201 x202 -x203 x204 -x205 -x206 -x207 x208 x209 x210 -x211 -x212 -x213 x214 x215 x216 x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 x238 x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 x251 x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 x274 -x275 x276 x277 -x278 x279 x280 x281 -x282 x283 x284 -x285 x286 -x287 x288 x289 x290 -x291 x292 x293 x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 x311 -x312 x313 -x314 x315 x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 x327 -x328 -x329 x330 x331 x332 x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 x348 -x349 x350 x351 x352 x353 -x354 -x355 -x356 -x357 x358 -x359 x360 -x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 -x371 -x372 -x373 -x374 x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 x392 x393 x394 -x395 x396 x397 -x398 x399 -x400 x401 -x402 x403 x404 x405 x406 x407 x408 -x409 x410 -x411 x412 x413 x414 -x415 -x416 x417 x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 x427 x428 x429 -x430 x431 -x432 x433 -x434 x435 x436 x437 x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 x446 x447 -x448 x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 -x473 -x474 -x475 x476 -x477 -x478
OK 195
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 (60817 MiB free)
memory of node 1: 64473 MiB (60531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455126-1721458461/watcher-4455126-1721458461 -o /tmp/evaluation-result-4455126-1721458461/solver-4455126-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056349 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455126-1721458461.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1056412, runsolver pid=1056409
Current StackSize limit: 8192 KiB
[startup+0.100315 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124254596/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=38480 memory=8856 CPUtime=0.09 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 648 0 0 0 9 0 0 0 20 0 1 0 198004870 39403520 2214 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 9620 2214 1758 922 0 1572 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 8856 KiB
[startup+0.212676 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124250972/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=38480 memory=8856 CPUtime=0.2 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 655 0 0 0 19 1 0 0 20 0 1 0 198004870 39403520 2214 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 9620 2214 1758 922 0 1572 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38480 KiB
Current children cumulated memory: 8856 KiB
[startup+0.312771 s]*
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124249444/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=38676 memory=8856 CPUtime=0.31 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 678 0 0 0 29 2 0 0 20 0 1 0 198004870 39604224 2214 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 9669 2214 1758 922 0 1621 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38676 KiB
Current children cumulated memory: 8856 KiB
[startup+0.700262 s]
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124238232/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=40836 memory=12116 CPUtime=0.68 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 1525 0 0 0 60 8 0 0 20 0 1 0 198004870 41816064 3029 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 10209 3029 1788 922 0 2161 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 12116 KiB
[startup+1.50029 s]
/proc/loadavg: 1.10 1.11 1.36 5/249 1056413
/proc/meminfo: memFree=124212236/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=43900 memory=18412 CPUtime=1.47 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 2487 0 0 0 133 14 0 0 20 0 1 0 198004870 44953600 4603 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 10975 4603 1866 922 0 2927 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43900 KiB
Current children cumulated memory: 18412 KiB
[startup+3.11238 s]
/proc/loadavg: 1.41 1.17 1.38 5/249 1056413
/proc/meminfo: memFree=124170396/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=51420 memory=25892 CPUtime=3.09 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 3923 0 0 0 288 21 0 0 20 0 1 0 198004870 52654080 6473 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 12855 6473 1866 922 0 4807 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51420 KiB
Current children cumulated memory: 25892 KiB
[startup+6.30028 s]
/proc/loadavg: 1.41 1.17 1.38 5/249 1056413
/proc/meminfo: memFree=124128808/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=60964 memory=31080 CPUtime=6.27 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 5261 0 0 0 594 33 0 0 20 0 1 0 198004870 62427136 7770 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 15241 7770 1866 922 0 7193 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60964 KiB
Current children cumulated memory: 31080 KiB
[startup+12.7003 s]
/proc/loadavg: 1.62 1.22 1.39 5/249 1056415
/proc/meminfo: memFree=124101204/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=64752 memory=37568 CPUtime=12.65 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 6452 0 0 0 1209 56 0 0 20 0 1 0 198004870 66306048 9392 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 16188 9392 1936 922 0 8140 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64752 KiB
Current children cumulated memory: 37568 KiB
[startup+25.5004 s]
/proc/loadavg: 2.21 1.37 1.44 5/249 1056416
/proc/meminfo: memFree=124013860/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=131184 memory=83836 CPUtime=25.41 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 13911 0 0 0 2458 83 0 0 20 0 1 0 198004870 134332416 20959 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 32796 20959 1936 922 0 24748 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 131184 KiB
Current children cumulated memory: 83836 KiB
[startup+51.1122 s]
/proc/loadavg: 2.82 1.58 1.51 5/249 1056421
/proc/meminfo: memFree=123827340/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=137228 memory=95484 CPUtime=50.96 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 15316 0 0 0 4978 118 0 0 20 0 1 0 198004870 140521472 23871 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 34307 23871 1936 922 0 26259 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 137228 KiB
Current children cumulated memory: 95484 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.65 5/248 1056813
/proc/meminfo: memFree=123702340/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=145104 memory=101008 CPUtime=102.01 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 16713 0 0 0 10008 193 0 0 20 0 1 0 198004870 148586496 25252 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 36276 25252 1936 922 0 28228 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 145104 KiB
Current children cumulated memory: 101008 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.39 1.81 5/248 1056823
/proc/meminfo: memFree=123614812/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=199768 memory=134476 CPUtime=161.83 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 22050 0 0 0 15940 243 0 0 20 0 1 0 198004870 204562432 33619 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 49942 33619 1936 922 0 41894 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 199768 KiB
Current children cumulated memory: 134476 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.70 1.96 5/248 1056834
/proc/meminfo: memFree=123579868/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=200020 memory=135532 CPUtime=221.67 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 22314 0 0 0 21864 303 0 0 20 0 1 0 198004870 204820480 33883 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 50005 33883 1936 922 0 41957 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 200020 KiB
Current children cumulated memory: 135532 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.10 5/250 1057014
/proc/meminfo: memFree=123558840/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=206644 memory=140284 CPUtime=281.51 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 23476 0 0 0 27793 358 0 0 20 0 1 0 198004870 211603456 35071 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 51661 35071 1936 922 0 43613 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 206644 KiB
Current children cumulated memory: 140284 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.22 5/245 1057024
/proc/meminfo: memFree=123474052/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=227736 memory=178620 CPUtime=341.34 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 27982 0 0 0 33750 384 0 0 20 0 1 0 198004870 233201664 44655 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 56934 44655 1936 922 0 48886 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 227736 KiB
Current children cumulated memory: 178620 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.36 2.35 5/243 1057048
/proc/meminfo: memFree=123427972/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=288380 memory=194784 CPUtime=401.18 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 30463 0 0 0 39710 408 0 0 20 0 1 0 198004870 295301120 48696 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 72095 48696 1936 922 0 64047 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 288380 KiB
Current children cumulated memory: 194784 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.51 2.47 5/243 1057058
/proc/meminfo: memFree=123413364/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=288380 memory=194784 CPUtime=461.01 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 30484 0 0 0 45648 453 0 0 20 0 1 0 198004870 295301120 48696 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 72095 48696 1936 922 0 64047 0
################
# More data... #
################
Current children cumulated memory: 357300 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/243 1058100
/proc/meminfo: memFree=122604804/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473564 memory=357328 CPUtime=2854.31 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 52942 0 0 0 284067 1364 0 0 20 0 1 0 198004870 484929536 89332 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118391 89332 1936 922 0 110343 0
Current children cumulated CPU time: 2854.31 s
Current children cumulated vsize: 473564 KiB
Current children cumulated memory: 357328 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.11 4.01 5/243 1058112
/proc/meminfo: memFree=122578312/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=357528 CPUtime=2914.11 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 53168 0 0 0 290032 1379 0 0 20 0 1 0 198004870 485265408 89382 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 89382 1936 922 0 110425 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 357528 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.01 5/243 1058122
/proc/meminfo: memFree=122559160/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=357528 CPUtime=2973.91 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 53344 0 0 0 295988 1403 0 0 20 0 1 0 198004870 485265408 89382 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 89382 1936 922 0 110425 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 357528 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/243 1058133
/proc/meminfo: memFree=122556328/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=357528 CPUtime=3033.71 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 53520 0 0 0 301951 1420 0 0 20 0 1 0 198004870 485265408 89382 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 89382 1936 922 0 110425 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 357528 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/241 1058144
/proc/meminfo: memFree=122556420/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=357528 CPUtime=3093.51 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 53696 0 0 0 307914 1437 0 0 20 0 1 0 198004870 485265408 89382 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 89382 1936 922 0 110425 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 357528 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/241 1058154
/proc/meminfo: memFree=122553676/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=359868 CPUtime=3153.31 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 53876 0 0 0 313878 1453 0 0 20 0 1 0 198004870 485265408 89967 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 89967 1936 922 0 110425 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 359868 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/241 1058164
/proc/meminfo: memFree=122541588/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=373436 CPUtime=3213.13 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 54025 0 0 0 319845 1468 0 0 20 0 1 0 198004870 485265408 93359 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 93359 1936 922 0 110425 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 373436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/241 1058175
/proc/meminfo: memFree=122541128/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=473892 memory=373436 CPUtime=3272.99 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 54162 0 0 0 325820 1479 0 0 20 0 1 0 198004870 485265408 93359 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 118473 93359 1936 922 0 110425 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 473892 KiB
Current children cumulated memory: 373436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/241 1058185
/proc/meminfo: memFree=122536428/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=477248 memory=375172 CPUtime=3332.84 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 54765 0 0 0 331791 1493 0 0 20 0 1 0 198004870 488701952 93793 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 119312 93793 1936 922 0 111264 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 477248 KiB
Current children cumulated memory: 375172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/243 1058199
/proc/meminfo: memFree=122528908/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=479844 memory=376776 CPUtime=3392.68 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 55295 0 0 0 337766 1502 0 0 20 0 1 0 198004870 491360256 94194 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 119961 94194 1936 922 0 111913 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 479844 KiB
Current children cumulated memory: 376776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/243 1058209
/proc/meminfo: memFree=122517612/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=483684 memory=379096 CPUtime=3452.54 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 56262 0 0 0 343734 1520 0 0 20 0 1 0 198004870 495292416 94774 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 120921 94774 1936 922 0 112873 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 483684 KiB
Current children cumulated memory: 379096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/243 1058220
/proc/meminfo: memFree=122497788/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=483684 memory=379096 CPUtime=3512.38 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 56419 0 0 0 349695 1543 0 0 20 0 1 0 198004870 495292416 94774 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 120921 94774 1936 922 0 112873 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 483684 KiB
Current children cumulated memory: 379096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/243 1058230
/proc/meminfo: memFree=122495904/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=484384 memory=379500 CPUtime=3572.24 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 56660 0 0 0 355654 1570 0 0 20 0 1 0 198004870 496009216 94875 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 121096 94875 1936 922 0 113048 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 484384 KiB
Current children cumulated memory: 379500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.55 4.22 4.08 5/233 1058307
/proc/meminfo: memFree=123063748/131655788 swapFree=131071996/131071996
[pid=1056412] ppid=1056409 vsize=484384 memory=379500 CPUtime=3600.06 cores=5,7
/proc/1056412/stat : 1056412 (roundingsat) R 1056409 1056412 1056336 0 -1 4194304 56789 0 0 0 358426 1580 0 0 20 0 1 0 198004870 496009216 94875 134679101440 4194304 7968373 140724814904208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 37679104 140724814910396 140724814910560 140724814910560 140724814917577 0
/proc/1056412/statm: 121096 94875 1936 922 0 113048 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 484384 KiB
Current children cumulated memory: 379500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 1056412 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.27 s, system=15.811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.08
CPU user time (s): 3584.27
CPU system time (s): 15.811
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 484384
Max. memory (cumulated for all children) (KiB): 379500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.27
system time used= 15.811
maximum resident set size= 379924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105
involuntary context switches= 2400
# summary of solver processes directly reported to runsolver:
# pid: 1056412
# total CPU time (s): 3600.08
# total CPU user time (s): 3584.27
# total CPU system time (s): 15.811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.5172 second user time and 24.4302 second system time
The end
Begin job on nodeC005 at 2024-07-20 08:54:33 IDJOB=4455126 IDBENCH=147538 IDSOLVER=3084 FILE ID=nodeC005/4455126-1721458461 RUNJOBID= nodeC005-1721458472-1056349 SLURM_JOB_ID= 7545703 Free space on /tmp= 723768 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455126-1721458461/watcher-4455126-1721458461 -o /tmp/evaluation-result-4455126-1721458461/solver-4455126-1721458461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721458472-1056349 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455126-1721458461.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12 RANDOM SEED=1503439480 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 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.53 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.190 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.35 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.239 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.53 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.176 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.35 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.176 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.53 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.227 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.35 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.220 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.53 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.177 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124261848 kB MemAvailable: 129842028 kB Buffers: 559432 kB Cached: 5801056 kB SwapCached: 0 kB Active: 1174988 kB Inactive: 5513708 kB Active(anon): 3336 kB Inactive(anon): 370844 kB Active(file): 1171652 kB Inactive(file): 5142864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21184 kB Writeback: 0 kB AnonPages: 327528 kB Mapped: 108268 kB Shmem: 45896 kB KReclaimable: 212400 kB Slab: 332744 kB SReclaimable: 212400 kB SUnreclaim: 120344 kB KernelStack: 3812 kB PageTables: 10476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 649932 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62336 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 303944 kB DirectMap2M: 40495104 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723480 MiB End job on nodeC005 at 2024-07-20 09:54:43