| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 86 | 3600.08 | 3610.88 |
| 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.36 c bounds - >= 0 @ 0.002079 0.30/0.36 c bounds 121 >= 0 @ 0.060894 0.30/0.36 c bounds 121 >= 1 @ 0.061109 0.30/0.36 c bounds 121 >= 2 @ 0.061249 0.30/0.36 c bounds 121 >= 3 @ 0.061389 0.30/0.36 c bounds 121 >= 4 @ 0.06153 0.30/0.36 c bounds 121 >= 5 @ 0.061661 0.30/0.36 c bounds 121 >= 6 @ 0.061796 0.30/0.36 c bounds 121 >= 7 @ 0.061934 0.30/0.36 c bounds 121 >= 8 @ 0.062089 0.30/0.36 c bounds 121 >= 9 @ 0.062235 0.30/0.36 c bounds 121 >= 10 @ 0.062383 0.30/0.36 c bounds 121 >= 11 @ 0.062534 0.30/0.36 c bounds 121 >= 12 @ 0.062672 0.30/0.36 c bounds 121 >= 13 @ 0.062812 0.30/0.36 c bounds 121 >= 14 @ 0.06297 0.30/0.36 c bounds 121 >= 15 @ 0.063119 0.30/0.36 c bounds 121 >= 16 @ 0.063276 0.30/0.36 c bounds 121 >= 17 @ 0.063429 0.30/0.36 c bounds 121 >= 18 @ 0.063574 0.30/0.36 c bounds 121 >= 19 @ 0.063724 0.30/0.36 c bounds 121 >= 20 @ 0.063871 0.30/0.36 c bounds 121 >= 21 @ 0.064029 0.30/0.36 c bounds 121 >= 22 @ 0.064186 0.30/0.36 c bounds 121 >= 23 @ 0.064343 0.30/0.36 c bounds 121 >= 24 @ 0.064358 0.30/0.36 c bounds 121 >= 25 @ 0.064358 0.30/0.36 c bounds 121 >= 26 @ 0.064358 0.30/0.36 c bounds 121 >= 27 @ 0.064358 0.30/0.36 c bounds 121 >= 28 @ 0.064358 0.30/0.36 c bounds 121 >= 29 @ 0.064358 0.30/0.36 c bounds 121 >= 30 @ 0.064464 0.30/0.36 c bounds 121 >= 31 @ 0.064628 0.30/0.36 c bounds 121 >= 32 @ 0.064781 0.30/0.36 c bounds 121 >= 33 @ 0.064938 0.30/0.36 c bounds 121 >= 34 @ 0.065111 0.30/0.36 c bounds 121 >= 35 @ 0.065275 0.30/0.36 c bounds 119 >= 35 @ 0.065354 0.30/0.36 c bounds 119 >= 36 @ 0.065354 0.30/0.36 c bounds 119 >= 37 @ 0.065354 0.30/0.36 c bounds 119 >= 38 @ 0.065354 0.30/0.36 c bounds 119 >= 39 @ 0.065354 0.30/0.36 c bounds 119 >= 40 @ 0.065354 0.30/0.36 c bounds 119 >= 41 @ 0.065354 0.30/0.36 c bounds 119 >= 42 @ 0.065456 0.30/0.36 c bounds 119 >= 43 @ 0.065626 0.30/0.36 c bounds 119 >= 44 @ 0.065786 0.30/0.36 c bounds 119 >= 45 @ 0.065932 0.30/0.36 c bounds 119 >= 46 @ 0.066071 0.30/0.36 c bounds 119 >= 47 @ 0.066231 0.30/0.36 c bounds 119 >= 48 @ 0.066394 0.30/0.36 c bounds 119 >= 49 @ 0.066574 0.30/0.36 c bounds 119 >= 50 @ 0.066757 0.30/0.36 c bounds 119 >= 51 @ 0.066925 0.30/0.36 c bounds 119 >= 52 @ 0.067099 0.30/0.36 c bounds 119 >= 53 @ 0.06728 0.30/0.36 c bounds 119 >= 54 @ 0.067339 0.30/0.36 c bounds 119 >= 55 @ 0.067339 0.30/0.36 c bounds 119 >= 56 @ 0.067339 0.30/0.36 c bounds 119 >= 57 @ 0.067339 0.30/0.36 c bounds 119 >= 58 @ 0.067339 0.30/0.36 c bounds 119 >= 59 @ 0.067365 0.30/0.36 c bounds 119 >= 60 @ 0.067551 0.30/0.36 c bounds 119 >= 61 @ 0.067754 0.30/0.36 c bounds 119 >= 62 @ 0.067937 0.30/0.36 c bounds 119 >= 63 @ 0.068128 0.30/0.36 c bounds 119 >= 64 @ 0.068313 0.30/0.36 c bounds 119 >= 65 @ 0.068333 0.30/0.36 c bounds 119 >= 66 @ 0.068333 0.30/0.36 c bounds 118 >= 66 @ 0.068333 0.30/0.36 c bounds 118 >= 67 @ 0.069311 0.30/0.36 c bounds 117 >= 67 @ 0.069652 0.30/0.36 c bounds 117 >= 68 @ 0.070006 0.30/0.36 c bounds 117 >= 69 @ 0.071027 0.30/0.36 c bounds 116 >= 69 @ 0.072653 0.30/0.36 c bounds 116 >= 70 @ 0.074932 0.30/0.36 c bounds 115 >= 70 @ 0.075831 0.30/0.36 c bounds 114 >= 70 @ 0.078056 0.30/0.36 c bounds 114 >= 71 @ 0.079222 0.30/0.36 c bounds 113 >= 71 @ 0.079222 0.30/0.36 c bounds 113 >= 72 @ 0.080781 0.30/0.36 c bounds 112 >= 72 @ 0.081776 0.30/0.36 c bounds 111 >= 72 @ 0.083757 0.30/0.36 c bounds 110 >= 72 @ 0.084764 0.30/0.36 c bounds 110 >= 73 @ 0.085273 0.30/0.36 c bounds 109 >= 73 @ 0.091445 0.30/0.36 c bounds 109 >= 74 @ 0.1098 0.30/0.36 c bounds 108 >= 74 @ 0.113596 0.30/0.36 c bounds 107 >= 74 @ 0.11464 0.30/0.36 c bounds 106 >= 74 @ 0.116304 0.30/0.36 c bounds 105 >= 74 @ 0.119137 0.30/0.36 c bounds 104 >= 74 @ 0.122713 0.30/0.36 c bounds 103 >= 74 @ 0.136152 0.30/0.36 c #Conflicts: 1000 | #Constraints: 1901 0.30/0.36 c #Conflicts: 2000 | #Constraints: 2901 0.30/0.36 c INPROCESSING 0.30/0.36 c GARBAGE COLLECT 0.30/0.36 c rational objective 76.5302 0.69/0.75 c bounds 102 >= 74 @ 0.382054 0.69/0.75 c bounds 101 >= 74 @ 0.395366 0.69/0.75 c bounds 100 >= 74 @ 0.427321 0.69/0.75 c #Conflicts: 3000 | #Constraints: 2775 0.69/0.75 c bounds 99 >= 74 @ 0.489094 0.69/0.75 c bounds 98 >= 74 @ 0.546186 0.69/0.75 c bounds 97 >= 74 @ 0.566049 0.69/0.75 c #Conflicts: 4000 | #Constraints: 3803 0.69/0.75 c INPROCESSING 0.69/0.75 c GARBAGE COLLECT 0.69/0.75 c rational objective 76.5302 1.29/1.30 c bounds 97 >= 75 @ 0.829413 1.29/1.30 c #Conflicts: 5000 | #Constraints: 3231 1.29/1.30 c #Conflicts: 6000 | #Constraints: 4265 1.29/1.30 c INPROCESSING 1.29/1.30 c GARBAGE COLLECT 1.29/1.30 c rational objective 76.5302 2.09/2.16 c #Conflicts: 7000 | #Constraints: 3258 2.09/2.16 c #Conflicts: 8000 | #Constraints: 4258 2.09/2.16 c #Conflicts: 9000 | #Constraints: 5258 2.09/2.16 c INPROCESSING 2.09/2.16 c GARBAGE COLLECT 2.09/2.16 c rational objective 76.5302 2.68/2.79 c #Conflicts: 10000 | #Constraints: 3970 2.68/2.79 c #Conflicts: 11000 | #Constraints: 5008 2.68/2.79 c #Conflicts: 12000 | #Constraints: 6070 2.68/2.79 c INPROCESSING 2.68/2.79 c GARBAGE COLLECT 2.68/2.79 c rational objective 76.5302 3.38/3.46 c #Conflicts: 13000 | #Constraints: 4442 3.38/3.46 c bounds 96 >= 75 @ 2.77452 3.38/3.46 c #Conflicts: 14000 | #Constraints: 5486 3.38/3.46 c #Conflicts: 15000 | #Constraints: 6538 3.38/3.46 c INPROCESSING 3.38/3.46 c GARBAGE COLLECT 3.38/3.46 c rational objective 76.5302 4.78/4.81 c #Conflicts: 16000 | #Constraints: 4688 4.78/4.81 c #Conflicts: 17000 | #Constraints: 5688 4.78/4.81 c #Conflicts: 18000 | #Constraints: 6688 4.78/4.81 c INPROCESSING 4.78/4.81 c GARBAGE COLLECT 4.78/4.81 c rational objective 76.5302 5.57/5.63 c #Conflicts: 19000 | #Constraints: 4693 5.57/5.63 c #Conflicts: 20000 | #Constraints: 5715 5.57/5.63 c bounds 95 >= 75 @ 4.97754 5.57/5.63 c #Conflicts: 21000 | #Constraints: 6760 5.57/5.63 c bounds 94 >= 75 @ 5.20063 5.57/5.63 c INPROCESSING 5.57/5.63 c GARBAGE COLLECT 5.57/5.63 c rational objective 76.5302 6.47/6.52 c #Conflicts: 22000 | #Constraints: 4500 6.47/6.52 c bounds 93 >= 75 @ 5.55063 6.47/6.52 c #Conflicts: 23000 | #Constraints: 5501 6.47/6.52 c #Conflicts: 24000 | #Constraints: 6537 6.47/6.52 c #Conflicts: 25000 | #Constraints: 7573 6.47/6.52 c INPROCESSING 6.47/6.52 c GARBAGE COLLECT 6.47/6.52 c rational objective 76.5302 8.47/8.56 c #Conflicts: 26000 | #Constraints: 5103 8.47/8.56 c #Conflicts: 27000 | #Constraints: 6103 8.47/8.56 c #Conflicts: 28000 | #Constraints: 7103 8.47/8.56 c #Conflicts: 29000 | #Constraints: 8103 8.47/8.56 c INPROCESSING 8.47/8.56 c GARBAGE COLLECT 8.47/8.56 c rational objective 76.5302 9.66/9.79 c bounds 92 >= 75 @ 8.31931 9.66/9.79 c #Conflicts: 30000 | #Constraints: 5497 9.66/9.79 c bounds 91 >= 75 @ 8.61543 9.66/9.79 c #Conflicts: 31000 | #Constraints: 6535 9.66/9.79 c bounds 90 >= 75 @ 8.64149 9.66/9.79 c #Conflicts: 32000 | #Constraints: 7581 9.66/9.79 c bounds 89 >= 75 @ 9.08655 9.66/9.79 c #Conflicts: 33000 | #Constraints: 8617 9.66/9.79 c INPROCESSING 9.66/9.79 c GARBAGE COLLECT 9.66/9.79 c rational objective 76.5302 11.07/11.13 c #Conflicts: 34000 | #Constraints: 5721 11.07/11.13 c #Conflicts: 35000 | #Constraints: 6756 11.07/11.13 c #Conflicts: 36000 | #Constraints: 7795 11.07/11.13 c #Conflicts: 37000 | #Constraints: 8839 11.07/11.13 c INPROCESSING 11.07/11.13 c GARBAGE COLLECT 11.07/11.13 c rational objective 76.5302 12.56/12.62 c #Conflicts: 38000 | #Constraints: 5744 12.56/12.62 c bounds 89 >= 76 @ 11.2519 12.56/12.62 c #Conflicts: 39000 | #Constraints: 6792 12.56/12.62 c #Conflicts: 40000 | #Constraints: 7846 12.56/12.62 c #Conflicts: 41000 | #Constraints: 8888 12.56/12.62 c INPROCESSING 12.56/12.62 c GARBAGE COLLECT 12.56/12.62 c rational objective 76.5302 14.06/14.18 c #Conflicts: 42000 | #Constraints: 5594 14.06/14.18 c #Conflicts: 43000 | #Constraints: 6605 14.06/14.18 c #Conflicts: 44000 | #Constraints: 7642 14.06/14.18 c #Conflicts: 45000 | #Constraints: 8673 14.06/14.18 c #Conflicts: 46000 | #Constraints: 9703 14.06/14.18 c INPROCESSING 14.06/14.18 c GARBAGE COLLECT 14.06/14.18 c rational objective 76.5302 16.55/16.65 c #Conflicts: 47000 | #Constraints: 6194 16.55/16.65 c #Conflicts: 48000 | #Constraints: 7194 16.55/16.65 c #Conflicts: 49000 | #Constraints: 8194 16.55/16.65 c #Conflicts: 50000 | #Constraints: 9194 16.55/16.65 c #Conflicts: 51000 | #Constraints: 10194 16.55/16.65 c INPROCESSING 16.55/16.65 c GARBAGE COLLECT 16.55/16.65 c rational objective 76.5302 18.24/18.31 c #Conflicts: 52000 | #Constraints: 6575 18.24/18.31 c #Conflicts: 53000 | #Constraints: 7591 18.24/18.31 c #Conflicts: 54000 | #Constraints: 8634 18.24/18.31 c #Conflicts: 55000 | #Constraints: 9668 18.24/18.31 c #Conflicts: 56000 | #Constraints: 10705 18.24/18.31 c INPROCESSING 18.24/18.31 c GARBAGE COLLECT 18.24/18.31 c rational objective 76.5302 21.34/21.40 c #Conflicts: 57000 | #Constraints: 6786 21.34/21.40 c #Conflicts: 58000 | #Constraints: 7786 21.34/21.40 c #Conflicts: 59000 | #Constraints: 8786 21.34/21.40 c #Conflicts: 60000 | #Constraints: 9786 21.34/21.40 c #Conflicts: 61000 | #Constraints: 10786 21.34/21.40 c INPROCESSING 21.34/21.40 c GARBAGE COLLECT 21.34/21.40 c rational objective 76.5302 22.94/23.08 c #Conflicts: 62000 | #Constraints: 6777 22.94/23.08 c #Conflicts: 63000 | #Constraints: 7817 22.94/23.08 c #Conflicts: 64000 | #Constraints: 8858 22.94/23.08 c #Conflicts: 65000 | #Constraints: 9895 22.94/23.08 c #Conflicts: 66000 | #Constraints: 10934 22.94/23.08 c INPROCESSING 22.94/23.08 c GARBAGE COLLECT 22.94/23.08 c rational objective 76.5302 25.23/25.36 c #Conflicts: 67000 | #Constraints: 6617 25.23/25.36 c #Conflicts: 68000 | #Constraints: 7628 25.23/25.36 c #Conflicts: 69000 | #Constraints: 8668 25.23/25.36 c #Conflicts: 70000 | #Constraints: 9700 25.23/25.36 c #Conflicts: 71000 | #Constraints: 10735 25.23/25.36 c #Conflicts: 72000 | #Constraints: 11766 25.23/25.36 c INPROCESSING 25.23/25.36 c GARBAGE COLLECT 25.23/25.36 c rational objective 76.5302 29.22/29.36 c #Conflicts: 73000 | #Constraints: 7236 29.22/29.36 c #Conflicts: 74000 | #Constraints: 8236 29.22/29.36 c #Conflicts: 75000 | #Constraints: 9236 29.22/29.36 c #Conflicts: 76000 | #Constraints: 10236 29.22/29.36 c #Conflicts: 77000 | #Constraints: 11236 29.22/29.36 c #Conflicts: 78000 | #Constraints: 12236 29.22/29.36 c INPROCESSING 29.22/29.36 c GARBAGE COLLECT 29.22/29.36 c rational objective 76.5302 31.61/31.73 c #Conflicts: 79000 | #Constraints: 7612 31.61/31.73 c #Conflicts: 80000 | #Constraints: 8649 31.61/31.73 c #Conflicts: 81000 | #Constraints: 9702 31.61/31.73 c bounds 88 >= 76 @ 29.0464 31.61/31.73 c #Conflicts: 82000 | #Constraints: 10745 31.61/31.73 c #Conflicts: 83000 | #Constraints: 11783 31.61/31.73 c #Conflicts: 84000 | #Constraints: 12825 31.61/31.73 c INPROCESSING 31.61/31.73 c GARBAGE COLLECT 31.61/31.73 c rational objective 76.5302 34.40/34.50 c #Conflicts: 85000 | #Constraints: 7860 34.40/34.50 c #Conflicts: 86000 | #Constraints: 8892 34.40/34.50 c #Conflicts: 87000 | #Constraints: 9932 34.40/34.50 c #Conflicts: 88000 | #Constraints: 10969 34.40/34.50 c #Conflicts: 89000 | #Constraints: 11995 34.40/34.50 c #Conflicts: 90000 | #Constraints: 13025 34.40/34.50 c INPROCESSING 34.40/34.50 c GARBAGE COLLECT 34.40/34.50 c rational objective 76.5302 39.38/39.52 c #Conflicts: 91000 | #Constraints: 7859 39.38/39.52 c #Conflicts: 92000 | #Constraints: 8859 39.38/39.52 c #Conflicts: 93000 | #Constraints: 9859 39.38/39.52 c #Conflicts: 94000 | #Constraints: 10859 39.38/39.52 c #Conflicts: 95000 | #Constraints: 11859 39.38/39.52 c #Conflicts: 96000 | #Constraints: 12859 39.38/39.52 c INPROCESSING 39.38/39.52 c GARBAGE COLLECT 39.38/39.52 c rational objective 76.5302 41.79/41.99 c #Conflicts: 97000 | #Constraints: 7610 41.79/41.99 c #Conflicts: 98000 | #Constraints: 8613 41.79/41.99 c #Conflicts: 99000 | #Constraints: 9667 41.79/41.99 c #Conflicts: 100000 | #Constraints: 10712 41.79/41.99 c #Conflicts: 101000 | #Constraints: 11747 41.79/41.99 c #Conflicts: 102000 | #Constraints: 12786 41.79/41.99 c #Conflicts: 103000 | #Constraints: 13826 41.79/41.99 c INPROCESSING 41.79/41.99 c GARBAGE COLLECT 41.79/41.99 c rational objective 76.5302 44.57/44.76 c #Conflicts: 104000 | #Constraints: 8255 44.57/44.76 c #Conflicts: 105000 | #Constraints: 9291 44.57/44.76 c #Conflicts: 106000 | #Constraints: 10318 44.57/44.76 c #Conflicts: 107000 | #Constraints: 11348 44.57/44.76 c bounds 87 >= 76 @ 42.1239 44.57/44.76 c #Conflicts: 108000 | #Constraints: 12376 44.57/44.76 c #Conflicts: 109000 | #Constraints: 13419 44.57/44.76 c bounds 86 >= 76 @ 42.7642 44.57/44.76 c #Conflicts: 110000 | #Constraints: 14463 44.57/44.76 c INPROCESSING 44.57/44.76 c GARBAGE COLLECT 44.57/44.76 c rational objective 76.5302 47.76/47.93 c #Conflicts: 111000 | #Constraints: 8665 47.76/47.93 c #Conflicts: 112000 | #Constraints: 9697 47.76/47.93 c #Conflicts: 113000 | #Constraints: 10734 47.76/47.93 c #Conflicts: 114000 | #Constraints: 11767 47.76/47.93 c #Conflicts: 115000 | #Constraints: 12792 47.76/47.93 c #Conflicts: 116000 | #Constraints: 13822 47.76/47.93 c #Conflicts: 117000 | #Constraints: 14859 47.76/47.93 c INPROCESSING 47.76/47.93 c GARBAGE COLLECT 47.76/47.93 c rational objective 76.5302 53.75/53.98 c #Conflicts: 118000 | #Constraints: 8872 53.75/53.98 c #Conflicts: 119000 | #Constraints: 9872 53.75/53.98 c #Conflicts: 120000 | #Constraints: 10872 53.75/53.98 c #Conflicts: 121000 | #Constraints: 11872 53.75/53.98 c #Conflicts: 122000 | #Constraints: 12872 53.75/53.98 c #Conflicts: 123000 | #Constraints: 13872 53.75/53.98 c #Conflicts: 124000 | #Constraints: 14872 53.75/53.98 c INPROCESSING 53.75/53.98 c GARBAGE COLLECT 53.75/53.98 c rational objective 76.5302 57.25/57.48 c #Conflicts: 125000 | #Constraints: 8841 57.25/57.48 c #Conflicts: 126000 | #Constraints: 9869 57.25/57.48 c #Conflicts: 127000 | #Constraints: 10899 57.25/57.48 c #Conflicts: 128000 | #Constraints: 11941 57.25/57.48 c #Conflicts: 129000 | #Constraints: 12975 57.25/57.48 c #Conflicts: 130000 | #Constraints: 14009 57.25/57.48 c #Conflicts: 131000 | #Constraints: 15039 57.25/57.48 c INPROCESSING 57.25/57.48 c GARBAGE COLLECT 57.25/57.48 c rational objective 76.5302 60.63/60.85 c #Conflicts: 132000 | #Constraints: 8670 60.63/60.85 c #Conflicts: 133000 | #Constraints: 9690 60.63/60.85 c #Conflicts: 134000 | #Constraints: 10719 60.63/60.85 c #Conflicts: 135000 | #Constraints: 11745 60.63/60.85 c #Conflicts: 136000 | #Constraints: 12776 60.63/60.85 c #Conflicts: 137000 | #Constraints: 13812 60.63/60.85 c #Conflicts: 138000 | #Constraints: 14854 60.63/60.85 c #Conflicts: 139000 | #Constraints: 15888 60.63/60.85 c INPROCESSING 60.63/60.85 c GARBAGE COLLECT 60.63/60.85 c rational objective 76.5302 67.82/68.01 c #Conflicts: 140000 | #Constraints: 9297 67.82/68.01 c #Conflicts: 141000 | #Constraints: 10297 67.82/68.01 c #Conflicts: 142000 | #Constraints: 11297 67.82/68.01 c #Conflicts: 143000 | #Constraints: 12297 67.82/68.01 c #Conflicts: 144000 | #Constraints: 13297 67.82/68.01 c #Conflicts: 145000 | #Constraints: 14297 67.82/68.01 c #Conflicts: 146000 | #Constraints: 15297 67.82/68.01 c bounds 86 >= 77 @ 65.4542 67.82/68.01 c #Conflicts: 147000 | #Constraints: 16364 67.82/68.01 c INPROCESSING 67.82/68.01 c GARBAGE COLLECT 67.82/68.01 c rational objective 77 71.81/72.08 c #Conflicts: 148000 | #Constraints: 9672 71.81/72.08 c #Conflicts: 149000 | #Constraints: 10712 71.81/72.08 c #Conflicts: 150000 | #Constraints: 11748 71.81/72.08 c #Conflicts: 151000 | #Constraints: 12781 71.81/72.08 c #Conflicts: 152000 | #Constraints: 13811 71.81/72.08 c #Conflicts: 153000 | #Constraints: 14843 71.81/72.08 c #Conflicts: 154000 | #Constraints: 15877 71.81/72.08 c #Conflicts: 155000 | #Constraints: 16904 71.81/72.08 c INPROCESSING 71.81/72.08 c GARBAGE COLLECT 71.81/72.08 c rational objective 77 75.90/76.19 c #Conflicts: 156000 | #Constraints: 9933 75.90/76.19 c #Conflicts: 157000 | #Constraints: 10971 75.90/76.19 c #Conflicts: 158000 | #Constraints: 12012 75.90/76.19 c #Conflicts: 159000 | #Constraints: 13048 75.90/76.19 c #Conflicts: 160000 | #Constraints: 14083 75.90/76.19 c #Conflicts: 161000 | #Constraints: 15116 75.90/76.19 c #Conflicts: 162000 | #Constraints: 16148 75.90/76.19 c #Conflicts: 163000 | #Constraints: 17178 75.90/76.19 c INPROCESSING 75.90/76.19 c GARBAGE COLLECT 75.90/76.19 c rational objective 77 83.67/84.00 c #Conflicts: 164000 | #Constraints: 9962 83.67/84.00 c #Conflicts: 165000 | #Constraints: 10962 83.67/84.00 c #Conflicts: 166000 | #Constraints: 11962 83.67/84.00 c #Conflicts: 167000 | #Constraints: 12962 83.67/84.00 c #Conflicts: 168000 | #Constraints: 13962 83.67/84.00 c #Conflicts: 169000 | #Constraints: 14962 83.67/84.00 c #Conflicts: 170000 | #Constraints: 15962 83.67/84.00 c #Conflicts: 171000 | #Constraints: 16962 83.67/84.00 c INPROCESSING 83.67/84.00 c GARBAGE COLLECT 83.67/84.00 c rational objective 77 88.16/88.46 c #Conflicts: 172000 | #Constraints: 9713 88.16/88.46 c #Conflicts: 173000 | #Constraints: 10723 88.16/88.46 c #Conflicts: 174000 | #Constraints: 11766 88.16/88.46 c #Conflicts: 175000 | #Constraints: 12806 88.16/88.46 c #Conflicts: 176000 | #Constraints: 13833 88.16/88.46 c #Conflicts: 177000 | #Constraints: 14862 88.16/88.46 c #Conflicts: 178000 | #Constraints: 15899 88.16/88.46 c #Conflicts: 179000 | #Constraints: 16927 88.16/88.46 c #Conflicts: 180000 | #Constraints: 17956 88.16/88.46 c INPROCESSING 88.16/88.46 c GARBAGE COLLECT 88.16/88.46 c rational objective 77 92.24/92.57 c #Conflicts: 181000 | #Constraints: 10356 92.24/92.57 c #Conflicts: 182000 | #Constraints: 11367 92.24/92.57 c #Conflicts: 183000 | #Constraints: 12395 92.24/92.57 c #Conflicts: 184000 | #Constraints: 13430 92.24/92.57 c #Conflicts: 185000 | #Constraints: 14461 92.24/92.57 c #Conflicts: 186000 | #Constraints: 15491 92.24/92.57 c #Conflicts: 187000 | #Constraints: 16525 92.24/92.57 c #Conflicts: 188000 | #Constraints: 17553 92.24/92.57 c #Conflicts: 189000 | #Constraints: 18584 92.24/92.57 c INPROCESSING 92.24/92.57 c GARBAGE COLLECT 92.24/92.57 c rational objective 77 101.43/101.78 c #Conflicts: 190000 | #Constraints: 10765 101.43/101.78 c #Conflicts: 191000 | #Constraints: 11765 101.43/101.78 c #Conflicts: 192000 | #Constraints: 12765 101.43/101.78 c #Conflicts: 193000 | #Constraints: 13765 101.43/101.78 c #Conflicts: 194000 | #Constraints: 14765 101.43/101.78 c #Conflicts: 195000 | #Constraints: 15765 101.43/101.78 c #Conflicts: 196000 | #Constraints: 16765 101.43/101.78 c #Conflicts: 197000 | #Constraints: 17765 101.43/101.78 c #Conflicts: 198000 | #Constraints: 18765 101.43/101.78 c INPROCESSING 101.43/101.78 c GARBAGE COLLECT 101.43/101.78 c rational objective 77 105.82/106.11 c #Conflicts: 199000 | #Constraints: 10930 105.82/106.11 c #Conflicts: 200000 | #Constraints: 11969 105.82/106.11 c #Conflicts: 201000 | #Constraints: 13012 105.82/106.11 c #Conflicts: 202000 | #Constraints: 14044 105.82/106.11 c #Conflicts: 203000 | #Constraints: 15076 105.82/106.11 c #Conflicts: 204000 | #Constraints: 16113 105.82/106.11 c #Conflicts: 205000 | #Constraints: 17150 105.82/106.11 c #Conflicts: 206000 | #Constraints: 18177 105.82/106.11 c #Conflicts: 207000 | #Constraints: 19202 105.82/106.11 c INPROCESSING 105.82/106.11 c GARBAGE COLLECT 105.82/106.11 c rational objective 77 112.29/112.61 c #Conflicts: 208000 | #Constraints: 10986 112.29/112.61 c #Conflicts: 209000 | #Constraints: 11994 112.29/112.61 c #Conflicts: 210000 | #Constraints: 13018 112.29/112.61 c #Conflicts: 211000 | #Constraints: 14048 112.29/112.61 c #Conflicts: 212000 | #Constraints: 15076 112.29/112.61 c #Conflicts: 213000 | #Constraints: 16113 112.29/112.61 c #Conflicts: 214000 | #Constraints: 17150 112.29/112.61 c #Conflicts: 215000 | #Constraints: 18175 112.29/112.61 c #Conflicts: 216000 | #Constraints: 19200 112.29/112.61 c INPROCESSING 112.29/112.61 c GARBAGE COLLECT 112.29/112.61 c rational objective 77 119.98/120.30 c #Conflicts: 217000 | #Constraints: 10786 119.98/120.30 c #Conflicts: 218000 | #Constraints: 11786 119.98/120.30 c #Conflicts: 219000 | #Constraints: 12786 119.98/120.30 c #Conflicts: 220000 | #Constraints: 13786 119.98/120.30 c #Conflicts: 221000 | #Constraints: 14786 119.98/120.30 c #Conflicts: 222000 | #Constraints: 15786 119.98/120.30 c #Conflicts: 223000 | #Constraints: 16786 119.98/120.30 c bounds 86 >= 78 @ 115.713 119.98/120.30 c #Conflicts: 224000 | #Constraints: 17849 119.98/120.30 c #Conflicts: 225000 | #Constraints: 18849 119.98/120.30 c #Conflicts: 226000 | #Constraints: 19877 119.98/120.30 c INPROCESSING 119.98/120.30 c GARBAGE COLLECT 119.98/120.30 c rational objective 78 124.96/125.33 c #Conflicts: 227000 | #Constraints: 11358 124.96/125.33 c #Conflicts: 228000 | #Constraints: 12396 124.96/125.33 c #Conflicts: 229000 | #Constraints: 13431 124.96/125.33 c #Conflicts: 230000 | #Constraints: 14458 124.96/125.33 c #Conflicts: 231000 | #Constraints: 15490 124.96/125.33 c #Conflicts: 232000 | #Constraints: 16514 124.96/125.33 c #Conflicts: 233000 | #Constraints: 17549 124.96/125.33 c #Conflicts: 234000 | #Constraints: 18585 124.96/125.33 c #Conflicts: 235000 | #Constraints: 19617 124.96/125.33 c #Conflicts: 236000 | #Constraints: 20649 124.96/125.33 c INPROCESSING 124.96/125.33 c GARBAGE COLLECT 124.96/125.33 c rational objective 78 134.64/135.09 c #Conflicts: 237000 | #Constraints: 11831 134.64/135.09 c #Conflicts: 238000 | #Constraints: 12831 134.64/135.09 c #Conflicts: 239000 | #Constraints: 13831 134.64/135.09 c #Conflicts: 240000 | #Constraints: 14831 134.64/135.09 c #Conflicts: 241000 | #Constraints: 15831 134.64/135.09 c #Conflicts: 242000 | #Constraints: 16831 134.64/135.09 c #Conflicts: 243000 | #Constraints: 17831 134.64/135.09 c #Conflicts: 244000 | #Constraints: 18831 134.64/135.09 c #Conflicts: 245000 | #Constraints: 19831 134.64/135.09 c #Conflicts: 246000 | #Constraints: 20831 134.64/135.09 c INPROCESSING 134.64/135.09 c GARBAGE COLLECT 134.64/135.09 c rational objective 78 141.51/141.91 c #Conflicts: 247000 | #Constraints: 11998 141.51/141.91 c #Conflicts: 248000 | #Constraints: 13028 141.51/141.91 c #Conflicts: 249000 | #Constraints: 14057 141.51/141.91 c #Conflicts: 250000 | #Constraints: 15087 141.51/141.91 c #Conflicts: 251000 | #Constraints: 16128 141.51/141.91 c #Conflicts: 252000 | #Constraints: 17161 141.51/141.91 c #Conflicts: 253000 | #Constraints: 18198 141.51/141.91 c #Conflicts: 254000 | #Constraints: 19229 141.51/141.91 c #Conflicts: 255000 | #Constraints: 20256 141.51/141.91 c #Conflicts: 256000 | #Constraints: 21293 141.51/141.91 c INPROCESSING 141.51/141.91 c GARBAGE COLLECT 141.51/141.91 c rational objective 78 148.30/148.72 c #Conflicts: 257000 | #Constraints: 12057 148.30/148.72 c #Conflicts: 258000 | #Constraints: 13092 148.30/148.72 c #Conflicts: 259000 | #Constraints: 14121 148.30/148.72 c #Conflicts: 260000 | #Constraints: 15146 148.30/148.72 c #Conflicts: 261000 | #Constraints: 16172 148.30/148.72 c #Conflicts: 262000 | #Constraints: 17196 148.30/148.72 c #Conflicts: 263000 | #Constraints: 18221 148.30/148.72 c #Conflicts: 264000 | #Constraints: 19262 148.30/148.72 c #Conflicts: 265000 | #Constraints: 20297 148.30/148.72 c #Conflicts: 266000 | #Constraints: 21328 148.30/148.72 c INPROCESSING 148.30/148.72 c GARBAGE COLLECT 148.30/148.72 c rational objective 78 158.77/159.28 c #Conflicts: 267000 | #Constraints: 11882 158.77/159.28 c #Conflicts: 268000 | #Constraints: 12882 158.77/159.28 c #Conflicts: 269000 | #Constraints: 13882 158.77/159.28 c #Conflicts: 270000 | #Constraints: 14882 158.77/159.28 c #Conflicts: 271000 | #Constraints: 15882 158.77/159.28 c #Conflicts: 272000 | #Constraints: 16882 158.77/159.28 c #Conflicts: 273000 | #Constraints: 17882 158.77/159.28 c #Conflicts: 274000 | #Constraints: 18882 158.77/159.28 c #Conflicts: 275000 | #Constraints: 19882 158.77/159.28 c #Conflicts: 276000 | #Constraints: 20882 158.77/159.28 c #Conflicts: 277000 | #Constraints: 21882 158.77/159.28 c INPROCESSING 158.77/159.28 c GARBAGE COLLECT 158.77/159.28 c rational objective 78 165.36/165.89 c #Conflicts: 278000 | #Constraints: 12425 165.36/165.89 c #Conflicts: 279000 | #Constraints: 13455 165.36/165.89 c #Conflicts: 280000 | #Constraints: 14493 165.36/165.89 c #Conflicts: 281000 | #Constraints: 15527 165.36/165.89 c #Conflicts: 282000 | #Constraints: 16559 165.36/165.89 c #Conflicts: 283000 | #Constraints: 17594 165.36/165.89 c #Conflicts: 284000 | #Constraints: 18627 165.36/165.89 c #Conflicts: 285000 | #Constraints: 19649 165.36/165.89 c #Conflicts: 286000 | #Constraints: 20676 165.36/165.89 c #Conflicts: 287000 | #Constraints: 21704 165.36/165.89 c #Conflicts: 288000 | #Constraints: 22732 165.36/165.89 c INPROCESSING 165.36/165.89 c GARBAGE COLLECT 165.36/165.89 c rational objective 78 172.13/172.65 c #Conflicts: 289000 | #Constraints: 12882 172.13/172.65 c #Conflicts: 290000 | #Constraints: 13908 172.13/172.65 c #Conflicts: 291000 | #Constraints: 14945 172.13/172.65 c #Conflicts: 292000 | #Constraints: 15977 172.13/172.65 c #Conflicts: 293000 | #Constraints: 17005 172.13/172.65 c #Conflicts: 294000 | #Constraints: 18032 172.13/172.65 c #Conflicts: 295000 | #Constraints: 19063 172.13/172.65 c #Conflicts: 296000 | #Constraints: 20087 172.13/172.65 c #Conflicts: 297000 | #Constraints: 21115 172.13/172.65 c #Conflicts: 298000 | #Constraints: 22140 172.13/172.65 c #Conflicts: 299000 | #Constraints: 23172 172.13/172.65 c INPROCESSING 172.13/172.65 c GARBAGE COLLECT 172.13/172.65 c rational objective 78 183.80/184.37 c #Conflicts: 300000 | #Constraints: 13095 183.80/184.37 c #Conflicts: 301000 | #Constraints: 14095 183.80/184.37 c #Conflicts: 302000 | #Constraints: 15095 183.80/184.37 c #Conflicts: 303000 | #Constraints: 16095 183.80/184.37 c #Conflicts: 304000 | #Constraints: 17095 183.80/184.37 c #Conflicts: 305000 | #Constraints: 18095 183.80/184.37 c #Conflicts: 306000 | #Constraints: 19095 183.80/184.37 c #Conflicts: 307000 | #Constraints: 20095 183.80/184.37 c #Conflicts: 308000 | #Constraints: 21095 183.80/184.37 c #Conflicts: 309000 | #Constraints: 22095 183.80/184.37 c #Conflicts: 310000 | #Constraints: 23095 183.80/184.37 c INPROCESSING 183.80/184.37 c GARBAGE COLLECT 183.80/184.37 c rational objective 78 191.39/191.91 c #Conflicts: 311000 | #Constraints: 13042 191.39/191.91 c #Conflicts: 312000 | #Constraints: 14078 191.39/191.91 c #Conflicts: 313000 | #Constraints: 15111 191.39/191.91 c #Conflicts: 314000 | #Constraints: 16147 191.39/191.91 c #Conflicts: 315000 | #Constraints: 17177 191.39/191.91 c #Conflicts: 316000 | #Constraints: 18201 191.39/191.91 c #Conflicts: 317000 | #Constraints: 19240 191.39/191.91 c #Conflicts: 318000 | #Constraints: 20266 191.39/191.91 c #Conflicts: 319000 | #Constraints: 21288 191.39/191.91 c #Conflicts: 320000 | #Constraints: 22315 191.39/191.91 c #Conflicts: 321000 | #Constraints: 23340 191.39/191.91 c INPROCESSING 191.39/191.91 c GARBAGE COLLECT 191.39/191.91 c rational objective 78 199.96/200.55 c #Conflicts: 322000 | #Constraints: 12893 199.96/200.55 c #Conflicts: 323000 | #Constraints: 13928 199.96/200.55 c #Conflicts: 324000 | #Constraints: 14960 199.96/200.55 c #Conflicts: 325000 | #Constraints: 15991 199.96/200.55 c #Conflicts: 326000 | #Constraints: 17023 199.96/200.55 c #Conflicts: 327000 | #Constraints: 18052 199.96/200.55 c #Conflicts: 328000 | #Constraints: 19089 199.96/200.55 c #Conflicts: 329000 | #Constraints: 20115 199.96/200.55 c #Conflicts: 330000 | #Constraints: 21146 199.96/200.55 c #Conflicts: 331000 | #Constraints: 22168 199.96/200.55 c #Conflicts: 332000 | #Constraints: 23184 199.96/200.55 c #Conflicts: 333000 | #Constraints: 24207 199.96/200.55 c INPROCESSING 199.96/200.55 c GARBAGE COLLECT 199.96/200.55 c rational objective 78 213.92/214.51 c #Conflicts: 334000 | #Constraints: 13503 213.92/214.51 c #Conflicts: 335000 | #Constraints: 14503 213.92/214.51 c #Conflicts: 336000 | #Constraints: 15503 213.92/214.51 c #Conflicts: 337000 | #Constraints: 16503 213.92/214.51 c #Conflicts: 338000 | #Constraints: 17503 213.92/214.51 c #Conflicts: 339000 | #Constraints: 18503 213.92/214.51 c #Conflicts: 340000 | #Constraints: 19503 213.92/214.51 c #Conflicts: 341000 | #Constraints: 20503 213.92/214.51 c #Conflicts: 342000 | #Constraints: 21503 213.92/214.51 c #Conflicts: 343000 | #Constraints: 22503 213.92/214.51 c #Conflicts: 344000 | #Constraints: 23503 213.92/214.51 c #Conflicts: 345000 | #Constraints: 24503 213.92/214.51 c INPROCESSING 213.92/214.51 c GARBAGE COLLECT 213.92/214.51 c rational objective 78 222.50/223.16 c #Conflicts: 346000 | #Constraints: 13838 222.50/223.16 c #Conflicts: 347000 | #Constraints: 14872 222.50/223.16 c #Conflicts: 348000 | #Constraints: 15908 222.50/223.16 c #Conflicts: 349000 | #Constraints: 16945 222.50/223.16 c #Conflicts: 350000 | #Constraints: 17984 222.50/223.16 c #Conflicts: 351000 | #Constraints: 19018 222.50/223.16 c #Conflicts: 352000 | #Constraints: 20050 222.50/223.16 c #Conflicts: 353000 | #Constraints: 21083 222.50/223.16 c #Conflicts: 354000 | #Constraints: 22111 222.50/223.16 c #Conflicts: 355000 | #Constraints: 23138 222.50/223.16 c #Conflicts: 356000 | #Constraints: 24159 222.50/223.16 c #Conflicts: 357000 | #Constraints: 25189 222.50/223.16 c INPROCESSING 222.50/223.16 c GARBAGE COLLECT 222.50/223.16 c rational objective 78 236.95/237.63 c #Conflicts: 358000 | #Constraints: 14107 236.95/237.63 c #Conflicts: 359000 | #Constraints: 15107 236.95/237.63 c #Conflicts: 360000 | #Constraints: 16107 236.95/237.63 c #Conflicts: 361000 | #Constraints: 17107 236.95/237.63 c #Conflicts: 362000 | #Constraints: 18107 236.95/237.63 c #Conflicts: 363000 | #Constraints: 19107 236.95/237.63 c #Conflicts: 364000 | #Constraints: 20107 236.95/237.63 c #Conflicts: 365000 | #Constraints: 21107 236.95/237.63 c #Conflicts: 366000 | #Constraints: 22107 236.95/237.63 c #Conflicts: 367000 | #Constraints: 23107 236.95/237.63 c #Conflicts: 368000 | #Constraints: 24107 236.95/237.63 c #Conflicts: 369000 | #Constraints: 25107 236.95/237.63 c INPROCESSING 236.95/237.63 c GARBAGE COLLECT 236.95/237.63 c rational objective 78 342.93/343.92 c #Conflicts: 370000 | #Constraints: 14043 342.93/343.92 c #Conflicts: 371000 | #Constraints: 15077 342.93/343.92 c #Conflicts: 372000 | #Constraints: 16112 342.93/343.92 c #Conflicts: 373000 | #Constraints: 17139 342.93/343.92 c #Conflicts: 374000 | #Constraints: 18162 342.93/343.92 c #Conflicts: 375000 | #Constraints: 19188 342.93/343.92 c #Conflicts: 376000 | #Constraints: 20209 342.93/343.92 c #Conflicts: 377000 | #Constraints: 21238 342.93/343.92 c #Conflicts: 378000 | #Constraints: 22263 342.93/343.92 c #Conflicts: 379000 | #Constraints: 23291 342.93/343.92 c #Conflicts: 380000 | #Constraints: 24312 342.93/343.92 c #Conflicts: 381000 | #Constraints: 25344 342.93/343.92 c #Conflicts: 382000 | #Constraints: 26367 342.93/343.92 c #Conflicts: 383000 | #Constraints: 27390 342.93/343.92 c #Conflicts: 384000 | #Constraints: 28413 342.93/343.92 c #Conflicts: 385000 | #Constraints: 29440 342.93/343.92 c #Conflicts: 386000 | #Constraints: 30477 342.93/343.92 c #Conflicts: 387000 | #Constraints: 31504 342.93/343.92 c #Conflicts: 388000 | #Constraints: 32528 342.93/343.92 c #Conflicts: 389000 | #Constraints: 33553 342.93/343.92 c #Conflicts: 390000 | #Constraints: 34579 342.93/343.92 c #Conflicts: 391000 | #Constraints: 35602 342.93/343.92 c #Conflicts: 392000 | #Constraints: 36622 342.93/343.92 c #Conflicts: 393000 | #Constraints: 37642 342.93/343.92 c #Conflicts: 394000 | #Constraints: 38666 342.93/343.92 c #Conflicts: 395000 | #Constraints: 39692 342.93/343.92 c #Conflicts: 396000 | #Constraints: 40723 342.93/343.92 c #Conflicts: 397000 | #Constraints: 41755 342.93/343.92 c #Conflicts: 398000 | #Constraints: 42776 342.93/343.92 c #Conflicts: 399000 | #Constraints: 43802 342.93/343.92 c #Conflicts: 400000 | #Constraints: 44824 342.93/343.92 c #Conflicts: 401000 | #Constraints: 45844 342.93/343.92 c #Conflicts: 402000 | #Constraints: 46866 342.93/343.92 c #Conflicts: 403000 | #Constraints: 47888 342.93/343.92 c #Conflicts: 404000 | #Constraints: 48913 342.93/343.92 c #Conflicts: 405000 | #Constraints: 49941 342.93/343.92 c #Conflicts: 406000 | #Constraints: 50961 342.93/343.92 c #Conflicts: 407000 | #Constraints: 51974 342.93/343.92 c #Conflicts: 408000 | #Constraints: 52995 342.93/343.92 c #Conflicts: 409000 | #Constraints: 54016 342.93/343.92 c #Conflicts: 410000 | #Constraints: 55037 342.93/343.92 c #Conflicts: 411000 | #Constraints: 56063 342.93/343.92 c #Conflicts: 412000 | #Constraints: 57103 342.93/343.92 c #Conflicts: 413000 | #Constraints: 58133 342.93/343.92 c #Conflicts: 414000 | #Constraints: 59162 342.93/343.92 c #Conflicts: 415000 | #Constraints: 60187 342.93/343.92 c #Conflicts: 416000 | #Constraints: 61214 342.93/343.92 c #Conflicts: 417000 | #Constraints: 62247 342.93/343.92 c #Conflicts: 418000 | #Constraints: 63273 342.93/343.92 c #Conflicts: 419000 | #Constraints: 64295 342.93/343.92 c #Conflicts: 420000 | #Constraints: 65316 342.93/343.92 c #Conflicts: 421000 | #Constraints: 66340 342.93/343.92 c #Conflicts: 422000 | #Constraints: 67366 342.93/343.92 c #Conflicts: 423000 | #Constraints: 68387 342.93/343.92 c #Conflicts: 424000 | #Constraints: 69415 342.93/343.92 c #Conflicts: 425000 | #Constraints: 70447 342.93/343.92 c #Conflicts: 426000 | #Constraints: 71486 342.93/343.92 c #Conflicts: 427000 | #Constraints: 72516 342.93/343.92 c #Conflicts: 428000 | #Constraints: 73543 342.93/343.92 c #Conflicts: 429000 | #Constraints: 74571 342.93/343.92 c INPROCESSING 342.93/343.92 c GARBAGE COLLECT 342.93/343.92 c rational objective 78 367.27/368.31 c #Conflicts: 430000 | #Constraints: 38654 367.27/368.31 c #Conflicts: 431000 | #Constraints: 39654 367.27/368.31 c #Conflicts: 432000 | #Constraints: 40654 367.27/368.31 c #Conflicts: 433000 | #Constraints: 41654 367.27/368.31 c #Conflicts: 434000 | #Constraints: 42654 367.27/368.31 c #Conflicts: 435000 | #Constraints: 43654 367.27/368.31 c #Conflicts: 436000 | #Constraints: 44654 367.27/368.31 c #Conflicts: 437000 | #Constraints: 45654 367.27/368.31 c #Conflicts: 438000 | #Constraints: 46654 367.27/368.31 c #Conflicts: 439000 | #Constraints: 47654 367.27/368.31 c #Conflicts: 440000 | #Constraints: 48654 367.27/368.31 c #Conflicts: 441000 | #Constraints: 49654 367.27/368.31 c #Conflicts: 442000 | #Constraints: 50654 367.27/368.31 c INPROCESSING 367.27/368.31 c GARBAGE COLLECT 367.27/368.31 c rational objective 78 390.71/391.84 c #Conflicts: 443000 | #Constraints: 26515 390.71/391.84 c #Conflicts: 444000 | #Constraints: 27515 390.71/391.84 c #Conflicts: 445000 | #Constraints: 28515 390.71/391.84 c bounds 86 >= 79 @ 363.482 390.71/391.84 c #Conflicts: 446000 | #Constraints: 29575 390.71/391.84 c #Conflicts: 447000 | #Constraints: 30575 390.71/391.84 c #Conflicts: 448000 | #Constraints: 31575 390.71/391.84 c #Conflicts: 449000 | #Constraints: 32575 390.71/391.84 c #Conflicts: 450000 | #Constraints: 33575 390.71/391.84 c #Conflicts: 451000 | #Constraints: 34575 390.71/391.84 c #Conflicts: 452000 | #Constraints: 35575 390.71/391.84 c #Conflicts: 453000 | #Constraints: 36575 390.71/391.84 c #Conflicts: 454000 | #Constraints: 37575 390.71/391.84 c #Conflicts: 455000 | #Constraints: 38575 390.71/391.84 c #Conflicts: 456000 | #Constraints: 39575 390.71/391.84 c INPROCESSING 390.71/391.84 c GARBAGE COLLECT 390.71/391.84 c rational objective 79 412.87/414.08 c #Conflicts: 457000 | #Constraints: 21137 412.87/414.08 c #Conflicts: 458000 | #Constraints: 22137 412.87/414.08 c #Conflicts: 459000 | #Constraints: 23137 412.87/414.08 c #Conflicts: 460000 | #Constraints: 24137 412.87/414.08 c #Conflicts: 461000 | #Constraints: 25137 412.87/414.08 c #Conflicts: 462000 | #Constraints: 26137 412.87/414.08 c #Conflicts: 463000 | #Constraints: 27137 412.87/414.08 c #Conflicts: 464000 | #Constraints: 28137 412.87/414.08 c #Conflicts: 465000 | #Constraints: 29137 412.87/414.08 c #Conflicts: 466000 | #Constraints: 30137 412.87/414.08 c #Conflicts: 467000 | #Constraints: 31137 412.87/414.08 c #Conflicts: 468000 | #Constraints: 32137 412.87/414.08 c #Conflicts: 469000 | #Constraints: 33137 412.87/414.08 c #Conflicts: 470000 | #Constraints: 34137 412.87/414.08 c INPROCESSING 412.87/414.08 c GARBAGE COLLECT 412.87/414.08 c rational objective 79 433.71/434.93 c #Conflicts: 471000 | #Constraints: 18492 433.71/434.93 c #Conflicts: 472000 | #Constraints: 19492 433.71/434.93 c #Conflicts: 473000 | #Constraints: 20492 433.71/434.93 c #Conflicts: 474000 | #Constraints: 21492 433.71/434.93 c #Conflicts: 475000 | #Constraints: 22492 433.71/434.93 c #Conflicts: 476000 | #Constraints: 23492 433.71/434.93 c #Conflicts: 477000 | #Constraints: 24492 433.71/434.93 c #Conflicts: 478000 | #Constraints: 25492 433.71/434.93 c #Conflicts: 479000 | #Constraints: 26492 433.71/434.93 c #Conflicts: 480000 | #Constraints: 27492 433.71/434.93 c #Conflicts: 481000 | #Constraints: 28492 433.71/434.93 c #Conflicts: 482000 | #Constraints: 29492 433.71/434.93 c #Conflicts: 483000 | #Constraints: 30492 433.71/434.93 c #Conflicts: 484000 | #Constraints: 31492 433.71/434.93 c INPROCESSING 433.71/434.93 c GARBAGE COLLECT 433.71/434.93 c rational objective 79 583.12/584.77 c #Conflicts: 485000 | #Constraints: 17109 583.12/584.77 c #Conflicts: 486000 | #Constraints: 18148 583.12/584.77 c #Conflicts: 487000 | #Constraints: 19187 583.12/584.77 c #Conflicts: 488000 | #Constraints: 20224 583.12/584.77 c #Conflicts: 489000 | #Constraints: 21269 583.12/584.77 c #Conflicts: 490000 | #Constraints: 22302 583.12/584.77 c #Conflicts: 491000 | #Constraints: 23335 583.12/584.77 c #Conflicts: 492000 | #Constraints: 24364 583.12/584.77 c #Conflicts: 493000 | #Constraints: 25393 583.12/584.77 c #Conflicts: 494000 | #Constraints: 26427 583.12/584.77 c #Conflicts: 495000 | #Constraints: 27453 583.12/584.77 c #Conflicts: 496000 | #Constraints: 28487 583.12/584.77 c #Conflicts: 497000 | #Constraints: 29512 583.12/584.77 c #Conflicts: 498000 | #Constraints: 30546 583.12/584.77 c #Conflicts: 499000 | #Constraints: 31577 583.12/584.77 c #Conflicts: 500000 | #Constraints: 32608 583.12/584.77 c #Conflicts: 501000 | #Constraints: 33644 583.12/584.77 c #Conflicts: 502000 | #Constraints: 34674 583.12/584.77 c #Conflicts: 503000 | #Constraints: 35711 583.12/584.77 c #Conflicts: 504000 | #Constraints: 36745 583.12/584.77 c #Conflicts: 505000 | #Constraints: 37782 583.12/584.77 c #Conflicts: 506000 | #Constraints: 38806 583.12/584.77 c #Conflicts: 507000 | #Constraints: 39841 583.12/584.77 c #Conflicts: 508000 | #Constraints: 40859 583.12/584.77 c #Conflicts: 509000 | #Constraints: 41887 583.12/584.77 c #Conflicts: 510000 | #Constraints: 42908 583.12/584.77 c #Conflicts: 511000 | #Constraints: 43925 583.12/584.77 c #Conflicts: 512000 | #Constraints: 44951 583.12/584.77 c #Conflicts: 513000 | #Constraints: 45978 583.12/584.77 c #Conflicts: 514000 | #Constraints: 47010 583.12/584.77 c #Conflicts: 515000 | #Constraints: 48049 583.12/584.77 c #Conflicts: 516000 | #Constraints: 49076 583.12/584.77 c #Conflicts: 517000 | #Constraints: 50106 583.12/584.77 c #Conflicts: 518000 | #Constraints: 51128 583.12/584.77 c #Conflicts: 519000 | #Constraints: 52164 583.12/584.77 c #Conflicts: 520000 | #Constraints: 53189 583.12/584.77 c #Conflicts: 521000 | #Constraints: 54216 583.12/584.77 c #Conflicts: 522000 | #Constraints: 55244 583.12/584.77 c #Conflicts: 523000 | #Constraints: 56269 583.12/584.77 c #Conflicts: 524000 | #Constraints: 57289 583.12/584.77 c #Conflicts: 525000 | #Constraints: 58314 583.12/584.77 c #Conflicts: 526000 | #Constraints: 59340 583.12/584.77 c #Conflicts: 527000 | #Constraints: 60370 583.12/584.77 c #Conflicts: 528000 | #Constraints: 61412 583.12/584.77 c #Conflicts: 529000 | #Constraints: 62441 583.12/584.77 c #Conflicts: 530000 | #Constraints: 63462 583.12/584.77 c #Conflicts: 531000 | #Constraints: 64483 583.12/584.77 c #Conflicts: 532000 | #Constraints: 65497 583.12/584.77 c #Conflicts: 533000 | #Constraints: 66519 583.12/584.77 c #Conflicts: 534000 | #Constraints: 67543 583.12/584.77 c #Conflicts: 535000 | #Constraints: 68577 583.12/584.77 c #Conflicts: 536000 | #Constraints: 69603 583.12/584.77 c #Conflicts: 537000 | #Constraints: 70623 583.12/584.77 c #Conflicts: 538000 | #Constraints: 71645 583.12/584.77 c #Conflicts: 539000 | #Constraints: 72675 583.12/584.77 c #Conflicts: 540000 | #Constraints: 73702 583.12/584.77 c #Conflicts: 541000 | #Constraints: 74723 583.12/584.77 c #Conflicts: 542000 | #Constraints: 75741 583.12/584.77 c #Conflicts: 543000 | #Constraints: 76762 583.12/584.77 c #Conflicts: 544000 | #Constraints: 77786 583.12/584.77 c #Conflicts: 545000 | #Constraints: 78809 583.12/584.77 c #Conflicts: 546000 | #Constraints: 79837 583.12/584.77 c #Conflicts: 547000 | #Constraints: 80879 583.12/584.77 c #Conflicts: 548000 | #Constraints: 81911 583.12/584.77 c #Conflicts: 549000 | #Constraints: 82941 583.12/584.77 c #Conflicts: 550000 | #Constraints: 83964 583.12/584.77 c #Conflicts: 551000 | #Constraints: 84988 583.12/584.77 c INPROCESSING 583.12/584.77 c GARBAGE COLLECT 583.12/584.77 c rational objective 79 625.62/627.34 c #Conflicts: 552000 | #Constraints: 44045 625.62/627.34 c #Conflicts: 553000 | #Constraints: 45045 625.62/627.34 c #Conflicts: 554000 | #Constraints: 46045 625.62/627.34 c #Conflicts: 555000 | #Constraints: 47045 625.62/627.34 c #Conflicts: 556000 | #Constraints: 48045 625.62/627.34 c #Conflicts: 557000 | #Constraints: 49045 625.62/627.34 c #Conflicts: 558000 | #Constraints: 50045 625.62/627.34 c #Conflicts: 559000 | #Constraints: 51045 625.62/627.34 c #Conflicts: 560000 | #Constraints: 52045 625.62/627.34 c #Conflicts: 561000 | #Constraints: 53045 625.62/627.34 c #Conflicts: 562000 | #Constraints: 54045 625.62/627.34 c #Conflicts: 563000 | #Constraints: 55045 625.62/627.34 c #Conflicts: 564000 | #Constraints: 56045 625.62/627.34 c #Conflicts: 565000 | #Constraints: 57045 625.62/627.34 c #Conflicts: 566000 | #Constraints: 58045 625.62/627.34 c INPROCESSING 625.62/627.34 c GARBAGE COLLECT 625.62/627.34 c rational objective 79 664.03/665.80 c #Conflicts: 567000 | #Constraints: 30446 664.03/665.80 c #Conflicts: 568000 | #Constraints: 31446 664.03/665.80 c #Conflicts: 569000 | #Constraints: 32446 664.03/665.80 c #Conflicts: 570000 | #Constraints: 33446 664.03/665.80 c #Conflicts: 571000 | #Constraints: 34446 664.03/665.80 c #Conflicts: 572000 | #Constraints: 35446 664.03/665.80 c #Conflicts: 573000 | #Constraints: 36446 664.03/665.80 c #Conflicts: 574000 | #Constraints: 37446 664.03/665.80 c #Conflicts: 575000 | #Constraints: 38446 664.03/665.80 c #Conflicts: 576000 | #Constraints: 39446 664.03/665.80 c #Conflicts: 577000 | #Constraints: 40446 664.03/665.80 c #Conflicts: 578000 | #Constraints: 41446 664.03/665.80 c #Conflicts: 579000 | #Constraints: 42446 664.03/665.80 c #Conflicts: 580000 | #Constraints: 43446 664.03/665.80 c #Conflicts: 581000 | #Constraints: 44446 664.03/665.80 c #Conflicts: 582000 | #Constraints: 45446 664.03/665.80 c INPROCESSING 664.03/665.80 c GARBAGE COLLECT 664.03/665.80 c rational objective 79 697.34/699.21 c #Conflicts: 583000 | #Constraints: 24324 697.34/699.21 c #Conflicts: 584000 | #Constraints: 25324 697.34/699.21 c #Conflicts: 585000 | #Constraints: 26324 697.34/699.21 c #Conflicts: 586000 | #Constraints: 27324 697.34/699.21 c #Conflicts: 587000 | #Constraints: 28324 697.34/699.21 c #Conflicts: 588000 | #Constraints: 29324 697.34/699.21 c #Conflicts: 589000 | #Constraints: 30324 697.34/699.21 c #Conflicts: 590000 | #Constraints: 31324 697.34/699.21 c #Conflicts: 591000 | #Constraints: 32324 697.34/699.21 c #Conflicts: 592000 | #Constraints: 33324 697.34/699.21 c #Conflicts: 593000 | #Constraints: 34324 697.34/699.21 c #Conflicts: 594000 | #Constraints: 35324 697.34/699.21 c #Conflicts: 595000 | #Constraints: 36324 697.34/699.21 c #Conflicts: 596000 | #Constraints: 37324 697.34/699.21 c #Conflicts: 597000 | #Constraints: 38324 697.34/699.21 c INPROCESSING 697.34/699.21 c GARBAGE COLLECT 697.34/699.21 c rational objective 79 971.27/973.95 c #Conflicts: 598000 | #Constraints: 20389 971.27/973.95 c #Conflicts: 599000 | #Constraints: 21389 971.27/973.95 c #Conflicts: 600000 | #Constraints: 22389 971.27/973.95 c #Conflicts: 601000 | #Constraints: 23389 971.27/973.95 c #Conflicts: 602000 | #Constraints: 24389 971.27/973.95 c #Conflicts: 603000 | #Constraints: 25389 971.27/973.95 c #Conflicts: 604000 | #Constraints: 26389 971.27/973.95 c #Conflicts: 605000 | #Constraints: 27389 971.27/973.95 c #Conflicts: 606000 | #Constraints: 28389 971.27/973.95 c #Conflicts: 607000 | #Constraints: 29389 971.27/973.95 c #Conflicts: 608000 | #Constraints: 30389 971.27/973.95 c #Conflicts: 609000 | #Constraints: 31389 971.27/973.95 c #Conflicts: 610000 | #Constraints: 32389 971.27/973.95 c #Conflicts: 611000 | #Constraints: 33389 971.27/973.95 c #Conflicts: 612000 | #Constraints: 34389 971.27/973.95 c #Conflicts: 613000 | #Constraints: 35389 971.27/973.95 c #Conflicts: 614000 | #Constraints: 36389 971.27/973.95 c #Conflicts: 615000 | #Constraints: 37389 971.27/973.95 c #Conflicts: 616000 | #Constraints: 38389 971.27/973.95 c #Conflicts: 617000 | #Constraints: 39389 971.27/973.95 c #Conflicts: 618000 | #Constraints: 40389 971.27/973.95 c #Conflicts: 619000 | #Constraints: 41389 971.27/973.95 c #Conflicts: 620000 | #Constraints: 42389 971.27/973.95 c #Conflicts: 621000 | #Constraints: 43389 971.27/973.95 c #Conflicts: 622000 | #Constraints: 44389 971.27/973.95 c #Conflicts: 623000 | #Constraints: 45389 971.27/973.95 c #Conflicts: 624000 | #Constraints: 46389 971.27/973.95 c #Conflicts: 625000 | #Constraints: 47389 971.27/973.95 c #Conflicts: 626000 | #Constraints: 48389 971.27/973.95 c #Conflicts: 627000 | #Constraints: 49389 971.27/973.95 c #Conflicts: 628000 | #Constraints: 50389 971.27/973.95 c #Conflicts: 629000 | #Constraints: 51389 971.27/973.95 c #Conflicts: 630000 | #Constraints: 52389 971.27/973.95 c #Conflicts: 631000 | #Constraints: 53389 971.27/973.95 c #Conflicts: 632000 | #Constraints: 54389 971.27/973.95 c #Conflicts: 633000 | #Constraints: 55389 971.27/973.95 c #Conflicts: 634000 | #Constraints: 56389 971.27/973.95 c #Conflicts: 635000 | #Constraints: 57389 971.27/973.95 c #Conflicts: 636000 | #Constraints: 58389 971.27/973.95 c #Conflicts: 637000 | #Constraints: 59389 971.27/973.95 c #Conflicts: 638000 | #Constraints: 60389 971.27/973.95 c #Conflicts: 639000 | #Constraints: 61389 971.27/973.95 c #Conflicts: 640000 | #Constraints: 62389 971.27/973.95 c #Conflicts: 641000 | #Constraints: 63389 971.27/973.95 c #Conflicts: 642000 | #Constraints: 64389 971.27/973.95 c #Conflicts: 643000 | #Constraints: 65389 971.27/973.95 c #Conflicts: 644000 | #Constraints: 66389 971.27/973.95 c #Conflicts: 645000 | #Constraints: 67389 971.27/973.95 c #Conflicts: 646000 | #Constraints: 68389 971.27/973.95 c #Conflicts: 647000 | #Constraints: 69389 971.27/973.95 c #Conflicts: 648000 | #Constraints: 70389 971.27/973.95 c #Conflicts: 649000 | #Constraints: 71389 971.27/973.95 c #Conflicts: 650000 | #Constraints: 72389 971.27/973.95 c #Conflicts: 651000 | #Constraints: 73389 971.27/973.95 c #Conflicts: 652000 | #Constraints: 74389 971.27/973.95 c #Conflicts: 653000 | #Constraints: 75389 971.27/973.95 c #Conflicts: 654000 | #Constraints: 76389 971.27/973.95 c #Conflicts: 655000 | #Constraints: 77389 971.27/973.95 c #Conflicts: 656000 | #Constraints: 78389 971.27/973.95 c #Conflicts: 657000 | #Constraints: 79389 971.27/973.95 c #Conflicts: 658000 | #Constraints: 80389 971.27/973.95 c #Conflicts: 659000 | #Constraints: 81389 971.27/973.95 c #Conflicts: 660000 | #Constraints: 82389 971.27/973.95 c #Conflicts: 661000 | #Constraints: 83389 971.27/973.95 c #Conflicts: 662000 | #Constraints: 84389 971.27/973.95 c #Conflicts: 663000 | #Constraints: 85389 971.27/973.95 c #Conflicts: 664000 | #Constraints: 86389 971.27/973.95 c bounds 86 >= 80 @ 954.616 971.27/973.95 c #Conflicts: 665000 | #Constraints: 87461 971.27/973.95 c #Conflicts: 666000 | #Constraints: 88489 971.27/973.95 c #Conflicts: 667000 | #Constraints: 89540 971.27/973.95 c #Conflicts: 668000 | #Constraints: 90583 971.27/973.95 c #Conflicts: 669000 | #Constraints: 91608 971.27/973.95 c INPROCESSING 971.27/973.95 c GARBAGE COLLECT 971.27/973.95 c rational objective 80 990.81/993.54 c #Conflicts: 670000 | #Constraints: 47073 990.81/993.54 c #Conflicts: 671000 | #Constraints: 48086 990.81/993.54 c #Conflicts: 672000 | #Constraints: 49111 990.81/993.54 c #Conflicts: 673000 | #Constraints: 50134 990.81/993.54 c #Conflicts: 674000 | #Constraints: 51173 990.81/993.54 c #Conflicts: 675000 | #Constraints: 52197 990.81/993.54 c #Conflicts: 676000 | #Constraints: 53224 990.81/993.54 c #Conflicts: 677000 | #Constraints: 54252 990.81/993.54 c #Conflicts: 678000 | #Constraints: 55282 990.81/993.54 c #Conflicts: 679000 | #Constraints: 56307 990.81/993.54 c #Conflicts: 680000 | #Constraints: 57330 990.81/993.54 c #Conflicts: 681000 | #Constraints: 58356 990.81/993.54 c #Conflicts: 682000 | #Constraints: 59397 990.81/993.54 c #Conflicts: 683000 | #Constraints: 60425 990.81/993.54 c #Conflicts: 684000 | #Constraints: 61453 990.81/993.54 c #Conflicts: 685000 | #Constraints: 62479 990.81/993.54 c #Conflicts: 686000 | #Constraints: 63505 990.81/993.54 c INPROCESSING 990.81/993.54 c GARBAGE COLLECT 990.81/993.54 c rational objective 80 1008.76/1011.55 c #Conflicts: 687000 | #Constraints: 32992 1008.76/1011.55 c #Conflicts: 688000 | #Constraints: 34006 1008.76/1011.55 c #Conflicts: 689000 | #Constraints: 35033 1008.76/1011.55 c #Conflicts: 690000 | #Constraints: 36062 1008.76/1011.55 c #Conflicts: 691000 | #Constraints: 37090 1008.76/1011.55 c #Conflicts: 692000 | #Constraints: 38118 1008.76/1011.55 c #Conflicts: 693000 | #Constraints: 39151 1008.76/1011.55 c #Conflicts: 694000 | #Constraints: 40183 1008.76/1011.55 c #Conflicts: 695000 | #Constraints: 41227 1008.76/1011.55 c #Conflicts: 696000 | #Constraints: 42258 1008.76/1011.55 c #Conflicts: 697000 | #Constraints: 43289 1008.76/1011.55 c #Conflicts: 698000 | #Constraints: 44318 1008.76/1011.55 c #Conflicts: 699000 | #Constraints: 45358 1008.76/1011.55 c #Conflicts: 700000 | #Constraints: 46394 1008.76/1011.55 c #Conflicts: 701000 | #Constraints: 47422 1008.76/1011.55 c #Conflicts: 702000 | #Constraints: 48457 1008.76/1011.55 c #Conflicts: 703000 | #Constraints: 49491 1008.76/1011.55 c #Conflicts: 704000 | #Constraints: 50517 1008.76/1011.55 c INPROCESSING 1008.76/1011.55 c GARBAGE COLLECT 1008.76/1011.55 c rational objective 80 1031.00/1033.86 c #Conflicts: 705000 | #Constraints: 26860 1031.00/1033.86 c #Conflicts: 706000 | #Constraints: 27890 1031.00/1033.86 c #Conflicts: 707000 | #Constraints: 28917 1031.00/1033.86 c #Conflicts: 708000 | #Constraints: 29948 1031.00/1033.86 c #Conflicts: 709000 | #Constraints: 30969 1031.00/1033.86 c #Conflicts: 710000 | #Constraints: 31991 1031.00/1033.86 c #Conflicts: 711000 | #Constraints: 33010 1031.00/1033.86 c #Conflicts: 712000 | #Constraints: 34034 1031.00/1033.86 c #Conflicts: 713000 | #Constraints: 35056 1031.00/1033.86 c #Conflicts: 714000 | #Constraints: 36083 1031.00/1033.86 c #Conflicts: 715000 | #Constraints: 37107 1031.00/1033.86 c #Conflicts: 716000 | #Constraints: 38132 1031.00/1033.86 c #Conflicts: 717000 | #Constraints: 39147 1031.00/1033.86 c #Conflicts: 718000 | #Constraints: 40170 1031.00/1033.86 c #Conflicts: 719000 | #Constraints: 41201 1031.00/1033.86 c #Conflicts: 720000 | #Constraints: 42236 1031.00/1033.86 c #Conflicts: 721000 | #Constraints: 43261 1031.00/1033.86 c INPROCESSING 1031.00/1033.86 c GARBAGE COLLECT 1031.00/1033.86 c rational objective 80 1230.75/1234.25 c #Conflicts: 722000 | #Constraints: 22984 1230.75/1234.25 c #Conflicts: 723000 | #Constraints: 24017 1230.75/1234.25 c #Conflicts: 724000 | #Constraints: 25053 1230.75/1234.25 c #Conflicts: 725000 | #Constraints: 26087 1230.75/1234.25 c #Conflicts: 726000 | #Constraints: 27135 1230.75/1234.25 c #Conflicts: 727000 | #Constraints: 28169 1230.75/1234.25 c #Conflicts: 728000 | #Constraints: 29197 1230.75/1234.25 c #Conflicts: 729000 | #Constraints: 30234 1230.75/1234.25 c #Conflicts: 730000 | #Constraints: 31269 1230.75/1234.25 c #Conflicts: 731000 | #Constraints: 32298 1230.75/1234.25 c #Conflicts: 732000 | #Constraints: 33329 1230.75/1234.25 c #Conflicts: 733000 | #Constraints: 34358 1230.75/1234.25 c #Conflicts: 734000 | #Constraints: 35386 1230.75/1234.25 c #Conflicts: 735000 | #Constraints: 36407 1230.75/1234.25 c #Conflicts: 736000 | #Constraints: 37437 1230.75/1234.25 c #Conflicts: 737000 | #Constraints: 38462 1230.75/1234.25 c #Conflicts: 738000 | #Constraints: 39485 1230.75/1234.25 c #Conflicts: 739000 | #Constraints: 40509 1230.75/1234.25 c #Conflicts: 740000 | #Constraints: 41527 1230.75/1234.25 c #Conflicts: 741000 | #Constraints: 42550 1230.75/1234.25 c #Conflicts: 742000 | #Constraints: 43569 1230.75/1234.25 c #Conflicts: 743000 | #Constraints: 44589 1230.75/1234.25 c #Conflicts: 744000 | #Constraints: 45622 1230.75/1234.25 c #Conflicts: 745000 | #Constraints: 46654 1230.75/1234.25 c #Conflicts: 746000 | #Constraints: 47681 1230.75/1234.25 c #Conflicts: 747000 | #Constraints: 48705 1230.75/1234.25 c #Conflicts: 748000 | #Constraints: 49738 1230.75/1234.25 c #Conflicts: 749000 | #Constraints: 50766 1230.75/1234.25 c #Conflicts: 750000 | #Constraints: 51793 1230.75/1234.25 c #Conflicts: 751000 | #Constraints: 52826 1230.75/1234.25 c #Conflicts: 752000 | #Constraints: 53850 1230.75/1234.25 c #Conflicts: 753000 | #Constraints: 54878 1230.75/1234.25 c #Conflicts: 754000 | #Constraints: 55911 1230.75/1234.25 c #Conflicts: 755000 | #Constraints: 56937 1230.75/1234.25 c #Conflicts: 756000 | #Constraints: 57965 1230.75/1234.25 c #Conflicts: 757000 | #Constraints: 58992 1230.75/1234.25 c #Conflicts: 758000 | #Constraints: 60019 1230.75/1234.25 c #Conflicts: 759000 | #Constraints: 61056 1230.75/1234.25 c #Conflicts: 760000 | #Constraints: 62094 1230.75/1234.25 c #Conflicts: 761000 | #Constraints: 63126 1230.75/1234.25 c #Conflicts: 762000 | #Constraints: 64163 1230.75/1234.25 c #Conflicts: 763000 | #Constraints: 65189 1230.75/1234.25 c #Conflicts: 764000 | #Constraints: 66212 1230.75/1234.25 c #Conflicts: 765000 | #Constraints: 67241 1230.75/1234.25 c #Conflicts: 766000 | #Constraints: 68270 1230.75/1234.25 c #Conflicts: 767000 | #Constraints: 69295 1230.75/1234.25 c #Conflicts: 768000 | #Constraints: 70325 1230.75/1234.25 c #Conflicts: 769000 | #Constraints: 71354 1230.75/1234.25 c #Conflicts: 770000 | #Constraints: 72387 1230.75/1234.25 c #Conflicts: 771000 | #Constraints: 73410 1230.75/1234.25 c #Conflicts: 772000 | #Constraints: 74433 1230.75/1234.25 c #Conflicts: 773000 | #Constraints: 75458 1230.75/1234.25 c #Conflicts: 774000 | #Constraints: 76482 1230.75/1234.25 c #Conflicts: 775000 | #Constraints: 77505 1230.75/1234.25 c #Conflicts: 776000 | #Constraints: 78534 1230.75/1234.25 c #Conflicts: 777000 | #Constraints: 79559 1230.75/1234.25 c #Conflicts: 778000 | #Constraints: 80587 1230.75/1234.25 c #Conflicts: 779000 | #Constraints: 81613 1230.75/1234.25 c #Conflicts: 780000 | #Constraints: 82642 1230.75/1234.25 c #Conflicts: 781000 | #Constraints: 83667 1230.75/1234.25 c #Conflicts: 782000 | #Constraints: 84698 1230.75/1234.25 c #Conflicts: 783000 | #Constraints: 85727 1230.75/1234.25 c #Conflicts: 784000 | #Constraints: 86756 1230.75/1234.25 c #Conflicts: 785000 | #Constraints: 87783 1230.75/1234.25 c #Conflicts: 786000 | #Constraints: 88814 1230.75/1234.25 c #Conflicts: 787000 | #Constraints: 89844 1230.75/1234.25 c #Conflicts: 788000 | #Constraints: 90875 1230.75/1234.25 c #Conflicts: 789000 | #Constraints: 91895 1230.75/1234.25 c #Conflicts: 790000 | #Constraints: 92917 1230.75/1234.25 c #Conflicts: 791000 | #Constraints: 93943 1230.75/1234.25 c #Conflicts: 792000 | #Constraints: 94966 1230.75/1234.25 c #Conflicts: 793000 | #Constraints: 95989 1230.75/1234.25 c #Conflicts: 794000 | #Constraints: 97016 1230.75/1234.25 c #Conflicts: 795000 | #Constraints: 98046 1230.75/1234.25 c #Conflicts: 796000 | #Constraints: 99069 1230.75/1234.25 c #Conflicts: 797000 | #Constraints: 100093 1230.75/1234.25 c #Conflicts: 798000 | #Constraints: 101117 1230.75/1234.25 c INPROCESSING 1230.75/1234.25 c GARBAGE COLLECT 1230.75/1234.25 c rational objective 80 1309.48/1313.29 c #Conflicts: 799000 | #Constraints: 51851 1309.48/1313.29 c #Conflicts: 800000 | #Constraints: 52851 1309.48/1313.29 c #Conflicts: 801000 | #Constraints: 53851 1309.48/1313.29 c #Conflicts: 802000 | #Constraints: 54851 1309.48/1313.29 c #Conflicts: 803000 | #Constraints: 55851 1309.48/1313.29 c #Conflicts: 804000 | #Constraints: 56851 1309.48/1313.29 c #Conflicts: 805000 | #Constraints: 57851 1309.48/1313.29 c #Conflicts: 806000 | #Constraints: 58851 1309.48/1313.29 c #Conflicts: 807000 | #Constraints: 59851 1309.48/1313.29 c #Conflicts: 808000 | #Constraints: 60851 1309.48/1313.29 c #Conflicts: 809000 | #Constraints: 61851 1309.48/1313.29 c #Conflicts: 810000 | #Constraints: 62851 1309.48/1313.29 c #Conflicts: 811000 | #Constraints: 63851 1309.48/1313.29 c #Conflicts: 812000 | #Constraints: 64851 1309.48/1313.29 c #Conflicts: 813000 | #Constraints: 65851 1309.48/1313.29 c #Conflicts: 814000 | #Constraints: 66851 1309.48/1313.29 c #Conflicts: 815000 | #Constraints: 67851 1309.48/1313.29 c #Conflicts: 816000 | #Constraints: 68851 1309.48/1313.29 c #Conflicts: 817000 | #Constraints: 69851 1309.48/1313.29 c INPROCESSING 1309.48/1313.29 c GARBAGE COLLECT 1309.48/1313.29 c rational objective 80 1336.90/1340.78 c #Conflicts: 818000 | #Constraints: 36370 1336.90/1340.78 c #Conflicts: 819000 | #Constraints: 37407 1336.90/1340.78 c #Conflicts: 820000 | #Constraints: 38442 1336.90/1340.78 c #Conflicts: 821000 | #Constraints: 39478 1336.90/1340.78 c #Conflicts: 822000 | #Constraints: 40514 1336.90/1340.78 c #Conflicts: 823000 | #Constraints: 41548 1336.90/1340.78 c #Conflicts: 824000 | #Constraints: 42579 1336.90/1340.78 c #Conflicts: 825000 | #Constraints: 43601 1336.90/1340.78 c #Conflicts: 826000 | #Constraints: 44625 1336.90/1340.78 c #Conflicts: 827000 | #Constraints: 45643 1336.90/1340.78 c #Conflicts: 828000 | #Constraints: 46672 1336.90/1340.78 c #Conflicts: 829000 | #Constraints: 47698 1336.90/1340.78 c #Conflicts: 830000 | #Constraints: 48719 1336.90/1340.78 c #Conflicts: 831000 | #Constraints: 49737 1336.90/1340.78 c #Conflicts: 832000 | #Constraints: 50767 1336.90/1340.78 c #Conflicts: 833000 | #Constraints: 51791 1336.90/1340.78 c #Conflicts: 834000 | #Constraints: 52828 1336.90/1340.78 c #Conflicts: 835000 | #Constraints: 53855 1336.90/1340.78 c #Conflicts: 836000 | #Constraints: 54878 1336.90/1340.78 c INPROCESSING 1336.90/1340.78 c GARBAGE COLLECT 1336.90/1340.78 c rational objective 80 1396.59/1400.69 c #Conflicts: 837000 | #Constraints: 28829 1396.59/1400.69 c #Conflicts: 838000 | #Constraints: 29829 1396.59/1400.69 c #Conflicts: 839000 | #Constraints: 30829 1396.59/1400.69 c #Conflicts: 840000 | #Constraints: 31829 1396.59/1400.69 c #Conflicts: 841000 | #Constraints: 32829 1396.59/1400.69 c #Conflicts: 842000 | #Constraints: 33829 1396.59/1400.69 c #Conflicts: 843000 | #Constraints: 34829 1396.59/1400.69 c #Conflicts: 844000 | #Constraints: 35829 1396.59/1400.69 c #Conflicts: 845000 | #Constraints: 36829 1396.59/1400.69 c #Conflicts: 846000 | #Constraints: 37829 1396.59/1400.69 c #Conflicts: 847000 | #Constraints: 38829 1396.59/1400.69 c #Conflicts: 848000 | #Constraints: 39829 1396.59/1400.69 c #Conflicts: 849000 | #Constraints: 40829 1396.59/1400.69 c #Conflicts: 850000 | #Constraints: 41829 1396.59/1400.69 c #Conflicts: 851000 | #Constraints: 42829 1396.59/1400.69 c #Conflicts: 852000 | #Constraints: 43829 1396.59/1400.69 c #Conflicts: 853000 | #Constraints: 44829 1396.59/1400.69 c #Conflicts: 854000 | #Constraints: 45829 1396.59/1400.69 c #Conflicts: 855000 | #Constraints: 46829 1396.59/1400.69 c INPROCESSING 1396.59/1400.69 c GARBAGE COLLECT 1396.59/1400.69 c rational objective 80 1635.41/1640.29 c #Conflicts: 856000 | #Constraints: 24775 1635.41/1640.29 c #Conflicts: 857000 | #Constraints: 25802 1635.41/1640.29 c #Conflicts: 858000 | #Constraints: 26834 1635.41/1640.29 c #Conflicts: 859000 | #Constraints: 27861 1635.41/1640.29 c #Conflicts: 860000 | #Constraints: 28893 1635.41/1640.29 c #Conflicts: 861000 | #Constraints: 29923 1635.41/1640.29 c #Conflicts: 862000 | #Constraints: 30957 1635.41/1640.29 c #Conflicts: 863000 | #Constraints: 31980 1635.41/1640.29 c #Conflicts: 864000 | #Constraints: 33004 1635.41/1640.29 c #Conflicts: 865000 | #Constraints: 34032 1635.41/1640.29 c #Conflicts: 866000 | #Constraints: 35054 1635.41/1640.29 c #Conflicts: 867000 | #Constraints: 36086 1635.41/1640.29 c #Conflicts: 868000 | #Constraints: 37118 1635.41/1640.29 c #Conflicts: 869000 | #Constraints: 38139 1635.41/1640.29 c #Conflicts: 870000 | #Constraints: 39163 1635.41/1640.29 c #Conflicts: 871000 | #Constraints: 40198 1635.41/1640.29 c #Conflicts: 872000 | #Constraints: 41222 1635.41/1640.29 c #Conflicts: 873000 | #Constraints: 42246 1635.41/1640.29 c #Conflicts: 874000 | #Constraints: 43268 1635.41/1640.29 c #Conflicts: 875000 | #Constraints: 44300 1635.41/1640.29 c #Conflicts: 876000 | #Constraints: 45329 1635.41/1640.29 c #Conflicts: 877000 | #Constraints: 46357 1635.41/1640.29 c #Conflicts: 878000 | #Constraints: 47383 1635.41/1640.29 c #Conflicts: 879000 | #Constraints: 48407 1635.41/1640.29 c #Conflicts: 880000 | #Constraints: 49438 1635.41/1640.29 c #Conflicts: 881000 | #Constraints: 50468 1635.41/1640.29 c #Conflicts: 882000 | #Constraints: 51498 1635.41/1640.29 c #Conflicts: 883000 | #Constraints: 52519 1635.41/1640.29 c #Conflicts: 884000 | #Constraints: 53540 1635.41/1640.29 c #Conflicts: 885000 | #Constraints: 54569 1635.41/1640.29 c #Conflicts: 886000 | #Constraints: 55597 1635.41/1640.29 c #Conflicts: 887000 | #Constraints: 56618 1635.41/1640.29 c #Conflicts: 888000 | #Constraints: 57646 1635.41/1640.29 c #Conflicts: 889000 | #Constraints: 58672 1635.41/1640.29 c #Conflicts: 890000 | #Constraints: 59696 1635.41/1640.29 c #Conflicts: 891000 | #Constraints: 60719 1635.41/1640.29 c #Conflicts: 892000 | #Constraints: 61747 1635.41/1640.29 c #Conflicts: 893000 | #Constraints: 62773 1635.41/1640.29 c #Conflicts: 894000 | #Constraints: 63793 1635.41/1640.29 c #Conflicts: 895000 | #Constraints: 64813 1635.41/1640.29 c #Conflicts: 896000 | #Constraints: 65848 1635.41/1640.29 c #Conflicts: 897000 | #Constraints: 66875 1635.41/1640.29 c #Conflicts: 898000 | #Constraints: 67914 1635.41/1640.29 c #Conflicts: 899000 | #Constraints: 68943 1635.41/1640.29 c #Conflicts: 900000 | #Constraints: 69970 1635.41/1640.29 c #Conflicts: 901000 | #Constraints: 70997 1635.41/1640.29 c #Conflicts: 902000 | #Constraints: 72025 1635.41/1640.29 c #Conflicts: 903000 | #Constraints: 73047 1635.41/1640.29 c #Conflicts: 904000 | #Constraints: 74067 1635.41/1640.29 c #Conflicts: 905000 | #Constraints: 75096 1635.41/1640.29 c #Conflicts: 906000 | #Constraints: 76117 1635.41/1640.29 c #Conflicts: 907000 | #Constraints: 77143 1635.41/1640.29 c #Conflicts: 908000 | #Constraints: 78171 1635.41/1640.29 c #Conflicts: 909000 | #Constraints: 79194 1635.41/1640.29 c #Conflicts: 910000 | #Constraints: 80217 1635.41/1640.29 c #Conflicts: 911000 | #Constraints: 81242 1635.41/1640.29 c #Conflicts: 912000 | #Constraints: 82267 1635.41/1640.29 c #Conflicts: 913000 | #Constraints: 83297 1635.41/1640.29 c #Conflicts: 914000 | #Constraints: 84317 1635.41/1640.29 c #Conflicts: 915000 | #Constraints: 85340 1635.41/1640.29 c #Conflicts: 916000 | #Constraints: 86368 1635.41/1640.29 c #Conflicts: 917000 | #Constraints: 87408 1635.41/1640.29 c #Conflicts: 918000 | #Constraints: 88434 1635.41/1640.29 c #Conflicts: 919000 | #Constraints: 89458 1635.41/1640.29 c #Conflicts: 920000 | #Constraints: 90482 1635.41/1640.29 c #Conflicts: 921000 | #Constraints: 91507 1635.41/1640.29 c #Conflicts: 922000 | #Constraints: 92532 1635.41/1640.29 c #Conflicts: 923000 | #Constraints: 93556 1635.41/1640.29 c #Conflicts: 924000 | #Constraints: 94588 1635.41/1640.29 c #Conflicts: 925000 | #Constraints: 95615 1635.41/1640.29 c #Conflicts: 926000 | #Constraints: 96643 1635.41/1640.29 c #Conflicts: 927000 | #Constraints: 97683 1635.41/1640.29 c #Conflicts: 928000 | #Constraints: 98721 1635.41/1640.29 c #Conflicts: 929000 | #Constraints: 99751 1635.41/1640.29 c #Conflicts: 930000 | #Constraints: 100781 1635.41/1640.29 c #Conflicts: 931000 | #Constraints: 101806 1635.41/1640.29 c #Conflicts: 932000 | #Constraints: 102826 1635.41/1640.29 c #Conflicts: 933000 | #Constraints: 103844 1635.41/1640.29 c #Conflicts: 934000 | #Constraints: 104875 1655.14/1660.09 c #Conflicts: 935000 | #Constraints: 105904 1655.14/1660.09 c #Conflicts: 936000 | #Constraints: 106929 1655.14/1660.09 c #Conflicts: 937000 | #Constraints: 107954 1655.14/1660.09 c #Conflicts: 938000 | #Constraints: 108983 1655.14/1660.09 c INPROCESSING 1655.14/1660.09 c GARBAGE COLLECT 1655.14/1660.09 c rational objective 80 1739.99/1745.11 c #Conflicts: 939000 | #Constraints: 56070 1739.99/1745.11 c #Conflicts: 940000 | #Constraints: 57070 1739.99/1745.11 c #Conflicts: 941000 | #Constraints: 58070 1739.99/1745.11 c #Conflicts: 942000 | #Constraints: 59070 1739.99/1745.11 c #Conflicts: 943000 | #Constraints: 60070 1739.99/1745.11 c #Conflicts: 944000 | #Constraints: 61070 1739.99/1745.11 c #Conflicts: 945000 | #Constraints: 62070 1739.99/1745.11 c #Conflicts: 946000 | #Constraints: 63070 1739.99/1745.11 c #Conflicts: 947000 | #Constraints: 64070 1739.99/1745.11 c #Conflicts: 948000 | #Constraints: 65070 1739.99/1745.11 c #Conflicts: 949000 | #Constraints: 66070 1739.99/1745.11 c #Conflicts: 950000 | #Constraints: 67070 1739.99/1745.11 c #Conflicts: 951000 | #Constraints: 68070 1739.99/1745.11 c #Conflicts: 952000 | #Constraints: 69070 1739.99/1745.11 c #Conflicts: 953000 | #Constraints: 70070 1739.99/1745.11 c #Conflicts: 954000 | #Constraints: 71070 1739.99/1745.11 c #Conflicts: 955000 | #Constraints: 72070 1739.99/1745.11 c #Conflicts: 956000 | #Constraints: 73070 1739.99/1745.11 c #Conflicts: 957000 | #Constraints: 74070 1739.99/1745.11 c #Conflicts: 958000 | #Constraints: 75070 1739.99/1745.11 c INPROCESSING 1739.99/1745.11 c GARBAGE COLLECT 1739.99/1745.11 c rational objective 80 1825.63/1831.02 c #Conflicts: 959000 | #Constraints: 38939 1825.63/1831.02 c #Conflicts: 960000 | #Constraints: 39939 1825.63/1831.02 c #Conflicts: 961000 | #Constraints: 40939 1825.63/1831.02 c #Conflicts: 962000 | #Constraints: 41939 1825.63/1831.02 c #Conflicts: 963000 | #Constraints: 42939 1825.63/1831.02 c #Conflicts: 964000 | #Constraints: 43939 1825.63/1831.02 c #Conflicts: 965000 | #Constraints: 44939 1825.63/1831.02 c #Conflicts: 966000 | #Constraints: 45939 1825.63/1831.02 c #Conflicts: 967000 | #Constraints: 46939 1825.63/1831.02 c #Conflicts: 968000 | #Constraints: 47939 1825.63/1831.02 c #Conflicts: 969000 | #Constraints: 48939 1825.63/1831.02 c #Conflicts: 970000 | #Constraints: 49939 1825.63/1831.02 c #Conflicts: 971000 | #Constraints: 50939 1825.63/1831.02 c #Conflicts: 972000 | #Constraints: 51939 1825.63/1831.02 c #Conflicts: 973000 | #Constraints: 52939 1825.63/1831.02 c #Conflicts: 974000 | #Constraints: 53939 1825.63/1831.02 c #Conflicts: 975000 | #Constraints: 54939 1825.63/1831.02 c #Conflicts: 976000 | #Constraints: 55939 1825.63/1831.02 c #Conflicts: 977000 | #Constraints: 56939 1825.63/1831.02 c #Conflicts: 978000 | #Constraints: 57939 1825.63/1831.02 c #Conflicts: 979000 | #Constraints: 58939 1825.63/1831.02 c INPROCESSING 1825.63/1831.02 c GARBAGE COLLECT 1825.63/1831.02 c rational objective 80 1898.91/1904.59 c #Conflicts: 980000 | #Constraints: 31012 1898.91/1904.59 c #Conflicts: 981000 | #Constraints: 32012 1898.91/1904.59 c #Conflicts: 982000 | #Constraints: 33012 1898.91/1904.59 c #Conflicts: 983000 | #Constraints: 34012 1898.91/1904.59 c #Conflicts: 984000 | #Constraints: 35012 1898.91/1904.59 c #Conflicts: 985000 | #Constraints: 36012 1898.91/1904.59 c #Conflicts: 986000 | #Constraints: 37012 1898.91/1904.59 c #Conflicts: 987000 | #Constraints: 38012 1898.91/1904.59 c #Conflicts: 988000 | #Constraints: 39012 1898.91/1904.59 c #Conflicts: 989000 | #Constraints: 40012 1898.91/1904.59 c #Conflicts: 990000 | #Constraints: 41012 1898.91/1904.59 c #Conflicts: 991000 | #Constraints: 42012 1898.91/1904.59 c #Conflicts: 992000 | #Constraints: 43012 1898.91/1904.59 c #Conflicts: 993000 | #Constraints: 44012 1898.91/1904.59 c #Conflicts: 994000 | #Constraints: 45012 1898.91/1904.59 c #Conflicts: 995000 | #Constraints: 46012 1898.91/1904.59 c #Conflicts: 996000 | #Constraints: 47012 1898.91/1904.59 c #Conflicts: 997000 | #Constraints: 48012 1898.91/1904.59 c #Conflicts: 998000 | #Constraints: 49012 1898.91/1904.59 c #Conflicts: 999000 | #Constraints: 50012 1898.91/1904.59 c #Conflicts: 1000000 | #Constraints: 51012 1898.91/1904.59 c INPROCESSING 1898.91/1904.59 c GARBAGE COLLECT 1898.91/1904.59 c rational objective 80 2218.35/2224.94 c #Conflicts: 1001000 | #Constraints: 28764 2218.35/2224.94 c #Conflicts: 1002000 | #Constraints: 29782 2218.35/2224.94 c #Conflicts: 1003000 | #Constraints: 30797 2218.35/2224.94 c #Conflicts: 1004000 | #Constraints: 31831 2218.35/2224.94 c #Conflicts: 1005000 | #Constraints: 32843 2218.35/2224.94 c #Conflicts: 1006000 | #Constraints: 33853 2218.35/2224.94 c #Conflicts: 1007000 | #Constraints: 34899 2218.35/2224.94 c #Conflicts: 1008000 | #Constraints: 35953 2218.35/2224.94 c #Conflicts: 1009000 | #Constraints: 36988 2218.35/2224.94 c #Conflicts: 1010000 | #Constraints: 38028 2218.35/2224.94 c #Conflicts: 1011000 | #Constraints: 39071 2218.35/2224.94 c #Conflicts: 1012000 | #Constraints: 40109 2218.35/2224.94 c #Conflicts: 1013000 | #Constraints: 41147 2218.35/2224.94 c #Conflicts: 1014000 | #Constraints: 42176 2218.35/2224.94 c #Conflicts: 1015000 | #Constraints: 43214 2218.35/2224.94 c #Conflicts: 1016000 | #Constraints: 44250 2218.35/2224.94 c #Conflicts: 1017000 | #Constraints: 45281 2218.35/2224.94 c #Conflicts: 1018000 | #Constraints: 46301 2218.35/2224.94 c #Conflicts: 1019000 | #Constraints: 47331 2218.35/2224.94 c #Conflicts: 1020000 | #Constraints: 48350 2218.35/2224.94 c #Conflicts: 1021000 | #Constraints: 49370 2218.35/2224.94 c #Conflicts: 1022000 | #Constraints: 50390 2218.35/2224.94 c #Conflicts: 1023000 | #Constraints: 51413 2218.35/2224.94 c #Conflicts: 1024000 | #Constraints: 52438 2218.35/2224.94 c #Conflicts: 1025000 | #Constraints: 53467 2218.35/2224.94 c #Conflicts: 1026000 | #Constraints: 54496 2218.35/2224.94 c #Conflicts: 1027000 | #Constraints: 55530 2218.35/2224.94 c #Conflicts: 1028000 | #Constraints: 56561 2218.35/2224.94 c #Conflicts: 1029000 | #Constraints: 57596 2218.35/2224.94 c #Conflicts: 1030000 | #Constraints: 58621 2218.35/2224.94 c #Conflicts: 1031000 | #Constraints: 59637 2218.35/2224.94 c #Conflicts: 1032000 | #Constraints: 60673 2218.35/2224.94 c #Conflicts: 1033000 | #Constraints: 61705 2218.35/2224.94 c #Conflicts: 1034000 | #Constraints: 62739 2218.35/2224.94 c #Conflicts: 1035000 | #Constraints: 63764 2218.35/2224.94 c #Conflicts: 1036000 | #Constraints: 64780 2218.35/2224.94 c #Conflicts: 1037000 | #Constraints: 65803 2218.35/2224.94 c #Conflicts: 1038000 | #Constraints: 66831 2218.35/2224.94 c #Conflicts: 1039000 | #Constraints: 67855 2218.35/2224.94 c #Conflicts: 1040000 | #Constraints: 68884 2218.35/2224.94 c #Conflicts: 1041000 | #Constraints: 69906 2218.35/2224.94 c #Conflicts: 1042000 | #Constraints: 70927 2218.35/2224.94 c #Conflicts: 1043000 | #Constraints: 71955 2218.35/2224.94 c #Conflicts: 1044000 | #Constraints: 72982 2218.35/2224.94 c #Conflicts: 1045000 | #Constraints: 74004 2218.35/2224.94 c #Conflicts: 1046000 | #Constraints: 75025 2218.35/2224.94 c #Conflicts: 1047000 | #Constraints: 76051 2218.35/2224.94 c #Conflicts: 1048000 | #Constraints: 77073 2218.35/2224.94 c #Conflicts: 1049000 | #Constraints: 78104 2218.35/2224.94 c #Conflicts: 1050000 | #Constraints: 79124 2218.35/2224.94 c #Conflicts: 1051000 | #Constraints: 80152 2218.35/2224.94 c #Conflicts: 1052000 | #Constraints: 81182 2218.35/2224.94 c #Conflicts: 1053000 | #Constraints: 82201 2218.35/2224.94 c #Conflicts: 1054000 | #Constraints: 83226 2218.35/2224.94 c #Conflicts: 1055000 | #Constraints: 84245 2218.35/2224.94 c #Conflicts: 1056000 | #Constraints: 85271 2218.35/2224.94 c #Conflicts: 1057000 | #Constraints: 86297 2218.35/2224.94 c #Conflicts: 1058000 | #Constraints: 87316 2218.35/2224.94 c #Conflicts: 1059000 | #Constraints: 88336 2218.35/2224.94 c #Conflicts: 1060000 | #Constraints: 89354 2218.35/2224.94 c #Conflicts: 1061000 | #Constraints: 90372 2218.35/2224.94 c #Conflicts: 1062000 | #Constraints: 91397 2218.35/2224.94 c #Conflicts: 1063000 | #Constraints: 92414 2218.35/2224.94 c #Conflicts: 1064000 | #Constraints: 93433 2218.35/2224.94 c #Conflicts: 1065000 | #Constraints: 94460 2218.35/2224.94 c #Conflicts: 1066000 | #Constraints: 95487 2218.35/2224.94 c #Conflicts: 1067000 | #Constraints: 96509 2218.35/2224.94 c #Conflicts: 1068000 | #Constraints: 97533 2218.35/2224.94 c #Conflicts: 1069000 | #Constraints: 98557 2218.35/2224.94 c #Conflicts: 1070000 | #Constraints: 99583 2218.35/2224.94 c #Conflicts: 1071000 | #Constraints: 100607 2218.35/2224.94 c #Conflicts: 1072000 | #Constraints: 101632 2218.35/2224.94 c #Conflicts: 1073000 | #Constraints: 102657 2218.35/2224.94 c #Conflicts: 1074000 | #Constraints: 103682 2218.35/2224.94 c #Conflicts: 1075000 | #Constraints: 104708 2218.35/2224.94 c #Conflicts: 1076000 | #Constraints: 105728 2218.35/2224.94 c #Conflicts: 1077000 | #Constraints: 106750 2218.35/2224.94 c #Conflicts: 1078000 | #Constraints: 107774 2218.35/2224.94 c #Conflicts: 1079000 | #Constraints: 108798 2280.95/2287.73 c #Conflicts: 1080000 | #Constraints: 109814 2280.95/2287.73 c #Conflicts: 1081000 | #Constraints: 110839 2280.95/2287.73 c #Conflicts: 1082000 | #Constraints: 111855 2280.95/2287.73 c #Conflicts: 1083000 | #Constraints: 112874 2280.95/2287.73 c #Conflicts: 1084000 | #Constraints: 113898 2280.95/2287.73 c #Conflicts: 1085000 | #Constraints: 114915 2280.95/2287.73 c #Conflicts: 1086000 | #Constraints: 115941 2280.95/2287.73 c #Conflicts: 1087000 | #Constraints: 116963 2280.95/2287.73 c INPROCESSING 2280.95/2287.73 c GARBAGE COLLECT 2280.95/2287.73 c rational objective 80 2439.05/2446.37 c #Conflicts: 1088000 | #Constraints: 59690 2439.05/2446.37 c #Conflicts: 1089000 | #Constraints: 60690 2439.05/2446.37 c #Conflicts: 1090000 | #Constraints: 61690 2439.05/2446.37 c #Conflicts: 1091000 | #Constraints: 62690 2439.05/2446.37 c #Conflicts: 1092000 | #Constraints: 63690 2439.05/2446.37 c #Conflicts: 1093000 | #Constraints: 64690 2439.05/2446.37 c #Conflicts: 1094000 | #Constraints: 65690 2439.05/2446.37 c #Conflicts: 1095000 | #Constraints: 66690 2439.05/2446.37 c #Conflicts: 1096000 | #Constraints: 67690 2439.05/2446.37 c #Conflicts: 1097000 | #Constraints: 68690 2439.05/2446.37 c #Conflicts: 1098000 | #Constraints: 69690 2439.05/2446.37 c #Conflicts: 1099000 | #Constraints: 70690 2439.05/2446.37 c #Conflicts: 1100000 | #Constraints: 71690 2439.05/2446.37 c #Conflicts: 1101000 | #Constraints: 72690 2439.05/2446.37 c #Conflicts: 1102000 | #Constraints: 73690 2439.05/2446.37 c #Conflicts: 1103000 | #Constraints: 74690 2439.05/2446.37 c #Conflicts: 1104000 | #Constraints: 75690 2439.05/2446.37 c #Conflicts: 1105000 | #Constraints: 76690 2439.05/2446.37 c #Conflicts: 1106000 | #Constraints: 77690 2439.05/2446.37 c #Conflicts: 1107000 | #Constraints: 78690 2439.05/2446.37 c #Conflicts: 1108000 | #Constraints: 79690 2439.05/2446.37 c #Conflicts: 1109000 | #Constraints: 80690 2439.05/2446.37 c #Conflicts: 1110000 | #Constraints: 81690 2439.05/2446.37 c INPROCESSING 2439.05/2446.37 c GARBAGE COLLECT 2439.05/2446.37 c rational objective 80 2555.43/2563.01 c #Conflicts: 1111000 | #Constraints: 42500 2555.43/2563.01 c #Conflicts: 1112000 | #Constraints: 43500 2555.43/2563.01 c #Conflicts: 1113000 | #Constraints: 44500 2555.43/2563.01 c #Conflicts: 1114000 | #Constraints: 45500 2555.43/2563.01 c #Conflicts: 1115000 | #Constraints: 46500 2555.43/2563.01 c #Conflicts: 1116000 | #Constraints: 47500 2555.43/2563.01 c #Conflicts: 1117000 | #Constraints: 48500 2555.43/2563.01 c #Conflicts: 1118000 | #Constraints: 49500 2555.43/2563.01 c #Conflicts: 1119000 | #Constraints: 50500 2555.43/2563.01 c #Conflicts: 1120000 | #Constraints: 51500 2555.43/2563.01 c #Conflicts: 1121000 | #Constraints: 52500 2555.43/2563.01 c #Conflicts: 1122000 | #Constraints: 53500 2555.43/2563.01 c #Conflicts: 1123000 | #Constraints: 54500 2555.43/2563.01 c #Conflicts: 1124000 | #Constraints: 55500 2555.43/2563.01 c #Conflicts: 1125000 | #Constraints: 56500 2555.43/2563.01 c #Conflicts: 1126000 | #Constraints: 57500 2555.43/2563.01 c #Conflicts: 1127000 | #Constraints: 58500 2555.43/2563.01 c #Conflicts: 1128000 | #Constraints: 59500 2555.43/2563.01 c #Conflicts: 1129000 | #Constraints: 60500 2555.43/2563.01 c #Conflicts: 1130000 | #Constraints: 61500 2555.43/2563.01 c #Conflicts: 1131000 | #Constraints: 62500 2555.43/2563.01 c #Conflicts: 1132000 | #Constraints: 63500 2555.43/2563.01 c INPROCESSING 2555.43/2563.01 c GARBAGE COLLECT 2555.43/2563.01 c rational objective 80 3165.35/3174.84 c #Conflicts: 1133000 | #Constraints: 33204 3165.35/3174.84 c #Conflicts: 1134000 | #Constraints: 34204 3165.35/3174.84 c #Conflicts: 1135000 | #Constraints: 35204 3165.35/3174.84 c #Conflicts: 1136000 | #Constraints: 36204 3165.35/3174.84 c #Conflicts: 1137000 | #Constraints: 37204 3165.35/3174.84 c #Conflicts: 1138000 | #Constraints: 38204 3165.35/3174.84 c #Conflicts: 1139000 | #Constraints: 39204 3165.35/3174.84 c #Conflicts: 1140000 | #Constraints: 40204 3165.35/3174.84 c #Conflicts: 1141000 | #Constraints: 41204 3165.35/3174.84 c #Conflicts: 1142000 | #Constraints: 42204 3165.35/3174.84 c #Conflicts: 1143000 | #Constraints: 43204 3165.35/3174.84 c #Conflicts: 1144000 | #Constraints: 44204 3165.35/3174.84 c #Conflicts: 1145000 | #Constraints: 45204 3165.35/3174.84 c #Conflicts: 1146000 | #Constraints: 46204 3165.35/3174.84 c #Conflicts: 1147000 | #Constraints: 47204 3165.35/3174.84 c #Conflicts: 1148000 | #Constraints: 48204 3165.35/3174.84 c #Conflicts: 1149000 | #Constraints: 49204 3165.35/3174.84 c #Conflicts: 1150000 | #Constraints: 50204 3165.35/3174.84 c #Conflicts: 1151000 | #Constraints: 51204 3165.35/3174.84 c #Conflicts: 1152000 | #Constraints: 52204 3165.35/3174.84 c #Conflicts: 1153000 | #Constraints: 53204 3165.35/3174.84 c #Conflicts: 1154000 | #Constraints: 54204 3165.35/3174.84 c #Conflicts: 1155000 | #Constraints: 55204 3165.35/3174.84 c #Conflicts: 1156000 | #Constraints: 56204 3165.35/3174.84 c #Conflicts: 1157000 | #Constraints: 57204 3165.35/3174.84 c #Conflicts: 1158000 | #Constraints: 58204 3165.35/3174.84 c #Conflicts: 1159000 | #Constraints: 59204 3165.35/3174.84 c #Conflicts: 1160000 | #Constraints: 60204 3165.35/3174.84 c #Conflicts: 1161000 | #Constraints: 61204 3165.35/3174.84 c #Conflicts: 1162000 | #Constraints: 62204 3165.35/3174.84 c #Conflicts: 1163000 | #Constraints: 63204 3165.35/3174.84 c #Conflicts: 1164000 | #Constraints: 64204 3165.35/3174.84 c #Conflicts: 1165000 | #Constraints: 65204 3165.35/3174.84 c #Conflicts: 1166000 | #Constraints: 66204 3165.35/3174.84 c #Conflicts: 1167000 | #Constraints: 67204 3165.35/3174.84 c #Conflicts: 1168000 | #Constraints: 68204 3165.35/3174.84 c #Conflicts: 1169000 | #Constraints: 69204 3165.35/3174.84 c #Conflicts: 1170000 | #Constraints: 70204 3165.35/3174.84 c #Conflicts: 1171000 | #Constraints: 71204 3165.35/3174.84 c #Conflicts: 1172000 | #Constraints: 72204 3165.35/3174.84 c #Conflicts: 1173000 | #Constraints: 73204 3165.35/3174.84 c #Conflicts: 1174000 | #Constraints: 74204 3165.35/3174.84 c #Conflicts: 1175000 | #Constraints: 75204 3165.35/3174.84 c #Conflicts: 1176000 | #Constraints: 76204 3165.35/3174.84 c #Conflicts: 1177000 | #Constraints: 77204 3165.35/3174.84 c #Conflicts: 1178000 | #Constraints: 78204 3165.35/3174.84 c #Conflicts: 1179000 | #Constraints: 79204 3165.35/3174.84 c #Conflicts: 1180000 | #Constraints: 80204 3165.35/3174.84 c #Conflicts: 1181000 | #Constraints: 81204 3165.35/3174.84 c #Conflicts: 1182000 | #Constraints: 82204 3165.35/3174.84 c #Conflicts: 1183000 | #Constraints: 83204 3165.35/3174.84 c #Conflicts: 1184000 | #Constraints: 84204 3165.35/3174.84 c #Conflicts: 1185000 | #Constraints: 85204 3165.35/3174.84 c #Conflicts: 1186000 | #Constraints: 86204 3165.35/3174.84 c #Conflicts: 1187000 | #Constraints: 87204 3165.35/3174.84 c #Conflicts: 1188000 | #Constraints: 88204 3165.35/3174.84 c #Conflicts: 1189000 | #Constraints: 89204 3165.35/3174.84 c #Conflicts: 1190000 | #Constraints: 90204 3165.35/3174.84 c #Conflicts: 1191000 | #Constraints: 91204 3165.35/3174.84 c #Conflicts: 1192000 | #Constraints: 92204 3165.35/3174.84 c #Conflicts: 1193000 | #Constraints: 93204 3165.35/3174.84 c #Conflicts: 1194000 | #Constraints: 94204 3165.35/3174.84 c #Conflicts: 1195000 | #Constraints: 95204 3165.35/3174.84 c #Conflicts: 1196000 | #Constraints: 96204 3165.35/3174.84 c #Conflicts: 1197000 | #Constraints: 97204 3165.35/3174.84 c #Conflicts: 1198000 | #Constraints: 98204 3165.35/3174.84 c #Conflicts: 1199000 | #Constraints: 99204 3165.35/3174.84 c #Conflicts: 1200000 | #Constraints: 100204 3165.35/3174.84 c #Conflicts: 1201000 | #Constraints: 101204 3165.35/3174.84 c #Conflicts: 1202000 | #Constraints: 102204 3165.35/3174.84 c #Conflicts: 1203000 | #Constraints: 103204 3165.35/3174.84 c #Conflicts: 1204000 | #Constraints: 104204 3165.35/3174.84 c #Conflicts: 1205000 | #Constraints: 105204 3165.35/3174.84 c #Conflicts: 1206000 | #Constraints: 106204 3165.35/3174.84 c #Conflicts: 1207000 | #Constraints: 107204 3165.35/3174.84 c #Conflicts: 1208000 | #Constraints: 108204 3165.35/3174.84 c #Conflicts: 1209000 | #Constraints: 109204 3165.35/3174.84 c #Conflicts: 1210000 | #Constraints: 110204 3165.35/3174.84 c #Conflicts: 1211000 | #Constraints: 111204 3337.70/3347.72 c #Conflicts: 1212000 | #Constraints: 112204 3337.70/3347.72 c #Conflicts: 1213000 | #Constraints: 113204 3337.70/3347.72 c #Conflicts: 1214000 | #Constraints: 114204 3337.70/3347.72 c #Conflicts: 1215000 | #Constraints: 115204 3337.70/3347.72 c #Conflicts: 1216000 | #Constraints: 116204 3337.70/3347.72 c #Conflicts: 1217000 | #Constraints: 117204 3337.70/3347.72 c #Conflicts: 1218000 | #Constraints: 118204 3337.70/3347.72 c #Conflicts: 1219000 | #Constraints: 119204 3337.70/3347.72 c #Conflicts: 1220000 | #Constraints: 120204 3337.70/3347.72 c #Conflicts: 1221000 | #Constraints: 121204 3337.70/3347.72 c #Conflicts: 1222000 | #Constraints: 122204 3337.70/3347.72 c #Conflicts: 1223000 | #Constraints: 123204 3337.70/3347.72 c #Conflicts: 1224000 | #Constraints: 124204 3337.70/3347.72 c INPROCESSING 3337.70/3347.72 c GARBAGE COLLECT 3337.70/3347.72 c rational objective 80 3403.60/3413.81 c #Conflicts: 1225000 | #Constraints: 63614 3403.60/3413.81 c #Conflicts: 1226000 | #Constraints: 64614 3403.60/3413.81 c #Conflicts: 1227000 | #Constraints: 65614 3403.60/3413.81 c #Conflicts: 1228000 | #Constraints: 66614 3403.60/3413.81 c #Conflicts: 1229000 | #Constraints: 67614 3403.60/3413.81 c #Conflicts: 1230000 | #Constraints: 68623 3403.60/3413.81 c #Conflicts: 1231000 | #Constraints: 69655 3403.60/3413.81 c #Conflicts: 1232000 | #Constraints: 70687 3403.60/3413.81 c #Conflicts: 1233000 | #Constraints: 71726 3403.60/3413.81 c #Conflicts: 1234000 | #Constraints: 72762 3403.60/3413.81 c #Conflicts: 1235000 | #Constraints: 73798 3403.60/3413.81 c #Conflicts: 1236000 | #Constraints: 74832 3403.60/3413.81 c #Conflicts: 1237000 | #Constraints: 75868 3403.60/3413.81 c #Conflicts: 1238000 | #Constraints: 76897 3403.60/3413.81 c #Conflicts: 1239000 | #Constraints: 77922 3403.60/3413.81 c #Conflicts: 1240000 | #Constraints: 78951 3403.60/3413.81 c #Conflicts: 1241000 | #Constraints: 79980 3403.60/3413.81 c #Conflicts: 1242000 | #Constraints: 81008 3403.60/3413.81 c #Conflicts: 1243000 | #Constraints: 82028 3403.60/3413.81 c #Conflicts: 1244000 | #Constraints: 83061 3403.60/3413.81 c #Conflicts: 1245000 | #Constraints: 84112 3403.60/3413.81 c #Conflicts: 1246000 | #Constraints: 85158 3403.60/3413.81 c #Conflicts: 1247000 | #Constraints: 86195 3403.60/3413.81 c #Conflicts: 1248000 | #Constraints: 87230 3403.60/3413.81 c INPROCESSING 3403.60/3413.81 c GARBAGE COLLECT 3403.60/3413.81 c rational objective 80 3452.08/3462.43 c #Conflicts: 1249000 | #Constraints: 45231 3452.08/3462.43 c #Conflicts: 1250000 | #Constraints: 46271 3452.08/3462.43 c #Conflicts: 1251000 | #Constraints: 47307 3452.08/3462.43 c #Conflicts: 1252000 | #Constraints: 48342 3452.08/3462.43 c #Conflicts: 1253000 | #Constraints: 49373 3452.08/3462.43 c #Conflicts: 1254000 | #Constraints: 50405 3452.08/3462.43 c #Conflicts: 1255000 | #Constraints: 51443 3452.08/3462.43 c #Conflicts: 1256000 | #Constraints: 52476 3452.08/3462.43 c #Conflicts: 1257000 | #Constraints: 53502 3452.08/3462.43 c #Conflicts: 1258000 | #Constraints: 54524 3452.08/3462.43 c #Conflicts: 1259000 | #Constraints: 55550 3452.08/3462.43 c #Conflicts: 1260000 | #Constraints: 56591 3452.08/3462.43 c #Conflicts: 1261000 | #Constraints: 57615 3452.08/3462.43 c #Conflicts: 1262000 | #Constraints: 58638 3452.08/3462.43 c #Conflicts: 1263000 | #Constraints: 59663 3452.08/3462.43 c #Conflicts: 1264000 | #Constraints: 60690 3452.08/3462.43 c #Conflicts: 1265000 | #Constraints: 61715 3452.08/3462.43 c #Conflicts: 1266000 | #Constraints: 62753 3452.08/3462.43 c #Conflicts: 1267000 | #Constraints: 63786 3452.08/3462.43 c #Conflicts: 1268000 | #Constraints: 64814 3452.08/3462.43 c #Conflicts: 1269000 | #Constraints: 65838 3452.08/3462.43 c #Conflicts: 1270000 | #Constraints: 66869 3452.08/3462.43 c #Conflicts: 1271000 | #Constraints: 67894 3452.08/3462.43 c INPROCESSING 3452.08/3462.43 c GARBAGE COLLECT 3452.08/3462.43 c rational objective 80 3600.07/3610.80 c #Conflicts: 1272000 | #Constraints: 39400 3600.07/3610.80 c #Conflicts: 1273000 | #Constraints: 40431 3600.07/3610.80 c #Conflicts: 1274000 | #Constraints: 41462 3600.07/3610.80 c #Conflicts: 1275000 | #Constraints: 42488 3600.07/3610.80 c #Conflicts: 1276000 | #Constraints: 43524 3600.07/3610.80 c #Conflicts: 1277000 | #Constraints: 44554 3600.07/3610.80 c #Conflicts: 1278000 | #Constraints: 45577 3600.07/3610.80 c #Conflicts: 1279000 | #Constraints: 46601 3600.07/3610.80 c #Conflicts: 1280000 | #Constraints: 47629 3600.07/3610.80 c #Conflicts: 1281000 | #Constraints: 48656 3600.07/3610.80 c #Conflicts: 1282000 | #Constraints: 49685 3600.07/3610.80 c #Conflicts: 1283000 | #Constraints: 50710 3600.07/3610.80 c #Conflicts: 1284000 | #Constraints: 51731 3600.07/3610.80 c #Conflicts: 1285000 | #Constraints: 52755 3600.07/3610.80 c #Conflicts: 1286000 | #Constraints: 53788 3600.07/3610.80 c #Conflicts: 1287000 | #Constraints: 54809 3600.07/3610.80 c #Conflicts: 1288000 | #Constraints: 55833 3600.07/3610.80 c #Conflicts: 1289000 | #Constraints: 56857 3600.07/3610.80 c #Conflicts: 1290000 | #Constraints: 57891 3600.07/3610.80 c #Conflicts: 1291000 | #Constraints: 58932 3600.07/3610.80 c #Conflicts: 1292000 | #Constraints: 59968 3600.07/3610.80 c #Conflicts: 1293000 | #Constraints: 61004 3600.07/3610.80 c #Conflicts: 1294000 | #Constraints: 62034 3600.07/3610.80 c #Conflicts: 1295000 | #Constraints: 63055 3600.07/3610.80 c #Conflicts: 1296000 | #Constraints: 64077 3600.07/3610.80 c #Conflicts: 1297000 | #Constraints: 65105 3600.07/3610.80 c #Conflicts: 1298000 | #Constraints: 66132 3600.07/3610.80 c #Conflicts: 1299000 | #Constraints: 67152 3600.07/3610.80 c #Conflicts: 1300000 | #Constraints: 68181 3600.07/3610.80 c #Conflicts: 1301000 | #Constraints: 69210 3600.07/3610.80 c #Conflicts: 1302000 | #Constraints: 70234 3600.07/3610.80 c #Conflicts: 1303000 | #Constraints: 71256 3600.07/3610.80 c #Conflicts: 1304000 | #Constraints: 72284 3600.07/3610.80 c #Conflicts: 1305000 | #Constraints: 73312 3600.07/3610.80 c #Conflicts: 1306000 | #Constraints: 74328 3600.07/3610.80 c #Conflicts: 1307000 | #Constraints: 75347 3600.07/3610.80 c #Conflicts: 1308000 | #Constraints: 76373 3600.07/3610.80 c #Conflicts: 1309000 | #Constraints: 77411 3600.07/3610.80 c #Conflicts: 1310000 | #Constraints: 78441 3600.07/3610.80 c #Conflicts: 1311000 | #Constraints: 79472 3600.07/3610.80 c #Conflicts: 1312000 | #Constraints: 80493 3600.07/3610.80 c #Conflicts: 1313000 | #Constraints: 81516 3600.07/3610.80 c #Conflicts: 1314000 | #Constraints: 82550 3600.07/3610.80 c #Conflicts: 1315000 | #Constraints: 83583 3600.07/3610.80 c #Conflicts: 1316000 | #Constraints: 84610 3600.07/3610.80 c #Conflicts: 1317000 | #Constraints: 85637 3600.07/3610.80 c #Conflicts: 1318000 | #Constraints: 86658 3600.07/3610.80 c #Conflicts: 1319000 | #Constraints: 87683 3600.07/3610.80 c #Conflicts: 1320000 | #Constraints: 88715 3600.07/3610.80 c #Conflicts: 1321000 | #Constraints: 89742 3600.07/3610.80 c #Conflicts: 1322000 | #Constraints: 90773 3600.07/3610.80 c #Conflicts: 1323000 | #Constraints: 91803 3600.07/3610.80 c #Conflicts: 1324000 | #Constraints: 92823 3600.07/3610.80 c #Conflicts: 1325000 | #Constraints: 93854 3600.07/3610.80 c #Conflicts: 1326000 | #Constraints: 94879 3600.07/3610.80 c #Conflicts: 1327000 | #Constraints: 95911 3600.07/3610.80 c #Conflicts: 1328000 | #Constraints: 96942 3600.07/3610.80 c Program interrupted by user. 3600.07/3610.80 c cpu time 3573.78 s 3600.07/3610.80 c deterministic time 342461167918 3.42e+11 3600.07/3610.80 c optimization time 146.734 s 3600.07/3610.80 c total solve time 3427.05 s 3600.07/3610.80 c core-guided solve time 2017.83 s 3600.07/3610.80 c propagation time 3153.72 s 3600.07/3610.80 c conflict analysis time 384.386 s 3600.07/3610.80 c propagations 108432993 3600.07/3610.80 c resolve steps 9514954 3600.07/3610.80 c decisions 7542155 3600.07/3610.80 c conflicts 1328950 3600.07/3610.80 c restarts 2556 3600.07/3610.80 c inprocessing phases 79 3600.07/3610.80 c input clauses 644 3600.07/3610.80 c input cardinalities 194 3600.07/3610.80 c input general constraints 403 3600.07/3610.80 c input average constraint length 38.55 3600.07/3610.80 c input average constraint degree 12.09 3600.07/3610.80 c learned clauses 410377 3600.07/3610.80 c learned cardinalities 6397 3600.07/3610.80 c learned general constraints 934207 3600.07/3610.80 c learned average constraint length 103.32 3600.07/3610.80 c learned average constraint degree 2050950409.28 3600.07/3610.80 c watched constraints 802828 3600.07/3610.80 c counting constraints 131782 3600.07/3610.80 c gcd simplifications 111173 3600.07/3610.80 c detected cardinalities 317 3600.07/3610.80 c weakened non-implied lits 35242208 3600.07/3610.80 c weakened non-implying lits 274513 3600.07/3610.80 c original variables 441 3600.07/3610.80 c clausal propagations 11286801 3600.07/3610.80 c cardinality propagations 3593582 3600.07/3610.80 c watched propagations 17853788 3600.07/3610.80 c counting propagations 74199109 3600.07/3610.80 c watch lookups 62129250919 3600.07/3610.80 c watch backjump lookups 50597140511 3600.07/3610.80 c watch checks 212543938932 3600.07/3610.80 c propagation checks 16296293379 3600.07/3610.80 c constraint additions 659923970 3600.07/3610.80 c trail pops 117281740 3600.07/3610.80 c formula constraints 441 3600.07/3610.80 c learned constraints 1306921 3600.07/3610.80 c bound constraints 115 3600.07/3610.80 c core-guided constraints 685 3600.07/3610.80 c encountered formula constraints 1146457 3600.07/3610.80 c encountered learned constraints 6243094 3600.07/3610.80 c encountered bound constraints 247 3600.07/3610.80 c encountered core-guided constraints 980280 3600.07/3610.80 c LP total time 53.7892 s 3600.07/3610.80 c LP solve time 47.78 s 3600.07/3610.80 c LP constraints added 441 3600.07/3610.80 c LP constraints removed 0 3600.07/3610.80 c LP pivots internal 1328961 3600.07/3610.80 c LP pivots root 34357 3600.07/3610.80 c LP calls 23884 3600.07/3610.80 c LP optimalities 1852 3600.07/3610.80 c LP no pivot count 290 3600.07/3610.80 c LP infeasibilities 22030 3600.07/3610.80 c LP valid Farkas constraints 22030 3600.07/3610.80 c LP learned Farkas constraints 22030 3600.07/3610.80 c LP basis resets 0 3600.07/3610.80 c LP cycling count 0 3600.07/3610.80 c LP singular count 0 3600.07/3610.80 c LP no primal count 0 3600.07/3610.80 c LP no farkas count 0 3600.07/3610.80 c LP other issue count 0 3600.07/3610.80 c LP Gomory cuts 0 3600.07/3610.80 c LP learned cuts 0 3600.07/3610.80 c LP deleted cuts 0 3600.07/3610.80 c LP encountered Gomory constraints 0 3600.07/3610.80 c LP encountered Farkas constraints 1998531 3600.07/3610.80 c LP encountered learned Farkas constraints 453265 3600.07/3610.80 c CG auxiliary variables introduced 255 3600.07/3610.80 c CG solutions found 35 3600.07/3610.80 c CG cores constructed 80 3600.07/3610.80 c CG core cardinality constraints returned 0 3600.07/3610.80 c CG unit cores 0 3600.07/3610.80 c CG single cores 80 3600.07/3610.80 c CG blocks removed during cardinality reduction 0 3600.07/3610.80 c CG first core best 0 3600.07/3610.80 c CG decision core best 0 3600.07/3610.80 c CG core reduction tie 0 3600.07/3610.80 c CG core degree average 1.00 3600.07/3610.80 c CG core slack average 5.70 3600.07/3610.80 s SATISFIABLE 3600.07/3610.80 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
OK 86
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (22254 MiB free)
memory of node 1: 64510 MiB (28604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457060-1721819712/watcher-4457060-1721819712 -o /tmp/evaluation-result-4457060-1721819712/solver-4457060-1721819712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183571 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457060-1721819712 --lp-cut-gomory=0 HOME/instance-4457060-1721819712.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=185324, runsolver pid=185321
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.22 4.21 3.97 5/261 185325
/proc/meminfo: memFree=52073964/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=39428 memory=9744 CPUtime=0.09 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 812 0 0 0 8 1 0 0 20 0 1 0 18499771 40374272 2436 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 9857 2436 1818 992 0 1715 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39428 KiB
Current children cumulated memory: 9744 KiB
[startup+0.205955 s]*
/proc/loadavg: 4.22 4.21 3.97 5/261 185325
/proc/meminfo: memFree=52070100/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=40572 memory=11960 CPUtime=0.2 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 1287 0 0 0 17 3 0 0 20 0 1 0 18499771 41545728 2990 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 10143 2990 1912 992 0 2001 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40572 KiB
Current children cumulated memory: 11960 KiB
[startup+0.305855 s]*
/proc/loadavg: 4.22 4.21 3.97 5/261 185325
/proc/meminfo: memFree=52066964/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=40980 memory=12484 CPUtime=0.3 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 1457 0 0 0 26 4 0 0 20 0 1 0 18499771 41963520 3121 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 10245 3121 1912 992 0 2103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40980 KiB
Current children cumulated memory: 12484 KiB
[startup+0.700234 s]
/proc/loadavg: 4.22 4.21 3.97 5/261 185325
/proc/meminfo: memFree=52059204/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=44184 memory=17492 CPUtime=0.69 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 2196 0 0 0 63 6 0 0 20 0 1 0 18499771 45244416 4373 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 11046 4373 1912 992 0 2904 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 17492 KiB
[startup+1.50024 s]
/proc/loadavg: 4.22 4.21 3.97 5/261 185327
/proc/meminfo: memFree=52037668/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=44728 memory=18160 CPUtime=1.49 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 2354 0 0 0 137 12 0 0 20 0 1 0 18499771 45801472 4540 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 11182 4540 1912 992 0 3040 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44728 KiB
Current children cumulated memory: 18160 KiB
[startup+3.10585 s]
/proc/loadavg: 4.22 4.21 3.97 5/261 185327
/proc/meminfo: memFree=51985304/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=50316 memory=21980 CPUtime=3.09 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 3335 0 0 0 288 21 0 0 20 0 1 0 18499771 51523584 5495 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 12579 5495 1912 992 0 4437 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50316 KiB
Current children cumulated memory: 21980 KiB
[startup+6.30022 s]
/proc/loadavg: 4.21 4.21 3.97 5/261 185327
/proc/meminfo: memFree=51923460/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=51188 memory=23300 CPUtime=6.28 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 3688 0 0 0 593 35 0 0 20 0 1 0 18499771 52416512 5825 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 12797 5825 1912 992 0 4655 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 51188 KiB
Current children cumulated memory: 23300 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.21 3.97 5/261 185328
/proc/meminfo: memFree=51801528/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=54016 memory=26728 CPUtime=12.66 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 4564 0 0 0 1207 59 0 0 20 0 1 0 18499771 55312384 6682 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 13504 6682 1912 992 0 5362 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54016 KiB
Current children cumulated memory: 26728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.20 3.98 5/261 185330
/proc/meminfo: memFree=51556332/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=61884 memory=33356 CPUtime=25.42 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 5702 0 0 0 2438 104 0 0 20 0 1 0 18499771 63369216 8339 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 15471 8339 1912 992 0 7329 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61884 KiB
Current children cumulated memory: 33356 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.20 3.98 5/259 185335
/proc/meminfo: memFree=50973192/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=68120 memory=39832 CPUtime=50.97 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 7360 0 0 0 4913 184 0 0 20 0 1 0 18499771 69754880 9958 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 17030 9958 1912 992 0 8888 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 68120 KiB
Current children cumulated memory: 39832 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 3.99 5/260 185345
/proc/meminfo: memFree=49830260/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=80640 memory=47268 CPUtime=102.03 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 8820 0 0 0 9895 308 0 0 20 0 1 0 18499771 82575360 11817 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 20160 11817 1912 992 0 12018 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 80640 KiB
Current children cumulated memory: 47268 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.16 4.01 9/261 185356
/proc/meminfo: memFree=48440280/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=86700 memory=54276 CPUtime=161.86 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 10416 0 0 0 15736 450 0 0 20 0 1 0 18499771 88780800 13569 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 21675 13569 1912 992 0 13533 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 86700 KiB
Current children cumulated memory: 54276 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.01 5/260 185366
/proc/meminfo: memFree=47267904/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=92088 memory=61028 CPUtime=221.7 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 12101 0 0 0 21609 561 0 0 20 0 1 0 18499771 94298112 15257 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 23022 15257 1912 992 0 14880 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 92088 KiB
Current children cumulated memory: 61028 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.01 8/260 185377
/proc/meminfo: memFree=46403048/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=141424 memory=99044 CPUtime=281.54 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 17197 0 0 0 27504 650 0 0 20 0 1 0 18499771 144818176 24761 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 35356 24761 1912 992 0 27214 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 141424 KiB
Current children cumulated memory: 99044 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.01 5/260 185390
/proc/meminfo: memFree=45380108/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=185364 memory=133476 CPUtime=341.34 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 21035 0 0 0 33433 701 0 0 20 0 1 0 18499771 189812736 33369 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 46341 33369 1912 992 0 38199 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 185364 KiB
Current children cumulated memory: 133476 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.01 8/261 185402
/proc/meminfo: memFree=44642680/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=188184 memory=139592 CPUtime=401.19 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 21994 0 0 0 39360 759 0 0 20 0 1 0 18499771 192700416 34898 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 47046 34898 1912 992 0 38904 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 139592 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.01 5/259 185413
/proc/meminfo: memFree=43824120/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=191096 memory=141488 CPUtime=461.04 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 22584 0 0 0 45272 832 0 0 20 0 1 0 18499771 195682304 35372 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 47774 35372 1912 992 0 39632 0
################
# More data... #
################
Current children cumulated memory: 293808 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/261 187225
/proc/meminfo: memFree=71917308/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=343632 memory=294180 CPUtime=2853.82 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 47272 0 0 0 283091 2291 0 0 20 0 1 0 18499771 351879168 73545 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 85908 73545 1912 992 0 77766 0
Current children cumulated CPU time: 2853.82 s
Current children cumulated vsize: 343632 KiB
Current children cumulated memory: 294180 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/262 187237
/proc/meminfo: memFree=71443040/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=344912 memory=294836 CPUtime=2913.64 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 47554 0 0 0 289054 2310 0 0 20 0 1 0 18499771 353189888 73709 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 86228 73709 1912 992 0 78086 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 344912 KiB
Current children cumulated memory: 294836 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 187247
/proc/meminfo: memFree=70912180/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=346192 memory=295740 CPUtime=2973.46 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 47846 0 0 0 295019 2327 0 0 20 0 1 0 18499771 354500608 73935 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 86548 73935 1912 992 0 78406 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 346192 KiB
Current children cumulated memory: 295740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/260 187257
/proc/meminfo: memFree=70650408/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=349776 memory=297700 CPUtime=3033.27 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 48444 0 0 0 300986 2341 0 0 20 0 1 0 18499771 358170624 74425 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 87444 74425 1912 992 0 79302 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 349776 KiB
Current children cumulated memory: 297700 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 187268
/proc/meminfo: memFree=70164292/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=352080 memory=299128 CPUtime=3093.08 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 48899 0 0 0 306951 2357 0 0 20 0 1 0 18499771 360529920 74782 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 88020 74782 1912 992 0 79878 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 352080 KiB
Current children cumulated memory: 299128 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/258 187278
/proc/meminfo: memFree=69922676/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=354128 memory=300288 CPUtime=3152.88 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 49339 0 0 0 312915 2373 0 0 20 0 1 0 18499771 362627072 75072 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 88532 75072 1912 992 0 80390 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 354128 KiB
Current children cumulated memory: 300288 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 187288
/proc/meminfo: memFree=69737788/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=357456 memory=302500 CPUtime=3212.7 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 49953 0 0 0 318884 2386 0 0 20 0 1 0 18499771 366034944 75625 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89364 75625 1912 992 0 81222 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 357456 KiB
Current children cumulated memory: 302500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/257 187299
/proc/meminfo: memFree=69272572/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=357968 memory=302860 CPUtime=3272.51 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 50206 0 0 0 324851 2400 0 0 20 0 1 0 18499771 366559232 75715 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89492 75715 1912 992 0 81350 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 357968 KiB
Current children cumulated memory: 302860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 187314
/proc/meminfo: memFree=68959016/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=358992 memory=304008 CPUtime=3332.32 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 50550 0 0 0 330820 2412 0 0 20 0 1 0 18499771 367607808 76002 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89748 76002 1912 992 0 81606 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 358992 KiB
Current children cumulated memory: 304008 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/259 187325
/proc/meminfo: memFree=68666660/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=359476 memory=304532 CPUtime=3392.13 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 51178 0 0 0 336763 2450 0 0 20 0 1 0 18499771 368103424 76133 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89869 76133 1912 992 0 81727 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 304532 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 187337
/proc/meminfo: memFree=68044256/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=359332 memory=304532 CPUtime=3451.98 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 51649 0 0 0 342692 2506 0 0 20 0 1 0 18499771 367955968 76133 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89833 76133 1912 992 0 81691 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 359332 KiB
Current children cumulated memory: 304532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/260 187347
/proc/meminfo: memFree=67532696/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=359832 memory=304876 CPUtime=3511.81 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 51840 0 0 0 348617 2564 0 0 20 0 1 0 18499771 368467968 76219 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 89958 76219 1912 992 0 81816 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 359832 KiB
Current children cumulated memory: 304876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/260 187357
/proc/meminfo: memFree=67123592/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=361552 memory=305760 CPUtime=3571.65 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 52199 0 0 0 354557 2608 0 0 20 0 1 0 18499771 370229248 76440 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 90388 76440 1912 992 0 82246 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 361552 KiB
Current children cumulated memory: 305760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.19 4.11 4.10 6/260 187361
/proc/meminfo: memFree=66949024/131524600 swapFree=131056284/131071996
[pid=185324] ppid=185321 vsize=362828 memory=306440 CPUtime=3600.07 cores=1,3
/proc/185324/stat : 185324 (roundingsat) R 185321 185324 183559 0 -1 4194304 52541 0 0 0 357378 2629 0 0 20 0 1 0 18499771 371535872 76610 134679101440 4194304 8254037 140732209616288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 12492800 140732209619804 140732209620066 140732209620066 140732209627081 0
/proc/185324/statm: 90707 76610 1912 992 0 82565 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 362828 KiB
Current children cumulated memory: 306440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.88 s]
# the end of solver process 185324 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.78 s, system=26.3016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.88
CPU time (s): 3600.08
CPU user time (s): 3573.78
CPU system time (s): 26.3016
CPU usage (%): 99.7012
Max. virtual memory (cumulated for all children) (KiB): 362828
Max. memory (cumulated for all children) (KiB): 306440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.78
system time used= 26.3016
maximum resident set size= 306612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10210192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 671
involuntary context switches= 5185
# summary of solver processes directly reported to runsolver:
# pid: 185324
# total CPU time (s): 3600.08
# total CPU user time (s): 3573.78
# total CPU system time (s): 26.3016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39943 second user time and 18.9931 second system time
The end
Begin job on nodeC016 at 2024-07-24 13:15:12 IDJOB=4457060 IDBENCH=155338 IDSOLVER=3085 FILE ID=nodeC016/4457060-1721819712 RUNJOBID= nodeC016-1721817186-183571 SLURM_JOB_ID= 7816868 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457060-1721819712/watcher-4457060-1721819712 -o /tmp/evaluation-result-4457060-1721819712/solver-4457060-1721819712 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183571 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457060-1721819712 --lp-cut-gomory=0 HOME/instance-4457060-1721819712.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=1269309844 nodeC016.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 : 3668.933 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.34 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 : 3657.679 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.009 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.34 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 : 3651.028 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.68 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 : 3669.018 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.34 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 : 3674.195 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.152 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.34 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 : 3616.686 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 52079280 kB MemAvailable: 127568292 kB Buffers: 243600 kB Cached: 75798724 kB SwapCached: 200 kB Active: 2286128 kB Inactive: 76117796 kB Active(anon): 2596 kB Inactive(anon): 2411752 kB Active(file): 2283532 kB Inactive(file): 73706044 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 125188 kB Writeback: 0 kB AnonPages: 2359448 kB Mapped: 125336 kB Shmem: 52688 kB KReclaimable: 560668 kB Slab: 685824 kB SReclaimable: 560668 kB SUnreclaim: 125156 kB KernelStack: 4160 kB PageTables: 13988 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2835872 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 1923072 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890024 MiB End job on nodeC016 at 2024-07-24 14:15:23