| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3617.77 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx75.opb |
| MD5SUM | a11c5c9a015f48f3bddc22713bc48593 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 1363.02 |
| 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 | 4977 |
| Total number of constraints | 5494 |
| Number of constraints which are clauses | 4970 |
| Number of constraints which are cardinality constraints (but not clauses) | 76 |
| Number of constraints which are nor clauses,nor cardinality constraints | 448 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 448 |
| Number of terms in the objective function | 7 |
| 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 | 7 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 947 |
| Number of bits of the biggest sum of numbers | 10 |
| 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/2.37 c #variables 4977 #constraints 5569 0.05/2.41 c bounds - >= 0 @ 0.02734 0.05/2.41 c rational objective 7 0.93/3.31 c #Conflicts: 1000 | #Constraints: 6571 0.93/3.31 c #Conflicts: 2000 | #Constraints: 7576 0.93/3.31 c INPROCESSING 0.93/3.31 c GARBAGE COLLECT 0.93/3.31 c rational objective 7 2.62/5.08 c bounds - >= 7 @ 0.920369 2.62/5.08 c #Conflicts: 3000 | #Constraints: 2616 2.62/5.08 c #Conflicts: 4000 | #Constraints: 3619 2.62/5.08 c INPROCESSING 2.62/5.08 c GARBAGE COLLECT 2.62/5.08 c rational objective 7 4.10/6.57 c #Conflicts: 5000 | #Constraints: 3023 4.10/6.57 c #Conflicts: 6000 | #Constraints: 4028 4.10/6.57 c INPROCESSING 4.10/6.57 c GARBAGE COLLECT 4.10/6.57 c rational objective 7 5.49/7.97 c #Conflicts: 7000 | #Constraints: 3036 5.49/7.97 c #Conflicts: 8000 | #Constraints: 4037 5.49/7.97 c #Conflicts: 9000 | #Constraints: 5038 5.49/7.97 c INPROCESSING 5.49/7.97 c GARBAGE COLLECT 5.49/7.97 c rational objective 7 7.17/9.67 c #Conflicts: 10000 | #Constraints: 3734 7.17/9.67 c #Conflicts: 11000 | #Constraints: 4734 7.17/9.67 c #Conflicts: 12000 | #Constraints: 5735 7.17/9.67 c INPROCESSING 7.17/9.67 c GARBAGE COLLECT 7.17/9.67 c rational objective 7 9.76/12.24 c #Conflicts: 13000 | #Constraints: 4184 9.76/12.24 c #Conflicts: 14000 | #Constraints: 5186 9.76/12.24 c #Conflicts: 15000 | #Constraints: 6192 9.76/12.24 c INPROCESSING 9.76/12.24 c GARBAGE COLLECT 9.76/12.24 c rational objective 7 14.35/16.80 c #Conflicts: 16000 | #Constraints: 4419 14.35/16.80 c #Conflicts: 17000 | #Constraints: 5422 14.35/16.80 c #Conflicts: 18000 | #Constraints: 6425 14.35/16.80 c INPROCESSING 14.35/16.80 c GARBAGE COLLECT 14.35/16.80 c rational objective 7 17.14/19.67 c #Conflicts: 19000 | #Constraints: 4439 17.14/19.67 c #Conflicts: 20000 | #Constraints: 5442 17.14/19.67 c #Conflicts: 21000 | #Constraints: 6443 17.14/19.67 c INPROCESSING 17.14/19.67 c GARBAGE COLLECT 17.14/19.67 c rational objective 7 19.32/21.89 c #Conflicts: 22000 | #Constraints: 4236 19.32/21.89 c #Conflicts: 23000 | #Constraints: 5239 19.32/21.89 c #Conflicts: 24000 | #Constraints: 6241 19.32/21.89 c #Conflicts: 25000 | #Constraints: 7243 19.32/21.89 c INPROCESSING 19.32/21.89 c GARBAGE COLLECT 19.32/21.89 c rational objective 7 22.71/25.21 c #Conflicts: 26000 | #Constraints: 4839 22.71/25.21 c #Conflicts: 27000 | #Constraints: 5842 22.71/25.21 c #Conflicts: 28000 | #Constraints: 6843 22.71/25.21 c #Conflicts: 29000 | #Constraints: 7844 22.71/25.21 c INPROCESSING 22.71/25.21 c GARBAGE COLLECT 22.71/25.21 c rational objective 7 25.99/28.59 c #Conflicts: 30000 | #Constraints: 5237 25.99/28.59 c #Conflicts: 31000 | #Constraints: 6242 25.99/28.59 c #Conflicts: 32000 | #Constraints: 7247 25.99/28.59 c #Conflicts: 33000 | #Constraints: 8249 25.99/28.59 c INPROCESSING 25.99/28.59 c GARBAGE COLLECT 25.99/28.59 c rational objective 7 31.97/34.53 c #Conflicts: 34000 | #Constraints: 5439 31.97/34.53 c #Conflicts: 35000 | #Constraints: 6440 31.97/34.53 c #Conflicts: 36000 | #Constraints: 7442 31.97/34.53 c #Conflicts: 37000 | #Constraints: 8444 31.97/34.53 c INPROCESSING 31.97/34.53 c GARBAGE COLLECT 31.97/34.53 c rational objective 7 40.43/43.01 c #Conflicts: 38000 | #Constraints: 5453 40.43/43.01 c #Conflicts: 39000 | #Constraints: 6462 40.43/43.01 c #Conflicts: 40000 | #Constraints: 7468 40.43/43.01 c #Conflicts: 41000 | #Constraints: 8469 40.43/43.01 c INPROCESSING 40.43/43.01 c GARBAGE COLLECT 40.43/43.01 c rational objective 7 45.61/48.28 c #Conflicts: 42000 | #Constraints: 5264 45.61/48.28 c #Conflicts: 43000 | #Constraints: 6269 45.61/48.28 c #Conflicts: 44000 | #Constraints: 7271 45.61/48.28 c #Conflicts: 45000 | #Constraints: 8274 45.61/48.28 c #Conflicts: 46000 | #Constraints: 9278 45.61/48.28 c INPROCESSING 45.61/48.28 c GARBAGE COLLECT 45.61/48.28 c rational objective 7 49.39/52.07 c #Conflicts: 47000 | #Constraints: 5855 49.39/52.07 c #Conflicts: 48000 | #Constraints: 6855 49.39/52.07 c #Conflicts: 49000 | #Constraints: 7857 49.39/52.07 c #Conflicts: 50000 | #Constraints: 8860 49.39/52.07 c #Conflicts: 51000 | #Constraints: 9863 49.39/52.07 c INPROCESSING 49.39/52.07 c GARBAGE COLLECT 49.39/52.07 c rational objective 7 54.56/57.23 c #Conflicts: 52000 | #Constraints: 6254 54.56/57.23 c #Conflicts: 53000 | #Constraints: 7256 54.56/57.23 c #Conflicts: 54000 | #Constraints: 8257 54.56/57.23 c #Conflicts: 55000 | #Constraints: 9259 54.56/57.23 c #Conflicts: 56000 | #Constraints: 10261 54.56/57.23 c INPROCESSING 54.56/57.23 c GARBAGE COLLECT 54.56/57.23 c rational objective 7 58.35/61.10 c #Conflicts: 57000 | #Constraints: 6450 58.35/61.10 c #Conflicts: 58000 | #Constraints: 7452 58.35/61.10 c #Conflicts: 59000 | #Constraints: 8456 58.35/61.10 c #Conflicts: 60000 | #Constraints: 9460 58.35/61.10 c #Conflicts: 61000 | #Constraints: 10461 58.35/61.10 c INPROCESSING 58.35/61.10 c GARBAGE COLLECT 58.35/61.10 c rational objective 7 67.50/70.22 c #Conflicts: 62000 | #Constraints: 6449 67.50/70.22 c #Conflicts: 63000 | #Constraints: 7453 67.50/70.22 c #Conflicts: 64000 | #Constraints: 8456 67.50/70.22 c #Conflicts: 65000 | #Constraints: 9459 67.50/70.22 c #Conflicts: 66000 | #Constraints: 10464 67.50/70.22 c INPROCESSING 67.50/70.22 c GARBAGE COLLECT 67.50/70.22 c rational objective 7 75.85/78.65 c #Conflicts: 67000 | #Constraints: 6246 75.85/78.65 c #Conflicts: 68000 | #Constraints: 7249 75.85/78.65 c #Conflicts: 69000 | #Constraints: 8254 75.85/78.65 c #Conflicts: 70000 | #Constraints: 9257 75.85/78.65 c #Conflicts: 71000 | #Constraints: 10263 75.85/78.65 c #Conflicts: 72000 | #Constraints: 11265 75.85/78.65 c INPROCESSING 75.85/78.65 c GARBAGE COLLECT 75.85/78.65 c rational objective 7 81.33/84.14 c #Conflicts: 73000 | #Constraints: 6859 81.33/84.14 c #Conflicts: 74000 | #Constraints: 7864 81.33/84.14 c #Conflicts: 75000 | #Constraints: 8873 81.33/84.14 c #Conflicts: 76000 | #Constraints: 9876 81.33/84.14 c #Conflicts: 77000 | #Constraints: 10877 81.33/84.14 c #Conflicts: 78000 | #Constraints: 11882 81.33/84.14 c INPROCESSING 81.33/84.14 c GARBAGE COLLECT 81.33/84.14 c rational objective 7 90.87/93.74 c #Conflicts: 79000 | #Constraints: 7267 90.87/93.74 c #Conflicts: 80000 | #Constraints: 8271 90.87/93.74 c #Conflicts: 81000 | #Constraints: 9273 90.87/93.74 c #Conflicts: 82000 | #Constraints: 10273 90.87/93.74 c #Conflicts: 83000 | #Constraints: 11274 90.87/93.74 c #Conflicts: 84000 | #Constraints: 12277 90.87/93.74 c INPROCESSING 90.87/93.74 c GARBAGE COLLECT 90.87/93.74 c rational objective 7 106.27/109.26 c #Conflicts: 85000 | #Constraints: 7464 106.27/109.26 c #Conflicts: 86000 | #Constraints: 8467 106.27/109.26 c #Conflicts: 87000 | #Constraints: 9470 106.27/109.26 c #Conflicts: 88000 | #Constraints: 10473 106.27/109.26 c #Conflicts: 89000 | #Constraints: 11476 106.27/109.26 c #Conflicts: 90000 | #Constraints: 12479 106.27/109.26 c INPROCESSING 106.27/109.26 c GARBAGE COLLECT 106.27/109.26 c rational objective 7 114.15/117.16 c #Conflicts: 91000 | #Constraints: 7468 114.15/117.16 c #Conflicts: 92000 | #Constraints: 8471 114.15/117.16 c #Conflicts: 93000 | #Constraints: 9473 114.15/117.16 c #Conflicts: 94000 | #Constraints: 10474 114.15/117.16 c #Conflicts: 95000 | #Constraints: 11477 114.15/117.16 c #Conflicts: 96000 | #Constraints: 12479 114.15/117.16 c INPROCESSING 114.15/117.16 c GARBAGE COLLECT 114.15/117.16 c rational objective 7 130.07/133.17 c #Conflicts: 97000 | #Constraints: 7285 130.07/133.17 c #Conflicts: 98000 | #Constraints: 8290 130.07/133.17 c #Conflicts: 99000 | #Constraints: 9294 130.07/133.17 c #Conflicts: 100000 | #Constraints: 10298 130.07/133.17 c #Conflicts: 101000 | #Constraints: 11302 130.07/133.17 c #Conflicts: 102000 | #Constraints: 12305 130.07/133.17 c #Conflicts: 103000 | #Constraints: 13310 130.07/133.17 c INPROCESSING 130.07/133.17 c GARBAGE COLLECT 130.07/133.17 c rational objective 7 137.04/140.13 c #Conflicts: 104000 | #Constraints: 7872 137.04/140.13 c #Conflicts: 105000 | #Constraints: 8875 137.04/140.13 c #Conflicts: 106000 | #Constraints: 9875 137.04/140.13 c #Conflicts: 107000 | #Constraints: 10878 137.04/140.13 c #Conflicts: 108000 | #Constraints: 11881 137.04/140.13 c #Conflicts: 109000 | #Constraints: 12883 137.04/140.13 c #Conflicts: 110000 | #Constraints: 13887 137.04/140.13 c INPROCESSING 137.04/140.13 c GARBAGE COLLECT 137.04/140.13 c rational objective 7 144.41/147.55 c #Conflicts: 111000 | #Constraints: 8267 144.41/147.55 c #Conflicts: 112000 | #Constraints: 9271 144.41/147.55 c #Conflicts: 113000 | #Constraints: 10275 144.41/147.55 c #Conflicts: 114000 | #Constraints: 11279 144.41/147.55 c #Conflicts: 115000 | #Constraints: 12282 144.41/147.55 c #Conflicts: 116000 | #Constraints: 13284 144.41/147.55 c #Conflicts: 117000 | #Constraints: 14285 144.41/147.55 c INPROCESSING 144.41/147.55 c GARBAGE COLLECT 144.41/147.55 c rational objective 7 153.67/156.89 c #Conflicts: 118000 | #Constraints: 8473 153.67/156.89 c #Conflicts: 119000 | #Constraints: 9477 153.67/156.89 c #Conflicts: 120000 | #Constraints: 10478 153.67/156.89 c #Conflicts: 121000 | #Constraints: 11482 153.67/156.89 c #Conflicts: 122000 | #Constraints: 12485 153.67/156.89 c #Conflicts: 123000 | #Constraints: 13488 153.67/156.89 c #Conflicts: 124000 | #Constraints: 14491 153.67/156.89 c INPROCESSING 153.67/156.89 c GARBAGE COLLECT 153.67/156.89 c rational objective 7 165.12/168.31 c #Conflicts: 125000 | #Constraints: 8473 165.12/168.31 c #Conflicts: 126000 | #Constraints: 9476 165.12/168.31 c #Conflicts: 127000 | #Constraints: 10479 165.12/168.31 c #Conflicts: 128000 | #Constraints: 11487 165.12/168.31 c #Conflicts: 129000 | #Constraints: 12499 165.12/168.31 c #Conflicts: 130000 | #Constraints: 13503 165.12/168.31 c #Conflicts: 131000 | #Constraints: 14508 165.12/168.31 c INPROCESSING 165.12/168.31 c GARBAGE COLLECT 165.12/168.31 c rational objective 7 179.12/182.47 c #Conflicts: 132000 | #Constraints: 8269 179.12/182.47 c #Conflicts: 133000 | #Constraints: 9272 179.12/182.47 c #Conflicts: 134000 | #Constraints: 10275 179.12/182.47 c #Conflicts: 135000 | #Constraints: 11278 179.12/182.47 c #Conflicts: 136000 | #Constraints: 12280 179.12/182.47 c #Conflicts: 137000 | #Constraints: 13283 179.12/182.47 c #Conflicts: 138000 | #Constraints: 14288 179.12/182.47 c #Conflicts: 139000 | #Constraints: 15293 179.12/182.47 c INPROCESSING 179.12/182.47 c GARBAGE COLLECT 179.12/182.47 c rational objective 7 193.86/197.21 c #Conflicts: 140000 | #Constraints: 8870 193.86/197.21 c #Conflicts: 141000 | #Constraints: 9874 193.86/197.21 c #Conflicts: 142000 | #Constraints: 10877 193.86/197.21 c #Conflicts: 143000 | #Constraints: 11881 193.86/197.21 c #Conflicts: 144000 | #Constraints: 12887 193.86/197.21 c #Conflicts: 145000 | #Constraints: 13891 193.86/197.21 c #Conflicts: 146000 | #Constraints: 14893 193.86/197.21 c #Conflicts: 147000 | #Constraints: 15894 193.86/197.21 c INPROCESSING 193.86/197.21 c GARBAGE COLLECT 193.86/197.21 c rational objective 7 204.00/207.44 c #Conflicts: 148000 | #Constraints: 9282 204.00/207.44 c #Conflicts: 149000 | #Constraints: 10283 204.00/207.44 c #Conflicts: 150000 | #Constraints: 11286 204.00/207.44 c #Conflicts: 151000 | #Constraints: 12288 204.00/207.44 c #Conflicts: 152000 | #Constraints: 13289 204.00/207.44 c #Conflicts: 153000 | #Constraints: 14292 204.00/207.44 c #Conflicts: 154000 | #Constraints: 15300 204.00/207.44 c #Conflicts: 155000 | #Constraints: 16304 204.00/207.44 c INPROCESSING 204.00/207.44 c GARBAGE COLLECT 204.00/207.44 c rational objective 7 212.66/216.19 c #Conflicts: 156000 | #Constraints: 9479 212.66/216.19 c #Conflicts: 157000 | #Constraints: 10481 212.66/216.19 c #Conflicts: 158000 | #Constraints: 11485 212.66/216.19 c #Conflicts: 159000 | #Constraints: 12487 212.66/216.19 c #Conflicts: 160000 | #Constraints: 13489 212.66/216.19 c #Conflicts: 161000 | #Constraints: 14491 212.66/216.19 c #Conflicts: 162000 | #Constraints: 15495 212.66/216.19 c #Conflicts: 163000 | #Constraints: 16496 212.66/216.19 c INPROCESSING 212.66/216.19 c GARBAGE COLLECT 212.66/216.19 c rational objective 7 229.48/233.05 c #Conflicts: 164000 | #Constraints: 9474 229.48/233.05 c #Conflicts: 165000 | #Constraints: 10477 229.48/233.05 c #Conflicts: 166000 | #Constraints: 11480 229.48/233.05 c #Conflicts: 167000 | #Constraints: 12486 229.48/233.05 c #Conflicts: 168000 | #Constraints: 13488 229.48/233.05 c #Conflicts: 169000 | #Constraints: 14489 229.48/233.05 c #Conflicts: 170000 | #Constraints: 15491 229.48/233.05 c #Conflicts: 171000 | #Constraints: 16492 229.48/233.05 c INPROCESSING 229.48/233.05 c GARBAGE COLLECT 229.48/233.05 c rational objective 7 241.79/245.44 c #Conflicts: 172000 | #Constraints: 9275 241.79/245.44 c #Conflicts: 173000 | #Constraints: 10278 241.79/245.44 c #Conflicts: 174000 | #Constraints: 11282 241.79/245.44 c #Conflicts: 175000 | #Constraints: 12284 241.79/245.44 c #Conflicts: 176000 | #Constraints: 13286 241.79/245.44 c #Conflicts: 177000 | #Constraints: 14289 241.79/245.44 c #Conflicts: 178000 | #Constraints: 15293 241.79/245.44 c #Conflicts: 179000 | #Constraints: 16296 241.79/245.44 c #Conflicts: 180000 | #Constraints: 17296 241.79/245.44 c INPROCESSING 241.79/245.44 c GARBAGE COLLECT 241.79/245.44 c rational objective 7 255.62/259.31 c #Conflicts: 181000 | #Constraints: 9867 255.62/259.31 c #Conflicts: 182000 | #Constraints: 10873 255.62/259.31 c #Conflicts: 183000 | #Constraints: 11877 255.62/259.31 c #Conflicts: 184000 | #Constraints: 12881 255.62/259.31 c #Conflicts: 185000 | #Constraints: 13884 255.62/259.31 c #Conflicts: 186000 | #Constraints: 14888 255.62/259.31 c #Conflicts: 187000 | #Constraints: 15890 255.62/259.31 c #Conflicts: 188000 | #Constraints: 16894 255.62/259.31 c #Conflicts: 189000 | #Constraints: 17898 255.62/259.31 c INPROCESSING 255.62/259.31 c GARBAGE COLLECT 255.62/259.31 c rational objective 7 274.92/278.79 c #Conflicts: 190000 | #Constraints: 10269 274.92/278.79 c #Conflicts: 191000 | #Constraints: 11272 274.92/278.79 c #Conflicts: 192000 | #Constraints: 12279 274.92/278.79 c #Conflicts: 193000 | #Constraints: 13281 274.92/278.79 c #Conflicts: 194000 | #Constraints: 14283 274.92/278.79 c #Conflicts: 195000 | #Constraints: 15283 274.92/278.79 c #Conflicts: 196000 | #Constraints: 16283 274.92/278.79 c #Conflicts: 197000 | #Constraints: 17285 274.92/278.79 c #Conflicts: 198000 | #Constraints: 18286 274.92/278.79 c INPROCESSING 274.92/278.79 c GARBAGE COLLECT 274.92/278.79 c rational objective 7 301.77/305.70 c #Conflicts: 199000 | #Constraints: 10486 301.77/305.70 c #Conflicts: 200000 | #Constraints: 11490 301.77/305.70 c #Conflicts: 201000 | #Constraints: 12490 301.77/305.70 c #Conflicts: 202000 | #Constraints: 13492 301.77/305.70 c #Conflicts: 203000 | #Constraints: 14496 301.77/305.70 c #Conflicts: 204000 | #Constraints: 15497 301.77/305.70 c #Conflicts: 205000 | #Constraints: 16500 301.77/305.70 c #Conflicts: 206000 | #Constraints: 17503 301.77/305.70 c #Conflicts: 207000 | #Constraints: 18504 301.77/305.70 c INPROCESSING 301.77/305.70 c GARBAGE COLLECT 301.77/305.70 c rational objective 7 323.67/327.72 c #Conflicts: 208000 | #Constraints: 10476 323.67/327.72 c #Conflicts: 209000 | #Constraints: 11476 323.67/327.72 c #Conflicts: 210000 | #Constraints: 12477 323.67/327.72 c #Conflicts: 211000 | #Constraints: 13479 323.67/327.72 c #Conflicts: 212000 | #Constraints: 14480 323.67/327.72 c #Conflicts: 213000 | #Constraints: 15482 323.67/327.72 c #Conflicts: 214000 | #Constraints: 16483 323.67/327.72 c #Conflicts: 215000 | #Constraints: 17484 323.67/327.72 c #Conflicts: 216000 | #Constraints: 18485 323.67/327.72 c INPROCESSING 323.67/327.72 c GARBAGE COLLECT 323.67/327.72 c rational objective 7 352.85/357.02 c #Conflicts: 217000 | #Constraints: 10269 352.85/357.02 c #Conflicts: 218000 | #Constraints: 11273 352.85/357.02 c #Conflicts: 219000 | #Constraints: 12278 352.85/357.02 c #Conflicts: 220000 | #Constraints: 13282 352.85/357.02 c #Conflicts: 221000 | #Constraints: 14287 352.85/357.02 c #Conflicts: 222000 | #Constraints: 15291 352.85/357.02 c #Conflicts: 223000 | #Constraints: 16292 352.85/357.02 c #Conflicts: 224000 | #Constraints: 17296 352.85/357.02 c #Conflicts: 225000 | #Constraints: 18297 352.85/357.02 c #Conflicts: 226000 | #Constraints: 19298 352.85/357.02 c INPROCESSING 352.85/357.02 c GARBAGE COLLECT 352.85/357.02 c rational objective 7 378.63/382.96 c #Conflicts: 227000 | #Constraints: 10870 378.63/382.96 c #Conflicts: 228000 | #Constraints: 11873 378.63/382.96 c #Conflicts: 229000 | #Constraints: 12874 378.63/382.96 c #Conflicts: 230000 | #Constraints: 13875 378.63/382.96 c #Conflicts: 231000 | #Constraints: 14879 378.63/382.96 c #Conflicts: 232000 | #Constraints: 15880 378.63/382.96 c #Conflicts: 233000 | #Constraints: 16881 378.63/382.96 c #Conflicts: 234000 | #Constraints: 17886 378.63/382.96 c #Conflicts: 235000 | #Constraints: 18887 378.63/382.96 c #Conflicts: 236000 | #Constraints: 19889 378.63/382.96 c INPROCESSING 378.63/382.96 c GARBAGE COLLECT 378.63/382.96 c rational objective 7 396.45/400.84 c #Conflicts: 237000 | #Constraints: 11258 396.45/400.84 c #Conflicts: 238000 | #Constraints: 12261 396.45/400.84 c #Conflicts: 239000 | #Constraints: 13264 396.45/400.84 c #Conflicts: 240000 | #Constraints: 14269 396.45/400.84 c #Conflicts: 241000 | #Constraints: 15273 396.45/400.84 c #Conflicts: 242000 | #Constraints: 16275 396.45/400.84 c #Conflicts: 243000 | #Constraints: 17277 396.45/400.84 c #Conflicts: 244000 | #Constraints: 18278 396.45/400.84 c #Conflicts: 245000 | #Constraints: 19282 396.45/400.84 c #Conflicts: 246000 | #Constraints: 20284 396.45/400.84 c INPROCESSING 396.45/400.84 c GARBAGE COLLECT 396.45/400.84 c rational objective 7 417.76/422.20 c #Conflicts: 247000 | #Constraints: 11471 417.76/422.20 c #Conflicts: 248000 | #Constraints: 12478 417.76/422.20 c #Conflicts: 249000 | #Constraints: 13481 417.76/422.20 c #Conflicts: 250000 | #Constraints: 14484 417.76/422.20 c #Conflicts: 251000 | #Constraints: 15487 417.76/422.20 c #Conflicts: 252000 | #Constraints: 16488 417.76/422.20 c #Conflicts: 253000 | #Constraints: 17495 417.76/422.20 c #Conflicts: 254000 | #Constraints: 18498 417.76/422.20 c #Conflicts: 255000 | #Constraints: 19503 417.76/422.20 c #Conflicts: 256000 | #Constraints: 20507 417.76/422.20 c INPROCESSING 417.76/422.20 c GARBAGE COLLECT 417.76/422.20 c rational objective 7 436.58/441.11 c #Conflicts: 257000 | #Constraints: 11477 436.58/441.11 c #Conflicts: 258000 | #Constraints: 12482 436.58/441.11 c #Conflicts: 259000 | #Constraints: 13484 436.58/441.11 c #Conflicts: 260000 | #Constraints: 14489 436.58/441.11 c #Conflicts: 261000 | #Constraints: 15492 436.58/441.11 c #Conflicts: 262000 | #Constraints: 16496 436.58/441.11 c #Conflicts: 263000 | #Constraints: 17502 436.58/441.11 c #Conflicts: 264000 | #Constraints: 18505 436.58/441.11 c #Conflicts: 265000 | #Constraints: 19508 436.58/441.11 c #Conflicts: 266000 | #Constraints: 20511 436.58/441.11 c INPROCESSING 436.58/441.11 c GARBAGE COLLECT 436.58/441.11 c rational objective 7 458.27/462.90 c #Conflicts: 267000 | #Constraints: 11286 458.27/462.90 c #Conflicts: 268000 | #Constraints: 12286 458.27/462.90 c #Conflicts: 269000 | #Constraints: 13293 458.27/462.90 c #Conflicts: 270000 | #Constraints: 14299 458.27/462.90 c #Conflicts: 271000 | #Constraints: 15304 458.27/462.90 c #Conflicts: 272000 | #Constraints: 16306 458.27/462.90 c #Conflicts: 273000 | #Constraints: 17306 458.27/462.90 c #Conflicts: 274000 | #Constraints: 18307 458.27/462.90 c #Conflicts: 275000 | #Constraints: 19308 458.27/462.90 c #Conflicts: 276000 | #Constraints: 20311 458.27/462.90 c #Conflicts: 277000 | #Constraints: 21313 458.27/462.90 c INPROCESSING 458.27/462.90 c GARBAGE COLLECT 458.27/462.90 c rational objective 7 480.47/485.28 c #Conflicts: 278000 | #Constraints: 11887 480.47/485.28 c #Conflicts: 279000 | #Constraints: 12889 480.47/485.28 c #Conflicts: 280000 | #Constraints: 13893 480.47/485.28 c #Conflicts: 281000 | #Constraints: 14895 480.47/485.28 c #Conflicts: 282000 | #Constraints: 15899 480.47/485.28 c #Conflicts: 283000 | #Constraints: 16902 480.47/485.28 c #Conflicts: 284000 | #Constraints: 17904 480.47/485.28 c #Conflicts: 285000 | #Constraints: 18908 480.47/485.28 c #Conflicts: 286000 | #Constraints: 19912 480.47/485.28 c #Conflicts: 287000 | #Constraints: 20915 480.47/485.28 c #Conflicts: 288000 | #Constraints: 21918 480.47/485.28 c INPROCESSING 480.47/485.28 c GARBAGE COLLECT 480.47/485.28 c rational objective 7 500.40/505.21 c #Conflicts: 289000 | #Constraints: 12279 500.40/505.21 c #Conflicts: 290000 | #Constraints: 13282 500.40/505.21 c #Conflicts: 291000 | #Constraints: 14286 500.40/505.21 c #Conflicts: 292000 | #Constraints: 15293 500.40/505.21 c #Conflicts: 293000 | #Constraints: 16300 500.40/505.21 c #Conflicts: 294000 | #Constraints: 17304 500.40/505.21 c #Conflicts: 295000 | #Constraints: 18310 500.40/505.21 c #Conflicts: 296000 | #Constraints: 19313 500.40/505.21 c #Conflicts: 297000 | #Constraints: 20316 500.40/505.21 c #Conflicts: 298000 | #Constraints: 21317 500.40/505.21 c #Conflicts: 299000 | #Constraints: 22320 500.40/505.21 c INPROCESSING 500.40/505.21 c GARBAGE COLLECT 500.40/505.21 c rational objective 7 517.62/522.54 c #Conflicts: 300000 | #Constraints: 12478 517.62/522.54 c #Conflicts: 301000 | #Constraints: 13482 517.62/522.54 c #Conflicts: 302000 | #Constraints: 14489 517.62/522.54 c #Conflicts: 303000 | #Constraints: 15493 517.62/522.54 c #Conflicts: 304000 | #Constraints: 16496 517.62/522.54 c #Conflicts: 305000 | #Constraints: 17500 517.62/522.54 c #Conflicts: 306000 | #Constraints: 18506 517.62/522.54 c #Conflicts: 307000 | #Constraints: 19508 517.62/522.54 c #Conflicts: 308000 | #Constraints: 20513 517.62/522.54 c #Conflicts: 309000 | #Constraints: 21518 517.62/522.54 c #Conflicts: 310000 | #Constraints: 22520 517.62/522.54 c INPROCESSING 517.62/522.54 c GARBAGE COLLECT 517.62/522.54 c rational objective 7 556.07/561.18 c #Conflicts: 311000 | #Constraints: 12479 556.07/561.18 c #Conflicts: 312000 | #Constraints: 13482 556.07/561.18 c #Conflicts: 313000 | #Constraints: 14487 556.07/561.18 c #Conflicts: 314000 | #Constraints: 15495 556.07/561.18 c #Conflicts: 315000 | #Constraints: 16499 556.07/561.18 c #Conflicts: 316000 | #Constraints: 17501 556.07/561.18 c #Conflicts: 317000 | #Constraints: 18501 556.07/561.18 c #Conflicts: 318000 | #Constraints: 19506 556.07/561.18 c #Conflicts: 319000 | #Constraints: 20510 556.07/561.18 c #Conflicts: 320000 | #Constraints: 21512 556.07/561.18 c #Conflicts: 321000 | #Constraints: 22513 556.07/561.18 c INPROCESSING 556.07/561.18 c GARBAGE COLLECT 556.07/561.18 c rational objective 7 571.30/576.45 c #Conflicts: 322000 | #Constraints: 12288 571.30/576.45 c #Conflicts: 323000 | #Constraints: 13291 571.30/576.45 c #Conflicts: 324000 | #Constraints: 14292 571.30/576.45 c #Conflicts: 325000 | #Constraints: 15294 571.30/576.45 c #Conflicts: 326000 | #Constraints: 16296 571.30/576.45 c #Conflicts: 327000 | #Constraints: 17298 571.30/576.45 c #Conflicts: 328000 | #Constraints: 18303 571.30/576.45 c #Conflicts: 329000 | #Constraints: 19311 571.30/576.45 c #Conflicts: 330000 | #Constraints: 20315 571.30/576.45 c #Conflicts: 331000 | #Constraints: 21317 571.30/576.45 c #Conflicts: 332000 | #Constraints: 22319 571.30/576.45 c #Conflicts: 333000 | #Constraints: 23322 571.30/576.45 c INPROCESSING 571.30/576.45 c GARBAGE COLLECT 571.30/576.45 c rational objective 7 595.50/600.70 c #Conflicts: 334000 | #Constraints: 12886 595.50/600.70 c #Conflicts: 335000 | #Constraints: 13889 595.50/600.70 c #Conflicts: 336000 | #Constraints: 14891 595.50/600.70 c #Conflicts: 337000 | #Constraints: 15893 595.50/600.70 c #Conflicts: 338000 | #Constraints: 16897 595.50/600.70 c #Conflicts: 339000 | #Constraints: 17900 595.50/600.70 c #Conflicts: 340000 | #Constraints: 18903 595.50/600.70 c #Conflicts: 341000 | #Constraints: 19904 595.50/600.70 c #Conflicts: 342000 | #Constraints: 20908 595.50/600.70 c #Conflicts: 343000 | #Constraints: 21913 595.50/600.70 c #Conflicts: 344000 | #Constraints: 22917 595.50/600.70 c #Conflicts: 345000 | #Constraints: 23921 595.50/600.70 c INPROCESSING 595.50/600.70 c GARBAGE COLLECT 595.50/600.70 c rational objective 7 620.19/625.51 c #Conflicts: 346000 | #Constraints: 13289 620.19/625.51 c #Conflicts: 347000 | #Constraints: 14291 620.19/625.51 c #Conflicts: 348000 | #Constraints: 15295 620.19/625.51 c #Conflicts: 349000 | #Constraints: 16299 620.19/625.51 c #Conflicts: 350000 | #Constraints: 17301 620.19/625.51 c #Conflicts: 351000 | #Constraints: 18303 620.19/625.51 c #Conflicts: 352000 | #Constraints: 19305 620.19/625.51 c #Conflicts: 353000 | #Constraints: 20311 620.19/625.51 c #Conflicts: 354000 | #Constraints: 21312 620.19/625.51 c #Conflicts: 355000 | #Constraints: 22316 620.19/625.51 c #Conflicts: 356000 | #Constraints: 23321 620.19/625.51 c #Conflicts: 357000 | #Constraints: 24329 620.19/625.51 c INPROCESSING 620.19/625.51 c GARBAGE COLLECT 620.19/625.51 c rational objective 7 652.35/657.80 c #Conflicts: 358000 | #Constraints: 13487 652.35/657.80 c #Conflicts: 359000 | #Constraints: 14488 652.35/657.80 c #Conflicts: 360000 | #Constraints: 15491 652.35/657.80 c #Conflicts: 361000 | #Constraints: 16495 652.35/657.80 c #Conflicts: 362000 | #Constraints: 17496 652.35/657.80 c #Conflicts: 363000 | #Constraints: 18497 652.35/657.80 c #Conflicts: 364000 | #Constraints: 19500 652.35/657.80 c #Conflicts: 365000 | #Constraints: 20505 652.35/657.80 c #Conflicts: 366000 | #Constraints: 21508 652.35/657.80 c #Conflicts: 367000 | #Constraints: 22514 652.35/657.80 c #Conflicts: 368000 | #Constraints: 23518 652.35/657.80 c #Conflicts: 369000 | #Constraints: 24522 652.35/657.80 c INPROCESSING 652.35/657.80 c GARBAGE COLLECT 652.35/657.80 c rational objective 7 674.67/680.20 c #Conflicts: 370000 | #Constraints: 13505 674.67/680.20 c #Conflicts: 371000 | #Constraints: 14509 674.67/680.20 c #Conflicts: 372000 | #Constraints: 15513 674.67/680.20 c #Conflicts: 373000 | #Constraints: 16515 674.67/680.20 c #Conflicts: 374000 | #Constraints: 17521 674.67/680.20 c #Conflicts: 375000 | #Constraints: 18527 674.67/680.20 c #Conflicts: 376000 | #Constraints: 19532 674.67/680.20 c #Conflicts: 377000 | #Constraints: 20532 674.67/680.20 c #Conflicts: 378000 | #Constraints: 21535 674.67/680.20 c #Conflicts: 379000 | #Constraints: 22536 674.67/680.20 c #Conflicts: 380000 | #Constraints: 23538 674.67/680.20 c #Conflicts: 381000 | #Constraints: 24541 674.67/680.20 c INPROCESSING 674.67/680.20 c GARBAGE COLLECT 674.67/680.20 c rational objective 7 700.86/706.52 c #Conflicts: 382000 | #Constraints: 13282 700.86/706.52 c #Conflicts: 383000 | #Constraints: 14285 700.86/706.52 c #Conflicts: 384000 | #Constraints: 15287 700.86/706.52 c #Conflicts: 385000 | #Constraints: 16288 700.86/706.52 c #Conflicts: 386000 | #Constraints: 17294 700.86/706.52 c #Conflicts: 387000 | #Constraints: 18298 700.86/706.52 c #Conflicts: 388000 | #Constraints: 19301 700.86/706.52 c #Conflicts: 389000 | #Constraints: 20303 700.86/706.52 c #Conflicts: 390000 | #Constraints: 21307 700.86/706.52 c #Conflicts: 391000 | #Constraints: 22310 700.86/706.52 c #Conflicts: 392000 | #Constraints: 23312 700.86/706.52 c #Conflicts: 393000 | #Constraints: 24319 700.86/706.52 c #Conflicts: 394000 | #Constraints: 25322 700.86/706.52 c INPROCESSING 700.86/706.52 c GARBAGE COLLECT 700.86/706.52 c rational objective 7 733.13/738.96 c #Conflicts: 395000 | #Constraints: 13890 733.13/738.96 c #Conflicts: 396000 | #Constraints: 14895 733.13/738.96 c #Conflicts: 397000 | #Constraints: 15898 733.13/738.96 c #Conflicts: 398000 | #Constraints: 16900 733.13/738.96 c #Conflicts: 399000 | #Constraints: 17901 733.13/738.96 c #Conflicts: 400000 | #Constraints: 18902 733.13/738.96 c #Conflicts: 401000 | #Constraints: 19906 733.13/738.96 c #Conflicts: 402000 | #Constraints: 20908 733.13/738.96 c #Conflicts: 403000 | #Constraints: 21908 733.13/738.96 c #Conflicts: 404000 | #Constraints: 22910 733.13/738.96 c #Conflicts: 405000 | #Constraints: 23916 733.13/738.96 c #Conflicts: 406000 | #Constraints: 24918 733.13/738.96 c #Conflicts: 407000 | #Constraints: 25919 733.13/738.96 c INPROCESSING 733.13/738.96 c GARBAGE COLLECT 733.13/738.96 c rational objective 7 763.11/769.06 c #Conflicts: 408000 | #Constraints: 14281 763.11/769.06 c #Conflicts: 409000 | #Constraints: 15284 763.11/769.06 c #Conflicts: 410000 | #Constraints: 16285 763.11/769.06 c #Conflicts: 411000 | #Constraints: 17292 763.11/769.06 c #Conflicts: 412000 | #Constraints: 18299 763.11/769.06 c #Conflicts: 413000 | #Constraints: 19303 763.11/769.06 c #Conflicts: 414000 | #Constraints: 20316 763.11/769.06 c #Conflicts: 415000 | #Constraints: 21323 763.11/769.06 c #Conflicts: 416000 | #Constraints: 22327 763.11/769.06 c #Conflicts: 417000 | #Constraints: 23331 763.11/769.06 c #Conflicts: 418000 | #Constraints: 24335 763.11/769.06 c #Conflicts: 419000 | #Constraints: 25338 763.11/769.06 c #Conflicts: 420000 | #Constraints: 26341 763.11/769.06 c INPROCESSING 763.11/769.06 c GARBAGE COLLECT 763.11/769.06 c rational objective 7 814.89/821.07 c #Conflicts: 421000 | #Constraints: 14507 814.89/821.07 c #Conflicts: 422000 | #Constraints: 15508 814.89/821.07 c #Conflicts: 423000 | #Constraints: 16509 814.89/821.07 c #Conflicts: 424000 | #Constraints: 17511 814.89/821.07 c #Conflicts: 425000 | #Constraints: 18513 814.89/821.07 c #Conflicts: 426000 | #Constraints: 19515 814.89/821.07 c #Conflicts: 427000 | #Constraints: 20515 814.89/821.07 c #Conflicts: 428000 | #Constraints: 21515 814.89/821.07 c #Conflicts: 429000 | #Constraints: 22515 814.89/821.07 c #Conflicts: 430000 | #Constraints: 23515 814.89/821.07 c #Conflicts: 431000 | #Constraints: 24515 814.89/821.07 c #Conflicts: 432000 | #Constraints: 25516 814.89/821.07 c #Conflicts: 433000 | #Constraints: 26517 814.89/821.07 c INPROCESSING 814.89/821.07 c GARBAGE COLLECT 814.89/821.07 c rational objective 7 841.47/847.70 c #Conflicts: 434000 | #Constraints: 14488 841.47/847.70 c #Conflicts: 435000 | #Constraints: 15496 841.47/847.70 c #Conflicts: 436000 | #Constraints: 16501 841.47/847.70 c #Conflicts: 437000 | #Constraints: 17503 841.47/847.70 c #Conflicts: 438000 | #Constraints: 18509 841.47/847.70 c #Conflicts: 439000 | #Constraints: 19512 841.47/847.70 c #Conflicts: 440000 | #Constraints: 20513 841.47/847.70 c #Conflicts: 441000 | #Constraints: 21516 841.47/847.70 c #Conflicts: 442000 | #Constraints: 22521 841.47/847.70 c #Conflicts: 443000 | #Constraints: 23523 841.47/847.70 c #Conflicts: 444000 | #Constraints: 24527 841.47/847.70 c #Conflicts: 445000 | #Constraints: 25533 841.47/847.70 c #Conflicts: 446000 | #Constraints: 26537 841.47/847.70 c INPROCESSING 841.47/847.70 c GARBAGE COLLECT 841.47/847.70 c rational objective 7 905.67/912.27 c #Conflicts: 447000 | #Constraints: 14315 905.67/912.27 c #Conflicts: 448000 | #Constraints: 15323 905.67/912.27 c #Conflicts: 449000 | #Constraints: 16327 905.67/912.27 c #Conflicts: 450000 | #Constraints: 17329 905.67/912.27 c #Conflicts: 451000 | #Constraints: 18332 905.67/912.27 c #Conflicts: 452000 | #Constraints: 19335 905.67/912.27 c #Conflicts: 453000 | #Constraints: 20339 905.67/912.27 c #Conflicts: 454000 | #Constraints: 21344 905.67/912.27 c #Conflicts: 455000 | #Constraints: 22348 905.67/912.27 c #Conflicts: 456000 | #Constraints: 23350 905.67/912.27 c #Conflicts: 457000 | #Constraints: 24353 905.67/912.27 c #Conflicts: 458000 | #Constraints: 25356 905.67/912.27 c #Conflicts: 459000 | #Constraints: 26357 905.67/912.27 c #Conflicts: 460000 | #Constraints: 27361 905.67/912.27 c INPROCESSING 905.67/912.27 c GARBAGE COLLECT 905.67/912.27 c rational objective 7 963.82/970.62 c #Conflicts: 461000 | #Constraints: 14943 963.82/970.62 c #Conflicts: 462000 | #Constraints: 15945 963.82/970.62 c #Conflicts: 463000 | #Constraints: 16947 963.82/970.62 c #Conflicts: 464000 | #Constraints: 17950 963.82/970.62 c #Conflicts: 465000 | #Constraints: 18960 963.82/970.62 c #Conflicts: 466000 | #Constraints: 19964 963.82/970.62 c #Conflicts: 467000 | #Constraints: 20969 963.82/970.62 c #Conflicts: 468000 | #Constraints: 21978 963.82/970.62 c #Conflicts: 469000 | #Constraints: 22985 963.82/970.62 c #Conflicts: 470000 | #Constraints: 23992 963.82/970.62 c #Conflicts: 471000 | #Constraints: 24998 963.82/970.62 c #Conflicts: 472000 | #Constraints: 26004 963.82/970.62 c #Conflicts: 473000 | #Constraints: 27009 963.82/970.62 c #Conflicts: 474000 | #Constraints: 28019 963.82/970.62 c INPROCESSING 963.82/970.62 c GARBAGE COLLECT 963.82/970.62 c rational objective 7 1027.43/1034.58 c #Conflicts: 475000 | #Constraints: 15379 1027.43/1034.58 c #Conflicts: 476000 | #Constraints: 16386 1027.43/1034.58 c #Conflicts: 477000 | #Constraints: 17391 1027.43/1034.58 c #Conflicts: 478000 | #Constraints: 18393 1027.43/1034.58 c #Conflicts: 479000 | #Constraints: 19396 1027.43/1034.58 c #Conflicts: 480000 | #Constraints: 20399 1027.43/1034.58 c #Conflicts: 481000 | #Constraints: 21401 1027.43/1034.58 c #Conflicts: 482000 | #Constraints: 22405 1027.43/1034.58 c #Conflicts: 483000 | #Constraints: 23407 1027.43/1034.58 c #Conflicts: 484000 | #Constraints: 24410 1027.43/1034.58 c #Conflicts: 485000 | #Constraints: 25414 1027.43/1034.58 c #Conflicts: 486000 | #Constraints: 26415 1027.43/1034.58 c #Conflicts: 487000 | #Constraints: 27417 1027.43/1034.58 c #Conflicts: 488000 | #Constraints: 28422 1027.43/1034.58 c INPROCESSING 1027.43/1034.58 c GARBAGE COLLECT 1027.43/1034.58 c rational objective 7 1119.43/1126.92 c #Conflicts: 489000 | #Constraints: 15575 1119.43/1126.92 c #Conflicts: 490000 | #Constraints: 16578 1119.43/1126.92 c #Conflicts: 491000 | #Constraints: 17579 1119.43/1126.92 c #Conflicts: 492000 | #Constraints: 18581 1119.43/1126.92 c #Conflicts: 493000 | #Constraints: 19583 1119.43/1126.92 c #Conflicts: 494000 | #Constraints: 20583 1119.43/1126.92 c #Conflicts: 495000 | #Constraints: 21584 1119.43/1126.92 c #Conflicts: 496000 | #Constraints: 22585 1119.43/1126.92 c #Conflicts: 497000 | #Constraints: 23587 1119.43/1126.92 c #Conflicts: 498000 | #Constraints: 24588 1119.43/1126.92 c #Conflicts: 499000 | #Constraints: 25592 1119.43/1126.92 c #Conflicts: 500000 | #Constraints: 26594 1119.43/1126.92 c #Conflicts: 501000 | #Constraints: 27596 1119.43/1126.92 c #Conflicts: 502000 | #Constraints: 28597 1119.43/1126.92 c INPROCESSING 1119.43/1126.92 c GARBAGE COLLECT 1119.43/1126.92 c rational objective 7 1188.95/1196.73 c #Conflicts: 503000 | #Constraints: 15575 1188.95/1196.73 c #Conflicts: 504000 | #Constraints: 16576 1188.95/1196.73 c #Conflicts: 505000 | #Constraints: 17581 1188.95/1196.73 c #Conflicts: 506000 | #Constraints: 18585 1188.95/1196.73 c #Conflicts: 507000 | #Constraints: 19590 1188.95/1196.73 c #Conflicts: 508000 | #Constraints: 20595 1188.95/1196.73 c #Conflicts: 509000 | #Constraints: 21600 1188.95/1196.73 c #Conflicts: 510000 | #Constraints: 22602 1188.95/1196.73 c #Conflicts: 511000 | #Constraints: 23602 1188.95/1196.73 c #Conflicts: 512000 | #Constraints: 24606 1188.95/1196.73 c #Conflicts: 513000 | #Constraints: 25610 1188.95/1196.73 c #Conflicts: 514000 | #Constraints: 26613 1188.95/1196.73 c #Conflicts: 515000 | #Constraints: 27617 1188.95/1196.73 c #Conflicts: 516000 | #Constraints: 28621 1188.95/1196.73 c INPROCESSING 1188.95/1196.73 c GARBAGE COLLECT 1188.95/1196.73 c rational objective 7 1232.58/1240.60 c #Conflicts: 517000 | #Constraints: 15326 1232.58/1240.60 c #Conflicts: 518000 | #Constraints: 16328 1232.58/1240.60 c #Conflicts: 519000 | #Constraints: 17332 1232.58/1240.60 c #Conflicts: 520000 | #Constraints: 18335 1232.58/1240.60 c #Conflicts: 521000 | #Constraints: 19338 1232.58/1240.60 c #Conflicts: 522000 | #Constraints: 20340 1232.58/1240.60 c #Conflicts: 523000 | #Constraints: 21344 1232.58/1240.60 c #Conflicts: 524000 | #Constraints: 22350 1232.58/1240.60 c #Conflicts: 525000 | #Constraints: 23351 1232.58/1240.60 c #Conflicts: 526000 | #Constraints: 24355 1232.58/1240.60 c #Conflicts: 527000 | #Constraints: 25366 1232.58/1240.60 c #Conflicts: 528000 | #Constraints: 26373 1232.58/1240.60 c #Conflicts: 529000 | #Constraints: 27375 1232.58/1240.60 c #Conflicts: 530000 | #Constraints: 28378 1232.58/1240.60 c #Conflicts: 531000 | #Constraints: 29380 1232.58/1240.60 c INPROCESSING 1232.58/1240.60 c GARBAGE COLLECT 1232.58/1240.60 c rational objective 7 1270.40/1278.53 c #Conflicts: 532000 | #Constraints: 15928 1270.40/1278.53 c #Conflicts: 533000 | #Constraints: 16931 1270.40/1278.53 c #Conflicts: 534000 | #Constraints: 17933 1270.40/1278.53 c #Conflicts: 535000 | #Constraints: 18938 1270.40/1278.53 c #Conflicts: 536000 | #Constraints: 19942 1270.40/1278.53 c #Conflicts: 537000 | #Constraints: 20945 1270.40/1278.53 c #Conflicts: 538000 | #Constraints: 21948 1270.40/1278.53 c #Conflicts: 539000 | #Constraints: 22953 1270.40/1278.53 c #Conflicts: 540000 | #Constraints: 23957 1270.40/1278.53 c #Conflicts: 541000 | #Constraints: 24961 1270.40/1278.53 c #Conflicts: 542000 | #Constraints: 25962 1270.40/1278.53 c #Conflicts: 543000 | #Constraints: 26966 1270.40/1278.53 c #Conflicts: 544000 | #Constraints: 27967 1270.40/1278.53 c #Conflicts: 545000 | #Constraints: 28968 1270.40/1278.53 c #Conflicts: 546000 | #Constraints: 29971 1270.40/1278.53 c INPROCESSING 1270.40/1278.53 c GARBAGE COLLECT 1270.40/1278.53 c rational objective 7 1300.56/1308.89 c #Conflicts: 547000 | #Constraints: 16312 1300.56/1308.89 c #Conflicts: 548000 | #Constraints: 17320 1300.56/1308.89 c #Conflicts: 549000 | #Constraints: 18322 1300.56/1308.89 c #Conflicts: 550000 | #Constraints: 19326 1300.56/1308.89 c #Conflicts: 551000 | #Constraints: 20328 1300.56/1308.89 c #Conflicts: 552000 | #Constraints: 21330 1300.56/1308.89 c #Conflicts: 553000 | #Constraints: 22331 1300.56/1308.89 c #Conflicts: 554000 | #Constraints: 23335 1300.56/1308.89 c #Conflicts: 555000 | #Constraints: 24344 1300.56/1308.89 c #Conflicts: 556000 | #Constraints: 25345 1300.56/1308.89 c #Conflicts: 557000 | #Constraints: 26346 1300.56/1308.89 c #Conflicts: 558000 | #Constraints: 27348 1300.56/1308.89 c #Conflicts: 559000 | #Constraints: 28350 1300.56/1308.89 c #Conflicts: 560000 | #Constraints: 29352 1300.56/1308.89 c #Conflicts: 561000 | #Constraints: 30358 1300.56/1308.89 c INPROCESSING 1300.56/1308.89 c GARBAGE COLLECT 1300.56/1308.89 c rational objective 7 1336.42/1344.89 c #Conflicts: 562000 | #Constraints: 16504 1336.42/1344.89 c #Conflicts: 563000 | #Constraints: 17507 1336.42/1344.89 c #Conflicts: 564000 | #Constraints: 18511 1336.42/1344.89 c #Conflicts: 565000 | #Constraints: 19516 1336.42/1344.89 c #Conflicts: 566000 | #Constraints: 20518 1336.42/1344.89 c #Conflicts: 567000 | #Constraints: 21522 1336.42/1344.89 c #Conflicts: 568000 | #Constraints: 22523 1336.42/1344.89 c #Conflicts: 569000 | #Constraints: 23526 1336.42/1344.89 c #Conflicts: 570000 | #Constraints: 24527 1336.42/1344.89 c #Conflicts: 571000 | #Constraints: 25529 1336.42/1344.89 c #Conflicts: 572000 | #Constraints: 26532 1336.42/1344.89 c #Conflicts: 573000 | #Constraints: 27535 1336.42/1344.89 c #Conflicts: 574000 | #Constraints: 28544 1336.42/1344.89 c #Conflicts: 575000 | #Constraints: 29547 1336.42/1344.89 c #Conflicts: 576000 | #Constraints: 30548 1336.42/1344.89 c INPROCESSING 1336.42/1344.89 c GARBAGE COLLECT 1336.42/1344.89 c rational objective 7 1369.28/1377.84 c #Conflicts: 577000 | #Constraints: 16502 1369.28/1377.84 c #Conflicts: 578000 | #Constraints: 17502 1369.28/1377.84 c #Conflicts: 579000 | #Constraints: 18504 1369.28/1377.84 c #Conflicts: 580000 | #Constraints: 19505 1369.28/1377.84 c #Conflicts: 581000 | #Constraints: 20509 1369.28/1377.84 c #Conflicts: 582000 | #Constraints: 21511 1369.28/1377.84 c #Conflicts: 583000 | #Constraints: 22514 1369.28/1377.84 c #Conflicts: 584000 | #Constraints: 23517 1369.28/1377.84 c #Conflicts: 585000 | #Constraints: 24517 1369.28/1377.84 c #Conflicts: 586000 | #Constraints: 25517 1369.28/1377.84 c #Conflicts: 587000 | #Constraints: 26517 1369.28/1377.84 c #Conflicts: 588000 | #Constraints: 27519 1369.28/1377.84 c #Conflicts: 589000 | #Constraints: 28523 1369.28/1377.84 c #Conflicts: 590000 | #Constraints: 29530 1369.28/1377.84 c #Conflicts: 591000 | #Constraints: 30533 1369.28/1377.84 c INPROCESSING 1369.28/1377.84 c GARBAGE COLLECT 1369.28/1377.84 c rational objective 7 1444.79/1453.69 c #Conflicts: 592000 | #Constraints: 16303 1444.79/1453.69 c #Conflicts: 593000 | #Constraints: 17306 1444.79/1453.69 c #Conflicts: 594000 | #Constraints: 18309 1444.79/1453.69 c #Conflicts: 595000 | #Constraints: 19313 1444.79/1453.69 c #Conflicts: 596000 | #Constraints: 20315 1444.79/1453.69 c #Conflicts: 597000 | #Constraints: 21317 1444.79/1453.69 c #Conflicts: 598000 | #Constraints: 22319 1444.79/1453.69 c #Conflicts: 599000 | #Constraints: 23320 1444.79/1453.69 c #Conflicts: 600000 | #Constraints: 24323 1444.79/1453.69 c #Conflicts: 601000 | #Constraints: 25327 1444.79/1453.69 c #Conflicts: 602000 | #Constraints: 26329 1444.79/1453.69 c #Conflicts: 603000 | #Constraints: 27331 1444.79/1453.69 c #Conflicts: 604000 | #Constraints: 28333 1444.79/1453.69 c #Conflicts: 605000 | #Constraints: 29335 1444.79/1453.69 c #Conflicts: 606000 | #Constraints: 30341 1444.79/1453.69 c #Conflicts: 607000 | #Constraints: 31346 1444.79/1453.69 c INPROCESSING 1444.79/1453.69 c GARBAGE COLLECT 1444.79/1453.69 c rational objective 7 1496.77/1505.82 c #Conflicts: 608000 | #Constraints: 16928 1496.77/1505.82 c #Conflicts: 609000 | #Constraints: 17933 1496.77/1505.82 c #Conflicts: 610000 | #Constraints: 18936 1496.77/1505.82 c #Conflicts: 611000 | #Constraints: 19938 1496.77/1505.82 c #Conflicts: 612000 | #Constraints: 20940 1496.77/1505.82 c #Conflicts: 613000 | #Constraints: 21943 1496.77/1505.82 c #Conflicts: 614000 | #Constraints: 22945 1496.77/1505.82 c #Conflicts: 615000 | #Constraints: 23950 1496.77/1505.82 c #Conflicts: 616000 | #Constraints: 24953 1496.77/1505.82 c #Conflicts: 617000 | #Constraints: 25957 1496.77/1505.82 c #Conflicts: 618000 | #Constraints: 26960 1496.77/1505.82 c #Conflicts: 619000 | #Constraints: 27965 1496.77/1505.82 c #Conflicts: 620000 | #Constraints: 28971 1496.77/1505.82 c #Conflicts: 621000 | #Constraints: 29975 1496.77/1505.82 c #Conflicts: 622000 | #Constraints: 30976 1496.77/1505.82 c #Conflicts: 623000 | #Constraints: 31979 1496.77/1505.82 c INPROCESSING 1496.77/1505.82 c GARBAGE COLLECT 1496.77/1505.82 c rational objective 7 1534.71/1543.93 c #Conflicts: 624000 | #Constraints: 17316 1534.71/1543.93 c #Conflicts: 625000 | #Constraints: 18318 1534.71/1543.93 c #Conflicts: 626000 | #Constraints: 19323 1534.71/1543.93 c #Conflicts: 627000 | #Constraints: 20325 1534.71/1543.93 c #Conflicts: 628000 | #Constraints: 21327 1534.71/1543.93 c #Conflicts: 629000 | #Constraints: 22330 1534.71/1543.93 c #Conflicts: 630000 | #Constraints: 23330 1534.71/1543.93 c #Conflicts: 631000 | #Constraints: 24333 1534.71/1543.93 c #Conflicts: 632000 | #Constraints: 25335 1534.71/1543.93 c #Conflicts: 633000 | #Constraints: 26341 1534.71/1543.93 c #Conflicts: 634000 | #Constraints: 27346 1534.71/1543.93 c #Conflicts: 635000 | #Constraints: 28348 1534.71/1543.93 c #Conflicts: 636000 | #Constraints: 29352 1534.71/1543.93 c #Conflicts: 637000 | #Constraints: 30352 1534.71/1543.93 c #Conflicts: 638000 | #Constraints: 31355 1534.71/1543.93 c #Conflicts: 639000 | #Constraints: 32359 1534.71/1543.93 c INPROCESSING 1534.71/1543.93 c GARBAGE COLLECT 1534.71/1543.93 c rational objective 7 1589.89/1599.38 c #Conflicts: 640000 | #Constraints: 17496 1589.89/1599.38 c #Conflicts: 641000 | #Constraints: 18498 1589.89/1599.38 c #Conflicts: 642000 | #Constraints: 19504 1589.89/1599.38 c #Conflicts: 643000 | #Constraints: 20508 1589.89/1599.38 c #Conflicts: 644000 | #Constraints: 21510 1589.89/1599.38 c #Conflicts: 645000 | #Constraints: 22511 1589.89/1599.38 c #Conflicts: 646000 | #Constraints: 23512 1589.89/1599.38 c #Conflicts: 647000 | #Constraints: 24516 1589.89/1599.38 c #Conflicts: 648000 | #Constraints: 25519 1589.89/1599.38 c #Conflicts: 649000 | #Constraints: 26522 1589.89/1599.38 c #Conflicts: 650000 | #Constraints: 27523 1589.89/1599.38 c #Conflicts: 651000 | #Constraints: 28524 1589.89/1599.38 c #Conflicts: 652000 | #Constraints: 29530 1589.89/1599.38 c #Conflicts: 653000 | #Constraints: 30531 1589.89/1599.38 c #Conflicts: 654000 | #Constraints: 31533 1589.89/1599.38 c #Conflicts: 655000 | #Constraints: 32537 1589.89/1599.38 c INPROCESSING 1589.89/1599.38 c GARBAGE COLLECT 1589.89/1599.38 c rational objective 7 1626.34/1635.96 c #Conflicts: 656000 | #Constraints: 17498 1626.34/1635.96 c #Conflicts: 657000 | #Constraints: 18498 1626.34/1635.96 c #Conflicts: 658000 | #Constraints: 19498 1626.34/1635.96 c #Conflicts: 659000 | #Constraints: 20499 1626.34/1635.96 c #Conflicts: 660000 | #Constraints: 21501 1626.34/1635.96 c #Conflicts: 661000 | #Constraints: 22503 1626.34/1635.96 c #Conflicts: 662000 | #Constraints: 23504 1626.34/1635.96 c #Conflicts: 663000 | #Constraints: 24506 1626.34/1635.96 c #Conflicts: 664000 | #Constraints: 25508 1626.34/1635.96 c #Conflicts: 665000 | #Constraints: 26509 1626.34/1635.96 c #Conflicts: 666000 | #Constraints: 27512 1626.34/1635.96 c #Conflicts: 667000 | #Constraints: 28514 1626.34/1635.96 c #Conflicts: 668000 | #Constraints: 29515 1626.34/1635.96 c #Conflicts: 669000 | #Constraints: 30518 1626.34/1635.96 c #Conflicts: 670000 | #Constraints: 31522 1626.34/1635.96 c #Conflicts: 671000 | #Constraints: 32524 1626.34/1635.96 c INPROCESSING 1626.34/1635.96 c GARBAGE COLLECT 1626.34/1635.96 c rational objective 7 1676.83/1686.60 c #Conflicts: 672000 | #Constraints: 17288 1676.83/1686.60 c #Conflicts: 673000 | #Constraints: 18293 1676.83/1686.60 c #Conflicts: 674000 | #Constraints: 19298 1676.83/1686.60 c #Conflicts: 675000 | #Constraints: 20303 1676.83/1686.60 c #Conflicts: 676000 | #Constraints: 21308 1676.83/1686.60 c #Conflicts: 677000 | #Constraints: 22309 1676.83/1686.60 c #Conflicts: 678000 | #Constraints: 23310 1676.83/1686.60 c #Conflicts: 679000 | #Constraints: 24314 1676.83/1686.60 c #Conflicts: 680000 | #Constraints: 25315 1676.83/1686.60 c #Conflicts: 681000 | #Constraints: 26319 1676.83/1686.60 c #Conflicts: 682000 | #Constraints: 27321 1676.83/1686.60 c #Conflicts: 683000 | #Constraints: 28324 1676.83/1686.60 c #Conflicts: 684000 | #Constraints: 29325 1676.83/1686.60 c #Conflicts: 685000 | #Constraints: 30325 1676.83/1686.60 c #Conflicts: 686000 | #Constraints: 31328 1676.83/1686.60 c #Conflicts: 687000 | #Constraints: 32332 1676.83/1686.60 c #Conflicts: 688000 | #Constraints: 33334 1676.83/1686.60 c INPROCESSING 1676.83/1686.60 c GARBAGE COLLECT 1676.83/1686.60 c rational objective 7 1748.33/1758.43 c #Conflicts: 689000 | #Constraints: 17889 1748.33/1758.43 c #Conflicts: 690000 | #Constraints: 18893 1748.33/1758.43 c #Conflicts: 691000 | #Constraints: 19894 1748.33/1758.43 c #Conflicts: 692000 | #Constraints: 20901 1748.33/1758.43 c #Conflicts: 693000 | #Constraints: 21906 1748.33/1758.43 c #Conflicts: 694000 | #Constraints: 22910 1748.33/1758.43 c #Conflicts: 695000 | #Constraints: 23913 1748.33/1758.43 c #Conflicts: 696000 | #Constraints: 24914 1748.33/1758.43 c #Conflicts: 697000 | #Constraints: 25917 1748.33/1758.43 c #Conflicts: 698000 | #Constraints: 26918 1748.33/1758.43 c #Conflicts: 699000 | #Constraints: 27920 1748.33/1758.43 c #Conflicts: 700000 | #Constraints: 28924 1748.33/1758.43 c #Conflicts: 701000 | #Constraints: 29927 1748.33/1758.43 c #Conflicts: 702000 | #Constraints: 30928 1748.33/1758.43 c #Conflicts: 703000 | #Constraints: 31931 1748.33/1758.43 c #Conflicts: 704000 | #Constraints: 32932 1748.33/1758.43 c #Conflicts: 705000 | #Constraints: 33937 1748.33/1758.43 c INPROCESSING 1748.33/1758.43 c GARBAGE COLLECT 1748.33/1758.43 c rational objective 7 1824.08/1834.54 c #Conflicts: 706000 | #Constraints: 18300 1824.08/1834.54 c #Conflicts: 707000 | #Constraints: 19301 1824.08/1834.54 c #Conflicts: 708000 | #Constraints: 20304 1824.08/1834.54 c #Conflicts: 709000 | #Constraints: 21306 1824.08/1834.54 c #Conflicts: 710000 | #Constraints: 22308 1824.08/1834.54 c #Conflicts: 711000 | #Constraints: 23310 1824.08/1834.54 c #Conflicts: 712000 | #Constraints: 24312 1824.08/1834.54 c #Conflicts: 713000 | #Constraints: 25313 1824.08/1834.54 c #Conflicts: 714000 | #Constraints: 26315 1824.08/1834.54 c #Conflicts: 715000 | #Constraints: 27318 1824.08/1834.54 c #Conflicts: 716000 | #Constraints: 28319 1824.08/1834.54 c #Conflicts: 717000 | #Constraints: 29321 1824.08/1834.54 c #Conflicts: 718000 | #Constraints: 30323 1824.08/1834.54 c #Conflicts: 719000 | #Constraints: 31324 1824.08/1834.54 c #Conflicts: 720000 | #Constraints: 32327 1824.08/1834.54 c #Conflicts: 721000 | #Constraints: 33328 1824.08/1834.54 c #Conflicts: 722000 | #Constraints: 34329 1824.08/1834.54 c INPROCESSING 1824.08/1834.54 c GARBAGE COLLECT 1824.08/1834.54 c rational objective 7 1900.97/1911.78 c #Conflicts: 723000 | #Constraints: 18509 1900.97/1911.78 c #Conflicts: 724000 | #Constraints: 19512 1900.97/1911.78 c #Conflicts: 725000 | #Constraints: 20515 1900.97/1911.78 c #Conflicts: 726000 | #Constraints: 21516 1900.97/1911.78 c #Conflicts: 727000 | #Constraints: 22517 1900.97/1911.78 c #Conflicts: 728000 | #Constraints: 23520 1900.97/1911.78 c #Conflicts: 729000 | #Constraints: 24526 1900.97/1911.78 c #Conflicts: 730000 | #Constraints: 25532 1900.97/1911.78 c #Conflicts: 731000 | #Constraints: 26538 1900.97/1911.78 c #Conflicts: 732000 | #Constraints: 27541 1900.97/1911.78 c #Conflicts: 733000 | #Constraints: 28543 1900.97/1911.78 c #Conflicts: 734000 | #Constraints: 29546 1900.97/1911.78 c #Conflicts: 735000 | #Constraints: 30547 1900.97/1911.78 c #Conflicts: 736000 | #Constraints: 31550 1900.97/1911.78 c #Conflicts: 737000 | #Constraints: 32553 1900.97/1911.78 c #Conflicts: 738000 | #Constraints: 33559 1900.97/1911.78 c #Conflicts: 739000 | #Constraints: 34563 1900.97/1911.78 c INPROCESSING 1900.97/1911.78 c GARBAGE COLLECT 1900.97/1911.78 c rational objective 7 1957.03/1968.01 c #Conflicts: 740000 | #Constraints: 18526 1957.03/1968.01 c #Conflicts: 741000 | #Constraints: 19529 1957.03/1968.01 c #Conflicts: 742000 | #Constraints: 20533 1957.03/1968.01 c #Conflicts: 743000 | #Constraints: 21536 1957.03/1968.01 c #Conflicts: 744000 | #Constraints: 22538 1957.03/1968.01 c #Conflicts: 745000 | #Constraints: 23540 1957.03/1968.01 c #Conflicts: 746000 | #Constraints: 24547 1957.03/1968.01 c #Conflicts: 747000 | #Constraints: 25549 1957.03/1968.01 c #Conflicts: 748000 | #Constraints: 26551 1957.03/1968.01 c #Conflicts: 749000 | #Constraints: 27552 1957.03/1968.01 c #Conflicts: 750000 | #Constraints: 28553 1957.03/1968.01 c #Conflicts: 751000 | #Constraints: 29557 1957.03/1968.01 c #Conflicts: 752000 | #Constraints: 30560 1957.03/1968.01 c #Conflicts: 753000 | #Constraints: 31562 1957.03/1968.01 c #Conflicts: 754000 | #Constraints: 32568 1957.03/1968.01 c #Conflicts: 755000 | #Constraints: 33569 1957.03/1968.01 c #Conflicts: 756000 | #Constraints: 34572 1957.03/1968.01 c INPROCESSING 1957.03/1968.01 c GARBAGE COLLECT 1957.03/1968.01 c rational objective 7 2024.45/2035.77 c #Conflicts: 757000 | #Constraints: 18310 2024.45/2035.77 c #Conflicts: 758000 | #Constraints: 19312 2024.45/2035.77 c #Conflicts: 759000 | #Constraints: 20316 2024.45/2035.77 c #Conflicts: 760000 | #Constraints: 21319 2024.45/2035.77 c #Conflicts: 761000 | #Constraints: 22322 2024.45/2035.77 c #Conflicts: 762000 | #Constraints: 23324 2024.45/2035.77 c #Conflicts: 763000 | #Constraints: 24327 2024.45/2035.77 c #Conflicts: 764000 | #Constraints: 25330 2024.45/2035.77 c #Conflicts: 765000 | #Constraints: 26333 2024.45/2035.77 c #Conflicts: 766000 | #Constraints: 27335 2024.45/2035.77 c #Conflicts: 767000 | #Constraints: 28338 2024.45/2035.77 c #Conflicts: 768000 | #Constraints: 29342 2024.45/2035.77 c #Conflicts: 769000 | #Constraints: 30347 2024.45/2035.77 c #Conflicts: 770000 | #Constraints: 31348 2024.45/2035.77 c #Conflicts: 771000 | #Constraints: 32349 2024.45/2035.77 c #Conflicts: 772000 | #Constraints: 33353 2024.45/2035.77 c #Conflicts: 773000 | #Constraints: 34356 2024.45/2035.77 c #Conflicts: 774000 | #Constraints: 35359 2024.45/2035.77 c INPROCESSING 2024.45/2035.77 c GARBAGE COLLECT 2024.45/2035.77 c rational objective 7 2081.53/2093.10 c #Conflicts: 775000 | #Constraints: 18912 2081.53/2093.10 c #Conflicts: 776000 | #Constraints: 19914 2081.53/2093.10 c #Conflicts: 777000 | #Constraints: 20916 2081.53/2093.10 c #Conflicts: 778000 | #Constraints: 21919 2081.53/2093.10 c #Conflicts: 779000 | #Constraints: 22921 2081.53/2093.10 c #Conflicts: 780000 | #Constraints: 23921 2081.53/2093.10 c #Conflicts: 781000 | #Constraints: 24924 2081.53/2093.10 c #Conflicts: 782000 | #Constraints: 25928 2081.53/2093.10 c #Conflicts: 783000 | #Constraints: 26934 2081.53/2093.10 c #Conflicts: 784000 | #Constraints: 27939 2081.53/2093.10 c #Conflicts: 785000 | #Constraints: 28941 2081.53/2093.10 c #Conflicts: 786000 | #Constraints: 29941 2081.53/2093.10 c #Conflicts: 787000 | #Constraints: 30941 2081.53/2093.10 c #Conflicts: 788000 | #Constraints: 31944 2081.53/2093.10 c #Conflicts: 789000 | #Constraints: 32945 2081.53/2093.10 c #Conflicts: 790000 | #Constraints: 33947 2081.53/2093.10 c #Conflicts: 791000 | #Constraints: 34948 2081.53/2093.10 c #Conflicts: 792000 | #Constraints: 35950 2081.53/2093.10 c INPROCESSING 2081.53/2093.10 c GARBAGE COLLECT 2081.53/2093.10 c rational objective 7 2141.07/2152.83 c #Conflicts: 793000 | #Constraints: 19295 2141.07/2152.83 c #Conflicts: 794000 | #Constraints: 20297 2141.07/2152.83 c #Conflicts: 795000 | #Constraints: 21301 2141.07/2152.83 c #Conflicts: 796000 | #Constraints: 22303 2141.07/2152.83 c #Conflicts: 797000 | #Constraints: 23307 2141.07/2152.83 c #Conflicts: 798000 | #Constraints: 24308 2141.07/2152.83 c #Conflicts: 799000 | #Constraints: 25314 2141.07/2152.83 c #Conflicts: 800000 | #Constraints: 26318 2141.07/2152.83 c #Conflicts: 801000 | #Constraints: 27320 2141.07/2152.83 c #Conflicts: 802000 | #Constraints: 28322 2141.07/2152.83 c #Conflicts: 803000 | #Constraints: 29326 2141.07/2152.83 c #Conflicts: 804000 | #Constraints: 30330 2141.07/2152.83 c #Conflicts: 805000 | #Constraints: 31334 2141.07/2152.83 c #Conflicts: 806000 | #Constraints: 32342 2141.07/2152.83 c #Conflicts: 807000 | #Constraints: 33353 2141.07/2152.83 c #Conflicts: 808000 | #Constraints: 34359 2141.07/2152.83 c #Conflicts: 809000 | #Constraints: 35364 2141.07/2152.83 c #Conflicts: 810000 | #Constraints: 36366 2141.07/2152.83 c INPROCESSING 2141.07/2152.83 c GARBAGE COLLECT 2141.07/2152.83 c rational objective 7 2185.48/2197.45 c #Conflicts: 811000 | #Constraints: 19509 2185.48/2197.45 c #Conflicts: 812000 | #Constraints: 20513 2185.48/2197.45 c #Conflicts: 813000 | #Constraints: 21518 2185.48/2197.45 c #Conflicts: 814000 | #Constraints: 22524 2185.48/2197.45 c #Conflicts: 815000 | #Constraints: 23535 2185.48/2197.45 c #Conflicts: 816000 | #Constraints: 24537 2185.48/2197.45 c #Conflicts: 817000 | #Constraints: 25544 2185.48/2197.45 c #Conflicts: 818000 | #Constraints: 26546 2185.48/2197.45 c #Conflicts: 819000 | #Constraints: 27548 2185.48/2197.45 c #Conflicts: 820000 | #Constraints: 28550 2185.48/2197.45 c #Conflicts: 821000 | #Constraints: 29553 2185.48/2197.45 c #Conflicts: 822000 | #Constraints: 30555 2185.48/2197.45 c #Conflicts: 823000 | #Constraints: 31559 2185.48/2197.45 c #Conflicts: 824000 | #Constraints: 32562 2185.48/2197.45 c #Conflicts: 825000 | #Constraints: 33566 2185.48/2197.45 c #Conflicts: 826000 | #Constraints: 34570 2185.48/2197.45 c #Conflicts: 827000 | #Constraints: 35572 2185.48/2197.45 c #Conflicts: 828000 | #Constraints: 36577 2185.48/2197.45 c INPROCESSING 2185.48/2197.45 c GARBAGE COLLECT 2185.48/2197.45 c rational objective 7 2267.65/2279.93 c #Conflicts: 829000 | #Constraints: 19525 2267.65/2279.93 c #Conflicts: 830000 | #Constraints: 20527 2267.65/2279.93 c #Conflicts: 831000 | #Constraints: 21530 2267.65/2279.93 c #Conflicts: 832000 | #Constraints: 22532 2267.65/2279.93 c #Conflicts: 833000 | #Constraints: 23534 2267.65/2279.93 c #Conflicts: 834000 | #Constraints: 24538 2267.65/2279.93 c #Conflicts: 835000 | #Constraints: 25542 2267.65/2279.93 c #Conflicts: 836000 | #Constraints: 26544 2267.65/2279.93 c #Conflicts: 837000 | #Constraints: 27546 2267.65/2279.93 c #Conflicts: 838000 | #Constraints: 28547 2267.65/2279.93 c #Conflicts: 839000 | #Constraints: 29548 2267.65/2279.93 c #Conflicts: 840000 | #Constraints: 30550 2267.65/2279.93 c #Conflicts: 841000 | #Constraints: 31555 2267.65/2279.93 c #Conflicts: 842000 | #Constraints: 32557 2267.65/2279.93 c #Conflicts: 843000 | #Constraints: 33560 2267.65/2279.93 c #Conflicts: 844000 | #Constraints: 34564 2267.65/2279.93 c #Conflicts: 845000 | #Constraints: 35566 2267.65/2279.93 c #Conflicts: 846000 | #Constraints: 36567 2267.65/2279.93 c INPROCESSING 2267.65/2279.93 c GARBAGE COLLECT 2267.65/2279.93 c rational objective 7 2315.65/2328.14 c #Conflicts: 847000 | #Constraints: 19298 2315.65/2328.14 c #Conflicts: 848000 | #Constraints: 20303 2315.65/2328.14 c #Conflicts: 849000 | #Constraints: 21304 2315.65/2328.14 c #Conflicts: 850000 | #Constraints: 22307 2315.65/2328.14 c #Conflicts: 851000 | #Constraints: 23311 2315.65/2328.14 c #Conflicts: 852000 | #Constraints: 24313 2315.65/2328.14 c #Conflicts: 853000 | #Constraints: 25317 2315.65/2328.14 c #Conflicts: 854000 | #Constraints: 26322 2315.65/2328.14 c #Conflicts: 855000 | #Constraints: 27324 2315.65/2328.14 c #Conflicts: 856000 | #Constraints: 28325 2315.65/2328.14 c #Conflicts: 857000 | #Constraints: 29328 2315.65/2328.14 c #Conflicts: 858000 | #Constraints: 30330 2315.65/2328.14 c #Conflicts: 859000 | #Constraints: 31331 2315.65/2328.14 c #Conflicts: 860000 | #Constraints: 32335 2315.65/2328.14 c #Conflicts: 861000 | #Constraints: 33338 2315.65/2328.14 c #Conflicts: 862000 | #Constraints: 34342 2315.65/2328.14 c #Conflicts: 863000 | #Constraints: 35345 2315.65/2328.14 c #Conflicts: 864000 | #Constraints: 36349 2315.65/2328.14 c #Conflicts: 865000 | #Constraints: 37355 2315.65/2328.14 c INPROCESSING 2315.65/2328.14 c GARBAGE COLLECT 2315.65/2328.14 c rational objective 7 2372.81/2385.53 c #Conflicts: 866000 | #Constraints: 19899 2372.81/2385.53 c #Conflicts: 867000 | #Constraints: 20901 2372.81/2385.53 c #Conflicts: 868000 | #Constraints: 21905 2372.81/2385.53 c #Conflicts: 869000 | #Constraints: 22907 2372.81/2385.53 c #Conflicts: 870000 | #Constraints: 23909 2372.81/2385.53 c #Conflicts: 871000 | #Constraints: 24912 2372.81/2385.53 c #Conflicts: 872000 | #Constraints: 25913 2372.81/2385.53 c #Conflicts: 873000 | #Constraints: 26916 2372.81/2385.53 c #Conflicts: 874000 | #Constraints: 27918 2372.81/2385.53 c #Conflicts: 875000 | #Constraints: 28921 2372.81/2385.53 c #Conflicts: 876000 | #Constraints: 29923 2372.81/2385.53 c #Conflicts: 877000 | #Constraints: 30927 2372.81/2385.53 c #Conflicts: 878000 | #Constraints: 31930 2372.81/2385.53 c #Conflicts: 879000 | #Constraints: 32933 2372.81/2385.53 c #Conflicts: 880000 | #Constraints: 33940 2372.81/2385.53 c #Conflicts: 881000 | #Constraints: 34945 2372.81/2385.53 c #Conflicts: 882000 | #Constraints: 35948 2372.81/2385.53 c #Conflicts: 883000 | #Constraints: 36953 2372.81/2385.53 c #Conflicts: 884000 | #Constraints: 37956 2372.81/2385.53 c INPROCESSING 2372.81/2385.53 c GARBAGE COLLECT 2372.81/2385.53 c rational objective 7 2444.52/2457.54 c #Conflicts: 885000 | #Constraints: 20301 2444.52/2457.54 c #Conflicts: 886000 | #Constraints: 21308 2444.52/2457.54 c #Conflicts: 887000 | #Constraints: 22312 2444.52/2457.54 c #Conflicts: 888000 | #Constraints: 23315 2444.52/2457.54 c #Conflicts: 889000 | #Constraints: 24318 2444.52/2457.54 c #Conflicts: 890000 | #Constraints: 25322 2444.52/2457.54 c #Conflicts: 891000 | #Constraints: 26325 2444.52/2457.54 c #Conflicts: 892000 | #Constraints: 27329 2444.52/2457.54 c #Conflicts: 893000 | #Constraints: 28335 2444.52/2457.54 c #Conflicts: 894000 | #Constraints: 29341 2444.52/2457.54 c #Conflicts: 895000 | #Constraints: 30342 2444.52/2457.54 c #Conflicts: 896000 | #Constraints: 31345 2444.52/2457.54 c #Conflicts: 897000 | #Constraints: 32348 2444.52/2457.54 c #Conflicts: 898000 | #Constraints: 33353 2444.52/2457.54 c #Conflicts: 899000 | #Constraints: 34357 2444.52/2457.54 c #Conflicts: 900000 | #Constraints: 35358 2444.52/2457.54 c #Conflicts: 901000 | #Constraints: 36360 2444.52/2457.54 c #Conflicts: 902000 | #Constraints: 37362 2444.52/2457.54 c #Conflicts: 903000 | #Constraints: 38365 2444.52/2457.54 c INPROCESSING 2444.52/2457.54 c GARBAGE COLLECT 2444.52/2457.54 c rational objective 7 2508.37/2521.68 c #Conflicts: 904000 | #Constraints: 20502 2508.37/2521.68 c #Conflicts: 905000 | #Constraints: 21505 2508.37/2521.68 c #Conflicts: 906000 | #Constraints: 22510 2508.37/2521.68 c #Conflicts: 907000 | #Constraints: 23515 2508.37/2521.68 c #Conflicts: 908000 | #Constraints: 24516 2508.37/2521.68 c #Conflicts: 909000 | #Constraints: 25517 2508.37/2521.68 c #Conflicts: 910000 | #Constraints: 26520 2508.37/2521.68 c #Conflicts: 911000 | #Constraints: 27522 2508.37/2521.68 c #Conflicts: 912000 | #Constraints: 28523 2508.37/2521.68 c #Conflicts: 913000 | #Constraints: 29526 2508.37/2521.68 c #Conflicts: 914000 | #Constraints: 30532 2508.37/2521.68 c #Conflicts: 915000 | #Constraints: 31537 2508.37/2521.68 c #Conflicts: 916000 | #Constraints: 32542 2508.37/2521.68 c #Conflicts: 917000 | #Constraints: 33544 2508.37/2521.68 c #Conflicts: 918000 | #Constraints: 34545 2508.37/2521.68 c #Conflicts: 919000 | #Constraints: 35552 2508.37/2521.68 c #Conflicts: 920000 | #Constraints: 36554 2508.37/2521.68 c #Conflicts: 921000 | #Constraints: 37556 2508.37/2521.68 c #Conflicts: 922000 | #Constraints: 38558 2508.37/2521.68 c INPROCESSING 2508.37/2521.68 c GARBAGE COLLECT 2508.37/2521.68 c rational objective 7 2624.09/2637.84 c #Conflicts: 923000 | #Constraints: 20495 2624.09/2637.84 c #Conflicts: 924000 | #Constraints: 21498 2624.09/2637.84 c #Conflicts: 925000 | #Constraints: 22502 2624.09/2637.84 c #Conflicts: 926000 | #Constraints: 23507 2624.09/2637.84 c #Conflicts: 927000 | #Constraints: 24513 2624.09/2637.84 c #Conflicts: 928000 | #Constraints: 25517 2624.09/2637.84 c #Conflicts: 929000 | #Constraints: 26520 2624.09/2637.84 c #Conflicts: 930000 | #Constraints: 27523 2624.09/2637.84 c #Conflicts: 931000 | #Constraints: 28526 2624.09/2637.84 c #Conflicts: 932000 | #Constraints: 29527 2624.09/2637.84 c #Conflicts: 933000 | #Constraints: 30531 2624.09/2637.84 c #Conflicts: 934000 | #Constraints: 31534 2624.09/2637.84 c #Conflicts: 935000 | #Constraints: 32536 2624.09/2637.84 c #Conflicts: 936000 | #Constraints: 33538 2624.09/2637.84 c #Conflicts: 937000 | #Constraints: 34540 2624.09/2637.84 c #Conflicts: 938000 | #Constraints: 35543 2624.09/2637.84 c #Conflicts: 939000 | #Constraints: 36545 2624.09/2637.84 c #Conflicts: 940000 | #Constraints: 37547 2624.09/2637.84 c #Conflicts: 941000 | #Constraints: 38548 2624.09/2637.84 c INPROCESSING 2624.09/2637.84 c GARBAGE COLLECT 2624.09/2637.84 c rational objective 7 2709.55/2723.64 c #Conflicts: 942000 | #Constraints: 20290 2709.55/2723.64 c #Conflicts: 943000 | #Constraints: 21291 2709.55/2723.64 c #Conflicts: 944000 | #Constraints: 22294 2709.55/2723.64 c #Conflicts: 945000 | #Constraints: 23296 2709.55/2723.64 c #Conflicts: 946000 | #Constraints: 24298 2709.55/2723.64 c #Conflicts: 947000 | #Constraints: 25301 2709.55/2723.64 c #Conflicts: 948000 | #Constraints: 26304 2709.55/2723.64 c #Conflicts: 949000 | #Constraints: 27307 2709.55/2723.64 c #Conflicts: 950000 | #Constraints: 28310 2709.55/2723.64 c #Conflicts: 951000 | #Constraints: 29316 2709.55/2723.64 c #Conflicts: 952000 | #Constraints: 30319 2709.55/2723.64 c #Conflicts: 953000 | #Constraints: 31322 2709.55/2723.64 c #Conflicts: 954000 | #Constraints: 32323 2709.55/2723.64 c #Conflicts: 955000 | #Constraints: 33326 2709.55/2723.64 c #Conflicts: 956000 | #Constraints: 34327 2709.55/2723.64 c #Conflicts: 957000 | #Constraints: 35330 2709.55/2723.64 c #Conflicts: 958000 | #Constraints: 36333 2709.55/2723.64 c #Conflicts: 959000 | #Constraints: 37334 2709.55/2723.64 c #Conflicts: 960000 | #Constraints: 38337 2709.55/2723.64 c #Conflicts: 961000 | #Constraints: 39338 2709.55/2723.64 c INPROCESSING 2709.55/2723.64 c GARBAGE COLLECT 2709.55/2723.64 c rational objective 7 2848.97/2863.62 c #Conflicts: 962000 | #Constraints: 20932 2848.97/2863.62 c #Conflicts: 963000 | #Constraints: 21936 2848.97/2863.62 c #Conflicts: 964000 | #Constraints: 22939 2848.97/2863.62 c #Conflicts: 965000 | #Constraints: 23942 2848.97/2863.62 c #Conflicts: 966000 | #Constraints: 24946 2848.97/2863.62 c #Conflicts: 967000 | #Constraints: 25950 2848.97/2863.62 c #Conflicts: 968000 | #Constraints: 26951 2848.97/2863.62 c #Conflicts: 969000 | #Constraints: 27955 2848.97/2863.62 c #Conflicts: 970000 | #Constraints: 28956 2848.97/2863.62 c #Conflicts: 971000 | #Constraints: 29958 2848.97/2863.62 c #Conflicts: 972000 | #Constraints: 30960 2848.97/2863.62 c #Conflicts: 973000 | #Constraints: 31965 2848.97/2863.62 c #Conflicts: 974000 | #Constraints: 32972 2848.97/2863.62 c #Conflicts: 975000 | #Constraints: 33978 2848.97/2863.62 c #Conflicts: 976000 | #Constraints: 34981 2848.97/2863.62 c #Conflicts: 977000 | #Constraints: 35982 2848.97/2863.62 c #Conflicts: 978000 | #Constraints: 36984 2848.97/2863.62 c #Conflicts: 979000 | #Constraints: 37985 2848.97/2863.62 c #Conflicts: 980000 | #Constraints: 38987 2848.97/2863.62 c #Conflicts: 981000 | #Constraints: 39992 2848.97/2863.62 c INPROCESSING 2848.97/2863.62 c GARBAGE COLLECT 2848.97/2863.62 c rational objective 7 3036.90/3052.32 c #Conflicts: 982000 | #Constraints: 21353 3036.90/3052.32 c #Conflicts: 983000 | #Constraints: 22356 3036.90/3052.32 c #Conflicts: 984000 | #Constraints: 23357 3036.90/3052.32 c #Conflicts: 985000 | #Constraints: 24358 3036.90/3052.32 c #Conflicts: 986000 | #Constraints: 25358 3036.90/3052.32 c #Conflicts: 987000 | #Constraints: 26358 3036.90/3052.32 c #Conflicts: 988000 | #Constraints: 27358 3036.90/3052.32 c #Conflicts: 989000 | #Constraints: 28358 3036.90/3052.32 c #Conflicts: 990000 | #Constraints: 29358 3036.90/3052.32 c #Conflicts: 991000 | #Constraints: 30358 3036.90/3052.32 c #Conflicts: 992000 | #Constraints: 31359 3036.90/3052.32 c #Conflicts: 993000 | #Constraints: 32359 3036.90/3052.32 c #Conflicts: 994000 | #Constraints: 33359 3036.90/3052.32 c #Conflicts: 995000 | #Constraints: 34360 3036.90/3052.32 c #Conflicts: 996000 | #Constraints: 35360 3036.90/3052.32 c #Conflicts: 997000 | #Constraints: 36362 3036.90/3052.32 c #Conflicts: 998000 | #Constraints: 37369 3036.90/3052.32 c #Conflicts: 999000 | #Constraints: 38375 3036.90/3052.32 c #Conflicts: 1000000 | #Constraints: 39379 3036.90/3052.32 c #Conflicts: 1001000 | #Constraints: 40384 3036.90/3052.32 c INPROCESSING 3036.90/3052.32 c GARBAGE COLLECT 3036.90/3052.32 c rational objective 7 3100.56/3116.21 c #Conflicts: 1002000 | #Constraints: 21545 3100.56/3116.21 c #Conflicts: 1003000 | #Constraints: 22547 3100.56/3116.21 c #Conflicts: 1004000 | #Constraints: 23554 3100.56/3116.21 c #Conflicts: 1005000 | #Constraints: 24555 3100.56/3116.21 c #Conflicts: 1006000 | #Constraints: 25559 3100.56/3116.21 c #Conflicts: 1007000 | #Constraints: 26563 3100.56/3116.21 c #Conflicts: 1008000 | #Constraints: 27566 3100.56/3116.21 c #Conflicts: 1009000 | #Constraints: 28567 3100.56/3116.21 c #Conflicts: 1010000 | #Constraints: 29570 3100.56/3116.21 c #Conflicts: 1011000 | #Constraints: 30572 3100.56/3116.21 c #Conflicts: 1012000 | #Constraints: 31575 3100.56/3116.21 c #Conflicts: 1013000 | #Constraints: 32579 3100.56/3116.21 c #Conflicts: 1014000 | #Constraints: 33581 3100.56/3116.21 c #Conflicts: 1015000 | #Constraints: 34584 3100.56/3116.21 c #Conflicts: 1016000 | #Constraints: 35589 3100.56/3116.21 c #Conflicts: 1017000 | #Constraints: 36594 3100.56/3116.21 c #Conflicts: 1018000 | #Constraints: 37597 3100.56/3116.21 c #Conflicts: 1019000 | #Constraints: 38598 3100.56/3116.21 c #Conflicts: 1020000 | #Constraints: 39601 3100.56/3116.21 c #Conflicts: 1021000 | #Constraints: 40603 3100.56/3116.21 c INPROCESSING 3100.56/3116.21 c GARBAGE COLLECT 3100.56/3116.21 c rational objective 7 3136.93/3152.78 c #Conflicts: 1022000 | #Constraints: 21593 3136.93/3152.78 c #Conflicts: 1023000 | #Constraints: 22595 3136.93/3152.78 c #Conflicts: 1024000 | #Constraints: 23596 3136.93/3152.78 c #Conflicts: 1025000 | #Constraints: 24596 3136.93/3152.78 c #Conflicts: 1026000 | #Constraints: 25600 3136.93/3152.78 c #Conflicts: 1027000 | #Constraints: 26600 3136.93/3152.78 c #Conflicts: 1028000 | #Constraints: 27602 3136.93/3152.78 c #Conflicts: 1029000 | #Constraints: 28603 3136.93/3152.78 c #Conflicts: 1030000 | #Constraints: 29605 3136.93/3152.78 c #Conflicts: 1031000 | #Constraints: 30606 3136.93/3152.78 c #Conflicts: 1032000 | #Constraints: 31608 3136.93/3152.78 c #Conflicts: 1033000 | #Constraints: 32608 3136.93/3152.78 c #Conflicts: 1034000 | #Constraints: 33611 3136.93/3152.78 c #Conflicts: 1035000 | #Constraints: 34617 3136.93/3152.78 c #Conflicts: 1036000 | #Constraints: 35620 3136.93/3152.78 c #Conflicts: 1037000 | #Constraints: 36623 3136.93/3152.78 c #Conflicts: 1038000 | #Constraints: 37629 3136.93/3152.78 c #Conflicts: 1039000 | #Constraints: 38636 3136.93/3152.78 c #Conflicts: 1040000 | #Constraints: 39638 3136.93/3152.78 c #Conflicts: 1041000 | #Constraints: 40639 3136.93/3152.78 c INPROCESSING 3136.93/3152.78 c GARBAGE COLLECT 3136.93/3152.78 c rational objective 7 3338.62/3355.26 c #Conflicts: 1042000 | #Constraints: 21366 3338.62/3355.26 c #Conflicts: 1043000 | #Constraints: 22369 3338.62/3355.26 c #Conflicts: 1044000 | #Constraints: 23374 3338.62/3355.26 c #Conflicts: 1045000 | #Constraints: 24378 3338.62/3355.26 c #Conflicts: 1046000 | #Constraints: 25381 3338.62/3355.26 c #Conflicts: 1047000 | #Constraints: 26385 3338.62/3355.26 c #Conflicts: 1048000 | #Constraints: 27406 3338.62/3355.26 c #Conflicts: 1049000 | #Constraints: 28418 3338.62/3355.26 c #Conflicts: 1050000 | #Constraints: 29421 3338.62/3355.26 c #Conflicts: 1051000 | #Constraints: 30443 3338.62/3355.26 c #Conflicts: 1052000 | #Constraints: 31451 3338.62/3355.26 c #Conflicts: 1053000 | #Constraints: 32457 3338.62/3355.26 c #Conflicts: 1054000 | #Constraints: 33463 3338.62/3355.26 c #Conflicts: 1055000 | #Constraints: 34467 3338.62/3355.26 c #Conflicts: 1056000 | #Constraints: 35468 3338.62/3355.26 c #Conflicts: 1057000 | #Constraints: 36471 3338.62/3355.26 c #Conflicts: 1058000 | #Constraints: 37471 3338.62/3355.26 c #Conflicts: 1059000 | #Constraints: 38484 3338.62/3355.26 c #Conflicts: 1060000 | #Constraints: 39490 3338.62/3355.26 c #Conflicts: 1061000 | #Constraints: 40495 3338.62/3355.26 c #Conflicts: 1062000 | #Constraints: 41505 3338.62/3355.26 c INPROCESSING 3338.62/3355.26 c GARBAGE COLLECT 3338.62/3355.26 c rational objective 7 3509.85/3527.18 c #Conflicts: 1063000 | #Constraints: 22011 3509.85/3527.18 c #Conflicts: 1064000 | #Constraints: 23022 3509.85/3527.18 c #Conflicts: 1065000 | #Constraints: 24029 3509.85/3527.18 c #Conflicts: 1066000 | #Constraints: 25036 3509.85/3527.18 c #Conflicts: 1067000 | #Constraints: 26041 3509.85/3527.18 c #Conflicts: 1068000 | #Constraints: 27052 3509.85/3527.18 c #Conflicts: 1069000 | #Constraints: 28061 3509.85/3527.18 c #Conflicts: 1070000 | #Constraints: 29064 3509.85/3527.18 c #Conflicts: 1071000 | #Constraints: 30073 3509.85/3527.18 c #Conflicts: 1072000 | #Constraints: 31081 3509.85/3527.18 c #Conflicts: 1073000 | #Constraints: 32086 3509.85/3527.18 c #Conflicts: 1074000 | #Constraints: 33098 3509.85/3527.18 c #Conflicts: 1075000 | #Constraints: 34113 3509.85/3527.18 c #Conflicts: 1076000 | #Constraints: 35121 3509.85/3527.18 c #Conflicts: 1077000 | #Constraints: 36126 3509.85/3527.18 c #Conflicts: 1078000 | #Constraints: 37132 3509.85/3527.18 c #Conflicts: 1079000 | #Constraints: 38136 3509.85/3527.18 c #Conflicts: 1080000 | #Constraints: 39139 3509.85/3527.18 c #Conflicts: 1081000 | #Constraints: 40145 3509.85/3527.18 c #Conflicts: 1082000 | #Constraints: 41148 3509.85/3527.18 c #Conflicts: 1083000 | #Constraints: 42150 3509.85/3527.18 c INPROCESSING 3509.85/3527.18 c GARBAGE COLLECT 3509.85/3527.18 c rational objective 7 3600.00/3617.60 c #Conflicts: 1084000 | #Constraints: 22464 3600.00/3617.60 c #Conflicts: 1085000 | #Constraints: 23467 3600.00/3617.60 c #Conflicts: 1086000 | #Constraints: 24468 3600.00/3617.60 c #Conflicts: 1087000 | #Constraints: 25471 3600.00/3617.60 c #Conflicts: 1088000 | #Constraints: 26474 3600.00/3617.60 c #Conflicts: 1089000 | #Constraints: 27476 3600.00/3617.60 c #Conflicts: 1090000 | #Constraints: 28478 3600.00/3617.60 c #Conflicts: 1091000 | #Constraints: 29480 3600.00/3617.60 c #Conflicts: 1092000 | #Constraints: 30480 3600.00/3617.60 c #Conflicts: 1093000 | #Constraints: 31481 3600.00/3617.60 c #Conflicts: 1094000 | #Constraints: 32483 3600.00/3617.60 c #Conflicts: 1095000 | #Constraints: 33483 3600.00/3617.60 c #Conflicts: 1096000 | #Constraints: 34485 3600.00/3617.60 c #Conflicts: 1097000 | #Constraints: 35486 3600.00/3617.60 c #Conflicts: 1098000 | #Constraints: 36488 3600.00/3617.60 c #Conflicts: 1099000 | #Constraints: 37490 3600.00/3617.60 c Program interrupted by user. 3600.01/3617.75 c cpu time 3558.42 s 3600.01/3617.75 c deterministic time 862886319875 8.63e+11 3600.01/3617.75 c optimization time 89.1121 s 3600.01/3617.75 c total solve time 3469.28 s 3600.01/3617.75 c core-guided solve time 5e-06 s 3600.01/3617.75 c propagation time 2918.19 s 3600.01/3617.75 c conflict analysis time 532.916 s 3600.01/3617.75 c propagations 361771430 3600.01/3617.75 c resolve steps 8764639 3600.01/3617.75 c decisions 13416089 3600.01/3617.75 c conflicts 1099511 3600.01/3617.75 c restarts 2046 3600.01/3617.75 c inprocessing phases 95 3600.01/3617.75 c input clauses 5045 3600.01/3617.75 c input cardinalities 76 3600.01/3617.75 c input general constraints 448 3600.01/3617.75 c input average constraint length 9.60 3600.01/3617.75 c input average constraint degree 71.21 3600.01/3617.75 c learned clauses 105879 3600.01/3617.75 c learned cardinalities 8944 3600.01/3617.75 c learned general constraints 988174 3600.01/3617.75 c learned average constraint length 1163.95 3600.01/3617.75 c learned average constraint degree 7538169624.67 3600.01/3617.75 c watched constraints 895859 3600.01/3617.75 c counting constraints 92763 3600.01/3617.75 c gcd simplifications 54715 3600.01/3617.75 c detected cardinalities 252 3600.01/3617.75 c weakened non-implied lits 120070351 3600.01/3617.75 c weakened non-implying lits 632848 3600.01/3617.75 c original variables 4977 3600.01/3617.75 c clausal propagations 1215314 3600.01/3617.75 c cardinality propagations 25993596 3600.01/3617.75 c watched propagations 113190476 3600.01/3617.75 c counting propagations 219498664 3600.01/3617.75 c watch lookups 21138771727 3600.01/3617.75 c watch backjump lookups 17130838393 3600.01/3617.75 c watch checks 751015490411 3600.01/3617.75 c propagation checks 69299928138 3600.01/3617.75 c constraint additions 3548703382 3600.01/3617.75 c trail pops 376280986 3600.01/3617.75 c formula constraints 5569 3600.01/3617.75 c learned constraints 1096023 3600.01/3617.75 c bound constraints 0 3600.01/3617.75 c core-guided constraints 0 3600.01/3617.75 c encountered formula constraints 6309566 3600.01/3617.75 c encountered learned constraints 3316036 3600.01/3617.75 c encountered bound constraints 0 3600.01/3617.75 c encountered core-guided constraints 0 3600.01/3617.75 c LP total time 152.612 s 3600.01/3617.75 c LP solve time 135.79 s 3600.01/3617.75 c LP constraints added 6187 3600.01/3617.75 c LP constraints removed 612 3600.01/3617.75 c LP pivots internal 1099941 3600.01/3617.75 c LP pivots root 19377 3600.01/3617.75 c LP calls 19177 3600.01/3617.75 c LP optimalities 15687 3600.01/3617.75 c LP no pivot count 8827 3600.01/3617.75 c LP infeasibilities 3487 3600.01/3617.75 c LP valid Farkas constraints 3487 3600.01/3617.75 c LP learned Farkas constraints 3487 3600.01/3617.75 c LP basis resets 1 3600.01/3617.75 c LP cycling count 0 3600.01/3617.75 c LP singular count 1 3600.01/3617.75 c LP no primal count 0 3600.01/3617.75 c LP no farkas count 0 3600.01/3617.75 c LP other issue count 0 3600.01/3617.75 c LP Gomory cuts 0 3600.01/3617.75 c LP learned cuts 618 3600.01/3617.75 c LP deleted cuts 612 3600.01/3617.75 c LP encountered Gomory constraints 0 3600.01/3617.75 c LP encountered Farkas constraints 207463 3600.01/3617.75 c LP encountered learned Farkas constraints 27598 3600.01/3617.75 c CG auxiliary variables introduced 0 3600.01/3617.75 c CG solutions found 0 3600.01/3617.75 c CG cores constructed 1 3600.01/3617.75 c CG core cardinality constraints returned 0 3600.01/3617.75 c CG unit cores 1 3600.01/3617.75 c CG single cores 0 3600.01/3617.75 c CG blocks removed during cardinality reduction 0 3600.01/3617.75 c CG first core best 0 3600.01/3617.75 c CG decision core best 0 3600.01/3617.75 c CG core reduction tie 0 3600.01/3617.75 c CG core degree average 0.00 3600.01/3617.75 c CG core slack average 0.00 3600.01/3617.75 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56287 MiB free)
memory of node 1: 64473 MiB (16665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462707-1722344423/watcher-4462707-1722344423 -o /tmp/evaluation-result-4462707-1722344423/solver-4462707-1722344423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6031 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462707-1722344423 --lp-cut-gomory=0 HOME/instance-4462707-1722344423.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
Current StackSize limit: 8192 KiB
solver pid=8214, runsolver pid=8211
[startup+0.100094 s]*
/proc/loadavg: 4.12 4.14 4.09 1/264 8215
/proc/meminfo: memFree=74702436/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=37376 memory=2676 CPUtime=0 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 830491 38273024 669 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+0.205536 s]*
/proc/loadavg: 4.12 4.14 4.09 1/264 8215
/proc/meminfo: memFree=74702624/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=37376 memory=2676 CPUtime=0 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 830491 38273024 669 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+0.304719 s]*
/proc/loadavg: 4.12 4.14 4.09 2/264 8215
/proc/meminfo: memFree=74691048/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=37376 memory=2676 CPUtime=0 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 830491 38273024 669 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+0.700201 s]
/proc/loadavg: 4.12 4.14 4.09 2/264 8215
/proc/meminfo: memFree=74680456/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=37376 memory=2676 CPUtime=0 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 830491 38273024 669 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+1.50019 s]
/proc/loadavg: 4.12 4.14 4.09 3/264 8215
/proc/meminfo: memFree=74597552/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=37376 memory=2676 CPUtime=0 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 830491 38273024 669 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 9344 669 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2676 KiB
[startup+3.10621 s]
/proc/loadavg: 4.19 4.15 4.09 3/264 8215
/proc/meminfo: memFree=74289348/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=53704 memory=25568 CPUtime=0.75 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 5124 0 0 0 71 4 0 0 20 0 1 0 830491 54992896 6392 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 13426 6392 1894 992 0 5284 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 53704 KiB
Current children cumulated memory: 25568 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.19 4.15 4.09 3/258 8241
/proc/meminfo: memFree=73932548/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=76332 memory=48932 CPUtime=3.91 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 8913 0 0 0 374 17 0 0 20 0 1 0 830491 78163968 12233 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 19083 12233 1910 992 0 10941 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 76332 KiB
Current children cumulated memory: 48932 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.09 2/260 8245
/proc/meminfo: memFree=73713404/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=97540 memory=66648 CPUtime=10.26 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 11852 0 0 0 990 36 0 0 20 0 1 0 830491 99880960 16662 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 24385 16662 1910 992 0 16243 0
Current children cumulated CPU time: 10.26 s
Current children cumulated vsize: 97540 KiB
Current children cumulated memory: 66648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.09 3/260 8292
/proc/meminfo: memFree=75923476/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=130300 memory=96248 CPUtime=23.01 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 15682 0 0 0 2236 65 0 0 20 0 1 0 830491 133427200 24062 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 32575 24062 1910 992 0 24433 0
Current children cumulated CPU time: 23.01 s
Current children cumulated vsize: 130300 KiB
Current children cumulated memory: 96248 KiB
[startup+51.1059 s]
/proc/loadavg: 4.09 4.13 4.09 4/266 8331
/proc/meminfo: memFree=127399084/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=194768 memory=148964 CPUtime=48.5 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 24263 0 0 0 4723 127 0 0 20 0 1 0 830491 199442432 37241 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 48692 37241 1910 992 0 40550 0
Current children cumulated CPU time: 48.5 s
Current children cumulated vsize: 194768 KiB
Current children cumulated memory: 148964 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 8387
/proc/meminfo: memFree=125589956/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=222348 memory=177728 CPUtime=99.42 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 30985 0 0 0 9696 246 0 0 20 0 1 0 830491 227684352 44432 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 55587 44432 1910 992 0 47445 0
Current children cumulated CPU time: 99.42 s
Current children cumulated vsize: 222348 KiB
Current children cumulated memory: 177728 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 8399
/proc/meminfo: memFree=123355408/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=296552 memory=220516 CPUtime=159.15 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 36417 0 0 0 15548 367 0 0 20 0 1 0 830491 303669248 55129 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 74138 55129 1910 992 0 65996 0
Current children cumulated CPU time: 159.15 s
Current children cumulated vsize: 296552 KiB
Current children cumulated memory: 220516 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 8410
/proc/meminfo: memFree=121263736/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=306376 memory=238256 CPUtime=218.83 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 38889 0 0 0 21398 485 0 0 20 0 1 0 830491 313729024 59564 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 76594 59564 1910 992 0 68452 0
Current children cumulated CPU time: 218.83 s
Current children cumulated vsize: 306376 KiB
Current children cumulated memory: 238256 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/261 8422
/proc/meminfo: memFree=119140980/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=321420 memory=260488 CPUtime=278.49 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 42438 0 0 0 27260 589 0 0 20 0 1 0 830491 329134080 65122 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 80355 65122 1910 992 0 72213 0
Current children cumulated CPU time: 278.49 s
Current children cumulated vsize: 321420 KiB
Current children cumulated memory: 260488 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 8435
/proc/meminfo: memFree=116979792/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=333096 memory=282816 CPUtime=338.22 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 45482 0 0 0 33141 681 0 0 20 0 1 0 830491 341090304 70704 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 83274 70704 1910 992 0 75132 0
Current children cumulated CPU time: 338.22 s
Current children cumulated vsize: 333096 KiB
Current children cumulated memory: 282816 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 8447
/proc/meminfo: memFree=115066740/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=360464 memory=326072 CPUtime=397.95 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 51768 0 0 0 39017 778 0 0 20 0 1 0 830491 369115136 81518 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 90116 81518 1910 992 0 81974 0
Current children cumulated CPU time: 397.95 s
Current children cumulated vsize: 360464 KiB
Current children cumulated memory: 326072 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.18 4.11 5/261 8458
/proc/meminfo: memFree=113074552/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=365712 memory=331068 CPUtime=457.67 cores=0,2
################
# More data... #
################
Current children cumulated memory: 739588 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/263 9539
/proc/meminfo: memFree=64366840/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=824544 memory=744180 CPUtime=2907.44 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 113554 0 0 0 287096 3648 0 0 20 0 1 0 830491 844333056 186045 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 206136 186045 2011 992 0 197994 0
Current children cumulated CPU time: 2907.44 s
Current children cumulated vsize: 824544 KiB
Current children cumulated memory: 744180 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/261 9549
/proc/meminfo: memFree=63647916/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=829732 memory=749140 CPUtime=2967.17 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 114894 0 0 0 293032 3685 0 0 20 0 1 0 830491 849645568 187285 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 207433 187285 2011 992 0 199291 0
Current children cumulated CPU time: 2967.17 s
Current children cumulated vsize: 829732 KiB
Current children cumulated memory: 749140 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.18 4.18 6/261 9563
/proc/meminfo: memFree=62149648/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=844452 memory=763592 CPUtime=3026.94 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 118612 0 0 0 298968 3726 0 0 20 0 1 0 830491 864718848 190898 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 211113 190898 2011 992 0 202971 0
Current children cumulated CPU time: 3026.94 s
Current children cumulated vsize: 844452 KiB
Current children cumulated memory: 763592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/261 9574
/proc/meminfo: memFree=60351092/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=847680 memory=766796 CPUtime=3086.72 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 119454 0 0 0 304876 3796 0 0 20 0 1 0 830491 868024320 191699 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 211920 191699 2011 992 0 203778 0
Current children cumulated CPU time: 3086.72 s
Current children cumulated vsize: 847680 KiB
Current children cumulated memory: 766796 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/261 9586
/proc/meminfo: memFree=59042836/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=849312 memory=768724 CPUtime=3146.49 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 119992 0 0 0 310774 3875 0 0 20 0 1 0 830491 869695488 192181 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 212328 192181 2011 992 0 204186 0
Current children cumulated CPU time: 3146.49 s
Current children cumulated vsize: 849312 KiB
Current children cumulated memory: 768724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/260 9598
/proc/meminfo: memFree=57750252/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=854196 memory=773588 CPUtime=3206.26 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 121314 0 0 0 316702 3924 0 0 20 0 1 0 830491 874696704 193397 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 213549 193397 2011 992 0 205407 0
Current children cumulated CPU time: 3206.26 s
Current children cumulated vsize: 854196 KiB
Current children cumulated memory: 773588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/260 9609
/proc/meminfo: memFree=56840456/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=877052 memory=789828 CPUtime=3265.99 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 125469 0 0 0 322652 3947 0 0 20 0 1 0 830491 898101248 197457 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 219263 197457 2011 992 0 211121 0
Current children cumulated CPU time: 3265.99 s
Current children cumulated vsize: 877052 KiB
Current children cumulated memory: 789828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/260 10006
/proc/meminfo: memFree=55629588/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=895740 memory=803372 CPUtime=3325.77 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 129000 0 0 0 328606 3971 0 0 20 0 1 0 830491 917237760 200843 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 223935 200843 2011 992 0 215793 0
Current children cumulated CPU time: 3325.77 s
Current children cumulated vsize: 895740 KiB
Current children cumulated memory: 803372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/261 10017
/proc/meminfo: memFree=54715704/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=901240 memory=808352 CPUtime=3385.54 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 130359 0 0 0 334531 4023 0 0 20 0 1 0 830491 922869760 202088 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 225310 202088 2011 992 0 217168 0
Current children cumulated CPU time: 3385.54 s
Current children cumulated vsize: 901240 KiB
Current children cumulated memory: 808352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/261 10028
/proc/meminfo: memFree=54188900/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=911160 memory=817928 CPUtime=3445.3 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 132893 0 0 0 340472 4058 0 0 20 0 1 0 830491 933027840 204482 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 227790 204482 2011 992 0 219648 0
Current children cumulated CPU time: 3445.3 s
Current children cumulated vsize: 911160 KiB
Current children cumulated memory: 817928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/262 10208
/proc/meminfo: memFree=53739348/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=917688 memory=824636 CPUtime=3505.06 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 134712 0 0 0 346429 4077 0 0 20 0 1 0 830491 939712512 206159 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 229422 206159 2011 992 0 221280 0
Current children cumulated CPU time: 3505.06 s
Current children cumulated vsize: 917688 KiB
Current children cumulated memory: 824636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/262 10218
/proc/meminfo: memFree=53294676/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=918160 memory=825760 CPUtime=3564.84 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 135070 0 0 0 352347 4137 0 0 20 0 1 0 830491 940195840 206440 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 229540 206440 2011 992 0 221398 0
Current children cumulated CPU time: 3564.84 s
Current children cumulated vsize: 918160 KiB
Current children cumulated memory: 825760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.6 s]
/proc/loadavg: 4.09 4.10 4.13 6/262 10225
/proc/meminfo: memFree=52336676/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=918160 memory=825992 CPUtime=3600 cores=0,2
/proc/8214/stat : 8214 (roundingsat) R 8211 8214 6021 0 -1 4194304 135169 0 0 0 355841 4159 0 0 20 0 1 0 830491 940195840 206498 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 229540 206498 2011 992 0 221398 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 918160 KiB
Current children cumulated memory: 825992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.77 s]
# the end of solver process 8214 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.42 s, system=41.6202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617.7 s]
/proc/loadavg: 4.09 4.10 4.13 6/262 10225
/proc/meminfo: memFree=52336676/131524600 swapFree=131071996/131071996
[pid=8214] ppid=8211 vsize=918160 memory=825992 CPUtime=3600.01 cores=0,2
/proc/8214/stat : 8214 (roundingsat) D 8211 8214 6021 0 -1 4194304 135173 0 0 0 355841 4160 0 0 20 0 1 0 830491 940195840 206498 134679101440 4194304 8255733 140723358492304 0 0 0 0 0 25182210 0 0 0 17 2 0 0 15 0 0 9037040 9046032 9326592 140723358499678 140723358499940 140723358499940 140723358506953 0
/proc/8214/statm: 229540 206498 2011 992 0 221398 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 918160 KiB
Current children cumulated memory: 825992 KiB
Child status: 0
Real time (s): 3617.77
CPU time (s): 3600.04
CPU user time (s): 3558.42
CPU system time (s): 41.6202
CPU usage (%): 99.5099
Max. virtual memory (cumulated for all children) (KiB): 918160
Max. memory (cumulated for all children) (KiB): 825992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.42
system time used= 41.6202
maximum resident set size= 825992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33899592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1539
involuntary context switches= 25676
# summary of solver processes directly reported to runsolver:
# pid: 8214
# total CPU time (s): 3600.04
# total CPU user time (s): 3558.42
# total CPU system time (s): 41.6202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57958 second user time and 16.8419 second system time
The end
Begin job on nodeC015 at 2024-07-30 15:00:23 IDJOB=4462707 IDBENCH=148775 IDSOLVER=3089 FILE ID=nodeC015/4462707-1722344423 RUNJOBID= nodeC015-1722340763-6031 SLURM_JOB_ID= 8248978 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.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-4462707-1722344423/watcher-4462707-1722344423 -o /tmp/evaluation-result-4462707-1722344423/solver-4462707-1722344423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722340763-6031 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462707-1722344423 --lp-cut-gomory=0 HOME/instance-4462707-1722344423.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593 RANDOM SEED=1316399505 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3553.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1687.780 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3533.143 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1199.976 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2653.500 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1739.673 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2580.638 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 1862.086 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 74704468 kB MemAvailable: 127075304 kB Buffers: 50480 kB Cached: 53100852 kB SwapCached: 0 kB Active: 159748 kB Inactive: 56057704 kB Active(anon): 1560 kB Inactive(anon): 3088008 kB Active(file): 158188 kB Inactive(file): 52969696 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18852 kB Writeback: 262248 kB AnonPages: 3065964 kB Mapped: 94160 kB Shmem: 23384 kB KReclaimable: 165548 kB Slab: 255484 kB SReclaimable: 165548 kB SUnreclaim: 89936 kB KernelStack: 4272 kB PageTables: 15352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3532280 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8864 kB HardwareCorrupted: 0 kB AnonHugePages: 2889728 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: 158420 kB DirectMap2M: 12197888 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 890012 MiB End job on nodeC015 at 2024-07-30 16:00:41