| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.93 | 3609.73 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep4.5.opb |
| MD5SUM | b67c8b15922ffb2eac696beabc53406c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.826056 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9324 |
| Total number of constraints | 28660 |
| Number of constraints which are clauses | 26658 |
| Number of constraints which are cardinality constraints (but not clauses) | 238 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1764 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 240 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 20 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 211 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 160 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 670 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.09/0.10 c #variables 9324 #constraints 28660 25.93/26.05 c bounds - >= 0 @ 0.079569 25.93/26.05 c #Conflicts: 1000 | #Constraints: 29659 25.93/26.05 c #Conflicts: 2000 | #Constraints: 30659 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c bounds - >= 10 @ 1.76963 25.93/26.05 c #Conflicts: 3000 | #Constraints: 30688 25.93/26.05 c #Conflicts: 4000 | #Constraints: 31688 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c #Conflicts: 5000 | #Constraints: 31106 25.93/26.05 c #Conflicts: 6000 | #Constraints: 32106 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c #Conflicts: 7000 | #Constraints: 31134 25.93/26.05 c #Conflicts: 8000 | #Constraints: 32134 25.93/26.05 c #Conflicts: 9000 | #Constraints: 33134 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c bounds - >= 20 @ 5.06059 25.93/26.05 c bounds - >= 30 @ 5.06539 25.93/26.05 c bounds - >= 40 @ 5.07361 25.93/26.05 c #Conflicts: 10000 | #Constraints: 31876 25.93/26.05 c #Conflicts: 11000 | #Constraints: 32876 25.93/26.05 c #Conflicts: 12000 | #Constraints: 33876 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c #Conflicts: 13000 | #Constraints: 32213 25.93/26.05 c #Conflicts: 14000 | #Constraints: 33213 25.93/26.05 c #Conflicts: 15000 | #Constraints: 34213 25.93/26.05 c INPROCESSING 25.93/26.05 c GARBAGE COLLECT 25.93/26.05 c rational objective 40 63.64/63.86 c #Conflicts: 16000 | #Constraints: 32499 63.64/63.86 c #Conflicts: 17000 | #Constraints: 33499 63.64/63.86 c #Conflicts: 18000 | #Constraints: 34499 63.64/63.86 c INPROCESSING 63.64/63.86 c GARBAGE COLLECT 63.64/63.86 c #Conflicts: 19000 | #Constraints: 32542 63.64/63.86 c #Conflicts: 20000 | #Constraints: 33542 63.64/63.86 c #Conflicts: 21000 | #Constraints: 34542 63.64/63.86 c INPROCESSING 63.64/63.86 c GARBAGE COLLECT 63.64/63.86 c #Conflicts: 22000 | #Constraints: 32365 63.64/63.86 c bounds - >= 50 @ 26.1822 63.64/63.86 c #Conflicts: 23000 | #Constraints: 33377 63.64/63.86 c #Conflicts: 24000 | #Constraints: 34377 63.64/63.86 c #Conflicts: 25000 | #Constraints: 35377 63.64/63.86 c INPROCESSING 63.64/63.86 c GARBAGE COLLECT 63.64/63.86 c #Conflicts: 26000 | #Constraints: 32989 63.64/63.86 c #Conflicts: 27000 | #Constraints: 33989 63.64/63.86 c #Conflicts: 28000 | #Constraints: 34989 63.64/63.86 c #Conflicts: 29000 | #Constraints: 35989 63.64/63.86 c INPROCESSING 63.64/63.86 c GARBAGE COLLECT 63.64/63.86 c rational objective 50 93.36/93.69 c #Conflicts: 30000 | #Constraints: 33391 93.36/93.69 c #Conflicts: 31000 | #Constraints: 34391 93.36/93.69 c bounds - >= 60 @ 63.4863 93.36/93.69 c #Conflicts: 32000 | #Constraints: 35400 93.36/93.69 c #Conflicts: 33000 | #Constraints: 36400 93.36/93.69 c INPROCESSING 93.36/93.69 c GARBAGE COLLECT 93.36/93.69 c #Conflicts: 34000 | #Constraints: 33601 93.36/93.69 c #Conflicts: 35000 | #Constraints: 34601 93.36/93.69 c #Conflicts: 36000 | #Constraints: 35601 93.36/93.69 c #Conflicts: 37000 | #Constraints: 36601 93.36/93.69 c INPROCESSING 93.36/93.69 c GARBAGE COLLECT 93.36/93.69 c #Conflicts: 38000 | #Constraints: 33600 93.36/93.69 c #Conflicts: 39000 | #Constraints: 34600 93.36/93.69 c #Conflicts: 40000 | #Constraints: 35600 93.36/93.69 c #Conflicts: 41000 | #Constraints: 36600 93.36/93.69 c INPROCESSING 93.36/93.69 c GARBAGE COLLECT 93.36/93.69 c #Conflicts: 42000 | #Constraints: 33406 93.36/93.69 c #Conflicts: 43000 | #Constraints: 34406 93.36/93.69 c #Conflicts: 44000 | #Constraints: 35406 93.36/93.69 c #Conflicts: 45000 | #Constraints: 36406 93.36/93.69 c #Conflicts: 46000 | #Constraints: 37406 93.36/93.69 c INPROCESSING 93.36/93.69 c GARBAGE COLLECT 93.36/93.69 c rational objective 60 118.90/119.24 c #Conflicts: 47000 | #Constraints: 34005 118.90/119.24 c #Conflicts: 48000 | #Constraints: 35005 118.90/119.24 c #Conflicts: 49000 | #Constraints: 36005 118.90/119.24 c #Conflicts: 50000 | #Constraints: 37005 118.90/119.24 c #Conflicts: 51000 | #Constraints: 38005 118.90/119.24 c INPROCESSING 118.90/119.24 c GARBAGE COLLECT 118.90/119.24 c #Conflicts: 52000 | #Constraints: 34411 118.90/119.24 c #Conflicts: 53000 | #Constraints: 35411 118.90/119.24 c #Conflicts: 54000 | #Constraints: 36411 118.90/119.24 c #Conflicts: 55000 | #Constraints: 37411 118.90/119.24 c #Conflicts: 56000 | #Constraints: 38411 118.90/119.24 c INPROCESSING 118.90/119.24 c GARBAGE COLLECT 118.90/119.24 c #Conflicts: 57000 | #Constraints: 34610 118.90/119.24 c #Conflicts: 58000 | #Constraints: 35610 118.90/119.24 c #Conflicts: 59000 | #Constraints: 36610 118.90/119.24 c #Conflicts: 60000 | #Constraints: 37610 118.90/119.24 c #Conflicts: 61000 | #Constraints: 38610 118.90/119.24 c INPROCESSING 118.90/119.24 c GARBAGE COLLECT 118.90/119.24 c #Conflicts: 62000 | #Constraints: 34611 118.90/119.24 c #Conflicts: 63000 | #Constraints: 35611 118.90/119.24 c #Conflicts: 64000 | #Constraints: 36611 118.90/119.24 c #Conflicts: 65000 | #Constraints: 37611 118.90/119.24 c #Conflicts: 66000 | #Constraints: 38611 118.90/119.24 c INPROCESSING 118.90/119.24 c GARBAGE COLLECT 118.90/119.24 c #Conflicts: 67000 | #Constraints: 34419 118.90/119.24 c #Conflicts: 68000 | #Constraints: 35419 118.90/119.24 c #Conflicts: 69000 | #Constraints: 36419 118.90/119.24 c #Conflicts: 70000 | #Constraints: 37419 118.90/119.24 c #Conflicts: 71000 | #Constraints: 38419 118.90/119.24 c #Conflicts: 72000 | #Constraints: 39419 118.90/119.24 c INPROCESSING 118.90/119.24 c GARBAGE COLLECT 118.90/119.24 c rational objective 60 155.32/155.72 c #Conflicts: 73000 | #Constraints: 35015 155.32/155.72 c #Conflicts: 74000 | #Constraints: 36015 155.32/155.72 c #Conflicts: 75000 | #Constraints: 37015 155.32/155.72 c #Conflicts: 76000 | #Constraints: 38015 155.32/155.72 c #Conflicts: 77000 | #Constraints: 39015 155.32/155.72 c #Conflicts: 78000 | #Constraints: 40015 155.32/155.72 c INPROCESSING 155.32/155.72 c GARBAGE COLLECT 155.32/155.72 c #Conflicts: 79000 | #Constraints: 35420 155.32/155.72 c #Conflicts: 80000 | #Constraints: 36420 155.32/155.72 c #Conflicts: 81000 | #Constraints: 37420 155.32/155.72 c #Conflicts: 82000 | #Constraints: 38420 155.32/155.72 c #Conflicts: 83000 | #Constraints: 39420 155.32/155.72 c #Conflicts: 84000 | #Constraints: 40420 155.32/155.72 c INPROCESSING 155.32/155.72 c GARBAGE COLLECT 155.32/155.72 c rational objective 60 185.65/186.13 c #Conflicts: 85000 | #Constraints: 35615 185.65/186.13 c #Conflicts: 86000 | #Constraints: 36615 185.65/186.13 c #Conflicts: 87000 | #Constraints: 37615 185.65/186.13 c #Conflicts: 88000 | #Constraints: 38615 185.65/186.13 c #Conflicts: 89000 | #Constraints: 39615 185.65/186.13 c #Conflicts: 90000 | #Constraints: 40615 185.65/186.13 c INPROCESSING 185.65/186.13 c GARBAGE COLLECT 185.65/186.13 c #Conflicts: 91000 | #Constraints: 35612 185.65/186.13 c #Conflicts: 92000 | #Constraints: 36612 185.65/186.13 c #Conflicts: 93000 | #Constraints: 37612 185.65/186.13 c #Conflicts: 94000 | #Constraints: 38612 185.65/186.13 c #Conflicts: 95000 | #Constraints: 39612 185.65/186.13 c #Conflicts: 96000 | #Constraints: 40612 185.65/186.13 c bounds - >= 70 @ 156.121 185.65/186.13 c INPROCESSING 185.65/186.13 c GARBAGE COLLECT 185.65/186.13 c rational objective 70 213.68/214.21 c #Conflicts: 97000 | #Constraints: 35421 213.68/214.21 c #Conflicts: 98000 | #Constraints: 36421 213.68/214.21 c #Conflicts: 99000 | #Constraints: 37421 213.68/214.21 c #Conflicts: 100000 | #Constraints: 38421 213.68/214.21 c #Conflicts: 101000 | #Constraints: 39421 213.68/214.21 c #Conflicts: 102000 | #Constraints: 40421 213.68/214.21 c #Conflicts: 103000 | #Constraints: 41421 213.68/214.21 c INPROCESSING 213.68/214.21 c GARBAGE COLLECT 213.68/214.21 c #Conflicts: 104000 | #Constraints: 36020 213.68/214.21 c #Conflicts: 105000 | #Constraints: 37020 213.68/214.21 c #Conflicts: 106000 | #Constraints: 38020 213.68/214.21 c #Conflicts: 107000 | #Constraints: 39020 213.68/214.21 c #Conflicts: 108000 | #Constraints: 40020 213.68/214.21 c #Conflicts: 109000 | #Constraints: 41020 213.68/214.21 c #Conflicts: 110000 | #Constraints: 42020 213.68/214.21 c INPROCESSING 213.68/214.21 c GARBAGE COLLECT 213.68/214.21 c #Conflicts: 111000 | #Constraints: 36419 213.68/214.21 c #Conflicts: 112000 | #Constraints: 37420 213.68/214.21 c #Conflicts: 113000 | #Constraints: 38420 213.68/214.21 c #Conflicts: 114000 | #Constraints: 39420 213.68/214.21 c #Conflicts: 115000 | #Constraints: 40420 213.68/214.21 c #Conflicts: 116000 | #Constraints: 41420 213.68/214.21 c #Conflicts: 117000 | #Constraints: 42420 213.68/214.21 c INPROCESSING 213.68/214.21 c GARBAGE COLLECT 213.68/214.21 c #Conflicts: 118000 | #Constraints: 36179 213.68/214.21 c #Conflicts: 119000 | #Constraints: 37179 213.68/214.21 c #Conflicts: 120000 | #Constraints: 38179 213.68/214.21 c #Conflicts: 121000 | #Constraints: 39179 213.68/214.21 c #Conflicts: 122000 | #Constraints: 40179 213.68/214.21 c #Conflicts: 123000 | #Constraints: 41179 213.68/214.21 c #Conflicts: 124000 | #Constraints: 42179 213.68/214.21 c INPROCESSING 213.68/214.21 c GARBAGE COLLECT 213.68/214.21 c rational objective 70 246.09/246.72 c #Conflicts: 125000 | #Constraints: 36397 246.09/246.72 c #Conflicts: 126000 | #Constraints: 37397 246.09/246.72 c #Conflicts: 127000 | #Constraints: 38397 246.09/246.72 c #Conflicts: 128000 | #Constraints: 39397 246.09/246.72 c #Conflicts: 129000 | #Constraints: 40397 246.09/246.72 c #Conflicts: 130000 | #Constraints: 41397 246.09/246.72 c #Conflicts: 131000 | #Constraints: 42397 246.09/246.72 c INPROCESSING 246.09/246.72 c GARBAGE COLLECT 246.09/246.72 c rational objective 70 272.84/273.56 c #Conflicts: 132000 | #Constraints: 36314 272.84/273.56 c #Conflicts: 133000 | #Constraints: 37314 272.84/273.56 c #Conflicts: 134000 | #Constraints: 38314 272.84/273.56 c #Conflicts: 135000 | #Constraints: 39314 272.84/273.56 c #Conflicts: 136000 | #Constraints: 40314 272.84/273.56 c #Conflicts: 137000 | #Constraints: 41314 272.84/273.56 c #Conflicts: 138000 | #Constraints: 42314 272.84/273.56 c #Conflicts: 139000 | #Constraints: 43314 272.84/273.56 c INPROCESSING 272.84/273.56 c GARBAGE COLLECT 272.84/273.56 c #Conflicts: 140000 | #Constraints: 36973 272.84/273.56 c #Conflicts: 141000 | #Constraints: 37973 272.84/273.56 c #Conflicts: 142000 | #Constraints: 38973 272.84/273.56 c #Conflicts: 143000 | #Constraints: 39973 272.84/273.56 c #Conflicts: 144000 | #Constraints: 40973 272.84/273.56 c #Conflicts: 145000 | #Constraints: 41973 272.84/273.56 c #Conflicts: 146000 | #Constraints: 42973 272.84/273.56 c #Conflicts: 147000 | #Constraints: 43973 272.84/273.56 c INPROCESSING 272.84/273.56 c GARBAGE COLLECT 272.84/273.56 c #Conflicts: 148000 | #Constraints: 37391 272.84/273.56 c #Conflicts: 149000 | #Constraints: 38391 272.84/273.56 c #Conflicts: 150000 | #Constraints: 39391 272.84/273.56 c #Conflicts: 151000 | #Constraints: 40391 272.84/273.56 c #Conflicts: 152000 | #Constraints: 41391 272.84/273.56 c #Conflicts: 153000 | #Constraints: 42391 272.84/273.56 c #Conflicts: 154000 | #Constraints: 43391 272.84/273.56 c #Conflicts: 155000 | #Constraints: 44391 272.84/273.56 c INPROCESSING 272.84/273.56 c GARBAGE COLLECT 272.84/273.56 c rational objective 70 295.98/296.79 c #Conflicts: 156000 | #Constraints: 37523 295.98/296.79 c #Conflicts: 157000 | #Constraints: 38523 295.98/296.79 c #Conflicts: 158000 | #Constraints: 39523 295.98/296.79 c #Conflicts: 159000 | #Constraints: 40523 295.98/296.79 c #Conflicts: 160000 | #Constraints: 41523 295.98/296.79 c #Conflicts: 161000 | #Constraints: 42523 295.98/296.79 c #Conflicts: 162000 | #Constraints: 43523 295.98/296.79 c #Conflicts: 163000 | #Constraints: 44523 295.98/296.79 c INPROCESSING 295.98/296.79 c GARBAGE COLLECT 295.98/296.79 c #Conflicts: 164000 | #Constraints: 37578 295.98/296.79 c #Conflicts: 165000 | #Constraints: 38578 295.98/296.79 c #Conflicts: 166000 | #Constraints: 39578 295.98/296.79 c #Conflicts: 167000 | #Constraints: 40578 295.98/296.79 c #Conflicts: 168000 | #Constraints: 41578 295.98/296.79 c #Conflicts: 169000 | #Constraints: 42578 295.98/296.79 c #Conflicts: 170000 | #Constraints: 43578 295.98/296.79 c #Conflicts: 171000 | #Constraints: 44578 295.98/296.79 c INPROCESSING 295.98/296.79 c GARBAGE COLLECT 295.98/296.79 c rational objective 70 325.31/326.16 c #Conflicts: 172000 | #Constraints: 37398 325.31/326.16 c #Conflicts: 173000 | #Constraints: 38398 325.31/326.16 c #Conflicts: 174000 | #Constraints: 39398 325.31/326.16 c #Conflicts: 175000 | #Constraints: 40398 325.31/326.16 c #Conflicts: 176000 | #Constraints: 41398 325.31/326.16 c #Conflicts: 177000 | #Constraints: 42398 325.31/326.16 c #Conflicts: 178000 | #Constraints: 43398 325.31/326.16 c #Conflicts: 179000 | #Constraints: 44398 325.31/326.16 c #Conflicts: 180000 | #Constraints: 45398 325.31/326.16 c INPROCESSING 325.31/326.16 c GARBAGE COLLECT 325.31/326.16 c rational objective 70 357.53/358.46 c #Conflicts: 181000 | #Constraints: 38014 357.53/358.46 c #Conflicts: 182000 | #Constraints: 39014 357.53/358.46 c #Conflicts: 183000 | #Constraints: 40014 357.53/358.46 c #Conflicts: 184000 | #Constraints: 41014 357.53/358.46 c #Conflicts: 185000 | #Constraints: 42014 357.53/358.46 c #Conflicts: 186000 | #Constraints: 43014 357.53/358.46 c #Conflicts: 187000 | #Constraints: 44014 357.53/358.46 c #Conflicts: 188000 | #Constraints: 45014 357.53/358.46 c #Conflicts: 189000 | #Constraints: 46014 357.53/358.46 c INPROCESSING 357.53/358.46 c GARBAGE COLLECT 357.53/358.46 c #Conflicts: 190000 | #Constraints: 38414 357.53/358.46 c #Conflicts: 191000 | #Constraints: 39414 357.53/358.46 c #Conflicts: 192000 | #Constraints: 40414 357.53/358.46 c #Conflicts: 193000 | #Constraints: 41414 357.53/358.46 c #Conflicts: 194000 | #Constraints: 42414 357.53/358.46 c #Conflicts: 195000 | #Constraints: 43414 357.53/358.46 c #Conflicts: 196000 | #Constraints: 44414 357.53/358.46 c #Conflicts: 197000 | #Constraints: 45414 357.53/358.46 c #Conflicts: 198000 | #Constraints: 46414 357.53/358.46 c INPROCESSING 357.53/358.46 c GARBAGE COLLECT 357.53/358.46 c #Conflicts: 199000 | #Constraints: 38624 357.53/358.46 c #Conflicts: 200000 | #Constraints: 39624 357.53/358.46 c #Conflicts: 201000 | #Constraints: 40624 357.53/358.46 c #Conflicts: 202000 | #Constraints: 41624 357.53/358.46 c #Conflicts: 203000 | #Constraints: 42624 357.53/358.46 c #Conflicts: 204000 | #Constraints: 43624 357.53/358.46 c #Conflicts: 205000 | #Constraints: 44624 357.53/358.46 c #Conflicts: 206000 | #Constraints: 45624 357.53/358.46 c #Conflicts: 207000 | #Constraints: 46624 357.53/358.46 c INPROCESSING 357.53/358.46 c GARBAGE COLLECT 357.53/358.46 c rational objective 70 379.68/380.69 c #Conflicts: 208000 | #Constraints: 38630 379.68/380.69 c #Conflicts: 209000 | #Constraints: 39630 379.68/380.69 c #Conflicts: 210000 | #Constraints: 40630 379.68/380.69 c #Conflicts: 211000 | #Constraints: 41630 379.68/380.69 c #Conflicts: 212000 | #Constraints: 42630 379.68/380.69 c #Conflicts: 213000 | #Constraints: 43630 379.68/380.69 c #Conflicts: 214000 | #Constraints: 44630 379.68/380.69 c #Conflicts: 215000 | #Constraints: 45630 379.68/380.69 c #Conflicts: 216000 | #Constraints: 46630 379.68/380.69 c INPROCESSING 379.68/380.69 c GARBAGE COLLECT 379.68/380.69 c rational objective 70 407.12/408.14 c #Conflicts: 217000 | #Constraints: 38434 407.12/408.14 c #Conflicts: 218000 | #Constraints: 39434 407.12/408.14 c #Conflicts: 219000 | #Constraints: 40434 407.12/408.14 c #Conflicts: 220000 | #Constraints: 41435 407.12/408.14 c #Conflicts: 221000 | #Constraints: 42435 407.12/408.14 c #Conflicts: 222000 | #Constraints: 43435 407.12/408.14 c #Conflicts: 223000 | #Constraints: 44435 407.12/408.14 c #Conflicts: 224000 | #Constraints: 45435 407.12/408.14 c #Conflicts: 225000 | #Constraints: 46436 407.12/408.14 c #Conflicts: 226000 | #Constraints: 47436 407.12/408.14 c INPROCESSING 407.12/408.14 c GARBAGE COLLECT 407.12/408.14 c #Conflicts: 227000 | #Constraints: 39059 407.12/408.14 c #Conflicts: 228000 | #Constraints: 40059 407.12/408.14 c #Conflicts: 229000 | #Constraints: 41059 407.12/408.14 c #Conflicts: 230000 | #Constraints: 42059 407.12/408.14 c #Conflicts: 231000 | #Constraints: 43059 407.12/408.14 c #Conflicts: 232000 | #Constraints: 44059 407.12/408.14 c #Conflicts: 233000 | #Constraints: 45059 407.12/408.14 c #Conflicts: 234000 | #Constraints: 46060 407.12/408.14 c #Conflicts: 235000 | #Constraints: 47060 407.12/408.14 c #Conflicts: 236000 | #Constraints: 48061 407.12/408.14 c INPROCESSING 407.12/408.14 c GARBAGE COLLECT 407.12/408.14 c rational objective 70 452.81/453.97 c #Conflicts: 237000 | #Constraints: 39475 452.81/453.97 c #Conflicts: 238000 | #Constraints: 40476 452.81/453.97 c #Conflicts: 239000 | #Constraints: 41476 452.81/453.97 c #Conflicts: 240000 | #Constraints: 42476 452.81/453.97 c #Conflicts: 241000 | #Constraints: 43476 452.81/453.97 c #Conflicts: 242000 | #Constraints: 44476 452.81/453.97 c #Conflicts: 243000 | #Constraints: 45476 452.81/453.97 c #Conflicts: 244000 | #Constraints: 46476 452.81/453.97 c #Conflicts: 245000 | #Constraints: 47476 452.81/453.97 c #Conflicts: 246000 | #Constraints: 48476 452.81/453.97 c INPROCESSING 452.81/453.97 c GARBAGE COLLECT 452.81/453.97 WSVECS04 Frhs2[3601]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3612]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3620]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3624]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3625]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3626]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3627]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3628]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3629]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3634]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3636]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3643]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3644]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3647]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3656]: 6 0 23.827 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3666]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3674]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3682]: 6 0 15.9849 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3687]: 6 0 27.8858 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3691]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3692]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3708]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3713]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3716]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3730]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3739]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3744]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3775]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3778]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3782]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3784]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3789]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3793]: 6 0 15.8857 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3828]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3834]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3842]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3852]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3853]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3854]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3857]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3858]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3859]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3860]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3861]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3866]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3867]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3868]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3872]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3904]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3906]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3914]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3922]: 6 0 15.9849 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3927]: 6 0 27.8857 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3932]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3933]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3947]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3958]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3959]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3963]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3970]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3971]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3981]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3982]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3988]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[3991]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4015]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4018]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4020]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4024]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4025]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4029]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4068]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4083]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4095]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4096]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4098]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4099]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4101]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4105]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4107]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4108]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4111]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4114]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4115]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4116]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4120]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4130]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4136]: 6 0 23.8269 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4139]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4144]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4154]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4159]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4162]: 6 0 15.9849 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4167]: 6 0 27.8858 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4170]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4172]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4213]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4221]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4228]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4236]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4255]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4258]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4260]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4264]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4267]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4275]: 6 0 15.8858 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4295]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4305]: 6 0 15.8847 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4306]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4330]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4335]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4340]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4343]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4345]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4346]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4347]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4348]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4354]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4356]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4362]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4379]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4380]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4386]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4395]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4396]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4399]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4407]: 6 0 27.8858 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4412]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4414]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4439]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4440]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4450]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4455]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4457]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4459]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4461]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4476]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4498]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4500]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4502]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4507]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4515]: 6 0 15.8857 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4516]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4535]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4536]: 6 0 23.827 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4578]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4587]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4588]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4589]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4593]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4594]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4595]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4603]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4604]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4650]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4652]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4666]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4704]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4716]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4742]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4747]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4748]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4749]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4751]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4770]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4771]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4772]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4776]: 6 0 23.827 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4786]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4788]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4811]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4812]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4818]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4820]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4823]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4826]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4827]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4828]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4834]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4856]: 6 0 23.8269 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4861]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4866]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4875]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4881]: 6 0 15.8846 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4882]: 6 0 15.9848 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4883]: 6 0 15.8846 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4887]: 6 0 27.8858 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4888]: 6 0 11.951 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4889]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4890]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4892]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4898]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4930]: 6 0 15.9348 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4936]: 6 0 23.9021 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4937]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4959]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4979]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4980]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4985]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4991]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[4995]: 6 0 15.8857 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5015]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5016]: 6 0 23.827 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5025]: 6 0 15.8847 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5026]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5034]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5035]: 6 0 15.9347 shouldn't be 452.81/453.97 WSVECS04 Frhs2[5039]: 6 0 15.9347 shouldn't be 461.79/462.98 c rational objective 70 499.30/500.53 c #Conflicts: 247000 | #Constraints: 39673 499.30/500.53 c #Conflicts: 248000 | #Constraints: 40673 499.30/500.53 c #Conflicts: 249000 | #Constraints: 41673 499.30/500.53 c #Conflicts: 250000 | #Constraints: 42673 499.30/500.53 c #Conflicts: 251000 | #Constraints: 43673 499.30/500.53 c #Conflicts: 252000 | #Constraints: 44673 499.30/500.53 c #Conflicts: 253000 | #Constraints: 45673 499.30/500.53 c #Conflicts: 254000 | #Constraints: 46673 499.30/500.53 c #Conflicts: 255000 | #Constraints: 47673 499.30/500.53 c #Conflicts: 256000 | #Constraints: 48673 499.30/500.53 c INPROCESSING 499.30/500.53 c GARBAGE COLLECT 499.30/500.53 c #Conflicts: 257000 | #Constraints: 39654 499.30/500.53 c #Conflicts: 258000 | #Constraints: 40654 499.30/500.53 c #Conflicts: 259000 | #Constraints: 41654 499.30/500.53 c #Conflicts: 260000 | #Constraints: 42654 499.30/500.53 c #Conflicts: 261000 | #Constraints: 43654 499.30/500.53 c #Conflicts: 262000 | #Constraints: 44654 499.30/500.53 c #Conflicts: 263000 | #Constraints: 45654 499.30/500.53 c #Conflicts: 264000 | #Constraints: 46654 499.30/500.53 c #Conflicts: 265000 | #Constraints: 47654 499.30/500.53 c #Conflicts: 266000 | #Constraints: 48654 499.30/500.53 c INPROCESSING 499.30/500.53 c GARBAGE COLLECT 499.30/500.53 c rational objective 70 552.97/554.35 c #Conflicts: 267000 | #Constraints: 39477 552.97/554.35 c #Conflicts: 268000 | #Constraints: 40477 552.97/554.35 c #Conflicts: 269000 | #Constraints: 41477 552.97/554.35 c #Conflicts: 270000 | #Constraints: 42477 552.97/554.35 c #Conflicts: 271000 | #Constraints: 43477 552.97/554.35 c #Conflicts: 272000 | #Constraints: 44477 552.97/554.35 c #Conflicts: 273000 | #Constraints: 45477 552.97/554.35 c #Conflicts: 274000 | #Constraints: 46477 552.97/554.35 c #Conflicts: 275000 | #Constraints: 47477 552.97/554.35 c #Conflicts: 276000 | #Constraints: 48477 552.97/554.35 c #Conflicts: 277000 | #Constraints: 49477 552.97/554.35 c INPROCESSING 552.97/554.35 c GARBAGE COLLECT 552.97/554.35 c #Conflicts: 278000 | #Constraints: 40090 552.97/554.35 c #Conflicts: 279000 | #Constraints: 41090 552.97/554.35 c #Conflicts: 280000 | #Constraints: 42090 552.97/554.35 c #Conflicts: 281000 | #Constraints: 43090 552.97/554.35 c #Conflicts: 282000 | #Constraints: 44090 552.97/554.35 c #Conflicts: 283000 | #Constraints: 45090 552.97/554.35 c #Conflicts: 284000 | #Constraints: 46090 552.97/554.35 c #Conflicts: 285000 | #Constraints: 47090 552.97/554.35 c #Conflicts: 286000 | #Constraints: 48090 552.97/554.35 c #Conflicts: 287000 | #Constraints: 49090 552.97/554.35 c #Conflicts: 288000 | #Constraints: 50090 552.97/554.35 c INPROCESSING 552.97/554.35 c GARBAGE COLLECT 552.97/554.35 c rational objective 70 585.78/587.23 c #Conflicts: 289000 | #Constraints: 40488 585.78/587.23 c #Conflicts: 290000 | #Constraints: 41488 585.78/587.23 c #Conflicts: 291000 | #Constraints: 42488 585.78/587.23 c #Conflicts: 292000 | #Constraints: 43488 585.78/587.23 c #Conflicts: 293000 | #Constraints: 44488 585.78/587.23 c #Conflicts: 294000 | #Constraints: 45488 585.78/587.23 c #Conflicts: 295000 | #Constraints: 46488 585.78/587.23 c #Conflicts: 296000 | #Constraints: 47488 585.78/587.23 c #Conflicts: 297000 | #Constraints: 48488 585.78/587.23 c #Conflicts: 298000 | #Constraints: 49488 585.78/587.23 c #Conflicts: 299000 | #Constraints: 50488 585.78/587.23 c INPROCESSING 585.78/587.23 c GARBAGE COLLECT 585.78/587.23 c rational objective 70 633.37/634.94 c #Conflicts: 300000 | #Constraints: 40658 633.37/634.94 c #Conflicts: 301000 | #Constraints: 41658 633.37/634.94 c #Conflicts: 302000 | #Constraints: 42658 633.37/634.94 c #Conflicts: 303000 | #Constraints: 43658 633.37/634.94 c #Conflicts: 304000 | #Constraints: 44658 633.37/634.94 c #Conflicts: 305000 | #Constraints: 45658 633.37/634.94 c #Conflicts: 306000 | #Constraints: 46658 633.37/634.94 c #Conflicts: 307000 | #Constraints: 47658 633.37/634.94 c #Conflicts: 308000 | #Constraints: 48658 633.37/634.94 c #Conflicts: 309000 | #Constraints: 49658 633.37/634.94 c #Conflicts: 310000 | #Constraints: 50658 633.37/634.94 c INPROCESSING 633.37/634.94 c GARBAGE COLLECT 633.37/634.94 c #Conflicts: 311000 | #Constraints: 40666 633.37/634.94 c #Conflicts: 312000 | #Constraints: 41666 633.37/634.94 c #Conflicts: 313000 | #Constraints: 42666 633.37/634.94 c #Conflicts: 314000 | #Constraints: 43666 633.37/634.94 c #Conflicts: 315000 | #Constraints: 44666 633.37/634.94 c #Conflicts: 316000 | #Constraints: 45666 633.37/634.94 c #Conflicts: 317000 | #Constraints: 46666 633.37/634.94 c #Conflicts: 318000 | #Constraints: 47666 633.37/634.94 c #Conflicts: 319000 | #Constraints: 48666 633.37/634.94 c #Conflicts: 320000 | #Constraints: 49666 633.37/634.94 c #Conflicts: 321000 | #Constraints: 50666 633.37/634.94 c INPROCESSING 633.37/634.94 c GARBAGE COLLECT 633.37/634.94 c rational objective 70 673.66/675.39 c #Conflicts: 322000 | #Constraints: 40499 673.66/675.39 c #Conflicts: 323000 | #Constraints: 41499 673.66/675.39 c #Conflicts: 324000 | #Constraints: 42499 673.66/675.39 c #Conflicts: 325000 | #Constraints: 43499 673.66/675.39 c #Conflicts: 326000 | #Constraints: 44499 673.66/675.39 c #Conflicts: 327000 | #Constraints: 45499 673.66/675.39 c #Conflicts: 328000 | #Constraints: 46499 673.66/675.39 c #Conflicts: 329000 | #Constraints: 47499 673.66/675.39 c #Conflicts: 330000 | #Constraints: 48499 673.66/675.39 c #Conflicts: 331000 | #Constraints: 49499 673.66/675.39 c #Conflicts: 332000 | #Constraints: 50499 673.66/675.39 c #Conflicts: 333000 | #Constraints: 51499 673.66/675.39 c INPROCESSING 673.66/675.39 c GARBAGE COLLECT 673.66/675.39 c rational objective 70 712.05/713.81 c #Conflicts: 334000 | #Constraints: 41125 712.05/713.81 c #Conflicts: 335000 | #Constraints: 42125 712.05/713.81 c #Conflicts: 336000 | #Constraints: 43125 712.05/713.81 c #Conflicts: 337000 | #Constraints: 44125 712.05/713.81 c #Conflicts: 338000 | #Constraints: 45125 712.05/713.81 c #Conflicts: 339000 | #Constraints: 46125 712.05/713.81 c #Conflicts: 340000 | #Constraints: 47125 712.05/713.81 c #Conflicts: 341000 | #Constraints: 48125 712.05/713.81 c #Conflicts: 342000 | #Constraints: 49125 712.05/713.81 c #Conflicts: 343000 | #Constraints: 50125 712.05/713.81 c #Conflicts: 344000 | #Constraints: 51125 712.05/713.81 c #Conflicts: 345000 | #Constraints: 52125 712.05/713.81 c INPROCESSING 712.05/713.81 c GARBAGE COLLECT 712.05/713.81 c #Conflicts: 346000 | #Constraints: 41496 712.05/713.81 c #Conflicts: 347000 | #Constraints: 42496 712.05/713.81 c #Conflicts: 348000 | #Constraints: 43496 712.05/713.81 c #Conflicts: 349000 | #Constraints: 44496 712.05/713.81 c #Conflicts: 350000 | #Constraints: 45496 712.05/713.81 c #Conflicts: 351000 | #Constraints: 46496 712.05/713.81 c #Conflicts: 352000 | #Constraints: 47496 712.05/713.81 c #Conflicts: 353000 | #Constraints: 48496 712.05/713.81 c #Conflicts: 354000 | #Constraints: 49496 712.05/713.81 c #Conflicts: 355000 | #Constraints: 50496 712.05/713.81 c #Conflicts: 356000 | #Constraints: 51496 712.05/713.81 c #Conflicts: 357000 | #Constraints: 52496 712.05/713.81 c INPROCESSING 712.05/713.81 c GARBAGE COLLECT 712.05/713.81 WSVECS04 Frhs2[3623]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3652]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3665]: 6 0 10.951 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3674]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3675]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3676]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3682]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3683]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3684]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3687]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3692]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3730]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3731]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3732]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3752]: 6 0 16.4265 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3794]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3805]: 6 0 10.9509 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3806]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3815]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3816]: 6 0 16.424 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3821]: 6 0 10.9493 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3822]: 6 0 10.9502 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3826]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3863]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3892]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3914]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3915]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3916]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3924]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3927]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3932]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3970]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3972]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[3977]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4132]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4146]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4151]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4153]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4154]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4155]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4156]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4162]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4163]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4164]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4167]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4171]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4172]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4210]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4212]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4226]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4227]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4228]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4230]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4232]: 6 0 16.4264 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4274]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4285]: 6 0 10.951 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4295]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4302]: 6 0 10.9502 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4306]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4343]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4372]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4385]: 6 0 10.9509 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4387]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4388]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4394]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4395]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4396]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4402]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4403]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4404]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4412]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4450]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4451]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4452]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4466]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4471]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4472]: 6 0 16.4264 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4514]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4524]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4525]: 6 0 10.951 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4526]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4535]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4542]: 6 0 10.9502 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4546]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4583]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4612]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4625]: 6 0 10.9509 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4626]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4627]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4628]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4634]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4635]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4636]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4642]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4643]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4644]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4647]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4690]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4692]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4707]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4709]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4710]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4754]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4765]: 6 0 10.9509 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4772]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4775]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4776]: 6 0 16.424 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4782]: 6 0 10.9502 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4786]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4823]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4852]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4882]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4884]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4930]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4931]: 6 0 11.0001 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4932]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4952]: 6 0 16.4265 shouldn't be 712.05/713.81 WSVECS04 Frhs2[4994]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5006]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5015]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5021]: 6 0 10.9493 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5023]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5025]: 6 0 10.9493 shouldn't be 712.05/713.81 WSVECS04 Frhs2[5026]: 6 0 11 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7101]: 6 -22.0001 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7129]: 6 -22 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7157]: 6 -22.0001 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7185]: 6 -22.0001 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7213]: 6 -22 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7297]: 6 -22 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be 712.05/713.81 WSVECS04 Frhs2[7581]: 6 -20 0 shouldn't be 724.71/726.52 WSVECS04 Frhs2[5022]: 6 0 10.9502 shouldn't be 724.71/726.52 WSVECS04 Frhs2[7605]: 6 -2.00008 0 shouldn't be 724.71/726.52 WSVECS04 Frhs2[7606]: 6 -2.00002 0 shouldn't be 724.71/726.52 WSVECS04 Frhs2[7609]: 6 -2.00006 0 shouldn't be 734.78/736.66 c rational objective 70 765.10/767.07 c #Conflicts: 358000 | #Constraints: 41722 765.10/767.07 c #Conflicts: 359000 | #Constraints: 42722 765.10/767.07 c #Conflicts: 360000 | #Constraints: 43722 765.10/767.07 c #Conflicts: 361000 | #Constraints: 44722 765.10/767.07 c #Conflicts: 362000 | #Constraints: 45722 765.10/767.07 c #Conflicts: 363000 | #Constraints: 46722 765.10/767.07 c #Conflicts: 364000 | #Constraints: 47722 765.10/767.07 c #Conflicts: 365000 | #Constraints: 48722 765.10/767.07 c #Conflicts: 366000 | #Constraints: 49722 765.10/767.07 c #Conflicts: 367000 | #Constraints: 50722 765.10/767.07 c #Conflicts: 368000 | #Constraints: 51722 765.10/767.07 c #Conflicts: 369000 | #Constraints: 52722 765.10/767.07 c INPROCESSING 765.10/767.07 c GARBAGE COLLECT 765.10/767.07 c #Conflicts: 370000 | #Constraints: 41738 765.10/767.07 c #Conflicts: 371000 | #Constraints: 42738 765.10/767.07 c #Conflicts: 372000 | #Constraints: 43738 765.10/767.07 c #Conflicts: 373000 | #Constraints: 44738 765.10/767.07 c #Conflicts: 374000 | #Constraints: 45738 765.10/767.07 c #Conflicts: 375000 | #Constraints: 46738 765.10/767.07 c #Conflicts: 376000 | #Constraints: 47738 765.10/767.07 c #Conflicts: 377000 | #Constraints: 48738 765.10/767.08 c #Conflicts: 378000 | #Constraints: 49738 765.10/767.08 c #Conflicts: 379000 | #Constraints: 50738 765.10/767.08 c #Conflicts: 380000 | #Constraints: 51738 765.10/767.08 c #Conflicts: 381000 | #Constraints: 52738 765.10/767.08 c INPROCESSING 765.10/767.08 c GARBAGE COLLECT 765.10/767.08 c rational objective 70 810.96/813.03 c #Conflicts: 382000 | #Constraints: 41528 810.96/813.03 c #Conflicts: 383000 | #Constraints: 42528 810.96/813.03 c #Conflicts: 384000 | #Constraints: 43528 810.96/813.03 c #Conflicts: 385000 | #Constraints: 44528 810.96/813.03 c #Conflicts: 386000 | #Constraints: 45528 810.96/813.03 c #Conflicts: 387000 | #Constraints: 46528 810.96/813.03 c #Conflicts: 388000 | #Constraints: 47528 810.96/813.03 c #Conflicts: 389000 | #Constraints: 48528 810.96/813.03 c #Conflicts: 390000 | #Constraints: 49528 810.96/813.03 c #Conflicts: 391000 | #Constraints: 50528 810.96/813.03 c #Conflicts: 392000 | #Constraints: 51528 810.96/813.03 c #Conflicts: 393000 | #Constraints: 52528 810.96/813.03 c #Conflicts: 394000 | #Constraints: 53528 810.96/813.03 c INPROCESSING 810.96/813.03 c GARBAGE COLLECT 810.96/813.03 c rational objective 70 844.25/846.47 c #Conflicts: 395000 | #Constraints: 42120 844.25/846.47 c #Conflicts: 396000 | #Constraints: 43120 844.25/846.47 c #Conflicts: 397000 | #Constraints: 44120 844.25/846.47 c #Conflicts: 398000 | #Constraints: 45120 844.25/846.47 c #Conflicts: 399000 | #Constraints: 46120 844.25/846.47 c #Conflicts: 400000 | #Constraints: 47120 844.25/846.47 c #Conflicts: 401000 | #Constraints: 48120 844.25/846.47 c #Conflicts: 402000 | #Constraints: 49120 844.25/846.47 c #Conflicts: 403000 | #Constraints: 50120 844.25/846.47 c #Conflicts: 404000 | #Constraints: 51120 844.25/846.47 c #Conflicts: 405000 | #Constraints: 52120 844.25/846.47 c #Conflicts: 406000 | #Constraints: 53120 844.25/846.47 c #Conflicts: 407000 | #Constraints: 54120 844.25/846.47 c INPROCESSING 844.25/846.47 c GARBAGE COLLECT 844.25/846.47 c rational objective 70 883.73/886.06 c #Conflicts: 408000 | #Constraints: 42493 883.73/886.06 c #Conflicts: 409000 | #Constraints: 43493 883.73/886.06 c #Conflicts: 410000 | #Constraints: 44493 883.73/886.06 c #Conflicts: 411000 | #Constraints: 45493 883.73/886.06 c #Conflicts: 412000 | #Constraints: 46493 883.73/886.06 c #Conflicts: 413000 | #Constraints: 47493 883.73/886.06 c #Conflicts: 414000 | #Constraints: 48493 883.73/886.06 c #Conflicts: 415000 | #Constraints: 49493 883.73/886.06 c #Conflicts: 416000 | #Constraints: 50493 883.73/886.06 c #Conflicts: 417000 | #Constraints: 51493 883.73/886.06 c #Conflicts: 418000 | #Constraints: 52493 883.73/886.06 c #Conflicts: 419000 | #Constraints: 53493 883.73/886.06 c #Conflicts: 420000 | #Constraints: 54493 883.73/886.06 c INPROCESSING 883.73/886.06 c GARBAGE COLLECT 883.73/886.06 c rational objective 70 1011.05/1013.72 c #Conflicts: 421000 | #Constraints: 42701 1011.05/1013.72 c #Conflicts: 422000 | #Constraints: 43701 1011.05/1013.72 c #Conflicts: 423000 | #Constraints: 44701 1011.05/1013.72 c #Conflicts: 424000 | #Constraints: 45701 1011.05/1013.72 c #Conflicts: 425000 | #Constraints: 46701 1011.05/1013.72 c #Conflicts: 426000 | #Constraints: 47701 1011.05/1013.72 c #Conflicts: 427000 | #Constraints: 48701 1011.05/1013.72 c #Conflicts: 428000 | #Constraints: 49701 1011.05/1013.72 c #Conflicts: 429000 | #Constraints: 50701 1011.05/1013.72 c #Conflicts: 430000 | #Constraints: 51701 1011.05/1013.72 c #Conflicts: 431000 | #Constraints: 52701 1011.05/1013.72 c #Conflicts: 432000 | #Constraints: 53701 1011.05/1013.72 c #Conflicts: 433000 | #Constraints: 54701 1011.05/1013.72 c INPROCESSING 1011.05/1013.72 c GARBAGE COLLECT 1011.05/1013.72 c #Conflicts: 434000 | #Constraints: 42761 1011.05/1013.72 c #Conflicts: 435000 | #Constraints: 43761 1011.05/1013.72 c #Conflicts: 436000 | #Constraints: 44761 1011.05/1013.72 c #Conflicts: 437000 | #Constraints: 45761 1011.05/1013.72 c #Conflicts: 438000 | #Constraints: 46761 1011.05/1013.72 c #Conflicts: 439000 | #Constraints: 47761 1011.05/1013.72 c #Conflicts: 440000 | #Constraints: 48761 1011.05/1013.72 c #Conflicts: 441000 | #Constraints: 49761 1011.05/1013.72 c #Conflicts: 442000 | #Constraints: 50761 1011.05/1013.72 c #Conflicts: 443000 | #Constraints: 51761 1011.05/1013.72 c #Conflicts: 444000 | #Constraints: 52761 1011.05/1013.72 c #Conflicts: 445000 | #Constraints: 53761 1011.05/1013.72 c #Conflicts: 446000 | #Constraints: 54761 1011.05/1013.72 c INPROCESSING 1011.05/1013.72 c GARBAGE COLLECT 1011.05/1013.72 WSVECS04 Frhs2[3620]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3675]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3676]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3683]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3687]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3691]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3692]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3799]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3812]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3815]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3858]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3859]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3860]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3915]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3921]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3922]: 6 0 10.5 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3924]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3927]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[3932]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4052]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4056]: 6 0 2.75006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4098]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4100]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4154]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4156]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4162]: 6 0 10.5 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4167]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4172]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4213]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4279]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4286]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4292]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4295]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4338]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4340]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4394]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4396]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4402]: 6 0 10.5 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4407]: 6 0 10.5 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4412]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4519]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4524]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4532]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4535]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4542]: 6 0 5.50002 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4578]: 6 0 5.50009 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4579]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4580]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4634]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4636]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4642]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4647]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4650]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4652]: 6 0 5.50009 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4759]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4772]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4775]: 6 0 5.50009 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4782]: 6 0 5.50003 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4818]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4819]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4820]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4874]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4876]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4882]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4887]: 6 0 10.5001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[4999]: 6 0 5.50005 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[5005]: 6 0 5.50004 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[5006]: 6 0 5.50001 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[5012]: 6 0 5.50008 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[5015]: 6 0 5.50006 shouldn't be 1011.05/1013.72 WSVECS04 Frhs2[5022]: 6 0 5.50006 shouldn't be 1022.92/1025.68 c rational objective 70 1075.17/1078.03 c #Conflicts: 447000 | #Constraints: 42573 1075.17/1078.03 c #Conflicts: 448000 | #Constraints: 43573 1075.17/1078.03 c #Conflicts: 449000 | #Constraints: 44573 1075.17/1078.03 c #Conflicts: 450000 | #Constraints: 45573 1075.17/1078.03 c #Conflicts: 451000 | #Constraints: 46573 1075.17/1078.03 c #Conflicts: 452000 | #Constraints: 47573 1075.17/1078.03 c #Conflicts: 453000 | #Constraints: 48573 1075.17/1078.03 c #Conflicts: 454000 | #Constraints: 49573 1075.17/1078.03 c #Conflicts: 455000 | #Constraints: 50573 1075.17/1078.03 c #Conflicts: 456000 | #Constraints: 51573 1075.17/1078.03 c #Conflicts: 457000 | #Constraints: 52573 1075.17/1078.03 c #Conflicts: 458000 | #Constraints: 53573 1075.17/1078.03 c #Conflicts: 459000 | #Constraints: 54573 1075.17/1078.03 c #Conflicts: 460000 | #Constraints: 55573 1075.17/1078.03 c INPROCESSING 1075.17/1078.03 c GARBAGE COLLECT 1075.17/1078.03 c #Conflicts: 461000 | #Constraints: 43185 1075.17/1078.03 c #Conflicts: 462000 | #Constraints: 44185 1075.17/1078.03 c #Conflicts: 463000 | #Constraints: 45185 1075.17/1078.03 c #Conflicts: 464000 | #Constraints: 46185 1075.17/1078.03 c #Conflicts: 465000 | #Constraints: 47185 1075.17/1078.03 c #Conflicts: 466000 | #Constraints: 48185 1075.17/1078.03 c #Conflicts: 467000 | #Constraints: 49185 1075.17/1078.03 c #Conflicts: 468000 | #Constraints: 50185 1075.17/1078.03 c #Conflicts: 469000 | #Constraints: 51185 1075.17/1078.03 c #Conflicts: 470000 | #Constraints: 52185 1075.17/1078.03 c #Conflicts: 471000 | #Constraints: 53185 1075.17/1078.03 c #Conflicts: 472000 | #Constraints: 54185 1075.17/1078.03 c #Conflicts: 473000 | #Constraints: 55185 1075.17/1078.03 c #Conflicts: 474000 | #Constraints: 56185 1075.17/1078.03 c INPROCESSING 1075.17/1078.03 c GARBAGE COLLECT 1075.17/1078.03 c rational objective 70 1134.53/1137.57 c #Conflicts: 475000 | #Constraints: 43583 1134.53/1137.57 c #Conflicts: 476000 | #Constraints: 44583 1134.53/1137.57 c #Conflicts: 477000 | #Constraints: 45583 1134.53/1137.57 c #Conflicts: 478000 | #Constraints: 46583 1134.53/1137.57 c #Conflicts: 479000 | #Constraints: 47583 1134.53/1137.57 c #Conflicts: 480000 | #Constraints: 48583 1134.53/1137.57 c #Conflicts: 481000 | #Constraints: 49583 1134.53/1137.57 c #Conflicts: 482000 | #Constraints: 50583 1134.53/1137.57 c #Conflicts: 483000 | #Constraints: 51583 1134.53/1137.57 c #Conflicts: 484000 | #Constraints: 52583 1134.53/1137.57 c #Conflicts: 485000 | #Constraints: 53583 1134.53/1137.57 c #Conflicts: 486000 | #Constraints: 54583 1134.53/1137.57 c #Conflicts: 487000 | #Constraints: 55583 1134.53/1137.57 c #Conflicts: 488000 | #Constraints: 56583 1134.53/1137.57 c INPROCESSING 1134.53/1137.57 c GARBAGE COLLECT 1134.53/1137.57 c #Conflicts: 489000 | #Constraints: 43782 1134.53/1137.57 c #Conflicts: 490000 | #Constraints: 44782 1134.53/1137.57 c #Conflicts: 491000 | #Constraints: 45782 1134.53/1137.57 c #Conflicts: 492000 | #Constraints: 46782 1134.53/1137.57 c #Conflicts: 493000 | #Constraints: 47782 1134.53/1137.57 c #Conflicts: 494000 | #Constraints: 48782 1134.53/1137.57 c #Conflicts: 495000 | #Constraints: 49782 1134.53/1137.57 c #Conflicts: 496000 | #Constraints: 50782 1134.53/1137.57 c #Conflicts: 497000 | #Constraints: 51782 1134.53/1137.57 c #Conflicts: 498000 | #Constraints: 52782 1134.53/1137.57 c #Conflicts: 499000 | #Constraints: 53782 1134.53/1137.57 c #Conflicts: 500000 | #Constraints: 54782 1134.53/1137.57 c #Conflicts: 501000 | #Constraints: 55782 1134.53/1137.57 c #Conflicts: 502000 | #Constraints: 56782 1134.53/1137.57 c INPROCESSING 1134.53/1137.57 c GARBAGE COLLECT 1134.53/1137.57 c rational objective 70 1162.76/1165.82 c #Conflicts: 503000 | #Constraints: 43777 1162.76/1165.82 c #Conflicts: 504000 | #Constraints: 44777 1162.76/1165.82 c #Conflicts: 505000 | #Constraints: 45777 1162.76/1165.82 c #Conflicts: 506000 | #Constraints: 46777 1162.76/1165.82 c #Conflicts: 507000 | #Constraints: 47777 1162.76/1165.82 c #Conflicts: 508000 | #Constraints: 48777 1162.76/1165.82 c #Conflicts: 509000 | #Constraints: 49777 1162.76/1165.82 c #Conflicts: 510000 | #Constraints: 50777 1162.76/1165.82 c #Conflicts: 511000 | #Constraints: 51777 1162.76/1165.82 c #Conflicts: 512000 | #Constraints: 52777 1162.76/1165.82 c #Conflicts: 513000 | #Constraints: 53777 1162.76/1165.82 c #Conflicts: 514000 | #Constraints: 54777 1162.76/1165.82 c #Conflicts: 515000 | #Constraints: 55777 1162.76/1165.82 c #Conflicts: 516000 | #Constraints: 56777 1162.76/1165.82 c INPROCESSING 1162.76/1165.82 c GARBAGE COLLECT 1162.76/1165.82 c rational objective 70 1192.90/1196.02 c #Conflicts: 517000 | #Constraints: 43571 1192.90/1196.02 c #Conflicts: 518000 | #Constraints: 44571 1192.90/1196.02 c #Conflicts: 519000 | #Constraints: 45571 1192.90/1196.02 c #Conflicts: 520000 | #Constraints: 46571 1192.90/1196.02 c #Conflicts: 521000 | #Constraints: 47571 1192.90/1196.02 c #Conflicts: 522000 | #Constraints: 48571 1192.90/1196.02 c #Conflicts: 523000 | #Constraints: 49571 1192.90/1196.02 c #Conflicts: 524000 | #Constraints: 50571 1192.90/1196.02 c #Conflicts: 525000 | #Constraints: 51571 1192.90/1196.02 c #Conflicts: 526000 | #Constraints: 52571 1192.90/1196.02 c #Conflicts: 527000 | #Constraints: 53571 1192.90/1196.02 c #Conflicts: 528000 | #Constraints: 54571 1192.90/1196.02 c #Conflicts: 529000 | #Constraints: 55571 1192.90/1196.02 c #Conflicts: 530000 | #Constraints: 56571 1192.90/1196.02 c #Conflicts: 531000 | #Constraints: 57571 1192.90/1196.02 c INPROCESSING 1192.90/1196.02 c GARBAGE COLLECT 1192.90/1196.02 c rational objective 70 1226.72/1229.96 c #Conflicts: 532000 | #Constraints: 44140 1226.72/1229.96 c #Conflicts: 533000 | #Constraints: 45140 1226.72/1229.96 c #Conflicts: 534000 | #Constraints: 46140 1226.72/1229.96 c #Conflicts: 535000 | #Constraints: 47140 1226.72/1229.96 c #Conflicts: 536000 | #Constraints: 48140 1226.72/1229.96 c #Conflicts: 537000 | #Constraints: 49140 1226.72/1229.96 c #Conflicts: 538000 | #Constraints: 50140 1226.72/1229.96 c #Conflicts: 539000 | #Constraints: 51140 1226.72/1229.96 c #Conflicts: 540000 | #Constraints: 52140 1226.72/1229.96 c #Conflicts: 541000 | #Constraints: 53140 1226.72/1229.96 c #Conflicts: 542000 | #Constraints: 54140 1226.72/1229.96 c #Conflicts: 543000 | #Constraints: 55140 1226.72/1229.96 c #Conflicts: 544000 | #Constraints: 56140 1226.72/1229.96 c #Conflicts: 545000 | #Constraints: 57140 1226.72/1229.96 c #Conflicts: 546000 | #Constraints: 58140 1226.72/1229.96 c INPROCESSING 1226.72/1229.96 c GARBAGE COLLECT 1226.72/1229.96 c #Conflicts: 547000 | #Constraints: 44524 1226.72/1229.96 c #Conflicts: 548000 | #Constraints: 45524 1226.72/1229.96 c #Conflicts: 549000 | #Constraints: 46524 1226.72/1229.96 c #Conflicts: 550000 | #Constraints: 47524 1226.72/1229.96 c #Conflicts: 551000 | #Constraints: 48524 1226.72/1229.96 c #Conflicts: 552000 | #Constraints: 49524 1226.72/1229.96 c #Conflicts: 553000 | #Constraints: 50524 1226.72/1229.96 c #Conflicts: 554000 | #Constraints: 51524 1226.72/1229.96 c #Conflicts: 555000 | #Constraints: 52524 1226.72/1229.96 c #Conflicts: 556000 | #Constraints: 53524 1226.72/1229.96 c #Conflicts: 557000 | #Constraints: 54524 1226.72/1229.96 c #Conflicts: 558000 | #Constraints: 55524 1226.72/1229.96 c #Conflicts: 559000 | #Constraints: 56524 1226.72/1229.96 c #Conflicts: 560000 | #Constraints: 57524 1226.72/1229.96 c #Conflicts: 561000 | #Constraints: 58524 1226.72/1229.96 c INPROCESSING 1226.72/1229.96 c GARBAGE COLLECT 1226.72/1229.96 c rational objective 70 1257.35/1260.64 c #Conflicts: 562000 | #Constraints: 44684 1257.35/1260.64 c #Conflicts: 563000 | #Constraints: 45684 1257.35/1260.64 c #Conflicts: 564000 | #Constraints: 46684 1257.35/1260.64 c #Conflicts: 565000 | #Constraints: 47684 1257.35/1260.64 c #Conflicts: 566000 | #Constraints: 48684 1257.35/1260.64 c #Conflicts: 567000 | #Constraints: 49684 1257.35/1260.64 c #Conflicts: 568000 | #Constraints: 50684 1257.35/1260.64 c #Conflicts: 569000 | #Constraints: 51684 1257.35/1260.64 c #Conflicts: 570000 | #Constraints: 52684 1257.35/1260.64 c #Conflicts: 571000 | #Constraints: 53684 1257.35/1260.64 c #Conflicts: 572000 | #Constraints: 54684 1257.35/1260.64 c #Conflicts: 573000 | #Constraints: 55684 1257.35/1260.64 c #Conflicts: 574000 | #Constraints: 56684 1257.35/1260.64 c #Conflicts: 575000 | #Constraints: 57684 1257.35/1260.64 c #Conflicts: 576000 | #Constraints: 58684 1257.35/1260.64 c INPROCESSING 1257.35/1260.64 c GARBAGE COLLECT 1257.35/1260.64 c rational objective 70 1287.18/1290.59 c #Conflicts: 577000 | #Constraints: 44664 1287.18/1290.59 c #Conflicts: 578000 | #Constraints: 45664 1287.18/1290.59 c #Conflicts: 579000 | #Constraints: 46664 1287.18/1290.59 c #Conflicts: 580000 | #Constraints: 47664 1287.18/1290.59 c #Conflicts: 581000 | #Constraints: 48664 1287.18/1290.59 c #Conflicts: 582000 | #Constraints: 49664 1287.18/1290.59 c #Conflicts: 583000 | #Constraints: 50664 1287.18/1290.59 c #Conflicts: 584000 | #Constraints: 51664 1287.18/1290.59 c #Conflicts: 585000 | #Constraints: 52664 1287.18/1290.59 c #Conflicts: 586000 | #Constraints: 53664 1287.18/1290.59 c #Conflicts: 587000 | #Constraints: 54664 1287.18/1290.59 c #Conflicts: 588000 | #Constraints: 55664 1287.18/1290.59 c #Conflicts: 589000 | #Constraints: 56664 1287.18/1290.59 c #Conflicts: 590000 | #Constraints: 57664 1287.18/1290.59 c #Conflicts: 591000 | #Constraints: 58664 1287.18/1290.59 c INPROCESSING 1287.18/1290.59 c GARBAGE COLLECT 1287.18/1290.59 c rational objective 70 1318.01/1321.45 c #Conflicts: 592000 | #Constraints: 44459 1318.01/1321.45 c #Conflicts: 593000 | #Constraints: 45459 1318.01/1321.45 c #Conflicts: 594000 | #Constraints: 46459 1318.01/1321.45 c #Conflicts: 595000 | #Constraints: 47459 1318.01/1321.45 c #Conflicts: 596000 | #Constraints: 48459 1318.01/1321.45 c #Conflicts: 597000 | #Constraints: 49459 1318.01/1321.45 c #Conflicts: 598000 | #Constraints: 50459 1318.01/1321.45 c #Conflicts: 599000 | #Constraints: 51459 1318.01/1321.45 c #Conflicts: 600000 | #Constraints: 52459 1318.01/1321.45 c #Conflicts: 601000 | #Constraints: 53459 1318.01/1321.45 c #Conflicts: 602000 | #Constraints: 54459 1318.01/1321.45 c #Conflicts: 603000 | #Constraints: 55459 1318.01/1321.45 c #Conflicts: 604000 | #Constraints: 56459 1318.01/1321.45 c #Conflicts: 605000 | #Constraints: 57459 1318.01/1321.45 c #Conflicts: 606000 | #Constraints: 58459 1318.01/1321.45 c #Conflicts: 607000 | #Constraints: 59459 1318.01/1321.45 c INPROCESSING 1318.01/1321.45 c GARBAGE COLLECT 1318.01/1321.45 c rational objective 70 1347.94/1351.48 c #Conflicts: 608000 | #Constraints: 45060 1347.94/1351.48 c #Conflicts: 609000 | #Constraints: 46060 1347.94/1351.48 c #Conflicts: 610000 | #Constraints: 47060 1347.94/1351.48 c #Conflicts: 611000 | #Constraints: 48060 1347.94/1351.48 c #Conflicts: 612000 | #Constraints: 49060 1347.94/1351.48 c #Conflicts: 613000 | #Constraints: 50060 1347.94/1351.48 c #Conflicts: 614000 | #Constraints: 51060 1347.94/1351.48 c #Conflicts: 615000 | #Constraints: 52060 1347.94/1351.48 c #Conflicts: 616000 | #Constraints: 53060 1347.94/1351.48 c #Conflicts: 617000 | #Constraints: 54060 1347.94/1351.48 c #Conflicts: 618000 | #Constraints: 55060 1347.94/1351.48 c #Conflicts: 619000 | #Constraints: 56060 1347.94/1351.48 c #Conflicts: 620000 | #Constraints: 57060 1347.94/1351.48 c #Conflicts: 621000 | #Constraints: 58060 1347.94/1351.48 c #Conflicts: 622000 | #Constraints: 59060 1347.94/1351.48 c #Conflicts: 623000 | #Constraints: 60060 1347.94/1351.48 c INPROCESSING 1347.94/1351.48 c GARBAGE COLLECT 1347.94/1351.48 c rational objective 70 1390.55/1394.12 c #Conflicts: 624000 | #Constraints: 45457 1390.55/1394.12 c #Conflicts: 625000 | #Constraints: 46457 1390.55/1394.12 c #Conflicts: 626000 | #Constraints: 47457 1390.55/1394.12 c #Conflicts: 627000 | #Constraints: 48457 1390.55/1394.12 c #Conflicts: 628000 | #Constraints: 49457 1390.55/1394.12 c #Conflicts: 629000 | #Constraints: 50457 1390.55/1394.12 c #Conflicts: 630000 | #Constraints: 51457 1390.55/1394.12 c #Conflicts: 631000 | #Constraints: 52457 1390.55/1394.12 c #Conflicts: 632000 | #Constraints: 53457 1390.55/1394.12 c #Conflicts: 633000 | #Constraints: 54457 1390.55/1394.12 c #Conflicts: 634000 | #Constraints: 55457 1390.55/1394.12 c #Conflicts: 635000 | #Constraints: 56457 1390.55/1394.12 c #Conflicts: 636000 | #Constraints: 57457 1390.55/1394.12 c #Conflicts: 637000 | #Constraints: 58457 1390.55/1394.12 c #Conflicts: 638000 | #Constraints: 59457 1390.55/1394.12 c #Conflicts: 639000 | #Constraints: 60457 1390.55/1394.12 c INPROCESSING 1390.55/1394.12 c GARBAGE COLLECT 1390.55/1394.12 c #Conflicts: 640000 | #Constraints: 45659 1390.55/1394.12 c #Conflicts: 641000 | #Constraints: 46659 1390.55/1394.12 c #Conflicts: 642000 | #Constraints: 47659 1390.55/1394.12 c #Conflicts: 643000 | #Constraints: 48659 1390.55/1394.12 c #Conflicts: 644000 | #Constraints: 49659 1390.55/1394.12 c #Conflicts: 645000 | #Constraints: 50659 1390.55/1394.12 c #Conflicts: 646000 | #Constraints: 51659 1390.55/1394.12 c #Conflicts: 647000 | #Constraints: 52659 1390.55/1394.12 c #Conflicts: 648000 | #Constraints: 53659 1390.55/1394.12 c #Conflicts: 649000 | #Constraints: 54659 1390.55/1394.12 c #Conflicts: 650000 | #Constraints: 55659 1390.55/1394.12 c #Conflicts: 651000 | #Constraints: 56659 1390.55/1394.12 c #Conflicts: 652000 | #Constraints: 57659 1390.55/1394.12 c #Conflicts: 653000 | #Constraints: 58659 1390.55/1394.12 c #Conflicts: 654000 | #Constraints: 59659 1390.55/1394.12 c #Conflicts: 655000 | #Constraints: 60659 1390.55/1394.12 c INPROCESSING 1390.55/1394.12 c GARBAGE COLLECT 1390.55/1394.12 c rational objective 70 1418.29/1421.97 c #Conflicts: 656000 | #Constraints: 45653 1418.29/1421.97 c #Conflicts: 657000 | #Constraints: 46653 1418.29/1421.97 c #Conflicts: 658000 | #Constraints: 47653 1418.29/1421.97 c #Conflicts: 659000 | #Constraints: 48653 1418.29/1421.97 c #Conflicts: 660000 | #Constraints: 49653 1418.29/1421.97 c #Conflicts: 661000 | #Constraints: 50653 1418.29/1421.97 c #Conflicts: 662000 | #Constraints: 51653 1418.29/1421.97 c #Conflicts: 663000 | #Constraints: 52653 1418.29/1421.97 c #Conflicts: 664000 | #Constraints: 53653 1418.29/1421.97 c #Conflicts: 665000 | #Constraints: 54653 1418.29/1421.97 c #Conflicts: 666000 | #Constraints: 55653 1418.29/1421.97 c #Conflicts: 667000 | #Constraints: 56653 1418.29/1421.97 c #Conflicts: 668000 | #Constraints: 57653 1418.29/1421.97 c #Conflicts: 669000 | #Constraints: 58653 1418.29/1421.97 c #Conflicts: 670000 | #Constraints: 59653 1418.29/1421.97 c #Conflicts: 671000 | #Constraints: 60653 1418.29/1421.97 c INPROCESSING 1418.29/1421.97 c GARBAGE COLLECT 1418.29/1421.97 c rational objective 70 1447.62/1451.35 c #Conflicts: 672000 | #Constraints: 45453 1447.62/1451.35 c #Conflicts: 673000 | #Constraints: 46453 1447.62/1451.35 c #Conflicts: 674000 | #Constraints: 47453 1447.62/1451.35 c #Conflicts: 675000 | #Constraints: 48453 1447.62/1451.35 c #Conflicts: 676000 | #Constraints: 49453 1447.62/1451.35 c #Conflicts: 677000 | #Constraints: 50453 1447.62/1451.35 c #Conflicts: 678000 | #Constraints: 51453 1447.62/1451.35 c #Conflicts: 679000 | #Constraints: 52453 1447.62/1451.35 c #Conflicts: 680000 | #Constraints: 53453 1447.62/1451.35 c #Conflicts: 681000 | #Constraints: 54453 1447.62/1451.35 c #Conflicts: 682000 | #Constraints: 55453 1447.62/1451.35 c #Conflicts: 683000 | #Constraints: 56453 1447.62/1451.35 c #Conflicts: 684000 | #Constraints: 57453 1447.62/1451.35 c #Conflicts: 685000 | #Constraints: 58453 1447.62/1451.35 c #Conflicts: 686000 | #Constraints: 59453 1447.62/1451.35 c #Conflicts: 687000 | #Constraints: 60453 1447.62/1451.35 c #Conflicts: 688000 | #Constraints: 61453 1447.62/1451.35 c INPROCESSING 1447.62/1451.35 c GARBAGE COLLECT 1447.62/1451.35 c rational objective 70 1477.85/1481.67 c #Conflicts: 689000 | #Constraints: 46053 1477.85/1481.67 c #Conflicts: 690000 | #Constraints: 47053 1477.85/1481.67 c #Conflicts: 691000 | #Constraints: 48053 1477.85/1481.67 c #Conflicts: 692000 | #Constraints: 49053 1477.85/1481.67 c #Conflicts: 693000 | #Constraints: 50053 1477.85/1481.67 c #Conflicts: 694000 | #Constraints: 51053 1477.85/1481.67 c #Conflicts: 695000 | #Constraints: 52053 1477.85/1481.67 c #Conflicts: 696000 | #Constraints: 53053 1477.85/1481.67 c #Conflicts: 697000 | #Constraints: 54053 1477.85/1481.67 c #Conflicts: 698000 | #Constraints: 55053 1477.85/1481.67 c #Conflicts: 699000 | #Constraints: 56053 1477.85/1481.67 c #Conflicts: 700000 | #Constraints: 57053 1477.85/1481.67 c #Conflicts: 701000 | #Constraints: 58053 1477.85/1481.67 c #Conflicts: 702000 | #Constraints: 59053 1477.85/1481.67 c #Conflicts: 703000 | #Constraints: 60053 1477.85/1481.67 c #Conflicts: 704000 | #Constraints: 61053 1477.85/1481.67 c #Conflicts: 705000 | #Constraints: 62053 1477.85/1481.67 c INPROCESSING 1477.85/1481.67 c GARBAGE COLLECT 1477.85/1481.67 c rational objective 70 1521.56/1525.47 c #Conflicts: 706000 | #Constraints: 46458 1521.56/1525.47 c #Conflicts: 707000 | #Constraints: 47458 1521.56/1525.47 c #Conflicts: 708000 | #Constraints: 48458 1521.56/1525.47 c #Conflicts: 709000 | #Constraints: 49458 1521.56/1525.47 c #Conflicts: 710000 | #Constraints: 50458 1521.56/1525.47 c #Conflicts: 711000 | #Constraints: 51458 1521.56/1525.47 c #Conflicts: 712000 | #Constraints: 52458 1521.56/1525.47 c #Conflicts: 713000 | #Constraints: 53458 1521.56/1525.47 c #Conflicts: 714000 | #Constraints: 54458 1521.56/1525.47 c #Conflicts: 715000 | #Constraints: 55458 1521.56/1525.47 c #Conflicts: 716000 | #Constraints: 56458 1521.56/1525.47 c #Conflicts: 717000 | #Constraints: 57458 1521.56/1525.47 c #Conflicts: 718000 | #Constraints: 58458 1521.56/1525.47 c #Conflicts: 719000 | #Constraints: 59458 1521.56/1525.47 c #Conflicts: 720000 | #Constraints: 60458 1521.56/1525.47 c #Conflicts: 721000 | #Constraints: 61458 1521.56/1525.47 c #Conflicts: 722000 | #Constraints: 62458 1521.56/1525.47 c INPROCESSING 1521.56/1525.47 c GARBAGE COLLECT 1521.56/1525.47 c rational objective 70 1550.49/1554.46 c #Conflicts: 723000 | #Constraints: 46660 1550.49/1554.46 c #Conflicts: 724000 | #Constraints: 47660 1550.49/1554.46 c #Conflicts: 725000 | #Constraints: 48660 1550.49/1554.46 c #Conflicts: 726000 | #Constraints: 49660 1550.49/1554.46 c #Conflicts: 727000 | #Constraints: 50660 1550.49/1554.46 c #Conflicts: 728000 | #Constraints: 51660 1550.49/1554.46 c #Conflicts: 729000 | #Constraints: 52660 1550.49/1554.46 c #Conflicts: 730000 | #Constraints: 53660 1550.49/1554.46 c #Conflicts: 731000 | #Constraints: 54660 1550.49/1554.46 c #Conflicts: 732000 | #Constraints: 55660 1550.49/1554.46 c #Conflicts: 733000 | #Constraints: 56660 1550.49/1554.46 c #Conflicts: 734000 | #Constraints: 57660 1550.49/1554.46 c #Conflicts: 735000 | #Constraints: 58660 1550.49/1554.46 c #Conflicts: 736000 | #Constraints: 59660 1550.49/1554.46 c #Conflicts: 737000 | #Constraints: 60660 1550.49/1554.46 c #Conflicts: 738000 | #Constraints: 61660 1550.49/1554.46 c #Conflicts: 739000 | #Constraints: 62660 1550.49/1554.46 c INPROCESSING 1550.49/1554.46 c GARBAGE COLLECT 1550.49/1554.46 c rational objective 70 1596.49/1600.53 c #Conflicts: 740000 | #Constraints: 46659 1596.49/1600.53 c #Conflicts: 741000 | #Constraints: 47659 1596.49/1600.53 c #Conflicts: 742000 | #Constraints: 48659 1596.49/1600.53 c #Conflicts: 743000 | #Constraints: 49659 1596.49/1600.53 c #Conflicts: 744000 | #Constraints: 50659 1596.49/1600.53 c #Conflicts: 745000 | #Constraints: 51659 1596.49/1600.53 c #Conflicts: 746000 | #Constraints: 52659 1596.49/1600.53 c #Conflicts: 747000 | #Constraints: 53659 1596.49/1600.53 c #Conflicts: 748000 | #Constraints: 54659 1596.49/1600.53 c #Conflicts: 749000 | #Constraints: 55659 1596.49/1600.53 c #Conflicts: 750000 | #Constraints: 56659 1596.49/1600.53 c #Conflicts: 751000 | #Constraints: 57659 1596.49/1600.53 c #Conflicts: 752000 | #Constraints: 58659 1596.49/1600.53 c #Conflicts: 753000 | #Constraints: 59659 1596.49/1600.53 c #Conflicts: 754000 | #Constraints: 60659 1596.49/1600.53 c #Conflicts: 755000 | #Constraints: 61659 1596.49/1600.53 c #Conflicts: 756000 | #Constraints: 62659 1596.49/1600.53 c INPROCESSING 1596.49/1600.53 c GARBAGE COLLECT 1596.49/1600.53 c rational objective 70 1642.67/1646.80 c #Conflicts: 757000 | #Constraints: 46457 1642.67/1646.80 c #Conflicts: 758000 | #Constraints: 47457 1642.67/1646.80 c #Conflicts: 759000 | #Constraints: 48457 1642.67/1646.80 c #Conflicts: 760000 | #Constraints: 49457 1642.67/1646.80 c #Conflicts: 761000 | #Constraints: 50457 1642.67/1646.80 c #Conflicts: 762000 | #Constraints: 51457 1642.67/1646.80 c #Conflicts: 763000 | #Constraints: 52457 1642.67/1646.80 c #Conflicts: 764000 | #Constraints: 53457 1642.67/1646.80 c #Conflicts: 765000 | #Constraints: 54457 1642.67/1646.80 c #Conflicts: 766000 | #Constraints: 55457 1642.67/1646.80 c #Conflicts: 767000 | #Constraints: 56457 1642.67/1646.80 c #Conflicts: 768000 | #Constraints: 57457 1642.67/1646.80 c #Conflicts: 769000 | #Constraints: 58457 1642.67/1646.80 c #Conflicts: 770000 | #Constraints: 59457 1642.67/1646.80 c #Conflicts: 771000 | #Constraints: 60457 1642.67/1646.80 c #Conflicts: 772000 | #Constraints: 61457 1642.67/1646.80 c #Conflicts: 773000 | #Constraints: 62457 1642.67/1646.80 c #Conflicts: 774000 | #Constraints: 63457 1642.67/1646.80 c INPROCESSING 1642.67/1646.80 c GARBAGE COLLECT 1642.67/1646.80 c rational objective 70 1696.16/1700.44 c #Conflicts: 775000 | #Constraints: 46900 1696.16/1700.44 c #Conflicts: 776000 | #Constraints: 47900 1696.16/1700.44 c #Conflicts: 777000 | #Constraints: 48900 1696.16/1700.44 c #Conflicts: 778000 | #Constraints: 49900 1696.16/1700.44 c #Conflicts: 779000 | #Constraints: 50900 1696.16/1700.44 c #Conflicts: 780000 | #Constraints: 51900 1696.16/1700.44 c #Conflicts: 781000 | #Constraints: 52900 1696.16/1700.44 c #Conflicts: 782000 | #Constraints: 53900 1696.16/1700.44 c #Conflicts: 783000 | #Constraints: 54900 1696.16/1700.44 c #Conflicts: 784000 | #Constraints: 55900 1696.16/1700.44 c #Conflicts: 785000 | #Constraints: 56900 1696.16/1700.44 c #Conflicts: 786000 | #Constraints: 57900 1696.16/1700.44 c #Conflicts: 787000 | #Constraints: 58900 1696.16/1700.44 c #Conflicts: 788000 | #Constraints: 59900 1696.16/1700.44 c #Conflicts: 789000 | #Constraints: 60900 1696.16/1700.44 c #Conflicts: 790000 | #Constraints: 61900 1696.16/1700.44 c #Conflicts: 791000 | #Constraints: 62900 1696.16/1700.44 c #Conflicts: 792000 | #Constraints: 63900 1696.16/1700.44 c INPROCESSING 1696.16/1700.44 c GARBAGE COLLECT 1696.16/1700.44 c rational objective 70 1727.39/1731.72 c #Conflicts: 793000 | #Constraints: 47395 1727.39/1731.72 c #Conflicts: 794000 | #Constraints: 48395 1727.39/1731.72 c #Conflicts: 795000 | #Constraints: 49395 1727.39/1731.72 c #Conflicts: 796000 | #Constraints: 50395 1727.39/1731.72 c #Conflicts: 797000 | #Constraints: 51395 1727.39/1731.72 c #Conflicts: 798000 | #Constraints: 52395 1727.39/1731.72 c #Conflicts: 799000 | #Constraints: 53395 1727.39/1731.72 c #Conflicts: 800000 | #Constraints: 54395 1727.39/1731.72 c #Conflicts: 801000 | #Constraints: 55395 1727.39/1731.72 c #Conflicts: 802000 | #Constraints: 56395 1727.39/1731.72 c #Conflicts: 803000 | #Constraints: 57395 1727.39/1731.72 c #Conflicts: 804000 | #Constraints: 58395 1727.39/1731.72 c #Conflicts: 805000 | #Constraints: 59395 1727.39/1731.72 c #Conflicts: 806000 | #Constraints: 60395 1727.39/1731.72 c #Conflicts: 807000 | #Constraints: 61395 1727.39/1731.72 c #Conflicts: 808000 | #Constraints: 62395 1727.39/1731.72 c #Conflicts: 809000 | #Constraints: 63395 1727.39/1731.72 c #Conflicts: 810000 | #Constraints: 64395 1727.39/1731.72 c INPROCESSING 1727.39/1731.72 c GARBAGE COLLECT 1727.39/1731.72 c rational objective 70 1764.00/1768.48 c #Conflicts: 811000 | #Constraints: 47630 1764.00/1768.48 c #Conflicts: 812000 | #Constraints: 48630 1764.00/1768.48 c #Conflicts: 813000 | #Constraints: 49630 1764.00/1768.48 c #Conflicts: 814000 | #Constraints: 50630 1764.00/1768.48 c #Conflicts: 815000 | #Constraints: 51630 1764.00/1768.48 c #Conflicts: 816000 | #Constraints: 52630 1764.00/1768.48 c #Conflicts: 817000 | #Constraints: 53630 1764.00/1768.48 c #Conflicts: 818000 | #Constraints: 54630 1764.00/1768.48 c #Conflicts: 819000 | #Constraints: 55630 1764.00/1768.48 c #Conflicts: 820000 | #Constraints: 56630 1764.00/1768.48 c #Conflicts: 821000 | #Constraints: 57630 1764.00/1768.48 c #Conflicts: 822000 | #Constraints: 58631 1764.00/1768.48 c #Conflicts: 823000 | #Constraints: 59631 1764.00/1768.48 c #Conflicts: 824000 | #Constraints: 60631 1764.00/1768.48 c #Conflicts: 825000 | #Constraints: 61631 1764.00/1768.48 c #Conflicts: 826000 | #Constraints: 62631 1764.00/1768.48 c #Conflicts: 827000 | #Constraints: 63631 1764.00/1768.48 c #Conflicts: 828000 | #Constraints: 64631 1764.00/1768.48 c INPROCESSING 1764.00/1768.48 c GARBAGE COLLECT 1764.00/1768.48 c rational objective 70 1794.43/1798.94 c #Conflicts: 829000 | #Constraints: 47642 1794.43/1798.94 c #Conflicts: 830000 | #Constraints: 48642 1794.43/1798.94 c #Conflicts: 831000 | #Constraints: 49642 1794.43/1798.94 c #Conflicts: 832000 | #Constraints: 50642 1794.43/1798.94 c #Conflicts: 833000 | #Constraints: 51642 1794.43/1798.94 c #Conflicts: 834000 | #Constraints: 52642 1794.43/1798.94 c #Conflicts: 835000 | #Constraints: 53642 1794.43/1798.94 c #Conflicts: 836000 | #Constraints: 54642 1794.43/1798.94 c #Conflicts: 837000 | #Constraints: 55642 1794.43/1798.94 c #Conflicts: 838000 | #Constraints: 56642 1794.43/1798.94 c #Conflicts: 839000 | #Constraints: 57642 1794.43/1798.94 c #Conflicts: 840000 | #Constraints: 58642 1794.43/1798.94 c #Conflicts: 841000 | #Constraints: 59642 1794.43/1798.94 c #Conflicts: 842000 | #Constraints: 60642 1794.43/1798.94 c #Conflicts: 843000 | #Constraints: 61642 1794.43/1798.94 c #Conflicts: 844000 | #Constraints: 62642 1794.43/1798.94 c #Conflicts: 845000 | #Constraints: 63642 1794.43/1798.94 c #Conflicts: 846000 | #Constraints: 64642 1794.43/1798.94 c INPROCESSING 1794.43/1798.94 c GARBAGE COLLECT 1794.43/1798.94 c rational objective 70 1859.39/1864.01 c #Conflicts: 847000 | #Constraints: 47447 1859.39/1864.01 c #Conflicts: 848000 | #Constraints: 48447 1859.39/1864.01 c #Conflicts: 849000 | #Constraints: 49447 1859.39/1864.01 c #Conflicts: 850000 | #Constraints: 50447 1859.39/1864.01 c #Conflicts: 851000 | #Constraints: 51447 1859.39/1864.01 c #Conflicts: 852000 | #Constraints: 52447 1859.39/1864.01 c #Conflicts: 853000 | #Constraints: 53447 1859.39/1864.01 c #Conflicts: 854000 | #Constraints: 54447 1859.39/1864.01 c #Conflicts: 855000 | #Constraints: 55447 1859.39/1864.01 c #Conflicts: 856000 | #Constraints: 56447 1859.39/1864.01 c #Conflicts: 857000 | #Constraints: 57447 1859.39/1864.01 c #Conflicts: 858000 | #Constraints: 58447 1859.39/1864.01 c #Conflicts: 859000 | #Constraints: 59447 1859.39/1864.01 c #Conflicts: 860000 | #Constraints: 60447 1859.39/1864.01 c #Conflicts: 861000 | #Constraints: 61447 1859.39/1864.01 c #Conflicts: 862000 | #Constraints: 62447 1859.39/1864.01 c #Conflicts: 863000 | #Constraints: 63447 1859.39/1864.01 c #Conflicts: 864000 | #Constraints: 64447 1859.39/1864.01 c #Conflicts: 865000 | #Constraints: 65447 1859.39/1864.01 c INPROCESSING 1859.39/1864.01 c GARBAGE COLLECT 1859.39/1864.01 c rational objective 70 1893.31/1898.08 c #Conflicts: 866000 | #Constraints: 48051 1893.31/1898.08 c #Conflicts: 867000 | #Constraints: 49051 1893.31/1898.08 c #Conflicts: 868000 | #Constraints: 50051 1893.31/1898.08 c #Conflicts: 869000 | #Constraints: 51051 1893.31/1898.08 c #Conflicts: 870000 | #Constraints: 52051 1893.31/1898.08 c #Conflicts: 871000 | #Constraints: 53051 1893.31/1898.08 c #Conflicts: 872000 | #Constraints: 54051 1893.31/1898.08 c #Conflicts: 873000 | #Constraints: 55051 1893.31/1898.08 c #Conflicts: 874000 | #Constraints: 56051 1893.31/1898.08 c #Conflicts: 875000 | #Constraints: 57051 1893.31/1898.08 c #Conflicts: 876000 | #Constraints: 58051 1893.31/1898.08 c #Conflicts: 877000 | #Constraints: 59051 1893.31/1898.08 c #Conflicts: 878000 | #Constraints: 60051 1893.31/1898.08 c #Conflicts: 879000 | #Constraints: 61051 1893.31/1898.08 c #Conflicts: 880000 | #Constraints: 62051 1893.31/1898.08 c #Conflicts: 881000 | #Constraints: 63051 1893.31/1898.08 c #Conflicts: 882000 | #Constraints: 64051 1893.31/1898.08 c #Conflicts: 883000 | #Constraints: 65051 1893.31/1898.08 c #Conflicts: 884000 | #Constraints: 66051 1893.31/1898.08 c INPROCESSING 1893.31/1898.08 c GARBAGE COLLECT 1893.31/1898.08 c rational objective 70 1924.33/1929.20 c #Conflicts: 885000 | #Constraints: 48455 1924.33/1929.20 c #Conflicts: 886000 | #Constraints: 49455 1924.33/1929.20 c #Conflicts: 887000 | #Constraints: 50455 1924.33/1929.20 c #Conflicts: 888000 | #Constraints: 51455 1924.33/1929.20 c #Conflicts: 889000 | #Constraints: 52455 1924.33/1929.20 c #Conflicts: 890000 | #Constraints: 53455 1924.33/1929.20 c #Conflicts: 891000 | #Constraints: 54455 1924.33/1929.20 c #Conflicts: 892000 | #Constraints: 55455 1924.33/1929.20 c #Conflicts: 893000 | #Constraints: 56455 1924.33/1929.20 c #Conflicts: 894000 | #Constraints: 57455 1924.33/1929.20 c #Conflicts: 895000 | #Constraints: 58455 1924.33/1929.20 c #Conflicts: 896000 | #Constraints: 59455 1924.33/1929.20 c #Conflicts: 897000 | #Constraints: 60455 1924.33/1929.20 c #Conflicts: 898000 | #Constraints: 61455 1924.33/1929.20 c #Conflicts: 899000 | #Constraints: 62455 1924.33/1929.20 c #Conflicts: 900000 | #Constraints: 63455 1924.33/1929.20 c #Conflicts: 901000 | #Constraints: 64455 1924.33/1929.20 c #Conflicts: 902000 | #Constraints: 65455 1924.33/1929.20 c #Conflicts: 903000 | #Constraints: 66455 1924.33/1929.20 c INPROCESSING 1924.33/1929.20 c GARBAGE COLLECT 1924.33/1929.20 c rational objective 70 1965.64/1970.53 c #Conflicts: 904000 | #Constraints: 48655 1965.64/1970.53 c #Conflicts: 905000 | #Constraints: 49655 1965.64/1970.53 c #Conflicts: 906000 | #Constraints: 50655 1965.64/1970.53 c #Conflicts: 907000 | #Constraints: 51655 1965.64/1970.53 c #Conflicts: 908000 | #Constraints: 52655 1965.64/1970.53 c #Conflicts: 909000 | #Constraints: 53655 1965.64/1970.53 c #Conflicts: 910000 | #Constraints: 54655 1965.64/1970.53 c #Conflicts: 911000 | #Constraints: 55655 1965.64/1970.53 c #Conflicts: 912000 | #Constraints: 56655 1965.64/1970.53 c #Conflicts: 913000 | #Constraints: 57655 1965.64/1970.53 c #Conflicts: 914000 | #Constraints: 58655 1965.64/1970.53 c #Conflicts: 915000 | #Constraints: 59655 1965.64/1970.53 c #Conflicts: 916000 | #Constraints: 60655 1965.64/1970.53 c #Conflicts: 917000 | #Constraints: 61655 1965.64/1970.53 c #Conflicts: 918000 | #Constraints: 62655 1965.64/1970.53 c #Conflicts: 919000 | #Constraints: 63655 1965.64/1970.53 c #Conflicts: 920000 | #Constraints: 64655 1965.64/1970.53 c #Conflicts: 921000 | #Constraints: 65655 1965.64/1970.53 c #Conflicts: 922000 | #Constraints: 66655 1965.64/1970.53 c INPROCESSING 1965.64/1970.53 c GARBAGE COLLECT 1965.64/1970.53 c rational objective 70 1995.76/2000.73 c #Conflicts: 923000 | #Constraints: 48648 1995.76/2000.73 c #Conflicts: 924000 | #Constraints: 49648 1995.76/2000.73 c #Conflicts: 925000 | #Constraints: 50648 1995.76/2000.73 c #Conflicts: 926000 | #Constraints: 51648 1995.76/2000.73 c #Conflicts: 927000 | #Constraints: 52648 1995.76/2000.73 c #Conflicts: 928000 | #Constraints: 53648 1995.76/2000.73 c #Conflicts: 929000 | #Constraints: 54648 1995.76/2000.73 c #Conflicts: 930000 | #Constraints: 55648 1995.76/2000.73 c #Conflicts: 931000 | #Constraints: 56648 1995.76/2000.73 c #Conflicts: 932000 | #Constraints: 57648 1995.76/2000.73 c #Conflicts: 933000 | #Constraints: 58648 1995.76/2000.73 c #Conflicts: 934000 | #Constraints: 59648 1995.76/2000.73 c #Conflicts: 935000 | #Constraints: 60649 1995.76/2000.73 c #Conflicts: 936000 | #Constraints: 61649 1995.76/2000.73 c #Conflicts: 937000 | #Constraints: 62649 1995.76/2000.73 c #Conflicts: 938000 | #Constraints: 63649 1995.76/2000.73 c #Conflicts: 939000 | #Constraints: 64649 1995.76/2000.73 c #Conflicts: 940000 | #Constraints: 65649 1995.76/2000.73 c #Conflicts: 941000 | #Constraints: 66650 1995.76/2000.73 c INPROCESSING 1995.76/2000.73 c GARBAGE COLLECT 1995.76/2000.73 c rational objective 70 2020.11/2025.11 c #Conflicts: 942000 | #Constraints: 48503 2020.11/2025.11 c #Conflicts: 943000 | #Constraints: 49503 2020.11/2025.11 c #Conflicts: 944000 | #Constraints: 50503 2020.11/2025.11 c #Conflicts: 945000 | #Constraints: 51503 2020.11/2025.11 c #Conflicts: 946000 | #Constraints: 52504 2020.11/2025.11 c #Conflicts: 947000 | #Constraints: 53504 2020.11/2025.11 c #Conflicts: 948000 | #Constraints: 54504 2020.11/2025.11 c #Conflicts: 949000 | #Constraints: 55504 2020.11/2025.11 c #Conflicts: 950000 | #Constraints: 56504 2020.11/2025.11 c #Conflicts: 951000 | #Constraints: 57504 2020.11/2025.11 c #Conflicts: 952000 | #Constraints: 58504 2020.11/2025.11 c #Conflicts: 953000 | #Constraints: 59504 2020.11/2025.11 c #Conflicts: 954000 | #Constraints: 60504 2020.11/2025.11 c #Conflicts: 955000 | #Constraints: 61505 2020.11/2025.11 c #Conflicts: 956000 | #Constraints: 62505 2020.11/2025.11 c #Conflicts: 957000 | #Constraints: 63505 2020.11/2025.11 c #Conflicts: 958000 | #Constraints: 64505 2020.11/2025.11 c #Conflicts: 959000 | #Constraints: 65505 2020.11/2025.11 c #Conflicts: 960000 | #Constraints: 66505 2020.11/2025.11 c #Conflicts: 961000 | #Constraints: 67505 2020.11/2025.11 c INPROCESSING 2020.11/2025.11 c GARBAGE COLLECT 2020.11/2025.11 c rational objective 70 2108.01/2113.23 c #Conflicts: 962000 | #Constraints: 49185 2108.01/2113.23 c #Conflicts: 963000 | #Constraints: 50185 2108.01/2113.23 c #Conflicts: 964000 | #Constraints: 51185 2108.01/2113.23 c #Conflicts: 965000 | #Constraints: 52185 2108.01/2113.23 c #Conflicts: 966000 | #Constraints: 53185 2108.01/2113.23 c #Conflicts: 967000 | #Constraints: 54185 2108.01/2113.23 c #Conflicts: 968000 | #Constraints: 55185 2108.01/2113.23 c #Conflicts: 969000 | #Constraints: 56185 2108.01/2113.23 c #Conflicts: 970000 | #Constraints: 57185 2108.01/2113.23 c #Conflicts: 971000 | #Constraints: 58185 2108.01/2113.23 c #Conflicts: 972000 | #Constraints: 59185 2108.01/2113.23 c #Conflicts: 973000 | #Constraints: 60185 2108.01/2113.23 c #Conflicts: 974000 | #Constraints: 61185 2108.01/2113.23 c #Conflicts: 975000 | #Constraints: 62185 2108.01/2113.23 c #Conflicts: 976000 | #Constraints: 63185 2108.01/2113.23 c #Conflicts: 977000 | #Constraints: 64185 2108.01/2113.23 c #Conflicts: 978000 | #Constraints: 65185 2108.01/2113.23 c #Conflicts: 979000 | #Constraints: 66185 2108.01/2113.23 c #Conflicts: 980000 | #Constraints: 67185 2108.01/2113.23 c #Conflicts: 981000 | #Constraints: 68185 2108.01/2113.23 c INPROCESSING 2108.01/2113.23 c GARBAGE COLLECT 2108.01/2113.23 c rational objective 70 2166.47/2171.81 c #Conflicts: 982000 | #Constraints: 49639 2166.47/2171.81 c #Conflicts: 983000 | #Constraints: 50639 2166.47/2171.81 c #Conflicts: 984000 | #Constraints: 51639 2166.47/2171.81 c #Conflicts: 985000 | #Constraints: 52639 2166.47/2171.81 c #Conflicts: 986000 | #Constraints: 53639 2166.47/2171.81 c #Conflicts: 987000 | #Constraints: 54639 2166.47/2171.81 c #Conflicts: 988000 | #Constraints: 55639 2166.47/2171.81 c #Conflicts: 989000 | #Constraints: 56639 2166.47/2171.81 c #Conflicts: 990000 | #Constraints: 57639 2166.47/2171.81 c #Conflicts: 991000 | #Constraints: 58639 2166.47/2171.81 c #Conflicts: 992000 | #Constraints: 59639 2166.47/2171.81 c #Conflicts: 993000 | #Constraints: 60639 2166.47/2171.81 c #Conflicts: 994000 | #Constraints: 61639 2166.47/2171.81 c #Conflicts: 995000 | #Constraints: 62639 2166.47/2171.81 c #Conflicts: 996000 | #Constraints: 63639 2166.47/2171.81 c #Conflicts: 997000 | #Constraints: 64639 2166.47/2171.81 c #Conflicts: 998000 | #Constraints: 65639 2166.47/2171.81 c #Conflicts: 999000 | #Constraints: 66639 2166.47/2171.81 c #Conflicts: 1000000 | #Constraints: 67639 2166.47/2171.81 c #Conflicts: 1001000 | #Constraints: 68639 2166.47/2171.81 c INPROCESSING 2166.47/2171.81 c GARBAGE COLLECT 2166.47/2171.81 c rational objective 70 2290.98/2296.69 c #Conflicts: 1002000 | #Constraints: 49820 2290.98/2296.69 c #Conflicts: 1003000 | #Constraints: 50820 2290.98/2296.69 c #Conflicts: 1004000 | #Constraints: 51820 2290.98/2296.69 c #Conflicts: 1005000 | #Constraints: 52820 2290.98/2296.69 c #Conflicts: 1006000 | #Constraints: 53820 2290.98/2296.69 c #Conflicts: 1007000 | #Constraints: 54820 2290.98/2296.69 c #Conflicts: 1008000 | #Constraints: 55820 2290.98/2296.69 c #Conflicts: 1009000 | #Constraints: 56820 2290.98/2296.69 c #Conflicts: 1010000 | #Constraints: 57820 2290.98/2296.69 c #Conflicts: 1011000 | #Constraints: 58820 2290.98/2296.69 c #Conflicts: 1012000 | #Constraints: 59820 2290.98/2296.69 c #Conflicts: 1013000 | #Constraints: 60820 2290.98/2296.69 c #Conflicts: 1014000 | #Constraints: 61820 2290.98/2296.69 c #Conflicts: 1015000 | #Constraints: 62821 2290.98/2296.69 c #Conflicts: 1016000 | #Constraints: 63821 2290.98/2296.69 c #Conflicts: 1017000 | #Constraints: 64821 2290.98/2296.69 c #Conflicts: 1018000 | #Constraints: 65821 2290.98/2296.69 c #Conflicts: 1019000 | #Constraints: 66821 2290.98/2296.69 c #Conflicts: 1020000 | #Constraints: 67821 2290.98/2296.69 c #Conflicts: 1021000 | #Constraints: 68821 2290.98/2296.69 c INPROCESSING 2290.98/2296.69 c GARBAGE COLLECT 2290.98/2296.69 WSVECS04 Frhs2[3612]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3620]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3626]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3627]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3628]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3633]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3634]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3636]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3647]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3682]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3743]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3756]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3778]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3788]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3794]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3815]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3821]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3826]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3852]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3859]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3860]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3868]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3874]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3876]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3879]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3887]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3890]: 6 0 19.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3893]: 6 0 11 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3922]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3923]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3927]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3930]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3933]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3970]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3971]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3978]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3983]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[3996]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4011]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4018]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4028]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4034]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4040]: 6 0 23.9795 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4056]: 6 0 23.9877 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4061]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4063]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4064]: 6 0 23.9878 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4065]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4066]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4090]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4092]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4098]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4099]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4100]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4106]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4107]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4108]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4114]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4115]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4116]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4117]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4119]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4120]: 6 0 23.9796 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4127]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4130]: 6 0 19.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4133]: 6 0 11 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4155]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4156]: 6 0 19.5 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4162]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4165]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4169]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4170]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4171]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4173]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4194]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4208]: 6 0 24 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4211]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4223]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4236]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4258]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4274]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4280]: 6 0 23.9795 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4295]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4301]: 6 0 15.9919 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4304]: 6 0 23.9877 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4306]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4332]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4338]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4339]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4340]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4346]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4347]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4348]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4353]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4354]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4356]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4359]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4394]: 6 0 19.5 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4395]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4402]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4407]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4410]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4444]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4463]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4476]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4502]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4515]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4517]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4518]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4520]: 6 0 23.9796 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4535]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4536]: 6 0 23.9877 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4540]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4541]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4542]: 6 0 15.9919 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4543]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4544]: 6 0 23.9878 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4546]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4560]: 6 0 24 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4572]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4578]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4579]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4580]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4585]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4586]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4587]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4588]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4593]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4594]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4595]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4596]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4597]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4599]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4600]: 6 0 23.9796 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4610]: 6 0 19.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4642]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4647]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4652]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4690]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4703]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4716]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4738]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4742]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4754]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4775]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4776]: 6 0 23.9877 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4781]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4783]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4784]: 6 0 23.9878 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4786]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4788]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4818]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4834]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4836]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4839]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4874]: 6 0 19.5 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4875]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4876]: 6 0 19.5 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4887]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[4994]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[5026]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6252]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6257]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6258]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6268]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6273]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6274]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6275]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6287]: 6 0 16.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6290]: 6 0 19.0001 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6293]: 6 0 11 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6294]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6313]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6314]: 6 0 19.5 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6323]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6327]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6332]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6350]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6352]: 6 0 24 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6354]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6372]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6383]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6435]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6438]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6439]: 6 0 16 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6461]: 6 0 15.9919 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6462]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6463]: 6 0 15.9918 shouldn't be 2290.98/2296.69 WSVECS04 Frhs2[6464]: 6 0 23.9878 shouldn't be 2305.95/2311.63 c rational objective 70 2368.49/2374.30 c #Conflicts: 1022000 | #Constraints: 49863 2368.49/2374.30 c #Conflicts: 1023000 | #Constraints: 50863 2368.49/2374.30 c #Conflicts: 1024000 | #Constraints: 51863 2368.49/2374.30 c #Conflicts: 1025000 | #Constraints: 52863 2368.49/2374.30 c #Conflicts: 1026000 | #Constraints: 53863 2368.49/2374.30 c #Conflicts: 1027000 | #Constraints: 54863 2368.49/2374.30 c #Conflicts: 1028000 | #Constraints: 55863 2368.49/2374.30 c #Conflicts: 1029000 | #Constraints: 56863 2368.49/2374.30 c #Conflicts: 1030000 | #Constraints: 57863 2368.49/2374.30 c #Conflicts: 1031000 | #Constraints: 58863 2368.49/2374.30 c #Conflicts: 1032000 | #Constraints: 59863 2368.49/2374.30 c #Conflicts: 1033000 | #Constraints: 60863 2368.49/2374.30 c #Conflicts: 1034000 | #Constraints: 61863 2368.49/2374.30 c #Conflicts: 1035000 | #Constraints: 62863 2368.49/2374.30 c #Conflicts: 1036000 | #Constraints: 63863 2368.49/2374.30 c #Conflicts: 1037000 | #Constraints: 64863 2368.49/2374.30 c #Conflicts: 1038000 | #Constraints: 65863 2368.49/2374.30 c #Conflicts: 1039000 | #Constraints: 66863 2368.49/2374.30 c #Conflicts: 1040000 | #Constraints: 67863 2368.49/2374.30 c #Conflicts: 1041000 | #Constraints: 68863 2368.49/2374.30 c INPROCESSING 2368.49/2374.30 c GARBAGE COLLECT 2368.49/2374.30 c rational objective 70 2403.21/2409.14 c #Conflicts: 1042000 | #Constraints: 49586 2403.21/2409.14 c #Conflicts: 1043000 | #Constraints: 50586 2403.21/2409.14 c #Conflicts: 1044000 | #Constraints: 51586 2403.21/2409.14 c #Conflicts: 1045000 | #Constraints: 52586 2403.21/2409.14 c #Conflicts: 1046000 | #Constraints: 53586 2403.21/2409.14 c #Conflicts: 1047000 | #Constraints: 54586 2403.21/2409.14 c #Conflicts: 1048000 | #Constraints: 55586 2403.21/2409.14 c #Conflicts: 1049000 | #Constraints: 56586 2403.21/2409.14 c #Conflicts: 1050000 | #Constraints: 57586 2403.21/2409.14 c #Conflicts: 1051000 | #Constraints: 58586 2403.21/2409.14 c #Conflicts: 1052000 | #Constraints: 59586 2403.21/2409.14 c #Conflicts: 1053000 | #Constraints: 60586 2403.21/2409.14 c #Conflicts: 1054000 | #Constraints: 61586 2403.21/2409.14 c #Conflicts: 1055000 | #Constraints: 62586 2403.21/2409.14 c #Conflicts: 1056000 | #Constraints: 63586 2403.21/2409.14 c #Conflicts: 1057000 | #Constraints: 64586 2403.21/2409.14 c #Conflicts: 1058000 | #Constraints: 65586 2403.21/2409.14 c #Conflicts: 1059000 | #Constraints: 66586 2403.21/2409.14 c #Conflicts: 1060000 | #Constraints: 67586 2403.21/2409.14 c #Conflicts: 1061000 | #Constraints: 68586 2403.21/2409.14 c #Conflicts: 1062000 | #Constraints: 69586 2403.21/2409.14 c INPROCESSING 2403.21/2409.14 c GARBAGE COLLECT 2403.21/2409.14 c rational objective 70 2476.81/2482.97 c #Conflicts: 1063000 | #Constraints: 50230 2476.81/2482.97 c #Conflicts: 1064000 | #Constraints: 51230 2476.81/2482.97 c #Conflicts: 1065000 | #Constraints: 52230 2476.81/2482.97 c #Conflicts: 1066000 | #Constraints: 53230 2476.81/2482.97 c #Conflicts: 1067000 | #Constraints: 54230 2476.81/2482.97 c #Conflicts: 1068000 | #Constraints: 55230 2476.81/2482.97 c #Conflicts: 1069000 | #Constraints: 56230 2476.81/2482.97 c #Conflicts: 1070000 | #Constraints: 57230 2476.81/2482.97 c #Conflicts: 1071000 | #Constraints: 58230 2476.81/2482.97 c #Conflicts: 1072000 | #Constraints: 59230 2476.81/2482.97 c #Conflicts: 1073000 | #Constraints: 60230 2476.81/2482.97 c #Conflicts: 1074000 | #Constraints: 61230 2476.81/2482.97 c #Conflicts: 1075000 | #Constraints: 62230 2476.81/2482.97 c #Conflicts: 1076000 | #Constraints: 63230 2476.81/2482.97 c #Conflicts: 1077000 | #Constraints: 64230 2476.81/2482.97 c #Conflicts: 1078000 | #Constraints: 65230 2476.81/2482.97 c #Conflicts: 1079000 | #Constraints: 66230 2476.81/2482.97 c #Conflicts: 1080000 | #Constraints: 67230 2476.81/2482.97 c #Conflicts: 1081000 | #Constraints: 68230 2476.81/2482.97 c #Conflicts: 1082000 | #Constraints: 69230 2476.81/2482.97 c #Conflicts: 1083000 | #Constraints: 70230 2476.81/2482.97 c INPROCESSING 2476.81/2482.97 c GARBAGE COLLECT 2476.81/2482.97 c rational objective 70 2506.92/2513.16 c #Conflicts: 1084000 | #Constraints: 50618 2506.92/2513.16 c #Conflicts: 1085000 | #Constraints: 51618 2506.92/2513.16 c #Conflicts: 1086000 | #Constraints: 52618 2506.92/2513.16 c #Conflicts: 1087000 | #Constraints: 53619 2506.92/2513.16 c #Conflicts: 1088000 | #Constraints: 54619 2506.92/2513.16 c #Conflicts: 1089000 | #Constraints: 55619 2506.92/2513.16 c #Conflicts: 1090000 | #Constraints: 56619 2506.92/2513.16 c #Conflicts: 1091000 | #Constraints: 57619 2506.92/2513.16 c #Conflicts: 1092000 | #Constraints: 58619 2506.92/2513.16 c #Conflicts: 1093000 | #Constraints: 59619 2506.92/2513.16 c #Conflicts: 1094000 | #Constraints: 60619 2506.92/2513.16 c #Conflicts: 1095000 | #Constraints: 61619 2506.92/2513.16 c #Conflicts: 1096000 | #Constraints: 62620 2506.92/2513.16 c #Conflicts: 1097000 | #Constraints: 63620 2506.92/2513.16 c #Conflicts: 1098000 | #Constraints: 64620 2506.92/2513.16 c #Conflicts: 1099000 | #Constraints: 65620 2506.92/2513.16 c #Conflicts: 1100000 | #Constraints: 66620 2506.92/2513.16 c #Conflicts: 1101000 | #Constraints: 67620 2506.92/2513.16 c #Conflicts: 1102000 | #Constraints: 68620 2506.92/2513.16 c #Conflicts: 1103000 | #Constraints: 69620 2506.92/2513.16 c #Conflicts: 1104000 | #Constraints: 70620 2506.92/2513.16 c INPROCESSING 2506.92/2513.16 c GARBAGE COLLECT 2506.92/2513.16 c rational objective 70 2575.82/2582.22 c #Conflicts: 1105000 | #Constraints: 50853 2575.82/2582.22 c #Conflicts: 1106000 | #Constraints: 51853 2575.82/2582.22 c #Conflicts: 1107000 | #Constraints: 52853 2575.82/2582.22 c #Conflicts: 1108000 | #Constraints: 53853 2575.82/2582.22 c #Conflicts: 1109000 | #Constraints: 54853 2575.82/2582.22 c #Conflicts: 1110000 | #Constraints: 55853 2575.82/2582.22 c #Conflicts: 1111000 | #Constraints: 56853 2575.82/2582.22 c #Conflicts: 1112000 | #Constraints: 57853 2575.82/2582.22 c #Conflicts: 1113000 | #Constraints: 58853 2575.82/2582.22 c #Conflicts: 1114000 | #Constraints: 59853 2575.82/2582.22 c #Conflicts: 1115000 | #Constraints: 60853 2575.82/2582.22 c #Conflicts: 1116000 | #Constraints: 61853 2575.82/2582.22 c #Conflicts: 1117000 | #Constraints: 62853 2575.82/2582.22 c #Conflicts: 1118000 | #Constraints: 63853 2575.82/2582.22 c #Conflicts: 1119000 | #Constraints: 64853 2575.82/2582.22 c #Conflicts: 1120000 | #Constraints: 65853 2575.82/2582.22 c #Conflicts: 1121000 | #Constraints: 66853 2575.82/2582.22 c #Conflicts: 1122000 | #Constraints: 67853 2575.82/2582.22 c #Conflicts: 1123000 | #Constraints: 68853 2575.82/2582.22 c #Conflicts: 1124000 | #Constraints: 69853 2575.82/2582.22 c #Conflicts: 1125000 | #Constraints: 70853 2575.82/2582.22 c INPROCESSING 2575.82/2582.22 c GARBAGE COLLECT 2575.82/2582.22 c rational objective 70 2625.99/2632.54 c #Conflicts: 1126000 | #Constraints: 50869 2625.99/2632.54 c #Conflicts: 1127000 | #Constraints: 51869 2625.99/2632.54 c #Conflicts: 1128000 | #Constraints: 52869 2625.99/2632.54 c #Conflicts: 1129000 | #Constraints: 53869 2625.99/2632.54 c #Conflicts: 1130000 | #Constraints: 54869 2625.99/2632.54 c #Conflicts: 1131000 | #Constraints: 55869 2625.99/2632.54 c #Conflicts: 1132000 | #Constraints: 56869 2625.99/2632.54 c #Conflicts: 1133000 | #Constraints: 57869 2625.99/2632.54 c #Conflicts: 1134000 | #Constraints: 58869 2625.99/2632.54 c #Conflicts: 1135000 | #Constraints: 59869 2625.99/2632.54 c #Conflicts: 1136000 | #Constraints: 60869 2625.99/2632.54 c #Conflicts: 1137000 | #Constraints: 61869 2625.99/2632.54 c #Conflicts: 1138000 | #Constraints: 62869 2625.99/2632.54 c #Conflicts: 1139000 | #Constraints: 63869 2625.99/2632.54 c #Conflicts: 1140000 | #Constraints: 64869 2625.99/2632.54 c #Conflicts: 1141000 | #Constraints: 65869 2625.99/2632.54 c #Conflicts: 1142000 | #Constraints: 66869 2625.99/2632.54 c #Conflicts: 1143000 | #Constraints: 67869 2625.99/2632.54 c #Conflicts: 1144000 | #Constraints: 68869 2625.99/2632.54 c #Conflicts: 1145000 | #Constraints: 69869 2625.99/2632.54 c #Conflicts: 1146000 | #Constraints: 70869 2625.99/2632.54 c INPROCESSING 2625.99/2632.54 c GARBAGE COLLECT 2625.99/2632.54 c rational objective 70 2654.70/2661.31 c #Conflicts: 1147000 | #Constraints: 50627 2654.70/2661.31 c #Conflicts: 1148000 | #Constraints: 51627 2654.70/2661.31 c #Conflicts: 1149000 | #Constraints: 52627 2654.70/2661.31 c #Conflicts: 1150000 | #Constraints: 53627 2654.70/2661.31 c #Conflicts: 1151000 | #Constraints: 54627 2654.70/2661.31 c #Conflicts: 1152000 | #Constraints: 55627 2654.70/2661.31 c #Conflicts: 1153000 | #Constraints: 56627 2654.70/2661.31 c #Conflicts: 1154000 | #Constraints: 57627 2654.70/2661.31 c #Conflicts: 1155000 | #Constraints: 58627 2654.70/2661.31 c #Conflicts: 1156000 | #Constraints: 59627 2654.70/2661.31 c #Conflicts: 1157000 | #Constraints: 60627 2654.70/2661.31 c #Conflicts: 1158000 | #Constraints: 61627 2654.70/2661.31 c #Conflicts: 1159000 | #Constraints: 62627 2654.70/2661.31 c #Conflicts: 1160000 | #Constraints: 63627 2654.70/2661.31 c #Conflicts: 1161000 | #Constraints: 64627 2654.70/2661.31 c #Conflicts: 1162000 | #Constraints: 65627 2654.70/2661.31 c #Conflicts: 1163000 | #Constraints: 66627 2654.70/2661.31 c #Conflicts: 1164000 | #Constraints: 67627 2654.70/2661.31 c #Conflicts: 1165000 | #Constraints: 68627 2654.70/2661.31 c #Conflicts: 1166000 | #Constraints: 69627 2654.70/2661.31 c #Conflicts: 1167000 | #Constraints: 70627 2654.70/2661.31 c #Conflicts: 1168000 | #Constraints: 71627 2654.70/2661.31 c INPROCESSING 2654.70/2661.31 c GARBAGE COLLECT 2654.70/2661.31 c rational objective 70 2686.92/2693.61 c #Conflicts: 1169000 | #Constraints: 51208 2686.92/2693.61 c #Conflicts: 1170000 | #Constraints: 52208 2686.92/2693.61 c #Conflicts: 1171000 | #Constraints: 53208 2686.92/2693.61 c #Conflicts: 1172000 | #Constraints: 54208 2686.92/2693.61 c #Conflicts: 1173000 | #Constraints: 55208 2686.92/2693.61 c #Conflicts: 1174000 | #Constraints: 56208 2686.92/2693.61 c #Conflicts: 1175000 | #Constraints: 57208 2686.92/2693.61 c #Conflicts: 1176000 | #Constraints: 58208 2686.92/2693.61 c #Conflicts: 1177000 | #Constraints: 59208 2686.92/2693.61 c #Conflicts: 1178000 | #Constraints: 60208 2686.92/2693.61 c #Conflicts: 1179000 | #Constraints: 61208 2686.92/2693.61 c #Conflicts: 1180000 | #Constraints: 62208 2686.92/2693.61 c #Conflicts: 1181000 | #Constraints: 63208 2686.92/2693.61 c #Conflicts: 1182000 | #Constraints: 64208 2686.92/2693.61 c #Conflicts: 1183000 | #Constraints: 65208 2686.92/2693.61 c #Conflicts: 1184000 | #Constraints: 66208 2686.92/2693.61 c #Conflicts: 1185000 | #Constraints: 67208 2686.92/2693.61 c #Conflicts: 1186000 | #Constraints: 68208 2686.92/2693.61 c #Conflicts: 1187000 | #Constraints: 69208 2686.92/2693.61 c #Conflicts: 1188000 | #Constraints: 70208 2686.92/2693.61 c #Conflicts: 1189000 | #Constraints: 71208 2686.92/2693.61 c #Conflicts: 1190000 | #Constraints: 72208 2686.92/2693.61 c INPROCESSING 2686.92/2693.61 c GARBAGE COLLECT 2686.92/2693.61 c rational objective 70 2737.98/2744.80 c #Conflicts: 1191000 | #Constraints: 51600 2737.98/2744.80 c #Conflicts: 1192000 | #Constraints: 52600 2737.98/2744.80 c #Conflicts: 1193000 | #Constraints: 53600 2737.98/2744.80 c #Conflicts: 1194000 | #Constraints: 54600 2737.98/2744.80 c #Conflicts: 1195000 | #Constraints: 55600 2737.98/2744.80 c #Conflicts: 1196000 | #Constraints: 56600 2737.98/2744.80 c #Conflicts: 1197000 | #Constraints: 57600 2737.98/2744.80 c #Conflicts: 1198000 | #Constraints: 58600 2737.98/2744.80 c #Conflicts: 1199000 | #Constraints: 59600 2737.98/2744.80 c #Conflicts: 1200000 | #Constraints: 60600 2737.98/2744.80 c #Conflicts: 1201000 | #Constraints: 61600 2737.98/2744.80 c #Conflicts: 1202000 | #Constraints: 62600 2737.98/2744.80 c #Conflicts: 1203000 | #Constraints: 63600 2737.98/2744.80 c #Conflicts: 1204000 | #Constraints: 64600 2737.98/2744.80 c #Conflicts: 1205000 | #Constraints: 65600 2737.98/2744.80 c #Conflicts: 1206000 | #Constraints: 66600 2737.98/2744.80 c #Conflicts: 1207000 | #Constraints: 67600 2737.98/2744.80 c #Conflicts: 1208000 | #Constraints: 68600 2737.98/2744.80 c #Conflicts: 1209000 | #Constraints: 69600 2737.98/2744.80 c #Conflicts: 1210000 | #Constraints: 70600 2737.98/2744.80 c #Conflicts: 1211000 | #Constraints: 71600 2737.98/2744.80 c #Conflicts: 1212000 | #Constraints: 72600 2737.98/2744.80 c INPROCESSING 2737.98/2744.80 c GARBAGE COLLECT 2737.98/2744.80 c rational objective 70 2771.20/2778.13 c #Conflicts: 1213000 | #Constraints: 51769 2771.20/2778.13 c #Conflicts: 1214000 | #Constraints: 52769 2771.20/2778.13 c #Conflicts: 1215000 | #Constraints: 53769 2771.20/2778.13 c #Conflicts: 1216000 | #Constraints: 54769 2771.20/2778.13 c #Conflicts: 1217000 | #Constraints: 55769 2771.20/2778.13 c #Conflicts: 1218000 | #Constraints: 56769 2771.20/2778.13 c #Conflicts: 1219000 | #Constraints: 57769 2771.20/2778.13 c #Conflicts: 1220000 | #Constraints: 58769 2771.20/2778.13 c #Conflicts: 1221000 | #Constraints: 59769 2771.20/2778.13 c #Conflicts: 1222000 | #Constraints: 60769 2771.20/2778.13 c #Conflicts: 1223000 | #Constraints: 61769 2771.20/2778.13 c #Conflicts: 1224000 | #Constraints: 62769 2771.20/2778.13 c #Conflicts: 1225000 | #Constraints: 63769 2771.20/2778.13 c #Conflicts: 1226000 | #Constraints: 64769 2771.20/2778.13 c #Conflicts: 1227000 | #Constraints: 65769 2771.20/2778.13 c #Conflicts: 1228000 | #Constraints: 66769 2771.20/2778.13 c #Conflicts: 1229000 | #Constraints: 67769 2771.20/2778.13 c #Conflicts: 1230000 | #Constraints: 68769 2771.20/2778.13 c #Conflicts: 1231000 | #Constraints: 69769 2771.20/2778.13 c #Conflicts: 1232000 | #Constraints: 70769 2771.20/2778.13 c #Conflicts: 1233000 | #Constraints: 71769 2771.20/2778.13 c #Conflicts: 1234000 | #Constraints: 72769 2771.20/2778.13 c INPROCESSING 2771.20/2778.13 c GARBAGE COLLECT 2771.20/2778.13 c rational objective 70 2812.61/2819.64 c bounds - >= 80 @ 2754.24 2812.61/2819.64 c #Conflicts: 1235000 | #Constraints: 51756 2812.61/2819.64 c #Conflicts: 1236000 | #Constraints: 52756 2812.61/2819.64 c #Conflicts: 1237000 | #Constraints: 53756 2812.61/2819.64 c #Conflicts: 1238000 | #Constraints: 54756 2812.61/2819.64 c #Conflicts: 1239000 | #Constraints: 55756 2812.61/2819.64 c #Conflicts: 1240000 | #Constraints: 56756 2812.61/2819.64 c #Conflicts: 1241000 | #Constraints: 57756 2812.61/2819.64 c #Conflicts: 1242000 | #Constraints: 58756 2812.61/2819.64 c #Conflicts: 1243000 | #Constraints: 59756 2812.61/2819.64 c #Conflicts: 1244000 | #Constraints: 60756 2812.61/2819.64 c #Conflicts: 1245000 | #Constraints: 61756 2812.61/2819.64 c #Conflicts: 1246000 | #Constraints: 62757 2812.61/2819.64 c #Conflicts: 1247000 | #Constraints: 63757 2812.61/2819.64 c #Conflicts: 1248000 | #Constraints: 64757 2812.61/2819.64 c #Conflicts: 1249000 | #Constraints: 65757 2812.61/2819.64 c #Conflicts: 1250000 | #Constraints: 66757 2812.61/2819.64 c #Conflicts: 1251000 | #Constraints: 67757 2812.61/2819.64 c #Conflicts: 1252000 | #Constraints: 68757 2812.61/2819.64 c #Conflicts: 1253000 | #Constraints: 69757 2812.61/2819.64 c #Conflicts: 1254000 | #Constraints: 70757 2812.61/2819.64 c #Conflicts: 1255000 | #Constraints: 71757 2812.61/2819.64 c #Conflicts: 1256000 | #Constraints: 72757 2812.61/2819.64 c INPROCESSING 2812.61/2819.64 c GARBAGE COLLECT 2812.61/2819.64 c rational objective 80 2837.84/2845.00 c #Conflicts: 1257000 | #Constraints: 51632 2837.84/2845.00 c #Conflicts: 1258000 | #Constraints: 52632 2837.84/2845.00 c #Conflicts: 1259000 | #Constraints: 53632 2837.84/2845.00 c #Conflicts: 1260000 | #Constraints: 54632 2837.84/2845.00 c #Conflicts: 1261000 | #Constraints: 55632 2837.84/2845.00 c #Conflicts: 1262000 | #Constraints: 56632 2837.84/2845.00 c #Conflicts: 1263000 | #Constraints: 57632 2837.84/2845.00 c #Conflicts: 1264000 | #Constraints: 58632 2837.84/2845.00 c #Conflicts: 1265000 | #Constraints: 59632 2837.84/2845.00 c #Conflicts: 1266000 | #Constraints: 60632 2837.84/2845.00 c #Conflicts: 1267000 | #Constraints: 61632 2837.84/2845.00 c #Conflicts: 1268000 | #Constraints: 62632 2837.84/2845.00 c #Conflicts: 1269000 | #Constraints: 63632 2837.84/2845.00 c #Conflicts: 1270000 | #Constraints: 64632 2837.84/2845.00 c #Conflicts: 1271000 | #Constraints: 65632 2837.84/2845.00 c #Conflicts: 1272000 | #Constraints: 66632 2837.84/2845.00 c #Conflicts: 1273000 | #Constraints: 67632 2837.84/2845.00 c #Conflicts: 1274000 | #Constraints: 68632 2837.84/2845.00 c #Conflicts: 1275000 | #Constraints: 69632 2837.84/2845.00 c #Conflicts: 1276000 | #Constraints: 70632 2837.84/2845.00 c #Conflicts: 1277000 | #Constraints: 71632 2837.84/2845.00 c #Conflicts: 1278000 | #Constraints: 72632 2837.84/2845.00 c #Conflicts: 1279000 | #Constraints: 73632 2837.84/2845.00 c INPROCESSING 2837.84/2845.00 c GARBAGE COLLECT 2837.84/2845.00 c rational objective 80 2893.92/2901.10 c #Conflicts: 1280000 | #Constraints: 52221 2893.92/2901.10 c #Conflicts: 1281000 | #Constraints: 53221 2893.92/2901.10 c #Conflicts: 1282000 | #Constraints: 54221 2893.92/2901.10 c #Conflicts: 1283000 | #Constraints: 55221 2893.92/2901.10 c #Conflicts: 1284000 | #Constraints: 56221 2893.92/2901.10 c #Conflicts: 1285000 | #Constraints: 57221 2893.92/2901.10 c #Conflicts: 1286000 | #Constraints: 58221 2893.92/2901.10 c #Conflicts: 1287000 | #Constraints: 59221 2893.92/2901.10 c #Conflicts: 1288000 | #Constraints: 60221 2893.92/2901.10 c #Conflicts: 1289000 | #Constraints: 61221 2893.92/2901.10 c #Conflicts: 1290000 | #Constraints: 62221 2893.92/2901.10 c #Conflicts: 1291000 | #Constraints: 63221 2893.92/2901.10 c #Conflicts: 1292000 | #Constraints: 64221 2893.92/2901.10 c #Conflicts: 1293000 | #Constraints: 65221 2893.92/2901.10 c #Conflicts: 1294000 | #Constraints: 66221 2893.92/2901.10 c #Conflicts: 1295000 | #Constraints: 67221 2893.92/2901.10 c #Conflicts: 1296000 | #Constraints: 68221 2893.92/2901.10 c #Conflicts: 1297000 | #Constraints: 69221 2893.92/2901.10 c #Conflicts: 1298000 | #Constraints: 70221 2893.92/2901.10 c #Conflicts: 1299000 | #Constraints: 71221 2893.92/2901.10 c #Conflicts: 1300000 | #Constraints: 72221 2893.92/2901.10 c #Conflicts: 1301000 | #Constraints: 73221 2893.92/2901.10 c #Conflicts: 1302000 | #Constraints: 74221 2893.92/2901.10 c INPROCESSING 2893.92/2901.10 c GARBAGE COLLECT 2893.92/2901.10 c rational objective 80 2933.33/2940.69 c #Conflicts: 1303000 | #Constraints: 52570 2933.33/2940.69 c #Conflicts: 1304000 | #Constraints: 53570 2933.33/2940.69 c #Conflicts: 1305000 | #Constraints: 54570 2933.33/2940.69 c #Conflicts: 1306000 | #Constraints: 55570 2933.33/2940.69 c #Conflicts: 1307000 | #Constraints: 56570 2933.33/2940.69 c #Conflicts: 1308000 | #Constraints: 57570 2933.33/2940.69 c #Conflicts: 1309000 | #Constraints: 58570 2933.33/2940.69 c #Conflicts: 1310000 | #Constraints: 59570 2933.33/2940.69 c #Conflicts: 1311000 | #Constraints: 60570 2933.33/2940.69 c #Conflicts: 1312000 | #Constraints: 61570 2933.33/2940.69 c #Conflicts: 1313000 | #Constraints: 62570 2933.33/2940.69 c #Conflicts: 1314000 | #Constraints: 63570 2933.33/2940.69 c #Conflicts: 1315000 | #Constraints: 64570 2933.33/2940.69 c #Conflicts: 1316000 | #Constraints: 65570 2933.33/2940.69 c #Conflicts: 1317000 | #Constraints: 66570 2933.33/2940.69 c #Conflicts: 1318000 | #Constraints: 67570 2933.33/2940.69 c #Conflicts: 1319000 | #Constraints: 68570 2933.33/2940.69 c #Conflicts: 1320000 | #Constraints: 69570 2933.33/2940.69 c #Conflicts: 1321000 | #Constraints: 70570 2933.33/2940.69 c #Conflicts: 1322000 | #Constraints: 71570 2933.33/2940.69 c #Conflicts: 1323000 | #Constraints: 72570 2933.33/2940.69 c #Conflicts: 1324000 | #Constraints: 73570 2933.33/2940.69 c #Conflicts: 1325000 | #Constraints: 74570 2933.33/2940.69 c INPROCESSING 2933.33/2940.69 c GARBAGE COLLECT 2933.33/2940.69 c rational objective 80 2966.84/2974.24 c #Conflicts: 1326000 | #Constraints: 52736 2966.84/2974.24 c #Conflicts: 1327000 | #Constraints: 53736 2966.84/2974.24 c #Conflicts: 1328000 | #Constraints: 54736 2966.84/2974.24 c #Conflicts: 1329000 | #Constraints: 55736 2966.84/2974.24 c #Conflicts: 1330000 | #Constraints: 56736 2966.84/2974.24 c #Conflicts: 1331000 | #Constraints: 57736 2966.84/2974.24 c #Conflicts: 1332000 | #Constraints: 58736 2966.84/2974.24 c #Conflicts: 1333000 | #Constraints: 59736 2966.84/2974.24 c #Conflicts: 1334000 | #Constraints: 60736 2966.84/2974.24 c #Conflicts: 1335000 | #Constraints: 61736 2966.84/2974.24 c #Conflicts: 1336000 | #Constraints: 62736 2966.84/2974.24 c #Conflicts: 1337000 | #Constraints: 63736 2966.84/2974.24 c #Conflicts: 1338000 | #Constraints: 64736 2966.84/2974.24 c #Conflicts: 1339000 | #Constraints: 65736 2966.84/2974.24 c #Conflicts: 1340000 | #Constraints: 66736 2966.84/2974.24 c #Conflicts: 1341000 | #Constraints: 67736 2966.84/2974.24 c #Conflicts: 1342000 | #Constraints: 68736 2966.84/2974.24 c #Conflicts: 1343000 | #Constraints: 69736 2966.84/2974.24 c #Conflicts: 1344000 | #Constraints: 70736 2966.84/2974.24 c #Conflicts: 1345000 | #Constraints: 71736 2966.84/2974.24 c #Conflicts: 1346000 | #Constraints: 72736 2966.84/2974.24 c #Conflicts: 1347000 | #Constraints: 73736 2966.84/2974.24 c #Conflicts: 1348000 | #Constraints: 74736 2966.84/2974.24 c INPROCESSING 2966.84/2974.24 c GARBAGE COLLECT 2966.84/2974.24 c rational objective 80 3003.86/3011.39 c #Conflicts: 1349000 | #Constraints: 52706 3003.86/3011.39 c #Conflicts: 1350000 | #Constraints: 53706 3003.86/3011.39 c #Conflicts: 1351000 | #Constraints: 54706 3003.86/3011.39 c #Conflicts: 1352000 | #Constraints: 55706 3003.86/3011.39 c #Conflicts: 1353000 | #Constraints: 56706 3003.86/3011.39 c #Conflicts: 1354000 | #Constraints: 57706 3003.86/3011.39 c #Conflicts: 1355000 | #Constraints: 58706 3003.86/3011.39 c #Conflicts: 1356000 | #Constraints: 59706 3003.86/3011.39 c #Conflicts: 1357000 | #Constraints: 60706 3003.86/3011.39 c #Conflicts: 1358000 | #Constraints: 61706 3003.86/3011.39 c #Conflicts: 1359000 | #Constraints: 62706 3003.86/3011.39 c #Conflicts: 1360000 | #Constraints: 63706 3003.86/3011.39 c #Conflicts: 1361000 | #Constraints: 64706 3003.86/3011.39 c #Conflicts: 1362000 | #Constraints: 65706 3003.86/3011.39 c #Conflicts: 1363000 | #Constraints: 66706 3003.86/3011.39 c #Conflicts: 1364000 | #Constraints: 67706 3003.86/3011.39 c #Conflicts: 1365000 | #Constraints: 68706 3003.86/3011.39 c #Conflicts: 1366000 | #Constraints: 69706 3003.86/3011.39 c #Conflicts: 1367000 | #Constraints: 70706 3003.86/3011.39 c #Conflicts: 1368000 | #Constraints: 71706 3003.86/3011.39 c #Conflicts: 1369000 | #Constraints: 72706 3003.86/3011.39 c #Conflicts: 1370000 | #Constraints: 73706 3003.86/3011.39 c #Conflicts: 1371000 | #Constraints: 74706 3003.86/3011.39 c INPROCESSING 3003.86/3011.39 c GARBAGE COLLECT 3003.86/3011.39 c rational objective 80 3051.55/3059.17 c #Conflicts: 1372000 | #Constraints: 52489 3051.55/3059.17 c #Conflicts: 1373000 | #Constraints: 53489 3051.55/3059.17 c #Conflicts: 1374000 | #Constraints: 54489 3051.55/3059.17 c #Conflicts: 1375000 | #Constraints: 55489 3051.55/3059.17 c #Conflicts: 1376000 | #Constraints: 56489 3051.55/3059.17 c #Conflicts: 1377000 | #Constraints: 57489 3051.55/3059.17 c #Conflicts: 1378000 | #Constraints: 58489 3051.55/3059.17 c #Conflicts: 1379000 | #Constraints: 59489 3051.55/3059.17 c #Conflicts: 1380000 | #Constraints: 60489 3051.55/3059.17 c #Conflicts: 1381000 | #Constraints: 61489 3051.55/3059.17 c #Conflicts: 1382000 | #Constraints: 62489 3051.55/3059.17 c #Conflicts: 1383000 | #Constraints: 63489 3051.55/3059.17 c #Conflicts: 1384000 | #Constraints: 64489 3051.55/3059.17 c #Conflicts: 1385000 | #Constraints: 65489 3051.55/3059.17 c #Conflicts: 1386000 | #Constraints: 66489 3051.55/3059.17 c #Conflicts: 1387000 | #Constraints: 67489 3051.55/3059.17 c #Conflicts: 1388000 | #Constraints: 68489 3051.55/3059.17 c #Conflicts: 1389000 | #Constraints: 69489 3051.55/3059.17 c #Conflicts: 1390000 | #Constraints: 70489 3051.55/3059.17 c #Conflicts: 1391000 | #Constraints: 71489 3051.55/3059.17 c #Conflicts: 1392000 | #Constraints: 72489 3051.55/3059.17 c #Conflicts: 1393000 | #Constraints: 73489 3051.55/3059.17 c #Conflicts: 1394000 | #Constraints: 74489 3051.55/3059.17 c #Conflicts: 1395000 | #Constraints: 75489 3051.55/3059.17 c INPROCESSING 3051.55/3059.17 c GARBAGE COLLECT 3051.55/3059.17 c rational objective 80 3085.08/3092.78 c #Conflicts: 1396000 | #Constraints: 53088 3085.08/3092.78 c #Conflicts: 1397000 | #Constraints: 54088 3085.08/3092.78 c #Conflicts: 1398000 | #Constraints: 55088 3085.08/3092.78 c #Conflicts: 1399000 | #Constraints: 56088 3085.08/3092.78 c #Conflicts: 1400000 | #Constraints: 57088 3085.08/3092.78 c #Conflicts: 1401000 | #Constraints: 58088 3085.08/3092.78 c #Conflicts: 1402000 | #Constraints: 59088 3085.08/3092.78 c #Conflicts: 1403000 | #Constraints: 60088 3085.08/3092.78 c #Conflicts: 1404000 | #Constraints: 61088 3085.08/3092.78 c #Conflicts: 1405000 | #Constraints: 62088 3085.08/3092.78 c #Conflicts: 1406000 | #Constraints: 63088 3085.08/3092.78 c #Conflicts: 1407000 | #Constraints: 64088 3085.08/3092.78 c #Conflicts: 1408000 | #Constraints: 65088 3085.08/3092.78 c #Conflicts: 1409000 | #Constraints: 66088 3085.08/3092.78 c #Conflicts: 1410000 | #Constraints: 67088 3085.08/3092.78 c #Conflicts: 1411000 | #Constraints: 68088 3085.08/3092.78 c #Conflicts: 1412000 | #Constraints: 69088 3085.08/3092.78 c #Conflicts: 1413000 | #Constraints: 70088 3085.08/3092.78 c #Conflicts: 1414000 | #Constraints: 71088 3085.08/3092.78 c #Conflicts: 1415000 | #Constraints: 72088 3085.08/3092.78 c #Conflicts: 1416000 | #Constraints: 73088 3085.08/3092.78 c #Conflicts: 1417000 | #Constraints: 74088 3085.08/3092.78 c #Conflicts: 1418000 | #Constraints: 75088 3085.08/3092.78 c #Conflicts: 1419000 | #Constraints: 76088 3085.08/3092.78 c INPROCESSING 3085.08/3092.78 c GARBAGE COLLECT 3085.08/3092.78 c rational objective 80 3114.90/3122.62 c #Conflicts: 1420000 | #Constraints: 53485 3114.90/3122.62 c #Conflicts: 1421000 | #Constraints: 54485 3114.90/3122.62 c #Conflicts: 1422000 | #Constraints: 55485 3114.90/3122.62 c #Conflicts: 1423000 | #Constraints: 56486 3114.90/3122.62 c #Conflicts: 1424000 | #Constraints: 57486 3114.90/3122.62 c #Conflicts: 1425000 | #Constraints: 58486 3114.90/3122.62 c #Conflicts: 1426000 | #Constraints: 59486 3114.90/3122.62 c #Conflicts: 1427000 | #Constraints: 60486 3114.90/3122.62 c #Conflicts: 1428000 | #Constraints: 61486 3114.90/3122.62 c #Conflicts: 1429000 | #Constraints: 62486 3114.90/3122.62 c #Conflicts: 1430000 | #Constraints: 63486 3114.90/3122.62 c #Conflicts: 1431000 | #Constraints: 64486 3114.90/3122.62 c #Conflicts: 1432000 | #Constraints: 65486 3114.90/3122.62 c #Conflicts: 1433000 | #Constraints: 66486 3114.90/3122.62 c #Conflicts: 1434000 | #Constraints: 67486 3114.90/3122.62 c #Conflicts: 1435000 | #Constraints: 68486 3114.90/3122.62 c #Conflicts: 1436000 | #Constraints: 69486 3114.90/3122.62 c #Conflicts: 1437000 | #Constraints: 70486 3114.90/3122.62 c #Conflicts: 1438000 | #Constraints: 71487 3114.90/3122.62 c #Conflicts: 1439000 | #Constraints: 72487 3114.90/3122.62 c #Conflicts: 1440000 | #Constraints: 73487 3114.90/3122.62 c #Conflicts: 1441000 | #Constraints: 74487 3114.90/3122.62 c #Conflicts: 1442000 | #Constraints: 75487 3114.90/3122.62 c #Conflicts: 1443000 | #Constraints: 76487 3114.90/3122.62 c INPROCESSING 3114.90/3122.62 c GARBAGE COLLECT 3114.90/3122.62 WSVECS04 Frhs2[4100]: 6 0 3.50007 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[4578]: 6 0 3.50001 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[4580]: 6 0 3.50004 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[4818]: 6 0 3.50001 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[5060]: 6 0 3.50005 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[6258]: 6 0 3.50008 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[6260]: 6 0 3.50004 shouldn't be 3114.90/3122.62 WSVECS04 Frhs2[7583]: 6 -10 0 shouldn't be 3169.29/3177.14 c rational objective 80 3194.82/3202.71 c #Conflicts: 1444000 | #Constraints: 53654 3194.82/3202.71 c #Conflicts: 1445000 | #Constraints: 54655 3194.82/3202.71 c #Conflicts: 1446000 | #Constraints: 55655 3194.82/3202.71 c #Conflicts: 1447000 | #Constraints: 56655 3194.82/3202.71 c #Conflicts: 1448000 | #Constraints: 57655 3194.82/3202.71 c #Conflicts: 1449000 | #Constraints: 58655 3194.82/3202.71 c #Conflicts: 1450000 | #Constraints: 59655 3194.82/3202.71 c #Conflicts: 1451000 | #Constraints: 60655 3194.82/3202.71 c #Conflicts: 1452000 | #Constraints: 61655 3194.82/3202.71 c #Conflicts: 1453000 | #Constraints: 62655 3194.82/3202.71 c #Conflicts: 1454000 | #Constraints: 63655 3194.82/3202.71 c #Conflicts: 1455000 | #Constraints: 64655 3194.82/3202.71 c #Conflicts: 1456000 | #Constraints: 65655 3194.82/3202.71 c #Conflicts: 1457000 | #Constraints: 66655 3194.82/3202.71 c #Conflicts: 1458000 | #Constraints: 67655 3194.82/3202.71 c #Conflicts: 1459000 | #Constraints: 68655 3194.82/3202.71 c #Conflicts: 1460000 | #Constraints: 69655 3194.82/3202.71 c #Conflicts: 1461000 | #Constraints: 70655 3194.82/3202.71 c #Conflicts: 1462000 | #Constraints: 71655 3194.82/3202.71 c #Conflicts: 1463000 | #Constraints: 72655 3194.82/3202.71 c #Conflicts: 1464000 | #Constraints: 73655 3194.82/3202.71 c #Conflicts: 1465000 | #Constraints: 74655 3194.82/3202.71 c #Conflicts: 1466000 | #Constraints: 75655 3194.82/3202.71 c #Conflicts: 1467000 | #Constraints: 76655 3194.82/3202.71 c INPROCESSING 3194.82/3202.71 c GARBAGE COLLECT 3194.82/3202.71 c rational objective 80 3238.02/3246.04 c #Conflicts: 1468000 | #Constraints: 53633 3238.02/3246.04 c #Conflicts: 1469000 | #Constraints: 54633 3238.02/3246.04 c #Conflicts: 1470000 | #Constraints: 55633 3238.02/3246.04 c #Conflicts: 1471000 | #Constraints: 56633 3238.02/3246.04 c #Conflicts: 1472000 | #Constraints: 57633 3238.02/3246.04 c #Conflicts: 1473000 | #Constraints: 58633 3238.02/3246.04 c #Conflicts: 1474000 | #Constraints: 59633 3238.02/3246.04 c #Conflicts: 1475000 | #Constraints: 60633 3238.02/3246.04 c #Conflicts: 1476000 | #Constraints: 61633 3238.02/3246.04 c #Conflicts: 1477000 | #Constraints: 62633 3238.02/3246.04 c #Conflicts: 1478000 | #Constraints: 63633 3238.02/3246.04 c #Conflicts: 1479000 | #Constraints: 64633 3238.02/3246.04 c #Conflicts: 1480000 | #Constraints: 65633 3238.02/3246.04 c #Conflicts: 1481000 | #Constraints: 66633 3238.02/3246.04 c #Conflicts: 1482000 | #Constraints: 67633 3238.02/3246.04 c #Conflicts: 1483000 | #Constraints: 68633 3238.02/3246.04 c #Conflicts: 1484000 | #Constraints: 69633 3238.02/3246.04 c #Conflicts: 1485000 | #Constraints: 70633 3238.02/3246.04 c #Conflicts: 1486000 | #Constraints: 71633 3238.02/3246.04 c #Conflicts: 1487000 | #Constraints: 72633 3238.02/3246.04 c #Conflicts: 1488000 | #Constraints: 73633 3238.02/3246.04 c #Conflicts: 1489000 | #Constraints: 74633 3238.02/3246.04 c #Conflicts: 1490000 | #Constraints: 75633 3238.02/3246.04 c #Conflicts: 1491000 | #Constraints: 76633 3238.02/3246.04 c INPROCESSING 3238.02/3246.04 c GARBAGE COLLECT 3238.02/3246.04 c rational objective 80 3278.83/3286.99 c #Conflicts: 1492000 | #Constraints: 53422 3278.83/3286.99 c #Conflicts: 1493000 | #Constraints: 54422 3278.83/3286.99 c #Conflicts: 1494000 | #Constraints: 55422 3278.83/3286.99 c #Conflicts: 1495000 | #Constraints: 56422 3278.83/3286.99 c #Conflicts: 1496000 | #Constraints: 57422 3278.83/3286.99 c #Conflicts: 1497000 | #Constraints: 58422 3278.83/3286.99 c #Conflicts: 1498000 | #Constraints: 59422 3278.83/3286.99 c #Conflicts: 1499000 | #Constraints: 60422 3278.83/3286.99 c #Conflicts: 1500000 | #Constraints: 61422 3278.83/3286.99 c #Conflicts: 1501000 | #Constraints: 62422 3278.83/3286.99 c #Conflicts: 1502000 | #Constraints: 63422 3278.83/3286.99 c #Conflicts: 1503000 | #Constraints: 64422 3278.83/3286.99 c #Conflicts: 1504000 | #Constraints: 65422 3278.83/3286.99 c #Conflicts: 1505000 | #Constraints: 66422 3278.83/3286.99 c #Conflicts: 1506000 | #Constraints: 67422 3278.83/3286.99 c #Conflicts: 1507000 | #Constraints: 68422 3278.83/3286.99 c #Conflicts: 1508000 | #Constraints: 69422 3278.83/3286.99 c #Conflicts: 1509000 | #Constraints: 70422 3278.83/3286.99 c #Conflicts: 1510000 | #Constraints: 71422 3278.83/3286.99 c #Conflicts: 1511000 | #Constraints: 72422 3278.83/3286.99 c #Conflicts: 1512000 | #Constraints: 73422 3278.83/3286.99 c #Conflicts: 1513000 | #Constraints: 74422 3278.83/3286.99 c #Conflicts: 1514000 | #Constraints: 75422 3278.83/3286.99 c #Conflicts: 1515000 | #Constraints: 76422 3278.83/3286.99 c #Conflicts: 1516000 | #Constraints: 77422 3278.83/3286.99 c INPROCESSING 3278.83/3286.99 c GARBAGE COLLECT 3278.83/3286.99 c rational objective 80 3342.38/3350.67 c #Conflicts: 1517000 | #Constraints: 54011 3342.38/3350.67 c #Conflicts: 1518000 | #Constraints: 55011 3342.38/3350.67 c #Conflicts: 1519000 | #Constraints: 56011 3342.38/3350.67 c #Conflicts: 1520000 | #Constraints: 57011 3342.38/3350.67 c #Conflicts: 1521000 | #Constraints: 58011 3342.38/3350.67 c #Conflicts: 1522000 | #Constraints: 59011 3342.38/3350.67 c #Conflicts: 1523000 | #Constraints: 60011 3342.38/3350.67 c #Conflicts: 1524000 | #Constraints: 61011 3342.38/3350.67 c #Conflicts: 1525000 | #Constraints: 62011 3342.38/3350.67 c #Conflicts: 1526000 | #Constraints: 63011 3342.38/3350.67 c #Conflicts: 1527000 | #Constraints: 64011 3342.38/3350.67 c #Conflicts: 1528000 | #Constraints: 65011 3342.38/3350.67 c #Conflicts: 1529000 | #Constraints: 66011 3342.38/3350.67 c #Conflicts: 1530000 | #Constraints: 67011 3342.38/3350.67 c #Conflicts: 1531000 | #Constraints: 68011 3342.38/3350.67 c #Conflicts: 1532000 | #Constraints: 69011 3342.38/3350.67 c #Conflicts: 1533000 | #Constraints: 70011 3342.38/3350.67 c #Conflicts: 1534000 | #Constraints: 71011 3342.38/3350.67 c #Conflicts: 1535000 | #Constraints: 72011 3342.38/3350.67 c #Conflicts: 1536000 | #Constraints: 73011 3342.38/3350.67 c #Conflicts: 1537000 | #Constraints: 74011 3342.38/3350.67 c #Conflicts: 1538000 | #Constraints: 75011 3342.38/3350.67 c #Conflicts: 1539000 | #Constraints: 76011 3342.38/3350.67 c #Conflicts: 1540000 | #Constraints: 77011 3342.38/3350.67 c #Conflicts: 1541000 | #Constraints: 78011 3342.38/3350.67 c INPROCESSING 3342.38/3350.67 c GARBAGE COLLECT 3342.38/3350.67 c rational objective 80 3376.61/3384.90 c #Conflicts: 1542000 | #Constraints: 54412 3376.61/3384.90 c #Conflicts: 1543000 | #Constraints: 55412 3376.61/3384.90 c #Conflicts: 1544000 | #Constraints: 56412 3376.61/3384.90 c #Conflicts: 1545000 | #Constraints: 57412 3376.61/3384.90 c #Conflicts: 1546000 | #Constraints: 58412 3376.61/3384.90 c #Conflicts: 1547000 | #Constraints: 59412 3376.61/3384.90 c #Conflicts: 1548000 | #Constraints: 60412 3376.61/3384.90 c #Conflicts: 1549000 | #Constraints: 61412 3376.61/3384.90 c #Conflicts: 1550000 | #Constraints: 62412 3376.61/3384.90 c #Conflicts: 1551000 | #Constraints: 63412 3376.61/3384.90 c #Conflicts: 1552000 | #Constraints: 64412 3376.61/3384.90 c #Conflicts: 1553000 | #Constraints: 65412 3376.61/3384.90 c #Conflicts: 1554000 | #Constraints: 66412 3376.61/3384.90 c #Conflicts: 1555000 | #Constraints: 67412 3376.61/3384.90 c #Conflicts: 1556000 | #Constraints: 68412 3376.61/3384.90 c #Conflicts: 1557000 | #Constraints: 69412 3376.61/3384.90 c #Conflicts: 1558000 | #Constraints: 70412 3376.61/3384.90 c #Conflicts: 1559000 | #Constraints: 71412 3376.61/3384.90 c #Conflicts: 1560000 | #Constraints: 72412 3376.61/3384.90 c #Conflicts: 1561000 | #Constraints: 73412 3376.61/3384.90 c #Conflicts: 1562000 | #Constraints: 74412 3376.61/3384.90 c #Conflicts: 1563000 | #Constraints: 75412 3376.61/3384.90 c #Conflicts: 1564000 | #Constraints: 76412 3376.61/3384.90 c #Conflicts: 1565000 | #Constraints: 77412 3376.61/3384.90 c #Conflicts: 1566000 | #Constraints: 78412 3376.61/3384.90 c INPROCESSING 3376.61/3384.90 c GARBAGE COLLECT 3376.61/3384.90 c rational objective 80 3423.40/3431.81 c #Conflicts: 1567000 | #Constraints: 54613 3423.40/3431.81 c #Conflicts: 1568000 | #Constraints: 55613 3423.40/3431.81 c #Conflicts: 1569000 | #Constraints: 56613 3423.40/3431.81 c #Conflicts: 1570000 | #Constraints: 57613 3423.40/3431.81 c #Conflicts: 1571000 | #Constraints: 58613 3423.40/3431.81 c #Conflicts: 1572000 | #Constraints: 59613 3423.40/3431.81 c #Conflicts: 1573000 | #Constraints: 60613 3423.40/3431.81 c #Conflicts: 1574000 | #Constraints: 61613 3423.40/3431.81 c #Conflicts: 1575000 | #Constraints: 62613 3423.40/3431.81 c #Conflicts: 1576000 | #Constraints: 63613 3423.40/3431.81 c #Conflicts: 1577000 | #Constraints: 64613 3423.40/3431.81 c #Conflicts: 1578000 | #Constraints: 65613 3423.40/3431.81 c #Conflicts: 1579000 | #Constraints: 66613 3423.40/3431.81 c #Conflicts: 1580000 | #Constraints: 67613 3423.40/3431.81 c #Conflicts: 1581000 | #Constraints: 68613 3423.40/3431.81 c #Conflicts: 1582000 | #Constraints: 69613 3423.40/3431.81 c #Conflicts: 1583000 | #Constraints: 70613 3423.40/3431.81 c #Conflicts: 1584000 | #Constraints: 71613 3423.40/3431.81 c #Conflicts: 1585000 | #Constraints: 72613 3423.40/3431.81 c #Conflicts: 1586000 | #Constraints: 73613 3423.40/3431.81 c #Conflicts: 1587000 | #Constraints: 74613 3423.40/3431.81 c #Conflicts: 1588000 | #Constraints: 75613 3423.40/3431.81 c #Conflicts: 1589000 | #Constraints: 76613 3423.40/3431.81 c #Conflicts: 1590000 | #Constraints: 77613 3423.40/3431.81 c #Conflicts: 1591000 | #Constraints: 78613 3423.40/3431.81 c INPROCESSING 3423.40/3431.81 c GARBAGE COLLECT 3423.40/3431.81 c rational objective 80 3481.07/3489.60 c #Conflicts: 1592000 | #Constraints: 54608 3481.07/3489.60 c #Conflicts: 1593000 | #Constraints: 55608 3481.07/3489.60 c #Conflicts: 1594000 | #Constraints: 56608 3481.07/3489.60 c #Conflicts: 1595000 | #Constraints: 57608 3481.07/3489.60 c #Conflicts: 1596000 | #Constraints: 58608 3481.07/3489.60 c #Conflicts: 1597000 | #Constraints: 59608 3481.07/3489.60 c #Conflicts: 1598000 | #Constraints: 60608 3481.07/3489.60 c #Conflicts: 1599000 | #Constraints: 61608 3481.07/3489.60 c #Conflicts: 1600000 | #Constraints: 62608 3481.07/3489.60 c #Conflicts: 1601000 | #Constraints: 63608 3481.07/3489.60 c #Conflicts: 1602000 | #Constraints: 64608 3481.07/3489.60 c #Conflicts: 1603000 | #Constraints: 65608 3481.07/3489.60 c #Conflicts: 1604000 | #Constraints: 66608 3481.07/3489.60 c #Conflicts: 1605000 | #Constraints: 67608 3481.07/3489.60 c #Conflicts: 1606000 | #Constraints: 68608 3481.07/3489.60 c #Conflicts: 1607000 | #Constraints: 69608 3481.07/3489.60 c #Conflicts: 1608000 | #Constraints: 70608 3481.07/3489.60 c #Conflicts: 1609000 | #Constraints: 71608 3481.07/3489.60 c #Conflicts: 1610000 | #Constraints: 72608 3481.07/3489.60 c #Conflicts: 1611000 | #Constraints: 73608 3481.07/3489.60 c #Conflicts: 1612000 | #Constraints: 74608 3481.07/3489.60 c #Conflicts: 1613000 | #Constraints: 75608 3481.07/3489.60 c #Conflicts: 1614000 | #Constraints: 76608 3481.07/3489.60 c #Conflicts: 1615000 | #Constraints: 77608 3481.07/3489.60 c #Conflicts: 1616000 | #Constraints: 78608 3481.07/3489.60 c INPROCESSING 3481.07/3489.60 c GARBAGE COLLECT 3481.07/3489.60 c rational objective 80 3508.61/3517.20 c #Conflicts: 1617000 | #Constraints: 54411 3508.61/3517.20 c #Conflicts: 1618000 | #Constraints: 55411 3508.61/3517.20 c #Conflicts: 1619000 | #Constraints: 56411 3508.61/3517.20 c #Conflicts: 1620000 | #Constraints: 57411 3508.61/3517.20 c #Conflicts: 1621000 | #Constraints: 58411 3508.61/3517.20 c #Conflicts: 1622000 | #Constraints: 59411 3508.61/3517.20 c #Conflicts: 1623000 | #Constraints: 60411 3508.61/3517.20 c #Conflicts: 1624000 | #Constraints: 61411 3508.61/3517.20 c #Conflicts: 1625000 | #Constraints: 62411 3508.61/3517.20 c #Conflicts: 1626000 | #Constraints: 63411 3508.61/3517.20 c #Conflicts: 1627000 | #Constraints: 64411 3508.61/3517.20 c #Conflicts: 1628000 | #Constraints: 65411 3508.61/3517.20 c #Conflicts: 1629000 | #Constraints: 66411 3508.61/3517.20 c #Conflicts: 1630000 | #Constraints: 67411 3508.61/3517.20 c #Conflicts: 1631000 | #Constraints: 68411 3508.61/3517.20 c #Conflicts: 1632000 | #Constraints: 69411 3508.61/3517.20 c #Conflicts: 1633000 | #Constraints: 70411 3508.61/3517.20 c #Conflicts: 1634000 | #Constraints: 71411 3508.61/3517.20 c #Conflicts: 1635000 | #Constraints: 72411 3508.61/3517.20 c #Conflicts: 1636000 | #Constraints: 73411 3508.61/3517.20 c #Conflicts: 1637000 | #Constraints: 74411 3508.61/3517.20 c #Conflicts: 1638000 | #Constraints: 75411 3508.61/3517.20 c #Conflicts: 1639000 | #Constraints: 76411 3508.61/3517.20 c #Conflicts: 1640000 | #Constraints: 77411 3508.61/3517.20 c #Conflicts: 1641000 | #Constraints: 78411 3508.61/3517.20 c #Conflicts: 1642000 | #Constraints: 79411 3508.61/3517.20 c INPROCESSING 3508.61/3517.20 c GARBAGE COLLECT 3508.61/3517.20 c rational objective 80 3554.50/3563.23 c #Conflicts: 1643000 | #Constraints: 55016 3554.50/3563.23 c #Conflicts: 1644000 | #Constraints: 56016 3554.50/3563.23 c #Conflicts: 1645000 | #Constraints: 57016 3554.50/3563.23 c #Conflicts: 1646000 | #Constraints: 58016 3554.50/3563.23 c #Conflicts: 1647000 | #Constraints: 59017 3554.50/3563.23 c #Conflicts: 1648000 | #Constraints: 60017 3554.50/3563.23 c #Conflicts: 1649000 | #Constraints: 61017 3554.50/3563.23 c #Conflicts: 1650000 | #Constraints: 62017 3554.50/3563.23 c #Conflicts: 1651000 | #Constraints: 63017 3554.50/3563.23 c #Conflicts: 1652000 | #Constraints: 64017 3554.50/3563.23 c #Conflicts: 1653000 | #Constraints: 65017 3554.50/3563.23 c #Conflicts: 1654000 | #Constraints: 66017 3554.50/3563.23 c #Conflicts: 1655000 | #Constraints: 67017 3554.50/3563.23 c #Conflicts: 1656000 | #Constraints: 68017 3554.50/3563.23 c #Conflicts: 1657000 | #Constraints: 69017 3554.50/3563.23 c #Conflicts: 1658000 | #Constraints: 70017 3554.50/3563.23 c #Conflicts: 1659000 | #Constraints: 71017 3554.50/3563.23 c #Conflicts: 1660000 | #Constraints: 72017 3554.50/3563.23 c #Conflicts: 1661000 | #Constraints: 73017 3554.50/3563.23 c #Conflicts: 1662000 | #Constraints: 74017 3554.50/3563.23 c #Conflicts: 1663000 | #Constraints: 75017 3554.50/3563.23 c #Conflicts: 1664000 | #Constraints: 76017 3554.50/3563.23 c #Conflicts: 1665000 | #Constraints: 77017 3554.50/3563.23 c #Conflicts: 1666000 | #Constraints: 78017 3554.50/3563.23 c #Conflicts: 1667000 | #Constraints: 79017 3554.50/3563.23 c #Conflicts: 1668000 | #Constraints: 80017 3554.50/3563.23 c INPROCESSING 3554.50/3563.23 c GARBAGE COLLECT 3554.50/3563.23 c rational objective 80 3600.90/3609.72 c #Conflicts: 1669000 | #Constraints: 55413 3600.90/3609.72 c #Conflicts: 1670000 | #Constraints: 56413 3600.90/3609.72 c #Conflicts: 1671000 | #Constraints: 57413 3600.90/3609.72 c #Conflicts: 1672000 | #Constraints: 58413 3600.90/3609.72 c #Conflicts: 1673000 | #Constraints: 59413 3600.90/3609.72 c #Conflicts: 1674000 | #Constraints: 60413 3600.90/3609.72 c #Conflicts: 1675000 | #Constraints: 61413 3600.90/3609.72 c #Conflicts: 1676000 | #Constraints: 62413 3600.90/3609.72 c #Conflicts: 1677000 | #Constraints: 63413 3600.90/3609.72 c #Conflicts: 1678000 | #Constraints: 64413 3600.90/3609.72 c #Conflicts: 1679000 | #Constraints: 65413 3600.90/3609.72 c #Conflicts: 1680000 | #Constraints: 66413 3600.90/3609.72 c #Conflicts: 1681000 | #Constraints: 67413 3600.90/3609.72 c #Conflicts: 1682000 | #Constraints: 68413 3600.90/3609.72 c #Conflicts: 1683000 | #Constraints: 69413 3600.90/3609.72 c #Conflicts: 1684000 | #Constraints: 70413 3600.90/3609.72 c #Conflicts: 1685000 | #Constraints: 71413 3600.90/3609.72 c #Conflicts: 1686000 | #Constraints: 72413 3600.90/3609.72 c #Conflicts: 1687000 | #Constraints: 73413 3600.90/3609.72 c #Conflicts: 1688000 | #Constraints: 74413 3600.90/3609.72 c #Conflicts: 1689000 | #Constraints: 75413 3600.90/3609.72 c #Conflicts: 1690000 | #Constraints: 76413 3600.90/3609.72 c #Conflicts: 1691000 | #Constraints: 77413 3600.90/3609.72 c #Conflicts: 1692000 | #Constraints: 78413 3600.90/3609.72 c #Conflicts: 1693000 | #Constraints: 79413 3600.90/3609.72 c #Conflicts: 1694000 | #Constraints: 80413 3600.90/3609.72 c INPROCESSING 3600.90/3609.72 c GARBAGE COLLECT 3600.90/3609.72 c rational objective 80 3600.90/3609.72 c Program interrupted by user. 3600.90/3609.73 c cpu time 3578.25 s 3600.90/3609.73 c deterministic time 205850064076 2.06e+11 3600.90/3609.73 c optimization time 46.0296 s 3600.90/3609.73 c total solve time 3532.14 s 3600.90/3609.73 c core-guided solve time 781.523 s 3600.90/3609.73 c propagation time 2218.86 s 3600.90/3609.73 c conflict analysis time 105.644 s 3600.90/3609.73 c propagations 155092955 3600.90/3609.73 c resolve steps 17912264 3600.90/3609.73 c decisions 3180763 3600.90/3609.73 c conflicts 1694000 3600.90/3609.73 c restarts 3230 3600.90/3609.73 c inprocessing phases 121 3600.90/3609.73 c input clauses 27517 3600.90/3609.73 c input cardinalities 302 3600.90/3609.73 c input general constraints 907 3600.90/3609.73 c input average constraint length 3.53 3600.90/3609.73 c input average constraint degree 1.57 3600.90/3609.73 c learned clauses 1164651 3600.90/3609.73 c learned cardinalities 138583 3600.90/3609.73 c learned general constraints 390795 3600.90/3609.73 c learned average constraint length 340.04 3600.90/3609.73 c learned average constraint degree 39339103.67 3600.90/3609.73 c watched constraints 388811 3600.90/3609.73 c counting constraints 2891 3600.90/3609.73 c gcd simplifications 72805 3600.90/3609.73 c detected cardinalities 6093 3600.90/3609.73 c weakened non-implied lits 31448201 3600.90/3609.73 c weakened non-implying lits 42641 3600.90/3609.73 c original variables 9324 3600.90/3609.73 c clausal propagations 122985795 3600.90/3609.73 c cardinality propagations 6812412 3600.90/3609.73 c watched propagations 19531937 3600.90/3609.73 c counting propagations 3148936 3600.90/3609.73 c watch lookups 7348368416 3600.90/3609.73 c watch backjump lookups 2742059082 3600.90/3609.73 c watch checks 184939507837 3600.90/3609.73 c propagation checks 9111688851 3600.90/3609.73 c constraint additions 1387068724 3600.90/3609.73 c trail pops 159967683 3600.90/3609.73 c formula constraints 28660 3600.90/3609.73 c learned constraints 1693973 3600.90/3609.73 c bound constraints 8 3600.90/3609.73 c core-guided constraints 58 3600.90/3609.73 c encountered formula constraints 13204965 3600.90/3609.73 c encountered learned constraints 6317416 3600.90/3609.73 c encountered bound constraints 0 3600.90/3609.73 c encountered core-guided constraints 75606 3600.90/3609.73 c LP total time 2768.4 s 3600.90/3609.73 c LP solve time 2769.47 s 3600.90/3609.73 c LP constraints added 31513 3600.90/3609.73 c LP constraints removed 2796 3600.90/3609.73 c LP pivots internal 1715009 3600.90/3609.73 c LP pivots root 1414755 3600.90/3609.73 c LP calls 156 3600.90/3609.73 c LP optimalities 121 3600.90/3609.73 c LP no pivot count 0 3600.90/3609.73 c LP infeasibilities 28 3600.90/3609.73 c LP valid Farkas constraints 28 3600.90/3609.73 c LP learned Farkas constraints 28 3600.90/3609.73 c LP basis resets 0 3600.90/3609.73 c LP cycling count 0 3600.90/3609.73 c LP singular count 0 3600.90/3609.73 c LP no primal count 0 3600.90/3609.73 c LP no farkas count 0 3600.90/3609.73 c LP other issue count 0 3600.90/3609.73 c LP Gomory cuts 0 3600.90/3609.73 c LP learned cuts 2853 3600.90/3609.73 c LP deleted cuts 2796 3600.90/3609.73 c LP encountered Gomory constraints 0 3600.90/3609.73 c LP encountered Farkas constraints 7442 3600.90/3609.73 c LP encountered learned Farkas constraints 807 3600.90/3609.73 c CG auxiliary variables introduced 22 3600.90/3609.73 c CG solutions found 0 3600.90/3609.73 c CG cores constructed 8 3600.90/3609.73 c CG core cardinality constraints returned 0 3600.90/3609.73 c CG unit cores 0 3600.90/3609.73 c CG single cores 8 3600.90/3609.73 c CG blocks removed during cardinality reduction 0 3600.90/3609.73 c CG first core best 0 3600.90/3609.73 c CG decision core best 0 3600.90/3609.73 c CG core reduction tie 0 3600.90/3609.73 c CG core degree average 1.00 3600.90/3609.73 c CG core slack average 3.50 3600.90/3609.73 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: 63931 MiB (59314 MiB free)
memory of node 1: 64510 MiB (57630 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457194-1721831738/watcher-4457194-1721831738 -o /tmp/evaluation-result-4457194-1721831738/solver-4457194-1721831738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457194-1721831738 --lp-cut-gomory=0 HOME/instance-4457194-1721831738.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
Current StackSize limit: 8192 KiB
solver pid=192622, runsolver pid=192619
[startup+0.100085 s]*
/proc/loadavg: 4.10 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119737796/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=49184 memory=21468 CPUtime=0.09 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 3916 0 0 0 7 2 0 0 20 0 1 0 19702301 50364416 5367 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 12296 5367 1670 992 0 4154 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49184 KiB
Current children cumulated memory: 21468 KiB
[startup+0.205786 s]*
/proc/loadavg: 4.10 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119723552/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=59908 memory=32496 CPUtime=0.2 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 7304 0 0 0 18 2 0 0 20 0 1 0 19702301 61345792 8124 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 14977 8124 1718 992 0 6835 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59908 KiB
Current children cumulated memory: 32496 KiB
[startup+0.305786 s]*
/proc/loadavg: 4.10 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119723440/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=59908 memory=32496 CPUtime=0.3 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 7304 0 0 0 27 3 0 0 20 0 1 0 19702301 61345792 8124 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 14977 8124 1718 992 0 6835 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59908 KiB
Current children cumulated memory: 32496 KiB
[startup+0.700212 s]
/proc/loadavg: 4.10 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119722292/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=61164 memory=32932 CPUtime=0.68 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 7399 0 0 0 63 5 0 0 20 0 1 0 19702301 62631936 8233 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 15291 8233 1766 992 0 7149 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 32932 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119718320/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=63412 memory=36552 CPUtime=1.48 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 8149 0 0 0 142 6 0 0 20 0 1 0 19702301 64933888 9138 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 15853 9138 1892 992 0 7711 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 36552 KiB
[startup+3.10593 s]
/proc/loadavg: 4.09 4.07 3.59 5/262 192623
/proc/meminfo: memFree=119707012/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=65536 memory=37956 CPUtime=3.09 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 9383 0 0 0 294 15 0 0 20 0 1 0 19702301 67108864 9489 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 16384 9489 1908 992 0 8242 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65536 KiB
Current children cumulated memory: 37956 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.07 3.59 5/262 192625
/proc/meminfo: memFree=119688728/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=68408 memory=40860 CPUtime=6.27 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 10098 0 0 0 599 28 0 0 20 0 1 0 19702301 70049792 10215 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 17102 10215 1908 992 0 8960 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 40860 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.07 3.60 5/262 192625
/proc/meminfo: memFree=119661132/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=70236 memory=42432 CPUtime=12.66 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 10458 0 0 0 1235 31 0 0 20 0 1 0 19702301 71921664 10608 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 17559 10608 1908 992 0 9417 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 42432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.08 3.61 5/257 192672
/proc/meminfo: memFree=121886676/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=70804 memory=42956 CPUtime=25.43 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 10647 0 0 0 2501 42 0 0 20 0 1 0 19702301 72503296 10739 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 17701 10739 1908 992 0 9559 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 70804 KiB
Current children cumulated memory: 42956 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.07 3.62 5/257 192677
/proc/meminfo: memFree=121760112/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=76980 memory=48232 CPUtime=50.98 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 11938 0 0 0 5038 60 0 0 20 0 1 0 19702301 78827520 12058 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 19245 12058 1908 992 0 11103 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 76980 KiB
Current children cumulated memory: 48232 KiB
[startup+102.3 s]
/proc/loadavg: 4.70 4.23 3.70 5/258 192688
/proc/meminfo: memFree=121589280/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=77408 memory=48752 CPUtime=102.05 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 12086 0 0 0 10106 99 0 0 20 0 1 0 19702301 79265792 12188 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 19352 12188 1908 992 0 11210 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 77408 KiB
Current children cumulated memory: 48752 KiB
[startup+162.3 s]
/proc/loadavg: 4.38 4.23 3.74 5/258 192698
/proc/meminfo: memFree=121429132/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=78732 memory=50584 CPUtime=161.9 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 12554 0 0 0 16039 151 0 0 20 0 1 0 19702301 80621568 12646 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 19683 12646 1908 992 0 11541 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 50584 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.20 3.76 5/258 192709
/proc/meminfo: memFree=121222732/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=81452 memory=53084 CPUtime=221.76 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 12623 0 0 0 21979 197 0 0 20 0 1 0 19702301 83406848 13271 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 20363 13271 1908 992 0 12221 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 81452 KiB
Current children cumulated memory: 53084 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.20 3.79 5/258 192720
/proc/meminfo: memFree=120963428/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=82096 memory=53604 CPUtime=281.61 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 12784 0 0 0 27921 240 0 0 20 0 1 0 19702301 84066304 13401 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 20524 13401 1908 992 0 12382 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 53604 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.17 3.81 5/259 192736
/proc/meminfo: memFree=120771084/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=82096 memory=53604 CPUtime=341.47 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 12784 0 0 0 33868 279 0 0 20 0 1 0 19702301 84066304 13401 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 20524 13401 1908 992 0 12382 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 53604 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.17 3.84 5/259 192747
/proc/meminfo: memFree=120353944/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=159532 memory=106712 CPUtime=401.33 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 16342 0 0 0 39798 335 0 0 20 0 1 0 19702301 163360768 26678 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 39883 26678 1908 992 0 31741 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 159532 KiB
Current children cumulated memory: 106712 KiB
[startup+462.3 s]
/proc/loadavg: 4.33 4.23 3.88 5/259 192757
/proc/meminfo: memFree=120056724/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=160328 memory=107764 CPUtime=461.19 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 16600 0 0 0 45753 366 0 0 20 0 1 0 19702301 164175872 26941 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 40082 26941 1908 992 0 31940 0
################
# More data... #
################
Current children cumulated memory: 296040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/260 194332
/proc/meminfo: memFree=121747936/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=346932 memory=296400 CPUtime=3034.79 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 32964 0 0 0 301568 1911 0 0 20 0 1 0 19702301 355258368 74100 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 86733 74100 1908 992 0 78591 0
Current children cumulated CPU time: 3034.79 s
Current children cumulated vsize: 346932 KiB
Current children cumulated memory: 296400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.13 4.09 5/260 194343
/proc/meminfo: memFree=121528772/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=347200 memory=296632 CPUtime=3094.65 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 33083 0 0 0 307511 1954 0 0 20 0 1 0 19702301 355532800 74158 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 86800 74158 1908 992 0 78658 0
Current children cumulated CPU time: 3094.65 s
Current children cumulated vsize: 347200 KiB
Current children cumulated memory: 296632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.42 4.21 4.12 5/260 194353
/proc/meminfo: memFree=121315516/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=347504 memory=296900 CPUtime=3154.52 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 33208 0 0 0 313467 1985 0 0 20 0 1 0 19702301 355844096 74225 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 86876 74225 1908 992 0 78734 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 347504 KiB
Current children cumulated memory: 296900 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/262 194534
/proc/meminfo: memFree=121101020/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=348016 memory=297152 CPUtime=3214.38 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 33404 0 0 0 319416 2022 0 0 20 0 1 0 19702301 356368384 74288 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87004 74288 1908 992 0 78862 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 348016 KiB
Current children cumulated memory: 297152 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/262 194545
/proc/meminfo: memFree=120891724/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=348016 memory=297412 CPUtime=3274.24 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 33457 0 0 0 325359 2065 0 0 20 0 1 0 19702301 356368384 74353 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87004 74353 1908 992 0 78862 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 348016 KiB
Current children cumulated memory: 297412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/262 194616
/proc/meminfo: memFree=120675476/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=349528 memory=299752 CPUtime=3334.1 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 33968 0 0 0 331310 2100 0 0 20 0 1 0 19702301 357916672 74938 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87382 74938 1908 992 0 79240 0
Current children cumulated CPU time: 3334.1 s
Current children cumulated vsize: 349528 KiB
Current children cumulated memory: 299752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/261 194626
/proc/meminfo: memFree=120477972/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=350844 memory=301104 CPUtime=3393.96 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34405 0 0 0 337261 2135 0 0 20 0 1 0 19702301 359264256 75276 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87711 75276 1908 992 0 79569 0
Current children cumulated CPU time: 3393.96 s
Current children cumulated vsize: 350844 KiB
Current children cumulated memory: 301104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/261 194636
/proc/meminfo: memFree=120278356/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351352 memory=301580 CPUtime=3453.83 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34593 0 0 0 343215 2168 0 0 20 0 1 0 19702301 359784448 75395 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87838 75395 1908 992 0 79696 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 351352 KiB
Current children cumulated memory: 301580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/259 194648
/proc/meminfo: memFree=120069736/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351560 memory=301820 CPUtime=3513.69 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34719 0 0 0 349154 2215 0 0 20 0 1 0 19702301 359997440 75455 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87890 75455 1908 992 0 79748 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 351560 KiB
Current children cumulated memory: 301820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/261 194663
/proc/meminfo: memFree=119875752/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351560 memory=301876 CPUtime=3573.56 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34787 0 0 0 355105 2251 0 0 20 0 1 0 19702301 359997440 75469 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87890 75469 1908 992 0 79748 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 351560 KiB
Current children cumulated memory: 301876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 194667
/proc/meminfo: memFree=119792040/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351700 memory=301924 CPUtime=3600 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34825 0 0 0 357734 2266 0 0 20 0 1 0 19702301 360140800 75481 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87925 75481 1908 992 0 79783 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 301924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 192622 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.26 s, system=22.672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 194667
/proc/meminfo: memFree=119788596/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351700 memory=301924 CPUtime=3600.4 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34825 0 0 0 357773 2267 0 0 20 0 1 0 19702301 360140800 75481 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87925 75481 1908 992 0 79783 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 301924 KiB
[startup+3609.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 194667
/proc/meminfo: memFree=119788596/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351700 memory=301924 CPUtime=3600.8 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34825 0 0 0 357813 2267 0 0 20 0 1 0 19702301 360140800 75481 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87925 75481 1908 992 0 79783 0
Current children cumulated CPU time: 3600.8 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 301924 KiB
[startup+3609.7 s]
/proc/loadavg: 4.10 4.12 4.09 5/261 194667
/proc/meminfo: memFree=119788596/131524600 swapFree=131056028/131071996
[pid=192622] ppid=192619 vsize=351700 memory=301924 CPUtime=3600.9 cores=4,6
/proc/192622/stat : 192622 (roundingsat) R 192619 192622 191587 0 -1 4194304 34825 0 0 0 357823 2267 0 0 20 0 1 0 19702301 360140800 75481 134679101440 4194304 8254037 140733374482784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14606336 140733374489436 140733374489698 140733374489698 140733374496713 0
/proc/192622/statm: 87925 75481 1908 992 0 79783 0
Current children cumulated CPU time: 3600.9 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 301924 KiB
Child status: 0
Real time (s): 3609.73
CPU time (s): 3600.93
CPU user time (s): 3578.26
CPU system time (s): 22.672
CPU usage (%): 99.7561
Max. virtual memory (cumulated for all children) (KiB): 351700
Max. memory (cumulated for all children) (KiB): 301924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.26
system time used= 22.672
maximum resident set size= 302424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1698736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90
involuntary context switches= 3092
# summary of solver processes directly reported to runsolver:
# pid: 192622
# total CPU time (s): 3600.93
# total CPU user time (s): 3578.26
# total CPU system time (s): 22.672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80978 second user time and 16.4059 second system time
The end
Begin job on nodeC016 at 2024-07-24 16:35:38 IDJOB=4457194 IDBENCH=158390 IDSOLVER=3085 FILE ID=nodeC016/4457194-1721831738 RUNJOBID= nodeC016-1721830563-191598 SLURM_JOB_ID= 7891513 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457194-1721831738/watcher-4457194-1721831738 -o /tmp/evaluation-result-4457194-1721831738/solver-4457194-1721831738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457194-1721831738 --lp-cut-gomory=0 HOME/instance-4457194-1721831738.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c RANDOM SEED=1850546631 nodeC016.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 : 3668.344 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3688.472 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.68 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 : 3626.293 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3599.975 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.68 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 : 3648.962 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 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 : 3688.506 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.68 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 : 3654.785 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.761 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 119752028 kB MemAvailable: 128308836 kB Buffers: 248616 kB Cached: 8989592 kB SwapCached: 256 kB Active: 2243592 kB Inactive: 8630236 kB Active(anon): 2424 kB Inactive(anon): 1685608 kB Active(file): 2241168 kB Inactive(file): 6944628 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 29672 kB Writeback: 0 kB AnonPages: 1630524 kB Mapped: 112300 kB Shmem: 52400 kB KReclaimable: 421316 kB Slab: 541936 kB SReclaimable: 421316 kB SUnreclaim: 120620 kB KernelStack: 4224 kB PageTables: 12840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2376568 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 851968 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: 373460 kB DirectMap2M: 42391552 kB DirectMap1G: 93323264 kB Free space on /tmp at the end= 890052 MiB End job on nodeC016 at 2024-07-24 17:35:48