| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 195 | 3600.05 | 3610.15 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| 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 | 20 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.47 c #variables 470 #constraints 470 0.12/0.65 c bounds - >= 0 @ 0.003292 0.12/0.65 c bounds 224 >= 0 @ 0.132299 0.12/0.65 c bounds 224 >= 1 @ 0.132299 0.12/0.65 c bounds 224 >= 2 @ 0.132299 0.12/0.65 c bounds 224 >= 3 @ 0.132299 0.12/0.65 c bounds 224 >= 4 @ 0.132299 0.12/0.65 c bounds 224 >= 5 @ 0.132299 0.12/0.65 c bounds 224 >= 6 @ 0.132299 0.12/0.65 c bounds 224 >= 7 @ 0.132299 0.12/0.65 c bounds 224 >= 8 @ 0.132299 0.12/0.65 c bounds 224 >= 9 @ 0.132299 0.12/0.65 c bounds 224 >= 10 @ 0.132299 0.12/0.65 c bounds 224 >= 11 @ 0.132299 0.12/0.65 c bounds 224 >= 12 @ 0.132299 0.12/0.65 c bounds 224 >= 13 @ 0.132316 0.12/0.65 c bounds 224 >= 14 @ 0.132387 0.12/0.65 c bounds 224 >= 15 @ 0.13246 0.12/0.65 c bounds 224 >= 16 @ 0.13253 0.12/0.65 c bounds 224 >= 17 @ 0.132617 0.12/0.65 c bounds 224 >= 18 @ 0.13269 0.12/0.65 c bounds 224 >= 19 @ 0.132761 0.12/0.65 c bounds 224 >= 20 @ 0.132832 0.12/0.65 c bounds 224 >= 21 @ 0.132905 0.12/0.65 c bounds 224 >= 22 @ 0.132978 0.12/0.65 c bounds 224 >= 23 @ 0.133063 0.12/0.65 c bounds 224 >= 24 @ 0.133177 0.12/0.65 c bounds 224 >= 25 @ 0.133278 0.12/0.65 c bounds 224 >= 26 @ 0.133379 0.12/0.65 c bounds 224 >= 27 @ 0.133462 0.12/0.65 c bounds 224 >= 28 @ 0.133541 0.12/0.65 c bounds 224 >= 29 @ 0.133638 0.12/0.65 c bounds 223 >= 29 @ 0.152037 0.12/0.65 c bounds 223 >= 30 @ 0.152144 0.12/0.65 c bounds 223 >= 31 @ 0.152238 0.12/0.65 c bounds 223 >= 32 @ 0.152256 0.12/0.65 c bounds 223 >= 33 @ 0.152256 0.12/0.65 c bounds 223 >= 34 @ 0.152256 0.12/0.65 c bounds 223 >= 35 @ 0.152256 0.12/0.65 c bounds 223 >= 36 @ 0.152256 0.12/0.65 c bounds 223 >= 37 @ 0.152256 0.12/0.65 c bounds 223 >= 38 @ 0.152256 0.12/0.65 c bounds 223 >= 39 @ 0.152256 0.12/0.65 c bounds 223 >= 40 @ 0.152256 0.12/0.65 c bounds 223 >= 41 @ 0.152257 0.12/0.65 c bounds 223 >= 42 @ 0.152257 0.12/0.65 c bounds 223 >= 43 @ 0.152257 0.12/0.65 c bounds 223 >= 44 @ 0.152257 0.12/0.65 c bounds 223 >= 45 @ 0.152257 0.12/0.65 c bounds 223 >= 46 @ 0.152257 0.12/0.65 c bounds 223 >= 47 @ 0.152257 0.12/0.65 c bounds 223 >= 48 @ 0.152257 0.12/0.65 c bounds 223 >= 49 @ 0.152378 0.12/0.65 c bounds 223 >= 50 @ 0.152481 0.12/0.65 c bounds 223 >= 51 @ 0.1526 0.12/0.65 c bounds 223 >= 52 @ 0.15272 0.12/0.65 c bounds 223 >= 53 @ 0.152841 0.12/0.65 c bounds 223 >= 54 @ 0.152958 0.12/0.65 c bounds 223 >= 55 @ 0.15308 0.12/0.65 c bounds 223 >= 56 @ 0.153209 0.12/0.65 c bounds 223 >= 57 @ 0.153257 0.12/0.65 c bounds 223 >= 58 @ 0.153257 0.12/0.65 c bounds 223 >= 59 @ 0.153257 0.12/0.65 c bounds 223 >= 60 @ 0.153257 0.12/0.65 c bounds 223 >= 61 @ 0.153257 0.12/0.65 c bounds 223 >= 62 @ 0.153257 0.12/0.65 c bounds 223 >= 63 @ 0.153257 0.12/0.65 c bounds 223 >= 64 @ 0.15326 0.12/0.65 c bounds 223 >= 65 @ 0.15326 0.12/0.65 c bounds 223 >= 66 @ 0.15326 0.12/0.65 c bounds 223 >= 67 @ 0.15326 0.12/0.65 c bounds 223 >= 68 @ 0.15326 0.12/0.65 c bounds 223 >= 69 @ 0.15326 0.12/0.65 c bounds 223 >= 70 @ 0.15326 0.12/0.65 c bounds 223 >= 71 @ 0.153431 0.12/0.65 c bounds 223 >= 72 @ 0.153594 0.12/0.65 c bounds 223 >= 73 @ 0.153742 0.12/0.65 c bounds 223 >= 74 @ 0.153911 0.12/0.65 c bounds 223 >= 75 @ 0.154075 0.12/0.65 c bounds 223 >= 76 @ 0.154221 0.12/0.65 c bounds 223 >= 77 @ 0.154246 0.12/0.65 c bounds 223 >= 78 @ 0.154246 0.12/0.65 c bounds 223 >= 79 @ 0.154246 0.12/0.65 c bounds 223 >= 80 @ 0.154246 0.12/0.65 c bounds 223 >= 81 @ 0.154246 0.12/0.65 c bounds 223 >= 82 @ 0.154246 0.12/0.65 c bounds 223 >= 83 @ 0.154251 0.12/0.65 c bounds 223 >= 84 @ 0.154251 0.12/0.65 c bounds 223 >= 85 @ 0.154251 0.12/0.65 c bounds 223 >= 86 @ 0.154251 0.12/0.65 c bounds 223 >= 87 @ 0.154251 0.12/0.65 c bounds 223 >= 88 @ 0.154251 0.12/0.65 c bounds 223 >= 89 @ 0.154253 0.12/0.65 c bounds 223 >= 90 @ 0.154253 0.12/0.65 c bounds 223 >= 91 @ 0.154253 0.12/0.65 c bounds 223 >= 92 @ 0.154253 0.12/0.65 c bounds 223 >= 93 @ 0.154253 0.12/0.65 c bounds 223 >= 94 @ 0.154253 0.12/0.65 c bounds 223 >= 95 @ 0.154253 0.12/0.65 c bounds 223 >= 96 @ 0.154255 0.12/0.65 c bounds 223 >= 97 @ 0.154255 0.12/0.65 c bounds 223 >= 98 @ 0.154255 0.12/0.65 c bounds 223 >= 99 @ 0.154255 0.12/0.65 c bounds 223 >= 100 @ 0.154255 0.12/0.65 c bounds 223 >= 101 @ 0.154255 0.12/0.65 c bounds 223 >= 102 @ 0.154257 0.12/0.65 c bounds 223 >= 103 @ 0.154257 0.12/0.65 c bounds 223 >= 104 @ 0.154257 0.12/0.65 c bounds 223 >= 105 @ 0.154257 0.12/0.65 c bounds 223 >= 106 @ 0.154257 0.12/0.65 c bounds 223 >= 107 @ 0.154257 0.12/0.65 c bounds 223 >= 108 @ 0.15444 0.12/0.65 c bounds 223 >= 109 @ 0.154622 0.12/0.65 c bounds 223 >= 110 @ 0.154795 0.12/0.65 c bounds 223 >= 111 @ 0.154981 0.12/0.65 c bounds 223 >= 112 @ 0.155171 0.12/0.65 c bounds 223 >= 113 @ 0.155256 0.12/0.65 c bounds 223 >= 114 @ 0.155256 0.12/0.65 c bounds 223 >= 115 @ 0.155256 0.12/0.65 c bounds 223 >= 116 @ 0.155256 0.12/0.65 c bounds 223 >= 117 @ 0.155256 0.12/0.65 c bounds 223 >= 118 @ 0.155331 0.12/0.65 c bounds 223 >= 119 @ 0.155495 0.12/0.65 c bounds 223 >= 120 @ 0.155675 0.12/0.65 c bounds 223 >= 121 @ 0.15586 0.12/0.65 c bounds 223 >= 122 @ 0.156037 0.12/0.65 c bounds 223 >= 123 @ 0.156217 0.12/0.65 c bounds 223 >= 124 @ 0.156255 0.12/0.65 c bounds 223 >= 125 @ 0.156255 0.12/0.65 c bounds 223 >= 126 @ 0.156255 0.12/0.65 c bounds 223 >= 127 @ 0.156255 0.12/0.65 c bounds 223 >= 128 @ 0.156257 0.12/0.65 c bounds 223 >= 129 @ 0.156257 0.12/0.65 c bounds 223 >= 130 @ 0.156257 0.12/0.65 c bounds 223 >= 131 @ 0.156257 0.12/0.65 c bounds 223 >= 132 @ 0.156259 0.12/0.65 c bounds 223 >= 133 @ 0.156259 0.12/0.65 c bounds 223 >= 134 @ 0.156259 0.92/1.41 c bounds 223 >= 135 @ 0.156581 0.92/1.41 c bounds 223 >= 136 @ 0.157245 0.92/1.41 c bounds 223 >= 137 @ 0.157636 0.92/1.41 c bounds 223 >= 138 @ 0.158411 0.92/1.41 c bounds 223 >= 139 @ 0.159149 0.92/1.41 c bounds 223 >= 140 @ 0.160249 0.92/1.41 c bounds 223 >= 141 @ 0.161146 0.92/1.41 c bounds 223 >= 142 @ 0.164475 0.92/1.41 c bounds 222 >= 142 @ 0.174214 0.92/1.41 c bounds 222 >= 143 @ 0.175215 0.92/1.41 c bounds 222 >= 144 @ 0.183196 0.92/1.41 c bounds 221 >= 144 @ 0.183613 0.92/1.41 c bounds 220 >= 144 @ 0.189275 0.92/1.41 c bounds 220 >= 145 @ 0.216484 0.92/1.41 c bounds 219 >= 145 @ 0.218324 0.92/1.41 c bounds 218 >= 145 @ 0.222364 0.92/1.41 c bounds 217 >= 145 @ 0.224679 0.92/1.41 c bounds 216 >= 145 @ 0.231847 0.92/1.41 c #Conflicts: 1000 | #Constraints: 2101 0.92/1.41 c bounds 215 >= 145 @ 0.347664 0.92/1.41 c #Conflicts: 2000 | #Constraints: 3102 0.92/1.41 c INPROCESSING 0.92/1.41 c GARBAGE COLLECT 0.92/1.41 c rational objective 138.905 2.52/3.08 c #Conflicts: 3000 | #Constraints: 3141 2.52/3.08 c bounds 214 >= 145 @ 1.17193 2.52/3.08 c #Conflicts: 4000 | #Constraints: 4142 2.52/3.08 c bounds 214 >= 146 @ 1.38535 2.52/3.08 c INPROCESSING 2.52/3.08 c GARBAGE COLLECT 2.52/3.08 c #Conflicts: 5000 | #Constraints: 3642 2.52/3.08 c #Conflicts: 6000 | #Constraints: 4642 2.52/3.08 c bounds 214 >= 147 @ 2.18176 2.52/3.08 c INPROCESSING 2.52/3.08 c GARBAGE COLLECT 2.52/3.08 c rational objective 138.905 3.81/4.33 c bounds 213 >= 147 @ 2.43879 3.81/4.33 c bounds 212 >= 147 @ 2.44418 3.81/4.33 c #Conflicts: 7000 | #Constraints: 3670 3.81/4.33 c #Conflicts: 8000 | #Constraints: 4670 3.81/4.33 c bounds 211 >= 147 @ 2.79686 3.81/4.33 c #Conflicts: 9000 | #Constraints: 5671 3.81/4.33 c INPROCESSING 3.81/4.33 c GARBAGE COLLECT 3.81/4.33 c rational objective 138.905 8.20/8.76 c #Conflicts: 10000 | #Constraints: 4363 8.20/8.76 c #Conflicts: 11000 | #Constraints: 5363 8.20/8.76 c #Conflicts: 12000 | #Constraints: 6363 8.20/8.76 c INPROCESSING 8.20/8.76 c GARBAGE COLLECT 8.20/8.76 c bounds 210 >= 147 @ 4.53295 8.20/8.76 c bounds 209 >= 147 @ 4.57375 8.20/8.76 c #Conflicts: 13000 | #Constraints: 4874 8.20/8.76 c #Conflicts: 14000 | #Constraints: 5874 8.20/8.76 c #Conflicts: 15000 | #Constraints: 6874 8.20/8.76 c INPROCESSING 8.20/8.76 c GARBAGE COLLECT 8.20/8.76 c #Conflicts: 16000 | #Constraints: 5065 8.20/8.76 c bounds 209 >= 148 @ 5.73924 8.20/8.76 c bounds 208 >= 148 @ 5.75361 8.20/8.76 c #Conflicts: 17000 | #Constraints: 6119 8.20/8.76 c #Conflicts: 18000 | #Constraints: 7119 8.20/8.76 c INPROCESSING 8.20/8.76 c GARBAGE COLLECT 8.20/8.76 c #Conflicts: 19000 | #Constraints: 5118 8.20/8.76 c #Conflicts: 20000 | #Constraints: 6118 8.20/8.76 c #Conflicts: 21000 | #Constraints: 7118 8.20/8.76 c INPROCESSING 8.20/8.76 c GARBAGE COLLECT 8.20/8.76 c rational objective 138.905 19.97/20.54 c #Conflicts: 22000 | #Constraints: 4978 19.97/20.54 c #Conflicts: 23000 | #Constraints: 5978 19.97/20.54 c #Conflicts: 24000 | #Constraints: 6978 19.97/20.54 c bounds 207 >= 148 @ 8.7913 19.97/20.54 c #Conflicts: 25000 | #Constraints: 7979 19.97/20.54 c #Conflicts: 26000 | #Constraints: 8979 19.97/20.54 c bounds 206 >= 148 @ 9.75491 19.97/20.54 c #Conflicts: 27000 | #Constraints: 9980 19.97/20.54 c #Conflicts: 28000 | #Constraints: 10980 19.97/20.54 c #Conflicts: 29000 | #Constraints: 11980 19.97/20.54 c #Conflicts: 30000 | #Constraints: 12980 19.97/20.54 c #Conflicts: 31000 | #Constraints: 13980 19.97/20.54 c #Conflicts: 32000 | #Constraints: 14980 19.97/20.54 c #Conflicts: 33000 | #Constraints: 15980 19.97/20.54 c INPROCESSING 19.97/20.54 c GARBAGE COLLECT 19.97/20.54 c rational objective 138.905 22.97/23.55 c #Conflicts: 34000 | #Constraints: 9566 22.97/23.55 c #Conflicts: 35000 | #Constraints: 10566 22.97/23.55 c #Conflicts: 36000 | #Constraints: 11566 22.97/23.55 c #Conflicts: 37000 | #Constraints: 12566 22.97/23.55 c #Conflicts: 38000 | #Constraints: 13566 22.97/23.55 c INPROCESSING 22.97/23.55 c GARBAGE COLLECT 22.97/23.55 c rational objective 138.905 25.56/26.19 c #Conflicts: 39000 | #Constraints: 8442 25.56/26.19 c #Conflicts: 40000 | #Constraints: 9442 25.56/26.19 c #Conflicts: 41000 | #Constraints: 10442 25.56/26.19 c #Conflicts: 42000 | #Constraints: 11442 25.56/26.19 c bounds 205 >= 148 @ 24.7957 25.56/26.19 c INPROCESSING 25.56/26.19 c GARBAGE COLLECT 25.56/26.19 c rational objective 138.905 28.05/28.64 c #Conflicts: 43000 | #Constraints: 6921 28.05/28.64 c #Conflicts: 44000 | #Constraints: 7921 28.05/28.64 c bounds 204 >= 148 @ 25.3604 28.05/28.64 c #Conflicts: 45000 | #Constraints: 8922 28.05/28.64 c #Conflicts: 46000 | #Constraints: 9922 28.05/28.64 c #Conflicts: 47000 | #Constraints: 10922 28.05/28.64 c #Conflicts: 48000 | #Constraints: 11922 28.05/28.64 c INPROCESSING 28.05/28.64 c GARBAGE COLLECT 28.05/28.64 c rational objective 138.905 32.55/33.19 c #Conflicts: 49000 | #Constraints: 7621 32.55/33.19 c #Conflicts: 50000 | #Constraints: 8621 32.55/33.19 c #Conflicts: 51000 | #Constraints: 9621 32.55/33.19 c #Conflicts: 52000 | #Constraints: 10621 32.55/33.19 c #Conflicts: 53000 | #Constraints: 11621 32.55/33.19 c bounds 204 >= 149 @ 31.6029 32.55/33.19 c INPROCESSING 32.55/33.19 c GARBAGE COLLECT 32.55/33.19 c rational objective 138.905 35.54/36.15 c #Conflicts: 54000 | #Constraints: 7354 35.54/36.15 c #Conflicts: 55000 | #Constraints: 8354 35.54/36.15 c #Conflicts: 56000 | #Constraints: 9354 35.54/36.15 c #Conflicts: 57000 | #Constraints: 10354 35.54/36.15 c bounds 203 >= 149 @ 33.9018 35.54/36.15 c #Conflicts: 58000 | #Constraints: 11355 35.54/36.15 c INPROCESSING 35.54/36.15 c GARBAGE COLLECT 35.54/36.15 c rational objective 138.905 40.02/40.67 c #Conflicts: 59000 | #Constraints: 6955 40.02/40.67 c #Conflicts: 60000 | #Constraints: 7955 40.02/40.67 c #Conflicts: 61000 | #Constraints: 8955 40.02/40.67 c #Conflicts: 62000 | #Constraints: 9955 40.02/40.67 c #Conflicts: 63000 | #Constraints: 10955 40.02/40.67 c #Conflicts: 64000 | #Constraints: 11955 40.02/40.67 c INPROCESSING 40.02/40.67 c GARBAGE COLLECT 40.02/40.67 c rational objective 138.905 79.72/80.43 c bounds 202 >= 149 @ 39.0164 79.72/80.43 c #Conflicts: 65000 | #Constraints: 7463 79.72/80.43 c bounds 201 >= 149 @ 39.3524 79.72/80.43 c #Conflicts: 66000 | #Constraints: 8464 79.72/80.43 c #Conflicts: 67000 | #Constraints: 9464 79.72/80.43 c #Conflicts: 68000 | #Constraints: 10464 79.72/80.43 c #Conflicts: 69000 | #Constraints: 11464 79.72/80.43 c #Conflicts: 70000 | #Constraints: 12464 79.72/80.43 c #Conflicts: 71000 | #Constraints: 13464 79.72/80.43 c #Conflicts: 72000 | #Constraints: 14464 79.72/80.43 c #Conflicts: 73000 | #Constraints: 15464 79.72/80.43 c #Conflicts: 74000 | #Constraints: 16464 79.72/80.43 c #Conflicts: 75000 | #Constraints: 17464 79.72/80.43 c #Conflicts: 76000 | #Constraints: 18464 79.72/80.43 c #Conflicts: 77000 | #Constraints: 19464 79.72/80.43 c bounds 200 >= 149 @ 49.4357 79.72/80.43 c #Conflicts: 78000 | #Constraints: 20465 79.72/80.43 c #Conflicts: 79000 | #Constraints: 21465 79.72/80.43 c #Conflicts: 80000 | #Constraints: 22465 79.72/80.43 c #Conflicts: 81000 | #Constraints: 23465 79.72/80.43 c #Conflicts: 82000 | #Constraints: 24465 79.72/80.43 c #Conflicts: 83000 | #Constraints: 25465 79.72/80.43 c #Conflicts: 84000 | #Constraints: 26465 79.72/80.43 c INPROCESSING 79.72/80.43 c GARBAGE COLLECT 79.72/80.43 c rational objective 138.905 85.31/86.04 c bounds 199 >= 149 @ 78.2605 85.31/86.04 c #Conflicts: 85000 | #Constraints: 14580 85.31/86.04 c #Conflicts: 86000 | #Constraints: 15580 85.31/86.04 c #Conflicts: 87000 | #Constraints: 16580 85.31/86.04 c #Conflicts: 88000 | #Constraints: 17580 85.31/86.04 c #Conflicts: 89000 | #Constraints: 18580 85.31/86.04 c #Conflicts: 90000 | #Constraints: 19580 85.31/86.04 c #Conflicts: 91000 | #Constraints: 20580 85.31/86.04 c INPROCESSING 85.31/86.04 c GARBAGE COLLECT 85.31/86.04 c rational objective 138.905 93.68/94.41 c #Conflicts: 92000 | #Constraints: 11568 93.68/94.41 c #Conflicts: 93000 | #Constraints: 12568 93.68/94.41 c #Conflicts: 94000 | #Constraints: 13568 93.68/94.41 c #Conflicts: 95000 | #Constraints: 14568 93.68/94.41 c #Conflicts: 96000 | #Constraints: 15568 93.68/94.41 c bounds 198 >= 149 @ 86.8658 93.68/94.41 c #Conflicts: 97000 | #Constraints: 16569 93.68/94.41 c #Conflicts: 98000 | #Constraints: 17569 93.68/94.41 c #Conflicts: 99000 | #Constraints: 18569 93.68/94.41 c INPROCESSING 93.68/94.41 c GARBAGE COLLECT 93.68/94.41 c rational objective 138.905 98.47/99.24 c #Conflicts: 100000 | #Constraints: 11031 98.47/99.24 c #Conflicts: 101000 | #Constraints: 12031 98.47/99.24 c #Conflicts: 102000 | #Constraints: 13031 98.47/99.24 c #Conflicts: 103000 | #Constraints: 14031 98.47/99.24 c #Conflicts: 104000 | #Constraints: 15031 98.47/99.24 c #Conflicts: 105000 | #Constraints: 16031 98.47/99.24 c #Conflicts: 106000 | #Constraints: 17031 98.47/99.24 c INPROCESSING 98.47/99.24 c GARBAGE COLLECT 98.47/99.24 c rational objective 138.905 108.65/109.43 c #Conflicts: 107000 | #Constraints: 9994 108.65/109.43 c #Conflicts: 108000 | #Constraints: 10994 108.65/109.43 c #Conflicts: 109000 | #Constraints: 11994 108.65/109.43 c #Conflicts: 110000 | #Constraints: 12994 108.65/109.43 c #Conflicts: 111000 | #Constraints: 13994 108.65/109.43 c #Conflicts: 112000 | #Constraints: 14994 108.65/109.43 c #Conflicts: 113000 | #Constraints: 15994 108.65/109.43 c #Conflicts: 114000 | #Constraints: 16994 108.65/109.43 c INPROCESSING 108.65/109.43 c GARBAGE COLLECT 108.65/109.43 c rational objective 138.905 180.56/181.54 c #Conflicts: 115000 | #Constraints: 10277 180.56/181.54 c #Conflicts: 116000 | #Constraints: 11277 180.56/181.54 c #Conflicts: 117000 | #Constraints: 12277 180.56/181.54 c #Conflicts: 118000 | #Constraints: 13277 180.56/181.54 c #Conflicts: 119000 | #Constraints: 14277 180.56/181.54 c #Conflicts: 120000 | #Constraints: 15277 180.56/181.54 c #Conflicts: 121000 | #Constraints: 16277 180.56/181.54 c #Conflicts: 122000 | #Constraints: 17277 180.56/181.54 c #Conflicts: 123000 | #Constraints: 18277 180.56/181.54 c #Conflicts: 124000 | #Constraints: 19277 180.56/181.54 c #Conflicts: 125000 | #Constraints: 20277 180.56/181.54 c #Conflicts: 126000 | #Constraints: 21277 180.56/181.54 c #Conflicts: 127000 | #Constraints: 22277 180.56/181.54 c #Conflicts: 128000 | #Constraints: 23277 180.56/181.54 c #Conflicts: 129000 | #Constraints: 24277 180.56/181.54 c #Conflicts: 130000 | #Constraints: 25277 180.56/181.54 c #Conflicts: 131000 | #Constraints: 26277 180.56/181.54 c #Conflicts: 132000 | #Constraints: 27277 180.56/181.54 c #Conflicts: 133000 | #Constraints: 28277 180.56/181.54 c #Conflicts: 134000 | #Constraints: 29277 180.56/181.54 c #Conflicts: 135000 | #Constraints: 30277 180.56/181.54 c #Conflicts: 136000 | #Constraints: 31277 180.56/181.54 c #Conflicts: 137000 | #Constraints: 32277 180.56/181.54 c #Conflicts: 138000 | #Constraints: 33277 180.56/181.54 c #Conflicts: 139000 | #Constraints: 34277 180.56/181.54 c #Conflicts: 140000 | #Constraints: 35277 180.56/181.54 c INPROCESSING 180.56/181.54 c GARBAGE COLLECT 180.56/181.54 c rational objective 138.905 226.04/227.19 c #Conflicts: 141000 | #Constraints: 18966 226.04/227.19 c #Conflicts: 142000 | #Constraints: 19966 226.04/227.19 c #Conflicts: 143000 | #Constraints: 20966 226.04/227.19 c #Conflicts: 144000 | #Constraints: 21966 226.04/227.19 c #Conflicts: 145000 | #Constraints: 22966 226.04/227.19 c #Conflicts: 146000 | #Constraints: 23966 226.04/227.19 c #Conflicts: 147000 | #Constraints: 24966 226.04/227.19 c #Conflicts: 148000 | #Constraints: 25966 226.04/227.19 c #Conflicts: 149000 | #Constraints: 26966 226.04/227.19 c INPROCESSING 226.04/227.19 c GARBAGE COLLECT 226.04/227.19 c rational objective 138.905 246.48/247.68 c #Conflicts: 150000 | #Constraints: 14940 246.48/247.68 c #Conflicts: 151000 | #Constraints: 15940 246.48/247.68 c #Conflicts: 152000 | #Constraints: 16940 246.48/247.68 c #Conflicts: 153000 | #Constraints: 17940 246.48/247.68 c #Conflicts: 154000 | #Constraints: 18940 246.48/247.68 c #Conflicts: 155000 | #Constraints: 19940 246.48/247.68 c #Conflicts: 156000 | #Constraints: 20940 246.48/247.68 c #Conflicts: 157000 | #Constraints: 21940 246.48/247.68 c #Conflicts: 158000 | #Constraints: 22940 246.48/247.68 c INPROCESSING 246.48/247.68 c GARBAGE COLLECT 246.48/247.68 c rational objective 138.905 266.62/267.88 c #Conflicts: 159000 | #Constraints: 12889 266.62/267.88 c #Conflicts: 160000 | #Constraints: 13889 266.62/267.88 c #Conflicts: 161000 | #Constraints: 14889 266.62/267.88 c #Conflicts: 162000 | #Constraints: 15889 266.62/267.88 c #Conflicts: 163000 | #Constraints: 16889 266.62/267.88 c #Conflicts: 164000 | #Constraints: 17889 266.62/267.88 c #Conflicts: 165000 | #Constraints: 18889 266.62/267.88 c #Conflicts: 166000 | #Constraints: 19889 266.62/267.88 c #Conflicts: 167000 | #Constraints: 20889 266.62/267.88 c #Conflicts: 168000 | #Constraints: 21889 266.62/267.88 c INPROCESSING 266.62/267.88 c GARBAGE COLLECT 266.62/267.88 c rational objective 138.905 363.46/364.94 c #Conflicts: 169000 | #Constraints: 13659 363.46/364.94 c #Conflicts: 170000 | #Constraints: 14659 363.46/364.94 c #Conflicts: 171000 | #Constraints: 15659 363.46/364.94 c #Conflicts: 172000 | #Constraints: 16659 363.46/364.94 c #Conflicts: 173000 | #Constraints: 17659 363.46/364.94 c #Conflicts: 174000 | #Constraints: 18659 363.46/364.94 c #Conflicts: 175000 | #Constraints: 19659 363.46/364.94 c #Conflicts: 176000 | #Constraints: 20659 363.46/364.94 c #Conflicts: 177000 | #Constraints: 21659 363.46/364.94 c #Conflicts: 178000 | #Constraints: 22659 363.46/364.94 c #Conflicts: 179000 | #Constraints: 23659 363.46/364.94 c #Conflicts: 180000 | #Constraints: 24659 363.46/364.94 c #Conflicts: 181000 | #Constraints: 25659 363.46/364.94 c #Conflicts: 182000 | #Constraints: 26659 363.46/364.94 c #Conflicts: 183000 | #Constraints: 27659 363.46/364.94 c #Conflicts: 184000 | #Constraints: 28659 363.46/364.94 c #Conflicts: 185000 | #Constraints: 29659 363.46/364.94 c #Conflicts: 186000 | #Constraints: 30659 363.46/364.94 c #Conflicts: 187000 | #Constraints: 31659 363.46/364.94 c #Conflicts: 188000 | #Constraints: 32659 363.46/364.94 c #Conflicts: 189000 | #Constraints: 33659 363.46/364.94 c #Conflicts: 190000 | #Constraints: 34659 363.46/364.94 c #Conflicts: 191000 | #Constraints: 35659 363.46/364.94 c #Conflicts: 192000 | #Constraints: 36659 363.46/364.94 c #Conflicts: 193000 | #Constraints: 37659 363.46/364.94 c bounds 198 >= 150 @ 348.067 363.46/364.94 c #Conflicts: 194000 | #Constraints: 38718 363.46/364.94 c #Conflicts: 195000 | #Constraints: 39718 363.46/364.94 c #Conflicts: 196000 | #Constraints: 40718 363.46/364.94 c #Conflicts: 197000 | #Constraints: 41718 363.46/364.94 c #Conflicts: 198000 | #Constraints: 42718 363.46/364.94 c #Conflicts: 199000 | #Constraints: 43718 363.46/364.94 c #Conflicts: 200000 | #Constraints: 44718 363.46/364.94 c INPROCESSING 363.46/364.94 c GARBAGE COLLECT 363.46/364.94 c rational objective 138.905 387.39/388.90 c #Conflicts: 201000 | #Constraints: 24068 387.39/388.90 c #Conflicts: 202000 | #Constraints: 25068 387.39/388.90 c #Conflicts: 203000 | #Constraints: 26068 387.39/388.90 c #Conflicts: 204000 | #Constraints: 27068 387.39/388.90 c #Conflicts: 205000 | #Constraints: 28068 387.39/388.90 c #Conflicts: 206000 | #Constraints: 29068 387.39/388.90 c #Conflicts: 207000 | #Constraints: 30068 387.39/388.90 c #Conflicts: 208000 | #Constraints: 31068 387.39/388.90 c #Conflicts: 209000 | #Constraints: 32068 387.39/388.90 c #Conflicts: 210000 | #Constraints: 33068 387.39/388.90 c INPROCESSING 387.39/388.90 c GARBAGE COLLECT 387.39/388.90 c rational objective 138.905 414.42/416.07 c #Conflicts: 211000 | #Constraints: 17948 414.42/416.07 c #Conflicts: 212000 | #Constraints: 18948 414.42/416.07 c #Conflicts: 213000 | #Constraints: 19948 414.42/416.07 c #Conflicts: 214000 | #Constraints: 20948 414.42/416.07 c #Conflicts: 215000 | #Constraints: 21948 414.42/416.07 c bounds 197 >= 150 @ 390.605 414.42/416.07 c #Conflicts: 216000 | #Constraints: 22949 414.42/416.07 c #Conflicts: 217000 | #Constraints: 23949 414.42/416.07 c #Conflicts: 218000 | #Constraints: 24949 414.42/416.07 c #Conflicts: 219000 | #Constraints: 25949 414.42/416.07 c #Conflicts: 220000 | #Constraints: 26949 414.42/416.07 c #Conflicts: 221000 | #Constraints: 27949 414.42/416.07 c INPROCESSING 414.42/416.07 c GARBAGE COLLECT 414.42/416.07 c rational objective 138.905 541.06/543.03 c #Conflicts: 222000 | #Constraints: 16274 541.06/543.03 c #Conflicts: 223000 | #Constraints: 17274 541.06/543.03 c #Conflicts: 224000 | #Constraints: 18274 541.06/543.03 c #Conflicts: 225000 | #Constraints: 19274 541.06/543.03 c #Conflicts: 226000 | #Constraints: 20274 541.06/543.03 c #Conflicts: 227000 | #Constraints: 21274 541.06/543.03 c #Conflicts: 228000 | #Constraints: 22274 541.06/543.03 c #Conflicts: 229000 | #Constraints: 23274 541.06/543.03 c #Conflicts: 230000 | #Constraints: 24274 541.06/543.03 c #Conflicts: 231000 | #Constraints: 25274 541.06/543.03 c #Conflicts: 232000 | #Constraints: 26274 541.06/543.03 c #Conflicts: 233000 | #Constraints: 27274 541.06/543.03 c #Conflicts: 234000 | #Constraints: 28274 541.06/543.03 c #Conflicts: 235000 | #Constraints: 29274 541.06/543.03 c #Conflicts: 236000 | #Constraints: 30274 541.06/543.03 c #Conflicts: 237000 | #Constraints: 31274 541.06/543.03 c #Conflicts: 238000 | #Constraints: 32274 541.06/543.03 c #Conflicts: 239000 | #Constraints: 33274 541.06/543.03 c #Conflicts: 240000 | #Constraints: 34274 541.06/543.03 c #Conflicts: 241000 | #Constraints: 35274 541.06/543.03 c #Conflicts: 242000 | #Constraints: 36274 541.06/543.03 c #Conflicts: 243000 | #Constraints: 37274 541.06/543.03 c #Conflicts: 244000 | #Constraints: 38274 541.06/543.03 c #Conflicts: 245000 | #Constraints: 39274 541.06/543.03 c #Conflicts: 246000 | #Constraints: 40274 541.06/543.03 c #Conflicts: 247000 | #Constraints: 41274 541.06/543.03 c #Conflicts: 248000 | #Constraints: 42274 541.06/543.03 c #Conflicts: 249000 | #Constraints: 43274 541.06/543.03 c #Conflicts: 250000 | #Constraints: 44274 541.06/543.03 c #Conflicts: 251000 | #Constraints: 45274 541.06/543.03 c #Conflicts: 252000 | #Constraints: 46274 541.06/543.03 c #Conflicts: 253000 | #Constraints: 47274 541.06/543.03 c #Conflicts: 254000 | #Constraints: 48274 541.06/543.03 c #Conflicts: 255000 | #Constraints: 49274 541.06/543.03 c #Conflicts: 256000 | #Constraints: 50274 541.06/543.03 c #Conflicts: 257000 | #Constraints: 51274 541.06/543.03 c INPROCESSING 541.06/543.03 c GARBAGE COLLECT 541.06/543.03 c rational objective 138.905 627.81/630.09 c #Conflicts: 258000 | #Constraints: 27056 627.81/630.09 c #Conflicts: 259000 | #Constraints: 28056 627.81/630.09 c #Conflicts: 260000 | #Constraints: 29056 627.81/630.09 c #Conflicts: 261000 | #Constraints: 30056 627.81/630.09 c #Conflicts: 262000 | #Constraints: 31056 627.81/630.09 c #Conflicts: 263000 | #Constraints: 32056 627.81/630.09 c #Conflicts: 264000 | #Constraints: 33056 627.81/630.09 c #Conflicts: 265000 | #Constraints: 34056 627.81/630.09 c #Conflicts: 266000 | #Constraints: 35056 627.81/630.09 c #Conflicts: 267000 | #Constraints: 36056 627.81/630.09 c #Conflicts: 268000 | #Constraints: 37056 627.81/630.09 c #Conflicts: 269000 | #Constraints: 38056 627.81/630.09 c INPROCESSING 627.81/630.09 c GARBAGE COLLECT 627.81/630.09 c rational objective 138.905 666.70/669.05 c #Conflicts: 270000 | #Constraints: 20479 666.70/669.05 c #Conflicts: 271000 | #Constraints: 21479 666.70/669.05 c #Conflicts: 272000 | #Constraints: 22479 666.70/669.05 c #Conflicts: 273000 | #Constraints: 23479 666.70/669.05 c #Conflicts: 274000 | #Constraints: 24479 666.70/669.05 c #Conflicts: 275000 | #Constraints: 25479 666.70/669.05 c #Conflicts: 276000 | #Constraints: 26479 666.70/669.05 c #Conflicts: 277000 | #Constraints: 27479 666.70/669.05 c #Conflicts: 278000 | #Constraints: 28479 666.70/669.05 c #Conflicts: 279000 | #Constraints: 29479 666.70/669.05 c #Conflicts: 280000 | #Constraints: 30479 666.70/669.05 c #Conflicts: 281000 | #Constraints: 31479 666.70/669.05 c #Conflicts: 282000 | #Constraints: 32479 666.70/669.05 c INPROCESSING 666.70/669.05 c GARBAGE COLLECT 666.70/669.05 c rational objective 138.905 886.64/889.67 c #Conflicts: 283000 | #Constraints: 19846 886.64/889.67 c #Conflicts: 284000 | #Constraints: 20846 886.64/889.67 c #Conflicts: 285000 | #Constraints: 21846 886.64/889.67 c #Conflicts: 286000 | #Constraints: 22846 886.64/889.67 c #Conflicts: 287000 | #Constraints: 23846 886.64/889.67 c #Conflicts: 288000 | #Constraints: 24846 886.64/889.67 c #Conflicts: 289000 | #Constraints: 25846 886.64/889.67 c #Conflicts: 290000 | #Constraints: 26846 886.64/889.67 c #Conflicts: 291000 | #Constraints: 27846 886.64/889.67 c #Conflicts: 292000 | #Constraints: 28846 886.64/889.67 c #Conflicts: 293000 | #Constraints: 29846 886.64/889.67 c #Conflicts: 294000 | #Constraints: 30846 886.64/889.67 c #Conflicts: 295000 | #Constraints: 31846 886.64/889.67 c #Conflicts: 296000 | #Constraints: 32846 886.64/889.67 c #Conflicts: 297000 | #Constraints: 33846 886.64/889.67 c #Conflicts: 298000 | #Constraints: 34846 886.64/889.67 c #Conflicts: 299000 | #Constraints: 35846 886.64/889.67 c #Conflicts: 300000 | #Constraints: 36846 886.64/889.67 c #Conflicts: 301000 | #Constraints: 37846 886.64/889.67 c #Conflicts: 302000 | #Constraints: 38846 886.64/889.67 c #Conflicts: 303000 | #Constraints: 39846 886.64/889.67 c #Conflicts: 304000 | #Constraints: 40846 886.64/889.67 c #Conflicts: 305000 | #Constraints: 41846 886.64/889.67 c #Conflicts: 306000 | #Constraints: 42846 886.64/889.67 c #Conflicts: 307000 | #Constraints: 43846 886.64/889.67 c #Conflicts: 308000 | #Constraints: 44846 886.64/889.67 c #Conflicts: 309000 | #Constraints: 45846 886.64/889.67 c #Conflicts: 310000 | #Constraints: 46846 886.64/889.67 c #Conflicts: 311000 | #Constraints: 47846 886.64/889.67 c #Conflicts: 312000 | #Constraints: 48846 886.64/889.67 c #Conflicts: 313000 | #Constraints: 49846 886.64/889.67 c #Conflicts: 314000 | #Constraints: 50846 886.64/889.67 c #Conflicts: 315000 | #Constraints: 51846 886.64/889.67 c #Conflicts: 316000 | #Constraints: 52846 886.64/889.67 c #Conflicts: 317000 | #Constraints: 53846 886.64/889.67 c #Conflicts: 318000 | #Constraints: 54846 886.64/889.67 c #Conflicts: 319000 | #Constraints: 55846 886.64/889.67 c #Conflicts: 320000 | #Constraints: 56846 886.64/889.67 c #Conflicts: 321000 | #Constraints: 57846 886.64/889.67 c #Conflicts: 322000 | #Constraints: 58846 886.64/889.67 c INPROCESSING 886.64/889.67 c GARBAGE COLLECT 886.64/889.67 c rational objective 138.905 905.99/909.06 c #Conflicts: 323000 | #Constraints: 31027 905.99/909.06 c #Conflicts: 324000 | #Constraints: 32027 905.99/909.06 c #Conflicts: 325000 | #Constraints: 33027 905.99/909.06 c #Conflicts: 326000 | #Constraints: 34027 905.99/909.06 c #Conflicts: 327000 | #Constraints: 35027 905.99/909.06 c #Conflicts: 328000 | #Constraints: 36027 905.99/909.06 c #Conflicts: 329000 | #Constraints: 37027 905.99/909.06 c #Conflicts: 330000 | #Constraints: 38027 905.99/909.06 c #Conflicts: 331000 | #Constraints: 39027 905.99/909.06 c #Conflicts: 332000 | #Constraints: 40027 905.99/909.06 c #Conflicts: 333000 | #Constraints: 41027 905.99/909.06 c #Conflicts: 334000 | #Constraints: 42027 905.99/909.06 c bounds 196 >= 150 @ 894.836 905.99/909.06 c #Conflicts: 335000 | #Constraints: 43028 905.99/909.06 c #Conflicts: 336000 | #Constraints: 44028 905.99/909.06 c INPROCESSING 905.99/909.06 c GARBAGE COLLECT 905.99/909.06 c rational objective 138.905 1166.63/1170.34 c #Conflicts: 337000 | #Constraints: 24385 1166.63/1170.34 c #Conflicts: 338000 | #Constraints: 25385 1166.63/1170.34 c #Conflicts: 339000 | #Constraints: 26385 1166.63/1170.34 c #Conflicts: 340000 | #Constraints: 27385 1166.63/1170.34 c #Conflicts: 341000 | #Constraints: 28385 1166.63/1170.34 c #Conflicts: 342000 | #Constraints: 29385 1166.63/1170.34 c #Conflicts: 343000 | #Constraints: 30385 1166.63/1170.34 c #Conflicts: 344000 | #Constraints: 31385 1166.63/1170.34 c #Conflicts: 345000 | #Constraints: 32385 1166.63/1170.34 c #Conflicts: 346000 | #Constraints: 33385 1166.63/1170.34 c #Conflicts: 347000 | #Constraints: 34385 1166.63/1170.34 c #Conflicts: 348000 | #Constraints: 35385 1166.63/1170.34 c #Conflicts: 349000 | #Constraints: 36385 1166.63/1170.34 c #Conflicts: 350000 | #Constraints: 37385 1166.63/1170.34 c #Conflicts: 351000 | #Constraints: 38385 1166.63/1170.34 c #Conflicts: 352000 | #Constraints: 39385 1166.63/1170.34 c #Conflicts: 353000 | #Constraints: 40385 1166.63/1170.34 c #Conflicts: 354000 | #Constraints: 41385 1166.63/1170.34 c #Conflicts: 355000 | #Constraints: 42385 1166.63/1170.34 c #Conflicts: 356000 | #Constraints: 43385 1166.63/1170.34 c #Conflicts: 357000 | #Constraints: 44385 1166.63/1170.34 c #Conflicts: 358000 | #Constraints: 45385 1166.63/1170.34 c #Conflicts: 359000 | #Constraints: 46385 1166.63/1170.34 c #Conflicts: 360000 | #Constraints: 47385 1166.63/1170.34 c #Conflicts: 361000 | #Constraints: 48385 1166.63/1170.34 c #Conflicts: 362000 | #Constraints: 49385 1166.63/1170.34 c #Conflicts: 363000 | #Constraints: 50385 1166.63/1170.34 c #Conflicts: 364000 | #Constraints: 51385 1166.63/1170.34 c #Conflicts: 365000 | #Constraints: 52385 1166.63/1170.34 c #Conflicts: 366000 | #Constraints: 53385 1166.63/1170.34 c #Conflicts: 367000 | #Constraints: 54385 1166.63/1170.34 c #Conflicts: 368000 | #Constraints: 55385 1166.63/1170.34 c #Conflicts: 369000 | #Constraints: 56385 1166.63/1170.34 c #Conflicts: 370000 | #Constraints: 57385 1166.63/1170.34 c #Conflicts: 371000 | #Constraints: 58385 1166.63/1170.34 c #Conflicts: 372000 | #Constraints: 59385 1166.63/1170.34 c #Conflicts: 373000 | #Constraints: 60385 1166.63/1170.34 c #Conflicts: 374000 | #Constraints: 61385 1166.63/1170.34 c #Conflicts: 375000 | #Constraints: 62385 1166.63/1170.34 c #Conflicts: 376000 | #Constraints: 63385 1166.63/1170.34 c #Conflicts: 377000 | #Constraints: 64385 1166.63/1170.34 c #Conflicts: 378000 | #Constraints: 65385 1166.63/1170.34 c #Conflicts: 379000 | #Constraints: 66385 1166.63/1170.34 c INPROCESSING 1166.63/1170.34 c GARBAGE COLLECT 1166.63/1170.34 c rational objective 138.905 1306.39/1310.43 c #Conflicts: 380000 | #Constraints: 34664 1306.39/1310.43 c #Conflicts: 381000 | #Constraints: 35664 1306.39/1310.43 c #Conflicts: 382000 | #Constraints: 36664 1306.39/1310.43 c #Conflicts: 383000 | #Constraints: 37664 1306.39/1310.43 c #Conflicts: 384000 | #Constraints: 38664 1306.39/1310.43 c #Conflicts: 385000 | #Constraints: 39664 1306.39/1310.43 c #Conflicts: 386000 | #Constraints: 40664 1306.39/1310.43 c #Conflicts: 387000 | #Constraints: 41664 1306.39/1310.43 c #Conflicts: 388000 | #Constraints: 42664 1306.39/1310.43 c #Conflicts: 389000 | #Constraints: 43664 1306.39/1310.43 c #Conflicts: 390000 | #Constraints: 44664 1306.39/1310.43 c #Conflicts: 391000 | #Constraints: 45664 1306.39/1310.43 c #Conflicts: 392000 | #Constraints: 46664 1306.39/1310.43 c #Conflicts: 393000 | #Constraints: 47664 1306.39/1310.43 c #Conflicts: 394000 | #Constraints: 48664 1306.39/1310.43 c INPROCESSING 1306.39/1310.43 c GARBAGE COLLECT 1306.39/1310.43 c rational objective 138.905 1706.02/1711.08 c #Conflicts: 395000 | #Constraints: 25935 1706.02/1711.08 c #Conflicts: 396000 | #Constraints: 26935 1706.02/1711.08 c #Conflicts: 397000 | #Constraints: 27935 1706.02/1711.08 c #Conflicts: 398000 | #Constraints: 28935 1706.02/1711.08 c #Conflicts: 399000 | #Constraints: 29935 1706.02/1711.08 c #Conflicts: 400000 | #Constraints: 30935 1706.02/1711.08 c #Conflicts: 401000 | #Constraints: 31935 1706.02/1711.08 c #Conflicts: 402000 | #Constraints: 32935 1706.02/1711.08 c #Conflicts: 403000 | #Constraints: 33935 1706.02/1711.08 c #Conflicts: 404000 | #Constraints: 34935 1706.02/1711.08 c #Conflicts: 405000 | #Constraints: 35935 1706.02/1711.08 c #Conflicts: 406000 | #Constraints: 36935 1706.02/1711.08 c #Conflicts: 407000 | #Constraints: 37935 1706.02/1711.08 c #Conflicts: 408000 | #Constraints: 38935 1706.02/1711.08 c #Conflicts: 409000 | #Constraints: 39935 1706.02/1711.08 c #Conflicts: 410000 | #Constraints: 40935 1706.02/1711.08 c #Conflicts: 411000 | #Constraints: 41935 1706.02/1711.08 c #Conflicts: 412000 | #Constraints: 42935 1706.02/1711.08 c #Conflicts: 413000 | #Constraints: 43935 1706.02/1711.08 c #Conflicts: 414000 | #Constraints: 44935 1706.02/1711.08 c #Conflicts: 415000 | #Constraints: 45935 1706.02/1711.08 c #Conflicts: 416000 | #Constraints: 46935 1706.02/1711.08 c #Conflicts: 417000 | #Constraints: 47935 1706.02/1711.08 c #Conflicts: 418000 | #Constraints: 48935 1706.02/1711.08 c #Conflicts: 419000 | #Constraints: 49935 1706.02/1711.08 c #Conflicts: 420000 | #Constraints: 50935 1706.02/1711.08 c #Conflicts: 421000 | #Constraints: 51935 1706.02/1711.08 c #Conflicts: 422000 | #Constraints: 52935 1706.02/1711.08 c #Conflicts: 423000 | #Constraints: 53935 1706.02/1711.08 c #Conflicts: 424000 | #Constraints: 54935 1706.02/1711.08 c #Conflicts: 425000 | #Constraints: 55935 1706.02/1711.08 c #Conflicts: 426000 | #Constraints: 56935 1706.02/1711.08 c #Conflicts: 427000 | #Constraints: 57935 1706.02/1711.08 c #Conflicts: 428000 | #Constraints: 58935 1706.02/1711.08 c #Conflicts: 429000 | #Constraints: 59935 1706.02/1711.08 c #Conflicts: 430000 | #Constraints: 60935 1706.02/1711.08 c #Conflicts: 431000 | #Constraints: 61935 1706.02/1711.08 c #Conflicts: 432000 | #Constraints: 62935 1706.02/1711.08 c #Conflicts: 433000 | #Constraints: 63935 1706.02/1711.08 c #Conflicts: 434000 | #Constraints: 64935 1706.02/1711.08 c #Conflicts: 435000 | #Constraints: 65935 1706.02/1711.08 c #Conflicts: 436000 | #Constraints: 66935 1706.02/1711.08 c #Conflicts: 437000 | #Constraints: 67935 1706.02/1711.08 c #Conflicts: 438000 | #Constraints: 68935 1706.02/1711.08 c #Conflicts: 439000 | #Constraints: 69935 1706.02/1711.08 c #Conflicts: 440000 | #Constraints: 70935 1706.02/1711.08 c #Conflicts: 441000 | #Constraints: 71935 1706.02/1711.08 c INPROCESSING 1706.02/1711.08 c GARBAGE COLLECT 1706.02/1711.08 c rational objective 138.905 1735.34/1740.42 c #Conflicts: 442000 | #Constraints: 37763 1735.34/1740.42 c #Conflicts: 443000 | #Constraints: 38763 1735.34/1740.42 c #Conflicts: 444000 | #Constraints: 39763 1735.34/1740.42 c #Conflicts: 445000 | #Constraints: 40763 1735.34/1740.42 c #Conflicts: 446000 | #Constraints: 41763 1735.34/1740.42 c #Conflicts: 447000 | #Constraints: 42763 1735.34/1740.42 c #Conflicts: 448000 | #Constraints: 43763 1735.34/1740.42 c #Conflicts: 449000 | #Constraints: 44763 1735.34/1740.42 c #Conflicts: 450000 | #Constraints: 45763 1735.34/1740.42 c #Conflicts: 451000 | #Constraints: 46763 1735.34/1740.42 c #Conflicts: 452000 | #Constraints: 47763 1735.34/1740.42 c #Conflicts: 453000 | #Constraints: 48763 1735.34/1740.42 c #Conflicts: 454000 | #Constraints: 49763 1735.34/1740.42 c #Conflicts: 455000 | #Constraints: 50763 1735.34/1740.42 c #Conflicts: 456000 | #Constraints: 51763 1735.34/1740.42 c #Conflicts: 457000 | #Constraints: 52763 1735.34/1740.42 c INPROCESSING 1735.34/1740.42 c GARBAGE COLLECT 1735.34/1740.42 c rational objective 138.905 2101.30/2107.44 c #Conflicts: 458000 | #Constraints: 31016 2101.30/2107.44 c #Conflicts: 459000 | #Constraints: 32017 2101.30/2107.44 c #Conflicts: 460000 | #Constraints: 33020 2101.30/2107.44 c #Conflicts: 461000 | #Constraints: 34022 2101.30/2107.44 c #Conflicts: 462000 | #Constraints: 35022 2101.30/2107.44 c #Conflicts: 463000 | #Constraints: 36022 2101.30/2107.44 c #Conflicts: 464000 | #Constraints: 37022 2101.30/2107.44 c #Conflicts: 465000 | #Constraints: 38022 2101.30/2107.44 c #Conflicts: 466000 | #Constraints: 39022 2101.30/2107.44 c #Conflicts: 467000 | #Constraints: 40022 2101.30/2107.44 c #Conflicts: 468000 | #Constraints: 41022 2101.30/2107.44 c #Conflicts: 469000 | #Constraints: 42022 2101.30/2107.44 c #Conflicts: 470000 | #Constraints: 43022 2101.30/2107.44 c #Conflicts: 471000 | #Constraints: 44022 2101.30/2107.44 c #Conflicts: 472000 | #Constraints: 45022 2101.30/2107.44 c #Conflicts: 473000 | #Constraints: 46022 2101.30/2107.44 c #Conflicts: 474000 | #Constraints: 47022 2101.30/2107.44 c #Conflicts: 475000 | #Constraints: 48022 2101.30/2107.44 c #Conflicts: 476000 | #Constraints: 49022 2101.30/2107.44 c #Conflicts: 477000 | #Constraints: 50022 2101.30/2107.44 c #Conflicts: 478000 | #Constraints: 51022 2101.30/2107.44 c #Conflicts: 479000 | #Constraints: 52022 2101.30/2107.44 c #Conflicts: 480000 | #Constraints: 53022 2101.30/2107.44 c #Conflicts: 481000 | #Constraints: 54022 2101.30/2107.44 c #Conflicts: 482000 | #Constraints: 55022 2101.30/2107.44 c #Conflicts: 483000 | #Constraints: 56022 2101.30/2107.44 c #Conflicts: 484000 | #Constraints: 57022 2101.30/2107.44 c #Conflicts: 485000 | #Constraints: 58022 2101.30/2107.44 c #Conflicts: 486000 | #Constraints: 59022 2101.30/2107.44 c #Conflicts: 487000 | #Constraints: 60022 2101.30/2107.44 c #Conflicts: 488000 | #Constraints: 61022 2101.30/2107.44 c #Conflicts: 489000 | #Constraints: 62022 2101.30/2107.44 c #Conflicts: 490000 | #Constraints: 63022 2101.30/2107.44 c #Conflicts: 491000 | #Constraints: 64022 2101.30/2107.44 c #Conflicts: 492000 | #Constraints: 65022 2101.30/2107.44 c #Conflicts: 493000 | #Constraints: 66022 2101.30/2107.44 c #Conflicts: 494000 | #Constraints: 67022 2101.30/2107.44 c #Conflicts: 495000 | #Constraints: 68022 2101.30/2107.44 c #Conflicts: 496000 | #Constraints: 69022 2101.30/2107.44 c #Conflicts: 497000 | #Constraints: 70022 2101.30/2107.44 c #Conflicts: 498000 | #Constraints: 71022 2101.30/2107.44 c #Conflicts: 499000 | #Constraints: 72022 2101.30/2107.44 c #Conflicts: 500000 | #Constraints: 73022 2101.30/2107.44 c #Conflicts: 501000 | #Constraints: 74022 2101.30/2107.44 c #Conflicts: 502000 | #Constraints: 75022 2101.30/2107.44 c #Conflicts: 503000 | #Constraints: 76022 2101.30/2107.44 c #Conflicts: 504000 | #Constraints: 77022 2101.30/2107.44 c #Conflicts: 505000 | #Constraints: 78022 2101.30/2107.44 c #Conflicts: 506000 | #Constraints: 79022 2101.30/2107.44 c INPROCESSING 2101.30/2107.44 c GARBAGE COLLECT 2101.30/2107.44 c rational objective 138.905 2316.59/2323.30 c #Conflicts: 507000 | #Constraints: 40785 2316.59/2323.30 c #Conflicts: 508000 | #Constraints: 41785 2316.59/2323.30 c #Conflicts: 509000 | #Constraints: 42785 2316.59/2323.30 c #Conflicts: 510000 | #Constraints: 43785 2316.59/2323.30 c #Conflicts: 511000 | #Constraints: 44785 2316.59/2323.30 c #Conflicts: 512000 | #Constraints: 45785 2316.59/2323.30 c #Conflicts: 513000 | #Constraints: 46785 2316.59/2323.30 c #Conflicts: 514000 | #Constraints: 47785 2316.59/2323.30 c #Conflicts: 515000 | #Constraints: 48785 2316.59/2323.30 c #Conflicts: 516000 | #Constraints: 49785 2316.59/2323.30 c #Conflicts: 517000 | #Constraints: 50785 2316.59/2323.30 c #Conflicts: 518000 | #Constraints: 51785 2316.59/2323.30 c #Conflicts: 519000 | #Constraints: 52785 2316.59/2323.30 c #Conflicts: 520000 | #Constraints: 53785 2316.59/2323.30 c #Conflicts: 521000 | #Constraints: 54785 2316.59/2323.30 c #Conflicts: 522000 | #Constraints: 55785 2316.59/2323.30 c #Conflicts: 523000 | #Constraints: 56785 2316.59/2323.30 c #Conflicts: 524000 | #Constraints: 57785 2316.59/2323.30 c INPROCESSING 2316.59/2323.30 c GARBAGE COLLECT 2316.59/2323.30 c rational objective 138.905 2969.07/2977.43 c #Conflicts: 525000 | #Constraints: 32850 2969.07/2977.43 c #Conflicts: 526000 | #Constraints: 33850 2969.07/2977.43 c #Conflicts: 527000 | #Constraints: 34850 2969.07/2977.43 c #Conflicts: 528000 | #Constraints: 35850 2969.07/2977.43 c #Conflicts: 529000 | #Constraints: 36850 2969.07/2977.43 c #Conflicts: 530000 | #Constraints: 37850 2969.07/2977.43 c #Conflicts: 531000 | #Constraints: 38850 2969.07/2977.43 c #Conflicts: 532000 | #Constraints: 39850 2969.07/2977.43 c #Conflicts: 533000 | #Constraints: 40850 2969.07/2977.43 c #Conflicts: 534000 | #Constraints: 41850 2969.07/2977.43 c #Conflicts: 535000 | #Constraints: 42850 2969.07/2977.43 c #Conflicts: 536000 | #Constraints: 43850 2969.07/2977.43 c #Conflicts: 537000 | #Constraints: 44850 2969.07/2977.43 c #Conflicts: 538000 | #Constraints: 45850 2969.07/2977.43 c #Conflicts: 539000 | #Constraints: 46850 2969.07/2977.43 c #Conflicts: 540000 | #Constraints: 47850 2969.07/2977.43 c #Conflicts: 541000 | #Constraints: 48850 2969.07/2977.43 c #Conflicts: 542000 | #Constraints: 49850 2969.07/2977.43 c #Conflicts: 543000 | #Constraints: 50850 2969.07/2977.43 c #Conflicts: 544000 | #Constraints: 51850 2969.07/2977.43 c #Conflicts: 545000 | #Constraints: 52850 2969.07/2977.43 c #Conflicts: 546000 | #Constraints: 53850 2969.07/2977.43 c #Conflicts: 547000 | #Constraints: 54850 2969.07/2977.43 c #Conflicts: 548000 | #Constraints: 55850 2969.07/2977.43 c #Conflicts: 549000 | #Constraints: 56850 2969.07/2977.43 c #Conflicts: 550000 | #Constraints: 57850 2969.07/2977.43 c #Conflicts: 551000 | #Constraints: 58850 2969.07/2977.43 c #Conflicts: 552000 | #Constraints: 59850 2969.07/2977.43 c #Conflicts: 553000 | #Constraints: 60850 2969.07/2977.43 c #Conflicts: 554000 | #Constraints: 61850 2969.07/2977.43 c #Conflicts: 555000 | #Constraints: 62850 2969.07/2977.43 c #Conflicts: 556000 | #Constraints: 63850 2969.07/2977.43 c #Conflicts: 557000 | #Constraints: 64850 2969.07/2977.43 c #Conflicts: 558000 | #Constraints: 65850 2969.07/2977.43 c #Conflicts: 559000 | #Constraints: 66850 2969.07/2977.43 c #Conflicts: 560000 | #Constraints: 67850 2969.07/2977.43 c #Conflicts: 561000 | #Constraints: 68850 2969.07/2977.43 c #Conflicts: 562000 | #Constraints: 69850 2969.07/2977.43 c #Conflicts: 563000 | #Constraints: 70850 2969.07/2977.43 c #Conflicts: 564000 | #Constraints: 71850 2969.07/2977.43 c #Conflicts: 565000 | #Constraints: 72850 2969.07/2977.43 c #Conflicts: 566000 | #Constraints: 73850 2969.07/2977.43 c #Conflicts: 567000 | #Constraints: 74850 2969.07/2977.43 c #Conflicts: 568000 | #Constraints: 75850 2969.07/2977.43 c #Conflicts: 569000 | #Constraints: 76850 2969.07/2977.43 c #Conflicts: 570000 | #Constraints: 77850 2969.07/2977.43 c #Conflicts: 571000 | #Constraints: 78850 2969.07/2977.43 c #Conflicts: 572000 | #Constraints: 79850 2969.07/2977.43 c #Conflicts: 573000 | #Constraints: 80850 2969.07/2977.43 c #Conflicts: 574000 | #Constraints: 81850 2969.07/2977.43 c #Conflicts: 575000 | #Constraints: 82850 2969.07/2977.43 c #Conflicts: 576000 | #Constraints: 83850 2969.07/2977.43 c #Conflicts: 577000 | #Constraints: 84850 2969.07/2977.43 c INPROCESSING 2969.07/2977.43 c GARBAGE COLLECT 2969.07/2977.43 c rational objective 138.905 3063.74/3072.39 c #Conflicts: 578000 | #Constraints: 44136 3063.74/3072.39 c #Conflicts: 579000 | #Constraints: 45136 3063.74/3072.39 c #Conflicts: 580000 | #Constraints: 46136 3063.74/3072.39 c #Conflicts: 581000 | #Constraints: 47136 3063.74/3072.39 c #Conflicts: 582000 | #Constraints: 48136 3063.74/3072.39 c #Conflicts: 583000 | #Constraints: 49136 3063.74/3072.39 c #Conflicts: 584000 | #Constraints: 50136 3063.74/3072.39 c #Conflicts: 585000 | #Constraints: 51136 3063.74/3072.39 c #Conflicts: 586000 | #Constraints: 52136 3063.74/3072.39 c #Conflicts: 587000 | #Constraints: 53136 3063.74/3072.39 c #Conflicts: 588000 | #Constraints: 54136 3063.74/3072.39 c #Conflicts: 589000 | #Constraints: 55136 3063.74/3072.39 c #Conflicts: 590000 | #Constraints: 56136 3063.74/3072.39 c #Conflicts: 591000 | #Constraints: 57136 3063.74/3072.39 c #Conflicts: 592000 | #Constraints: 58136 3063.74/3072.39 c #Conflicts: 593000 | #Constraints: 59136 3063.74/3072.39 c #Conflicts: 594000 | #Constraints: 60136 3063.74/3072.39 c #Conflicts: 595000 | #Constraints: 61136 3063.74/3072.39 c #Conflicts: 596000 | #Constraints: 62136 3063.74/3072.39 c INPROCESSING 3063.74/3072.39 c GARBAGE COLLECT 3063.74/3072.39 c rational objective 138.905 3475.71/3485.45 c #Conflicts: 597000 | #Constraints: 38256 3475.71/3485.45 c #Conflicts: 598000 | #Constraints: 39256 3475.71/3485.45 c #Conflicts: 599000 | #Constraints: 40257 3475.71/3485.45 c #Conflicts: 600000 | #Constraints: 41258 3475.71/3485.45 c #Conflicts: 601000 | #Constraints: 42258 3475.71/3485.45 c #Conflicts: 602000 | #Constraints: 43258 3475.71/3485.45 c #Conflicts: 603000 | #Constraints: 44258 3475.71/3485.45 c #Conflicts: 604000 | #Constraints: 45258 3475.71/3485.45 c bounds 195 >= 150 @ 3097.93 3475.71/3485.45 c #Conflicts: 605000 | #Constraints: 46259 3475.71/3485.45 c #Conflicts: 606000 | #Constraints: 47259 3475.71/3485.45 c #Conflicts: 607000 | #Constraints: 48259 3475.71/3485.45 c #Conflicts: 608000 | #Constraints: 49259 3475.71/3485.45 c #Conflicts: 609000 | #Constraints: 50259 3475.71/3485.45 c #Conflicts: 610000 | #Constraints: 51259 3475.71/3485.45 c #Conflicts: 611000 | #Constraints: 52259 3475.71/3485.45 c #Conflicts: 612000 | #Constraints: 53259 3475.71/3485.45 c #Conflicts: 613000 | #Constraints: 54259 3475.71/3485.45 c #Conflicts: 614000 | #Constraints: 55259 3475.71/3485.45 c #Conflicts: 615000 | #Constraints: 56259 3475.71/3485.45 c #Conflicts: 616000 | #Constraints: 57259 3475.71/3485.45 c #Conflicts: 617000 | #Constraints: 58260 3475.71/3485.45 c #Conflicts: 618000 | #Constraints: 59260 3475.71/3485.45 c #Conflicts: 619000 | #Constraints: 60260 3475.71/3485.45 c #Conflicts: 620000 | #Constraints: 61260 3475.71/3485.45 c #Conflicts: 621000 | #Constraints: 62260 3475.71/3485.45 c #Conflicts: 622000 | #Constraints: 63260 3475.71/3485.45 c #Conflicts: 623000 | #Constraints: 64260 3475.71/3485.45 c #Conflicts: 624000 | #Constraints: 65260 3475.71/3485.45 c #Conflicts: 625000 | #Constraints: 66260 3475.71/3485.45 c #Conflicts: 626000 | #Constraints: 67260 3475.71/3485.45 c #Conflicts: 627000 | #Constraints: 68260 3475.71/3485.45 c #Conflicts: 628000 | #Constraints: 69260 3475.71/3485.45 c #Conflicts: 629000 | #Constraints: 70260 3475.71/3485.45 c #Conflicts: 630000 | #Constraints: 71260 3475.71/3485.45 c #Conflicts: 631000 | #Constraints: 72260 3475.71/3485.45 c #Conflicts: 632000 | #Constraints: 73260 3475.71/3485.45 c #Conflicts: 633000 | #Constraints: 74260 3475.71/3485.45 c #Conflicts: 634000 | #Constraints: 75260 3475.71/3485.45 c #Conflicts: 635000 | #Constraints: 76260 3475.71/3485.45 c #Conflicts: 636000 | #Constraints: 77260 3475.71/3485.45 c #Conflicts: 637000 | #Constraints: 78260 3475.71/3485.45 c #Conflicts: 638000 | #Constraints: 79260 3475.71/3485.45 c #Conflicts: 639000 | #Constraints: 80260 3475.71/3485.45 c #Conflicts: 640000 | #Constraints: 81260 3475.71/3485.45 c #Conflicts: 641000 | #Constraints: 82260 3475.71/3485.45 c #Conflicts: 642000 | #Constraints: 83260 3475.71/3485.45 c #Conflicts: 643000 | #Constraints: 84260 3475.71/3485.45 c #Conflicts: 644000 | #Constraints: 85260 3475.71/3485.45 c #Conflicts: 645000 | #Constraints: 86260 3475.71/3485.45 c #Conflicts: 646000 | #Constraints: 87260 3475.71/3485.45 c #Conflicts: 647000 | #Constraints: 88260 3475.71/3485.45 c #Conflicts: 648000 | #Constraints: 89260 3475.71/3485.45 c #Conflicts: 649000 | #Constraints: 90260 3475.71/3485.45 c #Conflicts: 650000 | #Constraints: 91260 3475.71/3485.45 c #Conflicts: 651000 | #Constraints: 92260 3475.71/3485.45 c INPROCESSING 3475.71/3485.45 c GARBAGE COLLECT 3475.71/3485.45 c rational objective 138.905 3600.03/3610.10 c #Conflicts: 652000 | #Constraints: 47404 3600.03/3610.10 c #Conflicts: 653000 | #Constraints: 48404 3600.03/3610.10 c #Conflicts: 654000 | #Constraints: 49404 3600.03/3610.10 c #Conflicts: 655000 | #Constraints: 50404 3600.03/3610.10 c #Conflicts: 656000 | #Constraints: 51404 3600.03/3610.10 c #Conflicts: 657000 | #Constraints: 52404 3600.03/3610.10 c #Conflicts: 658000 | #Constraints: 53404 3600.03/3610.10 c #Conflicts: 659000 | #Constraints: 54404 3600.03/3610.10 c Program interrupted by user. 3600.03/3610.10 c cpu time 3586.08 s 3600.03/3610.10 c deterministic time 369263273973 3.69e+11 3600.03/3610.10 c optimization time 124.019 s 3600.03/3610.10 c total solve time 3462.06 s 3600.03/3610.10 c core-guided solve time 2004.43 s 3600.03/3610.10 c propagation time 3129.23 s 3600.03/3610.10 c conflict analysis time 426.773 s 3600.03/3610.10 c propagations 93892676 3600.03/3610.10 c resolve steps 6103561 3600.03/3610.10 c decisions 5076466 3600.03/3610.10 c conflicts 659207 3600.03/3610.10 c restarts 1404 3600.03/3610.10 c inprocessing phases 41 3600.03/3610.10 c input clauses 302 3600.03/3610.10 c input cardinalities 180 3600.03/3610.10 c input general constraints 888 3600.03/3610.10 c input average constraint length 17.55 3600.03/3610.10 c input average constraint degree 17.62 3600.03/3610.10 c learned clauses 220585 3600.03/3610.10 c learned cardinalities 4712 3600.03/3610.10 c learned general constraints 433934 3600.03/3610.10 c learned average constraint length 198.03 3600.03/3610.10 c learned average constraint degree 12578246.02 3600.03/3610.10 c watched constraints 306369 3600.03/3610.10 c counting constraints 128453 3600.03/3610.10 c gcd simplifications 76578 3600.03/3610.10 c detected cardinalities 2039 3600.03/3610.10 c weakened non-implied lits 25066776 3600.03/3610.10 c weakened non-implying lits 53193 3600.03/3610.10 c original variables 470 3600.03/3610.10 c clausal propagations 11390201 3600.03/3610.10 c cardinality propagations 5906457 3600.03/3610.10 c watched propagations 13756376 3600.03/3610.10 c counting propagations 61678029 3600.03/3610.10 c watch lookups 62903449526 3600.03/3610.10 c watch backjump lookups 56749303352 3600.03/3610.10 c watch checks 231668910739 3600.03/3610.10 c propagation checks 17234640524 3600.03/3610.10 c constraint additions 507664808 3600.03/3610.10 c trail pops 99628163 3600.03/3610.10 c formula constraints 470 3600.03/3610.10 c learned constraints 659213 3600.03/3610.10 c bound constraints 30 3600.03/3610.10 c core-guided constraints 870 3600.03/3610.10 c encountered formula constraints 1026375 3600.03/3610.10 c encountered learned constraints 4910165 3600.03/3610.10 c encountered bound constraints 78 3600.03/3610.10 c encountered core-guided constraints 825695 3600.03/3610.10 c LP total time 35.8991 s 3600.03/3610.10 c LP solve time 34.94 s 3600.03/3610.10 c LP constraints added 470 3600.03/3610.10 c LP constraints removed 0 3600.03/3610.10 c LP pivots internal 660407 3600.03/3610.10 c LP pivots root 47311 3600.03/3610.10 c LP calls 12508 3600.03/3610.10 c LP optimalities 12495 3600.03/3610.10 c LP no pivot count 602 3600.03/3610.10 c LP infeasibilities 9 3600.03/3610.10 c LP valid Farkas constraints 9 3600.03/3610.10 c LP learned Farkas constraints 9 3600.03/3610.10 c LP basis resets 0 3600.03/3610.10 c LP cycling count 0 3600.03/3610.10 c LP singular count 0 3600.03/3610.10 c LP no primal count 0 3600.03/3610.10 c LP no farkas count 0 3600.03/3610.10 c LP other issue count 0 3600.03/3610.10 c LP Gomory cuts 0 3600.03/3610.10 c LP learned cuts 0 3600.03/3610.10 c LP deleted cuts 0 3600.03/3610.10 c LP encountered Gomory constraints 0 3600.03/3610.10 c LP encountered Farkas constraints 410 3600.03/3610.10 c LP encountered learned Farkas constraints 36 3600.03/3610.10 c CG auxiliary variables introduced 340 3600.03/3610.10 c CG solutions found 30 3600.03/3610.10 c CG cores constructed 150 3600.03/3610.10 c CG core cardinality constraints returned 0 3600.03/3610.10 c CG unit cores 0 3600.03/3610.10 c CG single cores 150 3600.03/3610.10 c CG blocks removed during cardinality reduction 0 3600.03/3610.10 c CG first core best 0 3600.03/3610.10 c CG decision core best 0 3600.03/3610.10 c CG core reduction tie 0 3600.03/3610.10 c CG core degree average 1.00 3600.03/3610.10 c CG core slack average 3.81 3600.03/3610.10 s SATISFIABLE 3600.03/3610.10 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 x29 x30 x31 -x32 -x33 -x34 x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 x69 x70 x71 -x72 x73 -x74 -x75 -x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 x108 -x109 -x110 x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 x143 x144 -x145 x146 -x147 x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 x176 -x177 -x178 x179 x180 -x181 x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200 -x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 x224 x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 x237 x238 -x239 x240 -x241 x242 x243 -x244 x245 -x246 x247 x248 x249 x250 -x251 -x252 x253 x254 -x255 x256 x257 x258 -x259 x260 -x261 -x262 -x263 x264 x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 -x274 x275 -x276 x277 -x278 x279 x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 -x289 x290 -x291 x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 x308 x309 x310 -x311 -x312 -x313 x314 -x315 x316 -x317 x318 x319 -x320 -x321 x322 x323 -x324 x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 x340 x341 -x342 x343 x344 -x345 -x346 x347 -x348 -x349 x350 x351 x352 -x353 -x354 x355 x356 -x357 -x358 x359 x360 -x361 x362 -x363 x364 x365 x366 x367 -x368 -x369 x370 -x371 x372 x373 x374 x375 x376 x377 x378 x379 -x380 -x381 x382 x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 -x394 x395 x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 x405 x406 -x407 -x408 x409 x410 x411 -x412 -x413 -x414 x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 x430 x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 x440 -x441 x442 x443 x444 -x445 x446 x447 -x448 x449 -x450 x451 -x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 x466 -x467 -x468 -x469 x470
OK 195
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63111 MiB free)
memory of node 1: 64473 MiB (64207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462561-1722340764/watcher-4462561-1722340764 -o /tmp/evaluation-result-4462561-1722340764/solver-4462561-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7098 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462561-1722340764 --lp-cut-gomory=0 HOME/instance-4462561-1722340764.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7157, runsolver pid=7154
[startup+0.100093 s]*
/proc/loadavg: 0.07 0.08 0.09 1/260 7158
/proc/meminfo: memFree=130373128/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/7157/stat : 7157 (roundingsat) D 7154 7157 7085 0 -1 1078198272 212 0 0 0 0 0 0 0 20 0 1 0 681039 38273024 637 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.204452 s]*
/proc/loadavg: 0.07 0.08 0.09 2/261 7159
/proc/meminfo: memFree=130359332/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/7157/stat : 7157 (roundingsat) D 7154 7157 7085 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 681039 38273024 637 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.304213 s]*
/proc/loadavg: 0.07 0.08 0.09 1/261 7160
/proc/meminfo: memFree=130357216/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/7157/stat : 7157 (roundingsat) D 7154 7157 7085 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 681039 38273024 637 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700178 s]
/proc/loadavg: 0.07 0.08 0.09 5/259 7160
/proc/meminfo: memFree=130349952/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=40584 memory=11240 CPUtime=0.22 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 1239 0 0 0 19 3 0 0 20 0 1 0 681039 41558016 2810 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 10146 2810 1822 992 0 2004 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40584 KiB
Current children cumulated memory: 11240 KiB
[startup+1.50015 s]
/proc/loadavg: 0.38 0.15 0.11 3/252 7183
/proc/meminfo: memFree=130329884/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=44368 memory=18280 CPUtime=1.02 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 2477 0 0 0 94 8 0 0 20 0 1 0 681039 45432832 4570 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 11092 4570 1884 992 0 2950 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 44368 KiB
Current children cumulated memory: 18280 KiB
[startup+3.10494 s]
/proc/loadavg: 0.38 0.15 0.11 3/250 7233
/proc/meminfo: memFree=130310344/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=50080 memory=21992 CPUtime=2.61 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 3405 0 0 0 245 16 0 0 20 0 1 0 681039 51281920 5498 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 12520 5498 1884 992 0 4378 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 50080 KiB
Current children cumulated memory: 21992 KiB
[startup+6.30015 s]
/proc/loadavg: 0.67 0.21 0.13 5/265 7266
/proc/meminfo: memFree=130102008/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=58816 memory=28184 CPUtime=5.8 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 4448 0 0 0 551 29 0 0 20 0 1 0 681039 60227584 7046 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 14704 7046 1884 992 0 6562 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 58816 KiB
Current children cumulated memory: 28184 KiB
[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 5/265 7266
/proc/meminfo: memFree=129789880/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=73264 memory=41848 CPUtime=12.19 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 6916 0 0 0 1172 47 0 0 20 0 1 0 681039 75022336 10462 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 18316 10462 1884 992 0 10174 0
Current children cumulated CPU time: 12.19 s
Current children cumulated vsize: 73264 KiB
Current children cumulated memory: 41848 KiB
[startup+25.5002 s]
/proc/loadavg: 1.56 0.43 0.20 5/265 7269
/proc/meminfo: memFree=129295996/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=77496 memory=47556 CPUtime=24.96 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 7847 0 0 0 2422 74 0 0 20 0 1 0 681039 79355904 11889 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 19374 11889 1884 992 0 11232 0
Current children cumulated CPU time: 24.96 s
Current children cumulated vsize: 77496 KiB
Current children cumulated memory: 47556 KiB
[startup+51.1057 s]
/proc/loadavg: 2.58 0.79 0.33 5/265 7275
/proc/meminfo: memFree=128499224/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=109184 memory=78272 CPUtime=50.49 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 12478 0 0 0 4916 133 0 0 20 0 1 0 681039 111804416 19568 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 27296 19568 1884 992 0 19154 0
Current children cumulated CPU time: 50.49 s
Current children cumulated vsize: 109184 KiB
Current children cumulated memory: 78272 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.30 0.53 5/263 7295
/proc/meminfo: memFree=127305484/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=135568 memory=87932 CPUtime=101.56 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 14395 0 0 0 9966 190 0 0 20 0 1 0 681039 138821632 21983 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 33892 21983 1884 992 0 25750 0
Current children cumulated CPU time: 101.56 s
Current children cumulated vsize: 135568 KiB
Current children cumulated memory: 87932 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/264 7307
/proc/meminfo: memFree=126089612/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=194964 memory=134636 CPUtime=161.4 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 20988 0 0 0 15890 250 0 0 20 0 1 0 681039 199643136 33659 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 48741 33659 1884 992 0 40599 0
Current children cumulated CPU time: 161.4 s
Current children cumulated vsize: 194964 KiB
Current children cumulated memory: 134636 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 2.32 1.00 5/264 7318
/proc/meminfo: memFree=125164896/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=202496 memory=149660 CPUtime=221.25 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 22690 0 0 0 21844 281 0 0 20 0 1 0 681039 207355904 37415 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 50624 37415 1884 992 0 42482 0
Current children cumulated CPU time: 221.25 s
Current children cumulated vsize: 202496 KiB
Current children cumulated memory: 149660 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 2.64 1.19 5/263 7331
/proc/meminfo: memFree=124201464/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=202496 memory=150188 CPUtime=281.08 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 22786 0 0 0 27767 341 0 0 20 0 1 0 681039 207355904 37547 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 50624 37547 1884 992 0 42482 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 202496 KiB
Current children cumulated memory: 150188 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 2.94 1.39 5/260 7341
/proc/meminfo: memFree=123428428/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=211456 memory=156028 CPUtime=340.92 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 24288 0 0 0 33712 380 0 0 20 0 1 0 681039 216530944 39007 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 52864 39007 1884 992 0 44722 0
Current children cumulated CPU time: 340.92 s
Current children cumulated vsize: 211456 KiB
Current children cumulated memory: 156028 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.15 1.56 5/261 7353
/proc/meminfo: memFree=122704680/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=213284 memory=172620 CPUtime=400.75 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 24884 0 0 0 39637 438 0 0 20 0 1 0 681039 218402816 43155 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 53321 43155 1884 992 0 45179 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 213284 KiB
Current children cumulated memory: 172620 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.42 1.75 5/261 7364
/proc/meminfo: memFree=122026148/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=224000 memory=179152 CPUtime=460.6 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 26609 0 0 0 45580 480 0 0 20 0 1 0 681039 229376000 44788 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 56000 44788 1884 992 0 47858 0
################
# More data... #
################
Current children cumulated memory: 358732 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 3.99 5/259 8428
/proc/meminfo: memFree=104236756/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=390576 memory=359532 CPUtime=2914.11 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 50486 0 0 0 290207 1204 0 0 20 0 1 0 681039 399949824 89883 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 97644 89883 1900 992 0 89502 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 390576 KiB
Current children cumulated memory: 359532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.00 5/259 8439
/proc/meminfo: memFree=103920988/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=361620 CPUtime=2973.95 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 51266 0 0 0 296179 1216 0 0 20 0 1 0 681039 402984960 90405 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 90405 1900 992 0 90243 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 361620 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/262 8455
/proc/meminfo: memFree=103608768/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=361620 CPUtime=3033.8 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 51398 0 0 0 302139 1241 0 0 20 0 1 0 681039 402984960 90405 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 90405 1900 992 0 90243 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 361620 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.00 5/263 8467
/proc/meminfo: memFree=103254740/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=361636 CPUtime=3093.66 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 51563 0 0 0 308103 1263 0 0 20 0 1 0 681039 402984960 90409 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 90409 1900 992 0 90243 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 361636 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/263 8477
/proc/meminfo: memFree=102885408/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=361760 CPUtime=3153.52 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 51724 0 0 0 314063 1289 0 0 20 0 1 0 681039 402984960 90440 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 90440 1900 992 0 90243 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 361760 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/263 8487
/proc/meminfo: memFree=102556124/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=365920 CPUtime=3213.37 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 51893 0 0 0 320030 1307 0 0 20 0 1 0 681039 402984960 91480 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 91480 1900 992 0 90243 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 365920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/263 8497
/proc/meminfo: memFree=102208560/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=393540 memory=365968 CPUtime=3273.22 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 52077 0 0 0 326001 1321 0 0 20 0 1 0 681039 402984960 91492 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 98385 91492 1900 992 0 90243 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 393540 KiB
Current children cumulated memory: 365968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/262 8508
/proc/meminfo: memFree=101895540/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=399580 memory=369440 CPUtime=3333.06 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 53114 0 0 0 331969 1337 0 0 20 0 1 0 681039 409169920 92360 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 99895 92360 1900 992 0 91753 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 399580 KiB
Current children cumulated memory: 369440 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 8900
/proc/meminfo: memFree=101580304/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=490484 memory=380804 CPUtime=3392.87 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 55172 0 0 0 337938 1349 0 0 20 0 1 0 681039 502255616 95201 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 122621 95201 1900 992 0 114479 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 490484 KiB
Current children cumulated memory: 380804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 8911
/proc/meminfo: memFree=101290864/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=497108 memory=395196 CPUtime=3452.69 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 56492 0 0 0 343904 1365 0 0 20 0 1 0 681039 509038592 98799 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 124277 98799 1900 992 0 116135 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 497108 KiB
Current children cumulated memory: 395196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/260 9092
/proc/meminfo: memFree=100971776/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=499164 memory=400968 CPUtime=3512.5 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 57025 0 0 0 349872 1378 0 0 20 0 1 0 681039 511143936 100242 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 124791 100242 1900 992 0 116649 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 499164 KiB
Current children cumulated memory: 400968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/260 9102
/proc/meminfo: memFree=100654268/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=499164 memory=400968 CPUtime=3572.32 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 57133 0 0 0 355842 1390 0 0 20 0 1 0 681039 511143936 100242 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 124791 100242 1900 992 0 116649 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 499164 KiB
Current children cumulated memory: 400968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.14 4.09 4.01 5/260 9107
/proc/meminfo: memFree=100505816/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=499164 memory=400968 CPUtime=3600.03 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 57241 0 0 0 358607 1396 0 0 20 0 1 0 681039 511143936 100242 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 124791 100242 1900 992 0 116649 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 499164 KiB
Current children cumulated memory: 400968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.15 s]
# the end of solver process 7157 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.08 s, system=13.9735 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.14 4.09 4.01 5/260 9107
/proc/meminfo: memFree=100505816/131524600 swapFree=131071996/131071996
[pid=7157] ppid=7154 vsize=499164 memory=400968 CPUtime=3600.03 cores=5,7
/proc/7157/stat : 7157 (roundingsat) R 7154 7157 7085 0 -1 4194304 57241 0 0 0 358607 1396 0 0 20 0 1 0 681039 511143936 100242 134679101440 4194304 8255733 140731433532816 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 27418624 140731433534302 140731433534564 140731433534564 140731433541577 0
/proc/7157/statm: 124791 100242 1900 992 0 116649 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 499164 KiB
Current children cumulated memory: 400968 KiB
Child status: 0
Real time (s): 3610.15
CPU time (s): 3600.05
CPU user time (s): 3586.08
CPU system time (s): 13.9735
CPU usage (%): 99.7203
Max. virtual memory (cumulated for all children) (KiB): 499164
Max. memory (cumulated for all children) (KiB): 400968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.08
system time used= 13.9735
maximum resident set size= 400984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57254
page faults= 1
swaps= 0
block input operations= 224
block output operations= 3577176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 5252
# summary of solver processes directly reported to runsolver:
# pid: 7157
# total CPU time (s): 3600.05
# total CPU user time (s): 3586.08
# total CPU system time (s): 13.9735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55256 second user time and 17.1418 second system time
The end
Begin job on nodeC035 at 2024-07-30 13:59:24 IDJOB=4462561 IDBENCH=147543 IDSOLVER=3089 FILE ID=nodeC035/4462561-1722340764 RUNJOBID= nodeC035-1722340763-7098 SLURM_JOB_ID= 8249008 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4462561-1722340764/watcher-4462561-1722340764 -o /tmp/evaluation-result-4462561-1722340764/solver-4462561-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7098 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462561-1722340764 --lp-cut-gomory=0 HOME/instance-4462561-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=1492646933 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3371.449 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2251.564 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3525.403 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.967 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2037.417 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.588 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3528.991 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3643.084 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130374604 kB MemAvailable: 129936612 kB Buffers: 36352 kB Cached: 303416 kB SwapCached: 0 kB Active: 125336 kB Inactive: 571668 kB Active(anon): 1544 kB Inactive(anon): 377024 kB Active(file): 123792 kB Inactive(file): 194644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22940 kB Writeback: 0 kB AnonPages: 355140 kB Mapped: 91124 kB Shmem: 21336 kB KReclaimable: 42056 kB Slab: 116116 kB SReclaimable: 42056 kB SUnreclaim: 74060 kB KernelStack: 4176 kB PageTables: 9880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 705796 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 240340 kB DirectMap2M: 7921664 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890056 MiB End job on nodeC035 at 2024-07-30 14:59:35