| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.04 | 3616.61 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 83e8c133f6310d52aedf789f310352e0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 26.7007 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| 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.75 c #variables 225 #constraints 225 0.00/0.77 c bounds - >= 0 @ 0.00144 0.00/0.77 c rational objective 48.5261 0.14/0.99 c bounds 75 >= 0 @ 0.020308 0.14/0.99 c bounds 75 >= 1 @ 0.035102 0.14/0.99 c bounds 75 >= 2 @ 0.035137 0.14/0.99 c bounds 75 >= 3 @ 0.035168 0.14/0.99 c bounds 75 >= 4 @ 0.035197 0.14/0.99 c bounds 75 >= 5 @ 0.035225 0.14/0.99 c bounds 75 >= 6 @ 0.035266 0.14/0.99 c bounds 75 >= 7 @ 0.035307 0.14/0.99 c bounds 75 >= 8 @ 0.035344 0.14/0.99 c bounds 75 >= 9 @ 0.035379 0.14/0.99 c bounds 75 >= 10 @ 0.035412 0.14/0.99 c bounds 75 >= 11 @ 0.035457 0.14/0.99 c bounds 75 >= 12 @ 0.0355 0.14/0.99 c bounds 75 >= 13 @ 0.035544 0.14/0.99 c bounds 75 >= 14 @ 0.035586 0.14/0.99 c bounds 75 >= 15 @ 0.035626 0.14/0.99 c bounds 75 >= 16 @ 0.035667 0.14/0.99 c bounds 75 >= 17 @ 0.035718 0.14/0.99 c bounds 75 >= 18 @ 0.035765 0.14/0.99 c bounds 75 >= 19 @ 0.035809 0.14/0.99 c bounds 75 >= 20 @ 0.035852 0.14/0.99 c bounds 75 >= 21 @ 0.035896 0.14/0.99 c bounds 75 >= 22 @ 0.035946 0.14/0.99 c bounds 74 >= 22 @ 0.036769 0.14/0.99 c bounds 74 >= 23 @ 0.036828 0.14/0.99 c bounds 74 >= 24 @ 0.036881 0.14/0.99 c bounds 74 >= 25 @ 0.036931 0.14/0.99 c bounds 74 >= 26 @ 0.03698 0.14/0.99 c bounds 74 >= 27 @ 0.037026 0.14/0.99 c bounds 74 >= 28 @ 0.037077 0.14/0.99 c bounds 74 >= 29 @ 0.037131 0.14/0.99 c bounds 74 >= 30 @ 0.037201 0.14/0.99 c bounds 74 >= 31 @ 0.037303 0.14/0.99 c bounds 74 >= 32 @ 0.037361 0.14/0.99 c bounds 74 >= 33 @ 0.037416 0.14/0.99 c bounds 74 >= 34 @ 0.037474 0.14/0.99 c bounds 74 >= 35 @ 0.037532 0.14/0.99 c bounds 74 >= 36 @ 0.037589 0.14/0.99 c bounds 74 >= 37 @ 0.037646 0.14/0.99 c bounds 74 >= 38 @ 0.0377 0.14/0.99 c bounds 74 >= 39 @ 0.03776 0.14/0.99 c bounds 74 >= 40 @ 0.037821 0.14/0.99 c bounds 74 >= 41 @ 0.037881 0.14/0.99 c bounds 74 >= 42 @ 0.03794 0.14/0.99 c bounds 74 >= 43 @ 0.037997 0.14/0.99 c bounds 74 >= 44 @ 0.038633 0.14/0.99 c bounds 73 >= 44 @ 0.038633 0.14/0.99 c bounds 73 >= 45 @ 0.03931 0.14/0.99 c bounds 72 >= 45 @ 0.039711 0.14/0.99 c bounds 71 >= 45 @ 0.040399 0.14/0.99 c bounds 71 >= 46 @ 0.041655 0.14/0.99 c bounds 70 >= 46 @ 0.041693 0.14/0.99 c bounds 69 >= 46 @ 0.043358 0.14/0.99 c bounds 69 >= 47 @ 0.045569 0.14/0.99 c bounds 68 >= 47 @ 0.046055 0.14/0.99 c bounds 67 >= 47 @ 0.047682 0.14/0.99 c bounds 66 >= 47 @ 0.048786 0.14/0.99 c bounds 66 >= 48 @ 0.051755 0.14/0.99 c bounds 65 >= 48 @ 0.052459 0.14/0.99 c bounds 64 >= 48 @ 0.053435 0.14/0.99 c bounds 63 >= 48 @ 0.053524 0.14/0.99 c bounds 62 >= 48 @ 0.065672 0.14/0.99 c #Conflicts: 1000 | #Constraints: 1454 0.14/0.99 c bounds 62 >= 49 @ 0.128696 0.14/0.99 c bounds 61 >= 49 @ 0.133724 0.14/0.99 c bounds 60 >= 49 @ 0.139896 0.14/0.99 c bounds 59 >= 49 @ 0.160026 0.14/0.99 c #Conflicts: 2000 | #Constraints: 2549 0.14/0.99 c INPROCESSING 0.14/0.99 c GARBAGE COLLECT 0.14/0.99 c rational objective 48.5261 0.53/1.35 c bounds 58 >= 49 @ 0.253912 0.53/1.35 c #Conflicts: 3000 | #Constraints: 2533 0.53/1.35 c #Conflicts: 4000 | #Constraints: 3533 0.53/1.35 c INPROCESSING 0.53/1.35 c GARBAGE COLLECT 0.53/1.35 c rational objective 48.5261 0.93/1.71 c #Conflicts: 5000 | #Constraints: 3005 0.93/1.71 c bounds 57 >= 49 @ 0.642691 0.93/1.71 c #Conflicts: 6000 | #Constraints: 4061 0.93/1.71 c bounds 56 >= 49 @ 0.783529 0.93/1.71 c INPROCESSING 0.93/1.71 c GARBAGE COLLECT 0.93/1.71 c rational objective 48.5261 1.43/2.26 c #Conflicts: 7000 | #Constraints: 3021 1.43/2.26 c bounds 55 >= 49 @ 0.979914 1.43/2.26 c #Conflicts: 8000 | #Constraints: 4042 1.43/2.26 c bounds 55 >= 50 @ 1.263 1.43/2.26 c #Conflicts: 9000 | #Constraints: 5107 1.43/2.26 c INPROCESSING 1.43/2.26 c GARBAGE COLLECT 1.43/2.26 c rational objective 48.5261 1.93/2.76 c #Conflicts: 10000 | #Constraints: 3779 1.93/2.76 c #Conflicts: 11000 | #Constraints: 4821 1.93/2.76 c #Conflicts: 12000 | #Constraints: 5849 1.93/2.76 c INPROCESSING 1.93/2.76 c GARBAGE COLLECT 1.93/2.76 c rational objective 48.5261 2.81/3.66 c #Conflicts: 13000 | #Constraints: 4227 2.81/3.66 c #Conflicts: 14000 | #Constraints: 5227 2.81/3.66 c #Conflicts: 15000 | #Constraints: 6227 2.81/3.66 c INPROCESSING 2.81/3.66 c GARBAGE COLLECT 2.81/3.66 c rational objective 48.5261 3.41/4.24 c #Conflicts: 16000 | #Constraints: 4472 3.41/4.24 c #Conflicts: 17000 | #Constraints: 5521 3.41/4.24 c #Conflicts: 18000 | #Constraints: 6554 3.41/4.24 c INPROCESSING 3.41/4.24 c GARBAGE COLLECT 3.41/4.24 c rational objective 48.5261 4.00/4.85 c #Conflicts: 19000 | #Constraints: 4499 4.00/4.85 c bounds 54 >= 50 @ 3.50574 4.00/4.85 c #Conflicts: 20000 | #Constraints: 5543 4.00/4.85 c #Conflicts: 21000 | #Constraints: 6579 4.00/4.85 c INPROCESSING 4.00/4.85 c GARBAGE COLLECT 4.00/4.85 c rational objective 48.5261 5.30/6.15 c #Conflicts: 22000 | #Constraints: 4311 5.30/6.15 c #Conflicts: 23000 | #Constraints: 5311 5.30/6.15 c #Conflicts: 24000 | #Constraints: 6311 5.30/6.15 c #Conflicts: 25000 | #Constraints: 7311 5.30/6.15 c INPROCESSING 5.30/6.15 c GARBAGE COLLECT 5.30/6.15 c rational objective 48.5261 6.09/6.96 c #Conflicts: 26000 | #Constraints: 4921 6.09/6.96 c #Conflicts: 27000 | #Constraints: 5955 6.09/6.96 c #Conflicts: 28000 | #Constraints: 6981 6.09/6.96 c #Conflicts: 29000 | #Constraints: 8008 6.09/6.96 c INPROCESSING 6.09/6.96 c GARBAGE COLLECT 6.09/6.96 c rational objective 48.5261 6.89/7.78 c #Conflicts: 30000 | #Constraints: 5327 6.89/7.78 c #Conflicts: 31000 | #Constraints: 6357 6.89/7.78 c #Conflicts: 32000 | #Constraints: 7386 6.89/7.78 c #Conflicts: 33000 | #Constraints: 8417 6.89/7.78 c INPROCESSING 6.89/7.78 c GARBAGE COLLECT 6.89/7.78 c rational objective 48.5261 7.89/8.72 c #Conflicts: 34000 | #Constraints: 5540 7.89/8.72 c #Conflicts: 35000 | #Constraints: 6568 7.89/8.72 c #Conflicts: 36000 | #Constraints: 7589 7.89/8.72 c #Conflicts: 37000 | #Constraints: 8615 7.89/8.72 c INPROCESSING 7.89/8.72 c GARBAGE COLLECT 7.89/8.72 c rational objective 48.5261 9.38/10.27 c #Conflicts: 38000 | #Constraints: 5531 9.38/10.27 c #Conflicts: 39000 | #Constraints: 6531 9.38/10.27 c #Conflicts: 40000 | #Constraints: 7531 9.38/10.27 c bounds 54 >= 51 @ 8.6891 9.38/10.27 c #Conflicts: 41000 | #Constraints: 8599 9.38/10.27 c INPROCESSING 9.38/10.27 c GARBAGE COLLECT 9.38/10.27 c rational objective 48.5261 10.48/11.31 c #Conflicts: 42000 | #Constraints: 5364 10.48/11.31 c #Conflicts: 43000 | #Constraints: 6399 10.48/11.31 c #Conflicts: 44000 | #Constraints: 7432 10.48/11.31 c #Conflicts: 45000 | #Constraints: 8459 10.48/11.31 c #Conflicts: 46000 | #Constraints: 9496 10.48/11.31 c INPROCESSING 10.48/11.31 c GARBAGE COLLECT 10.48/11.31 c rational objective 48.5261 12.47/13.33 c #Conflicts: 47000 | #Constraints: 5995 12.47/13.33 c #Conflicts: 48000 | #Constraints: 6995 12.47/13.33 c #Conflicts: 49000 | #Constraints: 7996 12.47/13.33 c #Conflicts: 50000 | #Constraints: 8996 12.47/13.33 c #Conflicts: 51000 | #Constraints: 9996 12.47/13.33 c INPROCESSING 12.47/13.33 c GARBAGE COLLECT 12.47/13.33 c rational objective 48.5261 13.47/14.39 c #Conflicts: 52000 | #Constraints: 6372 13.47/14.39 c #Conflicts: 53000 | #Constraints: 7405 13.47/14.39 c #Conflicts: 54000 | #Constraints: 8432 13.47/14.39 c #Conflicts: 55000 | #Constraints: 9454 13.47/14.39 c #Conflicts: 56000 | #Constraints: 10480 13.47/14.39 c INPROCESSING 13.47/14.39 c GARBAGE COLLECT 13.47/14.39 c rational objective 48.5261 14.67/15.59 c #Conflicts: 57000 | #Constraints: 6593 14.67/15.59 c #Conflicts: 58000 | #Constraints: 7618 14.67/15.59 c #Conflicts: 59000 | #Constraints: 8649 14.67/15.59 c #Conflicts: 60000 | #Constraints: 9684 14.67/15.59 c #Conflicts: 61000 | #Constraints: 10720 14.67/15.59 c INPROCESSING 14.67/15.59 c GARBAGE COLLECT 14.67/15.59 c rational objective 48.5261 17.36/18.26 c #Conflicts: 62000 | #Constraints: 6606 17.36/18.26 c #Conflicts: 63000 | #Constraints: 7606 17.36/18.26 c #Conflicts: 64000 | #Constraints: 8607 17.36/18.26 c #Conflicts: 65000 | #Constraints: 9607 17.36/18.26 c #Conflicts: 66000 | #Constraints: 10607 17.36/18.26 c INPROCESSING 17.36/18.26 c GARBAGE COLLECT 17.36/18.26 c rational objective 48.5261 28.93/29.89 c #Conflicts: 67000 | #Constraints: 6385 28.93/29.89 c #Conflicts: 68000 | #Constraints: 7426 28.93/29.89 c #Conflicts: 69000 | #Constraints: 8468 28.93/29.89 c #Conflicts: 70000 | #Constraints: 9506 28.93/29.89 c #Conflicts: 71000 | #Constraints: 10545 28.93/29.89 c #Conflicts: 72000 | #Constraints: 11576 28.93/29.89 c #Conflicts: 73000 | #Constraints: 12605 28.93/29.89 c #Conflicts: 74000 | #Constraints: 13635 28.93/29.89 c #Conflicts: 75000 | #Constraints: 14674 28.93/29.89 c #Conflicts: 76000 | #Constraints: 15702 28.93/29.89 c #Conflicts: 77000 | #Constraints: 16728 28.93/29.89 c #Conflicts: 78000 | #Constraints: 17761 28.93/29.89 c #Conflicts: 79000 | #Constraints: 18796 28.93/29.89 c #Conflicts: 80000 | #Constraints: 19834 28.93/29.89 c #Conflicts: 81000 | #Constraints: 20866 28.93/29.89 c #Conflicts: 82000 | #Constraints: 21898 28.93/29.89 c #Conflicts: 83000 | #Constraints: 22929 28.93/29.89 c #Conflicts: 84000 | #Constraints: 23955 28.93/29.89 c #Conflicts: 85000 | #Constraints: 24987 28.93/29.89 c #Conflicts: 86000 | #Constraints: 26016 28.93/29.89 c #Conflicts: 87000 | #Constraints: 27055 28.93/29.89 c #Conflicts: 88000 | #Constraints: 28084 28.93/29.89 c #Conflicts: 89000 | #Constraints: 29114 28.93/29.89 c INPROCESSING 28.93/29.89 c GARBAGE COLLECT 28.93/29.89 c rational objective 48.5261 34.92/35.85 c #Conflicts: 90000 | #Constraints: 15761 34.92/35.85 c #Conflicts: 91000 | #Constraints: 16761 34.92/35.85 c #Conflicts: 92000 | #Constraints: 17761 34.92/35.85 c #Conflicts: 93000 | #Constraints: 18761 34.92/35.85 c #Conflicts: 94000 | #Constraints: 19761 34.92/35.85 c #Conflicts: 95000 | #Constraints: 20761 34.92/35.85 c #Conflicts: 96000 | #Constraints: 21761 34.92/35.85 c INPROCESSING 34.92/35.85 c GARBAGE COLLECT 34.92/35.85 c rational objective 48.5261 41.50/42.48 c #Conflicts: 97000 | #Constraints: 12264 41.50/42.48 c #Conflicts: 98000 | #Constraints: 13264 41.50/42.48 c #Conflicts: 99000 | #Constraints: 14264 41.50/42.48 c #Conflicts: 100000 | #Constraints: 15264 41.50/42.48 c #Conflicts: 101000 | #Constraints: 16264 41.50/42.48 c #Conflicts: 102000 | #Constraints: 17264 41.50/42.48 c INPROCESSING 41.50/42.48 c GARBAGE COLLECT 41.50/42.48 c rational objective 48.5261 43.99/44.97 c #Conflicts: 103000 | #Constraints: 9570 43.99/44.97 c #Conflicts: 104000 | #Constraints: 10591 43.99/44.97 c #Conflicts: 105000 | #Constraints: 11629 43.99/44.97 c #Conflicts: 106000 | #Constraints: 12665 43.99/44.97 c #Conflicts: 107000 | #Constraints: 13694 43.99/44.97 c #Conflicts: 108000 | #Constraints: 14724 43.99/44.97 c #Conflicts: 109000 | #Constraints: 15757 43.99/44.97 c #Conflicts: 110000 | #Constraints: 16794 43.99/44.97 c INPROCESSING 43.99/44.97 c GARBAGE COLLECT 43.99/44.97 c rational objective 48.5261 46.49/47.46 c #Conflicts: 111000 | #Constraints: 9769 46.49/47.46 c #Conflicts: 112000 | #Constraints: 10806 46.49/47.46 c #Conflicts: 113000 | #Constraints: 11847 46.49/47.46 c #Conflicts: 114000 | #Constraints: 12878 46.49/47.46 c #Conflicts: 115000 | #Constraints: 13915 46.49/47.46 c #Conflicts: 116000 | #Constraints: 14947 46.49/47.46 c #Conflicts: 117000 | #Constraints: 15983 46.49/47.46 c INPROCESSING 46.49/47.46 c GARBAGE COLLECT 46.49/47.46 c rational objective 48.5261 49.28/50.20 c #Conflicts: 118000 | #Constraints: 9215 49.28/50.20 c #Conflicts: 119000 | #Constraints: 10257 49.28/50.20 c #Conflicts: 120000 | #Constraints: 11288 49.28/50.20 c #Conflicts: 121000 | #Constraints: 12335 49.28/50.20 c #Conflicts: 122000 | #Constraints: 13371 49.28/50.20 c #Conflicts: 123000 | #Constraints: 14393 49.28/50.20 c #Conflicts: 124000 | #Constraints: 15419 49.28/50.20 c INPROCESSING 49.28/50.20 c GARBAGE COLLECT 49.28/50.20 c rational objective 48.5261 55.66/56.68 c #Conflicts: 125000 | #Constraints: 8666 55.66/56.68 c #Conflicts: 126000 | #Constraints: 9666 55.66/56.68 c #Conflicts: 127000 | #Constraints: 10666 55.66/56.68 c #Conflicts: 128000 | #Constraints: 11666 55.66/56.68 c #Conflicts: 129000 | #Constraints: 12666 55.66/56.68 c #Conflicts: 130000 | #Constraints: 13666 55.66/56.68 c #Conflicts: 131000 | #Constraints: 14666 55.66/56.68 c #Conflicts: 132000 | #Constraints: 15666 55.66/56.68 c INPROCESSING 55.66/56.68 c GARBAGE COLLECT 55.66/56.68 c rational objective 48.5261 77.11/78.16 c #Conflicts: 133000 | #Constraints: 8964 77.11/78.16 c #Conflicts: 134000 | #Constraints: 10004 77.11/78.16 c #Conflicts: 135000 | #Constraints: 11035 77.11/78.16 c #Conflicts: 136000 | #Constraints: 12074 77.11/78.16 c #Conflicts: 137000 | #Constraints: 13101 77.11/78.16 c #Conflicts: 138000 | #Constraints: 14126 77.11/78.16 c #Conflicts: 139000 | #Constraints: 15155 77.11/78.16 c #Conflicts: 140000 | #Constraints: 16187 77.11/78.16 c #Conflicts: 141000 | #Constraints: 17213 77.11/78.16 c #Conflicts: 142000 | #Constraints: 18242 77.11/78.16 c #Conflicts: 143000 | #Constraints: 19271 77.11/78.16 c #Conflicts: 144000 | #Constraints: 20301 77.11/78.16 c #Conflicts: 145000 | #Constraints: 21326 77.11/78.16 c #Conflicts: 146000 | #Constraints: 22347 77.11/78.16 c #Conflicts: 147000 | #Constraints: 23374 77.11/78.16 c #Conflicts: 148000 | #Constraints: 24395 77.11/78.16 c #Conflicts: 149000 | #Constraints: 25419 77.11/78.16 c #Conflicts: 150000 | #Constraints: 26452 77.11/78.16 c #Conflicts: 151000 | #Constraints: 27477 77.11/78.16 c #Conflicts: 152000 | #Constraints: 28500 77.11/78.16 c #Conflicts: 153000 | #Constraints: 29529 77.11/78.16 c #Conflicts: 154000 | #Constraints: 30564 77.11/78.16 c #Conflicts: 155000 | #Constraints: 31592 77.11/78.16 c #Conflicts: 156000 | #Constraints: 32615 77.11/78.16 c #Conflicts: 157000 | #Constraints: 33637 77.11/78.16 c #Conflicts: 158000 | #Constraints: 34659 77.11/78.16 c #Conflicts: 159000 | #Constraints: 35681 77.11/78.16 c #Conflicts: 160000 | #Constraints: 36700 77.11/78.16 c #Conflicts: 161000 | #Constraints: 37712 77.11/78.16 c #Conflicts: 162000 | #Constraints: 38743 77.11/78.16 c #Conflicts: 163000 | #Constraints: 39772 77.11/78.16 c INPROCESSING 77.11/78.16 c GARBAGE COLLECT 77.11/78.16 c rational objective 48.5261 88.77/89.84 c #Conflicts: 164000 | #Constraints: 20835 88.77/89.84 c #Conflicts: 165000 | #Constraints: 21835 88.77/89.84 c #Conflicts: 166000 | #Constraints: 22835 88.77/89.84 c #Conflicts: 167000 | #Constraints: 23835 88.77/89.84 c #Conflicts: 168000 | #Constraints: 24835 88.77/89.84 c #Conflicts: 169000 | #Constraints: 25835 88.77/89.84 c #Conflicts: 170000 | #Constraints: 26835 88.77/89.84 c #Conflicts: 171000 | #Constraints: 27835 88.77/89.84 c #Conflicts: 172000 | #Constraints: 28835 88.77/89.84 c INPROCESSING 88.77/89.84 c GARBAGE COLLECT 88.77/89.84 c rational objective 48.5261 103.43/104.57 c #Conflicts: 173000 | #Constraints: 15409 103.43/104.57 c #Conflicts: 174000 | #Constraints: 16409 103.43/104.57 c #Conflicts: 175000 | #Constraints: 17409 103.43/104.57 c #Conflicts: 176000 | #Constraints: 18409 103.43/104.57 c #Conflicts: 177000 | #Constraints: 19409 103.43/104.57 c #Conflicts: 178000 | #Constraints: 20409 103.43/104.57 c #Conflicts: 179000 | #Constraints: 21409 103.43/104.57 c #Conflicts: 180000 | #Constraints: 22409 103.43/104.57 c #Conflicts: 181000 | #Constraints: 23409 103.43/104.57 c #Conflicts: 182000 | #Constraints: 24409 103.43/104.57 c INPROCESSING 103.43/104.57 c GARBAGE COLLECT 103.43/104.57 c rational objective 48.5261 107.93/109.04 c #Conflicts: 183000 | #Constraints: 13610 107.93/109.04 c #Conflicts: 184000 | #Constraints: 14656 107.93/109.04 c #Conflicts: 185000 | #Constraints: 15689 107.93/109.04 c #Conflicts: 186000 | #Constraints: 16732 107.93/109.04 c #Conflicts: 187000 | #Constraints: 17768 107.93/109.04 c #Conflicts: 188000 | #Constraints: 18816 107.93/109.04 c #Conflicts: 189000 | #Constraints: 19851 107.93/109.04 c #Conflicts: 190000 | #Constraints: 20875 107.93/109.04 c #Conflicts: 191000 | #Constraints: 21904 107.93/109.04 c INPROCESSING 107.93/109.04 c GARBAGE COLLECT 107.93/109.04 c rational objective 48.5261 112.02/113.14 c #Conflicts: 192000 | #Constraints: 12123 112.02/113.14 c #Conflicts: 193000 | #Constraints: 13168 112.02/113.14 c #Conflicts: 194000 | #Constraints: 14201 112.02/113.14 c #Conflicts: 195000 | #Constraints: 15239 112.02/113.14 c #Conflicts: 196000 | #Constraints: 16273 112.02/113.14 c #Conflicts: 197000 | #Constraints: 17310 112.02/113.14 c #Conflicts: 198000 | #Constraints: 18356 112.02/113.14 c #Conflicts: 199000 | #Constraints: 19389 112.02/113.14 c #Conflicts: 200000 | #Constraints: 20418 112.02/113.14 c #Conflicts: 201000 | #Constraints: 21448 112.02/113.14 c INPROCESSING 112.02/113.14 c GARBAGE COLLECT 112.02/113.14 c rational objective 48.5261 115.80/116.98 c #Conflicts: 202000 | #Constraints: 12106 115.80/116.98 c #Conflicts: 203000 | #Constraints: 13147 115.80/116.98 c #Conflicts: 204000 | #Constraints: 14177 115.80/116.98 c #Conflicts: 205000 | #Constraints: 15209 115.80/116.98 c #Conflicts: 206000 | #Constraints: 16257 115.80/116.98 c #Conflicts: 207000 | #Constraints: 17291 115.80/116.98 c #Conflicts: 208000 | #Constraints: 18321 115.80/116.98 c #Conflicts: 209000 | #Constraints: 19348 115.80/116.98 c #Conflicts: 210000 | #Constraints: 20377 115.80/116.98 c INPROCESSING 115.80/116.98 c GARBAGE COLLECT 115.80/116.98 c rational objective 48.5261 128.97/130.15 c #Conflicts: 211000 | #Constraints: 11142 128.97/130.15 c #Conflicts: 212000 | #Constraints: 12142 128.97/130.15 c #Conflicts: 213000 | #Constraints: 13142 128.97/130.15 c #Conflicts: 214000 | #Constraints: 14142 128.97/130.15 c #Conflicts: 215000 | #Constraints: 15142 128.97/130.15 c #Conflicts: 216000 | #Constraints: 16142 128.97/130.15 c #Conflicts: 217000 | #Constraints: 17142 128.97/130.15 c #Conflicts: 218000 | #Constraints: 18142 128.97/130.15 c #Conflicts: 219000 | #Constraints: 19142 128.97/130.15 c #Conflicts: 220000 | #Constraints: 20142 128.97/130.15 c INPROCESSING 128.97/130.15 c GARBAGE COLLECT 128.97/130.15 c rational objective 48.5261 164.07/165.33 c #Conflicts: 221000 | #Constraints: 11066 164.07/165.33 c #Conflicts: 222000 | #Constraints: 12104 164.07/165.33 c #Conflicts: 223000 | #Constraints: 13149 164.07/165.33 c #Conflicts: 224000 | #Constraints: 14178 164.07/165.33 c #Conflicts: 225000 | #Constraints: 15197 164.07/165.33 c #Conflicts: 226000 | #Constraints: 16224 164.07/165.33 c #Conflicts: 227000 | #Constraints: 17264 164.07/165.33 c #Conflicts: 228000 | #Constraints: 18289 164.07/165.33 c #Conflicts: 229000 | #Constraints: 19291 164.07/165.33 c #Conflicts: 230000 | #Constraints: 20321 164.07/165.33 c #Conflicts: 231000 | #Constraints: 21341 164.07/165.33 c #Conflicts: 232000 | #Constraints: 22372 164.07/165.33 c #Conflicts: 233000 | #Constraints: 23402 164.07/165.33 c #Conflicts: 234000 | #Constraints: 24432 164.07/165.33 c #Conflicts: 235000 | #Constraints: 25461 164.07/165.33 c #Conflicts: 236000 | #Constraints: 26492 164.07/165.33 c #Conflicts: 237000 | #Constraints: 27520 164.07/165.33 c #Conflicts: 238000 | #Constraints: 28549 164.07/165.33 c #Conflicts: 239000 | #Constraints: 29584 164.07/165.33 c #Conflicts: 240000 | #Constraints: 30608 164.07/165.33 c #Conflicts: 241000 | #Constraints: 31637 164.07/165.33 c #Conflicts: 242000 | #Constraints: 32664 164.07/165.33 c #Conflicts: 243000 | #Constraints: 33687 164.07/165.33 c #Conflicts: 244000 | #Constraints: 34710 164.07/165.33 c #Conflicts: 245000 | #Constraints: 35743 164.07/165.33 c #Conflicts: 246000 | #Constraints: 36774 164.07/165.33 c #Conflicts: 247000 | #Constraints: 37798 164.07/165.33 c #Conflicts: 248000 | #Constraints: 38831 164.07/165.33 c #Conflicts: 249000 | #Constraints: 39860 164.07/165.33 c #Conflicts: 250000 | #Constraints: 40883 164.07/165.33 c #Conflicts: 251000 | #Constraints: 41903 164.07/165.33 c #Conflicts: 252000 | #Constraints: 42925 164.07/165.33 c #Conflicts: 253000 | #Constraints: 43956 164.07/165.33 c #Conflicts: 254000 | #Constraints: 44978 164.07/165.33 c #Conflicts: 255000 | #Constraints: 46001 164.07/165.33 c #Conflicts: 256000 | #Constraints: 47022 164.07/165.33 c #Conflicts: 257000 | #Constraints: 48042 164.07/165.33 c #Conflicts: 258000 | #Constraints: 49068 164.07/165.33 c #Conflicts: 259000 | #Constraints: 50092 164.07/165.33 c #Conflicts: 260000 | #Constraints: 51107 164.07/165.33 c INPROCESSING 164.07/165.33 c GARBAGE COLLECT 164.07/165.33 c rational objective 48.5261 186.21/187.59 c #Conflicts: 261000 | #Constraints: 26565 186.21/187.59 c #Conflicts: 262000 | #Constraints: 27565 186.21/187.59 c #Conflicts: 263000 | #Constraints: 28565 186.21/187.59 c #Conflicts: 264000 | #Constraints: 29565 186.21/187.59 c #Conflicts: 265000 | #Constraints: 30565 186.21/187.59 c #Conflicts: 266000 | #Constraints: 31565 186.21/187.59 c #Conflicts: 267000 | #Constraints: 32565 186.21/187.59 c #Conflicts: 268000 | #Constraints: 33565 186.21/187.59 c #Conflicts: 269000 | #Constraints: 34565 186.21/187.59 c #Conflicts: 270000 | #Constraints: 35565 186.21/187.59 c #Conflicts: 271000 | #Constraints: 36565 186.21/187.59 c #Conflicts: 272000 | #Constraints: 37565 186.21/187.59 c INPROCESSING 186.21/187.59 c GARBAGE COLLECT 186.21/187.59 c rational objective 48.5261 191.70/193.05 c #Conflicts: 273000 | #Constraints: 20184 191.70/193.05 c #Conflicts: 274000 | #Constraints: 21199 191.70/193.05 c #Conflicts: 275000 | #Constraints: 22225 191.70/193.05 c #Conflicts: 276000 | #Constraints: 23254 191.70/193.05 c #Conflicts: 277000 | #Constraints: 24279 191.70/193.05 c #Conflicts: 278000 | #Constraints: 25303 191.70/193.05 c #Conflicts: 279000 | #Constraints: 26327 191.70/193.05 c #Conflicts: 280000 | #Constraints: 27346 191.70/193.05 c #Conflicts: 281000 | #Constraints: 28361 191.70/193.05 c #Conflicts: 282000 | #Constraints: 29382 191.70/193.05 c #Conflicts: 283000 | #Constraints: 30410 191.70/193.05 c INPROCESSING 191.70/193.05 c GARBAGE COLLECT 191.70/193.05 c rational objective 48.5261 201.97/203.33 c #Conflicts: 284000 | #Constraints: 16310 201.97/203.33 c #Conflicts: 285000 | #Constraints: 17310 201.97/203.33 c #Conflicts: 286000 | #Constraints: 18310 201.97/203.33 c #Conflicts: 287000 | #Constraints: 19310 201.97/203.33 c bounds 54 >= 52 @ 194.866 201.97/203.33 c #Conflicts: 288000 | #Constraints: 20363 201.97/203.33 c #Conflicts: 289000 | #Constraints: 21383 201.97/203.33 c #Conflicts: 290000 | #Constraints: 22405 201.97/203.33 c #Conflicts: 291000 | #Constraints: 23431 201.97/203.33 c #Conflicts: 292000 | #Constraints: 24458 201.97/203.33 c #Conflicts: 293000 | #Constraints: 25483 201.97/203.33 c #Conflicts: 294000 | #Constraints: 26505 201.97/203.33 c #Conflicts: 295000 | #Constraints: 27523 201.97/203.33 c INPROCESSING 201.97/203.33 c GARBAGE COLLECT 201.97/203.33 c rational objective 48.5261 207.76/209.17 c #Conflicts: 296000 | #Constraints: 15061 207.76/209.17 c #Conflicts: 297000 | #Constraints: 16092 207.76/209.17 c #Conflicts: 298000 | #Constraints: 17132 207.76/209.17 c #Conflicts: 299000 | #Constraints: 18157 207.76/209.17 c #Conflicts: 300000 | #Constraints: 19185 207.76/209.17 c #Conflicts: 301000 | #Constraints: 20216 207.76/209.17 c #Conflicts: 302000 | #Constraints: 21251 207.76/209.17 c #Conflicts: 303000 | #Constraints: 22278 207.76/209.17 c #Conflicts: 304000 | #Constraints: 23304 207.76/209.17 c #Conflicts: 305000 | #Constraints: 24323 207.76/209.17 c #Conflicts: 306000 | #Constraints: 25353 207.76/209.17 c #Conflicts: 307000 | #Constraints: 26382 207.76/209.17 c INPROCESSING 207.76/209.17 c GARBAGE COLLECT 207.76/209.17 c rational objective 48.5261 222.52/223.97 c #Conflicts: 308000 | #Constraints: 14514 222.52/223.97 c #Conflicts: 309000 | #Constraints: 15514 222.52/223.97 c #Conflicts: 310000 | #Constraints: 16514 222.52/223.97 c #Conflicts: 311000 | #Constraints: 17514 222.52/223.97 c #Conflicts: 312000 | #Constraints: 18514 222.52/223.97 c #Conflicts: 313000 | #Constraints: 19514 222.52/223.97 c #Conflicts: 314000 | #Constraints: 20514 222.52/223.97 c #Conflicts: 315000 | #Constraints: 21514 222.52/223.97 c #Conflicts: 316000 | #Constraints: 22515 222.52/223.97 c #Conflicts: 317000 | #Constraints: 23516 222.52/223.97 c #Conflicts: 318000 | #Constraints: 24516 222.52/223.97 c #Conflicts: 319000 | #Constraints: 25516 222.52/223.97 c INPROCESSING 222.52/223.97 c GARBAGE COLLECT 222.52/223.97 c rational objective 48.5261 273.68/275.21 c #Conflicts: 320000 | #Constraints: 14082 273.68/275.21 c #Conflicts: 321000 | #Constraints: 15113 273.68/275.21 c #Conflicts: 322000 | #Constraints: 16151 273.68/275.21 c #Conflicts: 323000 | #Constraints: 17181 273.68/275.21 c #Conflicts: 324000 | #Constraints: 18205 273.68/275.21 c #Conflicts: 325000 | #Constraints: 19238 273.68/275.21 c #Conflicts: 326000 | #Constraints: 20268 273.68/275.21 c #Conflicts: 327000 | #Constraints: 21304 273.68/275.21 c #Conflicts: 328000 | #Constraints: 22330 273.68/275.21 c #Conflicts: 329000 | #Constraints: 23361 273.68/275.21 c #Conflicts: 330000 | #Constraints: 24385 273.68/275.21 c #Conflicts: 331000 | #Constraints: 25411 273.68/275.21 c #Conflicts: 332000 | #Constraints: 26436 273.68/275.21 c #Conflicts: 333000 | #Constraints: 27455 273.68/275.21 c #Conflicts: 334000 | #Constraints: 28478 273.68/275.21 c #Conflicts: 335000 | #Constraints: 29500 273.68/275.21 c #Conflicts: 336000 | #Constraints: 30530 273.68/275.21 c #Conflicts: 337000 | #Constraints: 31558 273.68/275.21 c #Conflicts: 338000 | #Constraints: 32581 273.68/275.21 c #Conflicts: 339000 | #Constraints: 33608 273.68/275.21 c #Conflicts: 340000 | #Constraints: 34648 273.68/275.21 c #Conflicts: 341000 | #Constraints: 35679 273.68/275.21 c #Conflicts: 342000 | #Constraints: 36704 273.68/275.21 c #Conflicts: 343000 | #Constraints: 37728 273.68/275.21 c #Conflicts: 344000 | #Constraints: 38757 273.68/275.21 c #Conflicts: 345000 | #Constraints: 39774 273.68/275.21 c #Conflicts: 346000 | #Constraints: 40800 273.68/275.21 c #Conflicts: 347000 | #Constraints: 41824 273.68/275.21 c #Conflicts: 348000 | #Constraints: 42854 273.68/275.21 c #Conflicts: 349000 | #Constraints: 43885 273.68/275.21 c #Conflicts: 350000 | #Constraints: 44910 273.68/275.21 c #Conflicts: 351000 | #Constraints: 45938 273.68/275.21 c #Conflicts: 352000 | #Constraints: 46959 273.68/275.21 c #Conflicts: 353000 | #Constraints: 47981 273.68/275.21 c #Conflicts: 354000 | #Constraints: 49004 273.68/275.21 c #Conflicts: 355000 | #Constraints: 50022 273.68/275.21 c #Conflicts: 356000 | #Constraints: 51047 273.68/275.21 c #Conflicts: 357000 | #Constraints: 52068 273.68/275.21 c #Conflicts: 358000 | #Constraints: 53091 273.68/275.21 c #Conflicts: 359000 | #Constraints: 54118 273.68/275.21 c #Conflicts: 360000 | #Constraints: 55150 273.68/275.21 c #Conflicts: 361000 | #Constraints: 56172 273.68/275.21 c #Conflicts: 362000 | #Constraints: 57192 273.68/275.21 c #Conflicts: 363000 | #Constraints: 58212 273.68/275.21 c #Conflicts: 364000 | #Constraints: 59236 273.68/275.21 c #Conflicts: 365000 | #Constraints: 60250 273.68/275.21 c #Conflicts: 366000 | #Constraints: 61266 273.68/275.21 c INPROCESSING 273.68/275.21 c GARBAGE COLLECT 273.68/275.21 c rational objective 48.5261 306.19/307.86 c #Conflicts: 367000 | #Constraints: 31715 306.19/307.86 c #Conflicts: 368000 | #Constraints: 32715 306.19/307.86 c #Conflicts: 369000 | #Constraints: 33716 306.19/307.86 c #Conflicts: 370000 | #Constraints: 34716 306.19/307.86 c #Conflicts: 371000 | #Constraints: 35716 306.19/307.86 c #Conflicts: 372000 | #Constraints: 36716 306.19/307.86 c #Conflicts: 373000 | #Constraints: 37717 306.19/307.86 c #Conflicts: 374000 | #Constraints: 38717 306.19/307.86 c #Conflicts: 375000 | #Constraints: 39717 306.19/307.86 c #Conflicts: 376000 | #Constraints: 40717 306.19/307.86 c #Conflicts: 377000 | #Constraints: 41717 306.19/307.86 c #Conflicts: 378000 | #Constraints: 42717 306.19/307.86 c #Conflicts: 379000 | #Constraints: 43717 306.19/307.86 c #Conflicts: 380000 | #Constraints: 44717 306.19/307.86 c INPROCESSING 306.19/307.86 c GARBAGE COLLECT 306.19/307.86 c rational objective 48.5261 339.91/341.61 c #Conflicts: 381000 | #Constraints: 23760 339.91/341.61 c #Conflicts: 382000 | #Constraints: 24760 339.91/341.61 c #Conflicts: 383000 | #Constraints: 25760 339.91/341.61 c #Conflicts: 384000 | #Constraints: 26760 339.91/341.61 c #Conflicts: 385000 | #Constraints: 27760 339.91/341.61 c #Conflicts: 386000 | #Constraints: 28760 339.91/341.61 c #Conflicts: 387000 | #Constraints: 29760 339.91/341.61 c #Conflicts: 388000 | #Constraints: 30760 339.91/341.61 c #Conflicts: 389000 | #Constraints: 31760 339.91/341.61 c #Conflicts: 390000 | #Constraints: 32760 339.91/341.61 c #Conflicts: 391000 | #Constraints: 33760 339.91/341.61 c #Conflicts: 392000 | #Constraints: 34760 339.91/341.61 c #Conflicts: 393000 | #Constraints: 35760 339.91/341.61 c INPROCESSING 339.91/341.61 c GARBAGE COLLECT 339.91/341.61 c rational objective 48.5261 347.69/349.46 c #Conflicts: 394000 | #Constraints: 18983 347.69/349.46 c #Conflicts: 395000 | #Constraints: 20029 347.69/349.46 c #Conflicts: 396000 | #Constraints: 21065 347.69/349.46 c #Conflicts: 397000 | #Constraints: 22096 347.69/349.46 c #Conflicts: 398000 | #Constraints: 23136 347.69/349.46 c #Conflicts: 399000 | #Constraints: 24174 347.69/349.46 c #Conflicts: 400000 | #Constraints: 25211 347.69/349.46 c #Conflicts: 401000 | #Constraints: 26235 347.69/349.46 c #Conflicts: 402000 | #Constraints: 27267 347.69/349.46 c #Conflicts: 403000 | #Constraints: 28295 347.69/349.46 c #Conflicts: 404000 | #Constraints: 29327 347.69/349.46 c #Conflicts: 405000 | #Constraints: 30360 347.69/349.46 c #Conflicts: 406000 | #Constraints: 31386 347.69/349.46 c #Conflicts: 407000 | #Constraints: 32408 347.69/349.46 c INPROCESSING 347.69/349.46 c GARBAGE COLLECT 347.69/349.46 c rational objective 48.5261 394.75/396.63 c #Conflicts: 408000 | #Constraints: 17397 394.75/396.63 c #Conflicts: 409000 | #Constraints: 18429 394.75/396.63 c #Conflicts: 410000 | #Constraints: 19465 394.75/396.63 c #Conflicts: 411000 | #Constraints: 20489 394.75/396.63 c #Conflicts: 412000 | #Constraints: 21522 394.75/396.63 c #Conflicts: 413000 | #Constraints: 22556 394.75/396.63 c #Conflicts: 414000 | #Constraints: 23595 394.75/396.63 c #Conflicts: 415000 | #Constraints: 24624 394.75/396.63 c #Conflicts: 416000 | #Constraints: 25650 394.75/396.63 c #Conflicts: 417000 | #Constraints: 26678 394.75/396.63 c #Conflicts: 418000 | #Constraints: 27713 394.75/396.63 c #Conflicts: 419000 | #Constraints: 28742 394.75/396.63 c #Conflicts: 420000 | #Constraints: 29768 394.75/396.63 c #Conflicts: 421000 | #Constraints: 30795 394.75/396.63 c #Conflicts: 422000 | #Constraints: 31818 394.75/396.63 c #Conflicts: 423000 | #Constraints: 32839 394.75/396.63 c #Conflicts: 424000 | #Constraints: 33868 394.75/396.63 c #Conflicts: 425000 | #Constraints: 34893 394.75/396.63 c #Conflicts: 426000 | #Constraints: 35927 394.75/396.63 c #Conflicts: 427000 | #Constraints: 36959 394.75/396.63 c #Conflicts: 428000 | #Constraints: 37986 394.75/396.63 c #Conflicts: 429000 | #Constraints: 39009 394.75/396.63 c #Conflicts: 430000 | #Constraints: 40030 394.75/396.63 c #Conflicts: 431000 | #Constraints: 41052 394.75/396.63 c #Conflicts: 432000 | #Constraints: 42076 394.75/396.63 c #Conflicts: 433000 | #Constraints: 43096 394.75/396.63 c #Conflicts: 434000 | #Constraints: 44120 394.75/396.63 c #Conflicts: 435000 | #Constraints: 45144 394.75/396.63 c #Conflicts: 436000 | #Constraints: 46169 394.75/396.63 c #Conflicts: 437000 | #Constraints: 47199 394.75/396.63 c #Conflicts: 438000 | #Constraints: 48234 394.75/396.63 c #Conflicts: 439000 | #Constraints: 49262 394.75/396.63 c #Conflicts: 440000 | #Constraints: 50288 394.75/396.63 c #Conflicts: 441000 | #Constraints: 51329 394.75/396.63 c #Conflicts: 442000 | #Constraints: 52352 394.75/396.63 c #Conflicts: 443000 | #Constraints: 53378 394.75/396.63 c #Conflicts: 444000 | #Constraints: 54412 394.75/396.63 c #Conflicts: 445000 | #Constraints: 55450 394.75/396.63 c #Conflicts: 446000 | #Constraints: 56475 394.75/396.63 c #Conflicts: 447000 | #Constraints: 57518 394.75/396.63 c #Conflicts: 448000 | #Constraints: 58552 394.75/396.63 c #Conflicts: 449000 | #Constraints: 59587 394.75/396.63 c #Conflicts: 450000 | #Constraints: 60629 394.75/396.63 c #Conflicts: 451000 | #Constraints: 61670 394.75/396.63 c #Conflicts: 452000 | #Constraints: 62704 394.75/396.63 c #Conflicts: 453000 | #Constraints: 63746 394.75/396.63 c #Conflicts: 454000 | #Constraints: 64776 394.75/396.63 c #Conflicts: 455000 | #Constraints: 65810 394.75/396.63 c #Conflicts: 456000 | #Constraints: 66848 394.75/396.63 c #Conflicts: 457000 | #Constraints: 67888 394.75/396.63 c #Conflicts: 458000 | #Constraints: 68915 394.75/396.63 c #Conflicts: 459000 | #Constraints: 69938 394.75/396.63 c #Conflicts: 460000 | #Constraints: 70965 394.75/396.63 c INPROCESSING 394.75/396.63 c GARBAGE COLLECT 394.75/396.63 c rational objective 48.5261 436.25/438.26 c #Conflicts: 461000 | #Constraints: 36820 436.25/438.26 c #Conflicts: 462000 | #Constraints: 37821 436.25/438.26 c #Conflicts: 463000 | #Constraints: 38821 436.25/438.26 c #Conflicts: 464000 | #Constraints: 39822 436.25/438.26 c #Conflicts: 465000 | #Constraints: 40822 436.25/438.26 c #Conflicts: 466000 | #Constraints: 41822 436.25/438.26 c #Conflicts: 467000 | #Constraints: 42822 436.25/438.26 c #Conflicts: 468000 | #Constraints: 43822 436.25/438.26 c #Conflicts: 469000 | #Constraints: 44822 436.25/438.26 c #Conflicts: 470000 | #Constraints: 45822 436.25/438.26 c #Conflicts: 471000 | #Constraints: 46822 436.25/438.26 c #Conflicts: 472000 | #Constraints: 47822 436.25/438.26 c #Conflicts: 473000 | #Constraints: 48822 436.25/438.26 c #Conflicts: 474000 | #Constraints: 49822 436.25/438.26 c #Conflicts: 475000 | #Constraints: 50822 436.25/438.26 c INPROCESSING 436.25/438.26 c GARBAGE COLLECT 436.25/438.26 c rational objective 48.5261 446.12/448.14 c #Conflicts: 476000 | #Constraints: 26748 446.12/448.14 c #Conflicts: 477000 | #Constraints: 27779 446.12/448.14 c #Conflicts: 478000 | #Constraints: 28809 446.12/448.14 c #Conflicts: 479000 | #Constraints: 29838 446.12/448.14 c #Conflicts: 480000 | #Constraints: 30859 446.12/448.14 c #Conflicts: 481000 | #Constraints: 31893 446.12/448.14 c #Conflicts: 482000 | #Constraints: 32926 446.12/448.14 c #Conflicts: 483000 | #Constraints: 33960 446.12/448.14 c #Conflicts: 484000 | #Constraints: 34988 446.12/448.14 c #Conflicts: 485000 | #Constraints: 36029 446.12/448.14 c #Conflicts: 486000 | #Constraints: 37062 446.12/448.14 c #Conflicts: 487000 | #Constraints: 38097 446.12/448.14 c #Conflicts: 488000 | #Constraints: 39128 446.12/448.14 c #Conflicts: 489000 | #Constraints: 40149 446.12/448.14 c #Conflicts: 490000 | #Constraints: 41177 446.12/448.14 c INPROCESSING 446.12/448.14 c GARBAGE COLLECT 446.12/448.14 c rational objective 48.5261 456.19/458.23 c #Conflicts: 491000 | #Constraints: 21734 456.19/458.23 c #Conflicts: 492000 | #Constraints: 22784 456.19/458.23 c #Conflicts: 493000 | #Constraints: 23826 456.19/458.23 c #Conflicts: 494000 | #Constraints: 24855 456.19/458.23 c #Conflicts: 495000 | #Constraints: 25890 456.19/458.23 c #Conflicts: 496000 | #Constraints: 26922 456.19/458.23 c #Conflicts: 497000 | #Constraints: 27951 456.19/458.23 c #Conflicts: 498000 | #Constraints: 28987 456.19/458.23 c #Conflicts: 499000 | #Constraints: 30018 456.19/458.23 c #Conflicts: 500000 | #Constraints: 31046 456.19/458.23 c #Conflicts: 501000 | #Constraints: 32077 456.19/458.23 c #Conflicts: 502000 | #Constraints: 33099 456.19/458.23 c #Conflicts: 503000 | #Constraints: 34128 456.19/458.23 c #Conflicts: 504000 | #Constraints: 35164 456.19/458.23 c #Conflicts: 505000 | #Constraints: 36192 456.19/458.23 c #Conflicts: 506000 | #Constraints: 37216 456.19/458.23 c INPROCESSING 456.19/458.23 c GARBAGE COLLECT 456.19/458.23 c rational objective 48.5261 495.19/497.32 c #Conflicts: 507000 | #Constraints: 19991 495.19/497.32 c #Conflicts: 508000 | #Constraints: 20991 495.19/497.32 c #Conflicts: 509000 | #Constraints: 21991 495.19/497.32 c #Conflicts: 510000 | #Constraints: 22991 495.19/497.32 c #Conflicts: 511000 | #Constraints: 23991 495.19/497.32 c #Conflicts: 512000 | #Constraints: 24991 495.19/497.32 c #Conflicts: 513000 | #Constraints: 25991 495.19/497.32 c #Conflicts: 514000 | #Constraints: 26991 495.19/497.32 c #Conflicts: 515000 | #Constraints: 27991 495.19/497.32 c #Conflicts: 516000 | #Constraints: 28991 495.19/497.32 c #Conflicts: 517000 | #Constraints: 29991 495.19/497.32 c #Conflicts: 518000 | #Constraints: 30991 495.19/497.32 c #Conflicts: 519000 | #Constraints: 31991 495.19/497.32 c #Conflicts: 520000 | #Constraints: 32991 495.19/497.32 c #Conflicts: 521000 | #Constraints: 33991 495.19/497.32 c INPROCESSING 495.19/497.32 c GARBAGE COLLECT 495.19/497.32 c rational objective 48.5261 571.69/574.00 c #Conflicts: 522000 | #Constraints: 18054 571.69/574.00 c #Conflicts: 523000 | #Constraints: 19081 571.69/574.00 c #Conflicts: 524000 | #Constraints: 20117 571.69/574.00 c #Conflicts: 525000 | #Constraints: 21142 571.69/574.00 c #Conflicts: 526000 | #Constraints: 22176 571.69/574.00 c #Conflicts: 527000 | #Constraints: 23211 571.69/574.00 c #Conflicts: 528000 | #Constraints: 24242 571.69/574.00 c #Conflicts: 529000 | #Constraints: 25273 571.69/574.00 c #Conflicts: 530000 | #Constraints: 26307 571.69/574.00 c #Conflicts: 531000 | #Constraints: 27336 571.69/574.00 c #Conflicts: 532000 | #Constraints: 28363 571.69/574.00 c #Conflicts: 533000 | #Constraints: 29382 571.69/574.00 c #Conflicts: 534000 | #Constraints: 30409 571.69/574.00 c #Conflicts: 535000 | #Constraints: 31436 571.69/574.00 c #Conflicts: 536000 | #Constraints: 32461 571.69/574.00 c #Conflicts: 537000 | #Constraints: 33482 571.69/574.00 c #Conflicts: 538000 | #Constraints: 34514 571.69/574.00 c #Conflicts: 539000 | #Constraints: 35548 571.69/574.00 c #Conflicts: 540000 | #Constraints: 36574 571.69/574.00 c #Conflicts: 541000 | #Constraints: 37598 571.69/574.00 c #Conflicts: 542000 | #Constraints: 38619 571.69/574.00 c #Conflicts: 543000 | #Constraints: 39647 571.69/574.00 c #Conflicts: 544000 | #Constraints: 40668 571.69/574.00 c #Conflicts: 545000 | #Constraints: 41689 571.69/574.00 c #Conflicts: 546000 | #Constraints: 42710 571.69/574.00 c #Conflicts: 547000 | #Constraints: 43747 571.69/574.00 c #Conflicts: 548000 | #Constraints: 44779 571.69/574.00 c #Conflicts: 549000 | #Constraints: 45807 571.69/574.00 c #Conflicts: 550000 | #Constraints: 46842 571.69/574.00 c #Conflicts: 551000 | #Constraints: 47869 571.69/574.00 c #Conflicts: 552000 | #Constraints: 48900 571.69/574.00 c #Conflicts: 553000 | #Constraints: 49926 571.69/574.00 c #Conflicts: 554000 | #Constraints: 50954 571.69/574.00 c #Conflicts: 555000 | #Constraints: 51983 571.69/574.00 c #Conflicts: 556000 | #Constraints: 53014 571.69/574.00 c #Conflicts: 557000 | #Constraints: 54050 571.69/574.00 c #Conflicts: 558000 | #Constraints: 55071 571.69/574.00 c #Conflicts: 559000 | #Constraints: 56092 571.69/574.00 c #Conflicts: 560000 | #Constraints: 57114 571.69/574.00 c #Conflicts: 561000 | #Constraints: 58136 571.69/574.00 c #Conflicts: 562000 | #Constraints: 59156 571.69/574.00 c #Conflicts: 563000 | #Constraints: 60180 571.69/574.00 c #Conflicts: 564000 | #Constraints: 61210 571.69/574.00 c #Conflicts: 565000 | #Constraints: 62240 571.69/574.00 c #Conflicts: 566000 | #Constraints: 63257 571.69/574.00 c #Conflicts: 567000 | #Constraints: 64279 571.69/574.00 c #Conflicts: 568000 | #Constraints: 65307 571.69/574.00 c #Conflicts: 569000 | #Constraints: 66329 571.69/574.00 c #Conflicts: 570000 | #Constraints: 67349 571.69/574.00 c #Conflicts: 571000 | #Constraints: 68367 571.69/574.00 c #Conflicts: 572000 | #Constraints: 69398 571.69/574.00 c #Conflicts: 573000 | #Constraints: 70425 571.69/574.00 c #Conflicts: 574000 | #Constraints: 71459 571.69/574.00 c #Conflicts: 575000 | #Constraints: 72488 571.69/574.00 c #Conflicts: 576000 | #Constraints: 73515 571.69/574.00 c #Conflicts: 577000 | #Constraints: 74531 571.69/574.00 c #Conflicts: 578000 | #Constraints: 75551 571.69/574.00 c #Conflicts: 579000 | #Constraints: 76569 571.69/574.00 c #Conflicts: 580000 | #Constraints: 77592 571.69/574.00 c INPROCESSING 571.69/574.00 c GARBAGE COLLECT 571.69/574.00 c rational objective 48.5261 636.71/639.29 c #Conflicts: 581000 | #Constraints: 39781 636.71/639.29 c #Conflicts: 582000 | #Constraints: 40782 636.71/639.29 c #Conflicts: 583000 | #Constraints: 41782 636.71/639.29 c #Conflicts: 584000 | #Constraints: 42782 636.71/639.29 c #Conflicts: 585000 | #Constraints: 43782 636.71/639.29 c #Conflicts: 586000 | #Constraints: 44782 636.71/639.29 c #Conflicts: 587000 | #Constraints: 45782 636.71/639.29 c #Conflicts: 588000 | #Constraints: 46782 636.71/639.29 c #Conflicts: 589000 | #Constraints: 47782 636.71/639.29 c #Conflicts: 590000 | #Constraints: 48782 636.71/639.29 c #Conflicts: 591000 | #Constraints: 49782 636.71/639.29 c #Conflicts: 592000 | #Constraints: 50782 636.71/639.29 c #Conflicts: 593000 | #Constraints: 51782 636.71/639.29 c #Conflicts: 594000 | #Constraints: 52782 636.71/639.29 c #Conflicts: 595000 | #Constraints: 53782 636.71/639.29 c #Conflicts: 596000 | #Constraints: 54782 636.71/639.29 c #Conflicts: 597000 | #Constraints: 55782 636.71/639.29 c INPROCESSING 636.71/639.29 c GARBAGE COLLECT 636.71/639.29 c rational objective 48.5261 649.07/651.69 c #Conflicts: 598000 | #Constraints: 28911 649.07/651.69 c #Conflicts: 599000 | #Constraints: 29934 649.07/651.69 c #Conflicts: 600000 | #Constraints: 30972 649.07/651.69 c #Conflicts: 601000 | #Constraints: 31999 649.07/651.69 c #Conflicts: 602000 | #Constraints: 33021 649.07/651.69 c #Conflicts: 603000 | #Constraints: 34064 649.07/651.69 c #Conflicts: 604000 | #Constraints: 35101 649.07/651.69 c #Conflicts: 605000 | #Constraints: 36134 649.07/651.69 c #Conflicts: 606000 | #Constraints: 37164 649.07/651.69 c #Conflicts: 607000 | #Constraints: 38199 649.07/651.69 c #Conflicts: 608000 | #Constraints: 39220 649.07/651.69 c #Conflicts: 609000 | #Constraints: 40246 649.07/651.69 c #Conflicts: 610000 | #Constraints: 41263 649.07/651.69 c #Conflicts: 611000 | #Constraints: 42300 649.07/651.69 c #Conflicts: 612000 | #Constraints: 43329 649.07/651.69 c #Conflicts: 613000 | #Constraints: 44355 649.07/651.69 c #Conflicts: 614000 | #Constraints: 45384 649.07/651.69 c #Conflicts: 615000 | #Constraints: 46415 649.07/651.69 c INPROCESSING 649.07/651.69 c GARBAGE COLLECT 649.07/651.69 c rational objective 48.5261 660.84/663.47 c #Conflicts: 616000 | #Constraints: 24600 660.84/663.47 c #Conflicts: 617000 | #Constraints: 25634 660.84/663.47 c #Conflicts: 618000 | #Constraints: 26667 660.84/663.47 c #Conflicts: 619000 | #Constraints: 27698 660.84/663.47 c #Conflicts: 620000 | #Constraints: 28723 660.84/663.47 c #Conflicts: 621000 | #Constraints: 29752 660.84/663.47 c #Conflicts: 622000 | #Constraints: 30782 660.84/663.47 c #Conflicts: 623000 | #Constraints: 31813 660.84/663.47 c #Conflicts: 624000 | #Constraints: 32835 660.84/663.47 c #Conflicts: 625000 | #Constraints: 33863 660.84/663.47 c #Conflicts: 626000 | #Constraints: 34897 660.84/663.47 c #Conflicts: 627000 | #Constraints: 35920 660.84/663.47 c #Conflicts: 628000 | #Constraints: 36943 660.84/663.47 c #Conflicts: 629000 | #Constraints: 37969 660.84/663.47 c #Conflicts: 630000 | #Constraints: 39001 660.84/663.47 c #Conflicts: 631000 | #Constraints: 40028 660.84/663.47 c #Conflicts: 632000 | #Constraints: 41061 660.84/663.47 c INPROCESSING 660.84/663.47 c GARBAGE COLLECT 660.84/663.47 c rational objective 48.5261 673.61/676.26 c #Conflicts: 633000 | #Constraints: 21732 673.61/676.26 c #Conflicts: 634000 | #Constraints: 22768 673.61/676.26 c #Conflicts: 635000 | #Constraints: 23802 673.61/676.26 c #Conflicts: 636000 | #Constraints: 24835 673.61/676.26 c #Conflicts: 637000 | #Constraints: 25862 673.61/676.26 c #Conflicts: 638000 | #Constraints: 26893 673.61/676.26 c #Conflicts: 639000 | #Constraints: 27918 673.61/676.26 c #Conflicts: 640000 | #Constraints: 28943 673.61/676.26 c #Conflicts: 641000 | #Constraints: 29983 673.61/676.26 c #Conflicts: 642000 | #Constraints: 31015 673.61/676.26 c #Conflicts: 643000 | #Constraints: 32037 673.61/676.26 c #Conflicts: 644000 | #Constraints: 33067 673.61/676.26 c #Conflicts: 645000 | #Constraints: 34093 673.61/676.26 c #Conflicts: 646000 | #Constraints: 35112 673.61/676.26 c #Conflicts: 647000 | #Constraints: 36133 673.61/676.26 c #Conflicts: 648000 | #Constraints: 37164 673.61/676.26 c #Conflicts: 649000 | #Constraints: 38192 673.61/676.26 c #Conflicts: 650000 | #Constraints: 39222 673.61/676.26 c INPROCESSING 673.61/676.26 c GARBAGE COLLECT 673.61/676.26 c rational objective 48.5261 1102.97/1106.73 c #Conflicts: 651000 | #Constraints: 20983 1102.97/1106.73 c #Conflicts: 652000 | #Constraints: 21983 1102.97/1106.73 c #Conflicts: 653000 | #Constraints: 22983 1102.97/1106.73 c #Conflicts: 654000 | #Constraints: 23983 1102.97/1106.73 c #Conflicts: 655000 | #Constraints: 24984 1102.97/1106.73 c #Conflicts: 656000 | #Constraints: 25984 1102.97/1106.73 c #Conflicts: 657000 | #Constraints: 26984 1102.97/1106.73 c #Conflicts: 658000 | #Constraints: 27985 1102.97/1106.73 c #Conflicts: 659000 | #Constraints: 28985 1102.97/1106.73 c #Conflicts: 660000 | #Constraints: 29985 1102.97/1106.73 c #Conflicts: 661000 | #Constraints: 30985 1102.97/1106.73 c #Conflicts: 662000 | #Constraints: 31985 1102.97/1106.73 c #Conflicts: 663000 | #Constraints: 32985 1102.97/1106.73 c #Conflicts: 664000 | #Constraints: 33985 1102.97/1106.73 c #Conflicts: 665000 | #Constraints: 34985 1102.97/1106.73 c #Conflicts: 666000 | #Constraints: 35985 1102.97/1106.73 c #Conflicts: 667000 | #Constraints: 36985 1102.97/1106.73 c #Conflicts: 668000 | #Constraints: 37985 1102.97/1106.73 c #Conflicts: 669000 | #Constraints: 38985 1102.97/1106.73 c #Conflicts: 670000 | #Constraints: 39985 1102.97/1106.73 c #Conflicts: 671000 | #Constraints: 40985 1102.97/1106.73 c #Conflicts: 672000 | #Constraints: 41985 1102.97/1106.73 c #Conflicts: 673000 | #Constraints: 42985 1102.97/1106.73 c #Conflicts: 674000 | #Constraints: 43985 1102.97/1106.73 c #Conflicts: 675000 | #Constraints: 44985 1102.97/1106.73 c #Conflicts: 676000 | #Constraints: 45985 1102.97/1106.73 c #Conflicts: 677000 | #Constraints: 46985 1102.97/1106.73 c #Conflicts: 678000 | #Constraints: 47986 1102.97/1106.73 c #Conflicts: 679000 | #Constraints: 48987 1102.97/1106.73 c #Conflicts: 680000 | #Constraints: 49987 1102.97/1106.73 c #Conflicts: 681000 | #Constraints: 50987 1102.97/1106.73 c #Conflicts: 682000 | #Constraints: 51987 1102.97/1106.73 c #Conflicts: 683000 | #Constraints: 52987 1102.97/1106.73 c #Conflicts: 684000 | #Constraints: 53987 1102.97/1106.73 c #Conflicts: 685000 | #Constraints: 54987 1102.97/1106.73 c #Conflicts: 686000 | #Constraints: 55987 1102.97/1106.73 c #Conflicts: 687000 | #Constraints: 56987 1102.97/1106.73 c #Conflicts: 688000 | #Constraints: 57987 1102.97/1106.73 c #Conflicts: 689000 | #Constraints: 58987 1102.97/1106.73 c #Conflicts: 690000 | #Constraints: 59987 1102.97/1106.73 c #Conflicts: 691000 | #Constraints: 60987 1102.97/1106.73 c #Conflicts: 692000 | #Constraints: 61987 1102.97/1106.73 c #Conflicts: 693000 | #Constraints: 62987 1102.97/1106.73 c #Conflicts: 694000 | #Constraints: 63987 1102.97/1106.73 c #Conflicts: 695000 | #Constraints: 64987 1102.97/1106.73 c #Conflicts: 696000 | #Constraints: 65987 1102.97/1106.73 c #Conflicts: 697000 | #Constraints: 66987 1102.97/1106.73 c #Conflicts: 698000 | #Constraints: 67987 1102.97/1106.73 c #Conflicts: 699000 | #Constraints: 68987 1102.97/1106.73 c #Conflicts: 700000 | #Constraints: 69987 1102.97/1106.73 c #Conflicts: 701000 | #Constraints: 70987 1102.97/1106.73 c #Conflicts: 702000 | #Constraints: 71987 1102.97/1106.73 c #Conflicts: 703000 | #Constraints: 72987 1102.97/1106.73 c #Conflicts: 704000 | #Constraints: 73987 1102.97/1106.73 c #Conflicts: 705000 | #Constraints: 74987 1102.97/1106.73 c #Conflicts: 706000 | #Constraints: 75987 1102.97/1106.73 c #Conflicts: 707000 | #Constraints: 76987 1102.97/1106.73 c #Conflicts: 708000 | #Constraints: 77987 1102.97/1106.73 c #Conflicts: 709000 | #Constraints: 78988 1102.97/1106.73 c #Conflicts: 710000 | #Constraints: 79988 1102.97/1106.73 c #Conflicts: 711000 | #Constraints: 80988 1102.97/1106.73 c #Conflicts: 712000 | #Constraints: 81988 1102.97/1106.73 c #Conflicts: 713000 | #Constraints: 82988 1102.97/1106.73 c #Conflicts: 714000 | #Constraints: 83988 1102.97/1106.73 c #Conflicts: 715000 | #Constraints: 84988 1102.97/1106.73 c INPROCESSING 1102.97/1106.73 c GARBAGE COLLECT 1102.97/1106.73 c rational objective 48.5261 1124.60/1128.42 c #Conflicts: 716000 | #Constraints: 43670 1124.60/1128.42 c #Conflicts: 717000 | #Constraints: 44685 1124.60/1128.42 c #Conflicts: 718000 | #Constraints: 45729 1124.60/1128.42 c #Conflicts: 719000 | #Constraints: 46770 1124.60/1128.42 c #Conflicts: 720000 | #Constraints: 47819 1124.60/1128.42 c #Conflicts: 721000 | #Constraints: 48855 1124.60/1128.42 c #Conflicts: 722000 | #Constraints: 49889 1124.60/1128.42 c #Conflicts: 723000 | #Constraints: 50930 1124.60/1128.42 c #Conflicts: 724000 | #Constraints: 51957 1124.60/1128.42 c #Conflicts: 725000 | #Constraints: 52993 1124.60/1128.42 c #Conflicts: 726000 | #Constraints: 54020 1124.60/1128.42 c #Conflicts: 727000 | #Constraints: 55047 1124.60/1128.42 c #Conflicts: 728000 | #Constraints: 56083 1124.60/1128.42 c #Conflicts: 729000 | #Constraints: 57117 1124.60/1128.42 c #Conflicts: 730000 | #Constraints: 58151 1124.60/1128.42 c #Conflicts: 731000 | #Constraints: 59180 1124.60/1128.42 c #Conflicts: 732000 | #Constraints: 60211 1124.60/1128.42 c #Conflicts: 733000 | #Constraints: 61239 1124.60/1128.42 c #Conflicts: 734000 | #Constraints: 62275 1124.60/1128.42 c INPROCESSING 1124.60/1128.42 c GARBAGE COLLECT 1124.60/1128.42 c rational objective 48.5261 1141.85/1145.75 c #Conflicts: 735000 | #Constraints: 32344 1141.85/1145.75 c #Conflicts: 736000 | #Constraints: 33384 1141.85/1145.75 c #Conflicts: 737000 | #Constraints: 34423 1141.85/1145.75 c #Conflicts: 738000 | #Constraints: 35458 1141.85/1145.75 c #Conflicts: 739000 | #Constraints: 36488 1141.85/1145.75 c #Conflicts: 740000 | #Constraints: 37536 1141.85/1145.75 c #Conflicts: 741000 | #Constraints: 38581 1141.85/1145.75 c #Conflicts: 742000 | #Constraints: 39620 1141.85/1145.75 c #Conflicts: 743000 | #Constraints: 40652 1141.85/1145.75 c #Conflicts: 744000 | #Constraints: 41689 1141.85/1145.75 c #Conflicts: 745000 | #Constraints: 42726 1141.85/1145.75 c #Conflicts: 746000 | #Constraints: 43760 1141.85/1145.75 c #Conflicts: 747000 | #Constraints: 44788 1141.85/1145.75 c #Conflicts: 748000 | #Constraints: 45810 1141.85/1145.75 c #Conflicts: 749000 | #Constraints: 46841 1141.85/1145.75 c #Conflicts: 750000 | #Constraints: 47875 1141.85/1145.75 c #Conflicts: 751000 | #Constraints: 48909 1141.85/1145.75 c #Conflicts: 752000 | #Constraints: 49931 1141.85/1145.75 c #Conflicts: 753000 | #Constraints: 50956 1141.85/1145.75 c INPROCESSING 1141.85/1145.75 c GARBAGE COLLECT 1141.85/1145.75 c rational objective 48.5261 1235.78/1239.93 c #Conflicts: 754000 | #Constraints: 26624 1235.78/1239.93 c #Conflicts: 755000 | #Constraints: 27661 1235.78/1239.93 c #Conflicts: 756000 | #Constraints: 28693 1235.78/1239.93 c #Conflicts: 757000 | #Constraints: 29729 1235.78/1239.93 c #Conflicts: 758000 | #Constraints: 30774 1235.78/1239.93 c #Conflicts: 759000 | #Constraints: 31811 1235.78/1239.93 c #Conflicts: 760000 | #Constraints: 32836 1235.78/1239.93 c #Conflicts: 761000 | #Constraints: 33872 1235.78/1239.93 c #Conflicts: 762000 | #Constraints: 34903 1235.78/1239.93 c #Conflicts: 763000 | #Constraints: 35925 1235.78/1239.93 c #Conflicts: 764000 | #Constraints: 36953 1235.78/1239.93 c #Conflicts: 765000 | #Constraints: 37981 1235.78/1239.93 c #Conflicts: 766000 | #Constraints: 39002 1235.78/1239.93 c #Conflicts: 767000 | #Constraints: 40031 1235.78/1239.93 c #Conflicts: 768000 | #Constraints: 41062 1235.78/1239.93 c #Conflicts: 769000 | #Constraints: 42088 1235.78/1239.93 c #Conflicts: 770000 | #Constraints: 43111 1235.78/1239.93 c #Conflicts: 771000 | #Constraints: 44132 1235.78/1239.93 c #Conflicts: 772000 | #Constraints: 45156 1235.78/1239.93 c #Conflicts: 773000 | #Constraints: 46184 1235.78/1239.93 c #Conflicts: 774000 | #Constraints: 47205 1235.78/1239.93 c #Conflicts: 775000 | #Constraints: 48227 1235.78/1239.93 c #Conflicts: 776000 | #Constraints: 49254 1235.78/1239.93 c #Conflicts: 777000 | #Constraints: 50280 1235.78/1239.93 c #Conflicts: 778000 | #Constraints: 51307 1235.78/1239.93 c #Conflicts: 779000 | #Constraints: 52330 1235.78/1239.93 c #Conflicts: 780000 | #Constraints: 53371 1235.78/1239.93 c #Conflicts: 781000 | #Constraints: 54408 1235.78/1239.93 c #Conflicts: 782000 | #Constraints: 55444 1235.78/1239.93 c #Conflicts: 783000 | #Constraints: 56465 1235.78/1239.93 c #Conflicts: 784000 | #Constraints: 57493 1235.78/1239.93 c #Conflicts: 785000 | #Constraints: 58517 1235.78/1239.93 c #Conflicts: 786000 | #Constraints: 59543 1235.78/1239.93 c #Conflicts: 787000 | #Constraints: 60570 1235.78/1239.93 c #Conflicts: 788000 | #Constraints: 61589 1235.78/1239.93 c #Conflicts: 789000 | #Constraints: 62607 1235.78/1239.93 c #Conflicts: 790000 | #Constraints: 63629 1235.78/1239.93 c #Conflicts: 791000 | #Constraints: 64654 1235.78/1239.93 c #Conflicts: 792000 | #Constraints: 65676 1235.78/1239.93 c #Conflicts: 793000 | #Constraints: 66694 1235.78/1239.93 c #Conflicts: 794000 | #Constraints: 67717 1235.78/1239.93 c #Conflicts: 795000 | #Constraints: 68745 1235.78/1239.93 c #Conflicts: 796000 | #Constraints: 69769 1235.78/1239.93 c #Conflicts: 797000 | #Constraints: 70787 1235.78/1239.93 c #Conflicts: 798000 | #Constraints: 71807 1235.78/1239.93 c #Conflicts: 799000 | #Constraints: 72828 1235.78/1239.93 c #Conflicts: 800000 | #Constraints: 73848 1235.78/1239.93 c #Conflicts: 801000 | #Constraints: 74870 1235.78/1239.93 c #Conflicts: 802000 | #Constraints: 75893 1235.78/1239.93 c #Conflicts: 803000 | #Constraints: 76916 1235.78/1239.93 c #Conflicts: 804000 | #Constraints: 77935 1235.78/1239.93 c #Conflicts: 805000 | #Constraints: 78967 1235.78/1239.93 c #Conflicts: 806000 | #Constraints: 79998 1235.78/1239.93 c #Conflicts: 807000 | #Constraints: 81025 1235.78/1239.93 c #Conflicts: 808000 | #Constraints: 82042 1235.78/1239.93 c #Conflicts: 809000 | #Constraints: 83058 1235.78/1239.93 c #Conflicts: 810000 | #Constraints: 84075 1235.78/1239.93 c #Conflicts: 811000 | #Constraints: 85091 1235.78/1239.93 c #Conflicts: 812000 | #Constraints: 86104 1235.78/1239.93 c #Conflicts: 813000 | #Constraints: 87122 1235.78/1239.93 c #Conflicts: 814000 | #Constraints: 88147 1235.78/1239.93 c #Conflicts: 815000 | #Constraints: 89172 1235.78/1239.93 c #Conflicts: 816000 | #Constraints: 90186 1235.78/1239.93 c #Conflicts: 817000 | #Constraints: 91206 1235.78/1239.93 c #Conflicts: 818000 | #Constraints: 92226 1235.78/1239.93 c #Conflicts: 819000 | #Constraints: 93238 1235.78/1239.93 c #Conflicts: 820000 | #Constraints: 94255 1235.78/1239.93 c #Conflicts: 821000 | #Constraints: 95268 1235.78/1239.93 c #Conflicts: 822000 | #Constraints: 96294 1235.78/1239.93 c #Conflicts: 823000 | #Constraints: 97316 1235.78/1239.93 c INPROCESSING 1235.78/1239.93 c GARBAGE COLLECT 1235.78/1239.93 c rational objective 48.5261 1264.79/1269.09 c #Conflicts: 824000 | #Constraints: 49949 1264.79/1269.09 c #Conflicts: 825000 | #Constraints: 50975 1264.79/1269.09 c #Conflicts: 826000 | #Constraints: 51999 1264.79/1269.09 c #Conflicts: 827000 | #Constraints: 53034 1264.79/1269.09 c #Conflicts: 828000 | #Constraints: 54059 1264.79/1269.09 c #Conflicts: 829000 | #Constraints: 55080 1264.79/1269.09 c #Conflicts: 830000 | #Constraints: 56111 1264.79/1269.09 c #Conflicts: 831000 | #Constraints: 57137 1264.79/1269.09 c #Conflicts: 832000 | #Constraints: 58173 1264.79/1269.09 c #Conflicts: 833000 | #Constraints: 59201 1264.79/1269.09 c #Conflicts: 834000 | #Constraints: 60224 1264.79/1269.09 c #Conflicts: 835000 | #Constraints: 61247 1264.79/1269.09 c #Conflicts: 836000 | #Constraints: 62273 1264.79/1269.09 c #Conflicts: 837000 | #Constraints: 63295 1264.79/1269.09 c #Conflicts: 838000 | #Constraints: 64311 1264.79/1269.09 c #Conflicts: 839000 | #Constraints: 65327 1264.79/1269.09 c #Conflicts: 840000 | #Constraints: 66350 1264.79/1269.09 c #Conflicts: 841000 | #Constraints: 67369 1264.79/1269.09 c #Conflicts: 842000 | #Constraints: 68389 1264.79/1269.09 c #Conflicts: 843000 | #Constraints: 69422 1264.79/1269.09 c INPROCESSING 1264.79/1269.09 c GARBAGE COLLECT 1264.79/1269.09 c rational objective 48.5261 1282.52/1286.85 c #Conflicts: 844000 | #Constraints: 35797 1282.52/1286.85 c #Conflicts: 845000 | #Constraints: 36828 1282.52/1286.85 c #Conflicts: 846000 | #Constraints: 37850 1282.52/1286.85 c #Conflicts: 847000 | #Constraints: 38871 1282.52/1286.85 c #Conflicts: 848000 | #Constraints: 39889 1282.52/1286.85 c #Conflicts: 849000 | #Constraints: 40905 1282.52/1286.85 c #Conflicts: 850000 | #Constraints: 41922 1282.52/1286.85 c #Conflicts: 851000 | #Constraints: 42936 1282.52/1286.85 c #Conflicts: 852000 | #Constraints: 43954 1282.52/1286.85 c #Conflicts: 853000 | #Constraints: 44981 1282.52/1286.85 c #Conflicts: 854000 | #Constraints: 45998 1282.52/1286.85 c #Conflicts: 855000 | #Constraints: 47016 1282.52/1286.85 c #Conflicts: 856000 | #Constraints: 48032 1282.52/1286.85 c #Conflicts: 857000 | #Constraints: 49053 1282.52/1286.85 c #Conflicts: 858000 | #Constraints: 50066 1282.52/1286.85 c #Conflicts: 859000 | #Constraints: 51086 1282.52/1286.85 c #Conflicts: 860000 | #Constraints: 52110 1282.52/1286.85 c #Conflicts: 861000 | #Constraints: 53137 1282.52/1286.85 c #Conflicts: 862000 | #Constraints: 54163 1282.52/1286.85 c #Conflicts: 863000 | #Constraints: 55186 1282.52/1286.85 c #Conflicts: 864000 | #Constraints: 56214 1282.52/1286.85 c INPROCESSING 1282.52/1286.85 c GARBAGE COLLECT 1282.52/1286.85 c rational objective 48.5261 1295.59/1299.99 c #Conflicts: 865000 | #Constraints: 29401 1295.59/1299.99 c #Conflicts: 866000 | #Constraints: 30417 1295.59/1299.99 c #Conflicts: 867000 | #Constraints: 31434 1295.59/1299.99 c #Conflicts: 868000 | #Constraints: 32458 1295.59/1299.99 c #Conflicts: 869000 | #Constraints: 33476 1295.59/1299.99 c #Conflicts: 870000 | #Constraints: 34496 1295.59/1299.99 c #Conflicts: 871000 | #Constraints: 35514 1295.59/1299.99 c #Conflicts: 872000 | #Constraints: 36543 1295.59/1299.99 c #Conflicts: 873000 | #Constraints: 37559 1295.59/1299.99 c #Conflicts: 874000 | #Constraints: 38575 1295.59/1299.99 c #Conflicts: 875000 | #Constraints: 39598 1295.59/1299.99 c #Conflicts: 876000 | #Constraints: 40621 1295.59/1299.99 c #Conflicts: 877000 | #Constraints: 41639 1295.59/1299.99 c #Conflicts: 878000 | #Constraints: 42652 1295.59/1299.99 c #Conflicts: 879000 | #Constraints: 43681 1295.59/1299.99 c #Conflicts: 880000 | #Constraints: 44702 1295.59/1299.99 c #Conflicts: 881000 | #Constraints: 45727 1295.59/1299.99 c #Conflicts: 882000 | #Constraints: 46755 1295.59/1299.99 c #Conflicts: 883000 | #Constraints: 47784 1295.59/1299.99 c #Conflicts: 884000 | #Constraints: 48803 1295.59/1299.99 c #Conflicts: 885000 | #Constraints: 49824 1295.59/1299.99 c INPROCESSING 1295.59/1299.99 c GARBAGE COLLECT 1295.59/1299.99 c rational objective 48.5261 1395.48/1400.17 c #Conflicts: 886000 | #Constraints: 26520 1395.48/1400.17 c #Conflicts: 887000 | #Constraints: 27561 1395.48/1400.17 c #Conflicts: 888000 | #Constraints: 28601 1395.48/1400.17 c #Conflicts: 889000 | #Constraints: 29640 1395.48/1400.17 c #Conflicts: 890000 | #Constraints: 30670 1395.48/1400.17 c #Conflicts: 891000 | #Constraints: 31694 1395.48/1400.17 c #Conflicts: 892000 | #Constraints: 32723 1395.48/1400.17 c #Conflicts: 893000 | #Constraints: 33751 1395.48/1400.17 c #Conflicts: 894000 | #Constraints: 34773 1395.48/1400.17 c #Conflicts: 895000 | #Constraints: 35798 1395.48/1400.17 c #Conflicts: 896000 | #Constraints: 36827 1395.48/1400.17 c #Conflicts: 897000 | #Constraints: 37856 1395.48/1400.17 c #Conflicts: 898000 | #Constraints: 38888 1395.48/1400.17 c #Conflicts: 899000 | #Constraints: 39909 1395.48/1400.17 c #Conflicts: 900000 | #Constraints: 40929 1395.48/1400.17 c #Conflicts: 901000 | #Constraints: 41950 1395.48/1400.17 c #Conflicts: 902000 | #Constraints: 42975 1395.48/1400.17 c #Conflicts: 903000 | #Constraints: 44001 1395.48/1400.17 c #Conflicts: 904000 | #Constraints: 45019 1395.48/1400.17 c #Conflicts: 905000 | #Constraints: 46051 1395.48/1400.17 c #Conflicts: 906000 | #Constraints: 47079 1395.48/1400.17 c #Conflicts: 907000 | #Constraints: 48105 1395.48/1400.17 c #Conflicts: 908000 | #Constraints: 49135 1395.48/1400.17 c #Conflicts: 909000 | #Constraints: 50165 1395.48/1400.17 c #Conflicts: 910000 | #Constraints: 51192 1395.48/1400.17 c #Conflicts: 911000 | #Constraints: 52214 1395.48/1400.17 c #Conflicts: 912000 | #Constraints: 53234 1395.48/1400.17 c #Conflicts: 913000 | #Constraints: 54261 1395.48/1400.17 c #Conflicts: 914000 | #Constraints: 55284 1395.48/1400.17 c #Conflicts: 915000 | #Constraints: 56299 1395.48/1400.17 c #Conflicts: 916000 | #Constraints: 57327 1395.48/1400.17 c #Conflicts: 917000 | #Constraints: 58355 1395.48/1400.17 c #Conflicts: 918000 | #Constraints: 59370 1395.48/1400.17 c #Conflicts: 919000 | #Constraints: 60393 1395.48/1400.17 c #Conflicts: 920000 | #Constraints: 61410 1395.48/1400.17 c #Conflicts: 921000 | #Constraints: 62432 1395.48/1400.17 c #Conflicts: 922000 | #Constraints: 63454 1395.48/1400.17 c #Conflicts: 923000 | #Constraints: 64477 1395.48/1400.17 c #Conflicts: 924000 | #Constraints: 65502 1395.48/1400.17 c #Conflicts: 925000 | #Constraints: 66529 1395.48/1400.17 c #Conflicts: 926000 | #Constraints: 67557 1395.48/1400.17 c #Conflicts: 927000 | #Constraints: 68585 1395.48/1400.17 c #Conflicts: 928000 | #Constraints: 69617 1395.48/1400.17 c #Conflicts: 929000 | #Constraints: 70648 1395.48/1400.17 c #Conflicts: 930000 | #Constraints: 71673 1395.48/1400.17 c #Conflicts: 931000 | #Constraints: 72698 1395.48/1400.17 c #Conflicts: 932000 | #Constraints: 73723 1395.48/1400.17 c #Conflicts: 933000 | #Constraints: 74752 1395.48/1400.17 c #Conflicts: 934000 | #Constraints: 75782 1395.48/1400.17 c #Conflicts: 935000 | #Constraints: 76798 1395.48/1400.17 c #Conflicts: 936000 | #Constraints: 77820 1395.48/1400.17 c #Conflicts: 937000 | #Constraints: 78848 1395.48/1400.17 c #Conflicts: 938000 | #Constraints: 79872 1395.48/1400.17 c #Conflicts: 939000 | #Constraints: 80900 1395.48/1400.17 c #Conflicts: 940000 | #Constraints: 81925 1395.48/1400.17 c #Conflicts: 941000 | #Constraints: 82949 1395.48/1400.17 c #Conflicts: 942000 | #Constraints: 83973 1395.48/1400.17 c #Conflicts: 943000 | #Constraints: 85001 1395.48/1400.17 c #Conflicts: 944000 | #Constraints: 86022 1395.48/1400.17 c #Conflicts: 945000 | #Constraints: 87048 1395.48/1400.17 c #Conflicts: 946000 | #Constraints: 88066 1395.48/1400.17 c #Conflicts: 947000 | #Constraints: 89099 1395.48/1400.17 c #Conflicts: 948000 | #Constraints: 90127 1395.48/1400.17 c #Conflicts: 949000 | #Constraints: 91157 1395.48/1400.17 c #Conflicts: 950000 | #Constraints: 92180 1395.48/1400.17 c #Conflicts: 951000 | #Constraints: 93208 1395.48/1400.17 c #Conflicts: 952000 | #Constraints: 94239 1395.48/1400.17 c #Conflicts: 953000 | #Constraints: 95261 1395.48/1400.17 c #Conflicts: 954000 | #Constraints: 96285 1395.48/1400.17 c #Conflicts: 955000 | #Constraints: 97312 1395.48/1400.17 c #Conflicts: 956000 | #Constraints: 98341 1395.48/1400.17 c #Conflicts: 957000 | #Constraints: 99376 1395.48/1400.17 c #Conflicts: 958000 | #Constraints: 100406 1395.48/1400.17 c #Conflicts: 959000 | #Constraints: 101431 1395.48/1400.17 c #Conflicts: 960000 | #Constraints: 102462 1395.48/1400.17 c INPROCESSING 1395.48/1400.17 c GARBAGE COLLECT 1395.48/1400.17 c rational objective 48.5261 1422.70/1427.47 c #Conflicts: 961000 | #Constraints: 52628 1422.70/1427.47 c #Conflicts: 962000 | #Constraints: 53652 1422.70/1427.47 c #Conflicts: 963000 | #Constraints: 54676 1422.70/1427.47 c #Conflicts: 964000 | #Constraints: 55700 1422.70/1427.47 c #Conflicts: 965000 | #Constraints: 56730 1422.70/1427.47 c #Conflicts: 966000 | #Constraints: 57756 1422.70/1427.47 c #Conflicts: 967000 | #Constraints: 58775 1422.70/1427.47 c #Conflicts: 968000 | #Constraints: 59787 1422.70/1427.47 c #Conflicts: 969000 | #Constraints: 60804 1422.70/1427.47 c #Conflicts: 970000 | #Constraints: 61823 1422.70/1427.47 c #Conflicts: 971000 | #Constraints: 62851 1422.70/1427.47 c #Conflicts: 972000 | #Constraints: 63878 1422.70/1427.47 c #Conflicts: 973000 | #Constraints: 64902 1422.70/1427.47 c #Conflicts: 974000 | #Constraints: 65922 1422.70/1427.47 c #Conflicts: 975000 | #Constraints: 66949 1422.70/1427.47 c #Conflicts: 976000 | #Constraints: 67979 1422.70/1427.47 c #Conflicts: 977000 | #Constraints: 69003 1422.70/1427.47 c #Conflicts: 978000 | #Constraints: 70030 1422.70/1427.47 c #Conflicts: 979000 | #Constraints: 71053 1422.70/1427.47 c #Conflicts: 980000 | #Constraints: 72089 1422.70/1427.47 c #Conflicts: 981000 | #Constraints: 73116 1422.70/1427.47 c #Conflicts: 982000 | #Constraints: 74144 1422.70/1427.47 c INPROCESSING 1422.70/1427.47 c GARBAGE COLLECT 1422.70/1427.47 c rational objective 48.5261 1444.13/1448.92 c #Conflicts: 983000 | #Constraints: 38419 1444.13/1448.92 c #Conflicts: 984000 | #Constraints: 39443 1444.13/1448.92 c #Conflicts: 985000 | #Constraints: 40472 1444.13/1448.92 c #Conflicts: 986000 | #Constraints: 41504 1444.13/1448.92 c #Conflicts: 987000 | #Constraints: 42533 1444.13/1448.92 c #Conflicts: 988000 | #Constraints: 43559 1444.13/1448.92 c #Conflicts: 989000 | #Constraints: 44590 1444.13/1448.92 c #Conflicts: 990000 | #Constraints: 45615 1444.13/1448.92 c #Conflicts: 991000 | #Constraints: 46645 1444.13/1448.92 c #Conflicts: 992000 | #Constraints: 47675 1444.13/1448.92 c #Conflicts: 993000 | #Constraints: 48694 1444.13/1448.92 c #Conflicts: 994000 | #Constraints: 49717 1444.13/1448.92 c #Conflicts: 995000 | #Constraints: 50751 1444.13/1448.92 c #Conflicts: 996000 | #Constraints: 51782 1444.13/1448.92 c #Conflicts: 997000 | #Constraints: 52808 1444.13/1448.92 c #Conflicts: 998000 | #Constraints: 53827 1444.13/1448.92 c #Conflicts: 999000 | #Constraints: 54850 1444.13/1448.92 c #Conflicts: 1000000 | #Constraints: 55863 1444.13/1448.92 c #Conflicts: 1001000 | #Constraints: 56890 1444.13/1448.92 c #Conflicts: 1002000 | #Constraints: 57915 1444.13/1448.92 c #Conflicts: 1003000 | #Constraints: 58940 1444.13/1448.92 c #Conflicts: 1004000 | #Constraints: 59958 1444.13/1448.92 c INPROCESSING 1444.13/1448.92 c GARBAGE COLLECT 1444.13/1448.92 c rational objective 48.5261 1462.48/1467.38 c #Conflicts: 1005000 | #Constraints: 31167 1462.48/1467.38 c #Conflicts: 1006000 | #Constraints: 32199 1462.48/1467.38 c #Conflicts: 1007000 | #Constraints: 33231 1462.48/1467.38 c #Conflicts: 1008000 | #Constraints: 34261 1462.48/1467.38 c #Conflicts: 1009000 | #Constraints: 35299 1462.48/1467.38 c #Conflicts: 1010000 | #Constraints: 36328 1462.48/1467.38 c #Conflicts: 1011000 | #Constraints: 37357 1462.48/1467.38 c #Conflicts: 1012000 | #Constraints: 38390 1462.48/1467.38 c #Conflicts: 1013000 | #Constraints: 39421 1462.48/1467.38 c #Conflicts: 1014000 | #Constraints: 40453 1462.48/1467.38 c #Conflicts: 1015000 | #Constraints: 41481 1462.48/1467.38 c #Conflicts: 1016000 | #Constraints: 42513 1462.48/1467.38 c #Conflicts: 1017000 | #Constraints: 43538 1462.48/1467.38 c #Conflicts: 1018000 | #Constraints: 44563 1462.48/1467.38 c #Conflicts: 1019000 | #Constraints: 45592 1462.48/1467.38 c #Conflicts: 1020000 | #Constraints: 46615 1462.48/1467.38 c #Conflicts: 1021000 | #Constraints: 47639 1462.48/1467.38 c #Conflicts: 1022000 | #Constraints: 48664 1462.48/1467.38 c #Conflicts: 1023000 | #Constraints: 49680 1462.48/1467.38 c #Conflicts: 1024000 | #Constraints: 50700 1462.48/1467.38 c #Conflicts: 1025000 | #Constraints: 51719 1462.48/1467.38 c #Conflicts: 1026000 | #Constraints: 52755 1462.48/1467.38 c INPROCESSING 1462.48/1467.38 c GARBAGE COLLECT 1462.48/1467.38 c rational objective 48.5261 1477.92/1482.84 c #Conflicts: 1027000 | #Constraints: 27315 1477.92/1482.84 c #Conflicts: 1028000 | #Constraints: 28332 1477.92/1482.84 c #Conflicts: 1029000 | #Constraints: 29354 1477.92/1482.84 c #Conflicts: 1030000 | #Constraints: 30383 1477.92/1482.84 c #Conflicts: 1031000 | #Constraints: 31411 1477.92/1482.84 c #Conflicts: 1032000 | #Constraints: 32434 1477.92/1482.84 c #Conflicts: 1033000 | #Constraints: 33460 1477.92/1482.84 c #Conflicts: 1034000 | #Constraints: 34479 1477.92/1482.84 c #Conflicts: 1035000 | #Constraints: 35496 1477.92/1482.84 c #Conflicts: 1036000 | #Constraints: 36524 1477.92/1482.84 c #Conflicts: 1037000 | #Constraints: 37558 1477.92/1482.84 c #Conflicts: 1038000 | #Constraints: 38580 1477.92/1482.84 c #Conflicts: 1039000 | #Constraints: 39608 1477.92/1482.84 c #Conflicts: 1040000 | #Constraints: 40635 1477.92/1482.84 c #Conflicts: 1041000 | #Constraints: 41662 1477.92/1482.84 c #Conflicts: 1042000 | #Constraints: 42693 1477.92/1482.84 c #Conflicts: 1043000 | #Constraints: 43718 1477.92/1482.84 c #Conflicts: 1044000 | #Constraints: 44740 1477.92/1482.84 c #Conflicts: 1045000 | #Constraints: 45764 1477.92/1482.84 c #Conflicts: 1046000 | #Constraints: 46784 1477.92/1482.84 c #Conflicts: 1047000 | #Constraints: 47808 1477.92/1482.84 c #Conflicts: 1048000 | #Constraints: 48833 1477.92/1482.84 c #Conflicts: 1049000 | #Constraints: 49860 1477.92/1482.84 c INPROCESSING 1477.92/1482.84 c GARBAGE COLLECT 1477.92/1482.84 c rational objective 48.5261 1601.54/1606.82 c #Conflicts: 1050000 | #Constraints: 26012 1601.54/1606.82 c #Conflicts: 1051000 | #Constraints: 27012 1601.54/1606.82 c #Conflicts: 1052000 | #Constraints: 28012 1601.54/1606.82 c #Conflicts: 1053000 | #Constraints: 29013 1601.54/1606.82 c #Conflicts: 1054000 | #Constraints: 30013 1601.54/1606.82 c #Conflicts: 1055000 | #Constraints: 31013 1601.54/1606.82 c #Conflicts: 1056000 | #Constraints: 32013 1601.54/1606.82 c #Conflicts: 1057000 | #Constraints: 33013 1601.54/1606.82 c #Conflicts: 1058000 | #Constraints: 34013 1601.54/1606.82 c #Conflicts: 1059000 | #Constraints: 35013 1601.54/1606.82 c #Conflicts: 1060000 | #Constraints: 36014 1601.54/1606.82 c #Conflicts: 1061000 | #Constraints: 37014 1601.54/1606.82 c #Conflicts: 1062000 | #Constraints: 38014 1601.54/1606.82 c #Conflicts: 1063000 | #Constraints: 39014 1601.54/1606.82 c #Conflicts: 1064000 | #Constraints: 40014 1601.54/1606.82 c #Conflicts: 1065000 | #Constraints: 41014 1601.54/1606.82 c #Conflicts: 1066000 | #Constraints: 42014 1601.54/1606.82 c #Conflicts: 1067000 | #Constraints: 43014 1601.54/1606.82 c #Conflicts: 1068000 | #Constraints: 44014 1601.54/1606.82 c #Conflicts: 1069000 | #Constraints: 45014 1601.54/1606.82 c #Conflicts: 1070000 | #Constraints: 46014 1601.54/1606.82 c #Conflicts: 1071000 | #Constraints: 47014 1601.54/1606.82 c #Conflicts: 1072000 | #Constraints: 48014 1601.54/1606.82 c INPROCESSING 1601.54/1606.82 c GARBAGE COLLECT 1601.54/1606.82 c rational objective 48.5261 1746.00/1751.73 c #Conflicts: 1073000 | #Constraints: 28591 1746.00/1751.73 c #Conflicts: 1074000 | #Constraints: 29630 1746.00/1751.73 c #Conflicts: 1075000 | #Constraints: 30664 1746.00/1751.73 c #Conflicts: 1076000 | #Constraints: 31707 1746.00/1751.73 c #Conflicts: 1077000 | #Constraints: 32742 1746.00/1751.73 c #Conflicts: 1078000 | #Constraints: 33778 1746.00/1751.73 c #Conflicts: 1079000 | #Constraints: 34818 1746.00/1751.73 c #Conflicts: 1080000 | #Constraints: 35852 1746.00/1751.73 c #Conflicts: 1081000 | #Constraints: 36883 1746.00/1751.73 c #Conflicts: 1082000 | #Constraints: 37912 1746.00/1751.73 c #Conflicts: 1083000 | #Constraints: 38935 1746.00/1751.73 c #Conflicts: 1084000 | #Constraints: 39960 1746.00/1751.73 c #Conflicts: 1085000 | #Constraints: 40989 1746.00/1751.73 c #Conflicts: 1086000 | #Constraints: 42022 1746.00/1751.73 c #Conflicts: 1087000 | #Constraints: 43054 1746.00/1751.73 c #Conflicts: 1088000 | #Constraints: 44078 1746.00/1751.73 c #Conflicts: 1089000 | #Constraints: 45111 1746.00/1751.73 c #Conflicts: 1090000 | #Constraints: 46140 1746.00/1751.73 c #Conflicts: 1091000 | #Constraints: 47173 1746.00/1751.73 c #Conflicts: 1092000 | #Constraints: 48203 1746.00/1751.73 c #Conflicts: 1093000 | #Constraints: 49231 1746.00/1751.73 c #Conflicts: 1094000 | #Constraints: 50265 1746.00/1751.73 c #Conflicts: 1095000 | #Constraints: 51288 1746.00/1751.73 c #Conflicts: 1096000 | #Constraints: 52300 1746.00/1751.73 c #Conflicts: 1097000 | #Constraints: 53318 1746.00/1751.73 c #Conflicts: 1098000 | #Constraints: 54347 1746.00/1751.73 c #Conflicts: 1099000 | #Constraints: 55368 1746.00/1751.73 c #Conflicts: 1100000 | #Constraints: 56398 1746.00/1751.73 c #Conflicts: 1101000 | #Constraints: 57423 1746.00/1751.73 c #Conflicts: 1102000 | #Constraints: 58448 1746.00/1751.73 c #Conflicts: 1103000 | #Constraints: 59477 1746.00/1751.73 c #Conflicts: 1104000 | #Constraints: 60500 1746.00/1751.73 c #Conflicts: 1105000 | #Constraints: 61531 1746.00/1751.73 c #Conflicts: 1106000 | #Constraints: 62552 1746.00/1751.73 c #Conflicts: 1107000 | #Constraints: 63571 1746.00/1751.73 c #Conflicts: 1108000 | #Constraints: 64606 1746.00/1751.73 c #Conflicts: 1109000 | #Constraints: 65644 1746.00/1751.73 c #Conflicts: 1110000 | #Constraints: 66665 1746.00/1751.73 c #Conflicts: 1111000 | #Constraints: 67683 1746.00/1751.73 c #Conflicts: 1112000 | #Constraints: 68700 1746.00/1751.73 c #Conflicts: 1113000 | #Constraints: 69725 1746.00/1751.73 c #Conflicts: 1114000 | #Constraints: 70749 1746.00/1751.73 c #Conflicts: 1115000 | #Constraints: 71771 1746.00/1751.73 c #Conflicts: 1116000 | #Constraints: 72798 1746.00/1751.73 c #Conflicts: 1117000 | #Constraints: 73826 1746.00/1751.73 c #Conflicts: 1118000 | #Constraints: 74840 1746.00/1751.73 c #Conflicts: 1119000 | #Constraints: 75858 1746.00/1751.73 c #Conflicts: 1120000 | #Constraints: 76868 1746.00/1751.73 c #Conflicts: 1121000 | #Constraints: 77885 1746.00/1751.73 c #Conflicts: 1122000 | #Constraints: 78907 1746.00/1751.73 c #Conflicts: 1123000 | #Constraints: 79926 1746.00/1751.73 c #Conflicts: 1124000 | #Constraints: 80954 1746.00/1751.73 c #Conflicts: 1125000 | #Constraints: 81975 1746.00/1751.73 c #Conflicts: 1126000 | #Constraints: 82993 1746.00/1751.73 c #Conflicts: 1127000 | #Constraints: 84024 1746.00/1751.73 c #Conflicts: 1128000 | #Constraints: 85041 1746.00/1751.73 c #Conflicts: 1129000 | #Constraints: 86059 1746.00/1751.73 c #Conflicts: 1130000 | #Constraints: 87076 1746.00/1751.73 c #Conflicts: 1131000 | #Constraints: 88099 1746.00/1751.73 c #Conflicts: 1132000 | #Constraints: 89121 1746.00/1751.73 c #Conflicts: 1133000 | #Constraints: 90143 1746.00/1751.73 c #Conflicts: 1134000 | #Constraints: 91165 1746.00/1751.73 c #Conflicts: 1135000 | #Constraints: 92189 1746.00/1751.73 c #Conflicts: 1136000 | #Constraints: 93212 1746.00/1751.73 c #Conflicts: 1137000 | #Constraints: 94231 1746.00/1751.73 c #Conflicts: 1138000 | #Constraints: 95256 1746.00/1751.73 c #Conflicts: 1139000 | #Constraints: 96281 1746.00/1751.73 c #Conflicts: 1140000 | #Constraints: 97301 1746.00/1751.73 c #Conflicts: 1141000 | #Constraints: 98324 1746.00/1751.73 c #Conflicts: 1142000 | #Constraints: 99349 1746.00/1751.73 c #Conflicts: 1143000 | #Constraints: 100367 1746.00/1751.73 c #Conflicts: 1144000 | #Constraints: 101395 1746.00/1751.73 c #Conflicts: 1145000 | #Constraints: 102424 1746.00/1751.73 c #Conflicts: 1146000 | #Constraints: 103448 1746.00/1751.73 c #Conflicts: 1147000 | #Constraints: 104469 1746.00/1751.73 c #Conflicts: 1148000 | #Constraints: 105492 1746.00/1751.73 c #Conflicts: 1149000 | #Constraints: 106505 1746.00/1751.73 c #Conflicts: 1150000 | #Constraints: 107524 1746.00/1751.73 c #Conflicts: 1151000 | #Constraints: 108542 1759.95/1765.79 c #Conflicts: 1152000 | #Constraints: 109562 1759.95/1765.79 c #Conflicts: 1153000 | #Constraints: 110585 1759.95/1765.79 c #Conflicts: 1154000 | #Constraints: 111610 1759.95/1765.79 c #Conflicts: 1155000 | #Constraints: 112628 1759.95/1765.79 c INPROCESSING 1759.95/1765.79 c GARBAGE COLLECT 1759.95/1765.79 c rational objective 48.5261 1972.26/1978.72 c #Conflicts: 1156000 | #Constraints: 57695 1972.26/1978.72 c #Conflicts: 1157000 | #Constraints: 58695 1972.26/1978.72 c #Conflicts: 1158000 | #Constraints: 59695 1972.26/1978.72 c #Conflicts: 1159000 | #Constraints: 60695 1972.26/1978.72 c #Conflicts: 1160000 | #Constraints: 61695 1972.26/1978.72 c #Conflicts: 1161000 | #Constraints: 62695 1972.26/1978.72 c #Conflicts: 1162000 | #Constraints: 63696 1972.26/1978.72 c #Conflicts: 1163000 | #Constraints: 64696 1972.26/1978.72 c #Conflicts: 1164000 | #Constraints: 65696 1972.26/1978.72 c #Conflicts: 1165000 | #Constraints: 66696 1972.26/1978.72 c #Conflicts: 1166000 | #Constraints: 67696 1972.26/1978.72 c #Conflicts: 1167000 | #Constraints: 68696 1972.26/1978.72 c #Conflicts: 1168000 | #Constraints: 69696 1972.26/1978.72 c #Conflicts: 1169000 | #Constraints: 70696 1972.26/1978.72 c #Conflicts: 1170000 | #Constraints: 71696 1972.26/1978.72 c #Conflicts: 1171000 | #Constraints: 72696 1972.26/1978.72 c #Conflicts: 1172000 | #Constraints: 73696 1972.26/1978.72 c #Conflicts: 1173000 | #Constraints: 74696 1972.26/1978.72 c #Conflicts: 1174000 | #Constraints: 75696 1972.26/1978.72 c #Conflicts: 1175000 | #Constraints: 76696 1972.26/1978.72 c #Conflicts: 1176000 | #Constraints: 77696 1972.26/1978.72 c #Conflicts: 1177000 | #Constraints: 78696 1972.26/1978.72 c #Conflicts: 1178000 | #Constraints: 79696 1972.26/1978.72 c #Conflicts: 1179000 | #Constraints: 80696 1972.26/1978.72 c INPROCESSING 1972.26/1978.72 c GARBAGE COLLECT 1972.26/1978.72 c rational objective 48.5261 1997.28/2003.88 c #Conflicts: 1180000 | #Constraints: 41682 1997.28/2003.88 c #Conflicts: 1181000 | #Constraints: 42710 1997.28/2003.88 c #Conflicts: 1182000 | #Constraints: 43746 1997.28/2003.88 c #Conflicts: 1183000 | #Constraints: 44779 1997.28/2003.88 c #Conflicts: 1184000 | #Constraints: 45807 1997.28/2003.88 c #Conflicts: 1185000 | #Constraints: 46839 1997.28/2003.88 c #Conflicts: 1186000 | #Constraints: 47868 1997.28/2003.88 c #Conflicts: 1187000 | #Constraints: 48900 1997.28/2003.88 c #Conflicts: 1188000 | #Constraints: 49930 1997.28/2003.88 c #Conflicts: 1189000 | #Constraints: 50967 1997.28/2003.88 c #Conflicts: 1190000 | #Constraints: 52006 1997.28/2003.88 c #Conflicts: 1191000 | #Constraints: 53041 1997.28/2003.88 c #Conflicts: 1192000 | #Constraints: 54056 1997.28/2003.88 c #Conflicts: 1193000 | #Constraints: 55074 1997.28/2003.88 c #Conflicts: 1194000 | #Constraints: 56101 1997.28/2003.88 c #Conflicts: 1195000 | #Constraints: 57130 1997.28/2003.88 c #Conflicts: 1196000 | #Constraints: 58156 1997.28/2003.88 c #Conflicts: 1197000 | #Constraints: 59185 1997.28/2003.88 c #Conflicts: 1198000 | #Constraints: 60223 1997.28/2003.88 c #Conflicts: 1199000 | #Constraints: 61260 1997.28/2003.88 c #Conflicts: 1200000 | #Constraints: 62279 1997.28/2003.88 c #Conflicts: 1201000 | #Constraints: 63301 1997.28/2003.88 c #Conflicts: 1202000 | #Constraints: 64329 1997.28/2003.88 c #Conflicts: 1203000 | #Constraints: 65356 1997.28/2003.88 c INPROCESSING 1997.28/2003.88 c GARBAGE COLLECT 1997.28/2003.88 c rational objective 48.5261 2023.29/2029.95 c #Conflicts: 1204000 | #Constraints: 33756 2023.29/2029.95 c #Conflicts: 1205000 | #Constraints: 34786 2023.29/2029.95 c #Conflicts: 1206000 | #Constraints: 35831 2023.29/2029.95 c #Conflicts: 1207000 | #Constraints: 36881 2023.29/2029.95 c #Conflicts: 1208000 | #Constraints: 37925 2023.29/2029.95 c #Conflicts: 1209000 | #Constraints: 38969 2023.29/2029.95 c #Conflicts: 1210000 | #Constraints: 40003 2023.29/2029.95 c #Conflicts: 1211000 | #Constraints: 41040 2023.29/2029.95 c #Conflicts: 1212000 | #Constraints: 42079 2023.29/2029.95 c #Conflicts: 1213000 | #Constraints: 43117 2023.29/2029.95 c #Conflicts: 1214000 | #Constraints: 44145 2023.29/2029.95 c #Conflicts: 1215000 | #Constraints: 45180 2023.29/2029.95 c #Conflicts: 1216000 | #Constraints: 46210 2023.29/2029.95 c #Conflicts: 1217000 | #Constraints: 47233 2023.29/2029.95 c #Conflicts: 1218000 | #Constraints: 48275 2023.29/2029.95 c #Conflicts: 1219000 | #Constraints: 49315 2023.29/2029.95 c #Conflicts: 1220000 | #Constraints: 50352 2023.29/2029.95 c #Conflicts: 1221000 | #Constraints: 51373 2023.29/2029.95 c #Conflicts: 1222000 | #Constraints: 52403 2023.29/2029.95 c #Conflicts: 1223000 | #Constraints: 53427 2023.29/2029.95 c #Conflicts: 1224000 | #Constraints: 54453 2023.29/2029.95 c #Conflicts: 1225000 | #Constraints: 55487 2023.29/2029.95 c #Conflicts: 1226000 | #Constraints: 56508 2023.29/2029.95 c #Conflicts: 1227000 | #Constraints: 57535 2023.29/2029.95 c #Conflicts: 1228000 | #Constraints: 58570 2023.29/2029.95 c INPROCESSING 2023.29/2029.95 c GARBAGE COLLECT 2023.29/2029.95 c rational objective 48.5261 2172.02/2179.12 c #Conflicts: 1229000 | #Constraints: 31758 2172.02/2179.12 c #Conflicts: 1230000 | #Constraints: 32792 2172.02/2179.12 c #Conflicts: 1231000 | #Constraints: 33843 2172.02/2179.12 c #Conflicts: 1232000 | #Constraints: 34881 2172.02/2179.12 c #Conflicts: 1233000 | #Constraints: 35920 2172.02/2179.12 c #Conflicts: 1234000 | #Constraints: 36950 2172.02/2179.12 c #Conflicts: 1235000 | #Constraints: 37980 2172.02/2179.12 c #Conflicts: 1236000 | #Constraints: 39014 2172.02/2179.12 c #Conflicts: 1237000 | #Constraints: 40045 2172.02/2179.12 c #Conflicts: 1238000 | #Constraints: 41072 2172.02/2179.12 c #Conflicts: 1239000 | #Constraints: 42100 2172.02/2179.12 c #Conflicts: 1240000 | #Constraints: 43134 2172.02/2179.12 c #Conflicts: 1241000 | #Constraints: 44170 2172.02/2179.12 c #Conflicts: 1242000 | #Constraints: 45197 2172.02/2179.12 c #Conflicts: 1243000 | #Constraints: 46221 2172.02/2179.12 c #Conflicts: 1244000 | #Constraints: 47258 2172.02/2179.12 c #Conflicts: 1245000 | #Constraints: 48286 2172.02/2179.12 c #Conflicts: 1246000 | #Constraints: 49319 2172.02/2179.12 c #Conflicts: 1247000 | #Constraints: 50361 2172.02/2179.12 c #Conflicts: 1248000 | #Constraints: 51408 2172.02/2179.12 c #Conflicts: 1249000 | #Constraints: 52432 2172.02/2179.12 c #Conflicts: 1250000 | #Constraints: 53455 2172.02/2179.12 c #Conflicts: 1251000 | #Constraints: 54474 2172.02/2179.12 c #Conflicts: 1252000 | #Constraints: 55505 2172.02/2179.12 c #Conflicts: 1253000 | #Constraints: 56526 2172.02/2179.12 c #Conflicts: 1254000 | #Constraints: 57547 2172.02/2179.12 c #Conflicts: 1255000 | #Constraints: 58574 2172.02/2179.12 c #Conflicts: 1256000 | #Constraints: 59597 2172.02/2179.12 c #Conflicts: 1257000 | #Constraints: 60622 2172.02/2179.12 c #Conflicts: 1258000 | #Constraints: 61639 2172.02/2179.12 c #Conflicts: 1259000 | #Constraints: 62664 2172.02/2179.12 c #Conflicts: 1260000 | #Constraints: 63689 2172.02/2179.12 c #Conflicts: 1261000 | #Constraints: 64707 2172.02/2179.12 c #Conflicts: 1262000 | #Constraints: 65731 2172.02/2179.12 c #Conflicts: 1263000 | #Constraints: 66758 2172.02/2179.12 c #Conflicts: 1264000 | #Constraints: 67787 2172.02/2179.12 c #Conflicts: 1265000 | #Constraints: 68816 2172.02/2179.12 c #Conflicts: 1266000 | #Constraints: 69847 2172.02/2179.12 c #Conflicts: 1267000 | #Constraints: 70883 2172.02/2179.12 c #Conflicts: 1268000 | #Constraints: 71909 2172.02/2179.12 c #Conflicts: 1269000 | #Constraints: 72936 2172.02/2179.12 c #Conflicts: 1270000 | #Constraints: 73965 2172.02/2179.12 c #Conflicts: 1271000 | #Constraints: 74989 2172.02/2179.12 c #Conflicts: 1272000 | #Constraints: 76028 2172.02/2179.12 c #Conflicts: 1273000 | #Constraints: 77057 2172.02/2179.12 c #Conflicts: 1274000 | #Constraints: 78093 2172.02/2179.12 c #Conflicts: 1275000 | #Constraints: 79114 2172.02/2179.12 c #Conflicts: 1276000 | #Constraints: 80138 2172.02/2179.12 c #Conflicts: 1277000 | #Constraints: 81159 2172.02/2179.12 c #Conflicts: 1278000 | #Constraints: 82188 2172.02/2179.12 c #Conflicts: 1279000 | #Constraints: 83209 2172.02/2179.12 c #Conflicts: 1280000 | #Constraints: 84231 2172.02/2179.12 c #Conflicts: 1281000 | #Constraints: 85256 2172.02/2179.12 c #Conflicts: 1282000 | #Constraints: 86285 2172.02/2179.12 c #Conflicts: 1283000 | #Constraints: 87297 2172.02/2179.12 c #Conflicts: 1284000 | #Constraints: 88316 2172.02/2179.12 c #Conflicts: 1285000 | #Constraints: 89340 2172.02/2179.12 c #Conflicts: 1286000 | #Constraints: 90359 2172.02/2179.12 c #Conflicts: 1287000 | #Constraints: 91382 2172.02/2179.12 c #Conflicts: 1288000 | #Constraints: 92397 2172.02/2179.12 c #Conflicts: 1289000 | #Constraints: 93424 2172.02/2179.12 c #Conflicts: 1290000 | #Constraints: 94454 2172.02/2179.12 c #Conflicts: 1291000 | #Constraints: 95475 2172.02/2179.12 c #Conflicts: 1292000 | #Constraints: 96503 2172.02/2179.12 c #Conflicts: 1293000 | #Constraints: 97526 2172.02/2179.12 c #Conflicts: 1294000 | #Constraints: 98547 2172.02/2179.12 c #Conflicts: 1295000 | #Constraints: 99570 2172.02/2179.12 c #Conflicts: 1296000 | #Constraints: 100590 2172.02/2179.12 c #Conflicts: 1297000 | #Constraints: 101612 2172.02/2179.12 c #Conflicts: 1298000 | #Constraints: 102633 2172.02/2179.12 c #Conflicts: 1299000 | #Constraints: 103649 2172.02/2179.12 c #Conflicts: 1300000 | #Constraints: 104671 2172.02/2179.12 c #Conflicts: 1301000 | #Constraints: 105699 2172.02/2179.12 c #Conflicts: 1302000 | #Constraints: 106729 2172.02/2179.12 c #Conflicts: 1303000 | #Constraints: 107750 2172.02/2179.12 c #Conflicts: 1304000 | #Constraints: 108769 2172.02/2179.12 c #Conflicts: 1305000 | #Constraints: 109797 2172.02/2179.12 c #Conflicts: 1306000 | #Constraints: 110814 2172.02/2179.12 c #Conflicts: 1307000 | #Constraints: 111835 2199.52/2206.70 c #Conflicts: 1308000 | #Constraints: 112855 2199.52/2206.70 c #Conflicts: 1309000 | #Constraints: 113882 2199.52/2206.70 c #Conflicts: 1310000 | #Constraints: 114906 2199.52/2206.70 c #Conflicts: 1311000 | #Constraints: 115937 2199.52/2206.70 c #Conflicts: 1312000 | #Constraints: 116969 2199.52/2206.70 c #Conflicts: 1313000 | #Constraints: 117992 2199.52/2206.70 c #Conflicts: 1314000 | #Constraints: 119011 2199.52/2206.70 c #Conflicts: 1315000 | #Constraints: 120038 2199.52/2206.70 c #Conflicts: 1316000 | #Constraints: 121060 2199.52/2206.70 c INPROCESSING 2199.52/2206.70 c GARBAGE COLLECT 2199.52/2206.70 c rational objective 48.5261 2450.31/2458.38 c #Conflicts: 1317000 | #Constraints: 61902 2450.31/2458.38 c #Conflicts: 1318000 | #Constraints: 62902 2450.31/2458.38 c #Conflicts: 1319000 | #Constraints: 63902 2450.31/2458.38 c #Conflicts: 1320000 | #Constraints: 64902 2450.31/2458.38 c #Conflicts: 1321000 | #Constraints: 65902 2450.31/2458.38 c #Conflicts: 1322000 | #Constraints: 66902 2450.31/2458.38 c #Conflicts: 1323000 | #Constraints: 67902 2450.31/2458.38 c #Conflicts: 1324000 | #Constraints: 68902 2450.31/2458.38 c #Conflicts: 1325000 | #Constraints: 69902 2450.31/2458.38 c #Conflicts: 1326000 | #Constraints: 70903 2450.31/2458.38 c #Conflicts: 1327000 | #Constraints: 71903 2450.31/2458.38 c #Conflicts: 1328000 | #Constraints: 72903 2450.31/2458.38 c #Conflicts: 1329000 | #Constraints: 73903 2450.31/2458.38 c #Conflicts: 1330000 | #Constraints: 74903 2450.31/2458.38 c #Conflicts: 1331000 | #Constraints: 75903 2450.31/2458.38 c #Conflicts: 1332000 | #Constraints: 76903 2450.31/2458.38 c #Conflicts: 1333000 | #Constraints: 77903 2450.31/2458.38 c #Conflicts: 1334000 | #Constraints: 78903 2450.31/2458.38 c #Conflicts: 1335000 | #Constraints: 79903 2450.31/2458.38 c #Conflicts: 1336000 | #Constraints: 80903 2450.31/2458.38 c #Conflicts: 1337000 | #Constraints: 81903 2450.31/2458.38 c #Conflicts: 1338000 | #Constraints: 82903 2450.31/2458.38 c #Conflicts: 1339000 | #Constraints: 83903 2450.31/2458.38 c #Conflicts: 1340000 | #Constraints: 84903 2450.31/2458.38 c #Conflicts: 1341000 | #Constraints: 85903 2450.31/2458.38 c INPROCESSING 2450.31/2458.38 c GARBAGE COLLECT 2450.31/2458.38 c rational objective 48.5261 2481.01/2489.18 c #Conflicts: 1342000 | #Constraints: 43912 2481.01/2489.18 c #Conflicts: 1343000 | #Constraints: 44939 2481.01/2489.18 c #Conflicts: 1344000 | #Constraints: 45967 2481.01/2489.18 c #Conflicts: 1345000 | #Constraints: 47006 2481.01/2489.18 c #Conflicts: 1346000 | #Constraints: 48043 2481.01/2489.18 c #Conflicts: 1347000 | #Constraints: 49074 2481.01/2489.18 c #Conflicts: 1348000 | #Constraints: 50100 2481.01/2489.18 c #Conflicts: 1349000 | #Constraints: 51130 2481.01/2489.18 c #Conflicts: 1350000 | #Constraints: 52161 2481.01/2489.18 c #Conflicts: 1351000 | #Constraints: 53200 2481.01/2489.18 c #Conflicts: 1352000 | #Constraints: 54243 2481.01/2489.18 c #Conflicts: 1353000 | #Constraints: 55285 2481.01/2489.18 c #Conflicts: 1354000 | #Constraints: 56324 2481.01/2489.18 c #Conflicts: 1355000 | #Constraints: 57356 2481.01/2489.18 c #Conflicts: 1356000 | #Constraints: 58390 2481.01/2489.18 c #Conflicts: 1357000 | #Constraints: 59414 2481.01/2489.18 c #Conflicts: 1358000 | #Constraints: 60440 2481.01/2489.18 c #Conflicts: 1359000 | #Constraints: 61475 2481.01/2489.18 c #Conflicts: 1360000 | #Constraints: 62502 2481.01/2489.18 c #Conflicts: 1361000 | #Constraints: 63535 2481.01/2489.18 c #Conflicts: 1362000 | #Constraints: 64555 2481.01/2489.18 c #Conflicts: 1363000 | #Constraints: 65578 2481.01/2489.18 c #Conflicts: 1364000 | #Constraints: 66613 2481.01/2489.18 c #Conflicts: 1365000 | #Constraints: 67642 2481.01/2489.18 c #Conflicts: 1366000 | #Constraints: 68679 2481.01/2489.18 c #Conflicts: 1367000 | #Constraints: 69710 2481.01/2489.18 c #Conflicts: 1368000 | #Constraints: 70733 2481.01/2489.18 c INPROCESSING 2481.01/2489.18 c GARBAGE COLLECT 2481.01/2489.18 c rational objective 48.5261 2510.12/2518.31 c #Conflicts: 1369000 | #Constraints: 36771 2510.12/2518.31 c #Conflicts: 1370000 | #Constraints: 37823 2510.12/2518.31 c #Conflicts: 1371000 | #Constraints: 38866 2510.12/2518.31 c #Conflicts: 1372000 | #Constraints: 39907 2510.12/2518.31 c #Conflicts: 1373000 | #Constraints: 40948 2510.12/2518.31 c #Conflicts: 1374000 | #Constraints: 41985 2510.12/2518.31 c #Conflicts: 1375000 | #Constraints: 43019 2510.12/2518.31 c #Conflicts: 1376000 | #Constraints: 44049 2510.12/2518.31 c #Conflicts: 1377000 | #Constraints: 45082 2510.12/2518.31 c #Conflicts: 1378000 | #Constraints: 46114 2510.12/2518.31 c #Conflicts: 1379000 | #Constraints: 47144 2510.12/2518.31 c #Conflicts: 1380000 | #Constraints: 48180 2510.12/2518.31 c #Conflicts: 1381000 | #Constraints: 49211 2510.12/2518.31 c #Conflicts: 1382000 | #Constraints: 50241 2510.12/2518.31 c #Conflicts: 1383000 | #Constraints: 51279 2510.12/2518.31 c #Conflicts: 1384000 | #Constraints: 52313 2510.12/2518.31 c #Conflicts: 1385000 | #Constraints: 53341 2510.12/2518.31 c #Conflicts: 1386000 | #Constraints: 54366 2510.12/2518.31 c #Conflicts: 1387000 | #Constraints: 55399 2510.12/2518.31 c #Conflicts: 1388000 | #Constraints: 56430 2510.12/2518.31 c #Conflicts: 1389000 | #Constraints: 57452 2510.12/2518.31 c #Conflicts: 1390000 | #Constraints: 58480 2510.12/2518.31 c #Conflicts: 1391000 | #Constraints: 59511 2510.12/2518.31 c #Conflicts: 1392000 | #Constraints: 60548 2510.12/2518.31 c #Conflicts: 1393000 | #Constraints: 61588 2510.12/2518.31 c #Conflicts: 1394000 | #Constraints: 62622 2510.12/2518.31 c INPROCESSING 2510.12/2518.31 c GARBAGE COLLECT 2510.12/2518.31 c rational objective 48.5261 2651.86/2660.51 c #Conflicts: 1395000 | #Constraints: 34524 2651.86/2660.51 c #Conflicts: 1396000 | #Constraints: 35575 2651.86/2660.51 c #Conflicts: 1397000 | #Constraints: 36615 2651.86/2660.51 c #Conflicts: 1398000 | #Constraints: 37650 2651.86/2660.51 c #Conflicts: 1399000 | #Constraints: 38686 2651.86/2660.51 c #Conflicts: 1400000 | #Constraints: 39722 2651.86/2660.51 c #Conflicts: 1401000 | #Constraints: 40752 2651.86/2660.51 c #Conflicts: 1402000 | #Constraints: 41779 2651.86/2660.51 c #Conflicts: 1403000 | #Constraints: 42810 2651.86/2660.51 c #Conflicts: 1404000 | #Constraints: 43839 2651.86/2660.51 c #Conflicts: 1405000 | #Constraints: 44872 2651.86/2660.51 c #Conflicts: 1406000 | #Constraints: 45901 2651.86/2660.51 c #Conflicts: 1407000 | #Constraints: 46933 2651.86/2660.51 c #Conflicts: 1408000 | #Constraints: 47953 2651.86/2660.51 c #Conflicts: 1409000 | #Constraints: 48984 2651.86/2660.51 c #Conflicts: 1410000 | #Constraints: 50014 2651.86/2660.51 c #Conflicts: 1411000 | #Constraints: 51038 2651.86/2660.51 c #Conflicts: 1412000 | #Constraints: 52065 2651.86/2660.51 c #Conflicts: 1413000 | #Constraints: 53082 2651.86/2660.51 c #Conflicts: 1414000 | #Constraints: 54107 2651.86/2660.51 c #Conflicts: 1415000 | #Constraints: 55128 2651.86/2660.51 c #Conflicts: 1416000 | #Constraints: 56148 2651.86/2660.51 c #Conflicts: 1417000 | #Constraints: 57178 2651.86/2660.51 c #Conflicts: 1418000 | #Constraints: 58204 2651.86/2660.51 c #Conflicts: 1419000 | #Constraints: 59235 2651.86/2660.51 c #Conflicts: 1420000 | #Constraints: 60268 2651.86/2660.51 c #Conflicts: 1421000 | #Constraints: 61300 2651.86/2660.51 c #Conflicts: 1422000 | #Constraints: 62322 2651.86/2660.51 c #Conflicts: 1423000 | #Constraints: 63342 2651.86/2660.51 c #Conflicts: 1424000 | #Constraints: 64367 2651.86/2660.51 c #Conflicts: 1425000 | #Constraints: 65395 2651.86/2660.51 c #Conflicts: 1426000 | #Constraints: 66416 2651.86/2660.51 c #Conflicts: 1427000 | #Constraints: 67434 2651.86/2660.51 c #Conflicts: 1428000 | #Constraints: 68464 2651.86/2660.51 c #Conflicts: 1429000 | #Constraints: 69497 2651.86/2660.51 c #Conflicts: 1430000 | #Constraints: 70536 2651.86/2660.51 c #Conflicts: 1431000 | #Constraints: 71560 2651.86/2660.51 c #Conflicts: 1432000 | #Constraints: 72578 2651.86/2660.51 c #Conflicts: 1433000 | #Constraints: 73600 2651.86/2660.51 c #Conflicts: 1434000 | #Constraints: 74619 2651.86/2660.51 c #Conflicts: 1435000 | #Constraints: 75640 2651.86/2660.51 c #Conflicts: 1436000 | #Constraints: 76663 2651.86/2660.51 c #Conflicts: 1437000 | #Constraints: 77691 2651.86/2660.51 c #Conflicts: 1438000 | #Constraints: 78718 2651.86/2660.51 c #Conflicts: 1439000 | #Constraints: 79750 2651.86/2660.51 c #Conflicts: 1440000 | #Constraints: 80775 2651.86/2660.51 c #Conflicts: 1441000 | #Constraints: 81799 2651.86/2660.51 c #Conflicts: 1442000 | #Constraints: 82822 2651.86/2660.51 c #Conflicts: 1443000 | #Constraints: 83855 2651.86/2660.51 c #Conflicts: 1444000 | #Constraints: 84887 2651.86/2660.51 c #Conflicts: 1445000 | #Constraints: 85909 2651.86/2660.51 c #Conflicts: 1446000 | #Constraints: 86942 2651.86/2660.51 c #Conflicts: 1447000 | #Constraints: 87963 2651.86/2660.51 c #Conflicts: 1448000 | #Constraints: 88991 2651.86/2660.51 c #Conflicts: 1449000 | #Constraints: 90018 2651.86/2660.51 c #Conflicts: 1450000 | #Constraints: 91042 2651.86/2660.51 c #Conflicts: 1451000 | #Constraints: 92071 2651.86/2660.51 c #Conflicts: 1452000 | #Constraints: 93112 2651.86/2660.51 c #Conflicts: 1453000 | #Constraints: 94139 2651.86/2660.51 c #Conflicts: 1454000 | #Constraints: 95174 2651.86/2660.51 c #Conflicts: 1455000 | #Constraints: 96208 2651.86/2660.51 c #Conflicts: 1456000 | #Constraints: 97238 2651.86/2660.51 c #Conflicts: 1457000 | #Constraints: 98255 2651.86/2660.51 c #Conflicts: 1458000 | #Constraints: 99281 2651.86/2660.51 c #Conflicts: 1459000 | #Constraints: 100307 2651.86/2660.51 c #Conflicts: 1460000 | #Constraints: 101335 2651.86/2660.51 c #Conflicts: 1461000 | #Constraints: 102352 2651.86/2660.51 c #Conflicts: 1462000 | #Constraints: 103370 2651.86/2660.51 c #Conflicts: 1463000 | #Constraints: 104389 2651.86/2660.51 c #Conflicts: 1464000 | #Constraints: 105413 2651.86/2660.51 c #Conflicts: 1465000 | #Constraints: 106437 2651.86/2660.51 c #Conflicts: 1466000 | #Constraints: 107462 2651.86/2660.51 c #Conflicts: 1467000 | #Constraints: 108488 2651.86/2660.51 c #Conflicts: 1468000 | #Constraints: 109510 2651.86/2660.51 c #Conflicts: 1469000 | #Constraints: 110526 2651.86/2660.51 c #Conflicts: 1470000 | #Constraints: 111547 2651.86/2660.51 c #Conflicts: 1471000 | #Constraints: 112568 2651.86/2660.51 c #Conflicts: 1472000 | #Constraints: 113594 2651.86/2660.51 c #Conflicts: 1473000 | #Constraints: 114614 2695.33/2704.14 c #Conflicts: 1474000 | #Constraints: 115631 2695.33/2704.14 c #Conflicts: 1475000 | #Constraints: 116658 2695.33/2704.14 c #Conflicts: 1476000 | #Constraints: 117684 2695.33/2704.14 c #Conflicts: 1477000 | #Constraints: 118718 2695.33/2704.14 c #Conflicts: 1478000 | #Constraints: 119756 2695.33/2704.14 c #Conflicts: 1479000 | #Constraints: 120781 2695.33/2704.14 c #Conflicts: 1480000 | #Constraints: 121801 2695.33/2704.14 c #Conflicts: 1481000 | #Constraints: 122820 2695.33/2704.14 c #Conflicts: 1482000 | #Constraints: 123839 2695.33/2704.14 c #Conflicts: 1483000 | #Constraints: 124864 2695.33/2704.14 c #Conflicts: 1484000 | #Constraints: 125883 2695.33/2704.14 c #Conflicts: 1485000 | #Constraints: 126904 2695.33/2704.14 c #Conflicts: 1486000 | #Constraints: 127923 2695.33/2704.14 c #Conflicts: 1487000 | #Constraints: 128942 2695.33/2704.14 c INPROCESSING 2695.33/2704.14 c GARBAGE COLLECT 2695.33/2704.14 c rational objective 48.5261 3001.37/3011.16 c #Conflicts: 1488000 | #Constraints: 65658 3001.37/3011.16 c #Conflicts: 1489000 | #Constraints: 66658 3001.37/3011.16 c #Conflicts: 1490000 | #Constraints: 67658 3001.37/3011.16 c #Conflicts: 1491000 | #Constraints: 68658 3001.37/3011.16 c #Conflicts: 1492000 | #Constraints: 69658 3001.37/3011.16 c #Conflicts: 1493000 | #Constraints: 70658 3001.37/3011.16 c #Conflicts: 1494000 | #Constraints: 71658 3001.37/3011.16 c #Conflicts: 1495000 | #Constraints: 72658 3001.37/3011.16 c #Conflicts: 1496000 | #Constraints: 73659 3001.37/3011.16 c #Conflicts: 1497000 | #Constraints: 74659 3001.37/3011.16 c #Conflicts: 1498000 | #Constraints: 75659 3001.37/3011.16 c #Conflicts: 1499000 | #Constraints: 76659 3001.37/3011.16 c #Conflicts: 1500000 | #Constraints: 77659 3001.37/3011.16 c #Conflicts: 1501000 | #Constraints: 78659 3001.37/3011.16 c #Conflicts: 1502000 | #Constraints: 79659 3001.37/3011.16 c #Conflicts: 1503000 | #Constraints: 80659 3001.37/3011.16 c #Conflicts: 1504000 | #Constraints: 81659 3001.37/3011.16 c #Conflicts: 1505000 | #Constraints: 82659 3001.37/3011.16 c #Conflicts: 1506000 | #Constraints: 83659 3001.37/3011.16 c #Conflicts: 1507000 | #Constraints: 84659 3001.37/3011.16 c #Conflicts: 1508000 | #Constraints: 85659 3001.37/3011.16 c #Conflicts: 1509000 | #Constraints: 86659 3001.37/3011.16 c #Conflicts: 1510000 | #Constraints: 87659 3001.37/3011.16 c #Conflicts: 1511000 | #Constraints: 88659 3001.37/3011.16 c #Conflicts: 1512000 | #Constraints: 89659 3001.37/3011.16 c #Conflicts: 1513000 | #Constraints: 90659 3001.37/3011.16 c #Conflicts: 1514000 | #Constraints: 91659 3001.37/3011.16 c #Conflicts: 1515000 | #Constraints: 92659 3001.37/3011.16 c INPROCESSING 3001.37/3011.16 c GARBAGE COLLECT 3001.37/3011.16 c rational objective 48.5261 3033.48/3043.38 c #Conflicts: 1516000 | #Constraints: 47773 3033.48/3043.38 c #Conflicts: 1517000 | #Constraints: 48805 3033.48/3043.38 c #Conflicts: 1518000 | #Constraints: 49833 3033.48/3043.38 c #Conflicts: 1519000 | #Constraints: 50862 3033.48/3043.38 c #Conflicts: 1520000 | #Constraints: 51899 3033.48/3043.38 c #Conflicts: 1521000 | #Constraints: 52938 3033.48/3043.38 c #Conflicts: 1522000 | #Constraints: 53966 3033.48/3043.38 c #Conflicts: 1523000 | #Constraints: 54998 3033.48/3043.38 c #Conflicts: 1524000 | #Constraints: 56023 3033.48/3043.38 c #Conflicts: 1525000 | #Constraints: 57038 3033.48/3043.38 c #Conflicts: 1526000 | #Constraints: 58064 3033.48/3043.38 c #Conflicts: 1527000 | #Constraints: 59083 3033.48/3043.38 c #Conflicts: 1528000 | #Constraints: 60105 3033.48/3043.38 c #Conflicts: 1529000 | #Constraints: 61124 3033.48/3043.38 c #Conflicts: 1530000 | #Constraints: 62147 3033.48/3043.38 c #Conflicts: 1531000 | #Constraints: 63173 3033.48/3043.38 c #Conflicts: 1532000 | #Constraints: 64202 3033.48/3043.38 c #Conflicts: 1533000 | #Constraints: 65223 3033.48/3043.38 c #Conflicts: 1534000 | #Constraints: 66241 3033.48/3043.38 c #Conflicts: 1535000 | #Constraints: 67266 3033.48/3043.38 c #Conflicts: 1536000 | #Constraints: 68282 3033.48/3043.38 c #Conflicts: 1537000 | #Constraints: 69310 3033.48/3043.38 c #Conflicts: 1538000 | #Constraints: 70332 3033.48/3043.38 c #Conflicts: 1539000 | #Constraints: 71355 3033.48/3043.38 c #Conflicts: 1540000 | #Constraints: 72379 3033.48/3043.38 c #Conflicts: 1541000 | #Constraints: 73403 3033.48/3043.38 c #Conflicts: 1542000 | #Constraints: 74435 3033.48/3043.38 c INPROCESSING 3033.48/3043.38 c GARBAGE COLLECT 3033.48/3043.38 c rational objective 48.5261 3064.30/3074.23 c #Conflicts: 1543000 | #Constraints: 38208 3064.30/3074.23 c #Conflicts: 1544000 | #Constraints: 39252 3064.30/3074.23 c #Conflicts: 1545000 | #Constraints: 40306 3064.30/3074.23 c #Conflicts: 1546000 | #Constraints: 41339 3064.30/3074.23 c #Conflicts: 1547000 | #Constraints: 42369 3064.30/3074.23 c #Conflicts: 1548000 | #Constraints: 43403 3064.30/3074.23 c #Conflicts: 1549000 | #Constraints: 44433 3064.30/3074.23 c #Conflicts: 1550000 | #Constraints: 45461 3064.30/3074.23 c #Conflicts: 1551000 | #Constraints: 46497 3064.30/3074.23 c #Conflicts: 1552000 | #Constraints: 47532 3064.30/3074.23 c #Conflicts: 1553000 | #Constraints: 48557 3064.30/3074.23 c #Conflicts: 1554000 | #Constraints: 49584 3064.30/3074.23 c #Conflicts: 1555000 | #Constraints: 50622 3064.30/3074.23 c #Conflicts: 1556000 | #Constraints: 51649 3064.30/3074.23 c #Conflicts: 1557000 | #Constraints: 52683 3064.30/3074.23 c #Conflicts: 1558000 | #Constraints: 53707 3064.30/3074.23 c #Conflicts: 1559000 | #Constraints: 54744 3064.30/3074.23 c #Conflicts: 1560000 | #Constraints: 55769 3064.30/3074.23 c #Conflicts: 1561000 | #Constraints: 56795 3064.30/3074.23 c #Conflicts: 1562000 | #Constraints: 57825 3064.30/3074.23 c #Conflicts: 1563000 | #Constraints: 58849 3064.30/3074.23 c #Conflicts: 1564000 | #Constraints: 59886 3064.30/3074.23 c #Conflicts: 1565000 | #Constraints: 60918 3064.30/3074.23 c #Conflicts: 1566000 | #Constraints: 61947 3064.30/3074.23 c #Conflicts: 1567000 | #Constraints: 62975 3064.30/3074.23 c #Conflicts: 1568000 | #Constraints: 63998 3064.30/3074.23 c #Conflicts: 1569000 | #Constraints: 65029 3064.30/3074.23 c #Conflicts: 1570000 | #Constraints: 66055 3064.30/3074.23 c INPROCESSING 3064.30/3074.23 c GARBAGE COLLECT 3064.30/3074.23 c rational objective 48.5261 3600.03/3611.40 c #Conflicts: 1571000 | #Constraints: 36976 3600.03/3611.40 c #Conflicts: 1572000 | #Constraints: 37976 3600.03/3611.40 c #Conflicts: 1573000 | #Constraints: 38976 3600.03/3611.40 c #Conflicts: 1574000 | #Constraints: 39976 3600.03/3611.40 c #Conflicts: 1575000 | #Constraints: 40976 3600.03/3611.40 c #Conflicts: 1576000 | #Constraints: 41976 3600.03/3611.40 c #Conflicts: 1577000 | #Constraints: 42976 3600.03/3611.40 c #Conflicts: 1578000 | #Constraints: 43976 3600.03/3611.40 c #Conflicts: 1579000 | #Constraints: 44976 3600.03/3611.40 c #Conflicts: 1580000 | #Constraints: 45976 3600.03/3611.40 c #Conflicts: 1581000 | #Constraints: 46976 3600.03/3611.40 c #Conflicts: 1582000 | #Constraints: 47976 3600.03/3611.40 c #Conflicts: 1583000 | #Constraints: 48976 3600.03/3611.40 c #Conflicts: 1584000 | #Constraints: 49976 3600.03/3611.40 c #Conflicts: 1585000 | #Constraints: 50976 3600.03/3611.40 c #Conflicts: 1586000 | #Constraints: 51976 3600.03/3611.40 c #Conflicts: 1587000 | #Constraints: 52976 3600.03/3611.40 c #Conflicts: 1588000 | #Constraints: 53976 3600.03/3611.40 c #Conflicts: 1589000 | #Constraints: 54976 3600.03/3611.40 c #Conflicts: 1590000 | #Constraints: 55976 3600.03/3611.40 c #Conflicts: 1591000 | #Constraints: 56977 3600.03/3611.40 c #Conflicts: 1592000 | #Constraints: 57977 3600.03/3611.40 c #Conflicts: 1593000 | #Constraints: 58977 3600.03/3611.40 c #Conflicts: 1594000 | #Constraints: 59977 3600.03/3611.40 c #Conflicts: 1595000 | #Constraints: 60977 3600.03/3611.40 c #Conflicts: 1596000 | #Constraints: 61977 3600.03/3611.40 c #Conflicts: 1597000 | #Constraints: 62977 3600.03/3611.40 c #Conflicts: 1598000 | #Constraints: 63977 3600.03/3611.40 c #Conflicts: 1599000 | #Constraints: 64977 3600.03/3611.40 c #Conflicts: 1600000 | #Constraints: 65977 3600.03/3611.40 c #Conflicts: 1601000 | #Constraints: 66977 3600.03/3611.40 c #Conflicts: 1602000 | #Constraints: 67977 3600.03/3611.40 c #Conflicts: 1603000 | #Constraints: 68977 3600.03/3611.40 c #Conflicts: 1604000 | #Constraints: 69977 3600.03/3611.40 c #Conflicts: 1605000 | #Constraints: 70977 3600.03/3611.40 c #Conflicts: 1606000 | #Constraints: 71977 3600.03/3611.40 c #Conflicts: 1607000 | #Constraints: 72977 3600.03/3611.40 c #Conflicts: 1608000 | #Constraints: 73977 3600.03/3611.40 c #Conflicts: 1609000 | #Constraints: 74977 3600.03/3611.40 c #Conflicts: 1610000 | #Constraints: 75977 3600.03/3611.40 c #Conflicts: 1611000 | #Constraints: 76977 3600.03/3611.40 c #Conflicts: 1612000 | #Constraints: 77977 3600.03/3611.40 c #Conflicts: 1613000 | #Constraints: 78977 3600.03/3611.40 c #Conflicts: 1614000 | #Constraints: 79977 3600.03/3611.40 c #Conflicts: 1615000 | #Constraints: 80977 3600.03/3611.40 c Program interrupted by user.
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 (63354 MiB free)
memory of node 1: 64473 MiB (63919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462547-1722340764/watcher-4462547-1722340764 -o /tmp/evaluation-result-4462547-1722340764/solver-4462547-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6898 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462547-1722340764 --lp-cut-gomory=0 HOME/instance-4462547-1722340764.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6958, runsolver pid=6955
[startup+0.100092 s]*
/proc/loadavg: 0.09 0.09 0.09 1/260 6959
/proc/meminfo: memFree=130328632/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 680711 38273024 645 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.204823 s]*
/proc/loadavg: 0.09 0.09 0.09 1/260 6959
/proc/meminfo: memFree=130328320/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 680711 38273024 645 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.304768 s]*
/proc/loadavg: 0.09 0.09 0.09 1/260 6959
/proc/meminfo: memFree=130328204/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 680711 38273024 645 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.700249 s]
/proc/loadavg: 0.09 0.09 0.09 1/260 6959
/proc/meminfo: memFree=130328048/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 219 0 0 0 0 0 0 0 20 0 1 0 680711 38273024 645 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+1.50106 s]
/proc/loadavg: 0.09 0.09 0.09 5/260 6959
/proc/meminfo: memFree=130267544/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=41160 memory=14568 CPUtime=0.73 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 1499 0 0 0 67 6 0 0 20 0 1 0 680711 42147840 3642 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 10290 3642 1878 992 0 2148 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 41160 KiB
Current children cumulated memory: 14568 KiB
[startup+3.10607 s]
/proc/loadavg: 0.09 0.09 0.09 4/257 6969
/proc/meminfo: memFree=130099144/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=43196 memory=16696 CPUtime=2.33 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 1976 0 0 0 216 17 0 0 20 0 1 0 680711 44232704 4174 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 10799 4174 1878 992 0 2657 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 16696 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 0.48 0.17 0.12 5/262 7010
/proc/meminfo: memFree=129881768/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=44488 memory=17928 CPUtime=5.5 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 2285 0 0 0 520 30 0 0 20 0 1 0 680711 45555712 4482 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 11122 4482 1878 992 0 2980 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 44488 KiB
Current children cumulated memory: 17928 KiB
[startup+12.7002 s]
/proc/loadavg: 0.76 0.23 0.14 5/262 7010
/proc/meminfo: memFree=129467492/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=45960 memory=20012 CPUtime=11.88 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 2850 0 0 0 1130 58 0 0 20 0 1 0 680711 47063040 5003 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 11490 5003 1878 992 0 3348 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 45960 KiB
Current children cumulated memory: 20012 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.42 0.20 5/263 7012
/proc/meminfo: memFree=128905708/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=59716 memory=32572 CPUtime=24.65 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 5642 0 0 0 2368 97 0 0 20 0 1 0 680711 61149184 8143 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 14929 8143 1878 992 0 6787 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 59716 KiB
Current children cumulated memory: 32572 KiB
[startup+51.1057 s]
/proc/loadavg: 2.49 0.74 0.31 5/263 7021
/proc/meminfo: memFree=127853796/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=71452 memory=41148 CPUtime=50.19 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 6981 0 0 0 4862 157 0 0 20 0 1 0 680711 73166848 10287 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 17863 10287 1878 992 0 9721 0
Current children cumulated CPU time: 50.19 s
Current children cumulated vsize: 71452 KiB
Current children cumulated memory: 41148 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.26 0.51 5/263 7040
/proc/meminfo: memFree=126495000/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=92408 memory=52600 CPUtime=101.24 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 9358 0 0 0 9879 245 0 0 20 0 1 0 680711 94625792 13150 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 23102 13150 1878 992 0 14960 0
Current children cumulated CPU time: 101.24 s
Current children cumulated vsize: 92408 KiB
Current children cumulated memory: 52600 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.78 0.74 5/263 7050
/proc/meminfo: memFree=125327152/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=98720 memory=61972 CPUtime=161.08 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 11052 0 0 0 15756 352 0 0 20 0 1 0 680711 101089280 15493 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 24680 15493 1878 992 0 16538 0
Current children cumulated CPU time: 161.08 s
Current children cumulated vsize: 98720 KiB
Current children cumulated memory: 61972 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.22 0.96 5/263 7063
/proc/meminfo: memFree=124489968/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=99904 memory=63068 CPUtime=220.92 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 11564 0 0 0 21649 443 0 0 20 0 1 0 680711 102301696 15767 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 24976 15767 1878 992 0 16834 0
Current children cumulated CPU time: 220.92 s
Current children cumulated vsize: 99904 KiB
Current children cumulated memory: 63068 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.56 1.16 5/262 7074
/proc/meminfo: memFree=122936312/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=107680 memory=75904 CPUtime=280.77 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 13426 0 0 0 27558 519 0 0 20 0 1 0 680711 110264320 18976 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 26920 18976 1878 992 0 18778 0
Current children cumulated CPU time: 280.77 s
Current children cumulated vsize: 107680 KiB
Current children cumulated memory: 75904 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.85 1.35 5/259 7084
/proc/meminfo: memFree=121978388/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=110084 memory=77692 CPUtime=340.6 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 14095 0 0 0 33488 572 0 0 20 0 1 0 680711 112726016 19423 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 27521 19423 1878 992 0 19379 0
Current children cumulated CPU time: 340.6 s
Current children cumulated vsize: 110084 KiB
Current children cumulated memory: 77692 KiB
[startup+402.3 s]
/proc/loadavg: 4.37 3.16 1.55 5/259 7096
/proc/meminfo: memFree=121208912/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=133332 memory=87152 CPUtime=400.44 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 15581 0 0 0 39379 665 0 0 20 0 1 0 680711 136531968 21788 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 33333 21788 1878 992 0 25191 0
Current children cumulated CPU time: 400.44 s
Current children cumulated vsize: 133332 KiB
Current children cumulated memory: 87152 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.33 1.71 5/259 7107
/proc/meminfo: memFree=120694124/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=133880 memory=87380 CPUtime=460.28 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 16114 0 0 0 45297 731 0 0 20 0 1 0 680711 137093120 21845 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.01 5/261 8231
/proc/meminfo: memFree=102159164/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3092.33 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33612 0 0 0 306705 2528 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3092.33 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/261 8241
/proc/meminfo: memFree=102077496/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3152.16 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33676 0 0 0 312670 2546 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3152.16 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/261 8251
/proc/meminfo: memFree=101969888/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3211.99 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33740 0 0 0 318637 2562 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/261 8261
/proc/meminfo: memFree=101045520/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3271.84 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33807 0 0 0 324605 2579 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.03 5/262 8656
/proc/meminfo: memFree=100751104/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3331.67 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33874 0 0 0 330576 2591 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.03 5/260 8667
/proc/meminfo: memFree=100592080/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3391.5 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 33942 0 0 0 336544 2606 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/260 8678
/proc/meminfo: memFree=100429024/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3451.34 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 34011 0 0 0 342515 2619 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/262 8859
/proc/meminfo: memFree=100282676/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174048 CPUtime=3511.17 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 34081 0 0 0 348485 2632 0 0 20 0 1 0 680711 226832384 43512 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43512 1878 992 0 47237 0
Current children cumulated CPU time: 3511.17 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.05 5/261 8869
/proc/meminfo: memFree=99943412/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221516 memory=174120 CPUtime=3571.01 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 34179 0 0 0 354456 2645 0 0 20 0 1 0 680711 226832384 43530 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55379 43530 1878 992 0 47237 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 221516 KiB
Current children cumulated memory: 174120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.16 4.14 4.05 4/261 8875
/proc/meminfo: memFree=99674392/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221660 memory=174120 CPUtime=3600.03 cores=1,3
/proc/6958/stat : 6958 (roundingsat) R 6955 6958 6885 0 -1 4194304 34186 0 0 0 357352 2651 0 0 20 0 1 0 680711 226979840 43530 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55415 43530 1878 992 0 47273 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 221660 KiB
Current children cumulated memory: 174120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.16 4.14 4.05 2/260 8875
/proc/meminfo: memFree=99671496/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221660 memory=174120 CPUtime=3600.04 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 34194 0 0 0 357353 2651 0 0 20 0 1 0 680711 226979840 43530 134679101440 4194304 8255733 140731760965616 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55415 43530 1878 992 0 47273 0
??? kill 6958 sig 9
??? end of watcher thread
[startup+3616.61 s]
# the end of solver process 6958 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.53 s, system=26.5116 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.16 4.14 4.05 3/261 8875
/proc/meminfo: memFree=99672900/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221660 memory=174120 CPUtime=3600.04 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 34194 0 0 0 357353 2651 0 0 20 0 1 0 680711 226979840 43530 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55415 43530 1878 992 0 47273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 221660 KiB
Current children cumulated memory: 174120 KiB
[startup+3613.2 s]
/proc/loadavg: 4.16 4.14 4.05 3/260 8875
/proc/meminfo: memFree=99672184/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221660 memory=174120 CPUtime=3600.04 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 34194 0 0 0 357353 2651 0 0 20 0 1 0 680711 226979840 43530 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55415 43530 1878 992 0 47273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 221660 KiB
Current children cumulated memory: 174120 KiB
[startup+3613.4 s]
/proc/loadavg: 4.16 4.14 4.05 3/260 8875
/proc/meminfo: memFree=99672184/131524600 swapFree=131071996/131071996
[pid=6958] ppid=6955 vsize=221660 memory=174120 CPUtime=3600.04 cores=1,3
/proc/6958/stat : 6958 (roundingsat) D 6955 6958 6885 0 -1 4194304 34194 0 0 0 357353 2651 0 0 20 0 1 0 680711 226979840 43530 134679101440 4194304 8255733 140731760965616 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 28868608 140731760972638 140731760972900 140731760972900 140731760979913 0
/proc/6958/statm: 55415 43530 1878 992 0 47273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 221660 KiB
Current children cumulated memory: 174120 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.61
CPU time (s): 3600.04
CPU user time (s): 3573.53
CPU system time (s): 26.5116
CPU usage (%): 99.542
Max. virtual memory (cumulated for all children) (KiB): 222248
Max. memory (cumulated for all children) (KiB): 174708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.53
system time used= 26.5116
maximum resident set size= 174708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9850008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 5330
# summary of solver processes directly reported to runsolver:
# pid: 6958
# total CPU time (s): 3600.04
# total CPU user time (s): 3573.53
# total CPU system time (s): 26.5116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93779 second user time and 17.1261 second system time
The end
Begin job on nodeC034 at 2024-07-30 13:59:24 IDJOB=4462547 IDBENCH=147228 IDSOLVER=3089 FILE ID=nodeC034/4462547-1722340764 RUNJOBID= nodeC034-1722340763-6898 SLURM_JOB_ID= 8249007 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462547-1722340764/watcher-4462547-1722340764 -o /tmp/evaluation-result-4462547-1722340764/solver-4462547-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722340763-6898 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462547-1722340764 --lp-cut-gomory=0 HOME/instance-4462547-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=1492646933 nodeC034.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 : 2068.126 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.51 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 : 3488.512 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.49 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 : 3469.659 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.51 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 : 3552.606 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.49 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 : 1765.184 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.51 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 : 2199.837 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.49 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 : 3299.699 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.51 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 : 3331.305 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130329828 kB MemAvailable: 129912128 kB Buffers: 39836 kB Cached: 339560 kB SwapCached: 0 kB Active: 128004 kB Inactive: 613168 kB Active(anon): 1540 kB Inactive(anon): 381592 kB Active(file): 126464 kB Inactive(file): 231576 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25864 kB Writeback: 0 kB AnonPages: 359884 kB Mapped: 91324 kB Shmem: 21336 kB KReclaimable: 43040 kB Slab: 116868 kB SReclaimable: 43040 kB SUnreclaim: 73828 kB KernelStack: 4208 kB PageTables: 9684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 680964 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8992 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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: 185044 kB DirectMap2M: 5879808 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890052 MiB End job on nodeC034 at 2024-07-30 14:59:41