| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.11 | 3614.26 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | b1303fc064b9de7d315268cbf770fb1d |
| 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 | 181 |
| 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 | 470 |
| Total number of constraints | 470 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 470 #constraints 470 0.50/0.55 c bounds - >= 0 @ 0.009413 0.50/0.55 c bounds 224 >= 0 @ 0.405071 0.50/0.55 c bounds 224 >= 1 @ 0.405071 0.50/0.55 c bounds 224 >= 2 @ 0.405364 0.50/0.55 c bounds 224 >= 3 @ 0.405762 0.50/0.55 c bounds 224 >= 4 @ 0.406197 0.50/0.55 c bounds 224 >= 5 @ 0.406605 0.50/0.55 c bounds 224 >= 6 @ 0.40703 0.50/0.55 c bounds 224 >= 7 @ 0.407462 0.50/0.55 c bounds 224 >= 8 @ 0.407903 0.50/0.55 c bounds 224 >= 9 @ 0.408334 0.50/0.55 c bounds 224 >= 10 @ 0.408764 0.50/0.55 c bounds 224 >= 11 @ 0.409206 0.50/0.55 c bounds 224 >= 12 @ 0.409659 0.50/0.55 c bounds 224 >= 13 @ 0.410111 0.50/0.55 c bounds 224 >= 14 @ 0.410583 0.50/0.55 c bounds 224 >= 15 @ 0.411068 0.50/0.55 c bounds 224 >= 16 @ 0.411562 0.50/0.55 c bounds 224 >= 17 @ 0.412039 0.50/0.55 c bounds 224 >= 18 @ 0.412533 0.50/0.55 c bounds 224 >= 19 @ 0.413028 0.50/0.55 c bounds 224 >= 20 @ 0.41354 0.50/0.55 c bounds 224 >= 21 @ 0.414049 0.50/0.55 c bounds 224 >= 22 @ 0.414563 0.50/0.55 c bounds 224 >= 23 @ 0.41508 0.50/0.55 c bounds 224 >= 24 @ 0.415602 0.50/0.55 c bounds 224 >= 25 @ 0.416116 0.50/0.55 c bounds 224 >= 26 @ 0.416651 0.50/0.55 c bounds 223 >= 26 @ 0.433416 0.50/0.55 c bounds 223 >= 27 @ 0.433981 0.50/0.55 c bounds 223 >= 28 @ 0.434519 0.50/0.55 c bounds 223 >= 29 @ 0.435071 0.50/0.55 c bounds 223 >= 30 @ 0.43562 0.50/0.55 c bounds 223 >= 31 @ 0.436182 0.50/0.55 c bounds 223 >= 32 @ 0.436748 0.50/0.55 c bounds 223 >= 33 @ 0.436927 0.50/0.55 c bounds 223 >= 34 @ 0.436927 0.50/0.55 c bounds 223 >= 35 @ 0.436927 0.50/0.55 c bounds 223 >= 36 @ 0.436927 0.50/0.55 c bounds 223 >= 37 @ 0.436927 0.50/0.55 c bounds 223 >= 38 @ 0.437236 0.50/0.55 c bounds 223 >= 39 @ 0.437788 0.50/0.55 c bounds 223 >= 40 @ 0.438355 0.50/0.55 c bounds 223 >= 41 @ 0.439019 0.50/0.55 c bounds 223 >= 42 @ 0.43998 0.50/0.55 c bounds 223 >= 43 @ 0.440603 0.50/0.55 c bounds 223 >= 44 @ 0.441212 0.50/0.55 c bounds 223 >= 45 @ 0.441826 0.50/0.55 c bounds 223 >= 46 @ 0.442418 0.50/0.55 c bounds 223 >= 47 @ 0.442693 0.50/0.55 c bounds 223 >= 48 @ 0.442693 0.50/0.55 c bounds 223 >= 49 @ 0.443164 0.50/0.55 c bounds 223 >= 50 @ 0.44374 0.50/0.55 c bounds 223 >= 51 @ 0.444328 0.50/0.55 c bounds 223 >= 52 @ 0.444919 0.50/0.55 c bounds 223 >= 53 @ 0.445507 0.50/0.55 c bounds 223 >= 54 @ 0.44609 0.50/0.55 c bounds 223 >= 55 @ 0.446674 0.50/0.55 c bounds 223 >= 56 @ 0.44725 0.50/0.55 c bounds 223 >= 57 @ 0.447829 0.50/0.55 c bounds 223 >= 58 @ 0.447871 0.50/0.55 c bounds 223 >= 59 @ 0.448045 0.50/0.55 c bounds 223 >= 60 @ 0.448605 0.50/0.55 c bounds 223 >= 61 @ 0.449223 0.50/0.55 c bounds 223 >= 62 @ 0.449884 0.50/0.55 c bounds 223 >= 63 @ 0.450536 0.50/0.55 c bounds 223 >= 64 @ 0.451157 0.50/0.55 c bounds 223 >= 65 @ 0.451802 0.50/0.55 c bounds 223 >= 66 @ 0.452445 0.50/0.55 c bounds 223 >= 67 @ 0.453073 0.50/0.55 c bounds 223 >= 68 @ 0.453694 0.50/0.55 c bounds 223 >= 69 @ 0.453841 0.50/0.55 c bounds 223 >= 70 @ 0.454025 0.50/0.55 c bounds 223 >= 71 @ 0.454635 0.50/0.55 c bounds 223 >= 72 @ 0.454834 0.50/0.55 c bounds 223 >= 73 @ 0.454977 0.50/0.55 c bounds 223 >= 74 @ 0.455585 0.50/0.55 c bounds 223 >= 75 @ 0.455828 0.50/0.55 c bounds 223 >= 76 @ 0.455856 0.50/0.55 c bounds 223 >= 77 @ 0.456497 0.50/0.55 c bounds 223 >= 78 @ 0.457126 0.50/0.55 c bounds 223 >= 79 @ 0.457779 0.50/0.55 c bounds 223 >= 80 @ 0.457817 0.50/0.55 c bounds 223 >= 81 @ 0.458086 0.50/0.55 c bounds 223 >= 82 @ 0.458657 0.50/0.55 c bounds 223 >= 83 @ 0.459269 0.50/0.55 c bounds 223 >= 84 @ 0.459892 0.50/0.55 c bounds 223 >= 85 @ 0.460516 0.50/0.55 c bounds 223 >= 86 @ 0.461167 0.50/0.55 c bounds 223 >= 87 @ 0.461802 0.50/0.55 c bounds 223 >= 88 @ 0.462427 0.50/0.55 c bounds 223 >= 89 @ 0.463055 0.50/0.55 c bounds 223 >= 90 @ 0.463682 0.50/0.55 c bounds 223 >= 91 @ 0.463786 0.50/0.55 c bounds 223 >= 92 @ 0.464031 0.50/0.55 c bounds 223 >= 93 @ 0.464629 0.50/0.55 c bounds 223 >= 94 @ 0.465236 0.50/0.55 c bounds 223 >= 95 @ 0.465546 0.50/0.55 c bounds 223 >= 96 @ 0.465546 0.50/0.55 c bounds 223 >= 97 @ 0.466152 0.50/0.55 c bounds 223 >= 98 @ 0.466784 0.50/0.55 c bounds 223 >= 99 @ 0.46744 0.50/0.55 c bounds 223 >= 100 @ 0.46806 0.50/0.55 c bounds 223 >= 101 @ 0.468691 0.50/0.55 c bounds 223 >= 102 @ 0.468754 0.50/0.55 c bounds 223 >= 103 @ 0.468967 0.50/0.55 c bounds 223 >= 104 @ 0.469544 0.50/0.55 c bounds 223 >= 105 @ 0.469747 0.50/0.55 c bounds 223 >= 106 @ 0.469775 0.50/0.55 c bounds 223 >= 107 @ 0.470392 0.50/0.55 c bounds 223 >= 108 @ 0.471018 0.50/0.55 c bounds 222 >= 108 @ 0.475712 0.50/0.55 c bounds 222 >= 109 @ 0.476089 0.50/0.55 c bounds 222 >= 110 @ 0.476773 0.50/0.55 c bounds 222 >= 111 @ 0.477458 0.50/0.55 c bounds 222 >= 112 @ 0.4777 0.50/0.55 c bounds 222 >= 113 @ 0.477861 0.50/0.55 c bounds 222 >= 114 @ 0.478464 0.50/0.55 c bounds 222 >= 115 @ 0.478696 0.50/0.55 c bounds 222 >= 116 @ 0.478847 0.50/0.55 c bounds 222 >= 117 @ 0.479459 0.50/0.55 c bounds 222 >= 118 @ 0.480123 0.50/0.55 c bounds 222 >= 119 @ 0.480785 0.50/0.55 c bounds 222 >= 120 @ 0.481472 0.50/0.55 c bounds 222 >= 121 @ 0.481678 0.50/0.55 c bounds 222 >= 122 @ 0.482003 0.50/0.55 c bounds 222 >= 123 @ 0.482671 0.50/0.55 c bounds 222 >= 124 @ 0.482671 0.50/0.55 c bounds 222 >= 125 @ 0.482671 0.50/0.55 c bounds 222 >= 126 @ 0.483018 0.50/0.55 c bounds 222 >= 127 @ 0.483832 0.50/0.55 c bounds 222 >= 128 @ 0.484629 0.50/0.55 c bounds 222 >= 129 @ 0.484658 0.50/0.55 c bounds 222 >= 130 @ 0.485257 0.50/0.55 c bounds 222 >= 131 @ 0.486122 0.50/0.55 c bounds 222 >= 132 @ 0.486626 0.50/0.55 c bounds 222 >= 133 @ 0.486965 1.57/1.67 c bounds 221 >= 133 @ 0.489183 1.57/1.67 c bounds 221 >= 134 @ 0.489612 1.57/1.67 c bounds 221 >= 135 @ 0.49036 1.57/1.67 c bounds 221 >= 136 @ 0.490809 1.57/1.67 c bounds 221 >= 137 @ 0.492648 1.57/1.67 c bounds 220 >= 137 @ 0.497994 1.57/1.67 c bounds 220 >= 138 @ 0.499814 1.57/1.67 c bounds 220 >= 139 @ 0.50181 1.57/1.67 c bounds 220 >= 140 @ 0.512811 1.57/1.67 c bounds 219 >= 140 @ 0.51349 1.57/1.67 c #Conflicts: 1000 | #Constraints: 2114 1.57/1.67 c bounds 218 >= 140 @ 0.836402 1.57/1.67 c bounds 218 >= 141 @ 0.854165 1.57/1.67 c bounds 218 >= 142 @ 0.936816 1.57/1.67 c #Conflicts: 2000 | #Constraints: 3205 1.57/1.67 c INPROCESSING 1.57/1.67 c GARBAGE COLLECT 1.57/1.67 c rational objective 142 2.37/2.46 c bounds 217 >= 142 @ 1.58829 2.37/2.46 c bounds 216 >= 142 @ 1.59355 2.37/2.46 c bounds 215 >= 142 @ 1.59773 2.37/2.46 c #Conflicts: 3000 | #Constraints: 3114 2.37/2.46 c bounds 214 >= 142 @ 1.82759 2.37/2.46 c bounds 214 >= 143 @ 1.83843 2.37/2.46 c #Conflicts: 4000 | #Constraints: 4169 2.37/2.46 c INPROCESSING 2.37/2.46 c GARBAGE COLLECT 2.37/2.46 c rational objective 143 3.37/3.45 c bounds 213 >= 143 @ 2.31098 3.37/3.45 c #Conflicts: 5000 | #Constraints: 3600 3.37/3.45 c bounds 212 >= 143 @ 2.4639 3.37/3.45 c bounds 211 >= 143 @ 2.64196 3.37/3.45 c #Conflicts: 6000 | #Constraints: 4602 3.37/3.45 c bounds 211 >= 144 @ 3.02331 3.37/3.45 c INPROCESSING 3.37/3.45 c GARBAGE COLLECT 3.37/3.45 c rational objective 144 4.27/4.32 c #Conflicts: 7000 | #Constraints: 3611 4.27/4.32 c #Conflicts: 8000 | #Constraints: 4611 4.27/4.32 c bounds 210 >= 144 @ 3.67102 4.27/4.32 c #Conflicts: 9000 | #Constraints: 5612 4.27/4.32 c INPROCESSING 4.27/4.32 c GARBAGE COLLECT 4.27/4.32 c rational objective 144 5.16/5.26 c #Conflicts: 10000 | #Constraints: 4345 5.16/5.26 c #Conflicts: 11000 | #Constraints: 5345 5.16/5.26 c bounds 210 >= 145 @ 4.78801 5.16/5.26 c bounds 209 >= 145 @ 4.79782 5.16/5.26 c bounds 208 >= 145 @ 4.80216 5.16/5.26 c #Conflicts: 12000 | #Constraints: 6389 5.16/5.26 c INPROCESSING 5.16/5.26 c GARBAGE COLLECT 5.16/5.26 c rational objective 145 6.16/6.24 c bounds 207 >= 145 @ 5.12162 6.16/6.24 c bounds 206 >= 145 @ 5.21197 6.16/6.24 c #Conflicts: 13000 | #Constraints: 4811 6.16/6.24 c #Conflicts: 14000 | #Constraints: 5811 6.16/6.24 c bounds 205 >= 145 @ 5.66497 6.16/6.24 c #Conflicts: 15000 | #Constraints: 6812 6.16/6.24 c INPROCESSING 6.16/6.24 c GARBAGE COLLECT 6.16/6.24 c rational objective 145 7.45/7.59 c #Conflicts: 16000 | #Constraints: 5021 7.45/7.59 c #Conflicts: 17000 | #Constraints: 6021 7.45/7.59 c #Conflicts: 18000 | #Constraints: 7021 7.45/7.59 c INPROCESSING 7.45/7.59 c GARBAGE COLLECT 7.45/7.59 c rational objective 145 9.06/9.17 c #Conflicts: 19000 | #Constraints: 5035 9.06/9.17 c #Conflicts: 20000 | #Constraints: 6035 9.06/9.17 c #Conflicts: 21000 | #Constraints: 7035 9.06/9.17 c INPROCESSING 9.06/9.17 c GARBAGE COLLECT 9.06/9.17 c rational objective 145 10.96/11.06 c #Conflicts: 22000 | #Constraints: 4899 10.96/11.06 c #Conflicts: 23000 | #Constraints: 5899 10.96/11.06 c #Conflicts: 24000 | #Constraints: 6899 10.96/11.06 c #Conflicts: 25000 | #Constraints: 7899 10.96/11.06 c INPROCESSING 10.96/11.06 c GARBAGE COLLECT 10.96/11.06 c rational objective 145 12.53/12.63 c #Conflicts: 26000 | #Constraints: 5542 12.53/12.63 c #Conflicts: 27000 | #Constraints: 6542 12.53/12.63 c #Conflicts: 28000 | #Constraints: 7542 12.53/12.63 c #Conflicts: 29000 | #Constraints: 8542 12.53/12.63 c INPROCESSING 12.53/12.63 c GARBAGE COLLECT 12.53/12.63 c rational objective 145 14.63/14.73 c #Conflicts: 30000 | #Constraints: 5889 14.63/14.73 c bounds 204 >= 145 @ 12.6233 14.63/14.73 c #Conflicts: 31000 | #Constraints: 6890 14.63/14.73 c #Conflicts: 32000 | #Constraints: 7890 14.63/14.73 c #Conflicts: 33000 | #Constraints: 8890 14.63/14.73 c INPROCESSING 14.63/14.73 c GARBAGE COLLECT 14.63/14.73 c rational objective 145 29.59/29.73 c #Conflicts: 34000 | #Constraints: 6113 29.59/29.73 c #Conflicts: 35000 | #Constraints: 7113 29.59/29.73 c #Conflicts: 36000 | #Constraints: 8113 29.59/29.73 c #Conflicts: 37000 | #Constraints: 9113 29.59/29.73 c #Conflicts: 38000 | #Constraints: 10113 29.59/29.73 c #Conflicts: 39000 | #Constraints: 11113 29.59/29.73 c #Conflicts: 40000 | #Constraints: 12113 29.59/29.73 c #Conflicts: 41000 | #Constraints: 13113 29.59/29.73 c #Conflicts: 42000 | #Constraints: 14113 29.59/29.73 c #Conflicts: 43000 | #Constraints: 15113 29.59/29.73 c #Conflicts: 44000 | #Constraints: 16113 29.59/29.73 c #Conflicts: 45000 | #Constraints: 17113 29.59/29.73 c #Conflicts: 46000 | #Constraints: 18113 29.59/29.73 c #Conflicts: 47000 | #Constraints: 19113 29.59/29.73 c #Conflicts: 48000 | #Constraints: 20113 29.59/29.73 c INPROCESSING 29.59/29.73 c GARBAGE COLLECT 29.59/29.73 c rational objective 145 39.24/39.43 c #Conflicts: 49000 | #Constraints: 11682 39.24/39.43 c #Conflicts: 50000 | #Constraints: 12682 39.24/39.43 c #Conflicts: 51000 | #Constraints: 13682 39.24/39.43 c #Conflicts: 52000 | #Constraints: 14682 39.24/39.43 c #Conflicts: 53000 | #Constraints: 15682 39.24/39.43 c INPROCESSING 39.24/39.43 c GARBAGE COLLECT 39.24/39.43 c rational objective 145 43.84/44.05 c #Conflicts: 54000 | #Constraints: 9387 43.84/44.05 c bounds 204 >= 146 @ 39.1454 43.84/44.05 c #Conflicts: 55000 | #Constraints: 10438 43.84/44.05 c #Conflicts: 56000 | #Constraints: 11438 43.84/44.05 c #Conflicts: 57000 | #Constraints: 12438 43.84/44.05 c #Conflicts: 58000 | #Constraints: 13438 43.84/44.05 c INPROCESSING 43.84/44.05 c GARBAGE COLLECT 43.84/44.05 c rational objective 146 48.31/48.54 c #Conflicts: 59000 | #Constraints: 8032 48.31/48.54 c #Conflicts: 60000 | #Constraints: 9032 48.31/48.54 c #Conflicts: 61000 | #Constraints: 10032 48.31/48.54 c #Conflicts: 62000 | #Constraints: 11032 48.31/48.54 c #Conflicts: 63000 | #Constraints: 12032 48.31/48.54 c #Conflicts: 64000 | #Constraints: 13032 48.31/48.54 c INPROCESSING 48.31/48.54 c GARBAGE COLLECT 48.31/48.54 c rational objective 146 73.91/74.27 c #Conflicts: 65000 | #Constraints: 7986 73.91/74.27 c #Conflicts: 66000 | #Constraints: 8986 73.91/74.27 c #Conflicts: 67000 | #Constraints: 9986 73.91/74.27 c #Conflicts: 68000 | #Constraints: 10986 73.91/74.27 c #Conflicts: 69000 | #Constraints: 11986 73.91/74.27 c #Conflicts: 70000 | #Constraints: 12986 73.91/74.27 c #Conflicts: 71000 | #Constraints: 13986 73.91/74.27 c #Conflicts: 72000 | #Constraints: 14986 73.91/74.27 c #Conflicts: 73000 | #Constraints: 15986 73.91/74.27 c #Conflicts: 74000 | #Constraints: 16986 73.91/74.27 c #Conflicts: 75000 | #Constraints: 17986 73.91/74.27 c #Conflicts: 76000 | #Constraints: 18986 73.91/74.27 c #Conflicts: 77000 | #Constraints: 19986 73.91/74.27 c #Conflicts: 78000 | #Constraints: 20986 73.91/74.27 c #Conflicts: 79000 | #Constraints: 21986 73.91/74.27 c #Conflicts: 80000 | #Constraints: 22986 73.91/74.27 c #Conflicts: 81000 | #Constraints: 23986 73.91/74.27 c #Conflicts: 82000 | #Constraints: 24986 73.91/74.27 c bounds 204 >= 147 @ 71.1436 73.91/74.27 c #Conflicts: 83000 | #Constraints: 26040 73.91/74.27 c bounds 203 >= 147 @ 71.4214 73.91/74.27 c #Conflicts: 84000 | #Constraints: 27041 73.91/74.27 c INPROCESSING 73.91/74.27 c GARBAGE COLLECT 73.91/74.27 c rational objective 147 80.20/80.52 c #Conflicts: 85000 | #Constraints: 14797 80.20/80.52 c #Conflicts: 86000 | #Constraints: 15797 80.20/80.52 c #Conflicts: 87000 | #Constraints: 16797 80.20/80.52 c #Conflicts: 88000 | #Constraints: 17797 80.20/80.52 c #Conflicts: 89000 | #Constraints: 18797 80.20/80.52 c #Conflicts: 90000 | #Constraints: 19797 80.20/80.52 c #Conflicts: 91000 | #Constraints: 20797 80.20/80.52 c INPROCESSING 80.20/80.52 c GARBAGE COLLECT 80.20/80.52 c rational objective 147 85.49/85.86 c #Conflicts: 92000 | #Constraints: 11680 85.49/85.86 c #Conflicts: 93000 | #Constraints: 12680 85.49/85.86 c #Conflicts: 94000 | #Constraints: 13680 85.49/85.86 c #Conflicts: 95000 | #Constraints: 14680 85.49/85.86 c #Conflicts: 96000 | #Constraints: 15680 85.49/85.86 c #Conflicts: 97000 | #Constraints: 16680 85.49/85.86 c #Conflicts: 98000 | #Constraints: 17680 85.49/85.86 c #Conflicts: 99000 | #Constraints: 18680 85.49/85.86 c INPROCESSING 85.49/85.86 c GARBAGE COLLECT 85.49/85.86 c rational objective 147 93.86/94.27 c #Conflicts: 100000 | #Constraints: 11023 93.86/94.27 c #Conflicts: 101000 | #Constraints: 12023 93.86/94.27 c #Conflicts: 102000 | #Constraints: 13023 93.86/94.27 c #Conflicts: 103000 | #Constraints: 14023 93.86/94.27 c bounds 202 >= 147 @ 86.7502 93.86/94.27 c #Conflicts: 104000 | #Constraints: 15024 93.86/94.27 c bounds 201 >= 147 @ 87.365 93.86/94.27 c #Conflicts: 105000 | #Constraints: 16025 93.86/94.27 c #Conflicts: 106000 | #Constraints: 17025 93.86/94.27 c INPROCESSING 93.86/94.27 c GARBAGE COLLECT 93.86/94.27 c rational objective 147 138.80/139.32 c bounds 200 >= 147 @ 92.0508 138.80/139.32 c #Conflicts: 107000 | #Constraints: 10061 138.80/139.32 c bounds 199 >= 147 @ 92.3112 138.80/139.32 c #Conflicts: 108000 | #Constraints: 11062 138.80/139.32 c #Conflicts: 109000 | #Constraints: 12062 138.80/139.32 c #Conflicts: 110000 | #Constraints: 13062 138.80/139.32 c bounds 198 >= 147 @ 94.6157 138.80/139.32 c #Conflicts: 111000 | #Constraints: 14063 138.80/139.32 c #Conflicts: 112000 | #Constraints: 15063 138.80/139.32 c #Conflicts: 113000 | #Constraints: 16063 138.80/139.32 c #Conflicts: 114000 | #Constraints: 17063 138.80/139.32 c #Conflicts: 115000 | #Constraints: 18063 138.80/139.32 c #Conflicts: 116000 | #Constraints: 19063 138.80/139.32 c #Conflicts: 117000 | #Constraints: 20063 138.80/139.32 c #Conflicts: 118000 | #Constraints: 21063 138.80/139.32 c #Conflicts: 119000 | #Constraints: 22063 138.80/139.32 c #Conflicts: 120000 | #Constraints: 23063 138.80/139.32 c #Conflicts: 121000 | #Constraints: 24063 138.80/139.32 c #Conflicts: 122000 | #Constraints: 25063 138.80/139.32 c #Conflicts: 123000 | #Constraints: 26063 138.80/139.32 c #Conflicts: 124000 | #Constraints: 27063 138.80/139.32 c #Conflicts: 125000 | #Constraints: 28063 138.80/139.32 c #Conflicts: 126000 | #Constraints: 29063 138.80/139.32 c #Conflicts: 127000 | #Constraints: 30063 138.80/139.32 c #Conflicts: 128000 | #Constraints: 31063 138.80/139.32 c #Conflicts: 129000 | #Constraints: 32063 138.80/139.32 c #Conflicts: 130000 | #Constraints: 33063 138.80/139.32 c #Conflicts: 131000 | #Constraints: 34063 138.80/139.32 c #Conflicts: 132000 | #Constraints: 35063 138.80/139.32 c INPROCESSING 138.80/139.32 c GARBAGE COLLECT 138.80/139.32 c rational objective 147 173.40/174.02 c #Conflicts: 133000 | #Constraints: 19215 173.40/174.02 c #Conflicts: 134000 | #Constraints: 20215 173.40/174.02 c #Conflicts: 135000 | #Constraints: 21215 173.40/174.02 c #Conflicts: 136000 | #Constraints: 22215 173.40/174.02 c #Conflicts: 137000 | #Constraints: 23215 173.40/174.02 c #Conflicts: 138000 | #Constraints: 24215 173.40/174.02 c #Conflicts: 139000 | #Constraints: 25215 173.40/174.02 c #Conflicts: 140000 | #Constraints: 26215 173.40/174.02 c INPROCESSING 173.40/174.02 c GARBAGE COLLECT 173.40/174.02 c rational objective 147 187.25/187.97 c #Conflicts: 141000 | #Constraints: 14503 187.25/187.97 c #Conflicts: 142000 | #Constraints: 15503 187.25/187.97 c #Conflicts: 143000 | #Constraints: 16503 187.25/187.97 c #Conflicts: 144000 | #Constraints: 17503 187.25/187.97 c #Conflicts: 145000 | #Constraints: 18503 187.25/187.97 c #Conflicts: 146000 | #Constraints: 19503 187.25/187.97 c #Conflicts: 147000 | #Constraints: 20503 187.25/187.97 c #Conflicts: 148000 | #Constraints: 21503 187.25/187.97 c #Conflicts: 149000 | #Constraints: 22503 187.25/187.97 c INPROCESSING 187.25/187.97 c GARBAGE COLLECT 187.25/187.97 c rational objective 147 266.22/267.14 c #Conflicts: 150000 | #Constraints: 12702 266.22/267.14 c #Conflicts: 151000 | #Constraints: 13702 266.22/267.14 c #Conflicts: 152000 | #Constraints: 14702 266.22/267.14 c #Conflicts: 153000 | #Constraints: 15702 266.22/267.14 c #Conflicts: 154000 | #Constraints: 16702 266.22/267.14 c #Conflicts: 155000 | #Constraints: 17702 266.22/267.14 c #Conflicts: 156000 | #Constraints: 18702 266.22/267.14 c #Conflicts: 157000 | #Constraints: 19702 266.22/267.14 c #Conflicts: 158000 | #Constraints: 20702 266.22/267.14 c #Conflicts: 159000 | #Constraints: 21702 266.22/267.14 c #Conflicts: 160000 | #Constraints: 22702 266.22/267.14 c #Conflicts: 161000 | #Constraints: 23702 266.22/267.14 c #Conflicts: 162000 | #Constraints: 24702 266.22/267.14 c #Conflicts: 163000 | #Constraints: 25702 266.22/267.14 c #Conflicts: 164000 | #Constraints: 26702 266.22/267.14 c #Conflicts: 165000 | #Constraints: 27702 266.22/267.14 c #Conflicts: 166000 | #Constraints: 28702 266.22/267.14 c #Conflicts: 167000 | #Constraints: 29702 266.22/267.14 c #Conflicts: 168000 | #Constraints: 30702 266.22/267.14 c #Conflicts: 169000 | #Constraints: 31702 266.22/267.14 c #Conflicts: 170000 | #Constraints: 32702 266.22/267.14 c #Conflicts: 171000 | #Constraints: 33702 266.22/267.14 c #Conflicts: 172000 | #Constraints: 34702 266.22/267.14 c #Conflicts: 173000 | #Constraints: 35702 266.22/267.14 c #Conflicts: 174000 | #Constraints: 36702 266.22/267.14 c #Conflicts: 175000 | #Constraints: 37702 266.22/267.14 c #Conflicts: 176000 | #Constraints: 38702 266.22/267.14 c #Conflicts: 177000 | #Constraints: 39702 266.22/267.14 c #Conflicts: 178000 | #Constraints: 40702 266.22/267.14 c #Conflicts: 179000 | #Constraints: 41702 266.22/267.14 c INPROCESSING 266.22/267.14 c GARBAGE COLLECT 266.22/267.14 c rational objective 147 298.29/299.34 c #Conflicts: 180000 | #Constraints: 22417 298.29/299.34 c #Conflicts: 181000 | #Constraints: 23417 298.29/299.34 c #Conflicts: 182000 | #Constraints: 24417 298.29/299.34 c #Conflicts: 183000 | #Constraints: 25417 298.29/299.34 c #Conflicts: 184000 | #Constraints: 26417 298.29/299.34 c #Conflicts: 185000 | #Constraints: 27417 298.29/299.34 c #Conflicts: 186000 | #Constraints: 28417 298.29/299.34 c #Conflicts: 187000 | #Constraints: 29417 298.29/299.34 c #Conflicts: 188000 | #Constraints: 30417 298.29/299.34 c #Conflicts: 189000 | #Constraints: 31417 298.29/299.34 c INPROCESSING 298.29/299.34 c GARBAGE COLLECT 298.29/299.34 c rational objective 147 327.89/329.07 c #Conflicts: 190000 | #Constraints: 17100 327.89/329.07 c #Conflicts: 191000 | #Constraints: 18100 327.89/329.07 c #Conflicts: 192000 | #Constraints: 19100 327.89/329.07 c #Conflicts: 193000 | #Constraints: 20100 327.89/329.07 c #Conflicts: 194000 | #Constraints: 21100 327.89/329.07 c #Conflicts: 195000 | #Constraints: 22100 327.89/329.07 c #Conflicts: 196000 | #Constraints: 23100 327.89/329.07 c #Conflicts: 197000 | #Constraints: 24100 327.89/329.07 c #Conflicts: 198000 | #Constraints: 25100 327.89/329.07 c #Conflicts: 199000 | #Constraints: 26100 327.89/329.07 c #Conflicts: 200000 | #Constraints: 27100 327.89/329.07 c INPROCESSING 327.89/329.07 c GARBAGE COLLECT 327.89/329.07 c rational objective 147 429.41/430.85 c #Conflicts: 201000 | #Constraints: 15235 429.41/430.85 c #Conflicts: 202000 | #Constraints: 16235 429.41/430.85 c #Conflicts: 203000 | #Constraints: 17235 429.41/430.85 c #Conflicts: 204000 | #Constraints: 18235 429.41/430.85 c #Conflicts: 205000 | #Constraints: 19235 429.41/430.85 c #Conflicts: 206000 | #Constraints: 20235 429.41/430.85 c #Conflicts: 207000 | #Constraints: 21235 429.41/430.85 c #Conflicts: 208000 | #Constraints: 22235 429.41/430.85 c #Conflicts: 209000 | #Constraints: 23235 429.41/430.85 c #Conflicts: 210000 | #Constraints: 24235 429.41/430.85 c #Conflicts: 211000 | #Constraints: 25235 429.41/430.85 c #Conflicts: 212000 | #Constraints: 26235 429.41/430.85 c #Conflicts: 213000 | #Constraints: 27235 429.41/430.85 c #Conflicts: 214000 | #Constraints: 28235 429.41/430.85 c #Conflicts: 215000 | #Constraints: 29235 429.41/430.85 c #Conflicts: 216000 | #Constraints: 30235 429.41/430.85 c #Conflicts: 217000 | #Constraints: 31235 429.41/430.85 c #Conflicts: 218000 | #Constraints: 32235 429.41/430.85 c #Conflicts: 219000 | #Constraints: 33235 429.41/430.85 c #Conflicts: 220000 | #Constraints: 34235 429.41/430.85 c #Conflicts: 221000 | #Constraints: 35235 429.41/430.85 c #Conflicts: 222000 | #Constraints: 36235 429.41/430.85 c #Conflicts: 223000 | #Constraints: 37235 429.41/430.85 c #Conflicts: 224000 | #Constraints: 38235 429.41/430.85 c #Conflicts: 225000 | #Constraints: 39235 429.41/430.85 c #Conflicts: 226000 | #Constraints: 40235 429.41/430.85 c #Conflicts: 227000 | #Constraints: 41235 429.41/430.85 c #Conflicts: 228000 | #Constraints: 42235 429.41/430.85 c #Conflicts: 229000 | #Constraints: 43235 429.41/430.85 c #Conflicts: 230000 | #Constraints: 44235 429.41/430.85 c #Conflicts: 231000 | #Constraints: 45235 429.41/430.85 c #Conflicts: 232000 | #Constraints: 46235 429.41/430.85 c #Conflicts: 233000 | #Constraints: 47235 429.41/430.85 c #Conflicts: 234000 | #Constraints: 48235 429.41/430.85 c INPROCESSING 429.41/430.85 c GARBAGE COLLECT 429.41/430.85 c rational objective 147 448.85/450.37 c bounds 197 >= 147 @ 424.833 448.85/450.37 c #Conflicts: 235000 | #Constraints: 25890 448.85/450.37 c bounds 196 >= 147 @ 425.677 448.85/450.37 c bounds 195 >= 147 @ 425.823 448.85/450.37 c #Conflicts: 236000 | #Constraints: 26892 448.85/450.37 c #Conflicts: 237000 | #Constraints: 27892 448.85/450.37 c #Conflicts: 238000 | #Constraints: 28892 448.85/450.37 c #Conflicts: 239000 | #Constraints: 29892 448.85/450.37 c #Conflicts: 240000 | #Constraints: 30892 448.85/450.37 c #Conflicts: 241000 | #Constraints: 31892 448.85/450.37 c #Conflicts: 242000 | #Constraints: 32892 448.85/450.37 c #Conflicts: 243000 | #Constraints: 33892 448.85/450.37 c #Conflicts: 244000 | #Constraints: 34892 448.85/450.37 c #Conflicts: 245000 | #Constraints: 35892 448.85/450.37 c INPROCESSING 448.85/450.37 c GARBAGE COLLECT 448.85/450.37 c rational objective 147 463.21/464.70 c #Conflicts: 246000 | #Constraints: 19281 463.21/464.70 c #Conflicts: 247000 | #Constraints: 20281 463.21/464.70 c #Conflicts: 248000 | #Constraints: 21281 463.21/464.70 c #Conflicts: 249000 | #Constraints: 22281 463.21/464.70 c #Conflicts: 250000 | #Constraints: 23281 463.21/464.70 c #Conflicts: 251000 | #Constraints: 24281 463.21/464.70 c #Conflicts: 252000 | #Constraints: 25281 463.21/464.70 c #Conflicts: 253000 | #Constraints: 26281 463.21/464.70 c #Conflicts: 254000 | #Constraints: 27281 463.21/464.70 c #Conflicts: 255000 | #Constraints: 28281 463.21/464.70 c #Conflicts: 256000 | #Constraints: 29281 463.21/464.70 c #Conflicts: 257000 | #Constraints: 30281 463.21/464.70 c INPROCESSING 463.21/464.70 c GARBAGE COLLECT 463.21/464.70 c rational objective 147 573.41/575.24 c #Conflicts: 258000 | #Constraints: 16522 573.41/575.24 c #Conflicts: 259000 | #Constraints: 17522 573.41/575.24 c #Conflicts: 260000 | #Constraints: 18522 573.41/575.24 c #Conflicts: 261000 | #Constraints: 19522 573.41/575.24 c #Conflicts: 262000 | #Constraints: 20522 573.41/575.24 c #Conflicts: 263000 | #Constraints: 21522 573.41/575.24 c #Conflicts: 264000 | #Constraints: 22522 573.41/575.24 c #Conflicts: 265000 | #Constraints: 23522 573.41/575.24 c #Conflicts: 266000 | #Constraints: 24522 573.41/575.24 c #Conflicts: 267000 | #Constraints: 25522 573.41/575.24 c #Conflicts: 268000 | #Constraints: 26522 573.41/575.24 c #Conflicts: 269000 | #Constraints: 27522 573.41/575.24 c #Conflicts: 270000 | #Constraints: 28522 573.41/575.24 c #Conflicts: 271000 | #Constraints: 29522 573.41/575.24 c #Conflicts: 272000 | #Constraints: 30522 573.41/575.24 c #Conflicts: 273000 | #Constraints: 31522 573.41/575.24 c #Conflicts: 274000 | #Constraints: 32522 573.41/575.24 c #Conflicts: 275000 | #Constraints: 33522 573.41/575.24 c #Conflicts: 276000 | #Constraints: 34522 573.41/575.24 c #Conflicts: 277000 | #Constraints: 35522 573.41/575.24 c #Conflicts: 278000 | #Constraints: 36522 573.41/575.24 c #Conflicts: 279000 | #Constraints: 37522 573.41/575.24 c #Conflicts: 280000 | #Constraints: 38522 573.41/575.24 c #Conflicts: 281000 | #Constraints: 39522 573.41/575.24 c #Conflicts: 282000 | #Constraints: 40522 573.41/575.24 c #Conflicts: 283000 | #Constraints: 41522 573.41/575.24 c #Conflicts: 284000 | #Constraints: 42522 573.41/575.24 c #Conflicts: 285000 | #Constraints: 43522 573.41/575.24 c #Conflicts: 286000 | #Constraints: 44522 573.41/575.24 c #Conflicts: 287000 | #Constraints: 45522 573.41/575.24 c #Conflicts: 288000 | #Constraints: 46522 573.41/575.24 c #Conflicts: 289000 | #Constraints: 47522 573.41/575.24 c #Conflicts: 290000 | #Constraints: 48522 573.41/575.24 c #Conflicts: 291000 | #Constraints: 49522 573.41/575.24 c #Conflicts: 292000 | #Constraints: 50522 573.41/575.24 c #Conflicts: 293000 | #Constraints: 51522 573.41/575.24 c #Conflicts: 294000 | #Constraints: 52522 573.41/575.24 c #Conflicts: 295000 | #Constraints: 53522 573.41/575.24 c INPROCESSING 573.41/575.24 c GARBAGE COLLECT 573.41/575.24 c rational objective 147 653.40/655.43 c #Conflicts: 296000 | #Constraints: 28051 653.40/655.43 c #Conflicts: 297000 | #Constraints: 29051 653.40/655.43 c #Conflicts: 298000 | #Constraints: 30051 653.40/655.43 c #Conflicts: 299000 | #Constraints: 31051 653.40/655.43 c #Conflicts: 300000 | #Constraints: 32051 653.40/655.43 c #Conflicts: 301000 | #Constraints: 33051 653.40/655.43 c #Conflicts: 302000 | #Constraints: 34051 653.40/655.43 c #Conflicts: 303000 | #Constraints: 35051 653.40/655.43 c #Conflicts: 304000 | #Constraints: 36051 653.40/655.43 c #Conflicts: 305000 | #Constraints: 37051 653.40/655.43 c #Conflicts: 306000 | #Constraints: 38051 653.40/655.43 c #Conflicts: 307000 | #Constraints: 39051 653.40/655.43 c #Conflicts: 308000 | #Constraints: 40051 653.40/655.43 c #Conflicts: 309000 | #Constraints: 41051 653.40/655.43 c INPROCESSING 653.40/655.43 c GARBAGE COLLECT 653.40/655.43 c rational objective 147 692.91/695.08 c #Conflicts: 310000 | #Constraints: 22291 692.91/695.08 c #Conflicts: 311000 | #Constraints: 23291 692.91/695.08 c #Conflicts: 312000 | #Constraints: 24291 692.91/695.08 c #Conflicts: 313000 | #Constraints: 25291 692.91/695.08 c #Conflicts: 314000 | #Constraints: 26291 692.91/695.08 c #Conflicts: 315000 | #Constraints: 27291 692.91/695.08 c #Conflicts: 316000 | #Constraints: 28291 692.91/695.08 c #Conflicts: 317000 | #Constraints: 29291 692.91/695.08 c #Conflicts: 318000 | #Constraints: 30291 692.91/695.08 c #Conflicts: 319000 | #Constraints: 31291 692.91/695.08 c #Conflicts: 320000 | #Constraints: 32291 692.91/695.08 c #Conflicts: 321000 | #Constraints: 33291 692.91/695.08 c #Conflicts: 322000 | #Constraints: 34291 692.91/695.08 c INPROCESSING 692.91/695.08 c GARBAGE COLLECT 692.91/695.08 c rational objective 147 841.31/843.84 c #Conflicts: 323000 | #Constraints: 18726 841.31/843.84 c #Conflicts: 324000 | #Constraints: 19726 841.31/843.84 c #Conflicts: 325000 | #Constraints: 20726 841.31/843.84 c #Conflicts: 326000 | #Constraints: 21726 841.31/843.84 c #Conflicts: 327000 | #Constraints: 22726 841.31/843.84 c #Conflicts: 328000 | #Constraints: 23726 841.31/843.84 c #Conflicts: 329000 | #Constraints: 24726 841.31/843.84 c #Conflicts: 330000 | #Constraints: 25726 841.31/843.84 c #Conflicts: 331000 | #Constraints: 26726 841.31/843.84 c #Conflicts: 332000 | #Constraints: 27726 841.31/843.84 c #Conflicts: 333000 | #Constraints: 28726 841.31/843.84 c #Conflicts: 334000 | #Constraints: 29726 841.31/843.84 c #Conflicts: 335000 | #Constraints: 30726 841.31/843.84 c #Conflicts: 336000 | #Constraints: 31726 841.31/843.84 c #Conflicts: 337000 | #Constraints: 32726 841.31/843.84 c #Conflicts: 338000 | #Constraints: 33726 841.31/843.84 c #Conflicts: 339000 | #Constraints: 34726 841.31/843.84 c #Conflicts: 340000 | #Constraints: 35726 841.31/843.84 c #Conflicts: 341000 | #Constraints: 36726 841.31/843.84 c #Conflicts: 342000 | #Constraints: 37726 841.31/843.84 c #Conflicts: 343000 | #Constraints: 38726 841.31/843.84 c #Conflicts: 344000 | #Constraints: 39726 841.31/843.84 c #Conflicts: 345000 | #Constraints: 40726 841.31/843.84 c #Conflicts: 346000 | #Constraints: 41726 841.31/843.84 c #Conflicts: 347000 | #Constraints: 42726 841.31/843.84 c #Conflicts: 348000 | #Constraints: 43726 841.31/843.84 c #Conflicts: 349000 | #Constraints: 44726 841.31/843.84 c #Conflicts: 350000 | #Constraints: 45726 841.31/843.84 c #Conflicts: 351000 | #Constraints: 46726 841.31/843.84 c #Conflicts: 352000 | #Constraints: 47726 841.31/843.84 c #Conflicts: 353000 | #Constraints: 48726 841.31/843.84 c #Conflicts: 354000 | #Constraints: 49726 841.31/843.84 c #Conflicts: 355000 | #Constraints: 50726 841.31/843.84 c #Conflicts: 356000 | #Constraints: 51726 841.31/843.84 c bounds 195 >= 148 @ 815.229 841.31/843.84 c #Conflicts: 357000 | #Constraints: 52795 841.31/843.84 c #Conflicts: 358000 | #Constraints: 53795 841.31/843.84 c #Conflicts: 359000 | #Constraints: 54795 841.31/843.84 c #Conflicts: 360000 | #Constraints: 55795 841.31/843.84 c #Conflicts: 361000 | #Constraints: 56795 841.31/843.84 c #Conflicts: 362000 | #Constraints: 57795 841.31/843.84 c #Conflicts: 363000 | #Constraints: 58795 841.31/843.84 c #Conflicts: 364000 | #Constraints: 59795 841.31/843.84 c INPROCESSING 841.31/843.84 c GARBAGE COLLECT 841.31/843.84 c rational objective 148 868.83/871.41 c #Conflicts: 365000 | #Constraints: 31208 868.83/871.41 c #Conflicts: 366000 | #Constraints: 32208 868.83/871.41 c #Conflicts: 367000 | #Constraints: 33208 868.83/871.41 c #Conflicts: 368000 | #Constraints: 34208 868.83/871.41 c #Conflicts: 369000 | #Constraints: 35208 868.83/871.41 c #Conflicts: 370000 | #Constraints: 36208 868.83/871.41 c #Conflicts: 371000 | #Constraints: 37208 868.83/871.41 c #Conflicts: 372000 | #Constraints: 38208 868.83/871.41 c #Conflicts: 373000 | #Constraints: 39208 868.83/871.41 c #Conflicts: 374000 | #Constraints: 40208 868.83/871.41 c #Conflicts: 375000 | #Constraints: 41208 868.83/871.41 c #Conflicts: 376000 | #Constraints: 42208 868.83/871.41 c #Conflicts: 377000 | #Constraints: 43208 868.83/871.41 c #Conflicts: 378000 | #Constraints: 44208 868.83/871.41 c #Conflicts: 379000 | #Constraints: 45208 868.83/871.41 c INPROCESSING 868.83/871.41 c GARBAGE COLLECT 868.83/871.41 c rational objective 148 897.95/900.67 c #Conflicts: 380000 | #Constraints: 24077 897.95/900.67 c #Conflicts: 381000 | #Constraints: 25077 897.95/900.67 c #Conflicts: 382000 | #Constraints: 26077 897.95/900.67 c #Conflicts: 383000 | #Constraints: 27077 897.95/900.67 c #Conflicts: 384000 | #Constraints: 28077 897.95/900.67 c #Conflicts: 385000 | #Constraints: 29077 897.95/900.67 c #Conflicts: 386000 | #Constraints: 30077 897.95/900.67 c bounds 194 >= 148 @ 870.972 897.95/900.67 c #Conflicts: 387000 | #Constraints: 31078 897.95/900.67 c #Conflicts: 388000 | #Constraints: 32078 897.95/900.67 c #Conflicts: 389000 | #Constraints: 33078 897.95/900.67 c bounds 193 >= 148 @ 876.303 897.95/900.67 c #Conflicts: 390000 | #Constraints: 34079 897.95/900.67 c #Conflicts: 391000 | #Constraints: 35079 897.95/900.67 c #Conflicts: 392000 | #Constraints: 36079 897.95/900.67 c #Conflicts: 393000 | #Constraints: 37079 897.95/900.67 c #Conflicts: 394000 | #Constraints: 38079 897.95/900.67 c INPROCESSING 897.95/900.67 c GARBAGE COLLECT 897.95/900.67 c rational objective 148 1081.97/1085.18 c #Conflicts: 395000 | #Constraints: 20556 1081.97/1085.18 c #Conflicts: 396000 | #Constraints: 21556 1081.97/1085.18 c #Conflicts: 397000 | #Constraints: 22556 1081.97/1085.18 c #Conflicts: 398000 | #Constraints: 23556 1081.97/1085.18 c #Conflicts: 399000 | #Constraints: 24556 1081.97/1085.18 c #Conflicts: 400000 | #Constraints: 25556 1081.97/1085.18 c #Conflicts: 401000 | #Constraints: 26556 1081.97/1085.18 c #Conflicts: 402000 | #Constraints: 27556 1081.97/1085.18 c #Conflicts: 403000 | #Constraints: 28556 1081.97/1085.18 c #Conflicts: 404000 | #Constraints: 29556 1081.97/1085.18 c #Conflicts: 405000 | #Constraints: 30556 1081.97/1085.18 c #Conflicts: 406000 | #Constraints: 31556 1081.97/1085.18 c #Conflicts: 407000 | #Constraints: 32556 1081.97/1085.18 c #Conflicts: 408000 | #Constraints: 33556 1081.97/1085.18 c #Conflicts: 409000 | #Constraints: 34556 1081.97/1085.18 c #Conflicts: 410000 | #Constraints: 35556 1081.97/1085.18 c #Conflicts: 411000 | #Constraints: 36556 1081.97/1085.18 c #Conflicts: 412000 | #Constraints: 37556 1081.97/1085.18 c #Conflicts: 413000 | #Constraints: 38556 1081.97/1085.18 c #Conflicts: 414000 | #Constraints: 39556 1081.97/1085.18 c #Conflicts: 415000 | #Constraints: 40556 1081.97/1085.18 c #Conflicts: 416000 | #Constraints: 41556 1081.97/1085.18 c #Conflicts: 417000 | #Constraints: 42556 1081.97/1085.18 c #Conflicts: 418000 | #Constraints: 43556 1081.97/1085.18 c #Conflicts: 419000 | #Constraints: 44556 1081.97/1085.18 c #Conflicts: 420000 | #Constraints: 45556 1081.97/1085.18 c #Conflicts: 421000 | #Constraints: 46556 1081.97/1085.18 c #Conflicts: 422000 | #Constraints: 47556 1081.97/1085.18 c #Conflicts: 423000 | #Constraints: 48556 1081.97/1085.18 c #Conflicts: 424000 | #Constraints: 49556 1081.97/1085.18 c #Conflicts: 425000 | #Constraints: 50556 1081.97/1085.18 c #Conflicts: 426000 | #Constraints: 51556 1081.97/1085.18 c #Conflicts: 427000 | #Constraints: 52556 1081.97/1085.18 c #Conflicts: 428000 | #Constraints: 53556 1081.97/1085.18 c #Conflicts: 429000 | #Constraints: 54556 1081.97/1085.18 c #Conflicts: 430000 | #Constraints: 55556 1081.97/1085.18 c #Conflicts: 431000 | #Constraints: 56556 1081.97/1085.18 c #Conflicts: 432000 | #Constraints: 57556 1081.97/1085.18 c #Conflicts: 433000 | #Constraints: 58556 1081.97/1085.18 c #Conflicts: 434000 | #Constraints: 59556 1081.97/1085.18 c #Conflicts: 435000 | #Constraints: 60556 1081.97/1085.18 c #Conflicts: 436000 | #Constraints: 61556 1081.97/1085.18 c #Conflicts: 437000 | #Constraints: 62556 1081.97/1085.18 c #Conflicts: 438000 | #Constraints: 63556 1081.97/1085.18 c #Conflicts: 439000 | #Constraints: 64556 1081.97/1085.18 c #Conflicts: 440000 | #Constraints: 65556 1081.97/1085.18 c #Conflicts: 441000 | #Constraints: 66556 1081.97/1085.18 c INPROCESSING 1081.97/1085.18 c GARBAGE COLLECT 1081.97/1085.18 c rational objective 148 1194.84/1198.34 c #Conflicts: 442000 | #Constraints: 35007 1194.84/1198.34 c #Conflicts: 443000 | #Constraints: 36007 1194.84/1198.34 c #Conflicts: 444000 | #Constraints: 37007 1194.84/1198.34 c #Conflicts: 445000 | #Constraints: 38007 1194.84/1198.34 c #Conflicts: 446000 | #Constraints: 39007 1194.84/1198.34 c #Conflicts: 447000 | #Constraints: 40007 1194.84/1198.34 c #Conflicts: 448000 | #Constraints: 41007 1194.84/1198.34 c #Conflicts: 449000 | #Constraints: 42007 1194.84/1198.34 c #Conflicts: 450000 | #Constraints: 43007 1194.84/1198.34 c #Conflicts: 451000 | #Constraints: 44007 1194.84/1198.34 c #Conflicts: 452000 | #Constraints: 45007 1194.84/1198.34 c #Conflicts: 453000 | #Constraints: 46007 1194.84/1198.34 c #Conflicts: 454000 | #Constraints: 47007 1194.84/1198.34 c #Conflicts: 455000 | #Constraints: 48007 1194.84/1198.34 c #Conflicts: 456000 | #Constraints: 49007 1194.84/1198.34 c #Conflicts: 457000 | #Constraints: 50007 1194.84/1198.34 c INPROCESSING 1194.84/1198.34 c GARBAGE COLLECT 1194.84/1198.34 c rational objective 148 1250.08/1253.78 c #Conflicts: 458000 | #Constraints: 26707 1250.08/1253.78 c #Conflicts: 459000 | #Constraints: 27707 1250.08/1253.78 c #Conflicts: 460000 | #Constraints: 28707 1250.08/1253.78 c #Conflicts: 461000 | #Constraints: 29707 1250.08/1253.78 c #Conflicts: 462000 | #Constraints: 30707 1250.08/1253.78 c #Conflicts: 463000 | #Constraints: 31707 1250.08/1253.78 c #Conflicts: 464000 | #Constraints: 32707 1250.08/1253.78 c #Conflicts: 465000 | #Constraints: 33707 1250.08/1253.78 c #Conflicts: 466000 | #Constraints: 34707 1250.08/1253.78 c #Conflicts: 467000 | #Constraints: 35707 1250.08/1253.78 c #Conflicts: 468000 | #Constraints: 36707 1250.08/1253.78 c #Conflicts: 469000 | #Constraints: 37707 1250.08/1253.78 c #Conflicts: 470000 | #Constraints: 38707 1250.08/1253.78 c #Conflicts: 471000 | #Constraints: 39707 1250.08/1253.78 c #Conflicts: 472000 | #Constraints: 40707 1250.08/1253.78 c #Conflicts: 473000 | #Constraints: 41707 1250.08/1253.78 c INPROCESSING 1250.08/1253.78 c GARBAGE COLLECT 1250.08/1253.78 c rational objective 148 1514.98/1519.43 c #Conflicts: 474000 | #Constraints: 23049 1514.98/1519.43 c #Conflicts: 475000 | #Constraints: 24049 1514.98/1519.43 c #Conflicts: 476000 | #Constraints: 25049 1514.98/1519.43 c #Conflicts: 477000 | #Constraints: 26049 1514.98/1519.43 c #Conflicts: 478000 | #Constraints: 27049 1514.98/1519.43 c #Conflicts: 479000 | #Constraints: 28049 1514.98/1519.43 c #Conflicts: 480000 | #Constraints: 29049 1514.98/1519.43 c #Conflicts: 481000 | #Constraints: 30049 1514.98/1519.43 c #Conflicts: 482000 | #Constraints: 31049 1514.98/1519.43 c #Conflicts: 483000 | #Constraints: 32049 1514.98/1519.43 c #Conflicts: 484000 | #Constraints: 33049 1514.98/1519.43 c #Conflicts: 485000 | #Constraints: 34049 1514.98/1519.43 c #Conflicts: 486000 | #Constraints: 35049 1514.98/1519.43 c #Conflicts: 487000 | #Constraints: 36049 1514.98/1519.43 c #Conflicts: 488000 | #Constraints: 37049 1514.98/1519.43 c #Conflicts: 489000 | #Constraints: 38049 1514.98/1519.43 c #Conflicts: 490000 | #Constraints: 39049 1514.98/1519.43 c #Conflicts: 491000 | #Constraints: 40049 1514.98/1519.43 c #Conflicts: 492000 | #Constraints: 41049 1514.98/1519.43 c #Conflicts: 493000 | #Constraints: 42049 1514.98/1519.43 c #Conflicts: 494000 | #Constraints: 43049 1514.98/1519.43 c #Conflicts: 495000 | #Constraints: 44049 1514.98/1519.43 c #Conflicts: 496000 | #Constraints: 45049 1514.98/1519.43 c #Conflicts: 497000 | #Constraints: 46049 1514.98/1519.43 c #Conflicts: 498000 | #Constraints: 47049 1514.98/1519.43 c #Conflicts: 499000 | #Constraints: 48049 1514.98/1519.43 c #Conflicts: 500000 | #Constraints: 49049 1514.98/1519.43 c #Conflicts: 501000 | #Constraints: 50049 1514.98/1519.43 c #Conflicts: 502000 | #Constraints: 51049 1514.98/1519.43 c #Conflicts: 503000 | #Constraints: 52049 1514.98/1519.43 c #Conflicts: 504000 | #Constraints: 53049 1514.98/1519.43 c #Conflicts: 505000 | #Constraints: 54049 1514.98/1519.43 c #Conflicts: 506000 | #Constraints: 55049 1514.98/1519.43 c #Conflicts: 507000 | #Constraints: 56049 1514.98/1519.43 c #Conflicts: 508000 | #Constraints: 57049 1514.98/1519.43 c #Conflicts: 509000 | #Constraints: 58049 1514.98/1519.43 c #Conflicts: 510000 | #Constraints: 59049 1514.98/1519.43 c #Conflicts: 511000 | #Constraints: 60049 1514.98/1519.43 c #Conflicts: 512000 | #Constraints: 61049 1514.98/1519.43 c #Conflicts: 513000 | #Constraints: 62049 1514.98/1519.43 c #Conflicts: 514000 | #Constraints: 63049 1514.98/1519.43 c #Conflicts: 515000 | #Constraints: 64049 1514.98/1519.43 c #Conflicts: 516000 | #Constraints: 65049 1514.98/1519.43 c #Conflicts: 517000 | #Constraints: 66049 1514.98/1519.43 c #Conflicts: 518000 | #Constraints: 67049 1514.98/1519.43 c #Conflicts: 519000 | #Constraints: 68049 1514.98/1519.43 c #Conflicts: 520000 | #Constraints: 69049 1514.98/1519.43 c #Conflicts: 521000 | #Constraints: 70049 1514.98/1519.43 c #Conflicts: 522000 | #Constraints: 71049 1514.98/1519.43 c #Conflicts: 523000 | #Constraints: 72049 1514.98/1519.43 c #Conflicts: 524000 | #Constraints: 73049 1514.98/1519.43 c INPROCESSING 1514.98/1519.43 c GARBAGE COLLECT 1514.98/1519.43 c rational objective 148 1563.94/1568.59 c #Conflicts: 525000 | #Constraints: 38132 1563.94/1568.59 c #Conflicts: 526000 | #Constraints: 39132 1563.94/1568.59 c #Conflicts: 527000 | #Constraints: 40132 1563.94/1568.59 c #Conflicts: 528000 | #Constraints: 41132 1563.94/1568.59 c #Conflicts: 529000 | #Constraints: 42132 1563.94/1568.59 c #Conflicts: 530000 | #Constraints: 43132 1563.94/1568.59 c #Conflicts: 531000 | #Constraints: 44132 1563.94/1568.59 c #Conflicts: 532000 | #Constraints: 45132 1563.94/1568.59 c #Conflicts: 533000 | #Constraints: 46132 1563.94/1568.59 c #Conflicts: 534000 | #Constraints: 47132 1563.94/1568.59 c #Conflicts: 535000 | #Constraints: 48132 1563.94/1568.59 c #Conflicts: 536000 | #Constraints: 49132 1563.94/1568.59 c #Conflicts: 537000 | #Constraints: 50132 1563.94/1568.59 c #Conflicts: 538000 | #Constraints: 51132 1563.94/1568.59 c #Conflicts: 539000 | #Constraints: 52132 1563.94/1568.59 c #Conflicts: 540000 | #Constraints: 53132 1563.94/1568.59 c #Conflicts: 541000 | #Constraints: 54132 1563.94/1568.59 c #Conflicts: 542000 | #Constraints: 55132 1563.94/1568.59 c INPROCESSING 1563.94/1568.59 c GARBAGE COLLECT 1563.94/1568.59 c rational objective 148 1881.97/1887.50 c #Conflicts: 543000 | #Constraints: 29236 1881.97/1887.50 c #Conflicts: 544000 | #Constraints: 30236 1881.97/1887.50 c #Conflicts: 545000 | #Constraints: 31236 1881.97/1887.50 c #Conflicts: 546000 | #Constraints: 32237 1881.97/1887.50 c #Conflicts: 547000 | #Constraints: 33237 1881.97/1887.50 c #Conflicts: 548000 | #Constraints: 34237 1881.97/1887.50 c #Conflicts: 549000 | #Constraints: 35237 1881.97/1887.50 c #Conflicts: 550000 | #Constraints: 36237 1881.97/1887.50 c #Conflicts: 551000 | #Constraints: 37237 1881.97/1887.50 c #Conflicts: 552000 | #Constraints: 38237 1881.97/1887.50 c #Conflicts: 553000 | #Constraints: 39237 1881.97/1887.50 c #Conflicts: 554000 | #Constraints: 40237 1881.97/1887.50 c #Conflicts: 555000 | #Constraints: 41237 1881.97/1887.50 c #Conflicts: 556000 | #Constraints: 42237 1881.97/1887.50 c #Conflicts: 557000 | #Constraints: 43237 1881.97/1887.50 c #Conflicts: 558000 | #Constraints: 44237 1881.97/1887.50 c #Conflicts: 559000 | #Constraints: 45237 1881.97/1887.50 c #Conflicts: 560000 | #Constraints: 46237 1881.97/1887.50 c #Conflicts: 561000 | #Constraints: 47237 1881.97/1887.50 c #Conflicts: 562000 | #Constraints: 48237 1881.97/1887.50 c #Conflicts: 563000 | #Constraints: 49237 1881.97/1887.50 c #Conflicts: 564000 | #Constraints: 50237 1881.97/1887.50 c #Conflicts: 565000 | #Constraints: 51237 1881.97/1887.50 c #Conflicts: 566000 | #Constraints: 52237 1881.97/1887.50 c #Conflicts: 567000 | #Constraints: 53237 1881.97/1887.50 c #Conflicts: 568000 | #Constraints: 54237 1881.97/1887.50 c #Conflicts: 569000 | #Constraints: 55237 1881.97/1887.50 c #Conflicts: 570000 | #Constraints: 56237 1881.97/1887.50 c #Conflicts: 571000 | #Constraints: 57237 1881.97/1887.50 c #Conflicts: 572000 | #Constraints: 58237 1881.97/1887.50 c #Conflicts: 573000 | #Constraints: 59237 1881.97/1887.50 c #Conflicts: 574000 | #Constraints: 60237 1881.97/1887.50 c #Conflicts: 575000 | #Constraints: 61237 1881.97/1887.50 c #Conflicts: 576000 | #Constraints: 62237 1881.97/1887.50 c #Conflicts: 577000 | #Constraints: 63237 1881.97/1887.50 c #Conflicts: 578000 | #Constraints: 64237 1881.97/1887.50 c #Conflicts: 579000 | #Constraints: 65237 1881.97/1887.50 c #Conflicts: 580000 | #Constraints: 66237 1881.97/1887.50 c #Conflicts: 581000 | #Constraints: 67237 1881.97/1887.50 c #Conflicts: 582000 | #Constraints: 68237 1881.97/1887.50 c #Conflicts: 583000 | #Constraints: 69237 1881.97/1887.50 c #Conflicts: 584000 | #Constraints: 70237 1881.97/1887.50 c #Conflicts: 585000 | #Constraints: 71237 1881.97/1887.50 c #Conflicts: 586000 | #Constraints: 72237 1881.97/1887.50 c #Conflicts: 587000 | #Constraints: 73237 1881.97/1887.50 c #Conflicts: 588000 | #Constraints: 74237 1881.97/1887.50 c #Conflicts: 589000 | #Constraints: 75237 1881.97/1887.50 c #Conflicts: 590000 | #Constraints: 76237 1881.97/1887.50 c #Conflicts: 591000 | #Constraints: 77237 1881.97/1887.50 c #Conflicts: 592000 | #Constraints: 78237 1881.97/1887.50 c #Conflicts: 593000 | #Constraints: 79237 1881.97/1887.50 c #Conflicts: 594000 | #Constraints: 80237 1881.97/1887.50 c #Conflicts: 595000 | #Constraints: 81237 1881.97/1887.50 c #Conflicts: 596000 | #Constraints: 82237 1881.97/1887.50 c INPROCESSING 1881.97/1887.50 c GARBAGE COLLECT 1881.97/1887.50 c rational objective 148 2106.53/2112.80 c #Conflicts: 597000 | #Constraints: 42850 2106.53/2112.80 c #Conflicts: 598000 | #Constraints: 43850 2106.53/2112.80 c #Conflicts: 599000 | #Constraints: 44850 2106.53/2112.80 c #Conflicts: 600000 | #Constraints: 45850 2106.53/2112.80 c #Conflicts: 601000 | #Constraints: 46850 2106.53/2112.80 c #Conflicts: 602000 | #Constraints: 47850 2106.53/2112.80 c #Conflicts: 603000 | #Constraints: 48850 2106.53/2112.80 c #Conflicts: 604000 | #Constraints: 49850 2106.53/2112.80 c #Conflicts: 605000 | #Constraints: 50850 2106.53/2112.80 c #Conflicts: 606000 | #Constraints: 51850 2106.53/2112.80 c #Conflicts: 607000 | #Constraints: 52850 2106.53/2112.80 c #Conflicts: 608000 | #Constraints: 53850 2106.53/2112.80 c #Conflicts: 609000 | #Constraints: 54850 2106.53/2112.80 c #Conflicts: 610000 | #Constraints: 55850 2106.53/2112.80 c #Conflicts: 611000 | #Constraints: 56850 2106.53/2112.80 c #Conflicts: 612000 | #Constraints: 57850 2106.53/2112.80 c #Conflicts: 613000 | #Constraints: 58850 2106.53/2112.80 c #Conflicts: 614000 | #Constraints: 59850 2106.53/2112.80 c #Conflicts: 615000 | #Constraints: 60850 2106.53/2112.80 c INPROCESSING 2106.53/2112.80 c GARBAGE COLLECT 2106.53/2112.80 c rational objective 148 2208.96/2215.50 c #Conflicts: 616000 | #Constraints: 32237 2208.96/2215.50 c #Conflicts: 617000 | #Constraints: 33237 2208.96/2215.50 c #Conflicts: 618000 | #Constraints: 34237 2208.96/2215.50 c #Conflicts: 619000 | #Constraints: 35237 2208.96/2215.50 c #Conflicts: 620000 | #Constraints: 36237 2208.96/2215.50 c #Conflicts: 621000 | #Constraints: 37237 2208.96/2215.50 c #Conflicts: 622000 | #Constraints: 38237 2208.96/2215.50 c #Conflicts: 623000 | #Constraints: 39237 2208.96/2215.50 c #Conflicts: 624000 | #Constraints: 40237 2208.96/2215.50 c #Conflicts: 625000 | #Constraints: 41237 2208.96/2215.50 c #Conflicts: 626000 | #Constraints: 42237 2208.96/2215.50 c #Conflicts: 627000 | #Constraints: 43237 2208.96/2215.50 c #Conflicts: 628000 | #Constraints: 44237 2208.96/2215.50 c #Conflicts: 629000 | #Constraints: 45237 2208.96/2215.50 c #Conflicts: 630000 | #Constraints: 46237 2208.96/2215.50 c #Conflicts: 631000 | #Constraints: 47237 2208.96/2215.50 c #Conflicts: 632000 | #Constraints: 48237 2208.96/2215.50 c #Conflicts: 633000 | #Constraints: 49237 2208.96/2215.50 c #Conflicts: 634000 | #Constraints: 50237 2208.96/2215.50 c INPROCESSING 2208.96/2215.50 c GARBAGE COLLECT 2208.96/2215.50 c rational objective 148 2694.22/2702.01 c #Conflicts: 635000 | #Constraints: 32031 2694.22/2702.01 c #Conflicts: 636000 | #Constraints: 33031 2694.22/2702.01 c #Conflicts: 637000 | #Constraints: 34031 2694.22/2702.01 c #Conflicts: 638000 | #Constraints: 35031 2694.22/2702.01 c #Conflicts: 639000 | #Constraints: 36031 2694.22/2702.01 c #Conflicts: 640000 | #Constraints: 37031 2694.22/2702.01 c #Conflicts: 641000 | #Constraints: 38031 2694.22/2702.01 c #Conflicts: 642000 | #Constraints: 39031 2694.22/2702.01 c #Conflicts: 643000 | #Constraints: 40031 2694.22/2702.01 c #Conflicts: 644000 | #Constraints: 41031 2694.22/2702.01 c #Conflicts: 645000 | #Constraints: 42031 2694.22/2702.01 c #Conflicts: 646000 | #Constraints: 43031 2694.22/2702.01 c #Conflicts: 647000 | #Constraints: 44031 2694.22/2702.01 c #Conflicts: 648000 | #Constraints: 45031 2694.22/2702.01 c #Conflicts: 649000 | #Constraints: 46031 2694.22/2702.01 c #Conflicts: 650000 | #Constraints: 47031 2694.22/2702.01 c #Conflicts: 651000 | #Constraints: 48031 2694.22/2702.01 c #Conflicts: 652000 | #Constraints: 49031 2694.22/2702.01 c #Conflicts: 653000 | #Constraints: 50031 2694.22/2702.01 c #Conflicts: 654000 | #Constraints: 51031 2694.22/2702.01 c #Conflicts: 655000 | #Constraints: 52031 2694.22/2702.01 c #Conflicts: 656000 | #Constraints: 53031 2694.22/2702.01 c #Conflicts: 657000 | #Constraints: 54031 2694.22/2702.01 c #Conflicts: 658000 | #Constraints: 55031 2694.22/2702.01 c #Conflicts: 659000 | #Constraints: 56031 2694.22/2702.01 c #Conflicts: 660000 | #Constraints: 57031 2694.22/2702.01 c #Conflicts: 661000 | #Constraints: 58031 2694.22/2702.01 c #Conflicts: 662000 | #Constraints: 59031 2694.22/2702.01 c #Conflicts: 663000 | #Constraints: 60031 2694.22/2702.01 c #Conflicts: 664000 | #Constraints: 61031 2694.22/2702.01 c #Conflicts: 665000 | #Constraints: 62031 2694.22/2702.01 c #Conflicts: 666000 | #Constraints: 63031 2694.22/2702.01 c #Conflicts: 667000 | #Constraints: 64031 2694.22/2702.01 c #Conflicts: 668000 | #Constraints: 65031 2694.22/2702.01 c #Conflicts: 669000 | #Constraints: 66031 2694.22/2702.01 c #Conflicts: 670000 | #Constraints: 67031 2694.22/2702.01 c #Conflicts: 671000 | #Constraints: 68031 2694.22/2702.01 c #Conflicts: 672000 | #Constraints: 69031 2694.22/2702.01 c #Conflicts: 673000 | #Constraints: 70031 2694.22/2702.01 c #Conflicts: 674000 | #Constraints: 71031 2694.22/2702.01 c #Conflicts: 675000 | #Constraints: 72031 2694.22/2702.01 c #Conflicts: 676000 | #Constraints: 73031 2694.22/2702.01 c #Conflicts: 677000 | #Constraints: 74031 2694.22/2702.01 c #Conflicts: 678000 | #Constraints: 75031 2694.22/2702.01 c #Conflicts: 679000 | #Constraints: 76031 2694.22/2702.01 c #Conflicts: 680000 | #Constraints: 77031 2694.22/2702.01 c #Conflicts: 681000 | #Constraints: 78031 2694.22/2702.01 c #Conflicts: 682000 | #Constraints: 79031 2694.22/2702.01 c #Conflicts: 683000 | #Constraints: 80031 2694.22/2702.01 c #Conflicts: 684000 | #Constraints: 81031 2694.22/2702.01 c #Conflicts: 685000 | #Constraints: 82031 2694.22/2702.01 c #Conflicts: 686000 | #Constraints: 83031 2694.22/2702.01 c #Conflicts: 687000 | #Constraints: 84031 2694.22/2702.01 c #Conflicts: 688000 | #Constraints: 85031 2694.22/2702.01 c #Conflicts: 689000 | #Constraints: 86031 2694.22/2702.01 c #Conflicts: 690000 | #Constraints: 87031 2694.22/2702.01 c #Conflicts: 691000 | #Constraints: 88031 2694.22/2702.01 c #Conflicts: 692000 | #Constraints: 89031 2694.22/2702.01 c INPROCESSING 2694.22/2702.01 c GARBAGE COLLECT 2694.22/2702.01 c rational objective 148 2781.48/2789.58 c #Conflicts: 693000 | #Constraints: 46193 2781.48/2789.58 c #Conflicts: 694000 | #Constraints: 47193 2781.48/2789.58 c #Conflicts: 695000 | #Constraints: 48193 2781.48/2789.58 c #Conflicts: 696000 | #Constraints: 49193 2781.48/2789.58 c #Conflicts: 697000 | #Constraints: 50193 2781.48/2789.58 c #Conflicts: 698000 | #Constraints: 51193 2781.48/2789.58 c #Conflicts: 699000 | #Constraints: 52193 2781.48/2789.58 c #Conflicts: 700000 | #Constraints: 53193 2781.48/2789.58 c #Conflicts: 701000 | #Constraints: 54193 2781.48/2789.58 c #Conflicts: 702000 | #Constraints: 55193 2781.48/2789.58 c #Conflicts: 703000 | #Constraints: 56193 2781.48/2789.58 c #Conflicts: 704000 | #Constraints: 57193 2781.48/2789.58 c #Conflicts: 705000 | #Constraints: 58193 2781.48/2789.58 c #Conflicts: 706000 | #Constraints: 59193 2781.48/2789.58 c #Conflicts: 707000 | #Constraints: 60193 2781.48/2789.58 c #Conflicts: 708000 | #Constraints: 61194 2781.48/2789.58 c #Conflicts: 709000 | #Constraints: 62194 2781.48/2789.58 c #Conflicts: 710000 | #Constraints: 63194 2781.48/2789.58 c #Conflicts: 711000 | #Constraints: 64194 2781.48/2789.58 c #Conflicts: 712000 | #Constraints: 65194 2781.48/2789.58 c INPROCESSING 2781.48/2789.58 c GARBAGE COLLECT 2781.48/2789.58 c rational objective 148 3155.19/3164.23 c #Conflicts: 713000 | #Constraints: 36592 3155.19/3164.23 c #Conflicts: 714000 | #Constraints: 37592 3155.19/3164.23 c #Conflicts: 715000 | #Constraints: 38592 3155.19/3164.23 c #Conflicts: 716000 | #Constraints: 39592 3155.19/3164.23 c #Conflicts: 717000 | #Constraints: 40592 3155.19/3164.23 c #Conflicts: 718000 | #Constraints: 41592 3155.19/3164.23 c #Conflicts: 719000 | #Constraints: 42592 3155.19/3164.23 c #Conflicts: 720000 | #Constraints: 43593 3155.19/3164.23 c #Conflicts: 721000 | #Constraints: 44593 3155.19/3164.23 c #Conflicts: 722000 | #Constraints: 45593 3155.19/3164.23 c #Conflicts: 723000 | #Constraints: 46594 3155.19/3164.23 c #Conflicts: 724000 | #Constraints: 47594 3155.19/3164.23 c #Conflicts: 725000 | #Constraints: 48594 3155.19/3164.23 c #Conflicts: 726000 | #Constraints: 49594 3155.19/3164.23 c #Conflicts: 727000 | #Constraints: 50594 3155.19/3164.23 c #Conflicts: 728000 | #Constraints: 51594 3155.19/3164.23 c #Conflicts: 729000 | #Constraints: 52594 3155.19/3164.23 c #Conflicts: 730000 | #Constraints: 53594 3155.19/3164.23 c #Conflicts: 731000 | #Constraints: 54595 3155.19/3164.23 c #Conflicts: 732000 | #Constraints: 55595 3155.19/3164.23 c #Conflicts: 733000 | #Constraints: 56595 3155.19/3164.23 c #Conflicts: 734000 | #Constraints: 57595 3155.19/3164.23 c #Conflicts: 735000 | #Constraints: 58595 3155.19/3164.23 c #Conflicts: 736000 | #Constraints: 59595 3155.19/3164.23 c bounds 192 >= 148 @ 2868.76 3155.19/3164.23 c #Conflicts: 737000 | #Constraints: 60596 3155.19/3164.23 c #Conflicts: 738000 | #Constraints: 61596 3155.19/3164.23 c #Conflicts: 739000 | #Constraints: 62596 3155.19/3164.23 c #Conflicts: 740000 | #Constraints: 63596 3155.19/3164.23 c #Conflicts: 741000 | #Constraints: 64596 3155.19/3164.23 c #Conflicts: 742000 | #Constraints: 65596 3155.19/3164.23 c #Conflicts: 743000 | #Constraints: 66596 3155.19/3164.23 c #Conflicts: 744000 | #Constraints: 67596 3155.19/3164.23 c #Conflicts: 745000 | #Constraints: 68596 3155.19/3164.23 c #Conflicts: 746000 | #Constraints: 69596 3155.19/3164.23 c #Conflicts: 747000 | #Constraints: 70596 3155.19/3164.23 c #Conflicts: 748000 | #Constraints: 71596 3155.19/3164.23 c #Conflicts: 749000 | #Constraints: 72596 3155.19/3164.23 c #Conflicts: 750000 | #Constraints: 73596 3155.19/3164.23 c #Conflicts: 751000 | #Constraints: 74596 3155.19/3164.23 c #Conflicts: 752000 | #Constraints: 75596 3155.19/3164.23 c #Conflicts: 753000 | #Constraints: 76596 3155.19/3164.23 c #Conflicts: 754000 | #Constraints: 77596 3155.19/3164.23 c #Conflicts: 755000 | #Constraints: 78596 3155.19/3164.23 c #Conflicts: 756000 | #Constraints: 79596 3155.19/3164.23 c #Conflicts: 757000 | #Constraints: 80596 3155.19/3164.23 c #Conflicts: 758000 | #Constraints: 81596 3155.19/3164.23 c #Conflicts: 759000 | #Constraints: 82596 3155.19/3164.23 c #Conflicts: 760000 | #Constraints: 83596 3155.19/3164.23 c #Conflicts: 761000 | #Constraints: 84596 3155.19/3164.23 c #Conflicts: 762000 | #Constraints: 85596 3155.19/3164.23 c #Conflicts: 763000 | #Constraints: 86596 3155.19/3164.23 c #Conflicts: 764000 | #Constraints: 87596 3155.19/3164.23 c #Conflicts: 765000 | #Constraints: 88596 3155.19/3164.23 c #Conflicts: 766000 | #Constraints: 89596 3155.19/3164.23 c #Conflicts: 767000 | #Constraints: 90596 3155.19/3164.23 c #Conflicts: 768000 | #Constraints: 91596 3155.19/3164.23 c #Conflicts: 769000 | #Constraints: 92596 3155.19/3164.23 c #Conflicts: 770000 | #Constraints: 93596 3155.19/3164.23 c #Conflicts: 771000 | #Constraints: 94596 3155.19/3164.23 c #Conflicts: 772000 | #Constraints: 95596 3155.19/3164.23 c #Conflicts: 773000 | #Constraints: 96596 3155.19/3164.23 c #Conflicts: 774000 | #Constraints: 97596 3155.19/3164.23 c INPROCESSING 3155.19/3164.23 c GARBAGE COLLECT 3155.19/3164.23 c rational objective 148 3444.01/3453.84 c #Conflicts: 775000 | #Constraints: 50524 3444.01/3453.84 c #Conflicts: 776000 | #Constraints: 51524 3444.01/3453.84 c #Conflicts: 777000 | #Constraints: 52524 3444.01/3453.84 c #Conflicts: 778000 | #Constraints: 53524 3444.01/3453.84 c #Conflicts: 779000 | #Constraints: 54524 3444.01/3453.84 c #Conflicts: 780000 | #Constraints: 55524 3444.01/3453.84 c #Conflicts: 781000 | #Constraints: 56524 3444.01/3453.84 c #Conflicts: 782000 | #Constraints: 57524 3444.01/3453.84 c #Conflicts: 783000 | #Constraints: 58524 3444.01/3453.84 c #Conflicts: 784000 | #Constraints: 59524 3444.01/3453.84 c #Conflicts: 785000 | #Constraints: 60524 3444.01/3453.84 c #Conflicts: 786000 | #Constraints: 61524 3444.01/3453.84 c #Conflicts: 787000 | #Constraints: 62524 3444.01/3453.84 c #Conflicts: 788000 | #Constraints: 63524 3444.01/3453.84 c #Conflicts: 789000 | #Constraints: 64524 3444.01/3453.84 c #Conflicts: 790000 | #Constraints: 65524 3444.01/3453.84 c #Conflicts: 791000 | #Constraints: 66524 3444.01/3453.84 c #Conflicts: 792000 | #Constraints: 67524 3444.01/3453.84 c #Conflicts: 793000 | #Constraints: 68524 3444.01/3453.84 c #Conflicts: 794000 | #Constraints: 69524 3444.01/3453.84 c #Conflicts: 795000 | #Constraints: 70524 3444.01/3453.84 c INPROCESSING 3444.01/3453.84 c GARBAGE COLLECT 3444.01/3453.84 c rational objective 148 3600.09/3610.30 c #Conflicts: 796000 | #Constraints: 39204 3600.09/3610.30 c #Conflicts: 797000 | #Constraints: 40204 3600.09/3610.30 c #Conflicts: 798000 | #Constraints: 41204 3600.09/3610.30 c #Conflicts: 799000 | #Constraints: 42204 3600.09/3610.30 c #Conflicts: 800000 | #Constraints: 43204 3600.09/3610.30 c #Conflicts: 801000 | #Constraints: 44204 3600.09/3610.30 c #Conflicts: 802000 | #Constraints: 45205 3600.09/3610.30 c #Conflicts: 803000 | #Constraints: 46205 3600.09/3610.30 c #Conflicts: 804000 | #Constraints: 47205 3600.09/3610.30 c #Conflicts: 805000 | #Constraints: 48205 3600.09/3610.30 c #Conflicts: 806000 | #Constraints: 49205 3600.09/3610.30 c #Conflicts: 807000 | #Constraints: 50205 3600.09/3610.30 c #Conflicts: 808000 | #Constraints: 51205 3600.09/3610.30 c #Conflicts: 809000 | #Constraints: 52205 3600.09/3610.30 c #Conflicts: 810000 | #Constraints: 53208 3600.09/3610.30 c #Conflicts: 811000 | #Constraints: 54208 3600.09/3610.30 c #Conflicts: 812000 | #Constraints: 55208 3600.09/3610.30 c #Conflicts: 813000 | #Constraints: 56208 3600.09/3610.30 c #Conflicts: 814000 | #Constraints: 57208 3600.09/3610.30 c #Conflicts: 815000 | #Constraints: 58208 3600.09/3610.30 c #Conflicts: 816000 | #Constraints: 59208 3600.09/3610.30 c #Conflicts: 817000 | #Constraints: 60208 3600.09/3610.30 c #Conflicts: 818000 | #Constraints: 61208 3600.09/3610.30 c #Conflicts: 819000 | #Constraints: 62208 3600.09/3610.30 c #Conflicts: 820000 | #Constraints: 63208 3600.09/3610.30 c #Conflicts: 821000 | #Constraints: 64208 3600.09/3610.30 c #Conflicts: 822000 | #Constraints: 65208 3600.09/3610.30 c #Conflicts: 823000 | #Constraints: 66208 3600.09/3610.30 c #Conflicts: 824000 | #Constraints: 67208 3600.09/3610.30 c #Conflicts: 825000 | #Constraints: 68209 3600.09/3610.30 c #Conflicts: 826000 | #Constraints: 69209 3600.09/3610.30 c #Conflicts: 827000 | #Constraints: 70209 3600.09/3610.30 c Program interrupted by user. 3600.09/3610.30 c cpu time 3581.2 s 3600.09/3610.30 c deterministic time 347909158918 3.48e+11 3600.09/3610.30 c optimization time 155.398 s 3600.09/3610.30 c total solve time 3425.79 s 3600.09/3610.30 c core-guided solve time 2058.14 s 3600.09/3610.30 c propagation time 3075.38 s 3600.09/3610.30 c conflict analysis time 468.937 s 3600.09/3610.30 c propagations 113196810 3600.09/3610.30 c resolve steps 7428992 3600.09/3610.30 c decisions 5696513 3600.09/3610.30 c conflicts 827524 3600.09/3610.30 c restarts 1787 3600.09/3610.30 c inprocessing phases 46 3600.09/3610.30 c input clauses 310 3600.09/3610.30 c input cardinalities 328 3600.09/3610.30 c input general constraints 894 3600.09/3610.30 c input average constraint length 62.28 3600.09/3610.30 c input average constraint degree 23.59 3600.09/3610.30 c learned clauses 293851 3600.09/3610.30 c learned cardinalities 5544 3600.09/3610.30 c learned general constraints 528151 3600.09/3610.30 c learned average constraint length 185.52 3600.09/3610.30 c learned average constraint degree 6721013.95 3600.09/3610.30 c watched constraints 359682 3600.09/3610.30 c counting constraints 169363 3600.09/3610.30 c gcd simplifications 107539 3600.09/3610.30 c detected cardinalities 2608 3600.09/3610.30 c weakened non-implied lits 35436998 3600.09/3610.30 c weakened non-implying lits 74716 3600.09/3610.30 c original variables 470 3600.09/3610.30 c clausal propagations 13755804 3600.09/3610.30 c cardinality propagations 7168747 3600.09/3610.30 c watched propagations 16699457 3600.09/3610.30 c counting propagations 73757751 3600.09/3610.30 c watch lookups 61712011740 3600.09/3610.30 c watch backjump lookups 55171915184 3600.09/3610.30 c watch checks 211942161767 3600.09/3610.30 c propagation checks 18219887037 3600.09/3610.30 c constraint additions 623715033 3600.09/3610.30 c trail pops 119720351 3600.09/3610.30 c formula constraints 470 3600.09/3610.30 c learned constraints 827526 3600.09/3610.30 c bound constraints 181 3600.09/3610.30 c core-guided constraints 881 3600.09/3610.30 c encountered formula constraints 1341809 3600.09/3610.30 c encountered learned constraints 5867275 3600.09/3610.30 c encountered bound constraints 95 3600.09/3610.30 c encountered core-guided constraints 1047269 3600.09/3610.30 c LP total time 42.0061 s 3600.09/3610.30 c LP solve time 40.4 s 3600.09/3610.30 c LP constraints added 470 3600.09/3610.30 c LP constraints removed 0 3600.09/3610.30 c LP pivots internal 827555 3600.09/3610.30 c LP pivots root 26927 3600.09/3610.30 c LP calls 14495 3600.09/3610.30 c LP optimalities 14482 3600.09/3610.30 c LP no pivot count 798 3600.09/3610.30 c LP infeasibilities 10 3600.09/3610.30 c LP valid Farkas constraints 10 3600.09/3610.30 c LP learned Farkas constraints 10 3600.09/3610.30 c LP basis resets 0 3600.09/3610.30 c LP cycling count 0 3600.09/3610.30 c LP singular count 0 3600.09/3610.30 c LP no primal count 0 3600.09/3610.30 c LP no farkas count 0 3600.09/3610.30 c LP other issue count 0 3600.09/3610.30 c LP Gomory cuts 0 3600.09/3610.30 c LP learned cuts 0 3600.09/3610.30 c LP deleted cuts 0 3600.09/3610.30 c LP encountered Gomory constraints 0 3600.09/3610.30 c LP encountered Farkas constraints 45 3600.09/3610.30 c LP encountered learned Farkas constraints 13 3600.09/3610.30 c CG auxiliary variables introduced 343 3600.09/3610.30 c CG solutions found 33 3600.09/3610.30 c CG cores constructed 148 3600.09/3610.30 c CG core cardinality constraints returned 0 3600.09/3610.30 c CG unit cores 0 3600.09/3610.30 c CG single cores 148 3600.09/3610.30 c CG blocks removed during cardinality reduction 0 3600.09/3610.30 c CG first core best 0 3600.09/3610.30 c CG decision core best 0 3600.09/3610.30 c CG core reduction tie 0 3600.09/3610.30 c CG core degree average 1.00 3600.09/3610.30 c CG core slack average 4.01 3600.09/3610.30 s SATISFIABLE 3600.09/3610.30 v x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 x68 x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 x92 -x93 x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x121 x122 x123 -x124 x125 x126 x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 -x167 x168 -x169 -x170 x171 x172 -x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 x242 -x243 x244 x245 -x246 -x247 x248 x249 x250 x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 x272 x273 -x274 x275 -x276 -x277 x278 -x279 x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 -x291 -x292 x293 x294 x295 x296 x297 x298 x299 x300 -x301 -x
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: 64059 MiB (24627 MiB free)
memory of node 1: 64510 MiB (59158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460163-1722064838/watcher-4460163-1722064838 -o /tmp/evaluation-result-4460163-1722064838/solver-4460163-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460163-1722064838 --lp-cut-gomory=0 HOME/instance-4460163-1722064838.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=359191, runsolver pid=359182
[startup+0.100096 s]*
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85788468/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=38852 memory=8704 CPUtime=0.09 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 606 0 0 0 9 0 0 0 20 0 1 0 42473375 39784448 2176 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 9713 2176 1783 992 0 1571 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38852 KiB
Current children cumulated memory: 8704 KiB
[startup+0.214537 s]*
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85787108/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=39184 memory=8964 CPUtime=0.21 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 674 0 0 0 20 1 0 0 20 0 1 0 42473375 40124416 2241 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 9796 2241 1783 992 0 1654 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 8964 KiB
[startup+0.314243 s]*
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85786608/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=39184 memory=8964 CPUtime=0.3 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 680 0 0 0 29 1 0 0 20 0 1 0 42473375 40124416 2241 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 9796 2241 1783 992 0 1654 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 8964 KiB
[startup+0.700263 s]
/proc/loadavg: 0.04 0.08 0.08 6/245 359200
/proc/meminfo: memFree=85779772/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=40876 memory=12176 CPUtime=0.67 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 1437 0 0 0 60 7 0 0 20 0 1 0 42473375 41857024 3044 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 10219 3044 1831 992 0 2077 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 40876 KiB
Current children cumulated memory: 12176 KiB
[startup+1.50027 s]
/proc/loadavg: 0.04 0.08 0.08 7/245 359200
/proc/meminfo: memFree=85749880/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=43360 memory=17008 CPUtime=1.47 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 2132 0 0 0 136 11 0 0 20 0 1 0 42473375 44400640 4252 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 10840 4252 1894 992 0 2698 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 43360 KiB
Current children cumulated memory: 17008 KiB
[startup+3.11299 s]
/proc/loadavg: 0.36 0.15 0.11 7/245 359200
/proc/meminfo: memFree=85692000/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=49792 memory=21104 CPUtime=3.08 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 3272 0 0 0 291 17 0 0 20 0 1 0 42473375 50987008 5276 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 12448 5276 1894 992 0 4306 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 49792 KiB
Current children cumulated memory: 21104 KiB
[startup+6.30026 s]
/proc/loadavg: 0.36 0.15 0.11 7/250 359207
/proc/meminfo: memFree=85609852/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=59024 memory=28384 CPUtime=6.25 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 4557 0 0 0 594 31 0 0 20 0 1 0 42473375 60440576 7096 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 14756 7096 1894 992 0 6614 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 59024 KiB
Current children cumulated memory: 28384 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.31 0.16 6/250 359207
/proc/meminfo: memFree=85458040/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=62672 memory=34388 CPUtime=12.64 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 5517 0 0 0 1210 54 0 0 20 0 1 0 42473375 64176128 8597 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 15668 8597 1894 992 0 7526 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 62672 KiB
Current children cumulated memory: 34388 KiB
[startup+25.5003 s]
/proc/loadavg: 1.52 0.43 0.20 6/250 359208
/proc/meminfo: memFree=85215700/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=99448 memory=69544 CPUtime=25.4 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 10278 0 0 0 2456 84 0 0 20 0 1 0 42473375 101834752 17386 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 24862 17386 1894 992 0 16720 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99448 KiB
Current children cumulated memory: 69544 KiB
[startup+51.113 s]
/proc/loadavg: 2.37 0.72 0.30 7/250 359214
/proc/meminfo: memFree=84906188/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=125016 memory=81528 CPUtime=50.92 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 12240 0 0 0 4960 132 0 0 20 0 1 0 42473375 128016384 20382 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 31254 20382 1894 992 0 23112 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 125016 KiB
Current children cumulated memory: 81528 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.30 0.53 6/250 359222
/proc/meminfo: memFree=84442816/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=132804 memory=87316 CPUtime=101.92 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 13694 0 0 0 9970 222 0 0 20 0 1 0 42473375 135991296 21829 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 33201 21829 1894 992 0 25059 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 132804 KiB
Current children cumulated memory: 87316 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.81 0.75 6/250 359232
/proc/meminfo: memFree=84009912/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=200876 memory=140824 CPUtime=161.72 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 22491 0 0 0 15897 275 0 0 20 0 1 0 42473375 205697024 35206 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 50219 35206 1894 992 0 42077 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 200876 KiB
Current children cumulated memory: 140824 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.96 7/250 359243
/proc/meminfo: memFree=83679412/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=200876 memory=141352 CPUtime=221.56 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 22586 0 0 0 21812 344 0 0 20 0 1 0 42473375 205697024 35338 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 50219 35338 1894 992 0 42077 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 200876 KiB
Current children cumulated memory: 141352 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.57 1.16 6/250 359253
/proc/meminfo: memFree=83350140/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=203184 memory=145692 CPUtime=281.35 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 23327 0 0 0 27738 397 0 0 20 0 1 0 42473375 208060416 36423 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 50796 36423 1894 992 0 42654 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 203184 KiB
Current children cumulated memory: 145692 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 7/247 359646
/proc/meminfo: memFree=82938156/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=203184 memory=153916 CPUtime=341.14 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 23445 0 0 0 33656 458 0 0 20 0 1 0 42473375 208060416 38479 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 50796 38479 1894 992 0 42654 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 203184 KiB
Current children cumulated memory: 153916 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.12 1.54 7/247 359657
/proc/meminfo: memFree=82709460/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=203184 memory=153920 CPUtime=400.98 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 23502 0 0 0 39595 503 0 0 20 0 1 0 42473375 208060416 38480 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 50796 38480 1894 992 0 42654 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 203184 KiB
Current children cumulated memory: 153920 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.31 1.71 6/247 359667
/proc/meminfo: memFree=82399124/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=207552 memory=156560 CPUtime=460.82 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 24485 0 0 0 45523 559 0 0 20 0 1 0 42473375 212533248 39140 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 51888 39140 1894 992 0 43746 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.02 6/248 360951
/proc/meminfo: memFree=75792548/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483452 memory=368512 CPUtime=3153.3 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 55515 0 0 0 313581 1749 0 0 20 0 1 0 42473375 495054848 92128 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120863 92128 1910 992 0 112721 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 483452 KiB
Current children cumulated memory: 368512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 7/247 360961
/proc/meminfo: memFree=75685332/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=369172 CPUtime=3213.14 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56044 0 0 0 319549 1765 0 0 20 0 1 0 42473375 495443968 92293 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 92293 1910 992 0 112816 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 369172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.02 6/247 360973
/proc/meminfo: memFree=75588032/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=369172 CPUtime=3272.98 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56165 0 0 0 325519 1779 0 0 20 0 1 0 42473375 495443968 92293 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 92293 1910 992 0 112816 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 369172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.02 7/245 360983
/proc/meminfo: memFree=75481480/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384224 CPUtime=3332.81 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56307 0 0 0 331487 1794 0 0 20 0 1 0 42473375 495443968 96056 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96056 1910 992 0 112816 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/247 360995
/proc/meminfo: memFree=75408160/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384224 CPUtime=3392.65 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56452 0 0 0 337456 1809 0 0 20 0 1 0 42473375 495443968 96056 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96056 1910 992 0 112816 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.02 7/247 361005
/proc/meminfo: memFree=75328576/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384224 CPUtime=3452.49 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56620 0 0 0 343422 1827 0 0 20 0 1 0 42473375 495443968 96056 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96056 1910 992 0 112816 0
Current children cumulated CPU time: 3452.49 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.02 6/247 361016
/proc/meminfo: memFree=75222932/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3512.33 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56764 0 0 0 349375 1858 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.11 4.03 7/247 361026
/proc/meminfo: memFree=75124112/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3572.17 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56923 0 0 0 355336 1881 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/246 361049
/proc/meminfo: memFree=75458672/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.09 cores=1,3
/proc/359191/stat : 359191 (roundingsat) R 359182 359191 359127 0 -1 4194304 56959 0 0 0 358119 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 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.12 4.10 4.03 2/242 361061
/proc/meminfo: memFree=75458524/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.1 cores=1,3
/proc/359191/stat : 359191 (roundingsat) D 359182 359191 359127 0 -1 4194304 56965 0 0 0 358120 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
??? kill 359191 sig 9
??? end of watcher thread
[startup+3614.26 s]
# the end of solver process 359191 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3581.2 s, system=18.9097 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.13 4.10 4.03 4/243 361061
/proc/meminfo: memFree=75458808/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.1 cores=1,3
/proc/359191/stat : 359191 (roundingsat) D 359182 359191 359127 0 -1 4194304 56965 0 0 0 358120 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
[startup+3612 s]*
/proc/loadavg: 4.12 4.10 4.03 3/243 361061
/proc/meminfo: memFree=75458596/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.1 cores=1,3
/proc/359191/stat : 359191 (roundingsat) D 359182 359191 359127 0 -1 4194304 56965 0 0 0 358120 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
[startup+3612.2 s]
/proc/loadavg: 4.12 4.10 4.03 3/243 361061
/proc/meminfo: memFree=75458596/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.1 cores=1,3
/proc/359191/stat : 359191 (roundingsat) D 359182 359191 359127 0 -1 4194304 56965 0 0 0 358120 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
[startup+3612.3 s]
/proc/loadavg: 4.12 4.10 4.03 3/243 361061
/proc/meminfo: memFree=75458596/131655788 swapFree=131058856/131071996
[pid=359191] ppid=359182 vsize=483832 memory=384316 CPUtime=3600.1 cores=1,3
/proc/359191/stat : 359191 (roundingsat) D 359182 359191 359127 0 -1 4194304 56965 0 0 0 358120 1890 0 0 20 0 1 0 42473375 495443968 96079 134679101440 4194304 8254357 140730762171392 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 38150144 140730762175323 140730762175585 140730762175585 140730762182601 0
/proc/359191/statm: 120958 96079 1910 992 0 112816 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 483832 KiB
Current children cumulated memory: 384316 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.26
CPU time (s): 3600.11
CPU user time (s): 3581.2
CPU system time (s): 18.9097
CPU usage (%): 99.6084
Max. virtual memory (cumulated for all children) (KiB): 485340
Max. memory (cumulated for all children) (KiB): 384316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.2
system time used= 18.9097
maximum resident set size= 384652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56965
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4405936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 4872
# summary of solver processes directly reported to runsolver:
# pid: 359191
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.2
# total CPU system time (s): 18.9097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.339 second user time and 35.2977 second system time
The end
Begin job on nodeC010 at 2024-07-27 09:20:38 IDJOB=4460163 IDBENCH=147548 IDSOLVER=3086 FILE ID=nodeC010/4460163-1722064838 RUNJOBID= nodeC010-1722064838-359139 SLURM_JOB_ID= 8248112 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.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-4460163-1722064838/watcher-4460163-1722064838 -o /tmp/evaluation-result-4460163-1722064838/solver-4460163-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359139 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460163-1722064838 --lp-cut-gomory=0 HOME/instance-4460163-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d RANDOM SEED=1957297555 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.211 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.223 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.214 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.209 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.215 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85799180 kB MemAvailable: 129804796 kB Buffers: 362196 kB Cached: 43969960 kB SwapCached: 192 kB Active: 2303828 kB Inactive: 42333768 kB Active(anon): 1924 kB Inactive(anon): 357040 kB Active(file): 2301904 kB Inactive(file): 41976728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22880 kB Writeback: 0 kB AnonPages: 305384 kB Mapped: 101212 kB Shmem: 53520 kB KReclaimable: 788728 kB Slab: 910396 kB SReclaimable: 788728 kB SUnreclaim: 121668 kB KernelStack: 3696 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 677260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723752 MiB End job on nodeC010 at 2024-07-27 10:20:53