| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.05 | 3609.51 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb |
| MD5SUM | 5359c0df8e4997707ebdbb5ef15bc818 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.62095 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6664 |
| Total number of constraints | 6862 |
| Number of constraints which are clauses | 6764 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.03 c #variables 6664 #constraints 6862 10.37/10.49 c #Conflicts: 1000 | #Constraints: 7861 10.37/10.49 c #Conflicts: 2000 | #Constraints: 8861 10.37/10.49 c INPROCESSING 10.37/10.49 c GARBAGE COLLECT 10.37/10.49 c #Conflicts: 3000 | #Constraints: 8549 10.37/10.49 c #Conflicts: 4000 | #Constraints: 9549 10.37/10.49 c INPROCESSING 10.37/10.49 c GARBAGE COLLECT 10.37/10.49 c #Conflicts: 5000 | #Constraints: 9020 10.37/10.49 c #Conflicts: 6000 | #Constraints: 10020 10.37/10.49 c INPROCESSING 10.37/10.49 c GARBAGE COLLECT 10.37/10.49 c rational objective 98 20.95/21.01 c #Conflicts: 7000 | #Constraints: 9078 20.95/21.01 c #Conflicts: 8000 | #Constraints: 10078 20.95/21.01 c #Conflicts: 9000 | #Constraints: 11078 20.95/21.01 c INPROCESSING 20.95/21.01 c GARBAGE COLLECT 20.95/21.01 c #Conflicts: 10000 | #Constraints: 9835 20.95/21.01 c #Conflicts: 11000 | #Constraints: 10835 20.95/21.01 c #Conflicts: 12000 | #Constraints: 11835 20.95/21.01 c INPROCESSING 20.95/21.01 c GARBAGE COLLECT 20.95/21.01 c #Conflicts: 13000 | #Constraints: 10323 20.95/21.01 c #Conflicts: 14000 | #Constraints: 11323 20.95/21.01 c #Conflicts: 15000 | #Constraints: 12323 20.95/21.01 c INPROCESSING 20.95/21.01 c GARBAGE COLLECT 20.95/21.01 c #Conflicts: 16000 | #Constraints: 10575 20.95/21.01 c #Conflicts: 17000 | #Constraints: 11575 20.95/21.01 c #Conflicts: 18000 | #Constraints: 12575 20.95/21.01 c INPROCESSING 20.95/21.01 c GARBAGE COLLECT 20.95/21.01 c rational objective 98 25.62/25.71 c #Conflicts: 19000 | #Constraints: 10609 25.62/25.71 c #Conflicts: 20000 | #Constraints: 11609 25.62/25.71 c #Conflicts: 21000 | #Constraints: 12609 25.62/25.71 c INPROCESSING 25.62/25.71 c GARBAGE COLLECT 25.62/25.71 c rational objective 98 33.21/33.36 c #Conflicts: 22000 | #Constraints: 10443 33.21/33.36 c #Conflicts: 23000 | #Constraints: 11443 33.21/33.36 c #Conflicts: 24000 | #Constraints: 12443 33.21/33.36 c #Conflicts: 25000 | #Constraints: 13443 33.21/33.36 c INPROCESSING 33.21/33.36 c GARBAGE COLLECT 33.21/33.36 c rational objective 98 38.70/38.83 c #Conflicts: 26000 | #Constraints: 11081 38.70/38.83 c #Conflicts: 27000 | #Constraints: 12081 38.70/38.83 c #Conflicts: 28000 | #Constraints: 13081 38.70/38.83 c #Conflicts: 29000 | #Constraints: 14081 38.70/38.83 c INPROCESSING 38.70/38.83 c GARBAGE COLLECT 38.70/38.83 c rational objective 98 43.08/43.24 c #Conflicts: 30000 | #Constraints: 11501 43.08/43.24 c #Conflicts: 31000 | #Constraints: 12501 43.08/43.24 c #Conflicts: 32000 | #Constraints: 13501 43.08/43.24 c #Conflicts: 33000 | #Constraints: 14501 43.08/43.24 c INPROCESSING 43.08/43.24 c GARBAGE COLLECT 43.08/43.24 c rational objective 98 66.03/66.23 c #Conflicts: 34000 | #Constraints: 11703 66.03/66.23 c #Conflicts: 35000 | #Constraints: 12703 66.03/66.23 c #Conflicts: 36000 | #Constraints: 13703 66.03/66.23 c #Conflicts: 37000 | #Constraints: 14703 66.03/66.23 c INPROCESSING 66.03/66.23 c GARBAGE COLLECT 66.03/66.23 c rational objective 98 88.47/88.71 c #Conflicts: 38000 | #Constraints: 11724 88.47/88.71 c #Conflicts: 39000 | #Constraints: 12724 88.47/88.71 c #Conflicts: 40000 | #Constraints: 13724 88.47/88.71 c #Conflicts: 41000 | #Constraints: 14724 88.47/88.71 c INPROCESSING 88.47/88.71 c GARBAGE COLLECT 88.47/88.71 c #Conflicts: 42000 | #Constraints: 11544 88.47/88.71 c #Conflicts: 43000 | #Constraints: 12544 88.47/88.71 c #Conflicts: 44000 | #Constraints: 13544 88.47/88.71 c #Conflicts: 45000 | #Constraints: 14544 88.47/88.71 c #Conflicts: 46000 | #Constraints: 15544 88.47/88.71 c INPROCESSING 88.47/88.71 c GARBAGE COLLECT 88.47/88.71 c #Conflicts: 47000 | #Constraints: 12144 88.47/88.71 c #Conflicts: 48000 | #Constraints: 13144 88.47/88.71 c #Conflicts: 49000 | #Constraints: 14144 88.47/88.71 c #Conflicts: 50000 | #Constraints: 15144 88.47/88.71 c #Conflicts: 51000 | #Constraints: 16145 88.47/88.71 c #Conflicts: 52000 | #Constraints: 17145 88.47/88.71 c #Conflicts: 53000 | #Constraints: 18145 88.47/88.71 c #Conflicts: 54000 | #Constraints: 19145 88.47/88.71 c #Conflicts: 55000 | #Constraints: 20145 88.47/88.71 c #Conflicts: 56000 | #Constraints: 21145 88.47/88.71 c #Conflicts: 57000 | #Constraints: 22145 88.47/88.71 c #Conflicts: 58000 | #Constraints: 23145 88.47/88.71 c #Conflicts: 59000 | #Constraints: 24145 88.47/88.71 c #Conflicts: 60000 | #Constraints: 25145 88.47/88.71 c #Conflicts: 61000 | #Constraints: 26145 88.47/88.71 c #Conflicts: 62000 | #Constraints: 27145 88.47/88.71 c #Conflicts: 63000 | #Constraints: 28145 88.47/88.71 c #Conflicts: 64000 | #Constraints: 29145 88.47/88.71 c INPROCESSING 88.47/88.71 c GARBAGE COLLECT 88.47/88.71 c rational objective 98 95.65/95.98 c #Conflicts: 65000 | #Constraints: 18864 95.65/95.98 c #Conflicts: 66000 | #Constraints: 19864 95.65/95.98 c #Conflicts: 67000 | #Constraints: 20864 95.65/95.98 c #Conflicts: 68000 | #Constraints: 21864 95.65/95.98 c #Conflicts: 69000 | #Constraints: 22864 95.65/95.98 c #Conflicts: 70000 | #Constraints: 23864 95.65/95.98 c INPROCESSING 95.65/95.98 c GARBAGE COLLECT 95.65/95.98 c rational objective 98 104.43/104.77 c #Conflicts: 71000 | #Constraints: 16269 104.43/104.77 c #Conflicts: 72000 | #Constraints: 17269 104.43/104.77 c #Conflicts: 73000 | #Constraints: 18269 104.43/104.77 c #Conflicts: 74000 | #Constraints: 19269 104.43/104.77 c #Conflicts: 75000 | #Constraints: 20269 104.43/104.77 c #Conflicts: 76000 | #Constraints: 21269 104.43/104.77 c INPROCESSING 104.43/104.77 c GARBAGE COLLECT 104.43/104.77 c rational objective 98 111.22/111.59 c #Conflicts: 77000 | #Constraints: 14958 111.22/111.59 c #Conflicts: 78000 | #Constraints: 15958 111.22/111.59 c #Conflicts: 79000 | #Constraints: 16958 111.22/111.59 c #Conflicts: 80000 | #Constraints: 17958 111.22/111.59 c #Conflicts: 81000 | #Constraints: 18959 111.22/111.59 c #Conflicts: 82000 | #Constraints: 19960 111.22/111.59 c INPROCESSING 111.22/111.59 c GARBAGE COLLECT 111.22/111.59 c rational objective 98 126.08/126.46 c #Conflicts: 83000 | #Constraints: 14176 126.08/126.46 c #Conflicts: 84000 | #Constraints: 15176 126.08/126.46 c #Conflicts: 85000 | #Constraints: 16176 126.08/126.46 c #Conflicts: 86000 | #Constraints: 17176 126.08/126.46 c #Conflicts: 87000 | #Constraints: 18176 126.08/126.46 c #Conflicts: 88000 | #Constraints: 19177 126.08/126.46 c #Conflicts: 89000 | #Constraints: 20177 126.08/126.46 c INPROCESSING 126.08/126.46 c GARBAGE COLLECT 126.08/126.46 c rational objective 98 157.71/158.19 c #Conflicts: 90000 | #Constraints: 14538 157.71/158.19 c #Conflicts: 91000 | #Constraints: 15538 157.71/158.19 c #Conflicts: 92000 | #Constraints: 16538 157.71/158.19 c #Conflicts: 93000 | #Constraints: 17538 157.71/158.19 c #Conflicts: 94000 | #Constraints: 18538 157.71/158.19 c #Conflicts: 95000 | #Constraints: 19538 157.71/158.19 c #Conflicts: 96000 | #Constraints: 20538 157.71/158.19 c #Conflicts: 97000 | #Constraints: 21539 157.71/158.19 c #Conflicts: 98000 | #Constraints: 22539 157.71/158.19 c #Conflicts: 99000 | #Constraints: 23540 157.71/158.19 c #Conflicts: 100000 | #Constraints: 24540 157.71/158.19 c #Conflicts: 101000 | #Constraints: 25540 157.71/158.19 c #Conflicts: 102000 | #Constraints: 26540 157.71/158.19 c #Conflicts: 103000 | #Constraints: 27540 157.71/158.19 c #Conflicts: 104000 | #Constraints: 28540 157.71/158.19 c #Conflicts: 105000 | #Constraints: 29540 157.71/158.19 c #Conflicts: 106000 | #Constraints: 30540 157.71/158.19 c #Conflicts: 107000 | #Constraints: 31540 157.71/158.19 c #Conflicts: 108000 | #Constraints: 32540 157.71/158.19 c #Conflicts: 109000 | #Constraints: 33540 157.71/158.19 c #Conflicts: 110000 | #Constraints: 34540 157.71/158.19 c #Conflicts: 111000 | #Constraints: 35541 157.71/158.19 c #Conflicts: 112000 | #Constraints: 36541 157.71/158.19 c #Conflicts: 113000 | #Constraints: 37541 157.71/158.19 c #Conflicts: 114000 | #Constraints: 38541 157.71/158.19 c INPROCESSING 157.71/158.19 c GARBAGE COLLECT 157.71/158.19 c rational objective 98 166.27/166.70 c #Conflicts: 115000 | #Constraints: 23886 166.27/166.70 c #Conflicts: 116000 | #Constraints: 24886 166.27/166.70 c #Conflicts: 117000 | #Constraints: 25887 166.27/166.70 c #Conflicts: 118000 | #Constraints: 26887 166.27/166.70 c #Conflicts: 119000 | #Constraints: 27887 166.27/166.70 c #Conflicts: 120000 | #Constraints: 28887 166.27/166.70 c #Conflicts: 121000 | #Constraints: 29887 166.27/166.70 c INPROCESSING 166.27/166.70 c GARBAGE COLLECT 166.27/166.70 c rational objective 98 173.95/174.41 c #Conflicts: 122000 | #Constraints: 19165 173.95/174.41 c #Conflicts: 123000 | #Constraints: 20165 173.95/174.41 c #Conflicts: 124000 | #Constraints: 21165 173.95/174.41 c #Conflicts: 125000 | #Constraints: 22165 173.95/174.41 c #Conflicts: 126000 | #Constraints: 23165 173.95/174.41 c #Conflicts: 127000 | #Constraints: 24165 173.95/174.41 c #Conflicts: 128000 | #Constraints: 25165 173.95/174.41 c #Conflicts: 129000 | #Constraints: 26165 173.95/174.41 c INPROCESSING 173.95/174.41 c GARBAGE COLLECT 173.95/174.41 c rational objective 98 186.32/186.81 c #Conflicts: 130000 | #Constraints: 17303 186.32/186.81 c #Conflicts: 131000 | #Constraints: 18303 186.32/186.81 c #Conflicts: 132000 | #Constraints: 19303 186.32/186.81 c #Conflicts: 133000 | #Constraints: 20303 186.32/186.81 c #Conflicts: 134000 | #Constraints: 21303 186.32/186.81 c #Conflicts: 135000 | #Constraints: 22303 186.32/186.81 c #Conflicts: 136000 | #Constraints: 23303 186.32/186.81 c #Conflicts: 137000 | #Constraints: 24303 186.32/186.81 c #Conflicts: 138000 | #Constraints: 25304 186.32/186.81 c INPROCESSING 186.32/186.81 c GARBAGE COLLECT 186.32/186.81 c rational objective 98 194.30/194.87 c #Conflicts: 139000 | #Constraints: 17342 194.30/194.87 c #Conflicts: 140000 | #Constraints: 18342 194.30/194.87 c #Conflicts: 141000 | #Constraints: 19342 194.30/194.87 c #Conflicts: 142000 | #Constraints: 20342 194.30/194.87 c #Conflicts: 143000 | #Constraints: 21342 194.30/194.87 c #Conflicts: 144000 | #Constraints: 22342 194.30/194.87 c #Conflicts: 145000 | #Constraints: 23342 194.30/194.87 c #Conflicts: 146000 | #Constraints: 24342 194.30/194.87 c INPROCESSING 194.30/194.87 c GARBAGE COLLECT 194.30/194.87 c rational objective 98 237.89/238.57 c #Conflicts: 147000 | #Constraints: 16652 237.89/238.57 c #Conflicts: 148000 | #Constraints: 17652 237.89/238.57 c #Conflicts: 149000 | #Constraints: 18653 237.89/238.57 c #Conflicts: 150000 | #Constraints: 19653 237.89/238.57 c #Conflicts: 151000 | #Constraints: 20653 237.89/238.57 c #Conflicts: 152000 | #Constraints: 21653 237.89/238.57 c #Conflicts: 153000 | #Constraints: 22653 237.89/238.57 c #Conflicts: 154000 | #Constraints: 23653 237.89/238.57 c #Conflicts: 155000 | #Constraints: 24653 237.89/238.57 c #Conflicts: 156000 | #Constraints: 25653 237.89/238.57 c #Conflicts: 157000 | #Constraints: 26653 237.89/238.57 c #Conflicts: 158000 | #Constraints: 27653 237.89/238.57 c #Conflicts: 159000 | #Constraints: 28653 237.89/238.57 c #Conflicts: 160000 | #Constraints: 29653 237.89/238.57 c #Conflicts: 161000 | #Constraints: 30653 237.89/238.57 c #Conflicts: 162000 | #Constraints: 31653 237.89/238.57 c #Conflicts: 163000 | #Constraints: 32653 237.89/238.57 c #Conflicts: 164000 | #Constraints: 33653 237.89/238.57 c #Conflicts: 165000 | #Constraints: 34653 237.89/238.57 c #Conflicts: 166000 | #Constraints: 35653 237.89/238.57 c #Conflicts: 167000 | #Constraints: 36653 237.89/238.57 c #Conflicts: 168000 | #Constraints: 37654 237.89/238.57 c #Conflicts: 169000 | #Constraints: 38654 237.89/238.57 c #Conflicts: 170000 | #Constraints: 39655 237.89/238.57 c #Conflicts: 171000 | #Constraints: 40655 237.89/238.57 c #Conflicts: 172000 | #Constraints: 41655 237.89/238.57 c #Conflicts: 173000 | #Constraints: 42655 237.89/238.57 c #Conflicts: 174000 | #Constraints: 43655 237.89/238.57 c #Conflicts: 175000 | #Constraints: 44655 237.89/238.57 c #Conflicts: 176000 | #Constraints: 45655 237.89/238.57 c #Conflicts: 177000 | #Constraints: 46655 237.89/238.57 c INPROCESSING 237.89/238.57 c GARBAGE COLLECT 237.89/238.57 c rational objective 98 264.23/264.99 c #Conflicts: 178000 | #Constraints: 27784 264.23/264.99 c #Conflicts: 179000 | #Constraints: 28784 264.23/264.99 c #Conflicts: 180000 | #Constraints: 29785 264.23/264.99 c #Conflicts: 181000 | #Constraints: 30785 264.23/264.99 c #Conflicts: 182000 | #Constraints: 31785 264.23/264.99 c #Conflicts: 183000 | #Constraints: 32785 264.23/264.99 c #Conflicts: 184000 | #Constraints: 33785 264.23/264.99 c #Conflicts: 185000 | #Constraints: 34785 264.23/264.99 c #Conflicts: 186000 | #Constraints: 35785 264.23/264.99 c #Conflicts: 187000 | #Constraints: 36785 264.23/264.99 c INPROCESSING 264.23/264.99 c GARBAGE COLLECT 264.23/264.99 c rational objective 98 278.09/278.81 c #Conflicts: 188000 | #Constraints: 23037 278.09/278.81 c #Conflicts: 189000 | #Constraints: 24037 278.09/278.81 c #Conflicts: 190000 | #Constraints: 25037 278.09/278.81 c #Conflicts: 191000 | #Constraints: 26040 278.09/278.81 c #Conflicts: 192000 | #Constraints: 27040 278.09/278.81 c #Conflicts: 193000 | #Constraints: 28040 278.09/278.81 c #Conflicts: 194000 | #Constraints: 29040 278.09/278.81 c #Conflicts: 195000 | #Constraints: 30040 278.09/278.81 c #Conflicts: 196000 | #Constraints: 31040 278.09/278.81 c #Conflicts: 197000 | #Constraints: 32040 278.09/278.81 c INPROCESSING 278.09/278.81 c GARBAGE COLLECT 278.09/278.81 c rational objective 98 292.05/292.89 c #Conflicts: 198000 | #Constraints: 20690 292.05/292.89 c #Conflicts: 199000 | #Constraints: 21690 292.05/292.89 c #Conflicts: 200000 | #Constraints: 22691 292.05/292.89 c #Conflicts: 201000 | #Constraints: 23692 292.05/292.89 c #Conflicts: 202000 | #Constraints: 24692 292.05/292.89 c #Conflicts: 203000 | #Constraints: 25692 292.05/292.89 c #Conflicts: 204000 | #Constraints: 26692 292.05/292.89 c #Conflicts: 205000 | #Constraints: 27693 292.05/292.89 c #Conflicts: 206000 | #Constraints: 28695 292.05/292.89 c #Conflicts: 207000 | #Constraints: 29695 292.05/292.89 c INPROCESSING 292.05/292.89 c GARBAGE COLLECT 292.05/292.89 c rational objective 98 306.90/307.71 c #Conflicts: 208000 | #Constraints: 19422 306.90/307.71 c #Conflicts: 209000 | #Constraints: 20422 306.90/307.71 c #Conflicts: 210000 | #Constraints: 21422 306.90/307.71 c #Conflicts: 211000 | #Constraints: 22422 306.90/307.71 c #Conflicts: 212000 | #Constraints: 23422 306.90/307.71 c #Conflicts: 213000 | #Constraints: 24422 306.90/307.71 c #Conflicts: 214000 | #Constraints: 25422 306.90/307.71 c #Conflicts: 215000 | #Constraints: 26422 306.90/307.71 c #Conflicts: 216000 | #Constraints: 27422 306.90/307.71 c #Conflicts: 217000 | #Constraints: 28422 306.90/307.71 c INPROCESSING 306.90/307.71 c GARBAGE COLLECT 306.90/307.71 c rational objective 98 357.66/358.61 c #Conflicts: 218000 | #Constraints: 18691 357.66/358.61 c #Conflicts: 219000 | #Constraints: 19692 357.66/358.61 c #Conflicts: 220000 | #Constraints: 20692 357.66/358.61 c #Conflicts: 221000 | #Constraints: 21692 357.66/358.61 c #Conflicts: 222000 | #Constraints: 22692 357.66/358.61 c #Conflicts: 223000 | #Constraints: 23692 357.66/358.61 c #Conflicts: 224000 | #Constraints: 24692 357.66/358.61 c #Conflicts: 225000 | #Constraints: 25692 357.66/358.61 c #Conflicts: 226000 | #Constraints: 26692 357.66/358.61 c #Conflicts: 227000 | #Constraints: 27692 357.66/358.61 c #Conflicts: 228000 | #Constraints: 28692 357.66/358.61 c #Conflicts: 229000 | #Constraints: 29692 357.66/358.61 c #Conflicts: 230000 | #Constraints: 30692 357.66/358.61 c #Conflicts: 231000 | #Constraints: 31692 357.66/358.61 c #Conflicts: 232000 | #Constraints: 32692 357.66/358.61 c #Conflicts: 233000 | #Constraints: 33692 357.66/358.61 c #Conflicts: 234000 | #Constraints: 34693 357.66/358.61 c #Conflicts: 235000 | #Constraints: 35693 357.66/358.61 c #Conflicts: 236000 | #Constraints: 36693 357.66/358.61 c #Conflicts: 237000 | #Constraints: 37693 357.66/358.61 c #Conflicts: 238000 | #Constraints: 38693 357.66/358.61 c #Conflicts: 239000 | #Constraints: 39693 357.66/358.61 c #Conflicts: 240000 | #Constraints: 40693 357.66/358.61 c #Conflicts: 241000 | #Constraints: 41693 357.66/358.61 c #Conflicts: 242000 | #Constraints: 42693 357.66/358.61 c #Conflicts: 243000 | #Constraints: 43693 357.66/358.61 c #Conflicts: 244000 | #Constraints: 44693 357.66/358.61 c #Conflicts: 245000 | #Constraints: 45694 357.66/358.61 c #Conflicts: 246000 | #Constraints: 46694 357.66/358.61 c #Conflicts: 247000 | #Constraints: 47694 357.66/358.61 c #Conflicts: 248000 | #Constraints: 48694 357.66/358.61 c #Conflicts: 249000 | #Constraints: 49694 357.66/358.61 c #Conflicts: 250000 | #Constraints: 50694 357.66/358.61 c #Conflicts: 251000 | #Constraints: 51694 357.66/358.61 c #Conflicts: 252000 | #Constraints: 52694 357.66/358.61 c #Conflicts: 253000 | #Constraints: 53694 357.66/358.61 c #Conflicts: 254000 | #Constraints: 54694 357.66/358.61 c #Conflicts: 255000 | #Constraints: 55694 357.66/358.61 c INPROCESSING 357.66/358.61 c GARBAGE COLLECT 357.66/358.61 c rational objective 98 372.42/373.46 c #Conflicts: 256000 | #Constraints: 32522 372.42/373.46 c #Conflicts: 257000 | #Constraints: 33522 372.42/373.46 c #Conflicts: 258000 | #Constraints: 34522 372.42/373.46 c #Conflicts: 259000 | #Constraints: 35522 372.42/373.46 c #Conflicts: 260000 | #Constraints: 36522 372.42/373.46 c #Conflicts: 261000 | #Constraints: 37522 372.42/373.46 c #Conflicts: 262000 | #Constraints: 38522 372.42/373.46 c #Conflicts: 263000 | #Constraints: 39522 372.42/373.46 c #Conflicts: 264000 | #Constraints: 40522 372.42/373.46 c #Conflicts: 265000 | #Constraints: 41522 372.42/373.46 c #Conflicts: 266000 | #Constraints: 42522 372.42/373.46 c INPROCESSING 372.42/373.46 c GARBAGE COLLECT 372.42/373.46 c rational objective 98 386.18/387.28 c #Conflicts: 267000 | #Constraints: 25709 386.18/387.28 c #Conflicts: 268000 | #Constraints: 26709 386.18/387.28 c #Conflicts: 269000 | #Constraints: 27709 386.18/387.28 c #Conflicts: 270000 | #Constraints: 28709 386.18/387.28 c #Conflicts: 271000 | #Constraints: 29709 386.18/387.28 c #Conflicts: 272000 | #Constraints: 30710 386.18/387.28 c #Conflicts: 273000 | #Constraints: 31710 386.18/387.28 c #Conflicts: 274000 | #Constraints: 32711 386.18/387.28 c #Conflicts: 275000 | #Constraints: 33711 386.18/387.28 c #Conflicts: 276000 | #Constraints: 34711 386.18/387.28 c #Conflicts: 277000 | #Constraints: 35711 386.18/387.28 c #Conflicts: 278000 | #Constraints: 36711 386.18/387.28 c INPROCESSING 386.18/387.28 c GARBAGE COLLECT 386.18/387.28 c rational objective 98 401.65/402.77 c #Conflicts: 279000 | #Constraints: 22873 401.65/402.77 c #Conflicts: 280000 | #Constraints: 23873 401.65/402.77 c #Conflicts: 281000 | #Constraints: 24873 401.65/402.77 c #Conflicts: 282000 | #Constraints: 25873 401.65/402.77 c #Conflicts: 283000 | #Constraints: 26873 401.65/402.77 c #Conflicts: 284000 | #Constraints: 27873 401.65/402.77 c #Conflicts: 285000 | #Constraints: 28873 401.65/402.77 c #Conflicts: 286000 | #Constraints: 29873 401.65/402.77 c #Conflicts: 287000 | #Constraints: 30873 401.65/402.77 c #Conflicts: 288000 | #Constraints: 31873 401.65/402.77 c #Conflicts: 289000 | #Constraints: 32874 401.65/402.77 c #Conflicts: 290000 | #Constraints: 33875 401.65/402.77 c INPROCESSING 401.65/402.77 c GARBAGE COLLECT 401.65/402.77 c rational objective 98 412.72/413.82 c #Conflicts: 291000 | #Constraints: 21449 412.72/413.82 c #Conflicts: 292000 | #Constraints: 22449 412.72/413.82 c #Conflicts: 293000 | #Constraints: 23449 412.72/413.82 c #Conflicts: 294000 | #Constraints: 24449 412.72/413.82 c #Conflicts: 295000 | #Constraints: 25449 412.72/413.82 c #Conflicts: 296000 | #Constraints: 26449 412.72/413.82 c #Conflicts: 297000 | #Constraints: 27449 412.72/413.82 c #Conflicts: 298000 | #Constraints: 28449 412.72/413.82 c #Conflicts: 299000 | #Constraints: 29449 412.72/413.82 c #Conflicts: 300000 | #Constraints: 30449 412.72/413.82 c #Conflicts: 301000 | #Constraints: 31449 412.72/413.82 c #Conflicts: 302000 | #Constraints: 32449 412.72/413.82 c INPROCESSING 412.72/413.82 c GARBAGE COLLECT 412.72/413.82 c rational objective 98 493.01/494.34 c #Conflicts: 303000 | #Constraints: 20688 493.01/494.34 c #Conflicts: 304000 | #Constraints: 21689 493.01/494.34 c #Conflicts: 305000 | #Constraints: 22689 493.01/494.34 c #Conflicts: 306000 | #Constraints: 23689 493.01/494.34 c #Conflicts: 307000 | #Constraints: 24689 493.01/494.34 c #Conflicts: 308000 | #Constraints: 25689 493.01/494.34 c #Conflicts: 309000 | #Constraints: 26689 493.01/494.34 c #Conflicts: 310000 | #Constraints: 27689 493.01/494.34 c #Conflicts: 311000 | #Constraints: 28689 493.01/494.34 c #Conflicts: 312000 | #Constraints: 29689 493.01/494.34 c #Conflicts: 313000 | #Constraints: 30690 493.01/494.34 c #Conflicts: 314000 | #Constraints: 31690 493.01/494.34 c #Conflicts: 315000 | #Constraints: 32690 493.01/494.34 c #Conflicts: 316000 | #Constraints: 33690 493.01/494.34 c #Conflicts: 317000 | #Constraints: 34690 493.01/494.34 c #Conflicts: 318000 | #Constraints: 35690 493.01/494.34 c #Conflicts: 319000 | #Constraints: 36691 493.01/494.34 c #Conflicts: 320000 | #Constraints: 37691 493.01/494.34 c #Conflicts: 321000 | #Constraints: 38691 493.01/494.34 c #Conflicts: 322000 | #Constraints: 39691 493.01/494.34 c #Conflicts: 323000 | #Constraints: 40691 493.01/494.34 c #Conflicts: 324000 | #Constraints: 41691 493.01/494.34 c #Conflicts: 325000 | #Constraints: 42691 493.01/494.34 c #Conflicts: 326000 | #Constraints: 43691 493.01/494.34 c #Conflicts: 327000 | #Constraints: 44691 493.01/494.34 c #Conflicts: 328000 | #Constraints: 45692 493.01/494.34 c #Conflicts: 329000 | #Constraints: 46692 493.01/494.34 c #Conflicts: 330000 | #Constraints: 47692 493.01/494.34 c #Conflicts: 331000 | #Constraints: 48692 493.01/494.34 c #Conflicts: 332000 | #Constraints: 49692 493.01/494.34 c #Conflicts: 333000 | #Constraints: 50692 493.01/494.34 c #Conflicts: 334000 | #Constraints: 51692 493.01/494.34 c #Conflicts: 335000 | #Constraints: 52692 493.01/494.34 c #Conflicts: 336000 | #Constraints: 53692 493.01/494.34 c #Conflicts: 337000 | #Constraints: 54692 493.01/494.34 c #Conflicts: 338000 | #Constraints: 55692 493.01/494.34 c #Conflicts: 339000 | #Constraints: 56692 493.01/494.34 c #Conflicts: 340000 | #Constraints: 57692 493.01/494.34 c #Conflicts: 341000 | #Constraints: 58692 493.01/494.34 c #Conflicts: 342000 | #Constraints: 59693 493.01/494.34 c #Conflicts: 343000 | #Constraints: 60693 493.01/494.34 c #Conflicts: 344000 | #Constraints: 61693 493.01/494.34 c #Conflicts: 345000 | #Constraints: 62693 493.01/494.34 c #Conflicts: 346000 | #Constraints: 63693 493.01/494.34 c INPROCESSING 493.01/494.34 c GARBAGE COLLECT 493.01/494.34 c rational objective 98 520.03/521.41 c #Conflicts: 347000 | #Constraints: 36395 520.03/521.41 c #Conflicts: 348000 | #Constraints: 37395 520.03/521.41 c #Conflicts: 349000 | #Constraints: 38395 520.03/521.41 c #Conflicts: 350000 | #Constraints: 39395 520.03/521.41 c #Conflicts: 351000 | #Constraints: 40395 520.03/521.41 c #Conflicts: 352000 | #Constraints: 41395 520.03/521.41 c #Conflicts: 353000 | #Constraints: 42395 520.03/521.41 c #Conflicts: 354000 | #Constraints: 43395 520.03/521.41 c #Conflicts: 355000 | #Constraints: 44395 520.03/521.41 c #Conflicts: 356000 | #Constraints: 45395 520.03/521.41 c #Conflicts: 357000 | #Constraints: 46395 520.03/521.41 c #Conflicts: 358000 | #Constraints: 47395 520.03/521.41 c #Conflicts: 359000 | #Constraints: 48395 520.03/521.41 c #Conflicts: 360000 | #Constraints: 49395 520.03/521.41 c INPROCESSING 520.03/521.41 c GARBAGE COLLECT 520.03/521.41 c rational objective 98 541.18/542.67 c #Conflicts: 361000 | #Constraints: 29489 541.18/542.67 c #Conflicts: 362000 | #Constraints: 30489 541.18/542.67 c #Conflicts: 363000 | #Constraints: 31489 541.18/542.67 c #Conflicts: 364000 | #Constraints: 32489 541.18/542.67 c #Conflicts: 365000 | #Constraints: 33489 541.18/542.67 c #Conflicts: 366000 | #Constraints: 34489 541.18/542.67 c #Conflicts: 367000 | #Constraints: 35489 541.18/542.67 c #Conflicts: 368000 | #Constraints: 36489 541.18/542.67 c #Conflicts: 369000 | #Constraints: 37489 541.18/542.67 c #Conflicts: 370000 | #Constraints: 38489 541.18/542.67 c #Conflicts: 371000 | #Constraints: 39490 541.18/542.67 c #Conflicts: 372000 | #Constraints: 40490 541.18/542.67 c #Conflicts: 373000 | #Constraints: 41491 541.18/542.67 c INPROCESSING 541.18/542.67 c GARBAGE COLLECT 541.18/542.67 c rational objective 98 565.91/567.42 c #Conflicts: 374000 | #Constraints: 25238 565.91/567.42 c #Conflicts: 375000 | #Constraints: 26238 565.91/567.42 c #Conflicts: 376000 | #Constraints: 27238 565.91/567.42 c #Conflicts: 377000 | #Constraints: 28238 565.91/567.42 c #Conflicts: 378000 | #Constraints: 29238 565.91/567.42 c #Conflicts: 379000 | #Constraints: 30238 565.91/567.42 c #Conflicts: 380000 | #Constraints: 31238 565.91/567.42 c #Conflicts: 381000 | #Constraints: 32239 565.91/567.42 c #Conflicts: 382000 | #Constraints: 33239 565.91/567.42 c #Conflicts: 383000 | #Constraints: 34239 565.91/567.42 c #Conflicts: 384000 | #Constraints: 35239 565.91/567.42 c #Conflicts: 385000 | #Constraints: 36239 565.91/567.42 c #Conflicts: 386000 | #Constraints: 37239 565.91/567.42 c #Conflicts: 387000 | #Constraints: 38239 565.91/567.42 c INPROCESSING 565.91/567.42 c GARBAGE COLLECT 565.91/567.42 c rational objective 98 580.48/582.07 c #Conflicts: 388000 | #Constraints: 23621 580.48/582.07 c #Conflicts: 389000 | #Constraints: 24621 580.48/582.07 c #Conflicts: 390000 | #Constraints: 25621 580.48/582.07 c #Conflicts: 391000 | #Constraints: 26621 580.48/582.07 c #Conflicts: 392000 | #Constraints: 27622 580.48/582.07 c #Conflicts: 393000 | #Constraints: 28622 580.48/582.07 c #Conflicts: 394000 | #Constraints: 29622 580.48/582.07 c #Conflicts: 395000 | #Constraints: 30622 580.48/582.07 c #Conflicts: 396000 | #Constraints: 31622 580.48/582.07 c #Conflicts: 397000 | #Constraints: 32622 580.48/582.07 c #Conflicts: 398000 | #Constraints: 33622 580.48/582.07 c #Conflicts: 399000 | #Constraints: 34622 580.48/582.07 c #Conflicts: 400000 | #Constraints: 35622 580.48/582.07 c #Conflicts: 401000 | #Constraints: 36622 580.48/582.07 c INPROCESSING 580.48/582.07 c GARBAGE COLLECT 580.48/582.07 c rational objective 98 654.48/656.24 c #Conflicts: 402000 | #Constraints: 22695 654.48/656.24 c #Conflicts: 403000 | #Constraints: 23695 654.48/656.24 c #Conflicts: 404000 | #Constraints: 24696 654.48/656.24 c #Conflicts: 405000 | #Constraints: 25697 654.48/656.24 c #Conflicts: 406000 | #Constraints: 26697 654.48/656.24 c #Conflicts: 407000 | #Constraints: 27697 654.48/656.24 c #Conflicts: 408000 | #Constraints: 28697 654.48/656.24 c #Conflicts: 409000 | #Constraints: 29697 654.48/656.24 c #Conflicts: 410000 | #Constraints: 30697 654.48/656.24 c #Conflicts: 411000 | #Constraints: 31698 654.48/656.24 c #Conflicts: 412000 | #Constraints: 32698 654.48/656.24 c #Conflicts: 413000 | #Constraints: 33698 654.48/656.24 c #Conflicts: 414000 | #Constraints: 34698 654.48/656.24 c #Conflicts: 415000 | #Constraints: 35698 654.48/656.24 c #Conflicts: 416000 | #Constraints: 36698 654.48/656.24 c #Conflicts: 417000 | #Constraints: 37698 654.48/656.24 c #Conflicts: 418000 | #Constraints: 38698 654.48/656.24 c #Conflicts: 419000 | #Constraints: 39698 654.48/656.24 c #Conflicts: 420000 | #Constraints: 40698 654.48/656.24 c #Conflicts: 421000 | #Constraints: 41698 654.48/656.24 c #Conflicts: 422000 | #Constraints: 42698 654.48/656.24 c #Conflicts: 423000 | #Constraints: 43698 654.48/656.24 c #Conflicts: 424000 | #Constraints: 44698 654.48/656.24 c #Conflicts: 425000 | #Constraints: 45698 654.48/656.24 c #Conflicts: 426000 | #Constraints: 46698 654.48/656.24 c #Conflicts: 427000 | #Constraints: 47698 654.48/656.24 c #Conflicts: 428000 | #Constraints: 48698 654.48/656.24 c #Conflicts: 429000 | #Constraints: 49699 654.48/656.24 c #Conflicts: 430000 | #Constraints: 50699 654.48/656.24 c #Conflicts: 431000 | #Constraints: 51699 654.48/656.24 c #Conflicts: 432000 | #Constraints: 52699 654.48/656.24 c #Conflicts: 433000 | #Constraints: 53700 654.48/656.24 c #Conflicts: 434000 | #Constraints: 54700 654.48/656.24 c #Conflicts: 435000 | #Constraints: 55700 654.48/656.24 c #Conflicts: 436000 | #Constraints: 56700 654.48/656.24 c #Conflicts: 437000 | #Constraints: 57700 654.48/656.24 c #Conflicts: 438000 | #Constraints: 58700 654.48/656.24 c #Conflicts: 439000 | #Constraints: 59700 654.48/656.24 c #Conflicts: 440000 | #Constraints: 60700 654.48/656.24 c #Conflicts: 441000 | #Constraints: 61700 654.48/656.24 c #Conflicts: 442000 | #Constraints: 62700 654.48/656.24 c #Conflicts: 443000 | #Constraints: 63700 654.48/656.24 c #Conflicts: 444000 | #Constraints: 64700 654.48/656.24 c #Conflicts: 445000 | #Constraints: 65700 654.48/656.24 c #Conflicts: 446000 | #Constraints: 66700 654.48/656.24 c #Conflicts: 447000 | #Constraints: 67700 654.48/656.24 c #Conflicts: 448000 | #Constraints: 68700 654.48/656.24 c #Conflicts: 449000 | #Constraints: 69700 654.48/656.24 c #Conflicts: 450000 | #Constraints: 70700 654.48/656.24 c #Conflicts: 451000 | #Constraints: 71700 654.48/656.24 c #Conflicts: 452000 | #Constraints: 72700 654.48/656.24 c INPROCESSING 654.48/656.24 c GARBAGE COLLECT 654.48/656.24 c rational objective 98 682.01/683.82 c #Conflicts: 453000 | #Constraints: 41155 682.01/683.82 c #Conflicts: 454000 | #Constraints: 42155 682.01/683.82 c #Conflicts: 455000 | #Constraints: 43155 682.01/683.82 c #Conflicts: 456000 | #Constraints: 44155 682.01/683.82 c #Conflicts: 457000 | #Constraints: 45155 682.01/683.82 c #Conflicts: 458000 | #Constraints: 46155 682.01/683.82 c #Conflicts: 459000 | #Constraints: 47155 682.01/683.82 c #Conflicts: 460000 | #Constraints: 48155 682.01/683.82 c #Conflicts: 461000 | #Constraints: 49155 682.01/683.82 c #Conflicts: 462000 | #Constraints: 50155 682.01/683.82 c #Conflicts: 463000 | #Constraints: 51155 682.01/683.82 c #Conflicts: 464000 | #Constraints: 52155 682.01/683.82 c #Conflicts: 465000 | #Constraints: 53155 682.01/683.82 c #Conflicts: 466000 | #Constraints: 54155 682.01/683.82 c #Conflicts: 467000 | #Constraints: 55155 682.01/683.82 c INPROCESSING 682.01/683.82 c GARBAGE COLLECT 682.01/683.82 c rational objective 98 712.52/714.44 c #Conflicts: 468000 | #Constraints: 32228 712.52/714.44 c #Conflicts: 469000 | #Constraints: 33228 712.52/714.44 c #Conflicts: 470000 | #Constraints: 34228 712.52/714.44 c #Conflicts: 471000 | #Constraints: 35228 712.52/714.44 c #Conflicts: 472000 | #Constraints: 36228 712.52/714.44 c #Conflicts: 473000 | #Constraints: 37228 712.52/714.44 c #Conflicts: 474000 | #Constraints: 38228 712.52/714.44 c #Conflicts: 475000 | #Constraints: 39228 712.52/714.44 c #Conflicts: 476000 | #Constraints: 40228 712.52/714.44 c #Conflicts: 477000 | #Constraints: 41228 712.52/714.44 c #Conflicts: 478000 | #Constraints: 42228 712.52/714.44 c #Conflicts: 479000 | #Constraints: 43228 712.52/714.44 c #Conflicts: 480000 | #Constraints: 44228 712.52/714.44 c #Conflicts: 481000 | #Constraints: 45228 712.52/714.44 c #Conflicts: 482000 | #Constraints: 46228 712.52/714.44 c #Conflicts: 483000 | #Constraints: 47229 712.52/714.44 c INPROCESSING 712.52/714.44 c GARBAGE COLLECT 712.52/714.44 c rational objective 98 739.66/741.66 c #Conflicts: 484000 | #Constraints: 28508 739.66/741.66 c #Conflicts: 485000 | #Constraints: 29508 739.66/741.66 c #Conflicts: 486000 | #Constraints: 30508 739.66/741.66 c #Conflicts: 487000 | #Constraints: 31508 739.66/741.66 c #Conflicts: 488000 | #Constraints: 32509 739.66/741.66 c #Conflicts: 489000 | #Constraints: 33509 739.66/741.66 c #Conflicts: 490000 | #Constraints: 34509 739.66/741.66 c #Conflicts: 491000 | #Constraints: 35509 739.66/741.66 c #Conflicts: 492000 | #Constraints: 36509 739.66/741.66 c #Conflicts: 493000 | #Constraints: 37509 739.66/741.66 c #Conflicts: 494000 | #Constraints: 38509 739.66/741.66 c #Conflicts: 495000 | #Constraints: 39509 739.66/741.66 c #Conflicts: 496000 | #Constraints: 40509 739.66/741.66 c #Conflicts: 497000 | #Constraints: 41509 739.66/741.66 c #Conflicts: 498000 | #Constraints: 42509 739.66/741.66 c INPROCESSING 739.66/741.66 c GARBAGE COLLECT 739.66/741.66 c rational objective 98 756.72/758.80 c #Conflicts: 499000 | #Constraints: 25642 756.72/758.80 c #Conflicts: 500000 | #Constraints: 26642 756.72/758.80 c #Conflicts: 501000 | #Constraints: 27642 756.72/758.80 c #Conflicts: 502000 | #Constraints: 28642 756.72/758.80 c #Conflicts: 503000 | #Constraints: 29642 756.72/758.80 c #Conflicts: 504000 | #Constraints: 30643 756.72/758.80 c #Conflicts: 505000 | #Constraints: 31643 756.72/758.80 c #Conflicts: 506000 | #Constraints: 32644 756.72/758.80 c #Conflicts: 507000 | #Constraints: 33645 756.72/758.80 c #Conflicts: 508000 | #Constraints: 34645 756.72/758.80 c #Conflicts: 509000 | #Constraints: 35645 756.72/758.80 c #Conflicts: 510000 | #Constraints: 36645 756.72/758.80 c #Conflicts: 511000 | #Constraints: 37645 756.72/758.80 c #Conflicts: 512000 | #Constraints: 38645 756.72/758.80 c #Conflicts: 513000 | #Constraints: 39645 756.72/758.80 c #Conflicts: 514000 | #Constraints: 40645 756.72/758.80 c INPROCESSING 756.72/758.80 c GARBAGE COLLECT 756.72/758.80 c rational objective 98 863.42/865.76 c #Conflicts: 515000 | #Constraints: 24689 863.42/865.76 c #Conflicts: 516000 | #Constraints: 25689 863.42/865.76 c #Conflicts: 517000 | #Constraints: 26689 863.42/865.76 c #Conflicts: 518000 | #Constraints: 27689 863.42/865.76 c #Conflicts: 519000 | #Constraints: 28690 863.42/865.76 c #Conflicts: 520000 | #Constraints: 29690 863.42/865.76 c #Conflicts: 521000 | #Constraints: 30690 863.42/865.76 c #Conflicts: 522000 | #Constraints: 31690 863.42/865.76 c #Conflicts: 523000 | #Constraints: 32690 863.42/865.76 c #Conflicts: 524000 | #Constraints: 33690 863.42/865.76 c #Conflicts: 525000 | #Constraints: 34690 863.42/865.76 c #Conflicts: 526000 | #Constraints: 35690 863.42/865.76 c #Conflicts: 527000 | #Constraints: 36690 863.42/865.76 c #Conflicts: 528000 | #Constraints: 37690 863.42/865.76 c #Conflicts: 529000 | #Constraints: 38690 863.42/865.76 c #Conflicts: 530000 | #Constraints: 39690 863.42/865.76 c #Conflicts: 531000 | #Constraints: 40691 863.42/865.76 c #Conflicts: 532000 | #Constraints: 41691 863.42/865.76 c #Conflicts: 533000 | #Constraints: 42691 863.42/865.76 c #Conflicts: 534000 | #Constraints: 43691 863.42/865.76 c #Conflicts: 535000 | #Constraints: 44692 863.42/865.76 c #Conflicts: 536000 | #Constraints: 45692 863.42/865.76 c #Conflicts: 537000 | #Constraints: 46692 863.42/865.76 c #Conflicts: 538000 | #Constraints: 47692 863.42/865.76 c #Conflicts: 539000 | #Constraints: 48692 863.42/865.76 c #Conflicts: 540000 | #Constraints: 49692 863.42/865.76 c #Conflicts: 541000 | #Constraints: 50692 863.42/865.76 c #Conflicts: 542000 | #Constraints: 51692 863.42/865.76 c #Conflicts: 543000 | #Constraints: 52692 863.42/865.76 c #Conflicts: 544000 | #Constraints: 53692 863.42/865.76 c #Conflicts: 545000 | #Constraints: 54692 863.42/865.76 c #Conflicts: 546000 | #Constraints: 55692 863.42/865.76 c #Conflicts: 547000 | #Constraints: 56692 863.42/865.76 c #Conflicts: 548000 | #Constraints: 57692 863.42/865.76 c #Conflicts: 549000 | #Constraints: 58692 863.42/865.76 c #Conflicts: 550000 | #Constraints: 59692 863.42/865.76 c #Conflicts: 551000 | #Constraints: 60692 863.42/865.76 c #Conflicts: 552000 | #Constraints: 61692 863.42/865.76 c #Conflicts: 553000 | #Constraints: 62692 863.42/865.76 c #Conflicts: 554000 | #Constraints: 63692 863.42/865.76 c #Conflicts: 555000 | #Constraints: 64692 863.42/865.76 c #Conflicts: 556000 | #Constraints: 65692 863.42/865.76 c #Conflicts: 557000 | #Constraints: 66692 863.42/865.76 c #Conflicts: 558000 | #Constraints: 67692 863.42/865.76 c #Conflicts: 559000 | #Constraints: 68692 863.42/865.76 c #Conflicts: 560000 | #Constraints: 69692 863.42/865.76 c #Conflicts: 561000 | #Constraints: 70692 863.42/865.76 c #Conflicts: 562000 | #Constraints: 71692 863.42/865.76 c #Conflicts: 563000 | #Constraints: 72692 863.42/865.76 c #Conflicts: 564000 | #Constraints: 73692 863.42/865.76 c #Conflicts: 565000 | #Constraints: 74692 863.42/865.76 c #Conflicts: 566000 | #Constraints: 75692 863.42/865.76 c #Conflicts: 567000 | #Constraints: 76692 863.42/865.76 c #Conflicts: 568000 | #Constraints: 77692 863.42/865.76 c #Conflicts: 569000 | #Constraints: 78692 863.42/865.76 c #Conflicts: 570000 | #Constraints: 79693 863.42/865.76 c #Conflicts: 571000 | #Constraints: 80693 863.42/865.76 c INPROCESSING 863.42/865.76 c GARBAGE COLLECT 863.42/865.76 c rational objective 98 898.14/900.53 c #Conflicts: 572000 | #Constraints: 44916 898.14/900.53 c #Conflicts: 573000 | #Constraints: 45916 898.14/900.53 c #Conflicts: 574000 | #Constraints: 46916 898.14/900.53 c #Conflicts: 575000 | #Constraints: 47916 898.14/900.53 c #Conflicts: 576000 | #Constraints: 48916 898.14/900.53 c #Conflicts: 577000 | #Constraints: 49916 898.14/900.53 c #Conflicts: 578000 | #Constraints: 50916 898.14/900.53 c #Conflicts: 579000 | #Constraints: 51916 898.14/900.53 c #Conflicts: 580000 | #Constraints: 52916 898.14/900.53 c #Conflicts: 581000 | #Constraints: 53916 898.14/900.53 c #Conflicts: 582000 | #Constraints: 54916 898.14/900.53 c #Conflicts: 583000 | #Constraints: 55916 898.14/900.53 c #Conflicts: 584000 | #Constraints: 56916 898.14/900.53 c #Conflicts: 585000 | #Constraints: 57916 898.14/900.53 c #Conflicts: 586000 | #Constraints: 58917 898.14/900.53 c #Conflicts: 587000 | #Constraints: 59917 898.14/900.53 c #Conflicts: 588000 | #Constraints: 60917 898.14/900.53 c INPROCESSING 898.14/900.53 c GARBAGE COLLECT 898.14/900.53 c rational objective 98 919.58/922.09 c #Conflicts: 589000 | #Constraints: 34939 919.58/922.09 c #Conflicts: 590000 | #Constraints: 35939 919.58/922.09 c #Conflicts: 591000 | #Constraints: 36939 919.58/922.09 c #Conflicts: 592000 | #Constraints: 37939 919.58/922.09 c #Conflicts: 593000 | #Constraints: 38939 919.58/922.09 c #Conflicts: 594000 | #Constraints: 39939 919.58/922.09 c #Conflicts: 595000 | #Constraints: 40939 919.58/922.09 c #Conflicts: 596000 | #Constraints: 41939 919.58/922.09 c #Conflicts: 597000 | #Constraints: 42939 919.58/922.09 c #Conflicts: 598000 | #Constraints: 43939 919.58/922.09 c #Conflicts: 599000 | #Constraints: 44939 919.58/922.09 c #Conflicts: 600000 | #Constraints: 45939 919.58/922.09 c #Conflicts: 601000 | #Constraints: 46939 919.58/922.09 c #Conflicts: 602000 | #Constraints: 47939 919.58/922.09 c #Conflicts: 603000 | #Constraints: 48939 919.58/922.09 c #Conflicts: 604000 | #Constraints: 49939 919.58/922.09 c #Conflicts: 605000 | #Constraints: 50939 919.58/922.09 c #Conflicts: 606000 | #Constraints: 51939 919.58/922.09 c INPROCESSING 919.58/922.09 c GARBAGE COLLECT 919.58/922.09 c rational objective 98 942.82/945.38 c #Conflicts: 607000 | #Constraints: 30708 942.82/945.38 c #Conflicts: 608000 | #Constraints: 31708 942.82/945.38 c #Conflicts: 609000 | #Constraints: 32708 942.82/945.38 c #Conflicts: 610000 | #Constraints: 33709 942.82/945.38 c #Conflicts: 611000 | #Constraints: 34709 942.82/945.38 c #Conflicts: 612000 | #Constraints: 35709 942.82/945.38 c #Conflicts: 613000 | #Constraints: 36710 942.82/945.38 c #Conflicts: 614000 | #Constraints: 37710 942.82/945.38 c #Conflicts: 615000 | #Constraints: 38710 942.82/945.38 c #Conflicts: 616000 | #Constraints: 39710 942.82/945.38 c #Conflicts: 617000 | #Constraints: 40711 942.82/945.38 c #Conflicts: 618000 | #Constraints: 41711 942.82/945.38 c #Conflicts: 619000 | #Constraints: 42711 942.82/945.38 c #Conflicts: 620000 | #Constraints: 43711 942.82/945.38 c #Conflicts: 621000 | #Constraints: 44711 942.82/945.38 c #Conflicts: 622000 | #Constraints: 45711 942.82/945.38 c #Conflicts: 623000 | #Constraints: 46711 942.82/945.38 c #Conflicts: 624000 | #Constraints: 47711 942.82/945.38 c INPROCESSING 942.82/945.38 c GARBAGE COLLECT 942.82/945.38 c rational objective 98 965.85/968.41 c #Conflicts: 625000 | #Constraints: 28724 965.85/968.41 c #Conflicts: 626000 | #Constraints: 29724 965.85/968.41 c #Conflicts: 627000 | #Constraints: 30724 965.85/968.41 c #Conflicts: 628000 | #Constraints: 31724 965.85/968.41 c #Conflicts: 629000 | #Constraints: 32725 965.85/968.41 c #Conflicts: 630000 | #Constraints: 33725 965.85/968.41 c #Conflicts: 631000 | #Constraints: 34725 965.85/968.41 c #Conflicts: 632000 | #Constraints: 35726 965.85/968.41 c #Conflicts: 633000 | #Constraints: 36726 965.85/968.41 c #Conflicts: 634000 | #Constraints: 37726 965.85/968.41 c #Conflicts: 635000 | #Constraints: 38727 965.85/968.41 c #Conflicts: 636000 | #Constraints: 39727 965.85/968.41 c #Conflicts: 637000 | #Constraints: 40727 965.85/968.41 c #Conflicts: 638000 | #Constraints: 41727 965.85/968.41 c #Conflicts: 639000 | #Constraints: 42727 965.85/968.41 c #Conflicts: 640000 | #Constraints: 43727 965.85/968.41 c #Conflicts: 641000 | #Constraints: 44727 965.85/968.41 c INPROCESSING 965.85/968.41 c GARBAGE COLLECT 965.85/968.41 c rational objective 98 1106.84/1109.88 c #Conflicts: 642000 | #Constraints: 26780 1106.84/1109.88 c #Conflicts: 643000 | #Constraints: 27780 1106.84/1109.88 c #Conflicts: 644000 | #Constraints: 28780 1106.84/1109.88 c #Conflicts: 645000 | #Constraints: 29780 1106.84/1109.88 c #Conflicts: 646000 | #Constraints: 30780 1106.84/1109.88 c #Conflicts: 647000 | #Constraints: 31780 1106.84/1109.88 c #Conflicts: 648000 | #Constraints: 32780 1106.84/1109.88 c #Conflicts: 649000 | #Constraints: 33780 1106.84/1109.88 c #Conflicts: 650000 | #Constraints: 34780 1106.84/1109.88 c #Conflicts: 651000 | #Constraints: 35780 1106.84/1109.88 c #Conflicts: 652000 | #Constraints: 36780 1106.84/1109.88 c #Conflicts: 653000 | #Constraints: 37780 1106.84/1109.88 c #Conflicts: 654000 | #Constraints: 38780 1106.84/1109.88 c #Conflicts: 655000 | #Constraints: 39780 1106.84/1109.88 c #Conflicts: 656000 | #Constraints: 40780 1106.84/1109.88 c #Conflicts: 657000 | #Constraints: 41780 1106.84/1109.88 c #Conflicts: 658000 | #Constraints: 42780 1106.84/1109.88 c #Conflicts: 659000 | #Constraints: 43781 1106.84/1109.88 c #Conflicts: 660000 | #Constraints: 44781 1106.84/1109.88 c #Conflicts: 661000 | #Constraints: 45781 1106.84/1109.88 c #Conflicts: 662000 | #Constraints: 46781 1106.84/1109.88 c #Conflicts: 663000 | #Constraints: 47781 1106.84/1109.88 c #Conflicts: 664000 | #Constraints: 48781 1106.84/1109.88 c #Conflicts: 665000 | #Constraints: 49781 1106.84/1109.88 c #Conflicts: 666000 | #Constraints: 50781 1106.84/1109.88 c #Conflicts: 667000 | #Constraints: 51781 1106.84/1109.88 c #Conflicts: 668000 | #Constraints: 52781 1106.84/1109.88 c #Conflicts: 669000 | #Constraints: 53781 1106.84/1109.88 c #Conflicts: 670000 | #Constraints: 54781 1106.84/1109.88 c #Conflicts: 671000 | #Constraints: 55781 1106.84/1109.88 c #Conflicts: 672000 | #Constraints: 56781 1106.84/1109.88 c #Conflicts: 673000 | #Constraints: 57781 1106.84/1109.88 c #Conflicts: 674000 | #Constraints: 58781 1106.84/1109.88 c #Conflicts: 675000 | #Constraints: 59781 1106.84/1109.88 c #Conflicts: 676000 | #Constraints: 60782 1106.84/1109.88 c #Conflicts: 677000 | #Constraints: 61782 1106.84/1109.88 c #Conflicts: 678000 | #Constraints: 62782 1106.84/1109.88 c #Conflicts: 679000 | #Constraints: 63782 1106.84/1109.88 c #Conflicts: 680000 | #Constraints: 64782 1106.84/1109.88 c #Conflicts: 681000 | #Constraints: 65782 1106.84/1109.88 c #Conflicts: 682000 | #Constraints: 66782 1106.84/1109.88 c #Conflicts: 683000 | #Constraints: 67782 1106.84/1109.88 c #Conflicts: 684000 | #Constraints: 68782 1106.84/1109.88 c #Conflicts: 685000 | #Constraints: 69782 1106.84/1109.88 c #Conflicts: 686000 | #Constraints: 70782 1106.84/1109.88 c #Conflicts: 687000 | #Constraints: 71782 1106.84/1109.88 c #Conflicts: 688000 | #Constraints: 72782 1106.84/1109.88 c #Conflicts: 689000 | #Constraints: 73782 1106.84/1109.88 c #Conflicts: 690000 | #Constraints: 74782 1106.84/1109.88 c #Conflicts: 691000 | #Constraints: 75782 1106.84/1109.88 c #Conflicts: 692000 | #Constraints: 76782 1106.84/1109.88 c #Conflicts: 693000 | #Constraints: 77782 1106.84/1109.88 c #Conflicts: 694000 | #Constraints: 78782 1106.84/1109.88 c #Conflicts: 695000 | #Constraints: 79782 1106.84/1109.88 c #Conflicts: 696000 | #Constraints: 80782 1106.84/1109.88 c #Conflicts: 697000 | #Constraints: 81782 1106.84/1109.88 c #Conflicts: 698000 | #Constraints: 82782 1106.84/1109.88 c #Conflicts: 699000 | #Constraints: 83782 1106.84/1109.88 c #Conflicts: 700000 | #Constraints: 84782 1106.84/1109.88 c #Conflicts: 701000 | #Constraints: 85783 1106.84/1109.88 c #Conflicts: 702000 | #Constraints: 86783 1106.84/1109.88 c #Conflicts: 703000 | #Constraints: 87784 1106.84/1109.88 c #Conflicts: 704000 | #Constraints: 88784 1106.84/1109.88 c #Conflicts: 705000 | #Constraints: 89785 1106.84/1109.88 c INPROCESSING 1106.84/1109.88 c GARBAGE COLLECT 1106.84/1109.88 c rational objective 98 1163.01/1166.19 c #Conflicts: 706000 | #Constraints: 49855 1163.01/1166.19 c #Conflicts: 707000 | #Constraints: 50855 1163.01/1166.19 c #Conflicts: 708000 | #Constraints: 51855 1163.01/1166.19 c #Conflicts: 709000 | #Constraints: 52855 1163.01/1166.19 c #Conflicts: 710000 | #Constraints: 53856 1163.01/1166.19 c #Conflicts: 711000 | #Constraints: 54856 1163.01/1166.19 c #Conflicts: 712000 | #Constraints: 55856 1163.01/1166.19 c #Conflicts: 713000 | #Constraints: 56856 1163.01/1166.19 c #Conflicts: 714000 | #Constraints: 57857 1163.01/1166.19 c #Conflicts: 715000 | #Constraints: 58857 1163.01/1166.19 c #Conflicts: 716000 | #Constraints: 59857 1163.01/1166.19 c #Conflicts: 717000 | #Constraints: 60857 1163.01/1166.19 c #Conflicts: 718000 | #Constraints: 61857 1163.01/1166.19 c #Conflicts: 719000 | #Constraints: 62858 1163.01/1166.19 c #Conflicts: 720000 | #Constraints: 63858 1163.01/1166.19 c #Conflicts: 721000 | #Constraints: 64858 1163.01/1166.19 c #Conflicts: 722000 | #Constraints: 65858 1163.01/1166.19 c #Conflicts: 723000 | #Constraints: 66858 1163.01/1166.19 c #Conflicts: 724000 | #Constraints: 67858 1163.01/1166.19 c INPROCESSING 1163.01/1166.19 c GARBAGE COLLECT 1163.01/1166.19 c rational objective 98 1201.49/1204.73 c #Conflicts: 725000 | #Constraints: 38719 1201.49/1204.73 c #Conflicts: 726000 | #Constraints: 39719 1201.49/1204.73 c #Conflicts: 727000 | #Constraints: 40719 1201.49/1204.73 c #Conflicts: 728000 | #Constraints: 41719 1201.49/1204.73 c #Conflicts: 729000 | #Constraints: 42719 1201.49/1204.73 c #Conflicts: 730000 | #Constraints: 43720 1201.49/1204.73 c #Conflicts: 731000 | #Constraints: 44720 1201.49/1204.73 c #Conflicts: 732000 | #Constraints: 45721 1201.49/1204.73 c #Conflicts: 733000 | #Constraints: 46721 1201.49/1204.73 c #Conflicts: 734000 | #Constraints: 47721 1201.49/1204.73 c #Conflicts: 735000 | #Constraints: 48721 1201.49/1204.73 c #Conflicts: 736000 | #Constraints: 49722 1201.49/1204.73 c #Conflicts: 737000 | #Constraints: 50722 1201.49/1204.73 c #Conflicts: 738000 | #Constraints: 51722 1201.49/1204.73 c #Conflicts: 739000 | #Constraints: 52722 1201.49/1204.73 c #Conflicts: 740000 | #Constraints: 53722 1201.49/1204.73 c #Conflicts: 741000 | #Constraints: 54722 1201.49/1204.73 c #Conflicts: 742000 | #Constraints: 55722 1201.49/1204.73 c #Conflicts: 743000 | #Constraints: 56722 1201.49/1204.73 c INPROCESSING 1201.49/1204.73 c GARBAGE COLLECT 1201.49/1204.73 c rational objective 98 1232.61/1235.98 c #Conflicts: 744000 | #Constraints: 32959 1232.61/1235.98 c #Conflicts: 745000 | #Constraints: 33960 1232.61/1235.98 c #Conflicts: 746000 | #Constraints: 34960 1232.61/1235.98 c #Conflicts: 747000 | #Constraints: 35960 1232.61/1235.98 c #Conflicts: 748000 | #Constraints: 36960 1232.61/1235.98 c #Conflicts: 749000 | #Constraints: 37960 1232.61/1235.98 c #Conflicts: 750000 | #Constraints: 38960 1232.61/1235.98 c #Conflicts: 751000 | #Constraints: 39960 1232.61/1235.98 c #Conflicts: 752000 | #Constraints: 40960 1232.61/1235.98 c #Conflicts: 753000 | #Constraints: 41960 1232.61/1235.98 c #Conflicts: 754000 | #Constraints: 42960 1232.61/1235.98 c #Conflicts: 755000 | #Constraints: 43960 1232.61/1235.98 c #Conflicts: 756000 | #Constraints: 44960 1232.61/1235.98 c #Conflicts: 757000 | #Constraints: 45960 1232.61/1235.98 c #Conflicts: 758000 | #Constraints: 46960 1232.61/1235.98 c #Conflicts: 759000 | #Constraints: 47960 1232.61/1235.98 c #Conflicts: 760000 | #Constraints: 48960 1232.61/1235.98 c #Conflicts: 761000 | #Constraints: 49960 1232.61/1235.98 c #Conflicts: 762000 | #Constraints: 50960 1232.61/1235.98 c #Conflicts: 763000 | #Constraints: 51960 1232.61/1235.98 c INPROCESSING 1232.61/1235.98 c GARBAGE COLLECT 1232.61/1235.98 c rational objective 98 1262.93/1266.33 c #Conflicts: 764000 | #Constraints: 30694 1262.93/1266.33 c #Conflicts: 765000 | #Constraints: 31694 1262.93/1266.33 c #Conflicts: 766000 | #Constraints: 32694 1262.93/1266.33 c #Conflicts: 767000 | #Constraints: 33694 1262.93/1266.33 c #Conflicts: 768000 | #Constraints: 34694 1262.93/1266.33 c #Conflicts: 769000 | #Constraints: 35694 1262.93/1266.33 c #Conflicts: 770000 | #Constraints: 36694 1262.93/1266.33 c #Conflicts: 771000 | #Constraints: 37694 1262.93/1266.33 c #Conflicts: 772000 | #Constraints: 38694 1262.93/1266.33 c #Conflicts: 773000 | #Constraints: 39694 1262.93/1266.33 c #Conflicts: 774000 | #Constraints: 40695 1262.93/1266.33 c #Conflicts: 775000 | #Constraints: 41695 1262.93/1266.33 c #Conflicts: 776000 | #Constraints: 42695 1262.93/1266.33 c #Conflicts: 777000 | #Constraints: 43695 1262.93/1266.33 c #Conflicts: 778000 | #Constraints: 44695 1262.93/1266.33 c #Conflicts: 779000 | #Constraints: 45695 1262.93/1266.33 c #Conflicts: 780000 | #Constraints: 46695 1262.93/1266.33 c #Conflicts: 781000 | #Constraints: 47695 1262.93/1266.33 c #Conflicts: 782000 | #Constraints: 48696 1262.93/1266.33 c #Conflicts: 783000 | #Constraints: 49696 1262.93/1266.33 c INPROCESSING 1262.93/1266.33 c GARBAGE COLLECT 1262.93/1266.33 c rational objective 98 1420.59/1424.49 c #Conflicts: 784000 | #Constraints: 29702 1420.59/1424.49 c #Conflicts: 785000 | #Constraints: 30702 1420.59/1424.49 c #Conflicts: 786000 | #Constraints: 31702 1420.59/1424.49 c #Conflicts: 787000 | #Constraints: 32702 1420.59/1424.49 c #Conflicts: 788000 | #Constraints: 33702 1420.59/1424.49 c #Conflicts: 789000 | #Constraints: 34703 1420.59/1424.49 c #Conflicts: 790000 | #Constraints: 35704 1420.59/1424.49 c #Conflicts: 791000 | #Constraints: 36704 1420.59/1424.49 c #Conflicts: 792000 | #Constraints: 37705 1420.59/1424.49 c #Conflicts: 793000 | #Constraints: 38705 1420.59/1424.49 c #Conflicts: 794000 | #Constraints: 39705 1420.59/1424.49 c #Conflicts: 795000 | #Constraints: 40705 1420.59/1424.49 c #Conflicts: 796000 | #Constraints: 41705 1420.59/1424.49 c #Conflicts: 797000 | #Constraints: 42705 1420.59/1424.49 c #Conflicts: 798000 | #Constraints: 43705 1420.59/1424.49 c #Conflicts: 799000 | #Constraints: 44705 1420.59/1424.49 c #Conflicts: 800000 | #Constraints: 45705 1420.59/1424.49 c #Conflicts: 801000 | #Constraints: 46705 1420.59/1424.49 c #Conflicts: 802000 | #Constraints: 47705 1420.59/1424.49 c #Conflicts: 803000 | #Constraints: 48705 1420.59/1424.49 c #Conflicts: 804000 | #Constraints: 49705 1420.59/1424.49 c #Conflicts: 805000 | #Constraints: 50705 1420.59/1424.49 c #Conflicts: 806000 | #Constraints: 51705 1420.59/1424.49 c #Conflicts: 807000 | #Constraints: 52705 1420.59/1424.49 c #Conflicts: 808000 | #Constraints: 53705 1420.59/1424.49 c #Conflicts: 809000 | #Constraints: 54705 1420.59/1424.49 c #Conflicts: 810000 | #Constraints: 55705 1420.59/1424.49 c #Conflicts: 811000 | #Constraints: 56706 1420.59/1424.49 c #Conflicts: 812000 | #Constraints: 57706 1420.59/1424.49 c #Conflicts: 813000 | #Constraints: 58706 1420.59/1424.49 c #Conflicts: 814000 | #Constraints: 59706 1420.59/1424.49 c #Conflicts: 815000 | #Constraints: 60706 1420.59/1424.49 c #Conflicts: 816000 | #Constraints: 61706 1420.59/1424.49 c #Conflicts: 817000 | #Constraints: 62706 1420.59/1424.49 c #Conflicts: 818000 | #Constraints: 63706 1420.59/1424.49 c #Conflicts: 819000 | #Constraints: 64706 1420.59/1424.49 c #Conflicts: 820000 | #Constraints: 65706 1420.59/1424.49 c #Conflicts: 821000 | #Constraints: 66706 1420.59/1424.49 c #Conflicts: 822000 | #Constraints: 67706 1420.59/1424.49 c #Conflicts: 823000 | #Constraints: 68706 1420.59/1424.49 c #Conflicts: 824000 | #Constraints: 69706 1420.59/1424.49 c #Conflicts: 825000 | #Constraints: 70706 1420.59/1424.49 c #Conflicts: 826000 | #Constraints: 71706 1420.59/1424.49 c #Conflicts: 827000 | #Constraints: 72706 1420.59/1424.49 c #Conflicts: 828000 | #Constraints: 73706 1420.59/1424.49 c #Conflicts: 829000 | #Constraints: 74706 1420.59/1424.49 c #Conflicts: 830000 | #Constraints: 75706 1420.59/1424.49 c #Conflicts: 831000 | #Constraints: 76706 1420.59/1424.49 c #Conflicts: 832000 | #Constraints: 77706 1420.59/1424.49 c #Conflicts: 833000 | #Constraints: 78706 1420.59/1424.49 c #Conflicts: 834000 | #Constraints: 79706 1420.59/1424.49 c #Conflicts: 835000 | #Constraints: 80706 1420.59/1424.49 c #Conflicts: 836000 | #Constraints: 81706 1420.59/1424.49 c #Conflicts: 837000 | #Constraints: 82706 1420.59/1424.49 c #Conflicts: 838000 | #Constraints: 83706 1420.59/1424.49 c #Conflicts: 839000 | #Constraints: 84706 1420.59/1424.49 c #Conflicts: 840000 | #Constraints: 85706 1420.59/1424.49 c #Conflicts: 841000 | #Constraints: 86706 1420.59/1424.49 c #Conflicts: 842000 | #Constraints: 87706 1420.59/1424.49 c #Conflicts: 843000 | #Constraints: 88706 1420.59/1424.49 c #Conflicts: 844000 | #Constraints: 89706 1420.59/1424.49 c #Conflicts: 845000 | #Constraints: 90706 1420.59/1424.49 c #Conflicts: 846000 | #Constraints: 91706 1420.59/1424.49 c #Conflicts: 847000 | #Constraints: 92707 1420.59/1424.49 c #Conflicts: 848000 | #Constraints: 93707 1420.59/1424.49 c #Conflicts: 849000 | #Constraints: 94707 1420.59/1424.49 c #Conflicts: 850000 | #Constraints: 95707 1420.59/1424.49 c #Conflicts: 851000 | #Constraints: 96707 1420.59/1424.49 c #Conflicts: 852000 | #Constraints: 97707 1420.59/1424.49 c INPROCESSING 1420.59/1424.49 c GARBAGE COLLECT 1420.59/1424.49 c rational objective 98 1470.75/1474.77 c #Conflicts: 853000 | #Constraints: 53518 1470.75/1474.77 c #Conflicts: 854000 | #Constraints: 54518 1470.75/1474.77 c #Conflicts: 855000 | #Constraints: 55518 1470.75/1474.77 c #Conflicts: 856000 | #Constraints: 56518 1470.75/1474.77 c #Conflicts: 857000 | #Constraints: 57518 1470.75/1474.77 c #Conflicts: 858000 | #Constraints: 58518 1470.75/1474.77 c #Conflicts: 859000 | #Constraints: 59518 1470.75/1474.77 c #Conflicts: 860000 | #Constraints: 60518 1470.75/1474.77 c #Conflicts: 861000 | #Constraints: 61518 1470.75/1474.77 c #Conflicts: 862000 | #Constraints: 62518 1470.75/1474.77 c #Conflicts: 863000 | #Constraints: 63518 1470.75/1474.77 c #Conflicts: 864000 | #Constraints: 64518 1470.75/1474.77 c #Conflicts: 865000 | #Constraints: 65519 1470.75/1474.77 c #Conflicts: 866000 | #Constraints: 66519 1470.75/1474.77 c #Conflicts: 867000 | #Constraints: 67519 1470.75/1474.77 c #Conflicts: 868000 | #Constraints: 68520 1470.75/1474.77 c #Conflicts: 869000 | #Constraints: 69520 1470.75/1474.77 c #Conflicts: 870000 | #Constraints: 70520 1470.75/1474.77 c #Conflicts: 871000 | #Constraints: 71520 1470.75/1474.77 c #Conflicts: 872000 | #Constraints: 72520 1470.75/1474.78 c #Conflicts: 873000 | #Constraints: 73520 1470.75/1474.78 c INPROCESSING 1470.75/1474.78 c GARBAGE COLLECT 1470.75/1474.78 c rational objective 98 1500.37/1504.45 c #Conflicts: 874000 | #Constraints: 41338 1500.37/1504.45 c #Conflicts: 875000 | #Constraints: 42338 1500.37/1504.45 c #Conflicts: 876000 | #Constraints: 43338 1500.37/1504.45 c #Conflicts: 877000 | #Constraints: 44338 1500.37/1504.45 c #Conflicts: 878000 | #Constraints: 45338 1500.37/1504.45 c #Conflicts: 879000 | #Constraints: 46338 1500.37/1504.45 c #Conflicts: 880000 | #Constraints: 47338 1500.37/1504.45 c #Conflicts: 881000 | #Constraints: 48338 1500.37/1504.45 c #Conflicts: 882000 | #Constraints: 49338 1500.37/1504.45 c #Conflicts: 883000 | #Constraints: 50339 1500.37/1504.45 c #Conflicts: 884000 | #Constraints: 51339 1500.37/1504.45 c #Conflicts: 885000 | #Constraints: 52343 1500.37/1504.45 c #Conflicts: 886000 | #Constraints: 53343 1500.37/1504.45 c #Conflicts: 887000 | #Constraints: 54343 1500.37/1504.45 c #Conflicts: 888000 | #Constraints: 55343 1500.37/1504.45 c #Conflicts: 889000 | #Constraints: 56343 1500.37/1504.45 c #Conflicts: 890000 | #Constraints: 57343 1500.37/1504.45 c #Conflicts: 891000 | #Constraints: 58343 1500.37/1504.45 c #Conflicts: 892000 | #Constraints: 59343 1500.37/1504.45 c #Conflicts: 893000 | #Constraints: 60343 1500.37/1504.45 c #Conflicts: 894000 | #Constraints: 61343 1500.37/1504.45 c INPROCESSING 1500.37/1504.45 c GARBAGE COLLECT 1500.37/1504.45 c rational objective 98 1532.78/1536.95 c #Conflicts: 895000 | #Constraints: 35198 1532.78/1536.95 c #Conflicts: 896000 | #Constraints: 36198 1532.78/1536.95 c #Conflicts: 897000 | #Constraints: 37198 1532.78/1536.95 c #Conflicts: 898000 | #Constraints: 38198 1532.78/1536.95 c #Conflicts: 899000 | #Constraints: 39198 1532.78/1536.95 c #Conflicts: 900000 | #Constraints: 40198 1532.78/1536.95 c #Conflicts: 901000 | #Constraints: 41198 1532.78/1536.95 c #Conflicts: 902000 | #Constraints: 42198 1532.78/1536.95 c #Conflicts: 903000 | #Constraints: 43198 1532.78/1536.95 c #Conflicts: 904000 | #Constraints: 44199 1532.78/1536.95 c #Conflicts: 905000 | #Constraints: 45199 1532.78/1536.95 c #Conflicts: 906000 | #Constraints: 46199 1532.78/1536.95 c #Conflicts: 907000 | #Constraints: 47199 1532.78/1536.95 c #Conflicts: 908000 | #Constraints: 48199 1532.78/1536.95 c #Conflicts: 909000 | #Constraints: 49200 1532.78/1536.95 c #Conflicts: 910000 | #Constraints: 50200 1532.78/1536.95 c #Conflicts: 911000 | #Constraints: 51200 1532.78/1536.95 c #Conflicts: 912000 | #Constraints: 52200 1532.78/1536.95 c #Conflicts: 913000 | #Constraints: 53200 1532.78/1536.95 c #Conflicts: 914000 | #Constraints: 54200 1532.78/1536.95 c #Conflicts: 915000 | #Constraints: 55200 1532.78/1536.95 c #Conflicts: 916000 | #Constraints: 56200 1532.78/1536.95 c INPROCESSING 1532.78/1536.95 c GARBAGE COLLECT 1532.78/1536.95 c rational objective 98 1561.20/1565.43 c #Conflicts: 917000 | #Constraints: 32849 1561.20/1565.43 c #Conflicts: 918000 | #Constraints: 33849 1561.20/1565.43 c #Conflicts: 919000 | #Constraints: 34850 1561.20/1565.43 c #Conflicts: 920000 | #Constraints: 35850 1561.20/1565.43 c #Conflicts: 921000 | #Constraints: 36850 1561.20/1565.43 c #Conflicts: 922000 | #Constraints: 37850 1561.20/1565.43 c #Conflicts: 923000 | #Constraints: 38850 1561.20/1565.43 c #Conflicts: 924000 | #Constraints: 39850 1561.20/1565.43 c #Conflicts: 925000 | #Constraints: 40850 1561.20/1565.43 c #Conflicts: 926000 | #Constraints: 41850 1561.20/1565.43 c #Conflicts: 927000 | #Constraints: 42850 1561.20/1565.43 c #Conflicts: 928000 | #Constraints: 43850 1561.20/1565.43 c #Conflicts: 929000 | #Constraints: 44850 1561.20/1565.43 c #Conflicts: 930000 | #Constraints: 45850 1561.20/1565.43 c #Conflicts: 931000 | #Constraints: 46850 1561.20/1565.43 c #Conflicts: 932000 | #Constraints: 47850 1561.20/1565.43 c #Conflicts: 933000 | #Constraints: 48851 1561.20/1565.43 c #Conflicts: 934000 | #Constraints: 49851 1561.20/1565.43 c #Conflicts: 935000 | #Constraints: 50851 1561.20/1565.43 c #Conflicts: 936000 | #Constraints: 51851 1561.20/1565.43 c #Conflicts: 937000 | #Constraints: 52851 1561.20/1565.43 c #Conflicts: 938000 | #Constraints: 53851 1561.20/1565.43 c INPROCESSING 1561.20/1565.43 c GARBAGE COLLECT 1561.20/1565.43 c rational objective 98 1742.17/1746.92 c #Conflicts: 939000 | #Constraints: 31793 1742.17/1746.92 c #Conflicts: 940000 | #Constraints: 32793 1742.17/1746.92 c #Conflicts: 941000 | #Constraints: 33793 1742.17/1746.92 c #Conflicts: 942000 | #Constraints: 34793 1742.17/1746.92 c #Conflicts: 943000 | #Constraints: 35793 1742.17/1746.92 c #Conflicts: 944000 | #Constraints: 36793 1742.17/1746.92 c #Conflicts: 945000 | #Constraints: 37793 1742.17/1746.92 c #Conflicts: 946000 | #Constraints: 38793 1742.17/1746.92 c #Conflicts: 947000 | #Constraints: 39793 1742.17/1746.92 c #Conflicts: 948000 | #Constraints: 40793 1742.17/1746.92 c #Conflicts: 949000 | #Constraints: 41794 1742.17/1746.92 c #Conflicts: 950000 | #Constraints: 42796 1742.17/1746.92 c #Conflicts: 951000 | #Constraints: 43796 1742.17/1746.92 c #Conflicts: 952000 | #Constraints: 44796 1742.17/1746.92 c #Conflicts: 953000 | #Constraints: 45796 1742.17/1746.92 c #Conflicts: 954000 | #Constraints: 46797 1742.17/1746.92 c #Conflicts: 955000 | #Constraints: 47797 1742.17/1746.92 c #Conflicts: 956000 | #Constraints: 48797 1742.17/1746.92 c #Conflicts: 957000 | #Constraints: 49797 1742.17/1746.92 c #Conflicts: 958000 | #Constraints: 50798 1742.17/1746.92 c #Conflicts: 959000 | #Constraints: 51798 1742.17/1746.92 c #Conflicts: 960000 | #Constraints: 52798 1742.17/1746.92 c #Conflicts: 961000 | #Constraints: 53798 1742.17/1746.92 c #Conflicts: 962000 | #Constraints: 54798 1742.17/1746.92 c #Conflicts: 963000 | #Constraints: 55798 1742.17/1746.92 c #Conflicts: 964000 | #Constraints: 56798 1742.17/1746.92 c #Conflicts: 965000 | #Constraints: 57798 1742.17/1746.92 c #Conflicts: 966000 | #Constraints: 58798 1742.17/1746.92 c #Conflicts: 967000 | #Constraints: 59798 1742.17/1746.92 c #Conflicts: 968000 | #Constraints: 60798 1742.17/1746.92 c #Conflicts: 969000 | #Constraints: 61798 1742.17/1746.92 c #Conflicts: 970000 | #Constraints: 62798 1742.17/1746.92 c #Conflicts: 971000 | #Constraints: 63798 1742.17/1746.92 c #Conflicts: 972000 | #Constraints: 64798 1742.17/1746.92 c #Conflicts: 973000 | #Constraints: 65798 1742.17/1746.92 c #Conflicts: 974000 | #Constraints: 66799 1742.17/1746.92 c #Conflicts: 975000 | #Constraints: 67799 1742.17/1746.92 c #Conflicts: 976000 | #Constraints: 68799 1742.17/1746.92 c #Conflicts: 977000 | #Constraints: 69800 1742.17/1746.92 c #Conflicts: 978000 | #Constraints: 70800 1742.17/1746.92 c #Conflicts: 979000 | #Constraints: 71800 1742.17/1746.92 c #Conflicts: 980000 | #Constraints: 72800 1742.17/1746.92 c #Conflicts: 981000 | #Constraints: 73800 1742.17/1746.92 c #Conflicts: 982000 | #Constraints: 74800 1742.17/1746.92 c #Conflicts: 983000 | #Constraints: 75800 1742.17/1746.92 c #Conflicts: 984000 | #Constraints: 76800 1742.17/1746.92 c #Conflicts: 985000 | #Constraints: 77800 1742.17/1746.92 c #Conflicts: 986000 | #Constraints: 78800 1742.17/1746.92 c #Conflicts: 987000 | #Constraints: 79800 1742.17/1746.92 c #Conflicts: 988000 | #Constraints: 80800 1742.17/1746.92 c #Conflicts: 989000 | #Constraints: 81800 1742.17/1746.92 c #Conflicts: 990000 | #Constraints: 82800 1742.17/1746.92 c #Conflicts: 991000 | #Constraints: 83800 1742.17/1746.92 c #Conflicts: 992000 | #Constraints: 84800 1742.17/1746.92 c #Conflicts: 993000 | #Constraints: 85800 1742.17/1746.92 c #Conflicts: 994000 | #Constraints: 86800 1742.17/1746.92 c #Conflicts: 995000 | #Constraints: 87800 1742.17/1746.92 c #Conflicts: 996000 | #Constraints: 88800 1742.17/1746.92 c #Conflicts: 997000 | #Constraints: 89800 1742.17/1746.92 c #Conflicts: 998000 | #Constraints: 90800 1742.17/1746.92 c #Conflicts: 999000 | #Constraints: 91800 1742.17/1746.92 c #Conflicts: 1000000 | #Constraints: 92800 1742.17/1746.92 c #Conflicts: 1001000 | #Constraints: 93800 1742.17/1746.92 c #Conflicts: 1002000 | #Constraints: 94800 1742.17/1746.92 c #Conflicts: 1003000 | #Constraints: 95800 1742.17/1746.92 c #Conflicts: 1004000 | #Constraints: 96800 1742.17/1746.92 c #Conflicts: 1005000 | #Constraints: 97800 1742.17/1746.92 c #Conflicts: 1006000 | #Constraints: 98800 1742.17/1746.92 c #Conflicts: 1007000 | #Constraints: 99800 1742.17/1746.92 c #Conflicts: 1008000 | #Constraints: 100800 1742.17/1746.92 c #Conflicts: 1009000 | #Constraints: 101800 1742.17/1746.92 c #Conflicts: 1010000 | #Constraints: 102800 1742.17/1746.92 c #Conflicts: 1011000 | #Constraints: 103800 1742.17/1746.92 c #Conflicts: 1012000 | #Constraints: 104800 1742.17/1746.92 c #Conflicts: 1013000 | #Constraints: 105801 1742.17/1746.92 c #Conflicts: 1014000 | #Constraints: 106801 1742.17/1746.92 c INPROCESSING 1742.17/1746.92 c GARBAGE COLLECT 1742.17/1746.92 c rational objective 98 1780.76/1785.65 c #Conflicts: 1015000 | #Constraints: 58268 1780.76/1785.65 c #Conflicts: 1016000 | #Constraints: 59268 1780.76/1785.65 c #Conflicts: 1017000 | #Constraints: 60268 1780.76/1785.65 c #Conflicts: 1018000 | #Constraints: 61268 1780.76/1785.65 c #Conflicts: 1019000 | #Constraints: 62268 1780.76/1785.65 c #Conflicts: 1020000 | #Constraints: 63268 1780.76/1785.65 c #Conflicts: 1021000 | #Constraints: 64269 1780.76/1785.65 c #Conflicts: 1022000 | #Constraints: 65269 1780.76/1785.65 c #Conflicts: 1023000 | #Constraints: 66269 1780.76/1785.65 c #Conflicts: 1024000 | #Constraints: 67269 1780.76/1785.65 c #Conflicts: 1025000 | #Constraints: 68269 1780.76/1785.65 c #Conflicts: 1026000 | #Constraints: 69269 1780.76/1785.65 c #Conflicts: 1027000 | #Constraints: 70269 1780.76/1785.65 c #Conflicts: 1028000 | #Constraints: 71269 1780.76/1785.65 c #Conflicts: 1029000 | #Constraints: 72269 1780.76/1785.65 c #Conflicts: 1030000 | #Constraints: 73269 1780.76/1785.65 c #Conflicts: 1031000 | #Constraints: 74269 1780.76/1785.65 c #Conflicts: 1032000 | #Constraints: 75269 1780.76/1785.65 c #Conflicts: 1033000 | #Constraints: 76269 1780.76/1785.65 c #Conflicts: 1034000 | #Constraints: 77269 1780.76/1785.65 c #Conflicts: 1035000 | #Constraints: 78269 1780.76/1785.65 c #Conflicts: 1036000 | #Constraints: 79269 1780.76/1785.65 c #Conflicts: 1037000 | #Constraints: 80269 1780.76/1785.65 c INPROCESSING 1780.76/1785.65 c GARBAGE COLLECT 1780.76/1785.65 c rational objective 98 1816.36/1821.37 c #Conflicts: 1038000 | #Constraints: 45099 1816.36/1821.37 c #Conflicts: 1039000 | #Constraints: 46099 1816.36/1821.37 c #Conflicts: 1040000 | #Constraints: 47099 1816.36/1821.37 c #Conflicts: 1041000 | #Constraints: 48100 1816.36/1821.37 c #Conflicts: 1042000 | #Constraints: 49100 1816.36/1821.37 c #Conflicts: 1043000 | #Constraints: 50102 1816.36/1821.37 c #Conflicts: 1044000 | #Constraints: 51102 1816.36/1821.37 c #Conflicts: 1045000 | #Constraints: 52103 1816.36/1821.37 c #Conflicts: 1046000 | #Constraints: 53103 1816.36/1821.37 c #Conflicts: 1047000 | #Constraints: 54103 1816.36/1821.37 c #Conflicts: 1048000 | #Constraints: 55103 1816.36/1821.37 c #Conflicts: 1049000 | #Constraints: 56103 1816.36/1821.37 c #Conflicts: 1050000 | #Constraints: 57103 1816.36/1821.37 c #Conflicts: 1051000 | #Constraints: 58103 1816.36/1821.37 c #Conflicts: 1052000 | #Constraints: 59103 1816.36/1821.37 c #Conflicts: 1053000 | #Constraints: 60103 1816.36/1821.37 c #Conflicts: 1054000 | #Constraints: 61103 1816.36/1821.37 c #Conflicts: 1055000 | #Constraints: 62103 1816.36/1821.37 c #Conflicts: 1056000 | #Constraints: 63103 1816.36/1821.37 c #Conflicts: 1057000 | #Constraints: 64103 1816.36/1821.37 c #Conflicts: 1058000 | #Constraints: 65103 1816.36/1821.37 c #Conflicts: 1059000 | #Constraints: 66103 1816.36/1821.37 c #Conflicts: 1060000 | #Constraints: 67103 1816.36/1821.37 c INPROCESSING 1816.36/1821.37 c GARBAGE COLLECT 1816.36/1821.37 c rational objective 98 1850.99/1856.01 c #Conflicts: 1061000 | #Constraints: 38403 1850.99/1856.01 c #Conflicts: 1062000 | #Constraints: 39403 1850.99/1856.01 c #Conflicts: 1063000 | #Constraints: 40403 1850.99/1856.01 c #Conflicts: 1064000 | #Constraints: 41403 1850.99/1856.01 c #Conflicts: 1065000 | #Constraints: 42403 1850.99/1856.01 c #Conflicts: 1066000 | #Constraints: 43403 1850.99/1856.01 c #Conflicts: 1067000 | #Constraints: 44403 1850.99/1856.01 c #Conflicts: 1068000 | #Constraints: 45403 1850.99/1856.01 c #Conflicts: 1069000 | #Constraints: 46403 1850.99/1856.01 c #Conflicts: 1070000 | #Constraints: 47403 1850.99/1856.01 c #Conflicts: 1071000 | #Constraints: 48403 1850.99/1856.01 c #Conflicts: 1072000 | #Constraints: 49403 1850.99/1856.01 c #Conflicts: 1073000 | #Constraints: 50403 1850.99/1856.01 c #Conflicts: 1074000 | #Constraints: 51403 1850.99/1856.01 c #Conflicts: 1075000 | #Constraints: 52403 1850.99/1856.01 c #Conflicts: 1076000 | #Constraints: 53403 1850.99/1856.01 c #Conflicts: 1077000 | #Constraints: 54403 1850.99/1856.01 c #Conflicts: 1078000 | #Constraints: 55403 1850.99/1856.01 c #Conflicts: 1079000 | #Constraints: 56403 1850.99/1856.01 c #Conflicts: 1080000 | #Constraints: 57403 1850.99/1856.01 c #Conflicts: 1081000 | #Constraints: 58403 1850.99/1856.01 c #Conflicts: 1082000 | #Constraints: 59403 1850.99/1856.01 c #Conflicts: 1083000 | #Constraints: 60403 1850.99/1856.01 c INPROCESSING 1850.99/1856.01 c GARBAGE COLLECT 1850.99/1856.01 c rational objective 98 1881.82/1886.99 c #Conflicts: 1084000 | #Constraints: 34861 1881.82/1886.99 c #Conflicts: 1085000 | #Constraints: 35861 1881.82/1886.99 c #Conflicts: 1086000 | #Constraints: 36861 1881.82/1886.99 c #Conflicts: 1087000 | #Constraints: 37861 1881.82/1886.99 c #Conflicts: 1088000 | #Constraints: 38861 1881.82/1886.99 c #Conflicts: 1089000 | #Constraints: 39861 1881.82/1886.99 c #Conflicts: 1090000 | #Constraints: 40861 1881.82/1886.99 c #Conflicts: 1091000 | #Constraints: 41861 1881.82/1886.99 c #Conflicts: 1092000 | #Constraints: 42861 1881.82/1886.99 c #Conflicts: 1093000 | #Constraints: 43862 1881.82/1886.99 c #Conflicts: 1094000 | #Constraints: 44862 1881.82/1886.99 c #Conflicts: 1095000 | #Constraints: 45863 1881.82/1886.99 c #Conflicts: 1096000 | #Constraints: 46863 1881.82/1886.99 c #Conflicts: 1097000 | #Constraints: 47863 1881.82/1886.99 c #Conflicts: 1098000 | #Constraints: 48863 1881.82/1886.99 c #Conflicts: 1099000 | #Constraints: 49863 1881.82/1886.99 c #Conflicts: 1100000 | #Constraints: 50863 1881.82/1886.99 c #Conflicts: 1101000 | #Constraints: 51863 1881.82/1886.99 c #Conflicts: 1102000 | #Constraints: 52863 1881.82/1886.99 c #Conflicts: 1103000 | #Constraints: 53863 1881.82/1886.99 c #Conflicts: 1104000 | #Constraints: 54863 1881.82/1886.99 c #Conflicts: 1105000 | #Constraints: 55863 1881.82/1886.99 c #Conflicts: 1106000 | #Constraints: 56863 1881.82/1886.99 c #Conflicts: 1107000 | #Constraints: 57863 1881.82/1886.99 c INPROCESSING 1881.82/1886.99 c GARBAGE COLLECT 1881.82/1886.99 c rational objective 98 2064.52/2070.05 c #Conflicts: 1108000 | #Constraints: 33788 2064.52/2070.05 c #Conflicts: 1109000 | #Constraints: 34788 2064.52/2070.05 c #Conflicts: 1110000 | #Constraints: 35788 2064.52/2070.05 c #Conflicts: 1111000 | #Constraints: 36788 2064.52/2070.05 c #Conflicts: 1112000 | #Constraints: 37788 2064.52/2070.05 c #Conflicts: 1113000 | #Constraints: 38788 2064.52/2070.05 c #Conflicts: 1114000 | #Constraints: 39788 2064.52/2070.05 c #Conflicts: 1115000 | #Constraints: 40788 2064.52/2070.05 c #Conflicts: 1116000 | #Constraints: 41788 2064.52/2070.05 c #Conflicts: 1117000 | #Constraints: 42788 2064.52/2070.05 c #Conflicts: 1118000 | #Constraints: 43788 2064.52/2070.05 c #Conflicts: 1119000 | #Constraints: 44788 2064.52/2070.05 c #Conflicts: 1120000 | #Constraints: 45788 2064.52/2070.05 c #Conflicts: 1121000 | #Constraints: 46788 2064.52/2070.05 c #Conflicts: 1122000 | #Constraints: 47788 2064.52/2070.05 c #Conflicts: 1123000 | #Constraints: 48788 2064.52/2070.05 c #Conflicts: 1124000 | #Constraints: 49788 2064.52/2070.05 c #Conflicts: 1125000 | #Constraints: 50788 2064.52/2070.05 c #Conflicts: 1126000 | #Constraints: 51788 2064.52/2070.05 c #Conflicts: 1127000 | #Constraints: 52788 2064.52/2070.05 c #Conflicts: 1128000 | #Constraints: 53788 2064.52/2070.05 c #Conflicts: 1129000 | #Constraints: 54788 2064.52/2070.05 c #Conflicts: 1130000 | #Constraints: 55788 2064.52/2070.05 c #Conflicts: 1131000 | #Constraints: 56788 2064.52/2070.05 c #Conflicts: 1132000 | #Constraints: 57789 2064.52/2070.05 c #Conflicts: 1133000 | #Constraints: 58789 2064.52/2070.05 c #Conflicts: 1134000 | #Constraints: 59789 2064.52/2070.05 c #Conflicts: 1135000 | #Constraints: 60789 2064.52/2070.05 c #Conflicts: 1136000 | #Constraints: 61789 2064.52/2070.05 c #Conflicts: 1137000 | #Constraints: 62789 2064.52/2070.05 c #Conflicts: 1138000 | #Constraints: 63789 2064.52/2070.05 c #Conflicts: 1139000 | #Constraints: 64789 2064.52/2070.05 c #Conflicts: 1140000 | #Constraints: 65789 2064.52/2070.05 c #Conflicts: 1141000 | #Constraints: 66789 2064.52/2070.05 c #Conflicts: 1142000 | #Constraints: 67789 2064.52/2070.05 c #Conflicts: 1143000 | #Constraints: 68789 2064.52/2070.05 c #Conflicts: 1144000 | #Constraints: 69789 2064.52/2070.05 c #Conflicts: 1145000 | #Constraints: 70789 2064.52/2070.05 c #Conflicts: 1146000 | #Constraints: 71789 2064.52/2070.05 c #Conflicts: 1147000 | #Constraints: 72789 2064.52/2070.05 c #Conflicts: 1148000 | #Constraints: 73789 2064.52/2070.05 c #Conflicts: 1149000 | #Constraints: 74789 2064.52/2070.05 c #Conflicts: 1150000 | #Constraints: 75789 2064.52/2070.05 c #Conflicts: 1151000 | #Constraints: 76789 2064.52/2070.05 c #Conflicts: 1152000 | #Constraints: 77789 2064.52/2070.05 c #Conflicts: 1153000 | #Constraints: 78789 2064.52/2070.05 c #Conflicts: 1154000 | #Constraints: 79790 2064.52/2070.05 c #Conflicts: 1155000 | #Constraints: 80790 2064.52/2070.05 c #Conflicts: 1156000 | #Constraints: 81790 2064.52/2070.05 c #Conflicts: 1157000 | #Constraints: 82790 2064.52/2070.05 c #Conflicts: 1158000 | #Constraints: 83790 2064.52/2070.05 c #Conflicts: 1159000 | #Constraints: 84790 2064.52/2070.05 c #Conflicts: 1160000 | #Constraints: 85790 2064.52/2070.05 c #Conflicts: 1161000 | #Constraints: 86791 2064.52/2070.05 c #Conflicts: 1162000 | #Constraints: 87791 2064.52/2070.05 c #Conflicts: 1163000 | #Constraints: 88791 2064.52/2070.05 c #Conflicts: 1164000 | #Constraints: 89791 2064.52/2070.05 c #Conflicts: 1165000 | #Constraints: 90791 2064.52/2070.05 c #Conflicts: 1166000 | #Constraints: 91791 2064.52/2070.05 c #Conflicts: 1167000 | #Constraints: 92791 2064.52/2070.05 c #Conflicts: 1168000 | #Constraints: 93791 2064.52/2070.05 c #Conflicts: 1169000 | #Constraints: 94791 2064.52/2070.05 c #Conflicts: 1170000 | #Constraints: 95791 2064.52/2070.05 c #Conflicts: 1171000 | #Constraints: 96791 2064.52/2070.05 c #Conflicts: 1172000 | #Constraints: 97791 2064.52/2070.05 c #Conflicts: 1173000 | #Constraints: 98791 2064.52/2070.05 c #Conflicts: 1174000 | #Constraints: 99791 2064.52/2070.05 c #Conflicts: 1175000 | #Constraints: 100791 2064.52/2070.05 c #Conflicts: 1176000 | #Constraints: 101791 2064.52/2070.05 c #Conflicts: 1177000 | #Constraints: 102791 2064.52/2070.05 c #Conflicts: 1178000 | #Constraints: 103791 2064.52/2070.05 c #Conflicts: 1179000 | #Constraints: 104791 2064.52/2070.05 c #Conflicts: 1180000 | #Constraints: 105791 2064.52/2070.05 c #Conflicts: 1181000 | #Constraints: 106791 2064.52/2070.05 c #Conflicts: 1182000 | #Constraints: 107791 2064.52/2070.05 c #Conflicts: 1183000 | #Constraints: 108791 2064.52/2070.05 c #Conflicts: 1184000 | #Constraints: 109791 2064.52/2070.05 c #Conflicts: 1185000 | #Constraints: 110791 2064.52/2070.05 c #Conflicts: 1186000 | #Constraints: 111791 2077.68/2083.26 c #Conflicts: 1187000 | #Constraints: 112791 2077.68/2083.26 c #Conflicts: 1188000 | #Constraints: 113791 2077.68/2083.26 c #Conflicts: 1189000 | #Constraints: 114791 2077.68/2083.26 c INPROCESSING 2077.68/2083.26 c GARBAGE COLLECT 2077.68/2083.26 c rational objective 98 2128.14/2133.85 c #Conflicts: 1190000 | #Constraints: 62044 2128.14/2133.85 c #Conflicts: 1191000 | #Constraints: 63044 2128.14/2133.85 c #Conflicts: 1192000 | #Constraints: 64044 2128.14/2133.85 c #Conflicts: 1193000 | #Constraints: 65044 2128.14/2133.85 c #Conflicts: 1194000 | #Constraints: 66044 2128.14/2133.85 c #Conflicts: 1195000 | #Constraints: 67044 2128.14/2133.85 c #Conflicts: 1196000 | #Constraints: 68044 2128.14/2133.85 c #Conflicts: 1197000 | #Constraints: 69044 2128.14/2133.85 c #Conflicts: 1198000 | #Constraints: 70044 2128.14/2133.85 c #Conflicts: 1199000 | #Constraints: 71044 2128.14/2133.85 c #Conflicts: 1200000 | #Constraints: 72044 2128.14/2133.85 c #Conflicts: 1201000 | #Constraints: 73044 2128.14/2133.85 c #Conflicts: 1202000 | #Constraints: 74044 2128.14/2133.85 c #Conflicts: 1203000 | #Constraints: 75044 2128.14/2133.85 c #Conflicts: 1204000 | #Constraints: 76044 2128.14/2133.85 c #Conflicts: 1205000 | #Constraints: 77044 2128.14/2133.85 c #Conflicts: 1206000 | #Constraints: 78044 2128.14/2133.85 c #Conflicts: 1207000 | #Constraints: 79044 2128.14/2133.85 c #Conflicts: 1208000 | #Constraints: 80044 2128.14/2133.85 c #Conflicts: 1209000 | #Constraints: 81045 2128.14/2133.85 c #Conflicts: 1210000 | #Constraints: 82045 2128.14/2133.85 c #Conflicts: 1211000 | #Constraints: 83045 2128.14/2133.85 c #Conflicts: 1212000 | #Constraints: 84045 2128.14/2133.85 c #Conflicts: 1213000 | #Constraints: 85045 2128.14/2133.85 c #Conflicts: 1214000 | #Constraints: 86045 2128.14/2133.85 c INPROCESSING 2128.14/2133.85 c GARBAGE COLLECT 2128.14/2133.85 c rational objective 98 2171.24/2177.06 c #Conflicts: 1215000 | #Constraints: 47832 2171.24/2177.06 c #Conflicts: 1216000 | #Constraints: 48832 2171.24/2177.06 c #Conflicts: 1217000 | #Constraints: 49832 2171.24/2177.06 c #Conflicts: 1218000 | #Constraints: 50832 2171.24/2177.06 c #Conflicts: 1219000 | #Constraints: 51832 2171.24/2177.06 c #Conflicts: 1220000 | #Constraints: 52832 2171.24/2177.06 c #Conflicts: 1221000 | #Constraints: 53832 2171.24/2177.06 c #Conflicts: 1222000 | #Constraints: 54832 2171.24/2177.06 c #Conflicts: 1223000 | #Constraints: 55833 2171.24/2177.06 c #Conflicts: 1224000 | #Constraints: 56833 2171.24/2177.06 c #Conflicts: 1225000 | #Constraints: 57833 2171.24/2177.06 c #Conflicts: 1226000 | #Constraints: 58833 2171.24/2177.06 c #Conflicts: 1227000 | #Constraints: 59833 2171.24/2177.06 c #Conflicts: 1228000 | #Constraints: 60833 2171.24/2177.06 c #Conflicts: 1229000 | #Constraints: 61833 2171.24/2177.06 c #Conflicts: 1230000 | #Constraints: 62833 2171.24/2177.06 c #Conflicts: 1231000 | #Constraints: 63833 2171.24/2177.06 c #Conflicts: 1232000 | #Constraints: 64833 2171.24/2177.06 c #Conflicts: 1233000 | #Constraints: 65833 2171.24/2177.06 c #Conflicts: 1234000 | #Constraints: 66834 2171.24/2177.06 c #Conflicts: 1235000 | #Constraints: 67834 2171.24/2177.06 c #Conflicts: 1236000 | #Constraints: 68835 2171.24/2177.06 c #Conflicts: 1237000 | #Constraints: 69835 2171.24/2177.06 c #Conflicts: 1238000 | #Constraints: 70835 2171.24/2177.06 c #Conflicts: 1239000 | #Constraints: 71835 2171.24/2177.06 c INPROCESSING 2171.24/2177.06 c GARBAGE COLLECT 2171.24/2177.06 c rational objective 98 2208.04/2213.91 c #Conflicts: 1240000 | #Constraints: 40570 2208.04/2213.91 c #Conflicts: 1241000 | #Constraints: 41570 2208.04/2213.91 c #Conflicts: 1242000 | #Constraints: 42570 2208.04/2213.91 c #Conflicts: 1243000 | #Constraints: 43570 2208.04/2213.91 c #Conflicts: 1244000 | #Constraints: 44570 2208.04/2213.91 c #Conflicts: 1245000 | #Constraints: 45570 2208.04/2213.91 c #Conflicts: 1246000 | #Constraints: 46570 2208.04/2213.91 c #Conflicts: 1247000 | #Constraints: 47570 2208.04/2213.91 c #Conflicts: 1248000 | #Constraints: 48570 2208.04/2213.91 c #Conflicts: 1249000 | #Constraints: 49570 2208.04/2213.91 c #Conflicts: 1250000 | #Constraints: 50570 2208.04/2213.91 c #Conflicts: 1251000 | #Constraints: 51570 2208.04/2213.91 c #Conflicts: 1252000 | #Constraints: 52570 2208.04/2213.91 c #Conflicts: 1253000 | #Constraints: 53570 2208.04/2213.91 c #Conflicts: 1254000 | #Constraints: 54570 2208.04/2213.91 c #Conflicts: 1255000 | #Constraints: 55570 2208.04/2213.91 c #Conflicts: 1256000 | #Constraints: 56570 2208.04/2213.91 c #Conflicts: 1257000 | #Constraints: 57571 2208.04/2213.91 c #Conflicts: 1258000 | #Constraints: 58571 2208.04/2213.91 c #Conflicts: 1259000 | #Constraints: 59571 2208.04/2213.92 c #Conflicts: 1260000 | #Constraints: 60572 2208.04/2213.92 c #Conflicts: 1261000 | #Constraints: 61572 2208.04/2213.92 c #Conflicts: 1262000 | #Constraints: 62572 2208.04/2213.92 c #Conflicts: 1263000 | #Constraints: 63572 2208.04/2213.92 c #Conflicts: 1264000 | #Constraints: 64572 2208.04/2213.92 c INPROCESSING 2208.04/2213.92 c GARBAGE COLLECT 2208.04/2213.92 c rational objective 98 2238.07/2244.05 c #Conflicts: 1265000 | #Constraints: 36883 2238.07/2244.05 c #Conflicts: 1266000 | #Constraints: 37883 2238.07/2244.05 c #Conflicts: 1267000 | #Constraints: 38883 2238.07/2244.05 c #Conflicts: 1268000 | #Constraints: 39883 2238.07/2244.05 c #Conflicts: 1269000 | #Constraints: 40885 2238.07/2244.05 c #Conflicts: 1270000 | #Constraints: 41885 2238.07/2244.05 c #Conflicts: 1271000 | #Constraints: 42885 2238.07/2244.05 c #Conflicts: 1272000 | #Constraints: 43885 2238.07/2244.05 c #Conflicts: 1273000 | #Constraints: 44885 2238.07/2244.05 c #Conflicts: 1274000 | #Constraints: 45885 2238.07/2244.05 c #Conflicts: 1275000 | #Constraints: 46885 2238.07/2244.05 c #Conflicts: 1276000 | #Constraints: 47885 2238.07/2244.05 c #Conflicts: 1277000 | #Constraints: 48886 2238.07/2244.05 c #Conflicts: 1278000 | #Constraints: 49887 2238.07/2244.05 c #Conflicts: 1279000 | #Constraints: 50887 2238.07/2244.05 c #Conflicts: 1280000 | #Constraints: 51887 2238.07/2244.05 c #Conflicts: 1281000 | #Constraints: 52888 2238.07/2244.05 c #Conflicts: 1282000 | #Constraints: 53888 2238.07/2244.05 c #Conflicts: 1283000 | #Constraints: 54888 2238.07/2244.05 c #Conflicts: 1284000 | #Constraints: 55888 2238.07/2244.05 c #Conflicts: 1285000 | #Constraints: 56888 2238.07/2244.05 c #Conflicts: 1286000 | #Constraints: 57889 2238.07/2244.05 c #Conflicts: 1287000 | #Constraints: 58889 2238.07/2244.05 c #Conflicts: 1288000 | #Constraints: 59889 2238.07/2244.05 c #Conflicts: 1289000 | #Constraints: 60889 2238.07/2244.05 c #Conflicts: 1290000 | #Constraints: 61889 2238.07/2244.05 c INPROCESSING 2238.07/2244.05 c GARBAGE COLLECT 2238.07/2244.05 c rational objective 98 2411.61/2418.09 c #Conflicts: 1291000 | #Constraints: 35691 2411.61/2418.09 c #Conflicts: 1292000 | #Constraints: 36691 2411.61/2418.09 c #Conflicts: 1293000 | #Constraints: 37691 2411.61/2418.09 c #Conflicts: 1294000 | #Constraints: 38691 2411.61/2418.09 c #Conflicts: 1295000 | #Constraints: 39691 2411.61/2418.09 c #Conflicts: 1296000 | #Constraints: 40691 2411.61/2418.09 c #Conflicts: 1297000 | #Constraints: 41691 2411.61/2418.09 c #Conflicts: 1298000 | #Constraints: 42691 2411.61/2418.09 c #Conflicts: 1299000 | #Constraints: 43691 2411.61/2418.09 c #Conflicts: 1300000 | #Constraints: 44691 2411.61/2418.09 c #Conflicts: 1301000 | #Constraints: 45691 2411.61/2418.09 c #Conflicts: 1302000 | #Constraints: 46691 2411.61/2418.09 c #Conflicts: 1303000 | #Constraints: 47691 2411.61/2418.09 c #Conflicts: 1304000 | #Constraints: 48691 2411.61/2418.09 c #Conflicts: 1305000 | #Constraints: 49691 2411.61/2418.09 c #Conflicts: 1306000 | #Constraints: 50691 2411.61/2418.09 c #Conflicts: 1307000 | #Constraints: 51691 2411.61/2418.09 c #Conflicts: 1308000 | #Constraints: 52691 2411.61/2418.09 c #Conflicts: 1309000 | #Constraints: 53691 2411.61/2418.09 c #Conflicts: 1310000 | #Constraints: 54691 2411.61/2418.09 c #Conflicts: 1311000 | #Constraints: 55691 2411.61/2418.09 c #Conflicts: 1312000 | #Constraints: 56691 2411.61/2418.09 c #Conflicts: 1313000 | #Constraints: 57691 2411.61/2418.09 c #Conflicts: 1314000 | #Constraints: 58691 2411.61/2418.09 c #Conflicts: 1315000 | #Constraints: 59691 2411.61/2418.09 c #Conflicts: 1316000 | #Constraints: 60691 2411.61/2418.09 c #Conflicts: 1317000 | #Constraints: 61691 2411.61/2418.09 c #Conflicts: 1318000 | #Constraints: 62691 2411.61/2418.09 c #Conflicts: 1319000 | #Constraints: 63691 2411.61/2418.09 c #Conflicts: 1320000 | #Constraints: 64691 2411.61/2418.09 c #Conflicts: 1321000 | #Constraints: 65691 2411.61/2418.09 c #Conflicts: 1322000 | #Constraints: 66691 2411.61/2418.09 c #Conflicts: 1323000 | #Constraints: 67691 2411.61/2418.09 c #Conflicts: 1324000 | #Constraints: 68691 2411.61/2418.09 c #Conflicts: 1325000 | #Constraints: 69691 2411.61/2418.09 c #Conflicts: 1326000 | #Constraints: 70691 2411.61/2418.09 c #Conflicts: 1327000 | #Constraints: 71691 2411.61/2418.09 c #Conflicts: 1328000 | #Constraints: 72691 2411.61/2418.09 c #Conflicts: 1329000 | #Constraints: 73691 2411.61/2418.09 c #Conflicts: 1330000 | #Constraints: 74691 2411.61/2418.09 c #Conflicts: 1331000 | #Constraints: 75691 2411.61/2418.09 c #Conflicts: 1332000 | #Constraints: 76691 2411.61/2418.09 c #Conflicts: 1333000 | #Constraints: 77691 2411.61/2418.09 c #Conflicts: 1334000 | #Constraints: 78691 2411.61/2418.09 c #Conflicts: 1335000 | #Constraints: 79691 2411.61/2418.09 c #Conflicts: 1336000 | #Constraints: 80691 2411.61/2418.09 c #Conflicts: 1337000 | #Constraints: 81692 2411.61/2418.09 c #Conflicts: 1338000 | #Constraints: 82692 2411.61/2418.09 c #Conflicts: 1339000 | #Constraints: 83692 2411.61/2418.09 c #Conflicts: 1340000 | #Constraints: 84692 2411.61/2418.09 c #Conflicts: 1341000 | #Constraints: 85693 2411.61/2418.09 c #Conflicts: 1342000 | #Constraints: 86693 2411.61/2418.09 c #Conflicts: 1343000 | #Constraints: 87693 2411.61/2418.09 c #Conflicts: 1344000 | #Constraints: 88693 2411.61/2418.09 c #Conflicts: 1345000 | #Constraints: 89693 2411.61/2418.09 c #Conflicts: 1346000 | #Constraints: 90693 2411.61/2418.09 c #Conflicts: 1347000 | #Constraints: 91693 2411.61/2418.09 c #Conflicts: 1348000 | #Constraints: 92693 2411.61/2418.09 c #Conflicts: 1349000 | #Constraints: 93693 2411.61/2418.09 c #Conflicts: 1350000 | #Constraints: 94693 2411.61/2418.09 c #Conflicts: 1351000 | #Constraints: 95693 2411.61/2418.09 c #Conflicts: 1352000 | #Constraints: 96693 2411.61/2418.09 c #Conflicts: 1353000 | #Constraints: 97693 2411.61/2418.09 c #Conflicts: 1354000 | #Constraints: 98693 2411.61/2418.09 c #Conflicts: 1355000 | #Constraints: 99694 2411.61/2418.09 c #Conflicts: 1356000 | #Constraints: 100694 2411.61/2418.09 c #Conflicts: 1357000 | #Constraints: 101694 2411.61/2418.09 c #Conflicts: 1358000 | #Constraints: 102694 2411.61/2418.09 c #Conflicts: 1359000 | #Constraints: 103694 2411.61/2418.09 c #Conflicts: 1360000 | #Constraints: 104694 2411.61/2418.09 c #Conflicts: 1361000 | #Constraints: 105694 2411.61/2418.09 c #Conflicts: 1362000 | #Constraints: 106694 2411.61/2418.09 c #Conflicts: 1363000 | #Constraints: 107695 2411.61/2418.09 c #Conflicts: 1364000 | #Constraints: 108695 2411.61/2418.09 c #Conflicts: 1365000 | #Constraints: 109695 2411.61/2418.09 c #Conflicts: 1366000 | #Constraints: 110695 2411.61/2418.09 c #Conflicts: 1367000 | #Constraints: 111695 2411.61/2418.09 c #Conflicts: 1368000 | #Constraints: 112695 2411.61/2418.09 c #Conflicts: 1369000 | #Constraints: 113695 2456.48/2463.07 c #Conflicts: 1370000 | #Constraints: 114696 2456.48/2463.07 c #Conflicts: 1371000 | #Constraints: 115696 2456.48/2463.07 c #Conflicts: 1372000 | #Constraints: 116696 2456.48/2463.07 c #Conflicts: 1373000 | #Constraints: 117696 2456.48/2463.07 c #Conflicts: 1374000 | #Constraints: 118696 2456.48/2463.07 c #Conflicts: 1375000 | #Constraints: 119696 2456.48/2463.07 c #Conflicts: 1376000 | #Constraints: 120696 2456.48/2463.07 c #Conflicts: 1377000 | #Constraints: 121696 2456.48/2463.07 c #Conflicts: 1378000 | #Constraints: 122696 2456.48/2463.07 c #Conflicts: 1379000 | #Constraints: 123696 2456.48/2463.07 c INPROCESSING 2456.48/2463.07 c GARBAGE COLLECT 2456.48/2463.07 c rational objective 98 2515.42/2522.17 c #Conflicts: 1380000 | #Constraints: 66774 2515.42/2522.17 c #Conflicts: 1381000 | #Constraints: 67774 2515.42/2522.17 c #Conflicts: 1382000 | #Constraints: 68774 2515.42/2522.17 c #Conflicts: 1383000 | #Constraints: 69774 2515.42/2522.17 c #Conflicts: 1384000 | #Constraints: 70774 2515.42/2522.17 c #Conflicts: 1385000 | #Constraints: 71774 2515.42/2522.17 c #Conflicts: 1386000 | #Constraints: 72774 2515.42/2522.17 c #Conflicts: 1387000 | #Constraints: 73774 2515.42/2522.17 c #Conflicts: 1388000 | #Constraints: 74774 2515.42/2522.17 c #Conflicts: 1389000 | #Constraints: 75775 2515.42/2522.17 c #Conflicts: 1390000 | #Constraints: 76775 2515.42/2522.17 c #Conflicts: 1391000 | #Constraints: 77775 2515.42/2522.17 c #Conflicts: 1392000 | #Constraints: 78775 2515.42/2522.17 c #Conflicts: 1393000 | #Constraints: 79775 2515.42/2522.17 c #Conflicts: 1394000 | #Constraints: 80775 2515.42/2522.17 c #Conflicts: 1395000 | #Constraints: 81775 2515.42/2522.17 c #Conflicts: 1396000 | #Constraints: 82775 2515.42/2522.17 c #Conflicts: 1397000 | #Constraints: 83775 2515.42/2522.17 c #Conflicts: 1398000 | #Constraints: 84775 2515.42/2522.17 c #Conflicts: 1399000 | #Constraints: 85775 2515.42/2522.17 c #Conflicts: 1400000 | #Constraints: 86776 2515.42/2522.17 c #Conflicts: 1401000 | #Constraints: 87776 2515.42/2522.17 c #Conflicts: 1402000 | #Constraints: 88776 2515.42/2522.17 c #Conflicts: 1403000 | #Constraints: 89776 2515.42/2522.17 c #Conflicts: 1404000 | #Constraints: 90776 2515.42/2522.17 c #Conflicts: 1405000 | #Constraints: 91776 2515.42/2522.17 c INPROCESSING 2515.42/2522.17 c GARBAGE COLLECT 2515.42/2522.17 c rational objective 98 2556.41/2563.21 c #Conflicts: 1406000 | #Constraints: 50470 2556.41/2563.21 c #Conflicts: 1407000 | #Constraints: 51470 2556.41/2563.21 c #Conflicts: 1408000 | #Constraints: 52470 2556.41/2563.21 c #Conflicts: 1409000 | #Constraints: 53470 2556.41/2563.21 c #Conflicts: 1410000 | #Constraints: 54470 2556.41/2563.21 c #Conflicts: 1411000 | #Constraints: 55470 2556.41/2563.21 c #Conflicts: 1412000 | #Constraints: 56470 2556.41/2563.21 c #Conflicts: 1413000 | #Constraints: 57471 2556.41/2563.21 c #Conflicts: 1414000 | #Constraints: 58471 2556.41/2563.21 c #Conflicts: 1415000 | #Constraints: 59472 2556.41/2563.21 c #Conflicts: 1416000 | #Constraints: 60472 2556.41/2563.21 c #Conflicts: 1417000 | #Constraints: 61472 2556.41/2563.21 c #Conflicts: 1418000 | #Constraints: 62472 2556.41/2563.21 c #Conflicts: 1419000 | #Constraints: 63472 2556.41/2563.21 c #Conflicts: 1420000 | #Constraints: 64472 2556.41/2563.21 c #Conflicts: 1421000 | #Constraints: 65472 2556.41/2563.21 c #Conflicts: 1422000 | #Constraints: 66472 2556.41/2563.21 c #Conflicts: 1423000 | #Constraints: 67472 2556.41/2563.21 c #Conflicts: 1424000 | #Constraints: 68472 2556.41/2563.21 c #Conflicts: 1425000 | #Constraints: 69472 2556.41/2563.21 c #Conflicts: 1426000 | #Constraints: 70472 2556.41/2563.21 c #Conflicts: 1427000 | #Constraints: 71472 2556.41/2563.21 c #Conflicts: 1428000 | #Constraints: 72472 2556.41/2563.21 c #Conflicts: 1429000 | #Constraints: 73472 2556.41/2563.21 c #Conflicts: 1430000 | #Constraints: 74472 2556.41/2563.21 c #Conflicts: 1431000 | #Constraints: 75473 2556.41/2563.21 c #Conflicts: 1432000 | #Constraints: 76474 2556.41/2563.21 c INPROCESSING 2556.41/2563.21 c GARBAGE COLLECT 2556.41/2563.21 c rational objective 98 2592.72/2599.62 c #Conflicts: 1433000 | #Constraints: 42823 2592.72/2599.62 c #Conflicts: 1434000 | #Constraints: 43823 2592.72/2599.62 c #Conflicts: 1435000 | #Constraints: 44823 2592.72/2599.62 c #Conflicts: 1436000 | #Constraints: 45823 2592.72/2599.62 c #Conflicts: 1437000 | #Constraints: 46823 2592.72/2599.62 c #Conflicts: 1438000 | #Constraints: 47823 2592.72/2599.62 c #Conflicts: 1439000 | #Constraints: 48823 2592.72/2599.62 c #Conflicts: 1440000 | #Constraints: 49823 2592.72/2599.62 c #Conflicts: 1441000 | #Constraints: 50823 2592.72/2599.62 c #Conflicts: 1442000 | #Constraints: 51824 2592.72/2599.62 c #Conflicts: 1443000 | #Constraints: 52824 2592.72/2599.62 c #Conflicts: 1444000 | #Constraints: 53824 2592.72/2599.62 c #Conflicts: 1445000 | #Constraints: 54824 2592.72/2599.62 c #Conflicts: 1446000 | #Constraints: 55824 2592.72/2599.62 c #Conflicts: 1447000 | #Constraints: 56824 2592.72/2599.62 c #Conflicts: 1448000 | #Constraints: 57824 2592.72/2599.62 c #Conflicts: 1449000 | #Constraints: 58824 2592.72/2599.62 c #Conflicts: 1450000 | #Constraints: 59824 2592.72/2599.62 c #Conflicts: 1451000 | #Constraints: 60824 2592.72/2599.62 c #Conflicts: 1452000 | #Constraints: 61824 2592.72/2599.62 c #Conflicts: 1453000 | #Constraints: 62824 2592.72/2599.62 c #Conflicts: 1454000 | #Constraints: 63824 2592.72/2599.62 c #Conflicts: 1455000 | #Constraints: 64824 2592.72/2599.62 c #Conflicts: 1456000 | #Constraints: 65824 2592.72/2599.62 c #Conflicts: 1457000 | #Constraints: 66824 2592.72/2599.62 c #Conflicts: 1458000 | #Constraints: 67824 2592.72/2599.62 c #Conflicts: 1459000 | #Constraints: 68824 2592.72/2599.62 c #Conflicts: 1460000 | #Constraints: 69824 2592.72/2599.62 c INPROCESSING 2592.72/2599.62 c GARBAGE COLLECT 2592.72/2599.62 c rational objective 98 2628.32/2635.38 c #Conflicts: 1461000 | #Constraints: 39838 2628.32/2635.38 c #Conflicts: 1462000 | #Constraints: 40838 2628.32/2635.38 c #Conflicts: 1463000 | #Constraints: 41838 2628.32/2635.38 c #Conflicts: 1464000 | #Constraints: 42838 2628.32/2635.38 c #Conflicts: 1465000 | #Constraints: 43839 2628.32/2635.38 c #Conflicts: 1466000 | #Constraints: 44839 2628.32/2635.38 c #Conflicts: 1467000 | #Constraints: 45839 2628.32/2635.38 c #Conflicts: 1468000 | #Constraints: 46840 2628.32/2635.38 c #Conflicts: 1469000 | #Constraints: 47840 2628.32/2635.38 c #Conflicts: 1470000 | #Constraints: 48840 2628.32/2635.38 c #Conflicts: 1471000 | #Constraints: 49840 2628.32/2635.38 c #Conflicts: 1472000 | #Constraints: 50840 2628.32/2635.38 c #Conflicts: 1473000 | #Constraints: 51840 2628.32/2635.38 c #Conflicts: 1474000 | #Constraints: 52840 2628.32/2635.38 c #Conflicts: 1475000 | #Constraints: 53840 2628.32/2635.38 c #Conflicts: 1476000 | #Constraints: 54840 2628.32/2635.38 c #Conflicts: 1477000 | #Constraints: 55840 2628.32/2635.38 c #Conflicts: 1478000 | #Constraints: 56840 2628.32/2635.38 c #Conflicts: 1479000 | #Constraints: 57840 2628.32/2635.38 c #Conflicts: 1480000 | #Constraints: 58840 2628.32/2635.38 c #Conflicts: 1481000 | #Constraints: 59840 2628.32/2635.38 c #Conflicts: 1482000 | #Constraints: 60840 2628.32/2635.38 c #Conflicts: 1483000 | #Constraints: 61840 2628.32/2635.38 c #Conflicts: 1484000 | #Constraints: 62840 2628.32/2635.38 c #Conflicts: 1485000 | #Constraints: 63840 2628.32/2635.38 c #Conflicts: 1486000 | #Constraints: 64840 2628.32/2635.38 c #Conflicts: 1487000 | #Constraints: 65840 2628.32/2635.38 c INPROCESSING 2628.32/2635.38 c GARBAGE COLLECT 2628.32/2635.38 c rational objective 98 2786.88/2794.38 c #Conflicts: 1488000 | #Constraints: 37682 2786.88/2794.38 c #Conflicts: 1489000 | #Constraints: 38683 2786.88/2794.38 c #Conflicts: 1490000 | #Constraints: 39683 2786.88/2794.38 c #Conflicts: 1491000 | #Constraints: 40683 2786.88/2794.38 c #Conflicts: 1492000 | #Constraints: 41683 2786.88/2794.38 c #Conflicts: 1493000 | #Constraints: 42683 2786.88/2794.38 c #Conflicts: 1494000 | #Constraints: 43683 2786.88/2794.38 c #Conflicts: 1495000 | #Constraints: 44683 2786.88/2794.38 c #Conflicts: 1496000 | #Constraints: 45683 2786.88/2794.38 c #Conflicts: 1497000 | #Constraints: 46683 2786.88/2794.38 c #Conflicts: 1498000 | #Constraints: 47683 2786.88/2794.38 c #Conflicts: 1499000 | #Constraints: 48683 2786.88/2794.38 c #Conflicts: 1500000 | #Constraints: 49683 2786.88/2794.38 c #Conflicts: 1501000 | #Constraints: 50683 2786.88/2794.38 c #Conflicts: 1502000 | #Constraints: 51683 2786.88/2794.38 c #Conflicts: 1503000 | #Constraints: 52684 2786.88/2794.38 c #Conflicts: 1504000 | #Constraints: 53684 2786.88/2794.38 c #Conflicts: 1505000 | #Constraints: 54684 2786.88/2794.38 c #Conflicts: 1506000 | #Constraints: 55684 2786.88/2794.38 c #Conflicts: 1507000 | #Constraints: 56685 2786.88/2794.38 c #Conflicts: 1508000 | #Constraints: 57685 2786.88/2794.38 c #Conflicts: 1509000 | #Constraints: 58686 2786.88/2794.38 c #Conflicts: 1510000 | #Constraints: 59686 2786.88/2794.38 c #Conflicts: 1511000 | #Constraints: 60686 2786.88/2794.38 c #Conflicts: 1512000 | #Constraints: 61686 2786.88/2794.38 c #Conflicts: 1513000 | #Constraints: 62686 2786.88/2794.38 c #Conflicts: 1514000 | #Constraints: 63686 2786.88/2794.38 c #Conflicts: 1515000 | #Constraints: 64686 2786.88/2794.38 c #Conflicts: 1516000 | #Constraints: 65686 2786.88/2794.38 c #Conflicts: 1517000 | #Constraints: 66686 2786.88/2794.38 c #Conflicts: 1518000 | #Constraints: 67686 2786.88/2794.38 c #Conflicts: 1519000 | #Constraints: 68686 2786.88/2794.38 c #Conflicts: 1520000 | #Constraints: 69686 2786.88/2794.38 c #Conflicts: 1521000 | #Constraints: 70686 2786.88/2794.38 c #Conflicts: 1522000 | #Constraints: 71686 2786.88/2794.38 c #Conflicts: 1523000 | #Constraints: 72686 2786.88/2794.38 c #Conflicts: 1524000 | #Constraints: 73686 2786.88/2794.38 c #Conflicts: 1525000 | #Constraints: 74686 2786.88/2794.38 c #Conflicts: 1526000 | #Constraints: 75686 2786.88/2794.38 c #Conflicts: 1527000 | #Constraints: 76686 2786.88/2794.38 c #Conflicts: 1528000 | #Constraints: 77686 2786.88/2794.38 c #Conflicts: 1529000 | #Constraints: 78686 2786.88/2794.38 c #Conflicts: 1530000 | #Constraints: 79686 2786.88/2794.38 c #Conflicts: 1531000 | #Constraints: 80686 2786.88/2794.38 c #Conflicts: 1532000 | #Constraints: 81686 2786.88/2794.38 c #Conflicts: 1533000 | #Constraints: 82686 2786.88/2794.38 c #Conflicts: 1534000 | #Constraints: 83686 2786.88/2794.38 c #Conflicts: 1535000 | #Constraints: 84686 2786.88/2794.38 c #Conflicts: 1536000 | #Constraints: 85686 2786.88/2794.38 c #Conflicts: 1537000 | #Constraints: 86686 2786.88/2794.38 c #Conflicts: 1538000 | #Constraints: 87687 2786.88/2794.38 c #Conflicts: 1539000 | #Constraints: 88687 2786.88/2794.38 c #Conflicts: 1540000 | #Constraints: 89687 2786.88/2794.38 c #Conflicts: 1541000 | #Constraints: 90687 2786.88/2794.38 c #Conflicts: 1542000 | #Constraints: 91687 2786.88/2794.38 c #Conflicts: 1543000 | #Constraints: 92688 2786.88/2794.38 c #Conflicts: 1544000 | #Constraints: 93689 2786.88/2794.38 c #Conflicts: 1545000 | #Constraints: 94689 2786.88/2794.38 c #Conflicts: 1546000 | #Constraints: 95689 2786.88/2794.38 c #Conflicts: 1547000 | #Constraints: 96689 2786.88/2794.38 c #Conflicts: 1548000 | #Constraints: 97689 2786.88/2794.38 c #Conflicts: 1549000 | #Constraints: 98689 2786.88/2794.38 c #Conflicts: 1550000 | #Constraints: 99689 2786.88/2794.38 c #Conflicts: 1551000 | #Constraints: 100689 2786.88/2794.38 c #Conflicts: 1552000 | #Constraints: 101689 2786.88/2794.38 c #Conflicts: 1553000 | #Constraints: 102689 2786.88/2794.38 c #Conflicts: 1554000 | #Constraints: 103690 2786.88/2794.38 c #Conflicts: 1555000 | #Constraints: 104690 2786.88/2794.38 c #Conflicts: 1556000 | #Constraints: 105690 2786.88/2794.38 c #Conflicts: 1557000 | #Constraints: 106690 2786.88/2794.38 c #Conflicts: 1558000 | #Constraints: 107690 2786.88/2794.38 c #Conflicts: 1559000 | #Constraints: 108690 2786.88/2794.38 c #Conflicts: 1560000 | #Constraints: 109691 2786.88/2794.38 c #Conflicts: 1561000 | #Constraints: 110691 2786.88/2794.38 c #Conflicts: 1562000 | #Constraints: 111691 2786.88/2794.38 c #Conflicts: 1563000 | #Constraints: 112691 2786.88/2794.38 c #Conflicts: 1564000 | #Constraints: 113691 2786.88/2794.38 c #Conflicts: 1565000 | #Constraints: 114691 2786.88/2794.38 c #Conflicts: 1566000 | #Constraints: 115691 2854.50/2862.11 c #Conflicts: 1567000 | #Constraints: 116691 2854.50/2862.11 c #Conflicts: 1568000 | #Constraints: 117691 2854.50/2862.11 c #Conflicts: 1569000 | #Constraints: 118691 2854.50/2862.11 c #Conflicts: 1570000 | #Constraints: 119691 2854.50/2862.11 c #Conflicts: 1571000 | #Constraints: 120691 2854.50/2862.11 c #Conflicts: 1572000 | #Constraints: 121691 2854.50/2862.11 c #Conflicts: 1573000 | #Constraints: 122691 2854.50/2862.11 c #Conflicts: 1574000 | #Constraints: 123691 2854.50/2862.11 c #Conflicts: 1575000 | #Constraints: 124691 2854.50/2862.11 c #Conflicts: 1576000 | #Constraints: 125691 2854.50/2862.11 c #Conflicts: 1577000 | #Constraints: 126692 2854.50/2862.11 c #Conflicts: 1578000 | #Constraints: 127692 2854.50/2862.11 c #Conflicts: 1579000 | #Constraints: 128692 2854.50/2862.11 c #Conflicts: 1580000 | #Constraints: 129693 2854.50/2862.11 c #Conflicts: 1581000 | #Constraints: 130693 2854.50/2862.11 c #Conflicts: 1582000 | #Constraints: 131693 2854.50/2862.11 c INPROCESSING 2854.50/2862.11 c GARBAGE COLLECT 2854.50/2862.11 c rational objective 98 2926.40/2934.29 c #Conflicts: 1583000 | #Constraints: 70535 2926.40/2934.29 c #Conflicts: 1584000 | #Constraints: 71535 2926.40/2934.29 c #Conflicts: 1585000 | #Constraints: 72535 2926.40/2934.29 c #Conflicts: 1586000 | #Constraints: 73535 2926.40/2934.29 c #Conflicts: 1587000 | #Constraints: 74535 2926.40/2934.29 c #Conflicts: 1588000 | #Constraints: 75535 2926.40/2934.29 c #Conflicts: 1589000 | #Constraints: 76535 2926.40/2934.29 c #Conflicts: 1590000 | #Constraints: 77535 2926.40/2934.29 c #Conflicts: 1591000 | #Constraints: 78535 2926.40/2934.29 c #Conflicts: 1592000 | #Constraints: 79535 2926.40/2934.29 c #Conflicts: 1593000 | #Constraints: 80535 2926.40/2934.29 c #Conflicts: 1594000 | #Constraints: 81535 2926.40/2934.29 c #Conflicts: 1595000 | #Constraints: 82535 2926.40/2934.29 c #Conflicts: 1596000 | #Constraints: 83535 2926.40/2934.29 c #Conflicts: 1597000 | #Constraints: 84535 2926.40/2934.29 c #Conflicts: 1598000 | #Constraints: 85535 2926.40/2934.29 c #Conflicts: 1599000 | #Constraints: 86535 2926.40/2934.29 c #Conflicts: 1600000 | #Constraints: 87535 2926.40/2934.29 c #Conflicts: 1601000 | #Constraints: 88535 2926.40/2934.29 c #Conflicts: 1602000 | #Constraints: 89535 2926.40/2934.29 c #Conflicts: 1603000 | #Constraints: 90535 2926.40/2934.29 c #Conflicts: 1604000 | #Constraints: 91535 2926.40/2934.29 c #Conflicts: 1605000 | #Constraints: 92535 2926.40/2934.29 c #Conflicts: 1606000 | #Constraints: 93535 2926.40/2934.29 c #Conflicts: 1607000 | #Constraints: 94535 2926.40/2934.29 c #Conflicts: 1608000 | #Constraints: 95535 2926.40/2934.29 c #Conflicts: 1609000 | #Constraints: 96535 2926.40/2934.29 c #Conflicts: 1610000 | #Constraints: 97536 2926.40/2934.29 c #Conflicts: 1611000 | #Constraints: 98536 2926.40/2934.29 c INPROCESSING 2926.40/2934.29 c GARBAGE COLLECT 2926.40/2934.29 c rational objective 98 2987.04/2995.01 c #Conflicts: 1612000 | #Constraints: 54165 2987.04/2995.01 c #Conflicts: 1613000 | #Constraints: 55165 2987.04/2995.01 c #Conflicts: 1614000 | #Constraints: 56165 2987.04/2995.01 c #Conflicts: 1615000 | #Constraints: 57165 2987.04/2995.01 c #Conflicts: 1616000 | #Constraints: 58165 2987.04/2995.01 c #Conflicts: 1617000 | #Constraints: 59166 2987.04/2995.01 c #Conflicts: 1618000 | #Constraints: 60166 2987.04/2995.01 c #Conflicts: 1619000 | #Constraints: 61166 2987.04/2995.01 c #Conflicts: 1620000 | #Constraints: 62167 2987.04/2995.01 c #Conflicts: 1621000 | #Constraints: 63167 2987.04/2995.01 c #Conflicts: 1622000 | #Constraints: 64167 2987.04/2995.01 c #Conflicts: 1623000 | #Constraints: 65167 2987.04/2995.01 c #Conflicts: 1624000 | #Constraints: 66168 2987.04/2995.01 c #Conflicts: 1625000 | #Constraints: 67169 2987.04/2995.01 c #Conflicts: 1626000 | #Constraints: 68169 2987.04/2995.01 c #Conflicts: 1627000 | #Constraints: 69169 2987.04/2995.01 c #Conflicts: 1628000 | #Constraints: 70170 2987.04/2995.01 c #Conflicts: 1629000 | #Constraints: 71170 2987.04/2995.01 c #Conflicts: 1630000 | #Constraints: 72170 2987.04/2995.01 c #Conflicts: 1631000 | #Constraints: 73170 2987.04/2995.01 c #Conflicts: 1632000 | #Constraints: 74170 2987.04/2995.01 c #Conflicts: 1633000 | #Constraints: 75170 2987.04/2995.01 c #Conflicts: 1634000 | #Constraints: 76171 2987.04/2995.01 c #Conflicts: 1635000 | #Constraints: 77171 2987.04/2995.01 c #Conflicts: 1636000 | #Constraints: 78171 2987.04/2995.01 c #Conflicts: 1637000 | #Constraints: 79171 2987.04/2995.01 c #Conflicts: 1638000 | #Constraints: 80171 2987.04/2995.01 c #Conflicts: 1639000 | #Constraints: 81171 2987.04/2995.01 c #Conflicts: 1640000 | #Constraints: 82171 2987.04/2995.01 c INPROCESSING 2987.04/2995.01 c GARBAGE COLLECT 2987.04/2995.01 c rational objective 98 3033.71/3041.89 c #Conflicts: 1641000 | #Constraints: 46092 3033.71/3041.89 c #Conflicts: 1642000 | #Constraints: 47092 3033.71/3041.89 c #Conflicts: 1643000 | #Constraints: 48092 3033.71/3041.89 c #Conflicts: 1644000 | #Constraints: 49092 3033.71/3041.89 c #Conflicts: 1645000 | #Constraints: 50092 3033.71/3041.89 c #Conflicts: 1646000 | #Constraints: 51092 3033.71/3041.89 c #Conflicts: 1647000 | #Constraints: 52093 3033.71/3041.89 c #Conflicts: 1648000 | #Constraints: 53093 3033.71/3041.89 c #Conflicts: 1649000 | #Constraints: 54093 3033.71/3041.89 c #Conflicts: 1650000 | #Constraints: 55093 3033.71/3041.89 c #Conflicts: 1651000 | #Constraints: 56093 3033.71/3041.89 c #Conflicts: 1652000 | #Constraints: 57093 3033.71/3041.89 c #Conflicts: 1653000 | #Constraints: 58093 3033.71/3041.89 c #Conflicts: 1654000 | #Constraints: 59093 3033.71/3041.89 c #Conflicts: 1655000 | #Constraints: 60093 3033.71/3041.89 c #Conflicts: 1656000 | #Constraints: 61093 3033.71/3041.89 c #Conflicts: 1657000 | #Constraints: 62093 3033.71/3041.89 c #Conflicts: 1658000 | #Constraints: 63093 3033.71/3041.89 c #Conflicts: 1659000 | #Constraints: 64093 3033.71/3041.89 c #Conflicts: 1660000 | #Constraints: 65093 3033.71/3041.89 c #Conflicts: 1661000 | #Constraints: 66093 3033.71/3041.89 c #Conflicts: 1662000 | #Constraints: 67093 3033.71/3041.89 c #Conflicts: 1663000 | #Constraints: 68093 3033.71/3041.89 c #Conflicts: 1664000 | #Constraints: 69093 3033.71/3041.89 c #Conflicts: 1665000 | #Constraints: 70093 3033.71/3041.89 c #Conflicts: 1666000 | #Constraints: 71093 3033.71/3041.89 c #Conflicts: 1667000 | #Constraints: 72093 3033.71/3041.89 c #Conflicts: 1668000 | #Constraints: 73093 3033.71/3041.89 c #Conflicts: 1669000 | #Constraints: 74093 3033.71/3041.89 c INPROCESSING 3033.71/3041.89 c GARBAGE COLLECT 3033.71/3041.89 c rational objective 98 3068.52/3076.77 c #Conflicts: 1670000 | #Constraints: 41891 3068.52/3076.77 c #Conflicts: 1671000 | #Constraints: 42891 3068.52/3076.77 c #Conflicts: 1672000 | #Constraints: 43891 3068.52/3076.77 c #Conflicts: 1673000 | #Constraints: 44891 3068.52/3076.77 c #Conflicts: 1674000 | #Constraints: 45891 3068.52/3076.77 c #Conflicts: 1675000 | #Constraints: 46891 3068.52/3076.77 c #Conflicts: 1676000 | #Constraints: 47891 3068.52/3076.77 c #Conflicts: 1677000 | #Constraints: 48891 3068.52/3076.77 c #Conflicts: 1678000 | #Constraints: 49891 3068.52/3076.77 c #Conflicts: 1679000 | #Constraints: 50891 3068.52/3076.77 c #Conflicts: 1680000 | #Constraints: 51891 3068.52/3076.77 c #Conflicts: 1681000 | #Constraints: 52891 3068.52/3076.77 c #Conflicts: 1682000 | #Constraints: 53891 3068.52/3076.77 c #Conflicts: 1683000 | #Constraints: 54891 3068.52/3076.77 c #Conflicts: 1684000 | #Constraints: 55891 3068.52/3076.77 c #Conflicts: 1685000 | #Constraints: 56891 3068.52/3076.77 c #Conflicts: 1686000 | #Constraints: 57891 3068.52/3076.77 c #Conflicts: 1687000 | #Constraints: 58891 3068.52/3076.77 c #Conflicts: 1688000 | #Constraints: 59891 3068.52/3076.77 c #Conflicts: 1689000 | #Constraints: 60891 3068.52/3076.77 c #Conflicts: 1690000 | #Constraints: 61891 3068.52/3076.77 c #Conflicts: 1691000 | #Constraints: 62891 3068.52/3076.77 c #Conflicts: 1692000 | #Constraints: 63891 3068.52/3076.77 c #Conflicts: 1693000 | #Constraints: 64891 3068.52/3076.77 c #Conflicts: 1694000 | #Constraints: 65891 3068.52/3076.77 c #Conflicts: 1695000 | #Constraints: 66891 3068.52/3076.77 c #Conflicts: 1696000 | #Constraints: 67891 3068.52/3076.77 c #Conflicts: 1697000 | #Constraints: 68891 3068.52/3076.77 c #Conflicts: 1698000 | #Constraints: 69891 3068.52/3076.77 c INPROCESSING 3068.52/3076.77 c GARBAGE COLLECT 3068.52/3076.77 c rational objective 98 3248.85/3257.50 c #Conflicts: 1699000 | #Constraints: 39664 3248.85/3257.50 c #Conflicts: 1700000 | #Constraints: 40665 3248.85/3257.50 c #Conflicts: 1701000 | #Constraints: 41665 3248.85/3257.50 c #Conflicts: 1702000 | #Constraints: 42665 3248.85/3257.50 c #Conflicts: 1703000 | #Constraints: 43666 3248.85/3257.50 c #Conflicts: 1704000 | #Constraints: 44666 3248.85/3257.50 c #Conflicts: 1705000 | #Constraints: 45666 3248.85/3257.50 c #Conflicts: 1706000 | #Constraints: 46666 3248.85/3257.50 c #Conflicts: 1707000 | #Constraints: 47667 3248.85/3257.50 c #Conflicts: 1708000 | #Constraints: 48667 3248.85/3257.50 c #Conflicts: 1709000 | #Constraints: 49667 3248.85/3257.50 c #Conflicts: 1710000 | #Constraints: 50667 3248.85/3257.50 c #Conflicts: 1711000 | #Constraints: 51667 3248.85/3257.50 c #Conflicts: 1712000 | #Constraints: 52667 3248.85/3257.50 c #Conflicts: 1713000 | #Constraints: 53667 3248.85/3257.50 c #Conflicts: 1714000 | #Constraints: 54667 3248.85/3257.50 c #Conflicts: 1715000 | #Constraints: 55667 3248.85/3257.50 c #Conflicts: 1716000 | #Constraints: 56667 3248.85/3257.50 c #Conflicts: 1717000 | #Constraints: 57667 3248.85/3257.50 c #Conflicts: 1718000 | #Constraints: 58667 3248.85/3257.50 c #Conflicts: 1719000 | #Constraints: 59667 3248.85/3257.50 c #Conflicts: 1720000 | #Constraints: 60667 3248.85/3257.50 c #Conflicts: 1721000 | #Constraints: 61667 3248.85/3257.50 c #Conflicts: 1722000 | #Constraints: 62667 3248.85/3257.50 c #Conflicts: 1723000 | #Constraints: 63667 3248.85/3257.50 c #Conflicts: 1724000 | #Constraints: 64667 3248.85/3257.50 c #Conflicts: 1725000 | #Constraints: 65667 3248.85/3257.50 c #Conflicts: 1726000 | #Constraints: 66667 3248.85/3257.50 c #Conflicts: 1727000 | #Constraints: 67667 3248.85/3257.50 c #Conflicts: 1728000 | #Constraints: 68667 3248.85/3257.50 c #Conflicts: 1729000 | #Constraints: 69667 3248.85/3257.50 c #Conflicts: 1730000 | #Constraints: 70667 3248.85/3257.50 c #Conflicts: 1731000 | #Constraints: 71667 3248.85/3257.50 c #Conflicts: 1732000 | #Constraints: 72667 3248.85/3257.50 c #Conflicts: 1733000 | #Constraints: 73667 3248.85/3257.50 c #Conflicts: 1734000 | #Constraints: 74667 3248.85/3257.50 c #Conflicts: 1735000 | #Constraints: 75667 3248.85/3257.50 c #Conflicts: 1736000 | #Constraints: 76667 3248.85/3257.50 c #Conflicts: 1737000 | #Constraints: 77668 3248.85/3257.50 c #Conflicts: 1738000 | #Constraints: 78668 3248.85/3257.50 c #Conflicts: 1739000 | #Constraints: 79668 3248.85/3257.50 c #Conflicts: 1740000 | #Constraints: 80668 3248.85/3257.50 c #Conflicts: 1741000 | #Constraints: 81668 3248.85/3257.50 c #Conflicts: 1742000 | #Constraints: 82668 3248.85/3257.50 c #Conflicts: 1743000 | #Constraints: 83668 3248.85/3257.50 c #Conflicts: 1744000 | #Constraints: 84668 3248.85/3257.50 c #Conflicts: 1745000 | #Constraints: 85668 3248.85/3257.50 c #Conflicts: 1746000 | #Constraints: 86668 3248.85/3257.50 c #Conflicts: 1747000 | #Constraints: 87668 3248.85/3257.50 c #Conflicts: 1748000 | #Constraints: 88668 3248.85/3257.50 c #Conflicts: 1749000 | #Constraints: 89668 3248.85/3257.50 c #Conflicts: 1750000 | #Constraints: 90668 3248.85/3257.50 c #Conflicts: 1751000 | #Constraints: 91668 3248.85/3257.50 c #Conflicts: 1752000 | #Constraints: 92669 3248.85/3257.50 c #Conflicts: 1753000 | #Constraints: 93669 3248.85/3257.50 c #Conflicts: 1754000 | #Constraints: 94669 3248.85/3257.50 c #Conflicts: 1755000 | #Constraints: 95669 3248.85/3257.50 c #Conflicts: 1756000 | #Constraints: 96669 3248.85/3257.50 c #Conflicts: 1757000 | #Constraints: 97669 3248.85/3257.50 c #Conflicts: 1758000 | #Constraints: 98669 3248.85/3257.50 c #Conflicts: 1759000 | #Constraints: 99669 3248.85/3257.50 c #Conflicts: 1760000 | #Constraints: 100670 3248.85/3257.50 c #Conflicts: 1761000 | #Constraints: 101670 3248.85/3257.50 c #Conflicts: 1762000 | #Constraints: 102670 3248.85/3257.50 c #Conflicts: 1763000 | #Constraints: 103670 3248.85/3257.50 c #Conflicts: 1764000 | #Constraints: 104670 3248.85/3257.50 c #Conflicts: 1765000 | #Constraints: 105670 3248.85/3257.50 c #Conflicts: 1766000 | #Constraints: 106670 3248.85/3257.50 c #Conflicts: 1767000 | #Constraints: 107670 3248.85/3257.50 c #Conflicts: 1768000 | #Constraints: 108670 3248.85/3257.50 c #Conflicts: 1769000 | #Constraints: 109670 3248.85/3257.50 c #Conflicts: 1770000 | #Constraints: 110670 3248.85/3257.50 c #Conflicts: 1771000 | #Constraints: 111670 3248.85/3257.50 c #Conflicts: 1772000 | #Constraints: 112670 3248.85/3257.50 c #Conflicts: 1773000 | #Constraints: 113670 3248.85/3257.50 c #Conflicts: 1774000 | #Constraints: 114670 3248.85/3257.50 c #Conflicts: 1775000 | #Constraints: 115670 3248.85/3257.50 c #Conflicts: 1776000 | #Constraints: 116670 3248.85/3257.50 c #Conflicts: 1777000 | #Constraints: 117670 3353.31/3362.28 c #Conflicts: 1778000 | #Constraints: 118670 3353.31/3362.28 c #Conflicts: 1779000 | #Constraints: 119671 3353.31/3362.28 c #Conflicts: 1780000 | #Constraints: 120671 3353.31/3362.28 c #Conflicts: 1781000 | #Constraints: 121671 3353.31/3362.28 c #Conflicts: 1782000 | #Constraints: 122671 3353.31/3362.28 c #Conflicts: 1783000 | #Constraints: 123671 3353.31/3362.28 c #Conflicts: 1784000 | #Constraints: 124671 3353.31/3362.28 c #Conflicts: 1785000 | #Constraints: 125671 3353.31/3362.28 c #Conflicts: 1786000 | #Constraints: 126671 3353.31/3362.28 c #Conflicts: 1787000 | #Constraints: 127671 3353.31/3362.28 c #Conflicts: 1788000 | #Constraints: 128671 3353.31/3362.28 c #Conflicts: 1789000 | #Constraints: 129671 3353.31/3362.28 c #Conflicts: 1790000 | #Constraints: 130671 3353.31/3362.28 c #Conflicts: 1791000 | #Constraints: 131671 3353.31/3362.28 c #Conflicts: 1792000 | #Constraints: 132671 3353.31/3362.28 c #Conflicts: 1793000 | #Constraints: 133671 3353.31/3362.28 c #Conflicts: 1794000 | #Constraints: 134671 3353.31/3362.28 c #Conflicts: 1795000 | #Constraints: 135671 3353.31/3362.28 c #Conflicts: 1796000 | #Constraints: 136672 3353.31/3362.28 c #Conflicts: 1797000 | #Constraints: 137672 3353.31/3362.28 c #Conflicts: 1798000 | #Constraints: 138672 3353.31/3362.28 c #Conflicts: 1799000 | #Constraints: 139672 3353.31/3362.28 c #Conflicts: 1800000 | #Constraints: 140672 3353.31/3362.28 c INPROCESSING 3353.31/3362.28 c GARBAGE COLLECT 3353.31/3362.28 c rational objective 98 3428.33/3437.43 c #Conflicts: 1801000 | #Constraints: 75282 3428.33/3437.43 c #Conflicts: 1802000 | #Constraints: 76282 3428.33/3437.43 c #Conflicts: 1803000 | #Constraints: 77282 3428.33/3437.43 c #Conflicts: 1804000 | #Constraints: 78282 3428.33/3437.43 c #Conflicts: 1805000 | #Constraints: 79282 3428.33/3437.43 c #Conflicts: 1806000 | #Constraints: 80282 3428.33/3437.43 c #Conflicts: 1807000 | #Constraints: 81282 3428.33/3437.43 c #Conflicts: 1808000 | #Constraints: 82282 3428.33/3437.43 c #Conflicts: 1809000 | #Constraints: 83282 3428.33/3437.43 c #Conflicts: 1810000 | #Constraints: 84282 3428.33/3437.43 c #Conflicts: 1811000 | #Constraints: 85282 3428.33/3437.43 c #Conflicts: 1812000 | #Constraints: 86282 3428.33/3437.43 c #Conflicts: 1813000 | #Constraints: 87282 3428.33/3437.43 c #Conflicts: 1814000 | #Constraints: 88282 3428.33/3437.43 c #Conflicts: 1815000 | #Constraints: 89282 3428.33/3437.43 c #Conflicts: 1816000 | #Constraints: 90282 3428.33/3437.43 c #Conflicts: 1817000 | #Constraints: 91282 3428.33/3437.43 c #Conflicts: 1818000 | #Constraints: 92282 3428.33/3437.43 c #Conflicts: 1819000 | #Constraints: 93282 3428.33/3437.43 c #Conflicts: 1820000 | #Constraints: 94282 3428.33/3437.43 c #Conflicts: 1821000 | #Constraints: 95282 3428.33/3437.43 c #Conflicts: 1822000 | #Constraints: 96282 3428.33/3437.43 c #Conflicts: 1823000 | #Constraints: 97282 3428.33/3437.43 c #Conflicts: 1824000 | #Constraints: 98282 3428.33/3437.43 c #Conflicts: 1825000 | #Constraints: 99282 3428.33/3437.43 c #Conflicts: 1826000 | #Constraints: 100282 3428.33/3437.43 c #Conflicts: 1827000 | #Constraints: 101282 3428.33/3437.43 c #Conflicts: 1828000 | #Constraints: 102282 3428.33/3437.43 c #Conflicts: 1829000 | #Constraints: 103282 3428.33/3437.43 c #Conflicts: 1830000 | #Constraints: 104282 3428.33/3437.43 c INPROCESSING 3428.33/3437.43 c GARBAGE COLLECT 3428.33/3437.43 c rational objective 98 3489.80/3499.08 c #Conflicts: 1831000 | #Constraints: 56914 3489.80/3499.08 c #Conflicts: 1832000 | #Constraints: 57914 3489.80/3499.08 c #Conflicts: 1833000 | #Constraints: 58914 3489.80/3499.08 c #Conflicts: 1834000 | #Constraints: 59914 3489.80/3499.08 c #Conflicts: 1835000 | #Constraints: 60914 3489.80/3499.08 c #Conflicts: 1836000 | #Constraints: 61914 3489.80/3499.08 c #Conflicts: 1837000 | #Constraints: 62914 3489.80/3499.08 c #Conflicts: 1838000 | #Constraints: 63914 3489.80/3499.08 c #Conflicts: 1839000 | #Constraints: 64914 3489.80/3499.08 c #Conflicts: 1840000 | #Constraints: 65914 3489.80/3499.08 c #Conflicts: 1841000 | #Constraints: 66914 3489.80/3499.08 c #Conflicts: 1842000 | #Constraints: 67914 3489.80/3499.08 c #Conflicts: 1843000 | #Constraints: 68914 3489.80/3499.08 c #Conflicts: 1844000 | #Constraints: 69914 3489.80/3499.08 c #Conflicts: 1845000 | #Constraints: 70914 3489.80/3499.08 c #Conflicts: 1846000 | #Constraints: 71914 3489.80/3499.08 c #Conflicts: 1847000 | #Constraints: 72914 3489.80/3499.08 c #Conflicts: 1848000 | #Constraints: 73915 3489.80/3499.08 c #Conflicts: 1849000 | #Constraints: 74915 3489.80/3499.08 c #Conflicts: 1850000 | #Constraints: 75915 3489.80/3499.08 c #Conflicts: 1851000 | #Constraints: 76915 3489.80/3499.08 c #Conflicts: 1852000 | #Constraints: 77915 3489.80/3499.08 c #Conflicts: 1853000 | #Constraints: 78915 3489.80/3499.08 c #Conflicts: 1854000 | #Constraints: 79915 3489.80/3499.08 c #Conflicts: 1855000 | #Constraints: 80915 3489.80/3499.08 c #Conflicts: 1856000 | #Constraints: 81915 3489.80/3499.08 c #Conflicts: 1857000 | #Constraints: 82916 3489.80/3499.08 c #Conflicts: 1858000 | #Constraints: 83916 3489.80/3499.08 c #Conflicts: 1859000 | #Constraints: 84916 3489.80/3499.08 c #Conflicts: 1860000 | #Constraints: 85916 3489.80/3499.08 c #Conflicts: 1861000 | #Constraints: 86916 3489.80/3499.08 c INPROCESSING 3489.80/3499.08 c GARBAGE COLLECT 3489.80/3499.08 c rational objective 98 3540.18/3549.59 c #Conflicts: 1862000 | #Constraints: 48331 3540.18/3549.59 c #Conflicts: 1863000 | #Constraints: 49331 3540.18/3549.59 c #Conflicts: 1864000 | #Constraints: 50331 3540.18/3549.59 c #Conflicts: 1865000 | #Constraints: 51331 3540.18/3549.59 c #Conflicts: 1866000 | #Constraints: 52331 3540.18/3549.59 c #Conflicts: 1867000 | #Constraints: 53331 3540.18/3549.59 c #Conflicts: 1868000 | #Constraints: 54331 3540.18/3549.59 c #Conflicts: 1869000 | #Constraints: 55332 3540.18/3549.59 c #Conflicts: 1870000 | #Constraints: 56332 3540.18/3549.59 c #Conflicts: 1871000 | #Constraints: 57332 3540.18/3549.59 c #Conflicts: 1872000 | #Constraints: 58332 3540.18/3549.59 c #Conflicts: 1873000 | #Constraints: 59332 3540.18/3549.59 c #Conflicts: 1874000 | #Constraints: 60332 3540.18/3549.59 c #Conflicts: 1875000 | #Constraints: 61332 3540.18/3549.59 c #Conflicts: 1876000 | #Constraints: 62332 3540.18/3549.59 c #Conflicts: 1877000 | #Constraints: 63332 3540.18/3549.59 c #Conflicts: 1878000 | #Constraints: 64332 3540.18/3549.59 c #Conflicts: 1879000 | #Constraints: 65333 3540.18/3549.59 c #Conflicts: 1880000 | #Constraints: 66333 3540.18/3549.59 c #Conflicts: 1881000 | #Constraints: 67333 3540.18/3549.59 c #Conflicts: 1882000 | #Constraints: 68333 3540.18/3549.59 c #Conflicts: 1883000 | #Constraints: 69333 3540.18/3549.59 c #Conflicts: 1884000 | #Constraints: 70333 3540.18/3549.59 c #Conflicts: 1885000 | #Constraints: 71333 3540.18/3549.59 c #Conflicts: 1886000 | #Constraints: 72333 3540.18/3549.59 c #Conflicts: 1887000 | #Constraints: 73333 3540.18/3549.59 c #Conflicts: 1888000 | #Constraints: 74333 3540.18/3549.59 c #Conflicts: 1889000 | #Constraints: 75333 3540.18/3549.59 c #Conflicts: 1890000 | #Constraints: 76333 3540.18/3549.59 c #Conflicts: 1891000 | #Constraints: 77333 3540.18/3549.59 c #Conflicts: 1892000 | #Constraints: 78333 3540.18/3549.59 c INPROCESSING 3540.18/3549.59 c GARBAGE COLLECT 3540.18/3549.59 c rational objective 98 3584.77/3594.27 c #Conflicts: 1893000 | #Constraints: 44015 3584.77/3594.27 c #Conflicts: 1894000 | #Constraints: 45015 3584.77/3594.27 c #Conflicts: 1895000 | #Constraints: 46015 3584.77/3594.27 c #Conflicts: 1896000 | #Constraints: 47015 3584.77/3594.27 c #Conflicts: 1897000 | #Constraints: 48015 3584.77/3594.27 c #Conflicts: 1898000 | #Constraints: 49015 3584.77/3594.27 c #Conflicts: 1899000 | #Constraints: 50015 3584.77/3594.27 c #Conflicts: 1900000 | #Constraints: 51015 3584.77/3594.27 c #Conflicts: 1901000 | #Constraints: 52015 3584.77/3594.27 c #Conflicts: 1902000 | #Constraints: 53015 3584.77/3594.27 c #Conflicts: 1903000 | #Constraints: 54015 3584.77/3594.27 c #Conflicts: 1904000 | #Constraints: 55015 3584.77/3594.27 c #Conflicts: 1905000 | #Constraints: 56015 3584.77/3594.27 c #Conflicts: 1906000 | #Constraints: 57015 3584.77/3594.27 c #Conflicts: 1907000 | #Constraints: 58015 3584.77/3594.27 c #Conflicts: 1908000 | #Constraints: 59015 3584.77/3594.27 c #Conflicts: 1909000 | #Constraints: 60015 3584.77/3594.27 c #Conflicts: 1910000 | #Constraints: 61015 3584.77/3594.27 c #Conflicts: 1911000 | #Constraints: 62015 3584.77/3594.27 c #Conflicts: 1912000 | #Constraints: 63015 3584.77/3594.27 c #Conflicts: 1913000 | #Constraints: 64015 3584.77/3594.27 c #Conflicts: 1914000 | #Constraints: 65015 3584.77/3594.27 c #Conflicts: 1915000 | #Constraints: 66015 3584.77/3594.27 c #Conflicts: 1916000 | #Constraints: 67015 3584.77/3594.27 c #Conflicts: 1917000 | #Constraints: 68015 3584.77/3594.27 c #Conflicts: 1918000 | #Constraints: 69015 3584.77/3594.27 c #Conflicts: 1919000 | #Constraints: 70016 3584.77/3594.27 c #Conflicts: 1920000 | #Constraints: 71016 3584.77/3594.27 c #Conflicts: 1921000 | #Constraints: 72016 3584.77/3594.27 c #Conflicts: 1922000 | #Constraints: 73016 3584.77/3594.27 c #Conflicts: 1923000 | #Constraints: 74016 3584.77/3594.27 c INPROCESSING 3584.77/3594.27 c GARBAGE COLLECT 3584.77/3594.27 c rational objective 98 3600.04/3609.50 c #Conflicts: 1924000 | #Constraints: 41739 3600.04/3609.50 c #Conflicts: 1925000 | #Constraints: 42739 3600.04/3609.50 c #Conflicts: 1926000 | #Constraints: 43739 3600.04/3609.50 c #Conflicts: 1927000 | #Constraints: 44739 3600.04/3609.50 c #Conflicts: 1928000 | #Constraints: 45739 3600.04/3609.50 c #Conflicts: 1929000 | #Constraints: 46739 3600.04/3609.50 c #Conflicts: 1930000 | #Constraints: 47739 3600.04/3609.50 c #Conflicts: 1931000 | #Constraints: 48739 3600.04/3609.50 c #Conflicts: 1932000 | #Constraints: 49739 3600.04/3609.50 c #Conflicts: 1933000 | #Constraints: 50739 3600.04/3609.50 c #Conflicts: 1934000 | #Constraints: 51740 3600.04/3609.50 c #Conflicts: 1935000 | #Constraints: 52740 3600.04/3609.50 c #Conflicts: 1936000 | #Constraints: 53740 3600.04/3609.50 c #Conflicts: 1937000 | #Constraints: 54740 3600.04/3609.50 c Program interrupted by user. 3600.04/3609.50 c cpu time 3563.98 s 3600.04/3609.50 c deterministic time 429477944265 4.29e+11 3600.04/3609.50 c optimization time 14.134 s 3600.04/3609.50 c total solve time 3549.82 s 3600.04/3609.50 c core-guided solve time 0 s 3600.04/3609.50 c propagation time 2440.09 s 3600.04/3609.50 c conflict analysis time 770.26 s 3600.04/3609.50 c propagations 787049674 3600.04/3609.50 c resolve steps 66692283 3600.04/3609.50 c decisions 16006326 3600.04/3609.50 c conflicts 1937916 3600.04/3609.50 c restarts 3782 3600.04/3609.50 c inprocessing phases 84 3600.04/3609.50 c input clauses 6764 3600.04/3609.50 c input cardinalities 98 3600.04/3609.50 c input general constraints 0 3600.04/3609.50 c input average constraint length 6.24 3600.04/3609.50 c input average constraint degree 1.94 3600.04/3609.50 c learned clauses 1328610 3600.04/3609.50 c learned cardinalities 40257 3600.04/3609.50 c learned general constraints 569311 3600.04/3609.50 c learned average constraint length 871.33 3600.04/3609.50 c learned average constraint degree 48548000.36 3600.04/3609.50 c watched constraints 479667 3600.04/3609.50 c counting constraints 89644 3600.04/3609.50 c gcd simplifications 5548 3600.04/3609.50 c detected cardinalities 2547 3600.04/3609.50 c weakened non-implied lits 275620518 3600.04/3609.50 c weakened non-implying lits 609276 3600.04/3609.50 c original variables 6664 3600.04/3609.50 c clausal propagations 286078173 3600.04/3609.50 c cardinality propagations 280854656 3600.04/3609.50 c watched propagations 62767154 3600.04/3609.50 c counting propagations 150830342 3600.04/3609.50 c watch lookups 31083581021 3600.04/3609.50 c watch backjump lookups 24627409020 3600.04/3609.50 c watch checks 306930637390 3600.04/3609.50 c propagation checks 60306082146 3600.04/3609.50 c constraint additions 4919763429 3600.04/3609.50 c trail pops 804987789 3600.04/3609.50 c formula constraints 6862 3600.04/3609.50 c learned constraints 1937739 3600.04/3609.50 c bound constraints 0 3600.04/3609.50 c core-guided constraints 0 3600.04/3609.50 c encountered formula constraints 36912440 3600.04/3609.50 c encountered learned constraints 31712962 3600.04/3609.50 c encountered bound constraints 0 3600.04/3609.50 c encountered core-guided constraints 0 3600.04/3609.50 c LP total time 834.444 s 3600.04/3609.50 c LP solve time 766.3 s 3600.04/3609.50 c LP constraints added 12293 3600.04/3609.50 c LP constraints removed 5366 3600.04/3609.50 c LP pivots internal 1947028 3600.04/3609.50 c LP pivots root 480441 3600.04/3609.50 c LP calls 414 3600.04/3609.50 c LP optimalities 231 3600.04/3609.50 c LP no pivot count 9 3600.04/3609.50 c LP infeasibilities 178 3600.04/3609.50 c LP valid Farkas constraints 177 3600.04/3609.50 c LP learned Farkas constraints 176 3600.04/3609.50 c LP basis resets 1 3600.04/3609.50 c LP cycling count 0 3600.04/3609.50 c LP singular count 0 3600.04/3609.50 c LP no primal count 0 3600.04/3609.50 c LP no farkas count 1 3600.04/3609.50 c LP other issue count 0 3600.04/3609.50 c LP Gomory cuts 86 3600.04/3609.50 c LP learned cuts 5345 3600.04/3609.50 c LP deleted cuts 5366 3600.04/3609.50 c LP encountered Gomory constraints 2092 3600.04/3609.50 c LP encountered Farkas constraints 1875 3600.04/3609.50 c LP encountered learned Farkas constraints 654 3600.04/3609.50 c CG auxiliary variables introduced 0 3600.04/3609.50 c CG solutions found 0 3600.04/3609.50 c CG cores constructed 0 3600.04/3609.50 c CG core cardinality constraints returned 0 3600.04/3609.50 c CG unit cores 0 3600.04/3609.50 c CG single cores 0 3600.04/3609.50 c CG blocks removed during cardinality reduction 0 3600.04/3609.50 c CG first core best 0 3600.04/3609.50 c CG decision core best 0 3600.04/3609.50 c CG core reduction tie 0 3600.04/3609.50 c CG core degree average 0.00 3600.04/3609.50 c CG core slack average 0.00 3600.04/3609.50 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62069 MiB free)
memory of node 1: 64473 MiB (59298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455626-1721464612/watcher-4455626-1721464612 -o /tmp/evaluation-result-4455626-1721464612/solver-4455626-1721464612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048580 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455626-1721464612.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1052675, runsolver pid=1052672
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.14 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124270352/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=48996 memory=18116 CPUtime=0.09 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 3665 0 0 0 9 0 0 0 20 0 1 0 198624693 50171904 4529 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 12249 4529 1710 922 0 4201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48996 KiB
Current children cumulated memory: 18116 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.14 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124269184/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=49672 memory=18644 CPUtime=0.2 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 3856 0 0 0 19 1 0 0 20 0 1 0 198624693 50864128 4661 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 12418 4661 1710 922 0 4370 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 18644 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.13 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124268708/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=49908 memory=19172 CPUtime=0.3 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 3931 0 0 0 29 1 0 0 20 0 1 0 198624693 51105792 4793 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 12477 4793 1710 922 0 4429 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49908 KiB
Current children cumulated memory: 19172 KiB
[startup+0.700254 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124268568/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=50600 memory=20076 CPUtime=0.69 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 4128 0 0 0 68 1 0 0 20 0 1 0 198624693 51814400 5019 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 12650 5019 1740 922 0 4602 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50600 KiB
Current children cumulated memory: 20076 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052676
/proc/meminfo: memFree=124266796/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=51816 memory=24556 CPUtime=1.48 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 4784 0 0 0 142 6 0 0 20 0 1 0 198624693 53059584 6139 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 12954 6139 1756 922 0 4906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51816 KiB
Current children cumulated memory: 24556 KiB
[startup+3.10561 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 1052722
/proc/meminfo: memFree=125561572/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=52828 memory=25872 CPUtime=3.09 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 5050 0 0 0 299 10 0 0 20 0 1 0 198624693 54095872 6468 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 13207 6468 1826 922 0 5159 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52828 KiB
Current children cumulated memory: 25872 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.13 4.14 5/258 1052723
/proc/meminfo: memFree=125556836/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=57296 memory=30760 CPUtime=6.28 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 5726 0 0 0 608 20 0 0 20 0 1 0 198624693 58671104 7690 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 14324 7690 1826 922 0 6276 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57296 KiB
Current children cumulated memory: 30760 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.14 5/258 1052723
/proc/meminfo: memFree=125531144/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=75696 memory=49500 CPUtime=12.66 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 10398 0 0 0 1234 32 0 0 20 0 1 0 198624693 77512704 12375 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 18924 12375 1826 922 0 10876 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 49500 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.14 5/258 1052725
/proc/meminfo: memFree=125492320/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=96860 memory=65712 CPUtime=25.42 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 13942 0 0 0 2487 55 0 0 20 0 1 0 198624693 99184640 16428 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 24215 16428 1842 922 0 16167 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96860 KiB
Current children cumulated memory: 65712 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.12 4.14 5/258 1052730
/proc/meminfo: memFree=125479272/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=99496 memory=67820 CPUtime=50.97 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 14418 0 0 0 5002 95 0 0 20 0 1 0 198624693 101883904 16955 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 24874 16955 1842 922 0 16826 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99496 KiB
Current children cumulated memory: 67820 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/259 1052740
/proc/meminfo: memFree=125417660/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=170992 memory=116508 CPUtime=102.03 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 18673 0 0 0 10011 192 0 0 20 0 1 0 198624693 175095808 29127 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 42748 29127 1842 922 0 34700 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 170992 KiB
Current children cumulated memory: 116508 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/259 1052750
/proc/meminfo: memFree=125311400/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=179784 memory=147736 CPUtime=161.88 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 22084 0 0 0 15898 290 0 0 20 0 1 0 198624693 184098816 36934 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 44946 36934 1842 922 0 36898 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 179784 KiB
Current children cumulated memory: 147736 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 1052760
/proc/meminfo: memFree=125292580/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=186092 memory=154072 CPUtime=221.73 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 23632 0 0 0 21773 400 0 0 20 0 1 0 198624693 190558208 38518 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 46523 38518 1842 922 0 38475 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 186092 KiB
Current children cumulated memory: 154072 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/258 1052776
/proc/meminfo: memFree=125188564/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=248568 memory=182720 CPUtime=281.58 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 27264 0 0 0 27681 477 0 0 20 0 1 0 198624693 254533632 45680 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 62142 45680 1842 922 0 54094 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 248568 KiB
Current children cumulated memory: 182720 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/258 1052786
/proc/meminfo: memFree=125165612/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=250304 memory=205696 CPUtime=341.4 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 27778 0 0 0 33584 556 0 0 20 0 1 0 198624693 256311296 51424 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 62576 51424 1842 922 0 54528 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 250304 KiB
Current children cumulated memory: 205696 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/257 1052796
/proc/meminfo: memFree=125102920/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=343380 memory=248652 CPUtime=401.25 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 32941 0 0 0 39477 648 0 0 20 0 1 0 198624693 351621120 62163 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 85845 62163 1842 922 0 77797 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 343380 KiB
Current children cumulated memory: 248652 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/257 1052808
/proc/meminfo: memFree=124986712/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=344936 memory=260212 CPUtime=461.09 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 33295 0 0 0 45383 726 0 0 20 0 1 0 198624693 353214464 65053 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 86234 65053 1842 922 0 78186 0
################
# More data... #
################
Current children cumulated memory: 766824 KiB
[startup+2922.3 s]
/proc/loadavg: 3.18 3.65 3.91 4/251 1054040
/proc/meminfo: memFree=125918756/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1145016 memory=766824 CPUtime=2914.53 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 70035 0 0 0 288403 3050 0 0 20 0 1 0 198624693 1172496384 191706 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286254 191706 1842 922 0 278206 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 1145016 KiB
Current children cumulated memory: 766824 KiB
[startup+2982.3 s]
/proc/loadavg: 3.19 3.56 3.86 4/250 1054432
/proc/meminfo: memFree=125917692/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1145420 memory=767036 CPUtime=2974.37 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 70278 0 0 0 294344 3093 0 0 20 0 1 0 198624693 1172910080 191759 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286355 191759 1842 922 0 278307 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 1145420 KiB
Current children cumulated memory: 767036 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.47 3.81 4/249 1054443
/proc/meminfo: memFree=125915208/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1147236 memory=768892 CPUtime=3034.2 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 70898 0 0 0 300262 3158 0 0 20 0 1 0 198624693 1174769664 192223 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286809 192223 1842 922 0 278761 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 1147236 KiB
Current children cumulated memory: 768892 KiB
[startup+3102.3 s]
/proc/loadavg: 3.13 3.42 3.77 4/249 1054453
/proc/meminfo: memFree=125913400/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1146012 memory=767948 CPUtime=3094.04 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 72362 0 0 0 306167 3237 0 0 20 0 1 0 198624693 1173516288 191987 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286503 191987 1842 922 0 278455 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 1146012 KiB
Current children cumulated memory: 767948 KiB
[startup+3162.3 s]
/proc/loadavg: 3.13 3.37 3.73 4/249 1054631
/proc/meminfo: memFree=125912492/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1146012 memory=767948 CPUtime=3153.89 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 72603 0 0 0 312106 3283 0 0 20 0 1 0 198624693 1173516288 191987 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286503 191987 1842 922 0 278455 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 1146012 KiB
Current children cumulated memory: 767948 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.33 3.69 4/248 1054641
/proc/meminfo: memFree=125855104/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1146012 memory=774936 CPUtime=3213.73 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 72882 0 0 0 318059 3314 0 0 20 0 1 0 198624693 1173516288 193734 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286503 193734 1842 922 0 278455 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 1146012 KiB
Current children cumulated memory: 774936 KiB
[startup+3282.3 s]
/proc/loadavg: 3.19 3.30 3.66 4/252 1054712
/proc/meminfo: memFree=125771592/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1146012 memory=774936 CPUtime=3273.59 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 73174 0 0 0 324019 3340 0 0 20 0 1 0 198624693 1173516288 193734 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286503 193734 1842 922 0 278455 0
Current children cumulated CPU time: 3273.59 s
Current children cumulated vsize: 1146012 KiB
Current children cumulated memory: 774936 KiB
[startup+3342.3 s]
/proc/loadavg: 3.18 3.27 3.62 4/252 1054722
/proc/meminfo: memFree=125730420/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1146012 memory=774936 CPUtime=3333.45 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 73394 0 0 0 329979 3366 0 0 20 0 1 0 198624693 1173516288 193734 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 286503 193734 1842 922 0 278455 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 1146012 KiB
Current children cumulated memory: 774936 KiB
[startup+3402.3 s]
/proc/loadavg: 3.21 3.25 3.59 4/252 1054732
/proc/meminfo: memFree=125711660/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1161796 memory=790220 CPUtime=3393.32 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 77253 0 0 0 335924 3408 0 0 20 0 1 0 198624693 1189679104 197555 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 290449 197555 1842 922 0 282401 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 1161796 KiB
Current children cumulated memory: 790220 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.22 3.56 4/252 1054745
/proc/meminfo: memFree=125710652/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1162324 memory=790856 CPUtime=3453.17 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 77623 0 0 0 341867 3450 0 0 20 0 1 0 198624693 1190219776 197714 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 290581 197714 1842 922 0 282533 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1162324 KiB
Current children cumulated memory: 790856 KiB
[startup+3522.3 s]
/proc/loadavg: 3.15 3.21 3.53 4/253 1054756
/proc/meminfo: memFree=125713668/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1158380 memory=786996 CPUtime=3513.04 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 78739 0 0 0 347804 3500 0 0 20 0 1 0 198624693 1186181120 196749 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 289595 196749 1842 922 0 281547 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 1158380 KiB
Current children cumulated memory: 786996 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.18 3.50 4/248 1054766
/proc/meminfo: memFree=125707388/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1162588 memory=791192 CPUtime=3572.9 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 80931 0 0 0 353722 3568 0 0 20 0 1 0 198624693 1190490112 197798 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 290647 197798 1842 922 0 282599 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 1162588 KiB
Current children cumulated memory: 791192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 3.14 3.18 3.49 4/248 1054770
/proc/meminfo: memFree=125707808/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1161676 memory=790148 CPUtime=3600.04 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 82487 0 0 0 356397 3607 0 0 20 0 1 0 198624693 1189556224 197537 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 290419 197537 1842 922 0 282371 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1161676 KiB
Current children cumulated memory: 790148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 1052675 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.98 s, system=36.0746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 3.14 3.18 3.49 4/248 1054770
/proc/meminfo: memFree=125707808/131524600 swapFree=131071996/131071996
[pid=1052675] ppid=1052672 vsize=1161676 memory=790148 CPUtime=3600.04 cores=4,6
/proc/1052675/stat : 1052675 (roundingsat) R 1052672 1052675 1048569 0 -1 4194304 82487 0 0 0 356397 3607 0 0 20 0 1 0 198624693 1189556224 197537 134679101440 4194304 7968373 140735212953664 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 27467776 140735212962748 140735212962912 140735212962912 140735212969929 0
/proc/1052675/statm: 290419 197537 1842 922 0 282371 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1161676 KiB
Current children cumulated memory: 790148 KiB
Child status: 0
Real time (s): 3609.51
CPU time (s): 3600.05
CPU user time (s): 3563.98
CPU system time (s): 36.0746
CPU usage (%): 99.7381
Max. virtual memory (cumulated for all children) (KiB): 1162588
Max. memory (cumulated for all children) (KiB): 791192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.98
system time used= 36.0746
maximum resident set size= 791192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82504
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 3593
# summary of solver processes directly reported to runsolver:
# pid: 1052675
# total CPU time (s): 3600.05
# total CPU user time (s): 3563.98
# total CPU system time (s): 36.0746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26552 second user time and 16.4579 second system time
The end
Begin job on nodeC020 at 2024-07-20 10:37:05 IDJOB=4455626 IDBENCH=158344 IDSOLVER=3084 FILE ID=nodeC020/4455626-1721464612 RUNJOBID= nodeC020-1721457405-1048580 SLURM_JOB_ID= 7545697 Free space on /tmp= 890020 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455626-1721464612/watcher-4455626-1721464612 -o /tmp/evaluation-result-4455626-1721464612/solver-4455626-1721464612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048580 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455626-1721464612.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=1632514805 nodeC020.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 : 3682.526 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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 : 3689.526 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.84 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 : 3661.963 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.040 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.84 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 : 3659.658 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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 : 3689.553 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.84 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 : 3641.543 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 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 : 3600.231 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124281832 kB MemAvailable: 126517396 kB Buffers: 569052 kB Cached: 2491956 kB SwapCached: 0 kB Active: 1037744 kB Inactive: 5542540 kB Active(anon): 1584 kB Inactive(anon): 3563616 kB Active(file): 1036160 kB Inactive(file): 1978924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5600 kB Writeback: 0 kB AnonPages: 3515376 kB Mapped: 116856 kB Shmem: 45912 kB KReclaimable: 120608 kB Slab: 236672 kB SReclaimable: 120608 kB SUnreclaim: 116064 kB KernelStack: 4176 kB PageTables: 16368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4180028 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71136 kB HardwareCorrupted: 0 kB AnonHugePages: 3104768 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: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890068 MiB End job on nodeC020 at 2024-07-20 11:37:15