| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.11 | 3608.9 |
| 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.48/1.56 c #Conflicts: 1000 | #Constraints: 4908 1.48/1.56 c #Conflicts: 2000 | #Constraints: 5923 1.48/1.56 c INPROCESSING 1.48/1.56 c GARBAGE COLLECT 1.48/1.56 c #Conflicts: 3000 | #Constraints: 5897 1.48/1.56 c #Conflicts: 4000 | #Constraints: 6907 1.48/1.56 c INPROCESSING 1.48/1.56 c GARBAGE COLLECT 1.48/1.56 c #Conflicts: 5000 | #Constraints: 6282 1.48/1.56 c #Conflicts: 6000 | #Constraints: 7299 1.48/1.56 c INPROCESSING 1.48/1.56 c GARBAGE COLLECT 1.48/1.56 c rational objective 16.7839 3.08/3.18 c #Conflicts: 7000 | #Constraints: 6428 3.08/3.18 c #Conflicts: 8000 | #Constraints: 8260 3.08/3.18 c #Conflicts: 9000 | #Constraints: 10030 3.08/3.18 c INPROCESSING 3.08/3.18 c GARBAGE COLLECT 3.08/3.18 c rational objective 16.7871 4.68/4.76 c #Conflicts: 10000 | #Constraints: 8523 4.68/4.76 c #Conflicts: 11000 | #Constraints: 10232 4.68/4.76 c #Conflicts: 12000 | #Constraints: 11944 4.68/4.76 c INPROCESSING 4.68/4.76 c GARBAGE COLLECT 4.68/4.76 c rational objective 16.7873 6.28/6.30 c #Conflicts: 13000 | #Constraints: 9614 6.28/6.30 c #Conflicts: 14000 | #Constraints: 11276 6.28/6.30 c #Conflicts: 15000 | #Constraints: 12879 6.28/6.30 c INPROCESSING 6.28/6.30 c GARBAGE COLLECT 6.28/6.30 c rational objective 16.7903 9.17/9.24 c #Conflicts: 16000 | #Constraints: 10080 9.17/9.24 c #Conflicts: 17000 | #Constraints: 11957 9.17/9.24 c #Conflicts: 18000 | #Constraints: 13830 9.17/9.24 c INPROCESSING 9.17/9.24 c GARBAGE COLLECT 9.17/9.24 c rational objective 16.7906 11.87/11.92 c #Conflicts: 19000 | #Constraints: 10371 11.87/11.92 c #Conflicts: 20000 | #Constraints: 12077 11.87/11.92 c #Conflicts: 21000 | #Constraints: 13756 11.87/11.92 c INPROCESSING 11.87/11.92 c GARBAGE COLLECT 11.87/11.92 c rational objective 16.7916 22.64/22.75 c #Conflicts: 22000 | #Constraints: 9985 22.64/22.75 c #Conflicts: 23000 | #Constraints: 11635 22.64/22.75 c #Conflicts: 24000 | #Constraints: 13337 22.64/22.75 c #Conflicts: 25000 | #Constraints: 15057 22.64/22.75 c INPROCESSING 22.64/22.75 c GARBAGE COLLECT 22.64/22.75 c #Conflicts: 26000 | #Constraints: 10979 22.64/22.75 c #Conflicts: 27000 | #Constraints: 12745 22.64/22.75 c #Conflicts: 28000 | #Constraints: 14390 22.64/22.75 c #Conflicts: 29000 | #Constraints: 16098 22.64/22.75 c INPROCESSING 22.64/22.75 c GARBAGE COLLECT 22.64/22.75 c #Conflicts: 30000 | #Constraints: 11029 22.64/22.75 c #Conflicts: 31000 | #Constraints: 12045 22.64/22.75 c #Conflicts: 32000 | #Constraints: 13062 22.64/22.75 c #Conflicts: 33000 | #Constraints: 14073 22.64/22.75 c INPROCESSING 22.64/22.75 c GARBAGE COLLECT 22.64/22.75 c rational objective 16.7881 25.13/25.28 c #Conflicts: 34000 | #Constraints: 10630 25.13/25.28 c #Conflicts: 35000 | #Constraints: 12485 25.13/25.28 c #Conflicts: 36000 | #Constraints: 14272 25.13/25.28 c #Conflicts: 37000 | #Constraints: 16075 25.13/25.28 c INPROCESSING 25.13/25.28 c GARBAGE COLLECT 25.13/25.28 c rational objective 16.7883 27.73/27.89 c #Conflicts: 38000 | #Constraints: 11460 27.73/27.89 c #Conflicts: 39000 | #Constraints: 13188 27.73/27.89 c #Conflicts: 40000 | #Constraints: 14959 27.73/27.89 c #Conflicts: 41000 | #Constraints: 16679 27.73/27.89 c INPROCESSING 27.73/27.89 c GARBAGE COLLECT 27.73/27.89 c rational objective 16.7883 96.26/96.56 c #Conflicts: 42000 | #Constraints: 11493 96.26/96.56 c #Conflicts: 43000 | #Constraints: 13343 96.26/96.56 c #Conflicts: 44000 | #Constraints: 15211 96.26/96.56 c #Conflicts: 45000 | #Constraints: 16983 96.26/96.56 c #Conflicts: 46000 | #Constraints: 18650 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 47000 | #Constraints: 12755 96.26/96.56 c #Conflicts: 48000 | #Constraints: 14479 96.26/96.56 c #Conflicts: 49000 | #Constraints: 16153 96.26/96.56 c #Conflicts: 50000 | #Constraints: 17887 96.26/96.56 c #Conflicts: 51000 | #Constraints: 19672 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 52000 | #Constraints: 13476 96.26/96.56 c #Conflicts: 53000 | #Constraints: 15183 96.26/96.56 c #Conflicts: 54000 | #Constraints: 16907 96.26/96.56 c #Conflicts: 55000 | #Constraints: 18714 96.26/96.56 c #Conflicts: 56000 | #Constraints: 20450 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 57000 | #Constraints: 13898 96.26/96.56 c #Conflicts: 58000 | #Constraints: 15604 96.26/96.56 c #Conflicts: 59000 | #Constraints: 17255 96.26/96.56 c #Conflicts: 60000 | #Constraints: 18947 96.26/96.56 c #Conflicts: 61000 | #Constraints: 20661 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 62000 | #Constraints: 13874 96.26/96.56 c #Conflicts: 63000 | #Constraints: 15639 96.26/96.56 c #Conflicts: 64000 | #Constraints: 17437 96.26/96.56 c #Conflicts: 65000 | #Constraints: 19112 96.26/96.56 c #Conflicts: 66000 | #Constraints: 20737 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 67000 | #Constraints: 13512 96.26/96.56 c #Conflicts: 68000 | #Constraints: 15185 96.26/96.56 c #Conflicts: 69000 | #Constraints: 16862 96.26/96.56 c #Conflicts: 70000 | #Constraints: 18631 96.26/96.56 c #Conflicts: 71000 | #Constraints: 20287 96.26/96.56 c #Conflicts: 72000 | #Constraints: 22037 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 73000 | #Constraints: 14503 96.26/96.56 c #Conflicts: 74000 | #Constraints: 16212 96.26/96.56 c #Conflicts: 75000 | #Constraints: 18040 96.26/96.56 c #Conflicts: 76000 | #Constraints: 19734 96.26/96.56 c #Conflicts: 77000 | #Constraints: 21403 96.26/96.56 c #Conflicts: 78000 | #Constraints: 23110 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 79000 | #Constraints: 15290 96.26/96.56 c #Conflicts: 80000 | #Constraints: 17104 96.26/96.56 c #Conflicts: 81000 | #Constraints: 18879 96.26/96.56 c #Conflicts: 82000 | #Constraints: 20666 96.26/96.56 c #Conflicts: 83000 | #Constraints: 22484 96.26/96.56 c #Conflicts: 84000 | #Constraints: 24173 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 85000 | #Constraints: 15621 96.26/96.56 c #Conflicts: 86000 | #Constraints: 17273 96.26/96.56 c #Conflicts: 87000 | #Constraints: 18957 96.26/96.56 c #Conflicts: 88000 | #Constraints: 20599 96.26/96.56 c #Conflicts: 89000 | #Constraints: 22295 96.26/96.56 c #Conflicts: 90000 | #Constraints: 23982 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 91000 | #Constraints: 15551 96.26/96.56 c #Conflicts: 92000 | #Constraints: 17390 96.26/96.56 c #Conflicts: 93000 | #Constraints: 19133 96.26/96.56 c #Conflicts: 94000 | #Constraints: 20938 96.26/96.56 c #Conflicts: 95000 | #Constraints: 22770 96.26/96.56 c #Conflicts: 96000 | #Constraints: 24626 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 97000 | #Constraints: 15524 96.26/96.56 c #Conflicts: 98000 | #Constraints: 17363 96.26/96.56 c #Conflicts: 99000 | #Constraints: 19131 96.26/96.56 c #Conflicts: 100000 | #Constraints: 20896 96.26/96.56 c #Conflicts: 101000 | #Constraints: 22666 96.26/96.56 c #Conflicts: 102000 | #Constraints: 24433 96.26/96.56 c #Conflicts: 103000 | #Constraints: 26112 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 104000 | #Constraints: 16479 96.26/96.56 c #Conflicts: 105000 | #Constraints: 18185 96.26/96.56 c #Conflicts: 106000 | #Constraints: 19910 96.26/96.56 c #Conflicts: 107000 | #Constraints: 21593 96.26/96.56 c #Conflicts: 108000 | #Constraints: 23302 96.26/96.56 c #Conflicts: 109000 | #Constraints: 25107 96.26/96.56 c #Conflicts: 110000 | #Constraints: 26892 96.26/96.56 c INPROCESSING 96.26/96.56 c GARBAGE COLLECT 96.26/96.56 c #Conflicts: 111000 | #Constraints: 17138 96.26/96.56 c #Conflicts: 112000 | #Constraints: 18848 96.26/96.56 c #Conflicts: 113000 | #Constraints: 20442 177.95/178.45 c #Conflicts: 114000 | #Constraints: 22096 177.95/178.45 c #Conflicts: 115000 | #Constraints: 23825 177.95/178.45 c #Conflicts: 116000 | #Constraints: 25524 177.95/178.45 c #Conflicts: 117000 | #Constraints: 27296 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 118000 | #Constraints: 17233 177.95/178.45 c #Conflicts: 119000 | #Constraints: 18908 177.95/178.45 c #Conflicts: 120000 | #Constraints: 20558 177.95/178.45 c #Conflicts: 121000 | #Constraints: 22182 177.95/178.45 c #Conflicts: 122000 | #Constraints: 23828 177.95/178.45 c #Conflicts: 123000 | #Constraints: 25523 177.95/178.45 c #Conflicts: 124000 | #Constraints: 27217 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 125000 | #Constraints: 17064 177.95/178.45 c #Conflicts: 126000 | #Constraints: 18730 177.95/178.45 c #Conflicts: 127000 | #Constraints: 20436 177.95/178.45 c #Conflicts: 128000 | #Constraints: 22218 177.95/178.45 c #Conflicts: 129000 | #Constraints: 23941 177.95/178.45 c #Conflicts: 130000 | #Constraints: 25670 177.95/178.45 c #Conflicts: 131000 | #Constraints: 27378 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 132000 | #Constraints: 16801 177.95/178.45 c #Conflicts: 133000 | #Constraints: 18422 177.95/178.45 c #Conflicts: 134000 | #Constraints: 20072 177.95/178.45 c #Conflicts: 135000 | #Constraints: 21791 177.95/178.45 c #Conflicts: 136000 | #Constraints: 23512 177.95/178.45 c #Conflicts: 137000 | #Constraints: 25313 177.95/178.45 c #Conflicts: 138000 | #Constraints: 27143 177.95/178.45 c #Conflicts: 139000 | #Constraints: 28949 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 140000 | #Constraints: 17960 177.95/178.45 c #Conflicts: 141000 | #Constraints: 19692 177.95/178.45 c #Conflicts: 142000 | #Constraints: 21424 177.95/178.45 c #Conflicts: 143000 | #Constraints: 23228 177.95/178.45 c #Conflicts: 144000 | #Constraints: 25043 177.95/178.45 c #Conflicts: 145000 | #Constraints: 26864 177.95/178.45 c #Conflicts: 146000 | #Constraints: 28669 177.95/178.45 c #Conflicts: 147000 | #Constraints: 30413 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 148000 | #Constraints: 18789 177.95/178.45 c #Conflicts: 149000 | #Constraints: 20471 177.95/178.45 c #Conflicts: 150000 | #Constraints: 22215 177.95/178.45 c #Conflicts: 151000 | #Constraints: 23978 177.95/178.45 c #Conflicts: 152000 | #Constraints: 25642 177.95/178.45 c #Conflicts: 153000 | #Constraints: 27373 177.95/178.45 c #Conflicts: 154000 | #Constraints: 29043 177.95/178.45 c #Conflicts: 155000 | #Constraints: 30706 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 156000 | #Constraints: 18905 177.95/178.45 c #Conflicts: 157000 | #Constraints: 20568 177.95/178.45 c #Conflicts: 158000 | #Constraints: 22241 177.95/178.45 c #Conflicts: 159000 | #Constraints: 23901 177.95/178.45 c #Conflicts: 160000 | #Constraints: 25620 177.95/178.45 c #Conflicts: 161000 | #Constraints: 27330 177.95/178.45 c #Conflicts: 162000 | #Constraints: 29088 177.95/178.45 c #Conflicts: 163000 | #Constraints: 30903 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 164000 | #Constraints: 18927 177.95/178.45 c #Conflicts: 165000 | #Constraints: 20724 177.95/178.45 c #Conflicts: 166000 | #Constraints: 22495 177.95/178.45 c #Conflicts: 167000 | #Constraints: 24229 177.95/178.45 c #Conflicts: 168000 | #Constraints: 25956 177.95/178.45 c #Conflicts: 169000 | #Constraints: 27661 177.95/178.45 c #Conflicts: 170000 | #Constraints: 29431 177.95/178.45 c #Conflicts: 171000 | #Constraints: 31144 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 172000 | #Constraints: 18696 177.95/178.45 c #Conflicts: 173000 | #Constraints: 20343 177.95/178.45 c #Conflicts: 174000 | #Constraints: 22009 177.95/178.45 c #Conflicts: 175000 | #Constraints: 23634 177.95/178.45 c #Conflicts: 176000 | #Constraints: 25335 177.95/178.45 c #Conflicts: 177000 | #Constraints: 27042 177.95/178.45 c #Conflicts: 178000 | #Constraints: 28773 177.95/178.45 c #Conflicts: 179000 | #Constraints: 30483 177.95/178.45 c #Conflicts: 180000 | #Constraints: 32179 177.95/178.45 c INPROCESSING 177.95/178.45 c GARBAGE COLLECT 177.95/178.45 c #Conflicts: 181000 | #Constraints: 19576 177.95/178.45 c #Conflicts: 182000 | #Constraints: 21314 177.95/178.45 c #Conflicts: 183000 | #Constraints: 23039 177.95/178.45 c #Conflicts: 184000 | #Constraints: 24734 177.95/178.45 c #Conflicts: 185000 | #Constraints: 26492 177.95/178.45 c #Conflicts: 186000 | #Constraints: 28261 278.01/278.79 c #Conflicts: 187000 | #Constraints: 30065 278.01/278.79 c #Conflicts: 188000 | #Constraints: 31869 278.01/278.79 c #Conflicts: 189000 | #Constraints: 33654 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 190000 | #Constraints: 20397 278.01/278.79 c #Conflicts: 191000 | #Constraints: 22067 278.01/278.79 c #Conflicts: 192000 | #Constraints: 23741 278.01/278.79 c #Conflicts: 193000 | #Constraints: 25495 278.01/278.79 c #Conflicts: 194000 | #Constraints: 27216 278.01/278.79 c #Conflicts: 195000 | #Constraints: 28971 278.01/278.79 c #Conflicts: 196000 | #Constraints: 30729 278.01/278.79 c #Conflicts: 197000 | #Constraints: 32515 278.01/278.79 c #Conflicts: 198000 | #Constraints: 34257 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 199000 | #Constraints: 20791 278.01/278.79 c #Conflicts: 200000 | #Constraints: 22566 278.01/278.79 c #Conflicts: 201000 | #Constraints: 24364 278.01/278.79 c #Conflicts: 202000 | #Constraints: 26159 278.01/278.79 c #Conflicts: 203000 | #Constraints: 28002 278.01/278.79 c #Conflicts: 204000 | #Constraints: 29851 278.01/278.79 c #Conflicts: 205000 | #Constraints: 31678 278.01/278.79 c #Conflicts: 206000 | #Constraints: 33430 278.01/278.79 c #Conflicts: 207000 | #Constraints: 35164 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 208000 | #Constraints: 21011 278.01/278.79 c #Conflicts: 209000 | #Constraints: 22722 278.01/278.79 c #Conflicts: 210000 | #Constraints: 24386 278.01/278.79 c #Conflicts: 211000 | #Constraints: 26067 278.01/278.79 c #Conflicts: 212000 | #Constraints: 27764 278.01/278.79 c #Conflicts: 213000 | #Constraints: 29463 278.01/278.79 c #Conflicts: 214000 | #Constraints: 31192 278.01/278.79 c #Conflicts: 215000 | #Constraints: 32956 278.01/278.79 c #Conflicts: 216000 | #Constraints: 34666 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 217000 | #Constraints: 20491 278.01/278.79 c #Conflicts: 218000 | #Constraints: 22281 278.01/278.79 c #Conflicts: 219000 | #Constraints: 24108 278.01/278.79 c #Conflicts: 220000 | #Constraints: 25931 278.01/278.79 c #Conflicts: 221000 | #Constraints: 27759 278.01/278.79 c #Conflicts: 222000 | #Constraints: 29551 278.01/278.79 c #Conflicts: 223000 | #Constraints: 31316 278.01/278.79 c #Conflicts: 224000 | #Constraints: 33115 278.01/278.79 c #Conflicts: 225000 | #Constraints: 34970 278.01/278.79 c #Conflicts: 226000 | #Constraints: 36838 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 227000 | #Constraints: 21988 278.01/278.79 c #Conflicts: 228000 | #Constraints: 23773 278.01/278.79 c #Conflicts: 229000 | #Constraints: 25590 278.01/278.79 c #Conflicts: 230000 | #Constraints: 27395 278.01/278.79 c #Conflicts: 231000 | #Constraints: 29121 278.01/278.79 c #Conflicts: 232000 | #Constraints: 30817 278.01/278.79 c #Conflicts: 233000 | #Constraints: 32526 278.01/278.79 c #Conflicts: 234000 | #Constraints: 34307 278.01/278.79 c #Conflicts: 235000 | #Constraints: 36041 278.01/278.79 c #Conflicts: 236000 | #Constraints: 37749 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 237000 | #Constraints: 22472 278.01/278.79 c #Conflicts: 238000 | #Constraints: 24195 278.01/278.79 c #Conflicts: 239000 | #Constraints: 25885 278.01/278.79 c #Conflicts: 240000 | #Constraints: 27576 278.01/278.79 c #Conflicts: 241000 | #Constraints: 29230 278.01/278.79 c #Conflicts: 242000 | #Constraints: 30882 278.01/278.79 c #Conflicts: 243000 | #Constraints: 32565 278.01/278.79 c #Conflicts: 244000 | #Constraints: 34242 278.01/278.79 c #Conflicts: 245000 | #Constraints: 35938 278.01/278.79 c #Conflicts: 246000 | #Constraints: 37718 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 247000 | #Constraints: 22561 278.01/278.79 c #Conflicts: 248000 | #Constraints: 24313 278.01/278.79 c #Conflicts: 249000 | #Constraints: 26018 278.01/278.79 c #Conflicts: 250000 | #Constraints: 27708 278.01/278.79 c #Conflicts: 251000 | #Constraints: 29403 278.01/278.79 c #Conflicts: 252000 | #Constraints: 31091 278.01/278.79 c #Conflicts: 253000 | #Constraints: 32786 278.01/278.79 c #Conflicts: 254000 | #Constraints: 34496 278.01/278.79 c #Conflicts: 255000 | #Constraints: 36205 278.01/278.79 c #Conflicts: 256000 | #Constraints: 38047 278.01/278.79 c INPROCESSING 278.01/278.79 c GARBAGE COLLECT 278.01/278.79 c #Conflicts: 257000 | #Constraints: 22537 278.01/278.79 c #Conflicts: 258000 | #Constraints: 24348 278.01/278.79 c #Conflicts: 259000 | #Constraints: 26027 389.52/390.59 c #Conflicts: 260000 | #Constraints: 27735 389.52/390.59 c #Conflicts: 261000 | #Constraints: 29386 389.52/390.59 c #Conflicts: 262000 | #Constraints: 31064 389.52/390.59 c #Conflicts: 263000 | #Constraints: 32760 389.52/390.59 c #Conflicts: 264000 | #Constraints: 34444 389.52/390.59 c #Conflicts: 265000 | #Constraints: 36235 389.52/390.59 c #Conflicts: 266000 | #Constraints: 37984 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 267000 | #Constraints: 22142 389.52/390.59 c #Conflicts: 268000 | #Constraints: 23898 389.52/390.59 c #Conflicts: 269000 | #Constraints: 25604 389.52/390.59 c #Conflicts: 270000 | #Constraints: 27360 389.52/390.59 c #Conflicts: 271000 | #Constraints: 29065 389.52/390.59 c #Conflicts: 272000 | #Constraints: 30838 389.52/390.59 c #Conflicts: 273000 | #Constraints: 32588 389.52/390.59 c #Conflicts: 274000 | #Constraints: 34381 389.52/390.59 c #Conflicts: 275000 | #Constraints: 36186 389.52/390.59 c #Conflicts: 276000 | #Constraints: 37940 389.52/390.59 c #Conflicts: 277000 | #Constraints: 39592 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 278000 | #Constraints: 23201 389.52/390.59 c #Conflicts: 279000 | #Constraints: 24917 389.52/390.59 c #Conflicts: 280000 | #Constraints: 26592 389.52/390.59 c #Conflicts: 281000 | #Constraints: 28291 389.52/390.59 c #Conflicts: 282000 | #Constraints: 29988 389.52/390.59 c #Conflicts: 283000 | #Constraints: 31692 389.52/390.59 c #Conflicts: 284000 | #Constraints: 33368 389.52/390.59 c #Conflicts: 285000 | #Constraints: 35135 389.52/390.59 c #Conflicts: 286000 | #Constraints: 36887 389.52/390.59 c #Conflicts: 287000 | #Constraints: 38558 389.52/390.59 c #Conflicts: 288000 | #Constraints: 40233 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 289000 | #Constraints: 23741 389.52/390.59 c #Conflicts: 290000 | #Constraints: 25371 389.52/390.59 c #Conflicts: 291000 | #Constraints: 27063 389.52/390.59 c #Conflicts: 292000 | #Constraints: 28677 389.52/390.59 c #Conflicts: 293000 | #Constraints: 30363 389.52/390.59 c #Conflicts: 294000 | #Constraints: 32030 389.52/390.59 c #Conflicts: 295000 | #Constraints: 33715 389.52/390.59 c #Conflicts: 296000 | #Constraints: 35317 389.52/390.59 c #Conflicts: 297000 | #Constraints: 36979 389.52/390.59 c #Conflicts: 298000 | #Constraints: 38714 389.52/390.59 c #Conflicts: 299000 | #Constraints: 40412 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 300000 | #Constraints: 23817 389.52/390.59 c #Conflicts: 301000 | #Constraints: 25530 389.52/390.59 c #Conflicts: 302000 | #Constraints: 27294 389.52/390.59 c #Conflicts: 303000 | #Constraints: 28936 389.52/390.59 c #Conflicts: 304000 | #Constraints: 30668 389.52/390.59 c #Conflicts: 305000 | #Constraints: 32320 389.52/390.59 c #Conflicts: 306000 | #Constraints: 34125 389.52/390.59 c #Conflicts: 307000 | #Constraints: 35831 389.52/390.59 c #Conflicts: 308000 | #Constraints: 37463 389.52/390.59 c #Conflicts: 309000 | #Constraints: 39193 389.52/390.59 c #Conflicts: 310000 | #Constraints: 40895 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 311000 | #Constraints: 23889 389.52/390.59 c #Conflicts: 312000 | #Constraints: 25604 389.52/390.59 c #Conflicts: 313000 | #Constraints: 27352 389.52/390.59 c #Conflicts: 314000 | #Constraints: 29103 389.52/390.59 c #Conflicts: 315000 | #Constraints: 30904 389.52/390.59 c #Conflicts: 316000 | #Constraints: 32608 389.52/390.59 c #Conflicts: 317000 | #Constraints: 34290 389.52/390.59 c #Conflicts: 318000 | #Constraints: 36012 389.52/390.59 c #Conflicts: 319000 | #Constraints: 37754 389.52/390.59 c #Conflicts: 320000 | #Constraints: 39510 389.52/390.59 c #Conflicts: 321000 | #Constraints: 41240 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 322000 | #Constraints: 23703 389.52/390.59 c #Conflicts: 323000 | #Constraints: 25340 389.52/390.59 c #Conflicts: 324000 | #Constraints: 26975 389.52/390.59 c #Conflicts: 325000 | #Constraints: 28667 389.52/390.59 c #Conflicts: 326000 | #Constraints: 30329 389.52/390.59 c #Conflicts: 327000 | #Constraints: 31983 389.52/390.59 c #Conflicts: 328000 | #Constraints: 33645 389.52/390.59 c #Conflicts: 329000 | #Constraints: 35320 389.52/390.59 c #Conflicts: 330000 | #Constraints: 37074 389.52/390.59 c #Conflicts: 331000 | #Constraints: 38773 389.52/390.59 c #Conflicts: 332000 | #Constraints: 40509 389.52/390.59 c #Conflicts: 333000 | #Constraints: 42217 389.52/390.59 c INPROCESSING 389.52/390.59 c GARBAGE COLLECT 389.52/390.59 c #Conflicts: 334000 | #Constraints: 24513 521.09/522.45 c #Conflicts: 335000 | #Constraints: 26143 521.09/522.45 c #Conflicts: 336000 | #Constraints: 27766 521.09/522.45 c #Conflicts: 337000 | #Constraints: 29418 521.09/522.45 c #Conflicts: 338000 | #Constraints: 31096 521.09/522.45 c #Conflicts: 339000 | #Constraints: 32768 521.09/522.45 c #Conflicts: 340000 | #Constraints: 34485 521.09/522.45 c #Conflicts: 341000 | #Constraints: 36226 521.09/522.45 c #Conflicts: 342000 | #Constraints: 37946 521.09/522.45 c #Conflicts: 343000 | #Constraints: 39582 521.09/522.45 c #Conflicts: 344000 | #Constraints: 41195 521.09/522.45 c #Conflicts: 345000 | #Constraints: 42847 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 346000 | #Constraints: 25003 521.09/522.45 c #Conflicts: 347000 | #Constraints: 26773 521.09/522.45 c #Conflicts: 348000 | #Constraints: 28534 521.09/522.45 c #Conflicts: 349000 | #Constraints: 30339 521.09/522.45 c #Conflicts: 350000 | #Constraints: 32129 521.09/522.45 c #Conflicts: 351000 | #Constraints: 33943 521.09/522.45 c #Conflicts: 352000 | #Constraints: 35753 521.09/522.45 c #Conflicts: 353000 | #Constraints: 37449 521.09/522.45 c #Conflicts: 354000 | #Constraints: 39159 521.09/522.45 c #Conflicts: 355000 | #Constraints: 40865 521.09/522.45 c #Conflicts: 356000 | #Constraints: 42536 521.09/522.45 c #Conflicts: 357000 | #Constraints: 44257 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 358000 | #Constraints: 25777 521.09/522.45 c #Conflicts: 359000 | #Constraints: 27492 521.09/522.45 c #Conflicts: 360000 | #Constraints: 29159 521.09/522.45 c #Conflicts: 361000 | #Constraints: 30887 521.09/522.45 c #Conflicts: 362000 | #Constraints: 32588 521.09/522.45 c #Conflicts: 363000 | #Constraints: 34221 521.09/522.45 c #Conflicts: 364000 | #Constraints: 35998 521.09/522.45 c #Conflicts: 365000 | #Constraints: 37684 521.09/522.45 c #Conflicts: 366000 | #Constraints: 39437 521.09/522.45 c #Conflicts: 367000 | #Constraints: 41243 521.09/522.45 c #Conflicts: 368000 | #Constraints: 43050 521.09/522.45 c #Conflicts: 369000 | #Constraints: 44747 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 370000 | #Constraints: 25843 521.09/522.45 c #Conflicts: 371000 | #Constraints: 27553 521.09/522.45 c #Conflicts: 372000 | #Constraints: 29232 521.09/522.45 c #Conflicts: 373000 | #Constraints: 30944 521.09/522.45 c #Conflicts: 374000 | #Constraints: 32655 521.09/522.45 c #Conflicts: 375000 | #Constraints: 34399 521.09/522.45 c #Conflicts: 376000 | #Constraints: 36147 521.09/522.45 c #Conflicts: 377000 | #Constraints: 37895 521.09/522.45 c #Conflicts: 378000 | #Constraints: 39602 521.09/522.45 c #Conflicts: 379000 | #Constraints: 41264 521.09/522.45 c #Conflicts: 380000 | #Constraints: 42947 521.09/522.45 c #Conflicts: 381000 | #Constraints: 44701 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 382000 | #Constraints: 25491 521.09/522.45 c #Conflicts: 383000 | #Constraints: 27221 521.09/522.45 c #Conflicts: 384000 | #Constraints: 28911 521.09/522.45 c #Conflicts: 385000 | #Constraints: 30601 521.09/522.45 c #Conflicts: 386000 | #Constraints: 32246 521.09/522.45 c #Conflicts: 387000 | #Constraints: 33924 521.09/522.45 c #Conflicts: 388000 | #Constraints: 35549 521.09/522.45 c #Conflicts: 389000 | #Constraints: 37245 521.09/522.45 c #Conflicts: 390000 | #Constraints: 38845 521.09/522.45 c #Conflicts: 391000 | #Constraints: 40541 521.09/522.45 c #Conflicts: 392000 | #Constraints: 42255 521.09/522.45 c #Conflicts: 393000 | #Constraints: 43947 521.09/522.45 c #Conflicts: 394000 | #Constraints: 45683 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 395000 | #Constraints: 26407 521.09/522.45 c #Conflicts: 396000 | #Constraints: 28189 521.09/522.45 c #Conflicts: 397000 | #Constraints: 29949 521.09/522.45 c #Conflicts: 398000 | #Constraints: 31668 521.09/522.45 c #Conflicts: 399000 | #Constraints: 33303 521.09/522.45 c #Conflicts: 400000 | #Constraints: 35014 521.09/522.45 c #Conflicts: 401000 | #Constraints: 36668 521.09/522.45 c #Conflicts: 402000 | #Constraints: 38411 521.09/522.45 c #Conflicts: 403000 | #Constraints: 40080 521.09/522.45 c #Conflicts: 404000 | #Constraints: 41765 521.09/522.45 c #Conflicts: 405000 | #Constraints: 43484 521.09/522.45 c #Conflicts: 406000 | #Constraints: 45182 521.09/522.45 c #Conflicts: 407000 | #Constraints: 46858 521.09/522.45 c INPROCESSING 521.09/522.45 c GARBAGE COLLECT 521.09/522.45 c #Conflicts: 408000 | #Constraints: 27008 521.09/522.45 c #Conflicts: 409000 | #Constraints: 28716 688.36/690.15 c #Conflicts: 410000 | #Constraints: 30490 688.36/690.15 c #Conflicts: 411000 | #Constraints: 32208 688.36/690.15 c #Conflicts: 412000 | #Constraints: 33927 688.36/690.15 c #Conflicts: 413000 | #Constraints: 35641 688.36/690.15 c #Conflicts: 414000 | #Constraints: 37274 688.36/690.15 c #Conflicts: 415000 | #Constraints: 38918 688.36/690.15 c #Conflicts: 416000 | #Constraints: 40559 688.36/690.15 c #Conflicts: 417000 | #Constraints: 42202 688.36/690.15 c #Conflicts: 418000 | #Constraints: 43865 688.36/690.15 c #Conflicts: 419000 | #Constraints: 45611 688.36/690.15 c #Conflicts: 420000 | #Constraints: 47300 688.36/690.15 c INPROCESSING 688.36/690.15 c GARBAGE COLLECT 688.36/690.15 c #Conflicts: 421000 | #Constraints: 27348 688.36/690.15 c #Conflicts: 422000 | #Constraints: 29156 688.36/690.15 c #Conflicts: 423000 | #Constraints: 30910 688.36/690.15 c #Conflicts: 424000 | #Constraints: 32625 688.36/690.15 c #Conflicts: 425000 | #Constraints: 34349 688.36/690.15 c #Conflicts: 426000 | #Constraints: 36140 688.36/690.15 c #Conflicts: 427000 | #Constraints: 37877 688.36/690.15 c #Conflicts: 428000 | #Constraints: 39629 688.36/690.15 c #Conflicts: 429000 | #Constraints: 41319 688.36/690.15 c #Conflicts: 430000 | #Constraints: 43044 688.36/690.15 c #Conflicts: 431000 | #Constraints: 44831 688.36/690.15 c #Conflicts: 432000 | #Constraints: 46597 688.36/690.15 c #Conflicts: 433000 | #Constraints: 48352 688.36/690.15 c INPROCESSING 688.36/690.15 c GARBAGE COLLECT 688.36/690.15 c #Conflicts: 434000 | #Constraints: 27681 688.36/690.15 c #Conflicts: 435000 | #Constraints: 29440 688.36/690.15 c #Conflicts: 436000 | #Constraints: 31244 688.36/690.15 c #Conflicts: 437000 | #Constraints: 33055 688.36/690.15 c #Conflicts: 438000 | #Constraints: 34857 688.36/690.15 c #Conflicts: 439000 | #Constraints: 36633 688.36/690.15 c #Conflicts: 440000 | #Constraints: 38395 688.36/690.15 c #Conflicts: 441000 | #Constraints: 40137 688.36/690.15 c #Conflicts: 442000 | #Constraints: 41925 688.36/690.15 c #Conflicts: 443000 | #Constraints: 43733 688.36/690.15 c #Conflicts: 444000 | #Constraints: 45567 688.36/690.15 c #Conflicts: 445000 | #Constraints: 47393 688.36/690.15 c #Conflicts: 446000 | #Constraints: 49189 688.36/690.15 c INPROCESSING 688.36/690.15 c GARBAGE COLLECT 688.36/690.15 c #Conflicts: 447000 | #Constraints: 27765 688.36/690.15 c #Conflicts: 448000 | #Constraints: 29539 688.36/690.15 c #Conflicts: 449000 | #Constraints: 31295 688.36/690.15 c #Conflicts: 450000 | #Constraints: 33023 688.36/690.15 c #Conflicts: 451000 | #Constraints: 34810 688.36/690.15 c #Conflicts: 452000 | #Constraints: 36542 688.36/690.15 c #Conflicts: 453000 | #Constraints: 38311 688.36/690.15 c #Conflicts: 454000 | #Constraints: 40018 688.36/690.15 c #Conflicts: 455000 | #Constraints: 41826 688.36/690.15 c #Conflicts: 456000 | #Constraints: 43593 688.36/690.15 c #Conflicts: 457000 | #Constraints: 45396 688.36/690.15 c #Conflicts: 458000 | #Constraints: 47179 688.36/690.15 c #Conflicts: 459000 | #Constraints: 49028 688.36/690.15 c #Conflicts: 460000 | #Constraints: 50790 688.36/690.15 c INPROCESSING 688.36/690.15 c GARBAGE COLLECT 688.36/690.15 c #Conflicts: 461000 | #Constraints: 28815 688.36/690.15 c #Conflicts: 462000 | #Constraints: 30568 688.36/690.15 c #Conflicts: 463000 | #Constraints: 32333 688.36/690.15 c #Conflicts: 464000 | #Constraints: 34104 688.36/690.15 c #Conflicts: 465000 | #Constraints: 35834 688.36/690.15 c #Conflicts: 466000 | #Constraints: 37620 688.36/690.15 c #Conflicts: 467000 | #Constraints: 39425 688.36/690.15 c #Conflicts: 468000 | #Constraints: 41245 688.36/690.15 c #Conflicts: 469000 | #Constraints: 43070 688.36/690.15 c #Conflicts: 470000 | #Constraints: 44863 688.36/690.15 c #Conflicts: 471000 | #Constraints: 46683 688.36/690.15 c #Conflicts: 472000 | #Constraints: 48517 688.36/690.15 c #Conflicts: 473000 | #Constraints: 50355 688.36/690.15 c #Conflicts: 474000 | #Constraints: 52180 688.36/690.15 c INPROCESSING 688.36/690.15 c GARBAGE COLLECT 688.36/690.15 c #Conflicts: 475000 | #Constraints: 29769 688.36/690.15 c #Conflicts: 476000 | #Constraints: 31530 688.36/690.15 c #Conflicts: 477000 | #Constraints: 33329 688.36/690.15 c #Conflicts: 478000 | #Constraints: 35151 688.36/690.15 c #Conflicts: 479000 | #Constraints: 36997 688.36/690.15 c #Conflicts: 480000 | #Constraints: 38833 688.36/690.15 c #Conflicts: 481000 | #Constraints: 40666 688.36/690.15 c #Conflicts: 482000 | #Constraints: 42548 688.36/690.15 c #Conflicts: 483000 | #Constraints: 44421 688.36/690.15 c #Conflicts: 484000 | #Constraints: 46217 844.15/846.32 c #Conflicts: 485000 | #Constraints: 48024 844.15/846.32 c #Conflicts: 486000 | #Constraints: 49890 844.15/846.32 c #Conflicts: 487000 | #Constraints: 51745 844.15/846.32 c #Conflicts: 488000 | #Constraints: 53594 844.15/846.32 c INPROCESSING 844.15/846.32 c GARBAGE COLLECT 844.15/846.32 c #Conflicts: 489000 | #Constraints: 30503 844.15/846.32 c #Conflicts: 490000 | #Constraints: 32314 844.15/846.32 c #Conflicts: 491000 | #Constraints: 34147 844.15/846.32 c #Conflicts: 492000 | #Constraints: 35941 844.15/846.32 c #Conflicts: 493000 | #Constraints: 37732 844.15/846.32 c #Conflicts: 494000 | #Constraints: 39522 844.15/846.32 c #Conflicts: 495000 | #Constraints: 41277 844.15/846.32 c #Conflicts: 496000 | #Constraints: 43000 844.15/846.32 c #Conflicts: 497000 | #Constraints: 44774 844.15/846.32 c #Conflicts: 498000 | #Constraints: 46478 844.15/846.32 c #Conflicts: 499000 | #Constraints: 48206 844.15/846.32 c #Conflicts: 500000 | #Constraints: 49954 844.15/846.32 c #Conflicts: 501000 | #Constraints: 51738 844.15/846.32 c #Conflicts: 502000 | #Constraints: 53495 844.15/846.32 c INPROCESSING 844.15/846.32 c GARBAGE COLLECT 844.15/846.32 c #Conflicts: 503000 | #Constraints: 30202 844.15/846.32 c #Conflicts: 504000 | #Constraints: 31883 844.15/846.32 c #Conflicts: 505000 | #Constraints: 33623 844.15/846.32 c #Conflicts: 506000 | #Constraints: 35433 844.15/846.32 c #Conflicts: 507000 | #Constraints: 37237 844.15/846.32 c #Conflicts: 508000 | #Constraints: 38996 844.15/846.32 c #Conflicts: 509000 | #Constraints: 40780 844.15/846.32 c #Conflicts: 510000 | #Constraints: 42495 844.15/846.32 c #Conflicts: 511000 | #Constraints: 44243 844.15/846.32 c #Conflicts: 512000 | #Constraints: 46022 844.15/846.32 c #Conflicts: 513000 | #Constraints: 47729 844.15/846.32 c #Conflicts: 514000 | #Constraints: 49395 844.15/846.32 c #Conflicts: 515000 | #Constraints: 51075 844.15/846.32 c #Conflicts: 516000 | #Constraints: 52776 844.15/846.32 c INPROCESSING 844.15/846.32 c GARBAGE COLLECT 844.15/846.32 c #Conflicts: 517000 | #Constraints: 29477 844.15/846.32 c #Conflicts: 518000 | #Constraints: 31191 844.15/846.32 c #Conflicts: 519000 | #Constraints: 32971 844.15/846.32 c #Conflicts: 520000 | #Constraints: 34815 844.15/846.32 c #Conflicts: 521000 | #Constraints: 36606 844.15/846.32 c #Conflicts: 522000 | #Constraints: 38303 844.15/846.32 c #Conflicts: 523000 | #Constraints: 39962 844.15/846.32 c #Conflicts: 524000 | #Constraints: 41678 844.15/846.32 c #Conflicts: 525000 | #Constraints: 43327 844.15/846.32 c #Conflicts: 526000 | #Constraints: 45028 844.15/846.32 c #Conflicts: 527000 | #Constraints: 46683 844.15/846.32 c #Conflicts: 528000 | #Constraints: 48479 844.15/846.32 c #Conflicts: 529000 | #Constraints: 50216 844.15/846.32 c #Conflicts: 530000 | #Constraints: 52006 844.15/846.32 c #Conflicts: 531000 | #Constraints: 53766 844.15/846.32 c INPROCESSING 844.15/846.32 c GARBAGE COLLECT 844.15/846.32 c #Conflicts: 532000 | #Constraints: 30380 844.15/846.32 c #Conflicts: 533000 | #Constraints: 32113 844.15/846.32 c #Conflicts: 534000 | #Constraints: 33785 844.15/846.32 c #Conflicts: 535000 | #Constraints: 35437 844.15/846.32 c #Conflicts: 536000 | #Constraints: 37071 844.15/846.32 c #Conflicts: 537000 | #Constraints: 38799 844.15/846.32 c #Conflicts: 538000 | #Constraints: 40520 844.15/846.32 c #Conflicts: 539000 | #Constraints: 42136 844.15/846.32 c #Conflicts: 540000 | #Constraints: 43799 844.15/846.32 c #Conflicts: 541000 | #Constraints: 45487 844.15/846.32 c #Conflicts: 542000 | #Constraints: 47210 844.15/846.32 c #Conflicts: 543000 | #Constraints: 48987 844.15/846.32 c #Conflicts: 544000 | #Constraints: 50726 844.15/846.32 c #Conflicts: 545000 | #Constraints: 52377 844.15/846.32 c #Conflicts: 546000 | #Constraints: 54107 844.15/846.32 c INPROCESSING 844.15/846.32 c GARBAGE COLLECT 844.15/846.32 c #Conflicts: 547000 | #Constraints: 30790 844.15/846.32 c #Conflicts: 548000 | #Constraints: 32547 844.15/846.32 c #Conflicts: 549000 | #Constraints: 34256 844.15/846.32 c #Conflicts: 550000 | #Constraints: 35893 844.15/846.32 c #Conflicts: 551000 | #Constraints: 37576 844.15/846.32 c #Conflicts: 552000 | #Constraints: 39358 844.15/846.32 c #Conflicts: 553000 | #Constraints: 41154 844.15/846.32 c #Conflicts: 554000 | #Constraints: 42983 844.15/846.32 c #Conflicts: 555000 | #Constraints: 44752 844.15/846.32 c #Conflicts: 556000 | #Constraints: 46548 844.15/846.32 c #Conflicts: 557000 | #Constraints: 48387 844.15/846.32 c #Conflicts: 558000 | #Constraints: 50077 844.15/846.32 c #Conflicts: 559000 | #Constraints: 51766 844.15/846.32 c #Conflicts: 560000 | #Constraints: 53534 995.30/997.82 c #Conflicts: 561000 | #Constraints: 55195 995.30/997.82 c INPROCESSING 995.30/997.82 c GARBAGE COLLECT 995.30/997.82 c #Conflicts: 562000 | #Constraints: 31251 995.30/997.82 c #Conflicts: 563000 | #Constraints: 32902 995.30/997.82 c #Conflicts: 564000 | #Constraints: 34557 995.30/997.82 c #Conflicts: 565000 | #Constraints: 36314 995.30/997.82 c #Conflicts: 566000 | #Constraints: 37996 995.30/997.82 c #Conflicts: 567000 | #Constraints: 39644 995.30/997.82 c #Conflicts: 568000 | #Constraints: 41346 995.30/997.82 c #Conflicts: 569000 | #Constraints: 43047 995.30/997.82 c #Conflicts: 570000 | #Constraints: 44710 995.30/997.82 c #Conflicts: 571000 | #Constraints: 46399 995.30/997.82 c #Conflicts: 572000 | #Constraints: 48102 995.30/997.82 c #Conflicts: 573000 | #Constraints: 49803 995.30/997.82 c #Conflicts: 574000 | #Constraints: 51546 995.30/997.82 c #Conflicts: 575000 | #Constraints: 53296 995.30/997.82 c #Conflicts: 576000 | #Constraints: 55116 995.30/997.82 c INPROCESSING 995.30/997.82 c GARBAGE COLLECT 995.30/997.82 c #Conflicts: 577000 | #Constraints: 31018 995.30/997.82 c #Conflicts: 578000 | #Constraints: 32695 995.30/997.82 c #Conflicts: 579000 | #Constraints: 34426 995.30/997.82 c #Conflicts: 580000 | #Constraints: 36145 995.30/997.82 c #Conflicts: 581000 | #Constraints: 37813 995.30/997.82 c #Conflicts: 582000 | #Constraints: 39487 995.30/997.82 c #Conflicts: 583000 | #Constraints: 41102 995.30/997.82 c #Conflicts: 584000 | #Constraints: 42849 995.30/997.82 c #Conflicts: 585000 | #Constraints: 44536 995.30/997.82 c #Conflicts: 586000 | #Constraints: 46245 995.30/997.82 c #Conflicts: 587000 | #Constraints: 47992 995.30/997.82 c #Conflicts: 588000 | #Constraints: 49651 995.30/997.82 c #Conflicts: 589000 | #Constraints: 51291 995.30/997.82 c #Conflicts: 590000 | #Constraints: 52980 995.30/997.82 c #Conflicts: 591000 | #Constraints: 54666 995.30/997.82 c INPROCESSING 995.30/997.82 c GARBAGE COLLECT 995.30/997.82 c #Conflicts: 592000 | #Constraints: 30449 995.30/997.82 c #Conflicts: 593000 | #Constraints: 32241 995.30/997.82 c #Conflicts: 594000 | #Constraints: 34052 995.30/997.82 c #Conflicts: 595000 | #Constraints: 35821 995.30/997.82 c #Conflicts: 596000 | #Constraints: 37536 995.30/997.82 c #Conflicts: 597000 | #Constraints: 39178 995.30/997.82 c #Conflicts: 598000 | #Constraints: 40884 995.30/997.82 c #Conflicts: 599000 | #Constraints: 42590 995.30/997.82 c #Conflicts: 600000 | #Constraints: 44235 995.30/997.82 c #Conflicts: 601000 | #Constraints: 45901 995.30/997.82 c #Conflicts: 602000 | #Constraints: 47529 995.30/997.82 c #Conflicts: 603000 | #Constraints: 49316 995.30/997.82 c #Conflicts: 604000 | #Constraints: 51166 995.30/997.82 c #Conflicts: 605000 | #Constraints: 53005 995.30/997.82 c #Conflicts: 606000 | #Constraints: 54852 995.30/997.82 c #Conflicts: 607000 | #Constraints: 56620 995.30/997.82 c INPROCESSING 995.30/997.82 c GARBAGE COLLECT 995.30/997.82 c #Conflicts: 608000 | #Constraints: 31766 995.30/997.82 c #Conflicts: 609000 | #Constraints: 33483 995.30/997.82 c #Conflicts: 610000 | #Constraints: 35195 995.30/997.82 c #Conflicts: 611000 | #Constraints: 36912 995.30/997.82 c #Conflicts: 612000 | #Constraints: 38672 995.30/997.82 c #Conflicts: 613000 | #Constraints: 40403 995.30/997.82 c #Conflicts: 614000 | #Constraints: 42202 995.30/997.82 c #Conflicts: 615000 | #Constraints: 43955 995.30/997.82 c #Conflicts: 616000 | #Constraints: 45605 995.30/997.82 c #Conflicts: 617000 | #Constraints: 47303 995.30/997.82 c #Conflicts: 618000 | #Constraints: 49084 995.30/997.82 c #Conflicts: 619000 | #Constraints: 50772 995.30/997.82 c #Conflicts: 620000 | #Constraints: 52426 995.30/997.82 c #Conflicts: 621000 | #Constraints: 54172 995.30/997.82 c #Conflicts: 622000 | #Constraints: 55926 995.30/997.82 c #Conflicts: 623000 | #Constraints: 57656 995.30/997.82 c INPROCESSING 995.30/997.82 c GARBAGE COLLECT 995.30/997.82 c #Conflicts: 624000 | #Constraints: 32385 995.30/997.82 c #Conflicts: 625000 | #Constraints: 34046 995.30/997.82 c #Conflicts: 626000 | #Constraints: 35783 995.30/997.82 c #Conflicts: 627000 | #Constraints: 37436 995.30/997.82 c #Conflicts: 628000 | #Constraints: 39169 995.30/997.82 c #Conflicts: 629000 | #Constraints: 40864 995.30/997.82 c #Conflicts: 630000 | #Constraints: 42613 995.30/997.82 c #Conflicts: 631000 | #Constraints: 44329 995.30/997.82 c #Conflicts: 632000 | #Constraints: 46114 995.30/997.82 c #Conflicts: 633000 | #Constraints: 47850 995.30/997.82 c #Conflicts: 634000 | #Constraints: 49610 995.30/997.82 c #Conflicts: 635000 | #Constraints: 51351 1161.41/1164.30 c #Conflicts: 636000 | #Constraints: 53054 1161.41/1164.30 c #Conflicts: 637000 | #Constraints: 54755 1161.41/1164.30 c #Conflicts: 638000 | #Constraints: 56414 1161.41/1164.30 c #Conflicts: 639000 | #Constraints: 58141 1161.41/1164.30 c INPROCESSING 1161.41/1164.30 c GARBAGE COLLECT 1161.41/1164.30 c #Conflicts: 640000 | #Constraints: 32669 1161.41/1164.30 c #Conflicts: 641000 | #Constraints: 34431 1161.41/1164.30 c #Conflicts: 642000 | #Constraints: 36175 1161.41/1164.30 c #Conflicts: 643000 | #Constraints: 37841 1161.41/1164.30 c #Conflicts: 644000 | #Constraints: 39515 1161.41/1164.30 c #Conflicts: 645000 | #Constraints: 41245 1161.41/1164.30 c #Conflicts: 646000 | #Constraints: 42907 1161.41/1164.30 c #Conflicts: 647000 | #Constraints: 44612 1161.41/1164.30 c #Conflicts: 648000 | #Constraints: 46279 1161.41/1164.30 c #Conflicts: 649000 | #Constraints: 47937 1161.41/1164.30 c #Conflicts: 650000 | #Constraints: 49715 1161.41/1164.30 c #Conflicts: 651000 | #Constraints: 51451 1161.41/1164.30 c #Conflicts: 652000 | #Constraints: 53221 1161.41/1164.30 c #Conflicts: 653000 | #Constraints: 54980 1161.41/1164.30 c #Conflicts: 654000 | #Constraints: 56709 1161.41/1164.30 c #Conflicts: 655000 | #Constraints: 58533 1161.41/1164.30 c INPROCESSING 1161.41/1164.30 c GARBAGE COLLECT 1161.41/1164.30 c #Conflicts: 656000 | #Constraints: 32816 1161.41/1164.30 c #Conflicts: 657000 | #Constraints: 34678 1161.41/1164.30 c #Conflicts: 658000 | #Constraints: 36539 1161.41/1164.30 c #Conflicts: 659000 | #Constraints: 38370 1161.41/1164.30 c #Conflicts: 660000 | #Constraints: 40147 1161.41/1164.30 c #Conflicts: 661000 | #Constraints: 41836 1161.41/1164.30 c #Conflicts: 662000 | #Constraints: 43477 1161.41/1164.30 c #Conflicts: 663000 | #Constraints: 45196 1161.41/1164.30 c #Conflicts: 664000 | #Constraints: 46888 1161.41/1164.30 c #Conflicts: 665000 | #Constraints: 48651 1161.41/1164.30 c #Conflicts: 666000 | #Constraints: 50332 1161.41/1164.30 c #Conflicts: 667000 | #Constraints: 52076 1161.41/1164.30 c #Conflicts: 668000 | #Constraints: 53851 1161.41/1164.30 c #Conflicts: 669000 | #Constraints: 55534 1161.41/1164.30 c #Conflicts: 670000 | #Constraints: 57221 1161.41/1164.30 c #Conflicts: 671000 | #Constraints: 58933 1161.41/1164.30 c INPROCESSING 1161.41/1164.30 c GARBAGE COLLECT 1161.41/1164.30 c #Conflicts: 672000 | #Constraints: 32566 1161.41/1164.30 c #Conflicts: 673000 | #Constraints: 34186 1161.41/1164.30 c #Conflicts: 674000 | #Constraints: 35873 1161.41/1164.30 c #Conflicts: 675000 | #Constraints: 37634 1161.41/1164.30 c #Conflicts: 676000 | #Constraints: 39351 1161.41/1164.30 c #Conflicts: 677000 | #Constraints: 41098 1161.41/1164.30 c #Conflicts: 678000 | #Constraints: 42866 1161.41/1164.30 c #Conflicts: 679000 | #Constraints: 44618 1161.41/1164.30 c #Conflicts: 680000 | #Constraints: 46303 1161.41/1164.30 c #Conflicts: 681000 | #Constraints: 47974 1161.41/1164.30 c #Conflicts: 682000 | #Constraints: 49663 1161.41/1164.30 c #Conflicts: 683000 | #Constraints: 51383 1161.41/1164.30 c #Conflicts: 684000 | #Constraints: 53045 1161.41/1164.30 c #Conflicts: 685000 | #Constraints: 54757 1161.41/1164.30 c #Conflicts: 686000 | #Constraints: 56569 1161.41/1164.30 c #Conflicts: 687000 | #Constraints: 58353 1161.41/1164.30 c #Conflicts: 688000 | #Constraints: 60012 1161.41/1164.30 c INPROCESSING 1161.41/1164.30 c GARBAGE COLLECT 1161.41/1164.30 c #Conflicts: 689000 | #Constraints: 33468 1161.41/1164.30 c #Conflicts: 690000 | #Constraints: 35233 1161.41/1164.30 c #Conflicts: 691000 | #Constraints: 36929 1161.41/1164.30 c #Conflicts: 692000 | #Constraints: 38579 1161.41/1164.30 c #Conflicts: 693000 | #Constraints: 40263 1161.41/1164.30 c #Conflicts: 694000 | #Constraints: 42047 1161.41/1164.30 c #Conflicts: 695000 | #Constraints: 43818 1161.41/1164.30 c #Conflicts: 696000 | #Constraints: 45445 1161.41/1164.30 c #Conflicts: 697000 | #Constraints: 47082 1161.41/1164.30 c #Conflicts: 698000 | #Constraints: 48740 1161.41/1164.30 c #Conflicts: 699000 | #Constraints: 50388 1161.41/1164.30 c #Conflicts: 700000 | #Constraints: 52094 1161.41/1164.30 c #Conflicts: 701000 | #Constraints: 53823 1161.41/1164.30 c #Conflicts: 702000 | #Constraints: 55512 1161.41/1164.30 c #Conflicts: 703000 | #Constraints: 57226 1161.41/1164.30 c #Conflicts: 704000 | #Constraints: 58940 1161.41/1164.30 c #Conflicts: 705000 | #Constraints: 60632 1161.41/1164.30 c INPROCESSING 1161.41/1164.30 c GARBAGE COLLECT 1161.41/1164.30 c #Conflicts: 706000 | #Constraints: 33913 1161.41/1164.30 c #Conflicts: 707000 | #Constraints: 35548 1161.41/1164.30 c #Conflicts: 708000 | #Constraints: 37155 1161.41/1164.30 c #Conflicts: 709000 | #Constraints: 38778 1161.41/1164.30 c #Conflicts: 710000 | #Constraints: 40416 1161.41/1164.30 c #Conflicts: 711000 | #Constraints: 42121 1335.20/1338.55 c #Conflicts: 712000 | #Constraints: 43771 1335.20/1338.55 c #Conflicts: 713000 | #Constraints: 45494 1335.20/1338.55 c #Conflicts: 714000 | #Constraints: 47221 1335.20/1338.55 c #Conflicts: 715000 | #Constraints: 48957 1335.20/1338.55 c #Conflicts: 716000 | #Constraints: 50657 1335.20/1338.55 c #Conflicts: 717000 | #Constraints: 52347 1335.20/1338.55 c #Conflicts: 718000 | #Constraints: 54098 1335.20/1338.55 c #Conflicts: 719000 | #Constraints: 55919 1335.20/1338.55 c #Conflicts: 720000 | #Constraints: 57585 1335.20/1338.55 c #Conflicts: 721000 | #Constraints: 59256 1335.20/1338.55 c #Conflicts: 722000 | #Constraints: 60944 1335.20/1338.55 c INPROCESSING 1335.20/1338.55 c GARBAGE COLLECT 1335.20/1338.55 c #Conflicts: 723000 | #Constraints: 34072 1335.20/1338.55 c #Conflicts: 724000 | #Constraints: 35851 1335.20/1338.55 c #Conflicts: 725000 | #Constraints: 37572 1335.20/1338.55 c #Conflicts: 726000 | #Constraints: 39283 1335.20/1338.55 c #Conflicts: 727000 | #Constraints: 41058 1335.20/1338.55 c #Conflicts: 728000 | #Constraints: 42814 1335.20/1338.55 c #Conflicts: 729000 | #Constraints: 44548 1335.20/1338.55 c #Conflicts: 730000 | #Constraints: 46295 1335.20/1338.55 c #Conflicts: 731000 | #Constraints: 48047 1335.20/1338.55 c #Conflicts: 732000 | #Constraints: 49820 1335.20/1338.55 c #Conflicts: 733000 | #Constraints: 51570 1335.20/1338.55 c #Conflicts: 734000 | #Constraints: 53335 1335.20/1338.55 c #Conflicts: 735000 | #Constraints: 55109 1335.20/1338.55 c #Conflicts: 736000 | #Constraints: 56830 1335.20/1338.55 c #Conflicts: 737000 | #Constraints: 58582 1335.20/1338.55 c #Conflicts: 738000 | #Constraints: 60327 1335.20/1338.55 c #Conflicts: 739000 | #Constraints: 62029 1335.20/1338.55 c INPROCESSING 1335.20/1338.55 c GARBAGE COLLECT 1335.20/1338.55 c #Conflicts: 740000 | #Constraints: 34512 1335.20/1338.55 c #Conflicts: 741000 | #Constraints: 36284 1335.20/1338.55 c #Conflicts: 742000 | #Constraints: 38074 1335.20/1338.55 c #Conflicts: 743000 | #Constraints: 39867 1335.20/1338.55 c #Conflicts: 744000 | #Constraints: 41548 1335.20/1338.55 c #Conflicts: 745000 | #Constraints: 43227 1335.20/1338.55 c #Conflicts: 746000 | #Constraints: 44934 1335.20/1338.55 c #Conflicts: 747000 | #Constraints: 46655 1335.20/1338.55 c #Conflicts: 748000 | #Constraints: 48320 1335.20/1338.55 c #Conflicts: 749000 | #Constraints: 50010 1335.20/1338.55 c #Conflicts: 750000 | #Constraints: 51658 1335.20/1338.55 c #Conflicts: 751000 | #Constraints: 53306 1335.20/1338.55 c #Conflicts: 752000 | #Constraints: 54978 1335.20/1338.55 c #Conflicts: 753000 | #Constraints: 56595 1335.20/1338.55 c #Conflicts: 754000 | #Constraints: 58353 1335.20/1338.55 c #Conflicts: 755000 | #Constraints: 60045 1335.20/1338.55 c #Conflicts: 756000 | #Constraints: 61678 1335.20/1338.55 c INPROCESSING 1335.20/1338.55 c GARBAGE COLLECT 1335.20/1338.55 c #Conflicts: 757000 | #Constraints: 33944 1335.20/1338.55 c #Conflicts: 758000 | #Constraints: 35647 1335.20/1338.55 c #Conflicts: 759000 | #Constraints: 37367 1335.20/1338.55 c #Conflicts: 760000 | #Constraints: 39125 1335.20/1338.55 c #Conflicts: 761000 | #Constraints: 40944 1335.20/1338.55 c #Conflicts: 762000 | #Constraints: 42775 1335.20/1338.55 c #Conflicts: 763000 | #Constraints: 44447 1335.20/1338.55 c #Conflicts: 764000 | #Constraints: 46095 1335.20/1338.55 c #Conflicts: 765000 | #Constraints: 47777 1335.20/1338.55 c #Conflicts: 766000 | #Constraints: 49455 1335.20/1338.55 c #Conflicts: 767000 | #Constraints: 51130 1335.20/1338.55 c #Conflicts: 768000 | #Constraints: 52822 1335.20/1338.55 c #Conflicts: 769000 | #Constraints: 54579 1335.20/1338.55 c #Conflicts: 770000 | #Constraints: 56245 1335.20/1338.55 c #Conflicts: 771000 | #Constraints: 57918 1335.20/1338.55 c #Conflicts: 772000 | #Constraints: 59599 1335.20/1338.55 c #Conflicts: 773000 | #Constraints: 61354 1335.20/1338.55 c #Conflicts: 774000 | #Constraints: 63067 1335.20/1338.55 c INPROCESSING 1335.20/1338.55 c GARBAGE COLLECT 1335.20/1338.55 c #Conflicts: 775000 | #Constraints: 34907 1335.20/1338.55 c #Conflicts: 776000 | #Constraints: 36636 1335.20/1338.55 c #Conflicts: 777000 | #Constraints: 38334 1335.20/1338.55 c #Conflicts: 778000 | #Constraints: 40012 1335.20/1338.55 c #Conflicts: 779000 | #Constraints: 41699 1335.20/1338.55 c #Conflicts: 780000 | #Constraints: 43364 1335.20/1338.55 c #Conflicts: 781000 | #Constraints: 45074 1335.20/1338.55 c #Conflicts: 782000 | #Constraints: 46820 1335.20/1338.55 c #Conflicts: 783000 | #Constraints: 48567 1335.20/1338.55 c #Conflicts: 784000 | #Constraints: 50364 1335.20/1338.55 c #Conflicts: 785000 | #Constraints: 52187 1335.20/1338.55 c #Conflicts: 786000 | #Constraints: 54017 1335.20/1338.55 c #Conflicts: 787000 | #Constraints: 55776 1516.56/1520.30 c #Conflicts: 788000 | #Constraints: 57540 1516.56/1520.30 c #Conflicts: 789000 | #Constraints: 59234 1516.56/1520.30 c #Conflicts: 790000 | #Constraints: 60960 1516.56/1520.30 c #Conflicts: 791000 | #Constraints: 62647 1516.56/1520.30 c #Conflicts: 792000 | #Constraints: 64353 1516.56/1520.30 c INPROCESSING 1516.56/1520.30 c GARBAGE COLLECT 1516.56/1520.30 c #Conflicts: 793000 | #Constraints: 35720 1516.56/1520.30 c #Conflicts: 794000 | #Constraints: 37418 1516.56/1520.30 c #Conflicts: 795000 | #Constraints: 39092 1516.56/1520.30 c #Conflicts: 796000 | #Constraints: 40786 1516.56/1520.30 c #Conflicts: 797000 | #Constraints: 42538 1516.56/1520.30 c #Conflicts: 798000 | #Constraints: 44249 1516.56/1520.30 c #Conflicts: 799000 | #Constraints: 45936 1516.56/1520.30 c #Conflicts: 800000 | #Constraints: 47633 1516.56/1520.30 c #Conflicts: 801000 | #Constraints: 49371 1516.56/1520.30 c #Conflicts: 802000 | #Constraints: 51088 1516.56/1520.30 c #Conflicts: 803000 | #Constraints: 52770 1516.56/1520.30 c #Conflicts: 804000 | #Constraints: 54474 1516.56/1520.30 c #Conflicts: 805000 | #Constraints: 56179 1516.56/1520.30 c #Conflicts: 806000 | #Constraints: 57897 1516.56/1520.30 c #Conflicts: 807000 | #Constraints: 59574 1516.56/1520.30 c #Conflicts: 808000 | #Constraints: 61258 1516.56/1520.30 c #Conflicts: 809000 | #Constraints: 62882 1516.56/1520.30 c #Conflicts: 810000 | #Constraints: 64592 1516.56/1520.30 c INPROCESSING 1516.56/1520.30 c GARBAGE COLLECT 1516.56/1520.30 c #Conflicts: 811000 | #Constraints: 35925 1516.56/1520.30 c #Conflicts: 812000 | #Constraints: 37573 1516.56/1520.30 c #Conflicts: 813000 | #Constraints: 39289 1516.56/1520.30 c #Conflicts: 814000 | #Constraints: 41070 1516.56/1520.30 c #Conflicts: 815000 | #Constraints: 42901 1516.56/1520.30 c #Conflicts: 816000 | #Constraints: 44627 1516.56/1520.30 c #Conflicts: 817000 | #Constraints: 46316 1516.56/1520.30 c #Conflicts: 818000 | #Constraints: 48057 1516.56/1520.30 c #Conflicts: 819000 | #Constraints: 49782 1516.56/1520.30 c #Conflicts: 820000 | #Constraints: 51454 1516.56/1520.30 c #Conflicts: 821000 | #Constraints: 53152 1516.56/1520.30 c #Conflicts: 822000 | #Constraints: 54861 1516.56/1520.30 c #Conflicts: 823000 | #Constraints: 56598 1516.56/1520.30 c #Conflicts: 824000 | #Constraints: 58371 1516.56/1520.30 c #Conflicts: 825000 | #Constraints: 60119 1516.56/1520.30 c #Conflicts: 826000 | #Constraints: 61921 1516.56/1520.30 c #Conflicts: 827000 | #Constraints: 63695 1516.56/1520.30 c #Conflicts: 828000 | #Constraints: 65384 1516.56/1520.30 c INPROCESSING 1516.56/1520.30 c GARBAGE COLLECT 1516.56/1520.30 c #Conflicts: 829000 | #Constraints: 36065 1516.56/1520.30 c #Conflicts: 830000 | #Constraints: 37675 1516.56/1520.30 c #Conflicts: 831000 | #Constraints: 39325 1516.56/1520.30 c #Conflicts: 832000 | #Constraints: 40959 1516.56/1520.30 c #Conflicts: 833000 | #Constraints: 42504 1516.56/1520.30 c #Conflicts: 834000 | #Constraints: 44096 1516.56/1520.30 c #Conflicts: 835000 | #Constraints: 45694 1516.56/1520.30 c #Conflicts: 836000 | #Constraints: 47293 1516.56/1520.30 c #Conflicts: 837000 | #Constraints: 48945 1516.56/1520.30 c #Conflicts: 838000 | #Constraints: 50574 1516.56/1520.30 c #Conflicts: 839000 | #Constraints: 52204 1516.56/1520.30 c #Conflicts: 840000 | #Constraints: 53801 1516.56/1520.30 c #Conflicts: 841000 | #Constraints: 55471 1516.56/1520.30 c #Conflicts: 842000 | #Constraints: 57142 1516.56/1520.30 c #Conflicts: 843000 | #Constraints: 58800 1516.56/1520.30 c #Conflicts: 844000 | #Constraints: 60389 1516.56/1520.30 c #Conflicts: 845000 | #Constraints: 62041 1516.56/1520.30 c #Conflicts: 846000 | #Constraints: 63704 1516.56/1520.30 c INPROCESSING 1516.56/1520.30 c GARBAGE COLLECT 1516.56/1520.30 c #Conflicts: 847000 | #Constraints: 34943 1516.56/1520.30 c #Conflicts: 848000 | #Constraints: 36628 1516.56/1520.30 c #Conflicts: 849000 | #Constraints: 38349 1516.56/1520.30 c #Conflicts: 850000 | #Constraints: 40025 1516.56/1520.30 c #Conflicts: 851000 | #Constraints: 41732 1516.56/1520.30 c #Conflicts: 852000 | #Constraints: 43493 1516.56/1520.30 c #Conflicts: 853000 | #Constraints: 45241 1516.56/1520.30 c #Conflicts: 854000 | #Constraints: 46906 1516.56/1520.30 c #Conflicts: 855000 | #Constraints: 48578 1516.56/1520.30 c #Conflicts: 856000 | #Constraints: 50223 1516.56/1520.30 c #Conflicts: 857000 | #Constraints: 51903 1516.56/1520.30 c #Conflicts: 858000 | #Constraints: 53631 1516.56/1520.30 c #Conflicts: 859000 | #Constraints: 55329 1516.56/1520.30 c #Conflicts: 860000 | #Constraints: 57035 1516.56/1520.30 c #Conflicts: 861000 | #Constraints: 58705 1516.56/1520.30 c #Conflicts: 862000 | #Constraints: 60359 1516.56/1520.30 c #Conflicts: 863000 | #Constraints: 62088 1516.56/1520.30 c #Conflicts: 864000 | #Constraints: 63852 1716.80/1721.00 c #Conflicts: 865000 | #Constraints: 65554 1716.80/1721.00 c INPROCESSING 1716.80/1721.00 c GARBAGE COLLECT 1716.80/1721.00 c #Conflicts: 866000 | #Constraints: 36297 1716.80/1721.00 c #Conflicts: 867000 | #Constraints: 38000 1716.80/1721.00 c #Conflicts: 868000 | #Constraints: 39678 1716.80/1721.00 c #Conflicts: 869000 | #Constraints: 41303 1716.80/1721.00 c #Conflicts: 870000 | #Constraints: 43019 1716.80/1721.00 c #Conflicts: 871000 | #Constraints: 44724 1716.80/1721.00 c #Conflicts: 872000 | #Constraints: 46467 1716.80/1721.00 c #Conflicts: 873000 | #Constraints: 48188 1716.80/1721.00 c #Conflicts: 874000 | #Constraints: 49867 1716.80/1721.00 c #Conflicts: 875000 | #Constraints: 51558 1716.80/1721.00 c #Conflicts: 876000 | #Constraints: 53296 1716.80/1721.00 c #Conflicts: 877000 | #Constraints: 54964 1716.80/1721.00 c #Conflicts: 878000 | #Constraints: 56611 1716.80/1721.00 c #Conflicts: 879000 | #Constraints: 58313 1716.80/1721.00 c #Conflicts: 880000 | #Constraints: 59985 1716.80/1721.00 c #Conflicts: 881000 | #Constraints: 61733 1716.80/1721.00 c #Conflicts: 882000 | #Constraints: 63414 1716.80/1721.00 c #Conflicts: 883000 | #Constraints: 65113 1716.80/1721.00 c #Conflicts: 884000 | #Constraints: 66809 1716.80/1721.00 c INPROCESSING 1716.80/1721.00 c GARBAGE COLLECT 1716.80/1721.00 c #Conflicts: 885000 | #Constraints: 37040 1716.80/1721.00 c #Conflicts: 886000 | #Constraints: 38800 1716.80/1721.00 c #Conflicts: 887000 | #Constraints: 40562 1716.80/1721.00 c #Conflicts: 888000 | #Constraints: 42365 1716.80/1721.00 c #Conflicts: 889000 | #Constraints: 44152 1716.80/1721.00 c #Conflicts: 890000 | #Constraints: 45932 1716.80/1721.00 c #Conflicts: 891000 | #Constraints: 47627 1716.80/1721.00 c #Conflicts: 892000 | #Constraints: 49335 1716.80/1721.00 c #Conflicts: 893000 | #Constraints: 51033 1716.80/1721.00 c #Conflicts: 894000 | #Constraints: 52713 1716.80/1721.00 c #Conflicts: 895000 | #Constraints: 54428 1716.80/1721.00 c #Conflicts: 896000 | #Constraints: 56077 1716.80/1721.00 c #Conflicts: 897000 | #Constraints: 57743 1716.80/1721.00 c #Conflicts: 898000 | #Constraints: 59496 1716.80/1721.00 c #Conflicts: 899000 | #Constraints: 61216 1716.80/1721.00 c #Conflicts: 900000 | #Constraints: 62884 1716.80/1721.00 c #Conflicts: 901000 | #Constraints: 64589 1716.80/1721.00 c #Conflicts: 902000 | #Constraints: 66216 1716.80/1721.00 c #Conflicts: 903000 | #Constraints: 67868 1716.80/1721.00 c INPROCESSING 1716.80/1721.00 c GARBAGE COLLECT 1716.80/1721.00 c #Conflicts: 904000 | #Constraints: 37529 1716.80/1721.00 c #Conflicts: 905000 | #Constraints: 39275 1716.80/1721.00 c #Conflicts: 906000 | #Constraints: 41064 1716.80/1721.00 c #Conflicts: 907000 | #Constraints: 42789 1716.80/1721.00 c #Conflicts: 908000 | #Constraints: 44526 1716.80/1721.00 c #Conflicts: 909000 | #Constraints: 46259 1716.80/1721.00 c #Conflicts: 910000 | #Constraints: 48018 1716.80/1721.00 c #Conflicts: 911000 | #Constraints: 49715 1716.80/1721.00 c #Conflicts: 912000 | #Constraints: 51467 1716.80/1721.00 c #Conflicts: 913000 | #Constraints: 53132 1716.80/1721.00 c #Conflicts: 914000 | #Constraints: 54779 1716.80/1721.00 c #Conflicts: 915000 | #Constraints: 56430 1716.80/1721.00 c #Conflicts: 916000 | #Constraints: 58119 1716.80/1721.00 c #Conflicts: 917000 | #Constraints: 59942 1716.80/1721.00 c #Conflicts: 918000 | #Constraints: 61684 1716.80/1721.00 c #Conflicts: 919000 | #Constraints: 63325 1716.80/1721.00 c #Conflicts: 920000 | #Constraints: 64986 1716.80/1721.00 c #Conflicts: 921000 | #Constraints: 66763 1716.80/1721.00 c #Conflicts: 922000 | #Constraints: 68448 1716.80/1721.00 c INPROCESSING 1716.80/1721.00 c GARBAGE COLLECT 1716.80/1721.00 c #Conflicts: 923000 | #Constraints: 37663 1716.80/1721.00 c #Conflicts: 924000 | #Constraints: 39414 1716.80/1721.00 c #Conflicts: 925000 | #Constraints: 41115 1716.80/1721.00 c #Conflicts: 926000 | #Constraints: 42804 1716.80/1721.00 c #Conflicts: 927000 | #Constraints: 44544 1716.80/1721.00 c #Conflicts: 928000 | #Constraints: 46325 1716.80/1721.00 c #Conflicts: 929000 | #Constraints: 48049 1716.80/1721.00 c #Conflicts: 930000 | #Constraints: 49868 1716.80/1721.00 c #Conflicts: 931000 | #Constraints: 51756 1716.80/1721.00 c #Conflicts: 932000 | #Constraints: 53578 1716.80/1721.00 c #Conflicts: 933000 | #Constraints: 55424 1716.80/1721.00 c #Conflicts: 934000 | #Constraints: 57270 1716.80/1721.00 c #Conflicts: 935000 | #Constraints: 59094 1716.80/1721.00 c #Conflicts: 936000 | #Constraints: 60854 1716.80/1721.00 c #Conflicts: 937000 | #Constraints: 62568 1716.80/1721.00 c #Conflicts: 938000 | #Constraints: 64292 1716.80/1721.00 c #Conflicts: 939000 | #Constraints: 66010 1716.80/1721.00 c #Conflicts: 940000 | #Constraints: 67723 1928.09/1932.85 c #Conflicts: 941000 | #Constraints: 69459 1928.09/1932.85 c INPROCESSING 1928.09/1932.85 c GARBAGE COLLECT 1928.09/1932.85 c #Conflicts: 942000 | #Constraints: 37847 1928.09/1932.85 c #Conflicts: 943000 | #Constraints: 39561 1928.09/1932.85 c #Conflicts: 944000 | #Constraints: 41277 1928.09/1932.85 c #Conflicts: 945000 | #Constraints: 42960 1928.09/1932.85 c #Conflicts: 946000 | #Constraints: 44629 1928.09/1932.85 c #Conflicts: 947000 | #Constraints: 46341 1928.09/1932.85 c #Conflicts: 948000 | #Constraints: 48116 1928.09/1932.85 c #Conflicts: 949000 | #Constraints: 49881 1928.09/1932.85 c #Conflicts: 950000 | #Constraints: 51631 1928.09/1932.85 c #Conflicts: 951000 | #Constraints: 53417 1928.09/1932.85 c #Conflicts: 952000 | #Constraints: 55189 1928.09/1932.85 c #Conflicts: 953000 | #Constraints: 56953 1928.09/1932.85 c #Conflicts: 954000 | #Constraints: 58784 1928.09/1932.85 c #Conflicts: 955000 | #Constraints: 60574 1928.09/1932.85 c #Conflicts: 956000 | #Constraints: 62370 1928.09/1932.85 c #Conflicts: 957000 | #Constraints: 64144 1928.09/1932.85 c #Conflicts: 958000 | #Constraints: 65931 1928.09/1932.85 c #Conflicts: 959000 | #Constraints: 67724 1928.09/1932.85 c #Conflicts: 960000 | #Constraints: 69508 1928.09/1932.85 c #Conflicts: 961000 | #Constraints: 71300 1928.09/1932.85 c INPROCESSING 1928.09/1932.85 c GARBAGE COLLECT 1928.09/1932.85 c #Conflicts: 962000 | #Constraints: 39140 1928.09/1932.85 c #Conflicts: 963000 | #Constraints: 40920 1928.09/1932.85 c #Conflicts: 964000 | #Constraints: 42699 1928.09/1932.85 c #Conflicts: 965000 | #Constraints: 44535 1928.09/1932.85 c #Conflicts: 966000 | #Constraints: 46339 1928.09/1932.85 c #Conflicts: 967000 | #Constraints: 48118 1928.09/1932.85 c #Conflicts: 968000 | #Constraints: 49887 1928.09/1932.85 c #Conflicts: 969000 | #Constraints: 51588 1928.09/1932.85 c #Conflicts: 970000 | #Constraints: 53322 1928.09/1932.85 c #Conflicts: 971000 | #Constraints: 55154 1928.09/1932.85 c #Conflicts: 972000 | #Constraints: 56999 1928.09/1932.85 c #Conflicts: 973000 | #Constraints: 58779 1928.09/1932.85 c #Conflicts: 974000 | #Constraints: 60498 1928.09/1932.85 c #Conflicts: 975000 | #Constraints: 62216 1928.09/1932.85 c #Conflicts: 976000 | #Constraints: 63960 1928.09/1932.85 c #Conflicts: 977000 | #Constraints: 65674 1928.09/1932.85 c #Conflicts: 978000 | #Constraints: 67424 1928.09/1932.85 c #Conflicts: 979000 | #Constraints: 69132 1928.09/1932.85 c #Conflicts: 980000 | #Constraints: 70867 1928.09/1932.85 c #Conflicts: 981000 | #Constraints: 72561 1928.09/1932.85 c INPROCESSING 1928.09/1932.85 c GARBAGE COLLECT 1928.09/1932.85 c #Conflicts: 982000 | #Constraints: 39914 1928.09/1932.85 c #Conflicts: 983000 | #Constraints: 41593 1928.09/1932.85 c #Conflicts: 984000 | #Constraints: 43266 1928.09/1932.85 c #Conflicts: 985000 | #Constraints: 44967 1928.09/1932.85 c #Conflicts: 986000 | #Constraints: 46698 1928.09/1932.85 c #Conflicts: 987000 | #Constraints: 48389 1928.09/1932.85 c #Conflicts: 988000 | #Constraints: 50106 1928.09/1932.85 c #Conflicts: 989000 | #Constraints: 51831 1928.09/1932.85 c #Conflicts: 990000 | #Constraints: 53552 1928.09/1932.85 c #Conflicts: 991000 | #Constraints: 55290 1928.09/1932.85 c #Conflicts: 992000 | #Constraints: 57026 1928.09/1932.85 c #Conflicts: 993000 | #Constraints: 58769 1928.09/1932.85 c #Conflicts: 994000 | #Constraints: 60417 1928.09/1932.85 c #Conflicts: 995000 | #Constraints: 62129 1928.09/1932.85 c #Conflicts: 996000 | #Constraints: 63891 1928.09/1932.85 c #Conflicts: 997000 | #Constraints: 65603 1928.09/1932.85 c #Conflicts: 998000 | #Constraints: 67320 1928.09/1932.85 c #Conflicts: 999000 | #Constraints: 69048 1928.09/1932.85 c #Conflicts: 1000000 | #Constraints: 70819 1928.09/1932.85 c #Conflicts: 1001000 | #Constraints: 72589 1928.09/1932.85 c INPROCESSING 1928.09/1932.85 c GARBAGE COLLECT 1928.09/1932.85 c #Conflicts: 1002000 | #Constraints: 39908 1928.09/1932.85 c #Conflicts: 1003000 | #Constraints: 41581 1928.09/1932.85 c #Conflicts: 1004000 | #Constraints: 43261 1928.09/1932.85 c #Conflicts: 1005000 | #Constraints: 44964 1928.09/1932.85 c #Conflicts: 1006000 | #Constraints: 46706 1928.09/1932.85 c #Conflicts: 1007000 | #Constraints: 48416 1928.09/1932.85 c #Conflicts: 1008000 | #Constraints: 50123 1928.09/1932.85 c #Conflicts: 1009000 | #Constraints: 51822 1928.09/1932.85 c #Conflicts: 1010000 | #Constraints: 53497 1928.09/1932.85 c #Conflicts: 1011000 | #Constraints: 55221 1928.09/1932.85 c #Conflicts: 1012000 | #Constraints: 56923 1928.09/1932.85 c #Conflicts: 1013000 | #Constraints: 58672 1928.09/1932.85 c #Conflicts: 1014000 | #Constraints: 60432 1928.09/1932.85 c #Conflicts: 1015000 | #Constraints: 62171 1928.09/1932.85 c #Conflicts: 1016000 | #Constraints: 63892 2131.20/2136.48 c #Conflicts: 1017000 | #Constraints: 65573 2131.20/2136.48 c #Conflicts: 1018000 | #Constraints: 67329 2131.20/2136.48 c #Conflicts: 1019000 | #Constraints: 69097 2131.20/2136.48 c #Conflicts: 1020000 | #Constraints: 70857 2131.20/2136.48 c #Conflicts: 1021000 | #Constraints: 72608 2131.20/2136.48 c INPROCESSING 2131.20/2136.48 c GARBAGE COLLECT 2131.20/2136.48 c #Conflicts: 1022000 | #Constraints: 39767 2131.20/2136.48 c #Conflicts: 1023000 | #Constraints: 41506 2131.20/2136.48 c #Conflicts: 1024000 | #Constraints: 43215 2131.20/2136.48 c #Conflicts: 1025000 | #Constraints: 44949 2131.20/2136.48 c #Conflicts: 1026000 | #Constraints: 46707 2131.20/2136.48 c #Conflicts: 1027000 | #Constraints: 48466 2131.20/2136.48 c #Conflicts: 1028000 | #Constraints: 50258 2131.20/2136.48 c #Conflicts: 1029000 | #Constraints: 52034 2131.20/2136.48 c #Conflicts: 1030000 | #Constraints: 53852 2131.20/2136.48 c #Conflicts: 1031000 | #Constraints: 55629 2131.20/2136.48 c #Conflicts: 1032000 | #Constraints: 57404 2131.20/2136.48 c #Conflicts: 1033000 | #Constraints: 59022 2131.20/2136.48 c #Conflicts: 1034000 | #Constraints: 60730 2131.20/2136.48 c #Conflicts: 1035000 | #Constraints: 62433 2131.20/2136.48 c #Conflicts: 1036000 | #Constraints: 64173 2131.20/2136.48 c #Conflicts: 1037000 | #Constraints: 65904 2131.20/2136.48 c #Conflicts: 1038000 | #Constraints: 67624 2131.20/2136.48 c #Conflicts: 1039000 | #Constraints: 69381 2131.20/2136.48 c #Conflicts: 1040000 | #Constraints: 71149 2131.20/2136.48 c #Conflicts: 1041000 | #Constraints: 72912 2131.20/2136.48 c INPROCESSING 2131.20/2136.48 c GARBAGE COLLECT 2131.20/2136.48 c #Conflicts: 1042000 | #Constraints: 39561 2131.20/2136.48 c #Conflicts: 1043000 | #Constraints: 41275 2131.20/2136.48 c #Conflicts: 1044000 | #Constraints: 42995 2131.20/2136.48 c #Conflicts: 1045000 | #Constraints: 44742 2131.20/2136.48 c #Conflicts: 1046000 | #Constraints: 46447 2131.20/2136.48 c #Conflicts: 1047000 | #Constraints: 48142 2131.20/2136.48 c #Conflicts: 1048000 | #Constraints: 49871 2131.20/2136.48 c #Conflicts: 1049000 | #Constraints: 51609 2131.20/2136.48 c #Conflicts: 1050000 | #Constraints: 53261 2131.20/2136.48 c #Conflicts: 1051000 | #Constraints: 54942 2131.20/2136.48 c #Conflicts: 1052000 | #Constraints: 56650 2131.20/2136.48 c #Conflicts: 1053000 | #Constraints: 58358 2131.20/2136.48 c #Conflicts: 1054000 | #Constraints: 60077 2131.20/2136.48 c #Conflicts: 1055000 | #Constraints: 61794 2131.20/2136.48 c #Conflicts: 1056000 | #Constraints: 63531 2131.20/2136.48 c #Conflicts: 1057000 | #Constraints: 65288 2131.20/2136.48 c #Conflicts: 1058000 | #Constraints: 67015 2131.20/2136.48 c #Conflicts: 1059000 | #Constraints: 68775 2131.20/2136.48 c #Conflicts: 1060000 | #Constraints: 70494 2131.20/2136.48 c #Conflicts: 1061000 | #Constraints: 72234 2131.20/2136.48 c #Conflicts: 1062000 | #Constraints: 73959 2131.20/2136.48 c INPROCESSING 2131.20/2136.48 c GARBAGE COLLECT 2131.20/2136.48 c #Conflicts: 1063000 | #Constraints: 40475 2131.20/2136.48 c #Conflicts: 1064000 | #Constraints: 42182 2131.20/2136.48 c #Conflicts: 1065000 | #Constraints: 43858 2131.20/2136.48 c #Conflicts: 1066000 | #Constraints: 45530 2131.20/2136.48 c #Conflicts: 1067000 | #Constraints: 47249 2131.20/2136.48 c #Conflicts: 1068000 | #Constraints: 48957 2131.20/2136.48 c #Conflicts: 1069000 | #Constraints: 50683 2131.20/2136.48 c #Conflicts: 1070000 | #Constraints: 52516 2131.20/2136.48 c #Conflicts: 1071000 | #Constraints: 54310 2131.20/2136.48 c #Conflicts: 1072000 | #Constraints: 56087 2131.20/2136.48 c #Conflicts: 1073000 | #Constraints: 57836 2131.20/2136.48 c #Conflicts: 1074000 | #Constraints: 59622 2131.20/2136.48 c #Conflicts: 1075000 | #Constraints: 61350 2131.20/2136.48 c #Conflicts: 1076000 | #Constraints: 63090 2131.20/2136.48 c #Conflicts: 1077000 | #Constraints: 64870 2131.20/2136.48 c #Conflicts: 1078000 | #Constraints: 66602 2131.20/2136.48 c #Conflicts: 1079000 | #Constraints: 68368 2131.20/2136.48 c #Conflicts: 1080000 | #Constraints: 70138 2131.20/2136.48 c #Conflicts: 1081000 | #Constraints: 71858 2131.20/2136.48 c #Conflicts: 1082000 | #Constraints: 73598 2131.20/2136.48 c #Conflicts: 1083000 | #Constraints: 75345 2131.20/2136.48 c INPROCESSING 2131.20/2136.48 c GARBAGE COLLECT 2131.20/2136.48 c #Conflicts: 1084000 | #Constraints: 41304 2131.20/2136.48 c #Conflicts: 1085000 | #Constraints: 42949 2131.20/2136.48 c #Conflicts: 1086000 | #Constraints: 44637 2131.20/2136.48 c #Conflicts: 1087000 | #Constraints: 46336 2131.20/2136.48 c #Conflicts: 1088000 | #Constraints: 48055 2131.20/2136.48 c #Conflicts: 1089000 | #Constraints: 49813 2131.20/2136.48 c #Conflicts: 1090000 | #Constraints: 51565 2131.20/2136.48 c #Conflicts: 1091000 | #Constraints: 53321 2131.20/2136.48 c #Conflicts: 1092000 | #Constraints: 55089 2355.30/2361.01 c #Conflicts: 1093000 | #Constraints: 56840 2355.30/2361.01 c #Conflicts: 1094000 | #Constraints: 58550 2355.30/2361.01 c #Conflicts: 1095000 | #Constraints: 60263 2355.30/2361.01 c #Conflicts: 1096000 | #Constraints: 61973 2355.30/2361.01 c #Conflicts: 1097000 | #Constraints: 63713 2355.30/2361.01 c #Conflicts: 1098000 | #Constraints: 65480 2355.30/2361.01 c #Conflicts: 1099000 | #Constraints: 67255 2355.30/2361.01 c #Conflicts: 1100000 | #Constraints: 69047 2355.30/2361.01 c #Conflicts: 1101000 | #Constraints: 70794 2355.30/2361.01 c #Conflicts: 1102000 | #Constraints: 72586 2355.30/2361.01 c #Conflicts: 1103000 | #Constraints: 74377 2355.30/2361.01 c #Conflicts: 1104000 | #Constraints: 76105 2355.30/2361.01 c INPROCESSING 2355.30/2361.01 c GARBAGE COLLECT 2355.30/2361.01 c #Conflicts: 1105000 | #Constraints: 41683 2355.30/2361.01 c #Conflicts: 1106000 | #Constraints: 43441 2355.30/2361.01 c #Conflicts: 1107000 | #Constraints: 45203 2355.30/2361.01 c #Conflicts: 1108000 | #Constraints: 46929 2355.30/2361.01 c #Conflicts: 1109000 | #Constraints: 48683 2355.30/2361.01 c #Conflicts: 1110000 | #Constraints: 50379 2355.30/2361.01 c #Conflicts: 1111000 | #Constraints: 52103 2355.30/2361.01 c #Conflicts: 1112000 | #Constraints: 53844 2355.30/2361.01 c #Conflicts: 1113000 | #Constraints: 55589 2355.30/2361.01 c #Conflicts: 1114000 | #Constraints: 57311 2355.30/2361.01 c #Conflicts: 1115000 | #Constraints: 59071 2355.30/2361.01 c #Conflicts: 1116000 | #Constraints: 60772 2355.30/2361.01 c #Conflicts: 1117000 | #Constraints: 62509 2355.30/2361.01 c #Conflicts: 1118000 | #Constraints: 64214 2355.30/2361.01 c #Conflicts: 1119000 | #Constraints: 65916 2355.30/2361.01 c #Conflicts: 1120000 | #Constraints: 67654 2355.30/2361.01 c #Conflicts: 1121000 | #Constraints: 69373 2355.30/2361.01 c #Conflicts: 1122000 | #Constraints: 71125 2355.30/2361.01 c #Conflicts: 1123000 | #Constraints: 72926 2355.30/2361.01 c #Conflicts: 1124000 | #Constraints: 74696 2355.30/2361.01 c #Conflicts: 1125000 | #Constraints: 76459 2355.30/2361.01 c INPROCESSING 2355.30/2361.01 c GARBAGE COLLECT 2355.30/2361.01 c #Conflicts: 1126000 | #Constraints: 41719 2355.30/2361.01 c #Conflicts: 1127000 | #Constraints: 43443 2355.30/2361.01 c #Conflicts: 1128000 | #Constraints: 45116 2355.30/2361.01 c #Conflicts: 1129000 | #Constraints: 46785 2355.30/2361.01 c #Conflicts: 1130000 | #Constraints: 48540 2355.30/2361.01 c #Conflicts: 1131000 | #Constraints: 50229 2355.30/2361.01 c #Conflicts: 1132000 | #Constraints: 51856 2355.30/2361.01 c #Conflicts: 1133000 | #Constraints: 53569 2355.30/2361.01 c #Conflicts: 1134000 | #Constraints: 55160 2355.30/2361.01 c #Conflicts: 1135000 | #Constraints: 56915 2355.30/2361.01 c #Conflicts: 1136000 | #Constraints: 58559 2355.30/2361.01 c #Conflicts: 1137000 | #Constraints: 60203 2355.30/2361.01 c #Conflicts: 1138000 | #Constraints: 61866 2355.30/2361.01 c #Conflicts: 1139000 | #Constraints: 63587 2355.30/2361.01 c #Conflicts: 1140000 | #Constraints: 65316 2355.30/2361.01 c #Conflicts: 1141000 | #Constraints: 67038 2355.30/2361.01 c #Conflicts: 1142000 | #Constraints: 68758 2355.30/2361.01 c #Conflicts: 1143000 | #Constraints: 70425 2355.30/2361.01 c #Conflicts: 1144000 | #Constraints: 72109 2355.30/2361.01 c #Conflicts: 1145000 | #Constraints: 73845 2355.30/2361.01 c #Conflicts: 1146000 | #Constraints: 75610 2355.30/2361.01 c INPROCESSING 2355.30/2361.01 c GARBAGE COLLECT 2355.30/2361.01 c #Conflicts: 1147000 | #Constraints: 40905 2355.30/2361.01 c #Conflicts: 1148000 | #Constraints: 42494 2355.30/2361.01 c #Conflicts: 1149000 | #Constraints: 44211 2355.30/2361.01 c #Conflicts: 1150000 | #Constraints: 45928 2355.30/2361.01 c #Conflicts: 1151000 | #Constraints: 47613 2355.30/2361.01 c #Conflicts: 1152000 | #Constraints: 49348 2355.30/2361.01 c #Conflicts: 1153000 | #Constraints: 51045 2355.30/2361.01 c #Conflicts: 1154000 | #Constraints: 52793 2355.30/2361.01 c #Conflicts: 1155000 | #Constraints: 54513 2355.30/2361.01 c #Conflicts: 1156000 | #Constraints: 56120 2355.30/2361.01 c #Conflicts: 1157000 | #Constraints: 57790 2355.30/2361.01 c #Conflicts: 1158000 | #Constraints: 59521 2355.30/2361.01 c #Conflicts: 1159000 | #Constraints: 61225 2355.30/2361.01 c #Conflicts: 1160000 | #Constraints: 62954 2355.30/2361.01 c #Conflicts: 1161000 | #Constraints: 64670 2355.30/2361.01 c #Conflicts: 1162000 | #Constraints: 66396 2355.30/2361.01 c #Conflicts: 1163000 | #Constraints: 68086 2355.30/2361.01 c #Conflicts: 1164000 | #Constraints: 69823 2355.30/2361.01 c #Conflicts: 1165000 | #Constraints: 71563 2355.30/2361.01 c #Conflicts: 1166000 | #Constraints: 73297 2355.30/2361.01 c #Conflicts: 1167000 | #Constraints: 75045 2355.30/2361.01 c #Conflicts: 1168000 | #Constraints: 76802 2355.30/2361.01 c INPROCESSING 2355.30/2361.01 c GARBAGE COLLECT 2590.86/2597.16 c #Conflicts: 1169000 | #Constraints: 41894 2590.86/2597.16 c #Conflicts: 1170000 | #Constraints: 43638 2590.86/2597.16 c #Conflicts: 1171000 | #Constraints: 45422 2590.86/2597.16 c #Conflicts: 1172000 | #Constraints: 47267 2590.86/2597.16 c #Conflicts: 1173000 | #Constraints: 48909 2590.86/2597.16 c #Conflicts: 1174000 | #Constraints: 50570 2590.86/2597.16 c #Conflicts: 1175000 | #Constraints: 52262 2590.86/2597.16 c #Conflicts: 1176000 | #Constraints: 53953 2590.86/2597.16 c #Conflicts: 1177000 | #Constraints: 55637 2590.86/2597.16 c #Conflicts: 1178000 | #Constraints: 57342 2590.86/2597.16 c #Conflicts: 1179000 | #Constraints: 59117 2590.86/2597.16 c #Conflicts: 1180000 | #Constraints: 60878 2590.86/2597.16 c #Conflicts: 1181000 | #Constraints: 62510 2590.86/2597.16 c #Conflicts: 1182000 | #Constraints: 64184 2590.86/2597.16 c #Conflicts: 1183000 | #Constraints: 65928 2590.86/2597.16 c #Conflicts: 1184000 | #Constraints: 67594 2590.86/2597.16 c #Conflicts: 1185000 | #Constraints: 69255 2590.86/2597.16 c #Conflicts: 1186000 | #Constraints: 70981 2590.86/2597.16 c #Conflicts: 1187000 | #Constraints: 72756 2590.86/2597.16 c #Conflicts: 1188000 | #Constraints: 74602 2590.86/2597.16 c #Conflicts: 1189000 | #Constraints: 76411 2590.86/2597.16 c #Conflicts: 1190000 | #Constraints: 78198 2590.86/2597.16 c INPROCESSING 2590.86/2597.16 c GARBAGE COLLECT 2590.86/2597.16 c #Conflicts: 1191000 | #Constraints: 42663 2590.86/2597.16 c #Conflicts: 1192000 | #Constraints: 44303 2590.86/2597.16 c #Conflicts: 1193000 | #Constraints: 45988 2590.86/2597.16 c #Conflicts: 1194000 | #Constraints: 47678 2590.86/2597.16 c #Conflicts: 1195000 | #Constraints: 49380 2590.86/2597.16 c #Conflicts: 1196000 | #Constraints: 51096 2590.86/2597.16 c #Conflicts: 1197000 | #Constraints: 52796 2590.86/2597.16 c #Conflicts: 1198000 | #Constraints: 54476 2590.86/2597.16 c #Conflicts: 1199000 | #Constraints: 56244 2590.86/2597.16 c #Conflicts: 1200000 | #Constraints: 57920 2590.86/2597.16 c #Conflicts: 1201000 | #Constraints: 59595 2590.86/2597.16 c #Conflicts: 1202000 | #Constraints: 61302 2590.86/2597.16 c #Conflicts: 1203000 | #Constraints: 63024 2590.86/2597.16 c #Conflicts: 1204000 | #Constraints: 64739 2590.86/2597.16 c #Conflicts: 1205000 | #Constraints: 66403 2590.86/2597.16 c #Conflicts: 1206000 | #Constraints: 68144 2590.86/2597.16 c #Conflicts: 1207000 | #Constraints: 69821 2590.86/2597.16 c #Conflicts: 1208000 | #Constraints: 71492 2590.86/2597.16 c #Conflicts: 1209000 | #Constraints: 73228 2590.86/2597.16 c #Conflicts: 1210000 | #Constraints: 74932 2590.86/2597.16 c #Conflicts: 1211000 | #Constraints: 76673 2590.86/2597.16 c #Conflicts: 1212000 | #Constraints: 78366 2590.86/2597.16 c INPROCESSING 2590.86/2597.16 c GARBAGE COLLECT 2590.86/2597.16 c #Conflicts: 1213000 | #Constraints: 42903 2590.86/2597.16 c #Conflicts: 1214000 | #Constraints: 44725 2590.86/2597.16 c #Conflicts: 1215000 | #Constraints: 46491 2590.86/2597.16 c #Conflicts: 1216000 | #Constraints: 48284 2590.86/2597.16 c #Conflicts: 1217000 | #Constraints: 50097 2590.86/2597.16 c #Conflicts: 1218000 | #Constraints: 51902 2590.86/2597.16 c #Conflicts: 1219000 | #Constraints: 53718 2590.86/2597.16 c #Conflicts: 1220000 | #Constraints: 55500 2590.86/2597.16 c #Conflicts: 1221000 | #Constraints: 57247 2590.86/2597.16 c #Conflicts: 1222000 | #Constraints: 59004 2590.86/2597.16 c #Conflicts: 1223000 | #Constraints: 60750 2590.86/2597.16 c #Conflicts: 1224000 | #Constraints: 62555 2590.86/2597.16 c #Conflicts: 1225000 | #Constraints: 64379 2590.86/2597.16 c #Conflicts: 1226000 | #Constraints: 66190 2590.86/2597.16 c #Conflicts: 1227000 | #Constraints: 67957 2590.86/2597.16 c #Conflicts: 1228000 | #Constraints: 69706 2590.86/2597.16 c #Conflicts: 1229000 | #Constraints: 71476 2590.86/2597.16 c #Conflicts: 1230000 | #Constraints: 73244 2590.86/2597.16 c #Conflicts: 1231000 | #Constraints: 74895 2590.86/2597.16 c #Conflicts: 1232000 | #Constraints: 76536 2590.86/2597.16 c #Conflicts: 1233000 | #Constraints: 78192 2590.86/2597.16 c #Conflicts: 1234000 | #Constraints: 79824 2590.86/2597.16 c INPROCESSING 2590.86/2597.16 c GARBAGE COLLECT 2590.86/2597.16 c #Conflicts: 1235000 | #Constraints: 43340 2590.86/2597.16 c #Conflicts: 1236000 | #Constraints: 45062 2590.86/2597.16 c #Conflicts: 1237000 | #Constraints: 46715 2590.86/2597.16 c #Conflicts: 1238000 | #Constraints: 48414 2590.86/2597.16 c #Conflicts: 1239000 | #Constraints: 50149 2590.86/2597.16 c #Conflicts: 1240000 | #Constraints: 51819 2590.86/2597.16 c #Conflicts: 1241000 | #Constraints: 53495 2590.86/2597.16 c #Conflicts: 1242000 | #Constraints: 55183 2590.86/2597.16 c #Conflicts: 1243000 | #Constraints: 56868 2590.86/2597.16 c #Conflicts: 1244000 | #Constraints: 58577 2590.86/2597.16 c #Conflicts: 1245000 | #Constraints: 60234 2839.77/2846.60 c #Conflicts: 1246000 | #Constraints: 61904 2839.77/2846.60 c #Conflicts: 1247000 | #Constraints: 63654 2839.77/2846.60 c #Conflicts: 1248000 | #Constraints: 65445 2839.77/2846.60 c #Conflicts: 1249000 | #Constraints: 67176 2839.77/2846.60 c #Conflicts: 1250000 | #Constraints: 68804 2839.77/2846.60 c #Conflicts: 1251000 | #Constraints: 70431 2839.77/2846.60 c #Conflicts: 1252000 | #Constraints: 72080 2839.77/2846.60 c #Conflicts: 1253000 | #Constraints: 73774 2839.77/2846.60 c #Conflicts: 1254000 | #Constraints: 75466 2839.77/2846.60 c #Conflicts: 1255000 | #Constraints: 77188 2839.77/2846.60 c #Conflicts: 1256000 | #Constraints: 78995 2839.77/2846.60 c INPROCESSING 2839.77/2846.60 c GARBAGE COLLECT 2839.77/2846.60 c #Conflicts: 1257000 | #Constraints: 42653 2839.77/2846.60 c #Conflicts: 1258000 | #Constraints: 44321 2839.77/2846.60 c #Conflicts: 1259000 | #Constraints: 45949 2839.77/2846.60 c #Conflicts: 1260000 | #Constraints: 47654 2839.77/2846.60 c #Conflicts: 1261000 | #Constraints: 49310 2839.77/2846.60 c #Conflicts: 1262000 | #Constraints: 51001 2839.77/2846.60 c #Conflicts: 1263000 | #Constraints: 52713 2839.77/2846.60 c #Conflicts: 1264000 | #Constraints: 54439 2839.77/2846.60 c #Conflicts: 1265000 | #Constraints: 56188 2839.77/2846.60 c #Conflicts: 1266000 | #Constraints: 57823 2839.77/2846.60 c #Conflicts: 1267000 | #Constraints: 59484 2839.77/2846.60 c #Conflicts: 1268000 | #Constraints: 61162 2839.77/2846.60 c #Conflicts: 1269000 | #Constraints: 62896 2839.77/2846.60 c #Conflicts: 1270000 | #Constraints: 64633 2839.77/2846.60 c #Conflicts: 1271000 | #Constraints: 66362 2839.77/2846.60 c #Conflicts: 1272000 | #Constraints: 68114 2839.77/2846.60 c #Conflicts: 1273000 | #Constraints: 69878 2839.77/2846.60 c #Conflicts: 1274000 | #Constraints: 71627 2839.77/2846.60 c #Conflicts: 1275000 | #Constraints: 73338 2839.77/2846.60 c #Conflicts: 1276000 | #Constraints: 75028 2839.77/2846.60 c #Conflicts: 1277000 | #Constraints: 76712 2839.77/2846.60 c #Conflicts: 1278000 | #Constraints: 78459 2839.77/2846.60 c #Conflicts: 1279000 | #Constraints: 80181 2839.77/2846.60 c INPROCESSING 2839.77/2846.60 c GARBAGE COLLECT 2839.77/2846.60 c #Conflicts: 1280000 | #Constraints: 43516 2839.77/2846.60 c #Conflicts: 1281000 | #Constraints: 45261 2839.77/2846.60 c #Conflicts: 1282000 | #Constraints: 47029 2839.77/2846.60 c #Conflicts: 1283000 | #Constraints: 48795 2839.77/2846.60 c #Conflicts: 1284000 | #Constraints: 50475 2839.77/2846.60 c #Conflicts: 1285000 | #Constraints: 52078 2839.77/2846.60 c #Conflicts: 1286000 | #Constraints: 53779 2839.77/2846.60 c #Conflicts: 1287000 | #Constraints: 55454 2839.77/2846.60 c #Conflicts: 1288000 | #Constraints: 57144 2839.77/2846.60 c #Conflicts: 1289000 | #Constraints: 58829 2839.77/2846.60 c #Conflicts: 1290000 | #Constraints: 60544 2839.77/2846.60 c #Conflicts: 1291000 | #Constraints: 62212 2839.77/2846.60 c #Conflicts: 1292000 | #Constraints: 63892 2839.77/2846.60 c #Conflicts: 1293000 | #Constraints: 65597 2839.77/2846.60 c #Conflicts: 1294000 | #Constraints: 67306 2839.77/2846.60 c #Conflicts: 1295000 | #Constraints: 68956 2839.77/2846.60 c #Conflicts: 1296000 | #Constraints: 70693 2839.77/2846.60 c #Conflicts: 1297000 | #Constraints: 72397 2839.77/2846.60 c #Conflicts: 1298000 | #Constraints: 74123 2839.77/2846.60 c #Conflicts: 1299000 | #Constraints: 75839 2839.77/2846.60 c #Conflicts: 1300000 | #Constraints: 77545 2839.77/2846.60 c #Conflicts: 1301000 | #Constraints: 79313 2839.77/2846.60 c #Conflicts: 1302000 | #Constraints: 81069 2839.77/2846.60 c INPROCESSING 2839.77/2846.60 c GARBAGE COLLECT 2839.77/2846.60 c #Conflicts: 1303000 | #Constraints: 44144 2839.77/2846.60 c #Conflicts: 1304000 | #Constraints: 45802 2839.77/2846.60 c #Conflicts: 1305000 | #Constraints: 47466 2839.77/2846.60 c #Conflicts: 1306000 | #Constraints: 49095 2839.77/2846.60 c #Conflicts: 1307000 | #Constraints: 50811 2839.77/2846.60 c #Conflicts: 1308000 | #Constraints: 52513 2839.77/2846.60 c #Conflicts: 1309000 | #Constraints: 54221 2839.77/2846.60 c #Conflicts: 1310000 | #Constraints: 55947 2839.77/2846.60 c #Conflicts: 1311000 | #Constraints: 57705 2839.77/2846.60 c #Conflicts: 1312000 | #Constraints: 59522 2839.77/2846.60 c #Conflicts: 1313000 | #Constraints: 61229 2839.77/2846.60 c #Conflicts: 1314000 | #Constraints: 62887 2839.77/2846.60 c #Conflicts: 1315000 | #Constraints: 64612 2839.77/2846.60 c #Conflicts: 1316000 | #Constraints: 66381 2839.77/2846.60 c #Conflicts: 1317000 | #Constraints: 68138 2839.77/2846.60 c #Conflicts: 1318000 | #Constraints: 69866 2839.77/2846.60 c #Conflicts: 1319000 | #Constraints: 71592 2839.77/2846.60 c #Conflicts: 1320000 | #Constraints: 73365 2839.77/2846.60 c #Conflicts: 1321000 | #Constraints: 75086 2839.77/2846.60 c #Conflicts: 1322000 | #Constraints: 76848 3099.55/3107.02 c #Conflicts: 1323000 | #Constraints: 78627 3099.55/3107.02 c #Conflicts: 1324000 | #Constraints: 80374 3099.55/3107.02 c #Conflicts: 1325000 | #Constraints: 82153 3099.55/3107.02 c INPROCESSING 3099.55/3107.02 c GARBAGE COLLECT 3099.55/3107.02 c #Conflicts: 1326000 | #Constraints: 44734 3099.55/3107.02 c #Conflicts: 1327000 | #Constraints: 46513 3099.55/3107.02 c #Conflicts: 1328000 | #Constraints: 48293 3099.55/3107.02 c #Conflicts: 1329000 | #Constraints: 50069 3099.55/3107.02 c #Conflicts: 1330000 | #Constraints: 51827 3099.55/3107.02 c #Conflicts: 1331000 | #Constraints: 53643 3099.55/3107.02 c #Conflicts: 1332000 | #Constraints: 55450 3099.55/3107.02 c #Conflicts: 1333000 | #Constraints: 57144 3099.55/3107.02 c #Conflicts: 1334000 | #Constraints: 58808 3099.55/3107.02 c #Conflicts: 1335000 | #Constraints: 60533 3099.55/3107.02 c #Conflicts: 1336000 | #Constraints: 62276 3099.55/3107.02 c #Conflicts: 1337000 | #Constraints: 64017 3099.55/3107.02 c #Conflicts: 1338000 | #Constraints: 65733 3099.55/3107.02 c #Conflicts: 1339000 | #Constraints: 67474 3099.55/3107.02 c #Conflicts: 1340000 | #Constraints: 69184 3099.55/3107.02 c #Conflicts: 1341000 | #Constraints: 70933 3099.55/3107.02 c #Conflicts: 1342000 | #Constraints: 72655 3099.55/3107.02 c #Conflicts: 1343000 | #Constraints: 74383 3099.55/3107.02 c #Conflicts: 1344000 | #Constraints: 76085 3099.55/3107.02 c #Conflicts: 1345000 | #Constraints: 77770 3099.55/3107.02 c #Conflicts: 1346000 | #Constraints: 79472 3099.55/3107.02 c #Conflicts: 1347000 | #Constraints: 81182 3099.55/3107.02 c #Conflicts: 1348000 | #Constraints: 82866 3099.55/3107.02 c INPROCESSING 3099.55/3107.02 c GARBAGE COLLECT 3099.55/3107.02 c #Conflicts: 1349000 | #Constraints: 44906 3099.55/3107.02 c #Conflicts: 1350000 | #Constraints: 46700 3099.55/3107.02 c #Conflicts: 1351000 | #Constraints: 48506 3099.55/3107.02 c #Conflicts: 1352000 | #Constraints: 50308 3099.55/3107.02 c #Conflicts: 1353000 | #Constraints: 52033 3099.55/3107.02 c #Conflicts: 1354000 | #Constraints: 53737 3099.55/3107.02 c #Conflicts: 1355000 | #Constraints: 55428 3099.55/3107.02 c #Conflicts: 1356000 | #Constraints: 57114 3099.55/3107.02 c #Conflicts: 1357000 | #Constraints: 58837 3099.55/3107.02 c #Conflicts: 1358000 | #Constraints: 60558 3099.55/3107.02 c #Conflicts: 1359000 | #Constraints: 62237 3099.55/3107.02 c #Conflicts: 1360000 | #Constraints: 63906 3099.55/3107.02 c #Conflicts: 1361000 | #Constraints: 65552 3099.55/3107.02 c #Conflicts: 1362000 | #Constraints: 67245 3099.55/3107.02 c #Conflicts: 1363000 | #Constraints: 68979 3099.55/3107.02 c #Conflicts: 1364000 | #Constraints: 70716 3099.55/3107.02 c #Conflicts: 1365000 | #Constraints: 72475 3099.55/3107.02 c #Conflicts: 1366000 | #Constraints: 74192 3099.55/3107.02 c #Conflicts: 1367000 | #Constraints: 75920 3099.55/3107.02 c #Conflicts: 1368000 | #Constraints: 77594 3099.55/3107.02 c #Conflicts: 1369000 | #Constraints: 79293 3099.55/3107.02 c #Conflicts: 1370000 | #Constraints: 80994 3099.55/3107.02 c #Conflicts: 1371000 | #Constraints: 82734 3099.55/3107.02 c INPROCESSING 3099.55/3107.02 c GARBAGE COLLECT 3099.55/3107.02 c #Conflicts: 1372000 | #Constraints: 44468 3099.55/3107.02 c #Conflicts: 1373000 | #Constraints: 46255 3099.55/3107.02 c #Conflicts: 1374000 | #Constraints: 48071 3099.55/3107.02 c #Conflicts: 1375000 | #Constraints: 49861 3099.55/3107.02 c #Conflicts: 1376000 | #Constraints: 51689 3099.55/3107.02 c #Conflicts: 1377000 | #Constraints: 53487 3099.55/3107.02 c #Conflicts: 1378000 | #Constraints: 55182 3099.55/3107.02 c #Conflicts: 1379000 | #Constraints: 56857 3099.55/3107.02 c #Conflicts: 1380000 | #Constraints: 58538 3099.55/3107.02 c #Conflicts: 1381000 | #Constraints: 60209 3099.55/3107.02 c #Conflicts: 1382000 | #Constraints: 61908 3099.55/3107.02 c #Conflicts: 1383000 | #Constraints: 63587 3099.55/3107.02 c #Conflicts: 1384000 | #Constraints: 65369 3099.55/3107.02 c #Conflicts: 1385000 | #Constraints: 67048 3099.55/3107.02 c #Conflicts: 1386000 | #Constraints: 68662 3099.55/3107.02 c #Conflicts: 1387000 | #Constraints: 70282 3099.55/3107.02 c #Conflicts: 1388000 | #Constraints: 72013 3099.55/3107.02 c #Conflicts: 1389000 | #Constraints: 73713 3099.55/3107.02 c #Conflicts: 1390000 | #Constraints: 75397 3099.55/3107.02 c #Conflicts: 1391000 | #Constraints: 77156 3099.55/3107.02 c #Conflicts: 1392000 | #Constraints: 78811 3099.55/3107.02 c #Conflicts: 1393000 | #Constraints: 80490 3099.55/3107.02 c #Conflicts: 1394000 | #Constraints: 82314 3099.55/3107.02 c #Conflicts: 1395000 | #Constraints: 84100 3099.55/3107.02 c INPROCESSING 3099.55/3107.02 c GARBAGE COLLECT 3099.55/3107.02 c #Conflicts: 1396000 | #Constraints: 45560 3099.55/3107.02 c #Conflicts: 1397000 | #Constraints: 47350 3099.55/3107.02 c #Conflicts: 1398000 | #Constraints: 49072 3377.70/3385.92 c #Conflicts: 1399000 | #Constraints: 50816 3377.70/3385.92 c #Conflicts: 1400000 | #Constraints: 52553 3377.70/3385.92 c #Conflicts: 1401000 | #Constraints: 54307 3377.70/3385.92 c #Conflicts: 1402000 | #Constraints: 56117 3377.70/3385.92 c #Conflicts: 1403000 | #Constraints: 57849 3377.70/3385.92 c #Conflicts: 1404000 | #Constraints: 59491 3377.70/3385.92 c #Conflicts: 1405000 | #Constraints: 61212 3377.70/3385.92 c #Conflicts: 1406000 | #Constraints: 62881 3377.70/3385.92 c #Conflicts: 1407000 | #Constraints: 64522 3377.70/3385.92 c #Conflicts: 1408000 | #Constraints: 66165 3377.70/3385.92 c #Conflicts: 1409000 | #Constraints: 67861 3377.70/3385.92 c #Conflicts: 1410000 | #Constraints: 69581 3377.70/3385.92 c #Conflicts: 1411000 | #Constraints: 71276 3377.70/3385.92 c #Conflicts: 1412000 | #Constraints: 72857 3377.70/3385.92 c #Conflicts: 1413000 | #Constraints: 74524 3377.70/3385.92 c #Conflicts: 1414000 | #Constraints: 76221 3377.70/3385.92 c #Conflicts: 1415000 | #Constraints: 77977 3377.70/3385.92 c #Conflicts: 1416000 | #Constraints: 79654 3377.70/3385.92 c #Conflicts: 1417000 | #Constraints: 81302 3377.70/3385.92 c #Conflicts: 1418000 | #Constraints: 82978 3377.70/3385.92 c #Conflicts: 1419000 | #Constraints: 84656 3377.70/3385.92 c INPROCESSING 3377.70/3385.92 c GARBAGE COLLECT 3377.70/3385.92 c #Conflicts: 1420000 | #Constraints: 45971 3377.70/3385.92 c #Conflicts: 1421000 | #Constraints: 47733 3377.70/3385.92 c #Conflicts: 1422000 | #Constraints: 49465 3377.70/3385.92 c #Conflicts: 1423000 | #Constraints: 51134 3377.70/3385.92 c #Conflicts: 1424000 | #Constraints: 52784 3377.70/3385.92 c #Conflicts: 1425000 | #Constraints: 54488 3377.70/3385.92 c #Conflicts: 1426000 | #Constraints: 56138 3377.70/3385.92 c #Conflicts: 1427000 | #Constraints: 57779 3377.70/3385.92 c #Conflicts: 1428000 | #Constraints: 59537 3377.70/3385.92 c #Conflicts: 1429000 | #Constraints: 61330 3377.70/3385.92 c #Conflicts: 1430000 | #Constraints: 63099 3377.70/3385.92 c #Conflicts: 1431000 | #Constraints: 64771 3377.70/3385.92 c #Conflicts: 1432000 | #Constraints: 66420 3377.70/3385.92 c #Conflicts: 1433000 | #Constraints: 68100 3377.70/3385.92 c #Conflicts: 1434000 | #Constraints: 69800 3377.70/3385.92 c #Conflicts: 1435000 | #Constraints: 71491 3377.70/3385.92 c #Conflicts: 1436000 | #Constraints: 73254 3377.70/3385.92 c #Conflicts: 1437000 | #Constraints: 74927 3377.70/3385.92 c #Conflicts: 1438000 | #Constraints: 76661 3377.70/3385.92 c #Conflicts: 1439000 | #Constraints: 78403 3377.70/3385.92 c #Conflicts: 1440000 | #Constraints: 80146 3377.70/3385.92 c #Conflicts: 1441000 | #Constraints: 81886 3377.70/3385.92 c #Conflicts: 1442000 | #Constraints: 83544 3377.70/3385.92 c #Conflicts: 1443000 | #Constraints: 85254 3377.70/3385.92 c INPROCESSING 3377.70/3385.92 c GARBAGE COLLECT 3377.70/3385.92 c #Conflicts: 1444000 | #Constraints: 46243 3377.70/3385.92 c #Conflicts: 1445000 | #Constraints: 47880 3377.70/3385.92 c #Conflicts: 1446000 | #Constraints: 49550 3377.70/3385.92 c #Conflicts: 1447000 | #Constraints: 51286 3377.70/3385.92 c #Conflicts: 1448000 | #Constraints: 52995 3377.70/3385.92 c #Conflicts: 1449000 | #Constraints: 54727 3377.70/3385.92 c #Conflicts: 1450000 | #Constraints: 56487 3377.70/3385.92 c #Conflicts: 1451000 | #Constraints: 58223 3377.70/3385.92 c #Conflicts: 1452000 | #Constraints: 59975 3377.70/3385.92 c #Conflicts: 1453000 | #Constraints: 61780 3377.70/3385.92 c #Conflicts: 1454000 | #Constraints: 63588 3377.70/3385.92 c #Conflicts: 1455000 | #Constraints: 65404 3377.70/3385.92 c #Conflicts: 1456000 | #Constraints: 67212 3377.70/3385.92 c #Conflicts: 1457000 | #Constraints: 69025 3377.70/3385.92 c #Conflicts: 1458000 | #Constraints: 70875 3377.70/3385.92 c #Conflicts: 1459000 | #Constraints: 72691 3377.70/3385.92 c #Conflicts: 1460000 | #Constraints: 74483 3377.70/3385.92 c #Conflicts: 1461000 | #Constraints: 76250 3377.70/3385.92 c #Conflicts: 1462000 | #Constraints: 77950 3377.70/3385.92 c #Conflicts: 1463000 | #Constraints: 79697 3377.70/3385.92 c #Conflicts: 1464000 | #Constraints: 81414 3377.70/3385.92 c #Conflicts: 1465000 | #Constraints: 83087 3377.70/3385.92 c #Conflicts: 1466000 | #Constraints: 84802 3377.70/3385.92 c #Conflicts: 1467000 | #Constraints: 86468 3377.70/3385.92 c INPROCESSING 3377.70/3385.92 c GARBAGE COLLECT 3377.70/3385.92 c #Conflicts: 1468000 | #Constraints: 46701 3377.70/3385.92 c #Conflicts: 1469000 | #Constraints: 48376 3377.70/3385.92 c #Conflicts: 1470000 | #Constraints: 50081 3377.70/3385.92 c #Conflicts: 1471000 | #Constraints: 51816 3377.70/3385.92 c #Conflicts: 1472000 | #Constraints: 53527 3377.70/3385.92 c #Conflicts: 1473000 | #Constraints: 55215 3377.70/3385.92 c #Conflicts: 1474000 | #Constraints: 56907 3377.70/3385.92 c #Conflicts: 1475000 | #Constraints: 58648 3600.09/3608.90 c #Conflicts: 1476000 | #Constraints: 60415 3600.09/3608.90 c #Conflicts: 1477000 | #Constraints: 62140 3600.09/3608.90 c #Conflicts: 1478000 | #Constraints: 63868 3600.09/3608.90 c #Conflicts: 1479000 | #Constraints: 65638 3600.09/3608.90 c #Conflicts: 1480000 | #Constraints: 67388 3600.09/3608.90 c #Conflicts: 1481000 | #Constraints: 69040 3600.09/3608.90 c #Conflicts: 1482000 | #Constraints: 70715 3600.09/3608.90 c #Conflicts: 1483000 | #Constraints: 72459 3600.09/3608.90 c #Conflicts: 1484000 | #Constraints: 74169 3600.09/3608.90 c #Conflicts: 1485000 | #Constraints: 75865 3600.09/3608.90 c #Conflicts: 1486000 | #Constraints: 77549 3600.09/3608.90 c #Conflicts: 1487000 | #Constraints: 79271 3600.09/3608.90 c #Conflicts: 1488000 | #Constraints: 81033 3600.09/3608.90 c #Conflicts: 1489000 | #Constraints: 82703 3600.09/3608.90 c #Conflicts: 1490000 | #Constraints: 84340 3600.09/3608.90 c #Conflicts: 1491000 | #Constraints: 86009 3600.09/3608.90 c INPROCESSING 3600.09/3608.90 c GARBAGE COLLECT 3600.09/3608.90 c #Conflicts: 1492000 | #Constraints: 46119 3600.09/3608.90 c #Conflicts: 1493000 | #Constraints: 47831 3600.09/3608.90 c #Conflicts: 1494000 | #Constraints: 49575 3600.09/3608.90 c #Conflicts: 1495000 | #Constraints: 51273 3600.09/3608.90 c #Conflicts: 1496000 | #Constraints: 53025 3600.09/3608.90 c #Conflicts: 1497000 | #Constraints: 54796 3600.09/3608.90 c #Conflicts: 1498000 | #Constraints: 56540 3600.09/3608.90 c #Conflicts: 1499000 | #Constraints: 58261 3600.09/3608.90 c #Conflicts: 1500000 | #Constraints: 60035 3600.09/3608.90 c #Conflicts: 1501000 | #Constraints: 61766 3600.09/3608.90 c #Conflicts: 1502000 | #Constraints: 63504 3600.09/3608.90 c #Conflicts: 1503000 | #Constraints: 65272 3600.09/3608.90 c #Conflicts: 1504000 | #Constraints: 67070 3600.09/3608.90 c #Conflicts: 1505000 | #Constraints: 68836 3600.09/3608.90 c #Conflicts: 1506000 | #Constraints: 70502 3600.09/3608.90 c #Conflicts: 1507000 | #Constraints: 72177 3600.09/3608.90 c #Conflicts: 1508000 | #Constraints: 73873 3600.09/3608.90 c #Conflicts: 1509000 | #Constraints: 75537 3600.09/3608.90 c #Conflicts: 1510000 | #Constraints: 77244 3600.09/3608.90 c #Conflicts: 1511000 | #Constraints: 78931 3600.09/3608.90 c #Conflicts: 1512000 | #Constraints: 80757 3600.09/3608.90 c #Conflicts: 1513000 | #Constraints: 82566 3600.09/3608.90 c #Conflicts: 1514000 | #Constraints: 84221 3600.09/3608.90 c #Conflicts: 1515000 | #Constraints: 85870 3600.09/3608.90 c #Conflicts: 1516000 | #Constraints: 87559 3600.09/3608.90 c INPROCESSING 3600.09/3608.90 c GARBAGE COLLECT 3600.09/3608.90 c #Conflicts: 1517000 | #Constraints: 47130 3600.09/3608.90 c #Conflicts: 1518000 | #Constraints: 48837 3600.09/3608.90 c #Conflicts: 1519000 | #Constraints: 50538 3600.09/3608.90 c #Conflicts: 1520000 | #Constraints: 52230 3600.09/3608.90 c #Conflicts: 1521000 | #Constraints: 53937 3600.09/3608.90 c #Conflicts: 1522000 | #Constraints: 55675 3600.09/3608.90 c #Conflicts: 1523000 | #Constraints: 57473 3600.09/3608.90 c #Conflicts: 1524000 | #Constraints: 59312 3600.09/3608.90 c #Conflicts: 1525000 | #Constraints: 61050 3600.09/3608.90 c #Conflicts: 1526000 | #Constraints: 62794 3600.09/3608.90 c #Conflicts: 1527000 | #Constraints: 64508 3600.09/3608.90 c #Conflicts: 1528000 | #Constraints: 66196 3600.09/3608.90 c #Conflicts: 1529000 | #Constraints: 67909 3600.09/3608.90 c #Conflicts: 1530000 | #Constraints: 69569 3600.09/3608.90 c #Conflicts: 1531000 | #Constraints: 71334 3600.09/3608.90 c #Conflicts: 1532000 | #Constraints: 73060 3600.09/3608.90 c #Conflicts: 1533000 | #Constraints: 74755 3600.09/3608.90 c #Conflicts: 1534000 | #Constraints: 76433 3600.09/3608.90 c #Conflicts: 1535000 | #Constraints: 78071 3600.09/3608.90 c Program interrupted by user. 3600.09/3608.90 c cpu time 3553.29 s 3600.09/3608.90 c deterministic time 208090376922 2.08e+11 3600.09/3608.90 c optimization time 69.0187 s 3600.09/3608.90 c total solve time 3484.26 s 3600.09/3608.90 c core-guided solve time 0 s 3600.09/3608.90 c propagation time 3209.71 s 3600.09/3608.90 c conflict analysis time 316.693 s 3600.09/3608.90 c propagations 49870730 3600.09/3608.90 c resolve steps 7103475 3600.09/3608.90 c decisions 3836897 3600.09/3608.90 c conflicts 1535835 3600.09/3608.90 c restarts 3051 3600.09/3608.90 c inprocessing phases 114 3600.09/3608.90 c input clauses 3831 3600.09/3608.90 c input cardinalities 1 3600.09/3608.90 c input general constraints 0 3600.09/3608.90 c input average constraint length 6.02 3600.09/3608.90 c input average constraint degree 1.02 3600.09/3608.90 c learned clauses 603322 3600.09/3608.90 c learned cardinalities 46828 3600.09/3608.90 c learned general constraints 1989484 3600.09/3608.90 c learned average constraint length 69.84 3600.09/3608.90 c learned average constraint degree 1866076000.45 3600.09/3608.90 c watched constraints 1657299 3600.09/3608.90 c counting constraints 332185 3600.09/3608.90 c gcd simplifications 52274 3600.09/3608.90 c detected cardinalities 477 3600.09/3608.90 c weakened non-implied lits 20765814 3600.09/3608.90 c weakened non-implying lits 61737 3600.09/3608.90 c original variables 100 3600.09/3608.90 c clausal propagations 9277312 3600.09/3608.90 c cardinality propagations 4119801 3600.09/3608.90 c watched propagations 10603076 3600.09/3608.90 c counting propagations 22016947 3600.09/3608.90 c watch lookups 76150948605 3600.09/3608.90 c watch backjump lookups 59382603723 3600.09/3608.90 c watch checks 71386214590 3600.09/3608.90 c propagation checks 818464526 3600.09/3608.90 c constraint additions 243129172 3600.09/3608.90 c trail pops 55243241 3600.09/3608.90 c formula constraints 3832 3600.09/3608.90 c learned constraints 1535667 3600.09/3608.90 c bound constraints 0 3600.09/3608.90 c core-guided constraints 0 3600.09/3608.90 c encountered formula constraints 4738855 3600.09/3608.90 c encountered learned constraints 3898969 3600.09/3608.90 c encountered bound constraints 0 3600.09/3608.90 c encountered core-guided constraints 0 3600.09/3608.90 c LP total time 767.618 s 3600.09/3608.90 c LP solve time 609.68 s 3600.09/3608.90 c LP constraints added 3842 3600.09/3608.90 c LP constraints removed 4 3600.09/3608.90 c LP pivots internal 42833 3600.09/3608.90 c LP pivots root 22604 3600.09/3608.90 c LP calls 1103875 3600.09/3608.90 c LP optimalities 77 3600.09/3608.90 c LP no pivot count 24 3600.09/3608.90 c LP infeasibilities 1103792 3600.09/3608.90 c LP valid Farkas constraints 1103790 3600.09/3608.90 c LP learned Farkas constraints 167 3600.09/3608.90 c LP basis resets 4 3600.09/3608.90 c LP cycling count 1 3600.09/3608.90 c LP singular count 0 3600.09/3608.90 c LP no primal count 0 3600.09/3608.90 c LP no farkas count 2 3600.09/3608.90 c LP other issue count 1 3600.09/3608.90 c LP Gomory cuts 10 3600.09/3608.90 c LP learned cuts 0 3600.09/3608.90 c LP deleted cuts 4 3600.09/3608.90 c LP encountered Gomory constraints 0 3600.09/3608.90 c LP encountered Farkas constraints 788 3600.09/3608.90 c LP encountered learned Farkas constraints 531 3600.09/3608.90 c CG auxiliary variables introduced 0 3600.09/3608.90 c CG solutions found 0 3600.09/3608.90 c CG cores constructed 0 3600.09/3608.90 c CG core cardinality constraints returned 0 3600.09/3608.90 c CG unit cores 0 3600.09/3608.90 c CG single cores 0 3600.09/3608.90 c CG blocks removed during cardinality reduction 0 3600.09/3608.90 c CG first core best 0 3600.09/3608.90 c CG decision core best 0 3600.09/3608.90 c CG core reduction tie 0 3600.09/3608.90 c CG core degree average 0.00 3600.09/3608.90 c CG core slack average 0.00 3600.09/3608.90 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62448 MiB free)
memory of node 1: 64473 MiB (62505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455856-1721468155/watcher-4455856-1721468155 -o /tmp/evaluation-result-4455856-1721468155/solver-4455856-1721468155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455856-1721468155.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1060036, runsolver pid=1060033
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127946556/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=39976 memory=11444 CPUtime=0.09 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 1433 0 0 0 9 0 0 0 20 0 1 0 198984387 40935424 2861 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 9994 2861 1595 922 0 1946 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39976 KiB
Current children cumulated memory: 11444 KiB
[startup+0.20561 s]*
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127945056/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=41172 memory=13444 CPUtime=0.2 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 1915 0 0 0 19 1 0 0 20 0 1 0 198984387 42160128 3361 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 10293 3361 1787 922 0 2245 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 13444 KiB
[startup+0.305584 s]*
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127944608/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=41172 memory=13444 CPUtime=0.3 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 1931 0 0 0 29 1 0 0 20 0 1 0 198984387 42160128 3361 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 10293 3361 1787 922 0 2245 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41172 KiB
Current children cumulated memory: 13444 KiB
[startup+0.700224 s]
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127943460/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=43484 memory=15852 CPUtime=0.69 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 2622 0 0 0 66 3 0 0 20 0 1 0 198984387 44527616 3963 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 10871 3963 1819 922 0 2823 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43484 KiB
Current children cumulated memory: 15852 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.11 5/254 1060037
/proc/meminfo: memFree=127934776/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=43484 memory=15852 CPUtime=1.48 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 2623 0 0 0 142 6 0 0 20 0 1 0 198984387 44527616 3963 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 10871 3963 1819 922 0 2823 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43484 KiB
Current children cumulated memory: 15852 KiB
[startup+3.1055 s]
/proc/loadavg: 4.15 4.13 4.11 5/254 1060038
/proc/meminfo: memFree=127906560/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=44276 memory=18680 CPUtime=3.08 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 2846 0 0 0 298 10 0 0 20 0 1 0 198984387 45338624 4670 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 11069 4670 1819 922 0 3021 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44276 KiB
Current children cumulated memory: 18680 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.13 4.11 5/254 1060038
/proc/meminfo: memFree=127894160/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=49260 memory=21284 CPUtime=6.28 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 3476 0 0 0 610 18 0 0 20 0 1 0 198984387 50442240 5321 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 12315 5321 1819 922 0 4267 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 49260 KiB
Current children cumulated memory: 21284 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.11 5/254 1060038
/proc/meminfo: memFree=127871516/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=50556 memory=23660 CPUtime=12.66 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 4037 0 0 0 1232 34 0 0 20 0 1 0 198984387 51769344 5915 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 12639 5915 1819 922 0 4591 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50556 KiB
Current children cumulated memory: 23660 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.14 4.12 5/254 1060041
/proc/meminfo: memFree=127838040/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=52844 memory=27512 CPUtime=25.44 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 5068 0 0 0 2480 64 0 0 20 0 1 0 198984387 54112256 6878 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 13211 6878 1903 922 0 5163 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 52844 KiB
Current children cumulated memory: 27512 KiB
[startup+51.1059 s]
/proc/loadavg: 4.17 4.14 4.12 5/254 1060044
/proc/meminfo: memFree=127802108/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=59980 memory=33888 CPUtime=50.98 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 6149 0 0 0 4987 111 0 0 20 0 1 0 198984387 61419520 8472 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 14995 8472 1903 922 0 6947 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 59980 KiB
Current children cumulated memory: 33888 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 1060055
/proc/meminfo: memFree=127570740/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=70204 memory=37828 CPUtime=102.04 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 7163 0 0 0 9928 276 0 0 20 0 1 0 198984387 71888896 9457 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 17551 9457 1903 922 0 9503 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 70204 KiB
Current children cumulated memory: 37828 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/255 1060066
/proc/meminfo: memFree=127430804/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=72896 memory=42492 CPUtime=161.9 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 7863 0 0 0 15746 444 0 0 20 0 1 0 198984387 74645504 10623 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 18224 10623 1903 922 0 10176 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 72896 KiB
Current children cumulated memory: 42492 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/255 1060076
/proc/meminfo: memFree=127257440/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=76360 memory=47164 CPUtime=221.75 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 8500 0 0 0 21577 598 0 0 20 0 1 0 198984387 78192640 11791 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 19090 11791 1903 922 0 11042 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 76360 KiB
Current children cumulated memory: 47164 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 1060090
/proc/meminfo: memFree=127218204/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=79132 memory=51568 CPUtime=281.6 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 9092 0 0 0 27427 733 0 0 20 0 1 0 198984387 81031168 12892 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 19783 12892 1903 922 0 11735 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 79132 KiB
Current children cumulated memory: 51568 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/258 1060103
/proc/meminfo: memFree=127151424/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=79752 memory=52608 CPUtime=341.45 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 9367 0 0 0 33286 859 0 0 20 0 1 0 198984387 81666048 13152 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 19938 13152 1903 922 0 11890 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 52608 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1060114
/proc/meminfo: memFree=127084968/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=91976 memory=53700 CPUtime=401.3 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 9653 0 0 0 39149 981 0 0 20 0 1 0 198984387 94183424 13425 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 22994 13425 1903 922 0 14946 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 91976 KiB
Current children cumulated memory: 53700 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1060125
/proc/meminfo: memFree=127021504/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=92800 memory=58120 CPUtime=461.14 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 10210 0 0 0 45024 1090 0 0 20 0 1 0 198984387 95027200 14530 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 23200 14530 1903 922 0 15152 0
################
# More data... #
################
Current children cumulated memory: 98552 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.20 3.49 4/250 1061272
/proc/meminfo: memFree=126919968/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=133972 memory=98552 CPUtime=2915.3 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 17426 0 0 0 287443 4087 0 0 20 0 1 0 198984387 137187328 24638 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33493 24638 1903 922 0 25445 0
Current children cumulated CPU time: 2915.3 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 98552 KiB
[startup+2982.3 s]
/proc/loadavg: 3.11 3.18 3.46 5/253 1061333
/proc/meminfo: memFree=126916196/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=133972 memory=98560 CPUtime=2975.14 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 17760 0 0 0 293374 4140 0 0 20 0 1 0 198984387 137187328 24640 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33493 24640 1903 922 0 25445 0
Current children cumulated CPU time: 2975.14 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 98560 KiB
[startup+3042.3 s]
/proc/loadavg: 3.24 3.19 3.45 4/249 1061675
/proc/meminfo: memFree=126916684/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=134964 memory=99288 CPUtime=3035 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18020 0 0 0 299305 4195 0 0 20 0 1 0 198984387 138203136 24822 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33741 24822 1903 922 0 25693 0
Current children cumulated CPU time: 3035 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 99288 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.17 3.42 4/249 1061686
/proc/meminfo: memFree=126912620/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=134964 memory=101472 CPUtime=3094.86 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18062 0 0 0 305237 4249 0 0 20 0 1 0 198984387 138203136 25368 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33741 25368 1903 922 0 25693 0
Current children cumulated CPU time: 3094.86 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 101472 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.15 3.40 5/251 1061746
/proc/meminfo: memFree=126906720/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=134964 memory=101576 CPUtime=3154.7 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18105 0 0 0 311165 4305 0 0 20 0 1 0 198984387 138203136 25394 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33741 25394 1903 922 0 25693 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 101576 KiB
[startup+3222.3 s]
/proc/loadavg: 3.44 3.22 3.41 4/251 1061876
/proc/meminfo: memFree=126908604/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=133972 memory=100712 CPUtime=3214.54 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18226 0 0 0 317094 4360 0 0 20 0 1 0 198984387 137187328 25178 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33493 25178 1903 922 0 25445 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 100712 KiB
[startup+3282.3 s]
/proc/loadavg: 3.28 3.22 3.39 4/251 1061886
/proc/meminfo: memFree=126906052/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=133972 memory=100712 CPUtime=3274.38 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18568 0 0 0 323028 4410 0 0 20 0 1 0 198984387 137187328 25178 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33493 25178 1903 922 0 25445 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 100712 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.19 3.37 4/251 1061956
/proc/meminfo: memFree=126896228/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=134996 memory=101072 CPUtime=3334.21 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 18713 0 0 0 328960 4461 0 0 20 0 1 0 198984387 138235904 25268 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33749 25268 1903 922 0 25701 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 134996 KiB
Current children cumulated memory: 101072 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.19 3.36 4/251 1061968
/proc/meminfo: memFree=126894088/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102120 CPUtime=3394.05 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19005 0 0 0 334890 4515 0 0 20 0 1 0 198984387 139251712 25530 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25530 1903 922 0 25949 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102120 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.16 3.34 4/251 1061978
/proc/meminfo: memFree=126893236/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102136 CPUtime=3453.89 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19050 0 0 0 340829 4560 0 0 20 0 1 0 198984387 139251712 25534 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25534 1903 922 0 25949 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102136 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.16 3.33 4/249 1061989
/proc/meminfo: memFree=126893068/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102136 CPUtime=3513.73 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19092 0 0 0 346761 4612 0 0 20 0 1 0 198984387 139251712 25534 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25534 1903 922 0 25949 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102136 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.15 3.31 4/249 1062000
/proc/meminfo: memFree=126891484/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102136 CPUtime=3573.57 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19131 0 0 0 352697 4660 0 0 20 0 1 0 198984387 139251712 25534 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25534 1903 922 0 25949 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 3.14 3.15 3.30 3/244 1062040
/proc/meminfo: memFree=128062576/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102136 CPUtime=3600.09 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19175 0 0 0 355328 4681 0 0 20 0 1 0 198984387 139251712 25534 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25534 1903 922 0 25949 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 1060036 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.29 s, system=46.8142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 3.14 3.15 3.30 3/244 1062040
/proc/meminfo: memFree=128062576/131524600 swapFree=131071996/131071996
[pid=1060036] ppid=1060033 vsize=135988 memory=102136 CPUtime=3600.09 cores=4,6
/proc/1060036/stat : 1060036 (roundingsat) R 1060033 1060036 1055675 0 -1 4194304 19175 0 0 0 355328 4681 0 0 20 0 1 0 198984387 139251712 25534 134679101440 4194304 7968373 140737406632864 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 38293504 140737406641084 140737406641248 140737406641248 140737406648265 0
/proc/1060036/statm: 33997 25534 1903 922 0 25949 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 135988 KiB
Current children cumulated memory: 102136 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.11
CPU user time (s): 3553.29
CPU system time (s): 46.8142
CPU usage (%): 99.7563
Max. virtual memory (cumulated for all children) (KiB): 135988
Max. memory (cumulated for all children) (KiB): 102136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.29
system time used= 46.8142
maximum resident set size= 102136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19185
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= 37
involuntary context switches= 1916
# summary of solver processes directly reported to runsolver:
# pid: 1060036
# total CPU time (s): 3600.11
# total CPU user time (s): 3553.29
# total CPU system time (s): 46.8142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92806 second user time and 16.9067 second system time
The end
Begin job on nodeC032 at 2024-07-20 11:36:07 IDJOB=4455856 IDBENCH=164452 IDSOLVER=3084 FILE ID=nodeC032/4455856-1721468155 RUNJOBID= nodeC032-1721460937-1055686 SLURM_JOB_ID= 7545712 Free space on /tmp= 890064 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-4455856-1721468155/watcher-4455856-1721468155 -o /tmp/evaluation-result-4455856-1721468155/solver-4455856-1721468155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721460937-1055686 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455856-1721468155.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05 RANDOM SEED=1793418423 nodeC032.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 : 3683.265 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.33 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 : 3687.100 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.03 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 : 3637.076 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.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.127 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.03 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 : 3655.269 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.33 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 : 3687.126 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.03 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 : 3657.689 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.33 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 : 3599.924 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127952960 kB MemAvailable: 129382060 kB Buffers: 567600 kB Cached: 1699496 kB SwapCached: 0 kB Active: 1068456 kB Inactive: 1872240 kB Active(anon): 1556 kB Inactive(anon): 717964 kB Active(file): 1066900 kB Inactive(file): 1154276 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21144 kB Writeback: 0 kB AnonPages: 671796 kB Mapped: 116892 kB Shmem: 45912 kB KReclaimable: 95492 kB Slab: 209300 kB SReclaimable: 95492 kB SUnreclaim: 113808 kB KernelStack: 4096 kB PageTables: 10784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1049176 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74432 kB HardwareCorrupted: 0 kB AnonHugePages: 307200 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: 246484 kB DirectMap2M: 24692736 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890072 MiB End job on nodeC032 at 2024-07-20 12:36:16