| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 16 | 3600.03 | 3608.81 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb |
| MD5SUM | a64beba99ddb27280a5fb75072b9e119 |
| 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 | 16 |
| Best CPU time to get the best result obtained on this benchmark | 3419.49 |
| 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 | 5568 |
| Total number of constraints | 412 |
| Number of constraints which are clauses | 173 |
| Number of constraints which are cardinality constraints (but not clauses) | 173 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 174 |
| Number of terms in the objective function | 32 |
| 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 | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 56906 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 206719 |
| Number of bits of the biggest sum of numbers | 18 |
| 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.04 c #variables 5568 #constraints 412 0.00/0.08 c bounds - >= 0 @ 0.010081 0.00/0.08 c rational objective 15 2.56/2.61 c bounds 28 >= 0 @ 0.478384 2.56/2.61 c bounds 28 >= 15 @ 0.479056 2.56/2.61 c #Conflicts: 1000 | #Constraints: 1427 2.56/2.61 c #Conflicts: 2000 | #Constraints: 2441 2.56/2.61 c INPROCESSING 2.56/2.61 c GARBAGE COLLECT 2.56/2.61 c rational objective 15 5.06/5.19 c bounds 27 >= 15 @ 2.49663 5.06/5.19 c bounds 26 >= 15 @ 2.49911 5.06/5.19 c bounds 25 >= 15 @ 2.70239 5.06/5.19 c bounds 24 >= 15 @ 2.70425 5.06/5.19 c bounds 23 >= 15 @ 2.70809 5.06/5.19 c bounds 22 >= 15 @ 2.73086 5.06/5.19 c bounds 21 >= 15 @ 2.73442 5.06/5.19 c bounds 20 >= 15 @ 2.73878 5.06/5.19 c bounds 19 >= 15 @ 2.74089 5.06/5.19 c bounds 18 >= 15 @ 2.74466 5.06/5.19 c bounds 17 >= 15 @ 2.80976 5.06/5.19 c bounds 16 >= 15 @ 3.56734 5.06/5.19 c #Conflicts: 3000 | #Constraints: 2468 5.06/5.19 c #Conflicts: 4000 | #Constraints: 3470 5.06/5.19 c INPROCESSING 5.06/5.19 c GARBAGE COLLECT 5.06/5.19 c rational objective 15 8.54/8.60 c #Conflicts: 5000 | #Constraints: 2847 8.54/8.60 c #Conflicts: 6000 | #Constraints: 3850 8.54/8.60 c INPROCESSING 8.54/8.60 c GARBAGE COLLECT 8.54/8.60 c rational objective 15 11.34/11.40 c #Conflicts: 7000 | #Constraints: 2840 11.34/11.40 c #Conflicts: 8000 | #Constraints: 3843 11.34/11.40 c #Conflicts: 9000 | #Constraints: 4850 11.34/11.40 c INPROCESSING 11.34/11.40 c GARBAGE COLLECT 11.34/11.40 c rational objective 15 14.23/14.32 c #Conflicts: 10000 | #Constraints: 3540 14.23/14.32 c #Conflicts: 11000 | #Constraints: 4540 14.23/14.32 c #Conflicts: 12000 | #Constraints: 5541 14.23/14.32 c INPROCESSING 14.23/14.32 c GARBAGE COLLECT 14.23/14.32 c rational objective 15 17.82/17.94 c #Conflicts: 13000 | #Constraints: 3992 17.82/17.94 c #Conflicts: 14000 | #Constraints: 4992 17.82/17.94 c #Conflicts: 15000 | #Constraints: 5998 17.82/17.94 c INPROCESSING 17.82/17.94 c GARBAGE COLLECT 17.82/17.94 c rational objective 15 21.41/21.51 c #Conflicts: 16000 | #Constraints: 4223 21.41/21.51 c #Conflicts: 17000 | #Constraints: 5228 21.41/21.51 c #Conflicts: 18000 | #Constraints: 6228 21.41/21.51 c INPROCESSING 21.41/21.51 c GARBAGE COLLECT 21.41/21.51 c rational objective 15 25.80/25.91 c #Conflicts: 19000 | #Constraints: 4229 25.80/25.91 c #Conflicts: 20000 | #Constraints: 5230 25.80/25.91 c #Conflicts: 21000 | #Constraints: 6230 25.80/25.91 c INPROCESSING 25.80/25.91 c GARBAGE COLLECT 25.80/25.91 c rational objective 15 30.78/30.95 c #Conflicts: 22000 | #Constraints: 4034 30.78/30.95 c #Conflicts: 23000 | #Constraints: 5036 30.78/30.95 c #Conflicts: 24000 | #Constraints: 6037 30.78/30.95 c #Conflicts: 25000 | #Constraints: 7039 30.78/30.95 c INPROCESSING 30.78/30.95 c GARBAGE COLLECT 30.78/30.95 c rational objective 15 34.77/34.99 c #Conflicts: 26000 | #Constraints: 4635 34.77/34.99 c #Conflicts: 27000 | #Constraints: 5648 34.77/34.99 c #Conflicts: 28000 | #Constraints: 6648 34.77/34.99 c #Conflicts: 29000 | #Constraints: 7648 34.77/34.99 c INPROCESSING 34.77/34.99 c GARBAGE COLLECT 34.77/34.99 c rational objective 15 38.87/39.06 c #Conflicts: 30000 | #Constraints: 5050 38.87/39.06 c #Conflicts: 31000 | #Constraints: 6055 38.87/39.06 c #Conflicts: 32000 | #Constraints: 7055 38.87/39.06 c #Conflicts: 33000 | #Constraints: 8058 38.87/39.06 c INPROCESSING 38.87/39.06 c GARBAGE COLLECT 38.87/39.06 c rational objective 15 44.25/44.43 c #Conflicts: 34000 | #Constraints: 5245 44.25/44.43 c #Conflicts: 35000 | #Constraints: 6247 44.25/44.43 c #Conflicts: 36000 | #Constraints: 7248 44.25/44.43 c #Conflicts: 37000 | #Constraints: 8249 44.25/44.43 c INPROCESSING 44.25/44.43 c GARBAGE COLLECT 44.25/44.43 c rational objective 15 51.14/51.39 c #Conflicts: 38000 | #Constraints: 5240 51.14/51.39 c #Conflicts: 39000 | #Constraints: 6240 51.14/51.39 c #Conflicts: 40000 | #Constraints: 7241 51.14/51.39 c #Conflicts: 41000 | #Constraints: 8241 51.14/51.39 c INPROCESSING 51.14/51.39 c GARBAGE COLLECT 51.14/51.39 c rational objective 15 61.20/61.49 c #Conflicts: 42000 | #Constraints: 5038 61.20/61.49 c #Conflicts: 43000 | #Constraints: 6039 61.20/61.49 c #Conflicts: 44000 | #Constraints: 7039 61.20/61.49 c #Conflicts: 45000 | #Constraints: 8039 61.20/61.49 c #Conflicts: 46000 | #Constraints: 9040 61.20/61.49 c INPROCESSING 61.20/61.49 c GARBAGE COLLECT 61.20/61.49 c rational objective 15 69.49/69.72 c #Conflicts: 47000 | #Constraints: 5636 69.49/69.72 c #Conflicts: 48000 | #Constraints: 6636 69.49/69.72 c #Conflicts: 49000 | #Constraints: 7636 69.49/69.72 c #Conflicts: 50000 | #Constraints: 8636 69.49/69.72 c #Conflicts: 51000 | #Constraints: 9636 69.49/69.72 c INPROCESSING 69.49/69.72 c GARBAGE COLLECT 69.49/69.72 c rational objective 15 80.47/80.73 c #Conflicts: 52000 | #Constraints: 6034 80.47/80.73 c #Conflicts: 53000 | #Constraints: 7035 80.47/80.73 c #Conflicts: 54000 | #Constraints: 8035 80.47/80.73 c #Conflicts: 55000 | #Constraints: 9035 80.47/80.73 c #Conflicts: 56000 | #Constraints: 10035 80.47/80.73 c INPROCESSING 80.47/80.73 c GARBAGE COLLECT 80.47/80.73 c rational objective 15 93.33/93.67 c #Conflicts: 57000 | #Constraints: 6229 93.33/93.67 c #Conflicts: 58000 | #Constraints: 7230 93.33/93.67 c #Conflicts: 59000 | #Constraints: 8230 93.33/93.67 c #Conflicts: 60000 | #Constraints: 9231 93.33/93.67 c #Conflicts: 61000 | #Constraints: 10231 93.33/93.67 c INPROCESSING 93.33/93.67 c GARBAGE COLLECT 93.33/93.67 c rational objective 15 105.00/105.39 c #Conflicts: 62000 | #Constraints: 6234 105.00/105.39 c #Conflicts: 63000 | #Constraints: 7234 105.00/105.39 c #Conflicts: 64000 | #Constraints: 8234 105.00/105.39 c #Conflicts: 65000 | #Constraints: 9234 105.00/105.39 c #Conflicts: 66000 | #Constraints: 10234 105.00/105.39 c INPROCESSING 105.00/105.39 c GARBAGE COLLECT 105.00/105.39 c rational objective 15 115.17/115.58 c #Conflicts: 67000 | #Constraints: 6036 115.17/115.58 c #Conflicts: 68000 | #Constraints: 7036 115.17/115.58 c #Conflicts: 69000 | #Constraints: 8036 115.17/115.58 c #Conflicts: 70000 | #Constraints: 9045 115.17/115.58 c #Conflicts: 71000 | #Constraints: 10050 115.17/115.58 c #Conflicts: 72000 | #Constraints: 11050 115.17/115.58 c INPROCESSING 115.17/115.58 c GARBAGE COLLECT 115.17/115.58 c rational objective 15 122.46/122.83 c #Conflicts: 73000 | #Constraints: 6646 122.46/122.83 c #Conflicts: 74000 | #Constraints: 7649 122.46/122.83 c #Conflicts: 75000 | #Constraints: 8649 122.46/122.83 c #Conflicts: 76000 | #Constraints: 9649 122.46/122.83 c #Conflicts: 77000 | #Constraints: 10649 122.46/122.83 c #Conflicts: 78000 | #Constraints: 11660 122.46/122.83 c INPROCESSING 122.46/122.83 c GARBAGE COLLECT 122.46/122.83 c rational objective 15 135.02/135.43 c #Conflicts: 79000 | #Constraints: 7046 135.02/135.43 c #Conflicts: 80000 | #Constraints: 8047 135.02/135.43 c #Conflicts: 81000 | #Constraints: 9047 135.02/135.43 c #Conflicts: 82000 | #Constraints: 10047 135.02/135.43 c #Conflicts: 83000 | #Constraints: 11047 135.02/135.43 c #Conflicts: 84000 | #Constraints: 12049 135.02/135.43 c INPROCESSING 135.02/135.43 c GARBAGE COLLECT 135.02/135.43 c rational objective 15 145.30/145.76 c #Conflicts: 85000 | #Constraints: 7238 145.30/145.76 c #Conflicts: 86000 | #Constraints: 8238 145.30/145.76 c #Conflicts: 87000 | #Constraints: 9238 145.30/145.76 c #Conflicts: 88000 | #Constraints: 10238 145.30/145.76 c #Conflicts: 89000 | #Constraints: 11246 145.30/145.76 c #Conflicts: 90000 | #Constraints: 12248 145.30/145.76 c INPROCESSING 145.30/145.76 c GARBAGE COLLECT 145.30/145.76 c rational objective 15 153.78/154.24 c #Conflicts: 91000 | #Constraints: 7244 153.78/154.24 c #Conflicts: 92000 | #Constraints: 8246 153.78/154.24 c #Conflicts: 93000 | #Constraints: 9246 153.78/154.24 c #Conflicts: 94000 | #Constraints: 10247 153.78/154.24 c #Conflicts: 95000 | #Constraints: 11250 153.78/154.24 c #Conflicts: 96000 | #Constraints: 12250 153.78/154.24 c INPROCESSING 153.78/154.24 c GARBAGE COLLECT 153.78/154.24 c rational objective 15 162.86/163.33 c #Conflicts: 97000 | #Constraints: 7041 162.86/163.33 c #Conflicts: 98000 | #Constraints: 8041 162.86/163.33 c #Conflicts: 99000 | #Constraints: 9047 162.86/163.33 c #Conflicts: 100000 | #Constraints: 10047 162.86/163.33 c #Conflicts: 101000 | #Constraints: 11047 162.86/163.33 c #Conflicts: 102000 | #Constraints: 12047 162.86/163.33 c #Conflicts: 103000 | #Constraints: 13048 162.86/163.33 c INPROCESSING 162.86/163.33 c GARBAGE COLLECT 162.86/163.33 c rational objective 15 171.33/171.86 c #Conflicts: 104000 | #Constraints: 7641 171.33/171.86 c #Conflicts: 105000 | #Constraints: 8646 171.33/171.86 c #Conflicts: 106000 | #Constraints: 9651 171.33/171.86 c #Conflicts: 107000 | #Constraints: 10651 171.33/171.86 c #Conflicts: 108000 | #Constraints: 11651 171.33/171.86 c #Conflicts: 109000 | #Constraints: 12652 171.33/171.86 c #Conflicts: 110000 | #Constraints: 13652 171.33/171.86 c INPROCESSING 171.33/171.86 c GARBAGE COLLECT 171.33/171.86 c rational objective 15 180.11/180.62 c #Conflicts: 111000 | #Constraints: 8043 180.11/180.62 c #Conflicts: 112000 | #Constraints: 9044 180.11/180.62 c #Conflicts: 113000 | #Constraints: 10057 180.11/180.62 c #Conflicts: 114000 | #Constraints: 11057 180.11/180.62 c #Conflicts: 115000 | #Constraints: 12057 180.11/180.62 c #Conflicts: 116000 | #Constraints: 13057 180.11/180.62 c #Conflicts: 117000 | #Constraints: 14061 180.11/180.62 c INPROCESSING 180.11/180.62 c GARBAGE COLLECT 180.11/180.62 c rational objective 15 189.60/190.17 c #Conflicts: 118000 | #Constraints: 8250 189.60/190.17 c #Conflicts: 119000 | #Constraints: 9257 189.60/190.17 c #Conflicts: 120000 | #Constraints: 10260 189.60/190.17 c #Conflicts: 121000 | #Constraints: 11260 189.60/190.17 c #Conflicts: 122000 | #Constraints: 12261 189.60/190.17 c #Conflicts: 123000 | #Constraints: 13264 189.60/190.17 c #Conflicts: 124000 | #Constraints: 14264 189.60/190.17 c INPROCESSING 189.60/190.17 c GARBAGE COLLECT 189.60/190.17 c rational objective 15 212.13/212.70 c #Conflicts: 125000 | #Constraints: 8252 212.13/212.70 c #Conflicts: 126000 | #Constraints: 9252 212.13/212.70 c #Conflicts: 127000 | #Constraints: 10252 212.13/212.70 c #Conflicts: 128000 | #Constraints: 11252 212.13/212.70 c #Conflicts: 129000 | #Constraints: 12253 212.13/212.70 c #Conflicts: 130000 | #Constraints: 13253 212.13/212.70 c #Conflicts: 131000 | #Constraints: 14254 212.13/212.70 c INPROCESSING 212.13/212.70 c GARBAGE COLLECT 212.13/212.70 c rational objective 15 226.70/227.30 c #Conflicts: 132000 | #Constraints: 8045 226.70/227.30 c #Conflicts: 133000 | #Constraints: 9051 226.70/227.30 c #Conflicts: 134000 | #Constraints: 10051 226.70/227.30 c #Conflicts: 135000 | #Constraints: 11053 226.70/227.30 c #Conflicts: 136000 | #Constraints: 12053 226.70/227.30 c #Conflicts: 137000 | #Constraints: 13053 226.70/227.30 c #Conflicts: 138000 | #Constraints: 14053 226.70/227.30 c #Conflicts: 139000 | #Constraints: 15053 226.70/227.30 c INPROCESSING 226.70/227.30 c GARBAGE COLLECT 226.70/227.30 c rational objective 15 244.36/245.05 c #Conflicts: 140000 | #Constraints: 8641 244.36/245.05 c #Conflicts: 141000 | #Constraints: 9645 244.36/245.05 c #Conflicts: 142000 | #Constraints: 10645 244.36/245.05 c #Conflicts: 143000 | #Constraints: 11645 244.36/245.05 c #Conflicts: 144000 | #Constraints: 12645 244.36/245.05 c #Conflicts: 145000 | #Constraints: 13645 244.36/245.05 c #Conflicts: 146000 | #Constraints: 14645 244.36/245.05 c #Conflicts: 147000 | #Constraints: 15645 244.36/245.05 c INPROCESSING 244.36/245.05 c GARBAGE COLLECT 244.36/245.05 c rational objective 15 269.09/269.87 c #Conflicts: 148000 | #Constraints: 9039 269.09/269.87 c #Conflicts: 149000 | #Constraints: 10040 269.09/269.87 c #Conflicts: 150000 | #Constraints: 11040 269.09/269.87 c #Conflicts: 151000 | #Constraints: 12040 269.09/269.87 c #Conflicts: 152000 | #Constraints: 13041 269.09/269.87 c #Conflicts: 153000 | #Constraints: 14041 269.09/269.87 c #Conflicts: 154000 | #Constraints: 15041 269.09/269.87 c #Conflicts: 155000 | #Constraints: 16041 269.09/269.87 c INPROCESSING 269.09/269.87 c GARBAGE COLLECT 269.09/269.87 c rational objective 15 280.76/281.51 c #Conflicts: 156000 | #Constraints: 9243 280.76/281.51 c #Conflicts: 157000 | #Constraints: 10244 280.76/281.51 c #Conflicts: 158000 | #Constraints: 11246 280.76/281.51 c #Conflicts: 159000 | #Constraints: 12246 280.76/281.51 c #Conflicts: 160000 | #Constraints: 13246 280.76/281.51 c #Conflicts: 161000 | #Constraints: 14250 280.76/281.51 c #Conflicts: 162000 | #Constraints: 15251 280.76/281.51 c #Conflicts: 163000 | #Constraints: 16251 280.76/281.51 c INPROCESSING 280.76/281.51 c GARBAGE COLLECT 280.76/281.51 c rational objective 15 292.93/293.77 c #Conflicts: 164000 | #Constraints: 9250 292.93/293.77 c #Conflicts: 165000 | #Constraints: 10252 292.93/293.77 c #Conflicts: 166000 | #Constraints: 11252 292.93/293.77 c #Conflicts: 167000 | #Constraints: 12261 292.93/293.77 c #Conflicts: 168000 | #Constraints: 13261 292.93/293.77 c #Conflicts: 169000 | #Constraints: 14262 292.93/293.77 c #Conflicts: 170000 | #Constraints: 15262 292.93/293.77 c #Conflicts: 171000 | #Constraints: 16265 292.93/293.77 c INPROCESSING 292.93/293.77 c GARBAGE COLLECT 292.93/293.77 c rational objective 15 302.40/303.21 c #Conflicts: 172000 | #Constraints: 9046 302.40/303.21 c #Conflicts: 173000 | #Constraints: 10048 302.40/303.21 c #Conflicts: 174000 | #Constraints: 11060 302.40/303.21 c #Conflicts: 175000 | #Constraints: 12073 302.40/303.21 c #Conflicts: 176000 | #Constraints: 13077 302.40/303.21 c #Conflicts: 177000 | #Constraints: 14083 302.40/303.21 c #Conflicts: 178000 | #Constraints: 15084 302.40/303.21 c #Conflicts: 179000 | #Constraints: 16087 302.40/303.21 c #Conflicts: 180000 | #Constraints: 17087 302.40/303.21 c INPROCESSING 302.40/303.21 c GARBAGE COLLECT 302.40/303.21 c rational objective 15 314.47/315.33 c #Conflicts: 181000 | #Constraints: 9668 314.47/315.33 c #Conflicts: 182000 | #Constraints: 10669 314.47/315.33 c #Conflicts: 183000 | #Constraints: 11672 314.47/315.33 c #Conflicts: 184000 | #Constraints: 12676 314.47/315.33 c #Conflicts: 185000 | #Constraints: 13676 314.47/315.33 c #Conflicts: 186000 | #Constraints: 14677 314.47/315.33 c #Conflicts: 187000 | #Constraints: 15677 314.47/315.33 c #Conflicts: 188000 | #Constraints: 16678 314.47/315.33 c #Conflicts: 189000 | #Constraints: 17678 314.47/315.33 c INPROCESSING 314.47/315.33 c GARBAGE COLLECT 314.47/315.33 c rational objective 15 328.44/329.38 c #Conflicts: 190000 | #Constraints: 10058 328.44/329.38 c #Conflicts: 191000 | #Constraints: 11058 328.44/329.38 c #Conflicts: 192000 | #Constraints: 12059 328.44/329.38 c #Conflicts: 193000 | #Constraints: 13059 328.44/329.38 c #Conflicts: 194000 | #Constraints: 14059 328.44/329.38 c #Conflicts: 195000 | #Constraints: 15059 328.44/329.38 c #Conflicts: 196000 | #Constraints: 16059 328.44/329.38 c #Conflicts: 197000 | #Constraints: 17059 328.44/329.38 c #Conflicts: 198000 | #Constraints: 18059 328.44/329.38 c INPROCESSING 328.44/329.38 c GARBAGE COLLECT 328.44/329.38 c rational objective 15 337.42/338.39 c #Conflicts: 199000 | #Constraints: 10248 337.42/338.39 c #Conflicts: 200000 | #Constraints: 11248 337.42/338.39 c #Conflicts: 201000 | #Constraints: 12248 337.42/338.39 c #Conflicts: 202000 | #Constraints: 13248 337.42/338.39 c #Conflicts: 203000 | #Constraints: 14248 337.42/338.39 c #Conflicts: 204000 | #Constraints: 15248 337.42/338.39 c #Conflicts: 205000 | #Constraints: 16248 337.42/338.39 c #Conflicts: 206000 | #Constraints: 17252 337.42/338.39 c #Conflicts: 207000 | #Constraints: 18256 337.42/338.39 c INPROCESSING 337.42/338.39 c GARBAGE COLLECT 337.42/338.39 c rational objective 15 543.22/544.66 c #Conflicts: 208000 | #Constraints: 10255 543.22/544.66 c #Conflicts: 209000 | #Constraints: 11258 543.22/544.66 c #Conflicts: 210000 | #Constraints: 12259 543.22/544.66 c #Conflicts: 211000 | #Constraints: 13259 543.22/544.66 c #Conflicts: 212000 | #Constraints: 14259 543.22/544.66 c #Conflicts: 213000 | #Constraints: 15259 543.22/544.66 c #Conflicts: 214000 | #Constraints: 16259 543.22/544.66 c #Conflicts: 215000 | #Constraints: 17259 543.22/544.66 c #Conflicts: 216000 | #Constraints: 18259 543.22/544.66 c INPROCESSING 543.22/544.66 c GARBAGE COLLECT 543.22/544.66 c rational objective 15 566.96/568.42 c #Conflicts: 217000 | #Constraints: 10053 566.96/568.42 c #Conflicts: 218000 | #Constraints: 11053 566.96/568.42 c #Conflicts: 219000 | #Constraints: 12053 566.96/568.42 c #Conflicts: 220000 | #Constraints: 13053 566.96/568.42 c #Conflicts: 221000 | #Constraints: 14054 566.96/568.42 c #Conflicts: 222000 | #Constraints: 15054 566.96/568.42 c #Conflicts: 223000 | #Constraints: 16054 566.96/568.42 c #Conflicts: 224000 | #Constraints: 17054 566.96/568.42 c #Conflicts: 225000 | #Constraints: 18054 566.96/568.42 c #Conflicts: 226000 | #Constraints: 19054 566.96/568.42 c INPROCESSING 566.96/568.42 c GARBAGE COLLECT 566.96/568.42 c rational objective 15 581.72/583.27 c #Conflicts: 227000 | #Constraints: 10653 581.72/583.27 c #Conflicts: 228000 | #Constraints: 11654 581.72/583.27 c #Conflicts: 229000 | #Constraints: 12654 581.72/583.27 c #Conflicts: 230000 | #Constraints: 13654 581.72/583.27 c #Conflicts: 231000 | #Constraints: 14654 581.72/583.27 c #Conflicts: 232000 | #Constraints: 15654 581.72/583.27 c #Conflicts: 233000 | #Constraints: 16655 581.72/583.27 c #Conflicts: 234000 | #Constraints: 17659 581.72/583.27 c #Conflicts: 235000 | #Constraints: 18660 581.72/583.27 c #Conflicts: 236000 | #Constraints: 19662 581.72/583.27 c INPROCESSING 581.72/583.27 c GARBAGE COLLECT 581.72/583.27 c rational objective 15 595.99/597.51 c #Conflicts: 237000 | #Constraints: 11054 595.99/597.51 c #Conflicts: 238000 | #Constraints: 12056 595.99/597.51 c #Conflicts: 239000 | #Constraints: 13058 595.99/597.51 c #Conflicts: 240000 | #Constraints: 14059 595.99/597.51 c #Conflicts: 241000 | #Constraints: 15062 595.99/597.51 c #Conflicts: 242000 | #Constraints: 16067 595.99/597.51 c #Conflicts: 243000 | #Constraints: 17070 595.99/597.51 c #Conflicts: 244000 | #Constraints: 18072 595.99/597.51 c #Conflicts: 245000 | #Constraints: 19073 595.99/597.51 c #Conflicts: 246000 | #Constraints: 20074 595.99/597.51 c INPROCESSING 595.99/597.51 c GARBAGE COLLECT 595.99/597.51 c rational objective 15 618.84/620.44 c #Conflicts: 247000 | #Constraints: 11257 618.84/620.44 c #Conflicts: 248000 | #Constraints: 12257 618.84/620.44 c #Conflicts: 249000 | #Constraints: 13257 618.84/620.44 c #Conflicts: 250000 | #Constraints: 14257 618.84/620.44 c #Conflicts: 251000 | #Constraints: 15258 618.84/620.44 c #Conflicts: 252000 | #Constraints: 16261 618.84/620.44 c #Conflicts: 253000 | #Constraints: 17261 618.84/620.44 c #Conflicts: 254000 | #Constraints: 18262 618.84/620.44 c #Conflicts: 255000 | #Constraints: 19262 618.84/620.44 c #Conflicts: 256000 | #Constraints: 20262 618.84/620.44 c INPROCESSING 618.84/620.44 c GARBAGE COLLECT 618.84/620.44 c rational objective 15 637.08/638.75 c #Conflicts: 257000 | #Constraints: 11254 637.08/638.75 c #Conflicts: 258000 | #Constraints: 12255 637.08/638.75 c #Conflicts: 259000 | #Constraints: 13257 637.08/638.75 c #Conflicts: 260000 | #Constraints: 14258 637.08/638.75 c #Conflicts: 261000 | #Constraints: 15262 637.08/638.75 c #Conflicts: 262000 | #Constraints: 16263 637.08/638.75 c #Conflicts: 263000 | #Constraints: 17265 637.08/638.75 c #Conflicts: 264000 | #Constraints: 18266 637.08/638.75 c #Conflicts: 265000 | #Constraints: 19267 637.08/638.75 c #Conflicts: 266000 | #Constraints: 20267 637.08/638.75 c INPROCESSING 637.08/638.75 c GARBAGE COLLECT 637.08/638.75 c rational objective 15 651.85/653.55 c #Conflicts: 267000 | #Constraints: 11054 651.85/653.55 c #Conflicts: 268000 | #Constraints: 12055 651.85/653.55 c #Conflicts: 269000 | #Constraints: 13055 651.85/653.55 c #Conflicts: 270000 | #Constraints: 14055 651.85/653.55 c #Conflicts: 271000 | #Constraints: 15055 651.85/653.55 c #Conflicts: 272000 | #Constraints: 16055 651.85/653.55 c #Conflicts: 273000 | #Constraints: 17055 651.85/653.55 c #Conflicts: 274000 | #Constraints: 18055 651.85/653.55 c #Conflicts: 275000 | #Constraints: 19055 651.85/653.55 c #Conflicts: 276000 | #Constraints: 20055 651.85/653.55 c #Conflicts: 277000 | #Constraints: 21061 651.85/653.55 c INPROCESSING 651.85/653.55 c GARBAGE COLLECT 651.85/653.55 c rational objective 15 669.41/671.13 c #Conflicts: 278000 | #Constraints: 11655 669.41/671.13 c #Conflicts: 279000 | #Constraints: 12659 669.41/671.13 c #Conflicts: 280000 | #Constraints: 13659 669.41/671.13 c #Conflicts: 281000 | #Constraints: 14661 669.41/671.13 c #Conflicts: 282000 | #Constraints: 15662 669.41/671.13 c #Conflicts: 283000 | #Constraints: 16662 669.41/671.13 c #Conflicts: 284000 | #Constraints: 17662 669.41/671.13 c #Conflicts: 285000 | #Constraints: 18663 669.41/671.13 c #Conflicts: 286000 | #Constraints: 19663 669.41/671.13 c #Conflicts: 287000 | #Constraints: 20663 669.41/671.13 c #Conflicts: 288000 | #Constraints: 21663 669.41/671.13 c INPROCESSING 669.41/671.13 c GARBAGE COLLECT 669.41/671.13 c rational objective 15 687.06/688.82 c #Conflicts: 289000 | #Constraints: 12045 687.06/688.82 c #Conflicts: 290000 | #Constraints: 13056 687.06/688.82 c #Conflicts: 291000 | #Constraints: 14056 687.06/688.82 c #Conflicts: 292000 | #Constraints: 15057 687.06/688.82 c #Conflicts: 293000 | #Constraints: 16057 687.06/688.82 c #Conflicts: 294000 | #Constraints: 17057 687.06/688.82 c #Conflicts: 295000 | #Constraints: 18060 687.06/688.82 c #Conflicts: 296000 | #Constraints: 19061 687.06/688.82 c #Conflicts: 297000 | #Constraints: 20061 687.06/688.82 c #Conflicts: 298000 | #Constraints: 21061 687.06/688.82 c #Conflicts: 299000 | #Constraints: 22062 687.06/688.82 c INPROCESSING 687.06/688.82 c GARBAGE COLLECT 687.06/688.82 c rational objective 15 720.48/722.38 c #Conflicts: 300000 | #Constraints: 12246 720.48/722.38 c #Conflicts: 301000 | #Constraints: 13247 720.48/722.38 c #Conflicts: 302000 | #Constraints: 14254 720.48/722.38 c #Conflicts: 303000 | #Constraints: 15256 720.48/722.38 c #Conflicts: 304000 | #Constraints: 16258 720.48/722.38 c #Conflicts: 305000 | #Constraints: 17260 720.48/722.38 c #Conflicts: 306000 | #Constraints: 18261 720.48/722.38 c #Conflicts: 307000 | #Constraints: 19261 720.48/722.38 c #Conflicts: 308000 | #Constraints: 20262 720.48/722.38 c #Conflicts: 309000 | #Constraints: 21263 720.48/722.38 c #Conflicts: 310000 | #Constraints: 22263 720.48/722.38 c INPROCESSING 720.48/722.38 c GARBAGE COLLECT 720.48/722.38 c rational objective 15 740.32/742.26 c #Conflicts: 311000 | #Constraints: 12253 740.32/742.26 c #Conflicts: 312000 | #Constraints: 13253 740.32/742.26 c #Conflicts: 313000 | #Constraints: 14253 740.32/742.26 c #Conflicts: 314000 | #Constraints: 15254 740.32/742.26 c #Conflicts: 315000 | #Constraints: 16254 740.32/742.26 c #Conflicts: 316000 | #Constraints: 17254 740.32/742.26 c #Conflicts: 317000 | #Constraints: 18254 740.32/742.26 c #Conflicts: 318000 | #Constraints: 19254 740.32/742.26 c #Conflicts: 319000 | #Constraints: 20254 740.32/742.26 c #Conflicts: 320000 | #Constraints: 21254 740.32/742.26 c #Conflicts: 321000 | #Constraints: 22254 740.32/742.26 c INPROCESSING 740.32/742.26 c GARBAGE COLLECT 740.32/742.26 c rational objective 15 758.97/760.95 c #Conflicts: 322000 | #Constraints: 12049 758.97/760.95 c #Conflicts: 323000 | #Constraints: 13049 758.97/760.95 c #Conflicts: 324000 | #Constraints: 14049 758.97/760.95 c #Conflicts: 325000 | #Constraints: 15049 758.97/760.95 c #Conflicts: 326000 | #Constraints: 16049 758.97/760.95 c #Conflicts: 327000 | #Constraints: 17049 758.97/760.95 c #Conflicts: 328000 | #Constraints: 18049 758.97/760.95 c #Conflicts: 329000 | #Constraints: 19049 758.97/760.95 c #Conflicts: 330000 | #Constraints: 20049 758.97/760.95 c #Conflicts: 331000 | #Constraints: 21049 758.97/760.95 c #Conflicts: 332000 | #Constraints: 22049 758.97/760.95 c #Conflicts: 333000 | #Constraints: 23049 758.97/760.95 c INPROCESSING 758.97/760.95 c GARBAGE COLLECT 758.97/760.95 c rational objective 15 786.81/788.88 c #Conflicts: 334000 | #Constraints: 12641 786.81/788.88 c #Conflicts: 335000 | #Constraints: 13642 786.81/788.88 c #Conflicts: 336000 | #Constraints: 14642 786.81/788.88 c #Conflicts: 337000 | #Constraints: 15644 786.81/788.88 c #Conflicts: 338000 | #Constraints: 16653 786.81/788.88 c #Conflicts: 339000 | #Constraints: 17655 786.81/788.88 c #Conflicts: 340000 | #Constraints: 18655 786.81/788.88 c #Conflicts: 341000 | #Constraints: 19655 786.81/788.88 c #Conflicts: 342000 | #Constraints: 20655 786.81/788.88 c #Conflicts: 343000 | #Constraints: 21655 786.81/788.88 c #Conflicts: 344000 | #Constraints: 22655 786.81/788.88 c #Conflicts: 345000 | #Constraints: 23655 786.81/788.88 c INPROCESSING 786.81/788.88 c GARBAGE COLLECT 786.81/788.88 c rational objective 15 828.01/830.13 c #Conflicts: 346000 | #Constraints: 13045 828.01/830.13 c #Conflicts: 347000 | #Constraints: 14045 828.01/830.13 c #Conflicts: 348000 | #Constraints: 15045 828.01/830.13 c #Conflicts: 349000 | #Constraints: 16045 828.01/830.13 c #Conflicts: 350000 | #Constraints: 17045 828.01/830.13 c #Conflicts: 351000 | #Constraints: 18045 828.01/830.13 c #Conflicts: 352000 | #Constraints: 19045 828.01/830.13 c #Conflicts: 353000 | #Constraints: 20045 828.01/830.13 c #Conflicts: 354000 | #Constraints: 21045 828.01/830.13 c #Conflicts: 355000 | #Constraints: 22047 828.01/830.13 c #Conflicts: 356000 | #Constraints: 23047 828.01/830.13 c #Conflicts: 357000 | #Constraints: 24047 828.01/830.13 c INPROCESSING 828.01/830.13 c GARBAGE COLLECT 828.01/830.13 c rational objective 15 866.40/868.61 c #Conflicts: 358000 | #Constraints: 13243 866.40/868.61 c #Conflicts: 359000 | #Constraints: 14243 866.40/868.61 c #Conflicts: 360000 | #Constraints: 15246 866.40/868.61 c #Conflicts: 361000 | #Constraints: 16247 866.40/868.61 c #Conflicts: 362000 | #Constraints: 17247 866.40/868.61 c #Conflicts: 363000 | #Constraints: 18247 866.40/868.61 c #Conflicts: 364000 | #Constraints: 19248 866.40/868.61 c #Conflicts: 365000 | #Constraints: 20249 866.40/868.61 c #Conflicts: 366000 | #Constraints: 21249 866.40/868.61 c #Conflicts: 367000 | #Constraints: 22250 866.40/868.61 c #Conflicts: 368000 | #Constraints: 23250 866.40/868.61 c #Conflicts: 369000 | #Constraints: 24251 866.40/868.61 c INPROCESSING 866.40/868.61 c GARBAGE COLLECT 866.40/868.61 c rational objective 15 891.44/893.79 c #Conflicts: 370000 | #Constraints: 13240 891.44/893.79 c #Conflicts: 371000 | #Constraints: 14240 891.44/893.79 c #Conflicts: 372000 | #Constraints: 15242 891.44/893.79 c #Conflicts: 373000 | #Constraints: 16243 891.44/893.79 c #Conflicts: 374000 | #Constraints: 17243 891.44/893.79 c #Conflicts: 375000 | #Constraints: 18243 891.44/893.79 c #Conflicts: 376000 | #Constraints: 19244 891.44/893.79 c #Conflicts: 377000 | #Constraints: 20245 891.44/893.79 c #Conflicts: 378000 | #Constraints: 21245 891.44/893.79 c #Conflicts: 379000 | #Constraints: 22246 891.44/893.79 c #Conflicts: 380000 | #Constraints: 23246 891.44/893.79 c #Conflicts: 381000 | #Constraints: 24246 891.44/893.79 c INPROCESSING 891.44/893.79 c GARBAGE COLLECT 891.44/893.79 c rational objective 15 935.02/937.42 c #Conflicts: 382000 | #Constraints: 13038 935.02/937.42 c #Conflicts: 383000 | #Constraints: 14038 935.02/937.42 c #Conflicts: 384000 | #Constraints: 15038 935.02/937.42 c #Conflicts: 385000 | #Constraints: 16038 935.02/937.42 c #Conflicts: 386000 | #Constraints: 17041 935.02/937.42 c #Conflicts: 387000 | #Constraints: 18043 935.02/937.42 c #Conflicts: 388000 | #Constraints: 19043 935.02/937.42 c #Conflicts: 389000 | #Constraints: 20043 935.02/937.42 c #Conflicts: 390000 | #Constraints: 21043 935.02/937.42 c #Conflicts: 391000 | #Constraints: 22043 935.02/937.42 c #Conflicts: 392000 | #Constraints: 23043 935.02/937.42 c #Conflicts: 393000 | #Constraints: 24043 935.02/937.42 c #Conflicts: 394000 | #Constraints: 25043 935.02/937.42 c INPROCESSING 935.02/937.42 c GARBAGE COLLECT 935.02/937.42 c rational objective 15 977.90/980.44 c #Conflicts: 395000 | #Constraints: 13635 977.90/980.44 c #Conflicts: 396000 | #Constraints: 14635 977.90/980.44 c #Conflicts: 397000 | #Constraints: 15635 977.90/980.44 c #Conflicts: 398000 | #Constraints: 16635 977.90/980.44 c #Conflicts: 399000 | #Constraints: 17641 977.90/980.44 c #Conflicts: 400000 | #Constraints: 18642 977.90/980.44 c #Conflicts: 401000 | #Constraints: 19643 977.90/980.44 c #Conflicts: 402000 | #Constraints: 20643 977.90/980.44 c #Conflicts: 403000 | #Constraints: 21645 977.90/980.44 c #Conflicts: 404000 | #Constraints: 22646 977.90/980.44 c #Conflicts: 405000 | #Constraints: 23647 977.90/980.44 c #Conflicts: 406000 | #Constraints: 24647 977.90/980.44 c #Conflicts: 407000 | #Constraints: 25651 977.90/980.44 c INPROCESSING 977.90/980.44 c GARBAGE COLLECT 977.90/980.44 c rational objective 15 1008.12/1010.79 c #Conflicts: 408000 | #Constraints: 14050 1008.12/1010.79 c #Conflicts: 409000 | #Constraints: 15050 1008.12/1010.79 c #Conflicts: 410000 | #Constraints: 16050 1008.12/1010.79 c #Conflicts: 411000 | #Constraints: 17050 1008.12/1010.79 c #Conflicts: 412000 | #Constraints: 18050 1008.12/1010.79 c #Conflicts: 413000 | #Constraints: 19051 1008.12/1010.79 c #Conflicts: 414000 | #Constraints: 20051 1008.12/1010.79 c #Conflicts: 415000 | #Constraints: 21051 1008.12/1010.79 c #Conflicts: 416000 | #Constraints: 22051 1008.12/1010.79 c #Conflicts: 417000 | #Constraints: 23051 1008.12/1010.79 c #Conflicts: 418000 | #Constraints: 24051 1008.12/1010.79 c #Conflicts: 419000 | #Constraints: 25051 1008.12/1010.79 c #Conflicts: 420000 | #Constraints: 26051 1008.12/1010.79 c INPROCESSING 1008.12/1010.79 c GARBAGE COLLECT 1008.12/1010.79 c rational objective 15 1058.89/1061.63 c #Conflicts: 421000 | #Constraints: 14250 1058.89/1061.63 c #Conflicts: 422000 | #Constraints: 15250 1058.89/1061.63 c #Conflicts: 423000 | #Constraints: 16250 1058.89/1061.63 c #Conflicts: 424000 | #Constraints: 17250 1058.89/1061.63 c #Conflicts: 425000 | #Constraints: 18250 1058.89/1061.63 c #Conflicts: 426000 | #Constraints: 19250 1058.89/1061.63 c #Conflicts: 427000 | #Constraints: 20250 1058.89/1061.63 c #Conflicts: 428000 | #Constraints: 21250 1058.89/1061.63 c #Conflicts: 429000 | #Constraints: 22250 1058.89/1061.63 c #Conflicts: 430000 | #Constraints: 23250 1058.89/1061.63 c #Conflicts: 431000 | #Constraints: 24250 1058.89/1061.63 c #Conflicts: 432000 | #Constraints: 25250 1058.89/1061.63 c #Conflicts: 433000 | #Constraints: 26250 1058.89/1061.63 c INPROCESSING 1058.89/1061.63 c GARBAGE COLLECT 1058.89/1061.63 c rational objective 15 1081.03/1083.82 c #Conflicts: 434000 | #Constraints: 14245 1081.03/1083.82 c #Conflicts: 435000 | #Constraints: 15245 1081.03/1083.82 c #Conflicts: 436000 | #Constraints: 16245 1081.03/1083.82 c #Conflicts: 437000 | #Constraints: 17246 1081.03/1083.82 c #Conflicts: 438000 | #Constraints: 18246 1081.03/1083.82 c #Conflicts: 439000 | #Constraints: 19246 1081.03/1083.82 c #Conflicts: 440000 | #Constraints: 20246 1081.03/1083.82 c #Conflicts: 441000 | #Constraints: 21246 1081.03/1083.82 c #Conflicts: 442000 | #Constraints: 22246 1081.03/1083.82 c #Conflicts: 443000 | #Constraints: 23246 1081.03/1083.82 c #Conflicts: 444000 | #Constraints: 24246 1081.03/1083.82 c #Conflicts: 445000 | #Constraints: 25246 1081.03/1083.82 c #Conflicts: 446000 | #Constraints: 26246 1081.03/1083.82 c INPROCESSING 1081.03/1083.82 c GARBAGE COLLECT 1081.03/1083.82 c rational objective 15 1140.50/1143.49 c #Conflicts: 447000 | #Constraints: 14049 1140.50/1143.49 c #Conflicts: 448000 | #Constraints: 15050 1140.50/1143.49 c #Conflicts: 449000 | #Constraints: 16051 1140.50/1143.49 c #Conflicts: 450000 | #Constraints: 17051 1140.50/1143.49 c #Conflicts: 451000 | #Constraints: 18051 1140.50/1143.49 c #Conflicts: 452000 | #Constraints: 19051 1140.50/1143.49 c #Conflicts: 453000 | #Constraints: 20052 1140.50/1143.49 c #Conflicts: 454000 | #Constraints: 21053 1140.50/1143.49 c #Conflicts: 455000 | #Constraints: 22053 1140.50/1143.49 c #Conflicts: 456000 | #Constraints: 23053 1140.50/1143.49 c #Conflicts: 457000 | #Constraints: 24053 1140.50/1143.49 c #Conflicts: 458000 | #Constraints: 25053 1140.50/1143.49 c #Conflicts: 459000 | #Constraints: 26053 1140.50/1143.49 c #Conflicts: 460000 | #Constraints: 27053 1140.50/1143.49 c INPROCESSING 1140.50/1143.49 c GARBAGE COLLECT 1140.50/1143.49 c rational objective 15 1162.14/1165.17 c #Conflicts: 461000 | #Constraints: 14654 1162.14/1165.17 c #Conflicts: 462000 | #Constraints: 15655 1162.14/1165.17 c #Conflicts: 463000 | #Constraints: 16655 1162.14/1165.17 c #Conflicts: 464000 | #Constraints: 17655 1162.14/1165.17 c #Conflicts: 465000 | #Constraints: 18655 1162.14/1165.17 c #Conflicts: 466000 | #Constraints: 19655 1162.14/1165.17 c #Conflicts: 467000 | #Constraints: 20655 1162.14/1165.17 c #Conflicts: 468000 | #Constraints: 21655 1162.14/1165.17 c #Conflicts: 469000 | #Constraints: 22655 1162.14/1165.17 c #Conflicts: 470000 | #Constraints: 23656 1162.14/1165.17 c #Conflicts: 471000 | #Constraints: 24656 1162.14/1165.17 c #Conflicts: 472000 | #Constraints: 25656 1162.14/1165.17 c #Conflicts: 473000 | #Constraints: 26656 1162.14/1165.17 c #Conflicts: 474000 | #Constraints: 27656 1162.14/1165.17 c INPROCESSING 1162.14/1165.17 c GARBAGE COLLECT 1162.14/1165.17 c rational objective 15 1264.00/1267.27 c #Conflicts: 475000 | #Constraints: 15057 1264.00/1267.27 c #Conflicts: 476000 | #Constraints: 16065 1264.00/1267.27 c #Conflicts: 477000 | #Constraints: 17067 1264.00/1267.27 c #Conflicts: 478000 | #Constraints: 18067 1264.00/1267.27 c #Conflicts: 479000 | #Constraints: 19067 1264.00/1267.27 c #Conflicts: 480000 | #Constraints: 20067 1264.00/1267.27 c #Conflicts: 481000 | #Constraints: 21067 1264.00/1267.27 c #Conflicts: 482000 | #Constraints: 22067 1264.00/1267.27 c #Conflicts: 483000 | #Constraints: 23067 1264.00/1267.27 c #Conflicts: 484000 | #Constraints: 24067 1264.00/1267.27 c #Conflicts: 485000 | #Constraints: 25067 1264.00/1267.27 c #Conflicts: 486000 | #Constraints: 26067 1264.00/1267.27 c #Conflicts: 487000 | #Constraints: 27067 1264.00/1267.27 c #Conflicts: 488000 | #Constraints: 28070 1264.00/1267.27 c INPROCESSING 1264.00/1267.27 c GARBAGE COLLECT 1264.00/1267.27 c rational objective 15 1284.65/1287.97 c #Conflicts: 489000 | #Constraints: 15262 1284.65/1287.97 c #Conflicts: 490000 | #Constraints: 16262 1284.65/1287.97 c #Conflicts: 491000 | #Constraints: 17264 1284.65/1287.97 c #Conflicts: 492000 | #Constraints: 18264 1284.65/1287.97 c #Conflicts: 493000 | #Constraints: 19265 1284.65/1287.97 c #Conflicts: 494000 | #Constraints: 20265 1284.65/1287.97 c #Conflicts: 495000 | #Constraints: 21265 1284.65/1287.97 c #Conflicts: 496000 | #Constraints: 22277 1284.65/1287.97 c #Conflicts: 497000 | #Constraints: 23281 1284.65/1287.97 c #Conflicts: 498000 | #Constraints: 24281 1284.65/1287.97 c #Conflicts: 499000 | #Constraints: 25281 1284.65/1287.97 c #Conflicts: 500000 | #Constraints: 26281 1284.65/1287.97 c #Conflicts: 501000 | #Constraints: 27281 1284.65/1287.97 c #Conflicts: 502000 | #Constraints: 28281 1284.65/1287.97 c INPROCESSING 1284.65/1287.97 c GARBAGE COLLECT 1284.65/1287.97 c rational objective 15 1318.27/1321.67 c #Conflicts: 503000 | #Constraints: 15264 1318.27/1321.67 c #Conflicts: 504000 | #Constraints: 16264 1318.27/1321.67 c #Conflicts: 505000 | #Constraints: 17264 1318.27/1321.67 c #Conflicts: 506000 | #Constraints: 18264 1318.27/1321.67 c #Conflicts: 507000 | #Constraints: 19264 1318.27/1321.67 c #Conflicts: 508000 | #Constraints: 20264 1318.27/1321.67 c #Conflicts: 509000 | #Constraints: 21264 1318.27/1321.67 c #Conflicts: 510000 | #Constraints: 22264 1318.27/1321.67 c #Conflicts: 511000 | #Constraints: 23265 1318.27/1321.67 c #Conflicts: 512000 | #Constraints: 24266 1318.27/1321.67 c #Conflicts: 513000 | #Constraints: 25266 1318.27/1321.67 c #Conflicts: 514000 | #Constraints: 26266 1318.27/1321.67 c #Conflicts: 515000 | #Constraints: 27266 1318.27/1321.67 c #Conflicts: 516000 | #Constraints: 28266 1318.27/1321.67 c INPROCESSING 1318.27/1321.67 c GARBAGE COLLECT 1318.27/1321.67 c rational objective 15 1338.52/1341.91 c #Conflicts: 517000 | #Constraints: 15049 1338.52/1341.91 c #Conflicts: 518000 | #Constraints: 16053 1338.52/1341.91 c #Conflicts: 519000 | #Constraints: 17053 1338.52/1341.91 c #Conflicts: 520000 | #Constraints: 18053 1338.52/1341.91 c #Conflicts: 521000 | #Constraints: 19061 1338.52/1341.91 c #Conflicts: 522000 | #Constraints: 20063 1338.52/1341.91 c #Conflicts: 523000 | #Constraints: 21063 1338.52/1341.91 c #Conflicts: 524000 | #Constraints: 22068 1338.52/1341.91 c #Conflicts: 525000 | #Constraints: 23068 1338.52/1341.91 c #Conflicts: 526000 | #Constraints: 24068 1338.52/1341.91 c #Conflicts: 527000 | #Constraints: 25068 1338.52/1341.91 c #Conflicts: 528000 | #Constraints: 26068 1338.52/1341.91 c #Conflicts: 529000 | #Constraints: 27069 1338.52/1341.91 c #Conflicts: 530000 | #Constraints: 28069 1338.52/1341.91 c #Conflicts: 531000 | #Constraints: 29069 1338.52/1341.91 c INPROCESSING 1338.52/1341.91 c GARBAGE COLLECT 1338.52/1341.91 c rational objective 15 1361.76/1365.22 c #Conflicts: 532000 | #Constraints: 15653 1361.76/1365.22 c #Conflicts: 533000 | #Constraints: 16657 1361.76/1365.22 c #Conflicts: 534000 | #Constraints: 17665 1361.76/1365.22 c #Conflicts: 535000 | #Constraints: 18667 1361.76/1365.22 c #Conflicts: 536000 | #Constraints: 19668 1361.76/1365.22 c #Conflicts: 537000 | #Constraints: 20668 1361.76/1365.22 c #Conflicts: 538000 | #Constraints: 21668 1361.76/1365.22 c #Conflicts: 539000 | #Constraints: 22670 1361.76/1365.22 c #Conflicts: 540000 | #Constraints: 23671 1361.76/1365.22 c #Conflicts: 541000 | #Constraints: 24671 1361.76/1365.22 c #Conflicts: 542000 | #Constraints: 25671 1361.76/1365.22 c #Conflicts: 543000 | #Constraints: 26672 1361.76/1365.22 c #Conflicts: 544000 | #Constraints: 27672 1361.76/1365.22 c #Conflicts: 545000 | #Constraints: 28672 1361.76/1365.22 c #Conflicts: 546000 | #Constraints: 29672 1361.76/1365.22 c INPROCESSING 1361.76/1365.22 c GARBAGE COLLECT 1361.76/1365.22 c rational objective 15 1393.99/1397.54 c #Conflicts: 547000 | #Constraints: 16061 1393.99/1397.54 c #Conflicts: 548000 | #Constraints: 17062 1393.99/1397.54 c #Conflicts: 549000 | #Constraints: 18063 1393.99/1397.54 c #Conflicts: 550000 | #Constraints: 19063 1393.99/1397.54 c #Conflicts: 551000 | #Constraints: 20064 1393.99/1397.54 c #Conflicts: 552000 | #Constraints: 21064 1393.99/1397.54 c #Conflicts: 553000 | #Constraints: 22064 1393.99/1397.54 c #Conflicts: 554000 | #Constraints: 23064 1393.99/1397.54 c #Conflicts: 555000 | #Constraints: 24064 1393.99/1397.54 c #Conflicts: 556000 | #Constraints: 25064 1393.99/1397.54 c #Conflicts: 557000 | #Constraints: 26064 1393.99/1397.54 c #Conflicts: 558000 | #Constraints: 27065 1393.99/1397.54 c #Conflicts: 559000 | #Constraints: 28065 1393.99/1397.54 c #Conflicts: 560000 | #Constraints: 29066 1393.99/1397.54 c #Conflicts: 561000 | #Constraints: 30067 1393.99/1397.54 c INPROCESSING 1393.99/1397.54 c GARBAGE COLLECT 1393.99/1397.54 c rational objective 15 1422.43/1426.06 c #Conflicts: 562000 | #Constraints: 16250 1422.43/1426.06 c #Conflicts: 563000 | #Constraints: 17250 1422.43/1426.06 c #Conflicts: 564000 | #Constraints: 18250 1422.43/1426.06 c #Conflicts: 565000 | #Constraints: 19250 1422.43/1426.06 c #Conflicts: 566000 | #Constraints: 20251 1422.43/1426.06 c #Conflicts: 567000 | #Constraints: 21251 1422.43/1426.06 c #Conflicts: 568000 | #Constraints: 22251 1422.43/1426.06 c #Conflicts: 569000 | #Constraints: 23251 1422.43/1426.06 c #Conflicts: 570000 | #Constraints: 24264 1422.43/1426.06 c #Conflicts: 571000 | #Constraints: 25267 1422.43/1426.06 c #Conflicts: 572000 | #Constraints: 26275 1422.43/1426.06 c #Conflicts: 573000 | #Constraints: 27277 1422.43/1426.06 c #Conflicts: 574000 | #Constraints: 28277 1422.43/1426.06 c #Conflicts: 575000 | #Constraints: 29278 1422.43/1426.06 c #Conflicts: 576000 | #Constraints: 30278 1422.43/1426.06 c INPROCESSING 1422.43/1426.06 c GARBAGE COLLECT 1422.43/1426.06 c rational objective 15 1445.67/1449.32 c #Conflicts: 577000 | #Constraints: 16258 1445.67/1449.32 c #Conflicts: 578000 | #Constraints: 17259 1445.67/1449.32 c #Conflicts: 579000 | #Constraints: 18261 1445.67/1449.32 c #Conflicts: 580000 | #Constraints: 19262 1445.67/1449.32 c #Conflicts: 581000 | #Constraints: 20264 1445.67/1449.32 c #Conflicts: 582000 | #Constraints: 21264 1445.67/1449.32 c #Conflicts: 583000 | #Constraints: 22267 1445.67/1449.32 c #Conflicts: 584000 | #Constraints: 23267 1445.67/1449.32 c #Conflicts: 585000 | #Constraints: 24267 1445.67/1449.32 c #Conflicts: 586000 | #Constraints: 25267 1445.67/1449.32 c #Conflicts: 587000 | #Constraints: 26267 1445.67/1449.32 c #Conflicts: 588000 | #Constraints: 27267 1445.67/1449.32 c #Conflicts: 589000 | #Constraints: 28267 1445.67/1449.32 c #Conflicts: 590000 | #Constraints: 29267 1445.67/1449.32 c #Conflicts: 591000 | #Constraints: 30267 1445.67/1449.32 c INPROCESSING 1445.67/1449.32 c GARBAGE COLLECT 1445.67/1449.32 c rational objective 15 1470.21/1473.93 c #Conflicts: 592000 | #Constraints: 16050 1470.21/1473.93 c #Conflicts: 593000 | #Constraints: 17052 1470.21/1473.93 c #Conflicts: 594000 | #Constraints: 18052 1470.21/1473.93 c #Conflicts: 595000 | #Constraints: 19052 1470.21/1473.93 c #Conflicts: 596000 | #Constraints: 20057 1470.21/1473.93 c #Conflicts: 597000 | #Constraints: 21057 1470.21/1473.93 c #Conflicts: 598000 | #Constraints: 22057 1470.21/1473.93 c #Conflicts: 599000 | #Constraints: 23057 1470.21/1473.93 c #Conflicts: 600000 | #Constraints: 24057 1470.21/1473.93 c #Conflicts: 601000 | #Constraints: 25057 1470.21/1473.93 c #Conflicts: 602000 | #Constraints: 26057 1470.21/1473.93 c #Conflicts: 603000 | #Constraints: 27057 1470.21/1473.93 c #Conflicts: 604000 | #Constraints: 28057 1470.21/1473.93 c #Conflicts: 605000 | #Constraints: 29058 1470.21/1473.93 c #Conflicts: 606000 | #Constraints: 30058 1470.21/1473.93 c #Conflicts: 607000 | #Constraints: 31058 1470.21/1473.93 c INPROCESSING 1470.21/1473.93 c GARBAGE COLLECT 1470.21/1473.93 c rational objective 15 1498.04/1501.80 c #Conflicts: 608000 | #Constraints: 16655 1498.04/1501.80 c #Conflicts: 609000 | #Constraints: 17655 1498.04/1501.80 c #Conflicts: 610000 | #Constraints: 18655 1498.04/1501.80 c #Conflicts: 611000 | #Constraints: 19655 1498.04/1501.80 c #Conflicts: 612000 | #Constraints: 20655 1498.04/1501.80 c #Conflicts: 613000 | #Constraints: 21655 1498.04/1501.80 c #Conflicts: 614000 | #Constraints: 22655 1498.04/1501.80 c #Conflicts: 615000 | #Constraints: 23662 1498.04/1501.80 c #Conflicts: 616000 | #Constraints: 24662 1498.04/1501.80 c #Conflicts: 617000 | #Constraints: 25662 1498.04/1501.80 c #Conflicts: 618000 | #Constraints: 26662 1498.04/1501.80 c #Conflicts: 619000 | #Constraints: 27662 1498.04/1501.80 c #Conflicts: 620000 | #Constraints: 28662 1498.04/1501.80 c #Conflicts: 621000 | #Constraints: 29662 1498.04/1501.80 c #Conflicts: 622000 | #Constraints: 30662 1498.04/1501.80 c #Conflicts: 623000 | #Constraints: 31662 1498.04/1501.80 c INPROCESSING 1498.04/1501.80 c GARBAGE COLLECT 1498.04/1501.80 c rational objective 15 1533.36/1537.23 c #Conflicts: 624000 | #Constraints: 17052 1533.36/1537.23 c #Conflicts: 625000 | #Constraints: 18053 1533.36/1537.23 c #Conflicts: 626000 | #Constraints: 19053 1533.36/1537.23 c #Conflicts: 627000 | #Constraints: 20053 1533.36/1537.23 c #Conflicts: 628000 | #Constraints: 21053 1533.36/1537.23 c #Conflicts: 629000 | #Constraints: 22053 1533.36/1537.23 c #Conflicts: 630000 | #Constraints: 23053 1533.36/1537.23 c #Conflicts: 631000 | #Constraints: 24053 1533.36/1537.23 c #Conflicts: 632000 | #Constraints: 25056 1533.36/1537.23 c #Conflicts: 633000 | #Constraints: 26058 1533.36/1537.23 c #Conflicts: 634000 | #Constraints: 27059 1533.36/1537.23 c #Conflicts: 635000 | #Constraints: 28059 1533.36/1537.23 c #Conflicts: 636000 | #Constraints: 29059 1533.36/1537.23 c #Conflicts: 637000 | #Constraints: 30060 1533.36/1537.23 c #Conflicts: 638000 | #Constraints: 31060 1533.36/1537.23 c #Conflicts: 639000 | #Constraints: 32060 1533.36/1537.23 c INPROCESSING 1533.36/1537.23 c GARBAGE COLLECT 1533.36/1537.23 c rational objective 15 1559.89/1563.81 c #Conflicts: 640000 | #Constraints: 17246 1559.89/1563.81 c #Conflicts: 641000 | #Constraints: 18246 1559.89/1563.81 c #Conflicts: 642000 | #Constraints: 19247 1559.89/1563.81 c #Conflicts: 643000 | #Constraints: 20252 1559.89/1563.81 c #Conflicts: 644000 | #Constraints: 21254 1559.89/1563.81 c #Conflicts: 645000 | #Constraints: 22254 1559.89/1563.81 c #Conflicts: 646000 | #Constraints: 23254 1559.89/1563.81 c #Conflicts: 647000 | #Constraints: 24254 1559.89/1563.81 c #Conflicts: 648000 | #Constraints: 25254 1559.89/1563.81 c #Conflicts: 649000 | #Constraints: 26254 1559.89/1563.81 c #Conflicts: 650000 | #Constraints: 27254 1559.89/1563.81 c #Conflicts: 651000 | #Constraints: 28254 1559.89/1563.81 c #Conflicts: 652000 | #Constraints: 29254 1559.89/1563.81 c #Conflicts: 653000 | #Constraints: 30254 1559.89/1563.81 c #Conflicts: 654000 | #Constraints: 31254 1559.89/1563.81 c #Conflicts: 655000 | #Constraints: 32258 1559.89/1563.81 c INPROCESSING 1559.89/1563.81 c GARBAGE COLLECT 1559.89/1563.81 c rational objective 15 1589.13/1593.16 c #Conflicts: 656000 | #Constraints: 17255 1589.13/1593.16 c #Conflicts: 657000 | #Constraints: 18256 1589.13/1593.16 c #Conflicts: 658000 | #Constraints: 19257 1589.13/1593.16 c #Conflicts: 659000 | #Constraints: 20257 1589.13/1593.16 c #Conflicts: 660000 | #Constraints: 21260 1589.13/1593.16 c #Conflicts: 661000 | #Constraints: 22262 1589.13/1593.16 c #Conflicts: 662000 | #Constraints: 23262 1589.13/1593.16 c #Conflicts: 663000 | #Constraints: 24262 1589.13/1593.16 c #Conflicts: 664000 | #Constraints: 25262 1589.13/1593.16 c #Conflicts: 665000 | #Constraints: 26262 1589.13/1593.16 c #Conflicts: 666000 | #Constraints: 27262 1589.13/1593.16 c #Conflicts: 667000 | #Constraints: 28262 1589.13/1593.16 c #Conflicts: 668000 | #Constraints: 29263 1589.13/1593.16 c #Conflicts: 669000 | #Constraints: 30264 1589.13/1593.16 c #Conflicts: 670000 | #Constraints: 31265 1589.13/1593.16 c #Conflicts: 671000 | #Constraints: 32266 1589.13/1593.16 c INPROCESSING 1589.13/1593.16 c GARBAGE COLLECT 1589.13/1593.16 c rational objective 15 1649.99/1654.13 c #Conflicts: 672000 | #Constraints: 17053 1649.99/1654.13 c #Conflicts: 673000 | #Constraints: 18053 1649.99/1654.13 c #Conflicts: 674000 | #Constraints: 19056 1649.99/1654.13 c #Conflicts: 675000 | #Constraints: 20056 1649.99/1654.13 c #Conflicts: 676000 | #Constraints: 21056 1649.99/1654.13 c #Conflicts: 677000 | #Constraints: 22057 1649.99/1654.13 c #Conflicts: 678000 | #Constraints: 23057 1649.99/1654.13 c #Conflicts: 679000 | #Constraints: 24058 1649.99/1654.13 c #Conflicts: 680000 | #Constraints: 25058 1649.99/1654.13 c #Conflicts: 681000 | #Constraints: 26058 1649.99/1654.13 c #Conflicts: 682000 | #Constraints: 27058 1649.99/1654.13 c #Conflicts: 683000 | #Constraints: 28058 1649.99/1654.13 c #Conflicts: 684000 | #Constraints: 29058 1649.99/1654.13 c #Conflicts: 685000 | #Constraints: 30058 1649.99/1654.13 c #Conflicts: 686000 | #Constraints: 31058 1649.99/1654.13 c #Conflicts: 687000 | #Constraints: 32058 1649.99/1654.13 c #Conflicts: 688000 | #Constraints: 33058 1649.99/1654.13 c INPROCESSING 1649.99/1654.13 c GARBAGE COLLECT 1649.99/1654.13 c rational objective 15 1691.09/1695.33 c #Conflicts: 689000 | #Constraints: 17648 1691.09/1695.33 c #Conflicts: 690000 | #Constraints: 18658 1691.09/1695.33 c #Conflicts: 691000 | #Constraints: 19659 1691.09/1695.33 c #Conflicts: 692000 | #Constraints: 20659 1691.09/1695.33 c #Conflicts: 693000 | #Constraints: 21663 1691.09/1695.33 c #Conflicts: 694000 | #Constraints: 22663 1691.09/1695.33 c #Conflicts: 695000 | #Constraints: 23668 1691.09/1695.33 c #Conflicts: 696000 | #Constraints: 24673 1691.09/1695.33 c #Conflicts: 697000 | #Constraints: 25675 1691.09/1695.33 c #Conflicts: 698000 | #Constraints: 26678 1691.09/1695.33 c #Conflicts: 699000 | #Constraints: 27679 1691.09/1695.33 c #Conflicts: 700000 | #Constraints: 28683 1691.09/1695.33 c #Conflicts: 701000 | #Constraints: 29685 1691.09/1695.33 c #Conflicts: 702000 | #Constraints: 30685 1691.09/1695.33 c #Conflicts: 703000 | #Constraints: 31685 1691.09/1695.33 c #Conflicts: 704000 | #Constraints: 32685 1691.09/1695.33 c #Conflicts: 705000 | #Constraints: 33685 1691.09/1695.33 c INPROCESSING 1691.09/1695.33 c GARBAGE COLLECT 1691.09/1695.33 c rational objective 15 1728.49/1732.88 c #Conflicts: 706000 | #Constraints: 18067 1728.49/1732.88 c #Conflicts: 707000 | #Constraints: 19067 1728.49/1732.88 c #Conflicts: 708000 | #Constraints: 20067 1728.49/1732.88 c #Conflicts: 709000 | #Constraints: 21067 1728.49/1732.88 c #Conflicts: 710000 | #Constraints: 22067 1728.49/1732.88 c #Conflicts: 711000 | #Constraints: 23067 1728.49/1732.88 c #Conflicts: 712000 | #Constraints: 24067 1728.49/1732.88 c #Conflicts: 713000 | #Constraints: 25067 1728.49/1732.88 c #Conflicts: 714000 | #Constraints: 26067 1728.49/1732.88 c #Conflicts: 715000 | #Constraints: 27067 1728.49/1732.88 c #Conflicts: 716000 | #Constraints: 28067 1728.49/1732.88 c #Conflicts: 717000 | #Constraints: 29068 1728.49/1732.88 c #Conflicts: 718000 | #Constraints: 30071 1728.49/1732.88 c #Conflicts: 719000 | #Constraints: 31071 1728.49/1732.88 c #Conflicts: 720000 | #Constraints: 32072 1728.49/1732.88 c #Conflicts: 721000 | #Constraints: 33072 1728.49/1732.88 c #Conflicts: 722000 | #Constraints: 34073 1728.49/1732.88 c INPROCESSING 1728.49/1732.88 c GARBAGE COLLECT 1728.49/1732.88 c rational objective 15 1784.95/1789.44 c #Conflicts: 723000 | #Constraints: 18257 1784.95/1789.44 c #Conflicts: 724000 | #Constraints: 19257 1784.95/1789.44 c #Conflicts: 725000 | #Constraints: 20257 1784.95/1789.44 c #Conflicts: 726000 | #Constraints: 21257 1784.95/1789.44 c #Conflicts: 727000 | #Constraints: 22257 1784.95/1789.44 c #Conflicts: 728000 | #Constraints: 23257 1784.95/1789.44 c #Conflicts: 729000 | #Constraints: 24257 1784.95/1789.44 c #Conflicts: 730000 | #Constraints: 25257 1784.95/1789.44 c #Conflicts: 731000 | #Constraints: 26257 1784.95/1789.44 c #Conflicts: 732000 | #Constraints: 27257 1784.95/1789.44 c #Conflicts: 733000 | #Constraints: 28257 1784.95/1789.44 c #Conflicts: 734000 | #Constraints: 29257 1784.95/1789.44 c #Conflicts: 735000 | #Constraints: 30257 1784.95/1789.44 c #Conflicts: 736000 | #Constraints: 31257 1784.95/1789.44 c #Conflicts: 737000 | #Constraints: 32257 1784.95/1789.44 c #Conflicts: 738000 | #Constraints: 33257 1784.95/1789.44 c #Conflicts: 739000 | #Constraints: 34257 1784.95/1789.44 c INPROCESSING 1784.95/1789.44 c GARBAGE COLLECT 1784.95/1789.44 c rational objective 15 1838.83/1843.49 c #Conflicts: 740000 | #Constraints: 18250 1838.83/1843.49 c #Conflicts: 741000 | #Constraints: 19250 1838.83/1843.49 c #Conflicts: 742000 | #Constraints: 20250 1838.83/1843.49 c #Conflicts: 743000 | #Constraints: 21250 1838.83/1843.49 c #Conflicts: 744000 | #Constraints: 22250 1838.83/1843.49 c #Conflicts: 745000 | #Constraints: 23262 1838.83/1843.49 c #Conflicts: 746000 | #Constraints: 24263 1838.83/1843.49 c #Conflicts: 747000 | #Constraints: 25263 1838.83/1843.49 c #Conflicts: 748000 | #Constraints: 26263 1838.83/1843.49 c #Conflicts: 749000 | #Constraints: 27263 1838.83/1843.49 c #Conflicts: 750000 | #Constraints: 28263 1838.83/1843.49 c #Conflicts: 751000 | #Constraints: 29263 1838.83/1843.49 c #Conflicts: 752000 | #Constraints: 30263 1838.83/1843.49 c #Conflicts: 753000 | #Constraints: 31263 1838.83/1843.49 c #Conflicts: 754000 | #Constraints: 32263 1838.83/1843.49 c #Conflicts: 755000 | #Constraints: 33264 1838.83/1843.49 c #Conflicts: 756000 | #Constraints: 34265 1838.83/1843.49 c INPROCESSING 1838.83/1843.49 c GARBAGE COLLECT 1838.83/1843.49 c rational objective 15 1895.20/1899.97 c #Conflicts: 757000 | #Constraints: 18047 1895.20/1899.97 c #Conflicts: 758000 | #Constraints: 19047 1895.20/1899.97 c #Conflicts: 759000 | #Constraints: 20047 1895.20/1899.97 c #Conflicts: 760000 | #Constraints: 21047 1895.20/1899.97 c #Conflicts: 761000 | #Constraints: 22047 1895.20/1899.97 c #Conflicts: 762000 | #Constraints: 23056 1895.20/1899.97 c #Conflicts: 763000 | #Constraints: 24057 1895.20/1899.97 c #Conflicts: 764000 | #Constraints: 25061 1895.20/1899.97 c #Conflicts: 765000 | #Constraints: 26063 1895.20/1899.97 c #Conflicts: 766000 | #Constraints: 27064 1895.20/1899.97 c #Conflicts: 767000 | #Constraints: 28065 1895.20/1899.97 c #Conflicts: 768000 | #Constraints: 29065 1895.20/1899.97 c #Conflicts: 769000 | #Constraints: 30065 1895.20/1899.97 c #Conflicts: 770000 | #Constraints: 31065 1895.20/1899.97 c #Conflicts: 771000 | #Constraints: 32069 1895.20/1899.97 c #Conflicts: 772000 | #Constraints: 33069 1895.20/1899.97 c #Conflicts: 773000 | #Constraints: 34070 1895.20/1899.97 c #Conflicts: 774000 | #Constraints: 35070 1895.20/1899.97 c INPROCESSING 1895.20/1899.97 c GARBAGE COLLECT 1895.20/1899.97 c rational objective 15 1927.62/1932.42 c #Conflicts: 775000 | #Constraints: 18660 1927.62/1932.42 c #Conflicts: 776000 | #Constraints: 19661 1927.62/1932.42 c #Conflicts: 777000 | #Constraints: 20661 1927.62/1932.42 c #Conflicts: 778000 | #Constraints: 21662 1927.62/1932.42 c #Conflicts: 779000 | #Constraints: 22662 1927.62/1932.42 c #Conflicts: 780000 | #Constraints: 23662 1927.62/1932.42 c #Conflicts: 781000 | #Constraints: 24662 1927.62/1932.42 c #Conflicts: 782000 | #Constraints: 25663 1927.62/1932.42 c #Conflicts: 783000 | #Constraints: 26663 1927.62/1932.42 c #Conflicts: 784000 | #Constraints: 27664 1927.62/1932.42 c #Conflicts: 785000 | #Constraints: 28664 1927.62/1932.42 c #Conflicts: 786000 | #Constraints: 29664 1927.62/1932.42 c #Conflicts: 787000 | #Constraints: 30664 1927.62/1932.42 c #Conflicts: 788000 | #Constraints: 31666 1927.62/1932.42 c #Conflicts: 789000 | #Constraints: 32667 1927.62/1932.42 c #Conflicts: 790000 | #Constraints: 33667 1927.62/1932.42 c #Conflicts: 791000 | #Constraints: 34670 1927.62/1932.42 c #Conflicts: 792000 | #Constraints: 35671 1927.62/1932.42 c INPROCESSING 1927.62/1932.42 c GARBAGE COLLECT 1927.62/1932.42 c rational objective 15 1961.14/1966.01 c #Conflicts: 793000 | #Constraints: 19049 1961.14/1966.01 c #Conflicts: 794000 | #Constraints: 20049 1961.14/1966.01 c #Conflicts: 795000 | #Constraints: 21049 1961.14/1966.01 c #Conflicts: 796000 | #Constraints: 22052 1961.14/1966.01 c #Conflicts: 797000 | #Constraints: 23052 1961.14/1966.01 c #Conflicts: 798000 | #Constraints: 24053 1961.14/1966.01 c #Conflicts: 799000 | #Constraints: 25053 1961.14/1966.01 c #Conflicts: 800000 | #Constraints: 26054 1961.14/1966.01 c #Conflicts: 801000 | #Constraints: 27056 1961.14/1966.01 c #Conflicts: 802000 | #Constraints: 28056 1961.14/1966.01 c #Conflicts: 803000 | #Constraints: 29056 1961.14/1966.01 c #Conflicts: 804000 | #Constraints: 30056 1961.14/1966.01 c #Conflicts: 805000 | #Constraints: 31056 1961.14/1966.01 c #Conflicts: 806000 | #Constraints: 32056 1961.14/1966.01 c #Conflicts: 807000 | #Constraints: 33056 1961.14/1966.01 c #Conflicts: 808000 | #Constraints: 34056 1961.14/1966.01 c #Conflicts: 809000 | #Constraints: 35056 1961.14/1966.01 c #Conflicts: 810000 | #Constraints: 36056 1961.14/1966.01 c INPROCESSING 1961.14/1966.01 c GARBAGE COLLECT 1961.14/1966.01 c rational objective 15 2016.31/2021.31 c #Conflicts: 811000 | #Constraints: 19250 2016.31/2021.31 c #Conflicts: 812000 | #Constraints: 20251 2016.31/2021.31 c #Conflicts: 813000 | #Constraints: 21251 2016.31/2021.31 c #Conflicts: 814000 | #Constraints: 22251 2016.31/2021.31 c #Conflicts: 815000 | #Constraints: 23251 2016.31/2021.31 c #Conflicts: 816000 | #Constraints: 24252 2016.31/2021.31 c #Conflicts: 817000 | #Constraints: 25253 2016.31/2021.31 c #Conflicts: 818000 | #Constraints: 26255 2016.31/2021.31 c #Conflicts: 819000 | #Constraints: 27255 2016.31/2021.31 c #Conflicts: 820000 | #Constraints: 28255 2016.31/2021.31 c #Conflicts: 821000 | #Constraints: 29255 2016.31/2021.31 c #Conflicts: 822000 | #Constraints: 30255 2016.31/2021.31 c #Conflicts: 823000 | #Constraints: 31256 2016.31/2021.31 c #Conflicts: 824000 | #Constraints: 32256 2016.31/2021.31 c #Conflicts: 825000 | #Constraints: 33256 2016.31/2021.31 c #Conflicts: 826000 | #Constraints: 34256 2016.31/2021.31 c #Conflicts: 827000 | #Constraints: 35256 2016.31/2021.31 c #Conflicts: 828000 | #Constraints: 36256 2016.31/2021.31 c INPROCESSING 2016.31/2021.31 c GARBAGE COLLECT 2016.31/2021.31 c rational objective 15 2195.71/2201.15 c #Conflicts: 829000 | #Constraints: 19247 2195.71/2201.15 c #Conflicts: 830000 | #Constraints: 20247 2195.71/2201.15 c #Conflicts: 831000 | #Constraints: 21247 2195.71/2201.15 c #Conflicts: 832000 | #Constraints: 22247 2195.71/2201.15 c #Conflicts: 833000 | #Constraints: 23264 2195.71/2201.15 c #Conflicts: 834000 | #Constraints: 24271 2195.71/2201.15 c #Conflicts: 835000 | #Constraints: 25278 2195.71/2201.15 c #Conflicts: 836000 | #Constraints: 26279 2195.71/2201.15 c #Conflicts: 837000 | #Constraints: 27288 2195.71/2201.15 c #Conflicts: 838000 | #Constraints: 28295 2195.71/2201.15 c #Conflicts: 839000 | #Constraints: 29302 2195.71/2201.15 c #Conflicts: 840000 | #Constraints: 30309 2195.71/2201.15 c #Conflicts: 841000 | #Constraints: 31310 2195.71/2201.15 c #Conflicts: 842000 | #Constraints: 32310 2195.71/2201.15 c #Conflicts: 843000 | #Constraints: 33312 2195.71/2201.15 c #Conflicts: 844000 | #Constraints: 34312 2195.71/2201.15 c #Conflicts: 845000 | #Constraints: 35315 2195.71/2201.15 c #Conflicts: 846000 | #Constraints: 36317 2195.71/2201.15 c INPROCESSING 2195.71/2201.15 c GARBAGE COLLECT 2195.71/2201.15 c rational objective 15 2290.47/2296.11 c #Conflicts: 847000 | #Constraints: 19074 2290.47/2296.11 c #Conflicts: 848000 | #Constraints: 20074 2290.47/2296.11 c #Conflicts: 849000 | #Constraints: 21075 2290.47/2296.11 c #Conflicts: 850000 | #Constraints: 22075 2290.47/2296.11 c #Conflicts: 851000 | #Constraints: 23075 2290.47/2296.11 c #Conflicts: 852000 | #Constraints: 24075 2290.47/2296.11 c #Conflicts: 853000 | #Constraints: 25075 2290.47/2296.11 c #Conflicts: 854000 | #Constraints: 26075 2290.47/2296.11 c #Conflicts: 855000 | #Constraints: 27075 2290.47/2296.11 c #Conflicts: 856000 | #Constraints: 28075 2290.47/2296.11 c #Conflicts: 857000 | #Constraints: 29075 2290.47/2296.11 c #Conflicts: 858000 | #Constraints: 30075 2290.47/2296.11 c #Conflicts: 859000 | #Constraints: 31075 2290.47/2296.11 c #Conflicts: 860000 | #Constraints: 32075 2290.47/2296.11 c #Conflicts: 861000 | #Constraints: 33075 2290.47/2296.11 c #Conflicts: 862000 | #Constraints: 34075 2290.47/2296.11 c #Conflicts: 863000 | #Constraints: 35075 2290.47/2296.11 c #Conflicts: 864000 | #Constraints: 36075 2290.47/2296.11 c #Conflicts: 865000 | #Constraints: 37075 2290.47/2296.11 c INPROCESSING 2290.47/2296.11 c GARBAGE COLLECT 2290.47/2296.11 c rational objective 15 2371.38/2377.22 c #Conflicts: 866000 | #Constraints: 19654 2371.38/2377.22 c #Conflicts: 867000 | #Constraints: 20654 2371.38/2377.22 c #Conflicts: 868000 | #Constraints: 21654 2371.38/2377.22 c #Conflicts: 869000 | #Constraints: 22654 2371.38/2377.22 c #Conflicts: 870000 | #Constraints: 23654 2371.38/2377.22 c #Conflicts: 871000 | #Constraints: 24654 2371.38/2377.22 c #Conflicts: 872000 | #Constraints: 25654 2371.38/2377.22 c #Conflicts: 873000 | #Constraints: 26654 2371.38/2377.22 c #Conflicts: 874000 | #Constraints: 27654 2371.38/2377.22 c #Conflicts: 875000 | #Constraints: 28654 2371.38/2377.22 c #Conflicts: 876000 | #Constraints: 29654 2371.38/2377.22 c #Conflicts: 877000 | #Constraints: 30654 2371.38/2377.22 c #Conflicts: 878000 | #Constraints: 31654 2371.38/2377.22 c #Conflicts: 879000 | #Constraints: 32654 2371.38/2377.22 c #Conflicts: 880000 | #Constraints: 33654 2371.38/2377.22 c #Conflicts: 881000 | #Constraints: 34654 2371.38/2377.22 c #Conflicts: 882000 | #Constraints: 35654 2371.38/2377.22 c #Conflicts: 883000 | #Constraints: 36654 2371.38/2377.22 c #Conflicts: 884000 | #Constraints: 37654 2371.38/2377.22 c INPROCESSING 2371.38/2377.22 c GARBAGE COLLECT 2371.38/2377.22 c rational objective 15 2414.77/2420.74 c #Conflicts: 885000 | #Constraints: 20041 2414.77/2420.74 c #Conflicts: 886000 | #Constraints: 21041 2414.77/2420.74 c #Conflicts: 887000 | #Constraints: 22041 2414.77/2420.74 c #Conflicts: 888000 | #Constraints: 23041 2414.77/2420.74 c #Conflicts: 889000 | #Constraints: 24041 2414.77/2420.74 c #Conflicts: 890000 | #Constraints: 25042 2414.77/2420.74 c #Conflicts: 891000 | #Constraints: 26042 2414.77/2420.74 c #Conflicts: 892000 | #Constraints: 27052 2414.77/2420.74 c #Conflicts: 893000 | #Constraints: 28057 2414.77/2420.74 c #Conflicts: 894000 | #Constraints: 29059 2414.77/2420.74 c #Conflicts: 895000 | #Constraints: 30062 2414.77/2420.74 c #Conflicts: 896000 | #Constraints: 31063 2414.77/2420.74 c #Conflicts: 897000 | #Constraints: 32063 2414.77/2420.74 c #Conflicts: 898000 | #Constraints: 33063 2414.77/2420.74 c #Conflicts: 899000 | #Constraints: 34063 2414.77/2420.74 c #Conflicts: 900000 | #Constraints: 35064 2414.77/2420.74 c #Conflicts: 901000 | #Constraints: 36064 2414.77/2420.74 c #Conflicts: 902000 | #Constraints: 37064 2414.77/2420.74 c #Conflicts: 903000 | #Constraints: 38064 2414.77/2420.74 c INPROCESSING 2414.77/2420.74 c GARBAGE COLLECT 2414.77/2420.74 c rational objective 15 2513.63/2519.85 c #Conflicts: 904000 | #Constraints: 20251 2513.63/2519.85 c #Conflicts: 905000 | #Constraints: 21251 2513.63/2519.85 c #Conflicts: 906000 | #Constraints: 22251 2513.63/2519.85 c #Conflicts: 907000 | #Constraints: 23251 2513.63/2519.85 c #Conflicts: 908000 | #Constraints: 24251 2513.63/2519.85 c #Conflicts: 909000 | #Constraints: 25251 2513.63/2519.85 c #Conflicts: 910000 | #Constraints: 26251 2513.63/2519.85 c #Conflicts: 911000 | #Constraints: 27252 2513.63/2519.85 c #Conflicts: 912000 | #Constraints: 28252 2513.63/2519.85 c #Conflicts: 913000 | #Constraints: 29252 2513.63/2519.85 c #Conflicts: 914000 | #Constraints: 30252 2513.63/2519.85 c #Conflicts: 915000 | #Constraints: 31252 2513.63/2519.85 c #Conflicts: 916000 | #Constraints: 32252 2513.63/2519.85 c #Conflicts: 917000 | #Constraints: 33252 2513.63/2519.85 c #Conflicts: 918000 | #Constraints: 34252 2513.63/2519.85 c #Conflicts: 919000 | #Constraints: 35252 2513.63/2519.85 c #Conflicts: 920000 | #Constraints: 36252 2513.63/2519.85 c #Conflicts: 921000 | #Constraints: 37252 2513.63/2519.85 c #Conflicts: 922000 | #Constraints: 38252 2513.63/2519.85 c INPROCESSING 2513.63/2519.85 c GARBAGE COLLECT 2513.63/2519.85 c rational objective 15 2615.08/2621.57 c #Conflicts: 923000 | #Constraints: 20246 2615.08/2621.57 c #Conflicts: 924000 | #Constraints: 21247 2615.08/2621.57 c #Conflicts: 925000 | #Constraints: 22247 2615.08/2621.57 c #Conflicts: 926000 | #Constraints: 23247 2615.08/2621.57 c #Conflicts: 927000 | #Constraints: 24247 2615.08/2621.57 c #Conflicts: 928000 | #Constraints: 25247 2615.08/2621.57 c #Conflicts: 929000 | #Constraints: 26247 2615.08/2621.57 c #Conflicts: 930000 | #Constraints: 27247 2615.08/2621.57 c #Conflicts: 931000 | #Constraints: 28247 2615.08/2621.57 c #Conflicts: 932000 | #Constraints: 29247 2615.08/2621.57 c #Conflicts: 933000 | #Constraints: 30247 2615.08/2621.57 c #Conflicts: 934000 | #Constraints: 31247 2615.08/2621.57 c #Conflicts: 935000 | #Constraints: 32247 2615.08/2621.57 c #Conflicts: 936000 | #Constraints: 33247 2615.08/2621.57 c #Conflicts: 937000 | #Constraints: 34247 2615.08/2621.57 c #Conflicts: 938000 | #Constraints: 35247 2615.08/2621.57 c #Conflicts: 939000 | #Constraints: 36247 2615.08/2621.57 c #Conflicts: 940000 | #Constraints: 37247 2615.08/2621.57 c #Conflicts: 941000 | #Constraints: 38247 2615.08/2621.57 c INPROCESSING 2615.08/2621.57 c GARBAGE COLLECT 2615.08/2621.57 c rational objective 15 2665.65/2672.25 c #Conflicts: 942000 | #Constraints: 20049 2665.65/2672.25 c #Conflicts: 943000 | #Constraints: 21049 2665.65/2672.25 c #Conflicts: 944000 | #Constraints: 22049 2665.65/2672.25 c #Conflicts: 945000 | #Constraints: 23049 2665.65/2672.25 c #Conflicts: 946000 | #Constraints: 24049 2665.65/2672.25 c #Conflicts: 947000 | #Constraints: 25049 2665.65/2672.25 c #Conflicts: 948000 | #Constraints: 26049 2665.65/2672.25 c #Conflicts: 949000 | #Constraints: 27049 2665.65/2672.25 c #Conflicts: 950000 | #Constraints: 28049 2665.65/2672.25 c #Conflicts: 951000 | #Constraints: 29049 2665.65/2672.25 c #Conflicts: 952000 | #Constraints: 30049 2665.65/2672.25 c #Conflicts: 953000 | #Constraints: 31049 2665.65/2672.25 c #Conflicts: 954000 | #Constraints: 32049 2665.65/2672.25 c #Conflicts: 955000 | #Constraints: 33064 2665.65/2672.25 c #Conflicts: 956000 | #Constraints: 34065 2665.65/2672.25 c #Conflicts: 957000 | #Constraints: 35066 2665.65/2672.25 c #Conflicts: 958000 | #Constraints: 36066 2665.65/2672.25 c #Conflicts: 959000 | #Constraints: 37066 2665.65/2672.25 c #Conflicts: 960000 | #Constraints: 38066 2665.65/2672.25 c #Conflicts: 961000 | #Constraints: 39068 2665.65/2672.25 c INPROCESSING 2665.65/2672.25 c GARBAGE COLLECT 2665.65/2672.25 c rational objective 15 2712.34/2719.08 c #Conflicts: 962000 | #Constraints: 20657 2712.34/2719.08 c #Conflicts: 963000 | #Constraints: 21661 2712.34/2719.08 c #Conflicts: 964000 | #Constraints: 22668 2712.34/2719.08 c #Conflicts: 965000 | #Constraints: 23668 2712.34/2719.08 c #Conflicts: 966000 | #Constraints: 24668 2712.34/2719.08 c #Conflicts: 967000 | #Constraints: 25668 2712.34/2719.08 c #Conflicts: 968000 | #Constraints: 26670 2712.34/2719.08 c #Conflicts: 969000 | #Constraints: 27671 2712.34/2719.08 c #Conflicts: 970000 | #Constraints: 28672 2712.34/2719.08 c #Conflicts: 971000 | #Constraints: 29673 2712.34/2719.08 c #Conflicts: 972000 | #Constraints: 30676 2712.34/2719.08 c #Conflicts: 973000 | #Constraints: 31681 2712.34/2719.08 c #Conflicts: 974000 | #Constraints: 32689 2712.34/2719.08 c #Conflicts: 975000 | #Constraints: 33689 2712.34/2719.08 c #Conflicts: 976000 | #Constraints: 34689 2712.34/2719.08 c #Conflicts: 977000 | #Constraints: 35690 2712.34/2719.08 c #Conflicts: 978000 | #Constraints: 36690 2712.34/2719.08 c #Conflicts: 979000 | #Constraints: 37690 2712.34/2719.08 c #Conflicts: 980000 | #Constraints: 38691 2712.34/2719.08 c #Conflicts: 981000 | #Constraints: 39691 2712.34/2719.08 c INPROCESSING 2712.34/2719.08 c GARBAGE COLLECT 2712.34/2719.08 c rational objective 15 2773.99/2780.80 c #Conflicts: 982000 | #Constraints: 21072 2773.99/2780.80 c #Conflicts: 983000 | #Constraints: 22072 2773.99/2780.80 c #Conflicts: 984000 | #Constraints: 23072 2773.99/2780.80 c #Conflicts: 985000 | #Constraints: 24073 2773.99/2780.80 c #Conflicts: 986000 | #Constraints: 25073 2773.99/2780.80 c #Conflicts: 987000 | #Constraints: 26074 2773.99/2780.80 c #Conflicts: 988000 | #Constraints: 27076 2773.99/2780.80 c #Conflicts: 989000 | #Constraints: 28078 2773.99/2780.80 c #Conflicts: 990000 | #Constraints: 29078 2773.99/2780.80 c #Conflicts: 991000 | #Constraints: 30078 2773.99/2780.80 c #Conflicts: 992000 | #Constraints: 31078 2773.99/2780.80 c #Conflicts: 993000 | #Constraints: 32078 2773.99/2780.80 c #Conflicts: 994000 | #Constraints: 33078 2773.99/2780.80 c #Conflicts: 995000 | #Constraints: 34078 2773.99/2780.80 c #Conflicts: 996000 | #Constraints: 35078 2773.99/2780.80 c #Conflicts: 997000 | #Constraints: 36078 2773.99/2780.80 c #Conflicts: 998000 | #Constraints: 37078 2773.99/2780.80 c #Conflicts: 999000 | #Constraints: 38078 2773.99/2780.80 c #Conflicts: 1000000 | #Constraints: 39078 2773.99/2780.80 c #Conflicts: 1001000 | #Constraints: 40078 2773.99/2780.80 c INPROCESSING 2773.99/2780.80 c GARBAGE COLLECT 2773.99/2780.80 c rational objective 15 2847.70/2854.70 c #Conflicts: 1002000 | #Constraints: 21259 2847.70/2854.70 c #Conflicts: 1003000 | #Constraints: 22259 2847.70/2854.70 c #Conflicts: 1004000 | #Constraints: 23259 2847.70/2854.70 c #Conflicts: 1005000 | #Constraints: 24259 2847.70/2854.70 c #Conflicts: 1006000 | #Constraints: 25259 2847.70/2854.70 c #Conflicts: 1007000 | #Constraints: 26260 2847.70/2854.70 c #Conflicts: 1008000 | #Constraints: 27260 2847.70/2854.70 c #Conflicts: 1009000 | #Constraints: 28260 2847.70/2854.70 c #Conflicts: 1010000 | #Constraints: 29260 2847.70/2854.70 c #Conflicts: 1011000 | #Constraints: 30260 2847.70/2854.70 c #Conflicts: 1012000 | #Constraints: 31260 2847.70/2854.70 c #Conflicts: 1013000 | #Constraints: 32261 2847.70/2854.70 c #Conflicts: 1014000 | #Constraints: 33261 2847.70/2854.70 c #Conflicts: 1015000 | #Constraints: 34261 2847.70/2854.70 c #Conflicts: 1016000 | #Constraints: 35261 2847.70/2854.70 c #Conflicts: 1017000 | #Constraints: 36261 2847.70/2854.70 c #Conflicts: 1018000 | #Constraints: 37261 2847.70/2854.70 c #Conflicts: 1019000 | #Constraints: 38261 2847.70/2854.70 c #Conflicts: 1020000 | #Constraints: 39261 2847.70/2854.70 c #Conflicts: 1021000 | #Constraints: 40261 2847.70/2854.70 c INPROCESSING 2847.70/2854.70 c GARBAGE COLLECT 2847.70/2854.70 c rational objective 15 2906.56/2913.73 c #Conflicts: 1022000 | #Constraints: 21247 2906.56/2913.73 c #Conflicts: 1023000 | #Constraints: 22248 2906.56/2913.73 c #Conflicts: 1024000 | #Constraints: 23248 2906.56/2913.73 c #Conflicts: 1025000 | #Constraints: 24248 2906.56/2913.73 c #Conflicts: 1026000 | #Constraints: 25248 2906.56/2913.73 c #Conflicts: 1027000 | #Constraints: 26248 2906.56/2913.73 c #Conflicts: 1028000 | #Constraints: 27248 2906.56/2913.73 c #Conflicts: 1029000 | #Constraints: 28248 2906.56/2913.73 c #Conflicts: 1030000 | #Constraints: 29248 2906.56/2913.73 c #Conflicts: 1031000 | #Constraints: 30248 2906.56/2913.73 c #Conflicts: 1032000 | #Constraints: 31248 2906.56/2913.73 c #Conflicts: 1033000 | #Constraints: 32248 2906.56/2913.73 c #Conflicts: 1034000 | #Constraints: 33248 2906.56/2913.73 c #Conflicts: 1035000 | #Constraints: 34248 2906.56/2913.73 c #Conflicts: 1036000 | #Constraints: 35248 2906.56/2913.73 c #Conflicts: 1037000 | #Constraints: 36248 2906.56/2913.73 c #Conflicts: 1038000 | #Constraints: 37248 2906.56/2913.73 c #Conflicts: 1039000 | #Constraints: 38248 2906.56/2913.73 c #Conflicts: 1040000 | #Constraints: 39248 2906.56/2913.73 c #Conflicts: 1041000 | #Constraints: 40248 2906.56/2913.73 c INPROCESSING 2906.56/2913.73 c GARBAGE COLLECT 2906.56/2913.73 c rational objective 15 2995.76/3003.11 c #Conflicts: 1042000 | #Constraints: 21040 2995.76/3003.11 c #Conflicts: 1043000 | #Constraints: 22041 2995.76/3003.11 c #Conflicts: 1044000 | #Constraints: 23041 2995.76/3003.11 c #Conflicts: 1045000 | #Constraints: 24041 2995.76/3003.11 c #Conflicts: 1046000 | #Constraints: 25041 2995.76/3003.11 c #Conflicts: 1047000 | #Constraints: 26041 2995.76/3003.11 c #Conflicts: 1048000 | #Constraints: 27041 2995.76/3003.11 c #Conflicts: 1049000 | #Constraints: 28041 2995.76/3003.11 c #Conflicts: 1050000 | #Constraints: 29041 2995.76/3003.11 c #Conflicts: 1051000 | #Constraints: 30041 2995.76/3003.11 c #Conflicts: 1052000 | #Constraints: 31041 2995.76/3003.11 c #Conflicts: 1053000 | #Constraints: 32041 2995.76/3003.11 c #Conflicts: 1054000 | #Constraints: 33041 2995.76/3003.11 c #Conflicts: 1055000 | #Constraints: 34041 2995.76/3003.11 c #Conflicts: 1056000 | #Constraints: 35041 2995.76/3003.11 c #Conflicts: 1057000 | #Constraints: 36041 2995.76/3003.11 c #Conflicts: 1058000 | #Constraints: 37041 2995.76/3003.11 c #Conflicts: 1059000 | #Constraints: 38041 2995.76/3003.11 c #Conflicts: 1060000 | #Constraints: 39041 2995.76/3003.11 c #Conflicts: 1061000 | #Constraints: 40041 2995.76/3003.11 c #Conflicts: 1062000 | #Constraints: 41041 2995.76/3003.11 c INPROCESSING 2995.76/3003.11 c GARBAGE COLLECT 2995.76/3003.11 c rational objective 15 3042.73/3050.28 c #Conflicts: 1063000 | #Constraints: 21639 3042.73/3050.28 c #Conflicts: 1064000 | #Constraints: 22639 3042.73/3050.28 c #Conflicts: 1065000 | #Constraints: 23639 3042.73/3050.28 c #Conflicts: 1066000 | #Constraints: 24653 3042.73/3050.28 c #Conflicts: 1067000 | #Constraints: 25654 3042.73/3050.28 c #Conflicts: 1068000 | #Constraints: 26654 3042.73/3050.28 c #Conflicts: 1069000 | #Constraints: 27654 3042.73/3050.28 c #Conflicts: 1070000 | #Constraints: 28655 3042.73/3050.28 c #Conflicts: 1071000 | #Constraints: 29655 3042.73/3050.28 c #Conflicts: 1072000 | #Constraints: 30655 3042.73/3050.28 c #Conflicts: 1073000 | #Constraints: 31655 3042.73/3050.28 c #Conflicts: 1074000 | #Constraints: 32655 3042.73/3050.28 c #Conflicts: 1075000 | #Constraints: 33655 3042.73/3050.28 c #Conflicts: 1076000 | #Constraints: 34655 3042.73/3050.28 c #Conflicts: 1077000 | #Constraints: 35655 3042.73/3050.28 c #Conflicts: 1078000 | #Constraints: 36655 3042.73/3050.28 c #Conflicts: 1079000 | #Constraints: 37655 3042.73/3050.28 c #Conflicts: 1080000 | #Constraints: 38655 3042.73/3050.28 c #Conflicts: 1081000 | #Constraints: 39655 3042.73/3050.28 c #Conflicts: 1082000 | #Constraints: 40655 3042.73/3050.28 c #Conflicts: 1083000 | #Constraints: 41655 3042.73/3050.28 c INPROCESSING 3042.73/3050.28 c GARBAGE COLLECT 3042.73/3050.28 c rational objective 15 3110.87/3118.51 c #Conflicts: 1084000 | #Constraints: 22052 3110.87/3118.51 c #Conflicts: 1085000 | #Constraints: 23056 3110.87/3118.51 c #Conflicts: 1086000 | #Constraints: 24058 3110.87/3118.51 c #Conflicts: 1087000 | #Constraints: 25058 3110.87/3118.51 c #Conflicts: 1088000 | #Constraints: 26059 3110.87/3118.51 c #Conflicts: 1089000 | #Constraints: 27059 3110.87/3118.51 c #Conflicts: 1090000 | #Constraints: 28059 3110.87/3118.51 c #Conflicts: 1091000 | #Constraints: 29059 3110.87/3118.51 c #Conflicts: 1092000 | #Constraints: 30059 3110.87/3118.51 c #Conflicts: 1093000 | #Constraints: 31059 3110.87/3118.51 c #Conflicts: 1094000 | #Constraints: 32059 3110.87/3118.51 c #Conflicts: 1095000 | #Constraints: 33059 3110.87/3118.51 c #Conflicts: 1096000 | #Constraints: 34059 3110.87/3118.51 c #Conflicts: 1097000 | #Constraints: 35059 3110.87/3118.51 c #Conflicts: 1098000 | #Constraints: 36060 3110.87/3118.51 c #Conflicts: 1099000 | #Constraints: 37060 3110.87/3118.51 c #Conflicts: 1100000 | #Constraints: 38060 3110.87/3118.51 c #Conflicts: 1101000 | #Constraints: 39060 3110.87/3118.51 c #Conflicts: 1102000 | #Constraints: 40060 3110.87/3118.51 c #Conflicts: 1103000 | #Constraints: 41060 3110.87/3118.51 c #Conflicts: 1104000 | #Constraints: 42060 3110.87/3118.51 c INPROCESSING 3110.87/3118.51 c GARBAGE COLLECT 3110.87/3118.51 c rational objective 15 3205.95/3213.82 c #Conflicts: 1105000 | #Constraints: 22254 3205.95/3213.82 c #Conflicts: 1106000 | #Constraints: 23254 3205.95/3213.82 c #Conflicts: 1107000 | #Constraints: 24255 3205.95/3213.82 c #Conflicts: 1108000 | #Constraints: 25255 3205.95/3213.82 c #Conflicts: 1109000 | #Constraints: 26255 3205.95/3213.82 c #Conflicts: 1110000 | #Constraints: 27255 3205.95/3213.82 c #Conflicts: 1111000 | #Constraints: 28255 3205.95/3213.82 c #Conflicts: 1112000 | #Constraints: 29255 3205.95/3213.82 c #Conflicts: 1113000 | #Constraints: 30255 3205.95/3213.82 c #Conflicts: 1114000 | #Constraints: 31255 3205.95/3213.82 c #Conflicts: 1115000 | #Constraints: 32255 3205.95/3213.82 c #Conflicts: 1116000 | #Constraints: 33255 3205.95/3213.82 c #Conflicts: 1117000 | #Constraints: 34255 3205.95/3213.82 c #Conflicts: 1118000 | #Constraints: 35255 3205.95/3213.82 c #Conflicts: 1119000 | #Constraints: 36255 3205.95/3213.82 c #Conflicts: 1120000 | #Constraints: 37255 3205.95/3213.82 c #Conflicts: 1121000 | #Constraints: 38255 3205.95/3213.82 c #Conflicts: 1122000 | #Constraints: 39255 3205.95/3213.82 c #Conflicts: 1123000 | #Constraints: 40255 3205.95/3213.82 c #Conflicts: 1124000 | #Constraints: 41255 3205.95/3213.82 c #Conflicts: 1125000 | #Constraints: 42255 3205.95/3213.82 c INPROCESSING 3205.95/3213.82 c GARBAGE COLLECT 3205.95/3213.82 c rational objective 15 3233.49/3241.40 c #Conflicts: 1126000 | #Constraints: 22256 3233.49/3241.40 c #Conflicts: 1127000 | #Constraints: 23256 3233.49/3241.40 c #Conflicts: 1128000 | #Constraints: 24259 3233.49/3241.40 c #Conflicts: 1129000 | #Constraints: 25267 3233.49/3241.40 c #Conflicts: 1130000 | #Constraints: 26267 3233.49/3241.40 c #Conflicts: 1131000 | #Constraints: 27268 3233.49/3241.40 c #Conflicts: 1132000 | #Constraints: 28269 3233.49/3241.40 c #Conflicts: 1133000 | #Constraints: 29273 3233.49/3241.40 c #Conflicts: 1134000 | #Constraints: 30274 3233.49/3241.40 c #Conflicts: 1135000 | #Constraints: 31275 3233.49/3241.40 c #Conflicts: 1136000 | #Constraints: 32277 3233.49/3241.40 c #Conflicts: 1137000 | #Constraints: 33278 3233.49/3241.40 c #Conflicts: 1138000 | #Constraints: 34281 3233.49/3241.40 c #Conflicts: 1139000 | #Constraints: 35281 3233.49/3241.40 c #Conflicts: 1140000 | #Constraints: 36281 3233.49/3241.40 c #Conflicts: 1141000 | #Constraints: 37283 3233.49/3241.40 c #Conflicts: 1142000 | #Constraints: 38283 3233.49/3241.40 c #Conflicts: 1143000 | #Constraints: 39283 3233.49/3241.40 c #Conflicts: 1144000 | #Constraints: 40283 3233.49/3241.40 c #Conflicts: 1145000 | #Constraints: 41283 3233.49/3241.40 c #Conflicts: 1146000 | #Constraints: 42283 3233.49/3241.40 c INPROCESSING 3233.49/3241.40 c GARBAGE COLLECT 3233.49/3241.40 c rational objective 15 3273.58/3281.64 c #Conflicts: 1147000 | #Constraints: 22060 3273.58/3281.64 c #Conflicts: 1148000 | #Constraints: 23060 3273.58/3281.64 c #Conflicts: 1149000 | #Constraints: 24061 3273.58/3281.64 c #Conflicts: 1150000 | #Constraints: 25065 3273.58/3281.64 c #Conflicts: 1151000 | #Constraints: 26067 3273.58/3281.64 c #Conflicts: 1152000 | #Constraints: 27069 3273.58/3281.64 c #Conflicts: 1153000 | #Constraints: 28073 3273.58/3281.64 c #Conflicts: 1154000 | #Constraints: 29076 3273.58/3281.64 c #Conflicts: 1155000 | #Constraints: 30076 3273.58/3281.64 c #Conflicts: 1156000 | #Constraints: 31076 3273.58/3281.64 c #Conflicts: 1157000 | #Constraints: 32076 3273.58/3281.64 c #Conflicts: 1158000 | #Constraints: 33076 3273.58/3281.64 c #Conflicts: 1159000 | #Constraints: 34078 3273.58/3281.64 c #Conflicts: 1160000 | #Constraints: 35079 3273.58/3281.64 c #Conflicts: 1161000 | #Constraints: 36081 3273.58/3281.64 c #Conflicts: 1162000 | #Constraints: 37081 3273.58/3281.64 c #Conflicts: 1163000 | #Constraints: 38081 3273.58/3281.64 c #Conflicts: 1164000 | #Constraints: 39081 3273.58/3281.64 c #Conflicts: 1165000 | #Constraints: 40081 3273.58/3281.64 c #Conflicts: 1166000 | #Constraints: 41081 3273.58/3281.64 c #Conflicts: 1167000 | #Constraints: 42084 3273.58/3281.64 c #Conflicts: 1168000 | #Constraints: 43084 3273.58/3281.64 c INPROCESSING 3273.58/3281.64 c GARBAGE COLLECT 3273.58/3281.64 c rational objective 15 3315.09/3323.25 c #Conflicts: 1169000 | #Constraints: 22662 3315.09/3323.25 c #Conflicts: 1170000 | #Constraints: 23664 3315.09/3323.25 c #Conflicts: 1171000 | #Constraints: 24664 3315.09/3323.25 c #Conflicts: 1172000 | #Constraints: 25665 3315.09/3323.25 c #Conflicts: 1173000 | #Constraints: 26668 3315.09/3323.25 c #Conflicts: 1174000 | #Constraints: 27671 3315.09/3323.25 c #Conflicts: 1175000 | #Constraints: 28672 3315.09/3323.25 c #Conflicts: 1176000 | #Constraints: 29672 3315.09/3323.25 c #Conflicts: 1177000 | #Constraints: 30672 3315.09/3323.25 c #Conflicts: 1178000 | #Constraints: 31673 3315.09/3323.25 c #Conflicts: 1179000 | #Constraints: 32673 3315.09/3323.25 c #Conflicts: 1180000 | #Constraints: 33675 3315.09/3323.25 c #Conflicts: 1181000 | #Constraints: 34675 3315.09/3323.25 c #Conflicts: 1182000 | #Constraints: 35675 3315.09/3323.25 c #Conflicts: 1183000 | #Constraints: 36675 3315.09/3323.25 c #Conflicts: 1184000 | #Constraints: 37675 3315.09/3323.25 c #Conflicts: 1185000 | #Constraints: 38675 3315.09/3323.25 c #Conflicts: 1186000 | #Constraints: 39675 3315.09/3323.25 c #Conflicts: 1187000 | #Constraints: 40676 3315.09/3323.25 c #Conflicts: 1188000 | #Constraints: 41676 3315.09/3323.25 c #Conflicts: 1189000 | #Constraints: 42676 3315.09/3323.25 c #Conflicts: 1190000 | #Constraints: 43676 3315.09/3323.25 c INPROCESSING 3315.09/3323.25 c GARBAGE COLLECT 3315.09/3323.25 c rational objective 15 3368.97/3377.27 c #Conflicts: 1191000 | #Constraints: 23057 3368.97/3377.27 c #Conflicts: 1192000 | #Constraints: 24059 3368.97/3377.27 c #Conflicts: 1193000 | #Constraints: 25064 3368.97/3377.27 c #Conflicts: 1194000 | #Constraints: 26064 3368.97/3377.27 c #Conflicts: 1195000 | #Constraints: 27065 3368.97/3377.27 c #Conflicts: 1196000 | #Constraints: 28065 3368.97/3377.27 c #Conflicts: 1197000 | #Constraints: 29066 3368.97/3377.27 c #Conflicts: 1198000 | #Constraints: 30066 3368.97/3377.27 c #Conflicts: 1199000 | #Constraints: 31066 3368.97/3377.27 c #Conflicts: 1200000 | #Constraints: 32066 3368.97/3377.27 c #Conflicts: 1201000 | #Constraints: 33066 3368.97/3377.27 c #Conflicts: 1202000 | #Constraints: 34068 3368.97/3377.27 c #Conflicts: 1203000 | #Constraints: 35071 3368.97/3377.27 c #Conflicts: 1204000 | #Constraints: 36071 3368.97/3377.27 c #Conflicts: 1205000 | #Constraints: 37071 3368.97/3377.27 c #Conflicts: 1206000 | #Constraints: 38071 3368.97/3377.27 c #Conflicts: 1207000 | #Constraints: 39071 3368.97/3377.27 c #Conflicts: 1208000 | #Constraints: 40071 3368.97/3377.27 c #Conflicts: 1209000 | #Constraints: 41071 3368.97/3377.27 c #Conflicts: 1210000 | #Constraints: 42071 3368.97/3377.27 c #Conflicts: 1211000 | #Constraints: 43072 3368.97/3377.27 c #Conflicts: 1212000 | #Constraints: 44072 3368.97/3377.27 c INPROCESSING 3368.97/3377.27 c GARBAGE COLLECT 3368.97/3377.27 c rational objective 15 3457.75/3466.24 c #Conflicts: 1213000 | #Constraints: 23257 3457.75/3466.24 c #Conflicts: 1214000 | #Constraints: 24257 3457.75/3466.24 c #Conflicts: 1215000 | #Constraints: 25257 3457.75/3466.24 c #Conflicts: 1216000 | #Constraints: 26257 3457.75/3466.24 c #Conflicts: 1217000 | #Constraints: 27257 3457.75/3466.24 c #Conflicts: 1218000 | #Constraints: 28257 3457.75/3466.24 c #Conflicts: 1219000 | #Constraints: 29257 3457.75/3466.24 c #Conflicts: 1220000 | #Constraints: 30257 3457.75/3466.24 c #Conflicts: 1221000 | #Constraints: 31257 3457.75/3466.24 c #Conflicts: 1222000 | #Constraints: 32258 3457.75/3466.24 c #Conflicts: 1223000 | #Constraints: 33258 3457.75/3466.24 c #Conflicts: 1224000 | #Constraints: 34258 3457.75/3466.24 c #Conflicts: 1225000 | #Constraints: 35258 3457.75/3466.24 c #Conflicts: 1226000 | #Constraints: 36258 3457.75/3466.24 c #Conflicts: 1227000 | #Constraints: 37258 3457.75/3466.24 c #Conflicts: 1228000 | #Constraints: 38258 3457.75/3466.24 c #Conflicts: 1229000 | #Constraints: 39258 3457.75/3466.24 c #Conflicts: 1230000 | #Constraints: 40258 3457.75/3466.24 c #Conflicts: 1231000 | #Constraints: 41258 3457.75/3466.24 c #Conflicts: 1232000 | #Constraints: 42258 3457.75/3466.24 c #Conflicts: 1233000 | #Constraints: 43259 3457.75/3466.24 c #Conflicts: 1234000 | #Constraints: 44259 3457.75/3466.24 c INPROCESSING 3457.75/3466.24 c GARBAGE COLLECT 3457.75/3466.24 c rational objective 15 3498.56/3507.16 c #Conflicts: 1235000 | #Constraints: 23244 3498.56/3507.16 c #Conflicts: 1236000 | #Constraints: 24245 3498.56/3507.16 c #Conflicts: 1237000 | #Constraints: 25263 3498.56/3507.16 c #Conflicts: 1238000 | #Constraints: 26268 3498.56/3507.16 c #Conflicts: 1239000 | #Constraints: 27268 3498.56/3507.16 c #Conflicts: 1240000 | #Constraints: 28268 3498.56/3507.16 c #Conflicts: 1241000 | #Constraints: 29268 3498.56/3507.16 c #Conflicts: 1242000 | #Constraints: 30268 3498.56/3507.16 c #Conflicts: 1243000 | #Constraints: 31268 3498.56/3507.16 c #Conflicts: 1244000 | #Constraints: 32279 3498.56/3507.16 c #Conflicts: 1245000 | #Constraints: 33294 3498.56/3507.16 c #Conflicts: 1246000 | #Constraints: 34294 3498.56/3507.16 c #Conflicts: 1247000 | #Constraints: 35294 3498.56/3507.16 c #Conflicts: 1248000 | #Constraints: 36294 3498.56/3507.16 c #Conflicts: 1249000 | #Constraints: 37294 3498.56/3507.16 c #Conflicts: 1250000 | #Constraints: 38296 3498.56/3507.16 c #Conflicts: 1251000 | #Constraints: 39297 3498.56/3507.16 c #Conflicts: 1252000 | #Constraints: 40297 3498.56/3507.16 c #Conflicts: 1253000 | #Constraints: 41299 3498.56/3507.16 c #Conflicts: 1254000 | #Constraints: 42305 3498.56/3507.16 c #Conflicts: 1255000 | #Constraints: 43305 3498.56/3507.16 c #Conflicts: 1256000 | #Constraints: 44305 3498.56/3507.16 c INPROCESSING 3498.56/3507.16 c GARBAGE COLLECT 3498.56/3507.16 c rational objective 15 3557.32/3566.03 c #Conflicts: 1257000 | #Constraints: 23070 3557.32/3566.03 c #Conflicts: 1258000 | #Constraints: 24071 3557.32/3566.03 c #Conflicts: 1259000 | #Constraints: 25071 3557.32/3566.03 c #Conflicts: 1260000 | #Constraints: 26071 3557.32/3566.03 c #Conflicts: 1261000 | #Constraints: 27072 3557.32/3566.03 c #Conflicts: 1262000 | #Constraints: 28078 3557.32/3566.03 c #Conflicts: 1263000 | #Constraints: 29078 3557.32/3566.03 c #Conflicts: 1264000 | #Constraints: 30078 3557.32/3566.03 c #Conflicts: 1265000 | #Constraints: 31078 3557.32/3566.03 c #Conflicts: 1266000 | #Constraints: 32078 3557.32/3566.03 c #Conflicts: 1267000 | #Constraints: 33079 3557.32/3566.03 c #Conflicts: 1268000 | #Constraints: 34080 3557.32/3566.03 c #Conflicts: 1269000 | #Constraints: 35080 3557.32/3566.03 c #Conflicts: 1270000 | #Constraints: 36080 3557.32/3566.03 c #Conflicts: 1271000 | #Constraints: 37080 3557.32/3566.03 c #Conflicts: 1272000 | #Constraints: 38080 3557.32/3566.03 c #Conflicts: 1273000 | #Constraints: 39080 3557.32/3566.03 c #Conflicts: 1274000 | #Constraints: 40080 3557.32/3566.03 c #Conflicts: 1275000 | #Constraints: 41080 3557.32/3566.03 c #Conflicts: 1276000 | #Constraints: 42080 3557.32/3566.03 c #Conflicts: 1277000 | #Constraints: 43080 3557.32/3566.03 c #Conflicts: 1278000 | #Constraints: 44080 3557.32/3566.03 c #Conflicts: 1279000 | #Constraints: 45080 3557.32/3566.03 c INPROCESSING 3557.32/3566.03 c GARBAGE COLLECT 3557.32/3566.03 c rational objective 15 3600.01/3608.80 c #Conflicts: 1280000 | #Constraints: 23656 3600.01/3608.80 c #Conflicts: 1281000 | #Constraints: 24656 3600.01/3608.80 c #Conflicts: 1282000 | #Constraints: 25656 3600.01/3608.80 c #Conflicts: 1283000 | #Constraints: 26659 3600.01/3608.80 c #Conflicts: 1284000 | #Constraints: 27660 3600.01/3608.80 c #Conflicts: 1285000 | #Constraints: 28661 3600.01/3608.80 c #Conflicts: 1286000 | #Constraints: 29663 3600.01/3608.80 c #Conflicts: 1287000 | #Constraints: 30666 3600.01/3608.80 c #Conflicts: 1288000 | #Constraints: 31666 3600.01/3608.80 c #Conflicts: 1289000 | #Constraints: 32666 3600.01/3608.80 c #Conflicts: 1290000 | #Constraints: 33666 3600.01/3608.80 c #Conflicts: 1291000 | #Constraints: 34666 3600.01/3608.80 c #Conflicts: 1292000 | #Constraints: 35666 3600.01/3608.80 c #Conflicts: 1293000 | #Constraints: 36666 3600.01/3608.80 c #Conflicts: 1294000 | #Constraints: 37667 3600.01/3608.80 c #Conflicts: 1295000 | #Constraints: 38667 3600.01/3608.80 c Program interrupted by user. 3600.01/3608.80 c cpu time 3551.91 s 3600.01/3608.80 c deterministic time 589487279305 5.89e+11 3600.01/3608.80 c optimization time 42.0497 s 3600.01/3608.80 c total solve time 3509.85 s 3600.01/3608.80 c core-guided solve time 1598.06 s 3600.01/3608.80 c propagation time 3326.82 s 3600.01/3608.80 c conflict analysis time 166.421 s 3600.01/3608.80 c propagations 227261953 3600.01/3608.80 c resolve steps 3300711 3600.01/3608.80 c decisions 21974455 3600.01/3608.80 c conflicts 1295025 3600.01/3608.80 c restarts 2505 3600.01/3608.80 c inprocessing phases 104 3600.01/3608.80 c input clauses 173 3600.01/3608.80 c input cardinalities 187 3600.01/3608.80 c input general constraints 67 3600.01/3608.80 c input average constraint length 53.29 3600.01/3608.80 c input average constraint degree 10781.33 3600.01/3608.80 c learned clauses 168773 3600.01/3608.80 c learned cardinalities 479 3600.01/3608.80 c learned general constraints 1127111 3600.01/3608.80 c learned average constraint length 257.40 3600.01/3608.80 c learned average constraint degree 1025009784.98 3600.01/3608.80 c watched constraints 826532 3600.01/3608.80 c counting constraints 300646 3600.01/3608.80 c gcd simplifications 113981 3600.01/3608.80 c detected cardinalities 62 3600.01/3608.80 c weakened non-implied lits 8223689 3600.01/3608.80 c weakened non-implying lits 2350241 3600.01/3608.80 c original variables 5568 3600.01/3608.80 c clausal propagations 741507 3600.01/3608.80 c cardinality propagations 190300826 3600.01/3608.80 c watched propagations 26392111 3600.01/3608.80 c counting propagations 8999884 3600.01/3608.80 c watch lookups 42256293881 3600.01/3608.80 c watch backjump lookups 40070623895 3600.01/3608.80 c watch checks 287603377026 3600.01/3608.80 c propagation checks 218048034416 3600.01/3608.80 c constraint additions 1008529940 3600.01/3608.80 c trail pops 250529319 3600.01/3608.80 c formula constraints 412 3600.01/3608.80 c learned constraints 1293687 3600.01/3608.80 c bound constraints 13 3600.01/3608.80 c core-guided constraints 2 3600.01/3608.80 c encountered formula constraints 1696843 3600.01/3608.80 c encountered learned constraints 1507359 3600.01/3608.80 c encountered bound constraints 1 3600.01/3608.80 c encountered core-guided constraints 80 3600.01/3608.80 c LP total time 973.15 s 3600.01/3608.80 c LP solve time 803.98 s 3600.01/3608.80 c LP constraints added 472 3600.01/3608.80 c LP constraints removed 59 3600.01/3608.80 c LP pivots internal 653467 3600.01/3608.80 c LP pivots root 952 3600.01/3608.80 c LP calls 1191096 3600.01/3608.80 c LP optimalities 1189757 3600.01/3608.80 c LP no pivot count 959407 3600.01/3608.80 c LP infeasibilities 1338 3600.01/3608.80 c LP valid Farkas constraints 1338 3600.01/3608.80 c LP learned Farkas constraints 1338 3600.01/3608.80 c LP basis resets 0 3600.01/3608.80 c LP cycling count 0 3600.01/3608.80 c LP singular count 0 3600.01/3608.80 c LP no primal count 0 3600.01/3608.80 c LP no farkas count 0 3600.01/3608.80 c LP other issue count 0 3600.01/3608.80 c LP Gomory cuts 0 3600.01/3608.80 c LP learned cuts 60 3600.01/3608.80 c LP deleted cuts 59 3600.01/3608.80 c LP encountered Gomory constraints 0 3600.01/3608.80 c LP encountered Farkas constraints 1072366 3600.01/3608.80 c LP encountered learned Farkas constraints 317749 3600.01/3608.80 c CG auxiliary variables introduced 1 3600.01/3608.80 c CG solutions found 13 3600.01/3608.80 c CG cores constructed 1 3600.01/3608.80 c CG core cardinality constraints returned 1 3600.01/3608.80 c CG unit cores 0 3600.01/3608.80 c CG single cores 1 3600.01/3608.80 c CG blocks removed during cardinality reduction 0 3600.01/3608.80 c CG first core best 0 3600.01/3608.80 c CG decision core best 0 3600.01/3608.80 c CG core reduction tie 0 3600.01/3608.80 c CG core degree average 15.00 3600.01/3608.80 c CG core slack average 17.00 3600.01/3608.80 s SATISFIABLE 3600.01/3608.80 v -x1 x2 x3 -x4 -x5 -x6 x7 x8 x9 -x10 -x11 x12 -x13 -x14 x15 -x16 x17 x18 -x19 -x20 x21 -x22 x23 -x24 -x25 x26 -x27 -x28 x29 x30 x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 x2007 x2008 -x2009 x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 -x2618 x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910 -x2911 x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 x2922 -x2923 -x2924 x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 -x2951 x2952 x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 -x3575 -x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 x4361 x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 x4939 x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 x5429 x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568
OK 16
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: 63968 MiB (43321 MiB free)
memory of node 1: 64473 MiB (1693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462862-1722347736/watcher-4462862-1722347736 -o /tmp/evaluation-result-4462862-1722347736/solver-4462862-1722347736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462862-1722347736 --lp-cut-gomory=0 HOME/instance-4462862-1722347736.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=10589, runsolver pid=10586
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.25 4.19 4.15 5/262 10590
/proc/meminfo: memFree=46088204/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=43600 memory=14140 CPUtime=0.06 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 2207 0 0 0 6 0 0 0 20 0 1 0 1372562 44646400 3535 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 10900 3535 1857 992 0 2758 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 14140 KiB
[startup+0.205685 s]*
/proc/loadavg: 4.25 4.19 4.15 5/262 10590
/proc/meminfo: memFree=46078708/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=44020 memory=17504 CPUtime=0.18 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 2538 0 0 0 17 1 0 0 20 0 1 0 1372562 45076480 4376 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 11005 4376 1857 992 0 2863 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44020 KiB
Current children cumulated memory: 17504 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.25 4.19 4.15 5/262 10590
/proc/meminfo: memFree=46072856/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=47556 memory=19688 CPUtime=0.27 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 3065 0 0 0 25 2 0 0 20 0 1 0 1372562 48697344 4922 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 11889 4922 1857 992 0 3747 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 47556 KiB
Current children cumulated memory: 19688 KiB
[startup+0.70022 s]
/proc/loadavg: 4.25 4.19 4.15 5/262 10590
/proc/meminfo: memFree=46061580/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=55540 memory=29224 CPUtime=0.65 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 5453 0 0 0 61 4 0 0 20 0 1 0 1372562 56872960 7306 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 13885 7306 1873 992 0 5743 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 29224 KiB
[startup+1.50021 s]
/proc/loadavg: 4.25 4.19 4.15 5/262 10590
/proc/meminfo: memFree=46026036/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=80288 memory=46860 CPUtime=1.46 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 9820 0 0 0 137 9 0 0 20 0 1 0 1372562 82214912 11715 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 20072 11715 1888 992 0 11930 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80288 KiB
Current children cumulated memory: 46860 KiB
[startup+3.10557 s]
/proc/loadavg: 4.31 4.20 4.16 5/262 10973
/proc/meminfo: memFree=45902332/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=105848 memory=64284 CPUtime=3.06 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 14226 0 0 0 286 20 0 0 20 0 1 0 1372562 108388352 16071 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 26462 16071 1888 992 0 18320 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 105848 KiB
Current children cumulated memory: 64284 KiB
[startup+6.3002 s]
/proc/loadavg: 4.31 4.20 4.16 5/262 10973
/proc/meminfo: memFree=45781232/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=112644 memory=71148 CPUtime=6.25 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 15945 0 0 0 591 34 0 0 20 0 1 0 1372562 115347456 17787 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 28161 17787 1888 992 0 20019 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 112644 KiB
Current children cumulated memory: 71148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.20 4.16 5/260 10975
/proc/meminfo: memFree=45521804/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=116856 memory=75372 CPUtime=12.63 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 16966 0 0 0 1213 50 0 0 20 0 1 0 1372562 119660544 18843 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 29214 18843 1888 992 0 21072 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 116856 KiB
Current children cumulated memory: 75372 KiB
[startup+25.5002 s]
/proc/loadavg: 4.30 4.21 4.16 5/261 10977
/proc/meminfo: memFree=45150348/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=123760 memory=82236 CPUtime=25.4 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 18709 0 0 0 2455 85 0 0 20 0 1 0 1372562 126730240 20559 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 30940 20559 1888 992 0 22798 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 123760 KiB
Current children cumulated memory: 82236 KiB
[startup+51.1057 s]
/proc/loadavg: 4.20 4.19 4.16 5/261 10982
/proc/meminfo: memFree=44256332/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=136448 memory=94188 CPUtime=50.94 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 22266 0 0 0 4942 152 0 0 20 0 1 0 1372562 139722752 23547 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 34112 23547 1888 992 0 25970 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 136448 KiB
Current children cumulated memory: 94188 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.16 5/262 10993
/proc/meminfo: memFree=42627280/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=142684 memory=99184 CPUtime=102.01 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 27448 0 0 0 9947 254 0 0 20 0 1 0 1372562 146108416 24796 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 35671 24796 1888 992 0 27529 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 142684 KiB
Current children cumulated memory: 99184 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.21 4.17 5/262 11005
/proc/meminfo: memFree=40615056/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=162516 memory=118016 CPUtime=161.86 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 33936 0 0 0 15797 389 0 0 20 0 1 0 1372562 166416384 29504 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 40629 29504 1888 992 0 32487 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 162516 KiB
Current children cumulated memory: 118016 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/265 11186
/proc/meminfo: memFree=37896136/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=183940 memory=137820 CPUtime=221.7 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 43352 0 0 0 21625 545 0 0 20 0 1 0 1372562 188354560 34455 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 45985 34455 1888 992 0 37843 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 183940 KiB
Current children cumulated memory: 137820 KiB
[startup+282.3 s]
/proc/loadavg: 4.29 4.21 4.17 5/265 11196
/proc/meminfo: memFree=35836144/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=193756 memory=144908 CPUtime=281.55 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 50926 0 0 0 27509 646 0 0 20 0 1 0 1372562 198406144 36227 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 48439 36227 1888 992 0 40297 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 193756 KiB
Current children cumulated memory: 144908 KiB
[startup+342.3 s]
/proc/loadavg: 4.49 4.32 4.21 4/264 11222
/proc/meminfo: memFree=33721744/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=213512 memory=165780 CPUtime=341.41 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 62250 0 0 0 33346 795 0 0 20 0 1 0 1372562 218636288 41445 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 53378 41445 1888 992 0 45236 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 213512 KiB
Current children cumulated memory: 165780 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 4.28 4.21 5/263 11279
/proc/meminfo: memFree=123653896/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=385772 memory=270980 CPUtime=401.26 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 74026 0 0 0 39303 823 0 0 20 0 1 0 1372562 395030528 67745 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 96443 67745 1888 992 0 88301 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 385772 KiB
Current children cumulated memory: 270980 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.26 4.20 5/264 11290
/proc/meminfo: memFree=123377392/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=389160 memory=323964 CPUtime=461.12 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 81186 0 0 0 45272 840 0 0 20 0 1 0 1372562 398499840 80991 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 97290 80991 1888 992 0 89148 0
################
# More data... #
################
Current children cumulated memory: 813660 KiB
[startup+2862.3 s]
/proc/loadavg: 3.06 3.13 3.45 4/255 12426
/proc/meminfo: memFree=121023800/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1031056 memory=814828 CPUtime=2855.29 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 157729 0 0 0 281649 3880 0 0 20 0 1 0 1372562 1055801344 203707 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 257764 203707 1888 992 0 249622 0
Current children cumulated CPU time: 2855.29 s
Current children cumulated vsize: 1031056 KiB
Current children cumulated memory: 814828 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.14 3.44 4/255 12438
/proc/meminfo: memFree=120897308/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1032740 memory=816180 CPUtime=2915.14 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 158206 0 0 0 287579 3935 0 0 20 0 1 0 1372562 1057525760 204045 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 258185 204045 1888 992 0 250043 0
Current children cumulated CPU time: 2915.14 s
Current children cumulated vsize: 1032740 KiB
Current children cumulated memory: 816180 KiB
[startup+2982.3 s]
/proc/loadavg: 3.10 3.12 3.41 4/254 12448
/proc/meminfo: memFree=120811508/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1034132 memory=816836 CPUtime=2975 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 158525 0 0 0 293523 3977 0 0 20 0 1 0 1372562 1058951168 204209 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 258533 204209 1888 992 0 250391 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 1034132 KiB
Current children cumulated memory: 816836 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.12 3.39 4/252 12460
/proc/meminfo: memFree=120625640/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1051704 memory=830864 CPUtime=3034.85 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 162248 0 0 0 299440 4045 0 0 20 0 1 0 1372562 1076944896 207716 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 262926 207716 1888 992 0 254784 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 1051704 KiB
Current children cumulated memory: 830864 KiB
[startup+3102.3 s]
/proc/loadavg: 3.19 3.14 3.38 4/252 12470
/proc/meminfo: memFree=120503808/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1065016 memory=841052 CPUtime=3094.71 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 165023 0 0 0 305341 4130 0 0 20 0 1 0 1372562 1090576384 210263 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 266254 210263 1888 992 0 258112 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 1065016 KiB
Current children cumulated memory: 841052 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.13 3.36 4/252 12482
/proc/meminfo: memFree=120406728/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1074616 memory=847404 CPUtime=3154.57 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 166826 0 0 0 311264 4193 0 0 20 0 1 0 1372562 1100406784 211851 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 268654 211851 1888 992 0 260512 0
Current children cumulated CPU time: 3154.57 s
Current children cumulated vsize: 1074616 KiB
Current children cumulated memory: 847404 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.11 3.34 4/252 12492
/proc/meminfo: memFree=120309652/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1083596 memory=853920 CPUtime=3214.43 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 168604 0 0 0 317201 4242 0 0 20 0 1 0 1372562 1109602304 213480 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 270899 213480 1888 992 0 262757 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 1083596 KiB
Current children cumulated memory: 853920 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.11 3.32 4/252 12502
/proc/meminfo: memFree=120160444/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1084964 memory=855144 CPUtime=3274.29 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 169029 0 0 0 323069 4360 0 0 20 0 1 0 1372562 1111003136 213786 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 271241 213786 1888 992 0 263099 0
Current children cumulated CPU time: 3274.29 s
Current children cumulated vsize: 1084964 KiB
Current children cumulated memory: 855144 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.31 4/254 12519
/proc/meminfo: memFree=120035660/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1088936 memory=858192 CPUtime=3334.14 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 170028 0 0 0 328925 4489 0 0 20 0 1 0 1372562 1115070464 214548 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 272234 214548 1888 992 0 264092 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 1088936 KiB
Current children cumulated memory: 858192 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.12 3.30 4/254 12529
/proc/meminfo: memFree=119925800/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1095732 memory=864108 CPUtime=3394 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 171733 0 0 0 334841 4559 0 0 20 0 1 0 1372562 1122029568 216027 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 273933 216027 1888 992 0 265791 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 1095732 KiB
Current children cumulated memory: 864108 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.11 3.28 4/254 12539
/proc/meminfo: memFree=119849100/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1096668 memory=864708 CPUtime=3453.86 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 172096 0 0 0 340796 4590 0 0 20 0 1 0 1372562 1122988032 216177 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 274167 216177 1888 992 0 266025 0
Current children cumulated CPU time: 3453.86 s
Current children cumulated vsize: 1096668 KiB
Current children cumulated memory: 864708 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.12 3.27 4/254 12550
/proc/meminfo: memFree=119716056/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1098484 memory=866272 CPUtime=3513.71 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 172671 0 0 0 346660 4711 0 0 20 0 1 0 1372562 1124847616 216568 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 274621 216568 1888 992 0 266479 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 1098484 KiB
Current children cumulated memory: 866272 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.11 3.26 4/254 12560
/proc/meminfo: memFree=119607840/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1112756 memory=877140 CPUtime=3573.58 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 175550 0 0 0 352568 4790 0 0 20 0 1 0 1372562 1139462144 219285 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 278189 219285 1888 992 0 270047 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 1112756 KiB
Current children cumulated memory: 877140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.13 3.12 3.25 4/256 12948
/proc/meminfo: memFree=119578120/131524600 swapFree=131071728/131071996
[pid=10589] ppid=10586 vsize=1112756 memory=877364 CPUtime=3600.01 cores=1,3
/proc/10589/stat : 10589 (roundingsat) R 10586 10589 6828 0 -1 4194304 175674 0 0 0 355190 4811 0 0 20 0 1 0 1372562 1139462144 219341 134679101440 4194304 8255733 140736483932048 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 39927808 140736483939166 140736483939428 140736483939428 140736483946441 0
/proc/10589/statm: 278189 219341 1888 992 0 270047 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1112756 KiB
Current children cumulated memory: 877364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.81 s]
# the end of solver process 10589 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.91 s, system=48.1181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.81
CPU time (s): 3600.03
CPU user time (s): 3551.91
CPU system time (s): 48.1181
CPU usage (%): 99.7566
Max. virtual memory (cumulated for all children) (KiB): 1112756
Max. memory (cumulated for all children) (KiB): 877364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.91
system time used= 48.1181
maximum resident set size= 877508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7235520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101
involuntary context switches= 4960
# summary of solver processes directly reported to runsolver:
# pid: 10589
# total CPU time (s): 3600.03
# total CPU user time (s): 3551.91
# total CPU system time (s): 48.1181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0379 second user time and 16.4186 second system time
The end
Begin job on nodeC024 at 2024-07-30 15:55:36 IDJOB=4462862 IDBENCH=158621 IDSOLVER=3089 FILE ID=nodeC024/4462862-1722347736 RUNJOBID= nodeC024-1722340763-6841 SLURM_JOB_ID= 8248997 Free space on /tmp= 890040 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462862-1722347736/watcher-4462862-1722347736 -o /tmp/evaluation-result-4462862-1722347736/solver-4462862-1722347736 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462862-1722347736 --lp-cut-gomory=0 HOME/instance-4462862-1722347736.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119 RANDOM SEED=768974306 nodeC024.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 : 3673.207 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.90 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 : 3662.145 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.73 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 : 3600.097 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.90 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 : 3658.602 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.73 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 : 3673.235 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.90 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 : 3682.582 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.73 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 : 3600.123 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.90 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 : 3667.154 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.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 46098016 kB MemAvailable: 121185544 kB Buffers: 46256 kB Cached: 75789396 kB SwapCached: 36 kB Active: 198968 kB Inactive: 84542856 kB Active(anon): 1568 kB Inactive(anon): 8925940 kB Active(file): 197400 kB Inactive(file): 75616916 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 690792 kB Writeback: 0 kB AnonPages: 8904360 kB Mapped: 97656 kB Shmem: 21292 kB KReclaimable: 226068 kB Slab: 328296 kB SReclaimable: 226068 kB SUnreclaim: 102228 kB KernelStack: 4204 kB PageTables: 26744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10329164 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 3921920 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890060 MiB End job on nodeC024 at 2024-07-30 16:55:45