| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 54 | 3600.11 | 3610.6 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 83e8c133f6310d52aedf789f310352e0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 26.7007 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 225 #constraints 225 0.00/0.06 c bounds 226 >= 0 @ 0.001192 0.00/0.06 c rational objective 48.5261 0.69/0.71 c bounds 75 >= 0 @ 0.221606 0.69/0.71 c bounds 75 >= 1 @ 0.221606 0.69/0.71 c bounds 75 >= 2 @ 0.221606 0.69/0.71 c bounds 75 >= 3 @ 0.221625 0.69/0.71 c bounds 75 >= 4 @ 0.221625 0.69/0.71 c bounds 75 >= 5 @ 0.221625 0.69/0.71 c bounds 75 >= 6 @ 0.221625 0.69/0.71 c bounds 75 >= 7 @ 0.221625 0.69/0.71 c bounds 75 >= 8 @ 0.221625 0.69/0.71 c bounds 75 >= 9 @ 0.221625 0.69/0.71 c bounds 75 >= 10 @ 0.221625 0.69/0.71 c bounds 75 >= 11 @ 0.221749 0.69/0.71 c bounds 75 >= 12 @ 0.2219 0.69/0.71 c bounds 75 >= 13 @ 0.222056 0.69/0.71 c bounds 75 >= 14 @ 0.222205 0.69/0.71 c bounds 75 >= 15 @ 0.222346 0.69/0.71 c bounds 75 >= 16 @ 0.222485 0.69/0.71 c bounds 75 >= 17 @ 0.222648 0.69/0.71 c bounds 75 >= 18 @ 0.22281 0.69/0.71 c bounds 75 >= 19 @ 0.222964 0.69/0.71 c bounds 75 >= 20 @ 0.223113 0.69/0.71 c bounds 75 >= 21 @ 0.223277 0.69/0.71 c bounds 75 >= 22 @ 0.223451 0.69/0.71 c bounds 75 >= 23 @ 0.223606 0.69/0.71 c bounds 75 >= 24 @ 0.223606 0.69/0.71 c bounds 75 >= 25 @ 0.223606 0.69/0.71 c bounds 75 >= 26 @ 0.223606 0.69/0.71 c bounds 75 >= 27 @ 0.223606 0.69/0.71 c bounds 75 >= 28 @ 0.223606 0.69/0.71 c bounds 72 >= 28 @ 0.224439 0.69/0.71 c bounds 72 >= 29 @ 0.224646 0.69/0.71 c bounds 72 >= 30 @ 0.224884 0.69/0.71 c bounds 72 >= 31 @ 0.22519 0.69/0.71 c bounds 72 >= 32 @ 0.225383 0.69/0.71 c bounds 72 >= 33 @ 0.22557 0.69/0.71 c bounds 72 >= 34 @ 0.225777 0.69/0.71 c bounds 72 >= 35 @ 0.225976 0.69/0.71 c bounds 72 >= 36 @ 0.226171 0.69/0.71 c bounds 72 >= 37 @ 0.226363 0.69/0.71 c bounds 72 >= 38 @ 0.226549 0.69/0.71 c bounds 72 >= 39 @ 0.226597 0.69/0.71 c bounds 72 >= 40 @ 0.226597 0.69/0.71 c bounds 72 >= 41 @ 0.226597 0.69/0.71 c bounds 72 >= 42 @ 0.226597 0.69/0.71 c bounds 72 >= 43 @ 0.226597 0.69/0.71 c bounds 72 >= 44 @ 0.288419 0.69/0.71 c bounds 71 >= 44 @ 0.289484 0.69/0.71 c bounds 70 >= 44 @ 0.293161 0.69/0.71 c bounds 70 >= 45 @ 0.295275 0.69/0.71 c bounds 69 >= 45 @ 0.297214 0.69/0.71 c bounds 69 >= 46 @ 0.298867 0.69/0.71 c bounds 68 >= 46 @ 0.302387 0.69/0.71 c bounds 68 >= 47 @ 0.309199 0.69/0.71 c bounds 67 >= 47 @ 0.310024 0.69/0.71 c bounds 66 >= 47 @ 0.310243 0.69/0.71 c bounds 65 >= 47 @ 0.313062 0.69/0.71 c bounds 64 >= 47 @ 0.315165 0.69/0.71 c bounds 64 >= 48 @ 0.316452 0.69/0.71 c bounds 64 >= 49 @ 0.331657 0.69/0.71 c bounds 63 >= 49 @ 0.333727 0.69/0.71 c bounds 62 >= 49 @ 0.337898 0.69/0.71 c bounds 61 >= 49 @ 0.340325 0.69/0.71 c bounds 60 >= 49 @ 0.350321 0.69/0.71 c bounds 59 >= 49 @ 0.359947 0.69/0.71 c #Conflicts: 1000 | #Constraints: 1540 0.69/0.71 c #Conflicts: 2000 | #Constraints: 2540 0.69/0.71 c INPROCESSING 0.69/0.71 c GARBAGE COLLECT 0.69/0.71 c rational objective 49 1.19/1.22 c bounds 58 >= 49 @ 0.825292 1.19/1.22 c #Conflicts: 3000 | #Constraints: 2569 1.19/1.22 c bounds 57 >= 49 @ 1.00129 1.19/1.22 c #Conflicts: 4000 | #Constraints: 3624 1.19/1.22 c bounds 57 >= 50 @ 1.07523 1.19/1.22 c INPROCESSING 1.19/1.22 c GARBAGE COLLECT 1.19/1.22 c rational objective 50 1.59/1.70 c #Conflicts: 5000 | #Constraints: 3057 1.59/1.70 c #Conflicts: 6000 | #Constraints: 4099 1.59/1.70 c INPROCESSING 1.59/1.70 c GARBAGE COLLECT 1.59/1.70 c rational objective 50 2.28/2.36 c #Conflicts: 7000 | #Constraints: 3067 2.28/2.36 c #Conflicts: 8000 | #Constraints: 4067 2.28/2.36 c #Conflicts: 9000 | #Constraints: 5067 2.28/2.36 c INPROCESSING 2.28/2.36 c GARBAGE COLLECT 2.28/2.36 c rational objective 50 2.79/2.81 c #Conflicts: 10000 | #Constraints: 3786 2.79/2.81 c bounds 56 >= 50 @ 2.39089 2.79/2.81 c #Conflicts: 11000 | #Constraints: 4838 2.79/2.81 c #Conflicts: 12000 | #Constraints: 5881 2.79/2.81 c INPROCESSING 2.79/2.81 c GARBAGE COLLECT 2.79/2.81 c rational objective 50 3.28/3.31 c #Conflicts: 13000 | #Constraints: 4273 3.28/3.31 c #Conflicts: 14000 | #Constraints: 5308 3.28/3.31 c #Conflicts: 15000 | #Constraints: 6349 3.28/3.31 c INPROCESSING 3.28/3.31 c GARBAGE COLLECT 3.28/3.31 c rational objective 50 4.27/4.38 c #Conflicts: 16000 | #Constraints: 4482 4.27/4.38 c #Conflicts: 17000 | #Constraints: 5482 4.27/4.38 c #Conflicts: 18000 | #Constraints: 6482 4.27/4.38 c INPROCESSING 4.27/4.38 c GARBAGE COLLECT 4.27/4.38 c rational objective 50 4.87/4.99 c #Conflicts: 19000 | #Constraints: 4492 4.87/4.99 c #Conflicts: 20000 | #Constraints: 5544 4.87/4.99 c #Conflicts: 21000 | #Constraints: 6595 4.87/4.99 c INPROCESSING 4.87/4.99 c GARBAGE COLLECT 4.87/4.99 c rational objective 50 5.57/5.65 c #Conflicts: 22000 | #Constraints: 4321 5.57/5.65 c #Conflicts: 23000 | #Constraints: 5359 5.57/5.65 c #Conflicts: 24000 | #Constraints: 6399 5.57/5.65 c #Conflicts: 25000 | #Constraints: 7436 5.57/5.65 c INPROCESSING 5.57/5.65 c GARBAGE COLLECT 5.57/5.65 c rational objective 50 6.67/6.71 c #Conflicts: 26000 | #Constraints: 4930 6.67/6.71 c #Conflicts: 27000 | #Constraints: 5930 6.67/6.71 c bounds 56 >= 51 @ 6.09902 6.67/6.71 c #Conflicts: 28000 | #Constraints: 6993 6.67/6.71 c #Conflicts: 29000 | #Constraints: 8030 6.67/6.71 c INPROCESSING 6.67/6.71 c GARBAGE COLLECT 6.67/6.71 c rational objective 51 7.47/7.50 c #Conflicts: 30000 | #Constraints: 5374 7.47/7.50 c #Conflicts: 31000 | #Constraints: 6413 7.47/7.50 c #Conflicts: 32000 | #Constraints: 7448 7.47/7.50 c #Conflicts: 33000 | #Constraints: 8491 7.47/7.50 c INPROCESSING 7.47/7.50 c GARBAGE COLLECT 7.47/7.50 c rational objective 51 8.87/9.01 c #Conflicts: 34000 | #Constraints: 5617 8.87/9.01 c #Conflicts: 35000 | #Constraints: 6621 8.87/9.01 c #Conflicts: 36000 | #Constraints: 7627 8.87/9.01 c #Conflicts: 37000 | #Constraints: 8630 8.87/9.01 c INPROCESSING 8.87/9.01 c GARBAGE COLLECT 8.87/9.01 c rational objective 51 10.27/10.38 c #Conflicts: 38000 | #Constraints: 5804 10.27/10.38 c #Conflicts: 39000 | #Constraints: 7229 10.27/10.38 c #Conflicts: 40000 | #Constraints: 8801 10.27/10.38 c #Conflicts: 41000 | #Constraints: 10339 10.27/10.38 c INPROCESSING 10.27/10.38 c GARBAGE COLLECT 10.27/10.38 c rational objective 51 11.27/11.39 c #Conflicts: 42000 | #Constraints: 6286 11.27/11.39 c #Conflicts: 43000 | #Constraints: 7336 11.27/11.39 c #Conflicts: 44000 | #Constraints: 8380 11.27/11.39 c #Conflicts: 45000 | #Constraints: 9413 11.27/11.39 c #Conflicts: 46000 | #Constraints: 10452 11.27/11.39 c INPROCESSING 11.27/11.39 c GARBAGE COLLECT 11.27/11.39 c rational objective 51 13.26/13.37 c #Conflicts: 47000 | #Constraints: 6468 13.26/13.37 c #Conflicts: 48000 | #Constraints: 7468 13.26/13.37 c #Conflicts: 49000 | #Constraints: 8468 13.26/13.37 c #Conflicts: 50000 | #Constraints: 9468 13.26/13.37 c #Conflicts: 51000 | #Constraints: 10468 13.26/13.37 c INPROCESSING 13.26/13.37 c GARBAGE COLLECT 13.26/13.37 c rational objective 51 14.36/14.49 c #Conflicts: 52000 | #Constraints: 6630 14.36/14.49 c #Conflicts: 53000 | #Constraints: 7676 14.36/14.49 c #Conflicts: 54000 | #Constraints: 8725 14.36/14.49 c #Conflicts: 55000 | #Constraints: 9765 14.36/14.49 c #Conflicts: 56000 | #Constraints: 10812 14.36/14.49 c INPROCESSING 14.36/14.49 c GARBAGE COLLECT 14.36/14.49 c rational objective 51 16.15/16.25 c #Conflicts: 57000 | #Constraints: 6777 16.15/16.25 c #Conflicts: 58000 | #Constraints: 7823 16.15/16.25 c bounds 55 >= 51 @ 14.1934 16.15/16.25 c #Conflicts: 59000 | #Constraints: 8853 16.15/16.25 c #Conflicts: 60000 | #Constraints: 9853 16.15/16.25 c #Conflicts: 61000 | #Constraints: 10853 16.15/16.25 c INPROCESSING 16.15/16.25 c GARBAGE COLLECT 16.15/16.25 c rational objective 51 25.53/25.60 c #Conflicts: 62000 | #Constraints: 6716 25.53/25.60 c #Conflicts: 63000 | #Constraints: 7778 25.53/25.60 c #Conflicts: 64000 | #Constraints: 8837 25.53/25.60 c #Conflicts: 65000 | #Constraints: 9885 25.53/25.60 c #Conflicts: 66000 | #Constraints: 10926 25.53/25.60 c #Conflicts: 67000 | #Constraints: 11971 25.53/25.60 c #Conflicts: 68000 | #Constraints: 13013 25.53/25.60 c #Conflicts: 69000 | #Constraints: 14053 25.53/25.60 c #Conflicts: 70000 | #Constraints: 15089 25.53/25.60 c #Conflicts: 71000 | #Constraints: 16129 25.53/25.60 c #Conflicts: 72000 | #Constraints: 17161 25.53/25.60 c #Conflicts: 73000 | #Constraints: 18190 25.53/25.60 c #Conflicts: 74000 | #Constraints: 19226 25.53/25.60 c #Conflicts: 75000 | #Constraints: 20280 25.53/25.60 c #Conflicts: 76000 | #Constraints: 21312 25.53/25.60 c #Conflicts: 77000 | #Constraints: 22347 25.53/25.60 c #Conflicts: 78000 | #Constraints: 23385 25.53/25.60 c #Conflicts: 79000 | #Constraints: 24421 25.53/25.60 c #Conflicts: 80000 | #Constraints: 25456 25.53/25.60 c #Conflicts: 81000 | #Constraints: 26497 25.53/25.60 c #Conflicts: 82000 | #Constraints: 27528 25.53/25.60 c INPROCESSING 25.53/25.60 c GARBAGE COLLECT 25.53/25.60 c rational objective 51 30.81/30.91 c #Conflicts: 83000 | #Constraints: 14720 30.81/30.91 c #Conflicts: 84000 | #Constraints: 15720 30.81/30.91 c #Conflicts: 85000 | #Constraints: 16720 30.81/30.91 c #Conflicts: 86000 | #Constraints: 17720 30.81/30.91 c #Conflicts: 87000 | #Constraints: 18720 30.81/30.91 c #Conflicts: 88000 | #Constraints: 19720 30.81/30.91 c #Conflicts: 89000 | #Constraints: 20720 30.81/30.91 c INPROCESSING 30.81/30.91 c GARBAGE COLLECT 30.81/30.91 c rational objective 51 36.80/36.95 c #Conflicts: 90000 | #Constraints: 11588 36.80/36.95 c #Conflicts: 91000 | #Constraints: 12588 36.80/36.95 c #Conflicts: 92000 | #Constraints: 13588 36.80/36.95 c #Conflicts: 93000 | #Constraints: 14588 36.80/36.95 c #Conflicts: 94000 | #Constraints: 15588 36.80/36.95 c #Conflicts: 95000 | #Constraints: 16588 36.80/36.95 c #Conflicts: 96000 | #Constraints: 17588 36.80/36.95 c INPROCESSING 36.80/36.95 c GARBAGE COLLECT 36.80/36.95 c rational objective 51 39.09/39.21 c #Conflicts: 97000 | #Constraints: 10208 39.09/39.21 c #Conflicts: 98000 | #Constraints: 11245 39.09/39.21 c #Conflicts: 99000 | #Constraints: 12279 39.09/39.21 c #Conflicts: 100000 | #Constraints: 13314 39.09/39.21 c #Conflicts: 101000 | #Constraints: 14356 39.09/39.21 c #Conflicts: 102000 | #Constraints: 15395 39.09/39.21 c INPROCESSING 39.09/39.21 c GARBAGE COLLECT 39.09/39.21 c rational objective 51 40.91/41.06 c #Conflicts: 103000 | #Constraints: 8607 40.91/41.06 c bounds 54 >= 51 @ 38.0244 40.91/41.06 c #Conflicts: 104000 | #Constraints: 9659 40.91/41.06 c #Conflicts: 105000 | #Constraints: 10695 40.91/41.06 c #Conflicts: 106000 | #Constraints: 11739 40.91/41.06 c #Conflicts: 107000 | #Constraints: 12764 40.91/41.06 c #Conflicts: 108000 | #Constraints: 13796 40.91/41.06 c #Conflicts: 109000 | #Constraints: 14827 40.91/41.06 c #Conflicts: 110000 | #Constraints: 15867 40.91/41.06 c INPROCESSING 40.91/41.06 c GARBAGE COLLECT 40.91/41.06 c rational objective 51 46.58/46.72 c #Conflicts: 111000 | #Constraints: 9279 46.58/46.72 c #Conflicts: 112000 | #Constraints: 10279 46.58/46.72 c #Conflicts: 113000 | #Constraints: 11279 46.58/46.72 c #Conflicts: 114000 | #Constraints: 12279 46.58/46.72 c #Conflicts: 115000 | #Constraints: 13279 46.58/46.72 c #Conflicts: 116000 | #Constraints: 14279 46.58/46.72 c #Conflicts: 117000 | #Constraints: 15279 46.58/46.72 c INPROCESSING 46.58/46.72 c GARBAGE COLLECT 46.58/46.72 c rational objective 51 63.85/64.06 c #Conflicts: 118000 | #Constraints: 8900 63.85/64.06 c #Conflicts: 119000 | #Constraints: 9921 63.85/64.06 c #Conflicts: 120000 | #Constraints: 10964 63.85/64.06 c #Conflicts: 121000 | #Constraints: 11996 63.85/64.06 c #Conflicts: 122000 | #Constraints: 13024 63.85/64.06 c #Conflicts: 123000 | #Constraints: 14068 63.85/64.06 c #Conflicts: 124000 | #Constraints: 15103 63.85/64.06 c #Conflicts: 125000 | #Constraints: 16147 63.85/64.06 c #Conflicts: 126000 | #Constraints: 17185 63.85/64.06 c #Conflicts: 127000 | #Constraints: 18215 63.85/64.06 c #Conflicts: 128000 | #Constraints: 19260 63.85/64.06 c #Conflicts: 129000 | #Constraints: 20305 63.85/64.06 c #Conflicts: 130000 | #Constraints: 21340 63.85/64.06 c #Conflicts: 131000 | #Constraints: 22371 63.85/64.06 c #Conflicts: 132000 | #Constraints: 23402 63.85/64.06 c #Conflicts: 133000 | #Constraints: 24437 63.85/64.06 c #Conflicts: 134000 | #Constraints: 25470 63.85/64.06 c #Conflicts: 135000 | #Constraints: 26500 63.85/64.06 c #Conflicts: 136000 | #Constraints: 27542 63.85/64.06 c #Conflicts: 137000 | #Constraints: 28578 63.85/64.06 c #Conflicts: 138000 | #Constraints: 29612 63.85/64.06 c #Conflicts: 139000 | #Constraints: 30644 63.85/64.06 c #Conflicts: 140000 | #Constraints: 31672 63.85/64.06 c #Conflicts: 141000 | #Constraints: 32704 63.85/64.06 c #Conflicts: 142000 | #Constraints: 33745 63.85/64.06 c #Conflicts: 143000 | #Constraints: 34779 63.85/64.06 c #Conflicts: 144000 | #Constraints: 35808 63.85/64.06 c #Conflicts: 145000 | #Constraints: 36841 63.85/64.06 c #Conflicts: 146000 | #Constraints: 37881 63.85/64.06 c INPROCESSING 63.85/64.06 c GARBAGE COLLECT 63.85/64.06 c rational objective 51 73.41/73.62 c #Conflicts: 147000 | #Constraints: 20089 73.41/73.62 c #Conflicts: 148000 | #Constraints: 21089 73.41/73.62 c #Conflicts: 149000 | #Constraints: 22089 73.41/73.62 c #Conflicts: 150000 | #Constraints: 23089 73.41/73.62 c #Conflicts: 151000 | #Constraints: 24089 73.41/73.62 c #Conflicts: 152000 | #Constraints: 25089 73.41/73.62 c #Conflicts: 153000 | #Constraints: 26089 73.41/73.62 c #Conflicts: 154000 | #Constraints: 27089 73.41/73.62 c #Conflicts: 155000 | #Constraints: 28089 73.41/73.62 c INPROCESSING 73.41/73.62 c GARBAGE COLLECT 73.41/73.62 c rational objective 51 80.30/80.54 c #Conflicts: 156000 | #Constraints: 15422 80.30/80.54 c #Conflicts: 157000 | #Constraints: 16422 80.30/80.54 c #Conflicts: 158000 | #Constraints: 17422 80.30/80.54 c #Conflicts: 159000 | #Constraints: 18422 80.30/80.54 c #Conflicts: 160000 | #Constraints: 19422 80.30/80.54 c bounds 54 >= 52 @ 77.1909 80.30/80.54 c #Conflicts: 161000 | #Constraints: 20493 80.30/80.54 c #Conflicts: 162000 | #Constraints: 21523 80.30/80.54 c #Conflicts: 163000 | #Constraints: 22558 80.30/80.54 c INPROCESSING 80.30/80.54 c GARBAGE COLLECT 80.30/80.54 c rational objective 52 83.49/83.77 c #Conflicts: 164000 | #Constraints: 12280 83.49/83.77 c #Conflicts: 165000 | #Constraints: 13322 83.49/83.77 c #Conflicts: 166000 | #Constraints: 14359 83.49/83.77 c #Conflicts: 167000 | #Constraints: 15390 83.49/83.77 c #Conflicts: 168000 | #Constraints: 16424 83.49/83.77 c #Conflicts: 169000 | #Constraints: 17469 83.49/83.77 c #Conflicts: 170000 | #Constraints: 18500 83.49/83.77 c #Conflicts: 171000 | #Constraints: 19525 83.49/83.77 c #Conflicts: 172000 | #Constraints: 20553 83.49/83.77 c INPROCESSING 83.49/83.77 c GARBAGE COLLECT 83.49/83.77 c rational objective 52 91.67/91.93 c #Conflicts: 173000 | #Constraints: 11263 91.67/91.93 c #Conflicts: 174000 | #Constraints: 12264 91.67/91.93 c #Conflicts: 175000 | #Constraints: 13266 91.67/91.93 c #Conflicts: 176000 | #Constraints: 14267 91.67/91.93 c #Conflicts: 177000 | #Constraints: 15268 91.67/91.93 c #Conflicts: 178000 | #Constraints: 16269 91.67/91.93 c #Conflicts: 179000 | #Constraints: 17270 91.67/91.93 c #Conflicts: 180000 | #Constraints: 18271 91.67/91.93 c #Conflicts: 181000 | #Constraints: 19271 91.67/91.93 c #Conflicts: 182000 | #Constraints: 20272 91.67/91.93 c INPROCESSING 91.67/91.93 c GARBAGE COLLECT 91.67/91.93 c rational objective 52 113.10/113.47 c #Conflicts: 183000 | #Constraints: 11573 113.10/113.47 c #Conflicts: 184000 | #Constraints: 12618 113.10/113.47 c #Conflicts: 185000 | #Constraints: 13655 113.10/113.47 c #Conflicts: 186000 | #Constraints: 14697 113.10/113.47 c #Conflicts: 187000 | #Constraints: 15743 113.10/113.47 c #Conflicts: 188000 | #Constraints: 16783 113.10/113.47 c #Conflicts: 189000 | #Constraints: 17827 113.10/113.47 c #Conflicts: 190000 | #Constraints: 18868 113.10/113.47 c #Conflicts: 191000 | #Constraints: 19894 113.10/113.47 c #Conflicts: 192000 | #Constraints: 20926 113.10/113.47 c #Conflicts: 193000 | #Constraints: 21964 113.10/113.47 c #Conflicts: 194000 | #Constraints: 22994 113.10/113.47 c #Conflicts: 195000 | #Constraints: 24031 113.10/113.47 c #Conflicts: 196000 | #Constraints: 25070 113.10/113.47 c #Conflicts: 197000 | #Constraints: 26110 113.10/113.47 c #Conflicts: 198000 | #Constraints: 27147 113.10/113.47 c #Conflicts: 199000 | #Constraints: 28190 113.10/113.47 c #Conflicts: 200000 | #Constraints: 29223 113.10/113.47 c #Conflicts: 201000 | #Constraints: 30267 113.10/113.47 c #Conflicts: 202000 | #Constraints: 31293 113.10/113.48 c #Conflicts: 203000 | #Constraints: 32320 113.10/113.48 c #Conflicts: 204000 | #Constraints: 33338 113.10/113.48 c #Conflicts: 205000 | #Constraints: 34368 113.10/113.48 c #Conflicts: 206000 | #Constraints: 35402 113.10/113.48 c #Conflicts: 207000 | #Constraints: 36441 113.10/113.48 c #Conflicts: 208000 | #Constraints: 37474 113.10/113.48 c #Conflicts: 209000 | #Constraints: 38505 113.10/113.48 c #Conflicts: 210000 | #Constraints: 39544 113.10/113.48 c #Conflicts: 211000 | #Constraints: 40585 113.10/113.48 c #Conflicts: 212000 | #Constraints: 41619 113.10/113.48 c #Conflicts: 213000 | #Constraints: 42656 113.10/113.48 c #Conflicts: 214000 | #Constraints: 43690 113.10/113.48 c #Conflicts: 215000 | #Constraints: 44713 113.10/113.48 c #Conflicts: 216000 | #Constraints: 45737 113.10/113.48 c #Conflicts: 217000 | #Constraints: 46763 113.10/113.48 c INPROCESSING 113.10/113.48 c GARBAGE COLLECT 113.10/113.48 c rational objective 52 127.85/128.25 c #Conflicts: 218000 | #Constraints: 24521 127.85/128.25 c #Conflicts: 219000 | #Constraints: 25521 127.85/128.25 c #Conflicts: 220000 | #Constraints: 26521 127.85/128.25 c #Conflicts: 221000 | #Constraints: 27521 127.85/128.25 c #Conflicts: 222000 | #Constraints: 28521 127.85/128.25 c #Conflicts: 223000 | #Constraints: 29521 127.85/128.25 c #Conflicts: 224000 | #Constraints: 30522 127.85/128.25 c #Conflicts: 225000 | #Constraints: 31522 127.85/128.25 c #Conflicts: 226000 | #Constraints: 32522 127.85/128.25 c #Conflicts: 227000 | #Constraints: 33522 127.85/128.25 c #Conflicts: 228000 | #Constraints: 34523 127.85/128.25 c INPROCESSING 127.85/128.25 c GARBAGE COLLECT 127.85/128.25 c rational objective 52 132.34/132.79 c #Conflicts: 229000 | #Constraints: 18711 132.34/132.79 c #Conflicts: 230000 | #Constraints: 19739 132.34/132.79 c #Conflicts: 231000 | #Constraints: 20779 132.34/132.79 c #Conflicts: 232000 | #Constraints: 21810 132.34/132.79 c #Conflicts: 233000 | #Constraints: 22839 132.34/132.79 c #Conflicts: 234000 | #Constraints: 23865 132.34/132.79 c #Conflicts: 235000 | #Constraints: 24896 132.34/132.79 c #Conflicts: 236000 | #Constraints: 25928 132.34/132.79 c #Conflicts: 237000 | #Constraints: 26971 132.34/132.79 c #Conflicts: 238000 | #Constraints: 28003 132.34/132.79 c INPROCESSING 132.34/132.79 c GARBAGE COLLECT 132.34/132.79 c rational objective 52 145.71/146.14 c #Conflicts: 239000 | #Constraints: 15040 145.71/146.14 c #Conflicts: 240000 | #Constraints: 16040 145.71/146.14 c #Conflicts: 241000 | #Constraints: 17040 145.71/146.14 c #Conflicts: 242000 | #Constraints: 18040 145.71/146.14 c #Conflicts: 243000 | #Constraints: 19040 145.71/146.14 c #Conflicts: 244000 | #Constraints: 20040 145.71/146.14 c #Conflicts: 245000 | #Constraints: 21040 145.71/146.14 c #Conflicts: 246000 | #Constraints: 22040 145.71/146.14 c #Conflicts: 247000 | #Constraints: 23040 145.71/146.14 c #Conflicts: 248000 | #Constraints: 24040 145.71/146.14 c #Conflicts: 249000 | #Constraints: 25040 145.71/146.14 c INPROCESSING 145.71/146.14 c GARBAGE COLLECT 145.71/146.14 c rational objective 52 178.79/179.32 c #Conflicts: 250000 | #Constraints: 13639 178.79/179.32 c #Conflicts: 251000 | #Constraints: 14690 178.79/179.32 c #Conflicts: 252000 | #Constraints: 15734 178.79/179.32 c #Conflicts: 253000 | #Constraints: 16773 178.79/179.32 c #Conflicts: 254000 | #Constraints: 17802 178.79/179.32 c #Conflicts: 255000 | #Constraints: 18840 178.79/179.32 c #Conflicts: 256000 | #Constraints: 19883 178.79/179.32 c #Conflicts: 257000 | #Constraints: 20919 178.79/179.32 c #Conflicts: 258000 | #Constraints: 21947 178.79/179.32 c #Conflicts: 259000 | #Constraints: 22977 178.79/179.32 c #Conflicts: 260000 | #Constraints: 24006 178.79/179.32 c #Conflicts: 261000 | #Constraints: 25041 178.79/179.32 c #Conflicts: 262000 | #Constraints: 26071 178.79/179.32 c #Conflicts: 263000 | #Constraints: 27103 178.79/179.32 c #Conflicts: 264000 | #Constraints: 28135 178.79/179.32 c #Conflicts: 265000 | #Constraints: 29177 178.79/179.32 c #Conflicts: 266000 | #Constraints: 30213 178.79/179.32 c #Conflicts: 267000 | #Constraints: 31260 178.79/179.32 c #Conflicts: 268000 | #Constraints: 32296 178.79/179.32 c #Conflicts: 269000 | #Constraints: 33327 178.79/179.32 c #Conflicts: 270000 | #Constraints: 34360 178.79/179.32 c #Conflicts: 271000 | #Constraints: 35392 178.79/179.32 c #Conflicts: 272000 | #Constraints: 36432 178.79/179.32 c #Conflicts: 273000 | #Constraints: 37462 178.79/179.32 c #Conflicts: 274000 | #Constraints: 38494 178.79/179.32 c #Conflicts: 275000 | #Constraints: 39531 178.79/179.32 c #Conflicts: 276000 | #Constraints: 40565 178.79/179.32 c #Conflicts: 277000 | #Constraints: 41605 178.79/179.32 c #Conflicts: 278000 | #Constraints: 42638 178.79/179.32 c #Conflicts: 279000 | #Constraints: 43666 178.79/179.32 c #Conflicts: 280000 | #Constraints: 44699 178.79/179.32 c #Conflicts: 281000 | #Constraints: 45723 178.79/179.32 c #Conflicts: 282000 | #Constraints: 46753 178.79/179.32 c #Conflicts: 283000 | #Constraints: 47787 178.79/179.32 c #Conflicts: 284000 | #Constraints: 48814 178.79/179.32 c #Conflicts: 285000 | #Constraints: 49841 178.79/179.32 c #Conflicts: 286000 | #Constraints: 50875 178.79/179.32 c #Conflicts: 287000 | #Constraints: 51899 178.79/179.32 c #Conflicts: 288000 | #Constraints: 52925 178.79/179.32 c #Conflicts: 289000 | #Constraints: 53952 178.79/179.32 c #Conflicts: 290000 | #Constraints: 54986 178.79/179.32 c INPROCESSING 178.79/179.32 c GARBAGE COLLECT 178.79/179.32 c rational objective 52 202.82/203.47 c #Conflicts: 291000 | #Constraints: 28680 202.82/203.47 c #Conflicts: 292000 | #Constraints: 29681 202.82/203.47 c #Conflicts: 293000 | #Constraints: 30681 202.82/203.47 c #Conflicts: 294000 | #Constraints: 31682 202.82/203.47 c #Conflicts: 295000 | #Constraints: 32682 202.82/203.47 c #Conflicts: 296000 | #Constraints: 33683 202.82/203.47 c #Conflicts: 297000 | #Constraints: 34684 202.82/203.47 c #Conflicts: 298000 | #Constraints: 35685 202.82/203.47 c #Conflicts: 299000 | #Constraints: 36686 202.82/203.47 c #Conflicts: 300000 | #Constraints: 37686 202.82/203.47 c #Conflicts: 301000 | #Constraints: 38686 202.82/203.47 c #Conflicts: 302000 | #Constraints: 39686 202.82/203.47 c INPROCESSING 202.82/203.47 c GARBAGE COLLECT 202.82/203.47 c rational objective 52 208.60/209.25 c #Conflicts: 303000 | #Constraints: 20973 208.60/209.25 c #Conflicts: 304000 | #Constraints: 22009 208.60/209.25 c #Conflicts: 305000 | #Constraints: 23045 208.60/209.25 c #Conflicts: 306000 | #Constraints: 24087 208.60/209.25 c #Conflicts: 307000 | #Constraints: 25117 208.60/209.25 c #Conflicts: 308000 | #Constraints: 26148 208.60/209.25 c #Conflicts: 309000 | #Constraints: 27180 208.60/209.25 c #Conflicts: 310000 | #Constraints: 28213 208.60/209.25 c #Conflicts: 311000 | #Constraints: 29243 208.60/209.25 c #Conflicts: 312000 | #Constraints: 30274 208.60/209.25 c #Conflicts: 313000 | #Constraints: 31305 208.60/209.25 c #Conflicts: 314000 | #Constraints: 32335 208.60/209.25 c #Conflicts: 315000 | #Constraints: 33368 208.60/209.25 c INPROCESSING 208.60/209.25 c GARBAGE COLLECT 208.60/209.25 c rational objective 52 228.74/229.43 c #Conflicts: 316000 | #Constraints: 18064 228.74/229.43 c #Conflicts: 317000 | #Constraints: 19064 228.74/229.43 c #Conflicts: 318000 | #Constraints: 20064 228.74/229.43 c #Conflicts: 319000 | #Constraints: 21064 228.74/229.43 c #Conflicts: 320000 | #Constraints: 22064 228.74/229.43 c #Conflicts: 321000 | #Constraints: 23064 228.74/229.43 c #Conflicts: 322000 | #Constraints: 24064 228.74/229.43 c #Conflicts: 323000 | #Constraints: 25064 228.74/229.43 c #Conflicts: 324000 | #Constraints: 26064 228.74/229.43 c #Conflicts: 325000 | #Constraints: 27064 228.74/229.43 c #Conflicts: 326000 | #Constraints: 28064 228.74/229.43 c #Conflicts: 327000 | #Constraints: 29064 228.74/229.43 c INPROCESSING 228.74/229.43 c GARBAGE COLLECT 228.74/229.43 c rational objective 52 270.50/271.33 c #Conflicts: 328000 | #Constraints: 15671 270.50/271.33 c #Conflicts: 329000 | #Constraints: 16709 270.50/271.33 c #Conflicts: 330000 | #Constraints: 17750 270.50/271.33 c #Conflicts: 331000 | #Constraints: 18789 270.50/271.33 c #Conflicts: 332000 | #Constraints: 19834 270.50/271.33 c #Conflicts: 333000 | #Constraints: 20876 270.50/271.33 c #Conflicts: 334000 | #Constraints: 21916 270.50/271.33 c #Conflicts: 335000 | #Constraints: 22951 270.50/271.33 c #Conflicts: 336000 | #Constraints: 24001 270.50/271.33 c #Conflicts: 337000 | #Constraints: 25039 270.50/271.33 c #Conflicts: 338000 | #Constraints: 26080 270.50/271.33 c #Conflicts: 339000 | #Constraints: 27114 270.50/271.33 c #Conflicts: 340000 | #Constraints: 28156 270.50/271.33 c #Conflicts: 341000 | #Constraints: 29194 270.50/271.33 c #Conflicts: 342000 | #Constraints: 30218 270.50/271.33 c #Conflicts: 343000 | #Constraints: 31254 270.50/271.33 c #Conflicts: 344000 | #Constraints: 32295 270.50/271.33 c #Conflicts: 345000 | #Constraints: 33322 270.50/271.33 c #Conflicts: 346000 | #Constraints: 34358 270.50/271.33 c #Conflicts: 347000 | #Constraints: 35390 270.50/271.33 c #Conflicts: 348000 | #Constraints: 36426 270.50/271.33 c #Conflicts: 349000 | #Constraints: 37458 270.50/271.33 c #Conflicts: 350000 | #Constraints: 38493 270.50/271.33 c #Conflicts: 351000 | #Constraints: 39525 270.50/271.33 c #Conflicts: 352000 | #Constraints: 40551 270.50/271.33 c #Conflicts: 353000 | #Constraints: 41579 270.50/271.33 c #Conflicts: 354000 | #Constraints: 42612 270.50/271.33 c #Conflicts: 355000 | #Constraints: 43640 270.50/271.33 c #Conflicts: 356000 | #Constraints: 44669 270.50/271.33 c #Conflicts: 357000 | #Constraints: 45695 270.50/271.33 c #Conflicts: 358000 | #Constraints: 46723 270.50/271.33 c #Conflicts: 359000 | #Constraints: 47748 270.50/271.33 c #Conflicts: 360000 | #Constraints: 48782 270.50/271.33 c #Conflicts: 361000 | #Constraints: 49800 270.50/271.33 c #Conflicts: 362000 | #Constraints: 50826 270.50/271.33 c #Conflicts: 363000 | #Constraints: 51851 270.50/271.33 c #Conflicts: 364000 | #Constraints: 52884 270.50/271.33 c #Conflicts: 365000 | #Constraints: 53901 270.50/271.33 c #Conflicts: 366000 | #Constraints: 54922 270.50/271.33 c #Conflicts: 367000 | #Constraints: 55954 270.50/271.33 c #Conflicts: 368000 | #Constraints: 56977 270.50/271.33 c #Conflicts: 369000 | #Constraints: 58010 270.50/271.33 c #Conflicts: 370000 | #Constraints: 59036 270.50/271.33 c #Conflicts: 371000 | #Constraints: 60060 270.50/271.33 c #Conflicts: 372000 | #Constraints: 61086 270.50/271.33 c #Conflicts: 373000 | #Constraints: 62113 270.50/271.33 c INPROCESSING 270.50/271.33 c GARBAGE COLLECT 270.50/271.33 c rational objective 52 306.69/307.67 c #Conflicts: 374000 | #Constraints: 32106 306.69/307.67 c #Conflicts: 375000 | #Constraints: 33106 306.69/307.67 c #Conflicts: 376000 | #Constraints: 34107 306.69/307.67 c #Conflicts: 377000 | #Constraints: 35107 306.69/307.67 c #Conflicts: 378000 | #Constraints: 36108 306.69/307.67 c #Conflicts: 379000 | #Constraints: 37108 306.69/307.67 c #Conflicts: 380000 | #Constraints: 38108 306.69/307.67 c #Conflicts: 381000 | #Constraints: 39110 306.69/307.67 c #Conflicts: 382000 | #Constraints: 40110 306.69/307.67 c #Conflicts: 383000 | #Constraints: 41110 306.69/307.67 c #Conflicts: 384000 | #Constraints: 42111 306.69/307.67 c #Conflicts: 385000 | #Constraints: 43111 306.69/307.67 c #Conflicts: 386000 | #Constraints: 44112 306.69/307.67 c #Conflicts: 387000 | #Constraints: 45112 306.69/307.67 c INPROCESSING 306.69/307.67 c GARBAGE COLLECT 306.69/307.67 c rational objective 52 314.66/315.67 c #Conflicts: 388000 | #Constraints: 23679 314.66/315.67 c #Conflicts: 389000 | #Constraints: 24726 314.66/315.67 c #Conflicts: 390000 | #Constraints: 25760 314.66/315.67 c #Conflicts: 391000 | #Constraints: 26792 314.66/315.67 c #Conflicts: 392000 | #Constraints: 27832 314.66/315.67 c #Conflicts: 393000 | #Constraints: 28867 314.66/315.67 c #Conflicts: 394000 | #Constraints: 29911 314.66/315.67 c #Conflicts: 395000 | #Constraints: 30954 314.66/315.67 c #Conflicts: 396000 | #Constraints: 31993 314.66/315.67 c #Conflicts: 397000 | #Constraints: 33027 314.66/315.67 c #Conflicts: 398000 | #Constraints: 34063 314.66/315.67 c #Conflicts: 399000 | #Constraints: 35093 314.66/315.67 c #Conflicts: 400000 | #Constraints: 36120 314.66/315.67 c #Conflicts: 401000 | #Constraints: 37147 314.66/315.67 c INPROCESSING 314.66/315.67 c GARBAGE COLLECT 314.66/315.67 c rational objective 52 322.16/323.14 c #Conflicts: 402000 | #Constraints: 19618 322.16/323.14 c #Conflicts: 403000 | #Constraints: 20655 322.16/323.14 c #Conflicts: 404000 | #Constraints: 21697 322.16/323.14 c #Conflicts: 405000 | #Constraints: 22725 322.16/323.14 c #Conflicts: 406000 | #Constraints: 23760 322.16/323.14 c #Conflicts: 407000 | #Constraints: 24799 322.16/323.14 c #Conflicts: 408000 | #Constraints: 25836 322.16/323.14 c #Conflicts: 409000 | #Constraints: 26878 322.16/323.14 c #Conflicts: 410000 | #Constraints: 27906 322.16/323.14 c #Conflicts: 411000 | #Constraints: 28935 322.16/323.14 c #Conflicts: 412000 | #Constraints: 29968 322.16/323.14 c #Conflicts: 413000 | #Constraints: 31005 322.16/323.14 c #Conflicts: 414000 | #Constraints: 32037 322.16/323.14 c #Conflicts: 415000 | #Constraints: 33069 322.16/323.14 c #Conflicts: 416000 | #Constraints: 34102 322.16/323.14 c INPROCESSING 322.16/323.14 c GARBAGE COLLECT 322.16/323.14 c rational objective 52 549.83/551.50 c #Conflicts: 417000 | #Constraints: 18434 549.83/551.50 c #Conflicts: 418000 | #Constraints: 19434 549.83/551.50 c #Conflicts: 419000 | #Constraints: 20435 549.83/551.50 c #Conflicts: 420000 | #Constraints: 21435 549.83/551.50 c #Conflicts: 421000 | #Constraints: 22436 549.83/551.50 c #Conflicts: 422000 | #Constraints: 23436 549.83/551.50 c #Conflicts: 423000 | #Constraints: 24436 549.83/551.50 c #Conflicts: 424000 | #Constraints: 25437 549.83/551.50 c #Conflicts: 425000 | #Constraints: 26438 549.83/551.50 c #Conflicts: 426000 | #Constraints: 27438 549.83/551.50 c #Conflicts: 427000 | #Constraints: 28439 549.83/551.50 c #Conflicts: 428000 | #Constraints: 29440 549.83/551.50 c #Conflicts: 429000 | #Constraints: 30440 549.83/551.50 c #Conflicts: 430000 | #Constraints: 31441 549.83/551.50 c #Conflicts: 431000 | #Constraints: 32441 549.83/551.50 c #Conflicts: 432000 | #Constraints: 33441 549.83/551.50 c #Conflicts: 433000 | #Constraints: 34441 549.83/551.50 c #Conflicts: 434000 | #Constraints: 35441 549.83/551.50 c #Conflicts: 435000 | #Constraints: 36441 549.83/551.50 c #Conflicts: 436000 | #Constraints: 37442 549.83/551.50 c #Conflicts: 437000 | #Constraints: 38442 549.83/551.50 c #Conflicts: 438000 | #Constraints: 39442 549.83/551.50 c #Conflicts: 439000 | #Constraints: 40442 549.83/551.50 c #Conflicts: 440000 | #Constraints: 41442 549.83/551.50 c #Conflicts: 441000 | #Constraints: 42443 549.83/551.50 c #Conflicts: 442000 | #Constraints: 43443 549.83/551.50 c #Conflicts: 443000 | #Constraints: 44443 549.83/551.50 c #Conflicts: 444000 | #Constraints: 45443 549.83/551.50 c #Conflicts: 445000 | #Constraints: 46443 549.83/551.50 c #Conflicts: 446000 | #Constraints: 47443 549.83/551.50 c #Conflicts: 447000 | #Constraints: 48443 549.83/551.50 c #Conflicts: 448000 | #Constraints: 49443 549.83/551.50 c #Conflicts: 449000 | #Constraints: 50443 549.83/551.50 c #Conflicts: 450000 | #Constraints: 51444 549.83/551.50 c #Conflicts: 451000 | #Constraints: 52444 549.83/551.50 c #Conflicts: 452000 | #Constraints: 53444 549.83/551.50 c #Conflicts: 453000 | #Constraints: 54444 549.83/551.50 c #Conflicts: 454000 | #Constraints: 55445 549.83/551.50 c #Conflicts: 455000 | #Constraints: 56445 549.83/551.50 c #Conflicts: 456000 | #Constraints: 57446 549.83/551.50 c #Conflicts: 457000 | #Constraints: 58446 549.83/551.50 c #Conflicts: 458000 | #Constraints: 59446 549.83/551.50 c #Conflicts: 459000 | #Constraints: 60446 549.83/551.50 c #Conflicts: 460000 | #Constraints: 61446 549.83/551.50 c #Conflicts: 461000 | #Constraints: 62446 549.83/551.50 c #Conflicts: 462000 | #Constraints: 63446 549.83/551.50 c #Conflicts: 463000 | #Constraints: 64446 549.83/551.50 c #Conflicts: 464000 | #Constraints: 65446 549.83/551.50 c #Conflicts: 465000 | #Constraints: 66446 549.83/551.50 c #Conflicts: 466000 | #Constraints: 67446 549.83/551.50 c #Conflicts: 467000 | #Constraints: 68446 549.83/551.50 c INPROCESSING 549.83/551.50 c GARBAGE COLLECT 549.83/551.50 c rational objective 52 566.08/567.84 c #Conflicts: 468000 | #Constraints: 35437 566.08/567.84 c #Conflicts: 469000 | #Constraints: 36461 566.08/567.84 c #Conflicts: 470000 | #Constraints: 37482 566.08/567.84 c #Conflicts: 471000 | #Constraints: 38508 566.08/567.84 c #Conflicts: 472000 | #Constraints: 39546 566.08/567.84 c #Conflicts: 473000 | #Constraints: 40574 566.08/567.84 c #Conflicts: 474000 | #Constraints: 41600 566.08/567.84 c #Conflicts: 475000 | #Constraints: 42626 566.08/567.84 c #Conflicts: 476000 | #Constraints: 43646 566.08/567.84 c #Conflicts: 477000 | #Constraints: 44673 566.08/567.84 c #Conflicts: 478000 | #Constraints: 45691 566.08/567.84 c #Conflicts: 479000 | #Constraints: 46723 566.08/567.84 c #Conflicts: 480000 | #Constraints: 47755 566.08/567.84 c #Conflicts: 481000 | #Constraints: 48781 566.08/567.84 c #Conflicts: 482000 | #Constraints: 49803 566.08/567.84 c #Conflicts: 483000 | #Constraints: 50827 566.08/567.84 c INPROCESSING 566.08/567.84 c GARBAGE COLLECT 566.08/567.84 c rational objective 52 577.55/579.34 c #Conflicts: 484000 | #Constraints: 26833 577.55/579.34 c #Conflicts: 485000 | #Constraints: 27870 577.55/579.34 c #Conflicts: 486000 | #Constraints: 28912 577.55/579.34 c #Conflicts: 487000 | #Constraints: 29955 577.55/579.34 c #Conflicts: 488000 | #Constraints: 30998 577.55/579.34 c #Conflicts: 489000 | #Constraints: 32032 577.55/579.34 c #Conflicts: 490000 | #Constraints: 33060 577.55/579.34 c #Conflicts: 491000 | #Constraints: 34094 577.55/579.34 c #Conflicts: 492000 | #Constraints: 35121 577.55/579.34 c #Conflicts: 493000 | #Constraints: 36149 577.55/579.34 c #Conflicts: 494000 | #Constraints: 37185 577.55/579.34 c #Conflicts: 495000 | #Constraints: 38224 577.55/579.34 c #Conflicts: 496000 | #Constraints: 39268 577.55/579.34 c #Conflicts: 497000 | #Constraints: 40299 577.55/579.34 c #Conflicts: 498000 | #Constraints: 41340 577.55/579.34 c INPROCESSING 577.55/579.34 c GARBAGE COLLECT 577.55/579.34 c rational objective 52 638.85/640.83 c #Conflicts: 499000 | #Constraints: 21677 638.85/640.83 c #Conflicts: 500000 | #Constraints: 22718 638.85/640.83 c #Conflicts: 501000 | #Constraints: 23757 638.85/640.83 c #Conflicts: 502000 | #Constraints: 24787 638.85/640.83 c #Conflicts: 503000 | #Constraints: 25827 638.85/640.83 c #Conflicts: 504000 | #Constraints: 26858 638.85/640.83 c #Conflicts: 505000 | #Constraints: 27887 638.85/640.83 c #Conflicts: 506000 | #Constraints: 28928 638.85/640.83 c #Conflicts: 507000 | #Constraints: 29950 638.85/640.83 c #Conflicts: 508000 | #Constraints: 30977 638.85/640.83 c #Conflicts: 509000 | #Constraints: 32009 638.85/640.83 c #Conflicts: 510000 | #Constraints: 33036 638.85/640.83 c #Conflicts: 511000 | #Constraints: 34071 638.85/640.83 c #Conflicts: 512000 | #Constraints: 35091 638.85/640.83 c #Conflicts: 513000 | #Constraints: 36125 638.85/640.83 c #Conflicts: 514000 | #Constraints: 37166 638.85/640.83 c #Conflicts: 515000 | #Constraints: 38196 638.85/640.83 c #Conflicts: 516000 | #Constraints: 39231 638.85/640.83 c #Conflicts: 517000 | #Constraints: 40272 638.85/640.83 c #Conflicts: 518000 | #Constraints: 41306 638.85/640.83 c #Conflicts: 519000 | #Constraints: 42349 638.85/640.83 c #Conflicts: 520000 | #Constraints: 43389 638.85/640.83 c #Conflicts: 521000 | #Constraints: 44426 638.85/640.83 c #Conflicts: 522000 | #Constraints: 45454 638.85/640.83 c #Conflicts: 523000 | #Constraints: 46477 638.85/640.83 c #Conflicts: 524000 | #Constraints: 47510 638.85/640.83 c #Conflicts: 525000 | #Constraints: 48537 638.85/640.83 c #Conflicts: 526000 | #Constraints: 49563 638.85/640.83 c #Conflicts: 527000 | #Constraints: 50593 638.85/640.83 c #Conflicts: 528000 | #Constraints: 51624 638.85/640.83 c #Conflicts: 529000 | #Constraints: 52658 638.85/640.83 c #Conflicts: 530000 | #Constraints: 53688 638.85/640.83 c #Conflicts: 531000 | #Constraints: 54705 638.85/640.83 c #Conflicts: 532000 | #Constraints: 55738 638.85/640.83 c #Conflicts: 533000 | #Constraints: 56764 638.85/640.83 c #Conflicts: 534000 | #Constraints: 57784 638.85/640.83 c #Conflicts: 535000 | #Constraints: 58810 638.85/640.83 c #Conflicts: 536000 | #Constraints: 59833 638.85/640.83 c #Conflicts: 537000 | #Constraints: 60850 638.85/640.83 c #Conflicts: 538000 | #Constraints: 61879 638.85/640.83 c #Conflicts: 539000 | #Constraints: 62917 638.85/640.83 c #Conflicts: 540000 | #Constraints: 63946 638.85/640.83 c #Conflicts: 541000 | #Constraints: 64967 638.85/640.83 c #Conflicts: 542000 | #Constraints: 65988 638.85/640.83 c #Conflicts: 543000 | #Constraints: 67011 638.85/640.83 c #Conflicts: 544000 | #Constraints: 68031 638.85/640.83 c #Conflicts: 545000 | #Constraints: 69049 638.85/640.83 c #Conflicts: 546000 | #Constraints: 70075 638.85/640.83 c #Conflicts: 547000 | #Constraints: 71105 638.85/640.83 c #Conflicts: 548000 | #Constraints: 72132 638.85/640.83 c #Conflicts: 549000 | #Constraints: 73166 638.85/640.83 c #Conflicts: 550000 | #Constraints: 74197 638.85/640.83 c #Conflicts: 551000 | #Constraints: 75228 638.85/640.83 c #Conflicts: 552000 | #Constraints: 76263 638.85/640.83 c #Conflicts: 553000 | #Constraints: 77288 638.85/640.83 c #Conflicts: 554000 | #Constraints: 78319 638.85/640.83 c INPROCESSING 638.85/640.83 c GARBAGE COLLECT 638.85/640.83 c rational objective 52 656.40/658.40 c #Conflicts: 555000 | #Constraints: 40371 656.40/658.40 c #Conflicts: 556000 | #Constraints: 41403 656.40/658.40 c #Conflicts: 557000 | #Constraints: 42437 656.40/658.40 c #Conflicts: 558000 | #Constraints: 43462 656.40/658.40 c #Conflicts: 559000 | #Constraints: 44483 656.40/658.40 c #Conflicts: 560000 | #Constraints: 45506 656.40/658.40 c #Conflicts: 561000 | #Constraints: 46531 656.40/658.40 c #Conflicts: 562000 | #Constraints: 47548 656.40/658.40 c #Conflicts: 563000 | #Constraints: 48574 656.40/658.40 c #Conflicts: 564000 | #Constraints: 49605 656.40/658.40 c #Conflicts: 565000 | #Constraints: 50641 656.40/658.40 c #Conflicts: 566000 | #Constraints: 51665 656.40/658.40 c #Conflicts: 567000 | #Constraints: 52685 656.40/658.40 c #Conflicts: 568000 | #Constraints: 53717 656.40/658.40 c #Conflicts: 569000 | #Constraints: 54752 656.40/658.40 c #Conflicts: 570000 | #Constraints: 55772 656.40/658.40 c #Conflicts: 571000 | #Constraints: 56791 656.40/658.40 c INPROCESSING 656.40/658.40 c GARBAGE COLLECT 656.40/658.40 c rational objective 52 668.76/670.87 c #Conflicts: 572000 | #Constraints: 29551 668.76/670.87 c #Conflicts: 573000 | #Constraints: 30586 668.76/670.87 c #Conflicts: 574000 | #Constraints: 31617 668.76/670.87 c #Conflicts: 575000 | #Constraints: 32645 668.76/670.87 c #Conflicts: 576000 | #Constraints: 33672 668.76/670.87 c #Conflicts: 577000 | #Constraints: 34693 668.76/670.87 c #Conflicts: 578000 | #Constraints: 35711 668.76/670.87 c #Conflicts: 579000 | #Constraints: 36738 668.76/670.87 c #Conflicts: 580000 | #Constraints: 37761 668.76/670.87 c #Conflicts: 581000 | #Constraints: 38779 668.76/670.87 c #Conflicts: 582000 | #Constraints: 39795 668.76/670.87 c #Conflicts: 583000 | #Constraints: 40822 668.76/670.87 c #Conflicts: 584000 | #Constraints: 41853 668.76/670.87 c #Conflicts: 585000 | #Constraints: 42871 668.76/670.87 c #Conflicts: 586000 | #Constraints: 43897 668.76/670.87 c #Conflicts: 587000 | #Constraints: 44919 668.76/670.87 c #Conflicts: 588000 | #Constraints: 45945 668.76/670.87 c INPROCESSING 668.76/670.87 c GARBAGE COLLECT 668.76/670.87 c rational objective 52 679.13/681.24 c #Conflicts: 589000 | #Constraints: 23968 679.13/681.24 c #Conflicts: 590000 | #Constraints: 24990 679.13/681.24 c #Conflicts: 591000 | #Constraints: 26021 679.13/681.24 c #Conflicts: 592000 | #Constraints: 27051 679.13/681.24 c #Conflicts: 593000 | #Constraints: 28076 679.13/681.24 c #Conflicts: 594000 | #Constraints: 29102 679.13/681.24 c #Conflicts: 595000 | #Constraints: 30134 679.13/681.24 c #Conflicts: 596000 | #Constraints: 31156 679.13/681.24 c #Conflicts: 597000 | #Constraints: 32178 679.13/681.24 c #Conflicts: 598000 | #Constraints: 33202 679.13/681.24 c #Conflicts: 599000 | #Constraints: 34229 679.13/681.24 c #Conflicts: 600000 | #Constraints: 35260 679.13/681.24 c #Conflicts: 601000 | #Constraints: 36288 679.13/681.24 c #Conflicts: 602000 | #Constraints: 37307 679.13/681.24 c #Conflicts: 603000 | #Constraints: 38334 679.13/681.24 c #Conflicts: 604000 | #Constraints: 39358 679.13/681.24 c #Conflicts: 605000 | #Constraints: 40383 679.13/681.24 c #Conflicts: 606000 | #Constraints: 41406 679.13/681.24 c INPROCESSING 679.13/681.24 c GARBAGE COLLECT 679.13/681.24 c rational objective 52 754.49/756.87 c #Conflicts: 607000 | #Constraints: 21967 754.49/756.87 c #Conflicts: 608000 | #Constraints: 23017 754.49/756.87 c #Conflicts: 609000 | #Constraints: 24056 754.49/756.87 c #Conflicts: 610000 | #Constraints: 25096 754.49/756.87 c #Conflicts: 611000 | #Constraints: 26126 754.49/756.87 c #Conflicts: 612000 | #Constraints: 27161 754.49/756.87 c #Conflicts: 613000 | #Constraints: 28192 754.49/756.87 c #Conflicts: 614000 | #Constraints: 29223 754.49/756.87 c #Conflicts: 615000 | #Constraints: 30251 754.49/756.87 c #Conflicts: 616000 | #Constraints: 31283 754.49/756.87 c #Conflicts: 617000 | #Constraints: 32312 754.49/756.87 c #Conflicts: 618000 | #Constraints: 33347 754.49/756.87 c #Conflicts: 619000 | #Constraints: 34375 754.49/756.87 c #Conflicts: 620000 | #Constraints: 35413 754.49/756.87 c #Conflicts: 621000 | #Constraints: 36447 754.49/756.87 c #Conflicts: 622000 | #Constraints: 37478 754.49/756.87 c #Conflicts: 623000 | #Constraints: 38517 754.49/756.87 c #Conflicts: 624000 | #Constraints: 39551 754.49/756.87 c #Conflicts: 625000 | #Constraints: 40584 754.49/756.87 c #Conflicts: 626000 | #Constraints: 41616 754.49/756.87 c #Conflicts: 627000 | #Constraints: 42644 754.49/756.87 c #Conflicts: 628000 | #Constraints: 43660 754.49/756.87 c #Conflicts: 629000 | #Constraints: 44692 754.49/756.87 c #Conflicts: 630000 | #Constraints: 45717 754.49/756.87 c #Conflicts: 631000 | #Constraints: 46734 754.49/756.87 c #Conflicts: 632000 | #Constraints: 47763 754.49/756.87 c #Conflicts: 633000 | #Constraints: 48788 754.49/756.87 c #Conflicts: 634000 | #Constraints: 49815 754.49/756.87 c #Conflicts: 635000 | #Constraints: 50840 754.49/756.87 c #Conflicts: 636000 | #Constraints: 51866 754.49/756.87 c #Conflicts: 637000 | #Constraints: 52895 754.49/756.87 c #Conflicts: 638000 | #Constraints: 53922 754.49/756.87 c #Conflicts: 639000 | #Constraints: 54944 754.49/756.87 c #Conflicts: 640000 | #Constraints: 55967 754.49/756.87 c #Conflicts: 641000 | #Constraints: 56996 754.49/756.87 c #Conflicts: 642000 | #Constraints: 58028 754.49/756.87 c #Conflicts: 643000 | #Constraints: 59052 754.49/756.87 c #Conflicts: 644000 | #Constraints: 60072 754.49/756.87 c #Conflicts: 645000 | #Constraints: 61092 754.49/756.87 c #Conflicts: 646000 | #Constraints: 62118 754.49/756.87 c #Conflicts: 647000 | #Constraints: 63139 754.49/756.87 c #Conflicts: 648000 | #Constraints: 64166 754.49/756.87 c #Conflicts: 649000 | #Constraints: 65194 754.49/756.87 c #Conflicts: 650000 | #Constraints: 66221 754.49/756.87 c #Conflicts: 651000 | #Constraints: 67253 754.49/756.87 c #Conflicts: 652000 | #Constraints: 68287 754.49/756.87 c #Conflicts: 653000 | #Constraints: 69322 754.49/756.87 c #Conflicts: 654000 | #Constraints: 70358 754.49/756.87 c #Conflicts: 655000 | #Constraints: 71394 754.49/756.87 c #Conflicts: 656000 | #Constraints: 72427 754.49/756.87 c #Conflicts: 657000 | #Constraints: 73450 754.49/756.87 c #Conflicts: 658000 | #Constraints: 74481 754.49/756.87 c #Conflicts: 659000 | #Constraints: 75512 754.49/756.87 c #Conflicts: 660000 | #Constraints: 76544 754.49/756.87 c #Conflicts: 661000 | #Constraints: 77572 754.49/756.87 c #Conflicts: 662000 | #Constraints: 78594 754.49/756.87 c #Conflicts: 663000 | #Constraints: 79621 754.49/756.87 c #Conflicts: 664000 | #Constraints: 80636 754.49/756.87 c #Conflicts: 665000 | #Constraints: 81653 754.49/756.87 c #Conflicts: 666000 | #Constraints: 82678 754.49/756.87 c #Conflicts: 667000 | #Constraints: 83704 754.49/756.87 c INPROCESSING 754.49/756.87 c GARBAGE COLLECT 754.49/756.87 c rational objective 52 845.91/848.55 c #Conflicts: 668000 | #Constraints: 43140 845.91/848.55 c #Conflicts: 669000 | #Constraints: 44141 845.91/848.55 c #Conflicts: 670000 | #Constraints: 45141 845.91/848.55 c #Conflicts: 671000 | #Constraints: 46141 845.91/848.55 c #Conflicts: 672000 | #Constraints: 47141 845.91/848.55 c #Conflicts: 673000 | #Constraints: 48142 845.91/848.55 c #Conflicts: 674000 | #Constraints: 49143 845.91/848.55 c #Conflicts: 675000 | #Constraints: 50143 845.91/848.55 c #Conflicts: 676000 | #Constraints: 51143 845.91/848.55 c #Conflicts: 677000 | #Constraints: 52143 845.91/848.55 c #Conflicts: 678000 | #Constraints: 53143 845.91/848.55 c #Conflicts: 679000 | #Constraints: 54143 845.91/848.55 c #Conflicts: 680000 | #Constraints: 55143 845.91/848.55 c #Conflicts: 681000 | #Constraints: 56143 845.91/848.55 c #Conflicts: 682000 | #Constraints: 57143 845.91/848.55 c #Conflicts: 683000 | #Constraints: 58143 845.91/848.55 c #Conflicts: 684000 | #Constraints: 59145 845.91/848.55 c #Conflicts: 685000 | #Constraints: 60146 845.91/848.55 c #Conflicts: 686000 | #Constraints: 61146 845.91/848.55 c INPROCESSING 845.91/848.55 c GARBAGE COLLECT 845.91/848.55 c rational objective 52 862.37/865.03 c #Conflicts: 687000 | #Constraints: 32008 862.37/865.03 c #Conflicts: 688000 | #Constraints: 33050 862.37/865.03 c #Conflicts: 689000 | #Constraints: 34086 862.37/865.03 c #Conflicts: 690000 | #Constraints: 35126 862.37/865.03 c #Conflicts: 691000 | #Constraints: 36153 862.37/865.03 c #Conflicts: 692000 | #Constraints: 37186 862.37/865.03 c #Conflicts: 693000 | #Constraints: 38216 862.37/865.03 c #Conflicts: 694000 | #Constraints: 39255 862.37/865.03 c #Conflicts: 695000 | #Constraints: 40296 862.37/865.03 c #Conflicts: 696000 | #Constraints: 41338 862.37/865.03 c #Conflicts: 697000 | #Constraints: 42375 862.37/865.03 c #Conflicts: 698000 | #Constraints: 43409 862.37/865.03 c #Conflicts: 699000 | #Constraints: 44440 862.37/865.03 c #Conflicts: 700000 | #Constraints: 45471 862.37/865.03 c #Conflicts: 701000 | #Constraints: 46503 862.37/865.03 c #Conflicts: 702000 | #Constraints: 47535 862.37/865.03 c #Conflicts: 703000 | #Constraints: 48552 862.37/865.03 c #Conflicts: 704000 | #Constraints: 49578 862.37/865.03 c #Conflicts: 705000 | #Constraints: 50610 862.37/865.03 c INPROCESSING 862.37/865.03 c GARBAGE COLLECT 862.37/865.03 c rational objective 52 876.72/879.44 c #Conflicts: 706000 | #Constraints: 26715 876.72/879.44 c #Conflicts: 707000 | #Constraints: 27754 876.72/879.44 c #Conflicts: 708000 | #Constraints: 28786 876.72/879.44 c #Conflicts: 709000 | #Constraints: 29814 876.72/879.44 c #Conflicts: 710000 | #Constraints: 30841 876.72/879.44 c #Conflicts: 711000 | #Constraints: 31868 876.72/879.44 c #Conflicts: 712000 | #Constraints: 32906 876.72/879.44 c #Conflicts: 713000 | #Constraints: 33941 876.72/879.44 c #Conflicts: 714000 | #Constraints: 34986 876.72/879.44 c #Conflicts: 715000 | #Constraints: 36014 876.72/879.44 c #Conflicts: 716000 | #Constraints: 37050 876.72/879.44 c #Conflicts: 717000 | #Constraints: 38070 876.72/879.44 c #Conflicts: 718000 | #Constraints: 39101 876.72/879.44 c #Conflicts: 719000 | #Constraints: 40129 876.72/879.44 c #Conflicts: 720000 | #Constraints: 41171 876.72/879.44 c #Conflicts: 721000 | #Constraints: 42203 876.72/879.44 c #Conflicts: 722000 | #Constraints: 43232 876.72/879.44 c #Conflicts: 723000 | #Constraints: 44266 876.72/879.44 c #Conflicts: 724000 | #Constraints: 45281 876.72/879.44 c INPROCESSING 876.72/879.44 c GARBAGE COLLECT 876.72/879.44 c rational objective 52 982.11/985.17 c #Conflicts: 725000 | #Constraints: 24437 982.11/985.17 c #Conflicts: 726000 | #Constraints: 25487 982.11/985.17 c #Conflicts: 727000 | #Constraints: 26531 982.11/985.17 c #Conflicts: 728000 | #Constraints: 27582 982.11/985.17 c #Conflicts: 729000 | #Constraints: 28611 982.11/985.17 c #Conflicts: 730000 | #Constraints: 29633 982.11/985.17 c #Conflicts: 731000 | #Constraints: 30662 982.11/985.17 c #Conflicts: 732000 | #Constraints: 31695 982.11/985.17 c #Conflicts: 733000 | #Constraints: 32722 982.11/985.17 c #Conflicts: 734000 | #Constraints: 33746 982.11/985.17 c #Conflicts: 735000 | #Constraints: 34781 982.11/985.17 c #Conflicts: 736000 | #Constraints: 35810 982.11/985.17 c #Conflicts: 737000 | #Constraints: 36838 982.11/985.17 c #Conflicts: 738000 | #Constraints: 37866 982.11/985.17 c #Conflicts: 739000 | #Constraints: 38898 982.11/985.17 c #Conflicts: 740000 | #Constraints: 39924 982.11/985.17 c #Conflicts: 741000 | #Constraints: 40959 982.11/985.17 c #Conflicts: 742000 | #Constraints: 41985 982.11/985.17 c #Conflicts: 743000 | #Constraints: 43011 982.11/985.17 c #Conflicts: 744000 | #Constraints: 44028 982.11/985.17 c #Conflicts: 745000 | #Constraints: 45056 982.11/985.17 c #Conflicts: 746000 | #Constraints: 46089 982.11/985.17 c #Conflicts: 747000 | #Constraints: 47113 982.11/985.17 c #Conflicts: 748000 | #Constraints: 48147 982.11/985.17 c #Conflicts: 749000 | #Constraints: 49176 982.11/985.17 c #Conflicts: 750000 | #Constraints: 50202 982.11/985.17 c #Conflicts: 751000 | #Constraints: 51227 982.11/985.17 c #Conflicts: 752000 | #Constraints: 52253 982.11/985.17 c #Conflicts: 753000 | #Constraints: 53277 982.11/985.17 c #Conflicts: 754000 | #Constraints: 54311 982.11/985.17 c #Conflicts: 755000 | #Constraints: 55336 982.11/985.17 c #Conflicts: 756000 | #Constraints: 56356 982.11/985.17 c #Conflicts: 757000 | #Constraints: 57388 982.11/985.17 c #Conflicts: 758000 | #Constraints: 58428 982.11/985.17 c #Conflicts: 759000 | #Constraints: 59462 982.11/985.17 c #Conflicts: 760000 | #Constraints: 60491 982.11/985.17 c #Conflicts: 761000 | #Constraints: 61523 982.11/985.17 c #Conflicts: 762000 | #Constraints: 62555 982.11/985.17 c #Conflicts: 763000 | #Constraints: 63575 982.11/985.17 c #Conflicts: 764000 | #Constraints: 64591 982.11/985.17 c #Conflicts: 765000 | #Constraints: 65611 982.11/985.17 c #Conflicts: 766000 | #Constraints: 66633 982.11/985.17 c #Conflicts: 767000 | #Constraints: 67653 982.11/985.17 c #Conflicts: 768000 | #Constraints: 68673 982.11/985.17 c #Conflicts: 769000 | #Constraints: 69698 982.11/985.17 c #Conflicts: 770000 | #Constraints: 70718 982.11/985.17 c #Conflicts: 771000 | #Constraints: 71736 982.11/985.17 c #Conflicts: 772000 | #Constraints: 72747 982.11/985.17 c #Conflicts: 773000 | #Constraints: 73768 982.11/985.17 c #Conflicts: 774000 | #Constraints: 74783 982.11/985.17 c #Conflicts: 775000 | #Constraints: 75807 982.11/985.17 c #Conflicts: 776000 | #Constraints: 76824 982.11/985.17 c #Conflicts: 777000 | #Constraints: 77856 982.11/985.17 c #Conflicts: 778000 | #Constraints: 78881 982.11/985.17 c #Conflicts: 779000 | #Constraints: 79903 982.11/985.17 c #Conflicts: 780000 | #Constraints: 80929 982.11/985.17 c #Conflicts: 781000 | #Constraints: 81959 982.11/985.17 c #Conflicts: 782000 | #Constraints: 82982 982.11/985.17 c #Conflicts: 783000 | #Constraints: 84017 982.11/985.17 c #Conflicts: 784000 | #Constraints: 85046 982.11/985.17 c #Conflicts: 785000 | #Constraints: 86080 982.11/985.17 c #Conflicts: 786000 | #Constraints: 87105 982.11/985.17 c #Conflicts: 787000 | #Constraints: 88134 982.11/985.17 c #Conflicts: 788000 | #Constraints: 89165 982.11/985.17 c #Conflicts: 789000 | #Constraints: 90181 982.11/985.17 c #Conflicts: 790000 | #Constraints: 91200 982.11/985.17 c INPROCESSING 982.11/985.17 c GARBAGE COLLECT 982.11/985.17 c rational objective 52 1109.80/1113.24 c #Conflicts: 791000 | #Constraints: 46794 1109.80/1113.24 c #Conflicts: 792000 | #Constraints: 47794 1109.80/1113.24 c #Conflicts: 793000 | #Constraints: 48794 1109.80/1113.24 c #Conflicts: 794000 | #Constraints: 49795 1109.80/1113.24 c #Conflicts: 795000 | #Constraints: 50796 1109.80/1113.24 c #Conflicts: 796000 | #Constraints: 51797 1109.80/1113.24 c #Conflicts: 797000 | #Constraints: 52798 1109.80/1113.24 c #Conflicts: 798000 | #Constraints: 53798 1109.80/1113.24 c #Conflicts: 799000 | #Constraints: 54798 1109.80/1113.24 c #Conflicts: 800000 | #Constraints: 55798 1109.80/1113.24 c #Conflicts: 801000 | #Constraints: 56798 1109.80/1113.24 c #Conflicts: 802000 | #Constraints: 57798 1109.80/1113.24 c #Conflicts: 803000 | #Constraints: 58798 1109.80/1113.24 c #Conflicts: 804000 | #Constraints: 59798 1109.80/1113.24 c #Conflicts: 805000 | #Constraints: 60798 1109.80/1113.24 c #Conflicts: 806000 | #Constraints: 61798 1109.80/1113.24 c #Conflicts: 807000 | #Constraints: 62798 1109.80/1113.24 c #Conflicts: 808000 | #Constraints: 63798 1109.80/1113.24 c #Conflicts: 809000 | #Constraints: 64799 1109.80/1113.24 c #Conflicts: 810000 | #Constraints: 65799 1109.80/1113.24 c INPROCESSING 1109.80/1113.24 c GARBAGE COLLECT 1109.80/1113.24 c rational objective 52 1129.04/1132.58 c #Conflicts: 811000 | #Constraints: 33876 1129.04/1132.58 c #Conflicts: 812000 | #Constraints: 34927 1129.04/1132.58 c #Conflicts: 813000 | #Constraints: 35973 1129.04/1132.58 c #Conflicts: 814000 | #Constraints: 37012 1129.04/1132.58 c #Conflicts: 815000 | #Constraints: 38048 1129.04/1132.58 c #Conflicts: 816000 | #Constraints: 39078 1129.04/1132.58 c #Conflicts: 817000 | #Constraints: 40112 1129.04/1132.58 c #Conflicts: 818000 | #Constraints: 41149 1129.04/1132.58 c #Conflicts: 819000 | #Constraints: 42177 1129.04/1132.58 c #Conflicts: 820000 | #Constraints: 43206 1129.04/1132.58 c #Conflicts: 821000 | #Constraints: 44233 1129.04/1132.58 c #Conflicts: 822000 | #Constraints: 45267 1129.04/1132.58 c #Conflicts: 823000 | #Constraints: 46295 1129.04/1132.58 c #Conflicts: 824000 | #Constraints: 47326 1129.04/1132.58 c #Conflicts: 825000 | #Constraints: 48348 1129.04/1132.58 c #Conflicts: 826000 | #Constraints: 49378 1129.04/1132.58 c #Conflicts: 827000 | #Constraints: 50415 1129.04/1132.58 c #Conflicts: 828000 | #Constraints: 51441 1129.04/1132.58 c #Conflicts: 829000 | #Constraints: 52471 1129.04/1132.58 c #Conflicts: 830000 | #Constraints: 53495 1129.04/1132.58 c #Conflicts: 831000 | #Constraints: 54517 1129.04/1132.58 c INPROCESSING 1129.04/1132.58 c GARBAGE COLLECT 1129.04/1132.58 c rational objective 52 1267.91/1271.83 c #Conflicts: 832000 | #Constraints: 28344 1267.91/1271.83 c #Conflicts: 833000 | #Constraints: 29344 1267.91/1271.83 c #Conflicts: 834000 | #Constraints: 30345 1267.91/1271.83 c #Conflicts: 835000 | #Constraints: 31345 1267.91/1271.83 c #Conflicts: 836000 | #Constraints: 32345 1267.91/1271.83 c #Conflicts: 837000 | #Constraints: 33345 1267.91/1271.83 c #Conflicts: 838000 | #Constraints: 34345 1267.91/1271.83 c #Conflicts: 839000 | #Constraints: 35345 1267.91/1271.83 c #Conflicts: 840000 | #Constraints: 36345 1267.91/1271.83 c #Conflicts: 841000 | #Constraints: 37345 1267.91/1271.83 c #Conflicts: 842000 | #Constraints: 38345 1267.91/1271.83 c #Conflicts: 843000 | #Constraints: 39346 1267.91/1271.83 c #Conflicts: 844000 | #Constraints: 40346 1267.91/1271.83 c #Conflicts: 845000 | #Constraints: 41346 1267.91/1271.83 c #Conflicts: 846000 | #Constraints: 42346 1267.91/1271.83 c #Conflicts: 847000 | #Constraints: 43346 1267.91/1271.83 c #Conflicts: 848000 | #Constraints: 44346 1267.91/1271.83 c #Conflicts: 849000 | #Constraints: 45347 1267.91/1271.83 c #Conflicts: 850000 | #Constraints: 46347 1267.91/1271.83 c #Conflicts: 851000 | #Constraints: 47347 1267.91/1271.83 c #Conflicts: 852000 | #Constraints: 48347 1267.91/1271.83 c INPROCESSING 1267.91/1271.83 c GARBAGE COLLECT 1267.91/1271.83 c rational objective 52 1400.19/1404.57 c #Conflicts: 853000 | #Constraints: 29592 1400.19/1404.57 c #Conflicts: 854000 | #Constraints: 30607 1400.19/1404.57 c #Conflicts: 855000 | #Constraints: 31638 1400.19/1404.57 c #Conflicts: 856000 | #Constraints: 32665 1400.19/1404.57 c #Conflicts: 857000 | #Constraints: 33699 1400.19/1404.57 c #Conflicts: 858000 | #Constraints: 34728 1400.19/1404.57 c #Conflicts: 859000 | #Constraints: 35756 1400.19/1404.57 c #Conflicts: 860000 | #Constraints: 36791 1400.19/1404.57 c #Conflicts: 861000 | #Constraints: 37825 1400.19/1404.57 c #Conflicts: 862000 | #Constraints: 38855 1400.19/1404.57 c #Conflicts: 863000 | #Constraints: 39893 1400.19/1404.57 c #Conflicts: 864000 | #Constraints: 40924 1400.19/1404.57 c #Conflicts: 865000 | #Constraints: 41957 1400.19/1404.57 c #Conflicts: 866000 | #Constraints: 42983 1400.19/1404.57 c #Conflicts: 867000 | #Constraints: 44010 1400.19/1404.57 c #Conflicts: 868000 | #Constraints: 45042 1400.19/1404.57 c #Conflicts: 869000 | #Constraints: 46063 1400.19/1404.57 c #Conflicts: 870000 | #Constraints: 47083 1400.19/1404.57 c #Conflicts: 871000 | #Constraints: 48109 1400.19/1404.57 c #Conflicts: 872000 | #Constraints: 49139 1400.19/1404.57 c #Conflicts: 873000 | #Constraints: 50164 1400.19/1404.57 c #Conflicts: 874000 | #Constraints: 51191 1400.19/1404.57 c #Conflicts: 875000 | #Constraints: 52212 1400.19/1404.57 c #Conflicts: 876000 | #Constraints: 53231 1400.19/1404.57 c #Conflicts: 877000 | #Constraints: 54254 1400.19/1404.57 c #Conflicts: 878000 | #Constraints: 55278 1400.19/1404.57 c #Conflicts: 879000 | #Constraints: 56312 1400.19/1404.57 c #Conflicts: 880000 | #Constraints: 57344 1400.19/1404.57 c #Conflicts: 881000 | #Constraints: 58378 1400.19/1404.57 c #Conflicts: 882000 | #Constraints: 59406 1400.19/1404.57 c #Conflicts: 883000 | #Constraints: 60436 1400.19/1404.57 c #Conflicts: 884000 | #Constraints: 61472 1400.19/1404.57 c #Conflicts: 885000 | #Constraints: 62502 1400.19/1404.57 c #Conflicts: 886000 | #Constraints: 63534 1400.19/1404.57 c #Conflicts: 887000 | #Constraints: 64568 1400.19/1404.57 c #Conflicts: 888000 | #Constraints: 65592 1400.19/1404.57 c #Conflicts: 889000 | #Constraints: 66615 1400.19/1404.57 c #Conflicts: 890000 | #Constraints: 67648 1400.19/1404.57 c #Conflicts: 891000 | #Constraints: 68674 1400.19/1404.57 c #Conflicts: 892000 | #Constraints: 69697 1400.19/1404.57 c #Conflicts: 893000 | #Constraints: 70721 1400.19/1404.57 c #Conflicts: 894000 | #Constraints: 71753 1400.19/1404.57 c #Conflicts: 895000 | #Constraints: 72770 1400.19/1404.57 c #Conflicts: 896000 | #Constraints: 73794 1400.19/1404.57 c #Conflicts: 897000 | #Constraints: 74819 1400.19/1404.57 c #Conflicts: 898000 | #Constraints: 75842 1400.19/1404.57 c #Conflicts: 899000 | #Constraints: 76867 1400.19/1404.57 c #Conflicts: 900000 | #Constraints: 77891 1400.19/1404.57 c #Conflicts: 901000 | #Constraints: 78915 1400.19/1404.57 c #Conflicts: 902000 | #Constraints: 79936 1400.19/1404.57 c #Conflicts: 903000 | #Constraints: 80959 1400.19/1404.57 c #Conflicts: 904000 | #Constraints: 81979 1400.19/1404.57 c #Conflicts: 905000 | #Constraints: 83003 1400.19/1404.57 c #Conflicts: 906000 | #Constraints: 84037 1400.19/1404.57 c #Conflicts: 907000 | #Constraints: 85067 1400.19/1404.57 c #Conflicts: 908000 | #Constraints: 86097 1400.19/1404.57 c #Conflicts: 909000 | #Constraints: 87126 1400.19/1404.57 c #Conflicts: 910000 | #Constraints: 88154 1400.19/1404.57 c #Conflicts: 911000 | #Constraints: 89174 1400.19/1404.57 c #Conflicts: 912000 | #Constraints: 90195 1400.19/1404.57 c #Conflicts: 913000 | #Constraints: 91212 1400.19/1404.57 c #Conflicts: 914000 | #Constraints: 92235 1400.19/1404.57 c #Conflicts: 915000 | #Constraints: 93248 1400.19/1404.57 c #Conflicts: 916000 | #Constraints: 94265 1400.19/1404.57 c #Conflicts: 917000 | #Constraints: 95296 1400.19/1404.57 c #Conflicts: 918000 | #Constraints: 96318 1400.19/1404.57 c #Conflicts: 919000 | #Constraints: 97338 1400.19/1404.57 c #Conflicts: 920000 | #Constraints: 98353 1400.19/1404.57 c #Conflicts: 921000 | #Constraints: 99375 1400.19/1404.57 c #Conflicts: 922000 | #Constraints: 100391 1400.19/1404.57 c #Conflicts: 923000 | #Constraints: 101406 1400.19/1404.57 c #Conflicts: 924000 | #Constraints: 102433 1400.19/1404.57 c INPROCESSING 1400.19/1404.57 c GARBAGE COLLECT 1400.19/1404.57 c rational objective 52 1588.32/1593.13 c #Conflicts: 925000 | #Constraints: 52603 1588.32/1593.13 c #Conflicts: 926000 | #Constraints: 53603 1588.32/1593.13 c #Conflicts: 927000 | #Constraints: 54603 1588.32/1593.13 c #Conflicts: 928000 | #Constraints: 55603 1588.32/1593.13 c #Conflicts: 929000 | #Constraints: 56604 1588.32/1593.13 c #Conflicts: 930000 | #Constraints: 57604 1588.32/1593.13 c #Conflicts: 931000 | #Constraints: 58604 1588.32/1593.13 c #Conflicts: 932000 | #Constraints: 59604 1588.32/1593.13 c #Conflicts: 933000 | #Constraints: 60604 1588.32/1593.13 c #Conflicts: 934000 | #Constraints: 61604 1588.32/1593.13 c #Conflicts: 935000 | #Constraints: 62604 1588.32/1593.13 c #Conflicts: 936000 | #Constraints: 63604 1588.32/1593.13 c #Conflicts: 937000 | #Constraints: 64605 1588.32/1593.13 c #Conflicts: 938000 | #Constraints: 65605 1588.32/1593.13 c #Conflicts: 939000 | #Constraints: 66605 1588.32/1593.13 c #Conflicts: 940000 | #Constraints: 67605 1588.32/1593.13 c #Conflicts: 941000 | #Constraints: 68605 1588.32/1593.13 c #Conflicts: 942000 | #Constraints: 69605 1588.32/1593.13 c #Conflicts: 943000 | #Constraints: 70605 1588.32/1593.13 c #Conflicts: 944000 | #Constraints: 71605 1588.32/1593.13 c #Conflicts: 945000 | #Constraints: 72605 1588.32/1593.13 c #Conflicts: 946000 | #Constraints: 73605 1588.32/1593.13 c INPROCESSING 1588.32/1593.13 c GARBAGE COLLECT 1588.32/1593.13 c rational objective 52 1612.94/1617.88 c #Conflicts: 947000 | #Constraints: 38134 1612.94/1617.88 c #Conflicts: 948000 | #Constraints: 39173 1612.94/1617.88 c #Conflicts: 949000 | #Constraints: 40211 1612.94/1617.88 c #Conflicts: 950000 | #Constraints: 41253 1612.94/1617.88 c #Conflicts: 951000 | #Constraints: 42283 1612.94/1617.88 c #Conflicts: 952000 | #Constraints: 43311 1612.94/1617.88 c #Conflicts: 953000 | #Constraints: 44335 1612.94/1617.88 c #Conflicts: 954000 | #Constraints: 45358 1612.94/1617.88 c #Conflicts: 955000 | #Constraints: 46383 1612.94/1617.88 c #Conflicts: 956000 | #Constraints: 47401 1612.94/1617.88 c #Conflicts: 957000 | #Constraints: 48427 1612.94/1617.88 c #Conflicts: 958000 | #Constraints: 49456 1612.94/1617.88 c #Conflicts: 959000 | #Constraints: 50476 1612.94/1617.88 c #Conflicts: 960000 | #Constraints: 51495 1612.94/1617.88 c #Conflicts: 961000 | #Constraints: 52523 1612.94/1617.88 c #Conflicts: 962000 | #Constraints: 53556 1612.94/1617.88 c #Conflicts: 963000 | #Constraints: 54589 1612.94/1617.88 c #Conflicts: 964000 | #Constraints: 55616 1612.94/1617.88 c #Conflicts: 965000 | #Constraints: 56641 1612.94/1617.88 c #Conflicts: 966000 | #Constraints: 57668 1612.94/1617.88 c #Conflicts: 967000 | #Constraints: 58697 1612.94/1617.88 c #Conflicts: 968000 | #Constraints: 59729 1612.94/1617.88 c INPROCESSING 1612.94/1617.88 c GARBAGE COLLECT 1612.94/1617.88 c rational objective 52 1730.15/1735.38 c #Conflicts: 969000 | #Constraints: 32720 1730.15/1735.38 c #Conflicts: 970000 | #Constraints: 33766 1730.15/1735.38 c #Conflicts: 971000 | #Constraints: 34802 1730.15/1735.38 c #Conflicts: 972000 | #Constraints: 35846 1730.15/1735.38 c #Conflicts: 973000 | #Constraints: 36885 1730.15/1735.38 c #Conflicts: 974000 | #Constraints: 37929 1730.15/1735.38 c #Conflicts: 975000 | #Constraints: 38967 1730.15/1735.38 c #Conflicts: 976000 | #Constraints: 40008 1730.15/1735.38 c #Conflicts: 977000 | #Constraints: 41049 1730.15/1735.38 c #Conflicts: 978000 | #Constraints: 42080 1730.15/1735.38 c #Conflicts: 979000 | #Constraints: 43122 1730.15/1735.38 c #Conflicts: 980000 | #Constraints: 44143 1730.15/1735.38 c #Conflicts: 981000 | #Constraints: 45173 1730.15/1735.38 c #Conflicts: 982000 | #Constraints: 46200 1730.15/1735.38 c #Conflicts: 983000 | #Constraints: 47223 1730.15/1735.38 c #Conflicts: 984000 | #Constraints: 48260 1730.15/1735.38 c #Conflicts: 985000 | #Constraints: 49287 1730.15/1735.38 c #Conflicts: 986000 | #Constraints: 50315 1730.15/1735.38 c #Conflicts: 987000 | #Constraints: 51340 1730.15/1735.38 c #Conflicts: 988000 | #Constraints: 52370 1730.15/1735.38 c #Conflicts: 989000 | #Constraints: 53390 1730.15/1735.38 c #Conflicts: 990000 | #Constraints: 54419 1730.15/1735.38 c #Conflicts: 991000 | #Constraints: 55445 1730.15/1735.38 c #Conflicts: 992000 | #Constraints: 56467 1730.15/1735.38 c #Conflicts: 993000 | #Constraints: 57490 1730.15/1735.38 c #Conflicts: 994000 | #Constraints: 58512 1730.15/1735.38 c #Conflicts: 995000 | #Constraints: 59545 1730.15/1735.38 c #Conflicts: 996000 | #Constraints: 60591 1730.15/1735.38 c #Conflicts: 997000 | #Constraints: 61616 1730.15/1735.38 c #Conflicts: 998000 | #Constraints: 62650 1730.15/1735.38 c #Conflicts: 999000 | #Constraints: 63679 1730.15/1735.38 c #Conflicts: 1000000 | #Constraints: 64710 1730.15/1735.38 c #Conflicts: 1001000 | #Constraints: 65746 1730.15/1735.38 c #Conflicts: 1002000 | #Constraints: 66778 1730.15/1735.38 c #Conflicts: 1003000 | #Constraints: 67798 1730.15/1735.38 c #Conflicts: 1004000 | #Constraints: 68820 1730.15/1735.38 c #Conflicts: 1005000 | #Constraints: 69838 1730.15/1735.38 c #Conflicts: 1006000 | #Constraints: 70849 1730.15/1735.38 c #Conflicts: 1007000 | #Constraints: 71881 1730.15/1735.38 c #Conflicts: 1008000 | #Constraints: 72914 1730.15/1735.38 c #Conflicts: 1009000 | #Constraints: 73933 1730.15/1735.38 c #Conflicts: 1010000 | #Constraints: 74955 1730.15/1735.38 c #Conflicts: 1011000 | #Constraints: 75975 1730.15/1735.38 c #Conflicts: 1012000 | #Constraints: 77002 1730.15/1735.38 c #Conflicts: 1013000 | #Constraints: 78035 1730.15/1735.38 c #Conflicts: 1014000 | #Constraints: 79059 1730.15/1735.38 c #Conflicts: 1015000 | #Constraints: 80085 1730.15/1735.38 c #Conflicts: 1016000 | #Constraints: 81105 1730.15/1735.38 c #Conflicts: 1017000 | #Constraints: 82117 1730.15/1735.38 c #Conflicts: 1018000 | #Constraints: 83151 1730.15/1735.38 c #Conflicts: 1019000 | #Constraints: 84181 1730.15/1735.38 c #Conflicts: 1020000 | #Constraints: 85213 1730.15/1735.38 c #Conflicts: 1021000 | #Constraints: 86247 1730.15/1735.38 c #Conflicts: 1022000 | #Constraints: 87285 1730.15/1735.38 c #Conflicts: 1023000 | #Constraints: 88310 1730.15/1735.38 c #Conflicts: 1024000 | #Constraints: 89341 1730.15/1735.38 c #Conflicts: 1025000 | #Constraints: 90362 1730.15/1735.38 c #Conflicts: 1026000 | #Constraints: 91397 1730.15/1735.38 c #Conflicts: 1027000 | #Constraints: 92429 1730.15/1735.38 c #Conflicts: 1028000 | #Constraints: 93458 1730.15/1735.38 c #Conflicts: 1029000 | #Constraints: 94482 1730.15/1735.38 c #Conflicts: 1030000 | #Constraints: 95515 1730.15/1735.38 c #Conflicts: 1031000 | #Constraints: 96532 1730.15/1735.38 c #Conflicts: 1032000 | #Constraints: 97559 1730.15/1735.38 c #Conflicts: 1033000 | #Constraints: 98585 1730.15/1735.38 c #Conflicts: 1034000 | #Constraints: 99605 1730.15/1735.38 c #Conflicts: 1035000 | #Constraints: 100630 1730.15/1735.38 c #Conflicts: 1036000 | #Constraints: 101663 1730.15/1735.38 c #Conflicts: 1037000 | #Constraints: 102700 1730.15/1735.38 c #Conflicts: 1038000 | #Constraints: 103729 1730.15/1735.38 c #Conflicts: 1039000 | #Constraints: 104753 1730.15/1735.38 c #Conflicts: 1040000 | #Constraints: 105778 1730.15/1735.38 c #Conflicts: 1041000 | #Constraints: 106800 1730.15/1735.38 c #Conflicts: 1042000 | #Constraints: 107832 1730.15/1735.38 c #Conflicts: 1043000 | #Constraints: 108856 1730.15/1735.38 c #Conflicts: 1044000 | #Constraints: 109888 1730.15/1735.38 c INPROCESSING 1730.15/1735.38 c GARBAGE COLLECT 1730.15/1735.38 c rational objective 52 1975.60/1981.47 c #Conflicts: 1045000 | #Constraints: 56181 1975.60/1981.47 c #Conflicts: 1046000 | #Constraints: 57181 1975.60/1981.47 c #Conflicts: 1047000 | #Constraints: 58181 1975.60/1981.47 c #Conflicts: 1048000 | #Constraints: 59182 1975.60/1981.47 c #Conflicts: 1049000 | #Constraints: 60182 1975.60/1981.47 c #Conflicts: 1050000 | #Constraints: 61182 1975.60/1981.47 c #Conflicts: 1051000 | #Constraints: 62182 1975.60/1981.47 c #Conflicts: 1052000 | #Constraints: 63182 1975.60/1981.47 c #Conflicts: 1053000 | #Constraints: 64183 1975.60/1981.47 c #Conflicts: 1054000 | #Constraints: 65183 1975.60/1981.47 c #Conflicts: 1055000 | #Constraints: 66183 1975.60/1981.47 c #Conflicts: 1056000 | #Constraints: 67183 1975.60/1981.47 c #Conflicts: 1057000 | #Constraints: 68183 1975.60/1981.47 c #Conflicts: 1058000 | #Constraints: 69183 1975.60/1981.47 c #Conflicts: 1059000 | #Constraints: 70183 1975.60/1981.47 c #Conflicts: 1060000 | #Constraints: 71183 1975.60/1981.47 c #Conflicts: 1061000 | #Constraints: 72183 1975.60/1981.47 c #Conflicts: 1062000 | #Constraints: 73183 1975.60/1981.47 c #Conflicts: 1063000 | #Constraints: 74185 1975.60/1981.47 c #Conflicts: 1064000 | #Constraints: 75185 1975.60/1981.47 c #Conflicts: 1065000 | #Constraints: 76185 1975.60/1981.47 c #Conflicts: 1066000 | #Constraints: 77185 1975.60/1981.47 c #Conflicts: 1067000 | #Constraints: 78185 1975.60/1981.47 c #Conflicts: 1068000 | #Constraints: 79185 1975.60/1981.47 c INPROCESSING 1975.60/1981.47 c GARBAGE COLLECT 1975.60/1981.47 c rational objective 52 2004.32/2010.27 c #Conflicts: 1069000 | #Constraints: 41042 2004.32/2010.27 c #Conflicts: 1070000 | #Constraints: 42057 2004.32/2010.27 c #Conflicts: 1071000 | #Constraints: 43089 2004.32/2010.27 c #Conflicts: 1072000 | #Constraints: 44125 2004.32/2010.27 c #Conflicts: 1073000 | #Constraints: 45156 2004.32/2010.27 c #Conflicts: 1074000 | #Constraints: 46186 2004.32/2010.27 c #Conflicts: 1075000 | #Constraints: 47206 2004.32/2010.27 c #Conflicts: 1076000 | #Constraints: 48221 2004.32/2010.27 c #Conflicts: 1077000 | #Constraints: 49251 2004.32/2010.27 c #Conflicts: 1078000 | #Constraints: 50282 2004.32/2010.27 c #Conflicts: 1079000 | #Constraints: 51310 2004.32/2010.27 c #Conflicts: 1080000 | #Constraints: 52338 2004.32/2010.27 c #Conflicts: 1081000 | #Constraints: 53369 2004.32/2010.27 c #Conflicts: 1082000 | #Constraints: 54393 2004.32/2010.27 c #Conflicts: 1083000 | #Constraints: 55413 2004.32/2010.27 c #Conflicts: 1084000 | #Constraints: 56436 2004.32/2010.27 c #Conflicts: 1085000 | #Constraints: 57454 2004.32/2010.27 c #Conflicts: 1086000 | #Constraints: 58472 2004.32/2010.27 c #Conflicts: 1087000 | #Constraints: 59496 2004.32/2010.27 c #Conflicts: 1088000 | #Constraints: 60511 2004.32/2010.27 c #Conflicts: 1089000 | #Constraints: 61531 2004.32/2010.27 c #Conflicts: 1090000 | #Constraints: 62552 2004.32/2010.27 c #Conflicts: 1091000 | #Constraints: 63571 2004.32/2010.27 c INPROCESSING 2004.32/2010.27 c GARBAGE COLLECT 2004.32/2010.27 c rational objective 52 2159.74/2166.05 c #Conflicts: 1092000 | #Constraints: 35391 2159.74/2166.05 c #Conflicts: 1093000 | #Constraints: 36420 2159.74/2166.05 c #Conflicts: 1094000 | #Constraints: 37470 2159.74/2166.05 c #Conflicts: 1095000 | #Constraints: 38509 2159.74/2166.05 c #Conflicts: 1096000 | #Constraints: 39550 2159.74/2166.05 c #Conflicts: 1097000 | #Constraints: 40584 2159.74/2166.05 c #Conflicts: 1098000 | #Constraints: 41616 2159.74/2166.05 c #Conflicts: 1099000 | #Constraints: 42647 2159.74/2166.05 c #Conflicts: 1100000 | #Constraints: 43682 2159.74/2166.05 c #Conflicts: 1101000 | #Constraints: 44714 2159.74/2166.05 c #Conflicts: 1102000 | #Constraints: 45741 2159.74/2166.05 c #Conflicts: 1103000 | #Constraints: 46770 2159.74/2166.05 c #Conflicts: 1104000 | #Constraints: 47806 2159.74/2166.05 c #Conflicts: 1105000 | #Constraints: 48837 2159.74/2166.05 c #Conflicts: 1106000 | #Constraints: 49873 2159.74/2166.05 c #Conflicts: 1107000 | #Constraints: 50907 2159.74/2166.05 c #Conflicts: 1108000 | #Constraints: 51946 2159.74/2166.05 c #Conflicts: 1109000 | #Constraints: 52969 2159.74/2166.05 c #Conflicts: 1110000 | #Constraints: 54002 2159.74/2166.05 c #Conflicts: 1111000 | #Constraints: 55033 2159.74/2166.05 c #Conflicts: 1112000 | #Constraints: 56061 2159.74/2166.05 c #Conflicts: 1113000 | #Constraints: 57088 2159.74/2166.05 c #Conflicts: 1114000 | #Constraints: 58112 2159.74/2166.05 c #Conflicts: 1115000 | #Constraints: 59137 2159.74/2166.05 c #Conflicts: 1116000 | #Constraints: 60171 2159.74/2166.05 c #Conflicts: 1117000 | #Constraints: 61198 2159.74/2166.05 c #Conflicts: 1118000 | #Constraints: 62224 2159.74/2166.05 c #Conflicts: 1119000 | #Constraints: 63250 2159.74/2166.05 c #Conflicts: 1120000 | #Constraints: 64274 2159.74/2166.05 c #Conflicts: 1121000 | #Constraints: 65300 2159.74/2166.05 c #Conflicts: 1122000 | #Constraints: 66323 2159.74/2166.05 c #Conflicts: 1123000 | #Constraints: 67350 2159.74/2166.05 c #Conflicts: 1124000 | #Constraints: 68378 2159.74/2166.05 c #Conflicts: 1125000 | #Constraints: 69397 2159.74/2166.05 c #Conflicts: 1126000 | #Constraints: 70415 2159.74/2166.05 c #Conflicts: 1127000 | #Constraints: 71433 2159.74/2166.05 c #Conflicts: 1128000 | #Constraints: 72457 2159.74/2166.05 c #Conflicts: 1129000 | #Constraints: 73479 2159.74/2166.05 c #Conflicts: 1130000 | #Constraints: 74507 2159.74/2166.05 c #Conflicts: 1131000 | #Constraints: 75539 2159.74/2166.05 c #Conflicts: 1132000 | #Constraints: 76562 2159.74/2166.05 c #Conflicts: 1133000 | #Constraints: 77583 2159.74/2166.05 c #Conflicts: 1134000 | #Constraints: 78606 2159.74/2166.05 c #Conflicts: 1135000 | #Constraints: 79633 2159.74/2166.05 c #Conflicts: 1136000 | #Constraints: 80650 2159.74/2166.05 c #Conflicts: 1137000 | #Constraints: 81675 2159.74/2166.05 c #Conflicts: 1138000 | #Constraints: 82700 2159.74/2166.05 c #Conflicts: 1139000 | #Constraints: 83726 2159.74/2166.05 c #Conflicts: 1140000 | #Constraints: 84747 2159.74/2166.05 c #Conflicts: 1141000 | #Constraints: 85772 2159.74/2166.05 c #Conflicts: 1142000 | #Constraints: 86805 2159.74/2166.05 c #Conflicts: 1143000 | #Constraints: 87834 2159.74/2166.05 c #Conflicts: 1144000 | #Constraints: 88866 2159.74/2166.05 c #Conflicts: 1145000 | #Constraints: 89897 2159.74/2166.05 c #Conflicts: 1146000 | #Constraints: 90921 2159.74/2166.05 c #Conflicts: 1147000 | #Constraints: 91946 2159.74/2166.05 c #Conflicts: 1148000 | #Constraints: 92964 2159.74/2166.05 c #Conflicts: 1149000 | #Constraints: 93980 2159.74/2166.05 c #Conflicts: 1150000 | #Constraints: 95002 2159.74/2166.05 c #Conflicts: 1151000 | #Constraints: 96019 2159.74/2166.05 c #Conflicts: 1152000 | #Constraints: 97038 2159.74/2166.05 c #Conflicts: 1153000 | #Constraints: 98063 2159.74/2166.05 c #Conflicts: 1154000 | #Constraints: 99089 2159.74/2166.05 c #Conflicts: 1155000 | #Constraints: 100110 2159.74/2166.05 c #Conflicts: 1156000 | #Constraints: 101135 2159.74/2166.05 c #Conflicts: 1157000 | #Constraints: 102164 2159.74/2166.05 c #Conflicts: 1158000 | #Constraints: 103190 2159.74/2166.05 c #Conflicts: 1159000 | #Constraints: 104212 2159.74/2166.05 c #Conflicts: 1160000 | #Constraints: 105227 2159.74/2166.05 c #Conflicts: 1161000 | #Constraints: 106251 2159.74/2166.05 c #Conflicts: 1162000 | #Constraints: 107281 2159.74/2166.05 c #Conflicts: 1163000 | #Constraints: 108306 2159.74/2166.05 c #Conflicts: 1164000 | #Constraints: 109335 2159.74/2166.05 c #Conflicts: 1165000 | #Constraints: 110361 2159.74/2166.05 c #Conflicts: 1166000 | #Constraints: 111384 2159.74/2166.05 c #Conflicts: 1167000 | #Constraints: 112409 2159.74/2166.05 c #Conflicts: 1168000 | #Constraints: 113437 2159.74/2166.05 c #Conflicts: 1169000 | #Constraints: 114455 2159.74/2166.05 c #Conflicts: 1170000 | #Constraints: 115484 2165.01/2171.32 c #Conflicts: 1171000 | #Constraints: 116509 2165.01/2171.32 c INPROCESSING 2165.01/2171.32 c GARBAGE COLLECT 2165.01/2171.32 c rational objective 52 2475.80/2482.96 c #Conflicts: 1172000 | #Constraints: 59253 2475.80/2482.96 c #Conflicts: 1173000 | #Constraints: 60253 2475.80/2482.96 c #Conflicts: 1174000 | #Constraints: 61253 2475.80/2482.96 c #Conflicts: 1175000 | #Constraints: 62253 2475.80/2482.96 c #Conflicts: 1176000 | #Constraints: 63253 2475.80/2482.96 c #Conflicts: 1177000 | #Constraints: 64253 2475.80/2482.96 c #Conflicts: 1178000 | #Constraints: 65253 2475.80/2482.96 c #Conflicts: 1179000 | #Constraints: 66253 2475.80/2482.96 c #Conflicts: 1180000 | #Constraints: 67253 2475.80/2482.96 c #Conflicts: 1181000 | #Constraints: 68253 2475.80/2482.96 c #Conflicts: 1182000 | #Constraints: 69253 2475.80/2482.96 c #Conflicts: 1183000 | #Constraints: 70254 2475.80/2482.96 c #Conflicts: 1184000 | #Constraints: 71255 2475.80/2482.96 c #Conflicts: 1185000 | #Constraints: 72255 2475.80/2482.96 c #Conflicts: 1186000 | #Constraints: 73255 2475.80/2482.96 c #Conflicts: 1187000 | #Constraints: 74255 2475.80/2482.96 c #Conflicts: 1188000 | #Constraints: 75255 2475.80/2482.96 c #Conflicts: 1189000 | #Constraints: 76255 2475.80/2482.96 c #Conflicts: 1190000 | #Constraints: 77255 2475.80/2482.96 c #Conflicts: 1191000 | #Constraints: 78255 2475.80/2482.96 c #Conflicts: 1192000 | #Constraints: 79255 2475.80/2482.96 c #Conflicts: 1193000 | #Constraints: 80255 2475.80/2482.96 c #Conflicts: 1194000 | #Constraints: 81255 2475.80/2482.96 c #Conflicts: 1195000 | #Constraints: 82255 2475.80/2482.96 c #Conflicts: 1196000 | #Constraints: 83255 2475.80/2482.96 c #Conflicts: 1197000 | #Constraints: 84255 2475.80/2482.96 c INPROCESSING 2475.80/2482.96 c GARBAGE COLLECT 2475.80/2482.96 c rational objective 52 2511.40/2518.68 c #Conflicts: 1198000 | #Constraints: 43594 2511.40/2518.68 c #Conflicts: 1199000 | #Constraints: 44629 2511.40/2518.68 c #Conflicts: 1200000 | #Constraints: 45661 2511.40/2518.68 c #Conflicts: 1201000 | #Constraints: 46695 2511.40/2518.68 c #Conflicts: 1202000 | #Constraints: 47726 2511.40/2518.68 c #Conflicts: 1203000 | #Constraints: 48755 2511.40/2518.68 c #Conflicts: 1204000 | #Constraints: 49787 2511.40/2518.68 c #Conflicts: 1205000 | #Constraints: 50811 2511.40/2518.68 c #Conflicts: 1206000 | #Constraints: 51846 2511.40/2518.68 c #Conflicts: 1207000 | #Constraints: 52883 2511.40/2518.68 c #Conflicts: 1208000 | #Constraints: 53920 2511.40/2518.68 c #Conflicts: 1209000 | #Constraints: 54961 2511.40/2518.68 c #Conflicts: 1210000 | #Constraints: 55998 2511.40/2518.68 c #Conflicts: 1211000 | #Constraints: 57028 2511.40/2518.68 c #Conflicts: 1212000 | #Constraints: 58060 2511.40/2518.68 c #Conflicts: 1213000 | #Constraints: 59092 2511.40/2518.68 c #Conflicts: 1214000 | #Constraints: 60124 2511.40/2518.68 c #Conflicts: 1215000 | #Constraints: 61155 2511.40/2518.68 c #Conflicts: 1216000 | #Constraints: 62179 2511.40/2518.68 c #Conflicts: 1217000 | #Constraints: 63204 2511.40/2518.68 c #Conflicts: 1218000 | #Constraints: 64239 2511.40/2518.68 c #Conflicts: 1219000 | #Constraints: 65276 2511.40/2518.68 c #Conflicts: 1220000 | #Constraints: 66308 2511.40/2518.68 c #Conflicts: 1221000 | #Constraints: 67338 2511.40/2518.68 c #Conflicts: 1222000 | #Constraints: 68358 2511.40/2518.68 c INPROCESSING 2511.40/2518.68 c GARBAGE COLLECT 2511.40/2518.68 c rational objective 52 2676.89/2684.52 c #Conflicts: 1223000 | #Constraints: 39159 2676.89/2684.52 c #Conflicts: 1224000 | #Constraints: 40194 2676.89/2684.52 c #Conflicts: 1225000 | #Constraints: 41243 2676.89/2684.52 c #Conflicts: 1226000 | #Constraints: 42274 2676.89/2684.52 c #Conflicts: 1227000 | #Constraints: 43311 2676.89/2684.52 c #Conflicts: 1228000 | #Constraints: 44347 2676.89/2684.52 c #Conflicts: 1229000 | #Constraints: 45378 2676.89/2684.52 c #Conflicts: 1230000 | #Constraints: 46407 2676.89/2684.52 c #Conflicts: 1231000 | #Constraints: 47449 2676.89/2684.52 c #Conflicts: 1232000 | #Constraints: 48487 2676.89/2684.52 c #Conflicts: 1233000 | #Constraints: 49523 2676.89/2684.52 c #Conflicts: 1234000 | #Constraints: 50559 2676.89/2684.52 c #Conflicts: 1235000 | #Constraints: 51584 2676.89/2684.52 c #Conflicts: 1236000 | #Constraints: 52627 2676.89/2684.52 c #Conflicts: 1237000 | #Constraints: 53664 2676.89/2684.52 c #Conflicts: 1238000 | #Constraints: 54704 2676.89/2684.52 c #Conflicts: 1239000 | #Constraints: 55738 2676.89/2684.52 c #Conflicts: 1240000 | #Constraints: 56762 2676.89/2684.52 c #Conflicts: 1241000 | #Constraints: 57792 2676.89/2684.52 c #Conflicts: 1242000 | #Constraints: 58816 2676.89/2684.52 c #Conflicts: 1243000 | #Constraints: 59836 2676.89/2684.52 c #Conflicts: 1244000 | #Constraints: 60869 2676.89/2684.52 c #Conflicts: 1245000 | #Constraints: 61903 2676.89/2684.52 c #Conflicts: 1246000 | #Constraints: 62928 2676.89/2684.52 c #Conflicts: 1247000 | #Constraints: 63964 2676.89/2684.52 c #Conflicts: 1248000 | #Constraints: 64990 2676.89/2684.52 c #Conflicts: 1249000 | #Constraints: 66028 2676.89/2684.52 c #Conflicts: 1250000 | #Constraints: 67047 2676.89/2684.52 c #Conflicts: 1251000 | #Constraints: 68073 2676.89/2684.52 c #Conflicts: 1252000 | #Constraints: 69106 2676.89/2684.52 c #Conflicts: 1253000 | #Constraints: 70134 2676.89/2684.52 c #Conflicts: 1254000 | #Constraints: 71156 2676.89/2684.52 c #Conflicts: 1255000 | #Constraints: 72182 2676.89/2684.52 c #Conflicts: 1256000 | #Constraints: 73215 2676.89/2684.52 c #Conflicts: 1257000 | #Constraints: 74246 2676.89/2684.52 c #Conflicts: 1258000 | #Constraints: 75264 2676.89/2684.52 c #Conflicts: 1259000 | #Constraints: 76284 2676.89/2684.52 c #Conflicts: 1260000 | #Constraints: 77309 2676.89/2684.52 c #Conflicts: 1261000 | #Constraints: 78330 2676.89/2684.52 c #Conflicts: 1262000 | #Constraints: 79352 2676.89/2684.52 c #Conflicts: 1263000 | #Constraints: 80377 2676.89/2684.52 c #Conflicts: 1264000 | #Constraints: 81406 2676.89/2684.52 c #Conflicts: 1265000 | #Constraints: 82431 2676.89/2684.52 c #Conflicts: 1266000 | #Constraints: 83463 2676.89/2684.52 c #Conflicts: 1267000 | #Constraints: 84493 2676.89/2684.52 c #Conflicts: 1268000 | #Constraints: 85521 2676.89/2684.52 c #Conflicts: 1269000 | #Constraints: 86554 2676.89/2684.52 c #Conflicts: 1270000 | #Constraints: 87582 2676.89/2684.52 c #Conflicts: 1271000 | #Constraints: 88608 2676.89/2684.52 c #Conflicts: 1272000 | #Constraints: 89638 2676.89/2684.52 c #Conflicts: 1273000 | #Constraints: 90673 2676.89/2684.52 c #Conflicts: 1274000 | #Constraints: 91700 2676.89/2684.52 c #Conflicts: 1275000 | #Constraints: 92726 2676.89/2684.52 c #Conflicts: 1276000 | #Constraints: 93748 2676.89/2684.52 c #Conflicts: 1277000 | #Constraints: 94776 2676.89/2684.52 c #Conflicts: 1278000 | #Constraints: 95803 2676.89/2684.52 c #Conflicts: 1279000 | #Constraints: 96824 2676.89/2684.52 c #Conflicts: 1280000 | #Constraints: 97840 2676.89/2684.52 c #Conflicts: 1281000 | #Constraints: 98869 2676.89/2684.52 c #Conflicts: 1282000 | #Constraints: 99903 2676.89/2684.52 c #Conflicts: 1283000 | #Constraints: 100931 2676.89/2684.52 c #Conflicts: 1284000 | #Constraints: 101948 2676.89/2684.52 c #Conflicts: 1285000 | #Constraints: 102969 2676.89/2684.52 c #Conflicts: 1286000 | #Constraints: 103993 2676.89/2684.52 c #Conflicts: 1287000 | #Constraints: 105014 2676.89/2684.52 c #Conflicts: 1288000 | #Constraints: 106035 2676.89/2684.52 c #Conflicts: 1289000 | #Constraints: 107065 2676.89/2684.52 c #Conflicts: 1290000 | #Constraints: 108098 2676.89/2684.52 c #Conflicts: 1291000 | #Constraints: 109130 2676.89/2684.52 c #Conflicts: 1292000 | #Constraints: 110165 2676.89/2684.52 c #Conflicts: 1293000 | #Constraints: 111195 2676.89/2684.52 c #Conflicts: 1294000 | #Constraints: 112220 2676.89/2684.52 c #Conflicts: 1295000 | #Constraints: 113240 2676.89/2684.52 c #Conflicts: 1296000 | #Constraints: 114259 2676.89/2684.52 c #Conflicts: 1297000 | #Constraints: 115287 2676.89/2684.52 c #Conflicts: 1298000 | #Constraints: 116307 2676.89/2684.52 c #Conflicts: 1299000 | #Constraints: 117326 2676.89/2684.52 c #Conflicts: 1300000 | #Constraints: 118349 2676.89/2684.52 c #Conflicts: 1301000 | #Constraints: 119375 2695.35/2703.05 c #Conflicts: 1302000 | #Constraints: 120404 2695.35/2703.05 c #Conflicts: 1303000 | #Constraints: 121425 2695.35/2703.05 c #Conflicts: 1304000 | #Constraints: 122441 2695.35/2703.05 c #Conflicts: 1305000 | #Constraints: 123470 2695.35/2703.05 c #Conflicts: 1306000 | #Constraints: 124487 2695.35/2703.05 c INPROCESSING 2695.35/2703.05 c GARBAGE COLLECT 2695.35/2703.05 c rational objective 52 3069.18/3078.02 c #Conflicts: 1307000 | #Constraints: 63382 3069.18/3078.02 c #Conflicts: 1308000 | #Constraints: 64383 3069.18/3078.02 c #Conflicts: 1309000 | #Constraints: 65383 3069.18/3078.02 c #Conflicts: 1310000 | #Constraints: 66383 3069.18/3078.02 c #Conflicts: 1311000 | #Constraints: 67383 3069.18/3078.02 c #Conflicts: 1312000 | #Constraints: 68383 3069.18/3078.02 c #Conflicts: 1313000 | #Constraints: 69383 3069.18/3078.02 c #Conflicts: 1314000 | #Constraints: 70384 3069.18/3078.02 c #Conflicts: 1315000 | #Constraints: 71384 3069.18/3078.02 c #Conflicts: 1316000 | #Constraints: 72384 3069.18/3078.02 c #Conflicts: 1317000 | #Constraints: 73385 3069.18/3078.02 c #Conflicts: 1318000 | #Constraints: 74385 3069.18/3078.02 c #Conflicts: 1319000 | #Constraints: 75385 3069.18/3078.02 c #Conflicts: 1320000 | #Constraints: 76385 3069.18/3078.02 c #Conflicts: 1321000 | #Constraints: 77385 3069.18/3078.02 c #Conflicts: 1322000 | #Constraints: 78385 3069.18/3078.02 c #Conflicts: 1323000 | #Constraints: 79385 3069.18/3078.02 c #Conflicts: 1324000 | #Constraints: 80385 3069.18/3078.02 c #Conflicts: 1325000 | #Constraints: 81385 3069.18/3078.02 c #Conflicts: 1326000 | #Constraints: 82385 3069.18/3078.02 c #Conflicts: 1327000 | #Constraints: 83385 3069.18/3078.02 c #Conflicts: 1328000 | #Constraints: 84385 3069.18/3078.02 c #Conflicts: 1329000 | #Constraints: 85385 3069.18/3078.02 c #Conflicts: 1330000 | #Constraints: 86385 3069.18/3078.02 c #Conflicts: 1331000 | #Constraints: 87385 3069.18/3078.02 c #Conflicts: 1332000 | #Constraints: 88386 3069.18/3078.02 c #Conflicts: 1333000 | #Constraints: 89386 3069.18/3078.02 c INPROCESSING 3069.18/3078.02 c GARBAGE COLLECT 3069.18/3078.02 c rational objective 52 3123.60/3132.66 c #Conflicts: 1334000 | #Constraints: 46036 3123.60/3132.66 c #Conflicts: 1335000 | #Constraints: 47084 3123.60/3132.66 c #Conflicts: 1336000 | #Constraints: 48118 3123.60/3132.66 c #Conflicts: 1337000 | #Constraints: 49151 3123.60/3132.66 c #Conflicts: 1338000 | #Constraints: 50193 3123.60/3132.66 c #Conflicts: 1339000 | #Constraints: 51230 3123.60/3132.66 c #Conflicts: 1340000 | #Constraints: 52249 3123.60/3132.66 c #Conflicts: 1341000 | #Constraints: 53270 3123.60/3132.66 c #Conflicts: 1342000 | #Constraints: 54294 3123.60/3132.66 c #Conflicts: 1343000 | #Constraints: 55315 3123.60/3132.66 c #Conflicts: 1344000 | #Constraints: 56347 3123.60/3132.66 c #Conflicts: 1345000 | #Constraints: 57379 3123.60/3132.66 c #Conflicts: 1346000 | #Constraints: 58409 3123.60/3132.66 c #Conflicts: 1347000 | #Constraints: 59444 3123.60/3132.66 c #Conflicts: 1348000 | #Constraints: 60479 3123.60/3132.66 c #Conflicts: 1349000 | #Constraints: 61503 3123.60/3132.66 c #Conflicts: 1350000 | #Constraints: 62533 3123.60/3132.66 c #Conflicts: 1351000 | #Constraints: 63560 3123.60/3132.66 c #Conflicts: 1352000 | #Constraints: 64594 3123.60/3132.66 c #Conflicts: 1353000 | #Constraints: 65625 3123.60/3132.66 c #Conflicts: 1354000 | #Constraints: 66651 3123.60/3132.66 c #Conflicts: 1355000 | #Constraints: 67675 3123.60/3132.66 c #Conflicts: 1356000 | #Constraints: 68709 3123.60/3132.66 c #Conflicts: 1357000 | #Constraints: 69730 3123.60/3132.66 c #Conflicts: 1358000 | #Constraints: 70756 3123.60/3132.66 c #Conflicts: 1359000 | #Constraints: 71786 3123.60/3132.66 c #Conflicts: 1360000 | #Constraints: 72811 3123.60/3132.66 c INPROCESSING 3123.60/3132.66 c GARBAGE COLLECT 3123.60/3132.66 c rational objective 52 3304.23/3313.85 c #Conflicts: 1361000 | #Constraints: 42561 3304.23/3313.85 c #Conflicts: 1362000 | #Constraints: 43597 3304.23/3313.85 c #Conflicts: 1363000 | #Constraints: 44634 3304.23/3313.85 c #Conflicts: 1364000 | #Constraints: 45670 3304.23/3313.85 c #Conflicts: 1365000 | #Constraints: 46717 3304.23/3313.85 c #Conflicts: 1366000 | #Constraints: 47757 3304.23/3313.85 c #Conflicts: 1367000 | #Constraints: 48783 3304.23/3313.85 c #Conflicts: 1368000 | #Constraints: 49810 3304.23/3313.85 c #Conflicts: 1369000 | #Constraints: 50851 3304.23/3313.85 c #Conflicts: 1370000 | #Constraints: 51891 3304.23/3313.85 c #Conflicts: 1371000 | #Constraints: 52918 3304.23/3313.85 c #Conflicts: 1372000 | #Constraints: 53947 3304.23/3313.85 c #Conflicts: 1373000 | #Constraints: 54982 3304.23/3313.85 c #Conflicts: 1374000 | #Constraints: 56013 3304.23/3313.85 c #Conflicts: 1375000 | #Constraints: 57049 3304.23/3313.85 c #Conflicts: 1376000 | #Constraints: 58079 3304.23/3313.85 c #Conflicts: 1377000 | #Constraints: 59119 3304.23/3313.85 c #Conflicts: 1378000 | #Constraints: 60145 3304.23/3313.85 c #Conflicts: 1379000 | #Constraints: 61171 3304.23/3313.85 c #Conflicts: 1380000 | #Constraints: 62199 3304.23/3313.85 c #Conflicts: 1381000 | #Constraints: 63225 3304.23/3313.85 c #Conflicts: 1382000 | #Constraints: 64251 3304.23/3313.85 c #Conflicts: 1383000 | #Constraints: 65283 3304.23/3313.85 c #Conflicts: 1384000 | #Constraints: 66313 3304.23/3313.85 c #Conflicts: 1385000 | #Constraints: 67348 3304.23/3313.85 c #Conflicts: 1386000 | #Constraints: 68377 3304.23/3313.85 c #Conflicts: 1387000 | #Constraints: 69404 3304.23/3313.85 c #Conflicts: 1388000 | #Constraints: 70435 3304.23/3313.85 c #Conflicts: 1389000 | #Constraints: 71465 3304.23/3313.85 c #Conflicts: 1390000 | #Constraints: 72489 3304.23/3313.85 c #Conflicts: 1391000 | #Constraints: 73518 3304.23/3313.85 c #Conflicts: 1392000 | #Constraints: 74555 3304.23/3313.85 c #Conflicts: 1393000 | #Constraints: 75587 3304.23/3313.85 c #Conflicts: 1394000 | #Constraints: 76619 3304.23/3313.85 c #Conflicts: 1395000 | #Constraints: 77653 3304.23/3313.85 c #Conflicts: 1396000 | #Constraints: 78682 3304.23/3313.85 c #Conflicts: 1397000 | #Constraints: 79713 3304.23/3313.85 c #Conflicts: 1398000 | #Constraints: 80744 3304.23/3313.85 c #Conflicts: 1399000 | #Constraints: 81772 3304.23/3313.85 c #Conflicts: 1400000 | #Constraints: 82801 3304.23/3313.85 c #Conflicts: 1401000 | #Constraints: 83828 3304.23/3313.85 c #Conflicts: 1402000 | #Constraints: 84864 3304.23/3313.85 c #Conflicts: 1403000 | #Constraints: 85885 3304.23/3313.85 c #Conflicts: 1404000 | #Constraints: 86908 3304.23/3313.85 c #Conflicts: 1405000 | #Constraints: 87932 3304.23/3313.85 c #Conflicts: 1406000 | #Constraints: 88962 3304.23/3313.85 c #Conflicts: 1407000 | #Constraints: 89983 3304.23/3313.85 c #Conflicts: 1408000 | #Constraints: 91004 3304.23/3313.85 c #Conflicts: 1409000 | #Constraints: 92030 3304.23/3313.85 c #Conflicts: 1410000 | #Constraints: 93060 3304.23/3313.85 c #Conflicts: 1411000 | #Constraints: 94082 3304.23/3313.85 c #Conflicts: 1412000 | #Constraints: 95103 3304.23/3313.85 c #Conflicts: 1413000 | #Constraints: 96119 3304.23/3313.85 c #Conflicts: 1414000 | #Constraints: 97145 3304.23/3313.85 c #Conflicts: 1415000 | #Constraints: 98165 3304.23/3313.85 c #Conflicts: 1416000 | #Constraints: 99188 3304.23/3313.85 c #Conflicts: 1417000 | #Constraints: 100213 3304.23/3313.85 c #Conflicts: 1418000 | #Constraints: 101239 3304.23/3313.85 c #Conflicts: 1419000 | #Constraints: 102262 3304.23/3313.85 c #Conflicts: 1420000 | #Constraints: 103294 3304.23/3313.85 c #Conflicts: 1421000 | #Constraints: 104322 3304.23/3313.85 c #Conflicts: 1422000 | #Constraints: 105351 3304.23/3313.85 c #Conflicts: 1423000 | #Constraints: 106370 3304.23/3313.85 c #Conflicts: 1424000 | #Constraints: 107390 3304.23/3313.85 c #Conflicts: 1425000 | #Constraints: 108420 3304.23/3313.85 c #Conflicts: 1426000 | #Constraints: 109442 3304.23/3313.85 c #Conflicts: 1427000 | #Constraints: 110463 3304.23/3313.85 c #Conflicts: 1428000 | #Constraints: 111485 3304.23/3313.85 c #Conflicts: 1429000 | #Constraints: 112519 3304.23/3313.85 c #Conflicts: 1430000 | #Constraints: 113548 3304.23/3313.85 c #Conflicts: 1431000 | #Constraints: 114569 3304.23/3313.85 c #Conflicts: 1432000 | #Constraints: 115590 3304.23/3313.85 c #Conflicts: 1433000 | #Constraints: 116619 3304.23/3313.85 c #Conflicts: 1434000 | #Constraints: 117638 3304.23/3313.85 c #Conflicts: 1435000 | #Constraints: 118659 3304.23/3313.85 c #Conflicts: 1436000 | #Constraints: 119682 3304.23/3313.85 c #Conflicts: 1437000 | #Constraints: 120713 3304.23/3313.85 c #Conflicts: 1438000 | #Constraints: 121740 3304.23/3313.85 c #Conflicts: 1439000 | #Constraints: 122767 3334.73/3344.48 c #Conflicts: 1440000 | #Constraints: 123798 3334.73/3344.48 c #Conflicts: 1441000 | #Constraints: 124830 3334.73/3344.48 c #Conflicts: 1442000 | #Constraints: 125860 3334.73/3344.48 c #Conflicts: 1443000 | #Constraints: 126891 3334.73/3344.48 c #Conflicts: 1444000 | #Constraints: 127924 3334.73/3344.48 c #Conflicts: 1445000 | #Constraints: 128950 3334.73/3344.48 c #Conflicts: 1446000 | #Constraints: 129980 3334.73/3344.48 c #Conflicts: 1447000 | #Constraints: 131003 3334.73/3344.48 c #Conflicts: 1448000 | #Constraints: 132033 3334.73/3344.48 c INPROCESSING 3334.73/3344.48 c GARBAGE COLLECT 3334.73/3344.48 c rational objective 52 3600.09/3610.60 c 3600.09/3610.60 s SATISFIABLE 3600.09/3610.60 v ~x1 x2 ~x3 ~x4 ~x5 ~x6 x7 ~x8 ~x9 ~x10 x11 ~x12 ~x13 x14 ~x15 ~x16 ~x17 ~x18 x19 x20 ~x21 ~x22 ~x23 x24 ~x25 ~x26 ~x27 ~x28 x29 ~x30 x31 ~x32 ~x33 ~x34 ~x35 ~x36 x37 ~x38 ~x39 ~x40 ~x41 x42 ~x43 ~x44 ~x45 ~x46 ~x47 x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 x55 ~x56 ~x57 ~x58 ~x59 x60 x61 ~x62 ~x63 ~x64 x65 x66 ~x67 x68 ~x69 ~x70 ~x71 ~x72 x73 ~x74 ~x75 ~x76 x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 x94 ~x95 ~x96 x97 ~x98 x99 ~x100 ~x101 ~x102 ~x103 x104 x105 x106 ~x107 ~x108 ~x109 x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 x117 ~x118 ~x119 ~x120 ~x121 ~x122 x123 ~x124 ~x125 ~x126 ~x127 x128 ~x129 x130 ~x131 x132 ~x133 ~x134 ~x135 x136 ~x137 ~x138 ~x139 ~x140 x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 x149 x150 ~x151 ~x152 ~x153 x154 ~x155 ~x156 ~x157 ~x158 x159 ~x160 x161 ~x162 ~x163 ~x164 ~x165 ~x166 x167 ~x168 ~x169 ~x170 ~x171 x172 ~x173 ~x174 ~x175 ~x176 ~x177 x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 x185 ~x186 ~x187 ~x188 ~x189 x190 ~x191 ~x192 ~x193 ~x194 x195 x196 ~x197 x198 ~x199 ~x200 ~x201 ~x202 x203 ~x204 ~x205 ~x206 x207 ~x208 ~x209 ~x210 ~x211 ~x212 x213 ~x214 ~x215 x216 ~x217 ~x218 ~x219 x220 ~x221 ~x222 ~x223 x224 ~x225 3600.09/3610.60 c #Conflicts: 1449000 | #Constraints: 67208 3600.09/3610.60 c #Conflicts: 1450000 | #Constraints: 68208 3600.09/3610.60 c #Conflicts: 1451000 | #Constraints: 69208 3600.09/3610.60 c #Conflicts: 1452000 | #Constraints: 70208 3600.09/3610.60 c #Conflicts: 1453000 | #Constraints: 71208 3600.09/3610.60 c #Conflicts: 1454000 | #Constraints: 72208 3600.09/3610.60 c #Conflicts: 1455000 | #Constraints: 73208 3600.09/3610.60 c #Conflicts: 1456000 | #Constraints: 74208 3600.09/3610.60 c #Conflicts: 1457000 | #Constraints: 75208 3600.09/3610.60 c #Conflicts: 1458000 | #Constraints: 76208 3600.09/3610.60 c #Conflicts: 1459000 | #Constraints: 77208 3600.09/3610.60 c #Conflicts: 1460000 | #Constraints: 78208 3600.09/3610.60 c #Conflicts: 1461000 | #Constraints: 79208 3600.09/3610.60 c #Conflicts: 1462000 | #Constraints: 80208 3600.09/3610.60 c #Conflicts: 1463000 | #Constraints: 81208 3600.09/3610.60 c #Conflicts: 1464000 | #Constraints: 82208 3600.09/3610.60 c #Conflicts: 1465000 | #Constraints: 83208 3600.09/3610.60 c #Conflicts: 1466000 | #Constraints: 84208
OK 54
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: 64059 MiB (63097 MiB free)
memory of node 1: 64510 MiB (62711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429397-1721048324/watcher-4429397-1721048324 -o /tmp/evaluation-result-4429397-1721048324/solver-4429397-1721048324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796637 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429397-1721048324.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=797672, runsolver pid=797669
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128824452/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=37948 memory=8256 CPUtime=0.1 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 491 0 0 0 10 0 0 0 20 0 1 0 156988500 38858752 2064 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 9487 2064 1754 922 0 1439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37948 KiB
Current children cumulated memory: 8256 KiB
[startup+0.213151 s]*
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128820248/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=38412 memory=8624 CPUtime=0.21 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 605 0 0 0 21 0 0 0 20 0 1 0 156988500 39333888 2156 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 9603 2156 1754 922 0 1555 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38412 KiB
Current children cumulated memory: 8624 KiB
[startup+0.312111 s]*
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128818456/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=38796 memory=9408 CPUtime=0.32 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 715 0 0 0 30 2 0 0 20 0 1 0 156988500 39727104 2352 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 9699 2352 1862 922 0 1651 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 38796 KiB
Current children cumulated memory: 9408 KiB
[startup+0.700249 s]
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128810448/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=39664 memory=10992 CPUtime=0.69 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 1099 0 0 0 62 7 0 0 20 0 1 0 156988500 40615936 2748 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 9916 2748 1862 922 0 1868 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39664 KiB
Current children cumulated memory: 10992 KiB
[startup+1.50025 s]
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128767580/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=41520 memory=13716 CPUtime=1.48 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 1771 0 0 0 135 13 0 0 20 0 1 0 156988500 42516480 3429 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 10380 3429 1862 922 0 2332 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41520 KiB
Current children cumulated memory: 13716 KiB
[startup+3.11301 s]
/proc/loadavg: 3.97 4.05 4.07 5/244 797673
/proc/meminfo: memFree=128761316/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=43240 memory=17808 CPUtime=3.09 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 2262 0 0 0 288 21 0 0 20 0 1 0 156988500 44277760 4452 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 10810 4452 1862 922 0 2762 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43240 KiB
Current children cumulated memory: 17808 KiB
[startup+6.30024 s]
/proc/loadavg: 3.98 4.04 4.07 5/244 797673
/proc/meminfo: memFree=128743552/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=44448 memory=18928 CPUtime=6.27 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 2554 0 0 0 591 36 0 0 20 0 1 0 156988500 45514752 4732 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 11112 4732 1862 922 0 3064 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44448 KiB
Current children cumulated memory: 18928 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.06 4.07 5/244 797675
/proc/meminfo: memFree=128722284/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=56136 memory=27032 CPUtime=12.66 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 4080 0 0 0 1204 62 0 0 20 0 1 0 156988500 57483264 6758 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 14034 6758 1862 922 0 5986 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 56136 KiB
Current children cumulated memory: 27032 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.06 4.07 5/244 797676
/proc/meminfo: memFree=128650424/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=69584 memory=38464 CPUtime=25.43 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 6002 0 0 0 2445 98 0 0 20 0 1 0 156988500 71254016 9616 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 17396 9616 1862 922 0 9348 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 69584 KiB
Current children cumulated memory: 38464 KiB
[startup+51.1132 s]
/proc/loadavg: 4.03 4.05 4.07 5/244 797681
/proc/meminfo: memFree=128588368/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=73548 memory=41684 CPUtime=50.98 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 6840 0 0 0 4939 159 0 0 20 0 1 0 156988500 75313152 10421 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 18387 10421 1862 922 0 10339 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 73548 KiB
Current children cumulated memory: 41684 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.07 4.08 5/245 797740
/proc/meminfo: memFree=128188180/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=92216 memory=55404 CPUtime=102.03 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 9013 0 0 0 9948 255 0 0 20 0 1 0 156988500 94429184 13851 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 23054 13851 1862 922 0 15006 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 92216 KiB
Current children cumulated memory: 55404 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.07 5/246 797765
/proc/meminfo: memFree=128132216/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=98424 memory=64584 CPUtime=161.84 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 10442 0 0 0 15845 339 0 0 20 0 1 0 156988500 100786176 16146 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 24606 16146 1862 922 0 16558 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 98424 KiB
Current children cumulated memory: 64584 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797775
/proc/meminfo: memFree=128078684/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=102884 memory=70340 CPUtime=221.65 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 11557 0 0 0 21756 409 0 0 20 0 1 0 156988500 105353216 17585 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 25721 17585 1862 922 0 17673 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 102884 KiB
Current children cumulated memory: 70340 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.09 4.08 5/244 797785
/proc/meminfo: memFree=127533652/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=108664 memory=77068 CPUtime=281.46 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 13405 0 0 0 27671 475 0 0 20 0 1 0 156988500 111271936 19267 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 27166 19267 1862 922 0 19118 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 108664 KiB
Current children cumulated memory: 77068 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.10 4.09 5/244 797796
/proc/meminfo: memFree=127339672/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=109616 memory=77668 CPUtime=341.28 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 13728 0 0 0 33588 540 0 0 20 0 1 0 156988500 112246784 19417 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 27404 19417 1862 922 0 19356 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 109616 KiB
Current children cumulated memory: 77668 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/242 797807
/proc/meminfo: memFree=127300820/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=114936 memory=81888 CPUtime=401.1 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 14754 0 0 0 39528 582 0 0 20 0 1 0 156988500 117694464 20472 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 28734 20472 1862 922 0 20686 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 114936 KiB
Current children cumulated memory: 81888 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 797817
/proc/meminfo: memFree=127283408/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=118136 memory=84512 CPUtime=460.91 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 15454 0 0 0 45482 609 0 0 20 0 1 0 156988500 120971264 21128 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 29534 21128 1862 922 0 21486 0
################
# More data... #
################
Current children cumulated memory: 173572 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/241 798972
/proc/meminfo: memFree=125359516/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=222608 memory=173572 CPUtime=2854.17 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 30399 0 0 0 283591 1826 0 0 20 0 1 0 156988500 227950592 43393 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55652 43393 1862 922 0 47604 0
Current children cumulated CPU time: 2854.17 s
Current children cumulated vsize: 222608 KiB
Current children cumulated memory: 173572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/241 798983
/proc/meminfo: memFree=125326652/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=222608 memory=173572 CPUtime=2913.97 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 30439 0 0 0 289557 1840 0 0 20 0 1 0 156988500 227950592 43393 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55652 43393 1862 922 0 47604 0
Current children cumulated CPU time: 2913.97 s
Current children cumulated vsize: 222608 KiB
Current children cumulated memory: 173572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.64 4.27 4.20 5/241 798994
/proc/meminfo: memFree=125291832/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=222608 memory=173624 CPUtime=2973.77 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 30492 0 0 0 295523 1854 0 0 20 0 1 0 156988500 227950592 43406 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55652 43406 1862 922 0 47604 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 222608 KiB
Current children cumulated memory: 173624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.40 4.27 4.21 5/241 799006
/proc/meminfo: memFree=125248632/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=223120 memory=173820 CPUtime=3033.58 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 30581 0 0 0 301492 1866 0 0 20 0 1 0 156988500 228474880 43455 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55780 43455 1862 922 0 47732 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 223120 KiB
Current children cumulated memory: 173820 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.24 4.19 5/243 799020
/proc/meminfo: memFree=125218388/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=223120 memory=174000 CPUtime=3093.4 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 30932 0 0 0 307450 1890 0 0 20 0 1 0 156988500 228474880 43500 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55780 43500 1862 922 0 47732 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 223120 KiB
Current children cumulated memory: 174000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.22 4.19 5/243 799030
/proc/meminfo: memFree=125173832/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=223448 memory=174100 CPUtime=3153.2 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 31021 0 0 0 313392 1928 0 0 20 0 1 0 156988500 228810752 43525 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55862 43525 1862 922 0 47814 0
Current children cumulated CPU time: 3153.2 s
Current children cumulated vsize: 223448 KiB
Current children cumulated memory: 174100 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/243 799041
/proc/meminfo: memFree=125134884/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=223888 memory=174468 CPUtime=3213.02 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 31089 0 0 0 319338 1964 0 0 20 0 1 0 156988500 229261312 43617 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 55972 43617 1862 922 0 47924 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 223888 KiB
Current children cumulated memory: 174468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.18 4.17 6/243 799051
/proc/meminfo: memFree=125087364/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=226060 memory=175628 CPUtime=3272.82 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 31496 0 0 0 325297 1985 0 0 20 0 1 0 156988500 231485440 43907 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 56515 43907 1862 922 0 48467 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 226060 KiB
Current children cumulated memory: 175628 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/243 799061
/proc/meminfo: memFree=125048140/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181308 CPUtime=3332.64 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32047 0 0 0 331259 2005 0 0 20 0 1 0 156988500 233582592 45327 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45327 1862 922 0 48979 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/243 799454
/proc/meminfo: memFree=125043096/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181472 CPUtime=3392.45 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32506 0 0 0 337223 2022 0 0 20 0 1 0 156988500 233582592 45368 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45368 1862 922 0 48979 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/242 799465
/proc/meminfo: memFree=125034900/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181472 CPUtime=3452.26 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32546 0 0 0 343190 2036 0 0 20 0 1 0 156988500 233582592 45368 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45368 1862 922 0 48979 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/243 799476
/proc/meminfo: memFree=125034488/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181472 CPUtime=3512.07 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32586 0 0 0 349158 2049 0 0 20 0 1 0 156988500 233582592 45368 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45368 1862 922 0 48979 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181472 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/244 799700
/proc/meminfo: memFree=124879140/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181472 CPUtime=3571.88 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32626 0 0 0 355125 2063 0 0 20 0 1 0 156988500 233582592 45368 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45368 1862 922 0 48979 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 799752
/proc/meminfo: memFree=127469808/131655788 swapFree=131071996/131071996
[pid=797672] ppid=797669 vsize=228108 memory=181472 CPUtime=3600.09 cores=1,3
/proc/797672/stat : 797672 (roundingsat) R 797669 797672 796625 0 -1 4194304 32666 0 0 0 357940 2069 0 0 20 0 1 0 156988500 233582592 45368 134679101440 4194304 7968869 140731292470960 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 15831040 140731292476350 140731292476514 140731292476514 140731292483529 0
/proc/797672/statm: 57027 45368 1862 922 0 48979 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 181472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 797672 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3579.41 s, system=20.7035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3610.6
CPU time (s): 3600.11
CPU user time (s): 3579.41
CPU system time (s): 20.7035
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 228884
Max. memory (cumulated for all children) (KiB): 181900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.41
system time used= 20.7035
maximum resident set size= 182956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44
involuntary context switches= 2885
# summary of solver processes directly reported to runsolver:
# pid: 797672
# total CPU time (s): 3600.11
# total CPU user time (s): 3579.41
# total CPU system time (s): 20.7035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4567 second user time and 35.2637 second system time
The end
Begin job on nodeC003 at 2024-07-15 14:58:56 IDJOB=4429397 IDBENCH=147228 IDSOLVER=3051 FILE ID=nodeC003/4429397-1721048324 RUNJOBID= nodeC003-1721048295-796637 SLURM_JOB_ID= 7505458 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429397-1721048324/watcher-4429397-1721048324 -o /tmp/evaluation-result-4429397-1721048324/solver-4429397-1721048324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796637 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429397-1721048324.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=153452975 nodeC003.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 : 0xb00001f cpu MHz : 3671.932 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76 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 : 0xb00001f cpu MHz : 1197.228 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 1197.348 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76 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 : 0xb00001f cpu MHz : 1197.220 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 3671.901 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76 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 : 0xb00001f cpu MHz : 3653.549 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 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 : 0xb00001f cpu MHz : 1197.329 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.76 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 : 0xb00001f cpu MHz : 1197.343 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128829104 kB MemAvailable: 129656348 kB Buffers: 375912 kB Cached: 1286188 kB SwapCached: 0 kB Active: 580012 kB Inactive: 1711512 kB Active(anon): 1460 kB Inactive(anon): 665388 kB Active(file): 578552 kB Inactive(file): 1046124 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11596 kB Writeback: 16 kB AnonPages: 629108 kB Mapped: 112988 kB Shmem: 37704 kB KReclaimable: 85196 kB Slab: 179968 kB SReclaimable: 85196 kB SUnreclaim: 94772 kB KernelStack: 3936 kB PageTables: 10208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 900680 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 50976 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 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: 224072 kB DirectMap2M: 13312000 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 723748 MiB End job on nodeC003 at 2024-07-15 15:59:07