| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 16 | 3600.12 | 3612.06 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb |
| MD5SUM | a64beba99ddb27280a5fb75072b9e119 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 3419.49 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5568 |
| Total number of constraints | 412 |
| Number of constraints which are clauses | 173 |
| Number of constraints which are cardinality constraints (but not clauses) | 173 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 174 |
| Number of terms in the objective function | 32 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 56906 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 206719 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.04 c #variables 5568 #constraints 412 0.11/0.17 c bounds - >= 0 @ 0.030303 0.11/0.17 c rational objective 15 3.47/3.50 c bounds 28 >= 0 @ 1.0526 3.47/3.50 c bounds 28 >= 15 @ 1.05377 3.47/3.50 c #Conflicts: 1000 | #Constraints: 1428 3.47/3.50 c #Conflicts: 2000 | #Constraints: 2440 3.47/3.50 c INPROCESSING 3.47/3.50 c GARBAGE COLLECT 3.47/3.50 c rational objective 15 5.98/6.07 c bounds 27 >= 15 @ 3.37607 5.98/6.07 c bounds 26 >= 15 @ 3.41186 5.98/6.07 c bounds 25 >= 15 @ 3.41446 5.98/6.07 c bounds 24 >= 15 @ 3.67963 5.98/6.07 c bounds 23 >= 15 @ 3.68365 5.98/6.07 c bounds 22 >= 15 @ 3.68789 5.98/6.07 c bounds 21 >= 15 @ 3.69183 5.98/6.07 c bounds 20 >= 15 @ 3.69579 5.98/6.07 c bounds 19 >= 15 @ 3.70013 5.98/6.07 c bounds 18 >= 15 @ 3.95429 5.98/6.07 c bounds 17 >= 15 @ 3.9706 5.98/6.07 c #Conflicts: 3000 | #Constraints: 2453 5.98/6.07 c bounds 16 >= 15 @ 5.00495 5.98/6.07 c #Conflicts: 4000 | #Constraints: 3470 5.98/6.07 c INPROCESSING 5.98/6.07 c GARBAGE COLLECT 5.98/6.07 c rational objective 15 8.36/8.45 c #Conflicts: 5000 | #Constraints: 2859 8.36/8.45 c #Conflicts: 6000 | #Constraints: 3865 8.36/8.45 c INPROCESSING 8.36/8.45 c GARBAGE COLLECT 8.36/8.45 c rational objective 15 11.55/11.60 c #Conflicts: 7000 | #Constraints: 2845 11.55/11.60 c #Conflicts: 8000 | #Constraints: 3851 11.55/11.60 c #Conflicts: 9000 | #Constraints: 4852 11.55/11.60 c INPROCESSING 11.55/11.60 c GARBAGE COLLECT 11.55/11.60 c rational objective 15 14.63/14.71 c #Conflicts: 10000 | #Constraints: 3542 14.63/14.71 c #Conflicts: 11000 | #Constraints: 4549 14.63/14.71 c #Conflicts: 12000 | #Constraints: 5550 14.63/14.71 c INPROCESSING 14.63/14.71 c GARBAGE COLLECT 14.63/14.71 c rational objective 15 19.04/19.12 c #Conflicts: 13000 | #Constraints: 3999 19.04/19.12 c #Conflicts: 14000 | #Constraints: 5001 19.04/19.12 c #Conflicts: 15000 | #Constraints: 6001 19.04/19.12 c INPROCESSING 19.04/19.12 c GARBAGE COLLECT 19.04/19.12 c rational objective 15 24.40/24.52 c #Conflicts: 16000 | #Constraints: 4220 24.40/24.52 c #Conflicts: 17000 | #Constraints: 5220 24.40/24.52 c #Conflicts: 18000 | #Constraints: 6220 24.40/24.52 c INPROCESSING 24.40/24.52 c GARBAGE COLLECT 24.40/24.52 c rational objective 15 29.49/29.67 c #Conflicts: 19000 | #Constraints: 4240 29.49/29.67 c #Conflicts: 20000 | #Constraints: 5245 29.49/29.67 c #Conflicts: 21000 | #Constraints: 6245 29.49/29.67 c INPROCESSING 29.49/29.67 c GARBAGE COLLECT 29.49/29.67 c rational objective 15 34.47/34.68 c #Conflicts: 22000 | #Constraints: 4041 34.47/34.68 c #Conflicts: 23000 | #Constraints: 5044 34.47/34.68 c #Conflicts: 24000 | #Constraints: 6050 34.47/34.68 c #Conflicts: 25000 | #Constraints: 7051 34.47/34.68 c INPROCESSING 34.47/34.68 c GARBAGE COLLECT 34.47/34.68 c rational objective 15 39.86/40.04 c #Conflicts: 26000 | #Constraints: 4645 39.86/40.04 c #Conflicts: 27000 | #Constraints: 5646 39.86/40.04 c #Conflicts: 28000 | #Constraints: 6646 39.86/40.04 c #Conflicts: 29000 | #Constraints: 7647 39.86/40.04 c INPROCESSING 39.86/40.04 c GARBAGE COLLECT 39.86/40.04 c rational objective 15 44.95/45.19 c #Conflicts: 30000 | #Constraints: 5038 44.95/45.19 c #Conflicts: 31000 | #Constraints: 6040 44.95/45.19 c #Conflicts: 32000 | #Constraints: 7042 44.95/45.19 c #Conflicts: 33000 | #Constraints: 8042 44.95/45.19 c INPROCESSING 44.95/45.19 c GARBAGE COLLECT 44.95/45.19 c rational objective 15 51.12/51.34 c #Conflicts: 34000 | #Constraints: 5247 51.12/51.34 c #Conflicts: 35000 | #Constraints: 6250 51.12/51.34 c #Conflicts: 36000 | #Constraints: 7250 51.12/51.34 c #Conflicts: 37000 | #Constraints: 8255 51.12/51.34 c INPROCESSING 51.12/51.34 c GARBAGE COLLECT 51.12/51.34 c rational objective 15 57.40/57.62 c #Conflicts: 38000 | #Constraints: 5247 57.40/57.62 c #Conflicts: 39000 | #Constraints: 6248 57.40/57.62 c #Conflicts: 40000 | #Constraints: 7248 57.40/57.62 c #Conflicts: 41000 | #Constraints: 8249 57.40/57.62 c INPROCESSING 57.40/57.62 c GARBAGE COLLECT 57.40/57.62 c rational objective 15 64.96/65.28 c #Conflicts: 42000 | #Constraints: 5043 64.96/65.28 c #Conflicts: 43000 | #Constraints: 6043 64.96/65.28 c #Conflicts: 44000 | #Constraints: 7043 64.96/65.28 c #Conflicts: 45000 | #Constraints: 8044 64.96/65.28 c #Conflicts: 46000 | #Constraints: 9055 64.96/65.28 c INPROCESSING 64.96/65.28 c GARBAGE COLLECT 64.96/65.28 c rational objective 15 72.15/72.44 c #Conflicts: 47000 | #Constraints: 5651 72.15/72.44 c #Conflicts: 48000 | #Constraints: 6656 72.15/72.44 c #Conflicts: 49000 | #Constraints: 7656 72.15/72.44 c #Conflicts: 50000 | #Constraints: 8656 72.15/72.44 c #Conflicts: 51000 | #Constraints: 9656 72.15/72.44 c INPROCESSING 72.15/72.44 c GARBAGE COLLECT 72.15/72.44 c rational objective 15 78.84/79.11 c #Conflicts: 52000 | #Constraints: 6044 78.84/79.11 c #Conflicts: 53000 | #Constraints: 7053 78.84/79.11 c #Conflicts: 54000 | #Constraints: 8054 78.84/79.11 c #Conflicts: 55000 | #Constraints: 9056 78.84/79.11 c #Conflicts: 56000 | #Constraints: 10056 78.84/79.11 c INPROCESSING 78.84/79.11 c GARBAGE COLLECT 78.84/79.11 c rational objective 15 85.31/85.64 c #Conflicts: 57000 | #Constraints: 6259 85.31/85.64 c #Conflicts: 58000 | #Constraints: 7264 85.31/85.64 c #Conflicts: 59000 | #Constraints: 8264 85.31/85.64 c #Conflicts: 60000 | #Constraints: 9264 85.31/85.64 c #Conflicts: 61000 | #Constraints: 10264 85.31/85.64 c INPROCESSING 85.31/85.64 c GARBAGE COLLECT 85.31/85.64 c rational objective 15 94.98/95.30 c #Conflicts: 62000 | #Constraints: 6251 94.98/95.30 c #Conflicts: 63000 | #Constraints: 7251 94.98/95.30 c #Conflicts: 64000 | #Constraints: 8251 94.98/95.30 c #Conflicts: 65000 | #Constraints: 9253 94.98/95.30 c #Conflicts: 66000 | #Constraints: 10253 94.98/95.30 c INPROCESSING 94.98/95.30 c GARBAGE COLLECT 94.98/95.30 c rational objective 15 105.04/105.46 c #Conflicts: 67000 | #Constraints: 6052 105.04/105.46 c #Conflicts: 68000 | #Constraints: 7053 105.04/105.46 c #Conflicts: 69000 | #Constraints: 8055 105.04/105.46 c #Conflicts: 70000 | #Constraints: 9055 105.04/105.46 c #Conflicts: 71000 | #Constraints: 10057 105.04/105.46 c #Conflicts: 72000 | #Constraints: 11058 105.04/105.46 c INPROCESSING 105.04/105.46 c GARBAGE COLLECT 105.04/105.46 c rational objective 15 118.19/118.60 c #Conflicts: 73000 | #Constraints: 6645 118.19/118.60 c #Conflicts: 74000 | #Constraints: 7645 118.19/118.60 c #Conflicts: 75000 | #Constraints: 8645 118.19/118.60 c #Conflicts: 76000 | #Constraints: 9646 118.19/118.60 c #Conflicts: 77000 | #Constraints: 10646 118.19/118.60 c #Conflicts: 78000 | #Constraints: 11648 118.19/118.60 c INPROCESSING 118.19/118.60 c GARBAGE COLLECT 118.19/118.60 c rational objective 15 133.04/133.58 c #Conflicts: 79000 | #Constraints: 7037 133.04/133.58 c #Conflicts: 80000 | #Constraints: 8037 133.04/133.58 c #Conflicts: 81000 | #Constraints: 9037 133.04/133.58 c #Conflicts: 82000 | #Constraints: 10045 133.04/133.58 c #Conflicts: 83000 | #Constraints: 11045 133.04/133.58 c #Conflicts: 84000 | #Constraints: 12045 133.04/133.58 c INPROCESSING 133.04/133.58 c GARBAGE COLLECT 133.04/133.58 c rational objective 15 150.68/151.27 c #Conflicts: 85000 | #Constraints: 7236 150.68/151.27 c #Conflicts: 86000 | #Constraints: 8236 150.68/151.27 c #Conflicts: 87000 | #Constraints: 9236 150.68/151.27 c #Conflicts: 88000 | #Constraints: 10236 150.68/151.27 c #Conflicts: 89000 | #Constraints: 11236 150.68/151.27 c #Conflicts: 90000 | #Constraints: 12236 150.68/151.27 c INPROCESSING 150.68/151.27 c GARBAGE COLLECT 150.68/151.27 c rational objective 15 167.33/167.97 c #Conflicts: 91000 | #Constraints: 7232 167.33/167.97 c #Conflicts: 92000 | #Constraints: 8240 167.33/167.97 c #Conflicts: 93000 | #Constraints: 9241 167.33/167.97 c #Conflicts: 94000 | #Constraints: 10242 167.33/167.97 c #Conflicts: 95000 | #Constraints: 11248 167.33/167.97 c #Conflicts: 96000 | #Constraints: 12248 167.33/167.97 c INPROCESSING 167.33/167.97 c GARBAGE COLLECT 167.33/167.97 c rational objective 15 176.90/177.52 c #Conflicts: 97000 | #Constraints: 7041 176.90/177.52 c #Conflicts: 98000 | #Constraints: 8042 176.90/177.52 c #Conflicts: 99000 | #Constraints: 9057 176.90/177.52 c #Conflicts: 100000 | #Constraints: 10059 176.90/177.52 c #Conflicts: 101000 | #Constraints: 11059 176.90/177.52 c #Conflicts: 102000 | #Constraints: 12059 176.90/177.52 c #Conflicts: 103000 | #Constraints: 13059 176.90/177.52 c INPROCESSING 176.90/177.52 c GARBAGE COLLECT 176.90/177.52 c rational objective 15 185.37/186.08 c #Conflicts: 104000 | #Constraints: 7646 185.37/186.08 c #Conflicts: 105000 | #Constraints: 8647 185.37/186.08 c #Conflicts: 106000 | #Constraints: 9652 185.37/186.08 c #Conflicts: 107000 | #Constraints: 10652 185.37/186.08 c #Conflicts: 108000 | #Constraints: 11652 185.37/186.08 c #Conflicts: 109000 | #Constraints: 12652 185.37/186.08 c #Conflicts: 110000 | #Constraints: 13652 185.37/186.08 c INPROCESSING 185.37/186.08 c GARBAGE COLLECT 185.37/186.08 c rational objective 15 194.34/195.01 c #Conflicts: 111000 | #Constraints: 8059 194.34/195.01 c #Conflicts: 112000 | #Constraints: 9060 194.34/195.01 c #Conflicts: 113000 | #Constraints: 10065 194.34/195.01 c #Conflicts: 114000 | #Constraints: 11067 194.34/195.01 c #Conflicts: 115000 | #Constraints: 12067 194.34/195.01 c #Conflicts: 116000 | #Constraints: 13068 194.34/195.01 c #Conflicts: 117000 | #Constraints: 14068 194.34/195.01 c INPROCESSING 194.34/195.01 c GARBAGE COLLECT 194.34/195.01 c rational objective 15 202.79/203.56 c #Conflicts: 118000 | #Constraints: 8253 202.79/203.56 c #Conflicts: 119000 | #Constraints: 9265 202.79/203.56 c #Conflicts: 120000 | #Constraints: 10266 202.79/203.56 c #Conflicts: 121000 | #Constraints: 11269 202.79/203.56 c #Conflicts: 122000 | #Constraints: 12270 202.79/203.56 c #Conflicts: 123000 | #Constraints: 13270 202.79/203.56 c #Conflicts: 124000 | #Constraints: 14270 202.79/203.56 c INPROCESSING 202.79/203.56 c GARBAGE COLLECT 202.79/203.56 c rational objective 15 211.66/212.41 c #Conflicts: 125000 | #Constraints: 8258 211.66/212.41 c #Conflicts: 126000 | #Constraints: 9258 211.66/212.41 c #Conflicts: 127000 | #Constraints: 10258 211.66/212.41 c #Conflicts: 128000 | #Constraints: 11258 211.66/212.41 c #Conflicts: 129000 | #Constraints: 12258 211.66/212.41 c #Conflicts: 130000 | #Constraints: 13262 211.66/212.41 c #Conflicts: 131000 | #Constraints: 14262 211.66/212.41 c INPROCESSING 211.66/212.41 c GARBAGE COLLECT 211.66/212.41 c rational objective 15 221.71/222.57 c #Conflicts: 132000 | #Constraints: 8048 221.71/222.57 c #Conflicts: 133000 | #Constraints: 9069 221.71/222.57 c #Conflicts: 134000 | #Constraints: 10070 221.71/222.57 c #Conflicts: 135000 | #Constraints: 11076 221.71/222.57 c #Conflicts: 136000 | #Constraints: 12076 221.71/222.57 c #Conflicts: 137000 | #Constraints: 13076 221.71/222.57 c #Conflicts: 138000 | #Constraints: 14076 221.71/222.57 c #Conflicts: 139000 | #Constraints: 15076 221.71/222.57 c INPROCESSING 221.71/222.57 c GARBAGE COLLECT 221.71/222.57 c rational objective 15 229.79/230.63 c #Conflicts: 140000 | #Constraints: 8660 229.79/230.63 c #Conflicts: 141000 | #Constraints: 9660 229.79/230.63 c #Conflicts: 142000 | #Constraints: 10660 229.79/230.63 c #Conflicts: 143000 | #Constraints: 11660 229.79/230.63 c #Conflicts: 144000 | #Constraints: 12660 229.79/230.63 c #Conflicts: 145000 | #Constraints: 13660 229.79/230.63 c #Conflicts: 146000 | #Constraints: 14660 229.79/230.63 c #Conflicts: 147000 | #Constraints: 15660 229.79/230.63 c INPROCESSING 229.79/230.63 c GARBAGE COLLECT 229.79/230.63 c rational objective 15 237.76/238.62 c #Conflicts: 148000 | #Constraints: 9057 237.76/238.62 c #Conflicts: 149000 | #Constraints: 10058 237.76/238.62 c #Conflicts: 150000 | #Constraints: 11059 237.76/238.62 c #Conflicts: 151000 | #Constraints: 12063 237.76/238.62 c #Conflicts: 152000 | #Constraints: 13071 237.76/238.62 c #Conflicts: 153000 | #Constraints: 14081 237.76/238.62 c #Conflicts: 154000 | #Constraints: 15083 237.76/238.62 c #Conflicts: 155000 | #Constraints: 16083 237.76/238.62 c INPROCESSING 237.76/238.62 c GARBAGE COLLECT 237.76/238.62 c rational objective 15 250.12/251.03 c #Conflicts: 156000 | #Constraints: 9272 250.12/251.03 c #Conflicts: 157000 | #Constraints: 10278 250.12/251.03 c #Conflicts: 158000 | #Constraints: 11279 250.12/251.03 c #Conflicts: 159000 | #Constraints: 12280 250.12/251.03 c #Conflicts: 160000 | #Constraints: 13281 250.12/251.03 c #Conflicts: 161000 | #Constraints: 14281 250.12/251.03 c #Conflicts: 162000 | #Constraints: 15281 250.12/251.03 c #Conflicts: 163000 | #Constraints: 16281 250.12/251.03 c INPROCESSING 250.12/251.03 c GARBAGE COLLECT 250.12/251.03 c rational objective 15 260.19/261.19 c #Conflicts: 164000 | #Constraints: 9261 260.19/261.19 c #Conflicts: 165000 | #Constraints: 10261 260.19/261.19 c #Conflicts: 166000 | #Constraints: 11262 260.19/261.19 c #Conflicts: 167000 | #Constraints: 12269 260.19/261.19 c #Conflicts: 168000 | #Constraints: 13269 260.19/261.19 c #Conflicts: 169000 | #Constraints: 14269 260.19/261.19 c #Conflicts: 170000 | #Constraints: 15269 260.19/261.19 c #Conflicts: 171000 | #Constraints: 16269 260.19/261.19 c INPROCESSING 260.19/261.19 c GARBAGE COLLECT 260.19/261.19 c rational objective 15 270.34/271.33 c #Conflicts: 172000 | #Constraints: 9052 270.34/271.33 c #Conflicts: 173000 | #Constraints: 10053 270.34/271.33 c #Conflicts: 174000 | #Constraints: 11053 270.34/271.33 c #Conflicts: 175000 | #Constraints: 12054 270.34/271.33 c #Conflicts: 176000 | #Constraints: 13057 270.34/271.33 c #Conflicts: 177000 | #Constraints: 14067 270.34/271.33 c #Conflicts: 178000 | #Constraints: 15067 270.34/271.33 c #Conflicts: 179000 | #Constraints: 16067 270.34/271.33 c #Conflicts: 180000 | #Constraints: 17067 270.34/271.33 c INPROCESSING 270.34/271.33 c GARBAGE COLLECT 270.34/271.33 c rational objective 15 288.29/289.36 c #Conflicts: 181000 | #Constraints: 9651 288.29/289.36 c #Conflicts: 182000 | #Constraints: 10651 288.29/289.36 c #Conflicts: 183000 | #Constraints: 11652 288.29/289.36 c #Conflicts: 184000 | #Constraints: 12652 288.29/289.36 c #Conflicts: 185000 | #Constraints: 13653 288.29/289.36 c #Conflicts: 186000 | #Constraints: 14653 288.29/289.36 c #Conflicts: 187000 | #Constraints: 15653 288.29/289.36 c #Conflicts: 188000 | #Constraints: 16653 288.29/289.36 c #Conflicts: 189000 | #Constraints: 17653 288.29/289.36 c INPROCESSING 288.29/289.36 c GARBAGE COLLECT 288.29/289.36 c rational objective 15 299.44/300.59 c #Conflicts: 190000 | #Constraints: 10046 299.44/300.59 c #Conflicts: 191000 | #Constraints: 11046 299.44/300.59 c #Conflicts: 192000 | #Constraints: 12047 299.44/300.59 c #Conflicts: 193000 | #Constraints: 13047 299.44/300.59 c #Conflicts: 194000 | #Constraints: 14047 299.44/300.59 c #Conflicts: 195000 | #Constraints: 15047 299.44/300.59 c #Conflicts: 196000 | #Constraints: 16047 299.44/300.59 c #Conflicts: 197000 | #Constraints: 17050 299.44/300.59 c #Conflicts: 198000 | #Constraints: 18050 299.44/300.59 c INPROCESSING 299.44/300.59 c GARBAGE COLLECT 299.44/300.59 c rational objective 15 312.30/313.46 c #Conflicts: 199000 | #Constraints: 10245 312.30/313.46 c #Conflicts: 200000 | #Constraints: 11247 312.30/313.46 c #Conflicts: 201000 | #Constraints: 12247 312.30/313.46 c #Conflicts: 202000 | #Constraints: 13247 312.30/313.46 c #Conflicts: 203000 | #Constraints: 14247 312.30/313.46 c #Conflicts: 204000 | #Constraints: 15247 312.30/313.46 c #Conflicts: 205000 | #Constraints: 16247 312.30/313.46 c #Conflicts: 206000 | #Constraints: 17247 312.30/313.46 c #Conflicts: 207000 | #Constraints: 18247 312.30/313.46 c INPROCESSING 312.30/313.46 c GARBAGE COLLECT 312.30/313.46 c rational objective 15 333.04/334.20 c #Conflicts: 208000 | #Constraints: 10239 333.04/334.20 c #Conflicts: 209000 | #Constraints: 11251 333.04/334.20 c #Conflicts: 210000 | #Constraints: 12251 333.04/334.20 c #Conflicts: 211000 | #Constraints: 13251 333.04/334.20 c #Conflicts: 212000 | #Constraints: 14252 333.04/334.20 c #Conflicts: 213000 | #Constraints: 15253 333.04/334.20 c #Conflicts: 214000 | #Constraints: 16253 333.04/334.20 c #Conflicts: 215000 | #Constraints: 17253 333.04/334.20 c #Conflicts: 216000 | #Constraints: 18253 333.04/334.20 c INPROCESSING 333.04/334.20 c GARBAGE COLLECT 333.04/334.20 c rational objective 15 348.28/349.56 c #Conflicts: 217000 | #Constraints: 10053 348.28/349.56 c #Conflicts: 218000 | #Constraints: 11053 348.28/349.56 c #Conflicts: 219000 | #Constraints: 12054 348.28/349.56 c #Conflicts: 220000 | #Constraints: 13054 348.28/349.56 c #Conflicts: 221000 | #Constraints: 14054 348.28/349.56 c #Conflicts: 222000 | #Constraints: 15054 348.28/349.56 c #Conflicts: 223000 | #Constraints: 16054 348.28/349.56 c #Conflicts: 224000 | #Constraints: 17054 348.28/349.56 c #Conflicts: 225000 | #Constraints: 18054 348.28/349.56 c #Conflicts: 226000 | #Constraints: 19054 348.28/349.56 c INPROCESSING 348.28/349.56 c GARBAGE COLLECT 348.28/349.56 c rational objective 15 362.74/364.07 c #Conflicts: 227000 | #Constraints: 10647 362.74/364.07 c #Conflicts: 228000 | #Constraints: 11647 362.74/364.07 c #Conflicts: 229000 | #Constraints: 12647 362.74/364.07 c #Conflicts: 230000 | #Constraints: 13647 362.74/364.07 c #Conflicts: 231000 | #Constraints: 14647 362.74/364.07 c #Conflicts: 232000 | #Constraints: 15647 362.74/364.07 c #Conflicts: 233000 | #Constraints: 16647 362.74/364.07 c #Conflicts: 234000 | #Constraints: 17649 362.74/364.07 c #Conflicts: 235000 | #Constraints: 18649 362.74/364.07 c #Conflicts: 236000 | #Constraints: 19649 362.74/364.07 c INPROCESSING 362.74/364.07 c GARBAGE COLLECT 362.74/364.07 c rational objective 15 378.69/380.10 c #Conflicts: 237000 | #Constraints: 11040 378.69/380.10 c #Conflicts: 238000 | #Constraints: 12040 378.69/380.10 c #Conflicts: 239000 | #Constraints: 13049 378.69/380.10 c #Conflicts: 240000 | #Constraints: 14050 378.69/380.10 c #Conflicts: 241000 | #Constraints: 15050 378.69/380.10 c #Conflicts: 242000 | #Constraints: 16051 378.69/380.10 c #Conflicts: 243000 | #Constraints: 17051 378.69/380.10 c #Conflicts: 244000 | #Constraints: 18051 378.69/380.10 c #Conflicts: 245000 | #Constraints: 19051 378.69/380.10 c #Conflicts: 246000 | #Constraints: 20051 378.69/380.10 c INPROCESSING 378.69/380.10 c GARBAGE COLLECT 378.69/380.10 c rational objective 15 392.65/394.05 c #Conflicts: 247000 | #Constraints: 11245 392.65/394.05 c #Conflicts: 248000 | #Constraints: 12245 392.65/394.05 c #Conflicts: 249000 | #Constraints: 13245 392.65/394.05 c #Conflicts: 250000 | #Constraints: 14245 392.65/394.05 c #Conflicts: 251000 | #Constraints: 15251 392.65/394.05 c #Conflicts: 252000 | #Constraints: 16253 392.65/394.05 c #Conflicts: 253000 | #Constraints: 17255 392.65/394.05 c #Conflicts: 254000 | #Constraints: 18257 392.65/394.05 c #Conflicts: 255000 | #Constraints: 19257 392.65/394.05 c #Conflicts: 256000 | #Constraints: 20257 392.65/394.05 c INPROCESSING 392.65/394.05 c GARBAGE COLLECT 392.65/394.05 c rational objective 15 416.57/418.08 c #Conflicts: 257000 | #Constraints: 11245 416.57/418.08 c #Conflicts: 258000 | #Constraints: 12246 416.57/418.08 c #Conflicts: 259000 | #Constraints: 13246 416.57/418.08 c #Conflicts: 260000 | #Constraints: 14246 416.57/418.08 c #Conflicts: 261000 | #Constraints: 15246 416.57/418.08 c #Conflicts: 262000 | #Constraints: 16246 416.57/418.08 c #Conflicts: 263000 | #Constraints: 17246 416.57/418.08 c #Conflicts: 264000 | #Constraints: 18253 416.57/418.08 c #Conflicts: 265000 | #Constraints: 19255 416.57/418.08 c #Conflicts: 266000 | #Constraints: 20255 416.57/418.08 c INPROCESSING 416.57/418.08 c GARBAGE COLLECT 416.57/418.08 c rational objective 15 439.29/440.88 c #Conflicts: 267000 | #Constraints: 11048 439.29/440.88 c #Conflicts: 268000 | #Constraints: 12048 439.29/440.88 c #Conflicts: 269000 | #Constraints: 13052 439.29/440.88 c #Conflicts: 270000 | #Constraints: 14053 439.29/440.88 c #Conflicts: 271000 | #Constraints: 15053 439.29/440.88 c #Conflicts: 272000 | #Constraints: 16054 439.29/440.88 c #Conflicts: 273000 | #Constraints: 17057 439.29/440.88 c #Conflicts: 274000 | #Constraints: 18058 439.29/440.88 c #Conflicts: 275000 | #Constraints: 19058 439.29/440.88 c #Conflicts: 276000 | #Constraints: 20069 439.29/440.88 c #Conflicts: 277000 | #Constraints: 21071 439.29/440.88 c INPROCESSING 439.29/440.88 c GARBAGE COLLECT 439.29/440.88 c rational objective 15 458.72/460.38 c #Conflicts: 278000 | #Constraints: 11662 458.72/460.38 c #Conflicts: 279000 | #Constraints: 12662 458.72/460.38 c #Conflicts: 280000 | #Constraints: 13662 458.72/460.38 c #Conflicts: 281000 | #Constraints: 14662 458.72/460.38 c #Conflicts: 282000 | #Constraints: 15662 458.72/460.38 c #Conflicts: 283000 | #Constraints: 16662 458.72/460.38 c #Conflicts: 284000 | #Constraints: 17663 458.72/460.38 c #Conflicts: 285000 | #Constraints: 18665 458.72/460.38 c #Conflicts: 286000 | #Constraints: 19666 458.72/460.38 c #Conflicts: 287000 | #Constraints: 20667 458.72/460.38 c #Conflicts: 288000 | #Constraints: 21667 458.72/460.38 c INPROCESSING 458.72/460.38 c GARBAGE COLLECT 458.72/460.38 c rational objective 15 484.04/485.74 c #Conflicts: 289000 | #Constraints: 12049 484.04/485.74 c #Conflicts: 290000 | #Constraints: 13049 484.04/485.74 c #Conflicts: 291000 | #Constraints: 14050 484.04/485.74 c #Conflicts: 292000 | #Constraints: 15051 484.04/485.74 c #Conflicts: 293000 | #Constraints: 16051 484.04/485.74 c #Conflicts: 294000 | #Constraints: 17051 484.04/485.74 c #Conflicts: 295000 | #Constraints: 18051 484.04/485.74 c #Conflicts: 296000 | #Constraints: 19051 484.04/485.74 c #Conflicts: 297000 | #Constraints: 20051 484.04/485.74 c #Conflicts: 298000 | #Constraints: 21051 484.04/485.74 c #Conflicts: 299000 | #Constraints: 22051 484.04/485.74 c INPROCESSING 484.04/485.74 c GARBAGE COLLECT 484.04/485.74 c rational objective 15 501.49/503.23 c #Conflicts: 300000 | #Constraints: 12244 501.49/503.23 c #Conflicts: 301000 | #Constraints: 13246 501.49/503.23 c #Conflicts: 302000 | #Constraints: 14246 501.49/503.23 c #Conflicts: 303000 | #Constraints: 15246 501.49/503.23 c #Conflicts: 304000 | #Constraints: 16247 501.49/503.23 c #Conflicts: 305000 | #Constraints: 17250 501.49/503.23 c #Conflicts: 306000 | #Constraints: 18250 501.49/503.23 c #Conflicts: 307000 | #Constraints: 19250 501.49/503.23 c #Conflicts: 308000 | #Constraints: 20251 501.49/503.23 c #Conflicts: 309000 | #Constraints: 21252 501.49/503.23 c #Conflicts: 310000 | #Constraints: 22252 501.49/503.23 c INPROCESSING 501.49/503.23 c GARBAGE COLLECT 501.49/503.23 c rational objective 15 530.59/532.44 c #Conflicts: 311000 | #Constraints: 12248 530.59/532.44 c #Conflicts: 312000 | #Constraints: 13248 530.59/532.44 c #Conflicts: 313000 | #Constraints: 14248 530.59/532.44 c #Conflicts: 314000 | #Constraints: 15255 530.59/532.44 c #Conflicts: 315000 | #Constraints: 16258 530.59/532.44 c #Conflicts: 316000 | #Constraints: 17266 530.59/532.44 c #Conflicts: 317000 | #Constraints: 18269 530.59/532.44 c #Conflicts: 318000 | #Constraints: 19269 530.59/532.44 c #Conflicts: 319000 | #Constraints: 20269 530.59/532.44 c #Conflicts: 320000 | #Constraints: 21273 530.59/532.44 c #Conflicts: 321000 | #Constraints: 22275 530.59/532.44 c INPROCESSING 530.59/532.44 c GARBAGE COLLECT 530.59/532.44 c rational objective 15 559.39/561.38 c #Conflicts: 322000 | #Constraints: 12071 559.39/561.38 c #Conflicts: 323000 | #Constraints: 13071 559.39/561.38 c #Conflicts: 324000 | #Constraints: 14072 559.39/561.38 c #Conflicts: 325000 | #Constraints: 15072 559.39/561.38 c #Conflicts: 326000 | #Constraints: 16072 559.39/561.38 c #Conflicts: 327000 | #Constraints: 17072 559.39/561.38 c #Conflicts: 328000 | #Constraints: 18072 559.39/561.38 c #Conflicts: 329000 | #Constraints: 19072 559.39/561.38 c #Conflicts: 330000 | #Constraints: 20072 559.39/561.38 c #Conflicts: 331000 | #Constraints: 21072 559.39/561.38 c #Conflicts: 332000 | #Constraints: 22072 559.39/561.38 c #Conflicts: 333000 | #Constraints: 23072 559.39/561.38 c INPROCESSING 559.39/561.38 c GARBAGE COLLECT 559.39/561.38 c rational objective 15 599.95/602.09 c #Conflicts: 334000 | #Constraints: 12673 599.95/602.09 c #Conflicts: 335000 | #Constraints: 13674 599.95/602.09 c #Conflicts: 336000 | #Constraints: 14676 599.95/602.09 c #Conflicts: 337000 | #Constraints: 15676 599.95/602.09 c #Conflicts: 338000 | #Constraints: 16677 599.95/602.09 c #Conflicts: 339000 | #Constraints: 17677 599.95/602.09 c #Conflicts: 340000 | #Constraints: 18677 599.95/602.09 c #Conflicts: 341000 | #Constraints: 19677 599.95/602.09 c #Conflicts: 342000 | #Constraints: 20677 599.95/602.09 c #Conflicts: 343000 | #Constraints: 21677 599.95/602.09 c #Conflicts: 344000 | #Constraints: 22677 599.95/602.09 c #Conflicts: 345000 | #Constraints: 23677 599.95/602.09 c INPROCESSING 599.95/602.09 c GARBAGE COLLECT 599.95/602.09 c rational objective 15 635.71/637.90 c #Conflicts: 346000 | #Constraints: 13051 635.71/637.90 c #Conflicts: 347000 | #Constraints: 14051 635.71/637.90 c #Conflicts: 348000 | #Constraints: 15051 635.71/637.90 c #Conflicts: 349000 | #Constraints: 16052 635.71/637.90 c #Conflicts: 350000 | #Constraints: 17054 635.71/637.90 c #Conflicts: 351000 | #Constraints: 18057 635.71/637.90 c #Conflicts: 352000 | #Constraints: 19057 635.71/637.90 c #Conflicts: 353000 | #Constraints: 20058 635.71/637.90 c #Conflicts: 354000 | #Constraints: 21058 635.71/637.90 c #Conflicts: 355000 | #Constraints: 22058 635.71/637.90 c #Conflicts: 356000 | #Constraints: 23059 635.71/637.90 c #Conflicts: 357000 | #Constraints: 24059 635.71/637.90 c INPROCESSING 635.71/637.90 c GARBAGE COLLECT 635.71/637.90 c rational objective 15 658.85/661.19 c #Conflicts: 358000 | #Constraints: 13242 658.85/661.19 c #Conflicts: 359000 | #Constraints: 14242 658.85/661.19 c #Conflicts: 360000 | #Constraints: 15242 658.85/661.19 c #Conflicts: 361000 | #Constraints: 16246 658.85/661.19 c #Conflicts: 362000 | #Constraints: 17254 658.85/661.19 c #Conflicts: 363000 | #Constraints: 18256 658.85/661.19 c #Conflicts: 364000 | #Constraints: 19256 658.85/661.19 c #Conflicts: 365000 | #Constraints: 20257 658.85/661.19 c #Conflicts: 366000 | #Constraints: 21258 658.85/661.19 c #Conflicts: 367000 | #Constraints: 22260 658.85/661.19 c #Conflicts: 368000 | #Constraints: 23260 658.85/661.19 c #Conflicts: 369000 | #Constraints: 24260 658.85/661.19 c INPROCESSING 658.85/661.19 c GARBAGE COLLECT 658.85/661.19 c rational objective 15 692.02/694.47 c #Conflicts: 370000 | #Constraints: 13251 692.02/694.47 c #Conflicts: 371000 | #Constraints: 14251 692.02/694.47 c #Conflicts: 372000 | #Constraints: 15252 692.02/694.47 c #Conflicts: 373000 | #Constraints: 16252 692.02/694.47 c #Conflicts: 374000 | #Constraints: 17252 692.02/694.47 c #Conflicts: 375000 | #Constraints: 18252 692.02/694.47 c #Conflicts: 376000 | #Constraints: 19252 692.02/694.47 c #Conflicts: 377000 | #Constraints: 20252 692.02/694.47 c #Conflicts: 378000 | #Constraints: 21253 692.02/694.47 c #Conflicts: 379000 | #Constraints: 22253 692.02/694.47 c #Conflicts: 380000 | #Constraints: 23253 692.02/694.47 c #Conflicts: 381000 | #Constraints: 24253 692.02/694.47 c INPROCESSING 692.02/694.47 c GARBAGE COLLECT 692.02/694.47 c rational objective 15 714.66/717.13 c #Conflicts: 382000 | #Constraints: 13045 714.66/717.13 c #Conflicts: 383000 | #Constraints: 14047 714.66/717.13 c #Conflicts: 384000 | #Constraints: 15047 714.66/717.13 c #Conflicts: 385000 | #Constraints: 16047 714.66/717.13 c #Conflicts: 386000 | #Constraints: 17048 714.66/717.13 c #Conflicts: 387000 | #Constraints: 18048 714.66/717.13 c #Conflicts: 388000 | #Constraints: 19048 714.66/717.13 c #Conflicts: 389000 | #Constraints: 20049 714.66/717.13 c #Conflicts: 390000 | #Constraints: 21050 714.66/717.13 c #Conflicts: 391000 | #Constraints: 22050 714.66/717.13 c #Conflicts: 392000 | #Constraints: 23050 714.66/717.13 c #Conflicts: 393000 | #Constraints: 24050 714.66/717.13 c #Conflicts: 394000 | #Constraints: 25061 714.66/717.13 c INPROCESSING 714.66/717.13 c GARBAGE COLLECT 714.66/717.13 c rational objective 15 734.68/737.28 c #Conflicts: 395000 | #Constraints: 13649 734.68/737.28 c #Conflicts: 396000 | #Constraints: 14649 734.68/737.28 c #Conflicts: 397000 | #Constraints: 15664 734.68/737.28 c #Conflicts: 398000 | #Constraints: 16681 734.68/737.28 c #Conflicts: 399000 | #Constraints: 17684 734.68/737.28 c #Conflicts: 400000 | #Constraints: 18687 734.68/737.28 c #Conflicts: 401000 | #Constraints: 19692 734.68/737.28 c #Conflicts: 402000 | #Constraints: 20694 734.68/737.28 c #Conflicts: 403000 | #Constraints: 21695 734.68/737.28 c #Conflicts: 404000 | #Constraints: 22696 734.68/737.28 c #Conflicts: 405000 | #Constraints: 23696 734.68/737.28 c #Conflicts: 406000 | #Constraints: 24696 734.68/737.28 c #Conflicts: 407000 | #Constraints: 25697 734.68/737.28 c INPROCESSING 734.68/737.28 c GARBAGE COLLECT 734.68/737.28 c rational objective 15 766.96/769.68 c #Conflicts: 408000 | #Constraints: 14066 766.96/769.68 c #Conflicts: 409000 | #Constraints: 15069 766.96/769.68 c #Conflicts: 410000 | #Constraints: 16069 766.96/769.68 c #Conflicts: 411000 | #Constraints: 17070 766.96/769.68 c #Conflicts: 412000 | #Constraints: 18070 766.96/769.68 c #Conflicts: 413000 | #Constraints: 19073 766.96/769.68 c #Conflicts: 414000 | #Constraints: 20073 766.96/769.68 c #Conflicts: 415000 | #Constraints: 21083 766.96/769.68 c #Conflicts: 416000 | #Constraints: 22087 766.96/769.68 c #Conflicts: 417000 | #Constraints: 23087 766.96/769.68 c #Conflicts: 418000 | #Constraints: 24088 766.96/769.68 c #Conflicts: 419000 | #Constraints: 25088 766.96/769.68 c #Conflicts: 420000 | #Constraints: 26088 766.96/769.68 c INPROCESSING 766.96/769.68 c GARBAGE COLLECT 766.96/769.68 c rational objective 15 790.09/792.85 c #Conflicts: 421000 | #Constraints: 14270 790.09/792.85 c #Conflicts: 422000 | #Constraints: 15270 790.09/792.85 c #Conflicts: 423000 | #Constraints: 16271 790.09/792.85 c #Conflicts: 424000 | #Constraints: 17272 790.09/792.85 c #Conflicts: 425000 | #Constraints: 18272 790.09/792.85 c #Conflicts: 426000 | #Constraints: 19272 790.09/792.85 c #Conflicts: 427000 | #Constraints: 20272 790.09/792.85 c #Conflicts: 428000 | #Constraints: 21272 790.09/792.85 c #Conflicts: 429000 | #Constraints: 22272 790.09/792.85 c #Conflicts: 430000 | #Constraints: 23272 790.09/792.85 c #Conflicts: 431000 | #Constraints: 24272 790.09/792.85 c #Conflicts: 432000 | #Constraints: 25273 790.09/792.85 c #Conflicts: 433000 | #Constraints: 26273 790.09/792.85 c INPROCESSING 790.09/792.85 c GARBAGE COLLECT 790.09/792.85 c rational objective 15 816.80/819.66 c #Conflicts: 434000 | #Constraints: 14258 816.80/819.66 c #Conflicts: 435000 | #Constraints: 15258 816.80/819.66 c #Conflicts: 436000 | #Constraints: 16259 816.80/819.66 c #Conflicts: 437000 | #Constraints: 17260 816.80/819.66 c #Conflicts: 438000 | #Constraints: 18260 816.80/819.66 c #Conflicts: 439000 | #Constraints: 19260 816.80/819.66 c #Conflicts: 440000 | #Constraints: 20260 816.80/819.66 c #Conflicts: 441000 | #Constraints: 21260 816.80/819.66 c #Conflicts: 442000 | #Constraints: 22260 816.80/819.66 c #Conflicts: 443000 | #Constraints: 23260 816.80/819.66 c #Conflicts: 444000 | #Constraints: 24260 816.80/819.66 c #Conflicts: 445000 | #Constraints: 25260 816.80/819.66 c #Conflicts: 446000 | #Constraints: 26260 816.80/819.66 c INPROCESSING 816.80/819.66 c GARBAGE COLLECT 816.80/819.66 c rational objective 15 921.24/924.40 c #Conflicts: 447000 | #Constraints: 14047 921.24/924.40 c #Conflicts: 448000 | #Constraints: 15050 921.24/924.40 c #Conflicts: 449000 | #Constraints: 16058 921.24/924.40 c #Conflicts: 450000 | #Constraints: 17061 921.24/924.40 c #Conflicts: 451000 | #Constraints: 18062 921.24/924.40 c #Conflicts: 452000 | #Constraints: 19062 921.24/924.40 c #Conflicts: 453000 | #Constraints: 20068 921.24/924.40 c #Conflicts: 454000 | #Constraints: 21068 921.24/924.40 c #Conflicts: 455000 | #Constraints: 22069 921.24/924.40 c #Conflicts: 456000 | #Constraints: 23072 921.24/924.40 c #Conflicts: 457000 | #Constraints: 24077 921.24/924.40 c #Conflicts: 458000 | #Constraints: 25077 921.24/924.40 c #Conflicts: 459000 | #Constraints: 26078 921.24/924.40 c #Conflicts: 460000 | #Constraints: 27079 921.24/924.40 c INPROCESSING 921.24/924.40 c GARBAGE COLLECT 921.24/924.40 c rational objective 15 942.28/945.50 c #Conflicts: 461000 | #Constraints: 14676 942.28/945.50 c #Conflicts: 462000 | #Constraints: 15677 942.28/945.50 c #Conflicts: 463000 | #Constraints: 16677 942.28/945.50 c #Conflicts: 464000 | #Constraints: 17677 942.28/945.50 c #Conflicts: 465000 | #Constraints: 18678 942.28/945.50 c #Conflicts: 466000 | #Constraints: 19678 942.28/945.50 c #Conflicts: 467000 | #Constraints: 20678 942.28/945.50 c #Conflicts: 468000 | #Constraints: 21678 942.28/945.50 c #Conflicts: 469000 | #Constraints: 22678 942.28/945.50 c #Conflicts: 470000 | #Constraints: 23678 942.28/945.50 c #Conflicts: 471000 | #Constraints: 24678 942.28/945.50 c #Conflicts: 472000 | #Constraints: 25678 942.28/945.50 c #Conflicts: 473000 | #Constraints: 26678 942.28/945.50 c #Conflicts: 474000 | #Constraints: 27678 942.28/945.50 c INPROCESSING 942.28/945.50 c GARBAGE COLLECT 942.28/945.50 c rational objective 15 958.92/962.29 c #Conflicts: 475000 | #Constraints: 15062 958.92/962.29 c #Conflicts: 476000 | #Constraints: 16062 958.92/962.29 c #Conflicts: 477000 | #Constraints: 17062 958.92/962.29 c #Conflicts: 478000 | #Constraints: 18062 958.92/962.29 c #Conflicts: 479000 | #Constraints: 19064 958.92/962.29 c #Conflicts: 480000 | #Constraints: 20064 958.92/962.29 c #Conflicts: 481000 | #Constraints: 21064 958.92/962.29 c #Conflicts: 482000 | #Constraints: 22064 958.92/962.29 c #Conflicts: 483000 | #Constraints: 23064 958.92/962.29 c #Conflicts: 484000 | #Constraints: 24064 958.92/962.29 c #Conflicts: 485000 | #Constraints: 25064 958.92/962.29 c #Conflicts: 486000 | #Constraints: 26064 958.92/962.29 c #Conflicts: 487000 | #Constraints: 27064 958.92/962.29 c #Conflicts: 488000 | #Constraints: 28064 958.92/962.29 c INPROCESSING 958.92/962.29 c GARBAGE COLLECT 958.92/962.29 c rational objective 15 975.36/978.75 c #Conflicts: 489000 | #Constraints: 15248 975.36/978.75 c #Conflicts: 490000 | #Constraints: 16248 975.36/978.75 c #Conflicts: 491000 | #Constraints: 17248 975.36/978.75 c #Conflicts: 492000 | #Constraints: 18248 975.36/978.75 c #Conflicts: 493000 | #Constraints: 19248 975.36/978.75 c #Conflicts: 494000 | #Constraints: 20248 975.36/978.75 c #Conflicts: 495000 | #Constraints: 21248 975.36/978.75 c #Conflicts: 496000 | #Constraints: 22248 975.36/978.75 c #Conflicts: 497000 | #Constraints: 23248 975.36/978.75 c #Conflicts: 498000 | #Constraints: 24249 975.36/978.75 c #Conflicts: 499000 | #Constraints: 25250 975.36/978.75 c #Conflicts: 500000 | #Constraints: 26250 975.36/978.75 c #Conflicts: 501000 | #Constraints: 27250 975.36/978.75 c #Conflicts: 502000 | #Constraints: 28250 975.36/978.75 c INPROCESSING 975.36/978.75 c GARBAGE COLLECT 975.36/978.75 c rational objective 15 1019.91/1023.40 c #Conflicts: 503000 | #Constraints: 15249 1019.91/1023.40 c #Conflicts: 504000 | #Constraints: 16249 1019.91/1023.40 c #Conflicts: 505000 | #Constraints: 17249 1019.91/1023.40 c #Conflicts: 506000 | #Constraints: 18249 1019.91/1023.40 c #Conflicts: 507000 | #Constraints: 19249 1019.91/1023.40 c #Conflicts: 508000 | #Constraints: 20249 1019.91/1023.40 c #Conflicts: 509000 | #Constraints: 21249 1019.91/1023.40 c #Conflicts: 510000 | #Constraints: 22249 1019.91/1023.40 c #Conflicts: 511000 | #Constraints: 23249 1019.91/1023.40 c #Conflicts: 512000 | #Constraints: 24249 1019.91/1023.40 c #Conflicts: 513000 | #Constraints: 25250 1019.91/1023.40 c #Conflicts: 514000 | #Constraints: 26251 1019.91/1023.40 c #Conflicts: 515000 | #Constraints: 27252 1019.91/1023.40 c #Conflicts: 516000 | #Constraints: 28252 1019.91/1023.40 c INPROCESSING 1019.91/1023.40 c GARBAGE COLLECT 1019.91/1023.40 c rational objective 15 1050.91/1054.57 c #Conflicts: 517000 | #Constraints: 15041 1050.91/1054.57 c #Conflicts: 518000 | #Constraints: 16042 1050.91/1054.57 c #Conflicts: 519000 | #Constraints: 17042 1050.91/1054.57 c #Conflicts: 520000 | #Constraints: 18042 1050.91/1054.57 c #Conflicts: 521000 | #Constraints: 19042 1050.91/1054.57 c #Conflicts: 522000 | #Constraints: 20042 1050.91/1054.57 c #Conflicts: 523000 | #Constraints: 21042 1050.91/1054.57 c #Conflicts: 524000 | #Constraints: 22044 1050.91/1054.57 c #Conflicts: 525000 | #Constraints: 23044 1050.91/1054.57 c #Conflicts: 526000 | #Constraints: 24044 1050.91/1054.57 c #Conflicts: 527000 | #Constraints: 25044 1050.91/1054.57 c #Conflicts: 528000 | #Constraints: 26044 1050.91/1054.57 c #Conflicts: 529000 | #Constraints: 27044 1050.91/1054.57 c #Conflicts: 530000 | #Constraints: 28044 1050.91/1054.57 c #Conflicts: 531000 | #Constraints: 29044 1050.91/1054.57 c INPROCESSING 1050.91/1054.57 c GARBAGE COLLECT 1050.91/1054.57 c rational objective 15 1095.15/1098.93 c #Conflicts: 532000 | #Constraints: 15639 1095.15/1098.93 c #Conflicts: 533000 | #Constraints: 16639 1095.15/1098.93 c #Conflicts: 534000 | #Constraints: 17639 1095.15/1098.93 c #Conflicts: 535000 | #Constraints: 18639 1095.15/1098.93 c #Conflicts: 536000 | #Constraints: 19639 1095.15/1098.93 c #Conflicts: 537000 | #Constraints: 20639 1095.15/1098.93 c #Conflicts: 538000 | #Constraints: 21639 1095.15/1098.93 c #Conflicts: 539000 | #Constraints: 22639 1095.15/1098.93 c #Conflicts: 540000 | #Constraints: 23644 1095.15/1098.93 c #Conflicts: 541000 | #Constraints: 24645 1095.15/1098.93 c #Conflicts: 542000 | #Constraints: 25645 1095.15/1098.93 c #Conflicts: 543000 | #Constraints: 26645 1095.15/1098.93 c #Conflicts: 544000 | #Constraints: 27645 1095.15/1098.93 c #Conflicts: 545000 | #Constraints: 28645 1095.15/1098.93 c #Conflicts: 546000 | #Constraints: 29645 1095.15/1098.93 c INPROCESSING 1095.15/1098.93 c GARBAGE COLLECT 1095.15/1098.93 c rational objective 15 1117.98/1121.89 c #Conflicts: 547000 | #Constraints: 16041 1117.98/1121.89 c #Conflicts: 548000 | #Constraints: 17043 1117.98/1121.89 c #Conflicts: 549000 | #Constraints: 18043 1117.98/1121.89 c #Conflicts: 550000 | #Constraints: 19043 1117.98/1121.89 c #Conflicts: 551000 | #Constraints: 20043 1117.98/1121.89 c #Conflicts: 552000 | #Constraints: 21043 1117.98/1121.89 c #Conflicts: 553000 | #Constraints: 22043 1117.98/1121.89 c #Conflicts: 554000 | #Constraints: 23043 1117.98/1121.89 c #Conflicts: 555000 | #Constraints: 24043 1117.98/1121.89 c #Conflicts: 556000 | #Constraints: 25043 1117.98/1121.89 c #Conflicts: 557000 | #Constraints: 26043 1117.98/1121.89 c #Conflicts: 558000 | #Constraints: 27044 1117.98/1121.89 c #Conflicts: 559000 | #Constraints: 28044 1117.98/1121.89 c #Conflicts: 560000 | #Constraints: 29044 1117.98/1121.89 c #Conflicts: 561000 | #Constraints: 30044 1117.98/1121.89 c INPROCESSING 1117.98/1121.89 c GARBAGE COLLECT 1117.98/1121.89 c rational objective 15 1148.57/1152.52 c #Conflicts: 562000 | #Constraints: 16238 1148.57/1152.52 c #Conflicts: 563000 | #Constraints: 17238 1148.57/1152.52 c #Conflicts: 564000 | #Constraints: 18238 1148.57/1152.52 c #Conflicts: 565000 | #Constraints: 19238 1148.57/1152.52 c #Conflicts: 566000 | #Constraints: 20239 1148.57/1152.52 c #Conflicts: 567000 | #Constraints: 21239 1148.57/1152.52 c #Conflicts: 568000 | #Constraints: 22239 1148.57/1152.52 c #Conflicts: 569000 | #Constraints: 23239 1148.57/1152.52 c #Conflicts: 570000 | #Constraints: 24239 1148.57/1152.52 c #Conflicts: 571000 | #Constraints: 25239 1148.57/1152.52 c #Conflicts: 572000 | #Constraints: 26243 1148.57/1152.52 c #Conflicts: 573000 | #Constraints: 27244 1148.57/1152.52 c #Conflicts: 574000 | #Constraints: 28244 1148.57/1152.52 c #Conflicts: 575000 | #Constraints: 29244 1148.57/1152.52 c #Conflicts: 576000 | #Constraints: 30244 1148.57/1152.52 c INPROCESSING 1148.57/1152.52 c GARBAGE COLLECT 1148.57/1152.52 c rational objective 15 1165.40/1169.49 c #Conflicts: 577000 | #Constraints: 16237 1165.40/1169.49 c #Conflicts: 578000 | #Constraints: 17239 1165.40/1169.49 c #Conflicts: 579000 | #Constraints: 18243 1165.40/1169.49 c #Conflicts: 580000 | #Constraints: 19248 1165.40/1169.49 c #Conflicts: 581000 | #Constraints: 20248 1165.40/1169.49 c #Conflicts: 582000 | #Constraints: 21248 1165.40/1169.49 c #Conflicts: 583000 | #Constraints: 22248 1165.40/1169.49 c #Conflicts: 584000 | #Constraints: 23248 1165.40/1169.49 c #Conflicts: 585000 | #Constraints: 24250 1165.40/1169.49 c #Conflicts: 586000 | #Constraints: 25250 1165.40/1169.49 c #Conflicts: 587000 | #Constraints: 26251 1165.40/1169.49 c #Conflicts: 588000 | #Constraints: 27258 1165.40/1169.49 c #Conflicts: 589000 | #Constraints: 28260 1165.40/1169.49 c #Conflicts: 590000 | #Constraints: 29260 1165.40/1169.49 c #Conflicts: 591000 | #Constraints: 30262 1165.40/1169.49 c INPROCESSING 1165.40/1169.49 c GARBAGE COLLECT 1165.40/1169.49 c rational objective 15 1187.82/1191.95 c #Conflicts: 592000 | #Constraints: 16054 1187.82/1191.95 c #Conflicts: 593000 | #Constraints: 17054 1187.82/1191.95 c #Conflicts: 594000 | #Constraints: 18057 1187.82/1191.95 c #Conflicts: 595000 | #Constraints: 19059 1187.82/1191.95 c #Conflicts: 596000 | #Constraints: 20062 1187.82/1191.95 c #Conflicts: 597000 | #Constraints: 21065 1187.82/1191.95 c #Conflicts: 598000 | #Constraints: 22065 1187.82/1191.95 c #Conflicts: 599000 | #Constraints: 23065 1187.82/1191.95 c #Conflicts: 600000 | #Constraints: 24066 1187.82/1191.95 c #Conflicts: 601000 | #Constraints: 25066 1187.82/1191.95 c #Conflicts: 602000 | #Constraints: 26066 1187.82/1191.95 c #Conflicts: 603000 | #Constraints: 27067 1187.82/1191.95 c #Conflicts: 604000 | #Constraints: 28067 1187.82/1191.95 c #Conflicts: 605000 | #Constraints: 29067 1187.82/1191.95 c #Conflicts: 606000 | #Constraints: 30068 1187.82/1191.95 c #Conflicts: 607000 | #Constraints: 31069 1187.82/1191.95 c INPROCESSING 1187.82/1191.95 c GARBAGE COLLECT 1187.82/1191.95 c rational objective 15 1202.08/1206.21 c #Conflicts: 608000 | #Constraints: 16658 1202.08/1206.21 c #Conflicts: 609000 | #Constraints: 17659 1202.08/1206.21 c #Conflicts: 610000 | #Constraints: 18659 1202.08/1206.21 c #Conflicts: 611000 | #Constraints: 19659 1202.08/1206.21 c #Conflicts: 612000 | #Constraints: 20659 1202.08/1206.21 c #Conflicts: 613000 | #Constraints: 21659 1202.08/1206.21 c #Conflicts: 614000 | #Constraints: 22659 1202.08/1206.21 c #Conflicts: 615000 | #Constraints: 23659 1202.08/1206.21 c #Conflicts: 616000 | #Constraints: 24659 1202.08/1206.21 c #Conflicts: 617000 | #Constraints: 25660 1202.08/1206.21 c #Conflicts: 618000 | #Constraints: 26660 1202.08/1206.21 c #Conflicts: 619000 | #Constraints: 27660 1202.08/1206.21 c #Conflicts: 620000 | #Constraints: 28661 1202.08/1206.21 c #Conflicts: 621000 | #Constraints: 29664 1202.08/1206.21 c #Conflicts: 622000 | #Constraints: 30664 1202.08/1206.21 c #Conflicts: 623000 | #Constraints: 31667 1202.08/1206.21 c INPROCESSING 1202.08/1206.21 c GARBAGE COLLECT 1202.08/1206.21 c rational objective 15 1228.18/1232.46 c #Conflicts: 624000 | #Constraints: 17052 1228.18/1232.46 c #Conflicts: 625000 | #Constraints: 18053 1228.18/1232.46 c #Conflicts: 626000 | #Constraints: 19054 1228.18/1232.46 c #Conflicts: 627000 | #Constraints: 20055 1228.18/1232.46 c #Conflicts: 628000 | #Constraints: 21056 1228.18/1232.46 c #Conflicts: 629000 | #Constraints: 22060 1228.18/1232.46 c #Conflicts: 630000 | #Constraints: 23061 1228.18/1232.46 c #Conflicts: 631000 | #Constraints: 24062 1228.18/1232.46 c #Conflicts: 632000 | #Constraints: 25062 1228.18/1232.46 c #Conflicts: 633000 | #Constraints: 26062 1228.18/1232.46 c #Conflicts: 634000 | #Constraints: 27062 1228.18/1232.46 c #Conflicts: 635000 | #Constraints: 28063 1228.18/1232.46 c #Conflicts: 636000 | #Constraints: 29063 1228.18/1232.46 c #Conflicts: 637000 | #Constraints: 30063 1228.18/1232.46 c #Conflicts: 638000 | #Constraints: 31064 1228.18/1232.46 c #Conflicts: 639000 | #Constraints: 32064 1228.18/1232.46 c INPROCESSING 1228.18/1232.46 c GARBAGE COLLECT 1228.18/1232.46 c rational objective 15 1256.48/1260.81 c #Conflicts: 640000 | #Constraints: 17251 1256.48/1260.81 c #Conflicts: 641000 | #Constraints: 18251 1256.48/1260.81 c #Conflicts: 642000 | #Constraints: 19251 1256.48/1260.81 c #Conflicts: 643000 | #Constraints: 20251 1256.48/1260.81 c #Conflicts: 644000 | #Constraints: 21251 1256.48/1260.81 c #Conflicts: 645000 | #Constraints: 22251 1256.48/1260.81 c #Conflicts: 646000 | #Constraints: 23251 1256.48/1260.81 c #Conflicts: 647000 | #Constraints: 24253 1256.48/1260.81 c #Conflicts: 648000 | #Constraints: 25253 1256.48/1260.81 c #Conflicts: 649000 | #Constraints: 26253 1256.48/1260.81 c #Conflicts: 650000 | #Constraints: 27254 1256.48/1260.81 c #Conflicts: 651000 | #Constraints: 28254 1256.48/1260.81 c #Conflicts: 652000 | #Constraints: 29254 1256.48/1260.81 c #Conflicts: 653000 | #Constraints: 30254 1256.48/1260.81 c #Conflicts: 654000 | #Constraints: 31255 1256.48/1260.81 c #Conflicts: 655000 | #Constraints: 32255 1256.48/1260.81 c INPROCESSING 1256.48/1260.81 c GARBAGE COLLECT 1256.48/1260.81 c rational objective 15 1287.47/1291.98 c #Conflicts: 656000 | #Constraints: 17247 1287.47/1291.98 c #Conflicts: 657000 | #Constraints: 18251 1287.47/1291.98 c #Conflicts: 658000 | #Constraints: 19251 1287.47/1291.98 c #Conflicts: 659000 | #Constraints: 20251 1287.47/1291.98 c #Conflicts: 660000 | #Constraints: 21258 1287.47/1291.98 c #Conflicts: 661000 | #Constraints: 22262 1287.47/1291.98 c #Conflicts: 662000 | #Constraints: 23262 1287.47/1291.98 c #Conflicts: 663000 | #Constraints: 24262 1287.47/1291.98 c #Conflicts: 664000 | #Constraints: 25262 1287.47/1291.98 c #Conflicts: 665000 | #Constraints: 26262 1287.47/1291.98 c #Conflicts: 666000 | #Constraints: 27264 1287.47/1291.98 c #Conflicts: 667000 | #Constraints: 28276 1287.47/1291.98 c #Conflicts: 668000 | #Constraints: 29280 1287.47/1291.98 c #Conflicts: 669000 | #Constraints: 30282 1287.47/1291.98 c #Conflicts: 670000 | #Constraints: 31282 1287.47/1291.98 c #Conflicts: 671000 | #Constraints: 32282 1287.47/1291.98 c INPROCESSING 1287.47/1291.98 c GARBAGE COLLECT 1287.47/1291.98 c rational objective 15 1314.37/1318.93 c #Conflicts: 672000 | #Constraints: 17060 1314.37/1318.93 c #Conflicts: 673000 | #Constraints: 18060 1314.37/1318.93 c #Conflicts: 674000 | #Constraints: 19061 1314.37/1318.93 c #Conflicts: 675000 | #Constraints: 20066 1314.37/1318.93 c #Conflicts: 676000 | #Constraints: 21068 1314.37/1318.93 c #Conflicts: 677000 | #Constraints: 22068 1314.37/1318.93 c #Conflicts: 678000 | #Constraints: 23068 1314.37/1318.93 c #Conflicts: 679000 | #Constraints: 24070 1314.37/1318.93 c #Conflicts: 680000 | #Constraints: 25073 1314.37/1318.93 c #Conflicts: 681000 | #Constraints: 26073 1314.37/1318.93 c #Conflicts: 682000 | #Constraints: 27074 1314.37/1318.93 c #Conflicts: 683000 | #Constraints: 28077 1314.37/1318.93 c #Conflicts: 684000 | #Constraints: 29078 1314.37/1318.93 c #Conflicts: 685000 | #Constraints: 30079 1314.37/1318.93 c #Conflicts: 686000 | #Constraints: 31080 1314.37/1318.93 c #Conflicts: 687000 | #Constraints: 32081 1314.37/1318.93 c #Conflicts: 688000 | #Constraints: 33082 1314.37/1318.93 c INPROCESSING 1314.37/1318.93 c GARBAGE COLLECT 1314.37/1318.93 c rational objective 15 1343.39/1348.07 c #Conflicts: 689000 | #Constraints: 17656 1343.39/1348.07 c #Conflicts: 690000 | #Constraints: 18656 1343.39/1348.07 c #Conflicts: 691000 | #Constraints: 19657 1343.39/1348.07 c #Conflicts: 692000 | #Constraints: 20659 1343.39/1348.07 c #Conflicts: 693000 | #Constraints: 21661 1343.39/1348.07 c #Conflicts: 694000 | #Constraints: 22661 1343.39/1348.07 c #Conflicts: 695000 | #Constraints: 23662 1343.39/1348.07 c #Conflicts: 696000 | #Constraints: 24662 1343.39/1348.07 c #Conflicts: 697000 | #Constraints: 25662 1343.39/1348.07 c #Conflicts: 698000 | #Constraints: 26662 1343.39/1348.07 c #Conflicts: 699000 | #Constraints: 27662 1343.39/1348.07 c #Conflicts: 700000 | #Constraints: 28662 1343.39/1348.07 c #Conflicts: 701000 | #Constraints: 29662 1343.39/1348.07 c #Conflicts: 702000 | #Constraints: 30662 1343.39/1348.07 c #Conflicts: 703000 | #Constraints: 31662 1343.39/1348.07 c #Conflicts: 704000 | #Constraints: 32662 1343.39/1348.07 c #Conflicts: 705000 | #Constraints: 33662 1343.39/1348.07 c INPROCESSING 1343.39/1348.07 c GARBAGE COLLECT 1343.39/1348.07 c rational objective 15 1379.17/1383.98 c #Conflicts: 706000 | #Constraints: 18045 1379.17/1383.98 c #Conflicts: 707000 | #Constraints: 19046 1379.17/1383.98 c #Conflicts: 708000 | #Constraints: 20046 1379.17/1383.98 c #Conflicts: 709000 | #Constraints: 21047 1379.17/1383.98 c #Conflicts: 710000 | #Constraints: 22047 1379.17/1383.98 c #Conflicts: 711000 | #Constraints: 23047 1379.17/1383.98 c #Conflicts: 712000 | #Constraints: 24047 1379.17/1383.98 c #Conflicts: 713000 | #Constraints: 25047 1379.17/1383.98 c #Conflicts: 714000 | #Constraints: 26047 1379.17/1383.98 c #Conflicts: 715000 | #Constraints: 27047 1379.17/1383.98 c #Conflicts: 716000 | #Constraints: 28047 1379.17/1383.98 c #Conflicts: 717000 | #Constraints: 29047 1379.17/1383.98 c #Conflicts: 718000 | #Constraints: 30047 1379.17/1383.98 c #Conflicts: 719000 | #Constraints: 31047 1379.17/1383.98 c #Conflicts: 720000 | #Constraints: 32047 1379.17/1383.98 c #Conflicts: 721000 | #Constraints: 33047 1379.17/1383.98 c #Conflicts: 722000 | #Constraints: 34047 1379.17/1383.98 c INPROCESSING 1379.17/1383.98 c GARBAGE COLLECT 1379.17/1383.98 c rational objective 15 1470.99/1476.06 c #Conflicts: 723000 | #Constraints: 18239 1470.99/1476.06 c #Conflicts: 724000 | #Constraints: 19240 1470.99/1476.06 c #Conflicts: 725000 | #Constraints: 20244 1470.99/1476.06 c #Conflicts: 726000 | #Constraints: 21247 1470.99/1476.06 c #Conflicts: 727000 | #Constraints: 22248 1470.99/1476.06 c #Conflicts: 728000 | #Constraints: 23249 1470.99/1476.06 c #Conflicts: 729000 | #Constraints: 24252 1470.99/1476.06 c #Conflicts: 730000 | #Constraints: 25261 1470.99/1476.06 c #Conflicts: 731000 | #Constraints: 26263 1470.99/1476.06 c #Conflicts: 732000 | #Constraints: 27263 1470.99/1476.06 c #Conflicts: 733000 | #Constraints: 28263 1470.99/1476.06 c #Conflicts: 734000 | #Constraints: 29263 1470.99/1476.06 c #Conflicts: 735000 | #Constraints: 30273 1470.99/1476.06 c #Conflicts: 736000 | #Constraints: 31274 1470.99/1476.06 c #Conflicts: 737000 | #Constraints: 32275 1470.99/1476.06 c #Conflicts: 738000 | #Constraints: 33277 1470.99/1476.06 c #Conflicts: 739000 | #Constraints: 34278 1470.99/1476.06 c INPROCESSING 1470.99/1476.06 c GARBAGE COLLECT 1470.99/1476.06 c rational objective 15 1515.44/1520.62 c #Conflicts: 740000 | #Constraints: 18263 1515.44/1520.62 c #Conflicts: 741000 | #Constraints: 19264 1515.44/1520.62 c #Conflicts: 742000 | #Constraints: 20265 1515.44/1520.62 c #Conflicts: 743000 | #Constraints: 21267 1515.44/1520.62 c #Conflicts: 744000 | #Constraints: 22270 1515.44/1520.62 c #Conflicts: 745000 | #Constraints: 23273 1515.44/1520.62 c #Conflicts: 746000 | #Constraints: 24276 1515.44/1520.62 c #Conflicts: 747000 | #Constraints: 25277 1515.44/1520.62 c #Conflicts: 748000 | #Constraints: 26278 1515.44/1520.62 c #Conflicts: 749000 | #Constraints: 27278 1515.44/1520.62 c #Conflicts: 750000 | #Constraints: 28279 1515.44/1520.62 c #Conflicts: 751000 | #Constraints: 29279 1515.44/1520.62 c #Conflicts: 752000 | #Constraints: 30279 1515.44/1520.62 c #Conflicts: 753000 | #Constraints: 31279 1515.44/1520.62 c #Conflicts: 754000 | #Constraints: 32279 1515.44/1520.62 c #Conflicts: 755000 | #Constraints: 33279 1515.44/1520.62 c #Conflicts: 756000 | #Constraints: 34279 1515.44/1520.62 c INPROCESSING 1515.44/1520.62 c GARBAGE COLLECT 1515.44/1520.62 c rational objective 15 1558.31/1563.62 c #Conflicts: 757000 | #Constraints: 18060 1558.31/1563.62 c #Conflicts: 758000 | #Constraints: 19062 1558.31/1563.62 c #Conflicts: 759000 | #Constraints: 20062 1558.31/1563.62 c #Conflicts: 760000 | #Constraints: 21062 1558.31/1563.62 c #Conflicts: 761000 | #Constraints: 22062 1558.31/1563.62 c #Conflicts: 762000 | #Constraints: 23062 1558.31/1563.62 c #Conflicts: 763000 | #Constraints: 24062 1558.31/1563.62 c #Conflicts: 764000 | #Constraints: 25063 1558.31/1563.62 c #Conflicts: 765000 | #Constraints: 26063 1558.31/1563.62 c #Conflicts: 766000 | #Constraints: 27063 1558.31/1563.62 c #Conflicts: 767000 | #Constraints: 28063 1558.31/1563.62 c #Conflicts: 768000 | #Constraints: 29063 1558.31/1563.62 c #Conflicts: 769000 | #Constraints: 30063 1558.31/1563.62 c #Conflicts: 770000 | #Constraints: 31064 1558.31/1563.62 c #Conflicts: 771000 | #Constraints: 32064 1558.31/1563.62 c #Conflicts: 772000 | #Constraints: 33064 1558.31/1563.62 c #Conflicts: 773000 | #Constraints: 34064 1558.31/1563.62 c #Conflicts: 774000 | #Constraints: 35064 1558.31/1563.62 c INPROCESSING 1558.31/1563.62 c GARBAGE COLLECT 1558.31/1563.62 c rational objective 15 1584.52/1590.01 c #Conflicts: 775000 | #Constraints: 18658 1584.52/1590.01 c #Conflicts: 776000 | #Constraints: 19660 1584.52/1590.01 c #Conflicts: 777000 | #Constraints: 20660 1584.52/1590.01 c #Conflicts: 778000 | #Constraints: 21660 1584.52/1590.01 c #Conflicts: 779000 | #Constraints: 22660 1584.52/1590.01 c #Conflicts: 780000 | #Constraints: 23660 1584.52/1590.01 c #Conflicts: 781000 | #Constraints: 24660 1584.52/1590.01 c #Conflicts: 782000 | #Constraints: 25663 1584.52/1590.01 c #Conflicts: 783000 | #Constraints: 26664 1584.52/1590.01 c #Conflicts: 784000 | #Constraints: 27664 1584.52/1590.01 c #Conflicts: 785000 | #Constraints: 28664 1584.52/1590.01 c #Conflicts: 786000 | #Constraints: 29664 1584.52/1590.01 c #Conflicts: 787000 | #Constraints: 30664 1584.52/1590.01 c #Conflicts: 788000 | #Constraints: 31665 1584.52/1590.01 c #Conflicts: 789000 | #Constraints: 32665 1584.52/1590.01 c #Conflicts: 790000 | #Constraints: 33668 1584.52/1590.01 c #Conflicts: 791000 | #Constraints: 34673 1584.52/1590.01 c #Conflicts: 792000 | #Constraints: 35674 1584.52/1590.01 c INPROCESSING 1584.52/1590.01 c GARBAGE COLLECT 1584.52/1590.01 c rational objective 15 1624.90/1630.44 c #Conflicts: 793000 | #Constraints: 19056 1624.90/1630.44 c #Conflicts: 794000 | #Constraints: 20056 1624.90/1630.44 c #Conflicts: 795000 | #Constraints: 21056 1624.90/1630.44 c #Conflicts: 796000 | #Constraints: 22062 1624.90/1630.44 c #Conflicts: 797000 | #Constraints: 23062 1624.90/1630.44 c #Conflicts: 798000 | #Constraints: 24063 1624.90/1630.44 c #Conflicts: 799000 | #Constraints: 25063 1624.90/1630.44 c #Conflicts: 800000 | #Constraints: 26064 1624.90/1630.44 c #Conflicts: 801000 | #Constraints: 27064 1624.90/1630.44 c #Conflicts: 802000 | #Constraints: 28064 1624.90/1630.44 c #Conflicts: 803000 | #Constraints: 29064 1624.90/1630.44 c #Conflicts: 804000 | #Constraints: 30064 1624.90/1630.44 c #Conflicts: 805000 | #Constraints: 31064 1624.90/1630.44 c #Conflicts: 806000 | #Constraints: 32064 1624.90/1630.44 c #Conflicts: 807000 | #Constraints: 33064 1624.90/1630.44 c #Conflicts: 808000 | #Constraints: 34064 1624.90/1630.44 c #Conflicts: 809000 | #Constraints: 35064 1624.90/1630.44 c #Conflicts: 810000 | #Constraints: 36065 1624.90/1630.44 c INPROCESSING 1624.90/1630.44 c GARBAGE COLLECT 1624.90/1630.44 c rational objective 15 1645.54/1651.11 c #Conflicts: 811000 | #Constraints: 19259 1645.54/1651.11 c #Conflicts: 812000 | #Constraints: 20261 1645.54/1651.11 c #Conflicts: 813000 | #Constraints: 21264 1645.54/1651.11 c #Conflicts: 814000 | #Constraints: 22265 1645.54/1651.11 c #Conflicts: 815000 | #Constraints: 23265 1645.54/1651.11 c #Conflicts: 816000 | #Constraints: 24265 1645.54/1651.11 c #Conflicts: 817000 | #Constraints: 25270 1645.54/1651.11 c #Conflicts: 818000 | #Constraints: 26272 1645.54/1651.11 c #Conflicts: 819000 | #Constraints: 27274 1645.54/1651.11 c #Conflicts: 820000 | #Constraints: 28276 1645.54/1651.11 c #Conflicts: 821000 | #Constraints: 29276 1645.54/1651.11 c #Conflicts: 822000 | #Constraints: 30276 1645.54/1651.11 c #Conflicts: 823000 | #Constraints: 31276 1645.54/1651.11 c #Conflicts: 824000 | #Constraints: 32276 1645.54/1651.11 c #Conflicts: 825000 | #Constraints: 33276 1645.54/1651.11 c #Conflicts: 826000 | #Constraints: 34276 1645.54/1651.11 c #Conflicts: 827000 | #Constraints: 35278 1645.54/1651.11 c #Conflicts: 828000 | #Constraints: 36278 1645.54/1651.11 c INPROCESSING 1645.54/1651.11 c GARBAGE COLLECT 1645.54/1651.11 c rational objective 15 1674.35/1680.06 c #Conflicts: 829000 | #Constraints: 19261 1674.35/1680.06 c #Conflicts: 830000 | #Constraints: 20262 1674.35/1680.06 c #Conflicts: 831000 | #Constraints: 21266 1674.35/1680.06 c #Conflicts: 832000 | #Constraints: 22268 1674.35/1680.06 c #Conflicts: 833000 | #Constraints: 23269 1674.35/1680.06 c #Conflicts: 834000 | #Constraints: 24269 1674.35/1680.06 c #Conflicts: 835000 | #Constraints: 25269 1674.35/1680.06 c #Conflicts: 836000 | #Constraints: 26269 1674.35/1680.06 c #Conflicts: 837000 | #Constraints: 27269 1674.35/1680.06 c #Conflicts: 838000 | #Constraints: 28269 1674.35/1680.06 c #Conflicts: 839000 | #Constraints: 29269 1674.35/1680.06 c #Conflicts: 840000 | #Constraints: 30269 1674.35/1680.06 c #Conflicts: 841000 | #Constraints: 31269 1674.35/1680.06 c #Conflicts: 842000 | #Constraints: 32269 1674.35/1680.06 c #Conflicts: 843000 | #Constraints: 33269 1674.35/1680.06 c #Conflicts: 844000 | #Constraints: 34269 1674.35/1680.06 c #Conflicts: 845000 | #Constraints: 35269 1674.35/1680.06 c #Conflicts: 846000 | #Constraints: 36271 1674.35/1680.06 c INPROCESSING 1674.35/1680.06 c GARBAGE COLLECT 1674.35/1680.06 c rational objective 15 1726.87/1732.77 c #Conflicts: 847000 | #Constraints: 19048 1726.87/1732.77 c #Conflicts: 848000 | #Constraints: 20048 1726.87/1732.77 c #Conflicts: 849000 | #Constraints: 21048 1726.87/1732.77 c #Conflicts: 850000 | #Constraints: 22050 1726.87/1732.77 c #Conflicts: 851000 | #Constraints: 23050 1726.87/1732.77 c #Conflicts: 852000 | #Constraints: 24050 1726.87/1732.77 c #Conflicts: 853000 | #Constraints: 25050 1726.87/1732.77 c #Conflicts: 854000 | #Constraints: 26050 1726.87/1732.77 c #Conflicts: 855000 | #Constraints: 27050 1726.87/1732.77 c #Conflicts: 856000 | #Constraints: 28050 1726.87/1732.77 c #Conflicts: 857000 | #Constraints: 29051 1726.87/1732.77 c #Conflicts: 858000 | #Constraints: 30051 1726.87/1732.77 c #Conflicts: 859000 | #Constraints: 31051 1726.87/1732.77 c #Conflicts: 860000 | #Constraints: 32051 1726.87/1732.77 c #Conflicts: 861000 | #Constraints: 33051 1726.87/1732.77 c #Conflicts: 862000 | #Constraints: 34055 1726.87/1732.77 c #Conflicts: 863000 | #Constraints: 35055 1726.87/1732.77 c #Conflicts: 864000 | #Constraints: 36055 1726.87/1732.77 c #Conflicts: 865000 | #Constraints: 37058 1726.87/1732.77 c INPROCESSING 1726.87/1732.77 c GARBAGE COLLECT 1726.87/1732.77 c rational objective 15 1771.82/1777.87 c #Conflicts: 866000 | #Constraints: 19649 1771.82/1777.87 c #Conflicts: 867000 | #Constraints: 20649 1771.82/1777.87 c #Conflicts: 868000 | #Constraints: 21649 1771.82/1777.87 c #Conflicts: 869000 | #Constraints: 22671 1771.82/1777.87 c #Conflicts: 870000 | #Constraints: 23680 1771.82/1777.87 c #Conflicts: 871000 | #Constraints: 24680 1771.82/1777.87 c #Conflicts: 872000 | #Constraints: 25682 1771.82/1777.87 c #Conflicts: 873000 | #Constraints: 26684 1771.82/1777.87 c #Conflicts: 874000 | #Constraints: 27686 1771.82/1777.87 c #Conflicts: 875000 | #Constraints: 28689 1771.82/1777.87 c #Conflicts: 876000 | #Constraints: 29690 1771.82/1777.87 c #Conflicts: 877000 | #Constraints: 30690 1771.82/1777.87 c #Conflicts: 878000 | #Constraints: 31692 1771.82/1777.87 c #Conflicts: 879000 | #Constraints: 32692 1771.82/1777.87 c #Conflicts: 880000 | #Constraints: 33692 1771.82/1777.87 c #Conflicts: 881000 | #Constraints: 34692 1771.82/1777.87 c #Conflicts: 882000 | #Constraints: 35694 1771.82/1777.87 c #Conflicts: 883000 | #Constraints: 36694 1771.82/1777.87 c #Conflicts: 884000 | #Constraints: 37698 1771.82/1777.87 c INPROCESSING 1771.82/1777.87 c GARBAGE COLLECT 1771.82/1777.87 c rational objective 15 1826.25/1832.47 c #Conflicts: 885000 | #Constraints: 20080 1826.25/1832.47 c #Conflicts: 886000 | #Constraints: 21080 1826.25/1832.47 c #Conflicts: 887000 | #Constraints: 22080 1826.25/1832.47 c #Conflicts: 888000 | #Constraints: 23080 1826.25/1832.47 c #Conflicts: 889000 | #Constraints: 24080 1826.25/1832.47 c #Conflicts: 890000 | #Constraints: 25080 1826.25/1832.47 c #Conflicts: 891000 | #Constraints: 26080 1826.25/1832.47 c #Conflicts: 892000 | #Constraints: 27081 1826.25/1832.47 c #Conflicts: 893000 | #Constraints: 28083 1826.25/1832.47 c #Conflicts: 894000 | #Constraints: 29092 1826.25/1832.47 c #Conflicts: 895000 | #Constraints: 30096 1826.25/1832.47 c #Conflicts: 896000 | #Constraints: 31096 1826.25/1832.47 c #Conflicts: 897000 | #Constraints: 32096 1826.25/1832.47 c #Conflicts: 898000 | #Constraints: 33097 1826.25/1832.47 c #Conflicts: 899000 | #Constraints: 34108 1826.25/1832.47 c #Conflicts: 900000 | #Constraints: 35112 1826.25/1832.47 c #Conflicts: 901000 | #Constraints: 36114 1826.25/1832.47 c #Conflicts: 902000 | #Constraints: 37115 1826.25/1832.47 c #Conflicts: 903000 | #Constraints: 38115 1826.25/1832.47 c INPROCESSING 1826.25/1832.47 c GARBAGE COLLECT 1826.25/1832.47 c rational objective 15 1850.37/1856.63 c #Conflicts: 904000 | #Constraints: 20291 1850.37/1856.63 c #Conflicts: 905000 | #Constraints: 21296 1850.37/1856.63 c #Conflicts: 906000 | #Constraints: 22297 1850.37/1856.63 c #Conflicts: 907000 | #Constraints: 23298 1850.37/1856.63 c #Conflicts: 908000 | #Constraints: 24298 1850.37/1856.63 c #Conflicts: 909000 | #Constraints: 25298 1850.37/1856.63 c #Conflicts: 910000 | #Constraints: 26298 1850.37/1856.63 c #Conflicts: 911000 | #Constraints: 27298 1850.37/1856.63 c #Conflicts: 912000 | #Constraints: 28300 1850.37/1856.63 c #Conflicts: 913000 | #Constraints: 29302 1850.37/1856.63 c #Conflicts: 914000 | #Constraints: 30302 1850.37/1856.63 c #Conflicts: 915000 | #Constraints: 31303 1850.37/1856.63 c #Conflicts: 916000 | #Constraints: 32304 1850.37/1856.63 c #Conflicts: 917000 | #Constraints: 33304 1850.37/1856.63 c #Conflicts: 918000 | #Constraints: 34304 1850.37/1856.63 c #Conflicts: 919000 | #Constraints: 35304 1850.37/1856.63 c #Conflicts: 920000 | #Constraints: 36304 1850.37/1856.63 c #Conflicts: 921000 | #Constraints: 37304 1850.37/1856.63 c #Conflicts: 922000 | #Constraints: 38304 1850.37/1856.63 c INPROCESSING 1850.37/1856.63 c GARBAGE COLLECT 1850.37/1856.63 c rational objective 15 1892.34/1898.72 c #Conflicts: 923000 | #Constraints: 20266 1892.34/1898.72 c #Conflicts: 924000 | #Constraints: 21266 1892.34/1898.72 c #Conflicts: 925000 | #Constraints: 22266 1892.34/1898.72 c #Conflicts: 926000 | #Constraints: 23266 1892.34/1898.72 c #Conflicts: 927000 | #Constraints: 24266 1892.34/1898.72 c #Conflicts: 928000 | #Constraints: 25266 1892.34/1898.72 c #Conflicts: 929000 | #Constraints: 26267 1892.34/1898.72 c #Conflicts: 930000 | #Constraints: 27267 1892.34/1898.72 c #Conflicts: 931000 | #Constraints: 28267 1892.34/1898.72 c #Conflicts: 932000 | #Constraints: 29268 1892.34/1898.72 c #Conflicts: 933000 | #Constraints: 30269 1892.34/1898.72 c #Conflicts: 934000 | #Constraints: 31269 1892.34/1898.72 c #Conflicts: 935000 | #Constraints: 32269 1892.34/1898.72 c #Conflicts: 936000 | #Constraints: 33269 1892.34/1898.72 c #Conflicts: 937000 | #Constraints: 34269 1892.34/1898.72 c #Conflicts: 938000 | #Constraints: 35269 1892.34/1898.72 c #Conflicts: 939000 | #Constraints: 36269 1892.34/1898.72 c #Conflicts: 940000 | #Constraints: 37269 1892.34/1898.72 c #Conflicts: 941000 | #Constraints: 38269 1892.34/1898.72 c INPROCESSING 1892.34/1898.72 c GARBAGE COLLECT 1892.34/1898.72 c rational objective 15 2055.85/2062.78 c #Conflicts: 942000 | #Constraints: 20054 2055.85/2062.78 c #Conflicts: 943000 | #Constraints: 21054 2055.85/2062.78 c #Conflicts: 944000 | #Constraints: 22054 2055.85/2062.78 c #Conflicts: 945000 | #Constraints: 23054 2055.85/2062.78 c #Conflicts: 946000 | #Constraints: 24054 2055.85/2062.78 c #Conflicts: 947000 | #Constraints: 25055 2055.85/2062.78 c #Conflicts: 948000 | #Constraints: 26056 2055.85/2062.78 c #Conflicts: 949000 | #Constraints: 27057 2055.85/2062.78 c #Conflicts: 950000 | #Constraints: 28057 2055.85/2062.78 c #Conflicts: 951000 | #Constraints: 29057 2055.85/2062.78 c #Conflicts: 952000 | #Constraints: 30057 2055.85/2062.78 c #Conflicts: 953000 | #Constraints: 31064 2055.85/2062.78 c #Conflicts: 954000 | #Constraints: 32064 2055.85/2062.78 c #Conflicts: 955000 | #Constraints: 33064 2055.85/2062.78 c #Conflicts: 956000 | #Constraints: 34064 2055.85/2062.78 c #Conflicts: 957000 | #Constraints: 35064 2055.85/2062.78 c #Conflicts: 958000 | #Constraints: 36064 2055.85/2062.78 c #Conflicts: 959000 | #Constraints: 37064 2055.85/2062.78 c #Conflicts: 960000 | #Constraints: 38064 2055.85/2062.78 c #Conflicts: 961000 | #Constraints: 39064 2055.85/2062.78 c INPROCESSING 2055.85/2062.78 c GARBAGE COLLECT 2055.85/2062.78 c rational objective 15 2083.65/2090.67 c #Conflicts: 962000 | #Constraints: 20655 2083.65/2090.67 c #Conflicts: 963000 | #Constraints: 21661 2083.65/2090.67 c #Conflicts: 964000 | #Constraints: 22665 2083.65/2090.67 c #Conflicts: 965000 | #Constraints: 23666 2083.65/2090.67 c #Conflicts: 966000 | #Constraints: 24666 2083.65/2090.67 c #Conflicts: 967000 | #Constraints: 25667 2083.65/2090.67 c #Conflicts: 968000 | #Constraints: 26667 2083.65/2090.67 c #Conflicts: 969000 | #Constraints: 27668 2083.65/2090.67 c #Conflicts: 970000 | #Constraints: 28669 2083.65/2090.67 c #Conflicts: 971000 | #Constraints: 29669 2083.65/2090.67 c #Conflicts: 972000 | #Constraints: 30669 2083.65/2090.67 c #Conflicts: 973000 | #Constraints: 31670 2083.65/2090.67 c #Conflicts: 974000 | #Constraints: 32670 2083.65/2090.67 c #Conflicts: 975000 | #Constraints: 33671 2083.65/2090.67 c #Conflicts: 976000 | #Constraints: 34672 2083.65/2090.67 c #Conflicts: 977000 | #Constraints: 35672 2083.65/2090.67 c #Conflicts: 978000 | #Constraints: 36672 2083.65/2090.67 c #Conflicts: 979000 | #Constraints: 37672 2083.65/2090.67 c #Conflicts: 980000 | #Constraints: 38672 2083.65/2090.67 c #Conflicts: 981000 | #Constraints: 39672 2083.65/2090.67 c INPROCESSING 2083.65/2090.67 c GARBAGE COLLECT 2083.65/2090.67 c rational objective 15 2161.01/2168.22 c #Conflicts: 982000 | #Constraints: 21059 2161.01/2168.22 c #Conflicts: 983000 | #Constraints: 22059 2161.01/2168.22 c #Conflicts: 984000 | #Constraints: 23060 2161.01/2168.22 c #Conflicts: 985000 | #Constraints: 24060 2161.01/2168.22 c #Conflicts: 986000 | #Constraints: 25060 2161.01/2168.22 c #Conflicts: 987000 | #Constraints: 26060 2161.01/2168.22 c #Conflicts: 988000 | #Constraints: 27060 2161.01/2168.22 c #Conflicts: 989000 | #Constraints: 28060 2161.01/2168.22 c #Conflicts: 990000 | #Constraints: 29060 2161.01/2168.22 c #Conflicts: 991000 | #Constraints: 30060 2161.01/2168.22 c #Conflicts: 992000 | #Constraints: 31060 2161.01/2168.22 c #Conflicts: 993000 | #Constraints: 32060 2161.01/2168.22 c #Conflicts: 994000 | #Constraints: 33060 2161.01/2168.22 c #Conflicts: 995000 | #Constraints: 34060 2161.01/2168.22 c #Conflicts: 996000 | #Constraints: 35060 2161.01/2168.22 c #Conflicts: 997000 | #Constraints: 36060 2161.01/2168.22 c #Conflicts: 998000 | #Constraints: 37060 2161.01/2168.22 c #Conflicts: 999000 | #Constraints: 38060 2161.01/2168.22 c #Conflicts: 1000000 | #Constraints: 39060 2161.01/2168.22 c #Conflicts: 1001000 | #Constraints: 40060 2161.01/2168.22 c INPROCESSING 2161.01/2168.22 c GARBAGE COLLECT 2161.01/2168.22 c rational objective 15 2225.10/2232.55 c #Conflicts: 1002000 | #Constraints: 21258 2225.10/2232.55 c #Conflicts: 1003000 | #Constraints: 22262 2225.10/2232.55 c #Conflicts: 1004000 | #Constraints: 23263 2225.10/2232.55 c #Conflicts: 1005000 | #Constraints: 24265 2225.10/2232.55 c #Conflicts: 1006000 | #Constraints: 25267 2225.10/2232.55 c #Conflicts: 1007000 | #Constraints: 26270 2225.10/2232.55 c #Conflicts: 1008000 | #Constraints: 27271 2225.10/2232.55 c #Conflicts: 1009000 | #Constraints: 28271 2225.10/2232.55 c #Conflicts: 1010000 | #Constraints: 29271 2225.10/2232.55 c #Conflicts: 1011000 | #Constraints: 30271 2225.10/2232.55 c #Conflicts: 1012000 | #Constraints: 31271 2225.10/2232.55 c #Conflicts: 1013000 | #Constraints: 32273 2225.10/2232.55 c #Conflicts: 1014000 | #Constraints: 33273 2225.10/2232.55 c #Conflicts: 1015000 | #Constraints: 34273 2225.10/2232.55 c #Conflicts: 1016000 | #Constraints: 35278 2225.10/2232.55 c #Conflicts: 1017000 | #Constraints: 36278 2225.10/2232.55 c #Conflicts: 1018000 | #Constraints: 37280 2225.10/2232.55 c #Conflicts: 1019000 | #Constraints: 38282 2225.10/2232.55 c #Conflicts: 1020000 | #Constraints: 39284 2225.10/2232.55 c #Conflicts: 1021000 | #Constraints: 40292 2225.10/2232.55 c INPROCESSING 2225.10/2232.55 c GARBAGE COLLECT 2225.10/2232.55 c rational objective 15 2248.55/2256.03 c #Conflicts: 1022000 | #Constraints: 21267 2248.55/2256.03 c #Conflicts: 1023000 | #Constraints: 22267 2248.55/2256.03 c #Conflicts: 1024000 | #Constraints: 23267 2248.55/2256.03 c #Conflicts: 1025000 | #Constraints: 24267 2248.55/2256.03 c #Conflicts: 1026000 | #Constraints: 25267 2248.55/2256.03 c #Conflicts: 1027000 | #Constraints: 26267 2248.55/2256.03 c #Conflicts: 1028000 | #Constraints: 27274 2248.55/2256.03 c #Conflicts: 1029000 | #Constraints: 28275 2248.55/2256.03 c #Conflicts: 1030000 | #Constraints: 29276 2248.55/2256.03 c #Conflicts: 1031000 | #Constraints: 30276 2248.55/2256.03 c #Conflicts: 1032000 | #Constraints: 31276 2248.55/2256.03 c #Conflicts: 1033000 | #Constraints: 32276 2248.55/2256.03 c #Conflicts: 1034000 | #Constraints: 33276 2248.55/2256.03 c #Conflicts: 1035000 | #Constraints: 34276 2248.55/2256.03 c #Conflicts: 1036000 | #Constraints: 35276 2248.55/2256.03 c #Conflicts: 1037000 | #Constraints: 36276 2248.55/2256.03 c #Conflicts: 1038000 | #Constraints: 37276 2248.55/2256.03 c #Conflicts: 1039000 | #Constraints: 38276 2248.55/2256.03 c #Conflicts: 1040000 | #Constraints: 39276 2248.55/2256.03 c #Conflicts: 1041000 | #Constraints: 40276 2248.55/2256.03 c INPROCESSING 2248.55/2256.03 c GARBAGE COLLECT 2248.55/2256.03 c rational objective 15 2333.76/2341.55 c #Conflicts: 1042000 | #Constraints: 21061 2333.76/2341.55 c #Conflicts: 1043000 | #Constraints: 22066 2333.76/2341.55 c #Conflicts: 1044000 | #Constraints: 23067 2333.76/2341.55 c #Conflicts: 1045000 | #Constraints: 24068 2333.76/2341.55 c #Conflicts: 1046000 | #Constraints: 25068 2333.76/2341.55 c #Conflicts: 1047000 | #Constraints: 26068 2333.76/2341.55 c #Conflicts: 1048000 | #Constraints: 27068 2333.76/2341.55 c #Conflicts: 1049000 | #Constraints: 28068 2333.76/2341.55 c #Conflicts: 1050000 | #Constraints: 29068 2333.76/2341.55 c #Conflicts: 1051000 | #Constraints: 30068 2333.76/2341.55 c #Conflicts: 1052000 | #Constraints: 31068 2333.76/2341.55 c #Conflicts: 1053000 | #Constraints: 32068 2333.76/2341.55 c #Conflicts: 1054000 | #Constraints: 33068 2333.76/2341.55 c #Conflicts: 1055000 | #Constraints: 34068 2333.76/2341.55 c #Conflicts: 1056000 | #Constraints: 35068 2333.76/2341.55 c #Conflicts: 1057000 | #Constraints: 36068 2333.76/2341.55 c #Conflicts: 1058000 | #Constraints: 37068 2333.76/2341.55 c #Conflicts: 1059000 | #Constraints: 38068 2333.76/2341.55 c #Conflicts: 1060000 | #Constraints: 39068 2333.76/2341.55 c #Conflicts: 1061000 | #Constraints: 40068 2333.76/2341.55 c #Conflicts: 1062000 | #Constraints: 41068 2333.76/2341.55 c INPROCESSING 2333.76/2341.55 c GARBAGE COLLECT 2333.76/2341.55 c rational objective 15 2578.50/2587.02 c #Conflicts: 1063000 | #Constraints: 21662 2578.50/2587.02 c #Conflicts: 1064000 | #Constraints: 22668 2578.50/2587.02 c #Conflicts: 1065000 | #Constraints: 23668 2578.50/2587.02 c #Conflicts: 1066000 | #Constraints: 24668 2578.50/2587.02 c #Conflicts: 1067000 | #Constraints: 25669 2578.50/2587.02 c #Conflicts: 1068000 | #Constraints: 26669 2578.50/2587.02 c #Conflicts: 1069000 | #Constraints: 27669 2578.50/2587.02 c #Conflicts: 1070000 | #Constraints: 28669 2578.50/2587.02 c #Conflicts: 1071000 | #Constraints: 29669 2578.50/2587.02 c #Conflicts: 1072000 | #Constraints: 30669 2578.50/2587.02 c #Conflicts: 1073000 | #Constraints: 31669 2578.50/2587.02 c #Conflicts: 1074000 | #Constraints: 32669 2578.50/2587.02 c #Conflicts: 1075000 | #Constraints: 33669 2578.50/2587.02 c #Conflicts: 1076000 | #Constraints: 34669 2578.50/2587.02 c #Conflicts: 1077000 | #Constraints: 35670 2578.50/2587.02 c #Conflicts: 1078000 | #Constraints: 36670 2578.50/2587.02 c #Conflicts: 1079000 | #Constraints: 37670 2578.50/2587.02 c #Conflicts: 1080000 | #Constraints: 38670 2578.50/2587.02 c #Conflicts: 1081000 | #Constraints: 39670 2578.50/2587.02 c #Conflicts: 1082000 | #Constraints: 40670 2578.50/2587.02 c #Conflicts: 1083000 | #Constraints: 41670 2578.50/2587.02 c INPROCESSING 2578.50/2587.02 c GARBAGE COLLECT 2578.50/2587.02 c rational objective 15 2996.83/3006.72 c #Conflicts: 1084000 | #Constraints: 22048 2996.83/3006.72 c #Conflicts: 1085000 | #Constraints: 23048 2996.83/3006.72 c #Conflicts: 1086000 | #Constraints: 24048 2996.83/3006.72 c #Conflicts: 1087000 | #Constraints: 25048 2996.83/3006.72 c #Conflicts: 1088000 | #Constraints: 26048 2996.83/3006.72 c #Conflicts: 1089000 | #Constraints: 27048 2996.83/3006.72 c #Conflicts: 1090000 | #Constraints: 28060 2996.83/3006.72 c #Conflicts: 1091000 | #Constraints: 29060 2996.83/3006.72 c #Conflicts: 1092000 | #Constraints: 30060 2996.83/3006.72 c #Conflicts: 1093000 | #Constraints: 31064 2996.83/3006.72 c #Conflicts: 1094000 | #Constraints: 32072 2996.83/3006.72 c #Conflicts: 1095000 | #Constraints: 33083 2996.83/3006.72 c #Conflicts: 1096000 | #Constraints: 34083 2996.83/3006.72 c #Conflicts: 1097000 | #Constraints: 35089 2996.83/3006.72 c #Conflicts: 1098000 | #Constraints: 36089 2996.83/3006.72 c #Conflicts: 1099000 | #Constraints: 37089 2996.83/3006.72 c #Conflicts: 1100000 | #Constraints: 38089 2996.83/3006.72 c #Conflicts: 1101000 | #Constraints: 39089 2996.83/3006.72 c #Conflicts: 1102000 | #Constraints: 40090 2996.83/3006.72 c #Conflicts: 1103000 | #Constraints: 41090 2996.83/3006.72 c #Conflicts: 1104000 | #Constraints: 42090 2996.83/3006.72 c INPROCESSING 2996.83/3006.72 c GARBAGE COLLECT 2996.83/3006.72 c rational objective 15 3192.47/3203.01 c #Conflicts: 1105000 | #Constraints: 22273 3192.47/3203.01 c #Conflicts: 1106000 | #Constraints: 23274 3192.47/3203.01 c #Conflicts: 1107000 | #Constraints: 24274 3192.47/3203.01 c #Conflicts: 1108000 | #Constraints: 25274 3192.47/3203.01 c #Conflicts: 1109000 | #Constraints: 26274 3192.47/3203.01 c #Conflicts: 1110000 | #Constraints: 27274 3192.47/3203.01 c #Conflicts: 1111000 | #Constraints: 28274 3192.47/3203.01 c #Conflicts: 1112000 | #Constraints: 29274 3192.47/3203.01 c #Conflicts: 1113000 | #Constraints: 30275 3192.47/3203.01 c #Conflicts: 1114000 | #Constraints: 31275 3192.47/3203.01 c #Conflicts: 1115000 | #Constraints: 32281 3192.47/3203.01 c #Conflicts: 1116000 | #Constraints: 33283 3192.47/3203.01 c #Conflicts: 1117000 | #Constraints: 34285 3192.47/3203.01 c #Conflicts: 1118000 | #Constraints: 35285 3192.47/3203.01 c #Conflicts: 1119000 | #Constraints: 36285 3192.47/3203.01 c #Conflicts: 1120000 | #Constraints: 37285 3192.47/3203.01 c #Conflicts: 1121000 | #Constraints: 38286 3192.47/3203.01 c #Conflicts: 1122000 | #Constraints: 39286 3192.47/3203.01 c #Conflicts: 1123000 | #Constraints: 40286 3192.47/3203.01 c #Conflicts: 1124000 | #Constraints: 41287 3192.47/3203.01 c #Conflicts: 1125000 | #Constraints: 42287 3192.47/3203.01 c INPROCESSING 3192.47/3203.01 c GARBAGE COLLECT 3192.47/3203.01 c rational objective 15 3448.09/3459.56 c #Conflicts: 1126000 | #Constraints: 22268 3448.09/3459.56 c #Conflicts: 1127000 | #Constraints: 23268 3448.09/3459.56 c #Conflicts: 1128000 | #Constraints: 24268 3448.09/3459.56 c #Conflicts: 1129000 | #Constraints: 25268 3448.09/3459.56 c #Conflicts: 1130000 | #Constraints: 26268 3448.09/3459.56 c #Conflicts: 1131000 | #Constraints: 27268 3448.09/3459.56 c #Conflicts: 1132000 | #Constraints: 28269 3448.09/3459.56 c #Conflicts: 1133000 | #Constraints: 29269 3448.09/3459.56 c #Conflicts: 1134000 | #Constraints: 30269 3448.09/3459.56 c #Conflicts: 1135000 | #Constraints: 31269 3448.09/3459.56 c #Conflicts: 1136000 | #Constraints: 32272 3448.09/3459.56 c #Conflicts: 1137000 | #Constraints: 33272 3448.09/3459.56 c #Conflicts: 1138000 | #Constraints: 34272 3448.09/3459.56 c #Conflicts: 1139000 | #Constraints: 35273 3448.09/3459.56 c #Conflicts: 1140000 | #Constraints: 36273 3448.09/3459.56 c #Conflicts: 1141000 | #Constraints: 37273 3448.09/3459.56 c #Conflicts: 1142000 | #Constraints: 38273 3448.09/3459.56 c #Conflicts: 1143000 | #Constraints: 39274 3448.09/3459.56 c #Conflicts: 1144000 | #Constraints: 40275 3448.09/3459.56 c #Conflicts: 1145000 | #Constraints: 41275 3448.09/3459.56 c #Conflicts: 1146000 | #Constraints: 42277 3448.09/3459.56 c INPROCESSING 3448.09/3459.56 c GARBAGE COLLECT 3448.09/3459.56 c rational objective 15 3515.07/3526.78 c #Conflicts: 1147000 | #Constraints: 22055 3515.07/3526.78 c #Conflicts: 1148000 | #Constraints: 23055 3515.07/3526.78 c #Conflicts: 1149000 | #Constraints: 24061 3515.07/3526.78 c #Conflicts: 1150000 | #Constraints: 25065 3515.07/3526.78 c #Conflicts: 1151000 | #Constraints: 26069 3515.07/3526.78 c #Conflicts: 1152000 | #Constraints: 27069 3515.07/3526.78 c #Conflicts: 1153000 | #Constraints: 28070 3515.07/3526.78 c #Conflicts: 1154000 | #Constraints: 29071 3515.07/3526.78 c #Conflicts: 1155000 | #Constraints: 30072 3515.07/3526.78 c #Conflicts: 1156000 | #Constraints: 31072 3515.07/3526.78 c #Conflicts: 1157000 | #Constraints: 32072 3515.07/3526.78 c #Conflicts: 1158000 | #Constraints: 33074 3515.07/3526.78 c #Conflicts: 1159000 | #Constraints: 34080 3515.07/3526.78 c #Conflicts: 1160000 | #Constraints: 35080 3515.07/3526.78 c #Conflicts: 1161000 | #Constraints: 36080 3515.07/3526.78 c #Conflicts: 1162000 | #Constraints: 37081 3515.07/3526.78 c #Conflicts: 1163000 | #Constraints: 38083 3515.07/3526.78 c #Conflicts: 1164000 | #Constraints: 39083 3515.07/3526.78 c #Conflicts: 1165000 | #Constraints: 40083 3515.07/3526.78 c #Conflicts: 1166000 | #Constraints: 41083 3515.07/3526.78 c #Conflicts: 1167000 | #Constraints: 42083 3515.07/3526.78 c #Conflicts: 1168000 | #Constraints: 43083 3515.07/3526.78 c INPROCESSING 3515.07/3526.78 c GARBAGE COLLECT 3515.07/3526.78 c rational objective 15 3556.52/3568.37 c #Conflicts: 1169000 | #Constraints: 22659 3556.52/3568.37 c #Conflicts: 1170000 | #Constraints: 23660 3556.52/3568.37 c #Conflicts: 1171000 | #Constraints: 24663 3556.52/3568.37 c #Conflicts: 1172000 | #Constraints: 25667 3556.52/3568.37 c #Conflicts: 1173000 | #Constraints: 26667 3556.52/3568.37 c #Conflicts: 1174000 | #Constraints: 27668 3556.52/3568.37 c #Conflicts: 1175000 | #Constraints: 28669 3556.52/3568.37 c #Conflicts: 1176000 | #Constraints: 29669 3556.52/3568.37 c #Conflicts: 1177000 | #Constraints: 30674 3556.52/3568.37 c #Conflicts: 1178000 | #Constraints: 31675 3556.52/3568.37 c #Conflicts: 1179000 | #Constraints: 32675 3556.52/3568.37 c #Conflicts: 1180000 | #Constraints: 33675 3556.52/3568.37 c #Conflicts: 1181000 | #Constraints: 34675 3556.52/3568.37 c #Conflicts: 1182000 | #Constraints: 35675 3556.52/3568.37 c #Conflicts: 1183000 | #Constraints: 36675 3556.52/3568.37 c #Conflicts: 1184000 | #Constraints: 37675 3556.52/3568.37 c #Conflicts: 1185000 | #Constraints: 38675 3556.52/3568.37 c #Conflicts: 1186000 | #Constraints: 39675 3556.52/3568.37 c #Conflicts: 1187000 | #Constraints: 40675 3556.52/3568.37 c #Conflicts: 1188000 | #Constraints: 41677 3556.52/3568.37 c #Conflicts: 1189000 | #Constraints: 42677 3556.52/3568.37 c #Conflicts: 1190000 | #Constraints: 43677 3556.52/3568.37 c INPROCESSING 3556.52/3568.37 c GARBAGE COLLECT 3556.52/3568.37 c rational objective 15 3600.09/3612.01 c #Conflicts: 1191000 | #Constraints: 23055 3600.09/3612.01 c #Conflicts: 1192000 | #Constraints: 24059 3600.09/3612.01 c #Conflicts: 1193000 | #Constraints: 25059 3600.09/3612.01 c #Conflicts: 1194000 | #Constraints: 26059 3600.09/3612.01 c #Conflicts: 1195000 | #Constraints: 27059 3600.09/3612.01 c #Conflicts: 1196000 | #Constraints: 28060 3600.09/3612.01 c #Conflicts: 1197000 | #Constraints: 29060 3600.09/3612.01 c #Conflicts: 1198000 | #Constraints: 30062 3600.09/3612.01 c #Conflicts: 1199000 | #Constraints: 31062 3600.09/3612.01 c #Conflicts: 1200000 | #Constraints: 32062 3600.09/3612.01 c #Conflicts: 1201000 | #Constraints: 33064 3600.09/3612.01 c #Conflicts: 1202000 | #Constraints: 34065 3600.09/3612.01 c #Conflicts: 1203000 | #Constraints: 35065 3600.09/3612.01 c #Conflicts: 1204000 | #Constraints: 36065 3600.09/3612.01 c #Conflicts: 1205000 | #Constraints: 37065 3600.09/3612.01 c #Conflicts: 1206000 | #Constraints: 38065 3600.09/3612.01 c #Conflicts: 1207000 | #Constraints: 39065 3600.09/3612.01 c #Conflicts: 1208000 | #Constraints: 40066 3600.09/3612.01 c #Conflicts: 1209000 | #Constraints: 41066 3600.09/3612.01 c Program interrupted by user. 3600.09/3612.01 c cpu time 3549.16 s 3600.09/3612.01 c deterministic time 795871212377 7.96e+11 3600.09/3612.01 c optimization time 42.4969 s 3600.09/3612.01 c total solve time 3506.63 s 3600.09/3612.01 c core-guided solve time 1736.75 s 3600.09/3612.01 c propagation time 3301.46 s 3600.09/3612.01 c conflict analysis time 183.315 s 3600.09/3612.01 c propagations 214311387 3600.09/3612.01 c resolve steps 2947748 3600.09/3612.01 c decisions 23669660 3600.09/3612.01 c conflicts 1209109 3600.09/3612.01 c restarts 2299 3600.09/3612.01 c inprocessing phases 100 3600.09/3612.01 c input clauses 173 3600.09/3612.01 c input cardinalities 188 3600.09/3612.01 c input general constraints 67 3600.09/3612.01 c input average constraint length 53.24 3600.09/3612.01 c input average constraint degree 10756.17 3600.09/3612.01 c learned clauses 144765 3600.09/3612.01 c learned cardinalities 971 3600.09/3612.01 c learned general constraints 1064849 3600.09/3612.01 c learned average constraint length 419.59 3600.09/3612.01 c learned average constraint degree 1702166979.13 3600.09/3612.01 c watched constraints 785773 3600.09/3612.01 c counting constraints 279143 3600.09/3612.01 c gcd simplifications 101864 3600.09/3612.01 c detected cardinalities 60 3600.09/3612.01 c weakened non-implied lits 9629305 3600.09/3612.01 c weakened non-implying lits 2078023 3600.09/3612.01 c original variables 5568 3600.09/3612.01 c clausal propagations 713391 3600.09/3612.01 c cardinality propagations 178570429 3600.09/3612.01 c watched propagations 24963507 3600.09/3612.01 c counting propagations 9332156 3600.09/3612.01 c watch lookups 38108131623 3600.09/3612.01 c watch backjump lookups 36168287026 3600.09/3612.01 c watch checks 414683105932 3600.09/3612.01 c propagation checks 305094496183 3600.09/3612.01 c constraint additions 1338816459 3600.09/3612.01 c trail pops 239188092 3600.09/3612.01 c formula constraints 412 3600.09/3612.01 c learned constraints 1207631 3600.09/3612.01 c bound constraints 14 3600.09/3612.01 c core-guided constraints 2 3600.09/3612.01 c encountered formula constraints 1558886 3600.09/3612.01 c encountered learned constraints 1373478 3600.09/3612.01 c encountered bound constraints 37 3600.09/3612.01 c encountered core-guided constraints 524 3600.09/3612.01 c LP total time 699.426 s 3600.09/3612.01 c LP solve time 595.64 s 3600.09/3612.01 c LP constraints added 460 3600.09/3612.01 c LP constraints removed 48 3600.09/3612.01 c LP pivots internal 1203304 3600.09/3612.01 c LP pivots root 2710 3600.09/3612.01 c LP calls 946014 3600.09/3612.01 c LP optimalities 944533 3600.09/3612.01 c LP no pivot count 758384 3600.09/3612.01 c LP infeasibilities 1477 3600.09/3612.01 c LP valid Farkas constraints 1477 3600.09/3612.01 c LP learned Farkas constraints 1477 3600.09/3612.01 c LP basis resets 1 3600.09/3612.01 c LP cycling count 1 3600.09/3612.01 c LP singular count 0 3600.09/3612.01 c LP no primal count 0 3600.09/3612.01 c LP no farkas count 0 3600.09/3612.01 c LP other issue count 0 3600.09/3612.01 c LP Gomory cuts 0 3600.09/3612.01 c LP learned cuts 48 3600.09/3612.01 c LP deleted cuts 48 3600.09/3612.01 c LP encountered Gomory constraints 0 3600.09/3612.01 c LP encountered Farkas constraints 988496 3600.09/3612.01 c LP encountered learned Farkas constraints 233959 3600.09/3612.01 c CG auxiliary variables introduced 1 3600.09/3612.01 c CG solutions found 13 3600.09/3612.01 c CG cores constructed 1 3600.09/3612.01 c CG core cardinality constraints returned 1 3600.09/3612.01 c CG unit cores 0 3600.09/3612.01 c CG single cores 1 3600.09/3612.01 c CG blocks removed during cardinality reduction 0 3600.09/3612.01 c CG first core best 0 3600.09/3612.01 c CG decision core best 0 3600.09/3612.01 c CG core reduction tie 0 3600.09/3612.01 c CG core degree average 15.00 3600.09/3612.01 c CG core slack average 17.00 3600.09/3612.01 s SATISFIABLE 3600.09/3612.01 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: 64096 MiB (60519 MiB free)
memory of node 1: 64473 MiB (62625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457227-1721833727/watcher-4457227-1721833727 -o /tmp/evaluation-result-4457227-1721833727/solver-4457227-1721833727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721833727-236198 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457227-1721833727 --lp-cut-gomory=0 HOME/instance-4457227-1721833727.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=236245, runsolver pid=236237
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.05 1.18 1.25 5/241 236261
/proc/meminfo: memFree=126077204/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=43172 memory=12592 CPUtime=0.11 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 1956 0 0 0 10 1 0 0 20 0 1 0 19362544 44208128 3148 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 10793 3148 1727 992 0 2651 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 43172 KiB
Current children cumulated memory: 12592 KiB
[startup+0.214715 s]*
/proc/loadavg: 1.05 1.18 1.25 7/240 236265
/proc/meminfo: memFree=126064268/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=43600 memory=15844 CPUtime=0.22 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 2109 0 0 0 20 2 0 0 20 0 1 0 19362544 44646400 3961 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 10900 3961 1838 992 0 2758 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 15844 KiB
[startup+0.313424 s]*
/proc/loadavg: 1.05 1.18 1.25 7/238 236269
/proc/meminfo: memFree=126070500/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=43736 memory=15844 CPUtime=0.31 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 2113 0 0 0 29 2 0 0 20 0 1 0 19362544 44785664 3961 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 10934 3961 1838 992 0 2792 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43736 KiB
Current children cumulated memory: 15844 KiB
[startup+0.700269 s]
/proc/loadavg: 1.05 1.18 1.25 6/240 236281
/proc/meminfo: memFree=126061448/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=47556 memory=19348 CPUtime=0.68 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 2517 0 0 0 65 3 0 0 20 0 1 0 19362544 48697344 4837 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 11889 4837 1838 992 0 3747 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47556 KiB
Current children cumulated memory: 19348 KiB
[startup+1.50033 s]
/proc/loadavg: 1.05 1.18 1.25 6/243 236309
/proc/meminfo: memFree=126041392/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=63280 memory=33240 CPUtime=1.48 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 4941 0 0 0 139 9 0 0 20 0 1 0 19362544 64798720 8310 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 15820 8310 1854 992 0 7678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63280 KiB
Current children cumulated memory: 33240 KiB
[startup+3.11332 s]
/proc/loadavg: 1.05 1.18 1.25 6/243 236309
/proc/meminfo: memFree=125853052/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=103476 memory=60664 CPUtime=3.09 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 8733 0 0 0 292 17 0 0 20 0 1 0 19362544 105959424 15166 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 25869 15166 1854 992 0 17727 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103476 KiB
Current children cumulated memory: 60664 KiB
[startup+6.30029 s]
/proc/loadavg: 1.29 1.22 1.27 6/243 236309
/proc/meminfo: memFree=125622216/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=115560 memory=74288 CPUtime=6.27 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 11638 0 0 0 593 34 0 0 20 0 1 0 19362544 118333440 18572 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 28890 18572 1854 992 0 20748 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115560 KiB
Current children cumulated memory: 74288 KiB
[startup+12.7003 s]
/proc/loadavg: 1.58 1.29 1.29 6/243 236310
/proc/meminfo: memFree=125297832/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=122260 memory=80888 CPUtime=12.64 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 13301 0 0 0 1210 54 0 0 20 0 1 0 19362544 125194240 20222 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 30565 20222 1854 992 0 22423 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122260 KiB
Current children cumulated memory: 80888 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 1.42 1.33 6/243 236312
/proc/meminfo: memFree=124729772/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=127636 memory=86168 CPUtime=25.4 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 14603 0 0 0 2460 80 0 0 20 0 1 0 19362544 130699264 21542 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 31909 21542 1854 992 0 23767 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 127636 KiB
Current children cumulated memory: 86168 KiB
[startup+51.1137 s]
/proc/loadavg: 2.76 1.63 1.40 6/244 236318
/proc/meminfo: memFree=123914844/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=133880 memory=92504 CPUtime=50.92 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 16215 0 0 0 4945 147 0 0 20 0 1 0 19362544 137093120 23126 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 33470 23126 1854 992 0 25328 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 133880 KiB
Current children cumulated memory: 92504 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 2.01 1.55 5/252 236383
/proc/meminfo: memFree=123555308/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=152304 memory=109136 CPUtime=101.95 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 20359 0 0 0 9916 279 0 0 20 0 1 0 19362544 155959296 27284 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 38076 27284 1854 992 0 29934 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 152304 KiB
Current children cumulated memory: 109136 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 2.47 1.74 5/251 236394
/proc/meminfo: memFree=122666120/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=162556 memory=117320 CPUtime=161.75 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 22407 0 0 0 15776 399 0 0 20 0 1 0 19362544 166457344 29330 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 40639 29330 1854 992 0 32497 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 162556 KiB
Current children cumulated memory: 117320 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.76 1.89 5/251 236406
/proc/meminfo: memFree=121518704/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=181984 memory=139076 CPUtime=221.52 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 27263 0 0 0 21571 581 0 0 20 0 1 0 19362544 186351616 34769 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 45496 34769 1854 992 0 37354 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 181984 KiB
Current children cumulated memory: 139076 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.02 2.03 5/252 236417
/proc/meminfo: memFree=120473660/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=209452 memory=166944 CPUtime=281.3 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 33757 0 0 0 27402 728 0 0 20 0 1 0 19362544 214478848 41736 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 52363 41736 1854 992 0 44221 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 209452 KiB
Current children cumulated memory: 166944 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.22 2.16 5/250 236427
/proc/meminfo: memFree=119462532/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=229064 memory=182512 CPUtime=341.11 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 37722 0 0 0 33263 848 0 0 20 0 1 0 19362544 234561536 45628 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 57266 45628 1854 992 0 49124 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 229064 KiB
Current children cumulated memory: 182512 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.39 2.29 5/242 236437
/proc/meminfo: memFree=118836868/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=233520 memory=185964 CPUtime=400.92 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 38662 0 0 0 39116 976 0 0 20 0 1 0 19362544 239124480 46491 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 58380 46491 1854 992 0 50238 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 233520 KiB
Current children cumulated memory: 185964 KiB
[startup+462.3 s]
/proc/loadavg: 4.51 3.60 2.43 5/242 236448
/proc/meminfo: memFree=118403020/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=255320 memory=203652 CPUtime=460.72 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 43093 0 0 0 44965 1107 0 0 20 0 1 0 19362544 261447680 50913 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 63830 50913 1854 992 0 55688 0
################
# More data... #
################
Current children cumulated memory: 1000008 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.16 4.06 5/242 238494
/proc/meminfo: memFree=109413572/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1281052 memory=1053612 CPUtime=2852.92 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 161999 0 0 0 280839 4453 0 0 20 0 1 0 19362544 1311797248 263403 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 320263 263403 1938 992 0 312121 0
Current children cumulated CPU time: 2852.92 s
Current children cumulated vsize: 1281052 KiB
Current children cumulated memory: 1053612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.06 5/243 238505
/proc/meminfo: memFree=108621740/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1298564 memory=1103004 CPUtime=2912.71 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 165372 0 0 0 286802 4469 0 0 20 0 1 0 19362544 1329729536 275751 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 324641 275751 1938 992 0 316499 0
Current children cumulated CPU time: 2912.71 s
Current children cumulated vsize: 1298564 KiB
Current children cumulated memory: 1103004 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/245 238685
/proc/meminfo: memFree=107631084/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1301284 memory=1135388 CPUtime=2972.52 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 166647 0 0 0 292766 4486 0 0 20 0 1 0 19362544 1332514816 283847 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 325321 283847 1938 992 0 317179 0
Current children cumulated CPU time: 2972.52 s
Current children cumulated vsize: 1301284 KiB
Current children cumulated memory: 1135388 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/245 238696
/proc/meminfo: memFree=106257968/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1302856 memory=1151932 CPUtime=3032.3 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 167496 0 0 0 298703 4527 0 0 20 0 1 0 19362544 1334124544 287983 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 325714 287983 1938 992 0 317572 0
Current children cumulated CPU time: 3032.3 s
Current children cumulated vsize: 1302856 KiB
Current children cumulated memory: 1151932 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/246 238710
/proc/meminfo: memFree=105050292/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1330056 memory=1168260 CPUtime=3092.09 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 172107 0 0 0 304645 4564 0 0 20 0 1 0 19362544 1361977344 292065 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 332514 292065 1938 992 0 324372 0
Current children cumulated CPU time: 3092.09 s
Current children cumulated vsize: 1330056 KiB
Current children cumulated memory: 1168260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/246 238733
/proc/meminfo: memFree=104098180/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1334920 memory=1171684 CPUtime=3151.9 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 173357 0 0 0 310565 4625 0 0 20 0 1 0 19362544 1366958080 292921 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 333730 292921 1938 992 0 325588 0
Current children cumulated CPU time: 3151.9 s
Current children cumulated vsize: 1334920 KiB
Current children cumulated memory: 1171684 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/245 238744
/proc/meminfo: memFree=103250788/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1340956 memory=1176032 CPUtime=3211.7 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 174841 0 0 0 316496 4674 0 0 20 0 1 0 19362544 1373138944 294008 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 335239 294008 1938 992 0 327097 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 1340956 KiB
Current children cumulated memory: 1176032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.12 4.07 5/245 238754
/proc/meminfo: memFree=102547332/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1347244 memory=1180004 CPUtime=3271.49 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 176351 0 0 0 322448 4701 0 0 20 0 1 0 19362544 1379577856 295001 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 336811 295001 1938 992 0 328669 0
Current children cumulated CPU time: 3271.49 s
Current children cumulated vsize: 1347244 KiB
Current children cumulated memory: 1180004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.08 5/243 238765
/proc/meminfo: memFree=101801840/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1370544 memory=1199096 CPUtime=3331.3 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 181554 0 0 0 328387 4743 0 0 20 0 1 0 19362544 1403437056 299774 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 342636 299774 1938 992 0 334494 0
Current children cumulated CPU time: 3331.3 s
Current children cumulated vsize: 1370544 KiB
Current children cumulated memory: 1199096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.07 5/241 238775
/proc/meminfo: memFree=101047196/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1385780 memory=1210508 CPUtime=3391.09 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 184788 0 0 0 334337 4772 0 0 20 0 1 0 19362544 1419038720 302627 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 346445 302627 1938 992 0 338303 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 1385780 KiB
Current children cumulated memory: 1210508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/241 238785
/proc/meminfo: memFree=100274360/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1396476 memory=1219248 CPUtime=3450.89 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 187317 0 0 0 340284 4805 0 0 20 0 1 0 19362544 1429991424 304812 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 349119 304812 1938 992 0 340977 0
Current children cumulated CPU time: 3450.89 s
Current children cumulated vsize: 1396476 KiB
Current children cumulated memory: 1219248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/241 238796
/proc/meminfo: memFree=99782584/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1397788 memory=1220144 CPUtime=3510.68 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 187801 0 0 0 346156 4912 0 0 20 0 1 0 19362544 1431334912 305036 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 349447 305036 1938 992 0 341305 0
Current children cumulated CPU time: 3510.68 s
Current children cumulated vsize: 1397788 KiB
Current children cumulated memory: 1220144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/241 238806
/proc/meminfo: memFree=99364400/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1400640 memory=1222872 CPUtime=3570.48 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 188852 0 0 0 352002 5046 0 0 20 0 1 0 19362544 1434255360 305718 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 350160 305718 1938 992 0 342018 0
Current children cumulated CPU time: 3570.48 s
Current children cumulated vsize: 1400640 KiB
Current children cumulated memory: 1222872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.08 4.11 4.08 5/235 238837
/proc/meminfo: memFree=102775472/131655788 swapFree=131061684/131071996
[pid=236245] ppid=236237 vsize=1401704 memory=1223528 CPUtime=3600.09 cores=0,2
/proc/236245/stat : 236245 (roundingsat) R 236237 236245 236188 0 -1 4194304 189190 0 0 0 354915 5094 0 0 20 0 1 0 19362544 1435344896 305882 134679101440 4194304 8254037 140732017819504 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9138176 140732017824608 140732017824870 140732017824870 140732017831881 0
/proc/236245/statm: 350426 305882 1938 992 0 342284 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1401704 KiB
Current children cumulated memory: 1223528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.06 s]
# the end of solver process 236245 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3549.16 s, system=50.9624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.06
CPU time (s): 3600.12
CPU user time (s): 3549.16
CPU system time (s): 50.9624
CPU usage (%): 99.6696
Max. virtual memory (cumulated for all children) (KiB): 1401704
Max. memory (cumulated for all children) (KiB): 1223528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.16
system time used= 50.9624
maximum resident set size= 1223860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10759808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 896
involuntary context switches= 24961
# summary of solver processes directly reported to runsolver:
# pid: 236245
# total CPU time (s): 3600.12
# total CPU user time (s): 3549.16
# total CPU system time (s): 50.9624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.278 second user time and 34.0691 second system time
The end
Begin job on nodeC011 at 2024-07-24 17:08:47 IDJOB=4457227 IDBENCH=158621 IDSOLVER=3085 FILE ID=nodeC011/4457227-1721833727 RUNJOBID= nodeC011-1721833727-236198 SLURM_JOB_ID= 7891542 Free space on /tmp= 723780 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-4457227-1721833727/watcher-4457227-1721833727 -o /tmp/evaluation-result-4457227-1721833727/solver-4457227-1721833727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721833727-236198 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457227-1721833727 --lp-cut-gomory=0 HOME/instance-4457227-1721833727.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119 RANDOM SEED=1972352454 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.330 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.329 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.324 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.338 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.342 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.324 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.344 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126109212 kB MemAvailable: 130012844 kB Buffers: 249800 kB Cached: 4485228 kB SwapCached: 132 kB Active: 1695736 kB Inactive: 3314020 kB Active(anon): 2020 kB Inactive(anon): 325680 kB Active(file): 1693716 kB Inactive(file): 2988340 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061684 kB Dirty: 17592 kB Writeback: 0 kB AnonPages: 274528 kB Mapped: 97060 kB Shmem: 52980 kB KReclaimable: 123548 kB Slab: 227264 kB SReclaimable: 123548 kB SUnreclaim: 103716 kB KernelStack: 3552 kB PageTables: 9280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 658640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10912 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723732 MiB End job on nodeC011 at 2024-07-24 18:08:59