| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 16 | 3600.05 | 3610.54 |
| 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.01 c #variables 5568 #constraints 412 0.00/0.06 c bounds - >= 0 @ 0.009581 0.00/0.06 c rational objective 15 2.58/2.69 c bounds 28 >= 0 @ 0.481741 2.58/2.69 c bounds 28 >= 15 @ 0.482308 2.58/2.69 c #Conflicts: 1000 | #Constraints: 1428 2.58/2.69 c #Conflicts: 2000 | #Constraints: 2440 2.58/2.69 c INPROCESSING 2.58/2.69 c GARBAGE COLLECT 2.58/2.69 c rational objective 15 5.17/5.24 c bounds 27 >= 15 @ 2.61963 5.17/5.24 c bounds 26 >= 15 @ 2.65554 5.17/5.24 c bounds 25 >= 15 @ 2.65829 5.17/5.24 c bounds 24 >= 15 @ 2.93194 5.17/5.24 c bounds 23 >= 15 @ 2.93548 5.17/5.24 c bounds 22 >= 15 @ 2.94131 5.17/5.24 c bounds 21 >= 15 @ 2.94658 5.17/5.24 c bounds 20 >= 15 @ 2.94893 5.17/5.24 c bounds 19 >= 15 @ 2.95564 5.17/5.24 c bounds 18 >= 15 @ 3.21358 5.17/5.24 c bounds 17 >= 15 @ 3.2321 5.17/5.24 c #Conflicts: 3000 | #Constraints: 2453 5.17/5.24 c bounds 16 >= 15 @ 4.27678 5.17/5.24 c #Conflicts: 4000 | #Constraints: 3470 5.17/5.24 c INPROCESSING 5.17/5.24 c GARBAGE COLLECT 5.17/5.24 c rational objective 15 7.47/7.57 c #Conflicts: 5000 | #Constraints: 2859 7.47/7.57 c #Conflicts: 6000 | #Constraints: 3865 7.47/7.57 c INPROCESSING 7.47/7.57 c GARBAGE COLLECT 7.47/7.57 c rational objective 15 10.66/10.71 c #Conflicts: 7000 | #Constraints: 2845 10.66/10.71 c #Conflicts: 8000 | #Constraints: 3851 10.66/10.71 c #Conflicts: 9000 | #Constraints: 4852 10.66/10.71 c INPROCESSING 10.66/10.71 c GARBAGE COLLECT 10.66/10.71 c rational objective 15 13.55/13.68 c #Conflicts: 10000 | #Constraints: 3542 13.55/13.68 c #Conflicts: 11000 | #Constraints: 4549 13.55/13.68 c #Conflicts: 12000 | #Constraints: 5550 13.55/13.68 c INPROCESSING 13.55/13.68 c GARBAGE COLLECT 13.55/13.68 c rational objective 15 17.83/17.98 c #Conflicts: 13000 | #Constraints: 3999 17.83/17.98 c #Conflicts: 14000 | #Constraints: 5001 17.83/17.98 c #Conflicts: 15000 | #Constraints: 6001 17.83/17.98 c INPROCESSING 17.83/17.98 c GARBAGE COLLECT 17.83/17.98 c rational objective 15 23.02/23.13 c #Conflicts: 16000 | #Constraints: 4220 23.02/23.13 c #Conflicts: 17000 | #Constraints: 5220 23.02/23.13 c #Conflicts: 18000 | #Constraints: 6220 23.02/23.13 c INPROCESSING 23.02/23.13 c GARBAGE COLLECT 23.02/23.13 c rational objective 15 28.01/28.13 c #Conflicts: 19000 | #Constraints: 4240 28.01/28.13 c #Conflicts: 20000 | #Constraints: 5245 28.01/28.13 c #Conflicts: 21000 | #Constraints: 6245 28.01/28.13 c INPROCESSING 28.01/28.13 c GARBAGE COLLECT 28.01/28.13 c rational objective 15 32.79/32.98 c #Conflicts: 22000 | #Constraints: 4041 32.79/32.98 c #Conflicts: 23000 | #Constraints: 5044 32.79/32.98 c #Conflicts: 24000 | #Constraints: 6050 32.79/32.98 c #Conflicts: 25000 | #Constraints: 7051 32.79/32.98 c INPROCESSING 32.79/32.98 c GARBAGE COLLECT 32.79/32.98 c rational objective 15 37.98/38.18 c #Conflicts: 26000 | #Constraints: 4645 37.98/38.18 c #Conflicts: 27000 | #Constraints: 5646 37.98/38.18 c #Conflicts: 28000 | #Constraints: 6646 37.98/38.18 c #Conflicts: 29000 | #Constraints: 7647 37.98/38.18 c INPROCESSING 37.98/38.18 c GARBAGE COLLECT 37.98/38.18 c rational objective 15 43.06/43.22 c #Conflicts: 30000 | #Constraints: 5038 43.06/43.22 c #Conflicts: 31000 | #Constraints: 6040 43.06/43.22 c #Conflicts: 32000 | #Constraints: 7042 43.06/43.22 c #Conflicts: 33000 | #Constraints: 8042 43.06/43.22 c INPROCESSING 43.06/43.22 c GARBAGE COLLECT 43.06/43.22 c rational objective 15 49.04/49.21 c #Conflicts: 34000 | #Constraints: 5247 49.04/49.21 c #Conflicts: 35000 | #Constraints: 6250 49.04/49.21 c #Conflicts: 36000 | #Constraints: 7250 49.04/49.21 c #Conflicts: 37000 | #Constraints: 8255 49.04/49.21 c INPROCESSING 49.04/49.21 c GARBAGE COLLECT 49.04/49.21 c rational objective 15 55.02/55.25 c #Conflicts: 38000 | #Constraints: 5247 55.02/55.25 c #Conflicts: 39000 | #Constraints: 6248 55.02/55.25 c #Conflicts: 40000 | #Constraints: 7248 55.02/55.25 c #Conflicts: 41000 | #Constraints: 8249 55.02/55.25 c INPROCESSING 55.02/55.25 c GARBAGE COLLECT 55.02/55.25 c rational objective 15 62.70/62.97 c #Conflicts: 42000 | #Constraints: 5043 62.70/62.97 c #Conflicts: 43000 | #Constraints: 6043 62.70/62.97 c #Conflicts: 44000 | #Constraints: 7043 62.70/62.97 c #Conflicts: 45000 | #Constraints: 8044 62.70/62.97 c #Conflicts: 46000 | #Constraints: 9055 62.70/62.97 c INPROCESSING 62.70/62.97 c GARBAGE COLLECT 62.70/62.97 c rational objective 15 69.88/70.11 c #Conflicts: 47000 | #Constraints: 5651 69.88/70.11 c #Conflicts: 48000 | #Constraints: 6656 69.88/70.11 c #Conflicts: 49000 | #Constraints: 7656 69.88/70.11 c #Conflicts: 50000 | #Constraints: 8656 69.88/70.11 c #Conflicts: 51000 | #Constraints: 9656 69.88/70.11 c INPROCESSING 69.88/70.11 c GARBAGE COLLECT 69.88/70.11 c rational objective 15 76.45/76.73 c #Conflicts: 52000 | #Constraints: 6044 76.45/76.73 c #Conflicts: 53000 | #Constraints: 7053 76.45/76.73 c #Conflicts: 54000 | #Constraints: 8054 76.45/76.73 c #Conflicts: 55000 | #Constraints: 9056 76.45/76.73 c #Conflicts: 56000 | #Constraints: 10056 76.45/76.73 c INPROCESSING 76.45/76.73 c GARBAGE COLLECT 76.45/76.73 c rational objective 15 82.84/83.18 c #Conflicts: 57000 | #Constraints: 6259 82.84/83.18 c #Conflicts: 58000 | #Constraints: 7264 82.84/83.18 c #Conflicts: 59000 | #Constraints: 8264 82.84/83.18 c #Conflicts: 60000 | #Constraints: 9264 82.84/83.18 c #Conflicts: 61000 | #Constraints: 10264 82.84/83.18 c INPROCESSING 82.84/83.18 c GARBAGE COLLECT 82.84/83.18 c rational objective 15 92.42/92.74 c #Conflicts: 62000 | #Constraints: 6251 92.42/92.74 c #Conflicts: 63000 | #Constraints: 7251 92.42/92.74 c #Conflicts: 64000 | #Constraints: 8251 92.42/92.74 c #Conflicts: 65000 | #Constraints: 9253 92.42/92.74 c #Conflicts: 66000 | #Constraints: 10253 92.42/92.74 c INPROCESSING 92.42/92.74 c GARBAGE COLLECT 92.42/92.74 c rational objective 15 102.38/102.76 c #Conflicts: 67000 | #Constraints: 6052 102.38/102.76 c #Conflicts: 68000 | #Constraints: 7053 102.38/102.76 c #Conflicts: 69000 | #Constraints: 8055 102.38/102.76 c #Conflicts: 70000 | #Constraints: 9055 102.38/102.76 c #Conflicts: 71000 | #Constraints: 10057 102.38/102.76 c #Conflicts: 72000 | #Constraints: 11058 102.38/102.76 c INPROCESSING 102.38/102.76 c GARBAGE COLLECT 102.38/102.76 c rational objective 15 114.95/115.39 c #Conflicts: 73000 | #Constraints: 6645 114.95/115.39 c #Conflicts: 74000 | #Constraints: 7645 114.95/115.39 c #Conflicts: 75000 | #Constraints: 8645 114.95/115.39 c #Conflicts: 76000 | #Constraints: 9646 114.95/115.39 c #Conflicts: 77000 | #Constraints: 10646 114.95/115.39 c #Conflicts: 78000 | #Constraints: 11648 114.95/115.39 c INPROCESSING 114.95/115.39 c GARBAGE COLLECT 114.95/115.39 c rational objective 15 129.02/129.46 c #Conflicts: 79000 | #Constraints: 7037 129.02/129.46 c #Conflicts: 80000 | #Constraints: 8037 129.02/129.46 c #Conflicts: 81000 | #Constraints: 9037 129.02/129.46 c #Conflicts: 82000 | #Constraints: 10045 129.02/129.46 c #Conflicts: 83000 | #Constraints: 11045 129.02/129.46 c #Conflicts: 84000 | #Constraints: 12045 129.02/129.46 c INPROCESSING 129.02/129.46 c GARBAGE COLLECT 129.02/129.46 c rational objective 15 145.29/145.78 c #Conflicts: 85000 | #Constraints: 7236 145.29/145.78 c #Conflicts: 86000 | #Constraints: 8236 145.29/145.78 c #Conflicts: 87000 | #Constraints: 9236 145.29/145.78 c #Conflicts: 88000 | #Constraints: 10236 145.29/145.78 c #Conflicts: 89000 | #Constraints: 11236 145.29/145.78 c #Conflicts: 90000 | #Constraints: 12236 145.29/145.78 c INPROCESSING 145.29/145.78 c GARBAGE COLLECT 145.29/145.78 c rational objective 15 161.24/161.70 c #Conflicts: 91000 | #Constraints: 7232 161.24/161.70 c #Conflicts: 92000 | #Constraints: 8240 161.24/161.70 c #Conflicts: 93000 | #Constraints: 9241 161.24/161.70 c #Conflicts: 94000 | #Constraints: 10242 161.24/161.70 c #Conflicts: 95000 | #Constraints: 11248 161.24/161.70 c #Conflicts: 96000 | #Constraints: 12248 161.24/161.70 c INPROCESSING 161.24/161.70 c GARBAGE COLLECT 161.24/161.70 c rational objective 15 170.41/170.94 c #Conflicts: 97000 | #Constraints: 7041 170.41/170.94 c #Conflicts: 98000 | #Constraints: 8042 170.41/170.94 c #Conflicts: 99000 | #Constraints: 9057 170.41/170.94 c #Conflicts: 100000 | #Constraints: 10059 170.41/170.94 c #Conflicts: 101000 | #Constraints: 11059 170.41/170.94 c #Conflicts: 102000 | #Constraints: 12059 170.41/170.94 c #Conflicts: 103000 | #Constraints: 13059 170.41/170.94 c INPROCESSING 170.41/170.94 c GARBAGE COLLECT 170.41/170.94 c rational objective 15 178.70/179.28 c #Conflicts: 104000 | #Constraints: 7646 178.70/179.28 c #Conflicts: 105000 | #Constraints: 8647 178.70/179.28 c #Conflicts: 106000 | #Constraints: 9652 178.70/179.28 c #Conflicts: 107000 | #Constraints: 10652 178.70/179.28 c #Conflicts: 108000 | #Constraints: 11652 178.70/179.28 c #Conflicts: 109000 | #Constraints: 12652 178.70/179.28 c #Conflicts: 110000 | #Constraints: 13652 178.70/179.28 c INPROCESSING 178.70/179.28 c GARBAGE COLLECT 178.70/179.28 c rational objective 15 187.47/188.06 c #Conflicts: 111000 | #Constraints: 8059 187.47/188.06 c #Conflicts: 112000 | #Constraints: 9060 187.47/188.06 c #Conflicts: 113000 | #Constraints: 10065 187.47/188.06 c #Conflicts: 114000 | #Constraints: 11067 187.47/188.06 c #Conflicts: 115000 | #Constraints: 12067 187.47/188.06 c #Conflicts: 116000 | #Constraints: 13068 187.47/188.06 c #Conflicts: 117000 | #Constraints: 14068 187.47/188.06 c INPROCESSING 187.47/188.06 c GARBAGE COLLECT 187.47/188.06 c rational objective 15 195.85/196.41 c #Conflicts: 118000 | #Constraints: 8253 195.85/196.41 c #Conflicts: 119000 | #Constraints: 9265 195.85/196.41 c #Conflicts: 120000 | #Constraints: 10266 195.85/196.41 c #Conflicts: 121000 | #Constraints: 11269 195.85/196.41 c #Conflicts: 122000 | #Constraints: 12270 195.85/196.41 c #Conflicts: 123000 | #Constraints: 13270 195.85/196.41 c #Conflicts: 124000 | #Constraints: 14270 195.85/196.41 c INPROCESSING 195.85/196.41 c GARBAGE COLLECT 195.85/196.41 c rational objective 15 204.42/205.05 c #Conflicts: 125000 | #Constraints: 8258 204.42/205.05 c #Conflicts: 126000 | #Constraints: 9258 204.42/205.05 c #Conflicts: 127000 | #Constraints: 10258 204.42/205.05 c #Conflicts: 128000 | #Constraints: 11258 204.42/205.05 c #Conflicts: 129000 | #Constraints: 12258 204.42/205.05 c #Conflicts: 130000 | #Constraints: 13262 204.42/205.05 c #Conflicts: 131000 | #Constraints: 14262 204.42/205.05 c INPROCESSING 204.42/205.05 c GARBAGE COLLECT 204.42/205.05 c rational objective 15 214.39/215.10 c #Conflicts: 132000 | #Constraints: 8048 214.39/215.10 c #Conflicts: 133000 | #Constraints: 9069 214.39/215.10 c #Conflicts: 134000 | #Constraints: 10070 214.39/215.10 c #Conflicts: 135000 | #Constraints: 11076 214.39/215.10 c #Conflicts: 136000 | #Constraints: 12076 214.39/215.10 c #Conflicts: 137000 | #Constraints: 13076 214.39/215.10 c #Conflicts: 138000 | #Constraints: 14076 214.39/215.10 c #Conflicts: 139000 | #Constraints: 15076 214.39/215.10 c INPROCESSING 214.39/215.10 c GARBAGE COLLECT 214.39/215.10 c rational objective 15 222.26/222.95 c #Conflicts: 140000 | #Constraints: 8660 222.26/222.95 c #Conflicts: 141000 | #Constraints: 9660 222.26/222.95 c #Conflicts: 142000 | #Constraints: 10660 222.26/222.95 c #Conflicts: 143000 | #Constraints: 11660 222.26/222.95 c #Conflicts: 144000 | #Constraints: 12660 222.26/222.95 c #Conflicts: 145000 | #Constraints: 13660 222.26/222.95 c #Conflicts: 146000 | #Constraints: 14660 222.26/222.95 c #Conflicts: 147000 | #Constraints: 15660 222.26/222.95 c INPROCESSING 222.26/222.95 c GARBAGE COLLECT 222.26/222.95 c rational objective 15 230.04/230.79 c #Conflicts: 148000 | #Constraints: 9057 230.04/230.79 c #Conflicts: 149000 | #Constraints: 10058 230.04/230.79 c #Conflicts: 150000 | #Constraints: 11059 230.04/230.79 c #Conflicts: 151000 | #Constraints: 12063 230.04/230.79 c #Conflicts: 152000 | #Constraints: 13071 230.04/230.79 c #Conflicts: 153000 | #Constraints: 14081 230.04/230.79 c #Conflicts: 154000 | #Constraints: 15083 230.04/230.79 c #Conflicts: 155000 | #Constraints: 16083 230.04/230.79 c INPROCESSING 230.04/230.79 c GARBAGE COLLECT 230.04/230.79 c rational objective 15 242.20/242.96 c #Conflicts: 156000 | #Constraints: 9272 242.20/242.96 c #Conflicts: 157000 | #Constraints: 10278 242.20/242.96 c #Conflicts: 158000 | #Constraints: 11279 242.20/242.96 c #Conflicts: 159000 | #Constraints: 12280 242.20/242.96 c #Conflicts: 160000 | #Constraints: 13281 242.20/242.96 c #Conflicts: 161000 | #Constraints: 14281 242.20/242.96 c #Conflicts: 162000 | #Constraints: 15281 242.20/242.96 c #Conflicts: 163000 | #Constraints: 16281 242.20/242.96 c INPROCESSING 242.20/242.96 c GARBAGE COLLECT 242.20/242.96 c rational objective 15 252.18/252.94 c #Conflicts: 164000 | #Constraints: 9261 252.18/252.94 c #Conflicts: 165000 | #Constraints: 10261 252.18/252.94 c #Conflicts: 166000 | #Constraints: 11262 252.18/252.94 c #Conflicts: 167000 | #Constraints: 12269 252.18/252.94 c #Conflicts: 168000 | #Constraints: 13269 252.18/252.94 c #Conflicts: 169000 | #Constraints: 14269 252.18/252.94 c #Conflicts: 170000 | #Constraints: 15269 252.18/252.94 c #Conflicts: 171000 | #Constraints: 16269 252.18/252.94 c INPROCESSING 252.18/252.94 c GARBAGE COLLECT 252.18/252.94 c rational objective 15 262.15/262.99 c #Conflicts: 172000 | #Constraints: 9052 262.15/262.99 c #Conflicts: 173000 | #Constraints: 10053 262.15/262.99 c #Conflicts: 174000 | #Constraints: 11053 262.15/262.99 c #Conflicts: 175000 | #Constraints: 12054 262.15/262.99 c #Conflicts: 176000 | #Constraints: 13057 262.15/262.99 c #Conflicts: 177000 | #Constraints: 14067 262.15/262.99 c #Conflicts: 178000 | #Constraints: 15067 262.15/262.99 c #Conflicts: 179000 | #Constraints: 16067 262.15/262.99 c #Conflicts: 180000 | #Constraints: 17067 262.15/262.99 c INPROCESSING 262.15/262.99 c GARBAGE COLLECT 262.15/262.99 c rational objective 15 279.69/280.55 c #Conflicts: 181000 | #Constraints: 9651 279.69/280.55 c #Conflicts: 182000 | #Constraints: 10651 279.69/280.55 c #Conflicts: 183000 | #Constraints: 11652 279.69/280.55 c #Conflicts: 184000 | #Constraints: 12652 279.69/280.55 c #Conflicts: 185000 | #Constraints: 13653 279.69/280.55 c #Conflicts: 186000 | #Constraints: 14653 279.69/280.55 c #Conflicts: 187000 | #Constraints: 15653 279.69/280.55 c #Conflicts: 188000 | #Constraints: 16653 279.69/280.55 c #Conflicts: 189000 | #Constraints: 17653 279.69/280.55 c INPROCESSING 279.69/280.55 c GARBAGE COLLECT 279.69/280.55 c rational objective 15 290.77/291.67 c #Conflicts: 190000 | #Constraints: 10046 290.77/291.67 c #Conflicts: 191000 | #Constraints: 11046 290.77/291.67 c #Conflicts: 192000 | #Constraints: 12047 290.77/291.67 c #Conflicts: 193000 | #Constraints: 13047 290.77/291.67 c #Conflicts: 194000 | #Constraints: 14047 290.77/291.67 c #Conflicts: 195000 | #Constraints: 15047 290.77/291.67 c #Conflicts: 196000 | #Constraints: 16047 290.77/291.67 c #Conflicts: 197000 | #Constraints: 17050 290.77/291.67 c #Conflicts: 198000 | #Constraints: 18050 290.77/291.67 c INPROCESSING 290.77/291.67 c GARBAGE COLLECT 290.77/291.67 c rational objective 15 303.53/304.46 c #Conflicts: 199000 | #Constraints: 10245 303.53/304.46 c #Conflicts: 200000 | #Constraints: 11247 303.53/304.46 c #Conflicts: 201000 | #Constraints: 12247 303.53/304.46 c #Conflicts: 202000 | #Constraints: 13247 303.53/304.46 c #Conflicts: 203000 | #Constraints: 14247 303.53/304.46 c #Conflicts: 204000 | #Constraints: 15247 303.53/304.46 c #Conflicts: 205000 | #Constraints: 16247 303.53/304.46 c #Conflicts: 206000 | #Constraints: 17247 303.53/304.46 c #Conflicts: 207000 | #Constraints: 18247 303.53/304.46 c INPROCESSING 303.53/304.46 c GARBAGE COLLECT 303.53/304.46 c rational objective 15 323.57/324.52 c #Conflicts: 208000 | #Constraints: 10239 323.57/324.52 c #Conflicts: 209000 | #Constraints: 11251 323.57/324.52 c #Conflicts: 210000 | #Constraints: 12251 323.57/324.52 c #Conflicts: 211000 | #Constraints: 13251 323.57/324.52 c #Conflicts: 212000 | #Constraints: 14252 323.57/324.52 c #Conflicts: 213000 | #Constraints: 15253 323.57/324.52 c #Conflicts: 214000 | #Constraints: 16253 323.57/324.52 c #Conflicts: 215000 | #Constraints: 17253 323.57/324.52 c #Conflicts: 216000 | #Constraints: 18253 323.57/324.52 c INPROCESSING 323.57/324.52 c GARBAGE COLLECT 323.57/324.52 c rational objective 15 338.63/339.67 c #Conflicts: 217000 | #Constraints: 10053 338.63/339.67 c #Conflicts: 218000 | #Constraints: 11053 338.63/339.67 c #Conflicts: 219000 | #Constraints: 12054 338.63/339.67 c #Conflicts: 220000 | #Constraints: 13054 338.63/339.67 c #Conflicts: 221000 | #Constraints: 14054 338.63/339.67 c #Conflicts: 222000 | #Constraints: 15054 338.63/339.67 c #Conflicts: 223000 | #Constraints: 16054 338.63/339.67 c #Conflicts: 224000 | #Constraints: 17054 338.63/339.67 c #Conflicts: 225000 | #Constraints: 18054 338.63/339.67 c #Conflicts: 226000 | #Constraints: 19054 338.63/339.67 c INPROCESSING 338.63/339.67 c GARBAGE COLLECT 338.63/339.67 c rational objective 15 352.78/353.88 c #Conflicts: 227000 | #Constraints: 10647 352.78/353.88 c #Conflicts: 228000 | #Constraints: 11647 352.78/353.88 c #Conflicts: 229000 | #Constraints: 12647 352.78/353.88 c #Conflicts: 230000 | #Constraints: 13647 352.78/353.88 c #Conflicts: 231000 | #Constraints: 14647 352.78/353.88 c #Conflicts: 232000 | #Constraints: 15647 352.78/353.88 c #Conflicts: 233000 | #Constraints: 16647 352.78/353.88 c #Conflicts: 234000 | #Constraints: 17649 352.78/353.88 c #Conflicts: 235000 | #Constraints: 18649 352.78/353.88 c #Conflicts: 236000 | #Constraints: 19649 352.78/353.88 c INPROCESSING 352.78/353.88 c GARBAGE COLLECT 352.78/353.88 c rational objective 15 368.54/369.68 c #Conflicts: 237000 | #Constraints: 11040 368.54/369.68 c #Conflicts: 238000 | #Constraints: 12040 368.54/369.68 c #Conflicts: 239000 | #Constraints: 13049 368.54/369.68 c #Conflicts: 240000 | #Constraints: 14050 368.54/369.68 c #Conflicts: 241000 | #Constraints: 15050 368.54/369.68 c #Conflicts: 242000 | #Constraints: 16051 368.54/369.68 c #Conflicts: 243000 | #Constraints: 17051 368.54/369.68 c #Conflicts: 244000 | #Constraints: 18051 368.54/369.68 c #Conflicts: 245000 | #Constraints: 19051 368.54/369.68 c #Conflicts: 246000 | #Constraints: 20051 368.54/369.68 c INPROCESSING 368.54/369.68 c GARBAGE COLLECT 368.54/369.68 c rational objective 15 382.20/383.36 c #Conflicts: 247000 | #Constraints: 11245 382.20/383.36 c #Conflicts: 248000 | #Constraints: 12245 382.20/383.36 c #Conflicts: 249000 | #Constraints: 13245 382.20/383.36 c #Conflicts: 250000 | #Constraints: 14245 382.20/383.36 c #Conflicts: 251000 | #Constraints: 15251 382.20/383.36 c #Conflicts: 252000 | #Constraints: 16253 382.20/383.36 c #Conflicts: 253000 | #Constraints: 17255 382.20/383.36 c #Conflicts: 254000 | #Constraints: 18257 382.20/383.36 c #Conflicts: 255000 | #Constraints: 19257 382.20/383.36 c #Conflicts: 256000 | #Constraints: 20257 382.20/383.36 c INPROCESSING 382.20/383.36 c GARBAGE COLLECT 382.20/383.36 c rational objective 15 405.33/406.56 c #Conflicts: 257000 | #Constraints: 11245 405.33/406.56 c #Conflicts: 258000 | #Constraints: 12246 405.33/406.56 c #Conflicts: 259000 | #Constraints: 13246 405.33/406.56 c #Conflicts: 260000 | #Constraints: 14246 405.33/406.56 c #Conflicts: 261000 | #Constraints: 15246 405.33/406.56 c #Conflicts: 262000 | #Constraints: 16246 405.33/406.56 c #Conflicts: 263000 | #Constraints: 17246 405.33/406.56 c #Conflicts: 264000 | #Constraints: 18253 405.33/406.56 c #Conflicts: 265000 | #Constraints: 19255 405.33/406.56 c #Conflicts: 266000 | #Constraints: 20255 405.33/406.56 c INPROCESSING 405.33/406.56 c GARBAGE COLLECT 405.33/406.56 c rational objective 15 427.57/428.81 c #Conflicts: 267000 | #Constraints: 11048 427.57/428.81 c #Conflicts: 268000 | #Constraints: 12048 427.57/428.81 c #Conflicts: 269000 | #Constraints: 13052 427.57/428.81 c #Conflicts: 270000 | #Constraints: 14053 427.57/428.81 c #Conflicts: 271000 | #Constraints: 15053 427.57/428.81 c #Conflicts: 272000 | #Constraints: 16054 427.57/428.81 c #Conflicts: 273000 | #Constraints: 17057 427.57/428.81 c #Conflicts: 274000 | #Constraints: 18058 427.57/428.81 c #Conflicts: 275000 | #Constraints: 19058 427.57/428.81 c #Conflicts: 276000 | #Constraints: 20069 427.57/428.81 c #Conflicts: 277000 | #Constraints: 21071 427.57/428.81 c INPROCESSING 427.57/428.81 c GARBAGE COLLECT 427.57/428.81 c rational objective 15 446.52/447.87 c #Conflicts: 278000 | #Constraints: 11662 446.52/447.87 c #Conflicts: 279000 | #Constraints: 12662 446.52/447.87 c #Conflicts: 280000 | #Constraints: 13662 446.52/447.87 c #Conflicts: 281000 | #Constraints: 14662 446.52/447.87 c #Conflicts: 282000 | #Constraints: 15662 446.52/447.87 c #Conflicts: 283000 | #Constraints: 16662 446.52/447.87 c #Conflicts: 284000 | #Constraints: 17663 446.52/447.87 c #Conflicts: 285000 | #Constraints: 18665 446.52/447.87 c #Conflicts: 286000 | #Constraints: 19666 446.52/447.87 c #Conflicts: 287000 | #Constraints: 20667 446.52/447.87 c #Conflicts: 288000 | #Constraints: 21667 446.52/447.87 c INPROCESSING 446.52/447.87 c GARBAGE COLLECT 446.52/447.87 c rational objective 15 470.95/472.32 c #Conflicts: 289000 | #Constraints: 12049 470.95/472.32 c #Conflicts: 290000 | #Constraints: 13049 470.95/472.32 c #Conflicts: 291000 | #Constraints: 14050 470.95/472.32 c #Conflicts: 292000 | #Constraints: 15051 470.95/472.32 c #Conflicts: 293000 | #Constraints: 16051 470.95/472.32 c #Conflicts: 294000 | #Constraints: 17051 470.95/472.32 c #Conflicts: 295000 | #Constraints: 18051 470.95/472.32 c #Conflicts: 296000 | #Constraints: 19051 470.95/472.32 c #Conflicts: 297000 | #Constraints: 20051 470.95/472.32 c #Conflicts: 298000 | #Constraints: 21051 470.95/472.32 c #Conflicts: 299000 | #Constraints: 22051 470.95/472.32 c INPROCESSING 470.95/472.32 c GARBAGE COLLECT 470.95/472.32 c rational objective 15 488.10/489.54 c #Conflicts: 300000 | #Constraints: 12244 488.10/489.54 c #Conflicts: 301000 | #Constraints: 13246 488.10/489.54 c #Conflicts: 302000 | #Constraints: 14246 488.10/489.54 c #Conflicts: 303000 | #Constraints: 15246 488.10/489.54 c #Conflicts: 304000 | #Constraints: 16247 488.10/489.54 c #Conflicts: 305000 | #Constraints: 17250 488.10/489.54 c #Conflicts: 306000 | #Constraints: 18250 488.10/489.54 c #Conflicts: 307000 | #Constraints: 19250 488.10/489.54 c #Conflicts: 308000 | #Constraints: 20251 488.10/489.54 c #Conflicts: 309000 | #Constraints: 21252 488.10/489.54 c #Conflicts: 310000 | #Constraints: 22252 488.10/489.54 c INPROCESSING 488.10/489.54 c GARBAGE COLLECT 488.10/489.54 c rational objective 15 516.52/518.01 c #Conflicts: 311000 | #Constraints: 12248 516.52/518.01 c #Conflicts: 312000 | #Constraints: 13248 516.52/518.01 c #Conflicts: 313000 | #Constraints: 14248 516.52/518.01 c #Conflicts: 314000 | #Constraints: 15255 516.52/518.01 c #Conflicts: 315000 | #Constraints: 16258 516.52/518.01 c #Conflicts: 316000 | #Constraints: 17266 516.52/518.01 c #Conflicts: 317000 | #Constraints: 18269 516.52/518.01 c #Conflicts: 318000 | #Constraints: 19269 516.52/518.01 c #Conflicts: 319000 | #Constraints: 20269 516.52/518.01 c #Conflicts: 320000 | #Constraints: 21273 516.52/518.01 c #Conflicts: 321000 | #Constraints: 22275 516.52/518.01 c INPROCESSING 516.52/518.01 c GARBAGE COLLECT 516.52/518.01 c rational objective 15 543.83/545.48 c #Conflicts: 322000 | #Constraints: 12071 543.83/545.48 c #Conflicts: 323000 | #Constraints: 13071 543.83/545.48 c #Conflicts: 324000 | #Constraints: 14072 543.83/545.48 c #Conflicts: 325000 | #Constraints: 15072 543.83/545.48 c #Conflicts: 326000 | #Constraints: 16072 543.83/545.48 c #Conflicts: 327000 | #Constraints: 17072 543.83/545.48 c #Conflicts: 328000 | #Constraints: 18072 543.83/545.48 c #Conflicts: 329000 | #Constraints: 19072 543.83/545.48 c #Conflicts: 330000 | #Constraints: 20072 543.83/545.48 c #Conflicts: 331000 | #Constraints: 21072 543.83/545.48 c #Conflicts: 332000 | #Constraints: 22072 543.83/545.48 c #Conflicts: 333000 | #Constraints: 23072 543.83/545.48 c INPROCESSING 543.83/545.48 c GARBAGE COLLECT 543.83/545.48 c rational objective 15 582.32/584.05 c #Conflicts: 334000 | #Constraints: 12673 582.32/584.05 c #Conflicts: 335000 | #Constraints: 13674 582.32/584.05 c #Conflicts: 336000 | #Constraints: 14676 582.32/584.05 c #Conflicts: 337000 | #Constraints: 15676 582.32/584.05 c #Conflicts: 338000 | #Constraints: 16677 582.32/584.05 c #Conflicts: 339000 | #Constraints: 17677 582.32/584.05 c #Conflicts: 340000 | #Constraints: 18677 582.32/584.05 c #Conflicts: 341000 | #Constraints: 19677 582.32/584.05 c #Conflicts: 342000 | #Constraints: 20677 582.32/584.05 c #Conflicts: 343000 | #Constraints: 21677 582.32/584.05 c #Conflicts: 344000 | #Constraints: 22677 582.32/584.05 c #Conflicts: 345000 | #Constraints: 23677 582.32/584.05 c INPROCESSING 582.32/584.05 c GARBAGE COLLECT 582.32/584.05 c rational objective 15 616.71/618.53 c #Conflicts: 346000 | #Constraints: 13051 616.71/618.53 c #Conflicts: 347000 | #Constraints: 14051 616.71/618.53 c #Conflicts: 348000 | #Constraints: 15051 616.71/618.53 c #Conflicts: 349000 | #Constraints: 16052 616.71/618.53 c #Conflicts: 350000 | #Constraints: 17054 616.71/618.53 c #Conflicts: 351000 | #Constraints: 18057 616.71/618.53 c #Conflicts: 352000 | #Constraints: 19057 616.71/618.53 c #Conflicts: 353000 | #Constraints: 20058 616.71/618.53 c #Conflicts: 354000 | #Constraints: 21058 616.71/618.53 c #Conflicts: 355000 | #Constraints: 22058 616.71/618.53 c #Conflicts: 356000 | #Constraints: 23059 616.71/618.53 c #Conflicts: 357000 | #Constraints: 24059 616.71/618.53 c INPROCESSING 616.71/618.53 c GARBAGE COLLECT 616.71/618.53 c rational objective 15 639.34/641.20 c #Conflicts: 358000 | #Constraints: 13242 639.34/641.20 c #Conflicts: 359000 | #Constraints: 14242 639.34/641.20 c #Conflicts: 360000 | #Constraints: 15242 639.34/641.20 c #Conflicts: 361000 | #Constraints: 16246 639.34/641.20 c #Conflicts: 362000 | #Constraints: 17254 639.34/641.20 c #Conflicts: 363000 | #Constraints: 18256 639.34/641.20 c #Conflicts: 364000 | #Constraints: 19256 639.34/641.20 c #Conflicts: 365000 | #Constraints: 20257 639.34/641.20 c #Conflicts: 366000 | #Constraints: 21258 639.34/641.20 c #Conflicts: 367000 | #Constraints: 22260 639.34/641.20 c #Conflicts: 368000 | #Constraints: 23260 639.34/641.20 c #Conflicts: 369000 | #Constraints: 24260 639.34/641.20 c INPROCESSING 639.34/641.20 c GARBAGE COLLECT 639.34/641.20 c rational objective 15 670.64/672.65 c #Conflicts: 370000 | #Constraints: 13251 670.64/672.65 c #Conflicts: 371000 | #Constraints: 14251 670.64/672.65 c #Conflicts: 372000 | #Constraints: 15252 670.64/672.65 c #Conflicts: 373000 | #Constraints: 16252 670.64/672.65 c #Conflicts: 374000 | #Constraints: 17252 670.64/672.65 c #Conflicts: 375000 | #Constraints: 18252 670.64/672.65 c #Conflicts: 376000 | #Constraints: 19252 670.64/672.65 c #Conflicts: 377000 | #Constraints: 20252 670.64/672.65 c #Conflicts: 378000 | #Constraints: 21253 670.64/672.65 c #Conflicts: 379000 | #Constraints: 22253 670.64/672.65 c #Conflicts: 380000 | #Constraints: 23253 670.64/672.65 c #Conflicts: 381000 | #Constraints: 24253 670.64/672.65 c INPROCESSING 670.64/672.65 c GARBAGE COLLECT 670.64/672.65 c rational objective 15 692.77/694.83 c #Conflicts: 382000 | #Constraints: 13045 692.77/694.83 c #Conflicts: 383000 | #Constraints: 14047 692.77/694.83 c #Conflicts: 384000 | #Constraints: 15047 692.77/694.83 c #Conflicts: 385000 | #Constraints: 16047 692.77/694.83 c #Conflicts: 386000 | #Constraints: 17048 692.77/694.83 c #Conflicts: 387000 | #Constraints: 18048 692.77/694.83 c #Conflicts: 388000 | #Constraints: 19048 692.77/694.83 c #Conflicts: 389000 | #Constraints: 20049 692.77/694.83 c #Conflicts: 390000 | #Constraints: 21050 692.77/694.83 c #Conflicts: 391000 | #Constraints: 22050 692.77/694.83 c #Conflicts: 392000 | #Constraints: 23050 692.77/694.83 c #Conflicts: 393000 | #Constraints: 24050 692.77/694.83 c #Conflicts: 394000 | #Constraints: 25061 692.77/694.83 c INPROCESSING 692.77/694.83 c GARBAGE COLLECT 692.77/694.83 c rational objective 15 712.61/714.78 c #Conflicts: 395000 | #Constraints: 13649 712.61/714.78 c #Conflicts: 396000 | #Constraints: 14649 712.61/714.78 c #Conflicts: 397000 | #Constraints: 15664 712.61/714.78 c #Conflicts: 398000 | #Constraints: 16681 712.61/714.78 c #Conflicts: 399000 | #Constraints: 17684 712.61/714.78 c #Conflicts: 400000 | #Constraints: 18687 712.61/714.78 c #Conflicts: 401000 | #Constraints: 19692 712.61/714.78 c #Conflicts: 402000 | #Constraints: 20694 712.61/714.78 c #Conflicts: 403000 | #Constraints: 21695 712.61/714.78 c #Conflicts: 404000 | #Constraints: 22696 712.61/714.78 c #Conflicts: 405000 | #Constraints: 23696 712.61/714.78 c #Conflicts: 406000 | #Constraints: 24696 712.61/714.78 c #Conflicts: 407000 | #Constraints: 25697 712.61/714.78 c INPROCESSING 712.61/714.78 c GARBAGE COLLECT 712.61/714.78 c rational objective 15 744.12/746.32 c #Conflicts: 408000 | #Constraints: 14066 744.12/746.32 c #Conflicts: 409000 | #Constraints: 15069 744.12/746.32 c #Conflicts: 410000 | #Constraints: 16069 744.12/746.32 c #Conflicts: 411000 | #Constraints: 17070 744.12/746.32 c #Conflicts: 412000 | #Constraints: 18070 744.12/746.32 c #Conflicts: 413000 | #Constraints: 19073 744.12/746.32 c #Conflicts: 414000 | #Constraints: 20073 744.12/746.32 c #Conflicts: 415000 | #Constraints: 21083 744.12/746.32 c #Conflicts: 416000 | #Constraints: 22087 744.12/746.32 c #Conflicts: 417000 | #Constraints: 23087 744.12/746.32 c #Conflicts: 418000 | #Constraints: 24088 744.12/746.32 c #Conflicts: 419000 | #Constraints: 25088 744.12/746.32 c #Conflicts: 420000 | #Constraints: 26088 744.12/746.32 c INPROCESSING 744.12/746.32 c GARBAGE COLLECT 744.12/746.32 c rational objective 15 767.35/769.69 c #Conflicts: 421000 | #Constraints: 14270 767.35/769.69 c #Conflicts: 422000 | #Constraints: 15270 767.35/769.69 c #Conflicts: 423000 | #Constraints: 16271 767.35/769.69 c #Conflicts: 424000 | #Constraints: 17272 767.35/769.69 c #Conflicts: 425000 | #Constraints: 18272 767.35/769.69 c #Conflicts: 426000 | #Constraints: 19272 767.35/769.69 c #Conflicts: 427000 | #Constraints: 20272 767.35/769.69 c #Conflicts: 428000 | #Constraints: 21272 767.35/769.69 c #Conflicts: 429000 | #Constraints: 22272 767.35/769.69 c #Conflicts: 430000 | #Constraints: 23272 767.35/769.69 c #Conflicts: 431000 | #Constraints: 24272 767.35/769.69 c #Conflicts: 432000 | #Constraints: 25273 767.35/769.69 c #Conflicts: 433000 | #Constraints: 26273 767.35/769.69 c INPROCESSING 767.35/769.69 c GARBAGE COLLECT 767.35/769.69 c rational objective 15 793.67/796.04 c #Conflicts: 434000 | #Constraints: 14258 793.67/796.04 c #Conflicts: 435000 | #Constraints: 15258 793.67/796.04 c #Conflicts: 436000 | #Constraints: 16259 793.67/796.04 c #Conflicts: 437000 | #Constraints: 17260 793.67/796.04 c #Conflicts: 438000 | #Constraints: 18260 793.67/796.04 c #Conflicts: 439000 | #Constraints: 19260 793.67/796.04 c #Conflicts: 440000 | #Constraints: 20260 793.67/796.04 c #Conflicts: 441000 | #Constraints: 21260 793.67/796.04 c #Conflicts: 442000 | #Constraints: 22260 793.67/796.04 c #Conflicts: 443000 | #Constraints: 23260 793.67/796.04 c #Conflicts: 444000 | #Constraints: 24260 793.67/796.04 c #Conflicts: 445000 | #Constraints: 25260 793.67/796.04 c #Conflicts: 446000 | #Constraints: 26260 793.67/796.04 c INPROCESSING 793.67/796.04 c GARBAGE COLLECT 793.67/796.04 c rational objective 15 893.08/895.79 c #Conflicts: 447000 | #Constraints: 14047 893.08/895.79 c #Conflicts: 448000 | #Constraints: 15050 893.08/895.79 c #Conflicts: 449000 | #Constraints: 16058 893.08/895.79 c #Conflicts: 450000 | #Constraints: 17061 893.08/895.79 c #Conflicts: 451000 | #Constraints: 18062 893.08/895.79 c #Conflicts: 452000 | #Constraints: 19062 893.08/895.79 c #Conflicts: 453000 | #Constraints: 20068 893.08/895.79 c #Conflicts: 454000 | #Constraints: 21068 893.08/895.79 c #Conflicts: 455000 | #Constraints: 22069 893.08/895.79 c #Conflicts: 456000 | #Constraints: 23072 893.08/895.79 c #Conflicts: 457000 | #Constraints: 24077 893.08/895.79 c #Conflicts: 458000 | #Constraints: 25077 893.08/895.79 c #Conflicts: 459000 | #Constraints: 26078 893.08/895.79 c #Conflicts: 460000 | #Constraints: 27079 893.08/895.79 c INPROCESSING 893.08/895.79 c GARBAGE COLLECT 893.08/895.79 c rational objective 15 913.62/916.39 c #Conflicts: 461000 | #Constraints: 14676 913.62/916.39 c #Conflicts: 462000 | #Constraints: 15677 913.62/916.39 c #Conflicts: 463000 | #Constraints: 16677 913.62/916.39 c #Conflicts: 464000 | #Constraints: 17677 913.62/916.39 c #Conflicts: 465000 | #Constraints: 18678 913.62/916.39 c #Conflicts: 466000 | #Constraints: 19678 913.62/916.39 c #Conflicts: 467000 | #Constraints: 20678 913.62/916.39 c #Conflicts: 468000 | #Constraints: 21678 913.62/916.39 c #Conflicts: 469000 | #Constraints: 22678 913.62/916.39 c #Conflicts: 470000 | #Constraints: 23678 913.62/916.39 c #Conflicts: 471000 | #Constraints: 24678 913.62/916.39 c #Conflicts: 472000 | #Constraints: 25678 913.62/916.39 c #Conflicts: 473000 | #Constraints: 26678 913.62/916.39 c #Conflicts: 474000 | #Constraints: 27678 913.62/916.39 c INPROCESSING 913.62/916.39 c GARBAGE COLLECT 913.62/916.39 c rational objective 15 929.48/932.21 c #Conflicts: 475000 | #Constraints: 15062 929.48/932.21 c #Conflicts: 476000 | #Constraints: 16062 929.48/932.21 c #Conflicts: 477000 | #Constraints: 17062 929.48/932.21 c #Conflicts: 478000 | #Constraints: 18062 929.48/932.21 c #Conflicts: 479000 | #Constraints: 19064 929.48/932.21 c #Conflicts: 480000 | #Constraints: 20064 929.48/932.21 c #Conflicts: 481000 | #Constraints: 21064 929.48/932.21 c #Conflicts: 482000 | #Constraints: 22064 929.48/932.21 c #Conflicts: 483000 | #Constraints: 23064 929.48/932.21 c #Conflicts: 484000 | #Constraints: 24064 929.48/932.21 c #Conflicts: 485000 | #Constraints: 25064 929.48/932.21 c #Conflicts: 486000 | #Constraints: 26064 929.48/932.21 c #Conflicts: 487000 | #Constraints: 27064 929.48/932.21 c #Conflicts: 488000 | #Constraints: 28064 929.48/932.21 c INPROCESSING 929.48/932.21 c GARBAGE COLLECT 929.48/932.21 c rational objective 15 945.12/947.92 c #Conflicts: 489000 | #Constraints: 15248 945.12/947.92 c #Conflicts: 490000 | #Constraints: 16248 945.12/947.92 c #Conflicts: 491000 | #Constraints: 17248 945.12/947.92 c #Conflicts: 492000 | #Constraints: 18248 945.12/947.92 c #Conflicts: 493000 | #Constraints: 19248 945.12/947.92 c #Conflicts: 494000 | #Constraints: 20248 945.12/947.92 c #Conflicts: 495000 | #Constraints: 21248 945.12/947.92 c #Conflicts: 496000 | #Constraints: 22248 945.12/947.92 c #Conflicts: 497000 | #Constraints: 23248 945.12/947.92 c #Conflicts: 498000 | #Constraints: 24249 945.12/947.92 c #Conflicts: 499000 | #Constraints: 25250 945.12/947.92 c #Conflicts: 500000 | #Constraints: 26250 945.12/947.92 c #Conflicts: 501000 | #Constraints: 27250 945.12/947.92 c #Conflicts: 502000 | #Constraints: 28250 945.12/947.92 c INPROCESSING 945.12/947.92 c GARBAGE COLLECT 945.12/947.92 c rational objective 15 985.41/988.39 c #Conflicts: 503000 | #Constraints: 15249 985.41/988.39 c #Conflicts: 504000 | #Constraints: 16249 985.41/988.39 c #Conflicts: 505000 | #Constraints: 17249 985.41/988.39 c #Conflicts: 506000 | #Constraints: 18249 985.41/988.39 c #Conflicts: 507000 | #Constraints: 19249 985.41/988.39 c #Conflicts: 508000 | #Constraints: 20249 985.41/988.39 c #Conflicts: 509000 | #Constraints: 21249 985.41/988.39 c #Conflicts: 510000 | #Constraints: 22249 985.41/988.39 c #Conflicts: 511000 | #Constraints: 23249 985.41/988.39 c #Conflicts: 512000 | #Constraints: 24249 985.41/988.39 c #Conflicts: 513000 | #Constraints: 25250 985.41/988.39 c #Conflicts: 514000 | #Constraints: 26251 985.41/988.39 c #Conflicts: 515000 | #Constraints: 27252 985.41/988.39 c #Conflicts: 516000 | #Constraints: 28252 985.41/988.39 c INPROCESSING 985.41/988.39 c GARBAGE COLLECT 985.41/988.39 c rational objective 15 1014.02/1017.06 c #Conflicts: 517000 | #Constraints: 15041 1014.02/1017.06 c #Conflicts: 518000 | #Constraints: 16042 1014.02/1017.06 c #Conflicts: 519000 | #Constraints: 17042 1014.02/1017.06 c #Conflicts: 520000 | #Constraints: 18042 1014.02/1017.06 c #Conflicts: 521000 | #Constraints: 19042 1014.02/1017.06 c #Conflicts: 522000 | #Constraints: 20042 1014.02/1017.06 c #Conflicts: 523000 | #Constraints: 21042 1014.02/1017.06 c #Conflicts: 524000 | #Constraints: 22044 1014.02/1017.06 c #Conflicts: 525000 | #Constraints: 23044 1014.02/1017.06 c #Conflicts: 526000 | #Constraints: 24044 1014.02/1017.06 c #Conflicts: 527000 | #Constraints: 25044 1014.02/1017.06 c #Conflicts: 528000 | #Constraints: 26044 1014.02/1017.06 c #Conflicts: 529000 | #Constraints: 27044 1014.02/1017.06 c #Conflicts: 530000 | #Constraints: 28044 1014.02/1017.06 c #Conflicts: 531000 | #Constraints: 29044 1014.02/1017.06 c INPROCESSING 1014.02/1017.06 c GARBAGE COLLECT 1014.02/1017.06 c rational objective 15 1056.89/1060.03 c #Conflicts: 532000 | #Constraints: 15639 1056.89/1060.03 c #Conflicts: 533000 | #Constraints: 16639 1056.89/1060.03 c #Conflicts: 534000 | #Constraints: 17639 1056.89/1060.03 c #Conflicts: 535000 | #Constraints: 18639 1056.89/1060.03 c #Conflicts: 536000 | #Constraints: 19639 1056.89/1060.03 c #Conflicts: 537000 | #Constraints: 20639 1056.89/1060.03 c #Conflicts: 538000 | #Constraints: 21639 1056.89/1060.03 c #Conflicts: 539000 | #Constraints: 22639 1056.89/1060.03 c #Conflicts: 540000 | #Constraints: 23644 1056.89/1060.03 c #Conflicts: 541000 | #Constraints: 24645 1056.89/1060.03 c #Conflicts: 542000 | #Constraints: 25645 1056.89/1060.03 c #Conflicts: 543000 | #Constraints: 26645 1056.89/1060.03 c #Conflicts: 544000 | #Constraints: 27645 1056.89/1060.03 c #Conflicts: 545000 | #Constraints: 28645 1056.89/1060.03 c #Conflicts: 546000 | #Constraints: 29645 1056.89/1060.03 c INPROCESSING 1056.89/1060.03 c GARBAGE COLLECT 1056.89/1060.03 c rational objective 15 1080.11/1083.33 c #Conflicts: 547000 | #Constraints: 16041 1080.11/1083.33 c #Conflicts: 548000 | #Constraints: 17043 1080.11/1083.33 c #Conflicts: 549000 | #Constraints: 18043 1080.11/1083.33 c #Conflicts: 550000 | #Constraints: 19043 1080.11/1083.33 c #Conflicts: 551000 | #Constraints: 20043 1080.11/1083.33 c #Conflicts: 552000 | #Constraints: 21043 1080.11/1083.33 c #Conflicts: 553000 | #Constraints: 22043 1080.11/1083.33 c #Conflicts: 554000 | #Constraints: 23043 1080.11/1083.33 c #Conflicts: 555000 | #Constraints: 24043 1080.11/1083.33 c #Conflicts: 556000 | #Constraints: 25043 1080.11/1083.33 c #Conflicts: 557000 | #Constraints: 26043 1080.11/1083.33 c #Conflicts: 558000 | #Constraints: 27044 1080.11/1083.33 c #Conflicts: 559000 | #Constraints: 28044 1080.11/1083.33 c #Conflicts: 560000 | #Constraints: 29044 1080.11/1083.33 c #Conflicts: 561000 | #Constraints: 30044 1080.11/1083.33 c INPROCESSING 1080.11/1083.33 c GARBAGE COLLECT 1080.11/1083.33 c rational objective 15 1111.12/1114.42 c #Conflicts: 562000 | #Constraints: 16238 1111.12/1114.42 c #Conflicts: 563000 | #Constraints: 17238 1111.12/1114.42 c #Conflicts: 564000 | #Constraints: 18238 1111.12/1114.42 c #Conflicts: 565000 | #Constraints: 19238 1111.12/1114.42 c #Conflicts: 566000 | #Constraints: 20239 1111.12/1114.42 c #Conflicts: 567000 | #Constraints: 21239 1111.12/1114.42 c #Conflicts: 568000 | #Constraints: 22239 1111.12/1114.42 c #Conflicts: 569000 | #Constraints: 23239 1111.12/1114.42 c #Conflicts: 570000 | #Constraints: 24239 1111.12/1114.42 c #Conflicts: 571000 | #Constraints: 25239 1111.12/1114.42 c #Conflicts: 572000 | #Constraints: 26243 1111.12/1114.42 c #Conflicts: 573000 | #Constraints: 27244 1111.12/1114.42 c #Conflicts: 574000 | #Constraints: 28244 1111.12/1114.42 c #Conflicts: 575000 | #Constraints: 29244 1111.12/1114.42 c #Conflicts: 576000 | #Constraints: 30244 1111.12/1114.42 c INPROCESSING 1111.12/1114.42 c GARBAGE COLLECT 1111.12/1114.42 c rational objective 15 1127.97/1131.37 c #Conflicts: 577000 | #Constraints: 16237 1127.97/1131.37 c #Conflicts: 578000 | #Constraints: 17239 1127.97/1131.37 c #Conflicts: 579000 | #Constraints: 18243 1127.97/1131.37 c #Conflicts: 580000 | #Constraints: 19248 1127.97/1131.37 c #Conflicts: 581000 | #Constraints: 20248 1127.97/1131.37 c #Conflicts: 582000 | #Constraints: 21248 1127.97/1131.37 c #Conflicts: 583000 | #Constraints: 22248 1127.97/1131.37 c #Conflicts: 584000 | #Constraints: 23248 1127.97/1131.37 c #Conflicts: 585000 | #Constraints: 24250 1127.97/1131.37 c #Conflicts: 586000 | #Constraints: 25250 1127.97/1131.37 c #Conflicts: 587000 | #Constraints: 26251 1127.97/1131.37 c #Conflicts: 588000 | #Constraints: 27258 1127.97/1131.37 c #Conflicts: 589000 | #Constraints: 28260 1127.97/1131.37 c #Conflicts: 590000 | #Constraints: 29260 1127.97/1131.37 c #Conflicts: 591000 | #Constraints: 30262 1127.97/1131.37 c INPROCESSING 1127.97/1131.37 c GARBAGE COLLECT 1127.97/1131.37 c rational objective 15 1150.50/1153.92 c #Conflicts: 592000 | #Constraints: 16054 1150.50/1153.92 c #Conflicts: 593000 | #Constraints: 17054 1150.50/1153.92 c #Conflicts: 594000 | #Constraints: 18057 1150.50/1153.92 c #Conflicts: 595000 | #Constraints: 19059 1150.50/1153.92 c #Conflicts: 596000 | #Constraints: 20062 1150.50/1153.92 c #Conflicts: 597000 | #Constraints: 21065 1150.50/1153.92 c #Conflicts: 598000 | #Constraints: 22065 1150.50/1153.92 c #Conflicts: 599000 | #Constraints: 23065 1150.50/1153.92 c #Conflicts: 600000 | #Constraints: 24066 1150.50/1153.92 c #Conflicts: 601000 | #Constraints: 25066 1150.50/1153.92 c #Conflicts: 602000 | #Constraints: 26066 1150.50/1153.92 c #Conflicts: 603000 | #Constraints: 27067 1150.50/1153.92 c #Conflicts: 604000 | #Constraints: 28067 1150.50/1153.92 c #Conflicts: 605000 | #Constraints: 29067 1150.50/1153.92 c #Conflicts: 606000 | #Constraints: 30068 1150.50/1153.92 c #Conflicts: 607000 | #Constraints: 31069 1150.50/1153.92 c INPROCESSING 1150.50/1153.92 c GARBAGE COLLECT 1150.50/1153.92 c rational objective 15 1164.66/1168.15 c #Conflicts: 608000 | #Constraints: 16658 1164.66/1168.15 c #Conflicts: 609000 | #Constraints: 17659 1164.66/1168.15 c #Conflicts: 610000 | #Constraints: 18659 1164.66/1168.15 c #Conflicts: 611000 | #Constraints: 19659 1164.66/1168.15 c #Conflicts: 612000 | #Constraints: 20659 1164.66/1168.15 c #Conflicts: 613000 | #Constraints: 21659 1164.66/1168.15 c #Conflicts: 614000 | #Constraints: 22659 1164.66/1168.15 c #Conflicts: 615000 | #Constraints: 23659 1164.66/1168.15 c #Conflicts: 616000 | #Constraints: 24659 1164.66/1168.15 c #Conflicts: 617000 | #Constraints: 25660 1164.66/1168.15 c #Conflicts: 618000 | #Constraints: 26660 1164.66/1168.15 c #Conflicts: 619000 | #Constraints: 27660 1164.66/1168.15 c #Conflicts: 620000 | #Constraints: 28661 1164.66/1168.15 c #Conflicts: 621000 | #Constraints: 29664 1164.66/1168.15 c #Conflicts: 622000 | #Constraints: 30664 1164.66/1168.15 c #Conflicts: 623000 | #Constraints: 31667 1164.66/1168.15 c INPROCESSING 1164.66/1168.15 c GARBAGE COLLECT 1164.66/1168.15 c rational objective 15 1190.97/1194.50 c #Conflicts: 624000 | #Constraints: 17052 1190.97/1194.50 c #Conflicts: 625000 | #Constraints: 18053 1190.97/1194.50 c #Conflicts: 626000 | #Constraints: 19054 1190.97/1194.50 c #Conflicts: 627000 | #Constraints: 20055 1190.97/1194.50 c #Conflicts: 628000 | #Constraints: 21056 1190.97/1194.50 c #Conflicts: 629000 | #Constraints: 22060 1190.97/1194.50 c #Conflicts: 630000 | #Constraints: 23061 1190.97/1194.50 c #Conflicts: 631000 | #Constraints: 24062 1190.97/1194.50 c #Conflicts: 632000 | #Constraints: 25062 1190.97/1194.50 c #Conflicts: 633000 | #Constraints: 26062 1190.97/1194.50 c #Conflicts: 634000 | #Constraints: 27062 1190.97/1194.50 c #Conflicts: 635000 | #Constraints: 28063 1190.97/1194.50 c #Conflicts: 636000 | #Constraints: 29063 1190.97/1194.50 c #Conflicts: 637000 | #Constraints: 30063 1190.97/1194.50 c #Conflicts: 638000 | #Constraints: 31064 1190.97/1194.50 c #Conflicts: 639000 | #Constraints: 32064 1190.97/1194.50 c INPROCESSING 1190.97/1194.50 c GARBAGE COLLECT 1190.97/1194.50 c rational objective 15 1219.39/1223.04 c #Conflicts: 640000 | #Constraints: 17251 1219.39/1223.04 c #Conflicts: 641000 | #Constraints: 18251 1219.39/1223.04 c #Conflicts: 642000 | #Constraints: 19251 1219.39/1223.04 c #Conflicts: 643000 | #Constraints: 20251 1219.39/1223.04 c #Conflicts: 644000 | #Constraints: 21251 1219.39/1223.04 c #Conflicts: 645000 | #Constraints: 22251 1219.39/1223.04 c #Conflicts: 646000 | #Constraints: 23251 1219.39/1223.04 c #Conflicts: 647000 | #Constraints: 24253 1219.39/1223.04 c #Conflicts: 648000 | #Constraints: 25253 1219.39/1223.04 c #Conflicts: 649000 | #Constraints: 26253 1219.39/1223.04 c #Conflicts: 650000 | #Constraints: 27254 1219.39/1223.04 c #Conflicts: 651000 | #Constraints: 28254 1219.39/1223.04 c #Conflicts: 652000 | #Constraints: 29254 1219.39/1223.04 c #Conflicts: 653000 | #Constraints: 30254 1219.39/1223.04 c #Conflicts: 654000 | #Constraints: 31255 1219.39/1223.04 c #Conflicts: 655000 | #Constraints: 32255 1219.39/1223.04 c INPROCESSING 1219.39/1223.04 c GARBAGE COLLECT 1219.39/1223.04 c rational objective 15 1250.49/1254.20 c #Conflicts: 656000 | #Constraints: 17247 1250.49/1254.20 c #Conflicts: 657000 | #Constraints: 18251 1250.49/1254.20 c #Conflicts: 658000 | #Constraints: 19251 1250.49/1254.20 c #Conflicts: 659000 | #Constraints: 20251 1250.49/1254.20 c #Conflicts: 660000 | #Constraints: 21258 1250.49/1254.20 c #Conflicts: 661000 | #Constraints: 22262 1250.49/1254.20 c #Conflicts: 662000 | #Constraints: 23262 1250.49/1254.20 c #Conflicts: 663000 | #Constraints: 24262 1250.49/1254.20 c #Conflicts: 664000 | #Constraints: 25262 1250.49/1254.20 c #Conflicts: 665000 | #Constraints: 26262 1250.49/1254.20 c #Conflicts: 666000 | #Constraints: 27264 1250.49/1254.20 c #Conflicts: 667000 | #Constraints: 28276 1250.49/1254.20 c #Conflicts: 668000 | #Constraints: 29280 1250.49/1254.20 c #Conflicts: 669000 | #Constraints: 30282 1250.49/1254.20 c #Conflicts: 670000 | #Constraints: 31282 1250.49/1254.20 c #Conflicts: 671000 | #Constraints: 32282 1250.49/1254.20 c INPROCESSING 1250.49/1254.20 c GARBAGE COLLECT 1250.49/1254.20 c rational objective 15 1277.52/1281.33 c #Conflicts: 672000 | #Constraints: 17060 1277.52/1281.33 c #Conflicts: 673000 | #Constraints: 18060 1277.52/1281.33 c #Conflicts: 674000 | #Constraints: 19061 1277.52/1281.33 c #Conflicts: 675000 | #Constraints: 20066 1277.52/1281.33 c #Conflicts: 676000 | #Constraints: 21068 1277.52/1281.33 c #Conflicts: 677000 | #Constraints: 22068 1277.52/1281.33 c #Conflicts: 678000 | #Constraints: 23068 1277.52/1281.33 c #Conflicts: 679000 | #Constraints: 24070 1277.52/1281.33 c #Conflicts: 680000 | #Constraints: 25073 1277.52/1281.33 c #Conflicts: 681000 | #Constraints: 26073 1277.52/1281.33 c #Conflicts: 682000 | #Constraints: 27074 1277.52/1281.33 c #Conflicts: 683000 | #Constraints: 28077 1277.52/1281.33 c #Conflicts: 684000 | #Constraints: 29078 1277.52/1281.33 c #Conflicts: 685000 | #Constraints: 30079 1277.52/1281.33 c #Conflicts: 686000 | #Constraints: 31080 1277.52/1281.33 c #Conflicts: 687000 | #Constraints: 32081 1277.52/1281.33 c #Conflicts: 688000 | #Constraints: 33082 1277.52/1281.33 c INPROCESSING 1277.52/1281.33 c GARBAGE COLLECT 1277.52/1281.33 c rational objective 15 1308.82/1312.70 c #Conflicts: 689000 | #Constraints: 17656 1308.82/1312.70 c #Conflicts: 690000 | #Constraints: 18656 1308.82/1312.70 c #Conflicts: 691000 | #Constraints: 19657 1308.82/1312.70 c #Conflicts: 692000 | #Constraints: 20659 1308.82/1312.70 c #Conflicts: 693000 | #Constraints: 21661 1308.82/1312.70 c #Conflicts: 694000 | #Constraints: 22661 1308.82/1312.70 c #Conflicts: 695000 | #Constraints: 23662 1308.82/1312.70 c #Conflicts: 696000 | #Constraints: 24662 1308.82/1312.70 c #Conflicts: 697000 | #Constraints: 25662 1308.82/1312.70 c #Conflicts: 698000 | #Constraints: 26662 1308.82/1312.70 c #Conflicts: 699000 | #Constraints: 27662 1308.82/1312.70 c #Conflicts: 700000 | #Constraints: 28662 1308.82/1312.70 c #Conflicts: 701000 | #Constraints: 29662 1308.82/1312.70 c #Conflicts: 702000 | #Constraints: 30662 1308.82/1312.70 c #Conflicts: 703000 | #Constraints: 31662 1308.82/1312.70 c #Conflicts: 704000 | #Constraints: 32662 1308.82/1312.70 c #Conflicts: 705000 | #Constraints: 33662 1308.82/1312.70 c INPROCESSING 1308.82/1312.70 c GARBAGE COLLECT 1308.82/1312.70 c rational objective 15 1346.71/1350.75 c #Conflicts: 706000 | #Constraints: 18045 1346.71/1350.75 c #Conflicts: 707000 | #Constraints: 19046 1346.71/1350.75 c #Conflicts: 708000 | #Constraints: 20046 1346.71/1350.75 c #Conflicts: 709000 | #Constraints: 21047 1346.71/1350.75 c #Conflicts: 710000 | #Constraints: 22047 1346.71/1350.75 c #Conflicts: 711000 | #Constraints: 23047 1346.71/1350.75 c #Conflicts: 712000 | #Constraints: 24047 1346.71/1350.75 c #Conflicts: 713000 | #Constraints: 25047 1346.71/1350.75 c #Conflicts: 714000 | #Constraints: 26047 1346.71/1350.75 c #Conflicts: 715000 | #Constraints: 27047 1346.71/1350.75 c #Conflicts: 716000 | #Constraints: 28047 1346.71/1350.75 c #Conflicts: 717000 | #Constraints: 29047 1346.71/1350.75 c #Conflicts: 718000 | #Constraints: 30047 1346.71/1350.75 c #Conflicts: 719000 | #Constraints: 31047 1346.71/1350.75 c #Conflicts: 720000 | #Constraints: 32047 1346.71/1350.75 c #Conflicts: 721000 | #Constraints: 33047 1346.71/1350.75 c #Conflicts: 722000 | #Constraints: 34047 1346.71/1350.75 c INPROCESSING 1346.71/1350.75 c GARBAGE COLLECT 1346.71/1350.75 c rational objective 15 1441.13/1445.46 c #Conflicts: 723000 | #Constraints: 18239 1441.13/1445.46 c #Conflicts: 724000 | #Constraints: 19240 1441.13/1445.46 c #Conflicts: 725000 | #Constraints: 20244 1441.13/1445.46 c #Conflicts: 726000 | #Constraints: 21247 1441.13/1445.46 c #Conflicts: 727000 | #Constraints: 22248 1441.13/1445.46 c #Conflicts: 728000 | #Constraints: 23249 1441.13/1445.46 c #Conflicts: 729000 | #Constraints: 24252 1441.13/1445.46 c #Conflicts: 730000 | #Constraints: 25261 1441.13/1445.46 c #Conflicts: 731000 | #Constraints: 26263 1441.13/1445.46 c #Conflicts: 732000 | #Constraints: 27263 1441.13/1445.46 c #Conflicts: 733000 | #Constraints: 28263 1441.13/1445.46 c #Conflicts: 734000 | #Constraints: 29263 1441.13/1445.46 c #Conflicts: 735000 | #Constraints: 30273 1441.13/1445.46 c #Conflicts: 736000 | #Constraints: 31274 1441.13/1445.46 c #Conflicts: 737000 | #Constraints: 32275 1441.13/1445.46 c #Conflicts: 738000 | #Constraints: 33277 1441.13/1445.46 c #Conflicts: 739000 | #Constraints: 34278 1441.13/1445.46 c INPROCESSING 1441.13/1445.46 c GARBAGE COLLECT 1441.13/1445.46 c rational objective 15 1487.60/1492.07 c #Conflicts: 740000 | #Constraints: 18263 1487.60/1492.07 c #Conflicts: 741000 | #Constraints: 19264 1487.60/1492.07 c #Conflicts: 742000 | #Constraints: 20265 1487.60/1492.07 c #Conflicts: 743000 | #Constraints: 21267 1487.60/1492.07 c #Conflicts: 744000 | #Constraints: 22270 1487.60/1492.07 c #Conflicts: 745000 | #Constraints: 23273 1487.60/1492.07 c #Conflicts: 746000 | #Constraints: 24276 1487.60/1492.07 c #Conflicts: 747000 | #Constraints: 25277 1487.60/1492.07 c #Conflicts: 748000 | #Constraints: 26278 1487.60/1492.07 c #Conflicts: 749000 | #Constraints: 27278 1487.60/1492.07 c #Conflicts: 750000 | #Constraints: 28279 1487.60/1492.07 c #Conflicts: 751000 | #Constraints: 29279 1487.60/1492.07 c #Conflicts: 752000 | #Constraints: 30279 1487.60/1492.07 c #Conflicts: 753000 | #Constraints: 31279 1487.60/1492.07 c #Conflicts: 754000 | #Constraints: 32279 1487.60/1492.07 c #Conflicts: 755000 | #Constraints: 33279 1487.60/1492.07 c #Conflicts: 756000 | #Constraints: 34279 1487.60/1492.07 c INPROCESSING 1487.60/1492.07 c GARBAGE COLLECT 1487.60/1492.07 c rational objective 15 1533.66/1538.20 c #Conflicts: 757000 | #Constraints: 18060 1533.66/1538.20 c #Conflicts: 758000 | #Constraints: 19062 1533.66/1538.20 c #Conflicts: 759000 | #Constraints: 20062 1533.66/1538.20 c #Conflicts: 760000 | #Constraints: 21062 1533.66/1538.20 c #Conflicts: 761000 | #Constraints: 22062 1533.66/1538.20 c #Conflicts: 762000 | #Constraints: 23062 1533.66/1538.20 c #Conflicts: 763000 | #Constraints: 24062 1533.66/1538.20 c #Conflicts: 764000 | #Constraints: 25063 1533.66/1538.20 c #Conflicts: 765000 | #Constraints: 26063 1533.66/1538.20 c #Conflicts: 766000 | #Constraints: 27063 1533.66/1538.20 c #Conflicts: 767000 | #Constraints: 28063 1533.66/1538.20 c #Conflicts: 768000 | #Constraints: 29063 1533.66/1538.20 c #Conflicts: 769000 | #Constraints: 30063 1533.66/1538.20 c #Conflicts: 770000 | #Constraints: 31064 1533.66/1538.20 c #Conflicts: 771000 | #Constraints: 32064 1533.66/1538.20 c #Conflicts: 772000 | #Constraints: 33064 1533.66/1538.20 c #Conflicts: 773000 | #Constraints: 34064 1533.66/1538.20 c #Conflicts: 774000 | #Constraints: 35064 1533.66/1538.20 c INPROCESSING 1533.66/1538.20 c GARBAGE COLLECT 1533.66/1538.20 c rational objective 15 1560.97/1565.66 c #Conflicts: 775000 | #Constraints: 18658 1560.97/1565.66 c #Conflicts: 776000 | #Constraints: 19660 1560.97/1565.66 c #Conflicts: 777000 | #Constraints: 20660 1560.97/1565.66 c #Conflicts: 778000 | #Constraints: 21660 1560.97/1565.66 c #Conflicts: 779000 | #Constraints: 22660 1560.97/1565.66 c #Conflicts: 780000 | #Constraints: 23660 1560.97/1565.66 c #Conflicts: 781000 | #Constraints: 24660 1560.97/1565.66 c #Conflicts: 782000 | #Constraints: 25663 1560.97/1565.66 c #Conflicts: 783000 | #Constraints: 26664 1560.97/1565.66 c #Conflicts: 784000 | #Constraints: 27664 1560.97/1565.66 c #Conflicts: 785000 | #Constraints: 28664 1560.97/1565.66 c #Conflicts: 786000 | #Constraints: 29664 1560.97/1565.66 c #Conflicts: 787000 | #Constraints: 30664 1560.97/1565.66 c #Conflicts: 788000 | #Constraints: 31665 1560.97/1565.66 c #Conflicts: 789000 | #Constraints: 32665 1560.97/1565.66 c #Conflicts: 790000 | #Constraints: 33668 1560.97/1565.66 c #Conflicts: 791000 | #Constraints: 34673 1560.97/1565.66 c #Conflicts: 792000 | #Constraints: 35674 1560.97/1565.66 c INPROCESSING 1560.97/1565.66 c GARBAGE COLLECT 1560.97/1565.66 c rational objective 15 1603.05/1607.81 c #Conflicts: 793000 | #Constraints: 19056 1603.05/1607.81 c #Conflicts: 794000 | #Constraints: 20056 1603.05/1607.81 c #Conflicts: 795000 | #Constraints: 21056 1603.05/1607.81 c #Conflicts: 796000 | #Constraints: 22062 1603.05/1607.81 c #Conflicts: 797000 | #Constraints: 23062 1603.05/1607.81 c #Conflicts: 798000 | #Constraints: 24063 1603.05/1607.81 c #Conflicts: 799000 | #Constraints: 25063 1603.05/1607.81 c #Conflicts: 800000 | #Constraints: 26064 1603.05/1607.81 c #Conflicts: 801000 | #Constraints: 27064 1603.05/1607.81 c #Conflicts: 802000 | #Constraints: 28064 1603.05/1607.81 c #Conflicts: 803000 | #Constraints: 29064 1603.05/1607.81 c #Conflicts: 804000 | #Constraints: 30064 1603.05/1607.81 c #Conflicts: 805000 | #Constraints: 31064 1603.05/1607.81 c #Conflicts: 806000 | #Constraints: 32064 1603.05/1607.81 c #Conflicts: 807000 | #Constraints: 33064 1603.05/1607.81 c #Conflicts: 808000 | #Constraints: 34064 1603.05/1607.81 c #Conflicts: 809000 | #Constraints: 35064 1603.05/1607.81 c #Conflicts: 810000 | #Constraints: 36065 1603.05/1607.81 c INPROCESSING 1603.05/1607.81 c GARBAGE COLLECT 1603.05/1607.81 c rational objective 15 1624.58/1629.47 c #Conflicts: 811000 | #Constraints: 19259 1624.58/1629.47 c #Conflicts: 812000 | #Constraints: 20261 1624.58/1629.47 c #Conflicts: 813000 | #Constraints: 21264 1624.58/1629.47 c #Conflicts: 814000 | #Constraints: 22265 1624.58/1629.47 c #Conflicts: 815000 | #Constraints: 23265 1624.58/1629.47 c #Conflicts: 816000 | #Constraints: 24265 1624.58/1629.47 c #Conflicts: 817000 | #Constraints: 25270 1624.58/1629.47 c #Conflicts: 818000 | #Constraints: 26272 1624.58/1629.47 c #Conflicts: 819000 | #Constraints: 27274 1624.58/1629.47 c #Conflicts: 820000 | #Constraints: 28276 1624.58/1629.47 c #Conflicts: 821000 | #Constraints: 29276 1624.58/1629.47 c #Conflicts: 822000 | #Constraints: 30276 1624.58/1629.47 c #Conflicts: 823000 | #Constraints: 31276 1624.58/1629.47 c #Conflicts: 824000 | #Constraints: 32276 1624.58/1629.47 c #Conflicts: 825000 | #Constraints: 33276 1624.58/1629.47 c #Conflicts: 826000 | #Constraints: 34276 1624.58/1629.47 c #Conflicts: 827000 | #Constraints: 35278 1624.58/1629.47 c #Conflicts: 828000 | #Constraints: 36278 1624.58/1629.47 c INPROCESSING 1624.58/1629.47 c GARBAGE COLLECT 1624.58/1629.47 c rational objective 15 1655.29/1660.21 c #Conflicts: 829000 | #Constraints: 19261 1655.29/1660.21 c #Conflicts: 830000 | #Constraints: 20262 1655.29/1660.21 c #Conflicts: 831000 | #Constraints: 21266 1655.29/1660.21 c #Conflicts: 832000 | #Constraints: 22268 1655.29/1660.21 c #Conflicts: 833000 | #Constraints: 23269 1655.29/1660.21 c #Conflicts: 834000 | #Constraints: 24269 1655.29/1660.21 c #Conflicts: 835000 | #Constraints: 25269 1655.29/1660.21 c #Conflicts: 836000 | #Constraints: 26269 1655.29/1660.21 c #Conflicts: 837000 | #Constraints: 27269 1655.29/1660.21 c #Conflicts: 838000 | #Constraints: 28269 1655.29/1660.21 c #Conflicts: 839000 | #Constraints: 29269 1655.29/1660.21 c #Conflicts: 840000 | #Constraints: 30269 1655.29/1660.21 c #Conflicts: 841000 | #Constraints: 31269 1655.29/1660.21 c #Conflicts: 842000 | #Constraints: 32269 1655.29/1660.21 c #Conflicts: 843000 | #Constraints: 33269 1655.29/1660.21 c #Conflicts: 844000 | #Constraints: 34269 1655.29/1660.21 c #Conflicts: 845000 | #Constraints: 35269 1655.29/1660.21 c #Conflicts: 846000 | #Constraints: 36271 1655.29/1660.21 c INPROCESSING 1655.29/1660.21 c GARBAGE COLLECT 1655.29/1660.21 c rational objective 15 1709.63/1714.73 c #Conflicts: 847000 | #Constraints: 19048 1709.63/1714.73 c #Conflicts: 848000 | #Constraints: 20048 1709.63/1714.73 c #Conflicts: 849000 | #Constraints: 21048 1709.63/1714.73 c #Conflicts: 850000 | #Constraints: 22050 1709.63/1714.73 c #Conflicts: 851000 | #Constraints: 23050 1709.63/1714.73 c #Conflicts: 852000 | #Constraints: 24050 1709.63/1714.73 c #Conflicts: 853000 | #Constraints: 25050 1709.63/1714.73 c #Conflicts: 854000 | #Constraints: 26050 1709.63/1714.73 c #Conflicts: 855000 | #Constraints: 27050 1709.63/1714.73 c #Conflicts: 856000 | #Constraints: 28050 1709.63/1714.73 c #Conflicts: 857000 | #Constraints: 29051 1709.63/1714.73 c #Conflicts: 858000 | #Constraints: 30051 1709.63/1714.73 c #Conflicts: 859000 | #Constraints: 31051 1709.63/1714.73 c #Conflicts: 860000 | #Constraints: 32051 1709.63/1714.73 c #Conflicts: 861000 | #Constraints: 33051 1709.63/1714.73 c #Conflicts: 862000 | #Constraints: 34055 1709.63/1714.73 c #Conflicts: 863000 | #Constraints: 35055 1709.63/1714.73 c #Conflicts: 864000 | #Constraints: 36055 1709.63/1714.73 c #Conflicts: 865000 | #Constraints: 37058 1709.63/1714.73 c INPROCESSING 1709.63/1714.73 c GARBAGE COLLECT 1709.63/1714.73 c rational objective 15 1756.98/1762.28 c #Conflicts: 866000 | #Constraints: 19649 1756.98/1762.28 c #Conflicts: 867000 | #Constraints: 20649 1756.98/1762.28 c #Conflicts: 868000 | #Constraints: 21649 1756.98/1762.28 c #Conflicts: 869000 | #Constraints: 22671 1756.98/1762.28 c #Conflicts: 870000 | #Constraints: 23680 1756.98/1762.28 c #Conflicts: 871000 | #Constraints: 24680 1756.98/1762.28 c #Conflicts: 872000 | #Constraints: 25682 1756.98/1762.28 c #Conflicts: 873000 | #Constraints: 26684 1756.98/1762.28 c #Conflicts: 874000 | #Constraints: 27686 1756.98/1762.28 c #Conflicts: 875000 | #Constraints: 28689 1756.98/1762.28 c #Conflicts: 876000 | #Constraints: 29690 1756.98/1762.28 c #Conflicts: 877000 | #Constraints: 30690 1756.98/1762.28 c #Conflicts: 878000 | #Constraints: 31692 1756.98/1762.28 c #Conflicts: 879000 | #Constraints: 32692 1756.98/1762.28 c #Conflicts: 880000 | #Constraints: 33692 1756.98/1762.28 c #Conflicts: 881000 | #Constraints: 34692 1756.98/1762.28 c #Conflicts: 882000 | #Constraints: 35694 1756.98/1762.28 c #Conflicts: 883000 | #Constraints: 36694 1756.98/1762.28 c #Conflicts: 884000 | #Constraints: 37698 1756.98/1762.28 c INPROCESSING 1756.98/1762.28 c GARBAGE COLLECT 1756.98/1762.28 c rational objective 15 1813.72/1819.10 c #Conflicts: 885000 | #Constraints: 20080 1813.72/1819.10 c #Conflicts: 886000 | #Constraints: 21080 1813.72/1819.10 c #Conflicts: 887000 | #Constraints: 22080 1813.72/1819.10 c #Conflicts: 888000 | #Constraints: 23080 1813.72/1819.10 c #Conflicts: 889000 | #Constraints: 24080 1813.72/1819.10 c #Conflicts: 890000 | #Constraints: 25080 1813.72/1819.10 c #Conflicts: 891000 | #Constraints: 26080 1813.72/1819.10 c #Conflicts: 892000 | #Constraints: 27081 1813.72/1819.10 c #Conflicts: 893000 | #Constraints: 28083 1813.72/1819.10 c #Conflicts: 894000 | #Constraints: 29092 1813.72/1819.10 c #Conflicts: 895000 | #Constraints: 30096 1813.72/1819.10 c #Conflicts: 896000 | #Constraints: 31096 1813.72/1819.10 c #Conflicts: 897000 | #Constraints: 32096 1813.72/1819.10 c #Conflicts: 898000 | #Constraints: 33097 1813.72/1819.10 c #Conflicts: 899000 | #Constraints: 34108 1813.72/1819.10 c #Conflicts: 900000 | #Constraints: 35112 1813.72/1819.10 c #Conflicts: 901000 | #Constraints: 36114 1813.72/1819.10 c #Conflicts: 902000 | #Constraints: 37115 1813.72/1819.10 c #Conflicts: 903000 | #Constraints: 38115 1813.72/1819.10 c INPROCESSING 1813.72/1819.10 c GARBAGE COLLECT 1813.72/1819.10 c rational objective 15 1838.63/1844.18 c #Conflicts: 904000 | #Constraints: 20291 1838.63/1844.18 c #Conflicts: 905000 | #Constraints: 21296 1838.63/1844.18 c #Conflicts: 906000 | #Constraints: 22297 1838.63/1844.18 c #Conflicts: 907000 | #Constraints: 23298 1838.63/1844.18 c #Conflicts: 908000 | #Constraints: 24298 1838.63/1844.18 c #Conflicts: 909000 | #Constraints: 25298 1838.63/1844.18 c #Conflicts: 910000 | #Constraints: 26298 1838.63/1844.18 c #Conflicts: 911000 | #Constraints: 27298 1838.63/1844.18 c #Conflicts: 912000 | #Constraints: 28300 1838.63/1844.18 c #Conflicts: 913000 | #Constraints: 29302 1838.63/1844.18 c #Conflicts: 914000 | #Constraints: 30302 1838.63/1844.18 c #Conflicts: 915000 | #Constraints: 31303 1838.63/1844.18 c #Conflicts: 916000 | #Constraints: 32304 1838.63/1844.18 c #Conflicts: 917000 | #Constraints: 33304 1838.63/1844.18 c #Conflicts: 918000 | #Constraints: 34304 1838.63/1844.18 c #Conflicts: 919000 | #Constraints: 35304 1838.63/1844.18 c #Conflicts: 920000 | #Constraints: 36304 1838.63/1844.18 c #Conflicts: 921000 | #Constraints: 37304 1838.63/1844.18 c #Conflicts: 922000 | #Constraints: 38304 1838.63/1844.18 c INPROCESSING 1838.63/1844.18 c GARBAGE COLLECT 1838.63/1844.18 c rational objective 15 1882.81/1888.46 c #Conflicts: 923000 | #Constraints: 20266 1882.81/1888.46 c #Conflicts: 924000 | #Constraints: 21266 1882.81/1888.46 c #Conflicts: 925000 | #Constraints: 22266 1882.81/1888.46 c #Conflicts: 926000 | #Constraints: 23266 1882.81/1888.46 c #Conflicts: 927000 | #Constraints: 24266 1882.81/1888.46 c #Conflicts: 928000 | #Constraints: 25266 1882.81/1888.46 c #Conflicts: 929000 | #Constraints: 26267 1882.81/1888.46 c #Conflicts: 930000 | #Constraints: 27267 1882.81/1888.46 c #Conflicts: 931000 | #Constraints: 28267 1882.81/1888.46 c #Conflicts: 932000 | #Constraints: 29268 1882.81/1888.46 c #Conflicts: 933000 | #Constraints: 30269 1882.81/1888.46 c #Conflicts: 934000 | #Constraints: 31269 1882.81/1888.46 c #Conflicts: 935000 | #Constraints: 32269 1882.81/1888.46 c #Conflicts: 936000 | #Constraints: 33269 1882.81/1888.46 c #Conflicts: 937000 | #Constraints: 34269 1882.81/1888.46 c #Conflicts: 938000 | #Constraints: 35269 1882.81/1888.46 c #Conflicts: 939000 | #Constraints: 36269 1882.81/1888.46 c #Conflicts: 940000 | #Constraints: 37269 1882.81/1888.46 c #Conflicts: 941000 | #Constraints: 38269 1882.81/1888.46 c INPROCESSING 1882.81/1888.46 c GARBAGE COLLECT 1882.81/1888.46 c rational objective 15 2046.92/2053.09 c #Conflicts: 942000 | #Constraints: 20054 2046.92/2053.09 c #Conflicts: 943000 | #Constraints: 21054 2046.92/2053.09 c #Conflicts: 944000 | #Constraints: 22054 2046.92/2053.09 c #Conflicts: 945000 | #Constraints: 23054 2046.92/2053.09 c #Conflicts: 946000 | #Constraints: 24054 2046.92/2053.09 c #Conflicts: 947000 | #Constraints: 25055 2046.92/2053.09 c #Conflicts: 948000 | #Constraints: 26056 2046.92/2053.09 c #Conflicts: 949000 | #Constraints: 27057 2046.92/2053.09 c #Conflicts: 950000 | #Constraints: 28057 2046.92/2053.09 c #Conflicts: 951000 | #Constraints: 29057 2046.92/2053.09 c #Conflicts: 952000 | #Constraints: 30057 2046.92/2053.09 c #Conflicts: 953000 | #Constraints: 31064 2046.92/2053.09 c #Conflicts: 954000 | #Constraints: 32064 2046.92/2053.09 c #Conflicts: 955000 | #Constraints: 33064 2046.92/2053.09 c #Conflicts: 956000 | #Constraints: 34064 2046.92/2053.09 c #Conflicts: 957000 | #Constraints: 35064 2046.92/2053.09 c #Conflicts: 958000 | #Constraints: 36064 2046.92/2053.09 c #Conflicts: 959000 | #Constraints: 37064 2046.92/2053.09 c #Conflicts: 960000 | #Constraints: 38064 2046.92/2053.09 c #Conflicts: 961000 | #Constraints: 39064 2046.92/2053.09 c INPROCESSING 2046.92/2053.09 c GARBAGE COLLECT 2046.92/2053.09 c rational objective 15 2075.93/2082.15 c #Conflicts: 962000 | #Constraints: 20655 2075.93/2082.15 c #Conflicts: 963000 | #Constraints: 21661 2075.93/2082.15 c #Conflicts: 964000 | #Constraints: 22665 2075.93/2082.15 c #Conflicts: 965000 | #Constraints: 23666 2075.93/2082.15 c #Conflicts: 966000 | #Constraints: 24666 2075.93/2082.15 c #Conflicts: 967000 | #Constraints: 25667 2075.93/2082.15 c #Conflicts: 968000 | #Constraints: 26667 2075.93/2082.15 c #Conflicts: 969000 | #Constraints: 27668 2075.93/2082.15 c #Conflicts: 970000 | #Constraints: 28669 2075.93/2082.15 c #Conflicts: 971000 | #Constraints: 29669 2075.93/2082.15 c #Conflicts: 972000 | #Constraints: 30669 2075.93/2082.15 c #Conflicts: 973000 | #Constraints: 31670 2075.93/2082.15 c #Conflicts: 974000 | #Constraints: 32670 2075.93/2082.15 c #Conflicts: 975000 | #Constraints: 33671 2075.93/2082.15 c #Conflicts: 976000 | #Constraints: 34672 2075.93/2082.15 c #Conflicts: 977000 | #Constraints: 35672 2075.93/2082.15 c #Conflicts: 978000 | #Constraints: 36672 2075.93/2082.15 c #Conflicts: 979000 | #Constraints: 37672 2075.93/2082.15 c #Conflicts: 980000 | #Constraints: 38672 2075.93/2082.15 c #Conflicts: 981000 | #Constraints: 39672 2075.93/2082.15 c INPROCESSING 2075.93/2082.15 c GARBAGE COLLECT 2075.93/2082.15 c rational objective 15 2159.38/2165.83 c #Conflicts: 982000 | #Constraints: 21059 2159.38/2165.83 c #Conflicts: 983000 | #Constraints: 22059 2159.38/2165.83 c #Conflicts: 984000 | #Constraints: 23060 2159.38/2165.83 c #Conflicts: 985000 | #Constraints: 24060 2159.38/2165.83 c #Conflicts: 986000 | #Constraints: 25060 2159.38/2165.83 c #Conflicts: 987000 | #Constraints: 26060 2159.38/2165.83 c #Conflicts: 988000 | #Constraints: 27060 2159.38/2165.83 c #Conflicts: 989000 | #Constraints: 28060 2159.38/2165.83 c #Conflicts: 990000 | #Constraints: 29060 2159.38/2165.83 c #Conflicts: 991000 | #Constraints: 30060 2159.38/2165.83 c #Conflicts: 992000 | #Constraints: 31060 2159.38/2165.83 c #Conflicts: 993000 | #Constraints: 32060 2159.38/2165.83 c #Conflicts: 994000 | #Constraints: 33060 2159.38/2165.83 c #Conflicts: 995000 | #Constraints: 34060 2159.38/2165.83 c #Conflicts: 996000 | #Constraints: 35060 2159.38/2165.83 c #Conflicts: 997000 | #Constraints: 36060 2159.38/2165.83 c #Conflicts: 998000 | #Constraints: 37060 2159.38/2165.83 c #Conflicts: 999000 | #Constraints: 38060 2159.38/2165.83 c #Conflicts: 1000000 | #Constraints: 39060 2159.38/2165.83 c #Conflicts: 1001000 | #Constraints: 40060 2159.38/2165.83 c INPROCESSING 2159.38/2165.83 c GARBAGE COLLECT 2159.38/2165.83 c rational objective 15 2226.77/2233.41 c #Conflicts: 1002000 | #Constraints: 21258 2226.77/2233.41 c #Conflicts: 1003000 | #Constraints: 22262 2226.77/2233.41 c #Conflicts: 1004000 | #Constraints: 23263 2226.77/2233.41 c #Conflicts: 1005000 | #Constraints: 24265 2226.77/2233.41 c #Conflicts: 1006000 | #Constraints: 25267 2226.77/2233.41 c #Conflicts: 1007000 | #Constraints: 26270 2226.77/2233.41 c #Conflicts: 1008000 | #Constraints: 27271 2226.77/2233.41 c #Conflicts: 1009000 | #Constraints: 28271 2226.77/2233.41 c #Conflicts: 1010000 | #Constraints: 29271 2226.77/2233.41 c #Conflicts: 1011000 | #Constraints: 30271 2226.77/2233.41 c #Conflicts: 1012000 | #Constraints: 31271 2226.77/2233.41 c #Conflicts: 1013000 | #Constraints: 32273 2226.77/2233.41 c #Conflicts: 1014000 | #Constraints: 33273 2226.77/2233.41 c #Conflicts: 1015000 | #Constraints: 34273 2226.77/2233.41 c #Conflicts: 1016000 | #Constraints: 35278 2226.77/2233.41 c #Conflicts: 1017000 | #Constraints: 36278 2226.77/2233.41 c #Conflicts: 1018000 | #Constraints: 37280 2226.77/2233.41 c #Conflicts: 1019000 | #Constraints: 38282 2226.77/2233.41 c #Conflicts: 1020000 | #Constraints: 39284 2226.77/2233.41 c #Conflicts: 1021000 | #Constraints: 40292 2226.77/2233.41 c INPROCESSING 2226.77/2233.41 c GARBAGE COLLECT 2226.77/2233.41 c rational objective 15 2251.20/2257.93 c #Conflicts: 1022000 | #Constraints: 21267 2251.20/2257.93 c #Conflicts: 1023000 | #Constraints: 22267 2251.20/2257.93 c #Conflicts: 1024000 | #Constraints: 23267 2251.20/2257.93 c #Conflicts: 1025000 | #Constraints: 24267 2251.20/2257.93 c #Conflicts: 1026000 | #Constraints: 25267 2251.20/2257.93 c #Conflicts: 1027000 | #Constraints: 26267 2251.20/2257.93 c #Conflicts: 1028000 | #Constraints: 27274 2251.20/2257.93 c #Conflicts: 1029000 | #Constraints: 28275 2251.20/2257.93 c #Conflicts: 1030000 | #Constraints: 29276 2251.20/2257.93 c #Conflicts: 1031000 | #Constraints: 30276 2251.20/2257.93 c #Conflicts: 1032000 | #Constraints: 31276 2251.20/2257.93 c #Conflicts: 1033000 | #Constraints: 32276 2251.20/2257.93 c #Conflicts: 1034000 | #Constraints: 33276 2251.20/2257.93 c #Conflicts: 1035000 | #Constraints: 34276 2251.20/2257.93 c #Conflicts: 1036000 | #Constraints: 35276 2251.20/2257.93 c #Conflicts: 1037000 | #Constraints: 36276 2251.20/2257.93 c #Conflicts: 1038000 | #Constraints: 37276 2251.20/2257.93 c #Conflicts: 1039000 | #Constraints: 38276 2251.20/2257.93 c #Conflicts: 1040000 | #Constraints: 39276 2251.20/2257.93 c #Conflicts: 1041000 | #Constraints: 40276 2251.20/2257.93 c INPROCESSING 2251.20/2257.93 c GARBAGE COLLECT 2251.20/2257.93 c rational objective 15 2338.54/2345.56 c #Conflicts: 1042000 | #Constraints: 21061 2338.54/2345.56 c #Conflicts: 1043000 | #Constraints: 22066 2338.54/2345.56 c #Conflicts: 1044000 | #Constraints: 23067 2338.54/2345.56 c #Conflicts: 1045000 | #Constraints: 24068 2338.54/2345.56 c #Conflicts: 1046000 | #Constraints: 25068 2338.54/2345.56 c #Conflicts: 1047000 | #Constraints: 26068 2338.54/2345.56 c #Conflicts: 1048000 | #Constraints: 27068 2338.54/2345.56 c #Conflicts: 1049000 | #Constraints: 28068 2338.54/2345.56 c #Conflicts: 1050000 | #Constraints: 29068 2338.54/2345.56 c #Conflicts: 1051000 | #Constraints: 30068 2338.54/2345.56 c #Conflicts: 1052000 | #Constraints: 31068 2338.54/2345.56 c #Conflicts: 1053000 | #Constraints: 32068 2338.54/2345.56 c #Conflicts: 1054000 | #Constraints: 33068 2338.54/2345.56 c #Conflicts: 1055000 | #Constraints: 34068 2338.54/2345.56 c #Conflicts: 1056000 | #Constraints: 35068 2338.54/2345.56 c #Conflicts: 1057000 | #Constraints: 36068 2338.54/2345.56 c #Conflicts: 1058000 | #Constraints: 37068 2338.54/2345.56 c #Conflicts: 1059000 | #Constraints: 38068 2338.54/2345.56 c #Conflicts: 1060000 | #Constraints: 39068 2338.54/2345.56 c #Conflicts: 1061000 | #Constraints: 40068 2338.54/2345.56 c #Conflicts: 1062000 | #Constraints: 41068 2338.54/2345.56 c INPROCESSING 2338.54/2345.56 c GARBAGE COLLECT 2338.54/2345.56 c rational objective 15 2596.68/2604.47 c #Conflicts: 1063000 | #Constraints: 21662 2596.68/2604.47 c #Conflicts: 1064000 | #Constraints: 22668 2596.68/2604.47 c #Conflicts: 1065000 | #Constraints: 23668 2596.68/2604.47 c #Conflicts: 1066000 | #Constraints: 24668 2596.68/2604.47 c #Conflicts: 1067000 | #Constraints: 25669 2596.68/2604.47 c #Conflicts: 1068000 | #Constraints: 26669 2596.68/2604.47 c #Conflicts: 1069000 | #Constraints: 27669 2596.68/2604.47 c #Conflicts: 1070000 | #Constraints: 28669 2596.68/2604.47 c #Conflicts: 1071000 | #Constraints: 29669 2596.68/2604.47 c #Conflicts: 1072000 | #Constraints: 30669 2596.68/2604.47 c #Conflicts: 1073000 | #Constraints: 31669 2596.68/2604.47 c #Conflicts: 1074000 | #Constraints: 32669 2596.68/2604.47 c #Conflicts: 1075000 | #Constraints: 33669 2596.68/2604.47 c #Conflicts: 1076000 | #Constraints: 34669 2596.68/2604.47 c #Conflicts: 1077000 | #Constraints: 35670 2596.68/2604.47 c #Conflicts: 1078000 | #Constraints: 36670 2596.68/2604.47 c #Conflicts: 1079000 | #Constraints: 37670 2596.68/2604.47 c #Conflicts: 1080000 | #Constraints: 38670 2596.68/2604.47 c #Conflicts: 1081000 | #Constraints: 39670 2596.68/2604.47 c #Conflicts: 1082000 | #Constraints: 40670 2596.68/2604.47 c #Conflicts: 1083000 | #Constraints: 41670 2596.68/2604.47 c INPROCESSING 2596.68/2604.47 c GARBAGE COLLECT 2596.68/2604.47 c rational objective 15 3005.89/3014.85 c #Conflicts: 1084000 | #Constraints: 22048 3005.89/3014.85 c #Conflicts: 1085000 | #Constraints: 23048 3005.89/3014.85 c #Conflicts: 1086000 | #Constraints: 24048 3005.89/3014.85 c #Conflicts: 1087000 | #Constraints: 25048 3005.89/3014.85 c #Conflicts: 1088000 | #Constraints: 26048 3005.89/3014.85 c #Conflicts: 1089000 | #Constraints: 27048 3005.89/3014.85 c #Conflicts: 1090000 | #Constraints: 28060 3005.89/3014.85 c #Conflicts: 1091000 | #Constraints: 29060 3005.89/3014.85 c #Conflicts: 1092000 | #Constraints: 30060 3005.89/3014.85 c #Conflicts: 1093000 | #Constraints: 31064 3005.89/3014.85 c #Conflicts: 1094000 | #Constraints: 32072 3005.89/3014.85 c #Conflicts: 1095000 | #Constraints: 33083 3005.89/3014.85 c #Conflicts: 1096000 | #Constraints: 34083 3005.89/3014.85 c #Conflicts: 1097000 | #Constraints: 35089 3005.89/3014.85 c #Conflicts: 1098000 | #Constraints: 36089 3005.89/3014.85 c #Conflicts: 1099000 | #Constraints: 37089 3005.89/3014.85 c #Conflicts: 1100000 | #Constraints: 38089 3005.89/3014.85 c #Conflicts: 1101000 | #Constraints: 39089 3005.89/3014.85 c #Conflicts: 1102000 | #Constraints: 40090 3005.89/3014.85 c #Conflicts: 1103000 | #Constraints: 41090 3005.89/3014.85 c #Conflicts: 1104000 | #Constraints: 42090 3005.89/3014.85 c INPROCESSING 3005.89/3014.85 c GARBAGE COLLECT 3005.89/3014.85 c rational objective 15 3194.65/3204.13 c #Conflicts: 1105000 | #Constraints: 22273 3194.65/3204.13 c #Conflicts: 1106000 | #Constraints: 23274 3194.65/3204.13 c #Conflicts: 1107000 | #Constraints: 24274 3194.65/3204.13 c #Conflicts: 1108000 | #Constraints: 25274 3194.65/3204.13 c #Conflicts: 1109000 | #Constraints: 26274 3194.65/3204.13 c #Conflicts: 1110000 | #Constraints: 27274 3194.65/3204.13 c #Conflicts: 1111000 | #Constraints: 28274 3194.65/3204.13 c #Conflicts: 1112000 | #Constraints: 29274 3194.65/3204.13 c #Conflicts: 1113000 | #Constraints: 30275 3194.65/3204.13 c #Conflicts: 1114000 | #Constraints: 31275 3194.65/3204.13 c #Conflicts: 1115000 | #Constraints: 32281 3194.65/3204.13 c #Conflicts: 1116000 | #Constraints: 33283 3194.65/3204.13 c #Conflicts: 1117000 | #Constraints: 34285 3194.65/3204.13 c #Conflicts: 1118000 | #Constraints: 35285 3194.65/3204.13 c #Conflicts: 1119000 | #Constraints: 36285 3194.65/3204.13 c #Conflicts: 1120000 | #Constraints: 37285 3194.65/3204.13 c #Conflicts: 1121000 | #Constraints: 38286 3194.65/3204.13 c #Conflicts: 1122000 | #Constraints: 39286 3194.65/3204.13 c #Conflicts: 1123000 | #Constraints: 40286 3194.65/3204.13 c #Conflicts: 1124000 | #Constraints: 41287 3194.65/3204.13 c #Conflicts: 1125000 | #Constraints: 42287 3194.65/3204.13 c INPROCESSING 3194.65/3204.13 c GARBAGE COLLECT 3194.65/3204.13 c rational objective 15 3441.20/3451.34 c #Conflicts: 1126000 | #Constraints: 22268 3441.20/3451.34 c #Conflicts: 1127000 | #Constraints: 23268 3441.20/3451.34 c #Conflicts: 1128000 | #Constraints: 24268 3441.20/3451.34 c #Conflicts: 1129000 | #Constraints: 25268 3441.20/3451.34 c #Conflicts: 1130000 | #Constraints: 26268 3441.20/3451.34 c #Conflicts: 1131000 | #Constraints: 27268 3441.20/3451.34 c #Conflicts: 1132000 | #Constraints: 28269 3441.20/3451.34 c #Conflicts: 1133000 | #Constraints: 29269 3441.20/3451.34 c #Conflicts: 1134000 | #Constraints: 30269 3441.20/3451.34 c #Conflicts: 1135000 | #Constraints: 31269 3441.20/3451.34 c #Conflicts: 1136000 | #Constraints: 32272 3441.20/3451.34 c #Conflicts: 1137000 | #Constraints: 33272 3441.20/3451.34 c #Conflicts: 1138000 | #Constraints: 34272 3441.20/3451.34 c #Conflicts: 1139000 | #Constraints: 35273 3441.20/3451.34 c #Conflicts: 1140000 | #Constraints: 36273 3441.20/3451.34 c #Conflicts: 1141000 | #Constraints: 37273 3441.20/3451.34 c #Conflicts: 1142000 | #Constraints: 38273 3441.20/3451.34 c #Conflicts: 1143000 | #Constraints: 39274 3441.20/3451.34 c #Conflicts: 1144000 | #Constraints: 40275 3441.20/3451.34 c #Conflicts: 1145000 | #Constraints: 41275 3441.20/3451.34 c #Conflicts: 1146000 | #Constraints: 42277 3441.20/3451.34 c INPROCESSING 3441.20/3451.34 c GARBAGE COLLECT 3441.20/3451.34 c rational objective 15 3506.54/3516.86 c #Conflicts: 1147000 | #Constraints: 22055 3506.54/3516.86 c #Conflicts: 1148000 | #Constraints: 23055 3506.54/3516.86 c #Conflicts: 1149000 | #Constraints: 24061 3506.54/3516.86 c #Conflicts: 1150000 | #Constraints: 25065 3506.54/3516.86 c #Conflicts: 1151000 | #Constraints: 26069 3506.54/3516.86 c #Conflicts: 1152000 | #Constraints: 27069 3506.54/3516.86 c #Conflicts: 1153000 | #Constraints: 28070 3506.54/3516.86 c #Conflicts: 1154000 | #Constraints: 29071 3506.54/3516.86 c #Conflicts: 1155000 | #Constraints: 30072 3506.54/3516.86 c #Conflicts: 1156000 | #Constraints: 31072 3506.54/3516.86 c #Conflicts: 1157000 | #Constraints: 32072 3506.54/3516.86 c #Conflicts: 1158000 | #Constraints: 33074 3506.54/3516.86 c #Conflicts: 1159000 | #Constraints: 34080 3506.54/3516.86 c #Conflicts: 1160000 | #Constraints: 35080 3506.54/3516.86 c #Conflicts: 1161000 | #Constraints: 36080 3506.54/3516.86 c #Conflicts: 1162000 | #Constraints: 37081 3506.54/3516.86 c #Conflicts: 1163000 | #Constraints: 38083 3506.54/3516.86 c #Conflicts: 1164000 | #Constraints: 39083 3506.54/3516.86 c #Conflicts: 1165000 | #Constraints: 40083 3506.54/3516.86 c #Conflicts: 1166000 | #Constraints: 41083 3506.54/3516.86 c #Conflicts: 1167000 | #Constraints: 42083 3506.54/3516.86 c #Conflicts: 1168000 | #Constraints: 43083 3506.54/3516.86 c INPROCESSING 3506.54/3516.86 c GARBAGE COLLECT 3506.54/3516.86 c rational objective 15 3547.24/3557.64 c #Conflicts: 1169000 | #Constraints: 22659 3547.24/3557.64 c #Conflicts: 1170000 | #Constraints: 23660 3547.24/3557.64 c #Conflicts: 1171000 | #Constraints: 24663 3547.24/3557.64 c #Conflicts: 1172000 | #Constraints: 25667 3547.24/3557.64 c #Conflicts: 1173000 | #Constraints: 26667 3547.24/3557.64 c #Conflicts: 1174000 | #Constraints: 27668 3547.24/3557.64 c #Conflicts: 1175000 | #Constraints: 28669 3547.24/3557.64 c #Conflicts: 1176000 | #Constraints: 29669 3547.24/3557.64 c #Conflicts: 1177000 | #Constraints: 30674 3547.24/3557.64 c #Conflicts: 1178000 | #Constraints: 31675 3547.24/3557.64 c #Conflicts: 1179000 | #Constraints: 32675 3547.24/3557.64 c #Conflicts: 1180000 | #Constraints: 33675 3547.24/3557.64 c #Conflicts: 1181000 | #Constraints: 34675 3547.24/3557.64 c #Conflicts: 1182000 | #Constraints: 35675 3547.24/3557.64 c #Conflicts: 1183000 | #Constraints: 36675 3547.24/3557.64 c #Conflicts: 1184000 | #Constraints: 37675 3547.24/3557.64 c #Conflicts: 1185000 | #Constraints: 38675 3547.24/3557.64 c #Conflicts: 1186000 | #Constraints: 39675 3547.24/3557.64 c #Conflicts: 1187000 | #Constraints: 40675 3547.24/3557.64 c #Conflicts: 1188000 | #Constraints: 41677 3547.24/3557.64 c #Conflicts: 1189000 | #Constraints: 42677 3547.24/3557.64 c #Conflicts: 1190000 | #Constraints: 43677 3547.24/3557.64 c INPROCESSING 3547.24/3557.64 c GARBAGE COLLECT 3547.24/3557.64 c rational objective 15 3599.91/3610.40 c #Conflicts: 1191000 | #Constraints: 23055 3599.91/3610.40 c #Conflicts: 1192000 | #Constraints: 24059 3599.91/3610.40 c #Conflicts: 1193000 | #Constraints: 25059 3599.91/3610.40 c #Conflicts: 1194000 | #Constraints: 26059 3599.91/3610.40 c #Conflicts: 1195000 | #Constraints: 27059 3599.91/3610.40 c #Conflicts: 1196000 | #Constraints: 28060 3599.91/3610.40 c #Conflicts: 1197000 | #Constraints: 29060 3599.91/3610.40 c #Conflicts: 1198000 | #Constraints: 30062 3599.91/3610.40 c #Conflicts: 1199000 | #Constraints: 31062 3599.91/3610.40 c #Conflicts: 1200000 | #Constraints: 32062 3599.91/3610.40 c #Conflicts: 1201000 | #Constraints: 33064 3599.91/3610.40 c #Conflicts: 1202000 | #Constraints: 34065 3599.91/3610.40 c #Conflicts: 1203000 | #Constraints: 35065 3599.91/3610.40 c #Conflicts: 1204000 | #Constraints: 36065 3599.91/3610.40 c #Conflicts: 1205000 | #Constraints: 37065 3599.91/3610.40 c #Conflicts: 1206000 | #Constraints: 38065 3599.91/3610.40 c #Conflicts: 1207000 | #Constraints: 39065 3599.91/3610.40 c #Conflicts: 1208000 | #Constraints: 40066 3599.91/3610.40 c #Conflicts: 1209000 | #Constraints: 41066 3599.91/3610.40 c #Conflicts: 1210000 | #Constraints: 42066 3599.91/3610.40 c #Conflicts: 1211000 | #Constraints: 43066 3599.91/3610.40 c #Conflicts: 1212000 | #Constraints: 44066 3599.91/3610.40 c INPROCESSING 3599.91/3610.40 c GARBAGE COLLECT 3599.91/3610.40 c rational objective 15 3600.01/3610.50 c Program interrupted by user. 3600.01/3610.50 c cpu time 3548.24 s 3600.01/3610.50 c deterministic time 797742296409 7.98e+11 3600.01/3610.50 c optimization time 51.6175 s 3600.01/3610.50 c total solve time 3496.62 s 3600.01/3610.50 c core-guided solve time 1737.35 s 3600.01/3610.50 c propagation time 3297.64 s 3600.01/3610.50 c conflict analysis time 185.479 s 3600.01/3610.50 c propagations 214691984 3600.01/3610.50 c resolve steps 2956135 3600.01/3610.50 c decisions 23701103 3600.01/3610.50 c conflicts 1212000 3600.01/3610.50 c restarts 2300 3600.01/3610.50 c inprocessing phases 101 3600.01/3610.50 c input clauses 173 3600.01/3610.50 c input cardinalities 188 3600.01/3610.50 c input general constraints 67 3600.01/3610.50 c input average constraint length 53.24 3600.01/3610.50 c input average constraint degree 10756.17 3600.01/3610.50 c learned clauses 145165 3600.01/3610.50 c learned cardinalities 971 3600.01/3610.50 c learned general constraints 1067341 3600.01/3610.50 c learned average constraint length 419.02 3600.01/3610.50 c learned average constraint degree 1704357487.32 3600.01/3610.50 c watched constraints 787746 3600.01/3610.50 c counting constraints 279662 3600.01/3610.50 c gcd simplifications 101951 3600.01/3610.50 c detected cardinalities 60 3600.01/3610.50 c weakened non-implied lits 9643402 3600.01/3610.50 c weakened non-implying lits 2078412 3600.01/3610.50 c original variables 5568 3600.01/3610.50 c clausal propagations 714117 3600.01/3610.50 c cardinality propagations 178894941 3600.01/3610.50 c watched propagations 25005406 3600.01/3610.50 c counting propagations 9344816 3600.01/3610.50 c watch lookups 38253757341 3600.01/3610.50 c watch backjump lookups 36305540605 3600.01/3610.50 c watch checks 415775286703 3600.01/3610.50 c propagation checks 305587686778 3600.01/3610.50 c constraint additions 1340820796 3600.01/3610.50 c trail pops 239603607 3600.01/3610.50 c formula constraints 412 3600.01/3610.50 c learned constraints 1210523 3600.01/3610.50 c bound constraints 14 3600.01/3610.50 c core-guided constraints 2 3600.01/3610.50 c encountered formula constraints 1562348 3600.01/3610.50 c encountered learned constraints 1378644 3600.01/3610.50 c encountered bound constraints 37 3600.01/3610.50 c encountered core-guided constraints 524 3600.01/3610.50 c LP total time 694.046 s 3600.01/3610.50 c LP solve time 590.89 s 3600.01/3610.50 c LP constraints added 460 3600.01/3610.50 c LP constraints removed 48 3600.01/3610.50 c LP pivots internal 1204781 3600.01/3610.50 c LP pivots root 2710 3600.01/3610.50 c LP calls 948778 3600.01/3610.50 c LP optimalities 947297 3600.01/3610.50 c LP no pivot count 760830 3600.01/3610.50 c LP infeasibilities 1477 3600.01/3610.50 c LP valid Farkas constraints 1477 3600.01/3610.50 c LP learned Farkas constraints 1477 3600.01/3610.50 c LP basis resets 1 3600.01/3610.50 c LP cycling count 1 3600.01/3610.50 c LP singular count 0 3600.01/3610.50 c LP no primal count 0 3600.01/3610.50 c LP no farkas count 0 3600.01/3610.50 c LP other issue count 0 3600.01/3610.50 c LP Gomory cuts 0 3600.01/3610.50 c LP learned cuts 48 3600.01/3610.50 c LP deleted cuts 48 3600.01/3610.50 c LP encountered Gomory constraints 0 3600.01/3610.50 c LP encountered Farkas constraints 989296 3600.01/3610.50 c LP encountered learned Farkas constraints 235809 3600.01/3610.50 c CG auxiliary variables introduced 1 3600.01/3610.50 c CG solutions found 13 3600.01/3610.50 c CG cores constructed 1 3600.01/3610.50 c CG core cardinality constraints returned 1 3600.01/3610.50 c CG unit cores 0 3600.01/3610.50 c CG single cores 1 3600.01/3610.50 c CG blocks removed during cardinality reduction 0 3600.01/3610.50 c CG first core best 0 3600.01/3610.50 c CG decision core best 0 3600.01/3610.50 c CG core reduction tie 0 3600.01/3610.50 c CG core degree average 15.00 3600.01/3610.50 c CG core slack average 17.00 3600.01/3610.50 s SATISFIABLE 3600.01/3610.50 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: 63931 MiB (429 MiB free)
memory of node 1: 64510 MiB (2846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460472-1722072069/watcher-4460472-1722072069 -o /tmp/evaluation-result-4460472-1722072069/solver-4460472-1722072069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365026 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460472-1722072069 --lp-cut-gomory=0 HOME/instance-4460472-1722072069.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=369416, runsolver pid=369413
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3345020/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=43600 memory=14708 CPUtime=0.09 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 2360 0 0 0 9 0 0 0 20 0 1 0 43736442 44646400 3677 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 10900 3677 1869 992 0 2758 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 14708 KiB
[startup+0.205923 s]*
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3337360/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=44292 memory=17808 CPUtime=0.2 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 2623 0 0 0 19 1 0 0 20 0 1 0 43736442 45355008 4452 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 11073 4452 1869 992 0 2931 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44292 KiB
Current children cumulated memory: 17808 KiB
[startup+0.305862 s]*
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3332564/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=47688 memory=21516 CPUtime=0.3 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 3022 0 0 0 28 2 0 0 20 0 1 0 43736442 48832512 5379 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 11922 5379 1869 992 0 3780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47688 KiB
Current children cumulated memory: 21516 KiB
[startup+0.700236 s]
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3319628/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=55568 memory=29732 CPUtime=0.68 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 4520 0 0 0 64 4 0 0 20 0 1 0 43736442 56901632 7433 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 13892 7433 1885 992 0 5750 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55568 KiB
Current children cumulated memory: 29732 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3291784/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=80316 memory=47796 CPUtime=1.48 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 6512 0 0 0 140 8 0 0 20 0 1 0 43736442 82243584 11949 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 20079 11949 1885 992 0 11937 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80316 KiB
Current children cumulated memory: 47796 KiB
[startup+3.10588 s]
/proc/loadavg: 4.08 4.14 4.11 5/266 369417
/proc/meminfo: memFree=3184000/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=104656 memory=63344 CPUtime=3.09 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 8364 0 0 0 293 16 0 0 20 0 1 0 43736442 107167744 15836 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 26164 15836 1885 992 0 18022 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 104656 KiB
Current children cumulated memory: 63344 KiB
[startup+6.30014 s]
/proc/loadavg: 4.16 4.16 4.11 4/260 369443
/proc/meminfo: memFree=4351716/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=118144 memory=76520 CPUtime=6.27 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 11634 0 0 0 595 32 0 0 20 0 1 0 43736442 120979456 19130 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 29536 19130 1885 992 0 21394 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118144 KiB
Current children cumulated memory: 76520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/266 369511
/proc/meminfo: memFree=30366368/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=122708 memory=81004 CPUtime=12.65 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 12760 0 0 0 1212 53 0 0 20 0 1 0 43736442 125652992 20251 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 30677 20251 1885 992 0 22535 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 122708 KiB
Current children cumulated memory: 81004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.11 4/266 369513
/proc/meminfo: memFree=29936060/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=128116 memory=86020 CPUtime=25.41 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 14065 0 0 0 2462 79 0 0 20 0 1 0 43736442 131190784 21505 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 32029 21505 1885 992 0 23887 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 128116 KiB
Current children cumulated memory: 86020 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.15 4.11 4/260 369637
/proc/meminfo: memFree=48820016/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=134036 memory=92092 CPUtime=50.94 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 15584 0 0 0 4953 141 0 0 20 0 1 0 43736442 137252864 23023 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 33509 23023 1885 992 0 25367 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 134036 KiB
Current children cumulated memory: 92092 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 369665
/proc/meminfo: memFree=123773788/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=152596 memory=111748 CPUtime=101.99 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 19905 0 0 0 9919 280 0 0 20 0 1 0 43736442 156258304 27937 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 38149 27937 1885 992 0 30007 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 152596 KiB
Current children cumulated memory: 111748 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 369704
/proc/meminfo: memFree=123135584/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=165724 memory=122700 CPUtime=161.83 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 22735 0 0 0 15774 409 0 0 20 0 1 0 43736442 169701376 30675 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 41431 30675 1885 992 0 33289 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 165724 KiB
Current children cumulated memory: 122700 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/261 369828
/proc/meminfo: memFree=122602224/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=183936 memory=140544 CPUtime=221.67 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 27314 0 0 0 21587 580 0 0 20 0 1 0 43736442 188350464 35136 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 45984 35136 1885 992 0 37842 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 183936 KiB
Current children cumulated memory: 140544 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/260 370222
/proc/meminfo: memFree=121790976/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=212568 memory=166504 CPUtime=281.49 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 33826 0 0 0 27420 729 0 0 20 0 1 0 43736442 217669632 41626 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 53142 41626 1885 992 0 45000 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 212568 KiB
Current children cumulated memory: 166504 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/259 370233
/proc/meminfo: memFree=121312448/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=231780 memory=181360 CPUtime=341.32 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 37616 0 0 0 33280 852 0 0 20 0 1 0 43736442 237342720 45340 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 57945 45340 1885 992 0 49803 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 231780 KiB
Current children cumulated memory: 181360 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/260 370244
/proc/meminfo: memFree=120632268/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=238664 memory=186720 CPUtime=401.14 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 38961 0 0 0 39132 982 0 0 20 0 1 0 43736442 244391936 46680 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 59666 46680 1885 992 0 51524 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 238664 KiB
Current children cumulated memory: 186720 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 370425
/proc/meminfo: memFree=120361840/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=255464 memory=201036 CPUtime=460.97 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 42595 0 0 0 44976 1121 0 0 20 0 1 0 43736442 261595136 50259 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 63866 50259 1885 992 0 55724 0
################
# More data... #
################
Current children cumulated memory: 979172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 371554
/proc/meminfo: memFree=109275600/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1297596 memory=1037864 CPUtime=2913.65 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 163794 0 0 0 286804 4561 0 0 20 0 1 0 43736442 1328738304 259466 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 324399 259466 1969 992 0 316257 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 1297596 KiB
Current children cumulated memory: 1037864 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 371570
/proc/meminfo: memFree=109074192/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1300672 memory=1073184 CPUtime=2973.48 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 165047 0 0 0 292771 4577 0 0 20 0 1 0 43736442 1331888128 268296 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 325168 268296 1969 992 0 317026 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 1300672 KiB
Current children cumulated memory: 1073184 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 371581
/proc/meminfo: memFree=108859900/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1302856 memory=1094768 CPUtime=3033.3 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 166123 0 0 0 298715 4615 0 0 20 0 1 0 43736442 1334124544 273692 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 325714 273692 1969 992 0 317572 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 1302856 KiB
Current children cumulated memory: 1094768 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 371591
/proc/meminfo: memFree=108687420/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1329544 memory=1111184 CPUtime=3093.13 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 170356 0 0 0 304663 4650 0 0 20 0 1 0 43736442 1361453056 277796 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 332386 277796 1969 992 0 324244 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 1329544 KiB
Current children cumulated memory: 1111184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/260 371602
/proc/meminfo: memFree=108540276/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1334408 memory=1115528 CPUtime=3152.96 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 171526 0 0 0 310585 4711 0 0 20 0 1 0 43736442 1366433792 278882 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 333602 278882 1969 992 0 325460 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 1334408 KiB
Current children cumulated memory: 1115528 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/260 371613
/proc/meminfo: memFree=108397408/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1340956 memory=1120832 CPUtime=3212.79 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 172873 0 0 0 316517 4762 0 0 20 0 1 0 43736442 1373138944 280208 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 335239 280208 1969 992 0 327097 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 1340956 KiB
Current children cumulated memory: 1120832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 371624
/proc/meminfo: memFree=108279580/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1347244 memory=1124960 CPUtime=3272.62 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 174012 0 0 0 322473 4789 0 0 20 0 1 0 43736442 1379577856 281240 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 336811 281240 1969 992 0 328669 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 1347244 KiB
Current children cumulated memory: 1124960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/257 371635
/proc/meminfo: memFree=107909552/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1375220 memory=1147848 CPUtime=3332.45 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 179810 0 0 0 328416 4829 0 0 20 0 1 0 43736442 1408225280 286962 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 343805 286962 1969 992 0 335663 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 1375220 KiB
Current children cumulated memory: 1147848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.64 4.25 4.14 5/258 371646
/proc/meminfo: memFree=107511372/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1386036 memory=1160156 CPUtime=3392.3 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 182011 0 0 0 334377 4853 0 0 20 0 1 0 43736442 1419300864 290039 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 346509 290039 1969 992 0 338367 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 1386036 KiB
Current children cumulated memory: 1160156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.49 4.29 4.16 5/258 371656
/proc/meminfo: memFree=106985988/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1396476 memory=1178436 CPUtime=3452.17 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 184467 0 0 0 340312 4905 0 0 20 0 1 0 43736442 1429991424 294609 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 349119 294609 1969 992 0 340977 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 1396476 KiB
Current children cumulated memory: 1178436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.25 4.15 5/257 371666
/proc/meminfo: memFree=106237016/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1399424 memory=1195096 CPUtime=3512.03 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 185230 0 0 0 346204 4999 0 0 20 0 1 0 43736442 1433010176 298774 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 349856 298774 1969 992 0 341714 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 1399424 KiB
Current children cumulated memory: 1195096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.22 4.15 5/259 371682
/proc/meminfo: memFree=105325928/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1400792 memory=1206252 CPUtime=3571.88 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 185988 0 0 0 352049 5139 0 0 20 0 1 0 43736442 1434411008 301563 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 350198 301563 1969 992 0 342056 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 1400792 KiB
Current children cumulated memory: 1206252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.07 4.20 4.14 5/259 371688
/proc/meminfo: memFree=105030208/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1403652 memory=1215052 CPUtime=3600.01 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 186702 0 0 0 354824 5177 0 0 20 0 1 0 43736442 1437339648 303763 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 350913 303763 1969 992 0 342771 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1403652 KiB
Current children cumulated memory: 1215052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.54 s]
# the end of solver process 369416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3548.25 s, system=51.7991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.07 4.20 4.14 5/259 371688
/proc/meminfo: memFree=105030208/131524600 swapFree=131058088/131071996
[pid=369416] ppid=369413 vsize=1403652 memory=1215052 CPUtime=3600.01 cores=1,3
/proc/369416/stat : 369416 (roundingsat) R 369413 369416 365014 0 -1 4194304 186702 0 0 0 354824 5177 0 0 20 0 1 0 43736442 1437339648 303763 134679101440 4194304 8254357 140728582722160 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 26234880 140728582730587 140728582730849 140728582730849 140728582737865 0
/proc/369416/statm: 350913 303763 1969 992 0 342771 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1403652 KiB
Current children cumulated memory: 1215052 KiB
Child status: 0
Real time (s): 3610.54
CPU time (s): 3600.05
CPU user time (s): 3548.25
CPU system time (s): 51.7991
CPU usage (%): 99.7093
Max. virtual memory (cumulated for all children) (KiB): 1403652
Max. memory (cumulated for all children) (KiB): 1215052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.25
system time used= 51.7991
maximum resident set size= 1215256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10778416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 347
involuntary context switches= 4834
# summary of solver processes directly reported to runsolver:
# pid: 369416
# total CPU time (s): 3600.05
# total CPU user time (s): 3548.25
# total CPU system time (s): 51.7991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10043 second user time and 16.3783 second system time
The end
Begin job on nodeC031 at 2024-07-27 11:21:09 IDJOB=4460472 IDBENCH=158621 IDSOLVER=3086 FILE ID=nodeC031/4460472-1722072069 RUNJOBID= nodeC031-1722064836-365026 SLURM_JOB_ID= 8248099 Free space on /tmp= 890032 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-4460472-1722072069/watcher-4460472-1722072069 -o /tmp/evaluation-result-4460472-1722072069/solver-4460472-1722072069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365026 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460472-1722072069 --lp-cut-gomory=0 HOME/instance-4460472-1722072069.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119 RANDOM SEED=1994572972 nodeC031.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 : 3664.171 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 : 7000.44 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 : 3655.511 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 : 7007.12 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.487 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 : 7000.44 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 : 3662.314 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 : 7007.12 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 : 3664.167 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 : 7000.44 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 : 3664.511 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 : 7007.12 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.399 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 : 7000.44 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 : 3600.636 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 : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 3354408 kB MemAvailable: 115861744 kB Buffers: 363696 kB Cached: 112595548 kB SwapCached: 164 kB Active: 2226876 kB Inactive: 124779796 kB Active(anon): 4084 kB Inactive(anon): 14096156 kB Active(file): 2222792 kB Inactive(file): 110683640 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058088 kB Dirty: 70728 kB Writeback: 0 kB AnonPages: 14043756 kB Mapped: 112644 kB Shmem: 53120 kB KReclaimable: 662136 kB Slab: 785980 kB SReclaimable: 662136 kB SUnreclaim: 123844 kB KernelStack: 4320 kB PageTables: 37908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 16094580 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15904 kB HardwareCorrupted: 0 kB AnonHugePages: 6600704 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: 367316 kB DirectMap2M: 37154816 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 889924 MiB End job on nodeC031 at 2024-07-27 12:21:20