| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3602.01 | 3614.6 |
| 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.11 c #variables 9324 #constraints 28660 25.19/25.37 c bounds - >= 0 @ 0.080663 25.19/25.37 c #Conflicts: 1000 | #Constraints: 29659 25.19/25.37 c #Conflicts: 2000 | #Constraints: 30659 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c bounds - >= 10 @ 1.73402 25.19/25.37 c #Conflicts: 3000 | #Constraints: 30688 25.19/25.37 c #Conflicts: 4000 | #Constraints: 31688 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c #Conflicts: 5000 | #Constraints: 31106 25.19/25.37 c #Conflicts: 6000 | #Constraints: 32106 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c #Conflicts: 7000 | #Constraints: 31134 25.19/25.37 c #Conflicts: 8000 | #Constraints: 32134 25.19/25.37 c #Conflicts: 9000 | #Constraints: 33134 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c bounds - >= 20 @ 4.97741 25.19/25.37 c bounds - >= 30 @ 4.9821 25.19/25.37 c bounds - >= 40 @ 4.99336 25.19/25.37 c #Conflicts: 10000 | #Constraints: 31876 25.19/25.37 c #Conflicts: 11000 | #Constraints: 32876 25.19/25.37 c #Conflicts: 12000 | #Constraints: 33876 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c #Conflicts: 13000 | #Constraints: 32213 25.19/25.37 c #Conflicts: 14000 | #Constraints: 33213 25.19/25.37 c #Conflicts: 15000 | #Constraints: 34213 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c rational objective 40 62.36/62.60 c #Conflicts: 16000 | #Constraints: 32499 62.36/62.60 c #Conflicts: 17000 | #Constraints: 33499 62.36/62.60 c #Conflicts: 18000 | #Constraints: 34499 62.36/62.60 c INPROCESSING 62.36/62.60 c GARBAGE COLLECT 62.36/62.60 c #Conflicts: 19000 | #Constraints: 32542 62.36/62.60 c #Conflicts: 20000 | #Constraints: 33542 62.36/62.60 c #Conflicts: 21000 | #Constraints: 34542 62.36/62.60 c INPROCESSING 62.36/62.60 c GARBAGE COLLECT 62.36/62.60 c #Conflicts: 22000 | #Constraints: 32365 62.36/62.60 c bounds - >= 50 @ 25.4553 62.36/62.60 c #Conflicts: 23000 | #Constraints: 33377 62.36/62.60 c #Conflicts: 24000 | #Constraints: 34377 62.36/62.60 c #Conflicts: 25000 | #Constraints: 35377 62.36/62.60 c INPROCESSING 62.36/62.60 c GARBAGE COLLECT 62.36/62.60 c #Conflicts: 26000 | #Constraints: 32989 62.36/62.60 c #Conflicts: 27000 | #Constraints: 33989 62.36/62.60 c #Conflicts: 28000 | #Constraints: 34989 62.36/62.60 c #Conflicts: 29000 | #Constraints: 35989 62.36/62.60 c INPROCESSING 62.36/62.60 c GARBAGE COLLECT 62.36/62.60 c rational objective 50 91.33/91.74 c #Conflicts: 30000 | #Constraints: 33391 91.33/91.74 c #Conflicts: 31000 | #Constraints: 34391 91.33/91.74 c bounds - >= 60 @ 62.1286 91.33/91.74 c #Conflicts: 32000 | #Constraints: 35400 91.33/91.74 c #Conflicts: 33000 | #Constraints: 36400 91.33/91.74 c INPROCESSING 91.33/91.74 c GARBAGE COLLECT 91.33/91.74 c #Conflicts: 34000 | #Constraints: 33601 91.33/91.74 c #Conflicts: 35000 | #Constraints: 34601 91.33/91.74 c #Conflicts: 36000 | #Constraints: 35601 91.33/91.74 c #Conflicts: 37000 | #Constraints: 36601 91.33/91.74 c INPROCESSING 91.33/91.74 c GARBAGE COLLECT 91.33/91.74 c #Conflicts: 38000 | #Constraints: 33600 91.33/91.74 c #Conflicts: 39000 | #Constraints: 34600 91.33/91.74 c #Conflicts: 40000 | #Constraints: 35600 91.33/91.74 c #Conflicts: 41000 | #Constraints: 36600 91.33/91.74 c INPROCESSING 91.33/91.74 c GARBAGE COLLECT 91.33/91.74 c #Conflicts: 42000 | #Constraints: 33406 91.33/91.74 c #Conflicts: 43000 | #Constraints: 34406 91.33/91.74 c #Conflicts: 44000 | #Constraints: 35406 91.33/91.74 c #Conflicts: 45000 | #Constraints: 36406 91.33/91.74 c #Conflicts: 46000 | #Constraints: 37406 91.33/91.74 c INPROCESSING 91.33/91.74 c GARBAGE COLLECT 91.33/91.74 c rational objective 60 116.61/117.11 c #Conflicts: 47000 | #Constraints: 34005 116.61/117.11 c #Conflicts: 48000 | #Constraints: 35005 116.61/117.11 c #Conflicts: 49000 | #Constraints: 36005 116.61/117.11 c #Conflicts: 50000 | #Constraints: 37005 116.61/117.11 c #Conflicts: 51000 | #Constraints: 38005 116.61/117.11 c INPROCESSING 116.61/117.11 c GARBAGE COLLECT 116.61/117.11 c #Conflicts: 52000 | #Constraints: 34411 116.61/117.11 c #Conflicts: 53000 | #Constraints: 35411 116.61/117.11 c #Conflicts: 54000 | #Constraints: 36411 116.61/117.11 c #Conflicts: 55000 | #Constraints: 37411 116.61/117.11 c #Conflicts: 56000 | #Constraints: 38411 116.61/117.11 c INPROCESSING 116.61/117.11 c GARBAGE COLLECT 116.61/117.11 c #Conflicts: 57000 | #Constraints: 34610 116.61/117.11 c #Conflicts: 58000 | #Constraints: 35610 116.61/117.11 c #Conflicts: 59000 | #Constraints: 36610 116.61/117.11 c #Conflicts: 60000 | #Constraints: 37610 116.61/117.11 c #Conflicts: 61000 | #Constraints: 38610 116.61/117.11 c INPROCESSING 116.61/117.11 c GARBAGE COLLECT 116.61/117.11 c #Conflicts: 62000 | #Constraints: 34611 116.61/117.11 c #Conflicts: 63000 | #Constraints: 35611 116.61/117.11 c #Conflicts: 64000 | #Constraints: 36611 116.61/117.11 c #Conflicts: 65000 | #Constraints: 37611 116.61/117.11 c #Conflicts: 66000 | #Constraints: 38611 116.61/117.11 c INPROCESSING 116.61/117.11 c GARBAGE COLLECT 116.61/117.11 c #Conflicts: 67000 | #Constraints: 34419 116.61/117.11 c #Conflicts: 68000 | #Constraints: 35419 116.61/117.11 c #Conflicts: 69000 | #Constraints: 36419 116.61/117.11 c #Conflicts: 70000 | #Constraints: 37419 116.61/117.11 c #Conflicts: 71000 | #Constraints: 38419 116.61/117.11 c #Conflicts: 72000 | #Constraints: 39419 116.61/117.11 c INPROCESSING 116.61/117.11 c GARBAGE COLLECT 116.61/117.11 c rational objective 60 152.06/152.73 c #Conflicts: 73000 | #Constraints: 35015 152.06/152.73 c #Conflicts: 74000 | #Constraints: 36015 152.06/152.73 c #Conflicts: 75000 | #Constraints: 37015 152.06/152.73 c #Conflicts: 76000 | #Constraints: 38015 152.06/152.73 c #Conflicts: 77000 | #Constraints: 39015 152.06/152.73 c #Conflicts: 78000 | #Constraints: 40015 152.06/152.73 c INPROCESSING 152.06/152.73 c GARBAGE COLLECT 152.06/152.73 c #Conflicts: 79000 | #Constraints: 35420 152.06/152.73 c #Conflicts: 80000 | #Constraints: 36420 152.06/152.73 c #Conflicts: 81000 | #Constraints: 37420 152.06/152.73 c #Conflicts: 82000 | #Constraints: 38420 152.06/152.73 c #Conflicts: 83000 | #Constraints: 39420 152.06/152.73 c #Conflicts: 84000 | #Constraints: 40420 152.06/152.73 c INPROCESSING 152.06/152.73 c GARBAGE COLLECT 152.06/152.73 c rational objective 60 181.54/182.38 c #Conflicts: 85000 | #Constraints: 35615 181.54/182.38 c #Conflicts: 86000 | #Constraints: 36615 181.54/182.38 c #Conflicts: 87000 | #Constraints: 37615 181.54/182.38 c #Conflicts: 88000 | #Constraints: 38615 181.54/182.38 c #Conflicts: 89000 | #Constraints: 39615 181.54/182.38 c #Conflicts: 90000 | #Constraints: 40615 181.54/182.38 c INPROCESSING 181.54/182.38 c GARBAGE COLLECT 181.54/182.38 c #Conflicts: 91000 | #Constraints: 35612 181.54/182.38 c #Conflicts: 92000 | #Constraints: 36612 181.54/182.38 c #Conflicts: 93000 | #Constraints: 37612 181.54/182.38 c #Conflicts: 94000 | #Constraints: 38612 181.54/182.38 c #Conflicts: 95000 | #Constraints: 39612 181.54/182.38 c #Conflicts: 96000 | #Constraints: 40612 181.54/182.38 c bounds - >= 70 @ 152.827 181.54/182.38 c INPROCESSING 181.54/182.38 c GARBAGE COLLECT 181.54/182.38 c rational objective 70 208.52/209.46 c #Conflicts: 97000 | #Constraints: 35421 208.52/209.46 c #Conflicts: 98000 | #Constraints: 36421 208.52/209.46 c #Conflicts: 99000 | #Constraints: 37421 208.52/209.46 c #Conflicts: 100000 | #Constraints: 38421 208.52/209.46 c #Conflicts: 101000 | #Constraints: 39421 208.52/209.46 c #Conflicts: 102000 | #Constraints: 40421 208.52/209.46 c #Conflicts: 103000 | #Constraints: 41421 208.52/209.46 c INPROCESSING 208.52/209.46 c GARBAGE COLLECT 208.52/209.46 c #Conflicts: 104000 | #Constraints: 36020 208.52/209.46 c #Conflicts: 105000 | #Constraints: 37020 208.52/209.46 c #Conflicts: 106000 | #Constraints: 38020 208.52/209.46 c #Conflicts: 107000 | #Constraints: 39020 208.52/209.46 c #Conflicts: 108000 | #Constraints: 40020 208.52/209.46 c #Conflicts: 109000 | #Constraints: 41020 208.52/209.46 c #Conflicts: 110000 | #Constraints: 42020 208.52/209.46 c INPROCESSING 208.52/209.46 c GARBAGE COLLECT 208.52/209.46 c #Conflicts: 111000 | #Constraints: 36419 208.52/209.46 c #Conflicts: 112000 | #Constraints: 37420 208.52/209.46 c #Conflicts: 113000 | #Constraints: 38420 208.52/209.46 c #Conflicts: 114000 | #Constraints: 39420 208.52/209.46 c #Conflicts: 115000 | #Constraints: 40420 208.52/209.46 c #Conflicts: 116000 | #Constraints: 41420 208.52/209.46 c #Conflicts: 117000 | #Constraints: 42420 208.52/209.46 c INPROCESSING 208.52/209.46 c GARBAGE COLLECT 208.52/209.46 c #Conflicts: 118000 | #Constraints: 36179 208.52/209.46 c #Conflicts: 119000 | #Constraints: 37179 208.52/209.46 c #Conflicts: 120000 | #Constraints: 38179 208.52/209.46 c #Conflicts: 121000 | #Constraints: 39179 208.52/209.46 c #Conflicts: 122000 | #Constraints: 40179 208.52/209.46 c #Conflicts: 123000 | #Constraints: 41179 208.52/209.46 c #Conflicts: 124000 | #Constraints: 42179 208.52/209.46 c INPROCESSING 208.52/209.46 c GARBAGE COLLECT 208.52/209.46 c rational objective 70 238.58/239.68 c #Conflicts: 125000 | #Constraints: 36397 238.58/239.68 c #Conflicts: 126000 | #Constraints: 37397 238.58/239.68 c #Conflicts: 127000 | #Constraints: 38397 238.58/239.68 c #Conflicts: 128000 | #Constraints: 39397 238.58/239.68 c #Conflicts: 129000 | #Constraints: 40397 238.58/239.68 c #Conflicts: 130000 | #Constraints: 41397 238.58/239.68 c #Conflicts: 131000 | #Constraints: 42397 238.58/239.68 c INPROCESSING 238.58/239.68 c GARBAGE COLLECT 238.58/239.68 c rational objective 70 264.88/266.03 c #Conflicts: 132000 | #Constraints: 36314 264.88/266.03 c #Conflicts: 133000 | #Constraints: 37314 264.88/266.03 c #Conflicts: 134000 | #Constraints: 38314 264.88/266.03 c #Conflicts: 135000 | #Constraints: 39314 264.88/266.03 c #Conflicts: 136000 | #Constraints: 40314 264.88/266.03 c #Conflicts: 137000 | #Constraints: 41314 264.88/266.03 c #Conflicts: 138000 | #Constraints: 42314 264.88/266.03 c #Conflicts: 139000 | #Constraints: 43314 264.88/266.03 c INPROCESSING 264.88/266.03 c GARBAGE COLLECT 264.88/266.03 c #Conflicts: 140000 | #Constraints: 36973 264.88/266.03 c #Conflicts: 141000 | #Constraints: 37973 264.88/266.03 c #Conflicts: 142000 | #Constraints: 38973 264.88/266.03 c #Conflicts: 143000 | #Constraints: 39973 264.88/266.03 c #Conflicts: 144000 | #Constraints: 40973 264.88/266.03 c #Conflicts: 145000 | #Constraints: 41973 264.88/266.03 c #Conflicts: 146000 | #Constraints: 42973 264.88/266.03 c #Conflicts: 147000 | #Constraints: 43973 264.88/266.03 c INPROCESSING 264.88/266.03 c GARBAGE COLLECT 264.88/266.03 c #Conflicts: 148000 | #Constraints: 37391 264.88/266.03 c #Conflicts: 149000 | #Constraints: 38391 264.88/266.03 c #Conflicts: 150000 | #Constraints: 39391 264.88/266.03 c #Conflicts: 151000 | #Constraints: 40391 264.88/266.03 c #Conflicts: 152000 | #Constraints: 41391 264.88/266.03 c #Conflicts: 153000 | #Constraints: 42391 264.88/266.03 c #Conflicts: 154000 | #Constraints: 43391 264.88/266.03 c #Conflicts: 155000 | #Constraints: 44391 264.88/266.03 c INPROCESSING 264.88/266.03 c GARBAGE COLLECT 264.88/266.03 c rational objective 70 287.28/288.56 c #Conflicts: 156000 | #Constraints: 37523 287.28/288.56 c #Conflicts: 157000 | #Constraints: 38523 287.28/288.56 c #Conflicts: 158000 | #Constraints: 39523 287.28/288.56 c #Conflicts: 159000 | #Constraints: 40523 287.28/288.56 c #Conflicts: 160000 | #Constraints: 41523 287.28/288.56 c #Conflicts: 161000 | #Constraints: 42523 287.28/288.56 c #Conflicts: 162000 | #Constraints: 43523 287.28/288.56 c #Conflicts: 163000 | #Constraints: 44523 287.28/288.56 c INPROCESSING 287.28/288.56 c GARBAGE COLLECT 287.28/288.56 c #Conflicts: 164000 | #Constraints: 37578 287.28/288.56 c #Conflicts: 165000 | #Constraints: 38578 287.28/288.56 c #Conflicts: 166000 | #Constraints: 39578 287.28/288.56 c #Conflicts: 167000 | #Constraints: 40578 287.28/288.56 c #Conflicts: 168000 | #Constraints: 41578 287.28/288.56 c #Conflicts: 169000 | #Constraints: 42578 287.28/288.56 c #Conflicts: 170000 | #Constraints: 43578 287.28/288.56 c #Conflicts: 171000 | #Constraints: 44578 287.28/288.56 c INPROCESSING 287.28/288.56 c GARBAGE COLLECT 287.28/288.56 c rational objective 70 315.47/316.89 c #Conflicts: 172000 | #Constraints: 37398 315.47/316.89 c #Conflicts: 173000 | #Constraints: 38398 315.47/316.89 c #Conflicts: 174000 | #Constraints: 39398 315.47/316.89 c #Conflicts: 175000 | #Constraints: 40398 315.47/316.89 c #Conflicts: 176000 | #Constraints: 41398 315.47/316.89 c #Conflicts: 177000 | #Constraints: 42398 315.47/316.89 c #Conflicts: 178000 | #Constraints: 43398 315.47/316.89 c #Conflicts: 179000 | #Constraints: 44398 315.47/316.89 c #Conflicts: 180000 | #Constraints: 45398 315.47/316.89 c INPROCESSING 315.47/316.89 c GARBAGE COLLECT 315.47/316.89 c rational objective 70 347.33/348.84 c #Conflicts: 181000 | #Constraints: 38014 347.33/348.84 c #Conflicts: 182000 | #Constraints: 39014 347.33/348.84 c #Conflicts: 183000 | #Constraints: 40014 347.33/348.84 c #Conflicts: 184000 | #Constraints: 41014 347.33/348.84 c #Conflicts: 185000 | #Constraints: 42014 347.33/348.84 c #Conflicts: 186000 | #Constraints: 43014 347.33/348.84 c #Conflicts: 187000 | #Constraints: 44014 347.33/348.84 c #Conflicts: 188000 | #Constraints: 45014 347.33/348.84 c #Conflicts: 189000 | #Constraints: 46014 347.33/348.84 c INPROCESSING 347.33/348.84 c GARBAGE COLLECT 347.33/348.84 c #Conflicts: 190000 | #Constraints: 38414 347.33/348.84 c #Conflicts: 191000 | #Constraints: 39414 347.33/348.84 c #Conflicts: 192000 | #Constraints: 40414 347.33/348.84 c #Conflicts: 193000 | #Constraints: 41414 347.33/348.84 c #Conflicts: 194000 | #Constraints: 42414 347.33/348.84 c #Conflicts: 195000 | #Constraints: 43414 347.33/348.84 c #Conflicts: 196000 | #Constraints: 44414 347.33/348.84 c #Conflicts: 197000 | #Constraints: 45414 347.33/348.84 c #Conflicts: 198000 | #Constraints: 46414 347.33/348.84 c INPROCESSING 347.33/348.84 c GARBAGE COLLECT 347.33/348.84 c #Conflicts: 199000 | #Constraints: 38624 347.33/348.84 c #Conflicts: 200000 | #Constraints: 39624 347.33/348.84 c #Conflicts: 201000 | #Constraints: 40624 347.33/348.84 c #Conflicts: 202000 | #Constraints: 41624 347.33/348.84 c #Conflicts: 203000 | #Constraints: 42624 347.33/348.84 c #Conflicts: 204000 | #Constraints: 43624 347.33/348.84 c #Conflicts: 205000 | #Constraints: 44624 347.33/348.84 c #Conflicts: 206000 | #Constraints: 45624 347.33/348.84 c #Conflicts: 207000 | #Constraints: 46624 347.33/348.84 c INPROCESSING 347.33/348.84 c GARBAGE COLLECT 347.33/348.84 c rational objective 70 368.87/370.45 c #Conflicts: 208000 | #Constraints: 38630 368.87/370.45 c #Conflicts: 209000 | #Constraints: 39630 368.87/370.45 c #Conflicts: 210000 | #Constraints: 40630 368.87/370.45 c #Conflicts: 211000 | #Constraints: 41630 368.87/370.45 c #Conflicts: 212000 | #Constraints: 42630 368.87/370.45 c #Conflicts: 213000 | #Constraints: 43630 368.87/370.45 c #Conflicts: 214000 | #Constraints: 44630 368.87/370.45 c #Conflicts: 215000 | #Constraints: 45630 368.87/370.45 c #Conflicts: 216000 | #Constraints: 46630 368.87/370.45 c INPROCESSING 368.87/370.45 c GARBAGE COLLECT 368.87/370.45 c rational objective 70 395.26/396.99 c #Conflicts: 217000 | #Constraints: 38434 395.26/396.99 c #Conflicts: 218000 | #Constraints: 39434 395.26/396.99 c #Conflicts: 219000 | #Constraints: 40434 395.26/396.99 c #Conflicts: 220000 | #Constraints: 41435 395.26/396.99 c #Conflicts: 221000 | #Constraints: 42435 395.26/396.99 c #Conflicts: 222000 | #Constraints: 43435 395.26/396.99 c #Conflicts: 223000 | #Constraints: 44435 395.26/396.99 c #Conflicts: 224000 | #Constraints: 45435 395.26/396.99 c #Conflicts: 225000 | #Constraints: 46436 395.26/396.99 c #Conflicts: 226000 | #Constraints: 47436 395.26/396.99 c INPROCESSING 395.26/396.99 c GARBAGE COLLECT 395.26/396.99 c #Conflicts: 227000 | #Constraints: 39059 395.26/396.99 c #Conflicts: 228000 | #Constraints: 40059 395.26/396.99 c #Conflicts: 229000 | #Constraints: 41059 395.26/396.99 c #Conflicts: 230000 | #Constraints: 42059 395.26/396.99 c #Conflicts: 231000 | #Constraints: 43059 395.26/396.99 c #Conflicts: 232000 | #Constraints: 44059 395.26/396.99 c #Conflicts: 233000 | #Constraints: 45059 395.26/396.99 c #Conflicts: 234000 | #Constraints: 46060 395.26/396.99 c #Conflicts: 235000 | #Constraints: 47060 395.26/396.99 c #Conflicts: 236000 | #Constraints: 48061 395.26/396.99 c INPROCESSING 395.26/396.99 c GARBAGE COLLECT 395.26/396.99 c rational objective 70 439.59/441.49 c #Conflicts: 237000 | #Constraints: 39475 439.59/441.49 c #Conflicts: 238000 | #Constraints: 40476 439.59/441.49 c #Conflicts: 239000 | #Constraints: 41476 439.59/441.49 c #Conflicts: 240000 | #Constraints: 42476 439.59/441.49 c #Conflicts: 241000 | #Constraints: 43476 439.59/441.49 c #Conflicts: 242000 | #Constraints: 44476 439.59/441.49 c #Conflicts: 243000 | #Constraints: 45476 439.59/441.49 c #Conflicts: 244000 | #Constraints: 46476 439.59/441.49 c #Conflicts: 245000 | #Constraints: 47476 439.59/441.49 c #Conflicts: 246000 | #Constraints: 48476 439.59/441.49 c INPROCESSING 439.59/441.49 c GARBAGE COLLECT 439.59/441.49 WSVECS04 Frhs2[3601]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3612]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3620]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3624]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3625]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3626]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3627]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3628]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3629]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3634]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3636]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3643]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3644]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3647]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3656]: 6 0 23.827 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3666]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3674]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3682]: 6 0 15.9849 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3687]: 6 0 27.8858 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3691]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3692]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3708]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3713]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3716]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3730]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3739]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3744]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3775]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3778]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3782]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3784]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3789]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3793]: 6 0 15.8857 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3828]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3834]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3842]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3852]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3853]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3854]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3857]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3858]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3859]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3860]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3861]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3866]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3867]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3868]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3872]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3904]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3906]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3914]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3922]: 6 0 15.9849 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3927]: 6 0 27.8857 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3932]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3933]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3947]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3958]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3959]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3963]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3970]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3971]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3981]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3982]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3988]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[3991]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4015]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4018]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4020]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4024]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4025]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4029]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4068]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4083]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4095]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4096]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4098]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4099]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4101]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4105]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4107]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4108]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4111]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4114]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4115]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4116]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4120]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4130]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4136]: 6 0 23.8269 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4139]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4144]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4154]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4159]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4162]: 6 0 15.9849 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4167]: 6 0 27.8858 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4170]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4172]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4213]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4221]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4228]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4236]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4255]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4258]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4260]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4264]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4267]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4275]: 6 0 15.8858 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4295]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4305]: 6 0 15.8847 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4306]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4330]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4335]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4340]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4343]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4345]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4346]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4347]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4348]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4354]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4356]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4362]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4379]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4380]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4386]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4395]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4396]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4399]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4407]: 6 0 27.8858 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4412]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4414]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4439]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4440]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4450]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4455]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4457]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4459]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4461]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4476]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4498]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4500]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4502]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4507]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4515]: 6 0 15.8857 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4516]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4535]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4536]: 6 0 23.827 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4578]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4587]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4588]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4589]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4593]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4594]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4595]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4603]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4604]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4650]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4652]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4666]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4704]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4716]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4742]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4747]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4748]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4749]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4751]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4770]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4771]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4772]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4776]: 6 0 23.827 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4786]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4788]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4811]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4812]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4818]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4820]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4823]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4826]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4827]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4828]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4834]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4856]: 6 0 23.8269 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4861]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4866]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4875]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4881]: 6 0 15.8846 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4882]: 6 0 15.9848 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4883]: 6 0 15.8846 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4887]: 6 0 27.8858 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4888]: 6 0 11.951 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4889]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4890]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4892]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4898]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4930]: 6 0 15.9348 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4936]: 6 0 23.9021 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4937]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4959]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4979]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4980]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4985]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4991]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[4995]: 6 0 15.8857 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5015]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5016]: 6 0 23.827 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5025]: 6 0 15.8847 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5026]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5034]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5035]: 6 0 15.9347 shouldn't be 439.59/441.49 WSVECS04 Frhs2[5039]: 6 0 15.9347 shouldn't be 447.76/449.60 c rational objective 70 483.01/485.08 c #Conflicts: 247000 | #Constraints: 39673 483.01/485.08 c #Conflicts: 248000 | #Constraints: 40673 483.01/485.08 c #Conflicts: 249000 | #Constraints: 41673 483.01/485.08 c #Conflicts: 250000 | #Constraints: 42673 483.01/485.08 c #Conflicts: 251000 | #Constraints: 43673 483.01/485.08 c #Conflicts: 252000 | #Constraints: 44673 483.01/485.08 c #Conflicts: 253000 | #Constraints: 45673 483.01/485.08 c #Conflicts: 254000 | #Constraints: 46673 483.01/485.08 c #Conflicts: 255000 | #Constraints: 47673 483.01/485.08 c #Conflicts: 256000 | #Constraints: 48673 483.01/485.08 c INPROCESSING 483.01/485.08 c GARBAGE COLLECT 483.01/485.08 c #Conflicts: 257000 | #Constraints: 39654 483.01/485.08 c #Conflicts: 258000 | #Constraints: 40654 483.01/485.08 c #Conflicts: 259000 | #Constraints: 41654 483.01/485.08 c #Conflicts: 260000 | #Constraints: 42654 483.01/485.08 c #Conflicts: 261000 | #Constraints: 43654 483.01/485.08 c #Conflicts: 262000 | #Constraints: 44654 483.01/485.08 c #Conflicts: 263000 | #Constraints: 45654 483.01/485.08 c #Conflicts: 264000 | #Constraints: 46654 483.01/485.08 c #Conflicts: 265000 | #Constraints: 47654 483.01/485.08 c #Conflicts: 266000 | #Constraints: 48654 483.01/485.08 c INPROCESSING 483.01/485.08 c GARBAGE COLLECT 483.01/485.08 c rational objective 70 533.30/535.56 c #Conflicts: 267000 | #Constraints: 39477 533.30/535.56 c #Conflicts: 268000 | #Constraints: 40477 533.30/535.56 c #Conflicts: 269000 | #Constraints: 41477 533.30/535.56 c #Conflicts: 270000 | #Constraints: 42477 533.30/535.56 c #Conflicts: 271000 | #Constraints: 43477 533.30/535.56 c #Conflicts: 272000 | #Constraints: 44477 533.30/535.56 c #Conflicts: 273000 | #Constraints: 45477 533.30/535.56 c #Conflicts: 274000 | #Constraints: 46477 533.30/535.56 c #Conflicts: 275000 | #Constraints: 47477 533.30/535.56 c #Conflicts: 276000 | #Constraints: 48477 533.30/535.56 c #Conflicts: 277000 | #Constraints: 49477 533.30/535.56 c INPROCESSING 533.30/535.56 c GARBAGE COLLECT 533.30/535.56 c #Conflicts: 278000 | #Constraints: 40090 533.30/535.56 c #Conflicts: 279000 | #Constraints: 41090 533.30/535.56 c #Conflicts: 280000 | #Constraints: 42090 533.30/535.56 c #Conflicts: 281000 | #Constraints: 43090 533.30/535.56 c #Conflicts: 282000 | #Constraints: 44090 533.30/535.56 c #Conflicts: 283000 | #Constraints: 45090 533.30/535.56 c #Conflicts: 284000 | #Constraints: 46090 533.30/535.56 c #Conflicts: 285000 | #Constraints: 47090 533.30/535.56 c #Conflicts: 286000 | #Constraints: 48090 533.30/535.56 c #Conflicts: 287000 | #Constraints: 49090 533.30/535.56 c #Conflicts: 288000 | #Constraints: 50090 533.30/535.56 c INPROCESSING 533.30/535.56 c GARBAGE COLLECT 533.30/535.56 c rational objective 70 564.07/566.41 c #Conflicts: 289000 | #Constraints: 40488 564.07/566.41 c #Conflicts: 290000 | #Constraints: 41488 564.07/566.41 c #Conflicts: 291000 | #Constraints: 42488 564.07/566.41 c #Conflicts: 292000 | #Constraints: 43488 564.07/566.41 c #Conflicts: 293000 | #Constraints: 44488 564.07/566.41 c #Conflicts: 294000 | #Constraints: 45488 564.07/566.41 c #Conflicts: 295000 | #Constraints: 46488 564.07/566.41 c #Conflicts: 296000 | #Constraints: 47488 564.07/566.41 c #Conflicts: 297000 | #Constraints: 48488 564.07/566.41 c #Conflicts: 298000 | #Constraints: 49488 564.07/566.41 c #Conflicts: 299000 | #Constraints: 50488 564.07/566.41 c INPROCESSING 564.07/566.41 c GARBAGE COLLECT 564.07/566.41 c rational objective 70 609.11/611.64 c #Conflicts: 300000 | #Constraints: 40658 609.11/611.64 c #Conflicts: 301000 | #Constraints: 41658 609.11/611.64 c #Conflicts: 302000 | #Constraints: 42658 609.11/611.64 c #Conflicts: 303000 | #Constraints: 43658 609.11/611.64 c #Conflicts: 304000 | #Constraints: 44658 609.11/611.64 c #Conflicts: 305000 | #Constraints: 45658 609.11/611.64 c #Conflicts: 306000 | #Constraints: 46658 609.11/611.64 c #Conflicts: 307000 | #Constraints: 47658 609.11/611.64 c #Conflicts: 308000 | #Constraints: 48658 609.11/611.64 c #Conflicts: 309000 | #Constraints: 49658 609.11/611.64 c #Conflicts: 310000 | #Constraints: 50658 609.11/611.64 c INPROCESSING 609.11/611.64 c GARBAGE COLLECT 609.11/611.64 c #Conflicts: 311000 | #Constraints: 40666 609.11/611.64 c #Conflicts: 312000 | #Constraints: 41666 609.11/611.64 c #Conflicts: 313000 | #Constraints: 42666 609.11/611.64 c #Conflicts: 314000 | #Constraints: 43666 609.11/611.64 c #Conflicts: 315000 | #Constraints: 44666 609.11/611.64 c #Conflicts: 316000 | #Constraints: 45666 609.11/611.64 c #Conflicts: 317000 | #Constraints: 46666 609.11/611.64 c #Conflicts: 318000 | #Constraints: 47666 609.11/611.64 c #Conflicts: 319000 | #Constraints: 48666 609.11/611.64 c #Conflicts: 320000 | #Constraints: 49666 609.11/611.64 c #Conflicts: 321000 | #Constraints: 50666 609.11/611.64 c INPROCESSING 609.11/611.64 c GARBAGE COLLECT 609.11/611.64 c rational objective 70 648.09/650.72 c #Conflicts: 322000 | #Constraints: 40499 648.09/650.72 c #Conflicts: 323000 | #Constraints: 41499 648.09/650.72 c #Conflicts: 324000 | #Constraints: 42499 648.09/650.72 c #Conflicts: 325000 | #Constraints: 43499 648.09/650.72 c #Conflicts: 326000 | #Constraints: 44499 648.09/650.72 c #Conflicts: 327000 | #Constraints: 45499 648.09/650.72 c #Conflicts: 328000 | #Constraints: 46499 648.09/650.72 c #Conflicts: 329000 | #Constraints: 47499 648.09/650.72 c #Conflicts: 330000 | #Constraints: 48499 648.09/650.72 c #Conflicts: 331000 | #Constraints: 49499 648.09/650.72 c #Conflicts: 332000 | #Constraints: 50499 648.09/650.72 c #Conflicts: 333000 | #Constraints: 51499 648.09/650.72 c INPROCESSING 648.09/650.72 c GARBAGE COLLECT 648.09/650.72 c rational objective 70 685.37/688.16 c #Conflicts: 334000 | #Constraints: 41125 685.37/688.16 c #Conflicts: 335000 | #Constraints: 42125 685.37/688.16 c #Conflicts: 336000 | #Constraints: 43125 685.37/688.16 c #Conflicts: 337000 | #Constraints: 44125 685.37/688.16 c #Conflicts: 338000 | #Constraints: 45125 685.37/688.16 c #Conflicts: 339000 | #Constraints: 46125 685.37/688.16 c #Conflicts: 340000 | #Constraints: 47125 685.37/688.16 c #Conflicts: 341000 | #Constraints: 48125 685.37/688.16 c #Conflicts: 342000 | #Constraints: 49125 685.37/688.16 c #Conflicts: 343000 | #Constraints: 50125 685.37/688.16 c #Conflicts: 344000 | #Constraints: 51125 685.37/688.16 c #Conflicts: 345000 | #Constraints: 52125 685.37/688.16 c INPROCESSING 685.37/688.16 c GARBAGE COLLECT 685.37/688.16 c #Conflicts: 346000 | #Constraints: 41496 685.37/688.16 c #Conflicts: 347000 | #Constraints: 42496 685.37/688.16 c #Conflicts: 348000 | #Constraints: 43496 685.37/688.16 c #Conflicts: 349000 | #Constraints: 44496 685.37/688.16 c #Conflicts: 350000 | #Constraints: 45496 685.37/688.16 c #Conflicts: 351000 | #Constraints: 46496 685.37/688.16 c #Conflicts: 352000 | #Constraints: 47496 685.37/688.16 c #Conflicts: 353000 | #Constraints: 48496 685.37/688.16 c #Conflicts: 354000 | #Constraints: 49496 685.37/688.16 c #Conflicts: 355000 | #Constraints: 50496 685.37/688.16 c #Conflicts: 356000 | #Constraints: 51496 685.37/688.16 c #Conflicts: 357000 | #Constraints: 52496 685.37/688.16 c INPROCESSING 685.37/688.16 c GARBAGE COLLECT 685.37/688.16 WSVECS04 Frhs2[3623]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3652]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3665]: 6 0 10.951 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3674]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3675]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3676]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3682]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3683]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3684]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3687]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3692]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3730]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3731]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3732]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3752]: 6 0 16.4265 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3794]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3805]: 6 0 10.9509 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3806]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3815]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3816]: 6 0 16.424 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3821]: 6 0 10.9493 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3822]: 6 0 10.9502 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3826]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3863]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3892]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3914]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3915]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3916]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3924]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3927]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3932]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3970]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3972]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[3977]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4132]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4146]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4151]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4153]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4154]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4155]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4156]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4162]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4163]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4164]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4167]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4171]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4172]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4210]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4212]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4226]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4227]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4228]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4230]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4232]: 6 0 16.4264 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4274]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4285]: 6 0 10.951 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4295]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4302]: 6 0 10.9502 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4306]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4343]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4372]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4385]: 6 0 10.9509 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4387]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4388]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4394]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4395]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4396]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4402]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4403]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4404]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4412]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4450]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4451]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4452]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4466]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4471]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4472]: 6 0 16.4264 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4514]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4524]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4525]: 6 0 10.951 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4526]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4535]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4542]: 6 0 10.9502 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4546]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4583]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4612]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4625]: 6 0 10.9509 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4626]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4627]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4628]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4634]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4635]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4636]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4642]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4643]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4644]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4647]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4690]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4692]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4707]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4709]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4710]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4754]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4765]: 6 0 10.9509 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4772]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4775]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4776]: 6 0 16.424 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4782]: 6 0 10.9502 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4786]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4823]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4852]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4882]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4884]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4930]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4931]: 6 0 11.0001 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4932]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4952]: 6 0 16.4265 shouldn't be 685.37/688.16 WSVECS04 Frhs2[4994]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5006]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5015]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5021]: 6 0 10.9493 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5023]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5025]: 6 0 10.9493 shouldn't be 685.37/688.16 WSVECS04 Frhs2[5026]: 6 0 11 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7101]: 6 -22.0001 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7129]: 6 -22 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7157]: 6 -22.0001 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7185]: 6 -22.0001 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7213]: 6 -22 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7297]: 6 -22 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7577]: 6 -20 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7578]: 6 -20 0 shouldn't be 685.37/688.16 WSVECS04 Frhs2[7581]: 6 -20 0 shouldn't be 697.51/700.35 WSVECS04 Frhs2[5022]: 6 0 10.9502 shouldn't be 697.51/700.35 WSVECS04 Frhs2[7605]: 6 -2.00008 0 shouldn't be 697.51/700.35 WSVECS04 Frhs2[7606]: 6 -2.00002 0 shouldn't be 697.51/700.35 WSVECS04 Frhs2[7609]: 6 -2.00006 0 shouldn't be 706.88/709.73 c rational objective 70 736.68/739.60 c #Conflicts: 358000 | #Constraints: 41722 736.68/739.60 c #Conflicts: 359000 | #Constraints: 42722 736.68/739.60 c #Conflicts: 360000 | #Constraints: 43722 736.68/739.60 c #Conflicts: 361000 | #Constraints: 44722 736.68/739.60 c #Conflicts: 362000 | #Constraints: 45722 736.68/739.60 c #Conflicts: 363000 | #Constraints: 46722 736.68/739.60 c #Conflicts: 364000 | #Constraints: 47722 736.68/739.60 c #Conflicts: 365000 | #Constraints: 48722 736.68/739.60 c #Conflicts: 366000 | #Constraints: 49722 736.68/739.60 c #Conflicts: 367000 | #Constraints: 50722 736.68/739.60 c #Conflicts: 368000 | #Constraints: 51722 736.68/739.60 c #Conflicts: 369000 | #Constraints: 52722 736.68/739.60 c INPROCESSING 736.68/739.60 c GARBAGE COLLECT 736.68/739.60 c #Conflicts: 370000 | #Constraints: 41738 736.68/739.60 c #Conflicts: 371000 | #Constraints: 42738 736.68/739.60 c #Conflicts: 372000 | #Constraints: 43738 736.68/739.60 c #Conflicts: 373000 | #Constraints: 44738 736.68/739.60 c #Conflicts: 374000 | #Constraints: 45738 736.68/739.60 c #Conflicts: 375000 | #Constraints: 46738 736.68/739.60 c #Conflicts: 376000 | #Constraints: 47738 736.68/739.60 c #Conflicts: 377000 | #Constraints: 48738 736.68/739.60 c #Conflicts: 378000 | #Constraints: 49738 736.68/739.60 c #Conflicts: 379000 | #Constraints: 50738 736.68/739.60 c #Conflicts: 380000 | #Constraints: 51738 736.68/739.60 c #Conflicts: 381000 | #Constraints: 52738 736.68/739.60 c INPROCESSING 736.68/739.60 c GARBAGE COLLECT 736.68/739.60 c rational objective 70 780.84/783.95 c #Conflicts: 382000 | #Constraints: 41528 780.84/783.95 c #Conflicts: 383000 | #Constraints: 42528 780.84/783.95 c #Conflicts: 384000 | #Constraints: 43528 780.84/783.95 c #Conflicts: 385000 | #Constraints: 44528 780.84/783.95 c #Conflicts: 386000 | #Constraints: 45528 780.84/783.95 c #Conflicts: 387000 | #Constraints: 46528 780.84/783.95 c #Conflicts: 388000 | #Constraints: 47528 780.84/783.95 c #Conflicts: 389000 | #Constraints: 48528 780.84/783.95 c #Conflicts: 390000 | #Constraints: 49528 780.84/783.95 c #Conflicts: 391000 | #Constraints: 50528 780.84/783.95 c #Conflicts: 392000 | #Constraints: 51528 780.84/783.95 c #Conflicts: 393000 | #Constraints: 52528 780.84/783.95 c #Conflicts: 394000 | #Constraints: 53528 780.84/783.95 c INPROCESSING 780.84/783.95 c GARBAGE COLLECT 780.84/783.95 c rational objective 70 812.75/815.92 c #Conflicts: 395000 | #Constraints: 42120 812.75/815.92 c #Conflicts: 396000 | #Constraints: 43120 812.75/815.92 c #Conflicts: 397000 | #Constraints: 44120 812.75/815.92 c #Conflicts: 398000 | #Constraints: 45120 812.75/815.92 c #Conflicts: 399000 | #Constraints: 46120 812.75/815.92 c #Conflicts: 400000 | #Constraints: 47120 812.75/815.92 c #Conflicts: 401000 | #Constraints: 48120 812.75/815.92 c #Conflicts: 402000 | #Constraints: 49120 812.75/815.92 c #Conflicts: 403000 | #Constraints: 50120 812.75/815.92 c #Conflicts: 404000 | #Constraints: 51120 812.75/815.92 c #Conflicts: 405000 | #Constraints: 52120 812.75/815.92 c #Conflicts: 406000 | #Constraints: 53120 812.75/815.92 c #Conflicts: 407000 | #Constraints: 54120 812.75/815.92 c INPROCESSING 812.75/815.92 c GARBAGE COLLECT 812.75/815.92 c rational objective 70 849.43/852.76 c #Conflicts: 408000 | #Constraints: 42493 849.43/852.76 c #Conflicts: 409000 | #Constraints: 43493 849.43/852.76 c #Conflicts: 410000 | #Constraints: 44493 849.43/852.76 c #Conflicts: 411000 | #Constraints: 45493 849.43/852.76 c #Conflicts: 412000 | #Constraints: 46493 849.43/852.76 c #Conflicts: 413000 | #Constraints: 47493 849.43/852.76 c #Conflicts: 414000 | #Constraints: 48493 849.43/852.76 c #Conflicts: 415000 | #Constraints: 49493 849.43/852.76 c #Conflicts: 416000 | #Constraints: 50493 849.43/852.76 c #Conflicts: 417000 | #Constraints: 51493 849.43/852.76 c #Conflicts: 418000 | #Constraints: 52493 849.43/852.76 c #Conflicts: 419000 | #Constraints: 53493 849.43/852.76 c #Conflicts: 420000 | #Constraints: 54493 849.43/852.76 c INPROCESSING 849.43/852.76 c GARBAGE COLLECT 849.43/852.76 c rational objective 70 973.43/977.19 c #Conflicts: 421000 | #Constraints: 42701 973.43/977.19 c #Conflicts: 422000 | #Constraints: 43701 973.43/977.19 c #Conflicts: 423000 | #Constraints: 44701 973.43/977.19 c #Conflicts: 424000 | #Constraints: 45701 973.43/977.19 c #Conflicts: 425000 | #Constraints: 46701 973.43/977.19 c #Conflicts: 426000 | #Constraints: 47701 973.43/977.19 c #Conflicts: 427000 | #Constraints: 48701 973.43/977.19 c #Conflicts: 428000 | #Constraints: 49701 973.43/977.19 c #Conflicts: 429000 | #Constraints: 50701 973.43/977.19 c #Conflicts: 430000 | #Constraints: 51701 973.43/977.19 c #Conflicts: 431000 | #Constraints: 52701 973.43/977.19 c #Conflicts: 432000 | #Constraints: 53701 973.43/977.19 c #Conflicts: 433000 | #Constraints: 54701 973.43/977.19 c INPROCESSING 973.43/977.19 c GARBAGE COLLECT 973.43/977.19 c #Conflicts: 434000 | #Constraints: 42761 973.43/977.19 c #Conflicts: 435000 | #Constraints: 43761 973.43/977.19 c #Conflicts: 436000 | #Constraints: 44761 973.43/977.19 c #Conflicts: 437000 | #Constraints: 45761 973.43/977.19 c #Conflicts: 438000 | #Constraints: 46761 973.43/977.19 c #Conflicts: 439000 | #Constraints: 47761 973.43/977.19 c #Conflicts: 440000 | #Constraints: 48761 973.43/977.19 c #Conflicts: 441000 | #Constraints: 49761 973.43/977.19 c #Conflicts: 442000 | #Constraints: 50761 973.43/977.19 c #Conflicts: 443000 | #Constraints: 51761 973.43/977.19 c #Conflicts: 444000 | #Constraints: 52761 973.43/977.19 c #Conflicts: 445000 | #Constraints: 53761 973.43/977.19 c #Conflicts: 446000 | #Constraints: 54761 973.43/977.19 c INPROCESSING 973.43/977.19 c GARBAGE COLLECT 973.43/977.19 WSVECS04 Frhs2[3620]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3675]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3676]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3683]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3687]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3691]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3692]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3799]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3812]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3815]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3858]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3859]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3860]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3915]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3921]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3922]: 6 0 10.5 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3924]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3927]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[3932]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4052]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4056]: 6 0 2.75006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4098]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4100]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4154]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4156]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4162]: 6 0 10.5 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4167]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4172]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4213]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4279]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4286]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4292]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4295]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4338]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4340]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4394]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4396]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4402]: 6 0 10.5 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4407]: 6 0 10.5 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4412]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4519]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4524]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4532]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4535]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4542]: 6 0 5.50002 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4578]: 6 0 5.50009 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4579]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4580]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4634]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4636]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4642]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4647]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4650]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4652]: 6 0 5.50009 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4759]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4772]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4775]: 6 0 5.50009 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4782]: 6 0 5.50003 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4818]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4819]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4820]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4874]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4876]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4882]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4887]: 6 0 10.5001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[4999]: 6 0 5.50005 shouldn't be 973.43/977.19 WSVECS04 Frhs2[5005]: 6 0 5.50004 shouldn't be 973.43/977.19 WSVECS04 Frhs2[5006]: 6 0 5.50001 shouldn't be 973.43/977.19 WSVECS04 Frhs2[5012]: 6 0 5.50008 shouldn't be 973.43/977.19 WSVECS04 Frhs2[5015]: 6 0 5.50006 shouldn't be 973.43/977.19 WSVECS04 Frhs2[5022]: 6 0 5.50006 shouldn't be 984.80/988.59 c rational objective 70 1035.44/1039.43 c #Conflicts: 447000 | #Constraints: 42573 1035.44/1039.43 c #Conflicts: 448000 | #Constraints: 43573 1035.44/1039.43 c #Conflicts: 449000 | #Constraints: 44573 1035.44/1039.43 c #Conflicts: 450000 | #Constraints: 45573 1035.44/1039.43 c #Conflicts: 451000 | #Constraints: 46573 1035.44/1039.43 c #Conflicts: 452000 | #Constraints: 47573 1035.44/1039.43 c #Conflicts: 453000 | #Constraints: 48573 1035.44/1039.43 c #Conflicts: 454000 | #Constraints: 49573 1035.44/1039.43 c #Conflicts: 455000 | #Constraints: 50573 1035.44/1039.43 c #Conflicts: 456000 | #Constraints: 51573 1035.44/1039.43 c #Conflicts: 457000 | #Constraints: 52573 1035.44/1039.43 c #Conflicts: 458000 | #Constraints: 53573 1035.44/1039.43 c #Conflicts: 459000 | #Constraints: 54573 1035.44/1039.43 c #Conflicts: 460000 | #Constraints: 55573 1035.44/1039.43 c INPROCESSING 1035.44/1039.43 c GARBAGE COLLECT 1035.44/1039.43 c #Conflicts: 461000 | #Constraints: 43185 1035.44/1039.43 c #Conflicts: 462000 | #Constraints: 44185 1035.44/1039.43 c #Conflicts: 463000 | #Constraints: 45185 1035.44/1039.43 c #Conflicts: 464000 | #Constraints: 46185 1035.44/1039.43 c #Conflicts: 465000 | #Constraints: 47185 1035.44/1039.43 c #Conflicts: 466000 | #Constraints: 48185 1035.44/1039.43 c #Conflicts: 467000 | #Constraints: 49185 1035.44/1039.43 c #Conflicts: 468000 | #Constraints: 50185 1035.44/1039.43 c #Conflicts: 469000 | #Constraints: 51185 1035.44/1039.43 c #Conflicts: 470000 | #Constraints: 52185 1035.44/1039.43 c #Conflicts: 471000 | #Constraints: 53185 1035.44/1039.43 c #Conflicts: 472000 | #Constraints: 54185 1035.44/1039.43 c #Conflicts: 473000 | #Constraints: 55185 1035.44/1039.43 c #Conflicts: 474000 | #Constraints: 56185 1035.44/1039.43 c INPROCESSING 1035.44/1039.43 c GARBAGE COLLECT 1035.44/1039.43 c rational objective 70 1095.78/1100.09 c #Conflicts: 475000 | #Constraints: 43583 1095.78/1100.09 c #Conflicts: 476000 | #Constraints: 44583 1095.78/1100.09 c #Conflicts: 477000 | #Constraints: 45583 1095.78/1100.09 c #Conflicts: 478000 | #Constraints: 46583 1095.78/1100.09 c #Conflicts: 479000 | #Constraints: 47583 1095.78/1100.09 c #Conflicts: 480000 | #Constraints: 48583 1095.78/1100.09 c #Conflicts: 481000 | #Constraints: 49583 1095.78/1100.09 c #Conflicts: 482000 | #Constraints: 50583 1095.78/1100.09 c #Conflicts: 483000 | #Constraints: 51583 1095.78/1100.09 c #Conflicts: 484000 | #Constraints: 52583 1095.78/1100.09 c #Conflicts: 485000 | #Constraints: 53583 1095.78/1100.09 c #Conflicts: 486000 | #Constraints: 54583 1095.78/1100.09 c #Conflicts: 487000 | #Constraints: 55583 1095.78/1100.09 c #Conflicts: 488000 | #Constraints: 56583 1095.78/1100.09 c INPROCESSING 1095.78/1100.09 c GARBAGE COLLECT 1095.78/1100.09 c #Conflicts: 489000 | #Constraints: 43782 1095.78/1100.09 c #Conflicts: 490000 | #Constraints: 44782 1095.78/1100.09 c #Conflicts: 491000 | #Constraints: 45782 1095.78/1100.09 c #Conflicts: 492000 | #Constraints: 46782 1095.78/1100.09 c #Conflicts: 493000 | #Constraints: 47782 1095.78/1100.09 c #Conflicts: 494000 | #Constraints: 48782 1095.78/1100.09 c #Conflicts: 495000 | #Constraints: 49782 1095.78/1100.09 c #Conflicts: 496000 | #Constraints: 50782 1095.78/1100.09 c #Conflicts: 497000 | #Constraints: 51782 1095.78/1100.09 c #Conflicts: 498000 | #Constraints: 52782 1095.78/1100.09 c #Conflicts: 499000 | #Constraints: 53782 1095.78/1100.09 c #Conflicts: 500000 | #Constraints: 54782 1095.78/1100.09 c #Conflicts: 501000 | #Constraints: 55782 1095.78/1100.09 c #Conflicts: 502000 | #Constraints: 56782 1095.78/1100.09 c INPROCESSING 1095.78/1100.09 c GARBAGE COLLECT 1095.78/1100.09 c rational objective 70 1123.76/1128.14 c #Conflicts: 503000 | #Constraints: 43777 1123.76/1128.14 c #Conflicts: 504000 | #Constraints: 44777 1123.76/1128.14 c #Conflicts: 505000 | #Constraints: 45777 1123.76/1128.14 c #Conflicts: 506000 | #Constraints: 46777 1123.76/1128.14 c #Conflicts: 507000 | #Constraints: 47777 1123.76/1128.14 c #Conflicts: 508000 | #Constraints: 48777 1123.76/1128.14 c #Conflicts: 509000 | #Constraints: 49777 1123.76/1128.14 c #Conflicts: 510000 | #Constraints: 50777 1123.76/1128.14 c #Conflicts: 511000 | #Constraints: 51777 1123.76/1128.14 c #Conflicts: 512000 | #Constraints: 52777 1123.76/1128.14 c #Conflicts: 513000 | #Constraints: 53777 1123.76/1128.14 c #Conflicts: 514000 | #Constraints: 54777 1123.76/1128.14 c #Conflicts: 515000 | #Constraints: 55777 1123.76/1128.14 c #Conflicts: 516000 | #Constraints: 56777 1123.76/1128.14 c INPROCESSING 1123.76/1128.14 c GARBAGE COLLECT 1123.76/1128.14 c rational objective 70 1154.13/1158.69 c #Conflicts: 517000 | #Constraints: 43571 1154.13/1158.69 c #Conflicts: 518000 | #Constraints: 44571 1154.13/1158.69 c #Conflicts: 519000 | #Constraints: 45571 1154.13/1158.69 c #Conflicts: 520000 | #Constraints: 46571 1154.13/1158.69 c #Conflicts: 521000 | #Constraints: 47571 1154.13/1158.69 c #Conflicts: 522000 | #Constraints: 48571 1154.13/1158.69 c #Conflicts: 523000 | #Constraints: 49571 1154.13/1158.69 c #Conflicts: 524000 | #Constraints: 50571 1154.13/1158.69 c #Conflicts: 525000 | #Constraints: 51571 1154.13/1158.69 c #Conflicts: 526000 | #Constraints: 52571 1154.13/1158.69 c #Conflicts: 527000 | #Constraints: 53571 1154.13/1158.69 c #Conflicts: 528000 | #Constraints: 54571 1154.13/1158.69 c #Conflicts: 529000 | #Constraints: 55571 1154.13/1158.69 c #Conflicts: 530000 | #Constraints: 56571 1154.13/1158.69 c #Conflicts: 531000 | #Constraints: 57571 1154.13/1158.69 c INPROCESSING 1154.13/1158.69 c GARBAGE COLLECT 1154.13/1158.69 c rational objective 70 1188.69/1193.32 c #Conflicts: 532000 | #Constraints: 44140 1188.69/1193.32 c #Conflicts: 533000 | #Constraints: 45140 1188.69/1193.32 c #Conflicts: 534000 | #Constraints: 46140 1188.69/1193.32 c #Conflicts: 535000 | #Constraints: 47140 1188.69/1193.32 c #Conflicts: 536000 | #Constraints: 48140 1188.69/1193.32 c #Conflicts: 537000 | #Constraints: 49140 1188.69/1193.32 c #Conflicts: 538000 | #Constraints: 50140 1188.69/1193.32 c #Conflicts: 539000 | #Constraints: 51140 1188.69/1193.32 c #Conflicts: 540000 | #Constraints: 52140 1188.69/1193.32 c #Conflicts: 541000 | #Constraints: 53140 1188.69/1193.32 c #Conflicts: 542000 | #Constraints: 54140 1188.69/1193.32 c #Conflicts: 543000 | #Constraints: 55140 1188.69/1193.32 c #Conflicts: 544000 | #Constraints: 56140 1188.69/1193.32 c #Conflicts: 545000 | #Constraints: 57140 1188.69/1193.32 c #Conflicts: 546000 | #Constraints: 58140 1188.69/1193.32 c INPROCESSING 1188.69/1193.32 c GARBAGE COLLECT 1188.69/1193.32 c #Conflicts: 547000 | #Constraints: 44524 1188.69/1193.32 c #Conflicts: 548000 | #Constraints: 45524 1188.69/1193.32 c #Conflicts: 549000 | #Constraints: 46524 1188.69/1193.32 c #Conflicts: 550000 | #Constraints: 47524 1188.69/1193.32 c #Conflicts: 551000 | #Constraints: 48524 1188.69/1193.32 c #Conflicts: 552000 | #Constraints: 49524 1188.69/1193.32 c #Conflicts: 553000 | #Constraints: 50524 1188.69/1193.32 c #Conflicts: 554000 | #Constraints: 51524 1188.69/1193.32 c #Conflicts: 555000 | #Constraints: 52524 1188.69/1193.32 c #Conflicts: 556000 | #Constraints: 53524 1188.69/1193.32 c #Conflicts: 557000 | #Constraints: 54524 1188.69/1193.32 c #Conflicts: 558000 | #Constraints: 55524 1188.69/1193.32 c #Conflicts: 559000 | #Constraints: 56524 1188.69/1193.32 c #Conflicts: 560000 | #Constraints: 57524 1188.69/1193.32 c #Conflicts: 561000 | #Constraints: 58524 1188.69/1193.32 c INPROCESSING 1188.69/1193.32 c GARBAGE COLLECT 1188.69/1193.32 c rational objective 70 1219.66/1224.43 c #Conflicts: 562000 | #Constraints: 44684 1219.66/1224.43 c #Conflicts: 563000 | #Constraints: 45684 1219.66/1224.43 c #Conflicts: 564000 | #Constraints: 46684 1219.66/1224.43 c #Conflicts: 565000 | #Constraints: 47684 1219.66/1224.43 c #Conflicts: 566000 | #Constraints: 48684 1219.66/1224.43 c #Conflicts: 567000 | #Constraints: 49684 1219.66/1224.43 c #Conflicts: 568000 | #Constraints: 50684 1219.66/1224.43 c #Conflicts: 569000 | #Constraints: 51684 1219.66/1224.43 c #Conflicts: 570000 | #Constraints: 52684 1219.66/1224.43 c #Conflicts: 571000 | #Constraints: 53684 1219.66/1224.43 c #Conflicts: 572000 | #Constraints: 54684 1219.66/1224.43 c #Conflicts: 573000 | #Constraints: 55684 1219.66/1224.43 c #Conflicts: 574000 | #Constraints: 56684 1219.66/1224.43 c #Conflicts: 575000 | #Constraints: 57684 1219.66/1224.43 c #Conflicts: 576000 | #Constraints: 58684 1219.66/1224.43 c INPROCESSING 1219.66/1224.43 c GARBAGE COLLECT 1219.66/1224.43 c rational objective 70 1249.47/1254.36 c #Conflicts: 577000 | #Constraints: 44664 1249.47/1254.36 c #Conflicts: 578000 | #Constraints: 45664 1249.47/1254.36 c #Conflicts: 579000 | #Constraints: 46664 1249.47/1254.36 c #Conflicts: 580000 | #Constraints: 47664 1249.47/1254.36 c #Conflicts: 581000 | #Constraints: 48664 1249.47/1254.36 c #Conflicts: 582000 | #Constraints: 49664 1249.47/1254.36 c #Conflicts: 583000 | #Constraints: 50664 1249.47/1254.36 c #Conflicts: 584000 | #Constraints: 51664 1249.47/1254.36 c #Conflicts: 585000 | #Constraints: 52664 1249.47/1254.36 c #Conflicts: 586000 | #Constraints: 53664 1249.47/1254.36 c #Conflicts: 587000 | #Constraints: 54664 1249.47/1254.36 c #Conflicts: 588000 | #Constraints: 55664 1249.47/1254.36 c #Conflicts: 589000 | #Constraints: 56664 1249.47/1254.36 c #Conflicts: 590000 | #Constraints: 57664 1249.47/1254.36 c #Conflicts: 591000 | #Constraints: 58664 1249.47/1254.36 c INPROCESSING 1249.47/1254.36 c GARBAGE COLLECT 1249.47/1254.36 c rational objective 70 1280.87/1285.85 c #Conflicts: 592000 | #Constraints: 44459 1280.87/1285.85 c #Conflicts: 593000 | #Constraints: 45459 1280.87/1285.85 c #Conflicts: 594000 | #Constraints: 46459 1280.87/1285.85 c #Conflicts: 595000 | #Constraints: 47459 1280.87/1285.85 c #Conflicts: 596000 | #Constraints: 48459 1280.87/1285.85 c #Conflicts: 597000 | #Constraints: 49459 1280.87/1285.85 c #Conflicts: 598000 | #Constraints: 50459 1280.87/1285.85 c #Conflicts: 599000 | #Constraints: 51459 1280.87/1285.85 c #Conflicts: 600000 | #Constraints: 52459 1280.87/1285.85 c #Conflicts: 601000 | #Constraints: 53459 1280.87/1285.85 c #Conflicts: 602000 | #Constraints: 54459 1280.87/1285.85 c #Conflicts: 603000 | #Constraints: 55459 1280.87/1285.85 c #Conflicts: 604000 | #Constraints: 56459 1280.87/1285.85 c #Conflicts: 605000 | #Constraints: 57459 1280.87/1285.85 c #Conflicts: 606000 | #Constraints: 58459 1280.87/1285.85 c #Conflicts: 607000 | #Constraints: 59459 1280.87/1285.85 c INPROCESSING 1280.87/1285.85 c GARBAGE COLLECT 1280.87/1285.85 c rational objective 70 1310.58/1315.60 c #Conflicts: 608000 | #Constraints: 45060 1310.58/1315.60 c #Conflicts: 609000 | #Constraints: 46060 1310.58/1315.60 c #Conflicts: 610000 | #Constraints: 47060 1310.58/1315.60 c #Conflicts: 611000 | #Constraints: 48060 1310.58/1315.60 c #Conflicts: 612000 | #Constraints: 49060 1310.58/1315.60 c #Conflicts: 613000 | #Constraints: 50060 1310.58/1315.60 c #Conflicts: 614000 | #Constraints: 51060 1310.58/1315.60 c #Conflicts: 615000 | #Constraints: 52060 1310.58/1315.60 c #Conflicts: 616000 | #Constraints: 53060 1310.58/1315.60 c #Conflicts: 617000 | #Constraints: 54060 1310.58/1315.60 c #Conflicts: 618000 | #Constraints: 55060 1310.58/1315.60 c #Conflicts: 619000 | #Constraints: 56060 1310.58/1315.60 c #Conflicts: 620000 | #Constraints: 57060 1310.58/1315.60 c #Conflicts: 621000 | #Constraints: 58060 1310.58/1315.60 c #Conflicts: 622000 | #Constraints: 59060 1310.58/1315.60 c #Conflicts: 623000 | #Constraints: 60060 1310.58/1315.60 c INPROCESSING 1310.58/1315.60 c GARBAGE COLLECT 1310.58/1315.60 c rational objective 70 1353.93/1359.18 c #Conflicts: 624000 | #Constraints: 45457 1353.93/1359.18 c #Conflicts: 625000 | #Constraints: 46457 1353.93/1359.18 c #Conflicts: 626000 | #Constraints: 47457 1353.93/1359.18 c #Conflicts: 627000 | #Constraints: 48457 1353.93/1359.18 c #Conflicts: 628000 | #Constraints: 49457 1353.93/1359.18 c #Conflicts: 629000 | #Constraints: 50457 1353.93/1359.18 c #Conflicts: 630000 | #Constraints: 51457 1353.93/1359.18 c #Conflicts: 631000 | #Constraints: 52457 1353.93/1359.18 c #Conflicts: 632000 | #Constraints: 53457 1353.93/1359.18 c #Conflicts: 633000 | #Constraints: 54457 1353.93/1359.18 c #Conflicts: 634000 | #Constraints: 55457 1353.93/1359.18 c #Conflicts: 635000 | #Constraints: 56457 1353.93/1359.18 c #Conflicts: 636000 | #Constraints: 57457 1353.93/1359.18 c #Conflicts: 637000 | #Constraints: 58457 1353.93/1359.18 c #Conflicts: 638000 | #Constraints: 59457 1353.93/1359.18 c #Conflicts: 639000 | #Constraints: 60457 1353.93/1359.18 c INPROCESSING 1353.93/1359.18 c GARBAGE COLLECT 1353.93/1359.18 c #Conflicts: 640000 | #Constraints: 45659 1353.93/1359.18 c #Conflicts: 641000 | #Constraints: 46659 1353.93/1359.18 c #Conflicts: 642000 | #Constraints: 47659 1353.93/1359.18 c #Conflicts: 643000 | #Constraints: 48659 1353.93/1359.18 c #Conflicts: 644000 | #Constraints: 49659 1353.93/1359.18 c #Conflicts: 645000 | #Constraints: 50659 1353.93/1359.18 c #Conflicts: 646000 | #Constraints: 51659 1353.93/1359.18 c #Conflicts: 647000 | #Constraints: 52659 1353.93/1359.18 c #Conflicts: 648000 | #Constraints: 53659 1353.93/1359.18 c #Conflicts: 649000 | #Constraints: 54659 1353.93/1359.18 c #Conflicts: 650000 | #Constraints: 55659 1353.93/1359.18 c #Conflicts: 651000 | #Constraints: 56659 1353.93/1359.18 c #Conflicts: 652000 | #Constraints: 57659 1353.93/1359.18 c #Conflicts: 653000 | #Constraints: 58659 1353.93/1359.18 c #Conflicts: 654000 | #Constraints: 59659 1353.93/1359.18 c #Conflicts: 655000 | #Constraints: 60659 1353.93/1359.18 c INPROCESSING 1353.93/1359.18 c GARBAGE COLLECT 1353.93/1359.18 c rational objective 70 1382.02/1387.39 c #Conflicts: 656000 | #Constraints: 45653 1382.02/1387.39 c #Conflicts: 657000 | #Constraints: 46653 1382.02/1387.39 c #Conflicts: 658000 | #Constraints: 47653 1382.02/1387.39 c #Conflicts: 659000 | #Constraints: 48653 1382.02/1387.39 c #Conflicts: 660000 | #Constraints: 49653 1382.02/1387.39 c #Conflicts: 661000 | #Constraints: 50653 1382.02/1387.39 c #Conflicts: 662000 | #Constraints: 51653 1382.02/1387.39 c #Conflicts: 663000 | #Constraints: 52653 1382.02/1387.39 c #Conflicts: 664000 | #Constraints: 53653 1382.02/1387.39 c #Conflicts: 665000 | #Constraints: 54653 1382.02/1387.39 c #Conflicts: 666000 | #Constraints: 55653 1382.02/1387.39 c #Conflicts: 667000 | #Constraints: 56653 1382.02/1387.39 c #Conflicts: 668000 | #Constraints: 57653 1382.02/1387.39 c #Conflicts: 669000 | #Constraints: 58653 1382.02/1387.39 c #Conflicts: 670000 | #Constraints: 59653 1382.02/1387.39 c #Conflicts: 671000 | #Constraints: 60653 1382.02/1387.39 c INPROCESSING 1382.02/1387.39 c GARBAGE COLLECT 1382.02/1387.39 c rational objective 70 1411.82/1417.21 c #Conflicts: 672000 | #Constraints: 45453 1411.82/1417.21 c #Conflicts: 673000 | #Constraints: 46453 1411.82/1417.21 c #Conflicts: 674000 | #Constraints: 47453 1411.82/1417.21 c #Conflicts: 675000 | #Constraints: 48453 1411.82/1417.21 c #Conflicts: 676000 | #Constraints: 49453 1411.82/1417.21 c #Conflicts: 677000 | #Constraints: 50453 1411.82/1417.21 c #Conflicts: 678000 | #Constraints: 51453 1411.82/1417.21 c #Conflicts: 679000 | #Constraints: 52453 1411.82/1417.21 c #Conflicts: 680000 | #Constraints: 53453 1411.82/1417.21 c #Conflicts: 681000 | #Constraints: 54453 1411.82/1417.21 c #Conflicts: 682000 | #Constraints: 55453 1411.82/1417.21 c #Conflicts: 683000 | #Constraints: 56453 1411.82/1417.21 c #Conflicts: 684000 | #Constraints: 57453 1411.82/1417.21 c #Conflicts: 685000 | #Constraints: 58453 1411.82/1417.21 c #Conflicts: 686000 | #Constraints: 59453 1411.82/1417.21 c #Conflicts: 687000 | #Constraints: 60453 1411.82/1417.21 c #Conflicts: 688000 | #Constraints: 61453 1411.82/1417.21 c INPROCESSING 1411.82/1417.21 c GARBAGE COLLECT 1411.82/1417.21 c rational objective 70 1441.82/1447.32 c #Conflicts: 689000 | #Constraints: 46053 1441.82/1447.32 c #Conflicts: 690000 | #Constraints: 47053 1441.82/1447.32 c #Conflicts: 691000 | #Constraints: 48053 1441.82/1447.32 c #Conflicts: 692000 | #Constraints: 49053 1441.82/1447.32 c #Conflicts: 693000 | #Constraints: 50053 1441.82/1447.32 c #Conflicts: 694000 | #Constraints: 51053 1441.82/1447.32 c #Conflicts: 695000 | #Constraints: 52053 1441.82/1447.32 c #Conflicts: 696000 | #Constraints: 53053 1441.82/1447.32 c #Conflicts: 697000 | #Constraints: 54053 1441.82/1447.32 c #Conflicts: 698000 | #Constraints: 55053 1441.82/1447.32 c #Conflicts: 699000 | #Constraints: 56053 1441.82/1447.32 c #Conflicts: 700000 | #Constraints: 57053 1441.82/1447.32 c #Conflicts: 701000 | #Constraints: 58053 1441.82/1447.32 c #Conflicts: 702000 | #Constraints: 59053 1441.82/1447.32 c #Conflicts: 703000 | #Constraints: 60053 1441.82/1447.32 c #Conflicts: 704000 | #Constraints: 61053 1441.82/1447.32 c #Conflicts: 705000 | #Constraints: 62053 1441.82/1447.32 c INPROCESSING 1441.82/1447.32 c GARBAGE COLLECT 1441.82/1447.32 c rational objective 70 1485.19/1490.81 c #Conflicts: 706000 | #Constraints: 46458 1485.19/1490.81 c #Conflicts: 707000 | #Constraints: 47458 1485.19/1490.81 c #Conflicts: 708000 | #Constraints: 48458 1485.19/1490.81 c #Conflicts: 709000 | #Constraints: 49458 1485.19/1490.81 c #Conflicts: 710000 | #Constraints: 50458 1485.19/1490.81 c #Conflicts: 711000 | #Constraints: 51458 1485.19/1490.81 c #Conflicts: 712000 | #Constraints: 52458 1485.19/1490.81 c #Conflicts: 713000 | #Constraints: 53458 1485.19/1490.81 c #Conflicts: 714000 | #Constraints: 54458 1485.19/1490.81 c #Conflicts: 715000 | #Constraints: 55458 1485.19/1490.81 c #Conflicts: 716000 | #Constraints: 56458 1485.19/1490.81 c #Conflicts: 717000 | #Constraints: 57458 1485.19/1490.81 c #Conflicts: 718000 | #Constraints: 58458 1485.19/1490.81 c #Conflicts: 719000 | #Constraints: 59458 1485.19/1490.81 c #Conflicts: 720000 | #Constraints: 60458 1485.19/1490.81 c #Conflicts: 721000 | #Constraints: 61458 1485.19/1490.81 c #Conflicts: 722000 | #Constraints: 62458 1485.19/1490.81 c INPROCESSING 1485.19/1490.81 c GARBAGE COLLECT 1485.19/1490.81 c rational objective 70 1514.00/1519.71 c #Conflicts: 723000 | #Constraints: 46660 1514.00/1519.71 c #Conflicts: 724000 | #Constraints: 47660 1514.00/1519.71 c #Conflicts: 725000 | #Constraints: 48660 1514.00/1519.71 c #Conflicts: 726000 | #Constraints: 49660 1514.00/1519.71 c #Conflicts: 727000 | #Constraints: 50660 1514.00/1519.71 c #Conflicts: 728000 | #Constraints: 51660 1514.00/1519.71 c #Conflicts: 729000 | #Constraints: 52660 1514.00/1519.71 c #Conflicts: 730000 | #Constraints: 53660 1514.00/1519.71 c #Conflicts: 731000 | #Constraints: 54660 1514.00/1519.71 c #Conflicts: 732000 | #Constraints: 55660 1514.00/1519.71 c #Conflicts: 733000 | #Constraints: 56660 1514.00/1519.71 c #Conflicts: 734000 | #Constraints: 57660 1514.00/1519.71 c #Conflicts: 735000 | #Constraints: 58660 1514.00/1519.71 c #Conflicts: 736000 | #Constraints: 59660 1514.00/1519.71 c #Conflicts: 737000 | #Constraints: 60660 1514.00/1519.71 c #Conflicts: 738000 | #Constraints: 61660 1514.00/1519.71 c #Conflicts: 739000 | #Constraints: 62660 1514.00/1519.71 c INPROCESSING 1514.00/1519.71 c GARBAGE COLLECT 1514.00/1519.71 c rational objective 70 1559.94/1565.86 c #Conflicts: 740000 | #Constraints: 46659 1559.94/1565.86 c #Conflicts: 741000 | #Constraints: 47659 1559.94/1565.86 c #Conflicts: 742000 | #Constraints: 48659 1559.94/1565.86 c #Conflicts: 743000 | #Constraints: 49659 1559.94/1565.86 c #Conflicts: 744000 | #Constraints: 50659 1559.94/1565.86 c #Conflicts: 745000 | #Constraints: 51659 1559.94/1565.86 c #Conflicts: 746000 | #Constraints: 52659 1559.94/1565.86 c #Conflicts: 747000 | #Constraints: 53659 1559.94/1565.86 c #Conflicts: 748000 | #Constraints: 54659 1559.94/1565.86 c #Conflicts: 749000 | #Constraints: 55659 1559.94/1565.86 c #Conflicts: 750000 | #Constraints: 56659 1559.94/1565.86 c #Conflicts: 751000 | #Constraints: 57659 1559.94/1565.86 c #Conflicts: 752000 | #Constraints: 58659 1559.94/1565.86 c #Conflicts: 753000 | #Constraints: 59659 1559.94/1565.86 c #Conflicts: 754000 | #Constraints: 60659 1559.94/1565.86 c #Conflicts: 755000 | #Constraints: 61659 1559.94/1565.86 c #Conflicts: 756000 | #Constraints: 62659 1559.94/1565.86 c INPROCESSING 1559.94/1565.86 c GARBAGE COLLECT 1559.94/1565.86 c rational objective 70 1605.90/1611.91 c #Conflicts: 757000 | #Constraints: 46457 1605.90/1611.91 c #Conflicts: 758000 | #Constraints: 47457 1605.90/1611.91 c #Conflicts: 759000 | #Constraints: 48457 1605.90/1611.91 c #Conflicts: 760000 | #Constraints: 49457 1605.90/1611.91 c #Conflicts: 761000 | #Constraints: 50457 1605.90/1611.91 c #Conflicts: 762000 | #Constraints: 51457 1605.90/1611.91 c #Conflicts: 763000 | #Constraints: 52457 1605.90/1611.91 c #Conflicts: 764000 | #Constraints: 53457 1605.90/1611.91 c #Conflicts: 765000 | #Constraints: 54457 1605.90/1611.91 c #Conflicts: 766000 | #Constraints: 55457 1605.90/1611.91 c #Conflicts: 767000 | #Constraints: 56457 1605.90/1611.91 c #Conflicts: 768000 | #Constraints: 57457 1605.90/1611.91 c #Conflicts: 769000 | #Constraints: 58457 1605.90/1611.91 c #Conflicts: 770000 | #Constraints: 59457 1605.90/1611.91 c #Conflicts: 771000 | #Constraints: 60457 1605.90/1611.91 c #Conflicts: 772000 | #Constraints: 61457 1605.90/1611.91 c #Conflicts: 773000 | #Constraints: 62457 1605.90/1611.91 c #Conflicts: 774000 | #Constraints: 63457 1605.90/1611.91 c INPROCESSING 1605.90/1611.91 c GARBAGE COLLECT 1605.90/1611.91 c rational objective 70 1659.51/1665.78 c #Conflicts: 775000 | #Constraints: 46900 1659.51/1665.78 c #Conflicts: 776000 | #Constraints: 47900 1659.51/1665.78 c #Conflicts: 777000 | #Constraints: 48900 1659.51/1665.78 c #Conflicts: 778000 | #Constraints: 49900 1659.51/1665.78 c #Conflicts: 779000 | #Constraints: 50900 1659.51/1665.78 c #Conflicts: 780000 | #Constraints: 51900 1659.51/1665.78 c #Conflicts: 781000 | #Constraints: 52900 1659.51/1665.78 c #Conflicts: 782000 | #Constraints: 53900 1659.51/1665.78 c #Conflicts: 783000 | #Constraints: 54900 1659.51/1665.78 c #Conflicts: 784000 | #Constraints: 55900 1659.51/1665.78 c #Conflicts: 785000 | #Constraints: 56900 1659.51/1665.78 c #Conflicts: 786000 | #Constraints: 57900 1659.51/1665.78 c #Conflicts: 787000 | #Constraints: 58900 1659.51/1665.78 c #Conflicts: 788000 | #Constraints: 59900 1659.51/1665.78 c #Conflicts: 789000 | #Constraints: 60900 1659.51/1665.78 c #Conflicts: 790000 | #Constraints: 61900 1659.51/1665.78 c #Conflicts: 791000 | #Constraints: 62900 1659.51/1665.78 c #Conflicts: 792000 | #Constraints: 63900 1659.51/1665.78 c INPROCESSING 1659.51/1665.78 c GARBAGE COLLECT 1659.51/1665.78 c rational objective 70 1689.91/1696.27 c #Conflicts: 793000 | #Constraints: 47395 1689.91/1696.27 c #Conflicts: 794000 | #Constraints: 48395 1689.91/1696.27 c #Conflicts: 795000 | #Constraints: 49395 1689.91/1696.27 c #Conflicts: 796000 | #Constraints: 50395 1689.91/1696.27 c #Conflicts: 797000 | #Constraints: 51395 1689.91/1696.27 c #Conflicts: 798000 | #Constraints: 52395 1689.91/1696.27 c #Conflicts: 799000 | #Constraints: 53395 1689.91/1696.27 c #Conflicts: 800000 | #Constraints: 54395 1689.91/1696.27 c #Conflicts: 801000 | #Constraints: 55395 1689.91/1696.27 c #Conflicts: 802000 | #Constraints: 56395 1689.91/1696.27 c #Conflicts: 803000 | #Constraints: 57395 1689.91/1696.27 c #Conflicts: 804000 | #Constraints: 58395 1689.91/1696.27 c #Conflicts: 805000 | #Constraints: 59395 1689.91/1696.27 c #Conflicts: 806000 | #Constraints: 60395 1689.91/1696.27 c #Conflicts: 807000 | #Constraints: 61395 1689.91/1696.27 c #Conflicts: 808000 | #Constraints: 62395 1689.91/1696.27 c #Conflicts: 809000 | #Constraints: 63395 1689.91/1696.27 c #Conflicts: 810000 | #Constraints: 64395 1689.91/1696.27 c INPROCESSING 1689.91/1696.27 c GARBAGE COLLECT 1689.91/1696.27 c rational objective 70 1727.08/1733.54 c #Conflicts: 811000 | #Constraints: 47630 1727.08/1733.54 c #Conflicts: 812000 | #Constraints: 48630 1727.08/1733.54 c #Conflicts: 813000 | #Constraints: 49630 1727.08/1733.54 c #Conflicts: 814000 | #Constraints: 50630 1727.08/1733.54 c #Conflicts: 815000 | #Constraints: 51630 1727.08/1733.54 c #Conflicts: 816000 | #Constraints: 52630 1727.08/1733.54 c #Conflicts: 817000 | #Constraints: 53630 1727.08/1733.54 c #Conflicts: 818000 | #Constraints: 54630 1727.08/1733.54 c #Conflicts: 819000 | #Constraints: 55630 1727.08/1733.54 c #Conflicts: 820000 | #Constraints: 56630 1727.08/1733.54 c #Conflicts: 821000 | #Constraints: 57630 1727.08/1733.54 c #Conflicts: 822000 | #Constraints: 58631 1727.08/1733.54 c #Conflicts: 823000 | #Constraints: 59631 1727.08/1733.54 c #Conflicts: 824000 | #Constraints: 60631 1727.08/1733.54 c #Conflicts: 825000 | #Constraints: 61631 1727.08/1733.54 c #Conflicts: 826000 | #Constraints: 62631 1727.08/1733.54 c #Conflicts: 827000 | #Constraints: 63631 1727.08/1733.54 c #Conflicts: 828000 | #Constraints: 64631 1727.08/1733.54 c INPROCESSING 1727.08/1733.54 c GARBAGE COLLECT 1727.08/1733.54 c rational objective 70 1758.37/1764.92 c #Conflicts: 829000 | #Constraints: 47642 1758.37/1764.92 c #Conflicts: 830000 | #Constraints: 48642 1758.37/1764.92 c #Conflicts: 831000 | #Constraints: 49642 1758.37/1764.92 c #Conflicts: 832000 | #Constraints: 50642 1758.37/1764.92 c #Conflicts: 833000 | #Constraints: 51642 1758.37/1764.92 c #Conflicts: 834000 | #Constraints: 52642 1758.37/1764.92 c #Conflicts: 835000 | #Constraints: 53642 1758.37/1764.92 c #Conflicts: 836000 | #Constraints: 54642 1758.37/1764.92 c #Conflicts: 837000 | #Constraints: 55642 1758.37/1764.92 c #Conflicts: 838000 | #Constraints: 56642 1758.37/1764.92 c #Conflicts: 839000 | #Constraints: 57642 1758.37/1764.92 c #Conflicts: 840000 | #Constraints: 58642 1758.37/1764.92 c #Conflicts: 841000 | #Constraints: 59642 1758.37/1764.92 c #Conflicts: 842000 | #Constraints: 60642 1758.37/1764.92 c #Conflicts: 843000 | #Constraints: 61642 1758.37/1764.92 c #Conflicts: 844000 | #Constraints: 62642 1758.37/1764.92 c #Conflicts: 845000 | #Constraints: 63642 1758.37/1764.92 c #Conflicts: 846000 | #Constraints: 64642 1758.37/1764.92 c INPROCESSING 1758.37/1764.92 c GARBAGE COLLECT 1758.37/1764.92 c rational objective 70 1825.25/1832.04 c #Conflicts: 847000 | #Constraints: 47447 1825.25/1832.04 c #Conflicts: 848000 | #Constraints: 48447 1825.25/1832.04 c #Conflicts: 849000 | #Constraints: 49447 1825.25/1832.04 c #Conflicts: 850000 | #Constraints: 50447 1825.25/1832.04 c #Conflicts: 851000 | #Constraints: 51447 1825.25/1832.04 c #Conflicts: 852000 | #Constraints: 52447 1825.25/1832.04 c #Conflicts: 853000 | #Constraints: 53447 1825.25/1832.04 c #Conflicts: 854000 | #Constraints: 54447 1825.25/1832.04 c #Conflicts: 855000 | #Constraints: 55447 1825.25/1832.04 c #Conflicts: 856000 | #Constraints: 56447 1825.25/1832.04 c #Conflicts: 857000 | #Constraints: 57447 1825.25/1832.04 c #Conflicts: 858000 | #Constraints: 58447 1825.25/1832.04 c #Conflicts: 859000 | #Constraints: 59447 1825.25/1832.04 c #Conflicts: 860000 | #Constraints: 60447 1825.25/1832.04 c #Conflicts: 861000 | #Constraints: 61447 1825.25/1832.04 c #Conflicts: 862000 | #Constraints: 62447 1825.25/1832.04 c #Conflicts: 863000 | #Constraints: 63447 1825.25/1832.04 c #Conflicts: 864000 | #Constraints: 64447 1825.25/1832.04 c #Conflicts: 865000 | #Constraints: 65447 1825.25/1832.04 c INPROCESSING 1825.25/1832.04 c GARBAGE COLLECT 1825.25/1832.04 c rational objective 70 1858.44/1865.33 c #Conflicts: 866000 | #Constraints: 48051 1858.44/1865.33 c #Conflicts: 867000 | #Constraints: 49051 1858.44/1865.33 c #Conflicts: 868000 | #Constraints: 50051 1858.44/1865.33 c #Conflicts: 869000 | #Constraints: 51051 1858.44/1865.33 c #Conflicts: 870000 | #Constraints: 52051 1858.44/1865.33 c #Conflicts: 871000 | #Constraints: 53051 1858.44/1865.33 c #Conflicts: 872000 | #Constraints: 54051 1858.44/1865.33 c #Conflicts: 873000 | #Constraints: 55051 1858.44/1865.33 c #Conflicts: 874000 | #Constraints: 56051 1858.44/1865.33 c #Conflicts: 875000 | #Constraints: 57051 1858.44/1865.33 c #Conflicts: 876000 | #Constraints: 58051 1858.44/1865.33 c #Conflicts: 877000 | #Constraints: 59051 1858.44/1865.33 c #Conflicts: 878000 | #Constraints: 60051 1858.44/1865.33 c #Conflicts: 879000 | #Constraints: 61051 1858.44/1865.33 c #Conflicts: 880000 | #Constraints: 62051 1858.44/1865.33 c #Conflicts: 881000 | #Constraints: 63051 1858.44/1865.33 c #Conflicts: 882000 | #Constraints: 64051 1858.44/1865.33 c #Conflicts: 883000 | #Constraints: 65051 1858.44/1865.33 c #Conflicts: 884000 | #Constraints: 66051 1858.44/1865.33 c INPROCESSING 1858.44/1865.33 c GARBAGE COLLECT 1858.44/1865.33 c rational objective 70 1889.52/1896.51 c #Conflicts: 885000 | #Constraints: 48455 1889.52/1896.51 c #Conflicts: 886000 | #Constraints: 49455 1889.52/1896.51 c #Conflicts: 887000 | #Constraints: 50455 1889.52/1896.51 c #Conflicts: 888000 | #Constraints: 51455 1889.52/1896.51 c #Conflicts: 889000 | #Constraints: 52455 1889.52/1896.51 c #Conflicts: 890000 | #Constraints: 53455 1889.52/1896.51 c #Conflicts: 891000 | #Constraints: 54455 1889.52/1896.51 c #Conflicts: 892000 | #Constraints: 55455 1889.52/1896.51 c #Conflicts: 893000 | #Constraints: 56455 1889.52/1896.51 c #Conflicts: 894000 | #Constraints: 57455 1889.52/1896.51 c #Conflicts: 895000 | #Constraints: 58455 1889.52/1896.51 c #Conflicts: 896000 | #Constraints: 59455 1889.52/1896.51 c #Conflicts: 897000 | #Constraints: 60455 1889.52/1896.51 c #Conflicts: 898000 | #Constraints: 61455 1889.52/1896.51 c #Conflicts: 899000 | #Constraints: 62455 1889.52/1896.51 c #Conflicts: 900000 | #Constraints: 63455 1889.52/1896.51 c #Conflicts: 901000 | #Constraints: 64455 1889.52/1896.51 c #Conflicts: 902000 | #Constraints: 65455 1889.52/1896.51 c #Conflicts: 903000 | #Constraints: 66455 1889.52/1896.51 c INPROCESSING 1889.52/1896.51 c GARBAGE COLLECT 1889.52/1896.51 c rational objective 70 1931.59/1938.78 c #Conflicts: 904000 | #Constraints: 48655 1931.59/1938.78 c #Conflicts: 905000 | #Constraints: 49655 1931.59/1938.78 c #Conflicts: 906000 | #Constraints: 50655 1931.59/1938.78 c #Conflicts: 907000 | #Constraints: 51655 1931.59/1938.78 c #Conflicts: 908000 | #Constraints: 52655 1931.59/1938.78 c #Conflicts: 909000 | #Constraints: 53655 1931.59/1938.78 c #Conflicts: 910000 | #Constraints: 54655 1931.59/1938.78 c #Conflicts: 911000 | #Constraints: 55655 1931.59/1938.78 c #Conflicts: 912000 | #Constraints: 56655 1931.59/1938.78 c #Conflicts: 913000 | #Constraints: 57655 1931.59/1938.78 c #Conflicts: 914000 | #Constraints: 58655 1931.59/1938.78 c #Conflicts: 915000 | #Constraints: 59655 1931.59/1938.78 c #Conflicts: 916000 | #Constraints: 60655 1931.59/1938.78 c #Conflicts: 917000 | #Constraints: 61655 1931.59/1938.78 c #Conflicts: 918000 | #Constraints: 62655 1931.59/1938.78 c #Conflicts: 919000 | #Constraints: 63655 1931.59/1938.78 c #Conflicts: 920000 | #Constraints: 64655 1931.59/1938.78 c #Conflicts: 921000 | #Constraints: 65655 1931.59/1938.78 c #Conflicts: 922000 | #Constraints: 66655 1931.59/1938.78 c INPROCESSING 1931.59/1938.78 c GARBAGE COLLECT 1931.59/1938.78 c rational objective 70 1961.40/1968.68 c #Conflicts: 923000 | #Constraints: 48648 1961.40/1968.68 c #Conflicts: 924000 | #Constraints: 49648 1961.40/1968.68 c #Conflicts: 925000 | #Constraints: 50648 1961.40/1968.68 c #Conflicts: 926000 | #Constraints: 51648 1961.40/1968.68 c #Conflicts: 927000 | #Constraints: 52648 1961.40/1968.68 c #Conflicts: 928000 | #Constraints: 53648 1961.40/1968.68 c #Conflicts: 929000 | #Constraints: 54648 1961.40/1968.68 c #Conflicts: 930000 | #Constraints: 55648 1961.40/1968.68 c #Conflicts: 931000 | #Constraints: 56648 1961.40/1968.68 c #Conflicts: 932000 | #Constraints: 57648 1961.40/1968.68 c #Conflicts: 933000 | #Constraints: 58648 1961.40/1968.68 c #Conflicts: 934000 | #Constraints: 59648 1961.40/1968.68 c #Conflicts: 935000 | #Constraints: 60649 1961.40/1968.68 c #Conflicts: 936000 | #Constraints: 61649 1961.40/1968.68 c #Conflicts: 937000 | #Constraints: 62649 1961.40/1968.68 c #Conflicts: 938000 | #Constraints: 63649 1961.40/1968.68 c #Conflicts: 939000 | #Constraints: 64649 1961.40/1968.68 c #Conflicts: 940000 | #Constraints: 65649 1961.40/1968.68 c #Conflicts: 941000 | #Constraints: 66650 1961.40/1968.68 c INPROCESSING 1961.40/1968.68 c GARBAGE COLLECT 1961.40/1968.68 c rational objective 70 1986.02/1993.31 c #Conflicts: 942000 | #Constraints: 48503 1986.02/1993.31 c #Conflicts: 943000 | #Constraints: 49503 1986.02/1993.31 c #Conflicts: 944000 | #Constraints: 50503 1986.02/1993.31 c #Conflicts: 945000 | #Constraints: 51503 1986.02/1993.31 c #Conflicts: 946000 | #Constraints: 52504 1986.02/1993.31 c #Conflicts: 947000 | #Constraints: 53504 1986.02/1993.31 c #Conflicts: 948000 | #Constraints: 54504 1986.02/1993.31 c #Conflicts: 949000 | #Constraints: 55504 1986.02/1993.31 c #Conflicts: 950000 | #Constraints: 56504 1986.02/1993.31 c #Conflicts: 951000 | #Constraints: 57504 1986.02/1993.31 c #Conflicts: 952000 | #Constraints: 58504 1986.02/1993.31 c #Conflicts: 953000 | #Constraints: 59504 1986.02/1993.31 c #Conflicts: 954000 | #Constraints: 60504 1986.02/1993.31 c #Conflicts: 955000 | #Constraints: 61505 1986.02/1993.31 c #Conflicts: 956000 | #Constraints: 62505 1986.02/1993.31 c #Conflicts: 957000 | #Constraints: 63505 1986.02/1993.31 c #Conflicts: 958000 | #Constraints: 64505 1986.02/1993.31 c #Conflicts: 959000 | #Constraints: 65505 1986.02/1993.31 c #Conflicts: 960000 | #Constraints: 66505 1986.02/1993.31 c #Conflicts: 961000 | #Constraints: 67505 1986.02/1993.31 c INPROCESSING 1986.02/1993.31 c GARBAGE COLLECT 1986.02/1993.31 c rational objective 70 2076.12/2083.76 c #Conflicts: 962000 | #Constraints: 49185 2076.12/2083.76 c #Conflicts: 963000 | #Constraints: 50185 2076.12/2083.76 c #Conflicts: 964000 | #Constraints: 51185 2076.12/2083.76 c #Conflicts: 965000 | #Constraints: 52185 2076.12/2083.76 c #Conflicts: 966000 | #Constraints: 53185 2076.12/2083.76 c #Conflicts: 967000 | #Constraints: 54185 2076.12/2083.76 c #Conflicts: 968000 | #Constraints: 55185 2076.12/2083.76 c #Conflicts: 969000 | #Constraints: 56185 2076.12/2083.76 c #Conflicts: 970000 | #Constraints: 57185 2076.12/2083.76 c #Conflicts: 971000 | #Constraints: 58185 2076.12/2083.76 c #Conflicts: 972000 | #Constraints: 59185 2076.12/2083.76 c #Conflicts: 973000 | #Constraints: 60185 2076.12/2083.76 c #Conflicts: 974000 | #Constraints: 61185 2076.12/2083.76 c #Conflicts: 975000 | #Constraints: 62185 2076.12/2083.76 c #Conflicts: 976000 | #Constraints: 63185 2076.12/2083.76 c #Conflicts: 977000 | #Constraints: 64185 2076.12/2083.76 c #Conflicts: 978000 | #Constraints: 65185 2076.12/2083.76 c #Conflicts: 979000 | #Constraints: 66185 2076.12/2083.76 c #Conflicts: 980000 | #Constraints: 67185 2076.12/2083.76 c #Conflicts: 981000 | #Constraints: 68185 2076.12/2083.76 c INPROCESSING 2076.12/2083.76 c GARBAGE COLLECT 2076.12/2083.76 c rational objective 70 2135.63/2143.48 c #Conflicts: 982000 | #Constraints: 49639 2135.63/2143.48 c #Conflicts: 983000 | #Constraints: 50639 2135.63/2143.48 c #Conflicts: 984000 | #Constraints: 51639 2135.63/2143.48 c #Conflicts: 985000 | #Constraints: 52639 2135.63/2143.48 c #Conflicts: 986000 | #Constraints: 53639 2135.63/2143.48 c #Conflicts: 987000 | #Constraints: 54639 2135.63/2143.48 c #Conflicts: 988000 | #Constraints: 55639 2135.63/2143.48 c #Conflicts: 989000 | #Constraints: 56639 2135.63/2143.48 c #Conflicts: 990000 | #Constraints: 57639 2135.63/2143.48 c #Conflicts: 991000 | #Constraints: 58639 2135.63/2143.48 c #Conflicts: 992000 | #Constraints: 59639 2135.63/2143.48 c #Conflicts: 993000 | #Constraints: 60639 2135.63/2143.48 c #Conflicts: 994000 | #Constraints: 61639 2135.63/2143.48 c #Conflicts: 995000 | #Constraints: 62639 2135.63/2143.48 c #Conflicts: 996000 | #Constraints: 63639 2135.63/2143.48 c #Conflicts: 997000 | #Constraints: 64639 2135.63/2143.48 c #Conflicts: 998000 | #Constraints: 65639 2135.63/2143.48 c #Conflicts: 999000 | #Constraints: 66639 2135.63/2143.48 c #Conflicts: 1000000 | #Constraints: 67639 2135.63/2143.48 c #Conflicts: 1001000 | #Constraints: 68639 2135.63/2143.48 c INPROCESSING 2135.63/2143.48 c GARBAGE COLLECT 2135.63/2143.48 c rational objective 70 2262.50/2270.78 c #Conflicts: 1002000 | #Constraints: 49820 2262.50/2270.78 c #Conflicts: 1003000 | #Constraints: 50820 2262.50/2270.78 c #Conflicts: 1004000 | #Constraints: 51820 2262.50/2270.78 c #Conflicts: 1005000 | #Constraints: 52820 2262.50/2270.78 c #Conflicts: 1006000 | #Constraints: 53820 2262.50/2270.78 c #Conflicts: 1007000 | #Constraints: 54820 2262.50/2270.78 c #Conflicts: 1008000 | #Constraints: 55820 2262.50/2270.78 c #Conflicts: 1009000 | #Constraints: 56820 2262.50/2270.78 c #Conflicts: 1010000 | #Constraints: 57820 2262.50/2270.78 c #Conflicts: 1011000 | #Constraints: 58820 2262.50/2270.78 c #Conflicts: 1012000 | #Constraints: 59820 2262.50/2270.78 c #Conflicts: 1013000 | #Constraints: 60820 2262.50/2270.78 c #Conflicts: 1014000 | #Constraints: 61820 2262.50/2270.78 c #Conflicts: 1015000 | #Constraints: 62821 2262.50/2270.78 c #Conflicts: 1016000 | #Constraints: 63821 2262.50/2270.78 c #Conflicts: 1017000 | #Constraints: 64821 2262.50/2270.78 c #Conflicts: 1018000 | #Constraints: 65821 2262.50/2270.78 c #Conflicts: 1019000 | #Constraints: 66821 2262.50/2270.78 c #Conflicts: 1020000 | #Constraints: 67821 2262.50/2270.78 c #Conflicts: 1021000 | #Constraints: 68821 2262.50/2270.78 c INPROCESSING 2262.50/2270.78 c GARBAGE COLLECT 2262.50/2270.78 WSVECS04 Frhs2[3612]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3620]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3626]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3627]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3628]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3633]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3634]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3636]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3647]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3682]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3743]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3756]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3778]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3788]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3794]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3815]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3821]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3826]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3852]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3859]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3860]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3868]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3874]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3876]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3879]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3887]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3890]: 6 0 19.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3893]: 6 0 11 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3922]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3923]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3927]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3930]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3933]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3970]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3971]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3978]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3983]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[3996]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4011]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4018]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4028]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4034]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4040]: 6 0 23.9795 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4056]: 6 0 23.9877 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4061]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4063]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4064]: 6 0 23.9878 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4065]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4066]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4090]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4092]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4098]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4099]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4100]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4106]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4107]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4108]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4114]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4115]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4116]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4117]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4119]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4120]: 6 0 23.9796 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4127]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4130]: 6 0 19.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4133]: 6 0 11 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4155]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4156]: 6 0 19.5 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4162]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4165]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4169]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4170]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4171]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4173]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4194]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4208]: 6 0 24 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4211]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4223]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4236]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4258]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4274]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4280]: 6 0 23.9795 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4295]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4301]: 6 0 15.9919 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4304]: 6 0 23.9877 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4306]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4332]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4338]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4339]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4340]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4346]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4347]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4348]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4353]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4354]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4356]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4359]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4394]: 6 0 19.5 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4395]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4402]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4407]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4410]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4444]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4463]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4476]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4502]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4515]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4517]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4518]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4520]: 6 0 23.9796 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4535]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4536]: 6 0 23.9877 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4540]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4541]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4542]: 6 0 15.9919 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4543]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4544]: 6 0 23.9878 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4546]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4560]: 6 0 24 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4572]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4578]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4579]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4580]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4585]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4586]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4587]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4588]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4593]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4594]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4595]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4596]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4597]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4599]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4600]: 6 0 23.9796 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4610]: 6 0 19.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4642]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4647]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4652]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4690]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4703]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4716]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4738]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4742]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4754]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4775]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4776]: 6 0 23.9877 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4781]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4783]: 6 0 15.9918 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4784]: 6 0 23.9878 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4786]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4788]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4818]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4834]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4836]: 6 0 16 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4839]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4874]: 6 0 19.5 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4875]: 6 0 16.0001 shouldn't be 2262.50/2270.78 WSVECS04 Frhs2[4876]: 6 0 19.5 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[4887]: 6 0 16.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[4994]: 6 0 16.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[5026]: 6 0 16.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6252]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6257]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6258]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6268]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6273]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6274]: 6 0 16.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6275]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6287]: 6 0 16.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6290]: 6 0 19.0001 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6293]: 6 0 11 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6294]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6313]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6314]: 6 0 19.5 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6323]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6327]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6332]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6350]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6352]: 6 0 24 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6354]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6372]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6383]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6435]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6438]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6439]: 6 0 16 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6461]: 6 0 15.9919 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6462]: 6 0 15.9918 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6463]: 6 0 15.9918 shouldn't be 2262.50/2270.79 WSVECS04 Frhs2[6464]: 6 0 23.9878 shouldn't be 2277.56/2285.83 c rational objective 70 2338.46/2346.99 c #Conflicts: 1022000 | #Constraints: 49863 2338.46/2346.99 c #Conflicts: 1023000 | #Constraints: 50863 2338.46/2346.99 c #Conflicts: 1024000 | #Constraints: 51863 2338.46/2346.99 c #Conflicts: 1025000 | #Constraints: 52863 2338.46/2346.99 c #Conflicts: 1026000 | #Constraints: 53863 2338.46/2346.99 c #Conflicts: 1027000 | #Constraints: 54863 2338.46/2346.99 c #Conflicts: 1028000 | #Constraints: 55863 2338.46/2346.99 c #Conflicts: 1029000 | #Constraints: 56863 2338.46/2346.99 c #Conflicts: 1030000 | #Constraints: 57863 2338.46/2346.99 c #Conflicts: 1031000 | #Constraints: 58863 2338.46/2346.99 c #Conflicts: 1032000 | #Constraints: 59863 2338.46/2346.99 c #Conflicts: 1033000 | #Constraints: 60863 2338.46/2346.99 c #Conflicts: 1034000 | #Constraints: 61863 2338.46/2346.99 c #Conflicts: 1035000 | #Constraints: 62863 2338.46/2346.99 c #Conflicts: 1036000 | #Constraints: 63863 2338.46/2346.99 c #Conflicts: 1037000 | #Constraints: 64863 2338.46/2346.99 c #Conflicts: 1038000 | #Constraints: 65863 2338.46/2346.99 c #Conflicts: 1039000 | #Constraints: 66863 2338.46/2346.99 c #Conflicts: 1040000 | #Constraints: 67863 2338.46/2346.99 c #Conflicts: 1041000 | #Constraints: 68863 2338.46/2346.99 c INPROCESSING 2338.46/2346.99 c GARBAGE COLLECT 2338.46/2346.99 c rational objective 70 2373.24/2381.87 c #Conflicts: 1042000 | #Constraints: 49586 2373.24/2381.87 c #Conflicts: 1043000 | #Constraints: 50586 2373.24/2381.87 c #Conflicts: 1044000 | #Constraints: 51586 2373.24/2381.87 c #Conflicts: 1045000 | #Constraints: 52586 2373.24/2381.87 c #Conflicts: 1046000 | #Constraints: 53586 2373.24/2381.87 c #Conflicts: 1047000 | #Constraints: 54586 2373.24/2381.87 c #Conflicts: 1048000 | #Constraints: 55586 2373.24/2381.87 c #Conflicts: 1049000 | #Constraints: 56586 2373.24/2381.87 c #Conflicts: 1050000 | #Constraints: 57586 2373.24/2381.87 c #Conflicts: 1051000 | #Constraints: 58586 2373.24/2381.87 c #Conflicts: 1052000 | #Constraints: 59586 2373.24/2381.87 c #Conflicts: 1053000 | #Constraints: 60586 2373.24/2381.87 c #Conflicts: 1054000 | #Constraints: 61586 2373.24/2381.87 c #Conflicts: 1055000 | #Constraints: 62586 2373.24/2381.87 c #Conflicts: 1056000 | #Constraints: 63586 2373.24/2381.87 c #Conflicts: 1057000 | #Constraints: 64586 2373.24/2381.87 c #Conflicts: 1058000 | #Constraints: 65586 2373.24/2381.87 c #Conflicts: 1059000 | #Constraints: 66586 2373.24/2381.87 c #Conflicts: 1060000 | #Constraints: 67586 2373.24/2381.87 c #Conflicts: 1061000 | #Constraints: 68586 2373.24/2381.87 c #Conflicts: 1062000 | #Constraints: 69586 2373.24/2381.87 c INPROCESSING 2373.24/2381.87 c GARBAGE COLLECT 2373.24/2381.87 c rational objective 70 2447.79/2456.65 c #Conflicts: 1063000 | #Constraints: 50230 2447.79/2456.65 c #Conflicts: 1064000 | #Constraints: 51230 2447.79/2456.65 c #Conflicts: 1065000 | #Constraints: 52230 2447.79/2456.65 c #Conflicts: 1066000 | #Constraints: 53230 2447.79/2456.65 c #Conflicts: 1067000 | #Constraints: 54230 2447.79/2456.65 c #Conflicts: 1068000 | #Constraints: 55230 2447.79/2456.65 c #Conflicts: 1069000 | #Constraints: 56230 2447.79/2456.65 c #Conflicts: 1070000 | #Constraints: 57230 2447.79/2456.65 c #Conflicts: 1071000 | #Constraints: 58230 2447.79/2456.65 c #Conflicts: 1072000 | #Constraints: 59230 2447.79/2456.65 c #Conflicts: 1073000 | #Constraints: 60230 2447.79/2456.65 c #Conflicts: 1074000 | #Constraints: 61230 2447.79/2456.65 c #Conflicts: 1075000 | #Constraints: 62230 2447.79/2456.65 c #Conflicts: 1076000 | #Constraints: 63230 2447.79/2456.65 c #Conflicts: 1077000 | #Constraints: 64230 2447.79/2456.65 c #Conflicts: 1078000 | #Constraints: 65230 2447.79/2456.65 c #Conflicts: 1079000 | #Constraints: 66230 2447.79/2456.65 c #Conflicts: 1080000 | #Constraints: 67230 2447.79/2456.65 c #Conflicts: 1081000 | #Constraints: 68230 2447.79/2456.65 c #Conflicts: 1082000 | #Constraints: 69230 2447.79/2456.65 c #Conflicts: 1083000 | #Constraints: 70230 2447.79/2456.65 c INPROCESSING 2447.79/2456.65 c GARBAGE COLLECT 2447.79/2456.65 c rational objective 70 2478.21/2487.19 c #Conflicts: 1084000 | #Constraints: 50618 2478.21/2487.19 c #Conflicts: 1085000 | #Constraints: 51618 2478.21/2487.19 c #Conflicts: 1086000 | #Constraints: 52618 2478.21/2487.19 c #Conflicts: 1087000 | #Constraints: 53619 2478.21/2487.19 c #Conflicts: 1088000 | #Constraints: 54619 2478.21/2487.19 c #Conflicts: 1089000 | #Constraints: 55619 2478.21/2487.19 c #Conflicts: 1090000 | #Constraints: 56619 2478.21/2487.19 c #Conflicts: 1091000 | #Constraints: 57619 2478.21/2487.19 c #Conflicts: 1092000 | #Constraints: 58619 2478.21/2487.19 c #Conflicts: 1093000 | #Constraints: 59619 2478.21/2487.19 c #Conflicts: 1094000 | #Constraints: 60619 2478.21/2487.19 c #Conflicts: 1095000 | #Constraints: 61619 2478.21/2487.19 c #Conflicts: 1096000 | #Constraints: 62620 2478.21/2487.19 c #Conflicts: 1097000 | #Constraints: 63620 2478.21/2487.19 c #Conflicts: 1098000 | #Constraints: 64620 2478.21/2487.19 c #Conflicts: 1099000 | #Constraints: 65620 2478.21/2487.19 c #Conflicts: 1100000 | #Constraints: 66620 2478.21/2487.19 c #Conflicts: 1101000 | #Constraints: 67620 2478.21/2487.19 c #Conflicts: 1102000 | #Constraints: 68620 2478.21/2487.19 c #Conflicts: 1103000 | #Constraints: 69620 2478.21/2487.19 c #Conflicts: 1104000 | #Constraints: 70620 2478.21/2487.19 c INPROCESSING 2478.21/2487.19 c GARBAGE COLLECT 2478.21/2487.19 c rational objective 70 2547.67/2556.82 c #Conflicts: 1105000 | #Constraints: 50853 2547.67/2556.82 c #Conflicts: 1106000 | #Constraints: 51853 2547.67/2556.82 c #Conflicts: 1107000 | #Constraints: 52853 2547.67/2556.82 c #Conflicts: 1108000 | #Constraints: 53853 2547.67/2556.82 c #Conflicts: 1109000 | #Constraints: 54853 2547.67/2556.82 c #Conflicts: 1110000 | #Constraints: 55853 2547.67/2556.82 c #Conflicts: 1111000 | #Constraints: 56853 2547.67/2556.82 c #Conflicts: 1112000 | #Constraints: 57853 2547.67/2556.82 c #Conflicts: 1113000 | #Constraints: 58853 2547.67/2556.82 c #Conflicts: 1114000 | #Constraints: 59853 2547.67/2556.82 c #Conflicts: 1115000 | #Constraints: 60853 2547.67/2556.82 c #Conflicts: 1116000 | #Constraints: 61853 2547.67/2556.82 c #Conflicts: 1117000 | #Constraints: 62853 2547.67/2556.82 c #Conflicts: 1118000 | #Constraints: 63853 2547.67/2556.82 c #Conflicts: 1119000 | #Constraints: 64853 2547.67/2556.82 c #Conflicts: 1120000 | #Constraints: 65853 2547.67/2556.82 c #Conflicts: 1121000 | #Constraints: 66853 2547.67/2556.82 c #Conflicts: 1122000 | #Constraints: 67853 2547.67/2556.82 c #Conflicts: 1123000 | #Constraints: 68853 2547.67/2556.82 c #Conflicts: 1124000 | #Constraints: 69853 2547.67/2556.82 c #Conflicts: 1125000 | #Constraints: 70853 2547.67/2556.82 c INPROCESSING 2547.67/2556.82 c GARBAGE COLLECT 2547.67/2556.82 c rational objective 70 2597.61/2606.91 c #Conflicts: 1126000 | #Constraints: 50869 2597.61/2606.91 c #Conflicts: 1127000 | #Constraints: 51869 2597.61/2606.91 c #Conflicts: 1128000 | #Constraints: 52869 2597.61/2606.91 c #Conflicts: 1129000 | #Constraints: 53869 2597.61/2606.91 c #Conflicts: 1130000 | #Constraints: 54869 2597.61/2606.91 c #Conflicts: 1131000 | #Constraints: 55869 2597.61/2606.91 c #Conflicts: 1132000 | #Constraints: 56869 2597.61/2606.91 c #Conflicts: 1133000 | #Constraints: 57869 2597.61/2606.91 c #Conflicts: 1134000 | #Constraints: 58869 2597.61/2606.91 c #Conflicts: 1135000 | #Constraints: 59869 2597.61/2606.91 c #Conflicts: 1136000 | #Constraints: 60869 2597.61/2606.91 c #Conflicts: 1137000 | #Constraints: 61869 2597.61/2606.91 c #Conflicts: 1138000 | #Constraints: 62869 2597.61/2606.91 c #Conflicts: 1139000 | #Constraints: 63869 2597.61/2606.91 c #Conflicts: 1140000 | #Constraints: 64869 2597.61/2606.91 c #Conflicts: 1141000 | #Constraints: 65869 2597.61/2606.91 c #Conflicts: 1142000 | #Constraints: 66869 2597.61/2606.91 c #Conflicts: 1143000 | #Constraints: 67869 2597.61/2606.91 c #Conflicts: 1144000 | #Constraints: 68869 2597.61/2606.91 c #Conflicts: 1145000 | #Constraints: 69869 2597.61/2606.91 c #Conflicts: 1146000 | #Constraints: 70869 2597.61/2606.91 c INPROCESSING 2597.61/2606.91 c GARBAGE COLLECT 2597.61/2606.91 c rational objective 70 2627.50/2636.98 c #Conflicts: 1147000 | #Constraints: 50627 2627.50/2636.98 c #Conflicts: 1148000 | #Constraints: 51627 2627.50/2636.98 c #Conflicts: 1149000 | #Constraints: 52627 2627.50/2636.98 c #Conflicts: 1150000 | #Constraints: 53627 2627.50/2636.98 c #Conflicts: 1151000 | #Constraints: 54627 2627.50/2636.98 c #Conflicts: 1152000 | #Constraints: 55627 2627.50/2636.98 c #Conflicts: 1153000 | #Constraints: 56627 2627.50/2636.98 c #Conflicts: 1154000 | #Constraints: 57627 2627.50/2636.98 c #Conflicts: 1155000 | #Constraints: 58627 2627.50/2636.98 c #Conflicts: 1156000 | #Constraints: 59627 2627.50/2636.98 c #Conflicts: 1157000 | #Constraints: 60627 2627.50/2636.98 c #Conflicts: 1158000 | #Constraints: 61627 2627.50/2636.98 c #Conflicts: 1159000 | #Constraints: 62627 2627.50/2636.98 c #Conflicts: 1160000 | #Constraints: 63627 2627.50/2636.98 c #Conflicts: 1161000 | #Constraints: 64627 2627.50/2636.98 c #Conflicts: 1162000 | #Constraints: 65627 2627.50/2636.98 c #Conflicts: 1163000 | #Constraints: 66627 2627.50/2636.98 c #Conflicts: 1164000 | #Constraints: 67627 2627.50/2636.98 c #Conflicts: 1165000 | #Constraints: 68627 2627.50/2636.98 c #Conflicts: 1166000 | #Constraints: 69627 2627.50/2636.98 c #Conflicts: 1167000 | #Constraints: 70627 2627.50/2636.98 c #Conflicts: 1168000 | #Constraints: 71627 2627.50/2636.98 c INPROCESSING 2627.50/2636.98 c GARBAGE COLLECT 2627.50/2636.98 c rational objective 70 2660.79/2670.34 c #Conflicts: 1169000 | #Constraints: 51208 2660.79/2670.34 c #Conflicts: 1170000 | #Constraints: 52208 2660.79/2670.34 c #Conflicts: 1171000 | #Constraints: 53208 2660.79/2670.34 c #Conflicts: 1172000 | #Constraints: 54208 2660.79/2670.34 c #Conflicts: 1173000 | #Constraints: 55208 2660.79/2670.34 c #Conflicts: 1174000 | #Constraints: 56208 2660.79/2670.34 c #Conflicts: 1175000 | #Constraints: 57208 2660.79/2670.34 c #Conflicts: 1176000 | #Constraints: 58208 2660.79/2670.34 c #Conflicts: 1177000 | #Constraints: 59208 2660.79/2670.34 c #Conflicts: 1178000 | #Constraints: 60208 2660.79/2670.34 c #Conflicts: 1179000 | #Constraints: 61208 2660.79/2670.34 c #Conflicts: 1180000 | #Constraints: 62208 2660.79/2670.34 c #Conflicts: 1181000 | #Constraints: 63208 2660.79/2670.34 c #Conflicts: 1182000 | #Constraints: 64208 2660.79/2670.34 c #Conflicts: 1183000 | #Constraints: 65208 2660.79/2670.34 c #Conflicts: 1184000 | #Constraints: 66208 2660.79/2670.34 c #Conflicts: 1185000 | #Constraints: 67208 2660.79/2670.34 c #Conflicts: 1186000 | #Constraints: 68208 2660.79/2670.34 c #Conflicts: 1187000 | #Constraints: 69208 2660.79/2670.34 c #Conflicts: 1188000 | #Constraints: 70208 2660.79/2670.34 c #Conflicts: 1189000 | #Constraints: 71208 2660.79/2670.34 c #Conflicts: 1190000 | #Constraints: 72208 2660.79/2670.34 c INPROCESSING 2660.79/2670.34 c GARBAGE COLLECT 2660.79/2670.34 c rational objective 70 2714.31/2724.08 c #Conflicts: 1191000 | #Constraints: 51600 2714.31/2724.08 c #Conflicts: 1192000 | #Constraints: 52600 2714.31/2724.08 c #Conflicts: 1193000 | #Constraints: 53600 2714.31/2724.08 c #Conflicts: 1194000 | #Constraints: 54600 2714.31/2724.08 c #Conflicts: 1195000 | #Constraints: 55600 2714.31/2724.08 c #Conflicts: 1196000 | #Constraints: 56600 2714.31/2724.08 c #Conflicts: 1197000 | #Constraints: 57600 2714.31/2724.08 c #Conflicts: 1198000 | #Constraints: 58600 2714.31/2724.08 c #Conflicts: 1199000 | #Constraints: 59600 2714.31/2724.08 c #Conflicts: 1200000 | #Constraints: 60600 2714.31/2724.08 c #Conflicts: 1201000 | #Constraints: 61600 2714.31/2724.08 c #Conflicts: 1202000 | #Constraints: 62600 2714.31/2724.08 c #Conflicts: 1203000 | #Constraints: 63600 2714.31/2724.08 c #Conflicts: 1204000 | #Constraints: 64600 2714.31/2724.08 c #Conflicts: 1205000 | #Constraints: 65600 2714.31/2724.08 c #Conflicts: 1206000 | #Constraints: 66600 2714.31/2724.08 c #Conflicts: 1207000 | #Constraints: 67600 2714.31/2724.08 c #Conflicts: 1208000 | #Constraints: 68600 2714.31/2724.08 c #Conflicts: 1209000 | #Constraints: 69600 2714.31/2724.08 c #Conflicts: 1210000 | #Constraints: 70600 2714.31/2724.08 c #Conflicts: 1211000 | #Constraints: 71600 2714.31/2724.08 c #Conflicts: 1212000 | #Constraints: 72600 2714.31/2724.08 c INPROCESSING 2714.31/2724.08 c GARBAGE COLLECT 2714.31/2724.08 c rational objective 70 2747.58/2757.42 c #Conflicts: 1213000 | #Constraints: 51769 2747.58/2757.42 c #Conflicts: 1214000 | #Constraints: 52769 2747.58/2757.42 c #Conflicts: 1215000 | #Constraints: 53769 2747.58/2757.42 c #Conflicts: 1216000 | #Constraints: 54769 2747.58/2757.42 c #Conflicts: 1217000 | #Constraints: 55769 2747.58/2757.42 c #Conflicts: 1218000 | #Constraints: 56769 2747.58/2757.42 c #Conflicts: 1219000 | #Constraints: 57769 2747.58/2757.42 c #Conflicts: 1220000 | #Constraints: 58769 2747.58/2757.42 c #Conflicts: 1221000 | #Constraints: 59769 2747.58/2757.42 c #Conflicts: 1222000 | #Constraints: 60769 2747.58/2757.42 c #Conflicts: 1223000 | #Constraints: 61769 2747.58/2757.42 c #Conflicts: 1224000 | #Constraints: 62769 2747.58/2757.42 c #Conflicts: 1225000 | #Constraints: 63769 2747.58/2757.42 c #Conflicts: 1226000 | #Constraints: 64769 2747.58/2757.42 c #Conflicts: 1227000 | #Constraints: 65769 2747.58/2757.42 c #Conflicts: 1228000 | #Constraints: 66769 2747.58/2757.42 c #Conflicts: 1229000 | #Constraints: 67769 2747.58/2757.42 c #Conflicts: 1230000 | #Constraints: 68769 2747.58/2757.42 c #Conflicts: 1231000 | #Constraints: 69769 2747.58/2757.42 c #Conflicts: 1232000 | #Constraints: 70769 2747.58/2757.42 c #Conflicts: 1233000 | #Constraints: 71769 2747.58/2757.42 c #Conflicts: 1234000 | #Constraints: 72769 2747.58/2757.42 c INPROCESSING 2747.58/2757.42 c GARBAGE COLLECT 2747.58/2757.42 c rational objective 70 2788.64/2798.62 c bounds - >= 80 @ 2729.07 2788.64/2798.62 c #Conflicts: 1235000 | #Constraints: 51756 2788.64/2798.62 c #Conflicts: 1236000 | #Constraints: 52756 2788.64/2798.62 c #Conflicts: 1237000 | #Constraints: 53756 2788.64/2798.62 c #Conflicts: 1238000 | #Constraints: 54756 2788.64/2798.62 c #Conflicts: 1239000 | #Constraints: 55756 2788.64/2798.62 c #Conflicts: 1240000 | #Constraints: 56756 2788.64/2798.62 c #Conflicts: 1241000 | #Constraints: 57756 2788.64/2798.62 c #Conflicts: 1242000 | #Constraints: 58756 2788.64/2798.62 c #Conflicts: 1243000 | #Constraints: 59756 2788.64/2798.62 c #Conflicts: 1244000 | #Constraints: 60756 2788.64/2798.62 c #Conflicts: 1245000 | #Constraints: 61756 2788.64/2798.62 c #Conflicts: 1246000 | #Constraints: 62757 2788.64/2798.62 c #Conflicts: 1247000 | #Constraints: 63757 2788.64/2798.62 c #Conflicts: 1248000 | #Constraints: 64757 2788.64/2798.62 c #Conflicts: 1249000 | #Constraints: 65757 2788.64/2798.62 c #Conflicts: 1250000 | #Constraints: 66757 2788.64/2798.62 c #Conflicts: 1251000 | #Constraints: 67757 2788.64/2798.62 c #Conflicts: 1252000 | #Constraints: 68757 2788.64/2798.62 c #Conflicts: 1253000 | #Constraints: 69757 2788.64/2798.62 c #Conflicts: 1254000 | #Constraints: 70757 2788.64/2798.62 c #Conflicts: 1255000 | #Constraints: 71757 2788.64/2798.62 c #Conflicts: 1256000 | #Constraints: 72757 2788.64/2798.62 c INPROCESSING 2788.64/2798.62 c GARBAGE COLLECT 2788.64/2798.62 c rational objective 80 2813.15/2823.20 c #Conflicts: 1257000 | #Constraints: 51632 2813.15/2823.20 c #Conflicts: 1258000 | #Constraints: 52632 2813.15/2823.20 c #Conflicts: 1259000 | #Constraints: 53632 2813.15/2823.20 c #Conflicts: 1260000 | #Constraints: 54632 2813.15/2823.20 c #Conflicts: 1261000 | #Constraints: 55632 2813.15/2823.20 c #Conflicts: 1262000 | #Constraints: 56632 2813.15/2823.20 c #Conflicts: 1263000 | #Constraints: 57632 2813.15/2823.20 c #Conflicts: 1264000 | #Constraints: 58632 2813.15/2823.20 c #Conflicts: 1265000 | #Constraints: 59632 2813.15/2823.20 c #Conflicts: 1266000 | #Constraints: 60632 2813.15/2823.20 c #Conflicts: 1267000 | #Constraints: 61632 2813.15/2823.20 c #Conflicts: 1268000 | #Constraints: 62632 2813.15/2823.20 c #Conflicts: 1269000 | #Constraints: 63632 2813.15/2823.20 c #Conflicts: 1270000 | #Constraints: 64632 2813.15/2823.20 c #Conflicts: 1271000 | #Constraints: 65632 2813.15/2823.20 c #Conflicts: 1272000 | #Constraints: 66632 2813.15/2823.20 c #Conflicts: 1273000 | #Constraints: 67632 2813.15/2823.20 c #Conflicts: 1274000 | #Constraints: 68632 2813.15/2823.20 c #Conflicts: 1275000 | #Constraints: 69632 2813.15/2823.20 c #Conflicts: 1276000 | #Constraints: 70632 2813.15/2823.20 c #Conflicts: 1277000 | #Constraints: 71632 2813.15/2823.20 c #Conflicts: 1278000 | #Constraints: 72632 2813.15/2823.20 c #Conflicts: 1279000 | #Constraints: 73632 2813.15/2823.20 c INPROCESSING 2813.15/2823.20 c GARBAGE COLLECT 2813.15/2823.20 c rational objective 80 2866.57/2876.85 c #Conflicts: 1280000 | #Constraints: 52221 2866.57/2876.85 c #Conflicts: 1281000 | #Constraints: 53221 2866.57/2876.85 c #Conflicts: 1282000 | #Constraints: 54221 2866.57/2876.85 c #Conflicts: 1283000 | #Constraints: 55221 2866.57/2876.85 c #Conflicts: 1284000 | #Constraints: 56221 2866.57/2876.85 c #Conflicts: 1285000 | #Constraints: 57221 2866.57/2876.85 c #Conflicts: 1286000 | #Constraints: 58221 2866.57/2876.85 c #Conflicts: 1287000 | #Constraints: 59221 2866.57/2876.85 c #Conflicts: 1288000 | #Constraints: 60221 2866.57/2876.85 c #Conflicts: 1289000 | #Constraints: 61221 2866.57/2876.85 c #Conflicts: 1290000 | #Constraints: 62221 2866.57/2876.85 c #Conflicts: 1291000 | #Constraints: 63221 2866.57/2876.85 c #Conflicts: 1292000 | #Constraints: 64221 2866.57/2876.85 c #Conflicts: 1293000 | #Constraints: 65221 2866.57/2876.85 c #Conflicts: 1294000 | #Constraints: 66221 2866.57/2876.85 c #Conflicts: 1295000 | #Constraints: 67221 2866.57/2876.85 c #Conflicts: 1296000 | #Constraints: 68221 2866.57/2876.85 c #Conflicts: 1297000 | #Constraints: 69221 2866.57/2876.85 c #Conflicts: 1298000 | #Constraints: 70221 2866.57/2876.85 c #Conflicts: 1299000 | #Constraints: 71221 2866.57/2876.85 c #Conflicts: 1300000 | #Constraints: 72221 2866.57/2876.85 c #Conflicts: 1301000 | #Constraints: 73221 2866.57/2876.85 c #Conflicts: 1302000 | #Constraints: 74221 2866.57/2876.85 c INPROCESSING 2866.57/2876.85 c GARBAGE COLLECT 2866.57/2876.85 c rational objective 80 2905.13/2915.54 c #Conflicts: 1303000 | #Constraints: 52570 2905.13/2915.54 c #Conflicts: 1304000 | #Constraints: 53570 2905.13/2915.54 c #Conflicts: 1305000 | #Constraints: 54570 2905.13/2915.54 c #Conflicts: 1306000 | #Constraints: 55570 2905.13/2915.54 c #Conflicts: 1307000 | #Constraints: 56570 2905.13/2915.54 c #Conflicts: 1308000 | #Constraints: 57570 2905.13/2915.54 c #Conflicts: 1309000 | #Constraints: 58570 2905.13/2915.54 c #Conflicts: 1310000 | #Constraints: 59570 2905.13/2915.54 c #Conflicts: 1311000 | #Constraints: 60570 2905.13/2915.54 c #Conflicts: 1312000 | #Constraints: 61570 2905.13/2915.54 c #Conflicts: 1313000 | #Constraints: 62570 2905.13/2915.54 c #Conflicts: 1314000 | #Constraints: 63570 2905.13/2915.54 c #Conflicts: 1315000 | #Constraints: 64570 2905.13/2915.54 c #Conflicts: 1316000 | #Constraints: 65570 2905.13/2915.54 c #Conflicts: 1317000 | #Constraints: 66570 2905.13/2915.54 c #Conflicts: 1318000 | #Constraints: 67570 2905.13/2915.54 c #Conflicts: 1319000 | #Constraints: 68570 2905.13/2915.54 c #Conflicts: 1320000 | #Constraints: 69570 2905.13/2915.54 c #Conflicts: 1321000 | #Constraints: 70570 2905.13/2915.54 c #Conflicts: 1322000 | #Constraints: 71570 2905.13/2915.54 c #Conflicts: 1323000 | #Constraints: 72570 2905.13/2915.54 c #Conflicts: 1324000 | #Constraints: 73570 2905.13/2915.54 c #Conflicts: 1325000 | #Constraints: 74570 2905.13/2915.54 c INPROCESSING 2905.13/2915.54 c GARBAGE COLLECT 2905.13/2915.54 c rational objective 80 2939.21/2949.71 c #Conflicts: 1326000 | #Constraints: 52736 2939.21/2949.71 c #Conflicts: 1327000 | #Constraints: 53736 2939.21/2949.71 c #Conflicts: 1328000 | #Constraints: 54736 2939.21/2949.71 c #Conflicts: 1329000 | #Constraints: 55736 2939.21/2949.71 c #Conflicts: 1330000 | #Constraints: 56736 2939.21/2949.71 c #Conflicts: 1331000 | #Constraints: 57736 2939.21/2949.71 c #Conflicts: 1332000 | #Constraints: 58736 2939.21/2949.71 c #Conflicts: 1333000 | #Constraints: 59736 2939.21/2949.71 c #Conflicts: 1334000 | #Constraints: 60736 2939.21/2949.71 c #Conflicts: 1335000 | #Constraints: 61736 2939.21/2949.71 c #Conflicts: 1336000 | #Constraints: 62736 2939.21/2949.71 c #Conflicts: 1337000 | #Constraints: 63736 2939.21/2949.71 c #Conflicts: 1338000 | #Constraints: 64736 2939.21/2949.71 c #Conflicts: 1339000 | #Constraints: 65736 2939.21/2949.71 c #Conflicts: 1340000 | #Constraints: 66736 2939.21/2949.71 c #Conflicts: 1341000 | #Constraints: 67736 2939.21/2949.71 c #Conflicts: 1342000 | #Constraints: 68736 2939.21/2949.71 c #Conflicts: 1343000 | #Constraints: 69736 2939.21/2949.71 c #Conflicts: 1344000 | #Constraints: 70736 2939.21/2949.71 c #Conflicts: 1345000 | #Constraints: 71736 2939.21/2949.71 c #Conflicts: 1346000 | #Constraints: 72736 2939.21/2949.71 c #Conflicts: 1347000 | #Constraints: 73736 2939.21/2949.71 c #Conflicts: 1348000 | #Constraints: 74736 2939.21/2949.71 c INPROCESSING 2939.21/2949.71 c GARBAGE COLLECT 2939.21/2949.71 c rational objective 80 2976.29/2986.95 c #Conflicts: 1349000 | #Constraints: 52706 2976.29/2986.95 c #Conflicts: 1350000 | #Constraints: 53706 2976.29/2986.95 c #Conflicts: 1351000 | #Constraints: 54706 2976.29/2986.95 c #Conflicts: 1352000 | #Constraints: 55706 2976.29/2986.95 c #Conflicts: 1353000 | #Constraints: 56706 2976.29/2986.95 c #Conflicts: 1354000 | #Constraints: 57706 2976.29/2986.95 c #Conflicts: 1355000 | #Constraints: 58706 2976.29/2986.95 c #Conflicts: 1356000 | #Constraints: 59706 2976.29/2986.95 c #Conflicts: 1357000 | #Constraints: 60706 2976.29/2986.95 c #Conflicts: 1358000 | #Constraints: 61706 2976.29/2986.95 c #Conflicts: 1359000 | #Constraints: 62706 2976.29/2986.95 c #Conflicts: 1360000 | #Constraints: 63706 2976.29/2986.95 c #Conflicts: 1361000 | #Constraints: 64706 2976.29/2986.95 c #Conflicts: 1362000 | #Constraints: 65706 2976.29/2986.95 c #Conflicts: 1363000 | #Constraints: 66706 2976.29/2986.95 c #Conflicts: 1364000 | #Constraints: 67706 2976.29/2986.95 c #Conflicts: 1365000 | #Constraints: 68706 2976.29/2986.95 c #Conflicts: 1366000 | #Constraints: 69706 2976.29/2986.95 c #Conflicts: 1367000 | #Constraints: 70706 2976.29/2986.95 c #Conflicts: 1368000 | #Constraints: 71706 2976.29/2986.95 c #Conflicts: 1369000 | #Constraints: 72706 2976.29/2986.95 c #Conflicts: 1370000 | #Constraints: 73706 2976.29/2986.95 c #Conflicts: 1371000 | #Constraints: 74706 2976.29/2986.95 c INPROCESSING 2976.29/2986.95 c GARBAGE COLLECT 2976.29/2986.95 c rational objective 80 3022.93/3033.78 c #Conflicts: 1372000 | #Constraints: 52489 3022.93/3033.78 c #Conflicts: 1373000 | #Constraints: 53489 3022.93/3033.78 c #Conflicts: 1374000 | #Constraints: 54489 3022.93/3033.78 c #Conflicts: 1375000 | #Constraints: 55489 3022.93/3033.78 c #Conflicts: 1376000 | #Constraints: 56489 3022.93/3033.78 c #Conflicts: 1377000 | #Constraints: 57489 3022.93/3033.78 c #Conflicts: 1378000 | #Constraints: 58489 3022.93/3033.78 c #Conflicts: 1379000 | #Constraints: 59489 3022.93/3033.78 c #Conflicts: 1380000 | #Constraints: 60489 3022.93/3033.78 c #Conflicts: 1381000 | #Constraints: 61489 3022.93/3033.78 c #Conflicts: 1382000 | #Constraints: 62489 3022.93/3033.78 c #Conflicts: 1383000 | #Constraints: 63489 3022.93/3033.78 c #Conflicts: 1384000 | #Constraints: 64489 3022.93/3033.78 c #Conflicts: 1385000 | #Constraints: 65489 3022.93/3033.78 c #Conflicts: 1386000 | #Constraints: 66489 3022.93/3033.78 c #Conflicts: 1387000 | #Constraints: 67489 3022.93/3033.78 c #Conflicts: 1388000 | #Constraints: 68489 3022.93/3033.78 c #Conflicts: 1389000 | #Constraints: 69489 3022.93/3033.78 c #Conflicts: 1390000 | #Constraints: 70489 3022.93/3033.78 c #Conflicts: 1391000 | #Constraints: 71489 3022.93/3033.78 c #Conflicts: 1392000 | #Constraints: 72489 3022.93/3033.78 c #Conflicts: 1393000 | #Constraints: 73489 3022.93/3033.78 c #Conflicts: 1394000 | #Constraints: 74489 3022.93/3033.78 c #Conflicts: 1395000 | #Constraints: 75489 3022.93/3033.78 c INPROCESSING 3022.93/3033.78 c GARBAGE COLLECT 3022.93/3033.78 c rational objective 80 3055.63/3066.59 c #Conflicts: 1396000 | #Constraints: 53088 3055.63/3066.59 c #Conflicts: 1397000 | #Constraints: 54088 3055.63/3066.59 c #Conflicts: 1398000 | #Constraints: 55088 3055.63/3066.59 c #Conflicts: 1399000 | #Constraints: 56088 3055.63/3066.59 c #Conflicts: 1400000 | #Constraints: 57088 3055.63/3066.59 c #Conflicts: 1401000 | #Constraints: 58088 3055.63/3066.59 c #Conflicts: 1402000 | #Constraints: 59088 3055.63/3066.59 c #Conflicts: 1403000 | #Constraints: 60088 3055.63/3066.59 c #Conflicts: 1404000 | #Constraints: 61088 3055.63/3066.59 c #Conflicts: 1405000 | #Constraints: 62088 3055.63/3066.59 c #Conflicts: 1406000 | #Constraints: 63088 3055.63/3066.59 c #Conflicts: 1407000 | #Constraints: 64088 3055.63/3066.59 c #Conflicts: 1408000 | #Constraints: 65088 3055.63/3066.59 c #Conflicts: 1409000 | #Constraints: 66088 3055.63/3066.59 c #Conflicts: 1410000 | #Constraints: 67088 3055.63/3066.59 c #Conflicts: 1411000 | #Constraints: 68088 3055.63/3066.59 c #Conflicts: 1412000 | #Constraints: 69088 3055.63/3066.59 c #Conflicts: 1413000 | #Constraints: 70088 3055.63/3066.59 c #Conflicts: 1414000 | #Constraints: 71088 3055.63/3066.59 c #Conflicts: 1415000 | #Constraints: 72088 3055.63/3066.59 c #Conflicts: 1416000 | #Constraints: 73088 3055.63/3066.59 c #Conflicts: 1417000 | #Constraints: 74088 3055.63/3066.59 c #Conflicts: 1418000 | #Constraints: 75088 3055.63/3066.59 c #Conflicts: 1419000 | #Constraints: 76088 3055.63/3066.59 c INPROCESSING 3055.63/3066.59 c GARBAGE COLLECT 3055.63/3066.59 c rational objective 80 3085.23/3096.23 c #Conflicts: 1420000 | #Constraints: 53485 3085.23/3096.23 c #Conflicts: 1421000 | #Constraints: 54485 3085.23/3096.23 c #Conflicts: 1422000 | #Constraints: 55485 3085.23/3096.23 c #Conflicts: 1423000 | #Constraints: 56486 3085.23/3096.23 c #Conflicts: 1424000 | #Constraints: 57486 3085.23/3096.23 c #Conflicts: 1425000 | #Constraints: 58486 3085.23/3096.23 c #Conflicts: 1426000 | #Constraints: 59486 3085.23/3096.23 c #Conflicts: 1427000 | #Constraints: 60486 3085.23/3096.23 c #Conflicts: 1428000 | #Constraints: 61486 3085.23/3096.23 c #Conflicts: 1429000 | #Constraints: 62486 3085.23/3096.23 c #Conflicts: 1430000 | #Constraints: 63486 3085.23/3096.23 c #Conflicts: 1431000 | #Constraints: 64486 3085.23/3096.23 c #Conflicts: 1432000 | #Constraints: 65486 3085.23/3096.23 c #Conflicts: 1433000 | #Constraints: 66486 3085.23/3096.23 c #Conflicts: 1434000 | #Constraints: 67486 3085.23/3096.23 c #Conflicts: 1435000 | #Constraints: 68486 3085.23/3096.23 c #Conflicts: 1436000 | #Constraints: 69486 3085.23/3096.23 c #Conflicts: 1437000 | #Constraints: 70486 3085.23/3096.23 c #Conflicts: 1438000 | #Constraints: 71487 3085.23/3096.23 c #Conflicts: 1439000 | #Constraints: 72487 3085.23/3096.23 c #Conflicts: 1440000 | #Constraints: 73487 3085.23/3096.23 c #Conflicts: 1441000 | #Constraints: 74487 3085.23/3096.23 c #Conflicts: 1442000 | #Constraints: 75487 3085.23/3096.23 c #Conflicts: 1443000 | #Constraints: 76487 3085.23/3096.23 c INPROCESSING 3085.23/3096.23 c GARBAGE COLLECT 3085.23/3096.23 WSVECS04 Frhs2[4100]: 6 0 3.50007 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[4578]: 6 0 3.50001 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[4580]: 6 0 3.50004 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[4818]: 6 0 3.50001 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[5060]: 6 0 3.50005 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[6258]: 6 0 3.50008 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[6260]: 6 0 3.50004 shouldn't be 3085.23/3096.23 WSVECS04 Frhs2[7583]: 6 -10 0 shouldn't be 3141.25/3152.40 c rational objective 80 3166.97/3178.25 c #Conflicts: 1444000 | #Constraints: 53654 3166.97/3178.25 c #Conflicts: 1445000 | #Constraints: 54655 3166.97/3178.25 c #Conflicts: 1446000 | #Constraints: 55655 3166.97/3178.25 c #Conflicts: 1447000 | #Constraints: 56655 3166.97/3178.25 c #Conflicts: 1448000 | #Constraints: 57655 3166.97/3178.25 c #Conflicts: 1449000 | #Constraints: 58655 3166.97/3178.25 c #Conflicts: 1450000 | #Constraints: 59655 3166.97/3178.25 c #Conflicts: 1451000 | #Constraints: 60655 3166.97/3178.25 c #Conflicts: 1452000 | #Constraints: 61655 3166.97/3178.25 c #Conflicts: 1453000 | #Constraints: 62655 3166.97/3178.25 c #Conflicts: 1454000 | #Constraints: 63655 3166.97/3178.25 c #Conflicts: 1455000 | #Constraints: 64655 3166.97/3178.25 c #Conflicts: 1456000 | #Constraints: 65655 3166.97/3178.25 c #Conflicts: 1457000 | #Constraints: 66655 3166.97/3178.25 c #Conflicts: 1458000 | #Constraints: 67655 3166.97/3178.25 c #Conflicts: 1459000 | #Constraints: 68655 3166.97/3178.25 c #Conflicts: 1460000 | #Constraints: 69655 3166.97/3178.25 c #Conflicts: 1461000 | #Constraints: 70655 3166.97/3178.25 c #Conflicts: 1462000 | #Constraints: 71655 3166.97/3178.25 c #Conflicts: 1463000 | #Constraints: 72655 3166.97/3178.25 c #Conflicts: 1464000 | #Constraints: 73655 3166.97/3178.25 c #Conflicts: 1465000 | #Constraints: 74655 3166.97/3178.25 c #Conflicts: 1466000 | #Constraints: 75655 3166.97/3178.25 c #Conflicts: 1467000 | #Constraints: 76655 3166.97/3178.25 c INPROCESSING 3166.97/3178.25 c GARBAGE COLLECT 3166.97/3178.25 c rational objective 80 3211.33/3222.76 c #Conflicts: 1468000 | #Constraints: 53633 3211.33/3222.76 c #Conflicts: 1469000 | #Constraints: 54633 3211.33/3222.76 c #Conflicts: 1470000 | #Constraints: 55633 3211.33/3222.76 c #Conflicts: 1471000 | #Constraints: 56633 3211.33/3222.76 c #Conflicts: 1472000 | #Constraints: 57633 3211.33/3222.76 c #Conflicts: 1473000 | #Constraints: 58633 3211.33/3222.76 c #Conflicts: 1474000 | #Constraints: 59633 3211.33/3222.76 c #Conflicts: 1475000 | #Constraints: 60633 3211.33/3222.76 c #Conflicts: 1476000 | #Constraints: 61633 3211.33/3222.76 c #Conflicts: 1477000 | #Constraints: 62633 3211.33/3222.76 c #Conflicts: 1478000 | #Constraints: 63633 3211.33/3222.76 c #Conflicts: 1479000 | #Constraints: 64633 3211.33/3222.76 c #Conflicts: 1480000 | #Constraints: 65633 3211.33/3222.76 c #Conflicts: 1481000 | #Constraints: 66633 3211.33/3222.76 c #Conflicts: 1482000 | #Constraints: 67633 3211.33/3222.76 c #Conflicts: 1483000 | #Constraints: 68633 3211.33/3222.76 c #Conflicts: 1484000 | #Constraints: 69633 3211.33/3222.76 c #Conflicts: 1485000 | #Constraints: 70633 3211.33/3222.76 c #Conflicts: 1486000 | #Constraints: 71633 3211.33/3222.76 c #Conflicts: 1487000 | #Constraints: 72633 3211.33/3222.76 c #Conflicts: 1488000 | #Constraints: 73633 3211.33/3222.76 c #Conflicts: 1489000 | #Constraints: 74633 3211.33/3222.76 c #Conflicts: 1490000 | #Constraints: 75633 3211.33/3222.76 c #Conflicts: 1491000 | #Constraints: 76633 3211.33/3222.76 c INPROCESSING 3211.33/3222.76 c GARBAGE COLLECT 3211.33/3222.76 c rational objective 80 3251.90/3263.41 c #Conflicts: 1492000 | #Constraints: 53422 3251.90/3263.41 c #Conflicts: 1493000 | #Constraints: 54422 3251.90/3263.41 c #Conflicts: 1494000 | #Constraints: 55422 3251.90/3263.41 c #Conflicts: 1495000 | #Constraints: 56422 3251.90/3263.41 c #Conflicts: 1496000 | #Constraints: 57422 3251.90/3263.41 c #Conflicts: 1497000 | #Constraints: 58422 3251.90/3263.41 c #Conflicts: 1498000 | #Constraints: 59422 3251.90/3263.41 c #Conflicts: 1499000 | #Constraints: 60422 3251.90/3263.41 c #Conflicts: 1500000 | #Constraints: 61422 3251.90/3263.41 c #Conflicts: 1501000 | #Constraints: 62422 3251.90/3263.41 c #Conflicts: 1502000 | #Constraints: 63422 3251.90/3263.41 c #Conflicts: 1503000 | #Constraints: 64422 3251.90/3263.41 c #Conflicts: 1504000 | #Constraints: 65422 3251.90/3263.41 c #Conflicts: 1505000 | #Constraints: 66422 3251.90/3263.41 c #Conflicts: 1506000 | #Constraints: 67422 3251.90/3263.41 c #Conflicts: 1507000 | #Constraints: 68422 3251.90/3263.41 c #Conflicts: 1508000 | #Constraints: 69422 3251.90/3263.41 c #Conflicts: 1509000 | #Constraints: 70422 3251.90/3263.41 c #Conflicts: 1510000 | #Constraints: 71422 3251.90/3263.41 c #Conflicts: 1511000 | #Constraints: 72422 3251.90/3263.41 c #Conflicts: 1512000 | #Constraints: 73422 3251.90/3263.41 c #Conflicts: 1513000 | #Constraints: 74422 3251.90/3263.41 c #Conflicts: 1514000 | #Constraints: 75422 3251.90/3263.41 c #Conflicts: 1515000 | #Constraints: 76422 3251.90/3263.41 c #Conflicts: 1516000 | #Constraints: 77422 3251.90/3263.41 c INPROCESSING 3251.90/3263.41 c GARBAGE COLLECT 3251.90/3263.41 c rational objective 80 3314.20/3325.97 c #Conflicts: 1517000 | #Constraints: 54011 3314.20/3325.97 c #Conflicts: 1518000 | #Constraints: 55011 3314.20/3325.97 c #Conflicts: 1519000 | #Constraints: 56011 3314.20/3325.97 c #Conflicts: 1520000 | #Constraints: 57011 3314.20/3325.97 c #Conflicts: 1521000 | #Constraints: 58011 3314.20/3325.97 c #Conflicts: 1522000 | #Constraints: 59011 3314.20/3325.97 c #Conflicts: 1523000 | #Constraints: 60011 3314.20/3325.97 c #Conflicts: 1524000 | #Constraints: 61011 3314.20/3325.97 c #Conflicts: 1525000 | #Constraints: 62011 3314.20/3325.97 c #Conflicts: 1526000 | #Constraints: 63011 3314.20/3325.97 c #Conflicts: 1527000 | #Constraints: 64011 3314.20/3325.97 c #Conflicts: 1528000 | #Constraints: 65011 3314.20/3325.97 c #Conflicts: 1529000 | #Constraints: 66011 3314.20/3325.97 c #Conflicts: 1530000 | #Constraints: 67011 3314.20/3325.97 c #Conflicts: 1531000 | #Constraints: 68011 3314.20/3325.97 c #Conflicts: 1532000 | #Constraints: 69011 3314.20/3325.97 c #Conflicts: 1533000 | #Constraints: 70011 3314.20/3325.97 c #Conflicts: 1534000 | #Constraints: 71011 3314.20/3325.97 c #Conflicts: 1535000 | #Constraints: 72011 3314.20/3325.97 c #Conflicts: 1536000 | #Constraints: 73011 3314.20/3325.97 c #Conflicts: 1537000 | #Constraints: 74011 3314.20/3325.97 c #Conflicts: 1538000 | #Constraints: 75011 3314.20/3325.97 c #Conflicts: 1539000 | #Constraints: 76011 3314.20/3325.97 c #Conflicts: 1540000 | #Constraints: 77011 3314.20/3325.97 c #Conflicts: 1541000 | #Constraints: 78011 3314.20/3325.97 c INPROCESSING 3314.20/3325.97 c GARBAGE COLLECT 3314.20/3325.97 c rational objective 80 3348.89/3360.76 c #Conflicts: 1542000 | #Constraints: 54412 3348.89/3360.76 c #Conflicts: 1543000 | #Constraints: 55412 3348.89/3360.76 c #Conflicts: 1544000 | #Constraints: 56412 3348.89/3360.76 c #Conflicts: 1545000 | #Constraints: 57412 3348.89/3360.76 c #Conflicts: 1546000 | #Constraints: 58412 3348.89/3360.76 c #Conflicts: 1547000 | #Constraints: 59412 3348.89/3360.76 c #Conflicts: 1548000 | #Constraints: 60412 3348.89/3360.76 c #Conflicts: 1549000 | #Constraints: 61412 3348.89/3360.76 c #Conflicts: 1550000 | #Constraints: 62412 3348.89/3360.76 c #Conflicts: 1551000 | #Constraints: 63412 3348.89/3360.76 c #Conflicts: 1552000 | #Constraints: 64412 3348.89/3360.76 c #Conflicts: 1553000 | #Constraints: 65412 3348.89/3360.76 c #Conflicts: 1554000 | #Constraints: 66412 3348.89/3360.76 c #Conflicts: 1555000 | #Constraints: 67412 3348.89/3360.76 c #Conflicts: 1556000 | #Constraints: 68412 3348.89/3360.76 c #Conflicts: 1557000 | #Constraints: 69412 3348.89/3360.76 c #Conflicts: 1558000 | #Constraints: 70412 3348.89/3360.76 c #Conflicts: 1559000 | #Constraints: 71412 3348.89/3360.76 c #Conflicts: 1560000 | #Constraints: 72412 3348.89/3360.76 c #Conflicts: 1561000 | #Constraints: 73412 3348.89/3360.76 c #Conflicts: 1562000 | #Constraints: 74412 3348.89/3360.76 c #Conflicts: 1563000 | #Constraints: 75412 3348.89/3360.76 c #Conflicts: 1564000 | #Constraints: 76412 3348.89/3360.76 c #Conflicts: 1565000 | #Constraints: 77412 3348.89/3360.76 c #Conflicts: 1566000 | #Constraints: 78412 3348.89/3360.76 c INPROCESSING 3348.89/3360.76 c GARBAGE COLLECT 3348.89/3360.76 c rational objective 80 3396.94/3408.98 c #Conflicts: 1567000 | #Constraints: 54613 3396.94/3408.98 c #Conflicts: 1568000 | #Constraints: 55613 3396.94/3408.98 c #Conflicts: 1569000 | #Constraints: 56613 3396.94/3408.98 c #Conflicts: 1570000 | #Constraints: 57613 3396.94/3408.98 c #Conflicts: 1571000 | #Constraints: 58613 3396.94/3408.98 c #Conflicts: 1572000 | #Constraints: 59613 3396.94/3408.98 c #Conflicts: 1573000 | #Constraints: 60613 3396.94/3408.98 c #Conflicts: 1574000 | #Constraints: 61613 3396.94/3408.98 c #Conflicts: 1575000 | #Constraints: 62613 3396.94/3408.98 c #Conflicts: 1576000 | #Constraints: 63613 3396.94/3408.98 c #Conflicts: 1577000 | #Constraints: 64613 3396.94/3408.98 c #Conflicts: 1578000 | #Constraints: 65613 3396.94/3408.98 c #Conflicts: 1579000 | #Constraints: 66613 3396.94/3408.98 c #Conflicts: 1580000 | #Constraints: 67613 3396.94/3408.98 c #Conflicts: 1581000 | #Constraints: 68613 3396.94/3408.98 c #Conflicts: 1582000 | #Constraints: 69613 3396.94/3408.98 c #Conflicts: 1583000 | #Constraints: 70613 3396.94/3408.98 c #Conflicts: 1584000 | #Constraints: 71613 3396.94/3408.98 c #Conflicts: 1585000 | #Constraints: 72613 3396.94/3408.98 c #Conflicts: 1586000 | #Constraints: 73613 3396.94/3408.98 c #Conflicts: 1587000 | #Constraints: 74613 3396.94/3408.98 c #Conflicts: 1588000 | #Constraints: 75613 3396.94/3408.98 c #Conflicts: 1589000 | #Constraints: 76613 3396.94/3408.98 c #Conflicts: 1590000 | #Constraints: 77613 3396.94/3408.98 c #Conflicts: 1591000 | #Constraints: 78613 3396.94/3408.98 c INPROCESSING 3396.94/3408.98 c GARBAGE COLLECT 3396.94/3408.98 c rational objective 80 3456.35/3468.59 c #Conflicts: 1592000 | #Constraints: 54608 3456.35/3468.59 c #Conflicts: 1593000 | #Constraints: 55608 3456.35/3468.59 c #Conflicts: 1594000 | #Constraints: 56608 3456.35/3468.59 c #Conflicts: 1595000 | #Constraints: 57608 3456.35/3468.59 c #Conflicts: 1596000 | #Constraints: 58608 3456.35/3468.59 c #Conflicts: 1597000 | #Constraints: 59608 3456.35/3468.59 c #Conflicts: 1598000 | #Constraints: 60608 3456.35/3468.59 c #Conflicts: 1599000 | #Constraints: 61608 3456.35/3468.59 c #Conflicts: 1600000 | #Constraints: 62608 3456.35/3468.59 c #Conflicts: 1601000 | #Constraints: 63608 3456.35/3468.59 c #Conflicts: 1602000 | #Constraints: 64608 3456.35/3468.59 c #Conflicts: 1603000 | #Constraints: 65608 3456.35/3468.59 c #Conflicts: 1604000 | #Constraints: 66608 3456.35/3468.59 c #Conflicts: 1605000 | #Constraints: 67608 3456.35/3468.59 c #Conflicts: 1606000 | #Constraints: 68608 3456.35/3468.59 c #Conflicts: 1607000 | #Constraints: 69608 3456.35/3468.59 c #Conflicts: 1608000 | #Constraints: 70608 3456.35/3468.59 c #Conflicts: 1609000 | #Constraints: 71608 3456.35/3468.59 c #Conflicts: 1610000 | #Constraints: 72608 3456.35/3468.59 c #Conflicts: 1611000 | #Constraints: 73608 3456.35/3468.59 c #Conflicts: 1612000 | #Constraints: 74608 3456.35/3468.59 c #Conflicts: 1613000 | #Constraints: 75608 3456.35/3468.59 c #Conflicts: 1614000 | #Constraints: 76608 3456.35/3468.59 c #Conflicts: 1615000 | #Constraints: 77608 3456.35/3468.59 c #Conflicts: 1616000 | #Constraints: 78608 3456.35/3468.59 c INPROCESSING 3456.35/3468.59 c GARBAGE COLLECT 3456.35/3468.59 c rational objective 80 3484.66/3496.98 c #Conflicts: 1617000 | #Constraints: 54411 3484.66/3496.98 c #Conflicts: 1618000 | #Constraints: 55411 3484.66/3496.98 c #Conflicts: 1619000 | #Constraints: 56411 3484.66/3496.98 c #Conflicts: 1620000 | #Constraints: 57411 3484.66/3496.98 c #Conflicts: 1621000 | #Constraints: 58411 3484.66/3496.98 c #Conflicts: 1622000 | #Constraints: 59411 3484.66/3496.98 c #Conflicts: 1623000 | #Constraints: 60411 3484.66/3496.98 c #Conflicts: 1624000 | #Constraints: 61411 3484.66/3496.98 c #Conflicts: 1625000 | #Constraints: 62411 3484.66/3496.98 c #Conflicts: 1626000 | #Constraints: 63411 3484.66/3496.98 c #Conflicts: 1627000 | #Constraints: 64411 3484.66/3496.98 c #Conflicts: 1628000 | #Constraints: 65411 3484.66/3496.98 c #Conflicts: 1629000 | #Constraints: 66411 3484.66/3496.98 c #Conflicts: 1630000 | #Constraints: 67411 3484.66/3496.98 c #Conflicts: 1631000 | #Constraints: 68411 3484.66/3496.98 c #Conflicts: 1632000 | #Constraints: 69411 3484.66/3496.98 c #Conflicts: 1633000 | #Constraints: 70411 3484.66/3496.98 c #Conflicts: 1634000 | #Constraints: 71411 3484.66/3496.98 c #Conflicts: 1635000 | #Constraints: 72411 3484.66/3496.98 c #Conflicts: 1636000 | #Constraints: 73411 3484.66/3496.98 c #Conflicts: 1637000 | #Constraints: 74411 3484.66/3496.98 c #Conflicts: 1638000 | #Constraints: 75411 3484.66/3496.98 c #Conflicts: 1639000 | #Constraints: 76411 3484.66/3496.98 c #Conflicts: 1640000 | #Constraints: 77411 3484.66/3496.98 c #Conflicts: 1641000 | #Constraints: 78411 3484.66/3496.98 c #Conflicts: 1642000 | #Constraints: 79411 3484.66/3496.98 c INPROCESSING 3484.66/3496.98 c GARBAGE COLLECT 3484.66/3496.98 c rational objective 80 3530.22/3542.69 c #Conflicts: 1643000 | #Constraints: 55016 3530.22/3542.69 c #Conflicts: 1644000 | #Constraints: 56016 3530.22/3542.69 c #Conflicts: 1645000 | #Constraints: 57016 3530.22/3542.69 c #Conflicts: 1646000 | #Constraints: 58016 3530.22/3542.69 c #Conflicts: 1647000 | #Constraints: 59017 3530.22/3542.69 c #Conflicts: 1648000 | #Constraints: 60017 3530.22/3542.69 c #Conflicts: 1649000 | #Constraints: 61017 3530.22/3542.69 c #Conflicts: 1650000 | #Constraints: 62017 3530.22/3542.69 c #Conflicts: 1651000 | #Constraints: 63017 3530.22/3542.69 c #Conflicts: 1652000 | #Constraints: 64017 3530.22/3542.69 c #Conflicts: 1653000 | #Constraints: 65017 3530.22/3542.69 c #Conflicts: 1654000 | #Constraints: 66017 3530.22/3542.69 c #Conflicts: 1655000 | #Constraints: 67017 3530.22/3542.69 c #Conflicts: 1656000 | #Constraints: 68017 3530.22/3542.69 c #Conflicts: 1657000 | #Constraints: 69017 3530.22/3542.69 c #Conflicts: 1658000 | #Constraints: 70017 3530.22/3542.69 c #Conflicts: 1659000 | #Constraints: 71017 3530.22/3542.69 c #Conflicts: 1660000 | #Constraints: 72017 3530.22/3542.69 c #Conflicts: 1661000 | #Constraints: 73017 3530.22/3542.69 c #Conflicts: 1662000 | #Constraints: 74017 3530.22/3542.69 c #Conflicts: 1663000 | #Constraints: 75017 3530.22/3542.69 c #Conflicts: 1664000 | #Constraints: 76017 3530.22/3542.69 c #Conflicts: 1665000 | #Constraints: 77017 3530.22/3542.69 c #Conflicts: 1666000 | #Constraints: 78017 3530.22/3542.69 c #Conflicts: 1667000 | #Constraints: 79017 3530.22/3542.69 c #Conflicts: 1668000 | #Constraints: 80017 3530.22/3542.69 c INPROCESSING 3530.22/3542.69 c GARBAGE COLLECT 3530.22/3542.69 c rational objective 80 3575.58/3588.12 c #Conflicts: 1669000 | #Constraints: 55413 3575.58/3588.12 c #Conflicts: 1670000 | #Constraints: 56413 3575.58/3588.12 c #Conflicts: 1671000 | #Constraints: 57413 3575.58/3588.12 c #Conflicts: 1672000 | #Constraints: 58413 3575.58/3588.12 c #Conflicts: 1673000 | #Constraints: 59413 3575.58/3588.12 c #Conflicts: 1674000 | #Constraints: 60413 3575.58/3588.12 c #Conflicts: 1675000 | #Constraints: 61413 3575.58/3588.12 c #Conflicts: 1676000 | #Constraints: 62413 3575.58/3588.12 c #Conflicts: 1677000 | #Constraints: 63413 3575.58/3588.12 c #Conflicts: 1678000 | #Constraints: 64413 3575.58/3588.12 c #Conflicts: 1679000 | #Constraints: 65413 3575.58/3588.12 c #Conflicts: 1680000 | #Constraints: 66413 3575.58/3588.12 c #Conflicts: 1681000 | #Constraints: 67413 3575.58/3588.12 c #Conflicts: 1682000 | #Constraints: 68413 3575.58/3588.12 c #Conflicts: 1683000 | #Constraints: 69413 3575.58/3588.12 c #Conflicts: 1684000 | #Constraints: 70413 3575.58/3588.12 c #Conflicts: 1685000 | #Constraints: 71413 3575.58/3588.12 c #Conflicts: 1686000 | #Constraints: 72413 3575.58/3588.12 c #Conflicts: 1687000 | #Constraints: 73413 3575.58/3588.12 c #Conflicts: 1688000 | #Constraints: 74413 3575.58/3588.12 c #Conflicts: 1689000 | #Constraints: 75413 3575.58/3588.12 c #Conflicts: 1690000 | #Constraints: 76413 3575.58/3588.12 c #Conflicts: 1691000 | #Constraints: 77413 3575.58/3588.12 c #Conflicts: 1692000 | #Constraints: 78413 3575.58/3588.12 c #Conflicts: 1693000 | #Constraints: 79413 3575.58/3588.12 c #Conflicts: 1694000 | #Constraints: 80413 3575.58/3588.12 c INPROCESSING 3575.58/3588.12 c GARBAGE COLLECT 3575.58/3588.12 c rational objective 80
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (32625 MiB free)
memory of node 1: 64473 MiB (35466 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460456-1722070460/watcher-4460456-1722070460 -o /tmp/evaluation-result-4460456-1722070460/solver-4460456-1722070460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722064836-320547 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460456-1722070460 --lp-cut-gomory=0 HOME/instance-4460456-1722070460.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=324361, runsolver pid=324358
[startup+0.10041 s]*
/proc/loadavg: 4.14 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69714872/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=47108 memory=17332 CPUtime=0.09 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 3389 0 0 0 7 2 0 0 20 0 1 0 43569414 48238592 4333 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 11777 4333 1672 992 0 3635 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47108 KiB
Current children cumulated memory: 17332 KiB
[startup+0.20595 s]*
/proc/loadavg: 4.14 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69695560/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=59908 memory=30536 CPUtime=0.2 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 7303 0 0 0 17 3 0 0 20 0 1 0 43569414 61345792 7634 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 14977 7634 1736 992 0 6835 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59908 KiB
Current children cumulated memory: 30536 KiB
[startup+0.305834 s]*
/proc/loadavg: 4.14 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69695560/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=59908 memory=30536 CPUtime=0.29 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 7303 0 0 0 26 3 0 0 20 0 1 0 43569414 61345792 7634 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 14977 7634 1736 992 0 6835 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59908 KiB
Current children cumulated memory: 30536 KiB
[startup+0.70017 s]
/proc/loadavg: 4.14 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69691192/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=61164 memory=33660 CPUtime=0.68 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 7533 0 0 0 62 6 0 0 20 0 1 0 43569414 62631936 8415 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 15291 8415 1814 992 0 7149 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 33660 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69683164/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=63412 memory=37100 CPUtime=1.48 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 8283 0 0 0 140 8 0 0 20 0 1 0 43569414 64933888 9275 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 15853 9275 1893 992 0 7711 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63412 KiB
Current children cumulated memory: 37100 KiB
[startup+3.10553 s]
/proc/loadavg: 4.13 4.17 4.16 5/270 324362
/proc/meminfo: memFree=69670460/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=65244 memory=38228 CPUtime=3.06 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 8996 0 0 0 289 17 0 0 20 0 1 0 43569414 66809856 9557 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 16311 9557 1909 992 0 8169 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65244 KiB
Current children cumulated memory: 38228 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.17 4.16 5/270 324363
/proc/meminfo: memFree=69638088/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=68408 memory=41388 CPUtime=6.25 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 9775 0 0 0 594 31 0 0 20 0 1 0 43569414 70049792 10347 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 17102 10347 1909 992 0 8960 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 41388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.16 5/270 324363
/proc/meminfo: memFree=69528416/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=70236 memory=42972 CPUtime=12.63 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 10138 0 0 0 1230 33 0 0 20 0 1 0 43569414 71921664 10743 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 17559 10743 1909 992 0 9417 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 42972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.15 4.16 5/270 324366
/proc/meminfo: memFree=69265452/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=70804 memory=43760 CPUtime=25.39 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 10333 0 0 0 2494 45 0 0 20 0 1 0 43569414 72503296 10940 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 17701 10940 1909 992 0 9559 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70804 KiB
Current children cumulated memory: 43760 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.14 4.15 5/270 324369
/proc/meminfo: memFree=68048340/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=76980 memory=48772 CPUtime=50.9 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 11618 0 0 0 5031 59 0 0 20 0 1 0 43569414 78827520 12193 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 19245 12193 1909 992 0 11103 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 76980 KiB
Current children cumulated memory: 48772 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.15 5/275 324769
/proc/meminfo: memFree=65416624/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=77408 memory=49292 CPUtime=101.87 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 11738 0 0 0 10081 106 0 0 20 0 1 0 43569414 79265792 12323 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 19352 12323 1909 992 0 11210 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 77408 KiB
Current children cumulated memory: 49292 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.23 4.18 5/276 324782
/proc/meminfo: memFree=62066676/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=78732 memory=50596 CPUtime=161.61 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 12092 0 0 0 16001 160 0 0 20 0 1 0 43569414 80621568 12649 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 19683 12649 1909 992 0 11541 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 50596 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.23 4.19 5/275 324793
/proc/meminfo: memFree=58790300/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=81452 memory=51564 CPUtime=221.35 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 12290 0 0 0 21921 214 0 0 20 0 1 0 43569414 83406848 12891 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 20363 12891 1909 992 0 12221 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 81452 KiB
Current children cumulated memory: 51564 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/272 324972
/proc/meminfo: memFree=55923264/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=82096 memory=54140 CPUtime=281.09 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 12460 0 0 0 27839 270 0 0 20 0 1 0 43569414 84066304 13535 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 20524 13535 1909 992 0 12382 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 54140 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.18 4.17 6/271 324982
/proc/meminfo: memFree=53581808/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=82096 memory=54140 CPUtime=340.87 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 12461 0 0 0 33769 318 0 0 20 0 1 0 43569414 84066304 13535 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 20524 13535 1909 992 0 12382 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 82096 KiB
Current children cumulated memory: 54140 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/268 325007
/proc/meminfo: memFree=51143304/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=159532 memory=105204 CPUtime=400.64 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 16018 0 0 0 39691 373 0 0 20 0 1 0 43569414 163360768 26301 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 39883 26301 1909 992 0 31741 0
Current children cumulated CPU time: 400.64 s
Current children cumulated vsize: 159532 KiB
Current children cumulated memory: 105204 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/262 325017
/proc/meminfo: memFree=47300344/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=163440 memory=109144 CPUtime=460.41 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 16997 0 0 0 45620 421 0 0 20 0 1 0 43569414 167362560 27286 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 40860 27286 1909 992 0 32718 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.14 5/258 326545
/proc/meminfo: memFree=96894816/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=347504 memory=296112 CPUtime=3091.31 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 32859 0 0 0 306996 2135 0 0 20 0 1 0 43569414 355844096 74028 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 86876 74028 1909 992 0 78734 0
Current children cumulated CPU time: 3091.31 s
Current children cumulated vsize: 347504 KiB
Current children cumulated memory: 296112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/258 326556
/proc/meminfo: memFree=96705104/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=347504 memory=296216 CPUtime=3151.12 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 32915 0 0 0 312949 2163 0 0 20 0 1 0 43569414 355844096 74054 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 86876 74054 1909 992 0 78734 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 347504 KiB
Current children cumulated memory: 296216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 326566
/proc/meminfo: memFree=96513012/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=348016 memory=296728 CPUtime=3210.93 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 33101 0 0 0 318885 2208 0 0 20 0 1 0 43569414 356368384 74182 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87004 74182 1909 992 0 78862 0
Current children cumulated CPU time: 3210.93 s
Current children cumulated vsize: 348016 KiB
Current children cumulated memory: 296728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/258 326576
/proc/meminfo: memFree=96268328/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=348016 memory=296728 CPUtime=3270.74 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 33209 0 0 0 324815 2259 0 0 20 0 1 0 43569414 356368384 74182 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87004 74182 1909 992 0 78862 0
Current children cumulated CPU time: 3270.74 s
Current children cumulated vsize: 348016 KiB
Current children cumulated memory: 296728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/258 326586
/proc/meminfo: memFree=96019780/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=350844 memory=299456 CPUtime=3330.55 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34046 0 0 0 330756 2299 0 0 20 0 1 0 43569414 359264256 74864 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87711 74864 1909 992 0 79569 0
Current children cumulated CPU time: 3330.55 s
Current children cumulated vsize: 350844 KiB
Current children cumulated memory: 299456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 326601
/proc/meminfo: memFree=95763624/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351352 memory=300016 CPUtime=3390.37 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34231 0 0 0 336707 2330 0 0 20 0 1 0 43569414 359784448 75004 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87838 75004 1909 992 0 79696 0
Current children cumulated CPU time: 3390.37 s
Current children cumulated vsize: 351352 KiB
Current children cumulated memory: 300016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/259 326611
/proc/meminfo: memFree=95597760/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351352 memory=300064 CPUtime=3450.18 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34288 0 0 0 342651 2367 0 0 20 0 1 0 43569414 359784448 75016 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87838 75016 1909 992 0 79696 0
Current children cumulated CPU time: 3450.18 s
Current children cumulated vsize: 351352 KiB
Current children cumulated memory: 300064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/259 326622
/proc/meminfo: memFree=95415088/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351560 memory=300312 CPUtime=3509.99 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34409 0 0 0 348591 2408 0 0 20 0 1 0 43569414 359997440 75078 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87890 75078 1909 992 0 79748 0
Current children cumulated CPU time: 3509.99 s
Current children cumulated vsize: 351560 KiB
Current children cumulated memory: 300312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/259 326633
/proc/meminfo: memFree=95135072/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300352 CPUtime=3569.8 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34479 0 0 0 354532 2448 0 0 20 0 1 0 43569414 360140800 75088 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75088 1909 992 0 79783 0
Current children cumulated CPU time: 3569.8 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.10 4.10 4.11 5/259 326638
/proc/meminfo: memFree=95015940/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300512 CPUtime=3600.01 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34553 0 0 0 357526 2475 0 0 20 0 1 0 43569414 360140800 75128 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75128 1909 992 0 79783 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.6 s]
# the end of solver process 324361 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3577.25 s, system=24.7614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.10 4.10 4.11 5/259 326638
/proc/meminfo: memFree=95015940/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300512 CPUtime=3600.21 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34553 0 0 0 357546 2475 0 0 20 0 1 0 43569414 360140800 75128 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75128 1909 992 0 79783 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300512 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.10 4.11 5/259 326638
/proc/meminfo: memFree=95006096/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300512 CPUtime=3601 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34553 0 0 0 357625 2475 0 0 20 0 1 0 43569414 360140800 75128 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75128 1909 992 0 79783 0
Current children cumulated CPU time: 3601 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300512 KiB
[startup+3614.4 s]
/proc/loadavg: 4.09 4.10 4.10 6/259 326640
/proc/meminfo: memFree=95004632/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300512 CPUtime=3601.79 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34553 0 0 0 357704 2475 0 0 20 0 1 0 43569414 360140800 75128 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75128 1909 992 0 79783 0
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300512 KiB
[startup+3614.6 s]
/proc/loadavg: 4.09 4.10 4.10 6/259 326640
/proc/meminfo: memFree=95004632/131524600 swapFree=131054968/131071996
[pid=324361] ppid=324358 vsize=351700 memory=300512 CPUtime=3601.99 cores=0,2
/proc/324361/stat : 324361 (roundingsat) R 324358 324361 320537 0 -1 4194304 34553 0 0 0 357724 2475 0 0 20 0 1 0 43569414 360140800 75128 134679101440 4194304 8254357 140731055927872 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28266496 140731055932251 140731055932513 140731055932513 140731055939529 0
/proc/324361/statm: 87925 75128 1909 992 0 79783 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 351700 KiB
Current children cumulated memory: 300512 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.6
CPU time (s): 3602.01
CPU user time (s): 3577.25
CPU system time (s): 24.7614
CPU usage (%): 99.6516
Max. virtual memory (cumulated for all children) (KiB): 351700
Max. memory (cumulated for all children) (KiB): 300512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.25
system time used= 24.7614
maximum resident set size= 300512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1708176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 24825
# summary of solver processes directly reported to runsolver:
# pid: 324361
# total CPU time (s): 3602.01
# total CPU user time (s): 3577.25
# total CPU system time (s): 24.7614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63833 second user time and 17.3007 second system time
The end
Begin job on nodeC028 at 2024-07-27 10:54:20 IDJOB=4460456 IDBENCH=158390 IDSOLVER=3086 FILE ID=nodeC028/4460456-1722070460 RUNJOBID= nodeC028-1722064836-320547 SLURM_JOB_ID= 8248096 Free space on /tmp= 890036 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-4460456-1722070460/watcher-4460456-1722070460 -o /tmp/evaluation-result-4460456-1722070460/solver-4460456-1722070460 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722064836-320547 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460456-1722070460 --lp-cut-gomory=0 HOME/instance-4460456-1722070460.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c RANDOM SEED=1128939738 nodeC028.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 : 3657.778 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.951 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.51 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 : 3648.159 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.029 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.51 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 : 3684.266 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.46 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 : 3690.004 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.51 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 : 3626.623 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.045 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 69725864 kB MemAvailable: 123334748 kB Buffers: 366924 kB Cached: 53982212 kB SwapCached: 312 kB Active: 2456676 kB Inactive: 58533716 kB Active(anon): 4420 kB Inactive(anon): 6688556 kB Active(file): 2452256 kB Inactive(file): 51845160 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054968 kB Dirty: 687136 kB Writeback: 0 kB AnonPages: 6638700 kB Mapped: 108724 kB Shmem: 51932 kB KReclaimable: 302580 kB Slab: 447428 kB SReclaimable: 302580 kB SUnreclaim: 144848 kB KernelStack: 4400 kB PageTables: 22896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8044776 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 4096000 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: 443092 kB DirectMap2M: 51759104 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 890044 MiB End job on nodeC028 at 2024-07-27 11:54:35