| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 193 | 3600.07 | 3609.12 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | b1303fc064b9de7d315268cbf770fb1d |
| 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 | 181 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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.00 c #variables 470 #constraints 470 0.09/0.17 c bounds - >= 0 @ 0.002062 0.09/0.17 c bounds 224 >= 0 @ 0.133315 0.09/0.17 c bounds 224 >= 1 @ 0.133315 0.09/0.17 c bounds 224 >= 2 @ 0.133315 0.09/0.17 c bounds 224 >= 3 @ 0.133315 0.09/0.17 c bounds 224 >= 4 @ 0.133315 0.09/0.17 c bounds 224 >= 5 @ 0.133315 0.09/0.17 c bounds 224 >= 6 @ 0.133315 0.09/0.17 c bounds 224 >= 7 @ 0.133315 0.09/0.17 c bounds 224 >= 8 @ 0.133342 0.09/0.17 c bounds 224 >= 9 @ 0.133416 0.09/0.17 c bounds 224 >= 10 @ 0.133491 0.09/0.17 c bounds 224 >= 11 @ 0.133568 0.09/0.17 c bounds 224 >= 12 @ 0.133666 0.09/0.17 c bounds 224 >= 13 @ 0.133745 0.09/0.17 c bounds 224 >= 14 @ 0.133833 0.09/0.17 c bounds 224 >= 15 @ 0.133928 0.09/0.17 c bounds 224 >= 16 @ 0.134025 0.09/0.17 c bounds 224 >= 17 @ 0.134121 0.09/0.17 c bounds 224 >= 18 @ 0.134219 0.09/0.17 c bounds 224 >= 19 @ 0.134317 0.09/0.17 c bounds 224 >= 20 @ 0.134441 0.09/0.17 c bounds 224 >= 21 @ 0.134547 0.09/0.17 c bounds 224 >= 22 @ 0.134669 0.09/0.17 c bounds 224 >= 23 @ 0.134775 0.09/0.17 c bounds 224 >= 24 @ 0.134883 0.09/0.17 c bounds 224 >= 25 @ 0.134988 0.09/0.17 c bounds 224 >= 26 @ 0.135101 0.09/0.17 c bounds 223 >= 26 @ 0.140893 0.09/0.17 c bounds 223 >= 27 @ 0.141017 0.09/0.17 c bounds 223 >= 28 @ 0.14113 0.09/0.17 c bounds 223 >= 29 @ 0.141257 0.09/0.17 c bounds 223 >= 30 @ 0.141301 0.09/0.17 c bounds 223 >= 31 @ 0.141301 0.09/0.17 c bounds 223 >= 32 @ 0.141301 0.09/0.17 c bounds 223 >= 33 @ 0.141301 0.09/0.17 c bounds 223 >= 34 @ 0.141301 0.09/0.17 c bounds 223 >= 35 @ 0.141301 0.09/0.17 c bounds 223 >= 36 @ 0.141301 0.09/0.17 c bounds 223 >= 37 @ 0.141329 0.09/0.17 c bounds 223 >= 38 @ 0.141459 0.09/0.17 c bounds 223 >= 39 @ 0.141591 0.09/0.17 c bounds 223 >= 40 @ 0.141721 0.09/0.17 c bounds 223 >= 41 @ 0.141888 0.09/0.17 c bounds 223 >= 42 @ 0.142184 0.09/0.17 c bounds 223 >= 43 @ 0.142327 0.09/0.17 c bounds 223 >= 44 @ 0.142468 0.09/0.17 c bounds 223 >= 45 @ 0.142609 0.09/0.17 c bounds 223 >= 46 @ 0.142744 0.09/0.17 c bounds 223 >= 47 @ 0.142879 0.09/0.17 c bounds 223 >= 48 @ 0.143009 0.09/0.17 c bounds 223 >= 49 @ 0.143144 0.09/0.17 c bounds 223 >= 50 @ 0.143272 0.09/0.17 c bounds 223 >= 51 @ 0.143298 0.09/0.17 c bounds 223 >= 52 @ 0.143298 0.09/0.17 c bounds 223 >= 53 @ 0.143298 0.09/0.17 c bounds 223 >= 54 @ 0.143298 0.09/0.17 c bounds 223 >= 55 @ 0.143298 0.09/0.17 c bounds 223 >= 56 @ 0.143298 0.09/0.17 c bounds 223 >= 57 @ 0.143298 0.09/0.17 c bounds 223 >= 58 @ 0.143327 0.09/0.17 c bounds 223 >= 59 @ 0.143465 0.09/0.17 c bounds 223 >= 60 @ 0.143602 0.09/0.17 c bounds 223 >= 61 @ 0.143748 0.09/0.17 c bounds 223 >= 62 @ 0.143892 0.09/0.17 c bounds 223 >= 63 @ 0.144049 0.09/0.17 c bounds 223 >= 64 @ 0.144195 0.09/0.17 c bounds 223 >= 65 @ 0.144298 0.09/0.17 c bounds 223 >= 66 @ 0.144298 0.09/0.17 c bounds 223 >= 67 @ 0.144298 0.09/0.17 c bounds 223 >= 68 @ 0.144298 0.09/0.17 c bounds 223 >= 69 @ 0.144298 0.09/0.17 c bounds 223 >= 70 @ 0.144298 0.09/0.17 c bounds 223 >= 71 @ 0.144298 0.09/0.17 c bounds 223 >= 72 @ 0.1443 0.09/0.17 c bounds 223 >= 73 @ 0.1443 0.09/0.17 c bounds 223 >= 74 @ 0.1443 0.09/0.17 c bounds 223 >= 75 @ 0.1443 0.09/0.17 c bounds 223 >= 76 @ 0.1443 0.09/0.17 c bounds 223 >= 77 @ 0.1443 0.09/0.17 c bounds 223 >= 78 @ 0.144302 0.09/0.17 c bounds 223 >= 79 @ 0.144302 0.09/0.17 c bounds 223 >= 80 @ 0.144302 0.09/0.17 c bounds 223 >= 81 @ 0.144302 0.09/0.17 c bounds 223 >= 82 @ 0.144302 0.09/0.17 c bounds 223 >= 83 @ 0.144302 0.09/0.17 c bounds 223 >= 84 @ 0.144302 0.09/0.17 c bounds 223 >= 85 @ 0.144453 0.09/0.17 c bounds 223 >= 86 @ 0.144611 0.09/0.17 c bounds 223 >= 87 @ 0.144762 0.09/0.17 c bounds 223 >= 88 @ 0.144909 0.09/0.17 c bounds 223 >= 89 @ 0.145061 0.09/0.17 c bounds 223 >= 90 @ 0.14522 0.09/0.17 c bounds 223 >= 91 @ 0.145302 0.09/0.17 c bounds 223 >= 92 @ 0.145302 0.09/0.17 c bounds 223 >= 93 @ 0.145302 0.09/0.17 c bounds 223 >= 94 @ 0.145302 0.09/0.17 c bounds 223 >= 95 @ 0.145302 0.09/0.17 c bounds 223 >= 96 @ 0.145302 0.09/0.17 c bounds 223 >= 97 @ 0.145302 0.09/0.17 c bounds 223 >= 98 @ 0.145303 0.09/0.17 c bounds 223 >= 99 @ 0.145303 0.09/0.17 c bounds 223 >= 100 @ 0.145303 0.09/0.17 c bounds 223 >= 101 @ 0.145303 0.09/0.17 c bounds 223 >= 102 @ 0.145303 0.09/0.17 c bounds 223 >= 103 @ 0.145303 0.09/0.17 c bounds 223 >= 104 @ 0.145359 0.09/0.17 c bounds 223 >= 105 @ 0.145497 0.09/0.17 c bounds 223 >= 106 @ 0.145663 0.09/0.17 c bounds 223 >= 107 @ 0.145807 0.09/0.17 c bounds 223 >= 108 @ 0.145965 0.09/0.17 c bounds 222 >= 108 @ 0.146656 0.09/0.17 c bounds 222 >= 109 @ 0.146827 0.09/0.17 c bounds 222 >= 110 @ 0.146999 0.09/0.17 c bounds 222 >= 111 @ 0.14717 0.09/0.17 c bounds 222 >= 112 @ 0.147304 0.09/0.17 c bounds 222 >= 113 @ 0.147304 0.09/0.17 c bounds 222 >= 114 @ 0.147304 0.09/0.17 c bounds 222 >= 115 @ 0.147304 0.09/0.17 c bounds 222 >= 116 @ 0.147304 0.09/0.17 c bounds 222 >= 117 @ 0.147304 0.09/0.17 c bounds 222 >= 118 @ 0.147393 0.09/0.17 c bounds 222 >= 119 @ 0.147567 0.09/0.17 c bounds 222 >= 120 @ 0.147759 0.09/0.17 c bounds 222 >= 121 @ 0.147952 0.09/0.17 c bounds 222 >= 122 @ 0.148131 0.09/0.17 c bounds 222 >= 123 @ 0.148347 0.09/0.17 c bounds 222 >= 124 @ 0.148542 0.09/0.17 c bounds 222 >= 125 @ 0.14878 0.09/0.17 c bounds 222 >= 126 @ 0.148986 0.09/0.17 c bounds 222 >= 127 @ 0.149205 0.09/0.17 c bounds 222 >= 128 @ 0.149301 0.09/0.17 c bounds 222 >= 129 @ 0.149301 0.09/0.17 c bounds 222 >= 130 @ 0.149301 0.09/0.17 c bounds 222 >= 131 @ 0.149301 0.09/0.17 c bounds 222 >= 132 @ 0.149302 0.09/0.17 c bounds 222 >= 133 @ 0.149302 0.69/0.76 c bounds 221 >= 133 @ 0.149304 0.69/0.76 c bounds 221 >= 134 @ 0.149306 0.69/0.76 c bounds 221 >= 135 @ 0.149307 0.69/0.76 c bounds 221 >= 136 @ 0.149307 0.69/0.76 c bounds 221 >= 137 @ 0.150221 0.69/0.76 c bounds 220 >= 137 @ 0.1523 0.69/0.76 c bounds 220 >= 138 @ 0.152303 0.69/0.76 c bounds 220 >= 139 @ 0.153405 0.69/0.76 c bounds 220 >= 140 @ 0.157322 0.69/0.76 c bounds 219 >= 140 @ 0.158459 0.69/0.76 c #Conflicts: 1000 | #Constraints: 2114 0.69/0.76 c bounds 218 >= 140 @ 0.278685 0.69/0.76 c bounds 218 >= 141 @ 0.288242 0.69/0.76 c bounds 218 >= 142 @ 0.327198 0.69/0.76 c #Conflicts: 2000 | #Constraints: 3205 0.69/0.76 c INPROCESSING 0.69/0.76 c GARBAGE COLLECT 0.69/0.76 c rational objective 142 1.39/1.47 c bounds 217 >= 142 @ 0.849438 1.39/1.47 c bounds 216 >= 142 @ 0.852019 1.39/1.47 c bounds 215 >= 142 @ 0.855258 1.39/1.47 c #Conflicts: 3000 | #Constraints: 3116 1.39/1.47 c bounds 214 >= 142 @ 1.00441 1.39/1.47 c bounds 214 >= 143 @ 1.01766 1.39/1.47 c #Conflicts: 4000 | #Constraints: 4174 1.39/1.47 c INPROCESSING 1.39/1.47 c GARBAGE COLLECT 1.39/1.47 c rational objective 143 2.58/2.60 c bounds 213 >= 143 @ 1.49485 2.58/2.60 c bounds 212 >= 143 @ 1.49766 2.58/2.60 c bounds 211 >= 143 @ 1.50752 2.58/2.60 c bounds 210 >= 143 @ 1.51565 2.58/2.60 c bounds 209 >= 143 @ 1.60218 2.58/2.60 c #Conflicts: 5000 | #Constraints: 3617 2.58/2.60 c bounds 208 >= 143 @ 1.63295 2.58/2.60 c bounds 207 >= 143 @ 1.76403 2.58/2.60 c #Conflicts: 6000 | #Constraints: 4619 2.58/2.60 c bounds 207 >= 144 @ 2.19786 2.58/2.60 c INPROCESSING 2.58/2.60 c GARBAGE COLLECT 2.58/2.60 c rational objective 144 3.28/3.33 c #Conflicts: 7000 | #Constraints: 3620 3.28/3.33 c #Conflicts: 8000 | #Constraints: 4620 3.28/3.33 c #Conflicts: 9000 | #Constraints: 5620 3.28/3.33 c INPROCESSING 3.28/3.33 c GARBAGE COLLECT 3.28/3.33 c rational objective 144 4.48/4.55 c #Conflicts: 10000 | #Constraints: 4306 4.48/4.55 c #Conflicts: 11000 | #Constraints: 5306 4.48/4.55 c #Conflicts: 12000 | #Constraints: 6306 4.48/4.55 c INPROCESSING 4.48/4.55 c GARBAGE COLLECT 4.48/4.55 c rational objective 144 5.38/5.44 c bounds 206 >= 144 @ 4.5141 5.38/5.44 c bounds 205 >= 144 @ 4.61356 5.38/5.44 c bounds 204 >= 144 @ 4.62514 5.38/5.44 c #Conflicts: 13000 | #Constraints: 4815 5.38/5.44 c #Conflicts: 14000 | #Constraints: 5815 5.38/5.44 c #Conflicts: 15000 | #Constraints: 6815 5.38/5.44 c INPROCESSING 5.38/5.44 c GARBAGE COLLECT 5.38/5.44 c rational objective 144 6.68/6.76 c #Conflicts: 16000 | #Constraints: 5012 6.68/6.76 c bounds 204 >= 145 @ 5.80112 6.68/6.76 c bounds 203 >= 145 @ 5.83629 6.68/6.76 c #Conflicts: 17000 | #Constraints: 6073 6.68/6.76 c #Conflicts: 18000 | #Constraints: 7073 6.68/6.76 c INPROCESSING 6.68/6.76 c GARBAGE COLLECT 6.68/6.76 c rational objective 145 8.58/8.61 c #Conflicts: 19000 | #Constraints: 5075 8.58/8.61 c #Conflicts: 20000 | #Constraints: 6075 8.58/8.61 c #Conflicts: 21000 | #Constraints: 7075 8.58/8.61 c INPROCESSING 8.58/8.61 c GARBAGE COLLECT 8.58/8.61 c rational objective 145 9.97/10.06 c #Conflicts: 22000 | #Constraints: 4934 9.97/10.06 c #Conflicts: 23000 | #Constraints: 5934 9.97/10.06 c #Conflicts: 24000 | #Constraints: 6937 9.97/10.06 c bounds 202 >= 145 @ 9.25703 9.97/10.06 c #Conflicts: 25000 | #Constraints: 7938 9.97/10.06 c INPROCESSING 9.97/10.06 c GARBAGE COLLECT 9.97/10.06 c rational objective 145 12.46/12.54 c #Conflicts: 26000 | #Constraints: 5502 12.46/12.54 c #Conflicts: 27000 | #Constraints: 6502 12.46/12.54 c #Conflicts: 28000 | #Constraints: 7502 12.46/12.54 c #Conflicts: 29000 | #Constraints: 8502 12.46/12.54 c INPROCESSING 12.46/12.54 c GARBAGE COLLECT 12.46/12.54 c rational objective 145 23.54/23.62 c #Conflicts: 30000 | #Constraints: 5947 23.54/23.62 c bounds 201 >= 145 @ 12.5947 23.54/23.62 c #Conflicts: 31000 | #Constraints: 6948 23.54/23.62 c #Conflicts: 32000 | #Constraints: 7948 23.54/23.62 c #Conflicts: 33000 | #Constraints: 8948 23.54/23.62 c bounds 200 >= 145 @ 13.6809 23.54/23.62 c #Conflicts: 34000 | #Constraints: 9949 23.54/23.62 c #Conflicts: 35000 | #Constraints: 10949 23.54/23.62 c #Conflicts: 36000 | #Constraints: 11949 23.54/23.62 c #Conflicts: 37000 | #Constraints: 12949 23.54/23.62 c #Conflicts: 38000 | #Constraints: 13949 23.54/23.62 c #Conflicts: 39000 | #Constraints: 14950 23.54/23.62 c #Conflicts: 40000 | #Constraints: 15950 23.54/23.62 c #Conflicts: 41000 | #Constraints: 16950 23.54/23.62 c #Conflicts: 42000 | #Constraints: 17950 23.54/23.62 c INPROCESSING 23.54/23.62 c GARBAGE COLLECT 23.54/23.62 c rational objective 145 31.51/31.65 c #Conflicts: 43000 | #Constraints: 10159 31.51/31.65 c #Conflicts: 44000 | #Constraints: 11160 31.51/31.65 c #Conflicts: 45000 | #Constraints: 12160 31.51/31.65 c #Conflicts: 46000 | #Constraints: 13160 31.51/31.65 c #Conflicts: 47000 | #Constraints: 14160 31.51/31.65 c #Conflicts: 48000 | #Constraints: 15160 31.51/31.65 c INPROCESSING 31.51/31.65 c GARBAGE COLLECT 31.51/31.65 c rational objective 145 36.01/36.16 c bounds 200 >= 146 @ 31.4746 36.01/36.16 c #Conflicts: 49000 | #Constraints: 9322 36.01/36.16 c #Conflicts: 50000 | #Constraints: 10322 36.01/36.16 c #Conflicts: 51000 | #Constraints: 11322 36.01/36.16 c #Conflicts: 52000 | #Constraints: 12322 36.01/36.16 c #Conflicts: 53000 | #Constraints: 13322 36.01/36.16 c INPROCESSING 36.01/36.16 c GARBAGE COLLECT 36.01/36.16 c rational objective 146 40.20/40.32 c #Conflicts: 54000 | #Constraints: 8230 40.20/40.32 c #Conflicts: 55000 | #Constraints: 9230 40.20/40.32 c #Conflicts: 56000 | #Constraints: 10230 40.20/40.32 c #Conflicts: 57000 | #Constraints: 11230 40.20/40.32 c #Conflicts: 58000 | #Constraints: 12230 40.20/40.32 c INPROCESSING 40.20/40.32 c GARBAGE COLLECT 40.20/40.32 c rational objective 146 75.51/75.79 c #Conflicts: 59000 | #Constraints: 7446 75.51/75.79 c #Conflicts: 60000 | #Constraints: 8447 75.51/75.79 c #Conflicts: 61000 | #Constraints: 9460 75.51/75.79 c #Conflicts: 62000 | #Constraints: 10460 75.51/75.79 c #Conflicts: 63000 | #Constraints: 11460 75.51/75.79 c #Conflicts: 64000 | #Constraints: 12460 75.51/75.79 c #Conflicts: 65000 | #Constraints: 13460 75.51/75.79 c #Conflicts: 66000 | #Constraints: 14460 75.51/75.79 c #Conflicts: 67000 | #Constraints: 15460 75.51/75.79 c #Conflicts: 68000 | #Constraints: 16493 75.51/75.79 c #Conflicts: 69000 | #Constraints: 17493 75.51/75.79 c #Conflicts: 70000 | #Constraints: 18493 75.51/75.79 c bounds 199 >= 146 @ 47.9775 75.51/75.79 c #Conflicts: 71000 | #Constraints: 19494 75.51/75.79 c #Conflicts: 72000 | #Constraints: 20494 75.51/75.79 c #Conflicts: 73000 | #Constraints: 21494 75.51/75.79 c #Conflicts: 74000 | #Constraints: 22494 75.51/75.79 c #Conflicts: 75000 | #Constraints: 23494 75.51/75.79 c #Conflicts: 76000 | #Constraints: 24494 75.51/75.79 c #Conflicts: 77000 | #Constraints: 25494 75.51/75.79 c #Conflicts: 78000 | #Constraints: 26494 75.51/75.79 c INPROCESSING 75.51/75.79 c GARBAGE COLLECT 75.51/75.79 c rational objective 146 80.39/80.62 c #Conflicts: 79000 | #Constraints: 14980 80.39/80.62 c #Conflicts: 80000 | #Constraints: 15980 80.39/80.62 c #Conflicts: 81000 | #Constraints: 17038 80.39/80.62 c #Conflicts: 82000 | #Constraints: 18039 80.39/80.62 c #Conflicts: 83000 | #Constraints: 19791 80.39/80.62 c bounds 198 >= 146 @ 77.3631 80.39/80.62 c #Conflicts: 84000 | #Constraints: 20947 80.39/80.62 c INPROCESSING 80.39/80.62 c GARBAGE COLLECT 80.39/80.62 c rational objective 146 86.79/87.02 c #Conflicts: 85000 | #Constraints: 11726 86.79/87.02 c #Conflicts: 86000 | #Constraints: 12726 86.79/87.02 c #Conflicts: 87000 | #Constraints: 13726 86.79/87.02 c #Conflicts: 88000 | #Constraints: 14726 86.79/87.02 c #Conflicts: 89000 | #Constraints: 15726 86.79/87.02 c #Conflicts: 90000 | #Constraints: 16726 86.79/87.02 c #Conflicts: 91000 | #Constraints: 17726 86.79/87.02 c INPROCESSING 86.79/87.02 c GARBAGE COLLECT 86.79/87.02 c rational objective 146 94.96/95.27 c #Conflicts: 92000 | #Constraints: 10117 94.96/95.27 c #Conflicts: 93000 | #Constraints: 11117 94.96/95.27 c #Conflicts: 94000 | #Constraints: 12117 94.96/95.27 c #Conflicts: 95000 | #Constraints: 13117 94.96/95.27 c #Conflicts: 96000 | #Constraints: 14117 94.96/95.27 c #Conflicts: 97000 | #Constraints: 15117 94.96/95.27 c #Conflicts: 98000 | #Constraints: 16117 94.96/95.27 c #Conflicts: 99000 | #Constraints: 17117 94.96/95.27 c INPROCESSING 94.96/95.27 c GARBAGE COLLECT 94.96/95.27 c rational objective 146 156.61/157.02 c #Conflicts: 100000 | #Constraints: 10291 156.61/157.02 c #Conflicts: 101000 | #Constraints: 11291 156.61/157.02 c bounds 197 >= 146 @ 94.1963 156.61/157.02 c #Conflicts: 102000 | #Constraints: 12292 156.61/157.02 c #Conflicts: 103000 | #Constraints: 13292 156.61/157.02 c #Conflicts: 104000 | #Constraints: 14295 156.61/157.02 c bounds 196 >= 146 @ 96.5434 156.61/157.02 c #Conflicts: 105000 | #Constraints: 15301 156.61/157.02 c #Conflicts: 106000 | #Constraints: 16347 156.61/157.02 c #Conflicts: 107000 | #Constraints: 17347 156.61/157.02 c bounds 195 >= 146 @ 100.253 156.61/157.02 c #Conflicts: 108000 | #Constraints: 18348 156.61/157.02 c #Conflicts: 109000 | #Constraints: 19348 156.61/157.02 c #Conflicts: 110000 | #Constraints: 20348 156.61/157.02 c #Conflicts: 111000 | #Constraints: 21348 156.61/157.02 c #Conflicts: 112000 | #Constraints: 22348 156.61/157.02 c #Conflicts: 113000 | #Constraints: 23348 156.61/157.02 c #Conflicts: 114000 | #Constraints: 24348 156.61/157.02 c #Conflicts: 115000 | #Constraints: 25348 156.61/157.02 c #Conflicts: 116000 | #Constraints: 26348 156.61/157.02 c #Conflicts: 117000 | #Constraints: 27348 156.61/157.02 c #Conflicts: 118000 | #Constraints: 28348 156.61/157.02 c #Conflicts: 119000 | #Constraints: 29348 156.61/157.02 c #Conflicts: 120000 | #Constraints: 30349 156.61/157.02 c #Conflicts: 121000 | #Constraints: 31349 156.61/157.02 c #Conflicts: 122000 | #Constraints: 32349 156.61/157.02 c #Conflicts: 123000 | #Constraints: 33349 156.61/157.02 c INPROCESSING 156.61/157.02 c GARBAGE COLLECT 156.61/157.02 c rational objective 146 168.08/168.54 c #Conflicts: 124000 | #Constraints: 18173 168.08/168.54 c #Conflicts: 125000 | #Constraints: 19173 168.08/168.54 c #Conflicts: 126000 | #Constraints: 20173 168.08/168.54 c #Conflicts: 127000 | #Constraints: 21173 168.08/168.54 c #Conflicts: 128000 | #Constraints: 22173 168.08/168.54 c #Conflicts: 129000 | #Constraints: 23173 168.08/168.54 c #Conflicts: 130000 | #Constraints: 24192 168.08/168.54 c #Conflicts: 131000 | #Constraints: 25202 168.08/168.54 c #Conflicts: 132000 | #Constraints: 26202 168.08/168.54 c INPROCESSING 168.08/168.54 c GARBAGE COLLECT 168.08/168.54 c rational objective 146 176.66/177.13 c #Conflicts: 133000 | #Constraints: 14757 176.66/177.13 c bounds 194 >= 146 @ 166.976 176.66/177.13 c #Conflicts: 134000 | #Constraints: 15758 176.66/177.13 c #Conflicts: 135000 | #Constraints: 16758 176.66/177.13 c #Conflicts: 136000 | #Constraints: 17812 176.66/177.13 c #Conflicts: 137000 | #Constraints: 18815 176.66/177.13 c #Conflicts: 138000 | #Constraints: 19856 176.66/177.13 c #Conflicts: 139000 | #Constraints: 20870 176.66/177.13 c #Conflicts: 140000 | #Constraints: 21870 176.66/177.13 c INPROCESSING 176.66/177.13 c GARBAGE COLLECT 176.66/177.13 c rational objective 146 186.33/186.88 c #Conflicts: 141000 | #Constraints: 12249 186.33/186.88 c #Conflicts: 142000 | #Constraints: 13249 186.33/186.88 c #Conflicts: 143000 | #Constraints: 14249 186.33/186.88 c #Conflicts: 144000 | #Constraints: 15293 186.33/186.88 c #Conflicts: 145000 | #Constraints: 16293 186.33/186.88 c #Conflicts: 146000 | #Constraints: 17293 186.33/186.88 c #Conflicts: 147000 | #Constraints: 18293 186.33/186.88 c #Conflicts: 148000 | #Constraints: 19340 186.33/186.88 c #Conflicts: 149000 | #Constraints: 20340 186.33/186.88 c INPROCESSING 186.33/186.88 c GARBAGE COLLECT 186.33/186.88 c rational objective 146 197.00/197.54 c #Conflicts: 150000 | #Constraints: 11536 197.00/197.54 c #Conflicts: 151000 | #Constraints: 12536 197.00/197.54 c #Conflicts: 152000 | #Constraints: 13536 197.00/197.54 c #Conflicts: 153000 | #Constraints: 14541 197.00/197.54 c #Conflicts: 154000 | #Constraints: 15564 197.00/197.54 c #Conflicts: 155000 | #Constraints: 16564 197.00/197.54 c #Conflicts: 156000 | #Constraints: 17564 197.00/197.54 c #Conflicts: 157000 | #Constraints: 18564 197.00/197.54 c #Conflicts: 158000 | #Constraints: 19564 197.00/197.54 c INPROCESSING 197.00/197.54 c GARBAGE COLLECT 197.00/197.54 c rational objective 146 251.16/251.80 c #Conflicts: 159000 | #Constraints: 11093 251.16/251.80 c #Conflicts: 160000 | #Constraints: 12093 251.16/251.80 c #Conflicts: 161000 | #Constraints: 13093 251.16/251.80 c #Conflicts: 162000 | #Constraints: 14093 251.16/251.80 c #Conflicts: 163000 | #Constraints: 15093 251.16/251.80 c #Conflicts: 164000 | #Constraints: 16094 251.16/251.80 c #Conflicts: 165000 | #Constraints: 17094 251.16/251.80 c #Conflicts: 166000 | #Constraints: 18094 251.16/251.80 c #Conflicts: 167000 | #Constraints: 19094 251.16/251.80 c #Conflicts: 168000 | #Constraints: 20094 251.16/251.80 c #Conflicts: 169000 | #Constraints: 21094 251.16/251.80 c #Conflicts: 170000 | #Constraints: 22094 251.16/251.80 c #Conflicts: 171000 | #Constraints: 23094 251.16/251.80 c #Conflicts: 172000 | #Constraints: 24094 251.16/251.80 c bounds 194 >= 147 @ 217.14 251.16/251.80 c #Conflicts: 173000 | #Constraints: 25148 251.16/251.80 c #Conflicts: 174000 | #Constraints: 26148 251.16/251.80 c #Conflicts: 175000 | #Constraints: 27148 251.16/251.80 c #Conflicts: 176000 | #Constraints: 28148 251.16/251.80 c #Conflicts: 177000 | #Constraints: 29148 251.16/251.80 c #Conflicts: 178000 | #Constraints: 30148 251.16/251.80 c #Conflicts: 179000 | #Constraints: 31148 251.16/251.80 c #Conflicts: 180000 | #Constraints: 32148 251.16/251.80 c #Conflicts: 181000 | #Constraints: 33148 251.16/251.80 c #Conflicts: 182000 | #Constraints: 34148 251.16/251.80 c #Conflicts: 183000 | #Constraints: 35148 251.16/251.80 c #Conflicts: 184000 | #Constraints: 36148 251.16/251.80 c #Conflicts: 185000 | #Constraints: 37148 251.16/251.80 c #Conflicts: 186000 | #Constraints: 38148 251.16/251.80 c #Conflicts: 187000 | #Constraints: 39148 251.16/251.80 c #Conflicts: 188000 | #Constraints: 40148 251.16/251.80 c #Conflicts: 189000 | #Constraints: 41148 251.16/251.80 c INPROCESSING 251.16/251.80 c GARBAGE COLLECT 251.16/251.80 c rational objective 147 277.80/278.58 c #Conflicts: 190000 | #Constraints: 21964 277.80/278.58 c #Conflicts: 191000 | #Constraints: 22964 277.80/278.58 c #Conflicts: 192000 | #Constraints: 23964 277.80/278.58 c #Conflicts: 193000 | #Constraints: 24964 277.80/278.58 c #Conflicts: 194000 | #Constraints: 25964 277.80/278.58 c #Conflicts: 195000 | #Constraints: 26964 277.80/278.58 c #Conflicts: 196000 | #Constraints: 27965 277.80/278.58 c #Conflicts: 197000 | #Constraints: 28965 277.80/278.58 c #Conflicts: 198000 | #Constraints: 29965 277.80/278.58 c #Conflicts: 199000 | #Constraints: 30969 277.80/278.58 c #Conflicts: 200000 | #Constraints: 31969 277.80/278.58 c INPROCESSING 277.80/278.58 c GARBAGE COLLECT 277.80/278.58 c rational objective 147 289.07/289.83 c #Conflicts: 201000 | #Constraints: 17752 289.07/289.83 c #Conflicts: 202000 | #Constraints: 18752 289.07/289.83 c #Conflicts: 203000 | #Constraints: 19752 289.07/289.83 c #Conflicts: 204000 | #Constraints: 20752 289.07/289.83 c #Conflicts: 205000 | #Constraints: 21752 289.07/289.83 c #Conflicts: 206000 | #Constraints: 22753 289.07/289.83 c #Conflicts: 207000 | #Constraints: 23753 289.07/289.83 c #Conflicts: 208000 | #Constraints: 24754 289.07/289.83 c #Conflicts: 209000 | #Constraints: 25754 289.07/289.83 c #Conflicts: 210000 | #Constraints: 26754 289.07/289.83 c INPROCESSING 289.07/289.83 c GARBAGE COLLECT 289.07/289.83 c rational objective 147 306.13/306.97 c #Conflicts: 211000 | #Constraints: 14768 306.13/306.97 c #Conflicts: 212000 | #Constraints: 15768 306.13/306.97 c #Conflicts: 213000 | #Constraints: 16768 306.13/306.97 c #Conflicts: 214000 | #Constraints: 17768 306.13/306.97 c #Conflicts: 215000 | #Constraints: 18768 306.13/306.97 c #Conflicts: 216000 | #Constraints: 19768 306.13/306.97 c #Conflicts: 217000 | #Constraints: 20768 306.13/306.97 c #Conflicts: 218000 | #Constraints: 21768 306.13/306.97 c #Conflicts: 219000 | #Constraints: 22768 306.13/306.97 c #Conflicts: 220000 | #Constraints: 23768 306.13/306.97 c #Conflicts: 221000 | #Constraints: 24768 306.13/306.97 c INPROCESSING 306.13/306.97 c GARBAGE COLLECT 306.13/306.97 c rational objective 147 402.09/403.18 c #Conflicts: 222000 | #Constraints: 13963 402.09/403.18 c #Conflicts: 223000 | #Constraints: 14963 402.09/403.18 c #Conflicts: 224000 | #Constraints: 15963 402.09/403.18 c #Conflicts: 225000 | #Constraints: 16963 402.09/403.18 c #Conflicts: 226000 | #Constraints: 17964 402.09/403.18 c #Conflicts: 227000 | #Constraints: 18964 402.09/403.18 c #Conflicts: 228000 | #Constraints: 19964 402.09/403.18 c #Conflicts: 229000 | #Constraints: 20964 402.09/403.18 c #Conflicts: 230000 | #Constraints: 21965 402.09/403.18 c #Conflicts: 231000 | #Constraints: 22965 402.09/403.18 c #Conflicts: 232000 | #Constraints: 23965 402.09/403.18 c #Conflicts: 233000 | #Constraints: 24965 402.09/403.18 c #Conflicts: 234000 | #Constraints: 25965 402.09/403.18 c #Conflicts: 235000 | #Constraints: 26965 402.09/403.18 c #Conflicts: 236000 | #Constraints: 27965 402.09/403.18 c #Conflicts: 237000 | #Constraints: 28965 402.09/403.18 c #Conflicts: 238000 | #Constraints: 29965 402.09/403.18 c #Conflicts: 239000 | #Constraints: 30965 402.09/403.18 c #Conflicts: 240000 | #Constraints: 31965 402.09/403.18 c #Conflicts: 241000 | #Constraints: 32965 402.09/403.18 c #Conflicts: 242000 | #Constraints: 33965 402.09/403.18 c #Conflicts: 243000 | #Constraints: 34965 402.09/403.18 c #Conflicts: 244000 | #Constraints: 35965 402.09/403.18 c #Conflicts: 245000 | #Constraints: 36966 402.09/403.18 c #Conflicts: 246000 | #Constraints: 37966 402.09/403.18 c #Conflicts: 247000 | #Constraints: 38966 402.09/403.18 c #Conflicts: 248000 | #Constraints: 39966 402.09/403.18 c #Conflicts: 249000 | #Constraints: 40966 402.09/403.18 c #Conflicts: 250000 | #Constraints: 41966 402.09/403.18 c #Conflicts: 251000 | #Constraints: 42966 402.09/403.18 c #Conflicts: 252000 | #Constraints: 43966 402.09/403.18 c #Conflicts: 253000 | #Constraints: 44966 402.09/403.18 c #Conflicts: 254000 | #Constraints: 45966 402.09/403.18 c #Conflicts: 255000 | #Constraints: 46966 402.09/403.18 c #Conflicts: 256000 | #Constraints: 47971 402.09/403.18 c #Conflicts: 257000 | #Constraints: 48971 402.09/403.18 c INPROCESSING 402.09/403.18 c GARBAGE COLLECT 402.09/403.18 c rational objective 147 469.51/470.74 c #Conflicts: 258000 | #Constraints: 25923 469.51/470.74 c #Conflicts: 259000 | #Constraints: 26923 469.51/470.74 c #Conflicts: 260000 | #Constraints: 27923 469.51/470.74 c #Conflicts: 261000 | #Constraints: 28923 469.51/470.74 c #Conflicts: 262000 | #Constraints: 29923 469.51/470.74 c #Conflicts: 263000 | #Constraints: 30923 469.51/470.74 c #Conflicts: 264000 | #Constraints: 31923 469.51/470.74 c #Conflicts: 265000 | #Constraints: 32923 469.51/470.74 c #Conflicts: 266000 | #Constraints: 33923 469.51/470.74 c #Conflicts: 267000 | #Constraints: 34923 469.51/470.74 c #Conflicts: 268000 | #Constraints: 35923 469.51/470.74 c #Conflicts: 269000 | #Constraints: 36923 469.51/470.74 c INPROCESSING 469.51/470.74 c GARBAGE COLLECT 469.51/470.74 c rational objective 147 499.34/500.63 c #Conflicts: 270000 | #Constraints: 19882 499.34/500.63 c #Conflicts: 271000 | #Constraints: 20883 499.34/500.63 c #Conflicts: 272000 | #Constraints: 21883 499.34/500.63 c #Conflicts: 273000 | #Constraints: 22883 499.34/500.63 c #Conflicts: 274000 | #Constraints: 23883 499.34/500.63 c #Conflicts: 275000 | #Constraints: 24883 499.34/500.63 c #Conflicts: 276000 | #Constraints: 25883 499.34/500.63 c #Conflicts: 277000 | #Constraints: 26883 499.34/500.63 c #Conflicts: 278000 | #Constraints: 27883 499.34/500.63 c #Conflicts: 279000 | #Constraints: 28883 499.34/500.63 c #Conflicts: 280000 | #Constraints: 29883 499.34/500.63 c #Conflicts: 281000 | #Constraints: 30883 499.34/500.63 c #Conflicts: 282000 | #Constraints: 31883 499.34/500.63 c INPROCESSING 499.34/500.63 c GARBAGE COLLECT 499.34/500.63 c rational objective 147 525.58/526.94 c #Conflicts: 283000 | #Constraints: 17721 525.58/526.94 c #Conflicts: 284000 | #Constraints: 18721 525.58/526.94 c #Conflicts: 285000 | #Constraints: 19721 525.58/526.94 c #Conflicts: 286000 | #Constraints: 20722 525.58/526.94 c #Conflicts: 287000 | #Constraints: 21722 525.58/526.94 c #Conflicts: 288000 | #Constraints: 22724 525.58/526.94 c #Conflicts: 289000 | #Constraints: 23724 525.58/526.94 c #Conflicts: 290000 | #Constraints: 24724 525.58/526.94 c #Conflicts: 291000 | #Constraints: 25724 525.58/526.94 c #Conflicts: 292000 | #Constraints: 26724 525.58/526.94 c #Conflicts: 293000 | #Constraints: 27724 525.58/526.94 c #Conflicts: 294000 | #Constraints: 28724 525.58/526.94 c INPROCESSING 525.58/526.94 c GARBAGE COLLECT 525.58/526.94 c rational objective 147 687.06/688.83 c #Conflicts: 295000 | #Constraints: 15891 687.06/688.83 c #Conflicts: 296000 | #Constraints: 16893 687.06/688.83 c #Conflicts: 297000 | #Constraints: 17898 687.06/688.83 c #Conflicts: 298000 | #Constraints: 18900 687.06/688.83 c #Conflicts: 299000 | #Constraints: 19906 687.06/688.83 c #Conflicts: 300000 | #Constraints: 20929 687.06/688.83 c #Conflicts: 301000 | #Constraints: 21929 687.06/688.83 c #Conflicts: 302000 | #Constraints: 22929 687.06/688.83 c #Conflicts: 303000 | #Constraints: 23929 687.06/688.83 c #Conflicts: 304000 | #Constraints: 24929 687.06/688.83 c #Conflicts: 305000 | #Constraints: 25929 687.06/688.83 c #Conflicts: 306000 | #Constraints: 26929 687.06/688.83 c #Conflicts: 307000 | #Constraints: 27934 687.06/688.83 c #Conflicts: 308000 | #Constraints: 28934 687.06/688.83 c #Conflicts: 309000 | #Constraints: 29962 687.06/688.83 c #Conflicts: 310000 | #Constraints: 30963 687.06/688.83 c #Conflicts: 311000 | #Constraints: 32073 687.06/688.83 c #Conflicts: 312000 | #Constraints: 33073 687.06/688.83 c #Conflicts: 313000 | #Constraints: 34073 687.06/688.83 c #Conflicts: 314000 | #Constraints: 35073 687.06/688.83 c #Conflicts: 315000 | #Constraints: 36074 687.06/688.83 c #Conflicts: 316000 | #Constraints: 37085 687.06/688.83 c #Conflicts: 317000 | #Constraints: 38094 687.06/688.83 c #Conflicts: 318000 | #Constraints: 39094 687.06/688.83 c #Conflicts: 319000 | #Constraints: 40094 687.06/688.83 c #Conflicts: 320000 | #Constraints: 41094 687.06/688.83 c #Conflicts: 321000 | #Constraints: 42094 687.06/688.83 c #Conflicts: 322000 | #Constraints: 43094 687.06/688.83 c #Conflicts: 323000 | #Constraints: 44094 687.06/688.83 c #Conflicts: 324000 | #Constraints: 45094 687.06/688.83 c #Conflicts: 325000 | #Constraints: 46094 687.06/688.83 c #Conflicts: 326000 | #Constraints: 47094 687.06/688.83 c #Conflicts: 327000 | #Constraints: 48094 687.06/688.83 c #Conflicts: 328000 | #Constraints: 49094 687.06/688.83 c #Conflicts: 329000 | #Constraints: 50094 687.06/688.83 c #Conflicts: 330000 | #Constraints: 51094 687.06/688.83 c #Conflicts: 331000 | #Constraints: 52094 687.06/688.83 c #Conflicts: 332000 | #Constraints: 53094 687.06/688.83 c #Conflicts: 333000 | #Constraints: 54094 687.06/688.83 c #Conflicts: 334000 | #Constraints: 55108 687.06/688.83 c #Conflicts: 335000 | #Constraints: 56143 687.06/688.83 c #Conflicts: 336000 | #Constraints: 57143 687.06/688.83 c INPROCESSING 687.06/688.83 c GARBAGE COLLECT 687.06/688.83 c rational objective 147 791.00/793.09 c #Conflicts: 337000 | #Constraints: 30268 791.00/793.09 c #Conflicts: 338000 | #Constraints: 31268 791.00/793.09 c #Conflicts: 339000 | #Constraints: 32268 791.00/793.09 c #Conflicts: 340000 | #Constraints: 33268 791.00/793.09 c #Conflicts: 341000 | #Constraints: 34268 791.00/793.09 c #Conflicts: 342000 | #Constraints: 35268 791.00/793.09 c #Conflicts: 343000 | #Constraints: 36268 791.00/793.09 c #Conflicts: 344000 | #Constraints: 37268 791.00/793.09 c #Conflicts: 345000 | #Constraints: 38268 791.00/793.09 c #Conflicts: 346000 | #Constraints: 39268 791.00/793.09 c #Conflicts: 347000 | #Constraints: 40268 791.00/793.09 c #Conflicts: 348000 | #Constraints: 41268 791.00/793.09 c #Conflicts: 349000 | #Constraints: 42268 791.00/793.09 c INPROCESSING 791.00/793.09 c GARBAGE COLLECT 791.00/793.09 c rational objective 147 834.58/836.79 c #Conflicts: 350000 | #Constraints: 22515 834.58/836.79 c #Conflicts: 351000 | #Constraints: 23515 834.58/836.79 c #Conflicts: 352000 | #Constraints: 24516 834.58/836.79 c #Conflicts: 353000 | #Constraints: 25516 834.58/836.79 c #Conflicts: 354000 | #Constraints: 26516 834.58/836.79 c #Conflicts: 355000 | #Constraints: 27516 834.58/836.79 c #Conflicts: 356000 | #Constraints: 28516 834.58/836.79 c #Conflicts: 357000 | #Constraints: 29516 834.58/836.79 c #Conflicts: 358000 | #Constraints: 30516 834.58/836.79 c #Conflicts: 359000 | #Constraints: 31516 834.58/836.79 c #Conflicts: 360000 | #Constraints: 32516 834.58/836.79 c #Conflicts: 361000 | #Constraints: 33516 834.58/836.79 c #Conflicts: 362000 | #Constraints: 34516 834.58/836.79 c #Conflicts: 363000 | #Constraints: 35516 834.58/836.79 c INPROCESSING 834.58/836.79 c GARBAGE COLLECT 834.58/836.79 c rational objective 147 873.59/875.82 c #Conflicts: 364000 | #Constraints: 19139 873.59/875.82 c #Conflicts: 365000 | #Constraints: 20140 873.59/875.82 c #Conflicts: 366000 | #Constraints: 21140 873.59/875.82 c #Conflicts: 367000 | #Constraints: 22140 873.59/875.82 c #Conflicts: 368000 | #Constraints: 23140 873.59/875.82 c #Conflicts: 369000 | #Constraints: 24140 873.59/875.82 c #Conflicts: 370000 | #Constraints: 25140 873.59/875.82 c #Conflicts: 371000 | #Constraints: 26140 873.59/875.82 c #Conflicts: 372000 | #Constraints: 27140 873.59/875.82 c #Conflicts: 373000 | #Constraints: 28140 873.59/875.82 c #Conflicts: 374000 | #Constraints: 29140 873.59/875.82 c #Conflicts: 375000 | #Constraints: 30140 873.59/875.82 c #Conflicts: 376000 | #Constraints: 31140 873.59/875.82 c #Conflicts: 377000 | #Constraints: 32140 873.59/875.82 c #Conflicts: 378000 | #Constraints: 33140 873.59/875.82 c INPROCESSING 873.59/875.82 c GARBAGE COLLECT 873.59/875.82 c rational objective 147 1061.02/1063.70 c #Conflicts: 379000 | #Constraints: 18801 1061.02/1063.70 c #Conflicts: 380000 | #Constraints: 19801 1061.02/1063.70 c #Conflicts: 381000 | #Constraints: 20801 1061.02/1063.70 c #Conflicts: 382000 | #Constraints: 21801 1061.02/1063.70 c #Conflicts: 383000 | #Constraints: 22801 1061.02/1063.70 c #Conflicts: 384000 | #Constraints: 23801 1061.02/1063.70 c #Conflicts: 385000 | #Constraints: 24801 1061.02/1063.70 c #Conflicts: 386000 | #Constraints: 25801 1061.02/1063.70 c #Conflicts: 387000 | #Constraints: 26801 1061.02/1063.70 c #Conflicts: 388000 | #Constraints: 27801 1061.02/1063.70 c #Conflicts: 389000 | #Constraints: 28801 1061.02/1063.70 c #Conflicts: 390000 | #Constraints: 29801 1061.02/1063.70 c #Conflicts: 391000 | #Constraints: 30801 1061.02/1063.70 c #Conflicts: 392000 | #Constraints: 31801 1061.02/1063.70 c #Conflicts: 393000 | #Constraints: 32801 1061.02/1063.70 c #Conflicts: 394000 | #Constraints: 33801 1061.02/1063.70 c #Conflicts: 395000 | #Constraints: 34801 1061.02/1063.70 c #Conflicts: 396000 | #Constraints: 35801 1061.02/1063.70 c #Conflicts: 397000 | #Constraints: 36801 1061.02/1063.70 c #Conflicts: 398000 | #Constraints: 37801 1061.02/1063.70 c #Conflicts: 399000 | #Constraints: 38801 1061.02/1063.70 c #Conflicts: 400000 | #Constraints: 39801 1061.02/1063.70 c #Conflicts: 401000 | #Constraints: 40801 1061.02/1063.70 c #Conflicts: 402000 | #Constraints: 41801 1061.02/1063.70 c #Conflicts: 403000 | #Constraints: 42801 1061.02/1063.70 c #Conflicts: 404000 | #Constraints: 43801 1061.02/1063.70 c #Conflicts: 405000 | #Constraints: 44801 1061.02/1063.70 c #Conflicts: 406000 | #Constraints: 45801 1061.02/1063.70 c #Conflicts: 407000 | #Constraints: 46801 1061.02/1063.70 c #Conflicts: 408000 | #Constraints: 47801 1061.02/1063.70 c #Conflicts: 409000 | #Constraints: 48801 1061.02/1063.70 c #Conflicts: 410000 | #Constraints: 49801 1061.02/1063.70 c #Conflicts: 411000 | #Constraints: 50801 1061.02/1063.70 c #Conflicts: 412000 | #Constraints: 51801 1061.02/1063.70 c #Conflicts: 413000 | #Constraints: 52801 1061.02/1063.70 c #Conflicts: 414000 | #Constraints: 53801 1061.02/1063.70 c bounds 194 >= 148 @ 1025.39 1061.02/1063.70 c #Conflicts: 415000 | #Constraints: 54858 1061.02/1063.70 c #Conflicts: 416000 | #Constraints: 55858 1061.02/1063.70 c #Conflicts: 417000 | #Constraints: 56858 1061.02/1063.70 c #Conflicts: 418000 | #Constraints: 57858 1061.02/1063.70 c #Conflicts: 419000 | #Constraints: 58858 1061.02/1063.70 c #Conflicts: 420000 | #Constraints: 59858 1061.02/1063.70 c #Conflicts: 421000 | #Constraints: 60871 1061.02/1063.70 c #Conflicts: 422000 | #Constraints: 61872 1061.02/1063.70 c #Conflicts: 423000 | #Constraints: 62873 1061.02/1063.70 c #Conflicts: 424000 | #Constraints: 63874 1061.02/1063.70 c INPROCESSING 1061.02/1063.70 c GARBAGE COLLECT 1061.02/1063.70 c rational objective 148 1106.21/1109.09 c #Conflicts: 425000 | #Constraints: 33252 1106.21/1109.09 c #Conflicts: 426000 | #Constraints: 34252 1106.21/1109.09 c #Conflicts: 427000 | #Constraints: 35252 1106.21/1109.09 c #Conflicts: 428000 | #Constraints: 36252 1106.21/1109.09 c #Conflicts: 429000 | #Constraints: 37254 1106.21/1109.09 c #Conflicts: 430000 | #Constraints: 38254 1106.21/1109.09 c #Conflicts: 431000 | #Constraints: 39255 1106.21/1109.09 c #Conflicts: 432000 | #Constraints: 40258 1106.21/1109.09 c #Conflicts: 433000 | #Constraints: 41258 1106.21/1109.09 c #Conflicts: 434000 | #Constraints: 42258 1106.21/1109.09 c #Conflicts: 435000 | #Constraints: 43273 1106.21/1109.09 c #Conflicts: 436000 | #Constraints: 44276 1106.21/1109.09 c #Conflicts: 437000 | #Constraints: 45276 1106.21/1109.09 c #Conflicts: 438000 | #Constraints: 46276 1106.21/1109.09 c #Conflicts: 439000 | #Constraints: 47276 1106.21/1109.09 c #Conflicts: 440000 | #Constraints: 48276 1106.21/1109.09 c INPROCESSING 1106.21/1109.09 c GARBAGE COLLECT 1106.21/1109.09 c rational objective 148 1162.37/1165.32 c #Conflicts: 441000 | #Constraints: 25727 1162.37/1165.32 c #Conflicts: 442000 | #Constraints: 26727 1162.37/1165.32 c #Conflicts: 443000 | #Constraints: 27727 1162.37/1165.32 c #Conflicts: 444000 | #Constraints: 28727 1162.37/1165.32 c #Conflicts: 445000 | #Constraints: 29727 1162.37/1165.32 c #Conflicts: 446000 | #Constraints: 30728 1162.37/1165.32 c #Conflicts: 447000 | #Constraints: 31728 1162.37/1165.32 c #Conflicts: 448000 | #Constraints: 32728 1162.37/1165.32 c #Conflicts: 449000 | #Constraints: 33728 1162.37/1165.32 c #Conflicts: 450000 | #Constraints: 34728 1162.37/1165.32 c #Conflicts: 451000 | #Constraints: 35728 1162.37/1165.32 c #Conflicts: 452000 | #Constraints: 36729 1162.37/1165.32 c #Conflicts: 453000 | #Constraints: 37729 1162.37/1165.32 c #Conflicts: 454000 | #Constraints: 38729 1162.37/1165.32 c #Conflicts: 455000 | #Constraints: 39729 1162.37/1165.32 c #Conflicts: 456000 | #Constraints: 40729 1162.37/1165.32 c INPROCESSING 1162.37/1165.32 c GARBAGE COLLECT 1162.37/1165.32 c rational objective 148 1411.53/1415.17 c #Conflicts: 457000 | #Constraints: 22087 1411.53/1415.17 c #Conflicts: 458000 | #Constraints: 23088 1411.53/1415.17 c #Conflicts: 459000 | #Constraints: 24088 1411.53/1415.17 c #Conflicts: 460000 | #Constraints: 25088 1411.53/1415.17 c #Conflicts: 461000 | #Constraints: 26089 1411.53/1415.17 c #Conflicts: 462000 | #Constraints: 27089 1411.53/1415.17 c #Conflicts: 463000 | #Constraints: 28090 1411.53/1415.17 c #Conflicts: 464000 | #Constraints: 29090 1411.53/1415.17 c #Conflicts: 465000 | #Constraints: 30090 1411.53/1415.17 c #Conflicts: 466000 | #Constraints: 31090 1411.53/1415.17 c #Conflicts: 467000 | #Constraints: 32091 1411.53/1415.17 c #Conflicts: 468000 | #Constraints: 33091 1411.53/1415.17 c #Conflicts: 469000 | #Constraints: 34091 1411.53/1415.17 c #Conflicts: 470000 | #Constraints: 35091 1411.53/1415.17 c #Conflicts: 471000 | #Constraints: 36091 1411.53/1415.17 c #Conflicts: 472000 | #Constraints: 37091 1411.53/1415.17 c #Conflicts: 473000 | #Constraints: 38091 1411.53/1415.17 c #Conflicts: 474000 | #Constraints: 39091 1411.53/1415.17 c #Conflicts: 475000 | #Constraints: 40091 1411.53/1415.17 c #Conflicts: 476000 | #Constraints: 41091 1411.53/1415.17 c #Conflicts: 477000 | #Constraints: 42091 1411.53/1415.17 c #Conflicts: 478000 | #Constraints: 43091 1411.53/1415.17 c #Conflicts: 479000 | #Constraints: 44091 1411.53/1415.17 c #Conflicts: 480000 | #Constraints: 45091 1411.53/1415.17 c #Conflicts: 481000 | #Constraints: 46091 1411.53/1415.17 c #Conflicts: 482000 | #Constraints: 47091 1411.53/1415.17 c #Conflicts: 483000 | #Constraints: 48091 1411.53/1415.17 c #Conflicts: 484000 | #Constraints: 49091 1411.53/1415.17 c #Conflicts: 485000 | #Constraints: 50091 1411.53/1415.17 c #Conflicts: 486000 | #Constraints: 51091 1411.53/1415.17 c #Conflicts: 487000 | #Constraints: 52091 1411.53/1415.17 c #Conflicts: 488000 | #Constraints: 53091 1411.53/1415.17 c #Conflicts: 489000 | #Constraints: 54091 1411.53/1415.17 c #Conflicts: 490000 | #Constraints: 55091 1411.53/1415.17 c #Conflicts: 491000 | #Constraints: 56091 1411.53/1415.17 c #Conflicts: 492000 | #Constraints: 57091 1411.53/1415.17 c #Conflicts: 493000 | #Constraints: 58091 1411.53/1415.17 c #Conflicts: 494000 | #Constraints: 59091 1411.53/1415.17 c #Conflicts: 495000 | #Constraints: 60091 1411.53/1415.17 c #Conflicts: 496000 | #Constraints: 61091 1411.53/1415.17 c #Conflicts: 497000 | #Constraints: 62091 1411.53/1415.17 c #Conflicts: 498000 | #Constraints: 63091 1411.53/1415.17 c #Conflicts: 499000 | #Constraints: 64091 1411.53/1415.17 c #Conflicts: 500000 | #Constraints: 65091 1411.53/1415.17 c #Conflicts: 501000 | #Constraints: 66091 1411.53/1415.17 c #Conflicts: 502000 | #Constraints: 67091 1411.53/1415.17 c #Conflicts: 503000 | #Constraints: 68091 1411.53/1415.17 c #Conflicts: 504000 | #Constraints: 69091 1411.53/1415.17 c #Conflicts: 505000 | #Constraints: 70091 1411.53/1415.17 c #Conflicts: 506000 | #Constraints: 71091 1411.53/1415.17 c #Conflicts: 507000 | #Constraints: 72091 1411.53/1415.17 c INPROCESSING 1411.53/1415.17 c GARBAGE COLLECT 1411.53/1415.17 c rational objective 148 1455.20/1458.91 c #Conflicts: 508000 | #Constraints: 37855 1455.20/1458.91 c #Conflicts: 509000 | #Constraints: 38855 1455.20/1458.91 c #Conflicts: 510000 | #Constraints: 39855 1455.20/1458.91 c #Conflicts: 511000 | #Constraints: 40855 1455.20/1458.91 c #Conflicts: 512000 | #Constraints: 41855 1455.20/1458.91 c #Conflicts: 513000 | #Constraints: 42856 1455.20/1458.91 c #Conflicts: 514000 | #Constraints: 43856 1455.20/1458.91 c #Conflicts: 515000 | #Constraints: 44862 1455.20/1458.91 c #Conflicts: 516000 | #Constraints: 45885 1455.20/1458.91 c bounds 193 >= 148 @ 1421.25 1455.20/1458.91 c #Conflicts: 517000 | #Constraints: 46886 1455.20/1458.91 c #Conflicts: 518000 | #Constraints: 47886 1455.20/1458.91 c #Conflicts: 519000 | #Constraints: 48931 1455.20/1458.91 c #Conflicts: 520000 | #Constraints: 49943 1455.20/1458.91 c #Conflicts: 521000 | #Constraints: 50943 1455.20/1458.91 c #Conflicts: 522000 | #Constraints: 51943 1455.20/1458.91 c #Conflicts: 523000 | #Constraints: 52943 1455.20/1458.91 c #Conflicts: 524000 | #Constraints: 53943 1455.20/1458.91 c INPROCESSING 1455.20/1458.91 c GARBAGE COLLECT 1455.20/1458.91 c rational objective 148 1490.82/1494.65 c #Conflicts: 525000 | #Constraints: 28689 1490.82/1494.65 c #Conflicts: 526000 | #Constraints: 29689 1490.82/1494.65 c #Conflicts: 527000 | #Constraints: 30720 1490.82/1494.65 c #Conflicts: 528000 | #Constraints: 31720 1490.82/1494.65 c #Conflicts: 529000 | #Constraints: 32720 1490.82/1494.65 c #Conflicts: 530000 | #Constraints: 33720 1490.82/1494.65 c #Conflicts: 531000 | #Constraints: 34720 1490.82/1494.65 c #Conflicts: 532000 | #Constraints: 35720 1490.82/1494.65 c #Conflicts: 533000 | #Constraints: 36720 1490.82/1494.65 c #Conflicts: 534000 | #Constraints: 37720 1490.82/1494.65 c #Conflicts: 535000 | #Constraints: 38720 1490.82/1494.65 c #Conflicts: 536000 | #Constraints: 39720 1490.82/1494.65 c #Conflicts: 537000 | #Constraints: 40720 1490.82/1494.65 c #Conflicts: 538000 | #Constraints: 41720 1490.82/1494.65 c #Conflicts: 539000 | #Constraints: 42720 1490.82/1494.65 c #Conflicts: 540000 | #Constraints: 43720 1490.82/1494.65 c #Conflicts: 541000 | #Constraints: 44720 1490.82/1494.65 c INPROCESSING 1490.82/1494.65 c GARBAGE COLLECT 1490.82/1494.65 c rational objective 148 1746.03/1750.41 c #Conflicts: 542000 | #Constraints: 24774 1746.03/1750.41 c #Conflicts: 543000 | #Constraints: 25774 1746.03/1750.41 c #Conflicts: 544000 | #Constraints: 26781 1746.03/1750.41 c #Conflicts: 545000 | #Constraints: 27781 1746.03/1750.41 c #Conflicts: 546000 | #Constraints: 28781 1746.03/1750.41 c #Conflicts: 547000 | #Constraints: 29781 1746.03/1750.41 c #Conflicts: 548000 | #Constraints: 30781 1746.03/1750.41 c #Conflicts: 549000 | #Constraints: 31781 1746.03/1750.41 c #Conflicts: 550000 | #Constraints: 32781 1746.03/1750.41 c #Conflicts: 551000 | #Constraints: 33844 1746.03/1750.41 c #Conflicts: 552000 | #Constraints: 34844 1746.03/1750.41 c #Conflicts: 553000 | #Constraints: 35844 1746.03/1750.41 c #Conflicts: 554000 | #Constraints: 36844 1746.03/1750.41 c #Conflicts: 555000 | #Constraints: 37844 1746.03/1750.41 c #Conflicts: 556000 | #Constraints: 38844 1746.03/1750.41 c #Conflicts: 557000 | #Constraints: 39844 1746.03/1750.41 c #Conflicts: 558000 | #Constraints: 40844 1746.03/1750.41 c #Conflicts: 559000 | #Constraints: 41844 1746.03/1750.41 c #Conflicts: 560000 | #Constraints: 42857 1746.03/1750.41 c #Conflicts: 561000 | #Constraints: 43894 1746.03/1750.41 c #Conflicts: 562000 | #Constraints: 44894 1746.03/1750.41 c #Conflicts: 563000 | #Constraints: 45894 1746.03/1750.41 c #Conflicts: 564000 | #Constraints: 46894 1746.03/1750.41 c #Conflicts: 565000 | #Constraints: 47894 1746.03/1750.41 c #Conflicts: 566000 | #Constraints: 48906 1746.03/1750.41 c #Conflicts: 567000 | #Constraints: 49906 1746.03/1750.41 c #Conflicts: 568000 | #Constraints: 50924 1746.03/1750.41 c #Conflicts: 569000 | #Constraints: 51982 1746.03/1750.41 c #Conflicts: 570000 | #Constraints: 52982 1746.03/1750.41 c #Conflicts: 571000 | #Constraints: 53982 1746.03/1750.41 c #Conflicts: 572000 | #Constraints: 54982 1746.03/1750.41 c #Conflicts: 573000 | #Constraints: 55982 1746.03/1750.41 c #Conflicts: 574000 | #Constraints: 56982 1746.03/1750.41 c #Conflicts: 575000 | #Constraints: 57982 1746.03/1750.41 c #Conflicts: 576000 | #Constraints: 58982 1746.03/1750.41 c #Conflicts: 577000 | #Constraints: 59982 1746.03/1750.41 c #Conflicts: 578000 | #Constraints: 60982 1746.03/1750.41 c #Conflicts: 579000 | #Constraints: 61982 1746.03/1750.41 c #Conflicts: 580000 | #Constraints: 62982 1746.03/1750.41 c #Conflicts: 581000 | #Constraints: 63982 1746.03/1750.41 c #Conflicts: 582000 | #Constraints: 64982 1746.03/1750.41 c #Conflicts: 583000 | #Constraints: 65982 1746.03/1750.41 c #Conflicts: 584000 | #Constraints: 66982 1746.03/1750.41 c #Conflicts: 585000 | #Constraints: 67982 1746.03/1750.41 c #Conflicts: 586000 | #Constraints: 69002 1746.03/1750.41 c #Conflicts: 587000 | #Constraints: 70002 1746.03/1750.41 c #Conflicts: 588000 | #Constraints: 71002 1746.03/1750.41 c #Conflicts: 589000 | #Constraints: 72002 1746.03/1750.41 c #Conflicts: 590000 | #Constraints: 73002 1746.03/1750.41 c #Conflicts: 591000 | #Constraints: 74002 1746.03/1750.41 c #Conflicts: 592000 | #Constraints: 75002 1746.03/1750.41 c #Conflicts: 593000 | #Constraints: 76002 1746.03/1750.41 c #Conflicts: 594000 | #Constraints: 77002 1746.03/1750.41 c #Conflicts: 595000 | #Constraints: 78002 1746.03/1750.41 c #Conflicts: 596000 | #Constraints: 79002 1746.03/1750.41 c INPROCESSING 1746.03/1750.41 c GARBAGE COLLECT 1746.03/1750.41 c rational objective 148 1910.14/1914.98 c #Conflicts: 597000 | #Constraints: 41033 1910.14/1914.98 c #Conflicts: 598000 | #Constraints: 42034 1910.14/1914.98 c #Conflicts: 599000 | #Constraints: 43034 1910.14/1914.98 c #Conflicts: 600000 | #Constraints: 44034 1910.14/1914.98 c #Conflicts: 601000 | #Constraints: 45034 1910.14/1914.98 c #Conflicts: 602000 | #Constraints: 46034 1910.14/1914.98 c #Conflicts: 603000 | #Constraints: 47034 1910.14/1914.98 c #Conflicts: 604000 | #Constraints: 48034 1910.14/1914.98 c #Conflicts: 605000 | #Constraints: 49035 1910.14/1914.98 c #Conflicts: 606000 | #Constraints: 50035 1910.14/1914.98 c #Conflicts: 607000 | #Constraints: 51035 1910.14/1914.98 c #Conflicts: 608000 | #Constraints: 52035 1910.14/1914.98 c #Conflicts: 609000 | #Constraints: 53035 1910.14/1914.98 c #Conflicts: 610000 | #Constraints: 54035 1910.14/1914.98 c #Conflicts: 611000 | #Constraints: 55035 1910.14/1914.98 c #Conflicts: 612000 | #Constraints: 56035 1910.14/1914.98 c #Conflicts: 613000 | #Constraints: 57035 1910.14/1914.98 c #Conflicts: 614000 | #Constraints: 58035 1910.14/1914.98 c INPROCESSING 1910.14/1914.98 c GARBAGE COLLECT 1910.14/1914.98 c rational objective 148 1980.87/1985.80 c #Conflicts: 615000 | #Constraints: 30370 1980.87/1985.80 c #Conflicts: 616000 | #Constraints: 31370 1980.87/1985.80 c #Conflicts: 617000 | #Constraints: 32370 1980.87/1985.80 c #Conflicts: 618000 | #Constraints: 33370 1980.87/1985.80 c #Conflicts: 619000 | #Constraints: 34370 1980.87/1985.80 c #Conflicts: 620000 | #Constraints: 35370 1980.87/1985.80 c #Conflicts: 621000 | #Constraints: 36370 1980.87/1985.80 c #Conflicts: 622000 | #Constraints: 37370 1980.87/1985.80 c #Conflicts: 623000 | #Constraints: 38370 1980.87/1985.80 c #Conflicts: 624000 | #Constraints: 39370 1980.87/1985.80 c #Conflicts: 625000 | #Constraints: 40370 1980.87/1985.80 c #Conflicts: 626000 | #Constraints: 41370 1980.87/1985.80 c #Conflicts: 627000 | #Constraints: 42370 1980.87/1985.80 c #Conflicts: 628000 | #Constraints: 43370 1980.87/1985.80 c #Conflicts: 629000 | #Constraints: 44370 1980.87/1985.80 c #Conflicts: 630000 | #Constraints: 45370 1980.87/1985.80 c #Conflicts: 631000 | #Constraints: 46370 1980.87/1985.80 c #Conflicts: 632000 | #Constraints: 47370 1980.87/1985.80 c #Conflicts: 633000 | #Constraints: 48370 1980.87/1985.80 c INPROCESSING 1980.87/1985.80 c GARBAGE COLLECT 1980.87/1985.80 c rational objective 148 2337.14/2342.90 c #Conflicts: 634000 | #Constraints: 28126 2337.14/2342.90 c #Conflicts: 635000 | #Constraints: 29126 2337.14/2342.90 c #Conflicts: 636000 | #Constraints: 30227 2337.14/2342.90 c #Conflicts: 637000 | #Constraints: 31229 2337.14/2342.90 c #Conflicts: 638000 | #Constraints: 32281 2337.14/2342.90 c #Conflicts: 639000 | #Constraints: 33281 2337.14/2342.90 c #Conflicts: 640000 | #Constraints: 34281 2337.14/2342.90 c #Conflicts: 641000 | #Constraints: 35281 2337.14/2342.90 c #Conflicts: 642000 | #Constraints: 36281 2337.14/2342.90 c #Conflicts: 643000 | #Constraints: 37281 2337.14/2342.90 c #Conflicts: 644000 | #Constraints: 38282 2337.14/2342.90 c #Conflicts: 645000 | #Constraints: 39282 2337.14/2342.90 c #Conflicts: 646000 | #Constraints: 40288 2337.14/2342.90 c #Conflicts: 647000 | #Constraints: 41288 2337.14/2342.90 c #Conflicts: 648000 | #Constraints: 42288 2337.14/2342.90 c #Conflicts: 649000 | #Constraints: 43288 2337.14/2342.90 c #Conflicts: 650000 | #Constraints: 44289 2337.14/2342.90 c #Conflicts: 651000 | #Constraints: 45289 2337.14/2342.90 c #Conflicts: 652000 | #Constraints: 46289 2337.14/2342.90 c #Conflicts: 653000 | #Constraints: 47289 2337.14/2342.90 c #Conflicts: 654000 | #Constraints: 48289 2337.14/2342.90 c #Conflicts: 655000 | #Constraints: 49289 2337.14/2342.90 c #Conflicts: 656000 | #Constraints: 50289 2337.14/2342.90 c #Conflicts: 657000 | #Constraints: 51289 2337.14/2342.90 c #Conflicts: 658000 | #Constraints: 52289 2337.14/2342.90 c #Conflicts: 659000 | #Constraints: 53289 2337.14/2342.90 c #Conflicts: 660000 | #Constraints: 54289 2337.14/2342.90 c #Conflicts: 661000 | #Constraints: 55289 2337.14/2342.90 c #Conflicts: 662000 | #Constraints: 56290 2337.14/2342.90 c #Conflicts: 663000 | #Constraints: 57290 2337.14/2342.90 c #Conflicts: 664000 | #Constraints: 58290 2337.14/2342.90 c #Conflicts: 665000 | #Constraints: 59290 2337.14/2342.90 c #Conflicts: 666000 | #Constraints: 60290 2337.14/2342.90 c #Conflicts: 667000 | #Constraints: 61291 2337.14/2342.90 c #Conflicts: 668000 | #Constraints: 62292 2337.14/2342.90 c #Conflicts: 669000 | #Constraints: 63292 2337.14/2342.90 c #Conflicts: 670000 | #Constraints: 64292 2337.14/2342.90 c #Conflicts: 671000 | #Constraints: 65292 2337.14/2342.90 c #Conflicts: 672000 | #Constraints: 66292 2337.14/2342.90 c #Conflicts: 673000 | #Constraints: 67292 2337.14/2342.90 c #Conflicts: 674000 | #Constraints: 68292 2337.14/2342.90 c #Conflicts: 675000 | #Constraints: 69292 2337.14/2342.90 c #Conflicts: 676000 | #Constraints: 70292 2337.14/2342.90 c #Conflicts: 677000 | #Constraints: 71292 2337.14/2342.90 c #Conflicts: 678000 | #Constraints: 72292 2337.14/2342.90 c #Conflicts: 679000 | #Constraints: 73292 2337.14/2342.90 c #Conflicts: 680000 | #Constraints: 74292 2337.14/2342.90 c #Conflicts: 681000 | #Constraints: 75292 2337.14/2342.90 c #Conflicts: 682000 | #Constraints: 76292 2337.14/2342.90 c #Conflicts: 683000 | #Constraints: 77292 2337.14/2342.90 c #Conflicts: 684000 | #Constraints: 78300 2337.14/2342.90 c #Conflicts: 685000 | #Constraints: 79319 2337.14/2342.90 c #Conflicts: 686000 | #Constraints: 80319 2337.14/2342.90 c #Conflicts: 687000 | #Constraints: 81319 2337.14/2342.90 c #Conflicts: 688000 | #Constraints: 82319 2337.14/2342.90 c #Conflicts: 689000 | #Constraints: 83319 2337.14/2342.90 c #Conflicts: 690000 | #Constraints: 84319 2337.14/2342.90 c #Conflicts: 691000 | #Constraints: 85319 2337.14/2342.90 c #Conflicts: 692000 | #Constraints: 86319 2337.14/2342.90 c #Conflicts: 693000 | #Constraints: 87319 2337.14/2342.90 c INPROCESSING 2337.14/2342.90 c GARBAGE COLLECT 2337.14/2342.90 c rational objective 148 2544.20/2550.60 c #Conflicts: 694000 | #Constraints: 45392 2544.20/2550.60 c #Conflicts: 695000 | #Constraints: 46392 2544.20/2550.60 c #Conflicts: 696000 | #Constraints: 47392 2544.20/2550.60 c #Conflicts: 697000 | #Constraints: 48392 2544.20/2550.60 c #Conflicts: 698000 | #Constraints: 49392 2544.20/2550.60 c #Conflicts: 699000 | #Constraints: 50392 2544.20/2550.60 c #Conflicts: 700000 | #Constraints: 51392 2544.20/2550.60 c #Conflicts: 701000 | #Constraints: 52392 2544.20/2550.60 c #Conflicts: 702000 | #Constraints: 53392 2544.20/2550.60 c #Conflicts: 703000 | #Constraints: 54392 2544.20/2550.60 c #Conflicts: 704000 | #Constraints: 55392 2544.20/2550.60 c #Conflicts: 705000 | #Constraints: 56392 2544.20/2550.60 c #Conflicts: 706000 | #Constraints: 57392 2544.20/2550.60 c #Conflicts: 707000 | #Constraints: 58392 2544.20/2550.60 c #Conflicts: 708000 | #Constraints: 59392 2544.20/2550.60 c #Conflicts: 709000 | #Constraints: 60392 2544.20/2550.60 c #Conflicts: 710000 | #Constraints: 61392 2544.20/2550.60 c #Conflicts: 711000 | #Constraints: 62392 2544.20/2550.60 c #Conflicts: 712000 | #Constraints: 63392 2544.20/2550.60 c #Conflicts: 713000 | #Constraints: 64392 2544.20/2550.60 c INPROCESSING 2544.20/2550.60 c GARBAGE COLLECT 2544.20/2550.60 c rational objective 148 2645.73/2652.39 c #Conflicts: 714000 | #Constraints: 34010 2645.73/2652.39 c #Conflicts: 715000 | #Constraints: 35010 2645.73/2652.39 c #Conflicts: 716000 | #Constraints: 36010 2645.73/2652.39 c #Conflicts: 717000 | #Constraints: 37010 2645.73/2652.39 c #Conflicts: 718000 | #Constraints: 38010 2645.73/2652.39 c #Conflicts: 719000 | #Constraints: 39010 2645.73/2652.39 c #Conflicts: 720000 | #Constraints: 40010 2645.73/2652.39 c #Conflicts: 721000 | #Constraints: 41010 2645.73/2652.39 c #Conflicts: 722000 | #Constraints: 42010 2645.73/2652.39 c #Conflicts: 723000 | #Constraints: 43010 2645.73/2652.39 c #Conflicts: 724000 | #Constraints: 44010 2645.73/2652.39 c #Conflicts: 725000 | #Constraints: 45010 2645.73/2652.39 c #Conflicts: 726000 | #Constraints: 46010 2645.73/2652.39 c #Conflicts: 727000 | #Constraints: 47010 2645.73/2652.39 c #Conflicts: 728000 | #Constraints: 48010 2645.73/2652.39 c #Conflicts: 729000 | #Constraints: 49010 2645.73/2652.39 c #Conflicts: 730000 | #Constraints: 50010 2645.73/2652.39 c #Conflicts: 731000 | #Constraints: 51010 2645.73/2652.39 c #Conflicts: 732000 | #Constraints: 52010 2645.73/2652.39 c #Conflicts: 733000 | #Constraints: 53010 2645.73/2652.39 c INPROCESSING 2645.73/2652.39 c GARBAGE COLLECT 2645.73/2652.39 c rational objective 148 3172.38/3180.34 c #Conflicts: 734000 | #Constraints: 31981 3172.38/3180.34 c #Conflicts: 735000 | #Constraints: 32981 3172.38/3180.34 c #Conflicts: 736000 | #Constraints: 33981 3172.38/3180.34 c #Conflicts: 737000 | #Constraints: 34981 3172.38/3180.34 c #Conflicts: 738000 | #Constraints: 35981 3172.38/3180.34 c #Conflicts: 739000 | #Constraints: 36981 3172.38/3180.34 c #Conflicts: 740000 | #Constraints: 37981 3172.38/3180.34 c #Conflicts: 741000 | #Constraints: 38981 3172.38/3180.34 c #Conflicts: 742000 | #Constraints: 39981 3172.38/3180.34 c #Conflicts: 743000 | #Constraints: 40981 3172.38/3180.34 c #Conflicts: 744000 | #Constraints: 41981 3172.38/3180.34 c #Conflicts: 745000 | #Constraints: 42981 3172.38/3180.34 c #Conflicts: 746000 | #Constraints: 43981 3172.38/3180.34 c #Conflicts: 747000 | #Constraints: 44981 3172.38/3180.34 c #Conflicts: 748000 | #Constraints: 45981 3172.38/3180.34 c #Conflicts: 749000 | #Constraints: 46981 3172.38/3180.34 c #Conflicts: 750000 | #Constraints: 47981 3172.38/3180.34 c #Conflicts: 751000 | #Constraints: 48981 3172.38/3180.34 c #Conflicts: 752000 | #Constraints: 49981 3172.38/3180.34 c #Conflicts: 753000 | #Constraints: 50981 3172.38/3180.34 c #Conflicts: 754000 | #Constraints: 51981 3172.38/3180.34 c #Conflicts: 755000 | #Constraints: 52981 3172.38/3180.34 c #Conflicts: 756000 | #Constraints: 53981 3172.38/3180.34 c #Conflicts: 757000 | #Constraints: 54981 3172.38/3180.34 c #Conflicts: 758000 | #Constraints: 55981 3172.38/3180.34 c #Conflicts: 759000 | #Constraints: 56981 3172.38/3180.34 c #Conflicts: 760000 | #Constraints: 57981 3172.38/3180.34 c #Conflicts: 761000 | #Constraints: 58981 3172.38/3180.34 c #Conflicts: 762000 | #Constraints: 59981 3172.38/3180.34 c #Conflicts: 763000 | #Constraints: 60981 3172.38/3180.34 c #Conflicts: 764000 | #Constraints: 61981 3172.38/3180.34 c #Conflicts: 765000 | #Constraints: 62981 3172.38/3180.34 c #Conflicts: 766000 | #Constraints: 63981 3172.38/3180.34 c #Conflicts: 767000 | #Constraints: 64981 3172.38/3180.34 c #Conflicts: 768000 | #Constraints: 65981 3172.38/3180.34 c #Conflicts: 769000 | #Constraints: 66981 3172.38/3180.34 c #Conflicts: 770000 | #Constraints: 67981 3172.38/3180.34 c #Conflicts: 771000 | #Constraints: 68981 3172.38/3180.34 c #Conflicts: 772000 | #Constraints: 69981 3172.38/3180.34 c #Conflicts: 773000 | #Constraints: 70981 3172.38/3180.34 c #Conflicts: 774000 | #Constraints: 71981 3172.38/3180.34 c #Conflicts: 775000 | #Constraints: 72981 3172.38/3180.34 c #Conflicts: 776000 | #Constraints: 73981 3172.38/3180.34 c #Conflicts: 777000 | #Constraints: 74981 3172.38/3180.34 c #Conflicts: 778000 | #Constraints: 75981 3172.38/3180.34 c #Conflicts: 779000 | #Constraints: 76981 3172.38/3180.34 c #Conflicts: 780000 | #Constraints: 77981 3172.38/3180.34 c #Conflicts: 781000 | #Constraints: 78982 3172.38/3180.34 c #Conflicts: 782000 | #Constraints: 79982 3172.38/3180.34 c #Conflicts: 783000 | #Constraints: 80982 3172.38/3180.34 c #Conflicts: 784000 | #Constraints: 81982 3172.38/3180.34 c #Conflicts: 785000 | #Constraints: 82982 3172.38/3180.34 c #Conflicts: 786000 | #Constraints: 83982 3172.38/3180.34 c #Conflicts: 787000 | #Constraints: 84982 3172.38/3180.34 c #Conflicts: 788000 | #Constraints: 85982 3172.38/3180.34 c #Conflicts: 789000 | #Constraints: 86982 3172.38/3180.34 c #Conflicts: 790000 | #Constraints: 87982 3172.38/3180.34 c #Conflicts: 791000 | #Constraints: 88982 3172.38/3180.34 c #Conflicts: 792000 | #Constraints: 89982 3172.38/3180.34 c #Conflicts: 793000 | #Constraints: 90982 3172.38/3180.34 c #Conflicts: 794000 | #Constraints: 91982 3172.38/3180.34 c #Conflicts: 795000 | #Constraints: 92982 3172.38/3180.34 c #Conflicts: 796000 | #Constraints: 93982 3172.38/3180.34 c INPROCESSING 3172.38/3180.34 c GARBAGE COLLECT 3172.38/3180.34 c rational objective 148 3250.67/3258.81 c #Conflicts: 797000 | #Constraints: 48417 3250.67/3258.81 c #Conflicts: 798000 | #Constraints: 49417 3250.67/3258.81 c #Conflicts: 799000 | #Constraints: 50417 3250.67/3258.81 c #Conflicts: 800000 | #Constraints: 51417 3250.67/3258.81 c #Conflicts: 801000 | #Constraints: 52434 3250.67/3258.81 c #Conflicts: 802000 | #Constraints: 53434 3250.67/3258.81 c #Conflicts: 803000 | #Constraints: 54434 3250.67/3258.81 c #Conflicts: 804000 | #Constraints: 55434 3250.67/3258.81 c #Conflicts: 805000 | #Constraints: 56434 3250.67/3258.81 c #Conflicts: 806000 | #Constraints: 57434 3250.67/3258.81 c #Conflicts: 807000 | #Constraints: 58434 3250.67/3258.81 c #Conflicts: 808000 | #Constraints: 59434 3250.67/3258.81 c #Conflicts: 809000 | #Constraints: 60434 3250.67/3258.81 c #Conflicts: 810000 | #Constraints: 61452 3250.67/3258.81 c #Conflicts: 811000 | #Constraints: 62452 3250.67/3258.81 c #Conflicts: 812000 | #Constraints: 63455 3250.67/3258.81 c #Conflicts: 813000 | #Constraints: 64600 3250.67/3258.81 c #Conflicts: 814000 | #Constraints: 65779 3250.67/3258.81 c #Conflicts: 815000 | #Constraints: 66779 3250.67/3258.81 c #Conflicts: 816000 | #Constraints: 67800 3250.67/3258.81 c #Conflicts: 817000 | #Constraints: 68800 3250.67/3258.81 c #Conflicts: 818000 | #Constraints: 69801 3250.67/3258.81 c INPROCESSING 3250.67/3258.81 c GARBAGE COLLECT 3250.67/3258.81 c rational objective 148 3600.04/3609.11 c #Conflicts: 819000 | #Constraints: 37345 3600.04/3609.11 c #Conflicts: 820000 | #Constraints: 38345 3600.04/3609.11 c #Conflicts: 821000 | #Constraints: 39345 3600.04/3609.11 c #Conflicts: 822000 | #Constraints: 40347 3600.04/3609.11 c #Conflicts: 823000 | #Constraints: 41378 3600.04/3609.11 c #Conflicts: 824000 | #Constraints: 42378 3600.04/3609.11 c #Conflicts: 825000 | #Constraints: 43378 3600.04/3609.11 c #Conflicts: 826000 | #Constraints: 44378 3600.04/3609.11 c #Conflicts: 827000 | #Constraints: 45378 3600.04/3609.11 c #Conflicts: 828000 | #Constraints: 46378 3600.04/3609.11 c #Conflicts: 829000 | #Constraints: 47379 3600.04/3609.11 c #Conflicts: 830000 | #Constraints: 48379 3600.04/3609.11 c #Conflicts: 831000 | #Constraints: 49379 3600.04/3609.11 c #Conflicts: 832000 | #Constraints: 50379 3600.04/3609.11 c #Conflicts: 833000 | #Constraints: 51379 3600.04/3609.11 c #Conflicts: 834000 | #Constraints: 52379 3600.04/3609.11 c #Conflicts: 835000 | #Constraints: 53379 3600.04/3609.11 c #Conflicts: 836000 | #Constraints: 54379 3600.04/3609.11 c #Conflicts: 837000 | #Constraints: 55379 3600.04/3609.11 c #Conflicts: 838000 | #Constraints: 56379 3600.04/3609.11 c #Conflicts: 839000 | #Constraints: 57379 3600.04/3609.11 c #Conflicts: 840000 | #Constraints: 58379 3600.04/3609.11 c #Conflicts: 841000 | #Constraints: 59379 3600.04/3609.11 c #Conflicts: 842000 | #Constraints: 60379 3600.04/3609.11 c #Conflicts: 843000 | #Constraints: 61379 3600.04/3609.11 c #Conflicts: 844000 | #Constraints: 62379 3600.04/3609.11 c #Conflicts: 845000 | #Constraints: 63379 3600.04/3609.11 c #Conflicts: 846000 | #Constraints: 64379 3600.04/3609.11 c #Conflicts: 847000 | #Constraints: 65379 3600.04/3609.11 c #Conflicts: 848000 | #Constraints: 66407 3600.04/3609.11 c #Conflicts: 849000 | #Constraints: 67409 3600.04/3609.11 c #Conflicts: 850000 | #Constraints: 68430 3600.04/3609.11 c #Conflicts: 851000 | #Constraints: 69508 3600.04/3609.11 c #Conflicts: 852000 | #Constraints: 70535 3600.04/3609.11 c #Conflicts: 853000 | #Constraints: 71536 3600.04/3609.11 c #Conflicts: 854000 | #Constraints: 72536 3600.04/3609.11 c #Conflicts: 855000 | #Constraints: 73536 3600.04/3609.11 c #Conflicts: 856000 | #Constraints: 74537 3600.04/3609.11 c #Conflicts: 857000 | #Constraints: 75537 3600.04/3609.11 c #Conflicts: 858000 | #Constraints: 76539 3600.04/3609.11 c #Conflicts: 859000 | #Constraints: 77539 3600.04/3609.11 c #Conflicts: 860000 | #Constraints: 78539 3600.04/3609.11 c #Conflicts: 861000 | #Constraints: 79539 3600.04/3609.11 c #Conflicts: 862000 | #Constraints: 80541 3600.04/3609.11 c #Conflicts: 863000 | #Constraints: 81541 3600.04/3609.11 c #Conflicts: 864000 | #Constraints: 82541 3600.04/3609.11 c #Conflicts: 865000 | #Constraints: 83541 3600.04/3609.11 c #Conflicts: 866000 | #Constraints: 84541 3600.04/3609.11 c #Conflicts: 867000 | #Constraints: 85543 3600.04/3609.11 c #Conflicts: 868000 | #Constraints: 86544 3600.04/3609.11 c #Conflicts: 869000 | #Constraints: 87545 3600.04/3609.11 c #Conflicts: 870000 | #Constraints: 88595 3600.04/3609.11 c #Conflicts: 871000 | #Constraints: 89600 3600.04/3609.11 c #Conflicts: 872000 | #Constraints: 90600 3600.04/3609.11 c #Conflicts: 873000 | #Constraints: 91600 3600.04/3609.11 c #Conflicts: 874000 | #Constraints: 92601 3600.04/3609.11 c #Conflicts: 875000 | #Constraints: 93601 3600.04/3609.11 c #Conflicts: 876000 | #Constraints: 94601 3600.04/3609.11 c #Conflicts: 877000 | #Constraints: 95601 3600.04/3609.11 c #Conflicts: 878000 | #Constraints: 96601 3600.04/3609.11 c #Conflicts: 879000 | #Constraints: 97601 3600.04/3609.11 c Program interrupted by user. 3600.04/3609.11 c cpu time 3583.44 s 3600.04/3609.11 c deterministic time 343456740258 3.43e+11 3600.04/3609.11 c optimization time 348.031 s 3600.04/3609.11 c total solve time 3235.4 s 3600.04/3609.11 c core-guided solve time 1960.7 s 3600.04/3609.11 c propagation time 3068.62 s 3600.04/3609.11 c conflict analysis time 462.876 s 3600.04/3609.11 c propagations 113702603 3600.04/3609.11 c resolve steps 7671061 3600.04/3609.11 c decisions 5657090 3600.04/3609.11 c conflicts 879556 3600.04/3609.11 c restarts 1913 3600.04/3609.11 c inprocessing phases 49 3600.04/3609.11 c input clauses 307 3600.04/3609.11 c input cardinalities 327 3600.04/3609.11 c input general constraints 888 3600.04/3609.11 c input average constraint length 62.33 3600.04/3609.11 c input average constraint degree 23.54 3600.04/3609.11 c learned clauses 317136 3600.04/3609.11 c learned cardinalities 5614 3600.04/3609.11 c learned general constraints 559824 3600.04/3609.11 c learned average constraint length 189.01 3600.04/3609.11 c learned average constraint degree 32169119.72 3600.04/3609.11 c watched constraints 365637 3600.04/3609.11 c counting constraints 195075 3600.04/3609.11 c gcd simplifications 113652 3600.04/3609.11 c detected cardinalities 2119 3600.04/3609.11 c weakened non-implied lits 40575294 3600.04/3609.11 c weakened non-implying lits 77458 3600.04/3609.11 c original variables 470 3600.04/3609.11 c clausal propagations 13929798 3600.04/3609.11 c cardinality propagations 7234092 3600.04/3609.11 c watched propagations 16203889 3600.04/3609.11 c counting propagations 74311357 3600.04/3609.11 c watch lookups 60225986236 3600.04/3609.11 c watch backjump lookups 53602391797 3600.04/3609.11 c watch checks 207044257389 3600.04/3609.11 c propagation checks 21684764625 3600.04/3609.11 c constraint additions 658793046 3600.04/3609.11 c trail pops 120238568 3600.04/3609.11 c formula constraints 470 3600.04/3609.11 c learned constraints 879565 3600.04/3609.11 c bound constraints 180 3600.04/3609.11 c core-guided constraints 872 3600.04/3609.11 c encountered formula constraints 1449077 3600.04/3609.11 c encountered learned constraints 5971244 3600.04/3609.11 c encountered bound constraints 112 3600.04/3609.11 c encountered core-guided constraints 1125766 3600.04/3609.11 c LP total time 69.8666 s 3600.04/3609.11 c LP solve time 63.5 s 3600.04/3609.11 c LP constraints added 525 3600.04/3609.11 c LP constraints removed 50 3600.04/3609.11 c LP pivots internal 879576 3600.04/3609.11 c LP pivots root 69327 3600.04/3609.11 c LP calls 10823 3600.04/3609.11 c LP optimalities 6375 3600.04/3609.11 c LP no pivot count 218 3600.04/3609.11 c LP infeasibilities 4321 3600.04/3609.11 c LP valid Farkas constraints 2952 3600.04/3609.11 c LP learned Farkas constraints 2 3600.04/3609.11 c LP basis resets 123 3600.04/3609.11 c LP cycling count 123 3600.04/3609.11 c LP singular count 0 3600.04/3609.11 c LP no primal count 0 3600.04/3609.11 c LP no farkas count 0 3600.04/3609.11 c LP other issue count 0 3600.04/3609.11 c LP Gomory cuts 55 3600.04/3609.11 c LP learned cuts 0 3600.04/3609.11 c LP deleted cuts 50 3600.04/3609.11 c LP encountered Gomory constraints 0 3600.04/3609.11 c LP encountered Farkas constraints 4409 3600.04/3609.11 c LP encountered learned Farkas constraints 7 3600.04/3609.11 c CG auxiliary variables introduced 340 3600.04/3609.11 c CG solutions found 32 3600.04/3609.11 c CG cores constructed 148 3600.04/3609.11 c CG core cardinality constraints returned 0 3600.04/3609.11 c CG unit cores 0 3600.04/3609.11 c CG single cores 148 3600.04/3609.11 c CG blocks removed during cardinality reduction 0 3600.04/3609.11 c CG first core best 0 3600.04/3609.11 c CG decision core best 0 3600.04/3609.11 c CG core reduction tie 0 3600.04/3609.11 c CG core degree average 1.00 3600.04/3609.11 c CG core slack average 3.99 3600.04/3609.11 s SATISFIABLE 3600.04/3609.11 v -x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 x89 x90 -x91 x92 -x93 x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 x119 -x120 -x121 -x122 x123 -x124 x125 x126 -x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 -x136 -x137 x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 x163 x164 x165 x166 -x167 x168 -x169 -x170 x171 x172 -x173 x174 -x175 x176 -x177 x178 x179 x180 x181 x182 -x183 x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 x201 x202 -x203 x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 x217 x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 x230 -x231 x232 -x233 -x234 x235 -x236 x237 x238 -x239 x240 -x241 -x242 -x243 x244 x245 -x246 -x247 x248 x249 x250 x251 x252 x253 x254 x255 -x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 x292 -x293 -x294 -x295 x296 -x297 x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 x324 -x325 x326 x327 x328 x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 x339 -x340 -x341 x342 x343 x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 x354 -x355 x356 x357 -x358 -x359 -x360 x361 x362 -x363 x364 x365 x366 x367 x368 x369 x370 -x371 -x372 -x373 x374 x375 -x376 x377 x378 x379 -x380 x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 x394 x395 x396 x397 x398 x399 -x400 -x401 x402 -x403 x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 -x415 -x416 x417 -x418 x419 x420 x421 -x422 x423 x424 x425 x426 x427 x428 -x429 -x430 x431 x432 x433 x434 x435 x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 x445 x446 x447 -x448 x449 x450 x451 x452 -x453 -x454 x455 -x456 x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 x468 x469 x470
OK 193
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: 63931 MiB (61214 MiB free)
memory of node 1: 64510 MiB (61609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455119-1721458669/watcher-4455119-1721458669 -o /tmp/evaluation-result-4455119-1721458669/solver-4455119-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057475 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455119-1721458669.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1057551, runsolver pid=1057547
[startup+0.100084 s]*
/proc/loadavg: 4.12 4.11 4.04 5/253 1057562
/proc/meminfo: memFree=125769844/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=38700 memory=8940 CPUtime=0.09 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 662 0 0 0 9 0 0 0 20 0 1 0 198026084 39628800 2235 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 9675 2235 1750 922 0 1627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38700 KiB
Current children cumulated memory: 8940 KiB
[startup+0.205632 s]*
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125749856/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=40128 memory=13040 CPUtime=0.2 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 1174 0 0 0 18 2 0 0 20 0 1 0 198026084 41091072 3260 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 10032 3260 1782 922 0 1984 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40128 KiB
Current children cumulated memory: 13040 KiB
[startup+0.305347 s]*
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125738536/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=41844 memory=14748 CPUtime=0.3 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 1573 0 0 0 27 3 0 0 20 0 1 0 198026084 42848256 3687 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 10461 3687 1782 922 0 2413 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41844 KiB
Current children cumulated memory: 14748 KiB
[startup+0.700151 s]
/proc/loadavg: 4.11 4.11 4.04 6/259 1057573
/proc/meminfo: memFree=125725900/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=42896 memory=16216 CPUtime=0.69 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 1952 0 0 0 63 6 0 0 20 0 1 0 198026084 43925504 4054 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 10724 4054 1862 922 0 2676 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42896 KiB
Current children cumulated memory: 16216 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125704640/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=45672 memory=19300 CPUtime=1.49 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 2754 0 0 0 140 9 0 0 20 0 1 0 198026084 46768128 4825 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 11418 4825 1862 922 0 3370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45672 KiB
Current children cumulated memory: 19300 KiB
[startup+3.10605 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1057574
/proc/meminfo: memFree=125389140/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=50740 memory=23144 CPUtime=3.09 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 3708 0 0 0 293 16 0 0 20 0 1 0 198026084 51957760 5786 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 12685 5786 1862 922 0 4637 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50740 KiB
Current children cumulated memory: 23144 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.11 4.04 5/259 1057574
/proc/meminfo: memFree=125373036/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=60240 memory=30244 CPUtime=6.27 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 5466 0 0 0 600 27 0 0 20 0 1 0 198026084 61685760 7561 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 15060 7561 1862 922 0 7012 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60240 KiB
Current children cumulated memory: 30244 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.12 4.05 5/259 1057574
/proc/meminfo: memFree=125270556/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=63012 memory=36664 CPUtime=12.66 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 6712 0 0 0 1217 49 0 0 20 0 1 0 198026084 64524288 9166 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 15753 9166 1932 922 0 7705 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 63012 KiB
Current children cumulated memory: 36664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.05 5/259 1057578
/proc/meminfo: memFree=125087720/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=125032 memory=76916 CPUtime=25.43 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 13207 0 0 0 2467 76 0 0 20 0 1 0 198026084 128032768 19229 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 31258 19229 1932 922 0 23210 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 125032 KiB
Current children cumulated memory: 76916 KiB
[startup+51.1059 s]
/proc/loadavg: 4.09 4.10 4.05 5/259 1057581
/proc/meminfo: memFree=124995076/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=131868 memory=82172 CPUtime=50.97 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 14510 0 0 0 4974 123 0 0 20 0 1 0 198026084 135032832 20543 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 32967 20543 1932 922 0 24919 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 131868 KiB
Current children cumulated memory: 82172 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.06 5/259 1057589
/proc/meminfo: memFree=124937800/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=134500 memory=84228 CPUtime=102.04 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 15073 0 0 0 10019 185 0 0 20 0 1 0 198026084 137728000 21057 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 33625 21057 1932 922 0 25577 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 134500 KiB
Current children cumulated memory: 84228 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.08 5/261 1057604
/proc/meminfo: memFree=124419760/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=140456 memory=93556 CPUtime=161.89 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 16386 0 0 0 15967 222 0 0 20 0 1 0 198026084 143826944 23389 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 35114 23389 1932 922 0 27066 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 140456 KiB
Current children cumulated memory: 93556 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/259 1057626
/proc/meminfo: memFree=124228784/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=141924 memory=95128 CPUtime=221.74 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 16768 0 0 0 21871 303 0 0 20 0 1 0 198026084 145330176 23782 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 35481 23782 1932 922 0 27433 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 141924 KiB
Current children cumulated memory: 95128 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/259 1057637
/proc/meminfo: memFree=124187608/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=151392 memory=116868 CPUtime=281.59 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 19187 0 0 0 27806 353 0 0 20 0 1 0 198026084 155025408 29217 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 37848 29217 1932 922 0 29800 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 151392 KiB
Current children cumulated memory: 116868 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/257 1057647
/proc/meminfo: memFree=124147348/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=164532 memory=127060 CPUtime=341.44 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 21759 0 0 0 33731 413 0 0 20 0 1 0 198026084 168480768 31765 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 41133 31765 1932 922 0 33085 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 164532 KiB
Current children cumulated memory: 127060 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 1057659
/proc/meminfo: memFree=123816160/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=220256 memory=176892 CPUtime=401.29 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 27568 0 0 0 39683 446 0 0 20 0 1 0 198026084 225542144 44223 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 55064 44223 1932 922 0 47016 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 220256 KiB
Current children cumulated memory: 176892 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1057669
/proc/meminfo: memFree=123779760/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=220840 memory=177420 CPUtime=461.14 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 27687 0 0 0 45643 471 0 0 20 0 1 0 198026084 226140160 44355 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 55210 44355 1932 922 0 47162 0
################
# More data... #
################
Current children cumulated memory: 355568 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 1058745
/proc/meminfo: memFree=122295268/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355572 CPUtime=2915.04 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 57071 0 0 0 290067 1437 0 0 20 0 1 0 198026084 498335744 88893 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88893 1932 922 0 113616 0
Current children cumulated CPU time: 2915.04 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1058757
/proc/meminfo: memFree=122268240/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355596 CPUtime=2974.89 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 57227 0 0 0 296037 1452 0 0 20 0 1 0 198026084 498335744 88899 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88899 1932 922 0 113616 0
Current children cumulated CPU time: 2974.89 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355596 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 1058768
/proc/meminfo: memFree=122251344/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355612 CPUtime=3034.74 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 57381 0 0 0 302008 1466 0 0 20 0 1 0 198026084 498335744 88903 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88903 1932 922 0 113616 0
Current children cumulated CPU time: 3034.74 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355612 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/256 1058778
/proc/meminfo: memFree=122235128/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355636 CPUtime=3094.58 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 57538 0 0 0 307979 1479 0 0 20 0 1 0 198026084 498335744 88909 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88909 1932 922 0 113616 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1058792
/proc/meminfo: memFree=122205348/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355668 CPUtime=3154.43 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 57697 0 0 0 313951 1492 0 0 20 0 1 0 198026084 498335744 88917 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88917 1932 922 0 113616 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355668 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 1058804
/proc/meminfo: memFree=122187000/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486656 memory=355816 CPUtime=3214.27 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 58154 0 0 0 319907 1520 0 0 20 0 1 0 198026084 498335744 88954 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121664 88954 1932 922 0 113616 0
Current children cumulated CPU time: 3214.27 s
Current children cumulated vsize: 486656 KiB
Current children cumulated memory: 355816 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1058814
/proc/meminfo: memFree=122176124/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486984 memory=355968 CPUtime=3274.11 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 58354 0 0 0 325859 1552 0 0 20 0 1 0 198026084 498671616 88992 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121746 88992 1932 922 0 113698 0
Current children cumulated CPU time: 3274.11 s
Current children cumulated vsize: 486984 KiB
Current children cumulated memory: 355968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 1058824
/proc/meminfo: memFree=122175588/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486984 memory=356016 CPUtime=3333.95 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 58504 0 0 0 331812 1583 0 0 20 0 1 0 198026084 498671616 89004 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121746 89004 1932 922 0 113698 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 486984 KiB
Current children cumulated memory: 356016 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1058836
/proc/meminfo: memFree=122174952/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=486984 memory=356016 CPUtime=3393.8 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 58654 0 0 0 337777 1603 0 0 20 0 1 0 198026084 498671616 89004 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 121746 89004 1932 922 0 113698 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 486984 KiB
Current children cumulated memory: 356016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1059229
/proc/meminfo: memFree=122157944/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=492920 memory=359448 CPUtime=3453.63 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 59689 0 0 0 343741 1622 0 0 20 0 1 0 198026084 504750080 89862 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 123230 89862 1932 922 0 115182 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 492920 KiB
Current children cumulated memory: 359448 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059240
/proc/meminfo: memFree=122149432/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=495720 memory=361752 CPUtime=3513.47 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 60424 0 0 0 349709 1638 0 0 20 0 1 0 198026084 507617280 90438 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 123930 90438 1932 922 0 115882 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 495720 KiB
Current children cumulated memory: 361752 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1059252
/proc/meminfo: memFree=122138532/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=498416 memory=366360 CPUtime=3573.31 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 61240 0 0 0 355676 1655 0 0 20 0 1 0 198026084 510377984 91590 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 124604 91590 1932 922 0 116556 0
Current children cumulated CPU time: 3573.31 s
Current children cumulated vsize: 498416 KiB
Current children cumulated memory: 366360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1059257
/proc/meminfo: memFree=122124948/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=501620 memory=375352 CPUtime=3600.04 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 62019 0 0 0 358342 1662 0 0 20 0 1 0 198026084 513658880 93838 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 125405 93838 1932 922 0 117357 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 501620 KiB
Current children cumulated memory: 375352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 1057551 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.44 s, system=16.6356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1059257
/proc/meminfo: memFree=122124948/131524600 swapFree=130799640/131071996
[pid=1057551] ppid=1057547 vsize=501620 memory=375352 CPUtime=3600.04 cores=4,6
/proc/1057551/stat : 1057551 (roundingsat) R 1057547 1057551 1057331 0 -1 4194304 62019 0 0 0 358342 1662 0 0 20 0 1 0 198026084 513658880 93838 134679101440 4194304 7968373 140726037814064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38985728 140726037816252 140726037816416 140726037816416 140726037823433 0
/proc/1057551/statm: 125405 93838 1932 922 0 117357 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 501620 KiB
Current children cumulated memory: 375352 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.07
CPU user time (s): 3583.44
CPU system time (s): 16.6356
CPU usage (%): 99.7492
Max. virtual memory (cumulated for all children) (KiB): 501620
Max. memory (cumulated for all children) (KiB): 375352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.44
system time used= 16.6356
maximum resident set size= 375352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62029
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= 71
involuntary context switches= 2735
# summary of solver processes directly reported to runsolver:
# pid: 1057551
# total CPU time (s): 3600.07
# total CPU user time (s): 3583.44
# total CPU system time (s): 16.6356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31106 second user time and 17.2111 second system time
The end
Begin job on nodeC014 at 2024-07-20 08:58:02 IDJOB=4455119 IDBENCH=147548 IDSOLVER=3084 FILE ID=nodeC014/4455119-1721458669 RUNJOBID= nodeC014-1721458682-1057475 SLURM_JOB_ID= 7545705 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.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-4455119-1721458669/watcher-4455119-1721458669 -o /tmp/evaluation-result-4455119-1721458669/solver-4455119-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057475 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455119-1721458669.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=1589648537 nodeC014.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 : 0xb00002a cpu MHz : 3523.506 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32 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 : 0xb00002a cpu MHz : 3616.757 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3467.275 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32 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 : 0xb00002a cpu MHz : 3543.025 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3529.592 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32 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 : 0xb00002a cpu MHz : 3507.529 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 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 : 0xb00002a cpu MHz : 3488.766 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32 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 : 0xb00002a cpu MHz : 3555.914 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125786904 kB MemAvailable: 129975440 kB Buffers: 507836 kB Cached: 4476308 kB SwapCached: 12848 kB Active: 1535308 kB Inactive: 3574756 kB Active(anon): 9116 kB Inactive(anon): 146812 kB Active(file): 1526192 kB Inactive(file): 3427944 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 130799640 kB Dirty: 19128 kB Writeback: 12 kB AnonPages: 117604 kB Mapped: 50556 kB Shmem: 29680 kB KReclaimable: 148096 kB Slab: 251116 kB SReclaimable: 148096 kB SUnreclaim: 103020 kB KernelStack: 3920 kB PageTables: 9384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 736216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 36672 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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: 303828 kB DirectMap2M: 38266880 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890000 MiB End job on nodeC014 at 2024-07-20 09:58:11