| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 85 | 3600.09 | 3610.3 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb |
| MD5SUM | 51fa3ae0158cc49e421df545accb4e20 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 84 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| 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 | 361 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 441 #constraints 441 0.30/0.37 c bounds - >= 0 @ 0.002001 0.30/0.37 c bounds 121 >= 0 @ 0.071503 0.30/0.37 c bounds 121 >= 1 @ 0.071503 0.30/0.37 c bounds 121 >= 2 @ 0.071503 0.30/0.37 c bounds 121 >= 3 @ 0.071503 0.30/0.37 c bounds 121 >= 4 @ 0.071503 0.30/0.37 c bounds 121 >= 5 @ 0.071503 0.30/0.37 c bounds 121 >= 6 @ 0.071503 0.30/0.37 c bounds 121 >= 7 @ 0.071503 0.30/0.37 c bounds 121 >= 8 @ 0.071503 0.30/0.37 c bounds 121 >= 9 @ 0.071503 0.30/0.37 c bounds 121 >= 10 @ 0.071503 0.30/0.37 c bounds 121 >= 11 @ 0.071544 0.30/0.37 c bounds 121 >= 12 @ 0.071605 0.30/0.37 c bounds 121 >= 13 @ 0.071662 0.30/0.37 c bounds 121 >= 14 @ 0.071736 0.30/0.37 c bounds 121 >= 15 @ 0.07182 0.30/0.37 c bounds 121 >= 16 @ 0.071888 0.30/0.37 c bounds 121 >= 17 @ 0.071954 0.30/0.37 c bounds 121 >= 18 @ 0.072017 0.30/0.37 c bounds 121 >= 19 @ 0.07208 0.30/0.37 c bounds 121 >= 20 @ 0.072138 0.30/0.37 c bounds 121 >= 21 @ 0.072211 0.30/0.37 c bounds 121 >= 22 @ 0.072281 0.30/0.37 c bounds 121 >= 23 @ 0.072349 0.30/0.37 c bounds 121 >= 24 @ 0.072418 0.30/0.37 c bounds 121 >= 25 @ 0.072484 0.30/0.37 c bounds 121 >= 26 @ 0.072572 0.30/0.37 c bounds 121 >= 27 @ 0.072657 0.30/0.37 c bounds 121 >= 28 @ 0.072737 0.30/0.37 c bounds 121 >= 29 @ 0.072832 0.30/0.37 c bounds 121 >= 30 @ 0.072908 0.30/0.37 c bounds 121 >= 31 @ 0.072985 0.30/0.37 c bounds 121 >= 32 @ 0.073058 0.30/0.37 c bounds 121 >= 33 @ 0.07313 0.30/0.37 c bounds 121 >= 34 @ 0.073217 0.30/0.37 c bounds 121 >= 35 @ 0.073301 0.30/0.37 c bounds 119 >= 35 @ 0.073485 0.30/0.37 c bounds 119 >= 36 @ 0.073485 0.30/0.37 c bounds 119 >= 37 @ 0.073485 0.30/0.37 c bounds 119 >= 38 @ 0.073485 0.30/0.37 c bounds 119 >= 39 @ 0.073509 0.30/0.37 c bounds 119 >= 40 @ 0.073604 0.30/0.37 c bounds 119 >= 41 @ 0.073693 0.30/0.37 c bounds 119 >= 42 @ 0.073783 0.30/0.37 c bounds 119 >= 43 @ 0.073869 0.30/0.37 c bounds 119 >= 44 @ 0.073957 0.30/0.37 c bounds 119 >= 45 @ 0.07404 0.30/0.37 c bounds 119 >= 46 @ 0.074118 0.30/0.37 c bounds 119 >= 47 @ 0.074213 0.30/0.37 c bounds 119 >= 48 @ 0.074303 0.30/0.37 c bounds 119 >= 49 @ 0.074393 0.30/0.37 c bounds 119 >= 50 @ 0.074484 0.30/0.37 c bounds 119 >= 51 @ 0.074575 0.30/0.37 c bounds 119 >= 52 @ 0.074666 0.30/0.37 c bounds 119 >= 53 @ 0.074771 0.30/0.37 c bounds 119 >= 54 @ 0.074874 0.30/0.37 c bounds 119 >= 55 @ 0.074974 0.30/0.37 c bounds 119 >= 56 @ 0.075074 0.30/0.37 c bounds 119 >= 57 @ 0.075172 0.30/0.37 c bounds 119 >= 58 @ 0.075268 0.30/0.37 c bounds 119 >= 59 @ 0.075367 0.30/0.37 c bounds 119 >= 60 @ 0.075472 0.30/0.37 c bounds 119 >= 61 @ 0.075577 0.30/0.37 c bounds 119 >= 62 @ 0.075684 0.30/0.37 c bounds 119 >= 63 @ 0.075794 0.30/0.37 c bounds 119 >= 64 @ 0.075905 0.30/0.37 c bounds 119 >= 65 @ 0.076021 0.30/0.37 c bounds 119 >= 66 @ 0.076232 0.30/0.37 c bounds 118 >= 66 @ 0.076464 0.30/0.37 c bounds 118 >= 67 @ 0.076464 0.30/0.37 c bounds 117 >= 67 @ 0.076705 0.30/0.37 c bounds 117 >= 68 @ 0.07696 0.30/0.37 c bounds 117 >= 69 @ 0.077434 0.30/0.37 c bounds 116 >= 69 @ 0.078308 0.30/0.37 c bounds 116 >= 70 @ 0.078419 0.30/0.37 c bounds 115 >= 70 @ 0.07882 0.30/0.37 c bounds 114 >= 70 @ 0.080778 0.30/0.37 c bounds 114 >= 71 @ 0.081364 0.30/0.37 c bounds 113 >= 71 @ 0.081364 0.30/0.37 c bounds 113 >= 72 @ 0.083339 0.30/0.37 c bounds 112 >= 72 @ 0.083611 0.30/0.37 c bounds 111 >= 72 @ 0.085464 0.30/0.37 c bounds 110 >= 72 @ 0.086418 0.30/0.37 c bounds 110 >= 73 @ 0.087286 0.30/0.37 c bounds 109 >= 73 @ 0.092272 0.30/0.37 c bounds 109 >= 74 @ 0.107772 0.30/0.37 c bounds 108 >= 74 @ 0.110221 0.30/0.37 c bounds 107 >= 74 @ 0.110961 0.30/0.37 c bounds 106 >= 74 @ 0.112517 0.30/0.37 c bounds 105 >= 74 @ 0.116482 0.30/0.37 c bounds 104 >= 74 @ 0.120484 0.30/0.37 c #Conflicts: 1000 | #Constraints: 1896 0.30/0.37 c bounds 103 >= 74 @ 0.140147 0.30/0.37 c bounds 103 >= 75 @ 0.177051 0.30/0.37 c bounds 102 >= 75 @ 0.217835 0.30/0.37 c #Conflicts: 2000 | #Constraints: 2929 0.30/0.37 c INPROCESSING 0.30/0.37 c GARBAGE COLLECT 0.30/0.37 c rational objective 76.5302 0.78/0.83 c #Conflicts: 3000 | #Constraints: 2802 0.78/0.83 c #Conflicts: 4000 | #Constraints: 3802 0.78/0.83 c INPROCESSING 0.78/0.83 c GARBAGE COLLECT 0.78/0.83 c rational objective 76.6234 1.28/1.32 c bounds 101 >= 75 @ 0.857565 1.28/1.32 c bounds 100 >= 75 @ 0.859534 1.28/1.32 c bounds 99 >= 75 @ 0.886478 1.28/1.32 c #Conflicts: 5000 | #Constraints: 3287 1.28/1.32 c #Conflicts: 6000 | #Constraints: 4349 1.28/1.32 c INPROCESSING 1.28/1.32 c GARBAGE COLLECT 1.28/1.32 c rational objective 76.6242 1.88/1.92 c #Conflicts: 7000 | #Constraints: 3302 1.88/1.92 c #Conflicts: 8000 | #Constraints: 4350 1.88/1.92 c bounds 98 >= 75 @ 1.60305 1.88/1.92 c #Conflicts: 9000 | #Constraints: 5365 1.88/1.92 c INPROCESSING 1.88/1.92 c GARBAGE COLLECT 1.88/1.92 c rational objective 76.6243 2.78/2.81 c bounds 98 >= 76 @ 1.96388 2.78/2.81 c #Conflicts: 10000 | #Constraints: 4112 2.78/2.81 c #Conflicts: 11000 | #Constraints: 5496 2.78/2.81 c bounds 97 >= 76 @ 2.47529 2.78/2.81 c #Conflicts: 12000 | #Constraints: 6821 2.78/2.81 c INPROCESSING 2.78/2.81 c GARBAGE COLLECT 2.78/2.81 c rational objective 76.6244 4.08/4.12 c #Conflicts: 13000 | #Constraints: 4864 4.08/4.12 c #Conflicts: 14000 | #Constraints: 5864 4.08/4.12 c #Conflicts: 15000 | #Constraints: 6864 4.08/4.12 c INPROCESSING 4.08/4.12 c GARBAGE COLLECT 4.08/4.12 c rational objective 76.6274 4.87/4.91 c bounds 96 >= 76 @ 3.99012 4.87/4.91 c bounds 95 >= 76 @ 3.99078 4.87/4.91 c bounds 94 >= 76 @ 4.01348 4.87/4.91 c #Conflicts: 16000 | #Constraints: 5050 4.87/4.91 c #Conflicts: 17000 | #Constraints: 6103 4.87/4.91 c bounds 93 >= 76 @ 4.36134 4.87/4.91 c #Conflicts: 18000 | #Constraints: 7154 4.87/4.91 c INPROCESSING 4.87/4.91 c GARBAGE COLLECT 4.87/4.91 c rational objective 76.6244 5.67/5.73 c #Conflicts: 19000 | #Constraints: 4934 5.67/5.73 c #Conflicts: 20000 | #Constraints: 5962 5.67/5.73 c #Conflicts: 21000 | #Constraints: 6999 5.67/5.73 c bounds 92 >= 76 @ 5.30262 5.67/5.73 c bounds 91 >= 76 @ 5.34622 5.67/5.73 c INPROCESSING 5.67/5.73 c GARBAGE COLLECT 5.67/5.73 c rational objective 76.6254 6.57/6.66 c #Conflicts: 22000 | #Constraints: 4680 6.57/6.66 c bounds 90 >= 76 @ 5.65052 6.57/6.66 c #Conflicts: 23000 | #Constraints: 5741 6.57/6.66 c #Conflicts: 24000 | #Constraints: 6777 6.57/6.66 c #Conflicts: 25000 | #Constraints: 7803 6.57/6.66 c INPROCESSING 6.57/6.66 c GARBAGE COLLECT 6.57/6.66 c rational objective 76.6257 8.56/8.62 c #Conflicts: 26000 | #Constraints: 5238 8.56/8.62 c #Conflicts: 27000 | #Constraints: 6238 8.56/8.62 c #Conflicts: 28000 | #Constraints: 7238 8.56/8.62 c #Conflicts: 29000 | #Constraints: 8238 8.56/8.62 c INPROCESSING 8.56/8.62 c GARBAGE COLLECT 8.56/8.62 c rational objective 76.6993 9.67/9.70 c #Conflicts: 30000 | #Constraints: 5591 9.67/9.70 c #Conflicts: 31000 | #Constraints: 6640 9.67/9.70 c #Conflicts: 32000 | #Constraints: 7678 9.67/9.70 c #Conflicts: 33000 | #Constraints: 8715 9.67/9.70 c INPROCESSING 9.67/9.70 c GARBAGE COLLECT 9.67/9.70 c rational objective 76.6257 11.16/11.22 c #Conflicts: 34000 | #Constraints: 5829 11.16/11.22 c #Conflicts: 35000 | #Constraints: 6897 11.16/11.22 c #Conflicts: 36000 | #Constraints: 7947 11.16/11.22 c #Conflicts: 37000 | #Constraints: 8983 11.16/11.22 c INPROCESSING 11.16/11.22 c GARBAGE COLLECT 11.16/11.22 c rational objective 76.6257 13.96/14.04 c #Conflicts: 38000 | #Constraints: 5846 13.96/14.04 c #Conflicts: 39000 | #Constraints: 6848 13.96/14.04 c #Conflicts: 40000 | #Constraints: 7848 13.96/14.04 c #Conflicts: 41000 | #Constraints: 8848 13.96/14.04 c INPROCESSING 13.96/14.04 c GARBAGE COLLECT 13.96/14.04 c rational objective 76.6258 15.06/15.13 c #Conflicts: 42000 | #Constraints: 5609 15.06/15.13 c #Conflicts: 43000 | #Constraints: 6609 15.06/15.13 c #Conflicts: 44000 | #Constraints: 7609 15.06/15.13 c #Conflicts: 45000 | #Constraints: 8622 15.06/15.13 c #Conflicts: 46000 | #Constraints: 9654 15.06/15.13 c INPROCESSING 15.06/15.13 c GARBAGE COLLECT 15.06/15.13 c rational objective 76.6258 16.34/16.49 c #Conflicts: 47000 | #Constraints: 6189 16.34/16.49 c bounds 89 >= 76 @ 14.8831 16.34/16.49 c #Conflicts: 48000 | #Constraints: 7231 16.34/16.49 c #Conflicts: 49000 | #Constraints: 8277 16.34/16.49 c #Conflicts: 50000 | #Constraints: 9307 16.34/16.49 c #Conflicts: 51000 | #Constraints: 10337 16.34/16.49 c INPROCESSING 16.34/16.49 c GARBAGE COLLECT 16.34/16.49 c rational objective 76.6259 20.34/20.43 c #Conflicts: 52000 | #Constraints: 6612 20.34/20.43 c #Conflicts: 53000 | #Constraints: 7612 20.34/20.43 c #Conflicts: 54000 | #Constraints: 8612 20.34/20.43 c #Conflicts: 55000 | #Constraints: 9612 20.34/20.43 c #Conflicts: 56000 | #Constraints: 10612 20.34/20.43 c INPROCESSING 20.34/20.43 c GARBAGE COLLECT 20.34/20.43 c rational objective 76.6259 21.83/21.96 c #Conflicts: 57000 | #Constraints: 6788 21.83/21.96 c #Conflicts: 58000 | #Constraints: 7788 21.83/21.96 c #Conflicts: 59000 | #Constraints: 8809 21.83/21.96 c #Conflicts: 60000 | #Constraints: 9853 21.83/21.96 c #Conflicts: 61000 | #Constraints: 10892 21.83/21.96 c INPROCESSING 21.83/21.96 c GARBAGE COLLECT 21.83/21.96 c rational objective 76.6259 23.62/23.77 c #Conflicts: 62000 | #Constraints: 6801 23.62/23.77 c #Conflicts: 63000 | #Constraints: 7838 23.62/23.77 c #Conflicts: 64000 | #Constraints: 8884 23.62/23.77 c #Conflicts: 65000 | #Constraints: 9912 23.62/23.77 c #Conflicts: 66000 | #Constraints: 10944 23.62/23.77 c INPROCESSING 23.62/23.77 c GARBAGE COLLECT 23.62/23.77 c rational objective 76.6259 25.51/25.69 c #Conflicts: 67000 | #Constraints: 6627 25.51/25.69 c #Conflicts: 68000 | #Constraints: 7658 25.51/25.69 c #Conflicts: 69000 | #Constraints: 8703 25.51/25.69 c #Conflicts: 70000 | #Constraints: 9729 25.51/25.69 c #Conflicts: 71000 | #Constraints: 10758 25.51/25.69 c #Conflicts: 72000 | #Constraints: 11791 25.51/25.69 c INPROCESSING 25.51/25.69 c GARBAGE COLLECT 25.51/25.69 c rational objective 76.6259 30.41/30.57 c #Conflicts: 73000 | #Constraints: 7244 30.41/30.57 c #Conflicts: 74000 | #Constraints: 8247 30.41/30.57 c #Conflicts: 75000 | #Constraints: 9250 30.41/30.57 c #Conflicts: 76000 | #Constraints: 10256 30.41/30.57 c #Conflicts: 77000 | #Constraints: 11258 30.41/30.57 c #Conflicts: 78000 | #Constraints: 12260 30.41/30.57 c INPROCESSING 30.41/30.57 c GARBAGE COLLECT 30.41/30.57 c rational objective 76.6339 32.50/32.68 c #Conflicts: 79000 | #Constraints: 7642 32.50/32.68 c #Conflicts: 80000 | #Constraints: 8675 32.50/32.68 c #Conflicts: 81000 | #Constraints: 9707 32.50/32.68 c #Conflicts: 82000 | #Constraints: 10738 32.50/32.68 c #Conflicts: 83000 | #Constraints: 11769 32.50/32.68 c #Conflicts: 84000 | #Constraints: 12808 32.50/32.68 c INPROCESSING 32.50/32.68 c GARBAGE COLLECT 32.50/32.68 c rational objective 76.6259 34.79/34.95 c #Conflicts: 85000 | #Constraints: 7858 34.79/34.95 c #Conflicts: 86000 | #Constraints: 8885 34.79/34.95 c #Conflicts: 87000 | #Constraints: 9914 34.79/34.95 c #Conflicts: 88000 | #Constraints: 10944 34.79/34.95 c #Conflicts: 89000 | #Constraints: 11980 34.79/34.95 c #Conflicts: 90000 | #Constraints: 13010 34.79/34.95 c INPROCESSING 34.79/34.95 c GARBAGE COLLECT 34.79/34.95 c rational objective 76.6259 44.27/44.49 c #Conflicts: 91000 | #Constraints: 7848 44.27/44.49 c #Conflicts: 92000 | #Constraints: 8848 44.27/44.49 c #Conflicts: 93000 | #Constraints: 9848 44.27/44.49 c #Conflicts: 94000 | #Constraints: 10848 44.27/44.49 c #Conflicts: 95000 | #Constraints: 11848 44.27/44.49 c #Conflicts: 96000 | #Constraints: 12854 44.27/44.49 c bounds 89 >= 77 @ 39.4716 44.27/44.49 c INPROCESSING 44.27/44.49 c GARBAGE COLLECT 44.27/44.49 c #Conflicts: 97000 | #Constraints: 7607 44.27/44.49 c #Conflicts: 98000 | #Constraints: 8607 44.27/44.49 c #Conflicts: 99000 | #Constraints: 9607 44.27/44.49 c #Conflicts: 100000 | #Constraints: 10607 44.27/44.49 c #Conflicts: 101000 | #Constraints: 11609 44.27/44.49 c #Conflicts: 102000 | #Constraints: 12657 44.27/44.49 c #Conflicts: 103000 | #Constraints: 13697 44.27/44.49 c INPROCESSING 44.27/44.49 c GARBAGE COLLECT 44.27/44.49 c rational objective 77 49.46/49.67 c #Conflicts: 104000 | #Constraints: 8215 49.46/49.67 c #Conflicts: 105000 | #Constraints: 9218 49.46/49.67 c #Conflicts: 106000 | #Constraints: 10219 49.46/49.67 c #Conflicts: 107000 | #Constraints: 11223 49.46/49.67 c #Conflicts: 108000 | #Constraints: 12226 49.46/49.67 c #Conflicts: 109000 | #Constraints: 13226 49.46/49.67 c #Conflicts: 110000 | #Constraints: 14232 49.46/49.67 c INPROCESSING 49.46/49.67 c GARBAGE COLLECT 49.46/49.67 c rational objective 77 53.26/53.47 c #Conflicts: 111000 | #Constraints: 8669 53.26/53.47 c #Conflicts: 112000 | #Constraints: 10109 53.26/53.47 c #Conflicts: 113000 | #Constraints: 11688 53.26/53.47 c #Conflicts: 114000 | #Constraints: 12737 53.26/53.47 c #Conflicts: 115000 | #Constraints: 13777 53.26/53.47 c #Conflicts: 116000 | #Constraints: 14803 53.26/53.47 c #Conflicts: 117000 | #Constraints: 15840 53.26/53.47 c INPROCESSING 53.26/53.47 c GARBAGE COLLECT 53.26/53.47 c rational objective 77 56.05/56.24 c #Conflicts: 118000 | #Constraints: 9383 56.05/56.24 c #Conflicts: 119000 | #Constraints: 10425 56.05/56.24 c bounds 88 >= 77 @ 52.7054 56.05/56.24 c #Conflicts: 120000 | #Constraints: 11466 56.05/56.24 c #Conflicts: 121000 | #Constraints: 12512 56.05/56.24 c #Conflicts: 122000 | #Constraints: 13558 56.05/56.24 c #Conflicts: 123000 | #Constraints: 14593 56.05/56.24 c #Conflicts: 124000 | #Constraints: 15622 56.05/56.24 c INPROCESSING 56.05/56.24 c GARBAGE COLLECT 56.05/56.24 c rational objective 77 62.23/62.41 c #Conflicts: 125000 | #Constraints: 9175 62.23/62.41 c #Conflicts: 126000 | #Constraints: 10175 62.23/62.41 c #Conflicts: 127000 | #Constraints: 11175 62.23/62.41 c #Conflicts: 128000 | #Constraints: 12175 62.23/62.41 c #Conflicts: 129000 | #Constraints: 13175 62.23/62.41 c #Conflicts: 130000 | #Constraints: 14175 62.23/62.41 c #Conflicts: 131000 | #Constraints: 15175 62.23/62.41 c INPROCESSING 62.23/62.41 c GARBAGE COLLECT 62.23/62.41 c rational objective 77 65.23/65.45 c #Conflicts: 132000 | #Constraints: 8804 65.23/65.45 c #Conflicts: 133000 | #Constraints: 9808 65.23/65.45 c #Conflicts: 134000 | #Constraints: 10842 65.23/65.45 c #Conflicts: 135000 | #Constraints: 11878 65.23/65.45 c #Conflicts: 136000 | #Constraints: 12912 65.23/65.45 c #Conflicts: 137000 | #Constraints: 13951 65.23/65.45 c #Conflicts: 138000 | #Constraints: 14985 65.23/65.45 c #Conflicts: 139000 | #Constraints: 16021 65.23/65.45 c INPROCESSING 65.23/65.45 c GARBAGE COLLECT 65.23/65.45 c rational objective 77 68.12/68.36 c #Conflicts: 140000 | #Constraints: 9390 68.12/68.36 c #Conflicts: 141000 | #Constraints: 10426 68.12/68.36 c #Conflicts: 142000 | #Constraints: 11459 68.12/68.36 c #Conflicts: 143000 | #Constraints: 12495 68.12/68.36 c #Conflicts: 144000 | #Constraints: 13526 68.12/68.36 c #Conflicts: 145000 | #Constraints: 14560 68.12/68.36 c #Conflicts: 146000 | #Constraints: 15586 68.12/68.36 c #Conflicts: 147000 | #Constraints: 16611 68.12/68.36 c INPROCESSING 68.12/68.36 c GARBAGE COLLECT 68.12/68.36 c rational objective 77 75.01/75.25 c #Conflicts: 148000 | #Constraints: 9772 75.01/75.25 c #Conflicts: 149000 | #Constraints: 10772 75.01/75.25 c #Conflicts: 150000 | #Constraints: 11772 75.01/75.25 c #Conflicts: 151000 | #Constraints: 12772 75.01/75.25 c #Conflicts: 152000 | #Constraints: 13772 75.01/75.25 c #Conflicts: 153000 | #Constraints: 14772 75.01/75.25 c #Conflicts: 154000 | #Constraints: 15772 75.01/75.25 c #Conflicts: 155000 | #Constraints: 16772 75.01/75.25 c INPROCESSING 75.01/75.25 c GARBAGE COLLECT 75.01/75.25 c rational objective 77 78.40/78.65 c #Conflicts: 156000 | #Constraints: 9925 78.40/78.65 c #Conflicts: 157000 | #Constraints: 10959 78.40/78.65 c #Conflicts: 158000 | #Constraints: 11993 78.40/78.65 c #Conflicts: 159000 | #Constraints: 13022 78.40/78.65 c #Conflicts: 160000 | #Constraints: 14053 78.40/78.65 c #Conflicts: 161000 | #Constraints: 15087 78.40/78.65 c #Conflicts: 162000 | #Constraints: 16118 78.40/78.65 c #Conflicts: 163000 | #Constraints: 17141 78.40/78.65 c INPROCESSING 78.40/78.65 c GARBAGE COLLECT 78.40/78.65 c rational objective 77 81.79/82.07 c #Conflicts: 164000 | #Constraints: 9939 81.79/82.07 c #Conflicts: 165000 | #Constraints: 10964 81.79/82.07 c #Conflicts: 166000 | #Constraints: 11998 81.79/82.07 c #Conflicts: 167000 | #Constraints: 13018 81.79/82.07 c #Conflicts: 168000 | #Constraints: 14038 81.79/82.07 c #Conflicts: 169000 | #Constraints: 15065 81.79/82.07 c #Conflicts: 170000 | #Constraints: 16091 81.79/82.07 c #Conflicts: 171000 | #Constraints: 17116 81.79/82.07 c INPROCESSING 81.79/82.07 c GARBAGE COLLECT 81.79/82.07 c rational objective 77 89.58/89.83 c #Conflicts: 172000 | #Constraints: 9730 89.58/89.83 c #Conflicts: 173000 | #Constraints: 10730 89.58/89.83 c #Conflicts: 174000 | #Constraints: 11730 89.58/89.83 c #Conflicts: 175000 | #Constraints: 12730 89.58/89.83 c #Conflicts: 176000 | #Constraints: 13730 89.58/89.83 c #Conflicts: 177000 | #Constraints: 14730 89.58/89.83 c #Conflicts: 178000 | #Constraints: 15730 89.58/89.83 c #Conflicts: 179000 | #Constraints: 16730 89.58/89.83 c #Conflicts: 180000 | #Constraints: 17730 89.58/89.83 c INPROCESSING 89.58/89.83 c GARBAGE COLLECT 89.58/89.83 c rational objective 77 93.06/93.34 c #Conflicts: 181000 | #Constraints: 10298 93.06/93.34 c #Conflicts: 182000 | #Constraints: 11319 93.06/93.34 c bounds 87 >= 77 @ 87.8309 93.06/93.34 c #Conflicts: 183000 | #Constraints: 12376 93.06/93.34 c #Conflicts: 184000 | #Constraints: 13410 93.06/93.34 c #Conflicts: 185000 | #Constraints: 14437 93.06/93.34 c #Conflicts: 186000 | #Constraints: 15464 93.06/93.34 c #Conflicts: 187000 | #Constraints: 16494 93.06/93.34 c #Conflicts: 188000 | #Constraints: 17521 93.06/93.34 c #Conflicts: 189000 | #Constraints: 18541 93.06/93.34 c INPROCESSING 93.06/93.34 c GARBAGE COLLECT 93.06/93.34 c rational objective 77 96.77/97.06 c #Conflicts: 190000 | #Constraints: 10749 96.77/97.06 c #Conflicts: 191000 | #Constraints: 11783 96.77/97.06 c #Conflicts: 192000 | #Constraints: 12817 96.77/97.06 c #Conflicts: 193000 | #Constraints: 13852 96.77/97.06 c #Conflicts: 194000 | #Constraints: 14885 96.77/97.06 c #Conflicts: 195000 | #Constraints: 15910 96.77/97.06 c #Conflicts: 196000 | #Constraints: 16943 96.77/97.06 c #Conflicts: 197000 | #Constraints: 17969 96.77/97.06 c #Conflicts: 198000 | #Constraints: 18996 96.77/97.06 c INPROCESSING 96.77/97.06 c GARBAGE COLLECT 96.77/97.06 c rational objective 77 100.86/101.16 c #Conflicts: 199000 | #Constraints: 10987 100.86/101.16 c #Conflicts: 200000 | #Constraints: 12015 100.86/101.16 c #Conflicts: 201000 | #Constraints: 13047 100.86/101.16 c #Conflicts: 202000 | #Constraints: 14069 100.86/101.16 c #Conflicts: 203000 | #Constraints: 15093 100.86/101.16 c #Conflicts: 204000 | #Constraints: 16121 100.86/101.16 c #Conflicts: 205000 | #Constraints: 17143 100.86/101.16 c #Conflicts: 206000 | #Constraints: 18166 100.86/101.16 c #Conflicts: 207000 | #Constraints: 19189 100.86/101.16 c INPROCESSING 100.86/101.16 c GARBAGE COLLECT 100.86/101.16 c rational objective 77 109.84/110.12 c #Conflicts: 208000 | #Constraints: 10957 109.84/110.12 c #Conflicts: 209000 | #Constraints: 11957 109.84/110.12 c #Conflicts: 210000 | #Constraints: 12957 109.84/110.12 c #Conflicts: 211000 | #Constraints: 13957 109.84/110.12 c #Conflicts: 212000 | #Constraints: 14957 109.84/110.12 c #Conflicts: 213000 | #Constraints: 15957 109.84/110.12 c #Conflicts: 214000 | #Constraints: 16957 109.84/110.12 c #Conflicts: 215000 | #Constraints: 17957 109.84/110.12 c #Conflicts: 216000 | #Constraints: 18957 109.84/110.12 c INPROCESSING 109.84/110.12 c GARBAGE COLLECT 109.84/110.12 c rational objective 77 113.13/113.48 c #Conflicts: 217000 | #Constraints: 10697 113.13/113.48 c #Conflicts: 218000 | #Constraints: 11699 113.13/113.48 c #Conflicts: 219000 | #Constraints: 12735 113.13/113.48 c #Conflicts: 220000 | #Constraints: 13773 113.13/113.48 c #Conflicts: 221000 | #Constraints: 14817 113.13/113.48 c #Conflicts: 222000 | #Constraints: 15852 113.13/113.48 c #Conflicts: 223000 | #Constraints: 16874 113.13/113.48 c #Conflicts: 224000 | #Constraints: 17911 113.13/113.48 c #Conflicts: 225000 | #Constraints: 18938 113.13/113.48 c #Conflicts: 226000 | #Constraints: 19974 113.13/113.48 c INPROCESSING 113.13/113.48 c GARBAGE COLLECT 113.13/113.48 c rational objective 77 118.32/118.67 c #Conflicts: 227000 | #Constraints: 11371 118.32/118.67 c #Conflicts: 228000 | #Constraints: 12427 118.32/118.67 c #Conflicts: 229000 | #Constraints: 13466 118.32/118.67 c #Conflicts: 230000 | #Constraints: 14509 118.32/118.67 c #Conflicts: 231000 | #Constraints: 15546 118.32/118.67 c #Conflicts: 232000 | #Constraints: 16576 118.32/118.67 c #Conflicts: 233000 | #Constraints: 17615 118.32/118.67 c #Conflicts: 234000 | #Constraints: 18654 118.32/118.67 c #Conflicts: 235000 | #Constraints: 19684 118.32/118.67 c #Conflicts: 236000 | #Constraints: 20713 118.32/118.67 c INPROCESSING 118.32/118.67 c GARBAGE COLLECT 118.32/118.67 c rational objective 77 128.49/128.83 c #Conflicts: 237000 | #Constraints: 11817 128.49/128.83 c #Conflicts: 238000 | #Constraints: 12817 128.49/128.83 c #Conflicts: 239000 | #Constraints: 13817 128.49/128.83 c #Conflicts: 240000 | #Constraints: 14817 128.49/128.83 c #Conflicts: 241000 | #Constraints: 15817 128.49/128.83 c #Conflicts: 242000 | #Constraints: 16817 128.49/128.83 c #Conflicts: 243000 | #Constraints: 17817 128.49/128.83 c #Conflicts: 244000 | #Constraints: 18817 128.49/128.83 c #Conflicts: 245000 | #Constraints: 19817 128.49/128.83 c #Conflicts: 246000 | #Constraints: 20817 128.49/128.83 c INPROCESSING 128.49/128.83 c GARBAGE COLLECT 128.49/128.83 c rational objective 77 133.48/133.84 c #Conflicts: 247000 | #Constraints: 11937 133.48/133.84 c #Conflicts: 248000 | #Constraints: 12965 133.48/133.84 c #Conflicts: 249000 | #Constraints: 14001 133.48/133.84 c bounds 86 >= 77 @ 126.644 133.48/133.84 c #Conflicts: 250000 | #Constraints: 15037 133.48/133.84 c #Conflicts: 251000 | #Constraints: 16070 133.48/133.84 c #Conflicts: 252000 | #Constraints: 17094 133.48/133.84 c #Conflicts: 253000 | #Constraints: 18118 133.48/133.84 c #Conflicts: 254000 | #Constraints: 19134 133.48/133.84 c #Conflicts: 255000 | #Constraints: 20161 133.48/133.84 c #Conflicts: 256000 | #Constraints: 21186 133.48/133.84 c INPROCESSING 133.48/133.84 c GARBAGE COLLECT 133.48/133.84 c rational objective 77 138.17/138.53 c #Conflicts: 257000 | #Constraints: 11965 138.17/138.53 c #Conflicts: 258000 | #Constraints: 12994 138.17/138.53 c #Conflicts: 259000 | #Constraints: 14024 138.17/138.53 c #Conflicts: 260000 | #Constraints: 15046 138.17/138.53 c #Conflicts: 261000 | #Constraints: 16079 138.17/138.53 c #Conflicts: 262000 | #Constraints: 17097 138.17/138.53 c #Conflicts: 263000 | #Constraints: 18120 138.17/138.53 c #Conflicts: 264000 | #Constraints: 19150 138.17/138.53 c #Conflicts: 265000 | #Constraints: 20191 138.17/138.53 c #Conflicts: 266000 | #Constraints: 21231 138.17/138.53 c INPROCESSING 138.17/138.53 c GARBAGE COLLECT 138.17/138.53 c rational objective 77 148.95/149.30 c #Conflicts: 267000 | #Constraints: 11794 148.95/149.30 c #Conflicts: 268000 | #Constraints: 12794 148.95/149.30 c #Conflicts: 269000 | #Constraints: 13794 148.95/149.30 c #Conflicts: 270000 | #Constraints: 14794 148.95/149.30 c #Conflicts: 271000 | #Constraints: 15794 148.95/149.30 c #Conflicts: 272000 | #Constraints: 16794 148.95/149.30 c #Conflicts: 273000 | #Constraints: 17794 148.95/149.30 c #Conflicts: 274000 | #Constraints: 18794 148.95/149.30 c #Conflicts: 275000 | #Constraints: 19794 148.95/149.30 c #Conflicts: 276000 | #Constraints: 20794 148.95/149.30 c bounds 86 >= 78 @ 145.179 148.95/149.30 c #Conflicts: 277000 | #Constraints: 21879 148.95/149.30 c INPROCESSING 148.95/149.30 c GARBAGE COLLECT 148.95/149.30 c rational objective 78 154.34/154.73 c #Conflicts: 278000 | #Constraints: 12344 154.34/154.73 c #Conflicts: 279000 | #Constraints: 13373 154.34/154.73 c #Conflicts: 280000 | #Constraints: 14400 154.34/154.73 c #Conflicts: 281000 | #Constraints: 15433 154.34/154.73 c #Conflicts: 282000 | #Constraints: 16457 154.34/154.73 c #Conflicts: 283000 | #Constraints: 17488 154.34/154.73 c #Conflicts: 284000 | #Constraints: 18514 154.34/154.73 c #Conflicts: 285000 | #Constraints: 19537 154.34/154.73 c #Conflicts: 286000 | #Constraints: 20562 154.34/154.73 c #Conflicts: 287000 | #Constraints: 21583 154.34/154.73 c #Conflicts: 288000 | #Constraints: 22610 154.34/154.73 c INPROCESSING 154.34/154.73 c GARBAGE COLLECT 154.34/154.73 c rational objective 78 159.32/159.75 c #Conflicts: 289000 | #Constraints: 12816 159.32/159.75 c #Conflicts: 290000 | #Constraints: 13850 159.32/159.75 c #Conflicts: 291000 | #Constraints: 14887 159.32/159.75 c #Conflicts: 292000 | #Constraints: 15921 159.32/159.75 c #Conflicts: 293000 | #Constraints: 16952 159.32/159.75 c #Conflicts: 294000 | #Constraints: 17985 159.32/159.75 c #Conflicts: 295000 | #Constraints: 19021 159.32/159.75 c #Conflicts: 296000 | #Constraints: 20051 159.32/159.75 c #Conflicts: 297000 | #Constraints: 21070 159.32/159.75 c #Conflicts: 298000 | #Constraints: 22090 159.32/159.75 c #Conflicts: 299000 | #Constraints: 23121 159.32/159.75 c INPROCESSING 159.32/159.75 c GARBAGE COLLECT 159.32/159.75 c rational objective 78 171.50/171.90 c #Conflicts: 300000 | #Constraints: 13063 171.50/171.90 c #Conflicts: 301000 | #Constraints: 14063 171.50/171.90 c #Conflicts: 302000 | #Constraints: 15063 171.50/171.90 c #Conflicts: 303000 | #Constraints: 16063 171.50/171.90 c #Conflicts: 304000 | #Constraints: 17063 171.50/171.90 c #Conflicts: 305000 | #Constraints: 18063 171.50/171.90 c #Conflicts: 306000 | #Constraints: 19063 171.50/171.90 c #Conflicts: 307000 | #Constraints: 20063 171.50/171.90 c #Conflicts: 308000 | #Constraints: 21063 171.50/171.90 c #Conflicts: 309000 | #Constraints: 22063 171.50/171.90 c #Conflicts: 310000 | #Constraints: 23063 171.50/171.90 c INPROCESSING 171.50/171.90 c GARBAGE COLLECT 171.50/171.90 c rational objective 78 176.60/177.07 c #Conflicts: 311000 | #Constraints: 13024 176.60/177.07 c #Conflicts: 312000 | #Constraints: 14064 176.60/177.07 c #Conflicts: 313000 | #Constraints: 15102 176.60/177.07 c #Conflicts: 314000 | #Constraints: 16133 176.60/177.07 c #Conflicts: 315000 | #Constraints: 17175 176.60/177.07 c #Conflicts: 316000 | #Constraints: 18197 176.60/177.07 c #Conflicts: 317000 | #Constraints: 19233 176.60/177.07 c #Conflicts: 318000 | #Constraints: 20266 176.60/177.07 c #Conflicts: 319000 | #Constraints: 21298 176.60/177.07 c bounds 85 >= 78 @ 171.538 176.60/177.07 c #Conflicts: 320000 | #Constraints: 22335 176.60/177.07 c #Conflicts: 321000 | #Constraints: 23375 176.60/177.07 c INPROCESSING 176.60/177.07 c GARBAGE COLLECT 176.60/177.07 c rational objective 78 182.58/183.01 c #Conflicts: 322000 | #Constraints: 12909 182.58/183.01 c #Conflicts: 323000 | #Constraints: 13937 182.58/183.01 c #Conflicts: 324000 | #Constraints: 14964 182.58/183.01 c #Conflicts: 325000 | #Constraints: 15988 182.58/183.01 c #Conflicts: 326000 | #Constraints: 17012 182.58/183.01 c #Conflicts: 327000 | #Constraints: 18031 182.58/183.01 c #Conflicts: 328000 | #Constraints: 19060 182.58/183.01 c #Conflicts: 329000 | #Constraints: 20085 182.58/183.01 c #Conflicts: 330000 | #Constraints: 21104 182.58/183.01 c #Conflicts: 331000 | #Constraints: 22134 182.58/183.01 c #Conflicts: 332000 | #Constraints: 23160 182.58/183.01 c #Conflicts: 333000 | #Constraints: 24182 182.58/183.01 c INPROCESSING 182.58/183.01 c GARBAGE COLLECT 182.58/183.01 c rational objective 78 197.66/198.16 c #Conflicts: 334000 | #Constraints: 13501 197.66/198.16 c #Conflicts: 335000 | #Constraints: 14501 197.66/198.16 c #Conflicts: 336000 | #Constraints: 15501 197.66/198.16 c #Conflicts: 337000 | #Constraints: 16501 197.66/198.16 c #Conflicts: 338000 | #Constraints: 17501 197.66/198.16 c #Conflicts: 339000 | #Constraints: 18501 197.66/198.16 c #Conflicts: 340000 | #Constraints: 19501 197.66/198.16 c #Conflicts: 341000 | #Constraints: 20501 197.66/198.16 c #Conflicts: 342000 | #Constraints: 21501 197.66/198.16 c #Conflicts: 343000 | #Constraints: 22501 197.66/198.16 c #Conflicts: 344000 | #Constraints: 23501 197.66/198.16 c #Conflicts: 345000 | #Constraints: 24501 197.66/198.16 c INPROCESSING 197.66/198.16 c GARBAGE COLLECT 197.66/198.16 c rational objective 78 304.59/305.34 c #Conflicts: 346000 | #Constraints: 13843 304.59/305.34 c #Conflicts: 347000 | #Constraints: 14881 304.59/305.34 c #Conflicts: 348000 | #Constraints: 15924 304.59/305.34 c #Conflicts: 349000 | #Constraints: 16959 304.59/305.34 c #Conflicts: 350000 | #Constraints: 17988 304.59/305.34 c #Conflicts: 351000 | #Constraints: 19015 304.59/305.34 c #Conflicts: 352000 | #Constraints: 20040 304.59/305.34 c #Conflicts: 353000 | #Constraints: 21072 304.59/305.34 c #Conflicts: 354000 | #Constraints: 22103 304.59/305.34 c #Conflicts: 355000 | #Constraints: 23131 304.59/305.34 c #Conflicts: 356000 | #Constraints: 24154 304.59/305.34 c #Conflicts: 357000 | #Constraints: 25177 304.59/305.34 c #Conflicts: 358000 | #Constraints: 26208 304.59/305.34 c #Conflicts: 359000 | #Constraints: 27249 304.59/305.34 c #Conflicts: 360000 | #Constraints: 28277 304.59/305.34 c #Conflicts: 361000 | #Constraints: 29310 304.59/305.34 c #Conflicts: 362000 | #Constraints: 30336 304.59/305.34 c #Conflicts: 363000 | #Constraints: 31365 304.59/305.34 c #Conflicts: 364000 | #Constraints: 32396 304.59/305.34 c #Conflicts: 365000 | #Constraints: 33421 304.59/305.34 c #Conflicts: 366000 | #Constraints: 34448 304.59/305.34 c #Conflicts: 367000 | #Constraints: 35472 304.59/305.34 c #Conflicts: 368000 | #Constraints: 36504 304.59/305.34 c #Conflicts: 369000 | #Constraints: 37531 304.59/305.34 c #Conflicts: 370000 | #Constraints: 38557 304.59/305.34 c #Conflicts: 371000 | #Constraints: 39587 304.59/305.34 c #Conflicts: 372000 | #Constraints: 40613 304.59/305.34 c #Conflicts: 373000 | #Constraints: 41649 304.59/305.34 c #Conflicts: 374000 | #Constraints: 42682 304.59/305.34 c #Conflicts: 375000 | #Constraints: 43708 304.59/305.34 c #Conflicts: 376000 | #Constraints: 44736 304.59/305.34 c #Conflicts: 377000 | #Constraints: 45761 304.59/305.34 c #Conflicts: 378000 | #Constraints: 46791 304.59/305.34 c #Conflicts: 379000 | #Constraints: 47817 304.59/305.34 c #Conflicts: 380000 | #Constraints: 48838 304.59/305.34 c #Conflicts: 381000 | #Constraints: 49866 304.59/305.34 c #Conflicts: 382000 | #Constraints: 50885 304.59/305.34 c #Conflicts: 383000 | #Constraints: 51908 304.59/305.34 c #Conflicts: 384000 | #Constraints: 52934 304.59/305.34 c #Conflicts: 385000 | #Constraints: 53958 304.59/305.34 c #Conflicts: 386000 | #Constraints: 54984 304.59/305.34 c #Conflicts: 387000 | #Constraints: 56006 304.59/305.34 c #Conflicts: 388000 | #Constraints: 57025 304.59/305.34 c #Conflicts: 389000 | #Constraints: 58057 304.59/305.34 c #Conflicts: 390000 | #Constraints: 59082 304.59/305.34 c #Conflicts: 391000 | #Constraints: 60104 304.59/305.34 c #Conflicts: 392000 | #Constraints: 61135 304.59/305.34 c #Conflicts: 393000 | #Constraints: 62167 304.59/305.34 c #Conflicts: 394000 | #Constraints: 63197 304.59/305.34 c #Conflicts: 395000 | #Constraints: 64226 304.59/305.34 c #Conflicts: 396000 | #Constraints: 65253 304.59/305.34 c #Conflicts: 397000 | #Constraints: 66277 304.59/305.34 c #Conflicts: 398000 | #Constraints: 67309 304.59/305.34 c #Conflicts: 399000 | #Constraints: 68331 304.59/305.34 c #Conflicts: 400000 | #Constraints: 69357 304.59/305.34 c #Conflicts: 401000 | #Constraints: 70383 304.59/305.34 c #Conflicts: 402000 | #Constraints: 71408 304.59/305.34 c INPROCESSING 304.59/305.34 c GARBAGE COLLECT 304.59/305.34 c rational objective 78 336.71/337.57 c #Conflicts: 403000 | #Constraints: 36769 336.71/337.57 c #Conflicts: 404000 | #Constraints: 37769 336.71/337.57 c #Conflicts: 405000 | #Constraints: 38769 336.71/337.57 c #Conflicts: 406000 | #Constraints: 39769 336.71/337.57 c #Conflicts: 407000 | #Constraints: 40769 336.71/337.57 c #Conflicts: 408000 | #Constraints: 41769 336.71/337.57 c #Conflicts: 409000 | #Constraints: 42769 336.71/337.57 c #Conflicts: 410000 | #Constraints: 43769 336.71/337.57 c #Conflicts: 411000 | #Constraints: 44769 336.71/337.57 c #Conflicts: 412000 | #Constraints: 45769 336.71/337.57 c #Conflicts: 413000 | #Constraints: 46769 336.71/337.57 c #Conflicts: 414000 | #Constraints: 47769 336.71/337.57 c #Conflicts: 415000 | #Constraints: 48769 336.71/337.57 c #Conflicts: 416000 | #Constraints: 49769 336.71/337.57 c INPROCESSING 336.71/337.57 c GARBAGE COLLECT 336.71/337.57 c rational objective 78 371.93/372.89 c #Conflicts: 417000 | #Constraints: 26468 371.93/372.89 c #Conflicts: 418000 | #Constraints: 27468 371.93/372.89 c #Conflicts: 419000 | #Constraints: 28468 371.93/372.89 c #Conflicts: 420000 | #Constraints: 29468 371.93/372.89 c #Conflicts: 421000 | #Constraints: 30468 371.93/372.89 c #Conflicts: 422000 | #Constraints: 31468 371.93/372.89 c #Conflicts: 423000 | #Constraints: 32468 371.93/372.89 c #Conflicts: 424000 | #Constraints: 33468 371.93/372.89 c #Conflicts: 425000 | #Constraints: 34468 371.93/372.89 c bounds 85 >= 79 @ 357.003 371.93/372.89 c #Conflicts: 426000 | #Constraints: 35525 371.93/372.89 c #Conflicts: 427000 | #Constraints: 36525 371.93/372.89 c #Conflicts: 428000 | #Constraints: 37525 371.93/372.89 c #Conflicts: 429000 | #Constraints: 38525 371.93/372.89 c INPROCESSING 371.93/372.89 c GARBAGE COLLECT 371.93/372.89 c rational objective 79 396.18/397.15 c #Conflicts: 430000 | #Constraints: 20708 396.18/397.15 c #Conflicts: 431000 | #Constraints: 21708 396.18/397.15 c #Conflicts: 432000 | #Constraints: 22708 396.18/397.15 c #Conflicts: 433000 | #Constraints: 23708 396.18/397.15 c #Conflicts: 434000 | #Constraints: 24708 396.18/397.15 c #Conflicts: 435000 | #Constraints: 25708 396.18/397.15 c #Conflicts: 436000 | #Constraints: 26708 396.18/397.15 c #Conflicts: 437000 | #Constraints: 27708 396.18/397.15 c #Conflicts: 438000 | #Constraints: 28708 396.18/397.15 c #Conflicts: 439000 | #Constraints: 29708 396.18/397.15 c #Conflicts: 440000 | #Constraints: 30708 396.18/397.15 c #Conflicts: 441000 | #Constraints: 31708 396.18/397.15 c #Conflicts: 442000 | #Constraints: 32708 396.18/397.15 c INPROCESSING 396.18/397.15 c GARBAGE COLLECT 396.18/397.15 c rational objective 79 405.86/406.89 c #Conflicts: 443000 | #Constraints: 17554 405.86/406.89 c #Conflicts: 444000 | #Constraints: 18566 405.86/406.89 c #Conflicts: 445000 | #Constraints: 19605 405.86/406.89 c #Conflicts: 446000 | #Constraints: 20637 405.86/406.89 c #Conflicts: 447000 | #Constraints: 21663 405.86/406.89 c #Conflicts: 448000 | #Constraints: 22697 405.86/406.89 c #Conflicts: 449000 | #Constraints: 23729 405.86/406.89 c #Conflicts: 450000 | #Constraints: 24764 405.86/406.89 c #Conflicts: 451000 | #Constraints: 25800 405.86/406.89 c #Conflicts: 452000 | #Constraints: 26825 405.86/406.89 c #Conflicts: 453000 | #Constraints: 27853 405.86/406.89 c #Conflicts: 454000 | #Constraints: 28877 405.86/406.89 c #Conflicts: 455000 | #Constraints: 29906 405.86/406.89 c #Conflicts: 456000 | #Constraints: 30928 405.86/406.89 c INPROCESSING 405.86/406.89 c GARBAGE COLLECT 405.86/406.89 c rational objective 79 624.00/625.55 c #Conflicts: 457000 | #Constraints: 16767 624.00/625.55 c #Conflicts: 458000 | #Constraints: 17767 624.00/625.55 c #Conflicts: 459000 | #Constraints: 18767 624.00/625.55 c #Conflicts: 460000 | #Constraints: 19767 624.00/625.55 c #Conflicts: 461000 | #Constraints: 20767 624.00/625.55 c #Conflicts: 462000 | #Constraints: 21767 624.00/625.55 c #Conflicts: 463000 | #Constraints: 22767 624.00/625.55 c #Conflicts: 464000 | #Constraints: 23767 624.00/625.55 c #Conflicts: 465000 | #Constraints: 24767 624.00/625.55 c #Conflicts: 466000 | #Constraints: 25767 624.00/625.55 c #Conflicts: 467000 | #Constraints: 26767 624.00/625.55 c #Conflicts: 468000 | #Constraints: 27767 624.00/625.55 c #Conflicts: 469000 | #Constraints: 28767 624.00/625.55 c #Conflicts: 470000 | #Constraints: 29767 624.00/625.55 c #Conflicts: 471000 | #Constraints: 30767 624.00/625.55 c #Conflicts: 472000 | #Constraints: 31767 624.00/625.55 c #Conflicts: 473000 | #Constraints: 32767 624.00/625.55 c #Conflicts: 474000 | #Constraints: 33767 624.00/625.55 c #Conflicts: 475000 | #Constraints: 34767 624.00/625.55 c #Conflicts: 476000 | #Constraints: 35767 624.00/625.55 c #Conflicts: 477000 | #Constraints: 36767 624.00/625.55 c #Conflicts: 478000 | #Constraints: 37767 624.00/625.55 c #Conflicts: 479000 | #Constraints: 38767 624.00/625.55 c #Conflicts: 480000 | #Constraints: 39767 624.00/625.55 c #Conflicts: 481000 | #Constraints: 40767 624.00/625.55 c #Conflicts: 482000 | #Constraints: 41767 624.00/625.55 c #Conflicts: 483000 | #Constraints: 42767 624.00/625.55 c #Conflicts: 484000 | #Constraints: 43767 624.00/625.55 c #Conflicts: 485000 | #Constraints: 44767 624.00/625.55 c #Conflicts: 486000 | #Constraints: 45767 624.00/625.55 c #Conflicts: 487000 | #Constraints: 46767 624.00/625.55 c #Conflicts: 488000 | #Constraints: 47767 624.00/625.55 c #Conflicts: 489000 | #Constraints: 48767 624.00/625.55 c #Conflicts: 490000 | #Constraints: 49767 624.00/625.55 c #Conflicts: 491000 | #Constraints: 50767 624.00/625.55 c #Conflicts: 492000 | #Constraints: 51767 624.00/625.55 c #Conflicts: 493000 | #Constraints: 52767 624.00/625.55 c #Conflicts: 494000 | #Constraints: 53767 624.00/625.55 c #Conflicts: 495000 | #Constraints: 54767 624.00/625.55 c #Conflicts: 496000 | #Constraints: 55767 624.00/625.55 c #Conflicts: 497000 | #Constraints: 56767 624.00/625.55 c #Conflicts: 498000 | #Constraints: 57767 624.00/625.55 c #Conflicts: 499000 | #Constraints: 58767 624.00/625.55 c #Conflicts: 500000 | #Constraints: 59767 624.00/625.55 c #Conflicts: 501000 | #Constraints: 60767 624.00/625.55 c #Conflicts: 502000 | #Constraints: 61767 624.00/625.55 c #Conflicts: 503000 | #Constraints: 62767 624.00/625.55 c #Conflicts: 504000 | #Constraints: 63767 624.00/625.55 c #Conflicts: 505000 | #Constraints: 64767 624.00/625.55 c #Conflicts: 506000 | #Constraints: 65767 624.00/625.55 c #Conflicts: 507000 | #Constraints: 66767 624.00/625.55 c #Conflicts: 508000 | #Constraints: 67767 624.00/625.55 c #Conflicts: 509000 | #Constraints: 68767 624.00/625.55 c #Conflicts: 510000 | #Constraints: 69767 624.00/625.55 c #Conflicts: 511000 | #Constraints: 70767 624.00/625.55 c #Conflicts: 512000 | #Constraints: 71767 624.00/625.55 c #Conflicts: 513000 | #Constraints: 72767 624.00/625.55 c #Conflicts: 514000 | #Constraints: 73767 624.00/625.55 c #Conflicts: 515000 | #Constraints: 74767 624.00/625.55 c #Conflicts: 516000 | #Constraints: 75767 624.00/625.55 c #Conflicts: 517000 | #Constraints: 76767 624.00/625.55 c #Conflicts: 518000 | #Constraints: 77767 624.00/625.55 c #Conflicts: 519000 | #Constraints: 78767 624.00/625.55 c #Conflicts: 520000 | #Constraints: 79767 624.00/625.55 c INPROCESSING 624.00/625.55 c GARBAGE COLLECT 624.00/625.55 c rational objective 79 638.56/640.11 c #Conflicts: 521000 | #Constraints: 41104 638.56/640.11 c #Conflicts: 522000 | #Constraints: 42120 638.56/640.11 c #Conflicts: 523000 | #Constraints: 43152 638.56/640.11 c #Conflicts: 524000 | #Constraints: 44188 638.56/640.11 c #Conflicts: 525000 | #Constraints: 45209 638.56/640.11 c #Conflicts: 526000 | #Constraints: 46233 638.56/640.11 c #Conflicts: 527000 | #Constraints: 47262 638.56/640.11 c #Conflicts: 528000 | #Constraints: 48291 638.56/640.11 c #Conflicts: 529000 | #Constraints: 49314 638.56/640.11 c #Conflicts: 530000 | #Constraints: 50348 638.56/640.11 c #Conflicts: 531000 | #Constraints: 51375 638.56/640.11 c #Conflicts: 532000 | #Constraints: 52397 638.56/640.11 c #Conflicts: 533000 | #Constraints: 53424 638.56/640.11 c #Conflicts: 534000 | #Constraints: 54450 638.56/640.11 c #Conflicts: 535000 | #Constraints: 55484 638.56/640.11 c INPROCESSING 638.56/640.11 c GARBAGE COLLECT 638.56/640.11 c rational objective 79 649.92/651.50 c #Conflicts: 536000 | #Constraints: 28889 649.92/651.50 c #Conflicts: 537000 | #Constraints: 29912 649.92/651.50 c #Conflicts: 538000 | #Constraints: 30942 649.92/651.50 c #Conflicts: 539000 | #Constraints: 31973 649.92/651.50 c #Conflicts: 540000 | #Constraints: 32998 649.92/651.50 c #Conflicts: 541000 | #Constraints: 34029 649.92/651.50 c #Conflicts: 542000 | #Constraints: 35053 649.92/651.50 c #Conflicts: 543000 | #Constraints: 36079 649.92/651.50 c #Conflicts: 544000 | #Constraints: 37098 649.92/651.50 c #Conflicts: 545000 | #Constraints: 38122 649.92/651.50 c #Conflicts: 546000 | #Constraints: 39144 649.92/651.50 c #Conflicts: 547000 | #Constraints: 40170 649.92/651.50 c #Conflicts: 548000 | #Constraints: 41212 649.92/651.50 c #Conflicts: 549000 | #Constraints: 42240 649.92/651.50 c #Conflicts: 550000 | #Constraints: 43266 649.92/651.50 c #Conflicts: 551000 | #Constraints: 44291 649.92/651.50 c INPROCESSING 649.92/651.50 c GARBAGE COLLECT 649.92/651.50 c rational objective 79 664.57/666.29 c #Conflicts: 552000 | #Constraints: 23698 664.57/666.29 c #Conflicts: 553000 | #Constraints: 24732 664.57/666.29 c #Conflicts: 554000 | #Constraints: 25760 664.57/666.29 c #Conflicts: 555000 | #Constraints: 26786 664.57/666.29 c #Conflicts: 556000 | #Constraints: 27817 664.57/666.29 c #Conflicts: 557000 | #Constraints: 28840 664.57/666.29 c #Conflicts: 558000 | #Constraints: 29861 664.57/666.29 c #Conflicts: 559000 | #Constraints: 30888 664.57/666.29 c #Conflicts: 560000 | #Constraints: 31919 664.57/666.29 c #Conflicts: 561000 | #Constraints: 32941 664.57/666.29 c #Conflicts: 562000 | #Constraints: 33963 664.57/666.29 c #Conflicts: 563000 | #Constraints: 34991 664.57/666.29 c #Conflicts: 564000 | #Constraints: 36026 664.57/666.29 c #Conflicts: 565000 | #Constraints: 37056 664.57/666.29 c #Conflicts: 566000 | #Constraints: 38080 664.57/666.29 c INPROCESSING 664.57/666.29 c GARBAGE COLLECT 664.57/666.29 c rational objective 79 808.58/810.66 c #Conflicts: 567000 | #Constraints: 20391 808.58/810.66 c #Conflicts: 568000 | #Constraints: 21421 808.58/810.66 c #Conflicts: 569000 | #Constraints: 22454 808.58/810.66 c #Conflicts: 570000 | #Constraints: 23483 808.58/810.66 c #Conflicts: 571000 | #Constraints: 24516 808.58/810.66 c #Conflicts: 572000 | #Constraints: 25546 808.58/810.66 c #Conflicts: 573000 | #Constraints: 26575 808.58/810.66 c #Conflicts: 574000 | #Constraints: 27605 808.58/810.66 c #Conflicts: 575000 | #Constraints: 28631 808.58/810.66 c #Conflicts: 576000 | #Constraints: 29660 808.58/810.66 c #Conflicts: 577000 | #Constraints: 30684 808.58/810.66 c #Conflicts: 578000 | #Constraints: 31705 808.58/810.66 c #Conflicts: 579000 | #Constraints: 32731 808.58/810.66 c #Conflicts: 580000 | #Constraints: 33757 808.58/810.66 c #Conflicts: 581000 | #Constraints: 34778 808.58/810.66 c #Conflicts: 582000 | #Constraints: 35800 808.58/810.66 c #Conflicts: 583000 | #Constraints: 36827 808.58/810.66 c #Conflicts: 584000 | #Constraints: 37854 808.58/810.66 c #Conflicts: 585000 | #Constraints: 38875 808.58/810.66 c #Conflicts: 586000 | #Constraints: 39898 808.58/810.66 c #Conflicts: 587000 | #Constraints: 40924 808.58/810.66 c #Conflicts: 588000 | #Constraints: 41958 808.58/810.66 c #Conflicts: 589000 | #Constraints: 42974 808.58/810.66 c #Conflicts: 590000 | #Constraints: 43996 808.58/810.66 c #Conflicts: 591000 | #Constraints: 45023 808.58/810.66 c #Conflicts: 592000 | #Constraints: 46049 808.58/810.66 c #Conflicts: 593000 | #Constraints: 47075 808.58/810.66 c #Conflicts: 594000 | #Constraints: 48105 808.58/810.66 c #Conflicts: 595000 | #Constraints: 49130 808.58/810.66 c #Conflicts: 596000 | #Constraints: 50154 808.58/810.66 c #Conflicts: 597000 | #Constraints: 51194 808.58/810.66 c #Conflicts: 598000 | #Constraints: 52225 808.58/810.66 c #Conflicts: 599000 | #Constraints: 53254 808.58/810.66 c #Conflicts: 600000 | #Constraints: 54285 808.58/810.66 c #Conflicts: 601000 | #Constraints: 55314 808.58/810.66 c #Conflicts: 602000 | #Constraints: 56343 808.58/810.66 c #Conflicts: 603000 | #Constraints: 57372 808.58/810.66 c #Conflicts: 604000 | #Constraints: 58401 808.58/810.66 c #Conflicts: 605000 | #Constraints: 59433 808.58/810.66 c #Conflicts: 606000 | #Constraints: 60461 808.58/810.66 c #Conflicts: 607000 | #Constraints: 61492 808.58/810.66 c #Conflicts: 608000 | #Constraints: 62523 808.58/810.66 c #Conflicts: 609000 | #Constraints: 63551 808.58/810.66 c #Conflicts: 610000 | #Constraints: 64579 808.58/810.66 c #Conflicts: 611000 | #Constraints: 65607 808.58/810.66 c #Conflicts: 612000 | #Constraints: 66630 808.58/810.66 c #Conflicts: 613000 | #Constraints: 67652 808.58/810.66 c #Conflicts: 614000 | #Constraints: 68688 808.58/810.66 c #Conflicts: 615000 | #Constraints: 69719 808.58/810.66 c #Conflicts: 616000 | #Constraints: 70739 808.58/810.66 c #Conflicts: 617000 | #Constraints: 71762 808.58/810.66 c #Conflicts: 618000 | #Constraints: 72787 808.58/810.66 c #Conflicts: 619000 | #Constraints: 73806 808.58/810.66 c #Conflicts: 620000 | #Constraints: 74829 808.58/810.66 c #Conflicts: 621000 | #Constraints: 75856 808.58/810.66 c #Conflicts: 622000 | #Constraints: 76887 808.58/810.66 c #Conflicts: 623000 | #Constraints: 77919 808.58/810.66 c #Conflicts: 624000 | #Constraints: 78938 808.58/810.66 c #Conflicts: 625000 | #Constraints: 79966 808.58/810.66 c #Conflicts: 626000 | #Constraints: 80995 808.58/810.66 c #Conflicts: 627000 | #Constraints: 82018 808.58/810.66 c #Conflicts: 628000 | #Constraints: 83043 808.58/810.66 c #Conflicts: 629000 | #Constraints: 84067 808.58/810.66 c #Conflicts: 630000 | #Constraints: 85090 808.58/810.66 c #Conflicts: 631000 | #Constraints: 86113 808.58/810.66 c #Conflicts: 632000 | #Constraints: 87144 808.58/810.66 c #Conflicts: 633000 | #Constraints: 88177 808.58/810.66 c #Conflicts: 634000 | #Constraints: 89207 808.58/810.66 c #Conflicts: 635000 | #Constraints: 90229 808.58/810.66 c #Conflicts: 636000 | #Constraints: 91246 808.58/810.66 c INPROCESSING 808.58/810.66 c GARBAGE COLLECT 808.58/810.66 c rational objective 79 844.58/846.70 c #Conflicts: 637000 | #Constraints: 47177 844.58/846.70 c #Conflicts: 638000 | #Constraints: 48197 844.58/846.70 c #Conflicts: 639000 | #Constraints: 49217 844.58/846.70 c #Conflicts: 640000 | #Constraints: 50243 844.58/846.70 c #Conflicts: 641000 | #Constraints: 51271 844.58/846.70 c #Conflicts: 642000 | #Constraints: 52296 844.58/846.70 c #Conflicts: 643000 | #Constraints: 53312 844.58/846.70 c #Conflicts: 644000 | #Constraints: 54332 844.58/846.70 c #Conflicts: 645000 | #Constraints: 55357 844.58/846.70 c #Conflicts: 646000 | #Constraints: 56376 844.58/846.70 c #Conflicts: 647000 | #Constraints: 57395 844.58/846.70 c #Conflicts: 648000 | #Constraints: 58413 844.58/846.70 c #Conflicts: 649000 | #Constraints: 59438 844.58/846.70 c #Conflicts: 650000 | #Constraints: 60456 844.58/846.70 c #Conflicts: 651000 | #Constraints: 61480 844.58/846.70 c #Conflicts: 652000 | #Constraints: 62505 844.58/846.70 c INPROCESSING 844.58/846.70 c GARBAGE COLLECT 844.58/846.70 c rational objective 79 883.58/885.80 c #Conflicts: 653000 | #Constraints: 32449 883.58/885.80 c #Conflicts: 654000 | #Constraints: 33449 883.58/885.80 c #Conflicts: 655000 | #Constraints: 34449 883.58/885.80 c #Conflicts: 656000 | #Constraints: 35449 883.58/885.80 c #Conflicts: 657000 | #Constraints: 36449 883.58/885.80 c #Conflicts: 658000 | #Constraints: 37449 883.58/885.80 c #Conflicts: 659000 | #Constraints: 38449 883.58/885.80 c #Conflicts: 660000 | #Constraints: 39449 883.58/885.80 c #Conflicts: 661000 | #Constraints: 40449 883.58/885.80 c #Conflicts: 662000 | #Constraints: 41449 883.58/885.80 c #Conflicts: 663000 | #Constraints: 42449 883.58/885.80 c #Conflicts: 664000 | #Constraints: 43449 883.58/885.80 c #Conflicts: 665000 | #Constraints: 44449 883.58/885.80 c #Conflicts: 666000 | #Constraints: 45449 883.58/885.80 c #Conflicts: 667000 | #Constraints: 46449 883.58/885.80 c #Conflicts: 668000 | #Constraints: 47450 883.58/885.80 c #Conflicts: 669000 | #Constraints: 48450 883.58/885.80 c INPROCESSING 883.58/885.80 c GARBAGE COLLECT 883.58/885.80 c rational objective 79 900.13/902.49 c #Conflicts: 670000 | #Constraints: 25525 900.13/902.49 c #Conflicts: 671000 | #Constraints: 26547 900.13/902.49 c #Conflicts: 672000 | #Constraints: 27589 900.13/902.49 c #Conflicts: 673000 | #Constraints: 28621 900.13/902.49 c #Conflicts: 674000 | #Constraints: 29661 900.13/902.49 c #Conflicts: 675000 | #Constraints: 30698 900.13/902.49 c #Conflicts: 676000 | #Constraints: 31732 900.13/902.49 c #Conflicts: 677000 | #Constraints: 32764 900.13/902.49 c #Conflicts: 678000 | #Constraints: 33792 900.13/902.49 c #Conflicts: 679000 | #Constraints: 34815 900.13/902.49 c #Conflicts: 680000 | #Constraints: 35842 900.13/902.49 c #Conflicts: 681000 | #Constraints: 36865 900.13/902.49 c #Conflicts: 682000 | #Constraints: 37888 900.13/902.49 c #Conflicts: 683000 | #Constraints: 38912 900.13/902.49 c #Conflicts: 684000 | #Constraints: 39935 900.13/902.49 c #Conflicts: 685000 | #Constraints: 40961 900.13/902.49 c #Conflicts: 686000 | #Constraints: 41990 900.13/902.49 c INPROCESSING 900.13/902.49 c GARBAGE COLLECT 900.13/902.49 c rational objective 79 914.49/916.89 c #Conflicts: 687000 | #Constraints: 22199 914.49/916.89 c #Conflicts: 688000 | #Constraints: 23233 914.49/916.89 c #Conflicts: 689000 | #Constraints: 24261 914.49/916.89 c #Conflicts: 690000 | #Constraints: 25292 914.49/916.89 c #Conflicts: 691000 | #Constraints: 26318 914.49/916.89 c #Conflicts: 692000 | #Constraints: 27350 914.49/916.89 c #Conflicts: 693000 | #Constraints: 28380 914.49/916.89 c #Conflicts: 694000 | #Constraints: 29403 914.49/916.89 c #Conflicts: 695000 | #Constraints: 30429 914.49/916.89 c #Conflicts: 696000 | #Constraints: 31464 914.49/916.89 c #Conflicts: 697000 | #Constraints: 32497 914.49/916.89 c #Conflicts: 698000 | #Constraints: 33521 914.49/916.89 c #Conflicts: 699000 | #Constraints: 34557 914.49/916.89 c #Conflicts: 700000 | #Constraints: 35591 914.49/916.89 c #Conflicts: 701000 | #Constraints: 36611 914.49/916.89 c #Conflicts: 702000 | #Constraints: 37644 914.49/916.89 c #Conflicts: 703000 | #Constraints: 38678 914.49/916.89 c #Conflicts: 704000 | #Constraints: 39705 914.49/916.89 c INPROCESSING 914.49/916.89 c GARBAGE COLLECT 914.49/916.89 c rational objective 79 1253.08/1256.39 c #Conflicts: 705000 | #Constraints: 21395 1253.08/1256.39 c #Conflicts: 706000 | #Constraints: 22395 1253.08/1256.39 c #Conflicts: 707000 | #Constraints: 23395 1253.08/1256.39 c #Conflicts: 708000 | #Constraints: 24395 1253.08/1256.39 c #Conflicts: 709000 | #Constraints: 25395 1253.08/1256.39 c #Conflicts: 710000 | #Constraints: 26395 1253.08/1256.39 c #Conflicts: 711000 | #Constraints: 27395 1253.08/1256.39 c #Conflicts: 712000 | #Constraints: 28395 1253.08/1256.39 c #Conflicts: 713000 | #Constraints: 29395 1253.08/1256.39 c #Conflicts: 714000 | #Constraints: 30395 1253.08/1256.39 c #Conflicts: 715000 | #Constraints: 31395 1253.08/1256.39 c #Conflicts: 716000 | #Constraints: 32395 1253.08/1256.39 c #Conflicts: 717000 | #Constraints: 33395 1253.08/1256.39 c #Conflicts: 718000 | #Constraints: 34395 1253.08/1256.39 c #Conflicts: 719000 | #Constraints: 35395 1253.08/1256.39 c #Conflicts: 720000 | #Constraints: 36395 1253.08/1256.39 c #Conflicts: 721000 | #Constraints: 37395 1253.08/1256.39 c #Conflicts: 722000 | #Constraints: 38395 1253.08/1256.39 c #Conflicts: 723000 | #Constraints: 39395 1253.08/1256.39 c #Conflicts: 724000 | #Constraints: 40395 1253.08/1256.39 c #Conflicts: 725000 | #Constraints: 41395 1253.08/1256.39 c #Conflicts: 726000 | #Constraints: 42395 1253.08/1256.39 c #Conflicts: 727000 | #Constraints: 43395 1253.08/1256.39 c #Conflicts: 728000 | #Constraints: 44395 1253.08/1256.39 c #Conflicts: 729000 | #Constraints: 45395 1253.08/1256.39 c #Conflicts: 730000 | #Constraints: 46395 1253.08/1256.39 c #Conflicts: 731000 | #Constraints: 47395 1253.08/1256.39 c #Conflicts: 732000 | #Constraints: 48395 1253.08/1256.39 c #Conflicts: 733000 | #Constraints: 49395 1253.08/1256.39 c #Conflicts: 734000 | #Constraints: 50395 1253.08/1256.39 c #Conflicts: 735000 | #Constraints: 51395 1253.08/1256.39 c #Conflicts: 736000 | #Constraints: 52395 1253.08/1256.39 c #Conflicts: 737000 | #Constraints: 53395 1253.08/1256.39 c #Conflicts: 738000 | #Constraints: 54395 1253.08/1256.39 c #Conflicts: 739000 | #Constraints: 55395 1253.08/1256.39 c #Conflicts: 740000 | #Constraints: 56395 1253.08/1256.39 c #Conflicts: 741000 | #Constraints: 57395 1253.08/1256.39 c #Conflicts: 742000 | #Constraints: 58395 1253.08/1256.39 c #Conflicts: 743000 | #Constraints: 59395 1253.08/1256.39 c #Conflicts: 744000 | #Constraints: 60395 1253.08/1256.39 c #Conflicts: 745000 | #Constraints: 61395 1253.08/1256.39 c #Conflicts: 746000 | #Constraints: 62395 1253.08/1256.39 c #Conflicts: 747000 | #Constraints: 63395 1253.08/1256.39 c #Conflicts: 748000 | #Constraints: 64395 1253.08/1256.39 c #Conflicts: 749000 | #Constraints: 65395 1253.08/1256.39 c #Conflicts: 750000 | #Constraints: 66395 1253.08/1256.39 c #Conflicts: 751000 | #Constraints: 67395 1253.08/1256.39 c #Conflicts: 752000 | #Constraints: 68395 1253.08/1256.39 c #Conflicts: 753000 | #Constraints: 69395 1253.08/1256.39 c #Conflicts: 754000 | #Constraints: 70395 1253.08/1256.39 c #Conflicts: 755000 | #Constraints: 71395 1253.08/1256.39 c #Conflicts: 756000 | #Constraints: 72395 1253.08/1256.39 c #Conflicts: 757000 | #Constraints: 73395 1253.08/1256.39 c #Conflicts: 758000 | #Constraints: 74395 1253.08/1256.39 c #Conflicts: 759000 | #Constraints: 75395 1253.08/1256.39 c #Conflicts: 760000 | #Constraints: 76395 1253.08/1256.39 c #Conflicts: 761000 | #Constraints: 77395 1253.08/1256.39 c #Conflicts: 762000 | #Constraints: 78395 1253.08/1256.39 c #Conflicts: 763000 | #Constraints: 79395 1253.08/1256.39 c #Conflicts: 764000 | #Constraints: 80395 1253.08/1256.39 c #Conflicts: 765000 | #Constraints: 81395 1253.08/1256.39 c #Conflicts: 766000 | #Constraints: 82395 1253.08/1256.39 c #Conflicts: 767000 | #Constraints: 83395 1253.08/1256.39 c #Conflicts: 768000 | #Constraints: 84395 1253.08/1256.39 c #Conflicts: 769000 | #Constraints: 85395 1253.08/1256.39 c #Conflicts: 770000 | #Constraints: 86395 1253.08/1256.39 c #Conflicts: 771000 | #Constraints: 87395 1253.08/1256.39 c #Conflicts: 772000 | #Constraints: 88395 1253.08/1256.39 c #Conflicts: 773000 | #Constraints: 89395 1253.08/1256.39 c #Conflicts: 774000 | #Constraints: 90395 1253.08/1256.39 c #Conflicts: 775000 | #Constraints: 91395 1253.08/1256.39 c #Conflicts: 776000 | #Constraints: 92395 1253.08/1256.39 c #Conflicts: 777000 | #Constraints: 93395 1253.08/1256.39 c #Conflicts: 778000 | #Constraints: 94395 1253.08/1256.39 c #Conflicts: 779000 | #Constraints: 95395 1253.08/1256.39 c #Conflicts: 780000 | #Constraints: 96395 1253.08/1256.39 c INPROCESSING 1253.08/1256.39 c GARBAGE COLLECT 1253.08/1256.39 c rational objective 79 1275.61/1278.94 c #Conflicts: 781000 | #Constraints: 49818 1275.61/1278.94 c #Conflicts: 782000 | #Constraints: 50836 1275.61/1278.94 c #Conflicts: 783000 | #Constraints: 51868 1275.61/1278.94 c #Conflicts: 784000 | #Constraints: 52895 1275.61/1278.94 c #Conflicts: 785000 | #Constraints: 53920 1275.61/1278.94 c #Conflicts: 786000 | #Constraints: 54946 1275.61/1278.94 c #Conflicts: 787000 | #Constraints: 55976 1275.61/1278.94 c #Conflicts: 788000 | #Constraints: 56999 1275.61/1278.94 c #Conflicts: 789000 | #Constraints: 58029 1275.61/1278.94 c #Conflicts: 790000 | #Constraints: 59056 1275.61/1278.94 c #Conflicts: 791000 | #Constraints: 60084 1275.61/1278.94 c #Conflicts: 792000 | #Constraints: 61111 1275.61/1278.94 c #Conflicts: 793000 | #Constraints: 62131 1275.61/1278.94 c #Conflicts: 794000 | #Constraints: 63160 1275.61/1278.94 c #Conflicts: 795000 | #Constraints: 64193 1275.61/1278.94 c #Conflicts: 796000 | #Constraints: 65227 1275.61/1278.94 c #Conflicts: 797000 | #Constraints: 66253 1275.61/1278.94 c #Conflicts: 798000 | #Constraints: 67274 1275.61/1278.94 c INPROCESSING 1275.61/1278.94 c GARBAGE COLLECT 1275.61/1278.94 c rational objective 79 1295.96/1299.30 c #Conflicts: 799000 | #Constraints: 34890 1295.96/1299.30 c #Conflicts: 800000 | #Constraints: 35918 1295.96/1299.30 c #Conflicts: 801000 | #Constraints: 36956 1295.96/1299.30 c #Conflicts: 802000 | #Constraints: 37994 1295.96/1299.30 c #Conflicts: 803000 | #Constraints: 39030 1295.96/1299.30 c #Conflicts: 804000 | #Constraints: 40060 1295.96/1299.30 c #Conflicts: 805000 | #Constraints: 41087 1295.96/1299.30 c #Conflicts: 806000 | #Constraints: 42122 1295.96/1299.30 c #Conflicts: 807000 | #Constraints: 43147 1295.96/1299.30 c #Conflicts: 808000 | #Constraints: 44180 1295.96/1299.30 c #Conflicts: 809000 | #Constraints: 45220 1295.96/1299.30 c #Conflicts: 810000 | #Constraints: 46253 1295.96/1299.30 c #Conflicts: 811000 | #Constraints: 47291 1295.96/1299.30 c #Conflicts: 812000 | #Constraints: 48316 1295.96/1299.30 c #Conflicts: 813000 | #Constraints: 49346 1295.96/1299.30 c #Conflicts: 814000 | #Constraints: 50386 1295.96/1299.30 c #Conflicts: 815000 | #Constraints: 51419 1295.96/1299.30 c #Conflicts: 816000 | #Constraints: 52446 1295.96/1299.30 c #Conflicts: 817000 | #Constraints: 53469 1295.96/1299.30 c INPROCESSING 1295.96/1299.30 c GARBAGE COLLECT 1295.96/1299.30 c rational objective 79 1313.62/1317.02 c #Conflicts: 818000 | #Constraints: 28087 1313.62/1317.02 c #Conflicts: 819000 | #Constraints: 29114 1313.62/1317.02 c #Conflicts: 820000 | #Constraints: 30151 1313.62/1317.02 c #Conflicts: 821000 | #Constraints: 31181 1313.62/1317.02 c #Conflicts: 822000 | #Constraints: 32210 1313.62/1317.02 c #Conflicts: 823000 | #Constraints: 33234 1313.62/1317.02 c #Conflicts: 824000 | #Constraints: 34272 1313.62/1317.02 c #Conflicts: 825000 | #Constraints: 35301 1313.62/1317.02 c #Conflicts: 826000 | #Constraints: 36334 1313.62/1317.02 c #Conflicts: 827000 | #Constraints: 37363 1313.62/1317.02 c #Conflicts: 828000 | #Constraints: 38388 1313.62/1317.02 c #Conflicts: 829000 | #Constraints: 39419 1313.62/1317.02 c #Conflicts: 830000 | #Constraints: 40446 1313.62/1317.02 c #Conflicts: 831000 | #Constraints: 41471 1313.62/1317.02 c #Conflicts: 832000 | #Constraints: 42495 1313.62/1317.02 c #Conflicts: 833000 | #Constraints: 43523 1313.62/1317.02 c #Conflicts: 834000 | #Constraints: 44553 1313.62/1317.02 c #Conflicts: 835000 | #Constraints: 45580 1313.62/1317.02 c #Conflicts: 836000 | #Constraints: 46610 1313.62/1317.02 c INPROCESSING 1313.62/1317.02 c GARBAGE COLLECT 1313.62/1317.02 c rational objective 79 1332.56/1336.00 c #Conflicts: 837000 | #Constraints: 24670 1332.56/1336.00 c #Conflicts: 838000 | #Constraints: 25704 1332.56/1336.00 c #Conflicts: 839000 | #Constraints: 26731 1332.56/1336.00 c #Conflicts: 840000 | #Constraints: 27757 1332.56/1336.00 c #Conflicts: 841000 | #Constraints: 28783 1332.56/1336.00 c #Conflicts: 842000 | #Constraints: 29800 1332.56/1336.00 c #Conflicts: 843000 | #Constraints: 30823 1332.56/1336.00 c #Conflicts: 844000 | #Constraints: 31844 1332.56/1336.00 c #Conflicts: 845000 | #Constraints: 32856 1332.56/1336.00 c #Conflicts: 846000 | #Constraints: 33871 1332.56/1336.00 c #Conflicts: 847000 | #Constraints: 34904 1332.56/1336.00 c #Conflicts: 848000 | #Constraints: 35933 1332.56/1336.00 c #Conflicts: 849000 | #Constraints: 36965 1332.56/1336.00 c #Conflicts: 850000 | #Constraints: 37989 1332.56/1336.00 c #Conflicts: 851000 | #Constraints: 39010 1332.56/1336.00 c #Conflicts: 852000 | #Constraints: 40036 1332.56/1336.00 c #Conflicts: 853000 | #Constraints: 41070 1332.56/1336.00 c #Conflicts: 854000 | #Constraints: 42092 1332.56/1336.00 c #Conflicts: 855000 | #Constraints: 43116 1332.56/1336.00 c INPROCESSING 1332.56/1336.00 c GARBAGE COLLECT 1332.56/1336.00 c rational objective 79 1518.65/1522.60 c #Conflicts: 856000 | #Constraints: 22811 1518.65/1522.60 c #Conflicts: 857000 | #Constraints: 23856 1518.65/1522.60 c #Conflicts: 858000 | #Constraints: 24895 1518.65/1522.60 c #Conflicts: 859000 | #Constraints: 25927 1518.65/1522.60 c #Conflicts: 860000 | #Constraints: 26965 1518.65/1522.60 c #Conflicts: 861000 | #Constraints: 27999 1518.65/1522.60 c #Conflicts: 862000 | #Constraints: 29027 1518.65/1522.60 c #Conflicts: 863000 | #Constraints: 30056 1518.65/1522.60 c #Conflicts: 864000 | #Constraints: 31082 1518.65/1522.60 c #Conflicts: 865000 | #Constraints: 32107 1518.65/1522.60 c #Conflicts: 866000 | #Constraints: 33128 1518.65/1522.60 c #Conflicts: 867000 | #Constraints: 34152 1518.65/1522.60 c #Conflicts: 868000 | #Constraints: 35184 1518.65/1522.60 c #Conflicts: 869000 | #Constraints: 36213 1518.65/1522.60 c #Conflicts: 870000 | #Constraints: 37230 1518.65/1522.60 c #Conflicts: 871000 | #Constraints: 38258 1518.65/1522.60 c #Conflicts: 872000 | #Constraints: 39278 1518.65/1522.60 c #Conflicts: 873000 | #Constraints: 40309 1518.65/1522.60 c #Conflicts: 874000 | #Constraints: 41333 1518.65/1522.60 c #Conflicts: 875000 | #Constraints: 42359 1518.65/1522.60 c #Conflicts: 876000 | #Constraints: 43388 1518.65/1522.60 c #Conflicts: 877000 | #Constraints: 44410 1518.65/1522.60 c #Conflicts: 878000 | #Constraints: 45429 1518.65/1522.60 c #Conflicts: 879000 | #Constraints: 46466 1518.65/1522.60 c #Conflicts: 880000 | #Constraints: 47491 1518.65/1522.60 c #Conflicts: 881000 | #Constraints: 48516 1518.65/1522.60 c #Conflicts: 882000 | #Constraints: 49540 1518.65/1522.60 c #Conflicts: 883000 | #Constraints: 50560 1518.65/1522.60 c #Conflicts: 884000 | #Constraints: 51585 1518.65/1522.60 c #Conflicts: 885000 | #Constraints: 52617 1518.65/1522.60 c #Conflicts: 886000 | #Constraints: 53651 1518.65/1522.60 c #Conflicts: 887000 | #Constraints: 54679 1518.65/1522.60 c #Conflicts: 888000 | #Constraints: 55709 1518.65/1522.60 c #Conflicts: 889000 | #Constraints: 56729 1518.65/1522.60 c #Conflicts: 890000 | #Constraints: 57763 1518.65/1522.60 c #Conflicts: 891000 | #Constraints: 58789 1518.65/1522.60 c #Conflicts: 892000 | #Constraints: 59817 1518.65/1522.60 c #Conflicts: 893000 | #Constraints: 60845 1518.65/1522.60 c #Conflicts: 894000 | #Constraints: 61867 1518.65/1522.60 c #Conflicts: 895000 | #Constraints: 62885 1518.65/1522.60 c #Conflicts: 896000 | #Constraints: 63906 1518.65/1522.60 c #Conflicts: 897000 | #Constraints: 64929 1518.65/1522.60 c #Conflicts: 898000 | #Constraints: 65955 1518.65/1522.60 c #Conflicts: 899000 | #Constraints: 66987 1518.65/1522.60 c #Conflicts: 900000 | #Constraints: 68006 1518.65/1522.60 c #Conflicts: 901000 | #Constraints: 69032 1518.65/1522.60 c #Conflicts: 902000 | #Constraints: 70057 1518.65/1522.60 c #Conflicts: 903000 | #Constraints: 71079 1518.65/1522.60 c #Conflicts: 904000 | #Constraints: 72101 1518.65/1522.60 c #Conflicts: 905000 | #Constraints: 73127 1518.65/1522.60 c #Conflicts: 906000 | #Constraints: 74156 1518.65/1522.60 c #Conflicts: 907000 | #Constraints: 75187 1518.65/1522.60 c #Conflicts: 908000 | #Constraints: 76219 1518.65/1522.60 c #Conflicts: 909000 | #Constraints: 77250 1518.65/1522.60 c #Conflicts: 910000 | #Constraints: 78273 1518.65/1522.60 c #Conflicts: 911000 | #Constraints: 79296 1518.65/1522.60 c #Conflicts: 912000 | #Constraints: 80322 1518.65/1522.60 c #Conflicts: 913000 | #Constraints: 81345 1518.65/1522.60 c #Conflicts: 914000 | #Constraints: 82365 1518.65/1522.60 c #Conflicts: 915000 | #Constraints: 83393 1518.65/1522.60 c #Conflicts: 916000 | #Constraints: 84420 1518.65/1522.60 c #Conflicts: 917000 | #Constraints: 85456 1518.65/1522.60 c #Conflicts: 918000 | #Constraints: 86489 1518.65/1522.60 c #Conflicts: 919000 | #Constraints: 87508 1518.65/1522.60 c #Conflicts: 920000 | #Constraints: 88529 1518.65/1522.60 c #Conflicts: 921000 | #Constraints: 89555 1518.65/1522.60 c #Conflicts: 922000 | #Constraints: 90579 1518.65/1522.60 c #Conflicts: 923000 | #Constraints: 91599 1518.65/1522.60 c #Conflicts: 924000 | #Constraints: 92630 1518.65/1522.60 c #Conflicts: 925000 | #Constraints: 93659 1518.65/1522.60 c #Conflicts: 926000 | #Constraints: 94685 1518.65/1522.60 c #Conflicts: 927000 | #Constraints: 95719 1518.65/1522.60 c #Conflicts: 928000 | #Constraints: 96746 1518.65/1522.60 c #Conflicts: 929000 | #Constraints: 97769 1518.65/1522.60 c #Conflicts: 930000 | #Constraints: 98792 1518.65/1522.60 c #Conflicts: 931000 | #Constraints: 99822 1518.65/1522.60 c #Conflicts: 932000 | #Constraints: 100844 1518.65/1522.60 c #Conflicts: 933000 | #Constraints: 101866 1518.65/1522.60 c #Conflicts: 934000 | #Constraints: 102890 1535.19/1539.27 c #Conflicts: 935000 | #Constraints: 103913 1535.19/1539.27 c #Conflicts: 936000 | #Constraints: 104940 1535.19/1539.27 c #Conflicts: 937000 | #Constraints: 105966 1535.19/1539.27 c #Conflicts: 938000 | #Constraints: 106994 1535.19/1539.27 c INPROCESSING 1535.19/1539.27 c GARBAGE COLLECT 1535.19/1539.27 c rational objective 79 1597.01/1601.25 c #Conflicts: 939000 | #Constraints: 55058 1597.01/1601.25 c #Conflicts: 940000 | #Constraints: 56086 1597.01/1601.25 c #Conflicts: 941000 | #Constraints: 57113 1597.01/1601.25 c #Conflicts: 942000 | #Constraints: 58146 1597.01/1601.25 c #Conflicts: 943000 | #Constraints: 59171 1597.01/1601.25 c #Conflicts: 944000 | #Constraints: 60198 1597.01/1601.25 c #Conflicts: 945000 | #Constraints: 61225 1597.01/1601.25 c #Conflicts: 946000 | #Constraints: 62251 1597.01/1601.25 c #Conflicts: 947000 | #Constraints: 63277 1597.01/1601.25 c #Conflicts: 948000 | #Constraints: 64305 1597.01/1601.25 c #Conflicts: 949000 | #Constraints: 65327 1597.01/1601.25 c #Conflicts: 950000 | #Constraints: 66359 1597.01/1601.25 c #Conflicts: 951000 | #Constraints: 67384 1597.01/1601.25 c #Conflicts: 952000 | #Constraints: 68409 1597.01/1601.25 c #Conflicts: 953000 | #Constraints: 69435 1597.01/1601.25 c #Conflicts: 954000 | #Constraints: 70454 1597.01/1601.25 c #Conflicts: 955000 | #Constraints: 71486 1597.01/1601.25 c #Conflicts: 956000 | #Constraints: 72517 1597.01/1601.25 c #Conflicts: 957000 | #Constraints: 73544 1597.01/1601.25 c #Conflicts: 958000 | #Constraints: 74565 1597.01/1601.25 c INPROCESSING 1597.01/1601.25 c GARBAGE COLLECT 1597.01/1601.25 c rational objective 79 1664.41/1668.86 c #Conflicts: 959000 | #Constraints: 38587 1664.41/1668.86 c #Conflicts: 960000 | #Constraints: 39587 1664.41/1668.86 c #Conflicts: 961000 | #Constraints: 40587 1664.41/1668.86 c #Conflicts: 962000 | #Constraints: 41587 1664.41/1668.86 c #Conflicts: 963000 | #Constraints: 42587 1664.41/1668.86 c #Conflicts: 964000 | #Constraints: 43587 1664.41/1668.86 c #Conflicts: 965000 | #Constraints: 44587 1664.41/1668.86 c #Conflicts: 966000 | #Constraints: 45587 1664.41/1668.86 c #Conflicts: 967000 | #Constraints: 46587 1664.41/1668.86 c #Conflicts: 968000 | #Constraints: 47587 1664.41/1668.86 c #Conflicts: 969000 | #Constraints: 48587 1664.41/1668.86 c #Conflicts: 970000 | #Constraints: 49587 1664.41/1668.86 c #Conflicts: 971000 | #Constraints: 50587 1664.41/1668.86 c #Conflicts: 972000 | #Constraints: 51587 1664.41/1668.86 c #Conflicts: 973000 | #Constraints: 52587 1664.41/1668.86 c #Conflicts: 974000 | #Constraints: 53587 1664.41/1668.86 c #Conflicts: 975000 | #Constraints: 54587 1664.41/1668.86 c #Conflicts: 976000 | #Constraints: 55587 1664.41/1668.86 c #Conflicts: 977000 | #Constraints: 56587 1664.41/1668.86 c #Conflicts: 978000 | #Constraints: 57587 1664.41/1668.86 c #Conflicts: 979000 | #Constraints: 58587 1664.41/1668.86 c INPROCESSING 1664.41/1668.86 c GARBAGE COLLECT 1664.41/1668.86 c rational objective 79 1687.14/1691.66 c #Conflicts: 980000 | #Constraints: 30808 1687.14/1691.66 c #Conflicts: 981000 | #Constraints: 31837 1687.14/1691.66 c #Conflicts: 982000 | #Constraints: 32874 1687.14/1691.66 c #Conflicts: 983000 | #Constraints: 33912 1687.14/1691.66 c #Conflicts: 984000 | #Constraints: 34940 1687.14/1691.66 c #Conflicts: 985000 | #Constraints: 35970 1687.14/1691.66 c #Conflicts: 986000 | #Constraints: 37002 1687.14/1691.66 c #Conflicts: 987000 | #Constraints: 38035 1687.14/1691.66 c #Conflicts: 988000 | #Constraints: 39064 1687.14/1691.66 c #Conflicts: 989000 | #Constraints: 40096 1687.14/1691.66 c #Conflicts: 990000 | #Constraints: 41129 1687.14/1691.66 c #Conflicts: 991000 | #Constraints: 42162 1687.14/1691.66 c #Conflicts: 992000 | #Constraints: 43190 1687.14/1691.66 c #Conflicts: 993000 | #Constraints: 44220 1687.14/1691.66 c #Conflicts: 994000 | #Constraints: 45249 1687.14/1691.66 c #Conflicts: 995000 | #Constraints: 46276 1687.14/1691.66 c #Conflicts: 996000 | #Constraints: 47311 1687.14/1691.66 c #Conflicts: 997000 | #Constraints: 48342 1687.14/1691.66 c #Conflicts: 998000 | #Constraints: 49365 1687.14/1691.66 c #Conflicts: 999000 | #Constraints: 50387 1687.14/1691.66 c #Conflicts: 1000000 | #Constraints: 51420 1687.14/1691.66 c INPROCESSING 1687.14/1691.66 c GARBAGE COLLECT 1687.14/1691.66 c rational objective 79 1715.86/1720.47 c #Conflicts: 1001000 | #Constraints: 27242 1715.86/1720.47 c #Conflicts: 1002000 | #Constraints: 28275 1715.86/1720.47 c #Conflicts: 1003000 | #Constraints: 29301 1715.86/1720.47 c #Conflicts: 1004000 | #Constraints: 30337 1715.86/1720.47 c #Conflicts: 1005000 | #Constraints: 31369 1715.86/1720.47 c #Conflicts: 1006000 | #Constraints: 32399 1715.86/1720.47 c #Conflicts: 1007000 | #Constraints: 33429 1715.86/1720.47 c #Conflicts: 1008000 | #Constraints: 34457 1715.86/1720.47 c #Conflicts: 1009000 | #Constraints: 35488 1715.86/1720.47 c #Conflicts: 1010000 | #Constraints: 36518 1715.86/1720.47 c #Conflicts: 1011000 | #Constraints: 37539 1715.86/1720.47 c #Conflicts: 1012000 | #Constraints: 38568 1715.86/1720.47 c #Conflicts: 1013000 | #Constraints: 39602 1715.86/1720.47 c #Conflicts: 1014000 | #Constraints: 40626 1715.86/1720.47 c #Conflicts: 1015000 | #Constraints: 41649 1715.86/1720.47 c #Conflicts: 1016000 | #Constraints: 42670 1715.86/1720.47 c #Conflicts: 1017000 | #Constraints: 43685 1715.86/1720.47 c #Conflicts: 1018000 | #Constraints: 44712 1715.86/1720.47 c #Conflicts: 1019000 | #Constraints: 45724 1715.86/1720.47 c #Conflicts: 1020000 | #Constraints: 46738 1715.86/1720.47 c #Conflicts: 1021000 | #Constraints: 47777 1715.86/1720.47 c INPROCESSING 1715.86/1720.47 c GARBAGE COLLECT 1715.86/1720.47 c rational objective 79 1778.07/1782.80 c #Conflicts: 1022000 | #Constraints: 25348 1778.07/1782.80 c #Conflicts: 1023000 | #Constraints: 26348 1778.07/1782.80 c #Conflicts: 1024000 | #Constraints: 27348 1778.07/1782.80 c #Conflicts: 1025000 | #Constraints: 28348 1778.07/1782.80 c #Conflicts: 1026000 | #Constraints: 29348 1778.07/1782.80 c #Conflicts: 1027000 | #Constraints: 30348 1778.07/1782.80 c #Conflicts: 1028000 | #Constraints: 31348 1778.07/1782.80 c #Conflicts: 1029000 | #Constraints: 32348 1778.07/1782.80 c #Conflicts: 1030000 | #Constraints: 33348 1778.07/1782.80 c #Conflicts: 1031000 | #Constraints: 34348 1778.07/1782.80 c #Conflicts: 1032000 | #Constraints: 35348 1778.07/1782.80 c #Conflicts: 1033000 | #Constraints: 36348 1778.07/1782.80 c #Conflicts: 1034000 | #Constraints: 37348 1778.07/1782.80 c #Conflicts: 1035000 | #Constraints: 38348 1778.07/1782.80 c #Conflicts: 1036000 | #Constraints: 39348 1778.07/1782.80 c #Conflicts: 1037000 | #Constraints: 40348 1778.07/1782.80 c #Conflicts: 1038000 | #Constraints: 41348 1778.07/1782.80 c #Conflicts: 1039000 | #Constraints: 42348 1778.07/1782.80 c #Conflicts: 1040000 | #Constraints: 43348 1778.07/1782.80 c #Conflicts: 1041000 | #Constraints: 44348 1778.07/1782.80 c #Conflicts: 1042000 | #Constraints: 45348 1778.07/1782.80 c INPROCESSING 1778.07/1782.80 c GARBAGE COLLECT 1778.07/1782.80 c rational objective 79 2041.77/2047.38 c #Conflicts: 1043000 | #Constraints: 24053 2041.77/2047.38 c #Conflicts: 1044000 | #Constraints: 25104 2041.77/2047.38 c #Conflicts: 1045000 | #Constraints: 26145 2041.77/2047.38 c #Conflicts: 1046000 | #Constraints: 27180 2041.77/2047.38 c #Conflicts: 1047000 | #Constraints: 28219 2041.77/2047.38 c #Conflicts: 1048000 | #Constraints: 29249 2041.77/2047.38 c #Conflicts: 1049000 | #Constraints: 30283 2041.77/2047.38 c #Conflicts: 1050000 | #Constraints: 31317 2041.77/2047.38 c #Conflicts: 1051000 | #Constraints: 32341 2041.77/2047.38 c #Conflicts: 1052000 | #Constraints: 33364 2041.77/2047.38 c #Conflicts: 1053000 | #Constraints: 34404 2041.77/2047.38 c #Conflicts: 1054000 | #Constraints: 35430 2041.77/2047.38 c #Conflicts: 1055000 | #Constraints: 36452 2041.77/2047.38 c #Conflicts: 1056000 | #Constraints: 37477 2041.77/2047.38 c #Conflicts: 1057000 | #Constraints: 38496 2041.77/2047.38 c #Conflicts: 1058000 | #Constraints: 39511 2041.77/2047.38 c #Conflicts: 1059000 | #Constraints: 40533 2041.77/2047.38 c #Conflicts: 1060000 | #Constraints: 41555 2041.77/2047.38 c #Conflicts: 1061000 | #Constraints: 42571 2041.77/2047.38 c #Conflicts: 1062000 | #Constraints: 43593 2041.77/2047.38 c #Conflicts: 1063000 | #Constraints: 44612 2041.77/2047.38 c #Conflicts: 1064000 | #Constraints: 45619 2041.77/2047.38 c #Conflicts: 1065000 | #Constraints: 46641 2041.77/2047.38 c #Conflicts: 1066000 | #Constraints: 47664 2041.77/2047.38 c #Conflicts: 1067000 | #Constraints: 48684 2041.77/2047.38 c #Conflicts: 1068000 | #Constraints: 49701 2041.77/2047.38 c #Conflicts: 1069000 | #Constraints: 50725 2041.77/2047.38 c #Conflicts: 1070000 | #Constraints: 51750 2041.77/2047.38 c #Conflicts: 1071000 | #Constraints: 52770 2041.77/2047.38 c #Conflicts: 1072000 | #Constraints: 53790 2041.77/2047.38 c #Conflicts: 1073000 | #Constraints: 54809 2041.77/2047.38 c #Conflicts: 1074000 | #Constraints: 55831 2041.77/2047.38 c #Conflicts: 1075000 | #Constraints: 56847 2041.77/2047.38 c #Conflicts: 1076000 | #Constraints: 57872 2041.77/2047.38 c #Conflicts: 1077000 | #Constraints: 58894 2041.77/2047.38 c #Conflicts: 1078000 | #Constraints: 59910 2041.77/2047.38 c #Conflicts: 1079000 | #Constraints: 60920 2041.77/2047.38 c #Conflicts: 1080000 | #Constraints: 61929 2041.77/2047.38 c #Conflicts: 1081000 | #Constraints: 62937 2041.77/2047.38 c #Conflicts: 1082000 | #Constraints: 63955 2041.77/2047.38 c #Conflicts: 1083000 | #Constraints: 64981 2041.77/2047.38 c #Conflicts: 1084000 | #Constraints: 66009 2041.77/2047.38 c #Conflicts: 1085000 | #Constraints: 67023 2041.77/2047.38 c #Conflicts: 1086000 | #Constraints: 68043 2041.77/2047.38 c #Conflicts: 1087000 | #Constraints: 69064 2041.77/2047.38 c #Conflicts: 1088000 | #Constraints: 70086 2041.77/2047.38 c #Conflicts: 1089000 | #Constraints: 71106 2041.77/2047.38 c #Conflicts: 1090000 | #Constraints: 72122 2041.77/2047.38 c #Conflicts: 1091000 | #Constraints: 73137 2041.77/2047.38 c #Conflicts: 1092000 | #Constraints: 74162 2041.77/2047.38 c #Conflicts: 1093000 | #Constraints: 75190 2041.77/2047.38 c #Conflicts: 1094000 | #Constraints: 76209 2041.77/2047.38 c #Conflicts: 1095000 | #Constraints: 77225 2041.77/2047.38 c #Conflicts: 1096000 | #Constraints: 78238 2041.77/2047.38 c #Conflicts: 1097000 | #Constraints: 79247 2041.77/2047.38 c #Conflicts: 1098000 | #Constraints: 80271 2041.77/2047.38 c #Conflicts: 1099000 | #Constraints: 81294 2041.77/2047.38 c #Conflicts: 1100000 | #Constraints: 82322 2041.77/2047.38 c #Conflicts: 1101000 | #Constraints: 83333 2041.77/2047.38 c #Conflicts: 1102000 | #Constraints: 84345 2041.77/2047.38 c #Conflicts: 1103000 | #Constraints: 85362 2041.77/2047.38 c #Conflicts: 1104000 | #Constraints: 86378 2041.77/2047.38 c #Conflicts: 1105000 | #Constraints: 87399 2041.77/2047.38 c #Conflicts: 1106000 | #Constraints: 88412 2041.77/2047.38 c #Conflicts: 1107000 | #Constraints: 89423 2041.77/2047.38 c #Conflicts: 1108000 | #Constraints: 90438 2041.77/2047.38 c #Conflicts: 1109000 | #Constraints: 91454 2041.77/2047.38 c #Conflicts: 1110000 | #Constraints: 92471 2041.77/2047.38 c #Conflicts: 1111000 | #Constraints: 93483 2041.77/2047.38 c #Conflicts: 1112000 | #Constraints: 94496 2041.77/2047.38 c #Conflicts: 1113000 | #Constraints: 95515 2041.77/2047.38 c #Conflicts: 1114000 | #Constraints: 96532 2041.77/2047.38 c #Conflicts: 1115000 | #Constraints: 97541 2041.77/2047.38 c #Conflicts: 1116000 | #Constraints: 98549 2041.77/2047.38 c #Conflicts: 1117000 | #Constraints: 99557 2041.77/2047.38 c #Conflicts: 1118000 | #Constraints: 100569 2041.77/2047.38 c #Conflicts: 1119000 | #Constraints: 101579 2041.77/2047.38 c #Conflicts: 1120000 | #Constraints: 102588 2041.77/2047.38 c #Conflicts: 1121000 | #Constraints: 103601 2112.26/2118.09 c #Conflicts: 1122000 | #Constraints: 104612 2112.26/2118.09 c #Conflicts: 1123000 | #Constraints: 105621 2112.26/2118.09 c #Conflicts: 1124000 | #Constraints: 106642 2112.26/2118.09 c #Conflicts: 1125000 | #Constraints: 107654 2112.26/2118.09 c #Conflicts: 1126000 | #Constraints: 108670 2112.26/2118.09 c #Conflicts: 1127000 | #Constraints: 109680 2112.26/2118.09 c #Conflicts: 1128000 | #Constraints: 110704 2112.26/2118.09 c #Conflicts: 1129000 | #Constraints: 111722 2112.26/2118.09 c #Conflicts: 1130000 | #Constraints: 112754 2112.26/2118.09 c #Conflicts: 1131000 | #Constraints: 113786 2112.26/2118.09 c #Conflicts: 1132000 | #Constraints: 114813 2112.26/2118.09 c INPROCESSING 2112.26/2118.09 c GARBAGE COLLECT 2112.26/2118.09 c rational objective 79 2216.73/2222.83 c #Conflicts: 1133000 | #Constraints: 58753 2216.73/2222.83 c #Conflicts: 1134000 | #Constraints: 59753 2216.73/2222.83 c #Conflicts: 1135000 | #Constraints: 60753 2216.73/2222.83 c #Conflicts: 1136000 | #Constraints: 61753 2216.73/2222.83 c #Conflicts: 1137000 | #Constraints: 62753 2216.73/2222.83 c #Conflicts: 1138000 | #Constraints: 63753 2216.73/2222.83 c #Conflicts: 1139000 | #Constraints: 64753 2216.73/2222.83 c #Conflicts: 1140000 | #Constraints: 65753 2216.73/2222.83 c #Conflicts: 1141000 | #Constraints: 66753 2216.73/2222.83 c #Conflicts: 1142000 | #Constraints: 67753 2216.73/2222.83 c #Conflicts: 1143000 | #Constraints: 68753 2216.73/2222.83 c #Conflicts: 1144000 | #Constraints: 69753 2216.73/2222.83 c #Conflicts: 1145000 | #Constraints: 70753 2216.73/2222.83 c #Conflicts: 1146000 | #Constraints: 71753 2216.73/2222.83 c #Conflicts: 1147000 | #Constraints: 72753 2216.73/2222.83 c #Conflicts: 1148000 | #Constraints: 73753 2216.73/2222.83 c #Conflicts: 1149000 | #Constraints: 74753 2216.73/2222.83 c #Conflicts: 1150000 | #Constraints: 75753 2216.73/2222.83 c #Conflicts: 1151000 | #Constraints: 76753 2216.73/2222.83 c #Conflicts: 1152000 | #Constraints: 77753 2216.73/2222.83 c #Conflicts: 1153000 | #Constraints: 78753 2216.73/2222.83 c #Conflicts: 1154000 | #Constraints: 79753 2216.73/2222.83 c #Conflicts: 1155000 | #Constraints: 80753 2216.73/2222.83 c INPROCESSING 2216.73/2222.83 c GARBAGE COLLECT 2216.73/2222.83 c rational objective 79 2313.15/2319.52 c #Conflicts: 1156000 | #Constraints: 41986 2313.15/2319.52 c #Conflicts: 1157000 | #Constraints: 42989 2313.15/2319.52 c #Conflicts: 1158000 | #Constraints: 43993 2313.15/2319.52 c #Conflicts: 1159000 | #Constraints: 44996 2313.15/2319.52 c #Conflicts: 1160000 | #Constraints: 45998 2313.15/2319.52 c #Conflicts: 1161000 | #Constraints: 47001 2313.15/2319.52 c #Conflicts: 1162000 | #Constraints: 48003 2313.15/2319.52 c #Conflicts: 1163000 | #Constraints: 49006 2313.15/2319.52 c #Conflicts: 1164000 | #Constraints: 50010 2313.15/2319.52 c #Conflicts: 1165000 | #Constraints: 51027 2313.15/2319.52 c #Conflicts: 1166000 | #Constraints: 52029 2313.15/2319.52 c #Conflicts: 1167000 | #Constraints: 53031 2313.15/2319.52 c #Conflicts: 1168000 | #Constraints: 54032 2313.15/2319.52 c #Conflicts: 1169000 | #Constraints: 55034 2313.15/2319.52 c #Conflicts: 1170000 | #Constraints: 56038 2313.15/2319.52 c #Conflicts: 1171000 | #Constraints: 57040 2313.15/2319.52 c #Conflicts: 1172000 | #Constraints: 58041 2313.15/2319.52 c #Conflicts: 1173000 | #Constraints: 59043 2313.15/2319.52 c #Conflicts: 1174000 | #Constraints: 60045 2313.15/2319.52 c #Conflicts: 1175000 | #Constraints: 61050 2313.15/2319.52 c #Conflicts: 1176000 | #Constraints: 62051 2313.15/2319.52 c #Conflicts: 1177000 | #Constraints: 63054 2313.15/2319.52 c INPROCESSING 2313.15/2319.52 c GARBAGE COLLECT 2313.15/2319.52 c rational objective 79 2400.69/2407.39 c #Conflicts: 1178000 | #Constraints: 32746 2400.69/2407.39 c #Conflicts: 1179000 | #Constraints: 33746 2400.69/2407.39 c #Conflicts: 1180000 | #Constraints: 34746 2400.69/2407.39 c #Conflicts: 1181000 | #Constraints: 35746 2400.69/2407.39 c #Conflicts: 1182000 | #Constraints: 36749 2400.69/2407.39 c #Conflicts: 1183000 | #Constraints: 37755 2400.69/2407.39 c #Conflicts: 1184000 | #Constraints: 38758 2400.69/2407.39 c #Conflicts: 1185000 | #Constraints: 39760 2400.69/2407.39 c #Conflicts: 1186000 | #Constraints: 40764 2400.69/2407.39 c #Conflicts: 1187000 | #Constraints: 41768 2400.69/2407.39 c #Conflicts: 1188000 | #Constraints: 42780 2400.69/2407.39 c #Conflicts: 1189000 | #Constraints: 43795 2400.69/2407.39 c #Conflicts: 1190000 | #Constraints: 44801 2400.69/2407.39 c #Conflicts: 1191000 | #Constraints: 45807 2400.69/2407.39 c #Conflicts: 1192000 | #Constraints: 46814 2400.69/2407.39 c #Conflicts: 1193000 | #Constraints: 47835 2400.69/2407.39 c #Conflicts: 1194000 | #Constraints: 48837 2400.69/2407.39 c #Conflicts: 1195000 | #Constraints: 49842 2400.69/2407.39 c #Conflicts: 1196000 | #Constraints: 50906 2400.69/2407.39 c #Conflicts: 1197000 | #Constraints: 51914 2400.69/2407.39 c #Conflicts: 1198000 | #Constraints: 52920 2400.69/2407.39 c #Conflicts: 1199000 | #Constraints: 53932 2400.69/2407.39 c #Conflicts: 1200000 | #Constraints: 54942 2400.69/2407.39 c INPROCESSING 2400.69/2407.39 c GARBAGE COLLECT 2400.69/2407.39 c rational objective 79 2481.25/2488.19 c #Conflicts: 1201000 | #Constraints: 28691 2481.25/2488.19 c #Conflicts: 1202000 | #Constraints: 29697 2481.25/2488.19 c #Conflicts: 1203000 | #Constraints: 30704 2481.25/2488.19 c #Conflicts: 1204000 | #Constraints: 31710 2481.25/2488.19 c #Conflicts: 1205000 | #Constraints: 32716 2481.25/2488.19 c #Conflicts: 1206000 | #Constraints: 33725 2481.25/2488.19 c #Conflicts: 1207000 | #Constraints: 34733 2481.25/2488.19 c #Conflicts: 1208000 | #Constraints: 35733 2481.25/2488.19 c #Conflicts: 1209000 | #Constraints: 36733 2481.25/2488.19 c #Conflicts: 1210000 | #Constraints: 37733 2481.25/2488.19 c #Conflicts: 1211000 | #Constraints: 38753 2481.25/2488.19 c #Conflicts: 1212000 | #Constraints: 39766 2481.25/2488.19 c #Conflicts: 1213000 | #Constraints: 40766 2481.25/2488.19 c #Conflicts: 1214000 | #Constraints: 41766 2481.25/2488.19 c #Conflicts: 1215000 | #Constraints: 42767 2481.25/2488.19 c #Conflicts: 1216000 | #Constraints: 43772 2481.25/2488.19 c #Conflicts: 1217000 | #Constraints: 44796 2481.25/2488.19 c #Conflicts: 1218000 | #Constraints: 45804 2481.25/2488.19 c #Conflicts: 1219000 | #Constraints: 46807 2481.25/2488.19 c #Conflicts: 1220000 | #Constraints: 47812 2481.25/2488.19 c #Conflicts: 1221000 | #Constraints: 48813 2481.25/2488.19 c #Conflicts: 1222000 | #Constraints: 49894 2481.25/2488.19 c #Conflicts: 1223000 | #Constraints: 50894 2481.25/2488.19 c #Conflicts: 1224000 | #Constraints: 51894 2481.25/2488.19 c INPROCESSING 2481.25/2488.19 c GARBAGE COLLECT 2481.25/2488.19 c rational objective 79 2739.29/2747.00 c #Conflicts: 1225000 | #Constraints: 27568 2739.29/2747.00 c #Conflicts: 1226000 | #Constraints: 28572 2739.29/2747.00 c #Conflicts: 1227000 | #Constraints: 29574 2739.29/2747.00 c #Conflicts: 1228000 | #Constraints: 30578 2739.29/2747.00 c #Conflicts: 1229000 | #Constraints: 31583 2739.29/2747.00 c #Conflicts: 1230000 | #Constraints: 32584 2739.29/2747.00 c #Conflicts: 1231000 | #Constraints: 33589 2739.29/2747.00 c #Conflicts: 1232000 | #Constraints: 34590 2739.29/2747.00 c #Conflicts: 1233000 | #Constraints: 35590 2739.29/2747.00 c #Conflicts: 1234000 | #Constraints: 36590 2739.29/2747.00 c #Conflicts: 1235000 | #Constraints: 37597 2739.29/2747.00 c #Conflicts: 1236000 | #Constraints: 38597 2739.29/2747.00 c #Conflicts: 1237000 | #Constraints: 39597 2739.29/2747.00 c #Conflicts: 1238000 | #Constraints: 40597 2739.29/2747.00 c #Conflicts: 1239000 | #Constraints: 41603 2739.29/2747.00 c #Conflicts: 1240000 | #Constraints: 42603 2739.29/2747.00 c #Conflicts: 1241000 | #Constraints: 43603 2739.29/2747.00 c #Conflicts: 1242000 | #Constraints: 44603 2739.29/2747.00 c #Conflicts: 1243000 | #Constraints: 45604 2739.29/2747.00 c #Conflicts: 1244000 | #Constraints: 46605 2739.39/2747.00 c #Conflicts: 1245000 | #Constraints: 47618 2739.39/2747.00 c #Conflicts: 1246000 | #Constraints: 48622 2739.39/2747.00 c #Conflicts: 1247000 | #Constraints: 49627 2739.39/2747.00 c #Conflicts: 1248000 | #Constraints: 50627 2739.39/2747.00 c #Conflicts: 1249000 | #Constraints: 51627 2739.39/2747.00 c #Conflicts: 1250000 | #Constraints: 52628 2739.39/2747.00 c #Conflicts: 1251000 | #Constraints: 53628 2739.39/2747.00 c #Conflicts: 1252000 | #Constraints: 54628 2739.39/2747.00 c #Conflicts: 1253000 | #Constraints: 55629 2739.39/2747.00 c #Conflicts: 1254000 | #Constraints: 56631 2739.39/2747.00 c #Conflicts: 1255000 | #Constraints: 57635 2739.39/2747.00 c #Conflicts: 1256000 | #Constraints: 58638 2739.39/2747.00 c #Conflicts: 1257000 | #Constraints: 59638 2739.39/2747.00 c #Conflicts: 1258000 | #Constraints: 60639 2739.39/2747.00 c #Conflicts: 1259000 | #Constraints: 61639 2739.39/2747.00 c #Conflicts: 1260000 | #Constraints: 62645 2739.39/2747.00 c #Conflicts: 1261000 | #Constraints: 63654 2739.39/2747.00 c #Conflicts: 1262000 | #Constraints: 64654 2739.39/2747.00 c #Conflicts: 1263000 | #Constraints: 65654 2739.39/2747.00 c #Conflicts: 1264000 | #Constraints: 66655 2739.39/2747.00 c #Conflicts: 1265000 | #Constraints: 67658 2739.39/2747.00 c #Conflicts: 1266000 | #Constraints: 68660 2739.39/2747.00 c #Conflicts: 1267000 | #Constraints: 69663 2739.39/2747.00 c #Conflicts: 1268000 | #Constraints: 70670 2739.39/2747.00 c #Conflicts: 1269000 | #Constraints: 71676 2739.39/2747.00 c #Conflicts: 1270000 | #Constraints: 72677 2739.39/2747.00 c bounds 85 >= 80 @ 2652.72 2739.39/2747.00 c #Conflicts: 1271000 | #Constraints: 73746 2739.39/2747.00 c #Conflicts: 1272000 | #Constraints: 74746 2739.39/2747.00 c #Conflicts: 1273000 | #Constraints: 75746 2739.39/2747.00 c #Conflicts: 1274000 | #Constraints: 76746 2739.39/2747.00 c #Conflicts: 1275000 | #Constraints: 77749 2739.39/2747.00 c #Conflicts: 1276000 | #Constraints: 78851 2739.39/2747.00 c #Conflicts: 1277000 | #Constraints: 79886 2739.39/2747.00 c #Conflicts: 1278000 | #Constraints: 80917 2739.39/2747.00 c #Conflicts: 1279000 | #Constraints: 81933 2739.39/2747.00 c #Conflicts: 1280000 | #Constraints: 82961 2739.39/2747.00 c #Conflicts: 1281000 | #Constraints: 83987 2739.39/2747.00 c #Conflicts: 1282000 | #Constraints: 85010 2739.39/2747.00 c #Conflicts: 1283000 | #Constraints: 86035 2739.39/2747.00 c #Conflicts: 1284000 | #Constraints: 87055 2739.39/2747.00 c #Conflicts: 1285000 | #Constraints: 88077 2739.39/2747.00 c #Conflicts: 1286000 | #Constraints: 89103 2739.39/2747.00 c #Conflicts: 1287000 | #Constraints: 90122 2739.39/2747.00 c #Conflicts: 1288000 | #Constraints: 91146 2739.39/2747.00 c #Conflicts: 1289000 | #Constraints: 92179 2739.39/2747.00 c #Conflicts: 1290000 | #Constraints: 93208 2739.39/2747.00 c #Conflicts: 1291000 | #Constraints: 94239 2739.39/2747.00 c #Conflicts: 1292000 | #Constraints: 95262 2739.39/2747.00 c #Conflicts: 1293000 | #Constraints: 96288 2739.39/2747.00 c #Conflicts: 1294000 | #Constraints: 97319 2739.39/2747.00 c #Conflicts: 1295000 | #Constraints: 98336 2739.39/2747.00 c #Conflicts: 1296000 | #Constraints: 99357 2739.39/2747.00 c #Conflicts: 1297000 | #Constraints: 100378 2739.39/2747.00 c #Conflicts: 1298000 | #Constraints: 101404 2739.39/2747.00 c #Conflicts: 1299000 | #Constraints: 102426 2739.39/2747.00 c #Conflicts: 1300000 | #Constraints: 103452 2739.39/2747.00 c #Conflicts: 1301000 | #Constraints: 104480 2739.39/2747.00 c #Conflicts: 1302000 | #Constraints: 105507 2739.39/2747.00 c #Conflicts: 1303000 | #Constraints: 106532 2799.60/2807.42 c #Conflicts: 1304000 | #Constraints: 107552 2799.60/2807.42 c #Conflicts: 1305000 | #Constraints: 108576 2799.60/2807.42 c #Conflicts: 1306000 | #Constraints: 109596 2799.60/2807.42 c #Conflicts: 1307000 | #Constraints: 110614 2799.60/2807.42 c #Conflicts: 1308000 | #Constraints: 111638 2799.60/2807.42 c #Conflicts: 1309000 | #Constraints: 112674 2799.60/2807.42 c #Conflicts: 1310000 | #Constraints: 113700 2799.60/2807.42 c #Conflicts: 1311000 | #Constraints: 114730 2799.60/2807.42 c #Conflicts: 1312000 | #Constraints: 115762 2799.60/2807.42 c #Conflicts: 1313000 | #Constraints: 116786 2799.60/2807.42 c #Conflicts: 1314000 | #Constraints: 117814 2799.60/2807.42 c #Conflicts: 1315000 | #Constraints: 118841 2799.60/2807.42 c #Conflicts: 1316000 | #Constraints: 119875 2799.60/2807.42 c #Conflicts: 1317000 | #Constraints: 120906 2799.60/2807.42 c #Conflicts: 1318000 | #Constraints: 121936 2799.60/2807.42 c #Conflicts: 1319000 | #Constraints: 122965 2799.60/2807.42 c #Conflicts: 1320000 | #Constraints: 124001 2799.60/2807.42 c INPROCESSING 2799.60/2807.42 c GARBAGE COLLECT 2799.60/2807.42 c rational objective 80 2826.71/2834.65 c #Conflicts: 1321000 | #Constraints: 63452 2826.71/2834.65 c #Conflicts: 1322000 | #Constraints: 64488 2826.71/2834.65 c #Conflicts: 1323000 | #Constraints: 65511 2826.71/2834.65 c #Conflicts: 1324000 | #Constraints: 66537 2826.71/2834.65 c #Conflicts: 1325000 | #Constraints: 67568 2826.71/2834.65 c #Conflicts: 1326000 | #Constraints: 68589 2826.71/2834.65 c #Conflicts: 1327000 | #Constraints: 69613 2826.71/2834.65 c #Conflicts: 1328000 | #Constraints: 70633 2826.71/2834.65 c #Conflicts: 1329000 | #Constraints: 71660 2826.71/2834.65 c #Conflicts: 1330000 | #Constraints: 72688 2826.71/2834.65 c #Conflicts: 1331000 | #Constraints: 73712 2826.71/2834.65 c #Conflicts: 1332000 | #Constraints: 74738 2826.71/2834.65 c #Conflicts: 1333000 | #Constraints: 75769 2826.71/2834.65 c #Conflicts: 1334000 | #Constraints: 76806 2826.71/2834.65 c #Conflicts: 1335000 | #Constraints: 77838 2826.71/2834.65 c #Conflicts: 1336000 | #Constraints: 78864 2826.71/2834.65 c #Conflicts: 1337000 | #Constraints: 79902 2826.71/2834.65 c #Conflicts: 1338000 | #Constraints: 80938 2826.71/2834.65 c #Conflicts: 1339000 | #Constraints: 81970 2826.71/2834.65 c #Conflicts: 1340000 | #Constraints: 82996 2826.71/2834.65 c #Conflicts: 1341000 | #Constraints: 84030 2826.71/2834.65 c #Conflicts: 1342000 | #Constraints: 85062 2826.71/2834.65 c #Conflicts: 1343000 | #Constraints: 86087 2826.71/2834.65 c #Conflicts: 1344000 | #Constraints: 87116 2826.71/2834.65 c INPROCESSING 2826.71/2834.65 c GARBAGE COLLECT 2826.71/2834.65 c rational objective 80 2857.23/2865.22 c #Conflicts: 1345000 | #Constraints: 44751 2857.23/2865.22 c #Conflicts: 1346000 | #Constraints: 45788 2857.23/2865.22 c #Conflicts: 1347000 | #Constraints: 46834 2857.23/2865.22 c #Conflicts: 1348000 | #Constraints: 47865 2857.23/2865.22 c #Conflicts: 1349000 | #Constraints: 48900 2857.23/2865.22 c #Conflicts: 1350000 | #Constraints: 49929 2857.23/2865.22 c #Conflicts: 1351000 | #Constraints: 50975 2857.23/2865.22 c #Conflicts: 1352000 | #Constraints: 52007 2857.23/2865.22 c #Conflicts: 1353000 | #Constraints: 53053 2857.23/2865.22 c #Conflicts: 1354000 | #Constraints: 54082 2857.23/2865.22 c #Conflicts: 1355000 | #Constraints: 55101 2857.23/2865.22 c #Conflicts: 1356000 | #Constraints: 56123 2857.23/2865.22 c #Conflicts: 1357000 | #Constraints: 57150 2857.23/2865.22 c #Conflicts: 1358000 | #Constraints: 58174 2857.23/2865.22 c #Conflicts: 1359000 | #Constraints: 59201 2857.23/2865.22 c #Conflicts: 1360000 | #Constraints: 60226 2857.23/2865.22 c #Conflicts: 1361000 | #Constraints: 61263 2857.23/2865.22 c #Conflicts: 1362000 | #Constraints: 62288 2857.23/2865.22 c #Conflicts: 1363000 | #Constraints: 63310 2857.23/2865.22 c #Conflicts: 1364000 | #Constraints: 64344 2857.23/2865.23 c #Conflicts: 1365000 | #Constraints: 65380 2857.23/2865.23 c #Conflicts: 1366000 | #Constraints: 66411 2857.23/2865.23 c #Conflicts: 1367000 | #Constraints: 67429 2857.23/2865.23 c #Conflicts: 1368000 | #Constraints: 68460 2857.23/2865.23 c #Conflicts: 1369000 | #Constraints: 69493 2857.23/2865.23 c INPROCESSING 2857.23/2865.23 c GARBAGE COLLECT 2857.23/2865.23 c rational objective 80 2958.33/2966.69 c #Conflicts: 1370000 | #Constraints: 36081 2958.33/2966.69 c #Conflicts: 1371000 | #Constraints: 37081 2958.33/2966.69 c #Conflicts: 1372000 | #Constraints: 38081 2958.33/2966.69 c #Conflicts: 1373000 | #Constraints: 39081 2958.33/2966.69 c #Conflicts: 1374000 | #Constraints: 40081 2958.33/2966.69 c #Conflicts: 1375000 | #Constraints: 41081 2958.33/2966.69 c #Conflicts: 1376000 | #Constraints: 42081 2958.33/2966.69 c #Conflicts: 1377000 | #Constraints: 43081 2958.33/2966.69 c #Conflicts: 1378000 | #Constraints: 44081 2958.33/2966.69 c #Conflicts: 1379000 | #Constraints: 45081 2958.33/2966.69 c #Conflicts: 1380000 | #Constraints: 46081 2958.33/2966.69 c #Conflicts: 1381000 | #Constraints: 47081 2958.33/2966.69 c #Conflicts: 1382000 | #Constraints: 48081 2958.33/2966.69 c #Conflicts: 1383000 | #Constraints: 49081 2958.33/2966.69 c #Conflicts: 1384000 | #Constraints: 50081 2958.33/2966.69 c #Conflicts: 1385000 | #Constraints: 51081 2958.33/2966.69 c #Conflicts: 1386000 | #Constraints: 52081 2958.33/2966.69 c #Conflicts: 1387000 | #Constraints: 53081 2958.33/2966.69 c #Conflicts: 1388000 | #Constraints: 54081 2958.33/2966.69 c #Conflicts: 1389000 | #Constraints: 55081 2958.33/2966.69 c #Conflicts: 1390000 | #Constraints: 56081 2958.33/2966.69 c #Conflicts: 1391000 | #Constraints: 57081 2958.33/2966.69 c #Conflicts: 1392000 | #Constraints: 58081 2958.33/2966.69 c #Conflicts: 1393000 | #Constraints: 59081 2958.33/2966.69 c #Conflicts: 1394000 | #Constraints: 60081 2958.33/2966.69 c INPROCESSING 2958.33/2966.69 c GARBAGE COLLECT 2958.33/2966.69 c rational objective 80 3226.79/3235.94 c #Conflicts: 1395000 | #Constraints: 31490 3226.79/3235.94 c #Conflicts: 1396000 | #Constraints: 32534 3226.79/3235.94 c #Conflicts: 1397000 | #Constraints: 33565 3226.79/3235.94 c #Conflicts: 1398000 | #Constraints: 34595 3226.79/3235.94 c #Conflicts: 1399000 | #Constraints: 35623 3226.79/3235.94 c #Conflicts: 1400000 | #Constraints: 36655 3226.79/3235.94 c #Conflicts: 1401000 | #Constraints: 37671 3226.79/3235.94 c #Conflicts: 1402000 | #Constraints: 38697 3226.79/3235.94 c #Conflicts: 1403000 | #Constraints: 39735 3226.79/3235.94 c #Conflicts: 1404000 | #Constraints: 40768 3226.79/3235.94 c #Conflicts: 1405000 | #Constraints: 41800 3226.79/3235.94 c #Conflicts: 1406000 | #Constraints: 42825 3226.79/3235.94 c #Conflicts: 1407000 | #Constraints: 43852 3226.79/3235.94 c #Conflicts: 1408000 | #Constraints: 44875 3226.79/3235.94 c #Conflicts: 1409000 | #Constraints: 45909 3226.79/3235.94 c #Conflicts: 1410000 | #Constraints: 46936 3226.79/3235.94 c #Conflicts: 1411000 | #Constraints: 47960 3226.79/3235.94 c #Conflicts: 1412000 | #Constraints: 48989 3226.79/3235.94 c #Conflicts: 1413000 | #Constraints: 50019 3226.79/3235.94 c #Conflicts: 1414000 | #Constraints: 51048 3226.79/3235.94 c #Conflicts: 1415000 | #Constraints: 52070 3226.79/3235.94 c #Conflicts: 1416000 | #Constraints: 53093 3226.79/3235.94 c #Conflicts: 1417000 | #Constraints: 54119 3226.79/3235.94 c #Conflicts: 1418000 | #Constraints: 55153 3226.79/3235.94 c #Conflicts: 1419000 | #Constraints: 56188 3226.79/3235.94 c #Conflicts: 1420000 | #Constraints: 57219 3226.79/3235.94 c #Conflicts: 1421000 | #Constraints: 58240 3226.79/3235.94 c #Conflicts: 1422000 | #Constraints: 59266 3226.79/3235.94 c #Conflicts: 1423000 | #Constraints: 60288 3226.79/3235.94 c #Conflicts: 1424000 | #Constraints: 61313 3226.79/3235.94 c #Conflicts: 1425000 | #Constraints: 62345 3226.79/3235.94 c #Conflicts: 1426000 | #Constraints: 63365 3226.79/3235.94 c #Conflicts: 1427000 | #Constraints: 64385 3226.79/3235.94 c #Conflicts: 1428000 | #Constraints: 65418 3226.79/3235.94 c #Conflicts: 1429000 | #Constraints: 66443 3226.79/3235.94 c #Conflicts: 1430000 | #Constraints: 67473 3226.79/3235.94 c #Conflicts: 1431000 | #Constraints: 68495 3226.79/3235.94 c #Conflicts: 1432000 | #Constraints: 69513 3226.79/3235.94 c #Conflicts: 1433000 | #Constraints: 70535 3226.79/3235.94 c #Conflicts: 1434000 | #Constraints: 71552 3226.79/3235.94 c #Conflicts: 1435000 | #Constraints: 72570 3226.79/3235.94 c #Conflicts: 1436000 | #Constraints: 73600 3226.79/3235.94 c #Conflicts: 1437000 | #Constraints: 74626 3226.79/3235.94 c #Conflicts: 1438000 | #Constraints: 75654 3226.79/3235.94 c #Conflicts: 1439000 | #Constraints: 76690 3226.79/3235.94 c #Conflicts: 1440000 | #Constraints: 77721 3226.79/3235.94 c #Conflicts: 1441000 | #Constraints: 78754 3226.79/3235.94 c #Conflicts: 1442000 | #Constraints: 79787 3226.79/3235.94 c #Conflicts: 1443000 | #Constraints: 80827 3226.79/3235.94 c #Conflicts: 1444000 | #Constraints: 81853 3226.79/3235.94 c #Conflicts: 1445000 | #Constraints: 82879 3226.79/3235.94 c #Conflicts: 1446000 | #Constraints: 83909 3226.79/3235.94 c #Conflicts: 1447000 | #Constraints: 84930 3226.79/3235.94 c #Conflicts: 1448000 | #Constraints: 85954 3226.79/3235.94 c #Conflicts: 1449000 | #Constraints: 86983 3226.79/3235.94 c #Conflicts: 1450000 | #Constraints: 88016 3226.79/3235.94 c #Conflicts: 1451000 | #Constraints: 89044 3226.79/3235.94 c #Conflicts: 1452000 | #Constraints: 90063 3226.79/3235.94 c #Conflicts: 1453000 | #Constraints: 91090 3226.79/3235.94 c #Conflicts: 1454000 | #Constraints: 92119 3226.79/3235.94 c #Conflicts: 1455000 | #Constraints: 93151 3226.79/3235.94 c #Conflicts: 1456000 | #Constraints: 94171 3226.79/3235.94 c #Conflicts: 1457000 | #Constraints: 95190 3226.79/3235.94 c #Conflicts: 1458000 | #Constraints: 96208 3226.79/3235.94 c #Conflicts: 1459000 | #Constraints: 97225 3226.79/3235.94 c #Conflicts: 1460000 | #Constraints: 98250 3226.79/3235.94 c #Conflicts: 1461000 | #Constraints: 99271 3226.79/3235.94 c #Conflicts: 1462000 | #Constraints: 100291 3226.79/3235.94 c #Conflicts: 1463000 | #Constraints: 101312 3226.79/3235.94 c #Conflicts: 1464000 | #Constraints: 102333 3226.79/3235.94 c #Conflicts: 1465000 | #Constraints: 103352 3226.79/3235.94 c #Conflicts: 1466000 | #Constraints: 104376 3226.79/3235.94 c #Conflicts: 1467000 | #Constraints: 105403 3226.79/3235.94 c #Conflicts: 1468000 | #Constraints: 106435 3226.79/3235.94 c #Conflicts: 1469000 | #Constraints: 107455 3226.79/3235.94 c #Conflicts: 1470000 | #Constraints: 108473 3226.79/3235.94 c #Conflicts: 1471000 | #Constraints: 109496 3226.79/3235.94 c #Conflicts: 1472000 | #Constraints: 110518 3226.79/3235.94 c #Conflicts: 1473000 | #Constraints: 111538 3380.23/3389.81 c #Conflicts: 1474000 | #Constraints: 112563 3380.23/3389.81 c #Conflicts: 1475000 | #Constraints: 113590 3380.23/3389.81 c #Conflicts: 1476000 | #Constraints: 114626 3380.23/3389.81 c #Conflicts: 1477000 | #Constraints: 115649 3380.23/3389.81 c #Conflicts: 1478000 | #Constraints: 116672 3380.23/3389.81 c #Conflicts: 1479000 | #Constraints: 117700 3380.23/3389.81 c #Conflicts: 1480000 | #Constraints: 118719 3380.23/3389.81 c #Conflicts: 1481000 | #Constraints: 119736 3380.23/3389.81 c #Conflicts: 1482000 | #Constraints: 120752 3380.23/3389.81 c #Conflicts: 1483000 | #Constraints: 121785 3380.23/3389.81 c #Conflicts: 1484000 | #Constraints: 122798 3380.23/3389.81 c #Conflicts: 1485000 | #Constraints: 123817 3380.23/3389.81 c #Conflicts: 1486000 | #Constraints: 124836 3380.23/3389.81 c #Conflicts: 1487000 | #Constraints: 125862 3380.23/3389.81 c #Conflicts: 1488000 | #Constraints: 126876 3380.23/3389.81 c #Conflicts: 1489000 | #Constraints: 127894 3380.23/3389.81 c #Conflicts: 1490000 | #Constraints: 128916 3380.23/3389.81 c #Conflicts: 1491000 | #Constraints: 129942 3380.23/3389.81 c #Conflicts: 1492000 | #Constraints: 130958 3380.23/3389.81 c #Conflicts: 1493000 | #Constraints: 131970 3380.23/3389.81 c #Conflicts: 1494000 | #Constraints: 132990 3380.23/3389.81 c #Conflicts: 1495000 | #Constraints: 134022 3380.23/3389.81 c #Conflicts: 1496000 | #Constraints: 135056 3380.23/3389.81 c INPROCESSING 3380.23/3389.81 c GARBAGE COLLECT 3380.23/3389.81 c rational objective 80 3545.43/3555.54 c #Conflicts: 1497000 | #Constraints: 69104 3545.43/3555.54 c #Conflicts: 1498000 | #Constraints: 70104 3545.43/3555.54 c #Conflicts: 1499000 | #Constraints: 71104 3545.43/3555.54 c #Conflicts: 1500000 | #Constraints: 72104 3545.43/3555.54 c #Conflicts: 1501000 | #Constraints: 73104 3545.43/3555.54 c #Conflicts: 1502000 | #Constraints: 74104 3545.43/3555.54 c #Conflicts: 1503000 | #Constraints: 75104 3545.43/3555.54 c #Conflicts: 1504000 | #Constraints: 76104 3545.43/3555.54 c #Conflicts: 1505000 | #Constraints: 77104 3545.43/3555.54 c #Conflicts: 1506000 | #Constraints: 78104 3545.43/3555.54 c #Conflicts: 1507000 | #Constraints: 79104 3545.43/3555.54 c #Conflicts: 1508000 | #Constraints: 80104 3545.43/3555.54 c #Conflicts: 1509000 | #Constraints: 81104 3545.43/3555.54 c #Conflicts: 1510000 | #Constraints: 82104 3545.43/3555.54 c #Conflicts: 1511000 | #Constraints: 83104 3545.43/3555.54 c #Conflicts: 1512000 | #Constraints: 84104 3545.43/3555.54 c #Conflicts: 1513000 | #Constraints: 85104 3545.43/3555.54 c #Conflicts: 1514000 | #Constraints: 86104 3545.43/3555.54 c #Conflicts: 1515000 | #Constraints: 87104 3545.43/3555.54 c #Conflicts: 1516000 | #Constraints: 88104 3545.43/3555.54 c #Conflicts: 1517000 | #Constraints: 89104 3545.43/3555.54 c #Conflicts: 1518000 | #Constraints: 90104 3545.43/3555.54 c #Conflicts: 1519000 | #Constraints: 91104 3545.43/3555.54 c #Conflicts: 1520000 | #Constraints: 92104 3545.43/3555.54 c #Conflicts: 1521000 | #Constraints: 93104 3545.43/3555.54 c #Conflicts: 1522000 | #Constraints: 94104 3545.43/3555.54 c INPROCESSING 3545.43/3555.54 c GARBAGE COLLECT 3545.43/3555.54 c rational objective 80 3600.08/3610.30 c #Conflicts: 1523000 | #Constraints: 48595 3600.08/3610.30 c #Conflicts: 1524000 | #Constraints: 49595 3600.08/3610.30 c #Conflicts: 1525000 | #Constraints: 50595 3600.08/3610.30 c #Conflicts: 1526000 | #Constraints: 51595 3600.08/3610.30 c #Conflicts: 1527000 | #Constraints: 52595 3600.08/3610.30 c #Conflicts: 1528000 | #Constraints: 53595 3600.08/3610.30 c #Conflicts: 1529000 | #Constraints: 54595 3600.08/3610.30 c #Conflicts: 1530000 | #Constraints: 55595 3600.08/3610.30 c #Conflicts: 1531000 | #Constraints: 56595 3600.08/3610.30 c #Conflicts: 1532000 | #Constraints: 57595 3600.08/3610.30 c Program interrupted by user. 3600.08/3610.30 c cpu time 3579.29 s 3600.08/3610.30 c deterministic time 370481117489 3.70e+11 3600.08/3610.30 c optimization time 54.3044 s 3600.08/3610.30 c total solve time 3524.98 s 3600.08/3610.30 c core-guided solve time 1735.62 s 3600.08/3610.30 c propagation time 3198.45 s 3600.08/3610.30 c conflict analysis time 340.211 s 3600.08/3610.30 c propagations 123420006 3600.08/3610.30 c resolve steps 10894250 3600.08/3610.30 c decisions 7674630 3600.08/3610.30 c conflicts 1532663 3600.08/3610.30 c restarts 3037 3600.08/3610.30 c inprocessing phases 86 3600.08/3610.30 c input clauses 638 3600.08/3610.30 c input cardinalities 195 3600.08/3610.30 c input general constraints 397 3600.08/3610.30 c input average constraint length 39.11 3600.08/3610.30 c input average constraint degree 12.38 3600.08/3610.30 c learned clauses 501688 3600.08/3610.30 c learned cardinalities 5160 3600.08/3610.30 c learned general constraints 1054550 3600.08/3610.30 c learned average constraint length 105.18 3600.08/3610.30 c learned average constraint degree 2285144002.09 3600.08/3610.30 c watched constraints 923379 3600.08/3610.30 c counting constraints 131568 3600.08/3610.30 c gcd simplifications 142052 3600.08/3610.30 c detected cardinalities 260 3600.08/3610.30 c weakened non-implied lits 42516572 3600.08/3610.30 c weakened non-implying lits 365987 3600.08/3610.30 c original variables 441 3600.08/3610.30 c clausal propagations 11585734 3600.08/3610.30 c cardinality propagations 4035748 3600.08/3610.30 c watched propagations 19766359 3600.08/3610.30 c counting propagations 86439931 3600.08/3610.30 c watch lookups 60741358928 3600.08/3610.30 c watch backjump lookups 47188181301 3600.08/3610.30 c watch checks 245948722719 3600.08/3610.30 c propagation checks 15521616860 3600.08/3610.30 c constraint additions 815954851 3600.08/3610.30 c trail pops 132601288 3600.08/3610.30 c formula constraints 441 3600.08/3610.30 c learned constraints 1506915 3600.08/3610.30 c bound constraints 116 3600.08/3610.30 c core-guided constraints 673 3600.08/3610.30 c encountered formula constraints 1399998 3600.08/3610.30 c encountered learned constraints 6673579 3600.08/3610.30 c encountered bound constraints 341 3600.08/3610.30 c encountered core-guided constraints 1064324 3600.08/3610.30 c LP total time 69.9067 s 3600.08/3610.30 c LP solve time 55.92 s 3600.08/3610.30 c LP constraints added 526 3600.08/3610.30 c LP constraints removed 84 3600.08/3610.30 c LP pivots internal 1532928 3600.08/3610.30 c LP pivots root 53977 3600.08/3610.30 c LP calls 30220 3600.08/3610.30 c LP optimalities 1515 3600.08/3610.30 c LP no pivot count 231 3600.08/3610.30 c LP infeasibilities 28666 3600.08/3610.30 c LP valid Farkas constraints 28649 3600.08/3610.30 c LP learned Farkas constraints 25749 3600.08/3610.30 c LP basis resets 53 3600.08/3610.30 c LP cycling count 33 3600.08/3610.30 c LP singular count 1 3600.08/3610.30 c LP no primal count 0 3600.08/3610.30 c LP no farkas count 17 3600.08/3610.30 c LP other issue count 2 3600.08/3610.30 c LP Gomory cuts 85 3600.08/3610.30 c LP learned cuts 0 3600.08/3610.30 c LP deleted cuts 84 3600.08/3610.30 c LP encountered Gomory constraints 0 3600.08/3610.30 c LP encountered Farkas constraints 2733147 3600.08/3610.30 c LP encountered learned Farkas constraints 529775 3600.08/3610.30 c CG auxiliary variables introduced 251 3600.08/3610.30 c CG solutions found 36 3600.08/3610.30 c CG cores constructed 80 3600.08/3610.30 c CG core cardinality constraints returned 0 3600.08/3610.30 c CG unit cores 0 3600.08/3610.30 c CG single cores 80 3600.08/3610.30 c CG blocks removed during cardinality reduction 0 3600.08/3610.30 c CG first core best 0 3600.08/3610.30 c CG decision core best 0 3600.08/3610.30 c CG core reduction tie 0 3600.08/3610.30 c CG core degree average 1.00 3600.08/3610.30 c CG core slack average 5.65 3600.08/3610.30 s SATISFIABLE 3600.08/3610.30 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
OK 85
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 (62120 MiB free)
memory of node 1: 64473 MiB (61831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455319-1721461927/watcher-4455319-1721461927 -o /tmp/evaluation-result-4455319-1721461927/solver-4455319-1721461927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455319-1721461927.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1098740, runsolver pid=1098737
[startup+0.100717 s]*
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126924600/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=38888 memory=9464 CPUtime=0.09 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 785 0 0 0 8 1 0 0 20 0 1 0 198360765 39821312 2366 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 9722 2366 1780 922 0 1674 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38888 KiB
Current children cumulated memory: 9464 KiB
[startup+0.205556 s]*
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126920520/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=40244 memory=13148 CPUtime=0.2 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 1206 0 0 0 17 3 0 0 20 0 1 0 198360765 41209856 3287 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 10061 3287 1796 922 0 2013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40244 KiB
Current children cumulated memory: 13148 KiB
[startup+0.305351 s]*
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126919372/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=41196 memory=14480 CPUtime=0.3 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 1434 0 0 0 26 4 0 0 20 0 1 0 198360765 42184704 3620 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 10299 3620 1870 922 0 2251 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41196 KiB
Current children cumulated memory: 14480 KiB
[startup+0.700152 s]
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126918224/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=42520 memory=15760 CPUtime=0.69 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 1768 0 0 0 63 6 0 0 20 0 1 0 198360765 43540480 3940 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 10630 3940 1870 922 0 2582 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 15760 KiB
[startup+1.5002 s]
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126917524/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=44496 memory=18260 CPUtime=1.48 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 2432 0 0 0 138 10 0 0 20 0 1 0 198360765 45563904 4565 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 11124 4565 1870 922 0 3076 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44496 KiB
Current children cumulated memory: 18260 KiB
[startup+3.10543 s]
/proc/loadavg: 3.86 4.05 4.08 5/260 1098741
/proc/meminfo: memFree=126911440/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=49556 memory=22604 CPUtime=3.08 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 3584 0 0 0 292 16 0 0 20 0 1 0 198360765 50745344 5651 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 12389 5651 1870 922 0 4341 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49556 KiB
Current children cumulated memory: 22604 KiB
[startup+6.30015 s]
/proc/loadavg: 3.87 4.05 4.08 5/260 1098742
/proc/meminfo: memFree=126907884/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=53224 memory=25772 CPUtime=6.28 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 4390 0 0 0 598 30 0 0 20 0 1 0 198360765 54501376 6443 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 13306 6443 1870 922 0 5258 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 53224 KiB
Current children cumulated memory: 25772 KiB
[startup+12.7001 s]
/proc/loadavg: 3.88 4.05 4.08 5/260 1098742
/proc/meminfo: memFree=126905488/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=54476 memory=28308 CPUtime=12.65 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 5133 0 0 0 1213 52 0 0 20 0 1 0 198360765 55783424 7077 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 13619 7077 1870 922 0 5571 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54476 KiB
Current children cumulated memory: 28308 KiB
[startup+25.5002 s]
/proc/loadavg: 3.98 4.06 4.08 5/260 1098746
/proc/meminfo: memFree=126900824/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=62000 memory=32172 CPUtime=25.42 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 6380 0 0 0 2449 93 0 0 20 0 1 0 198360765 63488000 8043 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 15500 8043 1870 922 0 7452 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 62000 KiB
Current children cumulated memory: 32172 KiB
[startup+51.1055 s]
/proc/loadavg: 3.98 4.06 4.08 5/260 1098750
/proc/meminfo: memFree=126884884/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=75400 memory=43420 CPUtime=50.97 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 8485 0 0 0 4939 158 0 0 20 0 1 0 198360765 77209600 10855 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 18850 10855 1870 922 0 10802 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 75400 KiB
Current children cumulated memory: 43420 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.13 4.10 5/260 1098759
/proc/meminfo: memFree=126875028/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=83364 memory=51840 CPUtime=102.05 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 10155 0 0 0 9938 267 0 0 20 0 1 0 198360765 85364736 12960 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 20841 12960 1870 922 0 12793 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 51840 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.14 4.11 5/260 1098770
/proc/meminfo: memFree=126863944/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=86972 memory=57384 CPUtime=161.92 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 11457 0 0 0 15816 376 0 0 20 0 1 0 198360765 89059328 14346 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 21743 14346 1870 922 0 13695 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 86972 KiB
Current children cumulated memory: 57384 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1099256
/proc/meminfo: memFree=126866016/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=132384 memory=84880 CPUtime=221.79 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 15539 0 0 0 21709 470 0 0 20 0 1 0 198360765 135561216 21220 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 33096 21220 1870 922 0 25048 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 132384 KiB
Current children cumulated memory: 84880 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/256 1099313
/proc/meminfo: memFree=126715996/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=179904 memory=124348 CPUtime=281.65 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 20003 0 0 0 27663 502 0 0 20 0 1 0 198360765 184221696 31087 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 44976 31087 1870 922 0 36928 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 179904 KiB
Current children cumulated memory: 124348 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1099323
/proc/meminfo: memFree=126664364/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=187036 memory=142520 CPUtime=341.49 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 21912 0 0 0 33605 544 0 0 20 0 1 0 198360765 191524864 35630 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 46759 35630 1870 922 0 38711 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 187036 KiB
Current children cumulated memory: 142520 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1099502
/proc/meminfo: memFree=126618992/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=190828 memory=147060 CPUtime=401.37 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 22552 0 0 0 39539 598 0 0 20 0 1 0 198360765 195407872 36765 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 47707 36765 1870 922 0 39659 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 190828 KiB
Current children cumulated memory: 147060 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1099559
/proc/meminfo: memFree=122312220/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=191408 memory=147860 CPUtime=461.23 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 22712 0 0 0 45479 644 0 0 20 0 1 0 198360765 196001792 36965 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
################
# More data... #
################
Current children cumulated memory: 269496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/258 1100646
/proc/meminfo: memFree=121904532/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=349144 memory=269880 CPUtime=2914.16 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 48765 0 0 0 289574 1842 0 0 20 0 1 0 198360765 357523456 67470 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 87286 67470 1976 922 0 79238 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 269880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/258 1100656
/proc/meminfo: memFree=121900044/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=349144 memory=269928 CPUtime=2973.98 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 48849 0 0 0 295523 1875 0 0 20 0 1 0 198360765 357523456 67482 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 87286 67482 1976 922 0 79238 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 269928 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/258 1100667
/proc/meminfo: memFree=121870424/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=349144 memory=269968 CPUtime=3033.8 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 48911 0 0 0 301472 1908 0 0 20 0 1 0 198360765 357523456 67492 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 87286 67492 1976 922 0 79238 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 269968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/258 1100678
/proc/meminfo: memFree=121866700/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=350976 memory=270752 CPUtime=3093.61 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 49234 0 0 0 307431 1930 0 0 20 0 1 0 198360765 359399424 67688 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 87744 67688 1976 922 0 79696 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 350976 KiB
Current children cumulated memory: 270752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/258 1100691
/proc/meminfo: memFree=121853268/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=353596 memory=272584 CPUtime=3153.42 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 49769 0 0 0 313394 1948 0 0 20 0 1 0 198360765 362082304 68146 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 88399 68146 1976 922 0 80351 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 353596 KiB
Current children cumulated memory: 272584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/255 1100701
/proc/meminfo: memFree=121842232/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=358136 memory=275656 CPUtime=3213.23 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 50689 0 0 0 319363 1960 0 0 20 0 1 0 198360765 366731264 68914 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 89534 68914 1976 922 0 81486 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 358136 KiB
Current children cumulated memory: 275656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.10 4.12 5/255 1100712
/proc/meminfo: memFree=121831700/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=361064 memory=278332 CPUtime=3273.04 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 51355 0 0 0 325331 1973 0 0 20 0 1 0 198360765 369729536 69583 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 90266 69583 1976 922 0 82218 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 361064 KiB
Current children cumulated memory: 278332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/255 1100723
/proc/meminfo: memFree=121821664/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=364264 memory=286932 CPUtime=3332.88 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 52048 0 0 0 331300 1988 0 0 20 0 1 0 198360765 373006336 71733 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 91066 71733 1976 922 0 83018 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 364264 KiB
Current children cumulated memory: 286932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/255 1100733
/proc/meminfo: memFree=121807904/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=297416 CPUtime=3392.69 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53490 0 0 0 337267 2002 0 0 20 0 1 0 198360765 380006400 74354 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 74354 1976 922 0 84727 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 297416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/255 1100745
/proc/meminfo: memFree=121805064/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=297416 CPUtime=3452.51 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53519 0 0 0 343226 2025 0 0 20 0 1 0 198360765 380006400 74354 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 74354 1976 922 0 84727 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 297416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/258 1100762
/proc/meminfo: memFree=121796884/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=299188 CPUtime=3512.33 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53581 0 0 0 349187 2046 0 0 20 0 1 0 198360765 380006400 74797 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 74797 1976 922 0 84727 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 299188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 1100772
/proc/meminfo: memFree=121767124/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=319680 CPUtime=3572.15 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53739 0 0 0 355147 2068 0 0 20 0 1 0 198360765 380006400 79920 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 79920 1976 922 0 84727 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 319680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 1100777
/proc/meminfo: memFree=121765824/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=320392 CPUtime=3600.08 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53843 0 0 0 357929 2079 0 0 20 0 1 0 198360765 380006400 80098 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 80098 1976 922 0 84727 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 320392 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 1098740 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.29 s, system=20.8028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/258 1100777
/proc/meminfo: memFree=121765824/131524600 swapFree=131071996/131071996
[pid=1098740] ppid=1098737 vsize=371100 memory=320392 CPUtime=3600.08 cores=4,6
/proc/1098740/stat : 1098740 (roundingsat) R 1098737 1098740 1098054 0 -1 4194304 53843 0 0 0 357929 2079 0 0 20 0 1 0 198360765 380006400 80098 134679101440 4194304 7968373 140736355920688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 26292224 140736355926972 140736355927136 140736355927136 140736355934153 0
/proc/1098740/statm: 92775 80098 1976 922 0 84727 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 371100 KiB
Current children cumulated memory: 320392 KiB
Child status: 0
Real time (s): 3610.3
CPU time (s): 3600.09
CPU user time (s): 3579.29
CPU system time (s): 20.8028
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 371100
Max. memory (cumulated for all children) (KiB): 320392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.29
system time used= 20.8028
maximum resident set size= 320392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 2835
# summary of solver processes directly reported to runsolver:
# pid: 1098740
# total CPU time (s): 3600.09
# total CPU user time (s): 3579.29
# total CPU system time (s): 20.8028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98363 second user time and 16.4708 second system time
The end
Begin job on nodeC030 at 2024-07-20 09:52:20 IDJOB=4455319 IDBENCH=155338 IDSOLVER=3084 FILE ID=nodeC030/4455319-1721461927 RUNJOBID= nodeC030-1721461845-1098065 SLURM_JOB_ID= 7545713 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455319-1721461927/watcher-4455319-1721461927 -o /tmp/evaluation-result-4455319-1721461927/solver-4455319-1721461927 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098065 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455319-1721461927.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=538781794 nodeC030.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 : 3661.072 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.28 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 : 3686.763 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.11 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 : 3603.102 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.28 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 : 3600.115 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.11 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 : 3656.593 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.28 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 : 3686.806 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.11 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 : 3656.928 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.28 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 : 3599.922 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126927296 kB MemAvailable: 129507428 kB Buffers: 538660 kB Cached: 2861732 kB SwapCached: 0 kB Active: 1219064 kB Inactive: 2708412 kB Active(anon): 1556 kB Inactive(anon): 571124 kB Active(file): 1217508 kB Inactive(file): 2137288 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5760 kB Writeback: 0 kB AnonPages: 526100 kB Mapped: 116740 kB Shmem: 45912 kB KReclaimable: 130320 kB Slab: 248340 kB SReclaimable: 130320 kB SUnreclaim: 118020 kB KernelStack: 4188 kB PageTables: 10804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 713668 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74336 kB HardwareCorrupted: 0 kB AnonHugePages: 346112 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: 262868 kB DirectMap2M: 23627776 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 889748 MiB End job on nodeC030 at 2024-07-20 10:52:30