| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.04 | 3616.78 |
| 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/1.24 c #variables 441 #constraints 441 0.35/1.60 c bounds - >= 0 @ 0.002285 0.35/1.60 c bounds 121 >= 0 @ 0.063612 0.35/1.60 c bounds 121 >= 1 @ 0.063833 0.35/1.60 c bounds 121 >= 2 @ 0.063971 0.35/1.60 c bounds 121 >= 3 @ 0.064111 0.35/1.60 c bounds 121 >= 4 @ 0.064251 0.35/1.60 c bounds 121 >= 5 @ 0.064382 0.35/1.60 c bounds 121 >= 6 @ 0.064519 0.35/1.60 c bounds 121 >= 7 @ 0.064693 0.35/1.60 c bounds 121 >= 8 @ 0.06487 0.35/1.60 c bounds 121 >= 9 @ 0.065017 0.35/1.60 c bounds 121 >= 10 @ 0.065166 0.35/1.60 c bounds 121 >= 11 @ 0.065316 0.35/1.60 c bounds 121 >= 12 @ 0.065454 0.35/1.60 c bounds 121 >= 13 @ 0.065617 0.35/1.60 c bounds 121 >= 14 @ 0.065782 0.35/1.60 c bounds 121 >= 15 @ 0.065946 0.35/1.60 c bounds 121 >= 16 @ 0.066104 0.35/1.60 c bounds 121 >= 17 @ 0.066258 0.35/1.60 c bounds 121 >= 18 @ 0.066402 0.35/1.60 c bounds 121 >= 19 @ 0.066572 0.35/1.60 c bounds 121 >= 20 @ 0.066725 0.35/1.60 c bounds 121 >= 21 @ 0.066899 0.35/1.60 c bounds 121 >= 22 @ 0.067059 0.35/1.60 c bounds 121 >= 23 @ 0.067218 0.35/1.60 c bounds 121 >= 24 @ 0.067372 0.35/1.60 c bounds 121 >= 25 @ 0.067547 0.35/1.60 c bounds 121 >= 26 @ 0.067709 0.35/1.60 c bounds 121 >= 27 @ 0.067889 0.35/1.60 c bounds 121 >= 28 @ 0.068054 0.35/1.60 c bounds 121 >= 29 @ 0.068219 0.35/1.60 c bounds 121 >= 30 @ 0.068377 0.35/1.60 c bounds 121 >= 31 @ 0.068559 0.35/1.60 c bounds 121 >= 32 @ 0.068717 0.35/1.60 c bounds 121 >= 33 @ 0.068905 0.35/1.60 c bounds 121 >= 34 @ 0.06908 0.35/1.60 c bounds 121 >= 35 @ 0.069243 0.35/1.60 c bounds 119 >= 35 @ 0.069514 0.35/1.60 c bounds 119 >= 36 @ 0.069514 0.35/1.60 c bounds 119 >= 37 @ 0.069521 0.35/1.60 c bounds 119 >= 38 @ 0.069688 0.35/1.60 c bounds 119 >= 39 @ 0.069872 0.35/1.60 c bounds 119 >= 40 @ 0.070051 0.35/1.60 c bounds 119 >= 41 @ 0.070219 0.35/1.60 c bounds 119 >= 42 @ 0.070396 0.35/1.60 c bounds 119 >= 43 @ 0.070585 0.35/1.60 c bounds 119 >= 44 @ 0.070758 0.35/1.60 c bounds 119 >= 45 @ 0.070942 0.35/1.60 c bounds 119 >= 46 @ 0.071102 0.35/1.60 c bounds 119 >= 47 @ 0.071285 0.35/1.60 c bounds 119 >= 48 @ 0.071458 0.35/1.60 c bounds 119 >= 49 @ 0.071522 0.35/1.60 c bounds 119 >= 50 @ 0.071522 0.35/1.60 c bounds 119 >= 51 @ 0.071522 0.35/1.60 c bounds 119 >= 52 @ 0.071522 0.35/1.60 c bounds 119 >= 53 @ 0.071522 0.35/1.60 c bounds 119 >= 54 @ 0.071639 0.35/1.60 c bounds 119 >= 55 @ 0.07182 0.35/1.60 c bounds 119 >= 56 @ 0.072016 0.35/1.60 c bounds 119 >= 57 @ 0.072189 0.35/1.60 c bounds 119 >= 58 @ 0.072342 0.35/1.60 c bounds 119 >= 59 @ 0.072501 0.35/1.60 c bounds 119 >= 60 @ 0.072516 0.35/1.60 c bounds 119 >= 61 @ 0.072516 0.35/1.60 c bounds 119 >= 62 @ 0.072516 0.35/1.60 c bounds 119 >= 63 @ 0.072516 0.35/1.60 c bounds 119 >= 64 @ 0.072516 0.35/1.60 c bounds 119 >= 65 @ 0.072516 0.35/1.60 c bounds 119 >= 66 @ 0.072516 0.35/1.60 c bounds 118 >= 66 @ 0.072516 0.35/1.60 c bounds 118 >= 67 @ 0.073868 0.35/1.60 c bounds 117 >= 67 @ 0.07482 0.35/1.60 c bounds 117 >= 68 @ 0.075186 0.35/1.60 c bounds 117 >= 69 @ 0.076465 0.35/1.60 c bounds 116 >= 69 @ 0.078156 0.35/1.60 c bounds 116 >= 70 @ 0.080574 0.35/1.60 c bounds 115 >= 70 @ 0.081436 0.35/1.60 c bounds 114 >= 70 @ 0.083747 0.35/1.60 c bounds 114 >= 71 @ 0.084474 0.35/1.60 c bounds 113 >= 71 @ 0.084474 0.35/1.60 c bounds 113 >= 72 @ 0.085595 0.35/1.60 c bounds 112 >= 72 @ 0.086644 0.35/1.60 c bounds 111 >= 72 @ 0.088639 0.35/1.60 c bounds 110 >= 72 @ 0.089649 0.35/1.60 c bounds 110 >= 73 @ 0.090451 0.35/1.60 c bounds 109 >= 73 @ 0.096293 0.35/1.60 c bounds 109 >= 74 @ 0.112913 0.35/1.60 c bounds 108 >= 74 @ 0.116866 0.35/1.60 c bounds 107 >= 74 @ 0.117944 0.35/1.60 c bounds 106 >= 74 @ 0.118695 0.35/1.60 c bounds 105 >= 74 @ 0.121603 0.35/1.60 c bounds 104 >= 74 @ 0.125211 0.35/1.60 c bounds 103 >= 74 @ 0.140103 0.35/1.60 c #Conflicts: 1000 | #Constraints: 1901 0.35/1.60 c #Conflicts: 2000 | #Constraints: 2901 0.35/1.60 c INPROCESSING 0.35/1.60 c GARBAGE COLLECT 0.35/1.60 c rational objective 76.5302 0.64/1.99 c bounds 102 >= 74 @ 0.377979 0.64/1.99 c bounds 101 >= 74 @ 0.392736 0.64/1.99 c bounds 100 >= 74 @ 0.424716 0.64/1.99 c #Conflicts: 3000 | #Constraints: 2775 0.64/1.99 c bounds 99 >= 74 @ 0.482791 0.64/1.99 c bounds 98 >= 74 @ 0.533733 0.64/1.99 c bounds 97 >= 74 @ 0.552857 0.64/1.99 c #Conflicts: 4000 | #Constraints: 3803 0.64/1.99 c INPROCESSING 0.64/1.99 c GARBAGE COLLECT 0.64/1.99 c rational objective 76.5302 1.24/2.54 c bounds 97 >= 75 @ 0.821749 1.24/2.54 c #Conflicts: 5000 | #Constraints: 3231 1.24/2.54 c #Conflicts: 6000 | #Constraints: 4265 1.24/2.54 c INPROCESSING 1.24/2.54 c GARBAGE COLLECT 1.24/2.54 c rational objective 76.5302 2.05/3.37 c #Conflicts: 7000 | #Constraints: 3258 2.05/3.37 c #Conflicts: 8000 | #Constraints: 4258 2.05/3.37 c #Conflicts: 9000 | #Constraints: 5258 2.05/3.37 c INPROCESSING 2.05/3.37 c GARBAGE COLLECT 2.05/3.37 c rational objective 76.5302 2.64/3.97 c #Conflicts: 10000 | #Constraints: 3970 2.64/3.97 c #Conflicts: 11000 | #Constraints: 5008 2.64/3.97 c #Conflicts: 12000 | #Constraints: 6070 2.64/3.97 c INPROCESSING 2.64/3.97 c GARBAGE COLLECT 2.64/3.97 c rational objective 76.5302 3.34/4.64 c #Conflicts: 13000 | #Constraints: 4442 3.34/4.64 c bounds 96 >= 75 @ 2.73328 3.34/4.64 c #Conflicts: 14000 | #Constraints: 5486 3.34/4.64 c #Conflicts: 15000 | #Constraints: 6538 3.34/4.64 c INPROCESSING 3.34/4.64 c GARBAGE COLLECT 3.34/4.64 c rational objective 76.5302 4.64/5.99 c #Conflicts: 16000 | #Constraints: 4688 4.64/5.99 c #Conflicts: 17000 | #Constraints: 5688 4.64/5.99 c #Conflicts: 18000 | #Constraints: 6688 4.64/5.99 c INPROCESSING 4.64/5.99 c GARBAGE COLLECT 4.64/5.99 c rational objective 76.5302 5.44/6.79 c #Conflicts: 19000 | #Constraints: 4693 5.44/6.79 c #Conflicts: 20000 | #Constraints: 5715 5.44/6.79 c bounds 95 >= 75 @ 4.91408 5.44/6.79 c #Conflicts: 21000 | #Constraints: 6760 5.44/6.79 c bounds 94 >= 75 @ 5.1309 5.44/6.79 c INPROCESSING 5.44/6.79 c GARBAGE COLLECT 5.44/6.79 c rational objective 76.5302 6.33/7.68 c #Conflicts: 22000 | #Constraints: 4500 6.33/7.68 c bounds 93 >= 75 @ 5.48291 6.33/7.68 c #Conflicts: 23000 | #Constraints: 5501 6.33/7.68 c #Conflicts: 24000 | #Constraints: 6537 6.33/7.68 c #Conflicts: 25000 | #Constraints: 7573 6.33/7.68 c INPROCESSING 6.33/7.68 c GARBAGE COLLECT 6.33/7.68 c rational objective 76.5302 8.43/9.72 c #Conflicts: 26000 | #Constraints: 5103 8.43/9.72 c #Conflicts: 27000 | #Constraints: 6103 8.43/9.72 c #Conflicts: 28000 | #Constraints: 7103 8.43/9.72 c #Conflicts: 29000 | #Constraints: 8103 8.43/9.72 c INPROCESSING 8.43/9.72 c GARBAGE COLLECT 8.43/9.72 c rational objective 76.5302 9.62/10.95 c bounds 92 >= 75 @ 8.2496 9.62/10.95 c #Conflicts: 30000 | #Constraints: 5497 9.62/10.95 c bounds 91 >= 75 @ 8.54986 9.62/10.95 c #Conflicts: 31000 | #Constraints: 6535 9.62/10.95 c bounds 90 >= 75 @ 8.57359 9.62/10.95 c #Conflicts: 32000 | #Constraints: 7581 9.62/10.95 c bounds 89 >= 75 @ 9.0128 9.62/10.95 c #Conflicts: 33000 | #Constraints: 8617 9.62/10.95 c INPROCESSING 9.62/10.95 c GARBAGE COLLECT 9.62/10.95 c rational objective 76.5302 10.92/12.27 c #Conflicts: 34000 | #Constraints: 5721 10.92/12.27 c #Conflicts: 35000 | #Constraints: 6756 10.92/12.27 c #Conflicts: 36000 | #Constraints: 7795 10.92/12.27 c #Conflicts: 37000 | #Constraints: 8839 10.92/12.27 c INPROCESSING 10.92/12.27 c GARBAGE COLLECT 10.92/12.27 c rational objective 76.5302 12.42/13.75 c #Conflicts: 38000 | #Constraints: 5744 12.42/13.75 c bounds 89 >= 76 @ 11.1402 12.42/13.75 c #Conflicts: 39000 | #Constraints: 6792 12.42/13.75 c #Conflicts: 40000 | #Constraints: 7846 12.42/13.75 c #Conflicts: 41000 | #Constraints: 8888 12.42/13.75 c INPROCESSING 12.42/13.75 c GARBAGE COLLECT 12.42/13.75 c rational objective 76.5302 14.02/15.30 c #Conflicts: 42000 | #Constraints: 5594 14.02/15.30 c #Conflicts: 43000 | #Constraints: 6605 14.02/15.30 c #Conflicts: 44000 | #Constraints: 7642 14.02/15.30 c #Conflicts: 45000 | #Constraints: 8673 14.02/15.30 c #Conflicts: 46000 | #Constraints: 9703 14.02/15.30 c INPROCESSING 14.02/15.30 c GARBAGE COLLECT 14.02/15.30 c rational objective 76.5302 16.41/17.79 c #Conflicts: 47000 | #Constraints: 6194 16.41/17.79 c #Conflicts: 48000 | #Constraints: 7194 16.41/17.79 c #Conflicts: 49000 | #Constraints: 8194 16.41/17.79 c #Conflicts: 50000 | #Constraints: 9194 16.41/17.79 c #Conflicts: 51000 | #Constraints: 10194 16.41/17.79 c INPROCESSING 16.41/17.79 c GARBAGE COLLECT 16.41/17.79 c rational objective 76.5302 18.10/19.47 c #Conflicts: 52000 | #Constraints: 6575 18.10/19.47 c #Conflicts: 53000 | #Constraints: 7591 18.10/19.47 c #Conflicts: 54000 | #Constraints: 8634 18.10/19.47 c #Conflicts: 55000 | #Constraints: 9668 18.10/19.47 c #Conflicts: 56000 | #Constraints: 10705 18.10/19.47 c INPROCESSING 18.10/19.47 c GARBAGE COLLECT 18.10/19.47 c rational objective 76.5302 21.18/22.55 c #Conflicts: 57000 | #Constraints: 6786 21.18/22.55 c #Conflicts: 58000 | #Constraints: 7786 21.18/22.55 c #Conflicts: 59000 | #Constraints: 8786 21.18/22.55 c #Conflicts: 60000 | #Constraints: 9786 21.18/22.55 c #Conflicts: 61000 | #Constraints: 10786 21.18/22.55 c INPROCESSING 21.18/22.55 c GARBAGE COLLECT 21.18/22.55 c rational objective 76.5302 22.88/24.20 c #Conflicts: 62000 | #Constraints: 6777 22.88/24.20 c #Conflicts: 63000 | #Constraints: 7817 22.88/24.20 c #Conflicts: 64000 | #Constraints: 8858 22.88/24.20 c #Conflicts: 65000 | #Constraints: 9895 22.88/24.20 c #Conflicts: 66000 | #Constraints: 10934 22.88/24.20 c INPROCESSING 22.88/24.20 c GARBAGE COLLECT 22.88/24.20 c rational objective 76.5302 25.07/26.40 c #Conflicts: 67000 | #Constraints: 6617 25.07/26.40 c #Conflicts: 68000 | #Constraints: 7628 25.07/26.40 c #Conflicts: 69000 | #Constraints: 8668 25.07/26.40 c #Conflicts: 70000 | #Constraints: 9700 25.07/26.40 c #Conflicts: 71000 | #Constraints: 10735 25.07/26.40 c #Conflicts: 72000 | #Constraints: 11766 25.07/26.40 c INPROCESSING 25.07/26.40 c GARBAGE COLLECT 25.07/26.40 c rational objective 76.5302 28.87/30.21 c #Conflicts: 73000 | #Constraints: 7236 28.87/30.21 c #Conflicts: 74000 | #Constraints: 8236 28.87/30.21 c #Conflicts: 75000 | #Constraints: 9236 28.87/30.21 c #Conflicts: 76000 | #Constraints: 10236 28.87/30.21 c #Conflicts: 77000 | #Constraints: 11236 28.87/30.21 c #Conflicts: 78000 | #Constraints: 12236 28.87/30.21 c INPROCESSING 28.87/30.21 c GARBAGE COLLECT 28.87/30.21 c rational objective 76.5302 31.06/32.46 c #Conflicts: 79000 | #Constraints: 7612 31.06/32.46 c #Conflicts: 80000 | #Constraints: 8649 31.06/32.46 c #Conflicts: 81000 | #Constraints: 9702 31.06/32.46 c bounds 88 >= 76 @ 28.6135 31.06/32.46 c #Conflicts: 82000 | #Constraints: 10745 31.06/32.46 c #Conflicts: 83000 | #Constraints: 11783 31.06/32.46 c #Conflicts: 84000 | #Constraints: 12825 31.06/32.46 c INPROCESSING 31.06/32.46 c GARBAGE COLLECT 31.06/32.46 c rational objective 76.5302 33.76/35.17 c #Conflicts: 85000 | #Constraints: 7860 33.76/35.17 c #Conflicts: 86000 | #Constraints: 8892 33.76/35.17 c #Conflicts: 87000 | #Constraints: 9932 33.76/35.17 c #Conflicts: 88000 | #Constraints: 10969 33.76/35.17 c #Conflicts: 89000 | #Constraints: 11995 33.76/35.17 c #Conflicts: 90000 | #Constraints: 13025 33.76/35.17 c INPROCESSING 33.76/35.17 c GARBAGE COLLECT 33.76/35.17 c rational objective 76.5302 38.75/40.18 c #Conflicts: 91000 | #Constraints: 7859 38.75/40.18 c #Conflicts: 92000 | #Constraints: 8859 38.75/40.18 c #Conflicts: 93000 | #Constraints: 9859 38.75/40.18 c #Conflicts: 94000 | #Constraints: 10859 38.75/40.18 c #Conflicts: 95000 | #Constraints: 11859 38.75/40.18 c #Conflicts: 96000 | #Constraints: 12859 38.75/40.18 c INPROCESSING 38.75/40.18 c GARBAGE COLLECT 38.75/40.18 c rational objective 76.5302 41.33/42.72 c #Conflicts: 97000 | #Constraints: 7610 41.33/42.72 c #Conflicts: 98000 | #Constraints: 8613 41.33/42.72 c #Conflicts: 99000 | #Constraints: 9667 41.33/42.72 c #Conflicts: 100000 | #Constraints: 10712 41.33/42.72 c #Conflicts: 101000 | #Constraints: 11747 41.33/42.72 c #Conflicts: 102000 | #Constraints: 12786 41.33/42.72 c #Conflicts: 103000 | #Constraints: 13826 41.33/42.72 c INPROCESSING 41.33/42.72 c GARBAGE COLLECT 41.33/42.72 c rational objective 76.5302 43.93/45.31 c #Conflicts: 104000 | #Constraints: 8255 43.93/45.31 c #Conflicts: 105000 | #Constraints: 9291 43.93/45.31 c #Conflicts: 106000 | #Constraints: 10318 43.93/45.31 c #Conflicts: 107000 | #Constraints: 11348 43.93/45.31 c bounds 87 >= 76 @ 41.5292 43.93/45.31 c #Conflicts: 108000 | #Constraints: 12376 43.93/45.31 c #Conflicts: 109000 | #Constraints: 13419 43.93/45.31 c bounds 86 >= 76 @ 42.1137 43.93/45.31 c #Conflicts: 110000 | #Constraints: 14463 43.93/45.31 c INPROCESSING 43.93/45.31 c GARBAGE COLLECT 43.93/45.31 c rational objective 76.5302 46.73/48.19 c #Conflicts: 111000 | #Constraints: 8665 46.73/48.19 c #Conflicts: 112000 | #Constraints: 9697 46.73/48.19 c #Conflicts: 113000 | #Constraints: 10734 46.73/48.19 c #Conflicts: 114000 | #Constraints: 11767 46.73/48.19 c #Conflicts: 115000 | #Constraints: 12792 46.73/48.19 c #Conflicts: 116000 | #Constraints: 13822 46.73/48.19 c #Conflicts: 117000 | #Constraints: 14859 46.73/48.19 c INPROCESSING 46.73/48.19 c GARBAGE COLLECT 46.73/48.19 c rational objective 76.5302 52.41/53.89 c #Conflicts: 118000 | #Constraints: 8872 52.41/53.89 c #Conflicts: 119000 | #Constraints: 9872 52.41/53.89 c #Conflicts: 120000 | #Constraints: 10872 52.41/53.89 c #Conflicts: 121000 | #Constraints: 11872 52.41/53.89 c #Conflicts: 122000 | #Constraints: 12872 52.41/53.89 c #Conflicts: 123000 | #Constraints: 13872 52.41/53.89 c #Conflicts: 124000 | #Constraints: 14872 52.41/53.89 c INPROCESSING 52.41/53.89 c GARBAGE COLLECT 52.41/53.89 c rational objective 76.5302 55.60/57.08 c #Conflicts: 125000 | #Constraints: 8841 55.60/57.08 c #Conflicts: 126000 | #Constraints: 9869 55.60/57.08 c #Conflicts: 127000 | #Constraints: 10899 55.60/57.08 c #Conflicts: 128000 | #Constraints: 11941 55.60/57.08 c #Conflicts: 129000 | #Constraints: 12975 55.60/57.08 c #Conflicts: 130000 | #Constraints: 14009 55.60/57.08 c #Conflicts: 131000 | #Constraints: 15039 55.60/57.08 c INPROCESSING 55.60/57.08 c GARBAGE COLLECT 55.60/57.08 c rational objective 76.5302 58.79/60.20 c #Conflicts: 132000 | #Constraints: 8670 58.79/60.20 c #Conflicts: 133000 | #Constraints: 9690 58.79/60.20 c #Conflicts: 134000 | #Constraints: 10719 58.79/60.20 c #Conflicts: 135000 | #Constraints: 11745 58.79/60.20 c #Conflicts: 136000 | #Constraints: 12776 58.79/60.20 c #Conflicts: 137000 | #Constraints: 13812 58.79/60.20 c #Conflicts: 138000 | #Constraints: 14854 58.79/60.20 c #Conflicts: 139000 | #Constraints: 15888 58.79/60.20 c INPROCESSING 58.79/60.20 c GARBAGE COLLECT 58.79/60.20 c rational objective 76.5302 65.48/66.97 c #Conflicts: 140000 | #Constraints: 9297 65.48/66.97 c #Conflicts: 141000 | #Constraints: 10297 65.48/66.97 c #Conflicts: 142000 | #Constraints: 11297 65.48/66.97 c #Conflicts: 143000 | #Constraints: 12297 65.48/66.97 c #Conflicts: 144000 | #Constraints: 13297 65.48/66.97 c #Conflicts: 145000 | #Constraints: 14297 65.48/66.97 c #Conflicts: 146000 | #Constraints: 15297 65.48/66.97 c bounds 86 >= 77 @ 63.2764 65.48/66.97 c #Conflicts: 147000 | #Constraints: 16364 65.48/66.97 c INPROCESSING 65.48/66.97 c GARBAGE COLLECT 65.48/66.97 c rational objective 77 69.17/70.64 c #Conflicts: 148000 | #Constraints: 9672 69.17/70.64 c #Conflicts: 149000 | #Constraints: 10712 69.17/70.64 c #Conflicts: 150000 | #Constraints: 11748 69.17/70.64 c #Conflicts: 151000 | #Constraints: 12781 69.17/70.64 c #Conflicts: 152000 | #Constraints: 13811 69.17/70.64 c #Conflicts: 153000 | #Constraints: 14843 69.17/70.64 c #Conflicts: 154000 | #Constraints: 15877 69.17/70.64 c #Conflicts: 155000 | #Constraints: 16904 69.17/70.64 c INPROCESSING 69.17/70.64 c GARBAGE COLLECT 69.17/70.64 c rational objective 77 72.96/74.41 c #Conflicts: 156000 | #Constraints: 9933 72.96/74.41 c #Conflicts: 157000 | #Constraints: 10971 72.96/74.41 c #Conflicts: 158000 | #Constraints: 12012 72.96/74.41 c #Conflicts: 159000 | #Constraints: 13048 72.96/74.41 c #Conflicts: 160000 | #Constraints: 14083 72.96/74.41 c #Conflicts: 161000 | #Constraints: 15116 72.96/74.41 c #Conflicts: 162000 | #Constraints: 16148 72.96/74.41 c #Conflicts: 163000 | #Constraints: 17178 72.96/74.41 c INPROCESSING 72.96/74.41 c GARBAGE COLLECT 72.96/74.41 c rational objective 77 80.05/81.57 c #Conflicts: 164000 | #Constraints: 9962 80.05/81.57 c #Conflicts: 165000 | #Constraints: 10962 80.05/81.57 c #Conflicts: 166000 | #Constraints: 11962 80.05/81.57 c #Conflicts: 167000 | #Constraints: 12962 80.05/81.57 c #Conflicts: 168000 | #Constraints: 13962 80.05/81.57 c #Conflicts: 169000 | #Constraints: 14962 80.05/81.57 c #Conflicts: 170000 | #Constraints: 15962 80.05/81.57 c #Conflicts: 171000 | #Constraints: 16962 80.05/81.57 c INPROCESSING 80.05/81.57 c GARBAGE COLLECT 80.05/81.57 c rational objective 77 84.04/85.50 c #Conflicts: 172000 | #Constraints: 9713 84.04/85.50 c #Conflicts: 173000 | #Constraints: 10723 84.04/85.50 c #Conflicts: 174000 | #Constraints: 11766 84.04/85.50 c #Conflicts: 175000 | #Constraints: 12806 84.04/85.50 c #Conflicts: 176000 | #Constraints: 13833 84.04/85.50 c #Conflicts: 177000 | #Constraints: 14862 84.04/85.50 c #Conflicts: 178000 | #Constraints: 15899 84.04/85.50 c #Conflicts: 179000 | #Constraints: 16927 84.04/85.50 c #Conflicts: 180000 | #Constraints: 17956 84.04/85.50 c INPROCESSING 84.04/85.50 c GARBAGE COLLECT 84.04/85.50 c rational objective 77 87.72/89.23 c #Conflicts: 181000 | #Constraints: 10356 87.72/89.23 c #Conflicts: 182000 | #Constraints: 11367 87.72/89.23 c #Conflicts: 183000 | #Constraints: 12395 87.72/89.23 c #Conflicts: 184000 | #Constraints: 13430 87.72/89.23 c #Conflicts: 185000 | #Constraints: 14461 87.72/89.23 c #Conflicts: 186000 | #Constraints: 15491 87.72/89.23 c #Conflicts: 187000 | #Constraints: 16525 87.72/89.23 c #Conflicts: 188000 | #Constraints: 17553 87.72/89.23 c #Conflicts: 189000 | #Constraints: 18584 87.72/89.23 c INPROCESSING 87.72/89.23 c GARBAGE COLLECT 87.72/89.23 c rational objective 77 96.11/97.63 c #Conflicts: 190000 | #Constraints: 10765 96.11/97.63 c #Conflicts: 191000 | #Constraints: 11765 96.11/97.63 c #Conflicts: 192000 | #Constraints: 12765 96.11/97.63 c #Conflicts: 193000 | #Constraints: 13765 96.11/97.63 c #Conflicts: 194000 | #Constraints: 14765 96.11/97.63 c #Conflicts: 195000 | #Constraints: 15765 96.11/97.63 c #Conflicts: 196000 | #Constraints: 16765 96.11/97.63 c #Conflicts: 197000 | #Constraints: 17765 96.11/97.63 c #Conflicts: 198000 | #Constraints: 18765 96.11/97.63 c INPROCESSING 96.11/97.63 c GARBAGE COLLECT 96.11/97.63 c rational objective 77 100.10/101.61 c #Conflicts: 199000 | #Constraints: 10930 100.10/101.61 c #Conflicts: 200000 | #Constraints: 11969 100.10/101.61 c #Conflicts: 201000 | #Constraints: 13012 100.10/101.61 c #Conflicts: 202000 | #Constraints: 14044 100.10/101.61 c #Conflicts: 203000 | #Constraints: 15076 100.10/101.61 c #Conflicts: 204000 | #Constraints: 16113 100.10/101.61 c #Conflicts: 205000 | #Constraints: 17150 100.10/101.61 c #Conflicts: 206000 | #Constraints: 18177 100.10/101.61 c #Conflicts: 207000 | #Constraints: 19202 100.10/101.61 c INPROCESSING 100.10/101.61 c GARBAGE COLLECT 100.10/101.61 c rational objective 77 105.99/107.50 c #Conflicts: 208000 | #Constraints: 10986 105.99/107.50 c #Conflicts: 209000 | #Constraints: 11994 105.99/107.50 c #Conflicts: 210000 | #Constraints: 13018 105.99/107.50 c #Conflicts: 211000 | #Constraints: 14048 105.99/107.50 c #Conflicts: 212000 | #Constraints: 15076 105.99/107.50 c #Conflicts: 213000 | #Constraints: 16113 105.99/107.50 c #Conflicts: 214000 | #Constraints: 17150 105.99/107.50 c #Conflicts: 215000 | #Constraints: 18175 105.99/107.50 c #Conflicts: 216000 | #Constraints: 19200 105.99/107.50 c INPROCESSING 105.99/107.50 c GARBAGE COLLECT 105.99/107.50 c rational objective 77 113.17/114.78 c #Conflicts: 217000 | #Constraints: 10786 113.17/114.78 c #Conflicts: 218000 | #Constraints: 11786 113.17/114.78 c #Conflicts: 219000 | #Constraints: 12786 113.17/114.78 c #Conflicts: 220000 | #Constraints: 13786 113.17/114.78 c #Conflicts: 221000 | #Constraints: 14786 113.17/114.78 c #Conflicts: 222000 | #Constraints: 15786 113.17/114.78 c #Conflicts: 223000 | #Constraints: 16786 113.17/114.78 c bounds 86 >= 78 @ 109.237 113.17/114.78 c #Conflicts: 224000 | #Constraints: 17849 113.17/114.78 c #Conflicts: 225000 | #Constraints: 18849 113.17/114.78 c #Conflicts: 226000 | #Constraints: 19877 113.17/114.78 c INPROCESSING 113.17/114.78 c GARBAGE COLLECT 113.17/114.78 c rational objective 78 117.66/119.22 c #Conflicts: 227000 | #Constraints: 11358 117.66/119.22 c #Conflicts: 228000 | #Constraints: 12396 117.66/119.22 c #Conflicts: 229000 | #Constraints: 13431 117.66/119.22 c #Conflicts: 230000 | #Constraints: 14458 117.66/119.22 c #Conflicts: 231000 | #Constraints: 15490 117.66/119.22 c #Conflicts: 232000 | #Constraints: 16514 117.66/119.22 c #Conflicts: 233000 | #Constraints: 17549 117.66/119.22 c #Conflicts: 234000 | #Constraints: 18585 117.66/119.22 c #Conflicts: 235000 | #Constraints: 19617 117.66/119.22 c #Conflicts: 236000 | #Constraints: 20649 117.66/119.22 c INPROCESSING 117.66/119.22 c GARBAGE COLLECT 117.66/119.22 c rational objective 78 126.45/128.02 c #Conflicts: 237000 | #Constraints: 11831 126.45/128.02 c #Conflicts: 238000 | #Constraints: 12831 126.45/128.02 c #Conflicts: 239000 | #Constraints: 13831 126.45/128.02 c #Conflicts: 240000 | #Constraints: 14831 126.45/128.02 c #Conflicts: 241000 | #Constraints: 15831 126.45/128.02 c #Conflicts: 242000 | #Constraints: 16831 126.45/128.02 c #Conflicts: 243000 | #Constraints: 17831 126.45/128.02 c #Conflicts: 244000 | #Constraints: 18831 126.45/128.02 c #Conflicts: 245000 | #Constraints: 19831 126.45/128.02 c #Conflicts: 246000 | #Constraints: 20831 126.45/128.02 c INPROCESSING 126.45/128.02 c GARBAGE COLLECT 126.45/128.02 c rational objective 78 132.33/133.94 c #Conflicts: 247000 | #Constraints: 11998 132.33/133.94 c #Conflicts: 248000 | #Constraints: 13028 132.33/133.94 c #Conflicts: 249000 | #Constraints: 14057 132.33/133.94 c #Conflicts: 250000 | #Constraints: 15087 132.33/133.94 c #Conflicts: 251000 | #Constraints: 16128 132.33/133.94 c #Conflicts: 252000 | #Constraints: 17161 132.33/133.94 c #Conflicts: 253000 | #Constraints: 18198 132.33/133.94 c #Conflicts: 254000 | #Constraints: 19229 132.33/133.94 c #Conflicts: 255000 | #Constraints: 20256 132.33/133.94 c #Conflicts: 256000 | #Constraints: 21293 132.33/133.94 c INPROCESSING 132.33/133.94 c GARBAGE COLLECT 132.33/133.94 c rational objective 78 138.42/140.01 c #Conflicts: 257000 | #Constraints: 12057 138.42/140.01 c #Conflicts: 258000 | #Constraints: 13092 138.42/140.01 c #Conflicts: 259000 | #Constraints: 14121 138.42/140.01 c #Conflicts: 260000 | #Constraints: 15146 138.42/140.01 c #Conflicts: 261000 | #Constraints: 16172 138.42/140.01 c #Conflicts: 262000 | #Constraints: 17196 138.42/140.01 c #Conflicts: 263000 | #Constraints: 18221 138.42/140.01 c #Conflicts: 264000 | #Constraints: 19262 138.42/140.01 c #Conflicts: 265000 | #Constraints: 20297 138.42/140.01 c #Conflicts: 266000 | #Constraints: 21328 138.42/140.01 c INPROCESSING 138.42/140.01 c GARBAGE COLLECT 138.42/140.01 c rational objective 78 148.50/150.11 c #Conflicts: 267000 | #Constraints: 11882 148.50/150.11 c #Conflicts: 268000 | #Constraints: 12882 148.50/150.11 c #Conflicts: 269000 | #Constraints: 13882 148.50/150.11 c #Conflicts: 270000 | #Constraints: 14882 148.50/150.11 c #Conflicts: 271000 | #Constraints: 15882 148.50/150.11 c #Conflicts: 272000 | #Constraints: 16882 148.50/150.11 c #Conflicts: 273000 | #Constraints: 17882 148.50/150.11 c #Conflicts: 274000 | #Constraints: 18882 148.50/150.11 c #Conflicts: 275000 | #Constraints: 19882 148.50/150.11 c #Conflicts: 276000 | #Constraints: 20882 148.50/150.11 c #Conflicts: 277000 | #Constraints: 21882 148.50/150.11 c INPROCESSING 148.50/150.11 c GARBAGE COLLECT 148.50/150.11 c rational objective 78 155.18/156.88 c #Conflicts: 278000 | #Constraints: 12425 155.18/156.88 c #Conflicts: 279000 | #Constraints: 13455 155.18/156.88 c #Conflicts: 280000 | #Constraints: 14493 155.18/156.88 c #Conflicts: 281000 | #Constraints: 15527 155.18/156.88 c #Conflicts: 282000 | #Constraints: 16559 155.18/156.88 c #Conflicts: 283000 | #Constraints: 17594 155.18/156.88 c #Conflicts: 284000 | #Constraints: 18627 155.18/156.88 c #Conflicts: 285000 | #Constraints: 19649 155.18/156.88 c #Conflicts: 286000 | #Constraints: 20676 155.18/156.88 c #Conflicts: 287000 | #Constraints: 21704 155.18/156.88 c #Conflicts: 288000 | #Constraints: 22732 155.18/156.88 c INPROCESSING 155.18/156.88 c GARBAGE COLLECT 155.18/156.88 c rational objective 78 161.95/163.66 c #Conflicts: 289000 | #Constraints: 12882 161.95/163.66 c #Conflicts: 290000 | #Constraints: 13908 161.95/163.66 c #Conflicts: 291000 | #Constraints: 14945 161.95/163.66 c #Conflicts: 292000 | #Constraints: 15977 161.95/163.66 c #Conflicts: 293000 | #Constraints: 17005 161.95/163.66 c #Conflicts: 294000 | #Constraints: 18032 161.95/163.66 c #Conflicts: 295000 | #Constraints: 19063 161.95/163.66 c #Conflicts: 296000 | #Constraints: 20087 161.95/163.66 c #Conflicts: 297000 | #Constraints: 21115 161.95/163.66 c #Conflicts: 298000 | #Constraints: 22140 161.95/163.66 c #Conflicts: 299000 | #Constraints: 23172 161.95/163.66 c INPROCESSING 161.95/163.66 c GARBAGE COLLECT 161.95/163.66 c rational objective 78 173.82/175.51 c #Conflicts: 300000 | #Constraints: 13095 173.82/175.51 c #Conflicts: 301000 | #Constraints: 14095 173.82/175.51 c #Conflicts: 302000 | #Constraints: 15095 173.82/175.51 c #Conflicts: 303000 | #Constraints: 16095 173.82/175.51 c #Conflicts: 304000 | #Constraints: 17095 173.82/175.51 c #Conflicts: 305000 | #Constraints: 18095 173.82/175.51 c #Conflicts: 306000 | #Constraints: 19095 173.82/175.51 c #Conflicts: 307000 | #Constraints: 20095 173.82/175.51 c #Conflicts: 308000 | #Constraints: 21095 173.82/175.51 c #Conflicts: 309000 | #Constraints: 22095 173.82/175.51 c #Conflicts: 310000 | #Constraints: 23095 173.82/175.51 c INPROCESSING 173.82/175.51 c GARBAGE COLLECT 173.82/175.51 c rational objective 78 181.60/183.37 c #Conflicts: 311000 | #Constraints: 13042 181.60/183.37 c #Conflicts: 312000 | #Constraints: 14078 181.60/183.37 c #Conflicts: 313000 | #Constraints: 15111 181.60/183.37 c #Conflicts: 314000 | #Constraints: 16147 181.60/183.37 c #Conflicts: 315000 | #Constraints: 17177 181.60/183.37 c #Conflicts: 316000 | #Constraints: 18201 181.60/183.37 c #Conflicts: 317000 | #Constraints: 19240 181.60/183.37 c #Conflicts: 318000 | #Constraints: 20266 181.60/183.37 c #Conflicts: 319000 | #Constraints: 21288 181.60/183.37 c #Conflicts: 320000 | #Constraints: 22315 181.60/183.37 c #Conflicts: 321000 | #Constraints: 23340 181.60/183.37 c INPROCESSING 181.60/183.37 c GARBAGE COLLECT 181.60/183.37 c rational objective 78 190.58/192.37 c #Conflicts: 322000 | #Constraints: 12893 190.58/192.37 c #Conflicts: 323000 | #Constraints: 13928 190.58/192.37 c #Conflicts: 324000 | #Constraints: 14960 190.58/192.37 c #Conflicts: 325000 | #Constraints: 15991 190.58/192.37 c #Conflicts: 326000 | #Constraints: 17023 190.58/192.37 c #Conflicts: 327000 | #Constraints: 18052 190.58/192.37 c #Conflicts: 328000 | #Constraints: 19089 190.58/192.37 c #Conflicts: 329000 | #Constraints: 20115 190.58/192.37 c #Conflicts: 330000 | #Constraints: 21146 190.58/192.37 c #Conflicts: 331000 | #Constraints: 22168 190.58/192.37 c #Conflicts: 332000 | #Constraints: 23184 190.58/192.37 c #Conflicts: 333000 | #Constraints: 24207 190.58/192.37 c INPROCESSING 190.58/192.37 c GARBAGE COLLECT 190.58/192.37 c rational objective 78 203.45/205.27 c #Conflicts: 334000 | #Constraints: 13503 203.45/205.27 c #Conflicts: 335000 | #Constraints: 14503 203.45/205.27 c #Conflicts: 336000 | #Constraints: 15503 203.45/205.27 c #Conflicts: 337000 | #Constraints: 16503 203.45/205.27 c #Conflicts: 338000 | #Constraints: 17503 203.45/205.27 c #Conflicts: 339000 | #Constraints: 18503 203.45/205.27 c #Conflicts: 340000 | #Constraints: 19503 203.45/205.27 c #Conflicts: 341000 | #Constraints: 20503 203.45/205.27 c #Conflicts: 342000 | #Constraints: 21503 203.45/205.27 c #Conflicts: 343000 | #Constraints: 22503 203.45/205.27 c #Conflicts: 344000 | #Constraints: 23503 203.45/205.27 c #Conflicts: 345000 | #Constraints: 24503 203.45/205.27 c INPROCESSING 203.45/205.27 c GARBAGE COLLECT 203.45/205.27 c rational objective 78 210.83/212.66 c #Conflicts: 346000 | #Constraints: 13838 210.83/212.66 c #Conflicts: 347000 | #Constraints: 14872 210.83/212.66 c #Conflicts: 348000 | #Constraints: 15908 210.83/212.66 c #Conflicts: 349000 | #Constraints: 16945 210.83/212.66 c #Conflicts: 350000 | #Constraints: 17984 210.83/212.66 c #Conflicts: 351000 | #Constraints: 19018 210.83/212.66 c #Conflicts: 352000 | #Constraints: 20050 210.83/212.66 c #Conflicts: 353000 | #Constraints: 21083 210.83/212.66 c #Conflicts: 354000 | #Constraints: 22111 210.83/212.66 c #Conflicts: 355000 | #Constraints: 23138 210.83/212.66 c #Conflicts: 356000 | #Constraints: 24159 210.83/212.66 c #Conflicts: 357000 | #Constraints: 25189 210.83/212.66 c INPROCESSING 210.83/212.66 c GARBAGE COLLECT 210.83/212.66 c rational objective 78 223.41/225.26 c #Conflicts: 358000 | #Constraints: 14107 223.41/225.26 c #Conflicts: 359000 | #Constraints: 15107 223.41/225.26 c #Conflicts: 360000 | #Constraints: 16107 223.41/225.26 c #Conflicts: 361000 | #Constraints: 17107 223.41/225.26 c #Conflicts: 362000 | #Constraints: 18107 223.41/225.26 c #Conflicts: 363000 | #Constraints: 19107 223.41/225.26 c #Conflicts: 364000 | #Constraints: 20107 223.41/225.26 c #Conflicts: 365000 | #Constraints: 21107 223.41/225.26 c #Conflicts: 366000 | #Constraints: 22107 223.41/225.26 c #Conflicts: 367000 | #Constraints: 23107 223.41/225.26 c #Conflicts: 368000 | #Constraints: 24107 223.41/225.26 c #Conflicts: 369000 | #Constraints: 25107 223.41/225.26 c INPROCESSING 223.41/225.26 c GARBAGE COLLECT 223.41/225.26 c rational objective 78 323.85/325.92 c #Conflicts: 370000 | #Constraints: 14043 323.85/325.92 c #Conflicts: 371000 | #Constraints: 15077 323.85/325.92 c #Conflicts: 372000 | #Constraints: 16112 323.85/325.92 c #Conflicts: 373000 | #Constraints: 17139 323.85/325.92 c #Conflicts: 374000 | #Constraints: 18162 323.85/325.92 c #Conflicts: 375000 | #Constraints: 19188 323.85/325.92 c #Conflicts: 376000 | #Constraints: 20209 323.85/325.92 c #Conflicts: 377000 | #Constraints: 21238 323.85/325.92 c #Conflicts: 378000 | #Constraints: 22263 323.85/325.92 c #Conflicts: 379000 | #Constraints: 23291 323.85/325.92 c #Conflicts: 380000 | #Constraints: 24312 323.85/325.92 c #Conflicts: 381000 | #Constraints: 25344 323.85/325.92 c #Conflicts: 382000 | #Constraints: 26367 323.85/325.92 c #Conflicts: 383000 | #Constraints: 27390 323.85/325.92 c #Conflicts: 384000 | #Constraints: 28413 323.85/325.92 c #Conflicts: 385000 | #Constraints: 29440 323.85/325.92 c #Conflicts: 386000 | #Constraints: 30477 323.85/325.92 c #Conflicts: 387000 | #Constraints: 31504 323.85/325.92 c #Conflicts: 388000 | #Constraints: 32528 323.85/325.92 c #Conflicts: 389000 | #Constraints: 33553 323.85/325.92 c #Conflicts: 390000 | #Constraints: 34579 323.85/325.92 c #Conflicts: 391000 | #Constraints: 35602 323.85/325.92 c #Conflicts: 392000 | #Constraints: 36622 323.85/325.92 c #Conflicts: 393000 | #Constraints: 37642 323.85/325.92 c #Conflicts: 394000 | #Constraints: 38666 323.85/325.92 c #Conflicts: 395000 | #Constraints: 39692 323.85/325.92 c #Conflicts: 396000 | #Constraints: 40723 323.85/325.92 c #Conflicts: 397000 | #Constraints: 41755 323.85/325.92 c #Conflicts: 398000 | #Constraints: 42776 323.85/325.92 c #Conflicts: 399000 | #Constraints: 43802 323.85/325.92 c #Conflicts: 400000 | #Constraints: 44824 323.85/325.92 c #Conflicts: 401000 | #Constraints: 45844 323.85/325.92 c #Conflicts: 402000 | #Constraints: 46866 323.85/325.92 c #Conflicts: 403000 | #Constraints: 47888 323.85/325.92 c #Conflicts: 404000 | #Constraints: 48913 323.85/325.92 c #Conflicts: 405000 | #Constraints: 49941 323.85/325.92 c #Conflicts: 406000 | #Constraints: 50961 323.85/325.92 c #Conflicts: 407000 | #Constraints: 51974 323.85/325.92 c #Conflicts: 408000 | #Constraints: 52995 323.85/325.92 c #Conflicts: 409000 | #Constraints: 54016 323.85/325.92 c #Conflicts: 410000 | #Constraints: 55037 323.85/325.92 c #Conflicts: 411000 | #Constraints: 56063 323.85/325.92 c #Conflicts: 412000 | #Constraints: 57103 323.85/325.92 c #Conflicts: 413000 | #Constraints: 58133 323.85/325.92 c #Conflicts: 414000 | #Constraints: 59162 323.85/325.92 c #Conflicts: 415000 | #Constraints: 60187 323.85/325.92 c #Conflicts: 416000 | #Constraints: 61214 323.85/325.92 c #Conflicts: 417000 | #Constraints: 62247 323.85/325.92 c #Conflicts: 418000 | #Constraints: 63273 323.85/325.92 c #Conflicts: 419000 | #Constraints: 64295 323.85/325.92 c #Conflicts: 420000 | #Constraints: 65316 323.85/325.92 c #Conflicts: 421000 | #Constraints: 66340 323.85/325.92 c #Conflicts: 422000 | #Constraints: 67366 323.85/325.92 c #Conflicts: 423000 | #Constraints: 68387 323.85/325.92 c #Conflicts: 424000 | #Constraints: 69415 323.85/325.92 c #Conflicts: 425000 | #Constraints: 70447 323.85/325.92 c #Conflicts: 426000 | #Constraints: 71486 323.85/325.92 c #Conflicts: 427000 | #Constraints: 72516 323.85/325.92 c #Conflicts: 428000 | #Constraints: 73543 323.85/325.92 c #Conflicts: 429000 | #Constraints: 74571 323.85/325.92 c INPROCESSING 323.85/325.92 c GARBAGE COLLECT 323.85/325.92 c rational objective 78 348.38/350.50 c #Conflicts: 430000 | #Constraints: 38654 348.38/350.50 c #Conflicts: 431000 | #Constraints: 39654 348.38/350.50 c #Conflicts: 432000 | #Constraints: 40654 348.38/350.50 c #Conflicts: 433000 | #Constraints: 41654 348.38/350.50 c #Conflicts: 434000 | #Constraints: 42654 348.38/350.50 c #Conflicts: 435000 | #Constraints: 43654 348.38/350.50 c #Conflicts: 436000 | #Constraints: 44654 348.38/350.50 c #Conflicts: 437000 | #Constraints: 45654 348.38/350.50 c #Conflicts: 438000 | #Constraints: 46654 348.38/350.50 c #Conflicts: 439000 | #Constraints: 47654 348.38/350.50 c #Conflicts: 440000 | #Constraints: 48654 348.38/350.50 c #Conflicts: 441000 | #Constraints: 49654 348.38/350.50 c #Conflicts: 442000 | #Constraints: 50654 348.38/350.50 c INPROCESSING 348.38/350.50 c GARBAGE COLLECT 348.38/350.50 c rational objective 78 372.22/374.48 c #Conflicts: 443000 | #Constraints: 26515 372.22/374.48 c #Conflicts: 444000 | #Constraints: 27515 372.22/374.48 c #Conflicts: 445000 | #Constraints: 28515 372.22/374.48 c bounds 86 >= 79 @ 345.043 372.22/374.48 c #Conflicts: 446000 | #Constraints: 29575 372.22/374.48 c #Conflicts: 447000 | #Constraints: 30575 372.22/374.48 c #Conflicts: 448000 | #Constraints: 31575 372.22/374.48 c #Conflicts: 449000 | #Constraints: 32575 372.22/374.48 c #Conflicts: 450000 | #Constraints: 33575 372.22/374.48 c #Conflicts: 451000 | #Constraints: 34575 372.22/374.48 c #Conflicts: 452000 | #Constraints: 35575 372.22/374.48 c #Conflicts: 453000 | #Constraints: 36575 372.22/374.48 c #Conflicts: 454000 | #Constraints: 37575 372.22/374.48 c #Conflicts: 455000 | #Constraints: 38575 372.22/374.48 c #Conflicts: 456000 | #Constraints: 39575 372.22/374.48 c INPROCESSING 372.22/374.48 c GARBAGE COLLECT 372.22/374.48 c rational objective 79 394.36/396.64 c #Conflicts: 457000 | #Constraints: 21137 394.36/396.64 c #Conflicts: 458000 | #Constraints: 22137 394.36/396.64 c #Conflicts: 459000 | #Constraints: 23137 394.36/396.64 c #Conflicts: 460000 | #Constraints: 24137 394.36/396.64 c #Conflicts: 461000 | #Constraints: 25137 394.36/396.64 c #Conflicts: 462000 | #Constraints: 26137 394.36/396.64 c #Conflicts: 463000 | #Constraints: 27137 394.36/396.64 c #Conflicts: 464000 | #Constraints: 28137 394.36/396.64 c #Conflicts: 465000 | #Constraints: 29137 394.36/396.64 c #Conflicts: 466000 | #Constraints: 30137 394.36/396.64 c #Conflicts: 467000 | #Constraints: 31137 394.36/396.64 c #Conflicts: 468000 | #Constraints: 32137 394.36/396.64 c #Conflicts: 469000 | #Constraints: 33137 394.36/396.64 c #Conflicts: 470000 | #Constraints: 34137 394.36/396.64 c INPROCESSING 394.36/396.64 c GARBAGE COLLECT 394.36/396.64 c rational objective 79 414.60/416.90 c #Conflicts: 471000 | #Constraints: 18492 414.60/416.90 c #Conflicts: 472000 | #Constraints: 19492 414.60/416.90 c #Conflicts: 473000 | #Constraints: 20492 414.60/416.90 c #Conflicts: 474000 | #Constraints: 21492 414.60/416.90 c #Conflicts: 475000 | #Constraints: 22492 414.60/416.90 c #Conflicts: 476000 | #Constraints: 23492 414.60/416.90 c #Conflicts: 477000 | #Constraints: 24492 414.60/416.90 c #Conflicts: 478000 | #Constraints: 25492 414.60/416.90 c #Conflicts: 479000 | #Constraints: 26492 414.60/416.90 c #Conflicts: 480000 | #Constraints: 27492 414.60/416.90 c #Conflicts: 481000 | #Constraints: 28492 414.60/416.90 c #Conflicts: 482000 | #Constraints: 29492 414.60/416.90 c #Conflicts: 483000 | #Constraints: 30492 414.60/416.90 c #Conflicts: 484000 | #Constraints: 31492 414.60/416.90 c INPROCESSING 414.60/416.90 c GARBAGE COLLECT 414.60/416.90 c rational objective 79 573.27/576.03 c #Conflicts: 485000 | #Constraints: 17109 573.27/576.03 c #Conflicts: 486000 | #Constraints: 18148 573.27/576.03 c #Conflicts: 487000 | #Constraints: 19187 573.27/576.03 c #Conflicts: 488000 | #Constraints: 20224 573.27/576.03 c #Conflicts: 489000 | #Constraints: 21269 573.27/576.03 c #Conflicts: 490000 | #Constraints: 22302 573.27/576.03 c #Conflicts: 491000 | #Constraints: 23335 573.27/576.03 c #Conflicts: 492000 | #Constraints: 24364 573.27/576.03 c #Conflicts: 493000 | #Constraints: 25393 573.27/576.03 c #Conflicts: 494000 | #Constraints: 26427 573.27/576.03 c #Conflicts: 495000 | #Constraints: 27453 573.27/576.03 c #Conflicts: 496000 | #Constraints: 28487 573.27/576.03 c #Conflicts: 497000 | #Constraints: 29512 573.27/576.03 c #Conflicts: 498000 | #Constraints: 30546 573.27/576.03 c #Conflicts: 499000 | #Constraints: 31577 573.27/576.03 c #Conflicts: 500000 | #Constraints: 32608 573.27/576.03 c #Conflicts: 501000 | #Constraints: 33644 573.27/576.03 c #Conflicts: 502000 | #Constraints: 34674 573.27/576.03 c #Conflicts: 503000 | #Constraints: 35711 573.27/576.03 c #Conflicts: 504000 | #Constraints: 36745 573.27/576.03 c #Conflicts: 505000 | #Constraints: 37782 573.27/576.03 c #Conflicts: 506000 | #Constraints: 38806 573.27/576.03 c #Conflicts: 507000 | #Constraints: 39841 573.27/576.03 c #Conflicts: 508000 | #Constraints: 40859 573.27/576.03 c #Conflicts: 509000 | #Constraints: 41887 573.27/576.03 c #Conflicts: 510000 | #Constraints: 42908 573.27/576.03 c #Conflicts: 511000 | #Constraints: 43925 573.27/576.03 c #Conflicts: 512000 | #Constraints: 44951 573.27/576.03 c #Conflicts: 513000 | #Constraints: 45978 573.27/576.03 c #Conflicts: 514000 | #Constraints: 47010 573.27/576.03 c #Conflicts: 515000 | #Constraints: 48049 573.27/576.03 c #Conflicts: 516000 | #Constraints: 49076 573.27/576.03 c #Conflicts: 517000 | #Constraints: 50106 573.27/576.03 c #Conflicts: 518000 | #Constraints: 51128 573.27/576.03 c #Conflicts: 519000 | #Constraints: 52164 573.27/576.03 c #Conflicts: 520000 | #Constraints: 53189 573.27/576.03 c #Conflicts: 521000 | #Constraints: 54216 573.27/576.03 c #Conflicts: 522000 | #Constraints: 55244 573.27/576.03 c #Conflicts: 523000 | #Constraints: 56269 573.27/576.03 c #Conflicts: 524000 | #Constraints: 57289 573.27/576.03 c #Conflicts: 525000 | #Constraints: 58314 573.27/576.03 c #Conflicts: 526000 | #Constraints: 59340 573.27/576.03 c #Conflicts: 527000 | #Constraints: 60370 573.27/576.03 c #Conflicts: 528000 | #Constraints: 61412 573.27/576.03 c #Conflicts: 529000 | #Constraints: 62441 573.27/576.03 c #Conflicts: 530000 | #Constraints: 63462 573.27/576.03 c #Conflicts: 531000 | #Constraints: 64483 573.27/576.03 c #Conflicts: 532000 | #Constraints: 65497 573.27/576.03 c #Conflicts: 533000 | #Constraints: 66519 573.27/576.03 c #Conflicts: 534000 | #Constraints: 67543 573.27/576.03 c #Conflicts: 535000 | #Constraints: 68577 573.27/576.03 c #Conflicts: 536000 | #Constraints: 69603 573.27/576.03 c #Conflicts: 537000 | #Constraints: 70623 573.27/576.03 c #Conflicts: 538000 | #Constraints: 71645 573.27/576.03 c #Conflicts: 539000 | #Constraints: 72675 573.27/576.03 c #Conflicts: 540000 | #Constraints: 73702 573.27/576.03 c #Conflicts: 541000 | #Constraints: 74723 573.27/576.03 c #Conflicts: 542000 | #Constraints: 75741 573.27/576.03 c #Conflicts: 543000 | #Constraints: 76762 573.27/576.03 c #Conflicts: 544000 | #Constraints: 77786 573.27/576.03 c #Conflicts: 545000 | #Constraints: 78809 573.27/576.03 c #Conflicts: 546000 | #Constraints: 79837 573.27/576.03 c #Conflicts: 547000 | #Constraints: 80879 573.27/576.03 c #Conflicts: 548000 | #Constraints: 81911 573.27/576.03 c #Conflicts: 549000 | #Constraints: 82941 573.27/576.03 c #Conflicts: 550000 | #Constraints: 83964 573.27/576.03 c #Conflicts: 551000 | #Constraints: 84988 573.27/576.03 c INPROCESSING 573.27/576.03 c GARBAGE COLLECT 573.27/576.03 c rational objective 79 626.70/629.60 c #Conflicts: 552000 | #Constraints: 44045 626.70/629.60 c #Conflicts: 553000 | #Constraints: 45045 626.70/629.60 c #Conflicts: 554000 | #Constraints: 46045 626.70/629.60 c #Conflicts: 555000 | #Constraints: 47045 626.70/629.60 c #Conflicts: 556000 | #Constraints: 48045 626.70/629.60 c #Conflicts: 557000 | #Constraints: 49045 626.70/629.60 c #Conflicts: 558000 | #Constraints: 50045 626.70/629.60 c #Conflicts: 559000 | #Constraints: 51045 626.70/629.60 c #Conflicts: 560000 | #Constraints: 52045 626.70/629.60 c #Conflicts: 561000 | #Constraints: 53045 626.70/629.60 c #Conflicts: 562000 | #Constraints: 54045 626.70/629.60 c #Conflicts: 563000 | #Constraints: 55045 626.70/629.60 c #Conflicts: 564000 | #Constraints: 56045 626.70/629.60 c #Conflicts: 565000 | #Constraints: 57045 626.70/629.60 c #Conflicts: 566000 | #Constraints: 58045 626.70/629.60 c INPROCESSING 626.70/629.60 c GARBAGE COLLECT 626.70/629.60 c rational objective 79 673.47/676.53 c #Conflicts: 567000 | #Constraints: 30446 673.47/676.53 c #Conflicts: 568000 | #Constraints: 31446 673.47/676.53 c #Conflicts: 569000 | #Constraints: 32446 673.47/676.53 c #Conflicts: 570000 | #Constraints: 33446 673.47/676.53 c #Conflicts: 571000 | #Constraints: 34446 673.47/676.53 c #Conflicts: 572000 | #Constraints: 35446 673.47/676.53 c #Conflicts: 573000 | #Constraints: 36446 673.47/676.53 c #Conflicts: 574000 | #Constraints: 37446 673.47/676.53 c #Conflicts: 575000 | #Constraints: 38446 673.47/676.53 c #Conflicts: 576000 | #Constraints: 39446 673.47/676.53 c #Conflicts: 577000 | #Constraints: 40446 673.47/676.53 c #Conflicts: 578000 | #Constraints: 41446 673.47/676.53 c #Conflicts: 579000 | #Constraints: 42446 673.47/676.53 c #Conflicts: 580000 | #Constraints: 43446 673.47/676.53 c #Conflicts: 581000 | #Constraints: 44446 673.47/676.53 c #Conflicts: 582000 | #Constraints: 45446 673.47/676.53 c INPROCESSING 673.47/676.53 c GARBAGE COLLECT 673.47/676.53 c rational objective 79 713.56/716.75 c #Conflicts: 583000 | #Constraints: 24324 713.56/716.75 c #Conflicts: 584000 | #Constraints: 25324 713.56/716.75 c #Conflicts: 585000 | #Constraints: 26324 713.56/716.75 c #Conflicts: 586000 | #Constraints: 27324 713.56/716.75 c #Conflicts: 587000 | #Constraints: 28324 713.56/716.75 c #Conflicts: 588000 | #Constraints: 29324 713.56/716.75 c #Conflicts: 589000 | #Constraints: 30324 713.56/716.75 c #Conflicts: 590000 | #Constraints: 31324 713.56/716.75 c #Conflicts: 591000 | #Constraints: 32324 713.56/716.75 c #Conflicts: 592000 | #Constraints: 33324 713.56/716.75 c #Conflicts: 593000 | #Constraints: 34324 713.56/716.75 c #Conflicts: 594000 | #Constraints: 35324 713.56/716.75 c #Conflicts: 595000 | #Constraints: 36324 713.56/716.75 c #Conflicts: 596000 | #Constraints: 37324 713.56/716.75 c #Conflicts: 597000 | #Constraints: 38324 713.56/716.75 c INPROCESSING 713.56/716.75 c GARBAGE COLLECT 713.56/716.75 c rational objective 79 1010.03/1014.07 c #Conflicts: 598000 | #Constraints: 20389 1010.03/1014.07 c #Conflicts: 599000 | #Constraints: 21389 1010.03/1014.07 c #Conflicts: 600000 | #Constraints: 22389 1010.03/1014.07 c #Conflicts: 601000 | #Constraints: 23389 1010.03/1014.07 c #Conflicts: 602000 | #Constraints: 24389 1010.03/1014.07 c #Conflicts: 603000 | #Constraints: 25389 1010.03/1014.07 c #Conflicts: 604000 | #Constraints: 26389 1010.03/1014.07 c #Conflicts: 605000 | #Constraints: 27389 1010.03/1014.07 c #Conflicts: 606000 | #Constraints: 28389 1010.03/1014.07 c #Conflicts: 607000 | #Constraints: 29389 1010.03/1014.07 c #Conflicts: 608000 | #Constraints: 30389 1010.03/1014.07 c #Conflicts: 609000 | #Constraints: 31389 1010.03/1014.07 c #Conflicts: 610000 | #Constraints: 32389 1010.03/1014.07 c #Conflicts: 611000 | #Constraints: 33389 1010.03/1014.07 c #Conflicts: 612000 | #Constraints: 34389 1010.03/1014.07 c #Conflicts: 613000 | #Constraints: 35389 1010.03/1014.07 c #Conflicts: 614000 | #Constraints: 36389 1010.03/1014.07 c #Conflicts: 615000 | #Constraints: 37389 1010.03/1014.07 c #Conflicts: 616000 | #Constraints: 38389 1010.03/1014.07 c #Conflicts: 617000 | #Constraints: 39389 1010.03/1014.07 c #Conflicts: 618000 | #Constraints: 40389 1010.03/1014.07 c #Conflicts: 619000 | #Constraints: 41389 1010.03/1014.07 c #Conflicts: 620000 | #Constraints: 42389 1010.03/1014.07 c #Conflicts: 621000 | #Constraints: 43389 1010.03/1014.07 c #Conflicts: 622000 | #Constraints: 44389 1010.03/1014.07 c #Conflicts: 623000 | #Constraints: 45389 1010.03/1014.07 c #Conflicts: 624000 | #Constraints: 46389 1010.03/1014.07 c #Conflicts: 625000 | #Constraints: 47389 1010.03/1014.07 c #Conflicts: 626000 | #Constraints: 48389 1010.03/1014.07 c #Conflicts: 627000 | #Constraints: 49389 1010.03/1014.07 c #Conflicts: 628000 | #Constraints: 50389 1010.03/1014.07 c #Conflicts: 629000 | #Constraints: 51389 1010.03/1014.07 c #Conflicts: 630000 | #Constraints: 52389 1010.03/1014.07 c #Conflicts: 631000 | #Constraints: 53389 1010.03/1014.07 c #Conflicts: 632000 | #Constraints: 54389 1010.03/1014.07 c #Conflicts: 633000 | #Constraints: 55389 1010.03/1014.07 c #Conflicts: 634000 | #Constraints: 56389 1010.03/1014.07 c #Conflicts: 635000 | #Constraints: 57389 1010.03/1014.07 c #Conflicts: 636000 | #Constraints: 58389 1010.03/1014.07 c #Conflicts: 637000 | #Constraints: 59389 1010.03/1014.07 c #Conflicts: 638000 | #Constraints: 60389 1010.03/1014.07 c #Conflicts: 639000 | #Constraints: 61389 1010.03/1014.07 c #Conflicts: 640000 | #Constraints: 62389 1010.03/1014.07 c #Conflicts: 641000 | #Constraints: 63389 1010.03/1014.07 c #Conflicts: 642000 | #Constraints: 64389 1010.03/1014.07 c #Conflicts: 643000 | #Constraints: 65389 1010.03/1014.07 c #Conflicts: 644000 | #Constraints: 66389 1010.03/1014.07 c #Conflicts: 645000 | #Constraints: 67389 1010.03/1014.07 c #Conflicts: 646000 | #Constraints: 68389 1010.03/1014.07 c #Conflicts: 647000 | #Constraints: 69389 1010.03/1014.07 c #Conflicts: 648000 | #Constraints: 70389 1010.03/1014.07 c #Conflicts: 649000 | #Constraints: 71389 1010.03/1014.07 c #Conflicts: 650000 | #Constraints: 72389 1010.03/1014.07 c #Conflicts: 651000 | #Constraints: 73389 1010.03/1014.07 c #Conflicts: 652000 | #Constraints: 74389 1010.03/1014.07 c #Conflicts: 653000 | #Constraints: 75389 1010.03/1014.07 c #Conflicts: 654000 | #Constraints: 76389 1010.03/1014.07 c #Conflicts: 655000 | #Constraints: 77389 1010.03/1014.07 c #Conflicts: 656000 | #Constraints: 78389 1010.03/1014.07 c #Conflicts: 657000 | #Constraints: 79389 1010.03/1014.07 c #Conflicts: 658000 | #Constraints: 80389 1010.03/1014.07 c #Conflicts: 659000 | #Constraints: 81389 1010.03/1014.07 c #Conflicts: 660000 | #Constraints: 82389 1010.03/1014.07 c #Conflicts: 661000 | #Constraints: 83389 1010.03/1014.07 c #Conflicts: 662000 | #Constraints: 84389 1010.03/1014.07 c #Conflicts: 663000 | #Constraints: 85389 1010.03/1014.07 c #Conflicts: 664000 | #Constraints: 86389 1010.03/1014.07 c bounds 86 >= 80 @ 992.282 1010.03/1014.07 c #Conflicts: 665000 | #Constraints: 87461 1010.03/1014.07 c #Conflicts: 666000 | #Constraints: 88489 1010.03/1014.07 c #Conflicts: 667000 | #Constraints: 89540 1010.03/1014.07 c #Conflicts: 668000 | #Constraints: 90583 1010.03/1014.07 c #Conflicts: 669000 | #Constraints: 91608 1010.03/1014.07 c INPROCESSING 1010.03/1014.07 c GARBAGE COLLECT 1010.03/1014.07 c rational objective 80 1030.27/1034.34 c #Conflicts: 670000 | #Constraints: 47073 1030.27/1034.34 c #Conflicts: 671000 | #Constraints: 48086 1030.27/1034.34 c #Conflicts: 672000 | #Constraints: 49111 1030.27/1034.34 c #Conflicts: 673000 | #Constraints: 50134 1030.27/1034.34 c #Conflicts: 674000 | #Constraints: 51173 1030.27/1034.34 c #Conflicts: 675000 | #Constraints: 52197 1030.27/1034.34 c #Conflicts: 676000 | #Constraints: 53224 1030.27/1034.34 c #Conflicts: 677000 | #Constraints: 54252 1030.27/1034.34 c #Conflicts: 678000 | #Constraints: 55282 1030.27/1034.34 c #Conflicts: 679000 | #Constraints: 56307 1030.27/1034.34 c #Conflicts: 680000 | #Constraints: 57330 1030.27/1034.34 c #Conflicts: 681000 | #Constraints: 58356 1030.27/1034.34 c #Conflicts: 682000 | #Constraints: 59397 1030.27/1034.34 c #Conflicts: 683000 | #Constraints: 60425 1030.27/1034.34 c #Conflicts: 684000 | #Constraints: 61453 1030.27/1034.34 c #Conflicts: 685000 | #Constraints: 62479 1030.27/1034.34 c #Conflicts: 686000 | #Constraints: 63505 1030.27/1034.34 c INPROCESSING 1030.27/1034.34 c GARBAGE COLLECT 1030.27/1034.34 c rational objective 80 1048.12/1052.28 c #Conflicts: 687000 | #Constraints: 32992 1048.12/1052.28 c #Conflicts: 688000 | #Constraints: 34006 1048.12/1052.28 c #Conflicts: 689000 | #Constraints: 35033 1048.12/1052.28 c #Conflicts: 690000 | #Constraints: 36062 1048.12/1052.28 c #Conflicts: 691000 | #Constraints: 37090 1048.12/1052.28 c #Conflicts: 692000 | #Constraints: 38118 1048.12/1052.28 c #Conflicts: 693000 | #Constraints: 39151 1048.12/1052.28 c #Conflicts: 694000 | #Constraints: 40183 1048.12/1052.28 c #Conflicts: 695000 | #Constraints: 41227 1048.12/1052.28 c #Conflicts: 696000 | #Constraints: 42258 1048.12/1052.28 c #Conflicts: 697000 | #Constraints: 43289 1048.12/1052.28 c #Conflicts: 698000 | #Constraints: 44318 1048.12/1052.28 c #Conflicts: 699000 | #Constraints: 45358 1048.12/1052.28 c #Conflicts: 700000 | #Constraints: 46394 1048.12/1052.28 c #Conflicts: 701000 | #Constraints: 47422 1048.12/1052.28 c #Conflicts: 702000 | #Constraints: 48457 1048.12/1052.28 c #Conflicts: 703000 | #Constraints: 49491 1048.12/1052.28 c #Conflicts: 704000 | #Constraints: 50517 1048.12/1052.28 c INPROCESSING 1048.12/1052.28 c GARBAGE COLLECT 1048.12/1052.28 c rational objective 80 1071.35/1075.50 c #Conflicts: 705000 | #Constraints: 26860 1071.35/1075.50 c #Conflicts: 706000 | #Constraints: 27890 1071.35/1075.50 c #Conflicts: 707000 | #Constraints: 28917 1071.35/1075.50 c #Conflicts: 708000 | #Constraints: 29948 1071.35/1075.50 c #Conflicts: 709000 | #Constraints: 30969 1071.35/1075.50 c #Conflicts: 710000 | #Constraints: 31991 1071.35/1075.50 c #Conflicts: 711000 | #Constraints: 33010 1071.35/1075.50 c #Conflicts: 712000 | #Constraints: 34034 1071.35/1075.50 c #Conflicts: 713000 | #Constraints: 35056 1071.35/1075.50 c #Conflicts: 714000 | #Constraints: 36083 1071.35/1075.50 c #Conflicts: 715000 | #Constraints: 37107 1071.35/1075.50 c #Conflicts: 716000 | #Constraints: 38132 1071.35/1075.50 c #Conflicts: 717000 | #Constraints: 39147 1071.35/1075.50 c #Conflicts: 718000 | #Constraints: 40170 1071.35/1075.50 c #Conflicts: 719000 | #Constraints: 41201 1071.35/1075.50 c #Conflicts: 720000 | #Constraints: 42236 1071.35/1075.50 c #Conflicts: 721000 | #Constraints: 43261 1071.35/1075.50 c INPROCESSING 1071.35/1075.50 c GARBAGE COLLECT 1071.35/1075.50 c rational objective 80 1270.19/1274.95 c #Conflicts: 722000 | #Constraints: 22984 1270.19/1274.95 c #Conflicts: 723000 | #Constraints: 24017 1270.19/1274.95 c #Conflicts: 724000 | #Constraints: 25053 1270.19/1274.95 c #Conflicts: 725000 | #Constraints: 26087 1270.19/1274.95 c #Conflicts: 726000 | #Constraints: 27135 1270.19/1274.95 c #Conflicts: 727000 | #Constraints: 28169 1270.19/1274.95 c #Conflicts: 728000 | #Constraints: 29197 1270.19/1274.95 c #Conflicts: 729000 | #Constraints: 30234 1270.19/1274.95 c #Conflicts: 730000 | #Constraints: 31269 1270.19/1274.95 c #Conflicts: 731000 | #Constraints: 32298 1270.19/1274.95 c #Conflicts: 732000 | #Constraints: 33329 1270.19/1274.95 c #Conflicts: 733000 | #Constraints: 34358 1270.19/1274.95 c #Conflicts: 734000 | #Constraints: 35386 1270.19/1274.95 c #Conflicts: 735000 | #Constraints: 36407 1270.19/1274.95 c #Conflicts: 736000 | #Constraints: 37437 1270.19/1274.95 c #Conflicts: 737000 | #Constraints: 38462 1270.19/1274.95 c #Conflicts: 738000 | #Constraints: 39485 1270.19/1274.95 c #Conflicts: 739000 | #Constraints: 40509 1270.19/1274.95 c #Conflicts: 740000 | #Constraints: 41527 1270.19/1274.95 c #Conflicts: 741000 | #Constraints: 42550 1270.19/1274.95 c #Conflicts: 742000 | #Constraints: 43569 1270.19/1274.95 c #Conflicts: 743000 | #Constraints: 44589 1270.19/1274.95 c #Conflicts: 744000 | #Constraints: 45622 1270.19/1274.95 c #Conflicts: 745000 | #Constraints: 46654 1270.19/1274.95 c #Conflicts: 746000 | #Constraints: 47681 1270.19/1274.95 c #Conflicts: 747000 | #Constraints: 48705 1270.19/1274.95 c #Conflicts: 748000 | #Constraints: 49738 1270.19/1274.95 c #Conflicts: 749000 | #Constraints: 50766 1270.19/1274.95 c #Conflicts: 750000 | #Constraints: 51793 1270.19/1274.95 c #Conflicts: 751000 | #Constraints: 52826 1270.19/1274.95 c #Conflicts: 752000 | #Constraints: 53850 1270.19/1274.95 c #Conflicts: 753000 | #Constraints: 54878 1270.19/1274.95 c #Conflicts: 754000 | #Constraints: 55911 1270.19/1274.95 c #Conflicts: 755000 | #Constraints: 56937 1270.19/1274.95 c #Conflicts: 756000 | #Constraints: 57965 1270.19/1274.95 c #Conflicts: 757000 | #Constraints: 58992 1270.19/1274.95 c #Conflicts: 758000 | #Constraints: 60019 1270.19/1274.95 c #Conflicts: 759000 | #Constraints: 61056 1270.19/1274.95 c #Conflicts: 760000 | #Constraints: 62094 1270.19/1274.95 c #Conflicts: 761000 | #Constraints: 63126 1270.19/1274.95 c #Conflicts: 762000 | #Constraints: 64163 1270.19/1274.95 c #Conflicts: 763000 | #Constraints: 65189 1270.19/1274.95 c #Conflicts: 764000 | #Constraints: 66212 1270.19/1274.95 c #Conflicts: 765000 | #Constraints: 67241 1270.19/1274.95 c #Conflicts: 766000 | #Constraints: 68270 1270.19/1274.95 c #Conflicts: 767000 | #Constraints: 69295 1270.19/1274.95 c #Conflicts: 768000 | #Constraints: 70325 1270.19/1274.95 c #Conflicts: 769000 | #Constraints: 71354 1270.19/1274.95 c #Conflicts: 770000 | #Constraints: 72387 1270.19/1274.95 c #Conflicts: 771000 | #Constraints: 73410 1270.19/1274.95 c #Conflicts: 772000 | #Constraints: 74433 1270.19/1274.95 c #Conflicts: 773000 | #Constraints: 75458 1270.19/1274.95 c #Conflicts: 774000 | #Constraints: 76482 1270.19/1274.95 c #Conflicts: 775000 | #Constraints: 77505 1270.19/1274.95 c #Conflicts: 776000 | #Constraints: 78534 1270.19/1274.95 c #Conflicts: 777000 | #Constraints: 79559 1270.19/1274.95 c #Conflicts: 778000 | #Constraints: 80587 1270.19/1274.95 c #Conflicts: 779000 | #Constraints: 81613 1270.19/1274.95 c #Conflicts: 780000 | #Constraints: 82642 1270.19/1274.95 c #Conflicts: 781000 | #Constraints: 83667 1270.19/1274.95 c #Conflicts: 782000 | #Constraints: 84698 1270.19/1274.95 c #Conflicts: 783000 | #Constraints: 85727 1270.19/1274.95 c #Conflicts: 784000 | #Constraints: 86756 1270.19/1274.95 c #Conflicts: 785000 | #Constraints: 87783 1270.19/1274.95 c #Conflicts: 786000 | #Constraints: 88814 1270.19/1274.95 c #Conflicts: 787000 | #Constraints: 89844 1270.19/1274.95 c #Conflicts: 788000 | #Constraints: 90875 1270.19/1274.95 c #Conflicts: 789000 | #Constraints: 91895 1270.19/1274.95 c #Conflicts: 790000 | #Constraints: 92917 1270.19/1274.95 c #Conflicts: 791000 | #Constraints: 93943 1270.19/1274.95 c #Conflicts: 792000 | #Constraints: 94966 1270.19/1274.95 c #Conflicts: 793000 | #Constraints: 95989 1270.19/1274.95 c #Conflicts: 794000 | #Constraints: 97016 1270.19/1274.95 c #Conflicts: 795000 | #Constraints: 98046 1270.19/1274.95 c #Conflicts: 796000 | #Constraints: 99069 1270.19/1274.95 c #Conflicts: 797000 | #Constraints: 100093 1270.19/1274.95 c #Conflicts: 798000 | #Constraints: 101117 1270.19/1274.95 c INPROCESSING 1270.19/1274.95 c GARBAGE COLLECT 1270.19/1274.95 c rational objective 80 1349.46/1354.41 c #Conflicts: 799000 | #Constraints: 51851 1349.46/1354.41 c #Conflicts: 800000 | #Constraints: 52851 1349.46/1354.41 c #Conflicts: 801000 | #Constraints: 53851 1349.46/1354.41 c #Conflicts: 802000 | #Constraints: 54851 1349.46/1354.41 c #Conflicts: 803000 | #Constraints: 55851 1349.46/1354.41 c #Conflicts: 804000 | #Constraints: 56851 1349.46/1354.41 c #Conflicts: 805000 | #Constraints: 57851 1349.46/1354.41 c #Conflicts: 806000 | #Constraints: 58851 1349.46/1354.41 c #Conflicts: 807000 | #Constraints: 59851 1349.46/1354.41 c #Conflicts: 808000 | #Constraints: 60851 1349.46/1354.41 c #Conflicts: 809000 | #Constraints: 61851 1349.46/1354.41 c #Conflicts: 810000 | #Constraints: 62851 1349.46/1354.41 c #Conflicts: 811000 | #Constraints: 63851 1349.46/1354.41 c #Conflicts: 812000 | #Constraints: 64851 1349.46/1354.41 c #Conflicts: 813000 | #Constraints: 65851 1349.46/1354.41 c #Conflicts: 814000 | #Constraints: 66851 1349.46/1354.41 c #Conflicts: 815000 | #Constraints: 67851 1349.46/1354.41 c #Conflicts: 816000 | #Constraints: 68851 1349.46/1354.41 c #Conflicts: 817000 | #Constraints: 69851 1349.46/1354.41 c INPROCESSING 1349.46/1354.41 c GARBAGE COLLECT 1349.46/1354.41 c rational objective 80 1377.28/1382.35 c #Conflicts: 818000 | #Constraints: 36370 1377.28/1382.35 c #Conflicts: 819000 | #Constraints: 37407 1377.28/1382.35 c #Conflicts: 820000 | #Constraints: 38442 1377.28/1382.35 c #Conflicts: 821000 | #Constraints: 39478 1377.28/1382.35 c #Conflicts: 822000 | #Constraints: 40514 1377.28/1382.35 c #Conflicts: 823000 | #Constraints: 41548 1377.28/1382.35 c #Conflicts: 824000 | #Constraints: 42579 1377.28/1382.35 c #Conflicts: 825000 | #Constraints: 43601 1377.28/1382.35 c #Conflicts: 826000 | #Constraints: 44625 1377.28/1382.35 c #Conflicts: 827000 | #Constraints: 45643 1377.28/1382.35 c #Conflicts: 828000 | #Constraints: 46672 1377.28/1382.35 c #Conflicts: 829000 | #Constraints: 47698 1377.28/1382.35 c #Conflicts: 830000 | #Constraints: 48719 1377.28/1382.35 c #Conflicts: 831000 | #Constraints: 49737 1377.28/1382.35 c #Conflicts: 832000 | #Constraints: 50767 1377.28/1382.35 c #Conflicts: 833000 | #Constraints: 51791 1377.28/1382.35 c #Conflicts: 834000 | #Constraints: 52828 1377.28/1382.35 c #Conflicts: 835000 | #Constraints: 53855 1377.28/1382.35 c #Conflicts: 836000 | #Constraints: 54878 1377.28/1382.35 c INPROCESSING 1377.28/1382.35 c GARBAGE COLLECT 1377.28/1382.35 c rational objective 80 1438.40/1443.66 c #Conflicts: 837000 | #Constraints: 28829 1438.40/1443.66 c #Conflicts: 838000 | #Constraints: 29829 1438.40/1443.66 c #Conflicts: 839000 | #Constraints: 30829 1438.40/1443.66 c #Conflicts: 840000 | #Constraints: 31829 1438.40/1443.66 c #Conflicts: 841000 | #Constraints: 32829 1438.40/1443.66 c #Conflicts: 842000 | #Constraints: 33829 1438.40/1443.66 c #Conflicts: 843000 | #Constraints: 34829 1438.40/1443.66 c #Conflicts: 844000 | #Constraints: 35829 1438.40/1443.66 c #Conflicts: 845000 | #Constraints: 36829 1438.40/1443.66 c #Conflicts: 846000 | #Constraints: 37829 1438.40/1443.66 c #Conflicts: 847000 | #Constraints: 38829 1438.40/1443.66 c #Conflicts: 848000 | #Constraints: 39829 1438.40/1443.66 c #Conflicts: 849000 | #Constraints: 40829 1438.40/1443.66 c #Conflicts: 850000 | #Constraints: 41829 1438.40/1443.66 c #Conflicts: 851000 | #Constraints: 42829 1438.40/1443.66 c #Conflicts: 852000 | #Constraints: 43829 1438.40/1443.66 c #Conflicts: 853000 | #Constraints: 44829 1438.40/1443.66 c #Conflicts: 854000 | #Constraints: 45829 1438.40/1443.66 c #Conflicts: 855000 | #Constraints: 46829 1438.40/1443.66 c INPROCESSING 1438.40/1443.66 c GARBAGE COLLECT 1438.40/1443.66 c rational objective 80 1701.81/1707.82 c #Conflicts: 856000 | #Constraints: 24775 1701.81/1707.82 c #Conflicts: 857000 | #Constraints: 25802 1701.81/1707.82 c #Conflicts: 858000 | #Constraints: 26834 1701.81/1707.82 c #Conflicts: 859000 | #Constraints: 27861 1701.81/1707.82 c #Conflicts: 860000 | #Constraints: 28893 1701.81/1707.82 c #Conflicts: 861000 | #Constraints: 29923 1701.81/1707.82 c #Conflicts: 862000 | #Constraints: 30957 1701.81/1707.82 c #Conflicts: 863000 | #Constraints: 31980 1701.81/1707.82 c #Conflicts: 864000 | #Constraints: 33004 1701.81/1707.82 c #Conflicts: 865000 | #Constraints: 34032 1701.81/1707.82 c #Conflicts: 866000 | #Constraints: 35054 1701.81/1707.82 c #Conflicts: 867000 | #Constraints: 36086 1701.81/1707.82 c #Conflicts: 868000 | #Constraints: 37118 1701.81/1707.82 c #Conflicts: 869000 | #Constraints: 38139 1701.81/1707.82 c #Conflicts: 870000 | #Constraints: 39163 1701.81/1707.82 c #Conflicts: 871000 | #Constraints: 40198 1701.81/1707.82 c #Conflicts: 872000 | #Constraints: 41222 1701.81/1707.82 c #Conflicts: 873000 | #Constraints: 42246 1701.81/1707.82 c #Conflicts: 874000 | #Constraints: 43268 1701.81/1707.82 c #Conflicts: 875000 | #Constraints: 44300 1701.81/1707.82 c #Conflicts: 876000 | #Constraints: 45329 1701.81/1707.82 c #Conflicts: 877000 | #Constraints: 46357 1701.81/1707.82 c #Conflicts: 878000 | #Constraints: 47383 1701.81/1707.82 c #Conflicts: 879000 | #Constraints: 48407 1701.81/1707.82 c #Conflicts: 880000 | #Constraints: 49438 1701.81/1707.82 c #Conflicts: 881000 | #Constraints: 50468 1701.81/1707.82 c #Conflicts: 882000 | #Constraints: 51498 1701.81/1707.82 c #Conflicts: 883000 | #Constraints: 52519 1701.81/1707.82 c #Conflicts: 884000 | #Constraints: 53540 1701.81/1707.82 c #Conflicts: 885000 | #Constraints: 54569 1701.81/1707.82 c #Conflicts: 886000 | #Constraints: 55597 1701.81/1707.82 c #Conflicts: 887000 | #Constraints: 56618 1701.81/1707.82 c #Conflicts: 888000 | #Constraints: 57646 1701.81/1707.82 c #Conflicts: 889000 | #Constraints: 58672 1701.81/1707.82 c #Conflicts: 890000 | #Constraints: 59696 1701.81/1707.82 c #Conflicts: 891000 | #Constraints: 60719 1701.81/1707.82 c #Conflicts: 892000 | #Constraints: 61747 1701.81/1707.82 c #Conflicts: 893000 | #Constraints: 62773 1701.81/1707.82 c #Conflicts: 894000 | #Constraints: 63793 1701.81/1707.82 c #Conflicts: 895000 | #Constraints: 64813 1701.81/1707.82 c #Conflicts: 896000 | #Constraints: 65848 1701.81/1707.82 c #Conflicts: 897000 | #Constraints: 66875 1701.81/1707.82 c #Conflicts: 898000 | #Constraints: 67914 1701.81/1707.82 c #Conflicts: 899000 | #Constraints: 68943 1701.81/1707.82 c #Conflicts: 900000 | #Constraints: 69970 1701.81/1707.82 c #Conflicts: 901000 | #Constraints: 70997 1701.81/1707.82 c #Conflicts: 902000 | #Constraints: 72025 1701.81/1707.82 c #Conflicts: 903000 | #Constraints: 73047 1701.81/1707.82 c #Conflicts: 904000 | #Constraints: 74067 1701.81/1707.82 c #Conflicts: 905000 | #Constraints: 75096 1701.81/1707.82 c #Conflicts: 906000 | #Constraints: 76117 1701.81/1707.82 c #Conflicts: 907000 | #Constraints: 77143 1701.81/1707.82 c #Conflicts: 908000 | #Constraints: 78171 1701.81/1707.82 c #Conflicts: 909000 | #Constraints: 79194 1701.81/1707.82 c #Conflicts: 910000 | #Constraints: 80217 1701.81/1707.82 c #Conflicts: 911000 | #Constraints: 81242 1701.81/1707.82 c #Conflicts: 912000 | #Constraints: 82267 1701.81/1707.82 c #Conflicts: 913000 | #Constraints: 83297 1701.81/1707.82 c #Conflicts: 914000 | #Constraints: 84317 1701.81/1707.82 c #Conflicts: 915000 | #Constraints: 85340 1701.81/1707.82 c #Conflicts: 916000 | #Constraints: 86368 1701.81/1707.82 c #Conflicts: 917000 | #Constraints: 87408 1701.81/1707.82 c #Conflicts: 918000 | #Constraints: 88434 1701.81/1707.82 c #Conflicts: 919000 | #Constraints: 89458 1701.81/1707.82 c #Conflicts: 920000 | #Constraints: 90482 1701.81/1707.82 c #Conflicts: 921000 | #Constraints: 91507 1701.81/1707.82 c #Conflicts: 922000 | #Constraints: 92532 1701.81/1707.82 c #Conflicts: 923000 | #Constraints: 93556 1701.81/1707.82 c #Conflicts: 924000 | #Constraints: 94588 1701.81/1707.82 c #Conflicts: 925000 | #Constraints: 95615 1701.81/1707.82 c #Conflicts: 926000 | #Constraints: 96643 1701.81/1707.82 c #Conflicts: 927000 | #Constraints: 97683 1701.81/1707.82 c #Conflicts: 928000 | #Constraints: 98721 1701.81/1707.82 c #Conflicts: 929000 | #Constraints: 99751 1701.81/1707.82 c #Conflicts: 930000 | #Constraints: 100781 1701.81/1707.82 c #Conflicts: 931000 | #Constraints: 101806 1701.81/1707.82 c #Conflicts: 932000 | #Constraints: 102826 1701.81/1707.82 c #Conflicts: 933000 | #Constraints: 103844 1701.81/1707.82 c #Conflicts: 934000 | #Constraints: 104875 1723.85/1729.97 c #Conflicts: 935000 | #Constraints: 105904 1723.85/1729.97 c #Conflicts: 936000 | #Constraints: 106929 1723.85/1729.97 c #Conflicts: 937000 | #Constraints: 107954 1723.85/1729.97 c #Conflicts: 938000 | #Constraints: 108983 1723.85/1729.97 c INPROCESSING 1723.85/1729.97 c GARBAGE COLLECT 1723.85/1729.97 c rational objective 80 1822.16/1828.59 c #Conflicts: 939000 | #Constraints: 56070 1822.16/1828.59 c #Conflicts: 940000 | #Constraints: 57070 1822.16/1828.59 c #Conflicts: 941000 | #Constraints: 58070 1822.16/1828.59 c #Conflicts: 942000 | #Constraints: 59070 1822.16/1828.59 c #Conflicts: 943000 | #Constraints: 60070 1822.16/1828.59 c #Conflicts: 944000 | #Constraints: 61070 1822.16/1828.59 c #Conflicts: 945000 | #Constraints: 62070 1822.16/1828.59 c #Conflicts: 946000 | #Constraints: 63070 1822.16/1828.59 c #Conflicts: 947000 | #Constraints: 64070 1822.16/1828.59 c #Conflicts: 948000 | #Constraints: 65070 1822.16/1828.59 c #Conflicts: 949000 | #Constraints: 66070 1822.16/1828.59 c #Conflicts: 950000 | #Constraints: 67070 1822.16/1828.59 c #Conflicts: 951000 | #Constraints: 68070 1822.16/1828.59 c #Conflicts: 952000 | #Constraints: 69070 1822.16/1828.59 c #Conflicts: 953000 | #Constraints: 70070 1822.16/1828.59 c #Conflicts: 954000 | #Constraints: 71070 1822.16/1828.59 c #Conflicts: 955000 | #Constraints: 72070 1822.16/1828.59 c #Conflicts: 956000 | #Constraints: 73070 1822.16/1828.59 c #Conflicts: 957000 | #Constraints: 74070 1822.16/1828.59 c #Conflicts: 958000 | #Constraints: 75070 1822.16/1828.59 c INPROCESSING 1822.16/1828.59 c GARBAGE COLLECT 1822.16/1828.59 c rational objective 80 1918.67/1925.30 c #Conflicts: 959000 | #Constraints: 38939 1918.67/1925.30 c #Conflicts: 960000 | #Constraints: 39939 1918.67/1925.30 c #Conflicts: 961000 | #Constraints: 40939 1918.67/1925.30 c #Conflicts: 962000 | #Constraints: 41939 1918.67/1925.30 c #Conflicts: 963000 | #Constraints: 42939 1918.67/1925.30 c #Conflicts: 964000 | #Constraints: 43939 1918.67/1925.30 c #Conflicts: 965000 | #Constraints: 44939 1918.67/1925.30 c #Conflicts: 966000 | #Constraints: 45939 1918.67/1925.30 c #Conflicts: 967000 | #Constraints: 46939 1918.67/1925.30 c #Conflicts: 968000 | #Constraints: 47939 1918.67/1925.30 c #Conflicts: 969000 | #Constraints: 48939 1918.67/1925.30 c #Conflicts: 970000 | #Constraints: 49939 1918.67/1925.30 c #Conflicts: 971000 | #Constraints: 50939 1918.67/1925.30 c #Conflicts: 972000 | #Constraints: 51939 1918.67/1925.30 c #Conflicts: 973000 | #Constraints: 52939 1918.67/1925.30 c #Conflicts: 974000 | #Constraints: 53939 1918.67/1925.30 c #Conflicts: 975000 | #Constraints: 54939 1918.67/1925.30 c #Conflicts: 976000 | #Constraints: 55939 1918.67/1925.30 c #Conflicts: 977000 | #Constraints: 56939 1918.67/1925.30 c #Conflicts: 978000 | #Constraints: 57939 1918.67/1925.30 c #Conflicts: 979000 | #Constraints: 58939 1918.67/1925.30 c INPROCESSING 1918.67/1925.30 c GARBAGE COLLECT 1918.67/1925.30 c rational objective 80 2000.62/2007.50 c #Conflicts: 980000 | #Constraints: 31012 2000.62/2007.50 c #Conflicts: 981000 | #Constraints: 32012 2000.62/2007.50 c #Conflicts: 982000 | #Constraints: 33012 2000.62/2007.50 c #Conflicts: 983000 | #Constraints: 34012 2000.62/2007.50 c #Conflicts: 984000 | #Constraints: 35012 2000.62/2007.50 c #Conflicts: 985000 | #Constraints: 36012 2000.62/2007.50 c #Conflicts: 986000 | #Constraints: 37012 2000.62/2007.50 c #Conflicts: 987000 | #Constraints: 38012 2000.62/2007.50 c #Conflicts: 988000 | #Constraints: 39012 2000.62/2007.50 c #Conflicts: 989000 | #Constraints: 40012 2000.62/2007.50 c #Conflicts: 990000 | #Constraints: 41012 2000.62/2007.50 c #Conflicts: 991000 | #Constraints: 42012 2000.62/2007.50 c #Conflicts: 992000 | #Constraints: 43012 2000.62/2007.50 c #Conflicts: 993000 | #Constraints: 44012 2000.62/2007.50 c #Conflicts: 994000 | #Constraints: 45012 2000.62/2007.50 c #Conflicts: 995000 | #Constraints: 46012 2000.62/2007.50 c #Conflicts: 996000 | #Constraints: 47012 2000.62/2007.50 c #Conflicts: 997000 | #Constraints: 48012 2000.62/2007.50 c #Conflicts: 998000 | #Constraints: 49012 2000.62/2007.50 c #Conflicts: 999000 | #Constraints: 50012 2000.62/2007.50 c #Conflicts: 1000000 | #Constraints: 51012 2000.62/2007.50 c INPROCESSING 2000.62/2007.50 c GARBAGE COLLECT 2000.62/2007.50 c rational objective 80 2312.74/2320.59 c #Conflicts: 1001000 | #Constraints: 28764 2312.74/2320.59 c #Conflicts: 1002000 | #Constraints: 29782 2312.74/2320.59 c #Conflicts: 1003000 | #Constraints: 30797 2312.74/2320.59 c #Conflicts: 1004000 | #Constraints: 31831 2312.74/2320.59 c #Conflicts: 1005000 | #Constraints: 32843 2312.74/2320.59 c #Conflicts: 1006000 | #Constraints: 33853 2312.74/2320.59 c #Conflicts: 1007000 | #Constraints: 34899 2312.74/2320.59 c #Conflicts: 1008000 | #Constraints: 35953 2312.74/2320.59 c #Conflicts: 1009000 | #Constraints: 36988 2312.74/2320.59 c #Conflicts: 1010000 | #Constraints: 38028 2312.74/2320.59 c #Conflicts: 1011000 | #Constraints: 39071 2312.74/2320.59 c #Conflicts: 1012000 | #Constraints: 40109 2312.74/2320.59 c #Conflicts: 1013000 | #Constraints: 41147 2312.74/2320.59 c #Conflicts: 1014000 | #Constraints: 42176 2312.74/2320.59 c #Conflicts: 1015000 | #Constraints: 43214 2312.74/2320.59 c #Conflicts: 1016000 | #Constraints: 44250 2312.74/2320.59 c #Conflicts: 1017000 | #Constraints: 45281 2312.74/2320.59 c #Conflicts: 1018000 | #Constraints: 46301 2312.74/2320.59 c #Conflicts: 1019000 | #Constraints: 47331 2312.74/2320.59 c #Conflicts: 1020000 | #Constraints: 48350 2312.74/2320.59 c #Conflicts: 1021000 | #Constraints: 49370 2312.74/2320.59 c #Conflicts: 1022000 | #Constraints: 50390 2312.74/2320.59 c #Conflicts: 1023000 | #Constraints: 51413 2312.74/2320.59 c #Conflicts: 1024000 | #Constraints: 52438 2312.74/2320.59 c #Conflicts: 1025000 | #Constraints: 53467 2312.74/2320.59 c #Conflicts: 1026000 | #Constraints: 54496 2312.74/2320.59 c #Conflicts: 1027000 | #Constraints: 55530 2312.74/2320.59 c #Conflicts: 1028000 | #Constraints: 56561 2312.74/2320.59 c #Conflicts: 1029000 | #Constraints: 57596 2312.74/2320.59 c #Conflicts: 1030000 | #Constraints: 58621 2312.74/2320.59 c #Conflicts: 1031000 | #Constraints: 59637 2312.74/2320.59 c #Conflicts: 1032000 | #Constraints: 60673 2312.74/2320.59 c #Conflicts: 1033000 | #Constraints: 61705 2312.74/2320.59 c #Conflicts: 1034000 | #Constraints: 62739 2312.74/2320.59 c #Conflicts: 1035000 | #Constraints: 63764 2312.74/2320.59 c #Conflicts: 1036000 | #Constraints: 64780 2312.74/2320.59 c #Conflicts: 1037000 | #Constraints: 65803 2312.74/2320.59 c #Conflicts: 1038000 | #Constraints: 66831 2312.74/2320.59 c #Conflicts: 1039000 | #Constraints: 67855 2312.74/2320.59 c #Conflicts: 1040000 | #Constraints: 68884 2312.74/2320.59 c #Conflicts: 1041000 | #Constraints: 69906 2312.74/2320.59 c #Conflicts: 1042000 | #Constraints: 70927 2312.74/2320.59 c #Conflicts: 1043000 | #Constraints: 71955 2312.74/2320.59 c #Conflicts: 1044000 | #Constraints: 72982 2312.74/2320.59 c #Conflicts: 1045000 | #Constraints: 74004 2312.74/2320.59 c #Conflicts: 1046000 | #Constraints: 75025 2312.74/2320.59 c #Conflicts: 1047000 | #Constraints: 76051 2312.74/2320.59 c #Conflicts: 1048000 | #Constraints: 77073 2312.74/2320.59 c #Conflicts: 1049000 | #Constraints: 78104 2312.74/2320.59 c #Conflicts: 1050000 | #Constraints: 79124 2312.74/2320.59 c #Conflicts: 1051000 | #Constraints: 80152 2312.74/2320.59 c #Conflicts: 1052000 | #Constraints: 81182 2312.74/2320.59 c #Conflicts: 1053000 | #Constraints: 82201 2312.74/2320.59 c #Conflicts: 1054000 | #Constraints: 83226 2312.74/2320.59 c #Conflicts: 1055000 | #Constraints: 84245 2312.74/2320.59 c #Conflicts: 1056000 | #Constraints: 85271 2312.74/2320.59 c #Conflicts: 1057000 | #Constraints: 86297 2312.74/2320.59 c #Conflicts: 1058000 | #Constraints: 87316 2312.74/2320.59 c #Conflicts: 1059000 | #Constraints: 88336 2312.74/2320.59 c #Conflicts: 1060000 | #Constraints: 89354 2312.74/2320.59 c #Conflicts: 1061000 | #Constraints: 90372 2312.74/2320.59 c #Conflicts: 1062000 | #Constraints: 91397 2312.74/2320.59 c #Conflicts: 1063000 | #Constraints: 92414 2312.74/2320.59 c #Conflicts: 1064000 | #Constraints: 93433 2312.74/2320.59 c #Conflicts: 1065000 | #Constraints: 94460 2312.74/2320.59 c #Conflicts: 1066000 | #Constraints: 95487 2312.74/2320.59 c #Conflicts: 1067000 | #Constraints: 96509 2312.74/2320.59 c #Conflicts: 1068000 | #Constraints: 97533 2312.74/2320.59 c #Conflicts: 1069000 | #Constraints: 98557 2312.74/2320.59 c #Conflicts: 1070000 | #Constraints: 99583 2312.74/2320.59 c #Conflicts: 1071000 | #Constraints: 100607 2312.74/2320.59 c #Conflicts: 1072000 | #Constraints: 101632 2312.74/2320.59 c #Conflicts: 1073000 | #Constraints: 102657 2312.74/2320.59 c #Conflicts: 1074000 | #Constraints: 103682 2312.74/2320.59 c #Conflicts: 1075000 | #Constraints: 104708 2312.74/2320.59 c #Conflicts: 1076000 | #Constraints: 105728 2312.74/2320.59 c #Conflicts: 1077000 | #Constraints: 106750 2312.74/2320.59 c #Conflicts: 1078000 | #Constraints: 107774 2312.74/2320.59 c #Conflicts: 1079000 | #Constraints: 108798 2376.85/2384.85 c #Conflicts: 1080000 | #Constraints: 109814 2376.85/2384.85 c #Conflicts: 1081000 | #Constraints: 110839 2376.85/2384.85 c #Conflicts: 1082000 | #Constraints: 111855 2376.85/2384.85 c #Conflicts: 1083000 | #Constraints: 112874 2376.85/2384.85 c #Conflicts: 1084000 | #Constraints: 113898 2376.85/2384.85 c #Conflicts: 1085000 | #Constraints: 114915 2376.85/2384.85 c #Conflicts: 1086000 | #Constraints: 115941 2376.85/2384.85 c #Conflicts: 1087000 | #Constraints: 116963 2376.85/2384.85 c INPROCESSING 2376.85/2384.85 c GARBAGE COLLECT 2376.85/2384.85 c rational objective 80 2542.05/2550.50 c #Conflicts: 1088000 | #Constraints: 59690 2542.05/2550.50 c #Conflicts: 1089000 | #Constraints: 60690 2542.05/2550.50 c #Conflicts: 1090000 | #Constraints: 61690 2542.05/2550.50 c #Conflicts: 1091000 | #Constraints: 62690 2542.05/2550.50 c #Conflicts: 1092000 | #Constraints: 63690 2542.05/2550.50 c #Conflicts: 1093000 | #Constraints: 64690 2542.05/2550.50 c #Conflicts: 1094000 | #Constraints: 65690 2542.05/2550.50 c #Conflicts: 1095000 | #Constraints: 66690 2542.05/2550.50 c #Conflicts: 1096000 | #Constraints: 67690 2542.05/2550.50 c #Conflicts: 1097000 | #Constraints: 68690 2542.05/2550.50 c #Conflicts: 1098000 | #Constraints: 69690 2542.05/2550.50 c #Conflicts: 1099000 | #Constraints: 70690 2542.05/2550.50 c #Conflicts: 1100000 | #Constraints: 71690 2542.05/2550.50 c #Conflicts: 1101000 | #Constraints: 72690 2542.05/2550.50 c #Conflicts: 1102000 | #Constraints: 73690 2542.05/2550.50 c #Conflicts: 1103000 | #Constraints: 74690 2542.05/2550.50 c #Conflicts: 1104000 | #Constraints: 75690 2542.05/2550.50 c #Conflicts: 1105000 | #Constraints: 76690 2542.05/2550.50 c #Conflicts: 1106000 | #Constraints: 77690 2542.05/2550.50 c #Conflicts: 1107000 | #Constraints: 78690 2542.05/2550.50 c #Conflicts: 1108000 | #Constraints: 79690 2542.05/2550.50 c #Conflicts: 1109000 | #Constraints: 80690 2542.05/2550.50 c #Conflicts: 1110000 | #Constraints: 81690 2542.05/2550.50 c INPROCESSING 2542.05/2550.50 c GARBAGE COLLECT 2542.05/2550.50 c rational objective 80 2676.22/2685.13 c #Conflicts: 1111000 | #Constraints: 42500 2676.22/2685.13 c #Conflicts: 1112000 | #Constraints: 43500 2676.22/2685.13 c #Conflicts: 1113000 | #Constraints: 44500 2676.22/2685.13 c #Conflicts: 1114000 | #Constraints: 45500 2676.22/2685.13 c #Conflicts: 1115000 | #Constraints: 46500 2676.22/2685.13 c #Conflicts: 1116000 | #Constraints: 47500 2676.22/2685.13 c #Conflicts: 1117000 | #Constraints: 48500 2676.22/2685.13 c #Conflicts: 1118000 | #Constraints: 49500 2676.22/2685.13 c #Conflicts: 1119000 | #Constraints: 50500 2676.22/2685.13 c #Conflicts: 1120000 | #Constraints: 51500 2676.22/2685.13 c #Conflicts: 1121000 | #Constraints: 52500 2676.22/2685.13 c #Conflicts: 1122000 | #Constraints: 53500 2676.22/2685.13 c #Conflicts: 1123000 | #Constraints: 54500 2676.22/2685.13 c #Conflicts: 1124000 | #Constraints: 55500 2676.22/2685.13 c #Conflicts: 1125000 | #Constraints: 56500 2676.22/2685.13 c #Conflicts: 1126000 | #Constraints: 57500 2676.22/2685.13 c #Conflicts: 1127000 | #Constraints: 58500 2676.22/2685.13 c #Conflicts: 1128000 | #Constraints: 59500 2676.22/2685.13 c #Conflicts: 1129000 | #Constraints: 60500 2676.22/2685.13 c #Conflicts: 1130000 | #Constraints: 61500 2676.22/2685.13 c #Conflicts: 1131000 | #Constraints: 62500 2676.22/2685.13 c #Conflicts: 1132000 | #Constraints: 63500 2676.22/2685.13 c INPROCESSING 2676.22/2685.13 c GARBAGE COLLECT 2676.22/2685.13 c rational objective 80 3383.53/3394.74 c #Conflicts: 1133000 | #Constraints: 33204 3383.53/3394.74 c #Conflicts: 1134000 | #Constraints: 34204 3383.53/3394.74 c #Conflicts: 1135000 | #Constraints: 35204 3383.53/3394.74 c #Conflicts: 1136000 | #Constraints: 36204 3383.53/3394.74 c #Conflicts: 1137000 | #Constraints: 37204 3383.53/3394.74 c #Conflicts: 1138000 | #Constraints: 38204 3383.53/3394.74 c #Conflicts: 1139000 | #Constraints: 39204 3383.53/3394.74 c #Conflicts: 1140000 | #Constraints: 40204 3383.53/3394.74 c #Conflicts: 1141000 | #Constraints: 41204 3383.53/3394.74 c #Conflicts: 1142000 | #Constraints: 42204 3383.53/3394.74 c #Conflicts: 1143000 | #Constraints: 43204 3383.53/3394.74 c #Conflicts: 1144000 | #Constraints: 44204 3383.53/3394.74 c #Conflicts: 1145000 | #Constraints: 45204 3383.53/3394.74 c #Conflicts: 1146000 | #Constraints: 46204 3383.53/3394.74 c #Conflicts: 1147000 | #Constraints: 47204 3383.53/3394.74 c #Conflicts: 1148000 | #Constraints: 48204 3383.53/3394.74 c #Conflicts: 1149000 | #Constraints: 49204 3383.53/3394.74 c #Conflicts: 1150000 | #Constraints: 50204 3383.53/3394.74 c #Conflicts: 1151000 | #Constraints: 51204 3383.53/3394.74 c #Conflicts: 1152000 | #Constraints: 52204 3383.53/3394.74 c #Conflicts: 1153000 | #Constraints: 53204 3383.53/3394.74 c #Conflicts: 1154000 | #Constraints: 54204 3383.53/3394.74 c #Conflicts: 1155000 | #Constraints: 55204 3383.53/3394.74 c #Conflicts: 1156000 | #Constraints: 56204 3383.53/3394.74 c #Conflicts: 1157000 | #Constraints: 57204 3383.53/3394.74 c #Conflicts: 1158000 | #Constraints: 58204 3383.53/3394.74 c #Conflicts: 1159000 | #Constraints: 59204 3383.53/3394.74 c #Conflicts: 1160000 | #Constraints: 60204 3383.53/3394.74 c #Conflicts: 1161000 | #Constraints: 61204 3383.53/3394.74 c #Conflicts: 1162000 | #Constraints: 62204 3383.53/3394.74 c #Conflicts: 1163000 | #Constraints: 63204 3383.53/3394.74 c #Conflicts: 1164000 | #Constraints: 64204 3383.53/3394.74 c #Conflicts: 1165000 | #Constraints: 65204 3383.53/3394.74 c #Conflicts: 1166000 | #Constraints: 66204 3383.53/3394.74 c #Conflicts: 1167000 | #Constraints: 67204 3383.53/3394.74 c #Conflicts: 1168000 | #Constraints: 68204 3383.53/3394.74 c #Conflicts: 1169000 | #Constraints: 69204 3383.53/3394.74 c #Conflicts: 1170000 | #Constraints: 70204 3383.53/3394.74 c #Conflicts: 1171000 | #Constraints: 71204 3383.53/3394.74 c #Conflicts: 1172000 | #Constraints: 72204 3383.53/3394.74 c #Conflicts: 1173000 | #Constraints: 73204 3383.53/3394.74 c #Conflicts: 1174000 | #Constraints: 74204 3383.53/3394.74 c #Conflicts: 1175000 | #Constraints: 75204 3383.53/3394.74 c #Conflicts: 1176000 | #Constraints: 76204 3383.53/3394.74 c #Conflicts: 1177000 | #Constraints: 77204 3383.53/3394.74 c #Conflicts: 1178000 | #Constraints: 78204 3383.53/3394.74 c #Conflicts: 1179000 | #Constraints: 79204 3383.53/3394.74 c #Conflicts: 1180000 | #Constraints: 80204 3383.53/3394.74 c #Conflicts: 1181000 | #Constraints: 81204 3383.53/3394.74 c #Conflicts: 1182000 | #Constraints: 82204 3383.53/3394.74 c #Conflicts: 1183000 | #Constraints: 83204 3383.53/3394.74 c #Conflicts: 1184000 | #Constraints: 84204 3383.53/3394.74 c #Conflicts: 1185000 | #Constraints: 85204 3383.53/3394.74 c #Conflicts: 1186000 | #Constraints: 86204 3383.53/3394.74 c #Conflicts: 1187000 | #Constraints: 87204 3383.53/3394.74 c #Conflicts: 1188000 | #Constraints: 88204 3383.53/3394.74 c #Conflicts: 1189000 | #Constraints: 89204 3383.53/3394.74 c #Conflicts: 1190000 | #Constraints: 90204 3383.53/3394.74 c #Conflicts: 1191000 | #Constraints: 91204 3383.53/3394.74 c #Conflicts: 1192000 | #Constraints: 92204 3383.53/3394.74 c #Conflicts: 1193000 | #Constraints: 93204 3383.53/3394.74 c #Conflicts: 1194000 | #Constraints: 94204 3383.53/3394.74 c #Conflicts: 1195000 | #Constraints: 95204 3383.53/3394.74 c #Conflicts: 1196000 | #Constraints: 96204 3383.53/3394.74 c #Conflicts: 1197000 | #Constraints: 97204 3383.53/3394.74 c #Conflicts: 1198000 | #Constraints: 98204 3383.53/3394.74 c #Conflicts: 1199000 | #Constraints: 99204 3383.53/3394.74 c #Conflicts: 1200000 | #Constraints: 100204 3383.53/3394.74 c #Conflicts: 1201000 | #Constraints: 101204 3383.53/3394.74 c #Conflicts: 1202000 | #Constraints: 102204 3383.53/3394.74 c #Conflicts: 1203000 | #Constraints: 103204 3383.53/3394.74 c #Conflicts: 1204000 | #Constraints: 104204 3383.53/3394.74 c #Conflicts: 1205000 | #Constraints: 105204 3383.53/3394.74 c #Conflicts: 1206000 | #Constraints: 106204 3383.53/3394.74 c #Conflicts: 1207000 | #Constraints: 107204 3383.53/3394.74 c #Conflicts: 1208000 | #Constraints: 108204 3383.53/3394.74 c #Conflicts: 1209000 | #Constraints: 109204 3383.53/3394.74 c #Conflicts: 1210000 | #Constraints: 110204 3383.53/3394.74 c #Conflicts: 1211000 | #Constraints: 111204 3581.38/3593.23 c #Conflicts: 1212000 | #Constraints: 112204 3581.38/3593.23 c #Conflicts: 1213000 | #Constraints: 113204 3581.38/3593.23 c #Conflicts: 1214000 | #Constraints: 114204 3581.38/3593.23 c #Conflicts: 1215000 | #Constraints: 115204 3581.38/3593.23 c #Conflicts: 1216000 | #Constraints: 116204 3581.38/3593.23 c #Conflicts: 1217000 | #Constraints: 117204 3581.38/3593.23 c #Conflicts: 1218000 | #Constraints: 118204 3581.38/3593.23 c #Conflicts: 1219000 | #Constraints: 119204 3581.38/3593.23 c #Conflicts: 1220000 | #Constraints: 120204 3581.38/3593.23 c #Conflicts: 1221000 | #Constraints: 121204 3581.38/3593.23 c #Conflicts: 1222000 | #Constraints: 122204 3581.38/3593.23 c #Conflicts: 1223000 | #Constraints: 123204 3581.38/3593.23 c #Conflicts: 1224000 | #Constraints: 124204 3581.38/3593.23 c INPROCESSING 3581.38/3593.23 c GARBAGE COLLECT 3581.38/3593.23 c rational objective 80 3600.03/3611.90 c #Conflicts: 1225000 | #Constraints: 63614 3600.03/3611.90 c #Conflicts: 1226000 | #Constraints: 64614 3600.03/3611.90 c #Conflicts: 1227000 | #Constraints: 65614 3600.03/3611.90 c Program interrupted by user. 3600.03/3611.90 c cpu time 3573.09 s 3600.03/3611.90 c deterministic time 317324460443 3.17e+11 3600.03/3611.90 c optimization time 18.562 s 3600.03/3611.90 c total solve time 3554.53 s 3600.03/3611.90 c core-guided solve time 2240.05 s 3600.03/3611.90 c propagation time 3145.37 s 3600.03/3611.90 c conflict analysis time 394.284 s 3600.03/3611.90 c propagations 99379881 3600.03/3611.90 c resolve steps 8937630 3600.03/3611.90 c decisions 7170060 3600.03/3611.90 c conflicts 1227170 3600.03/3611.90 c restarts 2301 3600.03/3611.90 c inprocessing phases 77 3600.03/3611.90 c input clauses 644 3600.03/3611.90 c input cardinalities 194 3600.03/3611.90 c input general constraints 403 3600.03/3611.90 c input average constraint length 38.55 3600.03/3611.90 c input average constraint degree 12.09 3600.03/3611.90 c learned clauses 381274 3600.03/3611.90 c learned cardinalities 6035 3600.03/3611.90 c learned general constraints 858987 3600.03/3611.90 c learned average constraint length 101.44 3600.03/3611.90 c learned average constraint degree 1896503131.40 3600.03/3611.90 c watched constraints 737177 3600.03/3611.90 c counting constraints 122213 3600.03/3611.90 c gcd simplifications 96511 3600.03/3611.90 c detected cardinalities 300 3600.03/3611.90 c weakened non-implied lits 31360672 3600.03/3611.90 c weakened non-implying lits 234670 3600.03/3611.90 c original variables 441 3600.03/3611.90 c clausal propagations 10745702 3600.03/3611.90 c cardinality propagations 3176247 3600.03/3611.90 c watched propagations 17221272 3600.03/3611.90 c counting propagations 66863564 3600.03/3611.90 c watch lookups 58457663658 3600.03/3611.90 c watch backjump lookups 47796649013 3600.03/3611.90 c watch checks 194728443022 3600.03/3611.90 c propagation checks 15532022721 3600.03/3611.90 c constraint additions 594113284 3600.03/3611.90 c trail pops 107757739 3600.03/3611.90 c formula constraints 441 3600.03/3611.90 c learned constraints 1208046 3600.03/3611.90 c bound constraints 115 3600.03/3611.90 c core-guided constraints 685 3600.03/3611.90 c encountered formula constraints 1024473 3600.03/3611.90 c encountered learned constraints 6069944 3600.03/3611.90 c encountered bound constraints 233 3600.03/3611.90 c encountered core-guided constraints 943005 3600.03/3611.90 c LP total time 50.4271 s 3600.03/3611.90 c LP solve time 44.21 s 3600.03/3611.90 c LP constraints added 441 3600.03/3611.90 c LP constraints removed 0 3600.03/3611.90 c LP pivots internal 1227274 3600.03/3611.90 c LP pivots root 33790 3600.03/3611.90 c LP calls 20956 3600.03/3611.90 c LP optimalities 1829 3600.03/3611.90 c LP no pivot count 287 3600.03/3611.90 c LP infeasibilities 19125 3600.03/3611.90 c LP valid Farkas constraints 19125 3600.03/3611.90 c LP learned Farkas constraints 19125 3600.03/3611.90 c LP basis resets 0 3600.03/3611.90 c LP cycling count 0 3600.03/3611.90 c LP singular count 0 3600.03/3611.90 c LP no primal count 0 3600.03/3611.90 c LP no farkas count 0 3600.03/3611.90 c LP other issue count 0 3600.03/3611.90 c LP Gomory cuts 0 3600.03/3611.90 c LP learned cuts 0 3600.03/3611.90 c LP deleted cuts 0 3600.03/3611.90 c LP encountered Gomory constraints 0 3600.03/3611.90 c LP encountered Farkas constraints 1712197 3600.03/3611.90 c LP encountered learned Farkas constraints 395823 3600.03/3611.90 c CG auxiliary variables introduced 255 3600.03/3611.90 c CG solutions found 35 3600.03/3611.90 c CG cores constructed 80 3600.03/3611.90 c CG core cardinality constraints returned 0 3600.03/3611.90 c CG unit cores 0 3600.03/3611.90 c CG single cores 80 3600.03/3611.90 c CG blocks removed during cardinality reduction 0 3600.03/3611.90 c CG first core best 0 3600.03/3611.90 c CG decision core best 0 3600.03/3611.90 c CG core reduction tie 0 3600.03/3611.90 c CG core degree average 1.00 3600.03/3611.90 c CG core slack average 5.70 3600.03/3611.90 s SATISFIABLE 3600.03/3611.90 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 -x29
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (26669 MiB free)
memory of node 1: 64510 MiB (32282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460363-1722068480/watcher-4460363-1722068480 -o /tmp/evaluation-result-4460363-1722068480/solver-4460363-1722068480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317572 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460363-1722068480 --lp-cut-gomory=0 HOME/instance-4460363-1722068480.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=319696, runsolver pid=319693
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.11 4.12 4.05 2/250 319697
/proc/meminfo: memFree=62311744/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=37376 memory=2592 CPUtime=0 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 43370922 38273024 648 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.205209 s]*
/proc/loadavg: 4.11 4.12 4.05 2/250 319697
/proc/meminfo: memFree=64288324/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=37376 memory=2592 CPUtime=0 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 43370922 38273024 648 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.304196 s]*
/proc/loadavg: 4.11 4.12 4.05 2/250 319697
/proc/meminfo: memFree=66252696/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=37376 memory=2592 CPUtime=0 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 43370922 38273024 648 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+0.70024 s]
/proc/loadavg: 4.11 4.12 4.05 2/250 319697
/proc/meminfo: memFree=70173884/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=37376 memory=2592 CPUtime=0 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 1078198272 217 0 0 0 0 0 0 0 20 0 1 0 43370922 38273024 648 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 9344 648 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2592 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.12 4.05 3/250 319697
/proc/meminfo: memFree=82655328/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=40708 memory=12972 CPUtime=0.25 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 1109 0 0 0 22 3 0 0 20 0 1 0 43370922 41684992 3243 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 10177 3243 1854 992 0 2035 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 40708 KiB
Current children cumulated memory: 12972 KiB
[startup+3.10504 s]
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113937904/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=44860 memory=19132 CPUtime=1.85 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 2111 0 0 0 172 13 0 0 20 0 1 0 43370922 45936640 4783 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 11215 4783 1854 992 0 3073 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 44860 KiB
Current children cumulated memory: 19132 KiB
heavy processes:
[startup+6.30019 s]
/proc/loadavg: 4.10 4.12 4.05 4/262 319739
/proc/meminfo: memFree=113611968/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=50608 memory=22012 CPUtime=5.04 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 2912 0 0 0 475 29 0 0 20 0 1 0 43370922 51822592 5503 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 12652 5503 1854 992 0 4510 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 50608 KiB
Current children cumulated memory: 22012 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.06 4/262 319740
/proc/meminfo: memFree=113509540/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=54016 memory=26496 CPUtime=11.42 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 4032 0 0 0 1088 54 0 0 20 0 1 0 43370922 55312384 6624 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 13504 6624 1854 992 0 5362 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 54016 KiB
Current children cumulated memory: 26496 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.06 5/263 319788
/proc/meminfo: memFree=126287140/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=61316 memory=31596 CPUtime=24.18 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 5094 0 0 0 2318 100 0 0 20 0 1 0 43370922 62787584 7899 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 15329 7899 1854 992 0 7187 0
Current children cumulated CPU time: 24.18 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 31596 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.13 4.06 5/263 319792
/proc/meminfo: memFree=125928848/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=68120 memory=40176 CPUtime=49.72 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 6623 0 0 0 4794 178 0 0 20 0 1 0 43370922 69754880 10044 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 17030 10044 1854 992 0 8888 0
Current children cumulated CPU time: 49.72 s
Current children cumulated vsize: 68120 KiB
Current children cumulated memory: 40176 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.19 4.08 5/262 319803
/proc/meminfo: memFree=123997328/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=82064 memory=49396 CPUtime=100.8 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 8601 0 0 0 9772 308 0 0 20 0 1 0 43370922 84033536 12349 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 20516 12349 1854 992 0 12374 0
Current children cumulated CPU time: 100.8 s
Current children cumulated vsize: 82064 KiB
Current children cumulated memory: 49396 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.19 4.09 5/261 319816
/proc/meminfo: memFree=121525496/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=87992 memory=56424 CPUtime=160.66 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 10283 0 0 0 15628 438 0 0 20 0 1 0 43370922 90103808 14106 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 21998 14106 1854 992 0 13856 0
Current children cumulated CPU time: 160.66 s
Current children cumulated vsize: 87992 KiB
Current children cumulated memory: 56424 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.19 4.09 5/261 319826
/proc/meminfo: memFree=120856992/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=92472 memory=61096 CPUtime=220.51 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 11954 0 0 0 21504 547 0 0 20 0 1 0 43370922 94691328 15274 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 23118 15274 1854 992 0 14976 0
Current children cumulated CPU time: 220.51 s
Current children cumulated vsize: 92472 KiB
Current children cumulated memory: 61096 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/261 320221
/proc/meminfo: memFree=117925356/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=144188 memory=108996 CPUtime=280.36 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 17927 0 0 0 27407 629 0 0 20 0 1 0 43370922 147648512 27249 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 36047 27249 1854 992 0 27905 0
Current children cumulated CPU time: 280.36 s
Current children cumulated vsize: 144188 KiB
Current children cumulated memory: 108996 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/261 320233
/proc/meminfo: memFree=116127968/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=186456 memory=131592 CPUtime=340.2 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 21069 0 0 0 33336 684 0 0 20 0 1 0 43370922 190930944 32898 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 46614 32898 1854 992 0 38472 0
Current children cumulated CPU time: 340.2 s
Current children cumulated vsize: 186456 KiB
Current children cumulated memory: 131592 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/261 320244
/proc/meminfo: memFree=115889224/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=188184 memory=132808 CPUtime=400.05 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 21645 0 0 0 39251 754 0 0 20 0 1 0 43370922 192700416 33202 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 47046 33202 1854 992 0 38904 0
Current children cumulated CPU time: 400.05 s
Current children cumulated vsize: 188184 KiB
Current children cumulated memory: 132808 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/263 320425
/proc/meminfo: memFree=114099944/131524600 swapFree=131061428/131071996
[pid=319696] ppid=319693 vsize=197024 memory=139616 CPUtime=459.88 cores=5,7
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/260 321580
/proc/meminfo: memFree=55916980/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=345936 memory=268732 CPUtime=3151.87 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 46721 0 0 0 312615 2572 0 0 20 0 1 0 43370922 354238464 67183 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 86484 67183 1854 992 0 78342 0
Current children cumulated CPU time: 3151.87 s
Current children cumulated vsize: 345936 KiB
Current children cumulated memory: 268732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/260 321591
/proc/meminfo: memFree=54820024/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=348240 memory=270524 CPUtime=3211.67 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 47167 0 0 0 318579 2588 0 0 20 0 1 0 43370922 356597760 67631 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 87060 67631 1854 992 0 78918 0
Current children cumulated CPU time: 3211.67 s
Current children cumulated vsize: 348240 KiB
Current children cumulated memory: 270524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/260 321601
/proc/meminfo: memFree=53487812/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=351312 memory=272580 CPUtime=3271.48 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 47700 0 0 0 324544 2604 0 0 20 0 1 0 43370922 359743488 68145 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 87828 68145 1854 992 0 79686 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 351312 KiB
Current children cumulated memory: 272580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.12 5/260 321613
/proc/meminfo: memFree=52744996/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=352592 memory=273844 CPUtime=3331.29 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 48013 0 0 0 330506 2623 0 0 20 0 1 0 43370922 361054208 68461 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 88148 68461 1854 992 0 80006 0
Current children cumulated CPU time: 3331.29 s
Current children cumulated vsize: 352592 KiB
Current children cumulated memory: 273844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.21 4.14 5/261 321627
/proc/meminfo: memFree=51592492/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=355664 memory=275900 CPUtime=3391.1 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 48569 0 0 0 336470 2640 0 0 20 0 1 0 43370922 364199936 68975 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 88916 68975 1854 992 0 80774 0
Current children cumulated CPU time: 3391.1 s
Current children cumulated vsize: 355664 KiB
Current children cumulated memory: 275900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.20 4.14 5/261 321637
/proc/meminfo: memFree=50389900/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=357712 memory=277428 CPUtime=3450.91 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 48974 0 0 0 342435 2656 0 0 20 0 1 0 43370922 366297088 69357 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89428 69357 1854 992 0 81286 0
Current children cumulated CPU time: 3450.91 s
Current children cumulated vsize: 357712 KiB
Current children cumulated memory: 277428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/264 321650
/proc/meminfo: memFree=49582448/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=358224 memory=278428 CPUtime=3510.71 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 49205 0 0 0 348400 2671 0 0 20 0 1 0 43370922 366821376 69607 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89556 69607 1854 992 0 81414 0
Current children cumulated CPU time: 3510.71 s
Current children cumulated vsize: 358224 KiB
Current children cumulated memory: 278428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/264 321663
/proc/meminfo: memFree=49022000/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=358992 memory=279164 CPUtime=3570.51 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 49448 0 0 0 354366 2685 0 0 20 0 1 0 43370922 367607808 69791 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89748 69791 1854 992 0 81606 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 358992 KiB
Current children cumulated memory: 279164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 321666
/proc/meminfo: memFree=48308456/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) R 319693 319696 317555 0 -1 4194304 49995 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 279916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.09 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48262336/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 4194304 50003 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 256 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
??? kill 319696 sig 9
??? end of watcher thread
[startup+3616.78 s]
# the end of solver process 319696 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.09 s, system=26.952 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48294976/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 4194304 50003 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 279916 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48275752/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 4194304 50003 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 279916 KiB
[startup+3613.8 s]
/proc/loadavg: 4.10 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48275752/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 4194304 50003 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 279916 KiB
[startup+3613.9 s]
/proc/loadavg: 4.10 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48275752/131524600 swapFree=131060148/131071996
[pid=319696] ppid=319693 vsize=359476 memory=279916 CPUtime=3600.03 cores=5,7
/proc/319696/stat : 319696 (roundingsat) D 319693 319696 317555 0 -1 4194304 50003 0 0 0 357309 2694 0 0 20 0 1 0 43370922 368103424 69979 134679101440 4194304 8254357 140736824270592 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 34938880 140736824279899 140736824280161 140736824280161 140736824287177 0
/proc/319696/statm: 89869 69979 1854 992 0 81727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 359476 KiB
Current children cumulated memory: 279916 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.78
CPU time (s): 3600.04
CPU user time (s): 3573.09
CPU system time (s): 26.952
CPU usage (%): 99.5372
Max. virtual memory (cumulated for all children) (KiB): 361240
Max. memory (cumulated for all children) (KiB): 281512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.09
system time used= 26.952
maximum resident set size= 281512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8986872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 4863
# summary of solver processes directly reported to runsolver:
# pid: 319696
# total CPU time (s): 3600.04
# total CPU user time (s): 3573.09
# total CPU system time (s): 26.952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86127 second user time and 17.3417 second system time
The end
Begin job on nodeC022 at 2024-07-27 10:21:20 IDJOB=4460363 IDBENCH=155338 IDSOLVER=3086 FILE ID=nodeC022/4460363-1722068480 RUNJOBID= nodeC022-1722064836-317572 SLURM_JOB_ID= 8248091 Free space on /tmp= 890064 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-4460363-1722068480/watcher-4460363-1722068480 -o /tmp/evaluation-result-4460363-1722068480/solver-4460363-1722068480 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317572 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460363-1722068480 --lp-cut-gomory=0 HOME/instance-4460363-1722068480.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=1994572972 nodeC022.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 : 3606.580 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.87 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 : 2527.048 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 : 7006.75 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 : 3628.489 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.87 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.366 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 : 7006.75 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 : 3686.842 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.87 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 : 3547.753 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 : 7006.75 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 : 3671.874 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.87 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 : 3435.621 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 : 7006.75 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 59996524 kB MemAvailable: 126480920 kB Buffers: 378428 kB Cached: 66829700 kB SwapCached: 1424 kB Active: 2713840 kB Inactive: 67978172 kB Active(anon): 1884 kB Inactive(anon): 3536100 kB Active(file): 2711956 kB Inactive(file): 64442072 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061428 kB Dirty: 6004 kB Writeback: 314244 kB AnonPages: 3480828 kB Mapped: 120360 kB Shmem: 53732 kB KReclaimable: 343476 kB Slab: 476912 kB SReclaimable: 343476 kB SUnreclaim: 133436 kB KernelStack: 4016 kB PageTables: 16376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4489080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 1724416 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: 334548 kB DirectMap2M: 36139008 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890024 MiB End job on nodeC022 at 2024-07-27 11:21:37