| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.06 | 3609.6 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb |
| MD5SUM | af9f746f4378befb3a20d04b26ba3b05 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1628.09 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 100 |
| Total number of constraints | 3832 |
| Number of constraints which are clauses | 3831 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 128 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.01 c #variables 100 #constraints 3832 0.00/0.07 c rational objective 16.6667 1.49/1.55 c #Conflicts: 1000 | #Constraints: 4908 1.49/1.55 c #Conflicts: 2000 | #Constraints: 5923 1.49/1.55 c INPROCESSING 1.49/1.55 c GARBAGE COLLECT 1.49/1.55 c #Conflicts: 3000 | #Constraints: 5897 1.49/1.55 c #Conflicts: 4000 | #Constraints: 6907 1.49/1.55 c INPROCESSING 1.49/1.55 c GARBAGE COLLECT 1.49/1.55 c #Conflicts: 5000 | #Constraints: 6282 1.49/1.55 c #Conflicts: 6000 | #Constraints: 7299 1.49/1.55 c INPROCESSING 1.49/1.55 c GARBAGE COLLECT 1.49/1.55 c rational objective 16.7839 3.09/3.16 c #Conflicts: 7000 | #Constraints: 6428 3.09/3.16 c #Conflicts: 8000 | #Constraints: 8260 3.09/3.16 c #Conflicts: 9000 | #Constraints: 10030 3.09/3.16 c INPROCESSING 3.09/3.16 c GARBAGE COLLECT 3.09/3.16 c rational objective 16.7871 4.68/4.74 c #Conflicts: 10000 | #Constraints: 8523 4.68/4.74 c #Conflicts: 11000 | #Constraints: 10232 4.68/4.74 c #Conflicts: 12000 | #Constraints: 11944 4.68/4.74 c INPROCESSING 4.68/4.74 c GARBAGE COLLECT 4.68/4.74 c rational objective 16.7873 6.17/6.27 c #Conflicts: 13000 | #Constraints: 9614 6.17/6.27 c #Conflicts: 14000 | #Constraints: 11276 6.17/6.27 c #Conflicts: 15000 | #Constraints: 12879 6.17/6.27 c INPROCESSING 6.17/6.27 c GARBAGE COLLECT 6.17/6.27 c rational objective 16.7903 9.16/9.20 c #Conflicts: 16000 | #Constraints: 10080 9.16/9.20 c #Conflicts: 17000 | #Constraints: 11957 9.16/9.20 c #Conflicts: 18000 | #Constraints: 13830 9.16/9.20 c INPROCESSING 9.16/9.20 c GARBAGE COLLECT 9.16/9.20 c rational objective 16.7906 11.86/11.91 c #Conflicts: 19000 | #Constraints: 10371 11.86/11.91 c #Conflicts: 20000 | #Constraints: 12077 11.86/11.91 c #Conflicts: 21000 | #Constraints: 13756 11.86/11.91 c INPROCESSING 11.86/11.91 c GARBAGE COLLECT 11.86/11.91 c rational objective 16.7916 22.74/22.81 c #Conflicts: 22000 | #Constraints: 9985 22.74/22.81 c #Conflicts: 23000 | #Constraints: 11635 22.74/22.81 c #Conflicts: 24000 | #Constraints: 13337 22.74/22.81 c #Conflicts: 25000 | #Constraints: 15057 22.74/22.81 c INPROCESSING 22.74/22.81 c GARBAGE COLLECT 22.74/22.81 c #Conflicts: 26000 | #Constraints: 10979 22.74/22.81 c #Conflicts: 27000 | #Constraints: 12745 22.74/22.81 c #Conflicts: 28000 | #Constraints: 14390 22.74/22.81 c #Conflicts: 29000 | #Constraints: 16098 22.74/22.81 c INPROCESSING 22.74/22.81 c GARBAGE COLLECT 22.74/22.81 c #Conflicts: 30000 | #Constraints: 11029 22.74/22.81 c #Conflicts: 31000 | #Constraints: 12045 22.74/22.81 c #Conflicts: 32000 | #Constraints: 13062 22.74/22.81 c #Conflicts: 33000 | #Constraints: 14073 22.74/22.81 c INPROCESSING 22.74/22.81 c GARBAGE COLLECT 22.74/22.81 c rational objective 16.7881 25.22/25.38 c #Conflicts: 34000 | #Constraints: 10630 25.22/25.38 c #Conflicts: 35000 | #Constraints: 12485 25.22/25.38 c #Conflicts: 36000 | #Constraints: 14272 25.22/25.38 c #Conflicts: 37000 | #Constraints: 16075 25.22/25.38 c INPROCESSING 25.22/25.38 c GARBAGE COLLECT 25.22/25.38 c rational objective 16.7883 27.93/28.02 c #Conflicts: 38000 | #Constraints: 11460 27.93/28.02 c #Conflicts: 39000 | #Constraints: 13188 27.93/28.02 c #Conflicts: 40000 | #Constraints: 14959 27.93/28.02 c #Conflicts: 41000 | #Constraints: 16679 27.93/28.02 c INPROCESSING 27.93/28.02 c GARBAGE COLLECT 27.93/28.02 c rational objective 16.7883 95.43/95.71 c #Conflicts: 42000 | #Constraints: 11493 95.43/95.71 c #Conflicts: 43000 | #Constraints: 13343 95.43/95.71 c #Conflicts: 44000 | #Constraints: 15211 95.43/95.71 c #Conflicts: 45000 | #Constraints: 16983 95.43/95.71 c #Conflicts: 46000 | #Constraints: 18650 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 47000 | #Constraints: 12755 95.43/95.71 c #Conflicts: 48000 | #Constraints: 14479 95.43/95.71 c #Conflicts: 49000 | #Constraints: 16153 95.43/95.71 c #Conflicts: 50000 | #Constraints: 17887 95.43/95.71 c #Conflicts: 51000 | #Constraints: 19672 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 52000 | #Constraints: 13476 95.43/95.71 c #Conflicts: 53000 | #Constraints: 15183 95.43/95.71 c #Conflicts: 54000 | #Constraints: 16907 95.43/95.71 c #Conflicts: 55000 | #Constraints: 18714 95.43/95.71 c #Conflicts: 56000 | #Constraints: 20450 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 57000 | #Constraints: 13898 95.43/95.71 c #Conflicts: 58000 | #Constraints: 15604 95.43/95.71 c #Conflicts: 59000 | #Constraints: 17255 95.43/95.71 c #Conflicts: 60000 | #Constraints: 18947 95.43/95.71 c #Conflicts: 61000 | #Constraints: 20661 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 62000 | #Constraints: 13874 95.43/95.71 c #Conflicts: 63000 | #Constraints: 15639 95.43/95.71 c #Conflicts: 64000 | #Constraints: 17437 95.43/95.71 c #Conflicts: 65000 | #Constraints: 19112 95.43/95.71 c #Conflicts: 66000 | #Constraints: 20737 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 67000 | #Constraints: 13512 95.43/95.71 c #Conflicts: 68000 | #Constraints: 15185 95.43/95.71 c #Conflicts: 69000 | #Constraints: 16862 95.43/95.71 c #Conflicts: 70000 | #Constraints: 18631 95.43/95.71 c #Conflicts: 71000 | #Constraints: 20287 95.43/95.71 c #Conflicts: 72000 | #Constraints: 22037 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 73000 | #Constraints: 14503 95.43/95.71 c #Conflicts: 74000 | #Constraints: 16212 95.43/95.71 c #Conflicts: 75000 | #Constraints: 18040 95.43/95.71 c #Conflicts: 76000 | #Constraints: 19734 95.43/95.71 c #Conflicts: 77000 | #Constraints: 21403 95.43/95.71 c #Conflicts: 78000 | #Constraints: 23110 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 79000 | #Constraints: 15290 95.43/95.71 c #Conflicts: 80000 | #Constraints: 17104 95.43/95.71 c #Conflicts: 81000 | #Constraints: 18879 95.43/95.71 c #Conflicts: 82000 | #Constraints: 20666 95.43/95.71 c #Conflicts: 83000 | #Constraints: 22484 95.43/95.71 c #Conflicts: 84000 | #Constraints: 24173 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 85000 | #Constraints: 15621 95.43/95.71 c #Conflicts: 86000 | #Constraints: 17273 95.43/95.71 c #Conflicts: 87000 | #Constraints: 18957 95.43/95.71 c #Conflicts: 88000 | #Constraints: 20599 95.43/95.71 c #Conflicts: 89000 | #Constraints: 22295 95.43/95.71 c #Conflicts: 90000 | #Constraints: 23982 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 91000 | #Constraints: 15551 95.43/95.71 c #Conflicts: 92000 | #Constraints: 17390 95.43/95.71 c #Conflicts: 93000 | #Constraints: 19133 95.43/95.71 c #Conflicts: 94000 | #Constraints: 20938 95.43/95.71 c #Conflicts: 95000 | #Constraints: 22770 95.43/95.71 c #Conflicts: 96000 | #Constraints: 24626 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 97000 | #Constraints: 15524 95.43/95.71 c #Conflicts: 98000 | #Constraints: 17363 95.43/95.71 c #Conflicts: 99000 | #Constraints: 19131 95.43/95.71 c #Conflicts: 100000 | #Constraints: 20896 95.43/95.71 c #Conflicts: 101000 | #Constraints: 22666 95.43/95.71 c #Conflicts: 102000 | #Constraints: 24433 95.43/95.71 c #Conflicts: 103000 | #Constraints: 26112 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 104000 | #Constraints: 16479 95.43/95.71 c #Conflicts: 105000 | #Constraints: 18185 95.43/95.71 c #Conflicts: 106000 | #Constraints: 19910 95.43/95.71 c #Conflicts: 107000 | #Constraints: 21593 95.43/95.71 c #Conflicts: 108000 | #Constraints: 23302 95.43/95.71 c #Conflicts: 109000 | #Constraints: 25107 95.43/95.71 c #Conflicts: 110000 | #Constraints: 26892 95.43/95.71 c INPROCESSING 95.43/95.71 c GARBAGE COLLECT 95.43/95.71 c #Conflicts: 111000 | #Constraints: 17138 95.43/95.71 c #Conflicts: 112000 | #Constraints: 18848 95.43/95.71 c #Conflicts: 113000 | #Constraints: 20442 178.70/179.25 c #Conflicts: 114000 | #Constraints: 22096 178.70/179.25 c #Conflicts: 115000 | #Constraints: 23825 178.70/179.25 c #Conflicts: 116000 | #Constraints: 25524 178.70/179.25 c #Conflicts: 117000 | #Constraints: 27296 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 118000 | #Constraints: 17233 178.70/179.25 c #Conflicts: 119000 | #Constraints: 18908 178.70/179.25 c #Conflicts: 120000 | #Constraints: 20558 178.70/179.25 c #Conflicts: 121000 | #Constraints: 22182 178.70/179.25 c #Conflicts: 122000 | #Constraints: 23828 178.70/179.25 c #Conflicts: 123000 | #Constraints: 25523 178.70/179.25 c #Conflicts: 124000 | #Constraints: 27217 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 125000 | #Constraints: 17064 178.70/179.25 c #Conflicts: 126000 | #Constraints: 18730 178.70/179.25 c #Conflicts: 127000 | #Constraints: 20436 178.70/179.25 c #Conflicts: 128000 | #Constraints: 22218 178.70/179.25 c #Conflicts: 129000 | #Constraints: 23941 178.70/179.25 c #Conflicts: 130000 | #Constraints: 25670 178.70/179.25 c #Conflicts: 131000 | #Constraints: 27378 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 132000 | #Constraints: 16801 178.70/179.25 c #Conflicts: 133000 | #Constraints: 18422 178.70/179.25 c #Conflicts: 134000 | #Constraints: 20072 178.70/179.25 c #Conflicts: 135000 | #Constraints: 21791 178.70/179.25 c #Conflicts: 136000 | #Constraints: 23512 178.70/179.25 c #Conflicts: 137000 | #Constraints: 25313 178.70/179.25 c #Conflicts: 138000 | #Constraints: 27143 178.70/179.25 c #Conflicts: 139000 | #Constraints: 28949 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 140000 | #Constraints: 17960 178.70/179.25 c #Conflicts: 141000 | #Constraints: 19692 178.70/179.25 c #Conflicts: 142000 | #Constraints: 21424 178.70/179.25 c #Conflicts: 143000 | #Constraints: 23228 178.70/179.25 c #Conflicts: 144000 | #Constraints: 25043 178.70/179.25 c #Conflicts: 145000 | #Constraints: 26864 178.70/179.25 c #Conflicts: 146000 | #Constraints: 28669 178.70/179.25 c #Conflicts: 147000 | #Constraints: 30413 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 148000 | #Constraints: 18789 178.70/179.25 c #Conflicts: 149000 | #Constraints: 20471 178.70/179.25 c #Conflicts: 150000 | #Constraints: 22215 178.70/179.25 c #Conflicts: 151000 | #Constraints: 23978 178.70/179.25 c #Conflicts: 152000 | #Constraints: 25642 178.70/179.25 c #Conflicts: 153000 | #Constraints: 27373 178.70/179.25 c #Conflicts: 154000 | #Constraints: 29043 178.70/179.25 c #Conflicts: 155000 | #Constraints: 30706 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 156000 | #Constraints: 18905 178.70/179.25 c #Conflicts: 157000 | #Constraints: 20568 178.70/179.25 c #Conflicts: 158000 | #Constraints: 22241 178.70/179.25 c #Conflicts: 159000 | #Constraints: 23901 178.70/179.25 c #Conflicts: 160000 | #Constraints: 25620 178.70/179.25 c #Conflicts: 161000 | #Constraints: 27330 178.70/179.25 c #Conflicts: 162000 | #Constraints: 29088 178.70/179.25 c #Conflicts: 163000 | #Constraints: 30903 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 164000 | #Constraints: 18927 178.70/179.25 c #Conflicts: 165000 | #Constraints: 20724 178.70/179.25 c #Conflicts: 166000 | #Constraints: 22495 178.70/179.25 c #Conflicts: 167000 | #Constraints: 24229 178.70/179.25 c #Conflicts: 168000 | #Constraints: 25956 178.70/179.25 c #Conflicts: 169000 | #Constraints: 27661 178.70/179.25 c #Conflicts: 170000 | #Constraints: 29431 178.70/179.25 c #Conflicts: 171000 | #Constraints: 31144 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 172000 | #Constraints: 18696 178.70/179.25 c #Conflicts: 173000 | #Constraints: 20343 178.70/179.25 c #Conflicts: 174000 | #Constraints: 22009 178.70/179.25 c #Conflicts: 175000 | #Constraints: 23634 178.70/179.25 c #Conflicts: 176000 | #Constraints: 25335 178.70/179.25 c #Conflicts: 177000 | #Constraints: 27042 178.70/179.25 c #Conflicts: 178000 | #Constraints: 28773 178.70/179.25 c #Conflicts: 179000 | #Constraints: 30483 178.70/179.25 c #Conflicts: 180000 | #Constraints: 32179 178.70/179.25 c INPROCESSING 178.70/179.25 c GARBAGE COLLECT 178.70/179.25 c #Conflicts: 181000 | #Constraints: 19576 178.70/179.25 c #Conflicts: 182000 | #Constraints: 21314 178.70/179.25 c #Conflicts: 183000 | #Constraints: 23039 178.70/179.25 c #Conflicts: 184000 | #Constraints: 24734 178.70/179.25 c #Conflicts: 185000 | #Constraints: 26492 178.70/179.25 c #Conflicts: 186000 | #Constraints: 28261 281.51/282.39 c #Conflicts: 187000 | #Constraints: 30065 281.51/282.39 c #Conflicts: 188000 | #Constraints: 31869 281.51/282.39 c #Conflicts: 189000 | #Constraints: 33654 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 190000 | #Constraints: 20397 281.51/282.39 c #Conflicts: 191000 | #Constraints: 22067 281.51/282.39 c #Conflicts: 192000 | #Constraints: 23741 281.51/282.39 c #Conflicts: 193000 | #Constraints: 25495 281.51/282.39 c #Conflicts: 194000 | #Constraints: 27216 281.51/282.39 c #Conflicts: 195000 | #Constraints: 28971 281.51/282.39 c #Conflicts: 196000 | #Constraints: 30729 281.51/282.39 c #Conflicts: 197000 | #Constraints: 32515 281.51/282.39 c #Conflicts: 198000 | #Constraints: 34257 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 199000 | #Constraints: 20791 281.51/282.39 c #Conflicts: 200000 | #Constraints: 22566 281.51/282.39 c #Conflicts: 201000 | #Constraints: 24364 281.51/282.39 c #Conflicts: 202000 | #Constraints: 26159 281.51/282.39 c #Conflicts: 203000 | #Constraints: 28002 281.51/282.39 c #Conflicts: 204000 | #Constraints: 29851 281.51/282.39 c #Conflicts: 205000 | #Constraints: 31678 281.51/282.39 c #Conflicts: 206000 | #Constraints: 33430 281.51/282.39 c #Conflicts: 207000 | #Constraints: 35164 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 208000 | #Constraints: 21011 281.51/282.39 c #Conflicts: 209000 | #Constraints: 22722 281.51/282.39 c #Conflicts: 210000 | #Constraints: 24386 281.51/282.39 c #Conflicts: 211000 | #Constraints: 26067 281.51/282.39 c #Conflicts: 212000 | #Constraints: 27764 281.51/282.39 c #Conflicts: 213000 | #Constraints: 29463 281.51/282.39 c #Conflicts: 214000 | #Constraints: 31192 281.51/282.39 c #Conflicts: 215000 | #Constraints: 32956 281.51/282.39 c #Conflicts: 216000 | #Constraints: 34666 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 217000 | #Constraints: 20491 281.51/282.39 c #Conflicts: 218000 | #Constraints: 22281 281.51/282.39 c #Conflicts: 219000 | #Constraints: 24108 281.51/282.39 c #Conflicts: 220000 | #Constraints: 25931 281.51/282.39 c #Conflicts: 221000 | #Constraints: 27759 281.51/282.39 c #Conflicts: 222000 | #Constraints: 29551 281.51/282.39 c #Conflicts: 223000 | #Constraints: 31316 281.51/282.39 c #Conflicts: 224000 | #Constraints: 33115 281.51/282.39 c #Conflicts: 225000 | #Constraints: 34970 281.51/282.39 c #Conflicts: 226000 | #Constraints: 36838 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 227000 | #Constraints: 21988 281.51/282.39 c #Conflicts: 228000 | #Constraints: 23773 281.51/282.39 c #Conflicts: 229000 | #Constraints: 25590 281.51/282.39 c #Conflicts: 230000 | #Constraints: 27395 281.51/282.39 c #Conflicts: 231000 | #Constraints: 29121 281.51/282.39 c #Conflicts: 232000 | #Constraints: 30817 281.51/282.39 c #Conflicts: 233000 | #Constraints: 32526 281.51/282.39 c #Conflicts: 234000 | #Constraints: 34307 281.51/282.39 c #Conflicts: 235000 | #Constraints: 36041 281.51/282.39 c #Conflicts: 236000 | #Constraints: 37749 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 237000 | #Constraints: 22472 281.51/282.39 c #Conflicts: 238000 | #Constraints: 24195 281.51/282.39 c #Conflicts: 239000 | #Constraints: 25885 281.51/282.39 c #Conflicts: 240000 | #Constraints: 27576 281.51/282.39 c #Conflicts: 241000 | #Constraints: 29230 281.51/282.39 c #Conflicts: 242000 | #Constraints: 30882 281.51/282.39 c #Conflicts: 243000 | #Constraints: 32565 281.51/282.39 c #Conflicts: 244000 | #Constraints: 34242 281.51/282.39 c #Conflicts: 245000 | #Constraints: 35938 281.51/282.39 c #Conflicts: 246000 | #Constraints: 37718 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 247000 | #Constraints: 22561 281.51/282.39 c #Conflicts: 248000 | #Constraints: 24313 281.51/282.39 c #Conflicts: 249000 | #Constraints: 26018 281.51/282.39 c #Conflicts: 250000 | #Constraints: 27708 281.51/282.39 c #Conflicts: 251000 | #Constraints: 29403 281.51/282.39 c #Conflicts: 252000 | #Constraints: 31091 281.51/282.39 c #Conflicts: 253000 | #Constraints: 32786 281.51/282.39 c #Conflicts: 254000 | #Constraints: 34496 281.51/282.39 c #Conflicts: 255000 | #Constraints: 36205 281.51/282.39 c #Conflicts: 256000 | #Constraints: 38047 281.51/282.39 c INPROCESSING 281.51/282.39 c GARBAGE COLLECT 281.51/282.39 c #Conflicts: 257000 | #Constraints: 22537 281.51/282.39 c #Conflicts: 258000 | #Constraints: 24348 281.51/282.39 c #Conflicts: 259000 | #Constraints: 26027 396.89/398.05 c #Conflicts: 260000 | #Constraints: 27735 396.89/398.05 c #Conflicts: 261000 | #Constraints: 29386 396.89/398.05 c #Conflicts: 262000 | #Constraints: 31064 396.89/398.05 c #Conflicts: 263000 | #Constraints: 32760 396.89/398.05 c #Conflicts: 264000 | #Constraints: 34444 396.89/398.05 c #Conflicts: 265000 | #Constraints: 36235 396.89/398.05 c #Conflicts: 266000 | #Constraints: 37984 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 267000 | #Constraints: 22142 396.89/398.05 c #Conflicts: 268000 | #Constraints: 23898 396.89/398.05 c #Conflicts: 269000 | #Constraints: 25604 396.89/398.05 c #Conflicts: 270000 | #Constraints: 27360 396.89/398.05 c #Conflicts: 271000 | #Constraints: 29065 396.89/398.05 c #Conflicts: 272000 | #Constraints: 30838 396.89/398.05 c #Conflicts: 273000 | #Constraints: 32588 396.89/398.05 c #Conflicts: 274000 | #Constraints: 34381 396.89/398.05 c #Conflicts: 275000 | #Constraints: 36186 396.89/398.05 c #Conflicts: 276000 | #Constraints: 37940 396.89/398.05 c #Conflicts: 277000 | #Constraints: 39592 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 278000 | #Constraints: 23201 396.89/398.05 c #Conflicts: 279000 | #Constraints: 24917 396.89/398.05 c #Conflicts: 280000 | #Constraints: 26592 396.89/398.05 c #Conflicts: 281000 | #Constraints: 28291 396.89/398.05 c #Conflicts: 282000 | #Constraints: 29988 396.89/398.05 c #Conflicts: 283000 | #Constraints: 31692 396.89/398.05 c #Conflicts: 284000 | #Constraints: 33368 396.89/398.05 c #Conflicts: 285000 | #Constraints: 35135 396.89/398.05 c #Conflicts: 286000 | #Constraints: 36887 396.89/398.05 c #Conflicts: 287000 | #Constraints: 38558 396.89/398.05 c #Conflicts: 288000 | #Constraints: 40233 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 289000 | #Constraints: 23741 396.89/398.05 c #Conflicts: 290000 | #Constraints: 25371 396.89/398.05 c #Conflicts: 291000 | #Constraints: 27063 396.89/398.05 c #Conflicts: 292000 | #Constraints: 28677 396.89/398.05 c #Conflicts: 293000 | #Constraints: 30363 396.89/398.05 c #Conflicts: 294000 | #Constraints: 32030 396.89/398.05 c #Conflicts: 295000 | #Constraints: 33715 396.89/398.05 c #Conflicts: 296000 | #Constraints: 35317 396.89/398.05 c #Conflicts: 297000 | #Constraints: 36979 396.89/398.05 c #Conflicts: 298000 | #Constraints: 38714 396.89/398.05 c #Conflicts: 299000 | #Constraints: 40412 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 300000 | #Constraints: 23817 396.89/398.05 c #Conflicts: 301000 | #Constraints: 25530 396.89/398.05 c #Conflicts: 302000 | #Constraints: 27294 396.89/398.05 c #Conflicts: 303000 | #Constraints: 28936 396.89/398.05 c #Conflicts: 304000 | #Constraints: 30668 396.89/398.05 c #Conflicts: 305000 | #Constraints: 32320 396.89/398.05 c #Conflicts: 306000 | #Constraints: 34125 396.89/398.05 c #Conflicts: 307000 | #Constraints: 35831 396.89/398.05 c #Conflicts: 308000 | #Constraints: 37463 396.89/398.05 c #Conflicts: 309000 | #Constraints: 39193 396.89/398.05 c #Conflicts: 310000 | #Constraints: 40895 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 311000 | #Constraints: 23889 396.89/398.05 c #Conflicts: 312000 | #Constraints: 25604 396.89/398.05 c #Conflicts: 313000 | #Constraints: 27352 396.89/398.05 c #Conflicts: 314000 | #Constraints: 29103 396.89/398.05 c #Conflicts: 315000 | #Constraints: 30904 396.89/398.05 c #Conflicts: 316000 | #Constraints: 32608 396.89/398.05 c #Conflicts: 317000 | #Constraints: 34290 396.89/398.05 c #Conflicts: 318000 | #Constraints: 36012 396.89/398.05 c #Conflicts: 319000 | #Constraints: 37754 396.89/398.05 c #Conflicts: 320000 | #Constraints: 39510 396.89/398.05 c #Conflicts: 321000 | #Constraints: 41240 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 322000 | #Constraints: 23703 396.89/398.05 c #Conflicts: 323000 | #Constraints: 25340 396.89/398.05 c #Conflicts: 324000 | #Constraints: 26975 396.89/398.05 c #Conflicts: 325000 | #Constraints: 28667 396.89/398.05 c #Conflicts: 326000 | #Constraints: 30329 396.89/398.05 c #Conflicts: 327000 | #Constraints: 31983 396.89/398.05 c #Conflicts: 328000 | #Constraints: 33645 396.89/398.05 c #Conflicts: 329000 | #Constraints: 35320 396.89/398.05 c #Conflicts: 330000 | #Constraints: 37074 396.89/398.05 c #Conflicts: 331000 | #Constraints: 38773 396.89/398.05 c #Conflicts: 332000 | #Constraints: 40509 396.89/398.05 c #Conflicts: 333000 | #Constraints: 42217 396.89/398.05 c INPROCESSING 396.89/398.05 c GARBAGE COLLECT 396.89/398.05 c #Conflicts: 334000 | #Constraints: 24513 530.81/532.35 c #Conflicts: 335000 | #Constraints: 26143 530.81/532.35 c #Conflicts: 336000 | #Constraints: 27766 530.81/532.35 c #Conflicts: 337000 | #Constraints: 29418 530.81/532.35 c #Conflicts: 338000 | #Constraints: 31096 530.81/532.35 c #Conflicts: 339000 | #Constraints: 32768 530.81/532.35 c #Conflicts: 340000 | #Constraints: 34485 530.81/532.35 c #Conflicts: 341000 | #Constraints: 36226 530.81/532.35 c #Conflicts: 342000 | #Constraints: 37946 530.81/532.35 c #Conflicts: 343000 | #Constraints: 39582 530.81/532.35 c #Conflicts: 344000 | #Constraints: 41195 530.81/532.35 c #Conflicts: 345000 | #Constraints: 42847 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 346000 | #Constraints: 25003 530.81/532.35 c #Conflicts: 347000 | #Constraints: 26773 530.81/532.35 c #Conflicts: 348000 | #Constraints: 28534 530.81/532.35 c #Conflicts: 349000 | #Constraints: 30339 530.81/532.35 c #Conflicts: 350000 | #Constraints: 32129 530.81/532.35 c #Conflicts: 351000 | #Constraints: 33943 530.81/532.35 c #Conflicts: 352000 | #Constraints: 35753 530.81/532.35 c #Conflicts: 353000 | #Constraints: 37449 530.81/532.35 c #Conflicts: 354000 | #Constraints: 39159 530.81/532.35 c #Conflicts: 355000 | #Constraints: 40865 530.81/532.35 c #Conflicts: 356000 | #Constraints: 42536 530.81/532.35 c #Conflicts: 357000 | #Constraints: 44257 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 358000 | #Constraints: 25777 530.81/532.35 c #Conflicts: 359000 | #Constraints: 27492 530.81/532.35 c #Conflicts: 360000 | #Constraints: 29159 530.81/532.35 c #Conflicts: 361000 | #Constraints: 30887 530.81/532.35 c #Conflicts: 362000 | #Constraints: 32588 530.81/532.35 c #Conflicts: 363000 | #Constraints: 34221 530.81/532.35 c #Conflicts: 364000 | #Constraints: 35998 530.81/532.35 c #Conflicts: 365000 | #Constraints: 37684 530.81/532.35 c #Conflicts: 366000 | #Constraints: 39437 530.81/532.35 c #Conflicts: 367000 | #Constraints: 41243 530.81/532.35 c #Conflicts: 368000 | #Constraints: 43050 530.81/532.35 c #Conflicts: 369000 | #Constraints: 44747 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 370000 | #Constraints: 25843 530.81/532.35 c #Conflicts: 371000 | #Constraints: 27553 530.81/532.35 c #Conflicts: 372000 | #Constraints: 29232 530.81/532.35 c #Conflicts: 373000 | #Constraints: 30944 530.81/532.35 c #Conflicts: 374000 | #Constraints: 32655 530.81/532.35 c #Conflicts: 375000 | #Constraints: 34399 530.81/532.35 c #Conflicts: 376000 | #Constraints: 36147 530.81/532.35 c #Conflicts: 377000 | #Constraints: 37895 530.81/532.35 c #Conflicts: 378000 | #Constraints: 39602 530.81/532.35 c #Conflicts: 379000 | #Constraints: 41264 530.81/532.35 c #Conflicts: 380000 | #Constraints: 42947 530.81/532.35 c #Conflicts: 381000 | #Constraints: 44701 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 382000 | #Constraints: 25491 530.81/532.35 c #Conflicts: 383000 | #Constraints: 27221 530.81/532.35 c #Conflicts: 384000 | #Constraints: 28911 530.81/532.35 c #Conflicts: 385000 | #Constraints: 30601 530.81/532.35 c #Conflicts: 386000 | #Constraints: 32246 530.81/532.35 c #Conflicts: 387000 | #Constraints: 33924 530.81/532.35 c #Conflicts: 388000 | #Constraints: 35549 530.81/532.35 c #Conflicts: 389000 | #Constraints: 37245 530.81/532.35 c #Conflicts: 390000 | #Constraints: 38845 530.81/532.35 c #Conflicts: 391000 | #Constraints: 40541 530.81/532.35 c #Conflicts: 392000 | #Constraints: 42255 530.81/532.35 c #Conflicts: 393000 | #Constraints: 43947 530.81/532.35 c #Conflicts: 394000 | #Constraints: 45683 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 395000 | #Constraints: 26407 530.81/532.35 c #Conflicts: 396000 | #Constraints: 28189 530.81/532.35 c #Conflicts: 397000 | #Constraints: 29949 530.81/532.35 c #Conflicts: 398000 | #Constraints: 31668 530.81/532.35 c #Conflicts: 399000 | #Constraints: 33303 530.81/532.35 c #Conflicts: 400000 | #Constraints: 35014 530.81/532.35 c #Conflicts: 401000 | #Constraints: 36668 530.81/532.35 c #Conflicts: 402000 | #Constraints: 38411 530.81/532.35 c #Conflicts: 403000 | #Constraints: 40080 530.81/532.35 c #Conflicts: 404000 | #Constraints: 41765 530.81/532.35 c #Conflicts: 405000 | #Constraints: 43484 530.81/532.35 c #Conflicts: 406000 | #Constraints: 45182 530.81/532.35 c #Conflicts: 407000 | #Constraints: 46858 530.81/532.35 c INPROCESSING 530.81/532.35 c GARBAGE COLLECT 530.81/532.35 c #Conflicts: 408000 | #Constraints: 27008 530.81/532.35 c #Conflicts: 409000 | #Constraints: 28716 703.23/705.24 c #Conflicts: 410000 | #Constraints: 30490 703.23/705.24 c #Conflicts: 411000 | #Constraints: 32208 703.23/705.24 c #Conflicts: 412000 | #Constraints: 33927 703.23/705.24 c #Conflicts: 413000 | #Constraints: 35641 703.23/705.24 c #Conflicts: 414000 | #Constraints: 37274 703.23/705.24 c #Conflicts: 415000 | #Constraints: 38918 703.23/705.24 c #Conflicts: 416000 | #Constraints: 40559 703.23/705.24 c #Conflicts: 417000 | #Constraints: 42202 703.23/705.24 c #Conflicts: 418000 | #Constraints: 43865 703.23/705.24 c #Conflicts: 419000 | #Constraints: 45611 703.23/705.24 c #Conflicts: 420000 | #Constraints: 47300 703.23/705.24 c INPROCESSING 703.23/705.24 c GARBAGE COLLECT 703.23/705.24 c #Conflicts: 421000 | #Constraints: 27348 703.23/705.24 c #Conflicts: 422000 | #Constraints: 29156 703.23/705.24 c #Conflicts: 423000 | #Constraints: 30910 703.23/705.24 c #Conflicts: 424000 | #Constraints: 32625 703.23/705.24 c #Conflicts: 425000 | #Constraints: 34349 703.23/705.24 c #Conflicts: 426000 | #Constraints: 36140 703.23/705.24 c #Conflicts: 427000 | #Constraints: 37877 703.23/705.24 c #Conflicts: 428000 | #Constraints: 39629 703.23/705.24 c #Conflicts: 429000 | #Constraints: 41319 703.23/705.24 c #Conflicts: 430000 | #Constraints: 43044 703.23/705.24 c #Conflicts: 431000 | #Constraints: 44831 703.23/705.24 c #Conflicts: 432000 | #Constraints: 46597 703.23/705.24 c #Conflicts: 433000 | #Constraints: 48352 703.23/705.24 c INPROCESSING 703.23/705.24 c GARBAGE COLLECT 703.23/705.24 c #Conflicts: 434000 | #Constraints: 27681 703.23/705.24 c #Conflicts: 435000 | #Constraints: 29440 703.23/705.24 c #Conflicts: 436000 | #Constraints: 31244 703.23/705.24 c #Conflicts: 437000 | #Constraints: 33055 703.23/705.24 c #Conflicts: 438000 | #Constraints: 34857 703.23/705.24 c #Conflicts: 439000 | #Constraints: 36633 703.23/705.24 c #Conflicts: 440000 | #Constraints: 38395 703.23/705.24 c #Conflicts: 441000 | #Constraints: 40137 703.23/705.24 c #Conflicts: 442000 | #Constraints: 41925 703.23/705.24 c #Conflicts: 443000 | #Constraints: 43733 703.23/705.24 c #Conflicts: 444000 | #Constraints: 45567 703.23/705.24 c #Conflicts: 445000 | #Constraints: 47393 703.23/705.24 c #Conflicts: 446000 | #Constraints: 49189 703.23/705.24 c INPROCESSING 703.23/705.24 c GARBAGE COLLECT 703.23/705.24 c #Conflicts: 447000 | #Constraints: 27765 703.23/705.24 c #Conflicts: 448000 | #Constraints: 29539 703.23/705.24 c #Conflicts: 449000 | #Constraints: 31295 703.23/705.24 c #Conflicts: 450000 | #Constraints: 33023 703.23/705.24 c #Conflicts: 451000 | #Constraints: 34810 703.23/705.24 c #Conflicts: 452000 | #Constraints: 36542 703.23/705.24 c #Conflicts: 453000 | #Constraints: 38311 703.23/705.24 c #Conflicts: 454000 | #Constraints: 40018 703.23/705.24 c #Conflicts: 455000 | #Constraints: 41826 703.23/705.24 c #Conflicts: 456000 | #Constraints: 43593 703.23/705.24 c #Conflicts: 457000 | #Constraints: 45396 703.23/705.24 c #Conflicts: 458000 | #Constraints: 47179 703.23/705.24 c #Conflicts: 459000 | #Constraints: 49028 703.23/705.24 c #Conflicts: 460000 | #Constraints: 50790 703.23/705.24 c INPROCESSING 703.23/705.24 c GARBAGE COLLECT 703.23/705.24 c #Conflicts: 461000 | #Constraints: 28815 703.23/705.24 c #Conflicts: 462000 | #Constraints: 30568 703.23/705.24 c #Conflicts: 463000 | #Constraints: 32333 703.23/705.24 c #Conflicts: 464000 | #Constraints: 34104 703.23/705.24 c #Conflicts: 465000 | #Constraints: 35834 703.23/705.24 c #Conflicts: 466000 | #Constraints: 37620 703.23/705.24 c #Conflicts: 467000 | #Constraints: 39425 703.23/705.24 c #Conflicts: 468000 | #Constraints: 41245 703.23/705.24 c #Conflicts: 469000 | #Constraints: 43070 703.23/705.24 c #Conflicts: 470000 | #Constraints: 44863 703.23/705.24 c #Conflicts: 471000 | #Constraints: 46683 703.23/705.24 c #Conflicts: 472000 | #Constraints: 48517 703.23/705.24 c #Conflicts: 473000 | #Constraints: 50355 703.23/705.24 c #Conflicts: 474000 | #Constraints: 52180 703.23/705.24 c INPROCESSING 703.23/705.24 c GARBAGE COLLECT 703.23/705.24 c #Conflicts: 475000 | #Constraints: 29769 703.23/705.24 c #Conflicts: 476000 | #Constraints: 31530 703.23/705.24 c #Conflicts: 477000 | #Constraints: 33329 703.23/705.24 c #Conflicts: 478000 | #Constraints: 35151 703.23/705.24 c #Conflicts: 479000 | #Constraints: 36997 703.23/705.24 c #Conflicts: 480000 | #Constraints: 38833 703.23/705.24 c #Conflicts: 481000 | #Constraints: 40666 703.23/705.24 c #Conflicts: 482000 | #Constraints: 42548 703.23/705.24 c #Conflicts: 483000 | #Constraints: 44421 703.23/705.24 c #Conflicts: 484000 | #Constraints: 46217 870.86/873.31 c #Conflicts: 485000 | #Constraints: 48024 870.86/873.31 c #Conflicts: 486000 | #Constraints: 49890 870.86/873.31 c #Conflicts: 487000 | #Constraints: 51745 870.86/873.31 c #Conflicts: 488000 | #Constraints: 53594 870.86/873.31 c INPROCESSING 870.86/873.31 c GARBAGE COLLECT 870.86/873.31 c #Conflicts: 489000 | #Constraints: 30503 870.86/873.31 c #Conflicts: 490000 | #Constraints: 32314 870.86/873.31 c #Conflicts: 491000 | #Constraints: 34147 870.86/873.31 c #Conflicts: 492000 | #Constraints: 35941 870.86/873.31 c #Conflicts: 493000 | #Constraints: 37732 870.86/873.31 c #Conflicts: 494000 | #Constraints: 39522 870.86/873.31 c #Conflicts: 495000 | #Constraints: 41277 870.86/873.31 c #Conflicts: 496000 | #Constraints: 43000 870.86/873.31 c #Conflicts: 497000 | #Constraints: 44774 870.86/873.31 c #Conflicts: 498000 | #Constraints: 46478 870.86/873.31 c #Conflicts: 499000 | #Constraints: 48206 870.86/873.31 c #Conflicts: 500000 | #Constraints: 49954 870.86/873.31 c #Conflicts: 501000 | #Constraints: 51738 870.86/873.31 c #Conflicts: 502000 | #Constraints: 53495 870.86/873.31 c INPROCESSING 870.86/873.31 c GARBAGE COLLECT 870.86/873.31 c #Conflicts: 503000 | #Constraints: 30202 870.86/873.31 c #Conflicts: 504000 | #Constraints: 31883 870.86/873.31 c #Conflicts: 505000 | #Constraints: 33623 870.86/873.31 c #Conflicts: 506000 | #Constraints: 35433 870.86/873.31 c #Conflicts: 507000 | #Constraints: 37237 870.86/873.31 c #Conflicts: 508000 | #Constraints: 38996 870.86/873.31 c #Conflicts: 509000 | #Constraints: 40780 870.86/873.31 c #Conflicts: 510000 | #Constraints: 42495 870.86/873.31 c #Conflicts: 511000 | #Constraints: 44243 870.86/873.31 c #Conflicts: 512000 | #Constraints: 46022 870.86/873.31 c #Conflicts: 513000 | #Constraints: 47729 870.86/873.31 c #Conflicts: 514000 | #Constraints: 49395 870.86/873.31 c #Conflicts: 515000 | #Constraints: 51075 870.86/873.31 c #Conflicts: 516000 | #Constraints: 52776 870.86/873.31 c INPROCESSING 870.86/873.31 c GARBAGE COLLECT 870.86/873.31 c #Conflicts: 517000 | #Constraints: 29477 870.86/873.31 c #Conflicts: 518000 | #Constraints: 31191 870.86/873.31 c #Conflicts: 519000 | #Constraints: 32971 870.86/873.31 c #Conflicts: 520000 | #Constraints: 34815 870.86/873.31 c #Conflicts: 521000 | #Constraints: 36606 870.86/873.31 c #Conflicts: 522000 | #Constraints: 38303 870.86/873.31 c #Conflicts: 523000 | #Constraints: 39962 870.86/873.31 c #Conflicts: 524000 | #Constraints: 41678 870.86/873.31 c #Conflicts: 525000 | #Constraints: 43327 870.86/873.31 c #Conflicts: 526000 | #Constraints: 45028 870.86/873.31 c #Conflicts: 527000 | #Constraints: 46683 870.86/873.31 c #Conflicts: 528000 | #Constraints: 48479 870.86/873.31 c #Conflicts: 529000 | #Constraints: 50216 870.86/873.31 c #Conflicts: 530000 | #Constraints: 52006 870.86/873.31 c #Conflicts: 531000 | #Constraints: 53766 870.86/873.31 c INPROCESSING 870.86/873.31 c GARBAGE COLLECT 870.86/873.31 c #Conflicts: 532000 | #Constraints: 30380 870.86/873.31 c #Conflicts: 533000 | #Constraints: 32113 870.86/873.31 c #Conflicts: 534000 | #Constraints: 33785 870.86/873.31 c #Conflicts: 535000 | #Constraints: 35437 870.86/873.31 c #Conflicts: 536000 | #Constraints: 37071 870.86/873.31 c #Conflicts: 537000 | #Constraints: 38799 870.86/873.31 c #Conflicts: 538000 | #Constraints: 40520 870.86/873.31 c #Conflicts: 539000 | #Constraints: 42136 870.86/873.31 c #Conflicts: 540000 | #Constraints: 43799 870.86/873.31 c #Conflicts: 541000 | #Constraints: 45487 870.86/873.31 c #Conflicts: 542000 | #Constraints: 47210 870.86/873.31 c #Conflicts: 543000 | #Constraints: 48987 870.86/873.31 c #Conflicts: 544000 | #Constraints: 50726 870.86/873.31 c #Conflicts: 545000 | #Constraints: 52377 870.86/873.31 c #Conflicts: 546000 | #Constraints: 54107 870.86/873.31 c INPROCESSING 870.86/873.31 c GARBAGE COLLECT 870.86/873.31 c #Conflicts: 547000 | #Constraints: 30790 870.86/873.31 c #Conflicts: 548000 | #Constraints: 32547 870.86/873.31 c #Conflicts: 549000 | #Constraints: 34256 870.86/873.31 c #Conflicts: 550000 | #Constraints: 35893 870.86/873.31 c #Conflicts: 551000 | #Constraints: 37576 870.86/873.31 c #Conflicts: 552000 | #Constraints: 39358 870.86/873.31 c #Conflicts: 553000 | #Constraints: 41154 870.86/873.31 c #Conflicts: 554000 | #Constraints: 42983 870.86/873.31 c #Conflicts: 555000 | #Constraints: 44752 870.86/873.31 c #Conflicts: 556000 | #Constraints: 46548 870.86/873.31 c #Conflicts: 557000 | #Constraints: 48387 870.86/873.31 c #Conflicts: 558000 | #Constraints: 50077 870.86/873.31 c #Conflicts: 559000 | #Constraints: 51766 870.86/873.31 c #Conflicts: 560000 | #Constraints: 53534 1034.32/1037.23 c #Conflicts: 561000 | #Constraints: 55195 1034.32/1037.23 c INPROCESSING 1034.32/1037.23 c GARBAGE COLLECT 1034.32/1037.23 c #Conflicts: 562000 | #Constraints: 31251 1034.32/1037.23 c #Conflicts: 563000 | #Constraints: 32902 1034.32/1037.23 c #Conflicts: 564000 | #Constraints: 34557 1034.32/1037.23 c #Conflicts: 565000 | #Constraints: 36314 1034.32/1037.23 c #Conflicts: 566000 | #Constraints: 37996 1034.32/1037.23 c #Conflicts: 567000 | #Constraints: 39644 1034.32/1037.23 c #Conflicts: 568000 | #Constraints: 41346 1034.32/1037.23 c #Conflicts: 569000 | #Constraints: 43047 1034.32/1037.23 c #Conflicts: 570000 | #Constraints: 44710 1034.32/1037.23 c #Conflicts: 571000 | #Constraints: 46399 1034.32/1037.23 c #Conflicts: 572000 | #Constraints: 48102 1034.32/1037.23 c #Conflicts: 573000 | #Constraints: 49803 1034.32/1037.23 c #Conflicts: 574000 | #Constraints: 51546 1034.32/1037.23 c #Conflicts: 575000 | #Constraints: 53296 1034.32/1037.23 c #Conflicts: 576000 | #Constraints: 55116 1034.32/1037.23 c INPROCESSING 1034.32/1037.23 c GARBAGE COLLECT 1034.32/1037.23 c #Conflicts: 577000 | #Constraints: 31018 1034.32/1037.23 c #Conflicts: 578000 | #Constraints: 32695 1034.32/1037.23 c #Conflicts: 579000 | #Constraints: 34426 1034.32/1037.23 c #Conflicts: 580000 | #Constraints: 36145 1034.32/1037.23 c #Conflicts: 581000 | #Constraints: 37813 1034.32/1037.23 c #Conflicts: 582000 | #Constraints: 39487 1034.32/1037.23 c #Conflicts: 583000 | #Constraints: 41102 1034.32/1037.23 c #Conflicts: 584000 | #Constraints: 42849 1034.32/1037.23 c #Conflicts: 585000 | #Constraints: 44536 1034.32/1037.23 c #Conflicts: 586000 | #Constraints: 46245 1034.32/1037.23 c #Conflicts: 587000 | #Constraints: 47992 1034.32/1037.23 c #Conflicts: 588000 | #Constraints: 49651 1034.32/1037.23 c #Conflicts: 589000 | #Constraints: 51291 1034.32/1037.23 c #Conflicts: 590000 | #Constraints: 52980 1034.32/1037.23 c #Conflicts: 591000 | #Constraints: 54666 1034.32/1037.23 c INPROCESSING 1034.32/1037.23 c GARBAGE COLLECT 1034.32/1037.23 c #Conflicts: 592000 | #Constraints: 30449 1034.32/1037.23 c #Conflicts: 593000 | #Constraints: 32241 1034.32/1037.23 c #Conflicts: 594000 | #Constraints: 34052 1034.32/1037.23 c #Conflicts: 595000 | #Constraints: 35821 1034.32/1037.23 c #Conflicts: 596000 | #Constraints: 37536 1034.32/1037.23 c #Conflicts: 597000 | #Constraints: 39178 1034.32/1037.23 c #Conflicts: 598000 | #Constraints: 40884 1034.32/1037.23 c #Conflicts: 599000 | #Constraints: 42590 1034.32/1037.23 c #Conflicts: 600000 | #Constraints: 44235 1034.32/1037.23 c #Conflicts: 601000 | #Constraints: 45901 1034.32/1037.23 c #Conflicts: 602000 | #Constraints: 47529 1034.32/1037.23 c #Conflicts: 603000 | #Constraints: 49316 1034.32/1037.23 c #Conflicts: 604000 | #Constraints: 51166 1034.32/1037.23 c #Conflicts: 605000 | #Constraints: 53005 1034.32/1037.23 c #Conflicts: 606000 | #Constraints: 54852 1034.32/1037.23 c #Conflicts: 607000 | #Constraints: 56620 1034.32/1037.23 c INPROCESSING 1034.32/1037.23 c GARBAGE COLLECT 1034.32/1037.23 c #Conflicts: 608000 | #Constraints: 31766 1034.32/1037.23 c #Conflicts: 609000 | #Constraints: 33483 1034.32/1037.23 c #Conflicts: 610000 | #Constraints: 35195 1034.32/1037.23 c #Conflicts: 611000 | #Constraints: 36912 1034.32/1037.23 c #Conflicts: 612000 | #Constraints: 38672 1034.32/1037.23 c #Conflicts: 613000 | #Constraints: 40403 1034.32/1037.23 c #Conflicts: 614000 | #Constraints: 42202 1034.32/1037.23 c #Conflicts: 615000 | #Constraints: 43955 1034.32/1037.23 c #Conflicts: 616000 | #Constraints: 45605 1034.32/1037.23 c #Conflicts: 617000 | #Constraints: 47303 1034.32/1037.23 c #Conflicts: 618000 | #Constraints: 49084 1034.32/1037.23 c #Conflicts: 619000 | #Constraints: 50772 1034.32/1037.23 c #Conflicts: 620000 | #Constraints: 52426 1034.32/1037.23 c #Conflicts: 621000 | #Constraints: 54172 1034.32/1037.23 c #Conflicts: 622000 | #Constraints: 55926 1034.32/1037.23 c #Conflicts: 623000 | #Constraints: 57656 1034.32/1037.23 c INPROCESSING 1034.32/1037.23 c GARBAGE COLLECT 1034.32/1037.23 c #Conflicts: 624000 | #Constraints: 32385 1034.32/1037.23 c #Conflicts: 625000 | #Constraints: 34046 1034.32/1037.23 c #Conflicts: 626000 | #Constraints: 35783 1034.32/1037.23 c #Conflicts: 627000 | #Constraints: 37436 1034.32/1037.23 c #Conflicts: 628000 | #Constraints: 39169 1034.32/1037.23 c #Conflicts: 629000 | #Constraints: 40864 1034.32/1037.23 c #Conflicts: 630000 | #Constraints: 42613 1034.32/1037.23 c #Conflicts: 631000 | #Constraints: 44329 1034.32/1037.23 c #Conflicts: 632000 | #Constraints: 46114 1034.32/1037.23 c #Conflicts: 633000 | #Constraints: 47850 1034.32/1037.23 c #Conflicts: 634000 | #Constraints: 49610 1034.32/1037.23 c #Conflicts: 635000 | #Constraints: 51351 1221.72/1225.13 c #Conflicts: 636000 | #Constraints: 53054 1221.72/1225.13 c #Conflicts: 637000 | #Constraints: 54755 1221.72/1225.13 c #Conflicts: 638000 | #Constraints: 56414 1221.72/1225.13 c #Conflicts: 639000 | #Constraints: 58141 1221.72/1225.13 c INPROCESSING 1221.72/1225.13 c GARBAGE COLLECT 1221.72/1225.13 c #Conflicts: 640000 | #Constraints: 32669 1221.72/1225.13 c #Conflicts: 641000 | #Constraints: 34431 1221.72/1225.13 c #Conflicts: 642000 | #Constraints: 36175 1221.72/1225.13 c #Conflicts: 643000 | #Constraints: 37841 1221.72/1225.13 c #Conflicts: 644000 | #Constraints: 39515 1221.72/1225.13 c #Conflicts: 645000 | #Constraints: 41245 1221.72/1225.13 c #Conflicts: 646000 | #Constraints: 42907 1221.72/1225.13 c #Conflicts: 647000 | #Constraints: 44612 1221.72/1225.13 c #Conflicts: 648000 | #Constraints: 46279 1221.72/1225.13 c #Conflicts: 649000 | #Constraints: 47937 1221.72/1225.13 c #Conflicts: 650000 | #Constraints: 49715 1221.72/1225.13 c #Conflicts: 651000 | #Constraints: 51451 1221.72/1225.13 c #Conflicts: 652000 | #Constraints: 53221 1221.72/1225.13 c #Conflicts: 653000 | #Constraints: 54980 1221.72/1225.13 c #Conflicts: 654000 | #Constraints: 56709 1221.72/1225.13 c #Conflicts: 655000 | #Constraints: 58533 1221.72/1225.13 c INPROCESSING 1221.72/1225.13 c GARBAGE COLLECT 1221.72/1225.13 c #Conflicts: 656000 | #Constraints: 32816 1221.72/1225.13 c #Conflicts: 657000 | #Constraints: 34678 1221.72/1225.13 c #Conflicts: 658000 | #Constraints: 36539 1221.72/1225.13 c #Conflicts: 659000 | #Constraints: 38370 1221.72/1225.13 c #Conflicts: 660000 | #Constraints: 40147 1221.72/1225.13 c #Conflicts: 661000 | #Constraints: 41836 1221.72/1225.13 c #Conflicts: 662000 | #Constraints: 43477 1221.72/1225.13 c #Conflicts: 663000 | #Constraints: 45196 1221.72/1225.13 c #Conflicts: 664000 | #Constraints: 46888 1221.72/1225.13 c #Conflicts: 665000 | #Constraints: 48651 1221.72/1225.13 c #Conflicts: 666000 | #Constraints: 50332 1221.72/1225.13 c #Conflicts: 667000 | #Constraints: 52076 1221.72/1225.13 c #Conflicts: 668000 | #Constraints: 53851 1221.72/1225.13 c #Conflicts: 669000 | #Constraints: 55534 1221.72/1225.13 c #Conflicts: 670000 | #Constraints: 57221 1221.72/1225.13 c #Conflicts: 671000 | #Constraints: 58933 1221.72/1225.13 c INPROCESSING 1221.72/1225.13 c GARBAGE COLLECT 1221.72/1225.13 c #Conflicts: 672000 | #Constraints: 32566 1221.72/1225.13 c #Conflicts: 673000 | #Constraints: 34186 1221.72/1225.13 c #Conflicts: 674000 | #Constraints: 35873 1221.72/1225.13 c #Conflicts: 675000 | #Constraints: 37634 1221.72/1225.13 c #Conflicts: 676000 | #Constraints: 39351 1221.72/1225.13 c #Conflicts: 677000 | #Constraints: 41098 1221.72/1225.13 c #Conflicts: 678000 | #Constraints: 42866 1221.72/1225.13 c #Conflicts: 679000 | #Constraints: 44618 1221.72/1225.13 c #Conflicts: 680000 | #Constraints: 46303 1221.72/1225.13 c #Conflicts: 681000 | #Constraints: 47974 1221.72/1225.13 c #Conflicts: 682000 | #Constraints: 49663 1221.72/1225.13 c #Conflicts: 683000 | #Constraints: 51383 1221.72/1225.13 c #Conflicts: 684000 | #Constraints: 53045 1221.72/1225.13 c #Conflicts: 685000 | #Constraints: 54757 1221.72/1225.13 c #Conflicts: 686000 | #Constraints: 56569 1221.72/1225.13 c #Conflicts: 687000 | #Constraints: 58353 1221.72/1225.13 c #Conflicts: 688000 | #Constraints: 60012 1221.72/1225.13 c INPROCESSING 1221.72/1225.13 c GARBAGE COLLECT 1221.72/1225.13 c #Conflicts: 689000 | #Constraints: 33468 1221.72/1225.13 c #Conflicts: 690000 | #Constraints: 35233 1221.72/1225.13 c #Conflicts: 691000 | #Constraints: 36929 1221.72/1225.13 c #Conflicts: 692000 | #Constraints: 38579 1221.72/1225.13 c #Conflicts: 693000 | #Constraints: 40263 1221.72/1225.13 c #Conflicts: 694000 | #Constraints: 42047 1221.72/1225.13 c #Conflicts: 695000 | #Constraints: 43818 1221.72/1225.13 c #Conflicts: 696000 | #Constraints: 45445 1221.72/1225.13 c #Conflicts: 697000 | #Constraints: 47082 1221.72/1225.13 c #Conflicts: 698000 | #Constraints: 48740 1221.72/1225.13 c #Conflicts: 699000 | #Constraints: 50388 1221.72/1225.13 c #Conflicts: 700000 | #Constraints: 52094 1221.72/1225.13 c #Conflicts: 701000 | #Constraints: 53823 1221.72/1225.13 c #Conflicts: 702000 | #Constraints: 55512 1221.72/1225.13 c #Conflicts: 703000 | #Constraints: 57226 1221.72/1225.13 c #Conflicts: 704000 | #Constraints: 58940 1221.72/1225.13 c #Conflicts: 705000 | #Constraints: 60632 1221.72/1225.13 c INPROCESSING 1221.72/1225.13 c GARBAGE COLLECT 1221.72/1225.13 c #Conflicts: 706000 | #Constraints: 33913 1221.72/1225.13 c #Conflicts: 707000 | #Constraints: 35548 1221.72/1225.13 c #Conflicts: 708000 | #Constraints: 37155 1221.72/1225.13 c #Conflicts: 709000 | #Constraints: 38778 1221.72/1225.13 c #Conflicts: 710000 | #Constraints: 40416 1221.72/1225.13 c #Conflicts: 711000 | #Constraints: 42121 1417.20/1421.16 c #Conflicts: 712000 | #Constraints: 43771 1417.20/1421.16 c #Conflicts: 713000 | #Constraints: 45494 1417.20/1421.16 c #Conflicts: 714000 | #Constraints: 47221 1417.20/1421.16 c #Conflicts: 715000 | #Constraints: 48957 1417.20/1421.16 c #Conflicts: 716000 | #Constraints: 50657 1417.20/1421.16 c #Conflicts: 717000 | #Constraints: 52347 1417.20/1421.16 c #Conflicts: 718000 | #Constraints: 54098 1417.20/1421.16 c #Conflicts: 719000 | #Constraints: 55919 1417.20/1421.16 c #Conflicts: 720000 | #Constraints: 57585 1417.20/1421.16 c #Conflicts: 721000 | #Constraints: 59256 1417.20/1421.16 c #Conflicts: 722000 | #Constraints: 60944 1417.20/1421.16 c INPROCESSING 1417.20/1421.16 c GARBAGE COLLECT 1417.20/1421.16 c #Conflicts: 723000 | #Constraints: 34072 1417.20/1421.16 c #Conflicts: 724000 | #Constraints: 35851 1417.20/1421.16 c #Conflicts: 725000 | #Constraints: 37572 1417.20/1421.16 c #Conflicts: 726000 | #Constraints: 39283 1417.20/1421.16 c #Conflicts: 727000 | #Constraints: 41058 1417.20/1421.16 c #Conflicts: 728000 | #Constraints: 42814 1417.20/1421.16 c #Conflicts: 729000 | #Constraints: 44548 1417.20/1421.16 c #Conflicts: 730000 | #Constraints: 46295 1417.20/1421.16 c #Conflicts: 731000 | #Constraints: 48047 1417.20/1421.16 c #Conflicts: 732000 | #Constraints: 49820 1417.20/1421.16 c #Conflicts: 733000 | #Constraints: 51570 1417.20/1421.16 c #Conflicts: 734000 | #Constraints: 53335 1417.20/1421.16 c #Conflicts: 735000 | #Constraints: 55109 1417.20/1421.16 c #Conflicts: 736000 | #Constraints: 56830 1417.20/1421.16 c #Conflicts: 737000 | #Constraints: 58582 1417.20/1421.16 c #Conflicts: 738000 | #Constraints: 60327 1417.20/1421.16 c #Conflicts: 739000 | #Constraints: 62029 1417.20/1421.16 c INPROCESSING 1417.20/1421.16 c GARBAGE COLLECT 1417.20/1421.16 c #Conflicts: 740000 | #Constraints: 34512 1417.20/1421.16 c #Conflicts: 741000 | #Constraints: 36284 1417.20/1421.16 c #Conflicts: 742000 | #Constraints: 38074 1417.20/1421.16 c #Conflicts: 743000 | #Constraints: 39867 1417.20/1421.16 c #Conflicts: 744000 | #Constraints: 41548 1417.20/1421.16 c #Conflicts: 745000 | #Constraints: 43227 1417.20/1421.16 c #Conflicts: 746000 | #Constraints: 44934 1417.20/1421.16 c #Conflicts: 747000 | #Constraints: 46655 1417.20/1421.16 c #Conflicts: 748000 | #Constraints: 48320 1417.20/1421.16 c #Conflicts: 749000 | #Constraints: 50010 1417.20/1421.16 c #Conflicts: 750000 | #Constraints: 51658 1417.20/1421.16 c #Conflicts: 751000 | #Constraints: 53306 1417.20/1421.16 c #Conflicts: 752000 | #Constraints: 54978 1417.20/1421.16 c #Conflicts: 753000 | #Constraints: 56595 1417.20/1421.16 c #Conflicts: 754000 | #Constraints: 58353 1417.20/1421.16 c #Conflicts: 755000 | #Constraints: 60045 1417.20/1421.16 c #Conflicts: 756000 | #Constraints: 61678 1417.20/1421.16 c INPROCESSING 1417.20/1421.16 c GARBAGE COLLECT 1417.20/1421.16 c #Conflicts: 757000 | #Constraints: 33944 1417.20/1421.16 c #Conflicts: 758000 | #Constraints: 35647 1417.20/1421.16 c #Conflicts: 759000 | #Constraints: 37367 1417.20/1421.16 c #Conflicts: 760000 | #Constraints: 39125 1417.20/1421.16 c #Conflicts: 761000 | #Constraints: 40944 1417.20/1421.16 c #Conflicts: 762000 | #Constraints: 42775 1417.20/1421.16 c #Conflicts: 763000 | #Constraints: 44447 1417.20/1421.16 c #Conflicts: 764000 | #Constraints: 46095 1417.20/1421.16 c #Conflicts: 765000 | #Constraints: 47777 1417.20/1421.16 c #Conflicts: 766000 | #Constraints: 49455 1417.20/1421.16 c #Conflicts: 767000 | #Constraints: 51130 1417.20/1421.16 c #Conflicts: 768000 | #Constraints: 52822 1417.20/1421.16 c #Conflicts: 769000 | #Constraints: 54579 1417.20/1421.16 c #Conflicts: 770000 | #Constraints: 56245 1417.20/1421.16 c #Conflicts: 771000 | #Constraints: 57918 1417.20/1421.16 c #Conflicts: 772000 | #Constraints: 59599 1417.20/1421.16 c #Conflicts: 773000 | #Constraints: 61354 1417.20/1421.16 c #Conflicts: 774000 | #Constraints: 63067 1417.20/1421.16 c INPROCESSING 1417.20/1421.16 c GARBAGE COLLECT 1417.20/1421.16 c #Conflicts: 775000 | #Constraints: 34907 1417.20/1421.16 c #Conflicts: 776000 | #Constraints: 36636 1417.20/1421.16 c #Conflicts: 777000 | #Constraints: 38334 1417.20/1421.16 c #Conflicts: 778000 | #Constraints: 40012 1417.20/1421.16 c #Conflicts: 779000 | #Constraints: 41699 1417.20/1421.16 c #Conflicts: 780000 | #Constraints: 43364 1417.20/1421.16 c #Conflicts: 781000 | #Constraints: 45074 1417.20/1421.16 c #Conflicts: 782000 | #Constraints: 46820 1417.20/1421.16 c #Conflicts: 783000 | #Constraints: 48567 1417.20/1421.16 c #Conflicts: 784000 | #Constraints: 50364 1417.20/1421.16 c #Conflicts: 785000 | #Constraints: 52187 1417.20/1421.16 c #Conflicts: 786000 | #Constraints: 54017 1417.20/1421.16 c #Conflicts: 787000 | #Constraints: 55776 1594.17/1598.67 c #Conflicts: 788000 | #Constraints: 57540 1594.17/1598.67 c #Conflicts: 789000 | #Constraints: 59234 1594.17/1598.67 c #Conflicts: 790000 | #Constraints: 60960 1594.17/1598.67 c #Conflicts: 791000 | #Constraints: 62647 1594.17/1598.67 c #Conflicts: 792000 | #Constraints: 64353 1594.17/1598.67 c INPROCESSING 1594.17/1598.67 c GARBAGE COLLECT 1594.17/1598.67 c #Conflicts: 793000 | #Constraints: 35720 1594.17/1598.67 c #Conflicts: 794000 | #Constraints: 37418 1594.17/1598.67 c #Conflicts: 795000 | #Constraints: 39092 1594.17/1598.67 c #Conflicts: 796000 | #Constraints: 40786 1594.17/1598.67 c #Conflicts: 797000 | #Constraints: 42538 1594.17/1598.67 c #Conflicts: 798000 | #Constraints: 44249 1594.17/1598.67 c #Conflicts: 799000 | #Constraints: 45936 1594.17/1598.67 c #Conflicts: 800000 | #Constraints: 47633 1594.17/1598.67 c #Conflicts: 801000 | #Constraints: 49371 1594.17/1598.67 c #Conflicts: 802000 | #Constraints: 51088 1594.17/1598.67 c #Conflicts: 803000 | #Constraints: 52770 1594.17/1598.67 c #Conflicts: 804000 | #Constraints: 54474 1594.17/1598.67 c #Conflicts: 805000 | #Constraints: 56179 1594.17/1598.67 c #Conflicts: 806000 | #Constraints: 57897 1594.17/1598.67 c #Conflicts: 807000 | #Constraints: 59574 1594.17/1598.67 c #Conflicts: 808000 | #Constraints: 61258 1594.17/1598.67 c #Conflicts: 809000 | #Constraints: 62882 1594.17/1598.67 c #Conflicts: 810000 | #Constraints: 64592 1594.17/1598.67 c INPROCESSING 1594.17/1598.67 c GARBAGE COLLECT 1594.17/1598.67 c #Conflicts: 811000 | #Constraints: 35925 1594.17/1598.67 c #Conflicts: 812000 | #Constraints: 37573 1594.17/1598.67 c #Conflicts: 813000 | #Constraints: 39289 1594.17/1598.67 c #Conflicts: 814000 | #Constraints: 41070 1594.17/1598.67 c #Conflicts: 815000 | #Constraints: 42901 1594.17/1598.67 c #Conflicts: 816000 | #Constraints: 44627 1594.17/1598.67 c #Conflicts: 817000 | #Constraints: 46316 1594.17/1598.67 c #Conflicts: 818000 | #Constraints: 48057 1594.17/1598.67 c #Conflicts: 819000 | #Constraints: 49782 1594.17/1598.67 c #Conflicts: 820000 | #Constraints: 51454 1594.17/1598.67 c #Conflicts: 821000 | #Constraints: 53152 1594.17/1598.67 c #Conflicts: 822000 | #Constraints: 54861 1594.17/1598.67 c #Conflicts: 823000 | #Constraints: 56598 1594.17/1598.67 c #Conflicts: 824000 | #Constraints: 58371 1594.17/1598.67 c #Conflicts: 825000 | #Constraints: 60119 1594.17/1598.67 c #Conflicts: 826000 | #Constraints: 61921 1594.17/1598.67 c #Conflicts: 827000 | #Constraints: 63695 1594.17/1598.67 c #Conflicts: 828000 | #Constraints: 65384 1594.17/1598.67 c INPROCESSING 1594.17/1598.67 c GARBAGE COLLECT 1594.17/1598.67 c #Conflicts: 829000 | #Constraints: 36065 1594.17/1598.67 c #Conflicts: 830000 | #Constraints: 37675 1594.17/1598.67 c #Conflicts: 831000 | #Constraints: 39325 1594.17/1598.67 c #Conflicts: 832000 | #Constraints: 40959 1594.17/1598.67 c #Conflicts: 833000 | #Constraints: 42504 1594.17/1598.67 c #Conflicts: 834000 | #Constraints: 44096 1594.17/1598.67 c #Conflicts: 835000 | #Constraints: 45694 1594.17/1598.67 c #Conflicts: 836000 | #Constraints: 47293 1594.17/1598.67 c #Conflicts: 837000 | #Constraints: 48945 1594.17/1598.67 c #Conflicts: 838000 | #Constraints: 50574 1594.17/1598.67 c #Conflicts: 839000 | #Constraints: 52204 1594.17/1598.67 c #Conflicts: 840000 | #Constraints: 53801 1594.17/1598.67 c #Conflicts: 841000 | #Constraints: 55471 1594.17/1598.67 c #Conflicts: 842000 | #Constraints: 57142 1594.17/1598.67 c #Conflicts: 843000 | #Constraints: 58800 1594.17/1598.67 c #Conflicts: 844000 | #Constraints: 60389 1594.17/1598.67 c #Conflicts: 845000 | #Constraints: 62041 1594.17/1598.67 c #Conflicts: 846000 | #Constraints: 63704 1594.17/1598.67 c INPROCESSING 1594.17/1598.67 c GARBAGE COLLECT 1594.17/1598.67 c #Conflicts: 847000 | #Constraints: 34943 1594.17/1598.67 c #Conflicts: 848000 | #Constraints: 36628 1594.17/1598.67 c #Conflicts: 849000 | #Constraints: 38349 1594.17/1598.67 c #Conflicts: 850000 | #Constraints: 40025 1594.17/1598.67 c #Conflicts: 851000 | #Constraints: 41732 1594.17/1598.67 c #Conflicts: 852000 | #Constraints: 43493 1594.17/1598.67 c #Conflicts: 853000 | #Constraints: 45241 1594.17/1598.67 c #Conflicts: 854000 | #Constraints: 46906 1594.17/1598.67 c #Conflicts: 855000 | #Constraints: 48578 1594.17/1598.67 c #Conflicts: 856000 | #Constraints: 50223 1594.17/1598.67 c #Conflicts: 857000 | #Constraints: 51903 1594.17/1598.67 c #Conflicts: 858000 | #Constraints: 53631 1594.17/1598.67 c #Conflicts: 859000 | #Constraints: 55329 1594.17/1598.67 c #Conflicts: 860000 | #Constraints: 57035 1594.17/1598.67 c #Conflicts: 861000 | #Constraints: 58705 1594.17/1598.67 c #Conflicts: 862000 | #Constraints: 60359 1594.17/1598.67 c #Conflicts: 863000 | #Constraints: 62088 1594.17/1598.67 c #Conflicts: 864000 | #Constraints: 63852 1781.49/1786.59 c #Conflicts: 865000 | #Constraints: 65554 1781.49/1786.59 c INPROCESSING 1781.49/1786.59 c GARBAGE COLLECT 1781.49/1786.59 c #Conflicts: 866000 | #Constraints: 36297 1781.49/1786.59 c #Conflicts: 867000 | #Constraints: 38000 1781.49/1786.59 c #Conflicts: 868000 | #Constraints: 39678 1781.49/1786.59 c #Conflicts: 869000 | #Constraints: 41303 1781.49/1786.59 c #Conflicts: 870000 | #Constraints: 43019 1781.49/1786.59 c #Conflicts: 871000 | #Constraints: 44724 1781.49/1786.59 c #Conflicts: 872000 | #Constraints: 46467 1781.49/1786.59 c #Conflicts: 873000 | #Constraints: 48188 1781.49/1786.59 c #Conflicts: 874000 | #Constraints: 49867 1781.49/1786.59 c #Conflicts: 875000 | #Constraints: 51558 1781.49/1786.59 c #Conflicts: 876000 | #Constraints: 53296 1781.49/1786.59 c #Conflicts: 877000 | #Constraints: 54964 1781.49/1786.59 c #Conflicts: 878000 | #Constraints: 56611 1781.49/1786.59 c #Conflicts: 879000 | #Constraints: 58313 1781.49/1786.59 c #Conflicts: 880000 | #Constraints: 59985 1781.49/1786.59 c #Conflicts: 881000 | #Constraints: 61733 1781.49/1786.59 c #Conflicts: 882000 | #Constraints: 63414 1781.49/1786.59 c #Conflicts: 883000 | #Constraints: 65113 1781.49/1786.59 c #Conflicts: 884000 | #Constraints: 66809 1781.49/1786.59 c INPROCESSING 1781.49/1786.59 c GARBAGE COLLECT 1781.49/1786.59 c #Conflicts: 885000 | #Constraints: 37040 1781.49/1786.59 c #Conflicts: 886000 | #Constraints: 38800 1781.49/1786.59 c #Conflicts: 887000 | #Constraints: 40562 1781.49/1786.59 c #Conflicts: 888000 | #Constraints: 42365 1781.49/1786.59 c #Conflicts: 889000 | #Constraints: 44152 1781.49/1786.59 c #Conflicts: 890000 | #Constraints: 45932 1781.49/1786.59 c #Conflicts: 891000 | #Constraints: 47627 1781.49/1786.59 c #Conflicts: 892000 | #Constraints: 49335 1781.49/1786.59 c #Conflicts: 893000 | #Constraints: 51033 1781.49/1786.59 c #Conflicts: 894000 | #Constraints: 52713 1781.49/1786.59 c #Conflicts: 895000 | #Constraints: 54428 1781.49/1786.59 c #Conflicts: 896000 | #Constraints: 56077 1781.49/1786.59 c #Conflicts: 897000 | #Constraints: 57743 1781.49/1786.59 c #Conflicts: 898000 | #Constraints: 59496 1781.49/1786.59 c #Conflicts: 899000 | #Constraints: 61216 1781.49/1786.59 c #Conflicts: 900000 | #Constraints: 62884 1781.49/1786.59 c #Conflicts: 901000 | #Constraints: 64589 1781.49/1786.59 c #Conflicts: 902000 | #Constraints: 66216 1781.49/1786.59 c #Conflicts: 903000 | #Constraints: 67868 1781.49/1786.59 c INPROCESSING 1781.49/1786.59 c GARBAGE COLLECT 1781.49/1786.59 c #Conflicts: 904000 | #Constraints: 37529 1781.49/1786.59 c #Conflicts: 905000 | #Constraints: 39275 1781.49/1786.59 c #Conflicts: 906000 | #Constraints: 41064 1781.49/1786.59 c #Conflicts: 907000 | #Constraints: 42789 1781.49/1786.59 c #Conflicts: 908000 | #Constraints: 44526 1781.49/1786.59 c #Conflicts: 909000 | #Constraints: 46259 1781.49/1786.59 c #Conflicts: 910000 | #Constraints: 48018 1781.49/1786.59 c #Conflicts: 911000 | #Constraints: 49715 1781.49/1786.59 c #Conflicts: 912000 | #Constraints: 51467 1781.49/1786.59 c #Conflicts: 913000 | #Constraints: 53132 1781.49/1786.59 c #Conflicts: 914000 | #Constraints: 54779 1781.49/1786.59 c #Conflicts: 915000 | #Constraints: 56430 1781.49/1786.59 c #Conflicts: 916000 | #Constraints: 58119 1781.49/1786.59 c #Conflicts: 917000 | #Constraints: 59942 1781.49/1786.59 c #Conflicts: 918000 | #Constraints: 61684 1781.49/1786.59 c #Conflicts: 919000 | #Constraints: 63325 1781.49/1786.59 c #Conflicts: 920000 | #Constraints: 64986 1781.49/1786.59 c #Conflicts: 921000 | #Constraints: 66763 1781.49/1786.59 c #Conflicts: 922000 | #Constraints: 68448 1781.49/1786.59 c INPROCESSING 1781.49/1786.59 c GARBAGE COLLECT 1781.49/1786.59 c #Conflicts: 923000 | #Constraints: 37663 1781.49/1786.59 c #Conflicts: 924000 | #Constraints: 39414 1781.49/1786.59 c #Conflicts: 925000 | #Constraints: 41115 1781.49/1786.59 c #Conflicts: 926000 | #Constraints: 42804 1781.49/1786.59 c #Conflicts: 927000 | #Constraints: 44544 1781.49/1786.59 c #Conflicts: 928000 | #Constraints: 46325 1781.49/1786.59 c #Conflicts: 929000 | #Constraints: 48049 1781.49/1786.59 c #Conflicts: 930000 | #Constraints: 49868 1781.49/1786.59 c #Conflicts: 931000 | #Constraints: 51756 1781.49/1786.59 c #Conflicts: 932000 | #Constraints: 53578 1781.49/1786.59 c #Conflicts: 933000 | #Constraints: 55424 1781.49/1786.59 c #Conflicts: 934000 | #Constraints: 57270 1781.49/1786.59 c #Conflicts: 935000 | #Constraints: 59094 1781.49/1786.59 c #Conflicts: 936000 | #Constraints: 60854 1781.49/1786.59 c #Conflicts: 937000 | #Constraints: 62568 1781.49/1786.59 c #Conflicts: 938000 | #Constraints: 64292 1781.49/1786.59 c #Conflicts: 939000 | #Constraints: 66010 1781.49/1786.59 c #Conflicts: 940000 | #Constraints: 67723 1981.20/1986.86 c #Conflicts: 941000 | #Constraints: 69459 1981.20/1986.86 c INPROCESSING 1981.20/1986.86 c GARBAGE COLLECT 1981.20/1986.86 c #Conflicts: 942000 | #Constraints: 37847 1981.20/1986.86 c #Conflicts: 943000 | #Constraints: 39561 1981.20/1986.86 c #Conflicts: 944000 | #Constraints: 41277 1981.20/1986.86 c #Conflicts: 945000 | #Constraints: 42960 1981.20/1986.86 c #Conflicts: 946000 | #Constraints: 44629 1981.20/1986.86 c #Conflicts: 947000 | #Constraints: 46341 1981.20/1986.86 c #Conflicts: 948000 | #Constraints: 48116 1981.20/1986.86 c #Conflicts: 949000 | #Constraints: 49881 1981.20/1986.86 c #Conflicts: 950000 | #Constraints: 51631 1981.20/1986.86 c #Conflicts: 951000 | #Constraints: 53417 1981.20/1986.86 c #Conflicts: 952000 | #Constraints: 55189 1981.20/1986.86 c #Conflicts: 953000 | #Constraints: 56953 1981.20/1986.86 c #Conflicts: 954000 | #Constraints: 58784 1981.20/1986.86 c #Conflicts: 955000 | #Constraints: 60574 1981.20/1986.86 c #Conflicts: 956000 | #Constraints: 62370 1981.20/1986.86 c #Conflicts: 957000 | #Constraints: 64144 1981.20/1986.86 c #Conflicts: 958000 | #Constraints: 65931 1981.20/1986.86 c #Conflicts: 959000 | #Constraints: 67724 1981.20/1986.86 c #Conflicts: 960000 | #Constraints: 69508 1981.20/1986.86 c #Conflicts: 961000 | #Constraints: 71300 1981.20/1986.86 c INPROCESSING 1981.20/1986.86 c GARBAGE COLLECT 1981.20/1986.86 c #Conflicts: 962000 | #Constraints: 39140 1981.20/1986.86 c #Conflicts: 963000 | #Constraints: 40920 1981.20/1986.86 c #Conflicts: 964000 | #Constraints: 42699 1981.20/1986.86 c #Conflicts: 965000 | #Constraints: 44535 1981.20/1986.86 c #Conflicts: 966000 | #Constraints: 46339 1981.20/1986.86 c #Conflicts: 967000 | #Constraints: 48118 1981.20/1986.86 c #Conflicts: 968000 | #Constraints: 49887 1981.20/1986.86 c #Conflicts: 969000 | #Constraints: 51588 1981.20/1986.86 c #Conflicts: 970000 | #Constraints: 53322 1981.20/1986.86 c #Conflicts: 971000 | #Constraints: 55154 1981.20/1986.86 c #Conflicts: 972000 | #Constraints: 56999 1981.20/1986.86 c #Conflicts: 973000 | #Constraints: 58779 1981.20/1986.86 c #Conflicts: 974000 | #Constraints: 60498 1981.20/1986.86 c #Conflicts: 975000 | #Constraints: 62216 1981.20/1986.86 c #Conflicts: 976000 | #Constraints: 63960 1981.20/1986.86 c #Conflicts: 977000 | #Constraints: 65674 1981.20/1986.86 c #Conflicts: 978000 | #Constraints: 67424 1981.20/1986.86 c #Conflicts: 979000 | #Constraints: 69132 1981.20/1986.86 c #Conflicts: 980000 | #Constraints: 70867 1981.20/1986.86 c #Conflicts: 981000 | #Constraints: 72561 1981.20/1986.86 c INPROCESSING 1981.20/1986.86 c GARBAGE COLLECT 1981.20/1986.86 c #Conflicts: 982000 | #Constraints: 39914 1981.20/1986.86 c #Conflicts: 983000 | #Constraints: 41593 1981.20/1986.86 c #Conflicts: 984000 | #Constraints: 43266 1981.20/1986.86 c #Conflicts: 985000 | #Constraints: 44967 1981.20/1986.86 c #Conflicts: 986000 | #Constraints: 46698 1981.20/1986.86 c #Conflicts: 987000 | #Constraints: 48389 1981.20/1986.86 c #Conflicts: 988000 | #Constraints: 50106 1981.20/1986.86 c #Conflicts: 989000 | #Constraints: 51831 1981.20/1986.86 c #Conflicts: 990000 | #Constraints: 53552 1981.20/1986.86 c #Conflicts: 991000 | #Constraints: 55290 1981.20/1986.86 c #Conflicts: 992000 | #Constraints: 57026 1981.20/1986.86 c #Conflicts: 993000 | #Constraints: 58769 1981.20/1986.86 c #Conflicts: 994000 | #Constraints: 60417 1981.20/1986.86 c #Conflicts: 995000 | #Constraints: 62129 1981.20/1986.86 c #Conflicts: 996000 | #Constraints: 63891 1981.20/1986.86 c #Conflicts: 997000 | #Constraints: 65603 1981.20/1986.86 c #Conflicts: 998000 | #Constraints: 67320 1981.20/1986.86 c #Conflicts: 999000 | #Constraints: 69048 1981.20/1986.86 c #Conflicts: 1000000 | #Constraints: 70819 1981.20/1986.86 c #Conflicts: 1001000 | #Constraints: 72589 1981.20/1986.86 c INPROCESSING 1981.20/1986.86 c GARBAGE COLLECT 1981.20/1986.86 c #Conflicts: 1002000 | #Constraints: 39908 1981.20/1986.86 c #Conflicts: 1003000 | #Constraints: 41581 1981.20/1986.86 c #Conflicts: 1004000 | #Constraints: 43261 1981.20/1986.86 c #Conflicts: 1005000 | #Constraints: 44964 1981.20/1986.86 c #Conflicts: 1006000 | #Constraints: 46706 1981.20/1986.86 c #Conflicts: 1007000 | #Constraints: 48416 1981.20/1986.86 c #Conflicts: 1008000 | #Constraints: 50123 1981.20/1986.86 c #Conflicts: 1009000 | #Constraints: 51822 1981.20/1986.86 c #Conflicts: 1010000 | #Constraints: 53497 1981.20/1986.86 c #Conflicts: 1011000 | #Constraints: 55221 1981.20/1986.86 c #Conflicts: 1012000 | #Constraints: 56923 1981.20/1986.86 c #Conflicts: 1013000 | #Constraints: 58672 1981.20/1986.86 c #Conflicts: 1014000 | #Constraints: 60432 1981.20/1986.86 c #Conflicts: 1015000 | #Constraints: 62171 1981.20/1986.86 c #Conflicts: 1016000 | #Constraints: 63892 2191.58/2197.74 c #Conflicts: 1017000 | #Constraints: 65573 2191.58/2197.74 c #Conflicts: 1018000 | #Constraints: 67329 2191.58/2197.74 c #Conflicts: 1019000 | #Constraints: 69097 2191.58/2197.74 c #Conflicts: 1020000 | #Constraints: 70857 2191.58/2197.74 c #Conflicts: 1021000 | #Constraints: 72608 2191.58/2197.74 c INPROCESSING 2191.58/2197.74 c GARBAGE COLLECT 2191.58/2197.74 c #Conflicts: 1022000 | #Constraints: 39767 2191.58/2197.74 c #Conflicts: 1023000 | #Constraints: 41506 2191.58/2197.74 c #Conflicts: 1024000 | #Constraints: 43215 2191.58/2197.74 c #Conflicts: 1025000 | #Constraints: 44949 2191.58/2197.74 c #Conflicts: 1026000 | #Constraints: 46707 2191.58/2197.74 c #Conflicts: 1027000 | #Constraints: 48466 2191.58/2197.74 c #Conflicts: 1028000 | #Constraints: 50258 2191.58/2197.74 c #Conflicts: 1029000 | #Constraints: 52034 2191.58/2197.74 c #Conflicts: 1030000 | #Constraints: 53852 2191.58/2197.74 c #Conflicts: 1031000 | #Constraints: 55629 2191.58/2197.74 c #Conflicts: 1032000 | #Constraints: 57404 2191.58/2197.74 c #Conflicts: 1033000 | #Constraints: 59022 2191.58/2197.74 c #Conflicts: 1034000 | #Constraints: 60730 2191.58/2197.74 c #Conflicts: 1035000 | #Constraints: 62433 2191.58/2197.74 c #Conflicts: 1036000 | #Constraints: 64173 2191.58/2197.74 c #Conflicts: 1037000 | #Constraints: 65904 2191.58/2197.74 c #Conflicts: 1038000 | #Constraints: 67624 2191.58/2197.74 c #Conflicts: 1039000 | #Constraints: 69381 2191.58/2197.74 c #Conflicts: 1040000 | #Constraints: 71149 2191.58/2197.74 c #Conflicts: 1041000 | #Constraints: 72912 2191.58/2197.74 c INPROCESSING 2191.58/2197.74 c GARBAGE COLLECT 2191.58/2197.74 c #Conflicts: 1042000 | #Constraints: 39561 2191.58/2197.74 c #Conflicts: 1043000 | #Constraints: 41275 2191.58/2197.74 c #Conflicts: 1044000 | #Constraints: 42995 2191.58/2197.74 c #Conflicts: 1045000 | #Constraints: 44742 2191.58/2197.74 c #Conflicts: 1046000 | #Constraints: 46447 2191.58/2197.74 c #Conflicts: 1047000 | #Constraints: 48142 2191.58/2197.74 c #Conflicts: 1048000 | #Constraints: 49871 2191.58/2197.74 c #Conflicts: 1049000 | #Constraints: 51609 2191.58/2197.74 c #Conflicts: 1050000 | #Constraints: 53261 2191.58/2197.74 c #Conflicts: 1051000 | #Constraints: 54942 2191.58/2197.74 c #Conflicts: 1052000 | #Constraints: 56650 2191.58/2197.74 c #Conflicts: 1053000 | #Constraints: 58358 2191.58/2197.74 c #Conflicts: 1054000 | #Constraints: 60077 2191.58/2197.74 c #Conflicts: 1055000 | #Constraints: 61794 2191.58/2197.74 c #Conflicts: 1056000 | #Constraints: 63531 2191.58/2197.74 c #Conflicts: 1057000 | #Constraints: 65288 2191.58/2197.74 c #Conflicts: 1058000 | #Constraints: 67015 2191.58/2197.74 c #Conflicts: 1059000 | #Constraints: 68775 2191.58/2197.74 c #Conflicts: 1060000 | #Constraints: 70494 2191.58/2197.74 c #Conflicts: 1061000 | #Constraints: 72234 2191.58/2197.74 c #Conflicts: 1062000 | #Constraints: 73959 2191.58/2197.74 c INPROCESSING 2191.58/2197.74 c GARBAGE COLLECT 2191.58/2197.74 c #Conflicts: 1063000 | #Constraints: 40475 2191.58/2197.74 c #Conflicts: 1064000 | #Constraints: 42182 2191.58/2197.74 c #Conflicts: 1065000 | #Constraints: 43858 2191.58/2197.74 c #Conflicts: 1066000 | #Constraints: 45530 2191.58/2197.74 c #Conflicts: 1067000 | #Constraints: 47249 2191.58/2197.74 c #Conflicts: 1068000 | #Constraints: 48957 2191.58/2197.74 c #Conflicts: 1069000 | #Constraints: 50683 2191.58/2197.74 c #Conflicts: 1070000 | #Constraints: 52516 2191.58/2197.74 c #Conflicts: 1071000 | #Constraints: 54310 2191.58/2197.74 c #Conflicts: 1072000 | #Constraints: 56087 2191.58/2197.74 c #Conflicts: 1073000 | #Constraints: 57836 2191.58/2197.74 c #Conflicts: 1074000 | #Constraints: 59622 2191.58/2197.74 c #Conflicts: 1075000 | #Constraints: 61350 2191.58/2197.74 c #Conflicts: 1076000 | #Constraints: 63090 2191.58/2197.74 c #Conflicts: 1077000 | #Constraints: 64870 2191.58/2197.74 c #Conflicts: 1078000 | #Constraints: 66602 2191.58/2197.74 c #Conflicts: 1079000 | #Constraints: 68368 2191.58/2197.74 c #Conflicts: 1080000 | #Constraints: 70138 2191.58/2197.74 c #Conflicts: 1081000 | #Constraints: 71858 2191.58/2197.74 c #Conflicts: 1082000 | #Constraints: 73598 2191.58/2197.74 c #Conflicts: 1083000 | #Constraints: 75345 2191.58/2197.74 c INPROCESSING 2191.58/2197.74 c GARBAGE COLLECT 2191.58/2197.74 c #Conflicts: 1084000 | #Constraints: 41304 2191.58/2197.74 c #Conflicts: 1085000 | #Constraints: 42949 2191.58/2197.74 c #Conflicts: 1086000 | #Constraints: 44637 2191.58/2197.74 c #Conflicts: 1087000 | #Constraints: 46336 2191.58/2197.74 c #Conflicts: 1088000 | #Constraints: 48055 2191.58/2197.74 c #Conflicts: 1089000 | #Constraints: 49813 2191.58/2197.74 c #Conflicts: 1090000 | #Constraints: 51565 2191.58/2197.74 c #Conflicts: 1091000 | #Constraints: 53321 2191.58/2197.74 c #Conflicts: 1092000 | #Constraints: 55089 2418.03/2424.79 c #Conflicts: 1093000 | #Constraints: 56840 2418.03/2424.79 c #Conflicts: 1094000 | #Constraints: 58550 2418.03/2424.79 c #Conflicts: 1095000 | #Constraints: 60263 2418.03/2424.79 c #Conflicts: 1096000 | #Constraints: 61973 2418.03/2424.79 c #Conflicts: 1097000 | #Constraints: 63713 2418.03/2424.79 c #Conflicts: 1098000 | #Constraints: 65480 2418.03/2424.79 c #Conflicts: 1099000 | #Constraints: 67255 2418.03/2424.79 c #Conflicts: 1100000 | #Constraints: 69047 2418.03/2424.79 c #Conflicts: 1101000 | #Constraints: 70794 2418.03/2424.79 c #Conflicts: 1102000 | #Constraints: 72586 2418.03/2424.79 c #Conflicts: 1103000 | #Constraints: 74377 2418.03/2424.79 c #Conflicts: 1104000 | #Constraints: 76105 2418.03/2424.79 c INPROCESSING 2418.03/2424.79 c GARBAGE COLLECT 2418.03/2424.79 c #Conflicts: 1105000 | #Constraints: 41683 2418.03/2424.79 c #Conflicts: 1106000 | #Constraints: 43441 2418.03/2424.79 c #Conflicts: 1107000 | #Constraints: 45203 2418.03/2424.79 c #Conflicts: 1108000 | #Constraints: 46929 2418.03/2424.79 c #Conflicts: 1109000 | #Constraints: 48683 2418.03/2424.79 c #Conflicts: 1110000 | #Constraints: 50379 2418.03/2424.79 c #Conflicts: 1111000 | #Constraints: 52103 2418.03/2424.79 c #Conflicts: 1112000 | #Constraints: 53844 2418.03/2424.79 c #Conflicts: 1113000 | #Constraints: 55589 2418.03/2424.79 c #Conflicts: 1114000 | #Constraints: 57311 2418.03/2424.79 c #Conflicts: 1115000 | #Constraints: 59071 2418.03/2424.79 c #Conflicts: 1116000 | #Constraints: 60772 2418.03/2424.79 c #Conflicts: 1117000 | #Constraints: 62509 2418.03/2424.79 c #Conflicts: 1118000 | #Constraints: 64214 2418.03/2424.79 c #Conflicts: 1119000 | #Constraints: 65916 2418.03/2424.79 c #Conflicts: 1120000 | #Constraints: 67654 2418.03/2424.79 c #Conflicts: 1121000 | #Constraints: 69373 2418.03/2424.79 c #Conflicts: 1122000 | #Constraints: 71125 2418.03/2424.79 c #Conflicts: 1123000 | #Constraints: 72926 2418.03/2424.79 c #Conflicts: 1124000 | #Constraints: 74696 2418.03/2424.79 c #Conflicts: 1125000 | #Constraints: 76459 2418.03/2424.79 c INPROCESSING 2418.03/2424.79 c GARBAGE COLLECT 2418.03/2424.79 c #Conflicts: 1126000 | #Constraints: 41719 2418.03/2424.79 c #Conflicts: 1127000 | #Constraints: 43443 2418.03/2424.79 c #Conflicts: 1128000 | #Constraints: 45116 2418.03/2424.79 c #Conflicts: 1129000 | #Constraints: 46785 2418.03/2424.79 c #Conflicts: 1130000 | #Constraints: 48540 2418.03/2424.79 c #Conflicts: 1131000 | #Constraints: 50229 2418.03/2424.79 c #Conflicts: 1132000 | #Constraints: 51856 2418.03/2424.79 c #Conflicts: 1133000 | #Constraints: 53569 2418.03/2424.79 c #Conflicts: 1134000 | #Constraints: 55160 2418.03/2424.79 c #Conflicts: 1135000 | #Constraints: 56915 2418.03/2424.79 c #Conflicts: 1136000 | #Constraints: 58559 2418.03/2424.79 c #Conflicts: 1137000 | #Constraints: 60203 2418.03/2424.79 c #Conflicts: 1138000 | #Constraints: 61866 2418.03/2424.79 c #Conflicts: 1139000 | #Constraints: 63587 2418.03/2424.79 c #Conflicts: 1140000 | #Constraints: 65316 2418.03/2424.79 c #Conflicts: 1141000 | #Constraints: 67038 2418.03/2424.79 c #Conflicts: 1142000 | #Constraints: 68758 2418.03/2424.79 c #Conflicts: 1143000 | #Constraints: 70425 2418.03/2424.79 c #Conflicts: 1144000 | #Constraints: 72109 2418.03/2424.79 c #Conflicts: 1145000 | #Constraints: 73845 2418.03/2424.79 c #Conflicts: 1146000 | #Constraints: 75610 2418.03/2424.79 c INPROCESSING 2418.03/2424.79 c GARBAGE COLLECT 2418.03/2424.79 c #Conflicts: 1147000 | #Constraints: 40905 2418.03/2424.79 c #Conflicts: 1148000 | #Constraints: 42494 2418.03/2424.79 c #Conflicts: 1149000 | #Constraints: 44211 2418.03/2424.79 c #Conflicts: 1150000 | #Constraints: 45928 2418.03/2424.79 c #Conflicts: 1151000 | #Constraints: 47613 2418.03/2424.79 c #Conflicts: 1152000 | #Constraints: 49348 2418.03/2424.79 c #Conflicts: 1153000 | #Constraints: 51045 2418.03/2424.79 c #Conflicts: 1154000 | #Constraints: 52793 2418.03/2424.79 c #Conflicts: 1155000 | #Constraints: 54513 2418.03/2424.79 c #Conflicts: 1156000 | #Constraints: 56120 2418.03/2424.79 c #Conflicts: 1157000 | #Constraints: 57790 2418.03/2424.79 c #Conflicts: 1158000 | #Constraints: 59521 2418.03/2424.79 c #Conflicts: 1159000 | #Constraints: 61225 2418.03/2424.79 c #Conflicts: 1160000 | #Constraints: 62954 2418.03/2424.79 c #Conflicts: 1161000 | #Constraints: 64670 2418.03/2424.79 c #Conflicts: 1162000 | #Constraints: 66396 2418.03/2424.79 c #Conflicts: 1163000 | #Constraints: 68086 2418.03/2424.79 c #Conflicts: 1164000 | #Constraints: 69823 2418.03/2424.79 c #Conflicts: 1165000 | #Constraints: 71563 2418.03/2424.79 c #Conflicts: 1166000 | #Constraints: 73297 2418.03/2424.79 c #Conflicts: 1167000 | #Constraints: 75045 2418.03/2424.79 c #Conflicts: 1168000 | #Constraints: 76802 2418.03/2424.79 c INPROCESSING 2418.03/2424.79 c GARBAGE COLLECT 2646.26/2653.57 c #Conflicts: 1169000 | #Constraints: 41894 2646.26/2653.57 c #Conflicts: 1170000 | #Constraints: 43638 2646.26/2653.57 c #Conflicts: 1171000 | #Constraints: 45422 2646.26/2653.57 c #Conflicts: 1172000 | #Constraints: 47267 2646.26/2653.57 c #Conflicts: 1173000 | #Constraints: 48909 2646.26/2653.57 c #Conflicts: 1174000 | #Constraints: 50570 2646.26/2653.57 c #Conflicts: 1175000 | #Constraints: 52262 2646.26/2653.57 c #Conflicts: 1176000 | #Constraints: 53953 2646.26/2653.57 c #Conflicts: 1177000 | #Constraints: 55637 2646.26/2653.57 c #Conflicts: 1178000 | #Constraints: 57342 2646.26/2653.57 c #Conflicts: 1179000 | #Constraints: 59117 2646.26/2653.57 c #Conflicts: 1180000 | #Constraints: 60878 2646.26/2653.57 c #Conflicts: 1181000 | #Constraints: 62510 2646.26/2653.57 c #Conflicts: 1182000 | #Constraints: 64184 2646.26/2653.57 c #Conflicts: 1183000 | #Constraints: 65928 2646.26/2653.57 c #Conflicts: 1184000 | #Constraints: 67594 2646.26/2653.57 c #Conflicts: 1185000 | #Constraints: 69255 2646.26/2653.57 c #Conflicts: 1186000 | #Constraints: 70981 2646.26/2653.57 c #Conflicts: 1187000 | #Constraints: 72756 2646.26/2653.57 c #Conflicts: 1188000 | #Constraints: 74602 2646.26/2653.57 c #Conflicts: 1189000 | #Constraints: 76411 2646.26/2653.57 c #Conflicts: 1190000 | #Constraints: 78198 2646.26/2653.57 c INPROCESSING 2646.26/2653.57 c GARBAGE COLLECT 2646.26/2653.57 c #Conflicts: 1191000 | #Constraints: 42663 2646.26/2653.57 c #Conflicts: 1192000 | #Constraints: 44303 2646.26/2653.57 c #Conflicts: 1193000 | #Constraints: 45988 2646.26/2653.57 c #Conflicts: 1194000 | #Constraints: 47678 2646.26/2653.57 c #Conflicts: 1195000 | #Constraints: 49380 2646.26/2653.57 c #Conflicts: 1196000 | #Constraints: 51096 2646.26/2653.57 c #Conflicts: 1197000 | #Constraints: 52796 2646.26/2653.57 c #Conflicts: 1198000 | #Constraints: 54476 2646.26/2653.57 c #Conflicts: 1199000 | #Constraints: 56244 2646.26/2653.57 c #Conflicts: 1200000 | #Constraints: 57920 2646.26/2653.57 c #Conflicts: 1201000 | #Constraints: 59595 2646.26/2653.57 c #Conflicts: 1202000 | #Constraints: 61302 2646.26/2653.57 c #Conflicts: 1203000 | #Constraints: 63024 2646.26/2653.57 c #Conflicts: 1204000 | #Constraints: 64739 2646.26/2653.57 c #Conflicts: 1205000 | #Constraints: 66403 2646.26/2653.57 c #Conflicts: 1206000 | #Constraints: 68144 2646.26/2653.57 c #Conflicts: 1207000 | #Constraints: 69821 2646.26/2653.57 c #Conflicts: 1208000 | #Constraints: 71492 2646.26/2653.57 c #Conflicts: 1209000 | #Constraints: 73228 2646.26/2653.57 c #Conflicts: 1210000 | #Constraints: 74932 2646.26/2653.57 c #Conflicts: 1211000 | #Constraints: 76673 2646.26/2653.57 c #Conflicts: 1212000 | #Constraints: 78366 2646.26/2653.57 c INPROCESSING 2646.26/2653.57 c GARBAGE COLLECT 2646.26/2653.57 c #Conflicts: 1213000 | #Constraints: 42903 2646.26/2653.57 c #Conflicts: 1214000 | #Constraints: 44725 2646.26/2653.57 c #Conflicts: 1215000 | #Constraints: 46491 2646.26/2653.57 c #Conflicts: 1216000 | #Constraints: 48284 2646.26/2653.57 c #Conflicts: 1217000 | #Constraints: 50097 2646.26/2653.57 c #Conflicts: 1218000 | #Constraints: 51902 2646.26/2653.57 c #Conflicts: 1219000 | #Constraints: 53718 2646.26/2653.57 c #Conflicts: 1220000 | #Constraints: 55500 2646.26/2653.57 c #Conflicts: 1221000 | #Constraints: 57247 2646.26/2653.57 c #Conflicts: 1222000 | #Constraints: 59004 2646.26/2653.57 c #Conflicts: 1223000 | #Constraints: 60750 2646.26/2653.57 c #Conflicts: 1224000 | #Constraints: 62555 2646.26/2653.57 c #Conflicts: 1225000 | #Constraints: 64379 2646.26/2653.57 c #Conflicts: 1226000 | #Constraints: 66190 2646.26/2653.57 c #Conflicts: 1227000 | #Constraints: 67957 2646.26/2653.57 c #Conflicts: 1228000 | #Constraints: 69706 2646.26/2653.57 c #Conflicts: 1229000 | #Constraints: 71476 2646.26/2653.57 c #Conflicts: 1230000 | #Constraints: 73244 2646.26/2653.57 c #Conflicts: 1231000 | #Constraints: 74895 2646.26/2653.57 c #Conflicts: 1232000 | #Constraints: 76536 2646.26/2653.57 c #Conflicts: 1233000 | #Constraints: 78192 2646.26/2653.57 c #Conflicts: 1234000 | #Constraints: 79824 2646.26/2653.57 c INPROCESSING 2646.26/2653.57 c GARBAGE COLLECT 2646.26/2653.57 c #Conflicts: 1235000 | #Constraints: 43340 2646.26/2653.57 c #Conflicts: 1236000 | #Constraints: 45062 2646.26/2653.57 c #Conflicts: 1237000 | #Constraints: 46715 2646.26/2653.57 c #Conflicts: 1238000 | #Constraints: 48414 2646.26/2653.57 c #Conflicts: 1239000 | #Constraints: 50149 2646.26/2653.57 c #Conflicts: 1240000 | #Constraints: 51819 2646.26/2653.57 c #Conflicts: 1241000 | #Constraints: 53495 2646.26/2653.57 c #Conflicts: 1242000 | #Constraints: 55183 2646.26/2653.57 c #Conflicts: 1243000 | #Constraints: 56868 2646.26/2653.57 c #Conflicts: 1244000 | #Constraints: 58577 2646.26/2653.57 c #Conflicts: 1245000 | #Constraints: 60234 2888.28/2896.13 c #Conflicts: 1246000 | #Constraints: 61904 2888.28/2896.13 c #Conflicts: 1247000 | #Constraints: 63654 2888.28/2896.13 c #Conflicts: 1248000 | #Constraints: 65445 2888.28/2896.13 c #Conflicts: 1249000 | #Constraints: 67176 2888.28/2896.13 c #Conflicts: 1250000 | #Constraints: 68804 2888.28/2896.13 c #Conflicts: 1251000 | #Constraints: 70431 2888.28/2896.13 c #Conflicts: 1252000 | #Constraints: 72080 2888.28/2896.13 c #Conflicts: 1253000 | #Constraints: 73774 2888.28/2896.13 c #Conflicts: 1254000 | #Constraints: 75466 2888.28/2896.13 c #Conflicts: 1255000 | #Constraints: 77188 2888.28/2896.13 c #Conflicts: 1256000 | #Constraints: 78995 2888.28/2896.13 c INPROCESSING 2888.28/2896.13 c GARBAGE COLLECT 2888.28/2896.13 c #Conflicts: 1257000 | #Constraints: 42653 2888.28/2896.13 c #Conflicts: 1258000 | #Constraints: 44321 2888.28/2896.13 c #Conflicts: 1259000 | #Constraints: 45949 2888.28/2896.13 c #Conflicts: 1260000 | #Constraints: 47654 2888.28/2896.13 c #Conflicts: 1261000 | #Constraints: 49310 2888.28/2896.13 c #Conflicts: 1262000 | #Constraints: 51001 2888.28/2896.13 c #Conflicts: 1263000 | #Constraints: 52713 2888.28/2896.13 c #Conflicts: 1264000 | #Constraints: 54439 2888.28/2896.13 c #Conflicts: 1265000 | #Constraints: 56188 2888.28/2896.13 c #Conflicts: 1266000 | #Constraints: 57823 2888.28/2896.13 c #Conflicts: 1267000 | #Constraints: 59484 2888.28/2896.13 c #Conflicts: 1268000 | #Constraints: 61162 2888.28/2896.13 c #Conflicts: 1269000 | #Constraints: 62896 2888.28/2896.13 c #Conflicts: 1270000 | #Constraints: 64633 2888.28/2896.13 c #Conflicts: 1271000 | #Constraints: 66362 2888.28/2896.13 c #Conflicts: 1272000 | #Constraints: 68114 2888.28/2896.13 c #Conflicts: 1273000 | #Constraints: 69878 2888.28/2896.13 c #Conflicts: 1274000 | #Constraints: 71627 2888.28/2896.13 c #Conflicts: 1275000 | #Constraints: 73338 2888.28/2896.13 c #Conflicts: 1276000 | #Constraints: 75028 2888.28/2896.13 c #Conflicts: 1277000 | #Constraints: 76712 2888.28/2896.13 c #Conflicts: 1278000 | #Constraints: 78459 2888.28/2896.13 c #Conflicts: 1279000 | #Constraints: 80181 2888.28/2896.13 c INPROCESSING 2888.28/2896.13 c GARBAGE COLLECT 2888.28/2896.13 c #Conflicts: 1280000 | #Constraints: 43516 2888.28/2896.13 c #Conflicts: 1281000 | #Constraints: 45261 2888.28/2896.13 c #Conflicts: 1282000 | #Constraints: 47029 2888.28/2896.13 c #Conflicts: 1283000 | #Constraints: 48795 2888.28/2896.13 c #Conflicts: 1284000 | #Constraints: 50475 2888.28/2896.13 c #Conflicts: 1285000 | #Constraints: 52078 2888.28/2896.13 c #Conflicts: 1286000 | #Constraints: 53779 2888.28/2896.13 c #Conflicts: 1287000 | #Constraints: 55454 2888.28/2896.13 c #Conflicts: 1288000 | #Constraints: 57144 2888.28/2896.13 c #Conflicts: 1289000 | #Constraints: 58829 2888.28/2896.13 c #Conflicts: 1290000 | #Constraints: 60544 2888.28/2896.13 c #Conflicts: 1291000 | #Constraints: 62212 2888.28/2896.13 c #Conflicts: 1292000 | #Constraints: 63892 2888.28/2896.13 c #Conflicts: 1293000 | #Constraints: 65597 2888.28/2896.13 c #Conflicts: 1294000 | #Constraints: 67306 2888.28/2896.13 c #Conflicts: 1295000 | #Constraints: 68956 2888.28/2896.13 c #Conflicts: 1296000 | #Constraints: 70693 2888.28/2896.13 c #Conflicts: 1297000 | #Constraints: 72397 2888.28/2896.13 c #Conflicts: 1298000 | #Constraints: 74123 2888.28/2896.13 c #Conflicts: 1299000 | #Constraints: 75839 2888.28/2896.13 c #Conflicts: 1300000 | #Constraints: 77545 2888.28/2896.13 c #Conflicts: 1301000 | #Constraints: 79313 2888.28/2896.13 c #Conflicts: 1302000 | #Constraints: 81069 2888.28/2896.13 c INPROCESSING 2888.28/2896.13 c GARBAGE COLLECT 2888.28/2896.13 c #Conflicts: 1303000 | #Constraints: 44144 2888.28/2896.13 c #Conflicts: 1304000 | #Constraints: 45802 2888.28/2896.13 c #Conflicts: 1305000 | #Constraints: 47466 2888.28/2896.13 c #Conflicts: 1306000 | #Constraints: 49095 2888.28/2896.13 c #Conflicts: 1307000 | #Constraints: 50811 2888.28/2896.13 c #Conflicts: 1308000 | #Constraints: 52513 2888.28/2896.13 c #Conflicts: 1309000 | #Constraints: 54221 2888.28/2896.13 c #Conflicts: 1310000 | #Constraints: 55947 2888.28/2896.13 c #Conflicts: 1311000 | #Constraints: 57705 2888.28/2896.13 c #Conflicts: 1312000 | #Constraints: 59522 2888.28/2896.13 c #Conflicts: 1313000 | #Constraints: 61229 2888.28/2896.13 c #Conflicts: 1314000 | #Constraints: 62887 2888.28/2896.13 c #Conflicts: 1315000 | #Constraints: 64612 2888.28/2896.13 c #Conflicts: 1316000 | #Constraints: 66381 2888.28/2896.13 c #Conflicts: 1317000 | #Constraints: 68138 2888.28/2896.13 c #Conflicts: 1318000 | #Constraints: 69866 2888.28/2896.13 c #Conflicts: 1319000 | #Constraints: 71592 2888.28/2896.13 c #Conflicts: 1320000 | #Constraints: 73365 2888.28/2896.13 c #Conflicts: 1321000 | #Constraints: 75086 2888.28/2896.13 c #Conflicts: 1322000 | #Constraints: 76848 3138.17/3146.66 c #Conflicts: 1323000 | #Constraints: 78627 3138.17/3146.66 c #Conflicts: 1324000 | #Constraints: 80374 3138.17/3146.66 c #Conflicts: 1325000 | #Constraints: 82153 3138.17/3146.66 c INPROCESSING 3138.17/3146.66 c GARBAGE COLLECT 3138.17/3146.66 c #Conflicts: 1326000 | #Constraints: 44734 3138.17/3146.66 c #Conflicts: 1327000 | #Constraints: 46513 3138.17/3146.66 c #Conflicts: 1328000 | #Constraints: 48293 3138.17/3146.66 c #Conflicts: 1329000 | #Constraints: 50069 3138.17/3146.66 c #Conflicts: 1330000 | #Constraints: 51827 3138.17/3146.66 c #Conflicts: 1331000 | #Constraints: 53643 3138.17/3146.66 c #Conflicts: 1332000 | #Constraints: 55450 3138.17/3146.66 c #Conflicts: 1333000 | #Constraints: 57144 3138.17/3146.66 c #Conflicts: 1334000 | #Constraints: 58808 3138.17/3146.66 c #Conflicts: 1335000 | #Constraints: 60533 3138.17/3146.66 c #Conflicts: 1336000 | #Constraints: 62276 3138.17/3146.66 c #Conflicts: 1337000 | #Constraints: 64017 3138.17/3146.66 c #Conflicts: 1338000 | #Constraints: 65733 3138.17/3146.66 c #Conflicts: 1339000 | #Constraints: 67474 3138.17/3146.66 c #Conflicts: 1340000 | #Constraints: 69184 3138.17/3146.66 c #Conflicts: 1341000 | #Constraints: 70933 3138.17/3146.66 c #Conflicts: 1342000 | #Constraints: 72655 3138.17/3146.66 c #Conflicts: 1343000 | #Constraints: 74383 3138.17/3146.66 c #Conflicts: 1344000 | #Constraints: 76085 3138.17/3146.66 c #Conflicts: 1345000 | #Constraints: 77770 3138.17/3146.66 c #Conflicts: 1346000 | #Constraints: 79472 3138.17/3146.66 c #Conflicts: 1347000 | #Constraints: 81182 3138.17/3146.66 c #Conflicts: 1348000 | #Constraints: 82866 3138.17/3146.66 c INPROCESSING 3138.17/3146.66 c GARBAGE COLLECT 3138.17/3146.66 c #Conflicts: 1349000 | #Constraints: 44906 3138.17/3146.66 c #Conflicts: 1350000 | #Constraints: 46700 3138.17/3146.66 c #Conflicts: 1351000 | #Constraints: 48506 3138.17/3146.66 c #Conflicts: 1352000 | #Constraints: 50308 3138.17/3146.66 c #Conflicts: 1353000 | #Constraints: 52033 3138.17/3146.66 c #Conflicts: 1354000 | #Constraints: 53737 3138.17/3146.66 c #Conflicts: 1355000 | #Constraints: 55428 3138.17/3146.66 c #Conflicts: 1356000 | #Constraints: 57114 3138.17/3146.66 c #Conflicts: 1357000 | #Constraints: 58837 3138.17/3146.66 c #Conflicts: 1358000 | #Constraints: 60558 3138.17/3146.66 c #Conflicts: 1359000 | #Constraints: 62237 3138.17/3146.66 c #Conflicts: 1360000 | #Constraints: 63906 3138.17/3146.66 c #Conflicts: 1361000 | #Constraints: 65552 3138.17/3146.66 c #Conflicts: 1362000 | #Constraints: 67245 3138.17/3146.66 c #Conflicts: 1363000 | #Constraints: 68979 3138.17/3146.66 c #Conflicts: 1364000 | #Constraints: 70716 3138.17/3146.66 c #Conflicts: 1365000 | #Constraints: 72475 3138.17/3146.66 c #Conflicts: 1366000 | #Constraints: 74192 3138.17/3146.66 c #Conflicts: 1367000 | #Constraints: 75920 3138.17/3146.66 c #Conflicts: 1368000 | #Constraints: 77594 3138.17/3146.66 c #Conflicts: 1369000 | #Constraints: 79293 3138.17/3146.66 c #Conflicts: 1370000 | #Constraints: 80994 3138.17/3146.66 c #Conflicts: 1371000 | #Constraints: 82734 3138.17/3146.66 c INPROCESSING 3138.17/3146.66 c GARBAGE COLLECT 3138.17/3146.66 c #Conflicts: 1372000 | #Constraints: 44468 3138.17/3146.66 c #Conflicts: 1373000 | #Constraints: 46255 3138.17/3146.66 c #Conflicts: 1374000 | #Constraints: 48071 3138.17/3146.66 c #Conflicts: 1375000 | #Constraints: 49861 3138.17/3146.66 c #Conflicts: 1376000 | #Constraints: 51689 3138.17/3146.66 c #Conflicts: 1377000 | #Constraints: 53487 3138.17/3146.66 c #Conflicts: 1378000 | #Constraints: 55182 3138.17/3146.66 c #Conflicts: 1379000 | #Constraints: 56857 3138.17/3146.66 c #Conflicts: 1380000 | #Constraints: 58538 3138.17/3146.66 c #Conflicts: 1381000 | #Constraints: 60209 3138.17/3146.66 c #Conflicts: 1382000 | #Constraints: 61908 3138.17/3146.66 c #Conflicts: 1383000 | #Constraints: 63587 3138.17/3146.66 c #Conflicts: 1384000 | #Constraints: 65369 3138.17/3146.66 c #Conflicts: 1385000 | #Constraints: 67048 3138.17/3146.66 c #Conflicts: 1386000 | #Constraints: 68662 3138.17/3146.66 c #Conflicts: 1387000 | #Constraints: 70282 3138.17/3146.66 c #Conflicts: 1388000 | #Constraints: 72013 3138.17/3146.66 c #Conflicts: 1389000 | #Constraints: 73713 3138.17/3146.66 c #Conflicts: 1390000 | #Constraints: 75397 3138.17/3146.66 c #Conflicts: 1391000 | #Constraints: 77156 3138.17/3146.66 c #Conflicts: 1392000 | #Constraints: 78811 3138.17/3146.66 c #Conflicts: 1393000 | #Constraints: 80490 3138.17/3146.66 c #Conflicts: 1394000 | #Constraints: 82314 3138.17/3146.66 c #Conflicts: 1395000 | #Constraints: 84100 3138.17/3146.66 c INPROCESSING 3138.17/3146.66 c GARBAGE COLLECT 3138.17/3146.66 c #Conflicts: 1396000 | #Constraints: 45560 3138.17/3146.66 c #Conflicts: 1397000 | #Constraints: 47350 3138.17/3146.66 c #Conflicts: 1398000 | #Constraints: 49072 3395.15/3404.20 c #Conflicts: 1399000 | #Constraints: 50816 3395.15/3404.20 c #Conflicts: 1400000 | #Constraints: 52553 3395.15/3404.20 c #Conflicts: 1401000 | #Constraints: 54307 3395.15/3404.20 c #Conflicts: 1402000 | #Constraints: 56117 3395.15/3404.20 c #Conflicts: 1403000 | #Constraints: 57849 3395.15/3404.20 c #Conflicts: 1404000 | #Constraints: 59491 3395.15/3404.20 c #Conflicts: 1405000 | #Constraints: 61212 3395.15/3404.20 c #Conflicts: 1406000 | #Constraints: 62881 3395.15/3404.20 c #Conflicts: 1407000 | #Constraints: 64522 3395.15/3404.20 c #Conflicts: 1408000 | #Constraints: 66165 3395.15/3404.20 c #Conflicts: 1409000 | #Constraints: 67861 3395.15/3404.20 c #Conflicts: 1410000 | #Constraints: 69581 3395.15/3404.20 c #Conflicts: 1411000 | #Constraints: 71276 3395.15/3404.20 c #Conflicts: 1412000 | #Constraints: 72857 3395.15/3404.20 c #Conflicts: 1413000 | #Constraints: 74524 3395.15/3404.20 c #Conflicts: 1414000 | #Constraints: 76221 3395.15/3404.20 c #Conflicts: 1415000 | #Constraints: 77977 3395.15/3404.20 c #Conflicts: 1416000 | #Constraints: 79654 3395.15/3404.20 c #Conflicts: 1417000 | #Constraints: 81302 3395.15/3404.20 c #Conflicts: 1418000 | #Constraints: 82978 3395.15/3404.20 c #Conflicts: 1419000 | #Constraints: 84656 3395.15/3404.20 c INPROCESSING 3395.15/3404.20 c GARBAGE COLLECT 3395.15/3404.20 c #Conflicts: 1420000 | #Constraints: 45971 3395.15/3404.20 c #Conflicts: 1421000 | #Constraints: 47733 3395.15/3404.20 c #Conflicts: 1422000 | #Constraints: 49465 3395.15/3404.20 c #Conflicts: 1423000 | #Constraints: 51134 3395.15/3404.20 c #Conflicts: 1424000 | #Constraints: 52784 3395.15/3404.20 c #Conflicts: 1425000 | #Constraints: 54488 3395.15/3404.20 c #Conflicts: 1426000 | #Constraints: 56138 3395.15/3404.20 c #Conflicts: 1427000 | #Constraints: 57779 3395.15/3404.20 c #Conflicts: 1428000 | #Constraints: 59537 3395.15/3404.20 c #Conflicts: 1429000 | #Constraints: 61330 3395.15/3404.20 c #Conflicts: 1430000 | #Constraints: 63099 3395.15/3404.20 c #Conflicts: 1431000 | #Constraints: 64771 3395.15/3404.20 c #Conflicts: 1432000 | #Constraints: 66420 3395.15/3404.20 c #Conflicts: 1433000 | #Constraints: 68100 3395.15/3404.20 c #Conflicts: 1434000 | #Constraints: 69800 3395.15/3404.20 c #Conflicts: 1435000 | #Constraints: 71491 3395.15/3404.20 c #Conflicts: 1436000 | #Constraints: 73254 3395.15/3404.20 c #Conflicts: 1437000 | #Constraints: 74927 3395.15/3404.20 c #Conflicts: 1438000 | #Constraints: 76661 3395.15/3404.20 c #Conflicts: 1439000 | #Constraints: 78403 3395.15/3404.20 c #Conflicts: 1440000 | #Constraints: 80146 3395.15/3404.20 c #Conflicts: 1441000 | #Constraints: 81886 3395.15/3404.20 c #Conflicts: 1442000 | #Constraints: 83544 3395.15/3404.20 c #Conflicts: 1443000 | #Constraints: 85254 3395.15/3404.20 c INPROCESSING 3395.15/3404.20 c GARBAGE COLLECT 3395.15/3404.20 c #Conflicts: 1444000 | #Constraints: 46243 3395.15/3404.20 c #Conflicts: 1445000 | #Constraints: 47880 3395.15/3404.20 c #Conflicts: 1446000 | #Constraints: 49550 3395.15/3404.20 c #Conflicts: 1447000 | #Constraints: 51286 3395.15/3404.20 c #Conflicts: 1448000 | #Constraints: 52995 3395.15/3404.20 c #Conflicts: 1449000 | #Constraints: 54727 3395.15/3404.20 c #Conflicts: 1450000 | #Constraints: 56487 3395.15/3404.20 c #Conflicts: 1451000 | #Constraints: 58223 3395.15/3404.20 c #Conflicts: 1452000 | #Constraints: 59975 3395.15/3404.20 c #Conflicts: 1453000 | #Constraints: 61780 3395.15/3404.20 c #Conflicts: 1454000 | #Constraints: 63588 3395.15/3404.20 c #Conflicts: 1455000 | #Constraints: 65404 3395.15/3404.20 c #Conflicts: 1456000 | #Constraints: 67212 3395.15/3404.20 c #Conflicts: 1457000 | #Constraints: 69025 3395.15/3404.20 c #Conflicts: 1458000 | #Constraints: 70875 3395.15/3404.20 c #Conflicts: 1459000 | #Constraints: 72691 3395.15/3404.20 c #Conflicts: 1460000 | #Constraints: 74483 3395.15/3404.20 c #Conflicts: 1461000 | #Constraints: 76250 3395.15/3404.20 c #Conflicts: 1462000 | #Constraints: 77950 3395.15/3404.20 c #Conflicts: 1463000 | #Constraints: 79697 3395.15/3404.20 c #Conflicts: 1464000 | #Constraints: 81414 3395.15/3404.20 c #Conflicts: 1465000 | #Constraints: 83087 3395.15/3404.20 c #Conflicts: 1466000 | #Constraints: 84802 3395.15/3404.20 c #Conflicts: 1467000 | #Constraints: 86468 3395.15/3404.20 c INPROCESSING 3395.15/3404.20 c GARBAGE COLLECT 3395.15/3404.20 c #Conflicts: 1468000 | #Constraints: 46701 3395.15/3404.20 c #Conflicts: 1469000 | #Constraints: 48376 3395.15/3404.20 c #Conflicts: 1470000 | #Constraints: 50081 3395.15/3404.20 c #Conflicts: 1471000 | #Constraints: 51816 3395.15/3404.20 c #Conflicts: 1472000 | #Constraints: 53527 3395.15/3404.20 c #Conflicts: 1473000 | #Constraints: 55215 3395.15/3404.20 c #Conflicts: 1474000 | #Constraints: 56907 3395.15/3404.20 c #Conflicts: 1475000 | #Constraints: c 3600.05/3609.60 s SATISFIABLE 3600.05/3609.60 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 3600.05/3609.60 58648 3600.05/3609.60 c #Conflicts: 1476000 | #Constraints: 60415 3600.05/3609.60 c #Conflicts: 1477000 | #Constraints: 62140 3600.05/3609.60 c #Conflicts: 1478000 | #Constraints: 63868 3600.05/3609.60 c #Conflicts: 1479000 | #Constraints: 65638 3600.05/3609.60 c #Conflicts: 1480000 | #Constraints: 67388 3600.05/3609.60 c #Conflicts: 1481000 | #Constraints: 69040 3600.05/3609.60 c #Conflicts: 1482000 | #Constraints: 70715 3600.05/3609.60 c #Conflicts: 1483000 | #Constraints: 72459 3600.05/3609.60 c #Conflicts: 1484000 | #Constraints: 74169 3600.05/3609.60 c #Conflicts: 1485000 | #Constraints: 75865 3600.05/3609.60 c #Conflicts: 1486000 | #Constraints: 77549 3600.05/3609.60 c #Conflicts: 1487000 | #Constraints: 79271 3600.05/3609.60 c #Conflicts: 1488000 | #Constraints: 81033 3600.05/3609.60 c #Conflicts: 1489000 | #Constraints: 82703 3600.05/3609.60 c #Conflicts: 1490000 | #Constraints: 84340 3600.05/3609.60 c #Conflicts: 1491000 | #Constraints: 86009 3600.05/3609.60 c INPROCESSING 3600.05/3609.60 c GARBAGE COLLECT 3600.05/3609.60 c #Conflicts: 1492000 | #Constraints: 46119 3600.05/3609.60 c #Conflicts: 1493000 | #Constraints: 47831 3600.05/3609.60 c #Conflicts: 1494000 | #Constraints: 49575 3600.05/3609.60 c #Conflicts: 1495000 | #Constraints: 51273 3600.05/3609.60 c #Conflicts: 1496000 | #Constraints: 53025 3600.05/3609.60 c #Conflicts: 1497000 | #Constraints: 54796 3600.05/3609.60 c #Conflicts: 1498000 | #Constraints: 56540 3600.05/3609.60 c #Conflicts: 1499000 | #Constraints: 58261 3600.05/3609.60 c #Conflicts: 1500000 | #Constraints: 60035 3600.05/3609.60 c #Conflicts: 1501000 | #Constraints: 61766 3600.05/3609.60 c #Conflicts: 1502000 | #Constraints: 63504 3600.05/3609.60 c #Conflicts: 1503000 | #Constraints: 65272 3600.05/3609.60 c #Conflicts: 1504000 | #Constraints: 67070 3600.05/3609.60 c #Conflicts: 1505000 | #Constraints: 68836 3600.05/3609.60 c #Conflicts: 1506000 | #Constraints: 70502 3600.05/3609.60 c #Conflicts: 1507000 | #Constraints: 72177 3600.05/3609.60 c #Conflicts: 1508000 | #Constraints: 73873 3600.05/3609.60 c #Conflicts: 1509000 | #Constraints: 75537 3600.05/3609.60 c #Conflicts: 1510000 | #Constraints: 77244 3600.05/3609.60 c #Conflicts: 1511000 | #Constraints: 78931 3600.05/3609.60 c #Conflicts: 1512000 | #Constraints: 80757 3600.05/3609.60 c #Conflicts: 1513000 | #Constraints: 82566 3600.05/3609.60 c #Conflicts: 1514000 | #Constraints: 84221 3600.05/3609.60 c #Conflicts: 1515000 | #Constraints: 85870 3600.05/3609.60 c #Conflicts: 1516000 | #Constraints: 87559 3600.05/3609.60 c INPROCESSING 3600.05/3609.60 c GARBAGE COLLECT 3600.05/3609.60 c #Conflicts: 1517000 | #Constraints: 47130 3600.05/3609.60 c #Conflicts: 1518000 | #Constraints: 48837 3600.05/3609.60 c #Conflicts: 1519000 | #Constraints: 50538 3600.05/3609.60 c #Conflicts: 1520000 | #Constraints: 52230 3600.05/3609.60 c #Conflicts: 1521000 | #Constraints: 53937 3600.05/3609.60 c #Conflicts: 1522000 | #Constraints: 55675 3600.05/3609.60 c #Conflicts: 1523000 | #Constraints: 57473 3600.05/3609.60 c #Conflicts: 1524000 | #Constraints: 59312 3600.05/3609.60 c #Conflicts: 1525000 | #Constraints: 61050 3600.05/3609.60 c #Conflicts: 1526000 | #Constraints: 62794 3600.05/3609.60 c #Conflicts: 1527000 | #Constraints: 64508 3600.05/3609.60 c #Conflicts: 1528000 | #Constraints: 66196 3600.05/3609.60 c #Conflicts: 1529000 | #Constraints: 67909 3600.05/3609.60 c #Conflicts: 1530000 | #Constraints: 69569 3600.05/3609.60 c #Conflicts: 1531000 | #Constraints: 71334 3600.05/3609.60 c #Conflicts: 1532000 | #Constraints: 73060 3600.05/3609.60 c #Conflicts: 1533000 | #Constraints: 74755 3600.05/3609.60 c #Conflicts: 1534000 | #Constraints: 76433
FAILED ERROR: unsatisfied constraint on line 7 -99>=-28 Falsified constraint is: -1*x1[=1] -1*x2[=1] -1*x3[=1] -1*x4[=1] -1*x5[=1] -1*x6[=1] -1*x7[=1] -1*x8[=1] -1*x9[=1] -1*x10[=1] -1*x11[=1] -1*x12[=1] -1*x13[=1] -1*x14[=1] -1*x15[=1] -1*x16[=1] -1*x17[=1] -1*x18[=1] -1*x19[=1] -1*x20[=1] -1*x21[=1] -1*x22[=1] -1*x23[=1] -1*x24[=1] -1*x25[=1] -1*x26[=1] -1*x27[=1] -1*x28[=1] -1*x29[=1] -1*x30[=1] -1*x31[=1] -1*x32[=1] -1*x33[=1] -1*x34[=1] -1*x35[=1] -1*x36[=1] -1*x37[=1] -1*x38[=1] -1*x39[=1] -1*x40[=1] -1*x41[=1] -1*x42[=1] -1*x43[=1] -1*x44[=1] -1*x45[=1] -1*x46[=1] -1*x47[=1] -1*x48[=0] -1*x49[=1] -1*x50[=1] -1*x51[=1] -1*x52[=1] -1*x53[=1] -1*x54[=1] -1*x55[=1] -1*x56[=1] -1*x57[=1] -1*x58[=1] -1*x59[=1] -1*x60[=1] -1*x61[=1] -1*x62[=1] -1*x63[=1] -1*x64[=1] -1*x65[=1] -1*x66[=1] -1*x67[=1] -1*x68[=1] -1*x69[=1] -1*x70[=1] -1*x71[=1] -1*x72[=1] -1*x73[=1] -1*x74[=1] -1*x75[=1] -1*x76[=1] -1*x77[=1] -1*x78[=1] -1*x79[=1] -1*x80[=1] -1*x81[=1] -1*x82[=1] -1*x83[=1] -1*x84[=1] -1*x85[=1] -1*x86[=1] -1*x87[=1] -1*x88[=1] -1*x89[=1] -1*x90[=1] -1*x91[=1] -1*x92[=1] -1*x93[=1] -1*x94[=1] -1*x95[=1] -1*x96[=1] -1*x97[=1] -1*x98[=1] -1*x99[=1] -1*x100[=1] >= -28
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 (59544 MiB free)
memory of node 1: 64473 MiB (61190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452570-1721446704/watcher-4452570-1721446704 -o /tmp/evaluation-result-4452570-1721446704/solver-4452570-1721446704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721444576-1045380 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4452570-1721446704.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1046722, runsolver pid=1046719
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.14 4.13 4.10 5/254 1046723
/proc/meminfo: memFree=123627644/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=39980 memory=9584 CPUtime=0.1 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 1486 0 0 0 10 0 0 0 20 0 1 0 196841279 40939520 2396 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 9995 2396 1593 922 0 1947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39980 KiB
Current children cumulated memory: 9584 KiB
[startup+0.20557 s]*
/proc/loadavg: 4.14 4.13 4.10 5/254 1046723
/proc/meminfo: memFree=123626436/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=41176 memory=11856 CPUtime=0.2 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 2019 0 0 0 20 0 0 0 20 0 1 0 196841279 42164224 2964 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 10294 2964 1787 922 0 2246 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41176 KiB
Current children cumulated memory: 11856 KiB
[startup+0.305533 s]*
/proc/loadavg: 4.14 4.13 4.10 5/254 1046723
/proc/meminfo: memFree=123625960/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=41176 memory=12120 CPUtime=0.3 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 2070 0 0 0 29 1 0 0 20 0 1 0 196841279 42164224 3030 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 10294 3030 1787 922 0 2246 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41176 KiB
Current children cumulated memory: 12120 KiB
[startup+0.700205 s]
/proc/loadavg: 4.14 4.13 4.10 5/254 1046723
/proc/meminfo: memFree=123622988/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=43488 memory=16552 CPUtime=0.69 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 2798 0 0 0 66 3 0 0 20 0 1 0 196841279 44531712 4138 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 10872 4138 1819 922 0 2824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 16552 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1046723
/proc/meminfo: memFree=123621168/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=43488 memory=16552 CPUtime=1.49 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 2799 0 0 0 143 6 0 0 20 0 1 0 196841279 44531712 4138 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 10872 4138 1819 922 0 2824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 16552 KiB
[startup+3.10542 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1046723
/proc/meminfo: memFree=123619884/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=44420 memory=18396 CPUtime=3.09 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 3267 0 0 0 299 10 0 0 20 0 1 0 196841279 45486080 4599 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 11105 4599 1819 922 0 3057 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44420 KiB
Current children cumulated memory: 18396 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 1046725
/proc/meminfo: memFree=123617104/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=49264 memory=21548 CPUtime=6.27 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 4023 0 0 0 610 17 0 0 20 0 1 0 196841279 50446336 5387 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 12316 5387 1819 922 0 4268 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49264 KiB
Current children cumulated memory: 21548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1046725
/proc/meminfo: memFree=123614140/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=50560 memory=23660 CPUtime=12.66 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 4547 0 0 0 1235 31 0 0 20 0 1 0 196841279 51773440 5915 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 12640 5915 1819 922 0 4592 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50560 KiB
Current children cumulated memory: 23660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 1046728
/proc/meminfo: memFree=123610420/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=52848 memory=27504 CPUtime=25.42 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 5578 0 0 0 2478 64 0 0 20 0 1 0 196841279 54116352 6876 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 13212 6876 1901 922 0 5164 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 52848 KiB
Current children cumulated memory: 27504 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1046731
/proc/meminfo: memFree=123591084/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=60300 memory=34680 CPUtime=50.96 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 6880 0 0 0 4981 115 0 0 20 0 1 0 196841279 61747200 8670 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 15075 8670 1901 922 0 7027 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 60300 KiB
Current children cumulated memory: 34680 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1046743
/proc/meminfo: memFree=123564852/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=70208 memory=37820 CPUtime=102.01 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 7673 0 0 0 9920 281 0 0 20 0 1 0 196841279 71892992 9455 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 17552 9455 1901 922 0 9504 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 70208 KiB
Current children cumulated memory: 37820 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 1046754
/proc/meminfo: memFree=123452568/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=72608 memory=43276 CPUtime=161.85 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 8507 0 0 0 15741 444 0 0 20 0 1 0 196841279 74350592 10819 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 18152 10819 1901 922 0 10104 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 72608 KiB
Current children cumulated memory: 43276 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1046765
/proc/meminfo: memFree=123446388/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=76364 memory=47952 CPUtime=221.68 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 9184 0 0 0 21578 590 0 0 20 0 1 0 196841279 78196736 11988 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 19091 11988 1901 922 0 11043 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 76364 KiB
Current children cumulated memory: 47952 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1046775
/proc/meminfo: memFree=123441936/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=79136 memory=50316 CPUtime=281.51 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 9774 0 0 0 27423 728 0 0 20 0 1 0 196841279 81035264 12579 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 19784 12579 1901 922 0 11736 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 79136 KiB
Current children cumulated memory: 50316 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/256 1046786
/proc/meminfo: memFree=123438408/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=79756 memory=51888 CPUtime=341.34 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 10176 0 0 0 33281 853 0 0 20 0 1 0 196841279 81670144 12972 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 19939 12972 1901 922 0 11891 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 79756 KiB
Current children cumulated memory: 51888 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/257 1046797
/proc/meminfo: memFree=123333772/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=91980 memory=55736 CPUtime=401.17 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 10622 0 0 0 39150 967 0 0 20 0 1 0 196841279 94187520 13934 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 22995 13934 1901 922 0 14947 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 91980 KiB
Current children cumulated memory: 55736 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/255 1046807
/proc/meminfo: memFree=123316252/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=92804 memory=56788 CPUtime=461.01 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 10888 0 0 0 45024 1077 0 0 20 0 1 0 196841279 95031296 14197 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 23201 14197 1901 922 0 15153 0
################
# More data... #
################
Current children cumulated memory: 99856 KiB
[startup+2862.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/256 1050088
/proc/meminfo: memFree=126372000/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=2854.56 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 17586 0 0 0 281398 4058 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 2854.56 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+2922.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/256 1050098
/proc/meminfo: memFree=126365756/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=2914.41 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 17922 0 0 0 287328 4113 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 1050277
/proc/meminfo: memFree=126364036/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=2974.27 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18259 0 0 0 293257 4170 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/257 1050289
/proc/meminfo: memFree=126363180/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=3034.12 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18300 0 0 0 299184 4228 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 1050359
/proc/meminfo: memFree=126358976/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=134968 memory=100220 CPUtime=3093.97 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18557 0 0 0 305114 4283 0 0 20 0 1 0 196841279 138207232 25055 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33742 25055 1901 922 0 25694 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 134968 KiB
Current children cumulated memory: 100220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/259 1050370
/proc/meminfo: memFree=126347132/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=134968 memory=100220 CPUtime=3153.83 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18604 0 0 0 311043 4340 0 0 20 0 1 0 196841279 138207232 25055 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33742 25055 1901 922 0 25694 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 134968 KiB
Current children cumulated memory: 100220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/259 1050381
/proc/meminfo: memFree=126341888/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=3213.69 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18730 0 0 0 316978 4391 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 1050392
/proc/meminfo: memFree=126340020/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=133976 memory=99356 CPUtime=3273.54 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 18772 0 0 0 322903 4451 0 0 20 0 1 0 196841279 137191424 24839 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33494 24839 1901 922 0 25446 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 133976 KiB
Current children cumulated memory: 99356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1050403
/proc/meminfo: memFree=126332604/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=134488 memory=99460 CPUtime=3333.4 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19142 0 0 0 328835 4505 0 0 20 0 1 0 196841279 137715712 24865 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33622 24865 1901 922 0 25574 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 134488 KiB
Current children cumulated memory: 99460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/259 1050414
/proc/meminfo: memFree=126317528/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=135992 memory=102636 CPUtime=3393.25 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19512 0 0 0 334767 4558 0 0 20 0 1 0 196841279 139255808 25659 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33998 25659 1901 922 0 25950 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 102636 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1050424
/proc/meminfo: memFree=126308268/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=135992 memory=102828 CPUtime=3453.11 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19555 0 0 0 340705 4606 0 0 20 0 1 0 196841279 139255808 25707 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33998 25707 1901 922 0 25950 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 102828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.16 4.11 5/255 1050434
/proc/meminfo: memFree=126306192/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=135992 memory=102828 CPUtime=3512.96 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19597 0 0 0 346636 4660 0 0 20 0 1 0 196841279 139255808 25707 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33998 25707 1901 922 0 25950 0
Current children cumulated CPU time: 3512.96 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 102828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/255 1050445
/proc/meminfo: memFree=126292092/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=135992 memory=102828 CPUtime=3572.81 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19638 0 0 0 352569 4712 0 0 20 0 1 0 196841279 139255808 25707 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33998 25707 1901 922 0 25950 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 102828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 1050450
/proc/meminfo: memFree=126290616/131524600 swapFree=131071996/131071996
[pid=1046722] ppid=1046719 vsize=135992 memory=102828 CPUtime=3600.05 cores=5,7
/proc/1046722/stat : 1046722 (roundingsat) R 1046719 1046722 1045367 0 -1 4194304 19641 0 0 0 355271 4734 0 0 20 0 1 0 196841279 139255808 25707 134679101440 4194304 7968869 140736246631152 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40087552 140736246633404 140736246633568 140736246633568 140736246640585 0
/proc/1046722/statm: 33998 25707 1901 922 0 25950 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 135992 KiB
Current children cumulated memory: 102828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 1046722 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3552.71 s, system=47.3452 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3552.71
CPU system time (s): 47.3452
CPU usage (%): 99.7355
Max. virtual memory (cumulated for all children) (KiB): 135992
Max. memory (cumulated for all children) (KiB): 102828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.71
system time used= 47.3452
maximum resident set size= 102828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19649
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 2068
# summary of solver processes directly reported to runsolver:
# pid: 1046722
# total CPU time (s): 3600.06
# total CPU user time (s): 3552.71
# total CPU system time (s): 47.3452
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.80829 second user time and 17.7254 second system time
The end
Begin job on nodeC035 at 2024-07-20 05:38:37 IDJOB=4452570 IDBENCH=164452 IDSOLVER=3051 FILE ID=nodeC035/4452570-1721446704 RUNJOBID= nodeC035-1721444576-1045380 SLURM_JOB_ID= 7545654 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452570-1721446704/watcher-4452570-1721446704 -o /tmp/evaluation-result-4452570-1721446704/solver-4452570-1721446704 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721444576-1045380 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4452570-1721446704.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05 RANDOM SEED=2015678345 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 : 3663.249 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3678.804 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.011 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3609.713 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3663.270 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3656.585 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 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 : 3599.974 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.65 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 : 3655.682 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123631892 kB MemAvailable: 126287556 kB Buffers: 559652 kB Cached: 2914084 kB SwapCached: 0 kB Active: 1049872 kB Inactive: 6162704 kB Active(anon): 1536 kB Inactive(anon): 3783216 kB Active(file): 1048336 kB Inactive(file): 2379488 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5428 kB Writeback: 0 kB AnonPages: 3734840 kB Mapped: 117724 kB Shmem: 45916 kB KReclaimable: 135324 kB Slab: 253088 kB SReclaimable: 135324 kB SUnreclaim: 117764 kB KernelStack: 4080 kB PageTables: 16792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4488784 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 73728 kB HardwareCorrupted: 0 kB AnonHugePages: 2519040 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: 207572 kB DirectMap2M: 19488768 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890048 MiB End job on nodeC035 at 2024-07-20 06:38:47