| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 54 | 3600.02 | 3612.3 |
| 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 - >= 0 @ 0.00175 0.00/0.06 c rational objective 48.5261 0.68/0.76 c bounds 75 >= 0 @ 0.223417 0.68/0.76 c bounds 75 >= 1 @ 0.223593 0.68/0.76 c bounds 75 >= 2 @ 0.223714 0.68/0.76 c bounds 75 >= 3 @ 0.223821 0.68/0.76 c bounds 75 >= 4 @ 0.22393 0.68/0.76 c bounds 75 >= 5 @ 0.224036 0.68/0.76 c bounds 75 >= 6 @ 0.224185 0.68/0.76 c bounds 75 >= 7 @ 0.224323 0.68/0.76 c bounds 75 >= 8 @ 0.224453 0.68/0.76 c bounds 75 >= 9 @ 0.224578 0.68/0.76 c bounds 75 >= 10 @ 0.224703 0.68/0.76 c bounds 75 >= 11 @ 0.224857 0.68/0.76 c bounds 75 >= 12 @ 0.22501 0.68/0.76 c bounds 75 >= 13 @ 0.225166 0.68/0.76 c bounds 75 >= 14 @ 0.225313 0.68/0.76 c bounds 75 >= 15 @ 0.225452 0.68/0.76 c bounds 75 >= 16 @ 0.22559 0.68/0.76 c bounds 75 >= 17 @ 0.225754 0.68/0.76 c bounds 75 >= 18 @ 0.225859 0.68/0.76 c bounds 75 >= 19 @ 0.225859 0.68/0.76 c bounds 75 >= 20 @ 0.225859 0.68/0.76 c bounds 75 >= 21 @ 0.225859 0.68/0.76 c bounds 75 >= 22 @ 0.225859 0.68/0.76 c bounds 75 >= 23 @ 0.225859 0.68/0.76 c bounds 75 >= 24 @ 0.225859 0.68/0.76 c bounds 75 >= 25 @ 0.225859 0.68/0.76 c bounds 75 >= 26 @ 0.225859 0.68/0.76 c bounds 75 >= 27 @ 0.225859 0.68/0.76 c bounds 75 >= 28 @ 0.225859 0.68/0.76 c bounds 72 >= 28 @ 0.225859 0.68/0.76 c bounds 72 >= 29 @ 0.225859 0.68/0.76 c bounds 72 >= 30 @ 0.225861 0.68/0.76 c bounds 72 >= 31 @ 0.225861 0.68/0.76 c bounds 72 >= 32 @ 0.225861 0.68/0.76 c bounds 72 >= 33 @ 0.225861 0.68/0.76 c bounds 72 >= 34 @ 0.225909 0.68/0.76 c bounds 72 >= 35 @ 0.226108 0.68/0.76 c bounds 72 >= 36 @ 0.226302 0.68/0.76 c bounds 72 >= 37 @ 0.226488 0.68/0.76 c bounds 72 >= 38 @ 0.226664 0.68/0.76 c bounds 72 >= 39 @ 0.226857 0.68/0.76 c bounds 72 >= 40 @ 0.227069 0.68/0.76 c bounds 72 >= 41 @ 0.227273 0.68/0.76 c bounds 72 >= 42 @ 0.227476 0.68/0.76 c bounds 72 >= 43 @ 0.227673 0.68/0.76 c bounds 72 >= 44 @ 0.287034 0.68/0.76 c bounds 71 >= 44 @ 0.288113 0.68/0.76 c bounds 70 >= 44 @ 0.289838 0.68/0.76 c bounds 70 >= 45 @ 0.292806 0.68/0.76 c bounds 69 >= 45 @ 0.293961 0.68/0.76 c bounds 69 >= 46 @ 0.297601 0.68/0.76 c bounds 68 >= 46 @ 0.303155 0.68/0.76 c bounds 68 >= 47 @ 0.309163 0.68/0.76 c bounds 67 >= 47 @ 0.309877 0.68/0.76 c bounds 66 >= 47 @ 0.310194 0.68/0.76 c bounds 65 >= 47 @ 0.31292 0.68/0.76 c bounds 64 >= 47 @ 0.314065 0.68/0.76 c bounds 64 >= 48 @ 0.315183 0.68/0.76 c bounds 64 >= 49 @ 0.33163 0.68/0.76 c bounds 63 >= 49 @ 0.33372 0.68/0.76 c bounds 62 >= 49 @ 0.335095 0.68/0.76 c bounds 61 >= 49 @ 0.337364 0.68/0.76 c bounds 60 >= 49 @ 0.349467 0.68/0.76 c bounds 59 >= 49 @ 0.360722 0.68/0.76 c #Conflicts: 1000 | #Constraints: 1540 0.68/0.76 c #Conflicts: 2000 | #Constraints: 2540 0.68/0.76 c INPROCESSING 0.68/0.76 c GARBAGE COLLECT 0.68/0.76 c rational objective 49 1.18/1.27 c bounds 58 >= 49 @ 0.853493 1.18/1.27 c #Conflicts: 3000 | #Constraints: 2569 1.18/1.27 c bounds 57 >= 49 @ 1.04501 1.18/1.27 c #Conflicts: 4000 | #Constraints: 3624 1.18/1.27 c bounds 57 >= 50 @ 1.11253 1.18/1.27 c INPROCESSING 1.18/1.27 c GARBAGE COLLECT 1.18/1.27 c rational objective 50 1.68/1.74 c #Conflicts: 5000 | #Constraints: 3057 1.68/1.74 c #Conflicts: 6000 | #Constraints: 4099 1.68/1.74 c INPROCESSING 1.68/1.74 c GARBAGE COLLECT 1.68/1.74 c rational objective 50 2.38/2.41 c #Conflicts: 7000 | #Constraints: 3067 2.38/2.41 c #Conflicts: 8000 | #Constraints: 4067 2.38/2.41 c #Conflicts: 9000 | #Constraints: 5067 2.38/2.41 c INPROCESSING 2.38/2.41 c GARBAGE COLLECT 2.38/2.41 c rational objective 50 2.78/2.86 c #Conflicts: 10000 | #Constraints: 3786 2.78/2.86 c bounds 56 >= 50 @ 2.42632 2.78/2.86 c #Conflicts: 11000 | #Constraints: 4838 2.78/2.86 c #Conflicts: 12000 | #Constraints: 5881 2.78/2.86 c INPROCESSING 2.78/2.86 c GARBAGE COLLECT 2.78/2.86 c rational objective 50 3.27/3.37 c #Conflicts: 13000 | #Constraints: 4273 3.27/3.37 c #Conflicts: 14000 | #Constraints: 5308 3.27/3.37 c #Conflicts: 15000 | #Constraints: 6349 3.27/3.37 c INPROCESSING 3.27/3.37 c GARBAGE COLLECT 3.27/3.37 c rational objective 50 4.37/4.46 c #Conflicts: 16000 | #Constraints: 4482 4.37/4.46 c #Conflicts: 17000 | #Constraints: 5482 4.37/4.46 c #Conflicts: 18000 | #Constraints: 6482 4.37/4.46 c INPROCESSING 4.37/4.46 c GARBAGE COLLECT 4.37/4.46 c rational objective 50 4.98/5.07 c #Conflicts: 19000 | #Constraints: 4492 4.98/5.07 c #Conflicts: 20000 | #Constraints: 5544 4.98/5.07 c #Conflicts: 21000 | #Constraints: 6595 4.98/5.07 c INPROCESSING 4.98/5.07 c GARBAGE COLLECT 4.98/5.07 c rational objective 50 5.66/5.74 c #Conflicts: 22000 | #Constraints: 4321 5.66/5.74 c #Conflicts: 23000 | #Constraints: 5359 5.66/5.74 c #Conflicts: 24000 | #Constraints: 6399 5.66/5.74 c #Conflicts: 25000 | #Constraints: 7436 5.66/5.74 c INPROCESSING 5.66/5.74 c GARBAGE COLLECT 5.66/5.74 c rational objective 50 6.77/6.81 c #Conflicts: 26000 | #Constraints: 4930 6.77/6.81 c #Conflicts: 27000 | #Constraints: 5930 6.77/6.81 c bounds 56 >= 51 @ 6.18268 6.77/6.81 c #Conflicts: 28000 | #Constraints: 6993 6.77/6.81 c #Conflicts: 29000 | #Constraints: 8030 6.77/6.81 c INPROCESSING 6.77/6.81 c GARBAGE COLLECT 6.77/6.81 c rational objective 51 7.56/7.62 c #Conflicts: 30000 | #Constraints: 5374 7.56/7.62 c #Conflicts: 31000 | #Constraints: 6413 7.56/7.62 c #Conflicts: 32000 | #Constraints: 7448 7.56/7.62 c #Conflicts: 33000 | #Constraints: 8491 7.56/7.62 c INPROCESSING 7.56/7.62 c GARBAGE COLLECT 7.56/7.62 c rational objective 51 9.07/9.13 c #Conflicts: 34000 | #Constraints: 5617 9.07/9.13 c #Conflicts: 35000 | #Constraints: 6621 9.07/9.13 c #Conflicts: 36000 | #Constraints: 7627 9.07/9.13 c #Conflicts: 37000 | #Constraints: 8630 9.07/9.13 c INPROCESSING 9.07/9.13 c GARBAGE COLLECT 9.07/9.13 c rational objective 51 10.45/10.52 c #Conflicts: 38000 | #Constraints: 5804 10.45/10.52 c #Conflicts: 39000 | #Constraints: 7229 10.45/10.52 c #Conflicts: 40000 | #Constraints: 8801 10.45/10.52 c #Conflicts: 41000 | #Constraints: 10339 10.45/10.52 c INPROCESSING 10.45/10.52 c GARBAGE COLLECT 10.45/10.52 c rational objective 51 11.45/11.55 c #Conflicts: 42000 | #Constraints: 6286 11.45/11.55 c #Conflicts: 43000 | #Constraints: 7336 11.45/11.55 c #Conflicts: 44000 | #Constraints: 8380 11.45/11.55 c #Conflicts: 45000 | #Constraints: 9413 11.45/11.55 c #Conflicts: 46000 | #Constraints: 10452 11.45/11.55 c INPROCESSING 11.45/11.55 c GARBAGE COLLECT 11.45/11.55 c rational objective 51 13.44/13.57 c #Conflicts: 47000 | #Constraints: 6468 13.44/13.57 c #Conflicts: 48000 | #Constraints: 7468 13.44/13.57 c #Conflicts: 49000 | #Constraints: 8468 13.44/13.57 c #Conflicts: 50000 | #Constraints: 9468 13.44/13.57 c #Conflicts: 51000 | #Constraints: 10468 13.44/13.57 c INPROCESSING 13.44/13.57 c GARBAGE COLLECT 13.44/13.57 c rational objective 51 14.64/14.70 c #Conflicts: 52000 | #Constraints: 6630 14.64/14.70 c #Conflicts: 53000 | #Constraints: 7676 14.64/14.70 c #Conflicts: 54000 | #Constraints: 8725 14.64/14.70 c #Conflicts: 55000 | #Constraints: 9765 14.64/14.70 c #Conflicts: 56000 | #Constraints: 10812 14.64/14.70 c INPROCESSING 14.64/14.70 c GARBAGE COLLECT 14.64/14.70 c rational objective 51 16.43/16.50 c #Conflicts: 57000 | #Constraints: 6777 16.43/16.50 c #Conflicts: 58000 | #Constraints: 7823 16.43/16.50 c bounds 55 >= 51 @ 14.405 16.43/16.50 c #Conflicts: 59000 | #Constraints: 8853 16.43/16.50 c #Conflicts: 60000 | #Constraints: 9853 16.43/16.50 c #Conflicts: 61000 | #Constraints: 10853 16.43/16.50 c INPROCESSING 16.43/16.50 c GARBAGE COLLECT 16.43/16.50 c rational objective 51 26.10/26.24 c #Conflicts: 62000 | #Constraints: 6716 26.10/26.24 c #Conflicts: 63000 | #Constraints: 7778 26.10/26.24 c #Conflicts: 64000 | #Constraints: 8837 26.10/26.24 c #Conflicts: 65000 | #Constraints: 9885 26.10/26.24 c #Conflicts: 66000 | #Constraints: 10926 26.10/26.24 c #Conflicts: 67000 | #Constraints: 11971 26.10/26.24 c #Conflicts: 68000 | #Constraints: 13013 26.10/26.24 c #Conflicts: 69000 | #Constraints: 14053 26.10/26.24 c #Conflicts: 70000 | #Constraints: 15089 26.10/26.24 c #Conflicts: 71000 | #Constraints: 16129 26.10/26.24 c #Conflicts: 72000 | #Constraints: 17161 26.10/26.24 c #Conflicts: 73000 | #Constraints: 18190 26.10/26.24 c #Conflicts: 74000 | #Constraints: 19226 26.10/26.24 c #Conflicts: 75000 | #Constraints: 20280 26.10/26.24 c #Conflicts: 76000 | #Constraints: 21312 26.10/26.24 c #Conflicts: 77000 | #Constraints: 22347 26.10/26.24 c #Conflicts: 78000 | #Constraints: 23385 26.10/26.24 c #Conflicts: 79000 | #Constraints: 24421 26.10/26.24 c #Conflicts: 80000 | #Constraints: 25456 26.10/26.24 c #Conflicts: 81000 | #Constraints: 26497 26.10/26.25 c #Conflicts: 82000 | #Constraints: 27528 26.10/26.25 c INPROCESSING 26.10/26.25 c GARBAGE COLLECT 26.10/26.25 c rational objective 51 31.58/31.72 c #Conflicts: 83000 | #Constraints: 14720 31.58/31.72 c #Conflicts: 84000 | #Constraints: 15720 31.58/31.72 c #Conflicts: 85000 | #Constraints: 16720 31.58/31.72 c #Conflicts: 86000 | #Constraints: 17720 31.58/31.72 c #Conflicts: 87000 | #Constraints: 18720 31.58/31.72 c #Conflicts: 88000 | #Constraints: 19720 31.58/31.72 c #Conflicts: 89000 | #Constraints: 20720 31.58/31.72 c INPROCESSING 31.58/31.72 c GARBAGE COLLECT 31.58/31.72 c rational objective 51 37.76/37.98 c #Conflicts: 90000 | #Constraints: 11588 37.76/37.98 c #Conflicts: 91000 | #Constraints: 12588 37.76/37.98 c #Conflicts: 92000 | #Constraints: 13588 37.76/37.98 c #Conflicts: 93000 | #Constraints: 14588 37.76/37.98 c #Conflicts: 94000 | #Constraints: 15588 37.76/37.98 c #Conflicts: 95000 | #Constraints: 16588 37.76/37.98 c #Conflicts: 96000 | #Constraints: 17588 37.76/37.98 c INPROCESSING 37.76/37.98 c GARBAGE COLLECT 37.76/37.98 c rational objective 51 40.06/40.30 c #Conflicts: 97000 | #Constraints: 10208 40.06/40.30 c #Conflicts: 98000 | #Constraints: 11245 40.06/40.30 c #Conflicts: 99000 | #Constraints: 12279 40.06/40.30 c #Conflicts: 100000 | #Constraints: 13314 40.06/40.30 c #Conflicts: 101000 | #Constraints: 14356 40.06/40.30 c #Conflicts: 102000 | #Constraints: 15395 40.06/40.30 c INPROCESSING 40.06/40.30 c GARBAGE COLLECT 40.06/40.30 c rational objective 51 42.05/42.21 c #Conflicts: 103000 | #Constraints: 8607 42.05/42.21 c bounds 54 >= 51 @ 39.07 42.05/42.21 c #Conflicts: 104000 | #Constraints: 9659 42.05/42.21 c #Conflicts: 105000 | #Constraints: 10695 42.05/42.21 c #Conflicts: 106000 | #Constraints: 11739 42.05/42.21 c #Conflicts: 107000 | #Constraints: 12764 42.05/42.21 c #Conflicts: 108000 | #Constraints: 13796 42.05/42.21 c #Conflicts: 109000 | #Constraints: 14827 42.05/42.21 c #Conflicts: 110000 | #Constraints: 15867 42.05/42.21 c INPROCESSING 42.05/42.21 c GARBAGE COLLECT 42.05/42.21 c rational objective 51 47.84/48.03 c #Conflicts: 111000 | #Constraints: 9279 47.84/48.03 c #Conflicts: 112000 | #Constraints: 10279 47.84/48.03 c #Conflicts: 113000 | #Constraints: 11279 47.84/48.03 c #Conflicts: 114000 | #Constraints: 12279 47.84/48.03 c #Conflicts: 115000 | #Constraints: 13279 47.84/48.03 c #Conflicts: 116000 | #Constraints: 14279 47.84/48.03 c #Conflicts: 117000 | #Constraints: 15279 47.84/48.03 c INPROCESSING 47.84/48.03 c GARBAGE COLLECT 47.84/48.03 c rational objective 51 66.47/66.76 c #Conflicts: 118000 | #Constraints: 8900 66.47/66.76 c #Conflicts: 119000 | #Constraints: 9921 66.47/66.76 c #Conflicts: 120000 | #Constraints: 10964 66.47/66.76 c #Conflicts: 121000 | #Constraints: 11996 66.47/66.76 c #Conflicts: 122000 | #Constraints: 13024 66.47/66.76 c #Conflicts: 123000 | #Constraints: 14068 66.47/66.76 c #Conflicts: 124000 | #Constraints: 15103 66.47/66.76 c #Conflicts: 125000 | #Constraints: 16147 66.47/66.76 c #Conflicts: 126000 | #Constraints: 17185 66.47/66.76 c #Conflicts: 127000 | #Constraints: 18215 66.47/66.76 c #Conflicts: 128000 | #Constraints: 19260 66.47/66.76 c #Conflicts: 129000 | #Constraints: 20305 66.47/66.76 c #Conflicts: 130000 | #Constraints: 21340 66.47/66.76 c #Conflicts: 131000 | #Constraints: 22371 66.47/66.76 c #Conflicts: 132000 | #Constraints: 23402 66.47/66.76 c #Conflicts: 133000 | #Constraints: 24437 66.47/66.76 c #Conflicts: 134000 | #Constraints: 25470 66.47/66.76 c #Conflicts: 135000 | #Constraints: 26500 66.47/66.76 c #Conflicts: 136000 | #Constraints: 27542 66.47/66.76 c #Conflicts: 137000 | #Constraints: 28578 66.47/66.76 c #Conflicts: 138000 | #Constraints: 29612 66.47/66.76 c #Conflicts: 139000 | #Constraints: 30644 66.47/66.76 c #Conflicts: 140000 | #Constraints: 31672 66.47/66.76 c #Conflicts: 141000 | #Constraints: 32704 66.47/66.76 c #Conflicts: 142000 | #Constraints: 33745 66.47/66.76 c #Conflicts: 143000 | #Constraints: 34779 66.47/66.76 c #Conflicts: 144000 | #Constraints: 35808 66.47/66.76 c #Conflicts: 145000 | #Constraints: 36841 66.47/66.76 c #Conflicts: 146000 | #Constraints: 37881 66.47/66.76 c INPROCESSING 66.47/66.76 c GARBAGE COLLECT 66.47/66.76 c rational objective 51 77.13/77.48 c #Conflicts: 147000 | #Constraints: 20089 77.13/77.48 c #Conflicts: 148000 | #Constraints: 21089 77.13/77.48 c #Conflicts: 149000 | #Constraints: 22089 77.13/77.48 c #Conflicts: 150000 | #Constraints: 23089 77.13/77.48 c #Conflicts: 151000 | #Constraints: 24089 77.13/77.48 c #Conflicts: 152000 | #Constraints: 25089 77.13/77.48 c #Conflicts: 153000 | #Constraints: 26089 77.13/77.48 c #Conflicts: 154000 | #Constraints: 27089 77.13/77.48 c #Conflicts: 155000 | #Constraints: 28089 77.13/77.48 c INPROCESSING 77.13/77.48 c GARBAGE COLLECT 77.13/77.48 c rational objective 51 84.61/84.97 c #Conflicts: 156000 | #Constraints: 15422 84.61/84.97 c #Conflicts: 157000 | #Constraints: 16422 84.61/84.97 c #Conflicts: 158000 | #Constraints: 17422 84.61/84.97 c #Conflicts: 159000 | #Constraints: 18422 84.61/84.97 c #Conflicts: 160000 | #Constraints: 19422 84.61/84.97 c bounds 54 >= 52 @ 81.5196 84.61/84.97 c #Conflicts: 161000 | #Constraints: 20493 84.61/84.97 c #Conflicts: 162000 | #Constraints: 21523 84.61/84.97 c #Conflicts: 163000 | #Constraints: 22558 84.61/84.97 c INPROCESSING 84.61/84.97 c GARBAGE COLLECT 84.61/84.97 c rational objective 52 88.10/88.46 c #Conflicts: 164000 | #Constraints: 12280 88.10/88.46 c #Conflicts: 165000 | #Constraints: 13322 88.10/88.46 c #Conflicts: 166000 | #Constraints: 14359 88.10/88.46 c #Conflicts: 167000 | #Constraints: 15390 88.10/88.46 c #Conflicts: 168000 | #Constraints: 16424 88.10/88.46 c #Conflicts: 169000 | #Constraints: 17469 88.10/88.46 c #Conflicts: 170000 | #Constraints: 18500 88.10/88.46 c #Conflicts: 171000 | #Constraints: 19525 88.10/88.46 c #Conflicts: 172000 | #Constraints: 20553 88.10/88.46 c INPROCESSING 88.10/88.46 c GARBAGE COLLECT 88.10/88.46 c rational objective 52 96.68/97.04 c #Conflicts: 173000 | #Constraints: 11263 96.68/97.04 c #Conflicts: 174000 | #Constraints: 12264 96.68/97.04 c #Conflicts: 175000 | #Constraints: 13266 96.68/97.04 c #Conflicts: 176000 | #Constraints: 14267 96.68/97.04 c #Conflicts: 177000 | #Constraints: 15268 96.68/97.04 c #Conflicts: 178000 | #Constraints: 16269 96.68/97.04 c #Conflicts: 179000 | #Constraints: 17270 96.68/97.04 c #Conflicts: 180000 | #Constraints: 18271 96.68/97.04 c #Conflicts: 181000 | #Constraints: 19271 96.68/97.04 c #Conflicts: 182000 | #Constraints: 20272 96.68/97.04 c INPROCESSING 96.68/97.04 c GARBAGE COLLECT 96.68/97.04 c rational objective 52 120.18/120.66 c #Conflicts: 183000 | #Constraints: 11573 120.18/120.66 c #Conflicts: 184000 | #Constraints: 12618 120.18/120.66 c #Conflicts: 185000 | #Constraints: 13655 120.18/120.66 c #Conflicts: 186000 | #Constraints: 14697 120.18/120.66 c #Conflicts: 187000 | #Constraints: 15743 120.18/120.66 c #Conflicts: 188000 | #Constraints: 16783 120.18/120.66 c #Conflicts: 189000 | #Constraints: 17827 120.18/120.66 c #Conflicts: 190000 | #Constraints: 18868 120.18/120.66 c #Conflicts: 191000 | #Constraints: 19894 120.18/120.66 c #Conflicts: 192000 | #Constraints: 20926 120.18/120.66 c #Conflicts: 193000 | #Constraints: 21964 120.18/120.66 c #Conflicts: 194000 | #Constraints: 22994 120.18/120.66 c #Conflicts: 195000 | #Constraints: 24031 120.18/120.66 c #Conflicts: 196000 | #Constraints: 25070 120.18/120.66 c #Conflicts: 197000 | #Constraints: 26110 120.18/120.66 c #Conflicts: 198000 | #Constraints: 27147 120.18/120.66 c #Conflicts: 199000 | #Constraints: 28190 120.18/120.66 c #Conflicts: 200000 | #Constraints: 29223 120.18/120.66 c #Conflicts: 201000 | #Constraints: 30267 120.18/120.66 c #Conflicts: 202000 | #Constraints: 31293 120.18/120.66 c #Conflicts: 203000 | #Constraints: 32320 120.18/120.66 c #Conflicts: 204000 | #Constraints: 33338 120.18/120.66 c #Conflicts: 205000 | #Constraints: 34368 120.18/120.66 c #Conflicts: 206000 | #Constraints: 35402 120.18/120.66 c #Conflicts: 207000 | #Constraints: 36441 120.18/120.66 c #Conflicts: 208000 | #Constraints: 37474 120.18/120.66 c #Conflicts: 209000 | #Constraints: 38505 120.18/120.66 c #Conflicts: 210000 | #Constraints: 39544 120.18/120.66 c #Conflicts: 211000 | #Constraints: 40585 120.18/120.66 c #Conflicts: 212000 | #Constraints: 41619 120.18/120.66 c #Conflicts: 213000 | #Constraints: 42656 120.18/120.66 c #Conflicts: 214000 | #Constraints: 43690 120.18/120.66 c #Conflicts: 215000 | #Constraints: 44713 120.18/120.66 c #Conflicts: 216000 | #Constraints: 45737 120.18/120.66 c #Conflicts: 217000 | #Constraints: 46763 120.18/120.66 c INPROCESSING 120.18/120.66 c GARBAGE COLLECT 120.18/120.66 c rational objective 52 135.73/136.27 c #Conflicts: 218000 | #Constraints: 24521 135.73/136.27 c #Conflicts: 219000 | #Constraints: 25521 135.73/136.27 c #Conflicts: 220000 | #Constraints: 26521 135.73/136.27 c #Conflicts: 221000 | #Constraints: 27521 135.73/136.27 c #Conflicts: 222000 | #Constraints: 28521 135.73/136.27 c #Conflicts: 223000 | #Constraints: 29521 135.73/136.27 c #Conflicts: 224000 | #Constraints: 30522 135.73/136.27 c #Conflicts: 225000 | #Constraints: 31522 135.73/136.27 c #Conflicts: 226000 | #Constraints: 32522 135.73/136.27 c #Conflicts: 227000 | #Constraints: 33522 135.73/136.27 c #Conflicts: 228000 | #Constraints: 34523 135.73/136.27 c INPROCESSING 135.73/136.27 c GARBAGE COLLECT 135.73/136.27 c rational objective 52 140.53/141.07 c #Conflicts: 229000 | #Constraints: 18711 140.53/141.07 c #Conflicts: 230000 | #Constraints: 19739 140.53/141.07 c #Conflicts: 231000 | #Constraints: 20779 140.53/141.07 c #Conflicts: 232000 | #Constraints: 21810 140.53/141.07 c #Conflicts: 233000 | #Constraints: 22839 140.53/141.07 c #Conflicts: 234000 | #Constraints: 23865 140.53/141.07 c #Conflicts: 235000 | #Constraints: 24896 140.53/141.07 c #Conflicts: 236000 | #Constraints: 25928 140.53/141.07 c #Conflicts: 237000 | #Constraints: 26971 140.53/141.07 c #Conflicts: 238000 | #Constraints: 28003 140.53/141.07 c INPROCESSING 140.53/141.07 c GARBAGE COLLECT 140.53/141.07 c rational objective 52 154.59/155.12 c #Conflicts: 239000 | #Constraints: 15040 154.59/155.12 c #Conflicts: 240000 | #Constraints: 16040 154.59/155.12 c #Conflicts: 241000 | #Constraints: 17040 154.59/155.12 c #Conflicts: 242000 | #Constraints: 18040 154.59/155.12 c #Conflicts: 243000 | #Constraints: 19040 154.59/155.12 c #Conflicts: 244000 | #Constraints: 20040 154.59/155.12 c #Conflicts: 245000 | #Constraints: 21040 154.59/155.12 c #Conflicts: 246000 | #Constraints: 22040 154.59/155.12 c #Conflicts: 247000 | #Constraints: 23040 154.59/155.12 c #Conflicts: 248000 | #Constraints: 24040 154.59/155.12 c #Conflicts: 249000 | #Constraints: 25040 154.59/155.12 c INPROCESSING 154.59/155.12 c GARBAGE COLLECT 154.59/155.12 c rational objective 52 190.85/191.55 c #Conflicts: 250000 | #Constraints: 13639 190.85/191.55 c #Conflicts: 251000 | #Constraints: 14690 190.85/191.55 c #Conflicts: 252000 | #Constraints: 15734 190.85/191.55 c #Conflicts: 253000 | #Constraints: 16773 190.85/191.55 c #Conflicts: 254000 | #Constraints: 17802 190.85/191.55 c #Conflicts: 255000 | #Constraints: 18840 190.85/191.55 c #Conflicts: 256000 | #Constraints: 19883 190.85/191.55 c #Conflicts: 257000 | #Constraints: 20919 190.85/191.55 c #Conflicts: 258000 | #Constraints: 21947 190.85/191.55 c #Conflicts: 259000 | #Constraints: 22977 190.85/191.55 c #Conflicts: 260000 | #Constraints: 24006 190.85/191.55 c #Conflicts: 261000 | #Constraints: 25041 190.85/191.55 c #Conflicts: 262000 | #Constraints: 26071 190.85/191.55 c #Conflicts: 263000 | #Constraints: 27103 190.85/191.55 c #Conflicts: 264000 | #Constraints: 28135 190.85/191.55 c #Conflicts: 265000 | #Constraints: 29177 190.85/191.55 c #Conflicts: 266000 | #Constraints: 30213 190.85/191.55 c #Conflicts: 267000 | #Constraints: 31260 190.85/191.55 c #Conflicts: 268000 | #Constraints: 32296 190.85/191.55 c #Conflicts: 269000 | #Constraints: 33327 190.85/191.55 c #Conflicts: 270000 | #Constraints: 34360 190.85/191.55 c #Conflicts: 271000 | #Constraints: 35392 190.85/191.55 c #Conflicts: 272000 | #Constraints: 36432 190.85/191.55 c #Conflicts: 273000 | #Constraints: 37462 190.85/191.55 c #Conflicts: 274000 | #Constraints: 38494 190.85/191.55 c #Conflicts: 275000 | #Constraints: 39531 190.85/191.55 c #Conflicts: 276000 | #Constraints: 40565 190.85/191.55 c #Conflicts: 277000 | #Constraints: 41605 190.85/191.55 c #Conflicts: 278000 | #Constraints: 42638 190.85/191.55 c #Conflicts: 279000 | #Constraints: 43666 190.85/191.55 c #Conflicts: 280000 | #Constraints: 44699 190.85/191.55 c #Conflicts: 281000 | #Constraints: 45723 190.85/191.55 c #Conflicts: 282000 | #Constraints: 46753 190.85/191.55 c #Conflicts: 283000 | #Constraints: 47787 190.85/191.55 c #Conflicts: 284000 | #Constraints: 48814 190.85/191.55 c #Conflicts: 285000 | #Constraints: 49841 190.85/191.55 c #Conflicts: 286000 | #Constraints: 50875 190.85/191.55 c #Conflicts: 287000 | #Constraints: 51899 190.85/191.55 c #Conflicts: 288000 | #Constraints: 52925 190.85/191.55 c #Conflicts: 289000 | #Constraints: 53952 190.85/191.55 c #Conflicts: 290000 | #Constraints: 54986 190.85/191.55 c INPROCESSING 190.85/191.55 c GARBAGE COLLECT 190.85/191.55 c rational objective 52 217.46/218.27 c #Conflicts: 291000 | #Constraints: 28680 217.46/218.27 c #Conflicts: 292000 | #Constraints: 29681 217.46/218.27 c #Conflicts: 293000 | #Constraints: 30681 217.46/218.27 c #Conflicts: 294000 | #Constraints: 31682 217.46/218.27 c #Conflicts: 295000 | #Constraints: 32682 217.46/218.27 c #Conflicts: 296000 | #Constraints: 33683 217.46/218.27 c #Conflicts: 297000 | #Constraints: 34684 217.46/218.27 c #Conflicts: 298000 | #Constraints: 35685 217.46/218.27 c #Conflicts: 299000 | #Constraints: 36686 217.46/218.27 c #Conflicts: 300000 | #Constraints: 37686 217.46/218.27 c #Conflicts: 301000 | #Constraints: 38686 217.46/218.27 c #Conflicts: 302000 | #Constraints: 39686 217.46/218.27 c INPROCESSING 217.46/218.27 c GARBAGE COLLECT 217.46/218.27 c rational objective 52 223.74/224.57 c #Conflicts: 303000 | #Constraints: 20973 223.74/224.57 c #Conflicts: 304000 | #Constraints: 22009 223.74/224.57 c #Conflicts: 305000 | #Constraints: 23045 223.74/224.57 c #Conflicts: 306000 | #Constraints: 24087 223.74/224.57 c #Conflicts: 307000 | #Constraints: 25117 223.74/224.57 c #Conflicts: 308000 | #Constraints: 26148 223.74/224.57 c #Conflicts: 309000 | #Constraints: 27180 223.74/224.57 c #Conflicts: 310000 | #Constraints: 28213 223.74/224.57 c #Conflicts: 311000 | #Constraints: 29243 223.74/224.57 c #Conflicts: 312000 | #Constraints: 30274 223.74/224.57 c #Conflicts: 313000 | #Constraints: 31305 223.74/224.57 c #Conflicts: 314000 | #Constraints: 32335 223.74/224.57 c #Conflicts: 315000 | #Constraints: 33368 223.74/224.57 c INPROCESSING 223.74/224.57 c GARBAGE COLLECT 223.74/224.57 c rational objective 52 246.46/247.34 c #Conflicts: 316000 | #Constraints: 18064 246.46/247.34 c #Conflicts: 317000 | #Constraints: 19064 246.46/247.34 c #Conflicts: 318000 | #Constraints: 20064 246.46/247.34 c #Conflicts: 319000 | #Constraints: 21064 246.46/247.34 c #Conflicts: 320000 | #Constraints: 22064 246.46/247.34 c #Conflicts: 321000 | #Constraints: 23064 246.46/247.34 c #Conflicts: 322000 | #Constraints: 24064 246.46/247.34 c #Conflicts: 323000 | #Constraints: 25064 246.46/247.34 c #Conflicts: 324000 | #Constraints: 26064 246.46/247.34 c #Conflicts: 325000 | #Constraints: 27064 246.46/247.34 c #Conflicts: 326000 | #Constraints: 28064 246.46/247.34 c #Conflicts: 327000 | #Constraints: 29064 246.46/247.34 c INPROCESSING 246.46/247.34 c GARBAGE COLLECT 246.46/247.34 c rational objective 52 294.70/295.73 c #Conflicts: 328000 | #Constraints: 15671 294.70/295.73 c #Conflicts: 329000 | #Constraints: 16709 294.70/295.73 c #Conflicts: 330000 | #Constraints: 17750 294.70/295.73 c #Conflicts: 331000 | #Constraints: 18789 294.70/295.73 c #Conflicts: 332000 | #Constraints: 19834 294.70/295.73 c #Conflicts: 333000 | #Constraints: 20876 294.70/295.73 c #Conflicts: 334000 | #Constraints: 21916 294.70/295.73 c #Conflicts: 335000 | #Constraints: 22951 294.70/295.73 c #Conflicts: 336000 | #Constraints: 24001 294.70/295.73 c #Conflicts: 337000 | #Constraints: 25039 294.70/295.73 c #Conflicts: 338000 | #Constraints: 26080 294.70/295.73 c #Conflicts: 339000 | #Constraints: 27114 294.70/295.73 c #Conflicts: 340000 | #Constraints: 28156 294.70/295.73 c #Conflicts: 341000 | #Constraints: 29194 294.70/295.73 c #Conflicts: 342000 | #Constraints: 30218 294.70/295.73 c #Conflicts: 343000 | #Constraints: 31254 294.70/295.73 c #Conflicts: 344000 | #Constraints: 32295 294.70/295.73 c #Conflicts: 345000 | #Constraints: 33322 294.70/295.73 c #Conflicts: 346000 | #Constraints: 34358 294.70/295.73 c #Conflicts: 347000 | #Constraints: 35390 294.70/295.73 c #Conflicts: 348000 | #Constraints: 36426 294.70/295.73 c #Conflicts: 349000 | #Constraints: 37458 294.70/295.73 c #Conflicts: 350000 | #Constraints: 38493 294.70/295.73 c #Conflicts: 351000 | #Constraints: 39525 294.70/295.73 c #Conflicts: 352000 | #Constraints: 40551 294.70/295.73 c #Conflicts: 353000 | #Constraints: 41579 294.70/295.73 c #Conflicts: 354000 | #Constraints: 42612 294.70/295.73 c #Conflicts: 355000 | #Constraints: 43640 294.70/295.73 c #Conflicts: 356000 | #Constraints: 44669 294.70/295.73 c #Conflicts: 357000 | #Constraints: 45695 294.70/295.73 c #Conflicts: 358000 | #Constraints: 46723 294.70/295.73 c #Conflicts: 359000 | #Constraints: 47748 294.70/295.73 c #Conflicts: 360000 | #Constraints: 48782 294.70/295.73 c #Conflicts: 361000 | #Constraints: 49800 294.70/295.73 c #Conflicts: 362000 | #Constraints: 50826 294.70/295.73 c #Conflicts: 363000 | #Constraints: 51851 294.70/295.73 c #Conflicts: 364000 | #Constraints: 52884 294.70/295.73 c #Conflicts: 365000 | #Constraints: 53901 294.70/295.73 c #Conflicts: 366000 | #Constraints: 54922 294.70/295.73 c #Conflicts: 367000 | #Constraints: 55954 294.70/295.73 c #Conflicts: 368000 | #Constraints: 56977 294.70/295.73 c #Conflicts: 369000 | #Constraints: 58010 294.70/295.73 c #Conflicts: 370000 | #Constraints: 59036 294.70/295.73 c #Conflicts: 371000 | #Constraints: 60060 294.70/295.73 c #Conflicts: 372000 | #Constraints: 61086 294.70/295.73 c #Conflicts: 373000 | #Constraints: 62113 294.70/295.73 c INPROCESSING 294.70/295.73 c GARBAGE COLLECT 294.70/295.73 c rational objective 52 335.56/336.77 c #Conflicts: 374000 | #Constraints: 32106 335.56/336.77 c #Conflicts: 375000 | #Constraints: 33106 335.56/336.77 c #Conflicts: 376000 | #Constraints: 34107 335.56/336.77 c #Conflicts: 377000 | #Constraints: 35107 335.56/336.77 c #Conflicts: 378000 | #Constraints: 36108 335.56/336.77 c #Conflicts: 379000 | #Constraints: 37108 335.56/336.77 c #Conflicts: 380000 | #Constraints: 38108 335.56/336.77 c #Conflicts: 381000 | #Constraints: 39110 335.56/336.77 c #Conflicts: 382000 | #Constraints: 40110 335.56/336.77 c #Conflicts: 383000 | #Constraints: 41110 335.56/336.77 c #Conflicts: 384000 | #Constraints: 42111 335.56/336.77 c #Conflicts: 385000 | #Constraints: 43111 335.56/336.77 c #Conflicts: 386000 | #Constraints: 44112 335.56/336.77 c #Conflicts: 387000 | #Constraints: 45112 335.56/336.77 c INPROCESSING 335.56/336.77 c GARBAGE COLLECT 335.56/336.77 c rational objective 52 344.33/345.52 c #Conflicts: 388000 | #Constraints: 23679 344.33/345.52 c #Conflicts: 389000 | #Constraints: 24726 344.33/345.52 c #Conflicts: 390000 | #Constraints: 25760 344.33/345.52 c #Conflicts: 391000 | #Constraints: 26792 344.33/345.52 c #Conflicts: 392000 | #Constraints: 27832 344.33/345.52 c #Conflicts: 393000 | #Constraints: 28867 344.33/345.52 c #Conflicts: 394000 | #Constraints: 29911 344.33/345.52 c #Conflicts: 395000 | #Constraints: 30954 344.33/345.52 c #Conflicts: 396000 | #Constraints: 31993 344.33/345.52 c #Conflicts: 397000 | #Constraints: 33027 344.33/345.52 c #Conflicts: 398000 | #Constraints: 34063 344.33/345.52 c #Conflicts: 399000 | #Constraints: 35093 344.33/345.52 c #Conflicts: 400000 | #Constraints: 36120 344.33/345.52 c #Conflicts: 401000 | #Constraints: 37147 344.33/345.52 c INPROCESSING 344.33/345.52 c GARBAGE COLLECT 344.33/345.52 c rational objective 52 352.30/353.58 c #Conflicts: 402000 | #Constraints: 19618 352.30/353.58 c #Conflicts: 403000 | #Constraints: 20655 352.30/353.58 c #Conflicts: 404000 | #Constraints: 21697 352.30/353.58 c #Conflicts: 405000 | #Constraints: 22725 352.30/353.58 c #Conflicts: 406000 | #Constraints: 23760 352.30/353.58 c #Conflicts: 407000 | #Constraints: 24799 352.30/353.58 c #Conflicts: 408000 | #Constraints: 25836 352.30/353.58 c #Conflicts: 409000 | #Constraints: 26878 352.30/353.58 c #Conflicts: 410000 | #Constraints: 27906 352.30/353.58 c #Conflicts: 411000 | #Constraints: 28935 352.30/353.58 c #Conflicts: 412000 | #Constraints: 29968 352.30/353.58 c #Conflicts: 413000 | #Constraints: 31005 352.30/353.58 c #Conflicts: 414000 | #Constraints: 32037 352.30/353.58 c #Conflicts: 415000 | #Constraints: 33069 352.30/353.58 c #Conflicts: 416000 | #Constraints: 34102 352.30/353.58 c INPROCESSING 352.30/353.58 c GARBAGE COLLECT 352.30/353.58 c rational objective 52 598.19/600.29 c #Conflicts: 417000 | #Constraints: 18434 598.19/600.29 c #Conflicts: 418000 | #Constraints: 19434 598.19/600.29 c #Conflicts: 419000 | #Constraints: 20435 598.19/600.29 c #Conflicts: 420000 | #Constraints: 21435 598.19/600.29 c #Conflicts: 421000 | #Constraints: 22436 598.19/600.29 c #Conflicts: 422000 | #Constraints: 23436 598.19/600.29 c #Conflicts: 423000 | #Constraints: 24436 598.19/600.29 c #Conflicts: 424000 | #Constraints: 25437 598.19/600.29 c #Conflicts: 425000 | #Constraints: 26438 598.19/600.29 c #Conflicts: 426000 | #Constraints: 27438 598.19/600.29 c #Conflicts: 427000 | #Constraints: 28439 598.19/600.29 c #Conflicts: 428000 | #Constraints: 29440 598.19/600.29 c #Conflicts: 429000 | #Constraints: 30440 598.19/600.29 c #Conflicts: 430000 | #Constraints: 31441 598.19/600.29 c #Conflicts: 431000 | #Constraints: 32441 598.19/600.29 c #Conflicts: 432000 | #Constraints: 33441 598.19/600.29 c #Conflicts: 433000 | #Constraints: 34441 598.19/600.29 c #Conflicts: 434000 | #Constraints: 35441 598.19/600.29 c #Conflicts: 435000 | #Constraints: 36441 598.19/600.29 c #Conflicts: 436000 | #Constraints: 37442 598.19/600.29 c #Conflicts: 437000 | #Constraints: 38442 598.19/600.29 c #Conflicts: 438000 | #Constraints: 39442 598.19/600.29 c #Conflicts: 439000 | #Constraints: 40442 598.19/600.29 c #Conflicts: 440000 | #Constraints: 41442 598.19/600.29 c #Conflicts: 441000 | #Constraints: 42443 598.19/600.29 c #Conflicts: 442000 | #Constraints: 43443 598.19/600.29 c #Conflicts: 443000 | #Constraints: 44443 598.19/600.29 c #Conflicts: 444000 | #Constraints: 45443 598.19/600.29 c #Conflicts: 445000 | #Constraints: 46443 598.19/600.29 c #Conflicts: 446000 | #Constraints: 47443 598.19/600.29 c #Conflicts: 447000 | #Constraints: 48443 598.19/600.29 c #Conflicts: 448000 | #Constraints: 49443 598.19/600.29 c #Conflicts: 449000 | #Constraints: 50443 598.19/600.29 c #Conflicts: 450000 | #Constraints: 51444 598.19/600.29 c #Conflicts: 451000 | #Constraints: 52444 598.19/600.29 c #Conflicts: 452000 | #Constraints: 53444 598.19/600.29 c #Conflicts: 453000 | #Constraints: 54444 598.19/600.29 c #Conflicts: 454000 | #Constraints: 55445 598.19/600.29 c #Conflicts: 455000 | #Constraints: 56445 598.19/600.29 c #Conflicts: 456000 | #Constraints: 57446 598.19/600.29 c #Conflicts: 457000 | #Constraints: 58446 598.19/600.29 c #Conflicts: 458000 | #Constraints: 59446 598.19/600.29 c #Conflicts: 459000 | #Constraints: 60446 598.19/600.29 c #Conflicts: 460000 | #Constraints: 61446 598.19/600.29 c #Conflicts: 461000 | #Constraints: 62446 598.19/600.29 c #Conflicts: 462000 | #Constraints: 63446 598.19/600.29 c #Conflicts: 463000 | #Constraints: 64446 598.19/600.29 c #Conflicts: 464000 | #Constraints: 65446 598.19/600.29 c #Conflicts: 465000 | #Constraints: 66446 598.19/600.29 c #Conflicts: 466000 | #Constraints: 67446 598.19/600.29 c #Conflicts: 467000 | #Constraints: 68446 598.19/600.29 c INPROCESSING 598.19/600.29 c GARBAGE COLLECT 598.19/600.29 c rational objective 52 615.84/617.91 c #Conflicts: 468000 | #Constraints: 35437 615.84/617.91 c #Conflicts: 469000 | #Constraints: 36461 615.84/617.91 c #Conflicts: 470000 | #Constraints: 37482 615.84/617.91 c #Conflicts: 471000 | #Constraints: 38508 615.84/617.91 c #Conflicts: 472000 | #Constraints: 39546 615.84/617.91 c #Conflicts: 473000 | #Constraints: 40574 615.84/617.91 c #Conflicts: 474000 | #Constraints: 41600 615.84/617.91 c #Conflicts: 475000 | #Constraints: 42626 615.84/617.91 c #Conflicts: 476000 | #Constraints: 43646 615.84/617.91 c #Conflicts: 477000 | #Constraints: 44673 615.84/617.91 c #Conflicts: 478000 | #Constraints: 45691 615.84/617.91 c #Conflicts: 479000 | #Constraints: 46723 615.84/617.91 c #Conflicts: 480000 | #Constraints: 47755 615.84/617.91 c #Conflicts: 481000 | #Constraints: 48781 615.84/617.91 c #Conflicts: 482000 | #Constraints: 49803 615.84/617.91 c #Conflicts: 483000 | #Constraints: 50827 615.84/617.91 c INPROCESSING 615.84/617.91 c GARBAGE COLLECT 615.84/617.91 c rational objective 52 628.39/630.55 c #Conflicts: 484000 | #Constraints: 26833 628.39/630.55 c #Conflicts: 485000 | #Constraints: 27870 628.39/630.55 c #Conflicts: 486000 | #Constraints: 28912 628.39/630.55 c #Conflicts: 487000 | #Constraints: 29955 628.39/630.55 c #Conflicts: 488000 | #Constraints: 30998 628.39/630.55 c #Conflicts: 489000 | #Constraints: 32032 628.39/630.55 c #Conflicts: 490000 | #Constraints: 33060 628.39/630.55 c #Conflicts: 491000 | #Constraints: 34094 628.39/630.55 c #Conflicts: 492000 | #Constraints: 35121 628.39/630.55 c #Conflicts: 493000 | #Constraints: 36149 628.39/630.55 c #Conflicts: 494000 | #Constraints: 37185 628.39/630.55 c #Conflicts: 495000 | #Constraints: 38224 628.39/630.55 c #Conflicts: 496000 | #Constraints: 39268 628.39/630.55 c #Conflicts: 497000 | #Constraints: 40299 628.39/630.55 c #Conflicts: 498000 | #Constraints: 41340 628.39/630.55 c INPROCESSING 628.39/630.55 c GARBAGE COLLECT 628.39/630.55 c rational objective 52 694.77/697.12 c #Conflicts: 499000 | #Constraints: 21677 694.77/697.12 c #Conflicts: 500000 | #Constraints: 22718 694.77/697.12 c #Conflicts: 501000 | #Constraints: 23757 694.77/697.12 c #Conflicts: 502000 | #Constraints: 24787 694.77/697.12 c #Conflicts: 503000 | #Constraints: 25827 694.77/697.12 c #Conflicts: 504000 | #Constraints: 26858 694.77/697.12 c #Conflicts: 505000 | #Constraints: 27887 694.77/697.12 c #Conflicts: 506000 | #Constraints: 28928 694.77/697.12 c #Conflicts: 507000 | #Constraints: 29950 694.77/697.12 c #Conflicts: 508000 | #Constraints: 30977 694.77/697.12 c #Conflicts: 509000 | #Constraints: 32009 694.77/697.12 c #Conflicts: 510000 | #Constraints: 33036 694.77/697.12 c #Conflicts: 511000 | #Constraints: 34071 694.77/697.12 c #Conflicts: 512000 | #Constraints: 35091 694.77/697.12 c #Conflicts: 513000 | #Constraints: 36125 694.77/697.12 c #Conflicts: 514000 | #Constraints: 37166 694.77/697.12 c #Conflicts: 515000 | #Constraints: 38196 694.77/697.12 c #Conflicts: 516000 | #Constraints: 39231 694.77/697.12 c #Conflicts: 517000 | #Constraints: 40272 694.77/697.12 c #Conflicts: 518000 | #Constraints: 41306 694.77/697.12 c #Conflicts: 519000 | #Constraints: 42349 694.77/697.12 c #Conflicts: 520000 | #Constraints: 43389 694.77/697.12 c #Conflicts: 521000 | #Constraints: 44426 694.77/697.12 c #Conflicts: 522000 | #Constraints: 45454 694.77/697.12 c #Conflicts: 523000 | #Constraints: 46477 694.77/697.12 c #Conflicts: 524000 | #Constraints: 47510 694.77/697.12 c #Conflicts: 525000 | #Constraints: 48537 694.77/697.12 c #Conflicts: 526000 | #Constraints: 49563 694.77/697.12 c #Conflicts: 527000 | #Constraints: 50593 694.77/697.12 c #Conflicts: 528000 | #Constraints: 51624 694.77/697.12 c #Conflicts: 529000 | #Constraints: 52658 694.77/697.12 c #Conflicts: 530000 | #Constraints: 53688 694.77/697.12 c #Conflicts: 531000 | #Constraints: 54705 694.77/697.12 c #Conflicts: 532000 | #Constraints: 55738 694.77/697.12 c #Conflicts: 533000 | #Constraints: 56764 694.77/697.12 c #Conflicts: 534000 | #Constraints: 57784 694.77/697.12 c #Conflicts: 535000 | #Constraints: 58810 694.77/697.12 c #Conflicts: 536000 | #Constraints: 59833 694.77/697.12 c #Conflicts: 537000 | #Constraints: 60850 694.77/697.12 c #Conflicts: 538000 | #Constraints: 61879 694.77/697.12 c #Conflicts: 539000 | #Constraints: 62917 694.77/697.12 c #Conflicts: 540000 | #Constraints: 63946 694.77/697.12 c #Conflicts: 541000 | #Constraints: 64967 694.77/697.12 c #Conflicts: 542000 | #Constraints: 65988 694.77/697.12 c #Conflicts: 543000 | #Constraints: 67011 694.77/697.12 c #Conflicts: 544000 | #Constraints: 68031 694.77/697.12 c #Conflicts: 545000 | #Constraints: 69049 694.77/697.12 c #Conflicts: 546000 | #Constraints: 70075 694.77/697.12 c #Conflicts: 547000 | #Constraints: 71105 694.77/697.12 c #Conflicts: 548000 | #Constraints: 72132 694.77/697.12 c #Conflicts: 549000 | #Constraints: 73166 694.77/697.12 c #Conflicts: 550000 | #Constraints: 74197 694.77/697.12 c #Conflicts: 551000 | #Constraints: 75228 694.77/697.12 c #Conflicts: 552000 | #Constraints: 76263 694.77/697.12 c #Conflicts: 553000 | #Constraints: 77288 694.77/697.12 c #Conflicts: 554000 | #Constraints: 78319 694.77/697.12 c INPROCESSING 694.77/697.12 c GARBAGE COLLECT 694.77/697.12 c rational objective 52 713.61/716.08 c #Conflicts: 555000 | #Constraints: 40371 713.61/716.08 c #Conflicts: 556000 | #Constraints: 41403 713.61/716.08 c #Conflicts: 557000 | #Constraints: 42437 713.61/716.08 c #Conflicts: 558000 | #Constraints: 43462 713.61/716.08 c #Conflicts: 559000 | #Constraints: 44483 713.61/716.08 c #Conflicts: 560000 | #Constraints: 45506 713.61/716.08 c #Conflicts: 561000 | #Constraints: 46531 713.61/716.08 c #Conflicts: 562000 | #Constraints: 47548 713.61/716.08 c #Conflicts: 563000 | #Constraints: 48574 713.61/716.08 c #Conflicts: 564000 | #Constraints: 49605 713.61/716.08 c #Conflicts: 565000 | #Constraints: 50641 713.61/716.08 c #Conflicts: 566000 | #Constraints: 51665 713.61/716.08 c #Conflicts: 567000 | #Constraints: 52685 713.61/716.08 c #Conflicts: 568000 | #Constraints: 53717 713.61/716.08 c #Conflicts: 569000 | #Constraints: 54752 713.61/716.08 c #Conflicts: 570000 | #Constraints: 55772 713.61/716.08 c #Conflicts: 571000 | #Constraints: 56791 713.61/716.08 c INPROCESSING 713.61/716.08 c GARBAGE COLLECT 713.61/716.08 c rational objective 52 727.25/729.75 c #Conflicts: 572000 | #Constraints: 29551 727.25/729.75 c #Conflicts: 573000 | #Constraints: 30586 727.25/729.75 c #Conflicts: 574000 | #Constraints: 31617 727.25/729.75 c #Conflicts: 575000 | #Constraints: 32645 727.25/729.75 c #Conflicts: 576000 | #Constraints: 33672 727.25/729.75 c #Conflicts: 577000 | #Constraints: 34693 727.25/729.75 c #Conflicts: 578000 | #Constraints: 35711 727.25/729.75 c #Conflicts: 579000 | #Constraints: 36738 727.25/729.75 c #Conflicts: 580000 | #Constraints: 37761 727.25/729.75 c #Conflicts: 581000 | #Constraints: 38779 727.25/729.75 c #Conflicts: 582000 | #Constraints: 39795 727.25/729.75 c #Conflicts: 583000 | #Constraints: 40822 727.25/729.75 c #Conflicts: 584000 | #Constraints: 41853 727.25/729.75 c #Conflicts: 585000 | #Constraints: 42871 727.25/729.75 c #Conflicts: 586000 | #Constraints: 43897 727.25/729.75 c #Conflicts: 587000 | #Constraints: 44919 727.25/729.75 c #Conflicts: 588000 | #Constraints: 45945 727.25/729.75 c INPROCESSING 727.25/729.75 c GARBAGE COLLECT 727.25/729.75 c rational objective 52 738.32/740.89 c #Conflicts: 589000 | #Constraints: 23968 738.32/740.89 c #Conflicts: 590000 | #Constraints: 24990 738.32/740.89 c #Conflicts: 591000 | #Constraints: 26021 738.32/740.89 c #Conflicts: 592000 | #Constraints: 27051 738.32/740.89 c #Conflicts: 593000 | #Constraints: 28076 738.32/740.89 c #Conflicts: 594000 | #Constraints: 29102 738.32/740.89 c #Conflicts: 595000 | #Constraints: 30134 738.32/740.89 c #Conflicts: 596000 | #Constraints: 31156 738.32/740.89 c #Conflicts: 597000 | #Constraints: 32178 738.32/740.89 c #Conflicts: 598000 | #Constraints: 33202 738.32/740.89 c #Conflicts: 599000 | #Constraints: 34229 738.32/740.89 c #Conflicts: 600000 | #Constraints: 35260 738.32/740.89 c #Conflicts: 601000 | #Constraints: 36288 738.32/740.89 c #Conflicts: 602000 | #Constraints: 37307 738.32/740.89 c #Conflicts: 603000 | #Constraints: 38334 738.32/740.89 c #Conflicts: 604000 | #Constraints: 39358 738.32/740.89 c #Conflicts: 605000 | #Constraints: 40383 738.32/740.89 c #Conflicts: 606000 | #Constraints: 41406 738.32/740.89 c INPROCESSING 738.32/740.89 c GARBAGE COLLECT 738.32/740.89 c rational objective 52 818.75/821.52 c #Conflicts: 607000 | #Constraints: 21967 818.75/821.52 c #Conflicts: 608000 | #Constraints: 23017 818.75/821.52 c #Conflicts: 609000 | #Constraints: 24056 818.75/821.52 c #Conflicts: 610000 | #Constraints: 25096 818.75/821.52 c #Conflicts: 611000 | #Constraints: 26126 818.75/821.52 c #Conflicts: 612000 | #Constraints: 27161 818.75/821.52 c #Conflicts: 613000 | #Constraints: 28192 818.75/821.52 c #Conflicts: 614000 | #Constraints: 29223 818.75/821.52 c #Conflicts: 615000 | #Constraints: 30251 818.75/821.52 c #Conflicts: 616000 | #Constraints: 31283 818.75/821.52 c #Conflicts: 617000 | #Constraints: 32312 818.75/821.52 c #Conflicts: 618000 | #Constraints: 33347 818.75/821.52 c #Conflicts: 619000 | #Constraints: 34375 818.75/821.52 c #Conflicts: 620000 | #Constraints: 35413 818.75/821.52 c #Conflicts: 621000 | #Constraints: 36447 818.75/821.52 c #Conflicts: 622000 | #Constraints: 37478 818.75/821.52 c #Conflicts: 623000 | #Constraints: 38517 818.75/821.52 c #Conflicts: 624000 | #Constraints: 39551 818.75/821.52 c #Conflicts: 625000 | #Constraints: 40584 818.75/821.52 c #Conflicts: 626000 | #Constraints: 41616 818.75/821.52 c #Conflicts: 627000 | #Constraints: 42644 818.75/821.52 c #Conflicts: 628000 | #Constraints: 43660 818.75/821.52 c #Conflicts: 629000 | #Constraints: 44692 818.75/821.52 c #Conflicts: 630000 | #Constraints: 45717 818.75/821.52 c #Conflicts: 631000 | #Constraints: 46734 818.75/821.52 c #Conflicts: 632000 | #Constraints: 47763 818.75/821.52 c #Conflicts: 633000 | #Constraints: 48788 818.75/821.52 c #Conflicts: 634000 | #Constraints: 49815 818.75/821.52 c #Conflicts: 635000 | #Constraints: 50840 818.75/821.52 c #Conflicts: 636000 | #Constraints: 51866 818.75/821.52 c #Conflicts: 637000 | #Constraints: 52895 818.75/821.52 c #Conflicts: 638000 | #Constraints: 53922 818.75/821.52 c #Conflicts: 639000 | #Constraints: 54944 818.75/821.52 c #Conflicts: 640000 | #Constraints: 55967 818.75/821.52 c #Conflicts: 641000 | #Constraints: 56996 818.75/821.52 c #Conflicts: 642000 | #Constraints: 58028 818.75/821.52 c #Conflicts: 643000 | #Constraints: 59052 818.75/821.52 c #Conflicts: 644000 | #Constraints: 60072 818.75/821.52 c #Conflicts: 645000 | #Constraints: 61092 818.75/821.52 c #Conflicts: 646000 | #Constraints: 62118 818.75/821.52 c #Conflicts: 647000 | #Constraints: 63139 818.75/821.52 c #Conflicts: 648000 | #Constraints: 64166 818.75/821.52 c #Conflicts: 649000 | #Constraints: 65194 818.75/821.52 c #Conflicts: 650000 | #Constraints: 66221 818.75/821.52 c #Conflicts: 651000 | #Constraints: 67253 818.75/821.52 c #Conflicts: 652000 | #Constraints: 68287 818.75/821.52 c #Conflicts: 653000 | #Constraints: 69322 818.75/821.52 c #Conflicts: 654000 | #Constraints: 70358 818.75/821.52 c #Conflicts: 655000 | #Constraints: 71394 818.75/821.52 c #Conflicts: 656000 | #Constraints: 72427 818.75/821.52 c #Conflicts: 657000 | #Constraints: 73450 818.75/821.52 c #Conflicts: 658000 | #Constraints: 74481 818.75/821.52 c #Conflicts: 659000 | #Constraints: 75512 818.75/821.52 c #Conflicts: 660000 | #Constraints: 76544 818.75/821.52 c #Conflicts: 661000 | #Constraints: 77572 818.75/821.52 c #Conflicts: 662000 | #Constraints: 78594 818.75/821.52 c #Conflicts: 663000 | #Constraints: 79621 818.75/821.52 c #Conflicts: 664000 | #Constraints: 80636 818.75/821.52 c #Conflicts: 665000 | #Constraints: 81653 818.75/821.52 c #Conflicts: 666000 | #Constraints: 82678 818.75/821.52 c #Conflicts: 667000 | #Constraints: 83704 818.75/821.52 c INPROCESSING 818.75/821.52 c GARBAGE COLLECT 818.75/821.52 c rational objective 52 915.94/919.04 c #Conflicts: 668000 | #Constraints: 43140 915.94/919.04 c #Conflicts: 669000 | #Constraints: 44141 915.94/919.04 c #Conflicts: 670000 | #Constraints: 45141 915.94/919.04 c #Conflicts: 671000 | #Constraints: 46141 915.94/919.04 c #Conflicts: 672000 | #Constraints: 47141 915.94/919.04 c #Conflicts: 673000 | #Constraints: 48142 915.94/919.04 c #Conflicts: 674000 | #Constraints: 49143 915.94/919.04 c #Conflicts: 675000 | #Constraints: 50143 915.94/919.04 c #Conflicts: 676000 | #Constraints: 51143 915.94/919.04 c #Conflicts: 677000 | #Constraints: 52143 915.94/919.04 c #Conflicts: 678000 | #Constraints: 53143 915.94/919.04 c #Conflicts: 679000 | #Constraints: 54143 915.94/919.04 c #Conflicts: 680000 | #Constraints: 55143 915.94/919.04 c #Conflicts: 681000 | #Constraints: 56143 915.94/919.04 c #Conflicts: 682000 | #Constraints: 57143 915.94/919.04 c #Conflicts: 683000 | #Constraints: 58143 915.94/919.04 c #Conflicts: 684000 | #Constraints: 59145 915.94/919.04 c #Conflicts: 685000 | #Constraints: 60146 915.94/919.04 c #Conflicts: 686000 | #Constraints: 61146 915.94/919.04 c INPROCESSING 915.94/919.04 c GARBAGE COLLECT 915.94/919.04 c rational objective 52 932.78/936.01 c #Conflicts: 687000 | #Constraints: 32008 932.78/936.01 c #Conflicts: 688000 | #Constraints: 33050 932.78/936.01 c #Conflicts: 689000 | #Constraints: 34086 932.78/936.01 c #Conflicts: 690000 | #Constraints: 35126 932.78/936.01 c #Conflicts: 691000 | #Constraints: 36153 932.78/936.01 c #Conflicts: 692000 | #Constraints: 37186 932.78/936.01 c #Conflicts: 693000 | #Constraints: 38216 932.78/936.01 c #Conflicts: 694000 | #Constraints: 39255 932.78/936.01 c #Conflicts: 695000 | #Constraints: 40296 932.78/936.01 c #Conflicts: 696000 | #Constraints: 41338 932.78/936.01 c #Conflicts: 697000 | #Constraints: 42375 932.78/936.01 c #Conflicts: 698000 | #Constraints: 43409 932.78/936.01 c #Conflicts: 699000 | #Constraints: 44440 932.78/936.01 c #Conflicts: 700000 | #Constraints: 45471 932.78/936.01 c #Conflicts: 701000 | #Constraints: 46503 932.78/936.01 c #Conflicts: 702000 | #Constraints: 47535 932.78/936.01 c #Conflicts: 703000 | #Constraints: 48552 932.78/936.01 c #Conflicts: 704000 | #Constraints: 49578 932.78/936.01 c #Conflicts: 705000 | #Constraints: 50610 932.78/936.01 c INPROCESSING 932.78/936.01 c GARBAGE COLLECT 932.78/936.01 c rational objective 52 948.03/951.25 c #Conflicts: 706000 | #Constraints: 26715 948.03/951.25 c #Conflicts: 707000 | #Constraints: 27754 948.03/951.25 c #Conflicts: 708000 | #Constraints: 28786 948.03/951.25 c #Conflicts: 709000 | #Constraints: 29814 948.03/951.25 c #Conflicts: 710000 | #Constraints: 30841 948.03/951.25 c #Conflicts: 711000 | #Constraints: 31868 948.03/951.25 c #Conflicts: 712000 | #Constraints: 32906 948.03/951.25 c #Conflicts: 713000 | #Constraints: 33941 948.03/951.25 c #Conflicts: 714000 | #Constraints: 34986 948.03/951.25 c #Conflicts: 715000 | #Constraints: 36014 948.03/951.25 c #Conflicts: 716000 | #Constraints: 37050 948.03/951.25 c #Conflicts: 717000 | #Constraints: 38070 948.03/951.25 c #Conflicts: 718000 | #Constraints: 39101 948.03/951.25 c #Conflicts: 719000 | #Constraints: 40129 948.03/951.25 c #Conflicts: 720000 | #Constraints: 41171 948.03/951.25 c #Conflicts: 721000 | #Constraints: 42203 948.03/951.25 c #Conflicts: 722000 | #Constraints: 43232 948.03/951.25 c #Conflicts: 723000 | #Constraints: 44266 948.03/951.25 c #Conflicts: 724000 | #Constraints: 45281 948.03/951.25 c INPROCESSING 948.03/951.25 c GARBAGE COLLECT 948.03/951.25 c rational objective 52 1060.34/1063.96 c #Conflicts: 725000 | #Constraints: 24437 1060.34/1063.96 c #Conflicts: 726000 | #Constraints: 25487 1060.34/1063.96 c #Conflicts: 727000 | #Constraints: 26531 1060.34/1063.96 c #Conflicts: 728000 | #Constraints: 27582 1060.34/1063.96 c #Conflicts: 729000 | #Constraints: 28611 1060.34/1063.96 c #Conflicts: 730000 | #Constraints: 29633 1060.34/1063.96 c #Conflicts: 731000 | #Constraints: 30662 1060.34/1063.96 c #Conflicts: 732000 | #Constraints: 31695 1060.34/1063.96 c #Conflicts: 733000 | #Constraints: 32722 1060.34/1063.96 c #Conflicts: 734000 | #Constraints: 33746 1060.34/1063.96 c #Conflicts: 735000 | #Constraints: 34781 1060.34/1063.96 c #Conflicts: 736000 | #Constraints: 35810 1060.34/1063.96 c #Conflicts: 737000 | #Constraints: 36838 1060.34/1063.96 c #Conflicts: 738000 | #Constraints: 37866 1060.34/1063.96 c #Conflicts: 739000 | #Constraints: 38898 1060.34/1063.96 c #Conflicts: 740000 | #Constraints: 39924 1060.34/1063.96 c #Conflicts: 741000 | #Constraints: 40959 1060.34/1063.96 c #Conflicts: 742000 | #Constraints: 41985 1060.34/1063.96 c #Conflicts: 743000 | #Constraints: 43011 1060.34/1063.96 c #Conflicts: 744000 | #Constraints: 44028 1060.34/1063.96 c #Conflicts: 745000 | #Constraints: 45056 1060.34/1063.96 c #Conflicts: 746000 | #Constraints: 46089 1060.34/1063.96 c #Conflicts: 747000 | #Constraints: 47113 1060.34/1063.96 c #Conflicts: 748000 | #Constraints: 48147 1060.34/1063.96 c #Conflicts: 749000 | #Constraints: 49176 1060.34/1063.96 c #Conflicts: 750000 | #Constraints: 50202 1060.34/1063.96 c #Conflicts: 751000 | #Constraints: 51227 1060.34/1063.96 c #Conflicts: 752000 | #Constraints: 52253 1060.34/1063.96 c #Conflicts: 753000 | #Constraints: 53277 1060.34/1063.96 c #Conflicts: 754000 | #Constraints: 54311 1060.34/1063.96 c #Conflicts: 755000 | #Constraints: 55336 1060.34/1063.96 c #Conflicts: 756000 | #Constraints: 56356 1060.34/1063.96 c #Conflicts: 757000 | #Constraints: 57388 1060.34/1063.96 c #Conflicts: 758000 | #Constraints: 58428 1060.34/1063.96 c #Conflicts: 759000 | #Constraints: 59462 1060.34/1063.96 c #Conflicts: 760000 | #Constraints: 60491 1060.34/1063.96 c #Conflicts: 761000 | #Constraints: 61523 1060.34/1063.96 c #Conflicts: 762000 | #Constraints: 62555 1060.34/1063.96 c #Conflicts: 763000 | #Constraints: 63575 1060.34/1063.96 c #Conflicts: 764000 | #Constraints: 64591 1060.34/1063.96 c #Conflicts: 765000 | #Constraints: 65611 1060.34/1063.96 c #Conflicts: 766000 | #Constraints: 66633 1060.34/1063.96 c #Conflicts: 767000 | #Constraints: 67653 1060.34/1063.96 c #Conflicts: 768000 | #Constraints: 68673 1060.34/1063.96 c #Conflicts: 769000 | #Constraints: 69698 1060.34/1063.96 c #Conflicts: 770000 | #Constraints: 70718 1060.34/1063.96 c #Conflicts: 771000 | #Constraints: 71736 1060.34/1063.96 c #Conflicts: 772000 | #Constraints: 72747 1060.34/1063.96 c #Conflicts: 773000 | #Constraints: 73768 1060.34/1063.96 c #Conflicts: 774000 | #Constraints: 74783 1060.34/1063.96 c #Conflicts: 775000 | #Constraints: 75807 1060.34/1063.96 c #Conflicts: 776000 | #Constraints: 76824 1060.34/1063.96 c #Conflicts: 777000 | #Constraints: 77856 1060.34/1063.96 c #Conflicts: 778000 | #Constraints: 78881 1060.34/1063.96 c #Conflicts: 779000 | #Constraints: 79903 1060.34/1063.96 c #Conflicts: 780000 | #Constraints: 80929 1060.34/1063.96 c #Conflicts: 781000 | #Constraints: 81959 1060.34/1063.96 c #Conflicts: 782000 | #Constraints: 82982 1060.34/1063.96 c #Conflicts: 783000 | #Constraints: 84017 1060.34/1063.96 c #Conflicts: 784000 | #Constraints: 85046 1060.34/1063.96 c #Conflicts: 785000 | #Constraints: 86080 1060.34/1063.96 c #Conflicts: 786000 | #Constraints: 87105 1060.34/1063.96 c #Conflicts: 787000 | #Constraints: 88134 1060.34/1063.96 c #Conflicts: 788000 | #Constraints: 89165 1060.34/1063.96 c #Conflicts: 789000 | #Constraints: 90181 1060.34/1063.96 c #Conflicts: 790000 | #Constraints: 91200 1060.34/1063.96 c INPROCESSING 1060.34/1063.96 c GARBAGE COLLECT 1060.34/1063.96 c rational objective 52 1197.80/1201.82 c #Conflicts: 791000 | #Constraints: 46794 1197.80/1201.82 c #Conflicts: 792000 | #Constraints: 47794 1197.80/1201.82 c #Conflicts: 793000 | #Constraints: 48794 1197.80/1201.82 c #Conflicts: 794000 | #Constraints: 49795 1197.80/1201.82 c #Conflicts: 795000 | #Constraints: 50796 1197.80/1201.82 c #Conflicts: 796000 | #Constraints: 51797 1197.80/1201.82 c #Conflicts: 797000 | #Constraints: 52798 1197.80/1201.82 c #Conflicts: 798000 | #Constraints: 53798 1197.80/1201.82 c #Conflicts: 799000 | #Constraints: 54798 1197.80/1201.82 c #Conflicts: 800000 | #Constraints: 55798 1197.80/1201.82 c #Conflicts: 801000 | #Constraints: 56798 1197.80/1201.82 c #Conflicts: 802000 | #Constraints: 57798 1197.80/1201.82 c #Conflicts: 803000 | #Constraints: 58798 1197.80/1201.82 c #Conflicts: 804000 | #Constraints: 59798 1197.80/1201.82 c #Conflicts: 805000 | #Constraints: 60798 1197.80/1201.82 c #Conflicts: 806000 | #Constraints: 61798 1197.80/1201.82 c #Conflicts: 807000 | #Constraints: 62798 1197.80/1201.82 c #Conflicts: 808000 | #Constraints: 63798 1197.80/1201.82 c #Conflicts: 809000 | #Constraints: 64799 1197.80/1201.82 c #Conflicts: 810000 | #Constraints: 65799 1197.80/1201.82 c INPROCESSING 1197.80/1201.82 c GARBAGE COLLECT 1197.80/1201.82 c rational objective 52 1218.05/1222.16 c #Conflicts: 811000 | #Constraints: 33876 1218.05/1222.16 c #Conflicts: 812000 | #Constraints: 34927 1218.05/1222.16 c #Conflicts: 813000 | #Constraints: 35973 1218.05/1222.16 c #Conflicts: 814000 | #Constraints: 37012 1218.05/1222.16 c #Conflicts: 815000 | #Constraints: 38048 1218.05/1222.16 c #Conflicts: 816000 | #Constraints: 39078 1218.05/1222.16 c #Conflicts: 817000 | #Constraints: 40112 1218.05/1222.16 c #Conflicts: 818000 | #Constraints: 41149 1218.05/1222.16 c #Conflicts: 819000 | #Constraints: 42177 1218.05/1222.16 c #Conflicts: 820000 | #Constraints: 43206 1218.05/1222.16 c #Conflicts: 821000 | #Constraints: 44233 1218.05/1222.16 c #Conflicts: 822000 | #Constraints: 45267 1218.05/1222.16 c #Conflicts: 823000 | #Constraints: 46295 1218.05/1222.16 c #Conflicts: 824000 | #Constraints: 47326 1218.05/1222.16 c #Conflicts: 825000 | #Constraints: 48348 1218.05/1222.16 c #Conflicts: 826000 | #Constraints: 49378 1218.05/1222.16 c #Conflicts: 827000 | #Constraints: 50415 1218.05/1222.16 c #Conflicts: 828000 | #Constraints: 51441 1218.05/1222.16 c #Conflicts: 829000 | #Constraints: 52471 1218.05/1222.16 c #Conflicts: 830000 | #Constraints: 53495 1218.05/1222.16 c #Conflicts: 831000 | #Constraints: 54517 1218.05/1222.16 c INPROCESSING 1218.05/1222.16 c GARBAGE COLLECT 1218.05/1222.16 c rational objective 52 1365.27/1369.80 c #Conflicts: 832000 | #Constraints: 28344 1365.27/1369.80 c #Conflicts: 833000 | #Constraints: 29344 1365.27/1369.80 c #Conflicts: 834000 | #Constraints: 30345 1365.27/1369.80 c #Conflicts: 835000 | #Constraints: 31345 1365.27/1369.80 c #Conflicts: 836000 | #Constraints: 32345 1365.27/1369.80 c #Conflicts: 837000 | #Constraints: 33345 1365.27/1369.80 c #Conflicts: 838000 | #Constraints: 34345 1365.27/1369.80 c #Conflicts: 839000 | #Constraints: 35345 1365.27/1369.80 c #Conflicts: 840000 | #Constraints: 36345 1365.27/1369.80 c #Conflicts: 841000 | #Constraints: 37345 1365.27/1369.80 c #Conflicts: 842000 | #Constraints: 38345 1365.27/1369.80 c #Conflicts: 843000 | #Constraints: 39346 1365.27/1369.80 c #Conflicts: 844000 | #Constraints: 40346 1365.27/1369.80 c #Conflicts: 845000 | #Constraints: 41346 1365.27/1369.80 c #Conflicts: 846000 | #Constraints: 42346 1365.27/1369.80 c #Conflicts: 847000 | #Constraints: 43346 1365.27/1369.80 c #Conflicts: 848000 | #Constraints: 44346 1365.27/1369.80 c #Conflicts: 849000 | #Constraints: 45347 1365.27/1369.80 c #Conflicts: 850000 | #Constraints: 46347 1365.27/1369.80 c #Conflicts: 851000 | #Constraints: 47347 1365.27/1369.80 c #Conflicts: 852000 | #Constraints: 48347 1365.27/1369.80 c INPROCESSING 1365.27/1369.80 c GARBAGE COLLECT 1365.27/1369.80 c rational objective 52 1502.73/1507.72 c #Conflicts: 853000 | #Constraints: 29592 1502.73/1507.72 c #Conflicts: 854000 | #Constraints: 30607 1502.73/1507.72 c #Conflicts: 855000 | #Constraints: 31638 1502.73/1507.72 c #Conflicts: 856000 | #Constraints: 32665 1502.73/1507.72 c #Conflicts: 857000 | #Constraints: 33699 1502.73/1507.72 c #Conflicts: 858000 | #Constraints: 34728 1502.73/1507.72 c #Conflicts: 859000 | #Constraints: 35756 1502.73/1507.72 c #Conflicts: 860000 | #Constraints: 36791 1502.73/1507.72 c #Conflicts: 861000 | #Constraints: 37825 1502.73/1507.72 c #Conflicts: 862000 | #Constraints: 38855 1502.73/1507.72 c #Conflicts: 863000 | #Constraints: 39893 1502.73/1507.72 c #Conflicts: 864000 | #Constraints: 40924 1502.73/1507.72 c #Conflicts: 865000 | #Constraints: 41957 1502.73/1507.72 c #Conflicts: 866000 | #Constraints: 42983 1502.73/1507.72 c #Conflicts: 867000 | #Constraints: 44010 1502.73/1507.72 c #Conflicts: 868000 | #Constraints: 45042 1502.73/1507.72 c #Conflicts: 869000 | #Constraints: 46063 1502.73/1507.72 c #Conflicts: 870000 | #Constraints: 47083 1502.73/1507.72 c #Conflicts: 871000 | #Constraints: 48109 1502.73/1507.72 c #Conflicts: 872000 | #Constraints: 49139 1502.73/1507.72 c #Conflicts: 873000 | #Constraints: 50164 1502.73/1507.72 c #Conflicts: 874000 | #Constraints: 51191 1502.73/1507.72 c #Conflicts: 875000 | #Constraints: 52212 1502.73/1507.72 c #Conflicts: 876000 | #Constraints: 53231 1502.73/1507.72 c #Conflicts: 877000 | #Constraints: 54254 1502.73/1507.72 c #Conflicts: 878000 | #Constraints: 55278 1502.73/1507.72 c #Conflicts: 879000 | #Constraints: 56312 1502.73/1507.72 c #Conflicts: 880000 | #Constraints: 57344 1502.73/1507.72 c #Conflicts: 881000 | #Constraints: 58378 1502.73/1507.72 c #Conflicts: 882000 | #Constraints: 59406 1502.73/1507.72 c #Conflicts: 883000 | #Constraints: 60436 1502.73/1507.72 c #Conflicts: 884000 | #Constraints: 61472 1502.73/1507.72 c #Conflicts: 885000 | #Constraints: 62502 1502.73/1507.72 c #Conflicts: 886000 | #Constraints: 63534 1502.73/1507.72 c #Conflicts: 887000 | #Constraints: 64568 1502.73/1507.72 c #Conflicts: 888000 | #Constraints: 65592 1502.73/1507.72 c #Conflicts: 889000 | #Constraints: 66615 1502.73/1507.72 c #Conflicts: 890000 | #Constraints: 67648 1502.73/1507.72 c #Conflicts: 891000 | #Constraints: 68674 1502.73/1507.72 c #Conflicts: 892000 | #Constraints: 69697 1502.73/1507.72 c #Conflicts: 893000 | #Constraints: 70721 1502.73/1507.72 c #Conflicts: 894000 | #Constraints: 71753 1502.73/1507.72 c #Conflicts: 895000 | #Constraints: 72770 1502.73/1507.72 c #Conflicts: 896000 | #Constraints: 73794 1502.73/1507.72 c #Conflicts: 897000 | #Constraints: 74819 1502.73/1507.72 c #Conflicts: 898000 | #Constraints: 75842 1502.73/1507.72 c #Conflicts: 899000 | #Constraints: 76867 1502.73/1507.72 c #Conflicts: 900000 | #Constraints: 77891 1502.73/1507.72 c #Conflicts: 901000 | #Constraints: 78915 1502.73/1507.72 c #Conflicts: 902000 | #Constraints: 79936 1502.73/1507.72 c #Conflicts: 903000 | #Constraints: 80959 1502.73/1507.72 c #Conflicts: 904000 | #Constraints: 81979 1502.73/1507.72 c #Conflicts: 905000 | #Constraints: 83003 1502.73/1507.72 c #Conflicts: 906000 | #Constraints: 84037 1502.73/1507.72 c #Conflicts: 907000 | #Constraints: 85067 1502.73/1507.72 c #Conflicts: 908000 | #Constraints: 86097 1502.73/1507.72 c #Conflicts: 909000 | #Constraints: 87126 1502.73/1507.72 c #Conflicts: 910000 | #Constraints: 88154 1502.73/1507.72 c #Conflicts: 911000 | #Constraints: 89174 1502.73/1507.72 c #Conflicts: 912000 | #Constraints: 90195 1502.73/1507.72 c #Conflicts: 913000 | #Constraints: 91212 1502.73/1507.72 c #Conflicts: 914000 | #Constraints: 92235 1502.73/1507.72 c #Conflicts: 915000 | #Constraints: 93248 1502.73/1507.72 c #Conflicts: 916000 | #Constraints: 94265 1502.73/1507.72 c #Conflicts: 917000 | #Constraints: 95296 1502.73/1507.72 c #Conflicts: 918000 | #Constraints: 96318 1502.73/1507.72 c #Conflicts: 919000 | #Constraints: 97338 1502.73/1507.72 c #Conflicts: 920000 | #Constraints: 98353 1502.73/1507.72 c #Conflicts: 921000 | #Constraints: 99375 1502.73/1507.72 c #Conflicts: 922000 | #Constraints: 100391 1502.73/1507.72 c #Conflicts: 923000 | #Constraints: 101406 1502.73/1507.72 c #Conflicts: 924000 | #Constraints: 102433 1502.73/1507.72 c INPROCESSING 1502.73/1507.72 c GARBAGE COLLECT 1502.73/1507.72 c rational objective 52 1713.66/1719.35 c #Conflicts: 925000 | #Constraints: 52603 1713.66/1719.35 c #Conflicts: 926000 | #Constraints: 53603 1713.66/1719.35 c #Conflicts: 927000 | #Constraints: 54603 1713.66/1719.35 c #Conflicts: 928000 | #Constraints: 55603 1713.66/1719.35 c #Conflicts: 929000 | #Constraints: 56604 1713.66/1719.35 c #Conflicts: 930000 | #Constraints: 57604 1713.66/1719.35 c #Conflicts: 931000 | #Constraints: 58604 1713.66/1719.35 c #Conflicts: 932000 | #Constraints: 59604 1713.66/1719.35 c #Conflicts: 933000 | #Constraints: 60604 1713.66/1719.35 c #Conflicts: 934000 | #Constraints: 61604 1713.66/1719.35 c #Conflicts: 935000 | #Constraints: 62604 1713.66/1719.35 c #Conflicts: 936000 | #Constraints: 63604 1713.66/1719.35 c #Conflicts: 937000 | #Constraints: 64605 1713.66/1719.35 c #Conflicts: 938000 | #Constraints: 65605 1713.66/1719.35 c #Conflicts: 939000 | #Constraints: 66605 1713.66/1719.35 c #Conflicts: 940000 | #Constraints: 67605 1713.66/1719.35 c #Conflicts: 941000 | #Constraints: 68605 1713.66/1719.35 c #Conflicts: 942000 | #Constraints: 69605 1713.66/1719.35 c #Conflicts: 943000 | #Constraints: 70605 1713.66/1719.35 c #Conflicts: 944000 | #Constraints: 71605 1713.66/1719.35 c #Conflicts: 945000 | #Constraints: 72605 1713.66/1719.35 c #Conflicts: 946000 | #Constraints: 73605 1713.66/1719.35 c INPROCESSING 1713.66/1719.35 c GARBAGE COLLECT 1713.66/1719.35 c rational objective 52 1743.46/1749.22 c #Conflicts: 947000 | #Constraints: 38134 1743.46/1749.22 c #Conflicts: 948000 | #Constraints: 39173 1743.46/1749.22 c #Conflicts: 949000 | #Constraints: 40211 1743.46/1749.22 c #Conflicts: 950000 | #Constraints: 41253 1743.46/1749.22 c #Conflicts: 951000 | #Constraints: 42283 1743.46/1749.22 c #Conflicts: 952000 | #Constraints: 43311 1743.46/1749.22 c #Conflicts: 953000 | #Constraints: 44335 1743.46/1749.22 c #Conflicts: 954000 | #Constraints: 45358 1743.46/1749.22 c #Conflicts: 955000 | #Constraints: 46383 1743.46/1749.22 c #Conflicts: 956000 | #Constraints: 47401 1743.46/1749.22 c #Conflicts: 957000 | #Constraints: 48427 1743.46/1749.22 c #Conflicts: 958000 | #Constraints: 49456 1743.46/1749.22 c #Conflicts: 959000 | #Constraints: 50476 1743.46/1749.22 c #Conflicts: 960000 | #Constraints: 51495 1743.46/1749.22 c #Conflicts: 961000 | #Constraints: 52523 1743.46/1749.22 c #Conflicts: 962000 | #Constraints: 53556 1743.46/1749.22 c #Conflicts: 963000 | #Constraints: 54589 1743.46/1749.22 c #Conflicts: 964000 | #Constraints: 55616 1743.46/1749.22 c #Conflicts: 965000 | #Constraints: 56641 1743.46/1749.22 c #Conflicts: 966000 | #Constraints: 57668 1743.46/1749.22 c #Conflicts: 967000 | #Constraints: 58697 1743.46/1749.22 c #Conflicts: 968000 | #Constraints: 59729 1743.46/1749.22 c INPROCESSING 1743.46/1749.22 c GARBAGE COLLECT 1743.46/1749.22 c rational objective 52 1876.23/1882.40 c #Conflicts: 969000 | #Constraints: 32720 1876.23/1882.40 c #Conflicts: 970000 | #Constraints: 33766 1876.23/1882.40 c #Conflicts: 971000 | #Constraints: 34802 1876.23/1882.40 c #Conflicts: 972000 | #Constraints: 35846 1876.23/1882.40 c #Conflicts: 973000 | #Constraints: 36885 1876.23/1882.40 c #Conflicts: 974000 | #Constraints: 37929 1876.23/1882.40 c #Conflicts: 975000 | #Constraints: 38967 1876.23/1882.40 c #Conflicts: 976000 | #Constraints: 40008 1876.23/1882.40 c #Conflicts: 977000 | #Constraints: 41049 1876.23/1882.40 c #Conflicts: 978000 | #Constraints: 42080 1876.23/1882.40 c #Conflicts: 979000 | #Constraints: 43122 1876.23/1882.40 c #Conflicts: 980000 | #Constraints: 44143 1876.23/1882.40 c #Conflicts: 981000 | #Constraints: 45173 1876.23/1882.40 c #Conflicts: 982000 | #Constraints: 46200 1876.23/1882.40 c #Conflicts: 983000 | #Constraints: 47223 1876.23/1882.40 c #Conflicts: 984000 | #Constraints: 48260 1876.23/1882.40 c #Conflicts: 985000 | #Constraints: 49287 1876.23/1882.40 c #Conflicts: 986000 | #Constraints: 50315 1876.23/1882.40 c #Conflicts: 987000 | #Constraints: 51340 1876.23/1882.40 c #Conflicts: 988000 | #Constraints: 52370 1876.23/1882.40 c #Conflicts: 989000 | #Constraints: 53390 1876.23/1882.40 c #Conflicts: 990000 | #Constraints: 54419 1876.23/1882.40 c #Conflicts: 991000 | #Constraints: 55445 1876.23/1882.40 c #Conflicts: 992000 | #Constraints: 56467 1876.23/1882.40 c #Conflicts: 993000 | #Constraints: 57490 1876.23/1882.40 c #Conflicts: 994000 | #Constraints: 58512 1876.23/1882.40 c #Conflicts: 995000 | #Constraints: 59545 1876.23/1882.40 c #Conflicts: 996000 | #Constraints: 60591 1876.23/1882.40 c #Conflicts: 997000 | #Constraints: 61616 1876.23/1882.40 c #Conflicts: 998000 | #Constraints: 62650 1876.23/1882.40 c #Conflicts: 999000 | #Constraints: 63679 1876.23/1882.40 c #Conflicts: 1000000 | #Constraints: 64710 1876.23/1882.40 c #Conflicts: 1001000 | #Constraints: 65746 1876.23/1882.40 c #Conflicts: 1002000 | #Constraints: 66778 1876.23/1882.40 c #Conflicts: 1003000 | #Constraints: 67798 1876.23/1882.40 c #Conflicts: 1004000 | #Constraints: 68820 1876.23/1882.40 c #Conflicts: 1005000 | #Constraints: 69838 1876.23/1882.40 c #Conflicts: 1006000 | #Constraints: 70849 1876.23/1882.40 c #Conflicts: 1007000 | #Constraints: 71881 1876.23/1882.40 c #Conflicts: 1008000 | #Constraints: 72914 1876.23/1882.41 c #Conflicts: 1009000 | #Constraints: 73933 1876.23/1882.41 c #Conflicts: 1010000 | #Constraints: 74955 1876.23/1882.41 c #Conflicts: 1011000 | #Constraints: 75975 1876.23/1882.41 c #Conflicts: 1012000 | #Constraints: 77002 1876.23/1882.41 c #Conflicts: 1013000 | #Constraints: 78035 1876.23/1882.41 c #Conflicts: 1014000 | #Constraints: 79059 1876.23/1882.41 c #Conflicts: 1015000 | #Constraints: 80085 1876.23/1882.41 c #Conflicts: 1016000 | #Constraints: 81105 1876.23/1882.41 c #Conflicts: 1017000 | #Constraints: 82117 1876.23/1882.41 c #Conflicts: 1018000 | #Constraints: 83151 1876.23/1882.41 c #Conflicts: 1019000 | #Constraints: 84181 1876.23/1882.41 c #Conflicts: 1020000 | #Constraints: 85213 1876.23/1882.41 c #Conflicts: 1021000 | #Constraints: 86247 1876.23/1882.41 c #Conflicts: 1022000 | #Constraints: 87285 1876.23/1882.41 c #Conflicts: 1023000 | #Constraints: 88310 1876.23/1882.41 c #Conflicts: 1024000 | #Constraints: 89341 1876.23/1882.41 c #Conflicts: 1025000 | #Constraints: 90362 1876.23/1882.41 c #Conflicts: 1026000 | #Constraints: 91397 1876.23/1882.41 c #Conflicts: 1027000 | #Constraints: 92429 1876.23/1882.41 c #Conflicts: 1028000 | #Constraints: 93458 1876.23/1882.41 c #Conflicts: 1029000 | #Constraints: 94482 1876.23/1882.41 c #Conflicts: 1030000 | #Constraints: 95515 1876.23/1882.41 c #Conflicts: 1031000 | #Constraints: 96532 1876.23/1882.41 c #Conflicts: 1032000 | #Constraints: 97559 1876.23/1882.41 c #Conflicts: 1033000 | #Constraints: 98585 1876.23/1882.41 c #Conflicts: 1034000 | #Constraints: 99605 1876.23/1882.41 c #Conflicts: 1035000 | #Constraints: 100630 1876.23/1882.41 c #Conflicts: 1036000 | #Constraints: 101663 1876.23/1882.41 c #Conflicts: 1037000 | #Constraints: 102700 1876.23/1882.41 c #Conflicts: 1038000 | #Constraints: 103729 1876.23/1882.41 c #Conflicts: 1039000 | #Constraints: 104753 1876.23/1882.41 c #Conflicts: 1040000 | #Constraints: 105778 1876.23/1882.41 c #Conflicts: 1041000 | #Constraints: 106800 1876.23/1882.41 c #Conflicts: 1042000 | #Constraints: 107832 1876.23/1882.41 c #Conflicts: 1043000 | #Constraints: 108856 1876.23/1882.41 c #Conflicts: 1044000 | #Constraints: 109888 1876.23/1882.41 c INPROCESSING 1876.23/1882.41 c GARBAGE COLLECT 1876.23/1882.41 c rational objective 52 2136.61/2143.68 c #Conflicts: 1045000 | #Constraints: 56181 2136.61/2143.68 c #Conflicts: 1046000 | #Constraints: 57181 2136.61/2143.68 c #Conflicts: 1047000 | #Constraints: 58181 2136.61/2143.68 c #Conflicts: 1048000 | #Constraints: 59182 2136.61/2143.68 c #Conflicts: 1049000 | #Constraints: 60182 2136.61/2143.68 c #Conflicts: 1050000 | #Constraints: 61182 2136.61/2143.68 c #Conflicts: 1051000 | #Constraints: 62182 2136.61/2143.68 c #Conflicts: 1052000 | #Constraints: 63182 2136.61/2143.68 c #Conflicts: 1053000 | #Constraints: 64183 2136.61/2143.68 c #Conflicts: 1054000 | #Constraints: 65183 2136.61/2143.68 c #Conflicts: 1055000 | #Constraints: 66183 2136.61/2143.68 c #Conflicts: 1056000 | #Constraints: 67183 2136.61/2143.68 c #Conflicts: 1057000 | #Constraints: 68183 2136.61/2143.68 c #Conflicts: 1058000 | #Constraints: 69183 2136.61/2143.68 c #Conflicts: 1059000 | #Constraints: 70183 2136.61/2143.68 c #Conflicts: 1060000 | #Constraints: 71183 2136.61/2143.68 c #Conflicts: 1061000 | #Constraints: 72183 2136.61/2143.68 c #Conflicts: 1062000 | #Constraints: 73183 2136.61/2143.68 c #Conflicts: 1063000 | #Constraints: 74185 2136.61/2143.68 c #Conflicts: 1064000 | #Constraints: 75185 2136.61/2143.68 c #Conflicts: 1065000 | #Constraints: 76185 2136.61/2143.68 c #Conflicts: 1066000 | #Constraints: 77185 2136.61/2143.68 c #Conflicts: 1067000 | #Constraints: 78185 2136.61/2143.68 c #Conflicts: 1068000 | #Constraints: 79185 2136.61/2143.68 c INPROCESSING 2136.61/2143.68 c GARBAGE COLLECT 2136.61/2143.68 c rational objective 52 2165.30/2172.42 c #Conflicts: 1069000 | #Constraints: 41042 2165.30/2172.42 c #Conflicts: 1070000 | #Constraints: 42057 2165.30/2172.42 c #Conflicts: 1071000 | #Constraints: 43089 2165.30/2172.42 c #Conflicts: 1072000 | #Constraints: 44125 2165.30/2172.42 c #Conflicts: 1073000 | #Constraints: 45156 2165.30/2172.42 c #Conflicts: 1074000 | #Constraints: 46186 2165.30/2172.42 c #Conflicts: 1075000 | #Constraints: 47206 2165.30/2172.42 c #Conflicts: 1076000 | #Constraints: 48221 2165.30/2172.42 c #Conflicts: 1077000 | #Constraints: 49251 2165.30/2172.42 c #Conflicts: 1078000 | #Constraints: 50282 2165.30/2172.42 c #Conflicts: 1079000 | #Constraints: 51310 2165.30/2172.42 c #Conflicts: 1080000 | #Constraints: 52338 2165.30/2172.42 c #Conflicts: 1081000 | #Constraints: 53369 2165.30/2172.42 c #Conflicts: 1082000 | #Constraints: 54393 2165.30/2172.42 c #Conflicts: 1083000 | #Constraints: 55413 2165.30/2172.42 c #Conflicts: 1084000 | #Constraints: 56436 2165.30/2172.42 c #Conflicts: 1085000 | #Constraints: 57454 2165.30/2172.42 c #Conflicts: 1086000 | #Constraints: 58472 2165.30/2172.42 c #Conflicts: 1087000 | #Constraints: 59496 2165.30/2172.42 c #Conflicts: 1088000 | #Constraints: 60511 2165.30/2172.42 c #Conflicts: 1089000 | #Constraints: 61531 2165.30/2172.42 c #Conflicts: 1090000 | #Constraints: 62552 2165.30/2172.42 c #Conflicts: 1091000 | #Constraints: 63571 2165.30/2172.42 c INPROCESSING 2165.30/2172.42 c GARBAGE COLLECT 2165.30/2172.42 c rational objective 52 2309.96/2317.69 c #Conflicts: 1092000 | #Constraints: 35391 2309.96/2317.69 c #Conflicts: 1093000 | #Constraints: 36420 2309.96/2317.69 c #Conflicts: 1094000 | #Constraints: 37470 2309.96/2317.69 c #Conflicts: 1095000 | #Constraints: 38509 2309.96/2317.69 c #Conflicts: 1096000 | #Constraints: 39550 2309.96/2317.69 c #Conflicts: 1097000 | #Constraints: 40584 2309.96/2317.69 c #Conflicts: 1098000 | #Constraints: 41616 2309.96/2317.69 c #Conflicts: 1099000 | #Constraints: 42647 2309.96/2317.69 c #Conflicts: 1100000 | #Constraints: 43682 2309.96/2317.69 c #Conflicts: 1101000 | #Constraints: 44714 2309.96/2317.69 c #Conflicts: 1102000 | #Constraints: 45741 2309.96/2317.69 c #Conflicts: 1103000 | #Constraints: 46770 2309.96/2317.69 c #Conflicts: 1104000 | #Constraints: 47806 2309.96/2317.69 c #Conflicts: 1105000 | #Constraints: 48837 2309.96/2317.69 c #Conflicts: 1106000 | #Constraints: 49873 2309.96/2317.69 c #Conflicts: 1107000 | #Constraints: 50907 2309.96/2317.69 c #Conflicts: 1108000 | #Constraints: 51946 2309.96/2317.69 c #Conflicts: 1109000 | #Constraints: 52969 2309.96/2317.69 c #Conflicts: 1110000 | #Constraints: 54002 2309.96/2317.69 c #Conflicts: 1111000 | #Constraints: 55033 2309.96/2317.69 c #Conflicts: 1112000 | #Constraints: 56061 2309.96/2317.69 c #Conflicts: 1113000 | #Constraints: 57088 2309.96/2317.69 c #Conflicts: 1114000 | #Constraints: 58112 2309.96/2317.69 c #Conflicts: 1115000 | #Constraints: 59137 2309.96/2317.69 c #Conflicts: 1116000 | #Constraints: 60171 2309.96/2317.69 c #Conflicts: 1117000 | #Constraints: 61198 2309.96/2317.69 c #Conflicts: 1118000 | #Constraints: 62224 2309.96/2317.69 c #Conflicts: 1119000 | #Constraints: 63250 2309.96/2317.69 c #Conflicts: 1120000 | #Constraints: 64274 2309.96/2317.69 c #Conflicts: 1121000 | #Constraints: 65300 2309.96/2317.69 c #Conflicts: 1122000 | #Constraints: 66323 2309.96/2317.69 c #Conflicts: 1123000 | #Constraints: 67350 2309.96/2317.69 c #Conflicts: 1124000 | #Constraints: 68378 2309.96/2317.69 c #Conflicts: 1125000 | #Constraints: 69397 2309.96/2317.69 c #Conflicts: 1126000 | #Constraints: 70415 2309.96/2317.69 c #Conflicts: 1127000 | #Constraints: 71433 2309.96/2317.69 c #Conflicts: 1128000 | #Constraints: 72457 2309.96/2317.69 c #Conflicts: 1129000 | #Constraints: 73479 2309.96/2317.69 c #Conflicts: 1130000 | #Constraints: 74507 2309.96/2317.69 c #Conflicts: 1131000 | #Constraints: 75539 2309.96/2317.69 c #Conflicts: 1132000 | #Constraints: 76562 2309.96/2317.69 c #Conflicts: 1133000 | #Constraints: 77583 2309.96/2317.69 c #Conflicts: 1134000 | #Constraints: 78606 2309.96/2317.69 c #Conflicts: 1135000 | #Constraints: 79633 2309.96/2317.69 c #Conflicts: 1136000 | #Constraints: 80650 2309.96/2317.69 c #Conflicts: 1137000 | #Constraints: 81675 2309.96/2317.69 c #Conflicts: 1138000 | #Constraints: 82700 2309.96/2317.69 c #Conflicts: 1139000 | #Constraints: 83726 2309.96/2317.69 c #Conflicts: 1140000 | #Constraints: 84747 2309.96/2317.69 c #Conflicts: 1141000 | #Constraints: 85772 2309.96/2317.69 c #Conflicts: 1142000 | #Constraints: 86805 2309.96/2317.69 c #Conflicts: 1143000 | #Constraints: 87834 2309.96/2317.69 c #Conflicts: 1144000 | #Constraints: 88866 2309.96/2317.69 c #Conflicts: 1145000 | #Constraints: 89897 2309.96/2317.69 c #Conflicts: 1146000 | #Constraints: 90921 2309.96/2317.69 c #Conflicts: 1147000 | #Constraints: 91946 2309.96/2317.69 c #Conflicts: 1148000 | #Constraints: 92964 2309.96/2317.69 c #Conflicts: 1149000 | #Constraints: 93980 2309.96/2317.69 c #Conflicts: 1150000 | #Constraints: 95002 2309.96/2317.69 c #Conflicts: 1151000 | #Constraints: 96019 2309.96/2317.69 c #Conflicts: 1152000 | #Constraints: 97038 2309.96/2317.69 c #Conflicts: 1153000 | #Constraints: 98063 2309.96/2317.69 c #Conflicts: 1154000 | #Constraints: 99089 2309.96/2317.69 c #Conflicts: 1155000 | #Constraints: 100110 2309.96/2317.69 c #Conflicts: 1156000 | #Constraints: 101135 2309.96/2317.69 c #Conflicts: 1157000 | #Constraints: 102164 2309.96/2317.69 c #Conflicts: 1158000 | #Constraints: 103190 2309.96/2317.69 c #Conflicts: 1159000 | #Constraints: 104212 2309.96/2317.69 c #Conflicts: 1160000 | #Constraints: 105227 2309.96/2317.69 c #Conflicts: 1161000 | #Constraints: 106251 2309.96/2317.69 c #Conflicts: 1162000 | #Constraints: 107281 2309.96/2317.69 c #Conflicts: 1163000 | #Constraints: 108306 2309.96/2317.69 c #Conflicts: 1164000 | #Constraints: 109335 2309.96/2317.69 c #Conflicts: 1165000 | #Constraints: 110361 2309.96/2317.69 c #Conflicts: 1166000 | #Constraints: 111384 2309.96/2317.69 c #Conflicts: 1167000 | #Constraints: 112409 2309.96/2317.69 c #Conflicts: 1168000 | #Constraints: 113437 2309.96/2317.69 c #Conflicts: 1169000 | #Constraints: 114455 2309.96/2317.69 c #Conflicts: 1170000 | #Constraints: 115484 2314.94/2322.61 c #Conflicts: 1171000 | #Constraints: 116509 2314.94/2322.61 c INPROCESSING 2314.94/2322.61 c GARBAGE COLLECT 2314.94/2322.61 c rational objective 52 2613.48/2622.23 c #Conflicts: 1172000 | #Constraints: 59253 2613.48/2622.23 c #Conflicts: 1173000 | #Constraints: 60253 2613.48/2622.23 c #Conflicts: 1174000 | #Constraints: 61253 2613.48/2622.23 c #Conflicts: 1175000 | #Constraints: 62253 2613.48/2622.23 c #Conflicts: 1176000 | #Constraints: 63253 2613.48/2622.23 c #Conflicts: 1177000 | #Constraints: 64253 2613.48/2622.23 c #Conflicts: 1178000 | #Constraints: 65253 2613.48/2622.23 c #Conflicts: 1179000 | #Constraints: 66253 2613.48/2622.23 c #Conflicts: 1180000 | #Constraints: 67253 2613.48/2622.23 c #Conflicts: 1181000 | #Constraints: 68253 2613.48/2622.23 c #Conflicts: 1182000 | #Constraints: 69253 2613.48/2622.23 c #Conflicts: 1183000 | #Constraints: 70254 2613.48/2622.23 c #Conflicts: 1184000 | #Constraints: 71255 2613.48/2622.23 c #Conflicts: 1185000 | #Constraints: 72255 2613.48/2622.23 c #Conflicts: 1186000 | #Constraints: 73255 2613.48/2622.23 c #Conflicts: 1187000 | #Constraints: 74255 2613.48/2622.23 c #Conflicts: 1188000 | #Constraints: 75255 2613.48/2622.23 c #Conflicts: 1189000 | #Constraints: 76255 2613.48/2622.23 c #Conflicts: 1190000 | #Constraints: 77255 2613.48/2622.23 c #Conflicts: 1191000 | #Constraints: 78255 2613.48/2622.23 c #Conflicts: 1192000 | #Constraints: 79255 2613.48/2622.23 c #Conflicts: 1193000 | #Constraints: 80255 2613.48/2622.23 c #Conflicts: 1194000 | #Constraints: 81255 2613.48/2622.23 c #Conflicts: 1195000 | #Constraints: 82255 2613.48/2622.23 c #Conflicts: 1196000 | #Constraints: 83255 2613.48/2622.23 c #Conflicts: 1197000 | #Constraints: 84255 2613.48/2622.23 c INPROCESSING 2613.48/2622.23 c GARBAGE COLLECT 2613.48/2622.23 c rational objective 52 2647.05/2655.94 c #Conflicts: 1198000 | #Constraints: 43594 2647.05/2655.94 c #Conflicts: 1199000 | #Constraints: 44629 2647.05/2655.94 c #Conflicts: 1200000 | #Constraints: 45661 2647.05/2655.94 c #Conflicts: 1201000 | #Constraints: 46695 2647.05/2655.94 c #Conflicts: 1202000 | #Constraints: 47726 2647.05/2655.94 c #Conflicts: 1203000 | #Constraints: 48755 2647.05/2655.94 c #Conflicts: 1204000 | #Constraints: 49787 2647.05/2655.94 c #Conflicts: 1205000 | #Constraints: 50811 2647.05/2655.94 c #Conflicts: 1206000 | #Constraints: 51846 2647.05/2655.94 c #Conflicts: 1207000 | #Constraints: 52883 2647.05/2655.94 c #Conflicts: 1208000 | #Constraints: 53920 2647.05/2655.94 c #Conflicts: 1209000 | #Constraints: 54961 2647.05/2655.94 c #Conflicts: 1210000 | #Constraints: 55998 2647.05/2655.94 c #Conflicts: 1211000 | #Constraints: 57028 2647.05/2655.94 c #Conflicts: 1212000 | #Constraints: 58060 2647.05/2655.94 c #Conflicts: 1213000 | #Constraints: 59092 2647.05/2655.94 c #Conflicts: 1214000 | #Constraints: 60124 2647.05/2655.94 c #Conflicts: 1215000 | #Constraints: 61155 2647.05/2655.94 c #Conflicts: 1216000 | #Constraints: 62179 2647.05/2655.94 c #Conflicts: 1217000 | #Constraints: 63204 2647.05/2655.94 c #Conflicts: 1218000 | #Constraints: 64239 2647.05/2655.94 c #Conflicts: 1219000 | #Constraints: 65276 2647.05/2655.94 c #Conflicts: 1220000 | #Constraints: 66308 2647.05/2655.94 c #Conflicts: 1221000 | #Constraints: 67338 2647.05/2655.94 c #Conflicts: 1222000 | #Constraints: 68358 2647.05/2655.94 c INPROCESSING 2647.05/2655.94 c GARBAGE COLLECT 2647.05/2655.94 c rational objective 52 2801.59/2811.08 c #Conflicts: 1223000 | #Constraints: 39159 2801.59/2811.08 c #Conflicts: 1224000 | #Constraints: 40194 2801.59/2811.08 c #Conflicts: 1225000 | #Constraints: 41243 2801.59/2811.08 c #Conflicts: 1226000 | #Constraints: 42274 2801.59/2811.08 c #Conflicts: 1227000 | #Constraints: 43311 2801.59/2811.08 c #Conflicts: 1228000 | #Constraints: 44347 2801.59/2811.08 c #Conflicts: 1229000 | #Constraints: 45378 2801.59/2811.08 c #Conflicts: 1230000 | #Constraints: 46407 2801.59/2811.08 c #Conflicts: 1231000 | #Constraints: 47449 2801.59/2811.08 c #Conflicts: 1232000 | #Constraints: 48487 2801.59/2811.08 c #Conflicts: 1233000 | #Constraints: 49523 2801.59/2811.08 c #Conflicts: 1234000 | #Constraints: 50559 2801.59/2811.08 c #Conflicts: 1235000 | #Constraints: 51584 2801.59/2811.08 c #Conflicts: 1236000 | #Constraints: 52627 2801.59/2811.08 c #Conflicts: 1237000 | #Constraints: 53664 2801.59/2811.08 c #Conflicts: 1238000 | #Constraints: 54704 2801.59/2811.08 c #Conflicts: 1239000 | #Constraints: 55738 2801.59/2811.08 c #Conflicts: 1240000 | #Constraints: 56762 2801.59/2811.08 c #Conflicts: 1241000 | #Constraints: 57792 2801.59/2811.08 c #Conflicts: 1242000 | #Constraints: 58816 2801.59/2811.08 c #Conflicts: 1243000 | #Constraints: 59836 2801.59/2811.08 c #Conflicts: 1244000 | #Constraints: 60869 2801.59/2811.08 c #Conflicts: 1245000 | #Constraints: 61903 2801.59/2811.08 c #Conflicts: 1246000 | #Constraints: 62928 2801.59/2811.08 c #Conflicts: 1247000 | #Constraints: 63964 2801.59/2811.08 c #Conflicts: 1248000 | #Constraints: 64990 2801.59/2811.08 c #Conflicts: 1249000 | #Constraints: 66028 2801.59/2811.08 c #Conflicts: 1250000 | #Constraints: 67047 2801.59/2811.08 c #Conflicts: 1251000 | #Constraints: 68073 2801.59/2811.08 c #Conflicts: 1252000 | #Constraints: 69106 2801.59/2811.08 c #Conflicts: 1253000 | #Constraints: 70134 2801.59/2811.08 c #Conflicts: 1254000 | #Constraints: 71156 2801.59/2811.08 c #Conflicts: 1255000 | #Constraints: 72182 2801.59/2811.08 c #Conflicts: 1256000 | #Constraints: 73215 2801.59/2811.08 c #Conflicts: 1257000 | #Constraints: 74246 2801.59/2811.08 c #Conflicts: 1258000 | #Constraints: 75264 2801.59/2811.08 c #Conflicts: 1259000 | #Constraints: 76284 2801.59/2811.08 c #Conflicts: 1260000 | #Constraints: 77309 2801.59/2811.08 c #Conflicts: 1261000 | #Constraints: 78330 2801.59/2811.08 c #Conflicts: 1262000 | #Constraints: 79352 2801.59/2811.08 c #Conflicts: 1263000 | #Constraints: 80377 2801.59/2811.08 c #Conflicts: 1264000 | #Constraints: 81406 2801.59/2811.08 c #Conflicts: 1265000 | #Constraints: 82431 2801.59/2811.08 c #Conflicts: 1266000 | #Constraints: 83463 2801.59/2811.08 c #Conflicts: 1267000 | #Constraints: 84493 2801.59/2811.08 c #Conflicts: 1268000 | #Constraints: 85521 2801.59/2811.08 c #Conflicts: 1269000 | #Constraints: 86554 2801.59/2811.08 c #Conflicts: 1270000 | #Constraints: 87582 2801.59/2811.08 c #Conflicts: 1271000 | #Constraints: 88608 2801.59/2811.08 c #Conflicts: 1272000 | #Constraints: 89638 2801.59/2811.08 c #Conflicts: 1273000 | #Constraints: 90673 2801.59/2811.08 c #Conflicts: 1274000 | #Constraints: 91700 2801.59/2811.08 c #Conflicts: 1275000 | #Constraints: 92726 2801.59/2811.08 c #Conflicts: 1276000 | #Constraints: 93748 2801.59/2811.08 c #Conflicts: 1277000 | #Constraints: 94776 2801.59/2811.08 c #Conflicts: 1278000 | #Constraints: 95803 2801.59/2811.08 c #Conflicts: 1279000 | #Constraints: 96824 2801.59/2811.08 c #Conflicts: 1280000 | #Constraints: 97840 2801.59/2811.08 c #Conflicts: 1281000 | #Constraints: 98869 2801.59/2811.08 c #Conflicts: 1282000 | #Constraints: 99903 2801.59/2811.08 c #Conflicts: 1283000 | #Constraints: 100931 2801.59/2811.08 c #Conflicts: 1284000 | #Constraints: 101948 2801.59/2811.08 c #Conflicts: 1285000 | #Constraints: 102969 2801.59/2811.08 c #Conflicts: 1286000 | #Constraints: 103993 2801.59/2811.08 c #Conflicts: 1287000 | #Constraints: 105014 2801.59/2811.08 c #Conflicts: 1288000 | #Constraints: 106035 2801.59/2811.08 c #Conflicts: 1289000 | #Constraints: 107065 2801.59/2811.08 c #Conflicts: 1290000 | #Constraints: 108098 2801.59/2811.08 c #Conflicts: 1291000 | #Constraints: 109130 2801.59/2811.08 c #Conflicts: 1292000 | #Constraints: 110165 2801.59/2811.08 c #Conflicts: 1293000 | #Constraints: 111195 2801.59/2811.08 c #Conflicts: 1294000 | #Constraints: 112220 2801.59/2811.08 c #Conflicts: 1295000 | #Constraints: 113240 2801.59/2811.08 c #Conflicts: 1296000 | #Constraints: 114259 2801.59/2811.08 c #Conflicts: 1297000 | #Constraints: 115287 2801.59/2811.08 c #Conflicts: 1298000 | #Constraints: 116307 2801.59/2811.08 c #Conflicts: 1299000 | #Constraints: 117326 2801.59/2811.08 c #Conflicts: 1300000 | #Constraints: 118349 2801.59/2811.08 c #Conflicts: 1301000 | #Constraints: 119375 2819.31/2828.81 c #Conflicts: 1302000 | #Constraints: 120404 2819.31/2828.81 c #Conflicts: 1303000 | #Constraints: 121425 2819.31/2828.81 c #Conflicts: 1304000 | #Constraints: 122441 2819.31/2828.81 c #Conflicts: 1305000 | #Constraints: 123470 2819.31/2828.81 c #Conflicts: 1306000 | #Constraints: 124487 2819.31/2828.81 c INPROCESSING 2819.31/2828.81 c GARBAGE COLLECT 2819.31/2828.81 c rational objective 52 3162.49/3173.20 c #Conflicts: 1307000 | #Constraints: 63382 3162.49/3173.20 c #Conflicts: 1308000 | #Constraints: 64383 3162.49/3173.20 c #Conflicts: 1309000 | #Constraints: 65383 3162.49/3173.20 c #Conflicts: 1310000 | #Constraints: 66383 3162.49/3173.20 c #Conflicts: 1311000 | #Constraints: 67383 3162.49/3173.20 c #Conflicts: 1312000 | #Constraints: 68383 3162.49/3173.20 c #Conflicts: 1313000 | #Constraints: 69383 3162.49/3173.20 c #Conflicts: 1314000 | #Constraints: 70384 3162.49/3173.20 c #Conflicts: 1315000 | #Constraints: 71384 3162.49/3173.20 c #Conflicts: 1316000 | #Constraints: 72384 3162.49/3173.20 c #Conflicts: 1317000 | #Constraints: 73385 3162.49/3173.20 c #Conflicts: 1318000 | #Constraints: 74385 3162.49/3173.20 c #Conflicts: 1319000 | #Constraints: 75385 3162.49/3173.20 c #Conflicts: 1320000 | #Constraints: 76385 3162.49/3173.20 c #Conflicts: 1321000 | #Constraints: 77385 3162.49/3173.20 c #Conflicts: 1322000 | #Constraints: 78385 3162.49/3173.20 c #Conflicts: 1323000 | #Constraints: 79385 3162.49/3173.20 c #Conflicts: 1324000 | #Constraints: 80385 3162.49/3173.20 c #Conflicts: 1325000 | #Constraints: 81385 3162.49/3173.20 c #Conflicts: 1326000 | #Constraints: 82385 3162.49/3173.20 c #Conflicts: 1327000 | #Constraints: 83385 3162.49/3173.20 c #Conflicts: 1328000 | #Constraints: 84385 3162.49/3173.20 c #Conflicts: 1329000 | #Constraints: 85385 3162.49/3173.20 c #Conflicts: 1330000 | #Constraints: 86385 3162.49/3173.20 c #Conflicts: 1331000 | #Constraints: 87385 3162.49/3173.20 c #Conflicts: 1332000 | #Constraints: 88386 3162.49/3173.20 c #Conflicts: 1333000 | #Constraints: 89386 3162.49/3173.20 c INPROCESSING 3162.49/3173.20 c GARBAGE COLLECT 3162.49/3173.20 c rational objective 52 3211.32/3222.21 c #Conflicts: 1334000 | #Constraints: 46036 3211.32/3222.21 c #Conflicts: 1335000 | #Constraints: 47084 3211.32/3222.21 c #Conflicts: 1336000 | #Constraints: 48118 3211.32/3222.21 c #Conflicts: 1337000 | #Constraints: 49151 3211.32/3222.21 c #Conflicts: 1338000 | #Constraints: 50193 3211.32/3222.21 c #Conflicts: 1339000 | #Constraints: 51230 3211.32/3222.21 c #Conflicts: 1340000 | #Constraints: 52249 3211.32/3222.21 c #Conflicts: 1341000 | #Constraints: 53270 3211.32/3222.21 c #Conflicts: 1342000 | #Constraints: 54294 3211.32/3222.21 c #Conflicts: 1343000 | #Constraints: 55315 3211.32/3222.21 c #Conflicts: 1344000 | #Constraints: 56347 3211.32/3222.21 c #Conflicts: 1345000 | #Constraints: 57379 3211.32/3222.21 c #Conflicts: 1346000 | #Constraints: 58409 3211.32/3222.21 c #Conflicts: 1347000 | #Constraints: 59444 3211.32/3222.21 c #Conflicts: 1348000 | #Constraints: 60479 3211.32/3222.21 c #Conflicts: 1349000 | #Constraints: 61503 3211.32/3222.21 c #Conflicts: 1350000 | #Constraints: 62533 3211.32/3222.21 c #Conflicts: 1351000 | #Constraints: 63560 3211.32/3222.21 c #Conflicts: 1352000 | #Constraints: 64594 3211.32/3222.21 c #Conflicts: 1353000 | #Constraints: 65625 3211.32/3222.21 c #Conflicts: 1354000 | #Constraints: 66651 3211.32/3222.21 c #Conflicts: 1355000 | #Constraints: 67675 3211.32/3222.21 c #Conflicts: 1356000 | #Constraints: 68709 3211.32/3222.21 c #Conflicts: 1357000 | #Constraints: 69730 3211.32/3222.21 c #Conflicts: 1358000 | #Constraints: 70756 3211.32/3222.21 c #Conflicts: 1359000 | #Constraints: 71786 3211.32/3222.21 c #Conflicts: 1360000 | #Constraints: 72811 3211.32/3222.21 c INPROCESSING 3211.32/3222.21 c GARBAGE COLLECT 3211.32/3222.21 c rational objective 52 3378.10/3389.63 c #Conflicts: 1361000 | #Constraints: 42561 3378.10/3389.63 c #Conflicts: 1362000 | #Constraints: 43597 3378.10/3389.63 c #Conflicts: 1363000 | #Constraints: 44634 3378.10/3389.63 c #Conflicts: 1364000 | #Constraints: 45670 3378.10/3389.63 c #Conflicts: 1365000 | #Constraints: 46717 3378.10/3389.63 c #Conflicts: 1366000 | #Constraints: 47757 3378.10/3389.63 c #Conflicts: 1367000 | #Constraints: 48783 3378.10/3389.63 c #Conflicts: 1368000 | #Constraints: 49810 3378.10/3389.63 c #Conflicts: 1369000 | #Constraints: 50851 3378.10/3389.63 c #Conflicts: 1370000 | #Constraints: 51891 3378.10/3389.63 c #Conflicts: 1371000 | #Constraints: 52918 3378.10/3389.63 c #Conflicts: 1372000 | #Constraints: 53947 3378.10/3389.63 c #Conflicts: 1373000 | #Constraints: 54982 3378.10/3389.63 c #Conflicts: 1374000 | #Constraints: 56013 3378.10/3389.63 c #Conflicts: 1375000 | #Constraints: 57049 3378.10/3389.63 c #Conflicts: 1376000 | #Constraints: 58079 3378.10/3389.63 c #Conflicts: 1377000 | #Constraints: 59119 3378.10/3389.63 c #Conflicts: 1378000 | #Constraints: 60145 3378.10/3389.63 c #Conflicts: 1379000 | #Constraints: 61171 3378.10/3389.63 c #Conflicts: 1380000 | #Constraints: 62199 3378.10/3389.63 c #Conflicts: 1381000 | #Constraints: 63225 3378.10/3389.63 c #Conflicts: 1382000 | #Constraints: 64251 3378.10/3389.63 c #Conflicts: 1383000 | #Constraints: 65283 3378.10/3389.63 c #Conflicts: 1384000 | #Constraints: 66313 3378.10/3389.63 c #Conflicts: 1385000 | #Constraints: 67348 3378.10/3389.63 c #Conflicts: 1386000 | #Constraints: 68377 3378.10/3389.63 c #Conflicts: 1387000 | #Constraints: 69404 3378.10/3389.63 c #Conflicts: 1388000 | #Constraints: 70435 3378.10/3389.63 c #Conflicts: 1389000 | #Constraints: 71465 3378.10/3389.63 c #Conflicts: 1390000 | #Constraints: 72489 3378.10/3389.63 c #Conflicts: 1391000 | #Constraints: 73518 3378.10/3389.63 c #Conflicts: 1392000 | #Constraints: 74555 3378.10/3389.63 c #Conflicts: 1393000 | #Constraints: 75587 3378.10/3389.63 c #Conflicts: 1394000 | #Constraints: 76619 3378.10/3389.63 c #Conflicts: 1395000 | #Constraints: 77653 3378.10/3389.63 c #Conflicts: 1396000 | #Constraints: 78682 3378.10/3389.63 c #Conflicts: 1397000 | #Constraints: 79713 3378.10/3389.63 c #Conflicts: 1398000 | #Constraints: 80744 3378.10/3389.63 c #Conflicts: 1399000 | #Constraints: 81772 3378.10/3389.63 c #Conflicts: 1400000 | #Constraints: 82801 3378.10/3389.63 c #Conflicts: 1401000 | #Constraints: 83828 3378.10/3389.63 c #Conflicts: 1402000 | #Constraints: 84864 3378.10/3389.63 c #Conflicts: 1403000 | #Constraints: 85885 3378.10/3389.63 c #Conflicts: 1404000 | #Constraints: 86908 3378.10/3389.63 c #Conflicts: 1405000 | #Constraints: 87932 3378.10/3389.63 c #Conflicts: 1406000 | #Constraints: 88962 3378.10/3389.63 c #Conflicts: 1407000 | #Constraints: 89983 3378.10/3389.63 c #Conflicts: 1408000 | #Constraints: 91004 3378.10/3389.63 c #Conflicts: 1409000 | #Constraints: 92030 3378.10/3389.63 c #Conflicts: 1410000 | #Constraints: 93060 3378.10/3389.63 c #Conflicts: 1411000 | #Constraints: 94082 3378.10/3389.63 c #Conflicts: 1412000 | #Constraints: 95103 3378.10/3389.63 c #Conflicts: 1413000 | #Constraints: 96119 3378.10/3389.63 c #Conflicts: 1414000 | #Constraints: 97145 3378.10/3389.63 c #Conflicts: 1415000 | #Constraints: 98165 3378.10/3389.63 c #Conflicts: 1416000 | #Constraints: 99188 3378.10/3389.63 c #Conflicts: 1417000 | #Constraints: 100213 3378.10/3389.63 c #Conflicts: 1418000 | #Constraints: 101239 3378.10/3389.63 c #Conflicts: 1419000 | #Constraints: 102262 3378.10/3389.63 c #Conflicts: 1420000 | #Constraints: 103294 3378.10/3389.63 c #Conflicts: 1421000 | #Constraints: 104322 3378.10/3389.63 c #Conflicts: 1422000 | #Constraints: 105351 3378.10/3389.63 c #Conflicts: 1423000 | #Constraints: 106370 3378.10/3389.63 c #Conflicts: 1424000 | #Constraints: 107390 3378.10/3389.63 c #Conflicts: 1425000 | #Constraints: 108420 3378.10/3389.63 c #Conflicts: 1426000 | #Constraints: 109442 3378.10/3389.63 c #Conflicts: 1427000 | #Constraints: 110463 3378.10/3389.63 c #Conflicts: 1428000 | #Constraints: 111485 3378.10/3389.63 c #Conflicts: 1429000 | #Constraints: 112519 3378.10/3389.63 c #Conflicts: 1430000 | #Constraints: 113548 3378.10/3389.63 c #Conflicts: 1431000 | #Constraints: 114569 3378.10/3389.63 c #Conflicts: 1432000 | #Constraints: 115590 3378.10/3389.63 c #Conflicts: 1433000 | #Constraints: 116619 3378.10/3389.63 c #Conflicts: 1434000 | #Constraints: 117638 3378.10/3389.63 c #Conflicts: 1435000 | #Constraints: 118659 3378.10/3389.63 c #Conflicts: 1436000 | #Constraints: 119682 3378.10/3389.63 c #Conflicts: 1437000 | #Constraints: 120713 3378.10/3389.63 c #Conflicts: 1438000 | #Constraints: 121740 3378.10/3389.63 c #Conflicts: 1439000 | #Constraints: 122767 3406.70/3418.35 c #Conflicts: 1440000 | #Constraints: 123798 3406.70/3418.35 c #Conflicts: 1441000 | #Constraints: 124830 3406.70/3418.35 c #Conflicts: 1442000 | #Constraints: 125860 3406.70/3418.35 c #Conflicts: 1443000 | #Constraints: 126891 3406.70/3418.35 c #Conflicts: 1444000 | #Constraints: 127924 3406.70/3418.35 c #Conflicts: 1445000 | #Constraints: 128950 3406.70/3418.35 c #Conflicts: 1446000 | #Constraints: 129980 3406.70/3418.35 c #Conflicts: 1447000 | #Constraints: 131003 3406.70/3418.35 c #Conflicts: 1448000 | #Constraints: 132033 3406.70/3418.35 c INPROCESSING 3406.70/3418.35 c GARBAGE COLLECT 3406.70/3418.35 c rational objective 52 3600.01/3612.30 c #Conflicts: 1449000 | #Constraints: 67208 3600.01/3612.30 c #Conflicts: 1450000 | #Constraints: 68208 3600.01/3612.30 c #Conflicts: 1451000 | #Constraints: 69208 3600.01/3612.30 c #Conflicts: 1452000 | #Constraints: 70208 3600.01/3612.30 c #Conflicts: 1453000 | #Constraints: 71208 3600.01/3612.30 c #Conflicts: 1454000 | #Constraints: 72208 3600.01/3612.30 c #Conflicts: 1455000 | #Constraints: 73208 3600.01/3612.30 c #Conflicts: 1456000 | #Constraints: 74208 3600.01/3612.30 c #Conflicts: 1457000 | #Constraints: 75208 3600.01/3612.30 c #Conflicts: 1458000 | #Constraints: 76208 3600.01/3612.30 c #Conflicts: 1459000 | #Constraints: 77208 3600.01/3612.30 c #Conflicts: 1460000 | #Constraints: 78208 3600.01/3612.30 c #Conflicts: 1461000 | #Constraints: 79208 3600.01/3612.30 c #Conflicts: 1462000 | #Constraints: 80208 3600.01/3612.30 c Program interrupted by user. 3600.01/3612.30 c cpu time 3580.78 s 3600.01/3612.30 c deterministic time 266446691934 2.66e+11 3600.01/3612.30 c optimization time 192.775 s 3600.01/3612.30 c total solve time 3388.01 s 3600.01/3612.30 c core-guided solve time 1903.8 s 3600.01/3612.30 c propagation time 3166.16 s 3600.01/3612.30 c conflict analysis time 383.784 s 3600.01/3612.30 c propagations 98512336 3600.01/3612.30 c resolve steps 10487700 3600.01/3612.30 c decisions 6748030 3600.01/3612.30 c conflicts 1462500 3600.01/3612.30 c restarts 2826 3600.01/3612.30 c inprocessing phases 68 3600.01/3612.30 c input clauses 362 3600.01/3612.30 c input cardinalities 123 3600.01/3612.30 c input general constraints 258 3600.01/3612.30 c input average constraint length 26.93 3600.01/3612.30 c input average constraint degree 8.38 3600.01/3612.30 c learned clauses 579497 3600.01/3612.30 c learned cardinalities 5077 3600.01/3612.30 c learned general constraints 913179 3600.01/3612.30 c learned average constraint length 68.10 3600.01/3612.30 c learned average constraint degree 1147242621.87 3600.01/3612.30 c watched constraints 801367 3600.01/3612.30 c counting constraints 112070 3600.01/3612.30 c gcd simplifications 231142 3600.01/3612.30 c detected cardinalities 357 3600.01/3612.30 c weakened non-implied lits 31623529 3600.01/3612.30 c weakened non-implying lits 373289 3600.01/3612.30 c original variables 225 3600.01/3612.30 c clausal propagations 9478480 3600.01/3612.30 c cardinality propagations 3502597 3600.01/3612.30 c watched propagations 14757566 3600.01/3612.30 c counting propagations 69445683 3600.01/3612.30 c watch lookups 67551898085 3600.01/3612.30 c watch backjump lookups 57642808868 3600.01/3612.30 c watch checks 123324229329 3600.01/3612.30 c propagation checks 17170970846 3600.01/3612.30 c constraint additions 543362019 3600.01/3612.30 c trail pops 106689407 3600.01/3612.30 c formula constraints 225 3600.01/3612.30 c learned constraints 1429241 3600.01/3612.30 c bound constraints 72 3600.01/3612.30 c core-guided constraints 446 3600.01/3612.30 c encountered formula constraints 1560691 3600.01/3612.30 c encountered learned constraints 5410447 3600.01/3612.30 c encountered bound constraints 340 3600.01/3612.30 c encountered core-guided constraints 941485 3600.01/3612.30 c LP total time 45.1189 s 3600.01/3612.30 c LP solve time 35.61 s 3600.01/3612.30 c LP constraints added 294 3600.01/3612.30 c LP constraints removed 68 3600.01/3612.30 c LP pivots internal 1462597 3600.01/3612.30 c LP pivots root 10416 3600.01/3612.30 c LP calls 40816 3600.01/3612.30 c LP optimalities 5628 3600.01/3612.30 c LP no pivot count 1833 3600.01/3612.30 c LP infeasibilities 35186 3600.01/3612.30 c LP valid Farkas constraints 35185 3600.01/3612.30 c LP learned Farkas constraints 33258 3600.01/3612.30 c LP basis resets 2 3600.01/3612.30 c LP cycling count 1 3600.01/3612.30 c LP singular count 0 3600.01/3612.30 c LP no primal count 0 3600.01/3612.30 c LP no farkas count 1 3600.01/3612.30 c LP other issue count 0 3600.01/3612.30 c LP Gomory cuts 69 3600.01/3612.30 c LP learned cuts 0 3600.01/3612.30 c LP deleted cuts 68 3600.01/3612.30 c LP encountered Gomory constraints 0 3600.01/3612.30 c LP encountered Farkas constraints 3418541 3600.01/3612.30 c LP encountered learned Farkas constraints 585438 3600.01/3612.30 c CG auxiliary variables introduced 166 3600.01/3612.30 c CG solutions found 20 3600.01/3612.30 c CG cores constructed 52 3600.01/3612.30 c CG core cardinality constraints returned 0 3600.01/3612.30 c CG unit cores 0 3600.01/3612.30 c CG single cores 52 3600.01/3612.30 c CG blocks removed during cardinality reduction 0 3600.01/3612.30 c CG first core best 0 3600.01/3612.30 c CG decision core best 0 3600.01/3612.30 c CG core reduction tie 0 3600.01/3612.30 c CG core degree average 1.00 3600.01/3612.30 c CG core slack average 5.52 3600.01/3612.30 s SATISFIABLE 3600.01/3612.30 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
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 (62802 MiB free)
memory of node 1: 64510 MiB (61452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455113-1721458051/watcher-4455113-1721458051 -o /tmp/evaluation-result-4455113-1721458051/solver-4455113-1721458051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455113-1721458051.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1048942, runsolver pid=1048939
[startup+0.100631 s]*
/proc/loadavg: 2.10 1.35 1.43 5/243 1048943
/proc/meminfo: memFree=127236268/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=37944 memory=8064 CPUtime=0.09 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 486 0 0 0 9 0 0 0 20 0 1 0 197963131 38854656 2016 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 9486 2016 1772 922 0 1438 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37944 KiB
Current children cumulated memory: 8064 KiB
[startup+0.212709 s]*
/proc/loadavg: 2.10 1.35 1.43 5/243 1048943
/proc/meminfo: memFree=127235512/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=38408 memory=8688 CPUtime=0.21 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 601 0 0 0 21 0 0 0 20 0 1 0 197963131 39329792 2172 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 9602 2172 1772 922 0 1554 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38408 KiB
Current children cumulated memory: 8688 KiB
[startup+0.312632 s]*
/proc/loadavg: 2.10 1.35 1.43 5/243 1048943
/proc/meminfo: memFree=127235036/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=38792 memory=9440 CPUtime=0.31 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 715 0 0 0 29 2 0 0 20 0 1 0 197963131 39723008 2360 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 9698 2360 1872 922 0 1650 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 9440 KiB
[startup+0.700282 s]
/proc/loadavg: 2.10 1.35 1.43 5/243 1048943
/proc/meminfo: memFree=127233824/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=39660 memory=11024 CPUtime=0.68 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 1081 0 0 0 61 7 0 0 20 0 1 0 197963131 40611840 2756 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 9915 2756 1872 922 0 1867 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39660 KiB
Current children cumulated memory: 11024 KiB
[startup+1.50027 s]
/proc/loadavg: 2.10 1.35 1.43 5/243 1048943
/proc/meminfo: memFree=127232144/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=41528 memory=15768 CPUtime=1.48 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 1744 0 0 0 135 13 0 0 20 0 1 0 197963131 42524672 3942 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 10382 3942 1872 922 0 2334 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41528 KiB
Current children cumulated memory: 15768 KiB
[startup+3.11255 s]
/proc/loadavg: 2.10 1.35 1.43 5/243 1048945
/proc/meminfo: memFree=127219916/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=43224 memory=17280 CPUtime=3.09 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 2181 0 0 0 287 22 0 0 20 0 1 0 197963131 44261376 4320 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 10806 4320 1872 922 0 2758 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 17280 KiB
[startup+6.30027 s]
/proc/loadavg: 2.25 1.40 1.45 5/243 1048945
/proc/meminfo: memFree=127216108/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=44388 memory=18580 CPUtime=6.27 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 2462 0 0 0 590 37 0 0 20 0 1 0 197963131 45453312 4645 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 11097 4645 1872 922 0 3049 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44388 KiB
Current children cumulated memory: 18580 KiB
[startup+12.7003 s]
/proc/loadavg: 2.47 1.46 1.47 5/243 1048946
/proc/meminfo: memFree=127198548/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=56224 memory=29072 CPUtime=12.64 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 4068 0 0 0 1204 60 0 0 20 0 1 0 197963131 57573376 7268 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 14056 7268 1872 922 0 6008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56224 KiB
Current children cumulated memory: 29072 KiB
[startup+25.5003 s]
/proc/loadavg: 2.81 1.58 1.51 5/243 1048948
/proc/meminfo: memFree=127126120/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=69220 memory=37860 CPUtime=25.4 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 5851 0 0 0 2443 97 0 0 20 0 1 0 197963131 70881280 9465 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 17305 9465 1872 922 0 9257 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 69220 KiB
Current children cumulated memory: 37860 KiB
[startup+51.1126 s]
/proc/loadavg: 3.29 1.79 1.58 5/243 1048951
/proc/meminfo: memFree=127033924/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=72896 memory=42884 CPUtime=50.93 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 6664 0 0 0 4940 153 0 0 20 0 1 0 197963131 74645504 10721 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 18224 10721 1872 922 0 10176 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 72896 KiB
Current children cumulated memory: 42884 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.15 1.71 5/242 1048962
/proc/meminfo: memFree=126587120/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=91368 memory=54452 CPUtime=101.95 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 8675 0 0 0 9958 237 0 0 20 0 1 0 197963131 93560832 13613 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 22842 13613 1872 922 0 14794 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 91368 KiB
Current children cumulated memory: 54452 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.49 1.86 5/242 1049017
/proc/meminfo: memFree=126297180/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=97792 memory=63752 CPUtime=161.74 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 10134 0 0 0 15854 320 0 0 20 0 1 0 197963131 100139008 15938 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 24448 15938 1872 922 0 16400 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 97792 KiB
Current children cumulated memory: 63752 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.82 2.01 5/245 1049033
/proc/meminfo: memFree=126237952/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=102572 memory=71756 CPUtime=221.55 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 11311 0 0 0 21775 380 0 0 20 0 1 0 197963131 105033728 17939 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 25643 17939 1872 922 0 17595 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 102572 KiB
Current children cumulated memory: 71756 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.05 2.14 5/245 1049044
/proc/meminfo: memFree=125660408/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=107172 memory=75328 CPUtime=281.34 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 12280 0 0 0 27689 445 0 0 20 0 1 0 197963131 109744128 18832 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 26793 18832 1872 922 0 18745 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 107172 KiB
Current children cumulated memory: 75328 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.24 2.27 5/245 1049055
/proc/meminfo: memFree=125415468/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=109348 memory=77776 CPUtime=341.14 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 13125 0 0 0 33622 492 0 0 20 0 1 0 197963131 111972352 19444 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 27337 19444 1872 922 0 19289 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 109348 KiB
Current children cumulated memory: 77776 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.39 2.39 5/245 1049065
/proc/meminfo: memFree=125354824/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=113188 memory=80148 CPUtime=400.95 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 13773 0 0 0 39546 549 0 0 20 0 1 0 197963131 115904512 20037 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 28297 20037 1872 922 0 20249 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 80148 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.52 2.49 5/245 1049077
/proc/meminfo: memFree=125252020/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=115364 memory=82524 CPUtime=460.74 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 14357 0 0 0 45496 578 0 0 20 0 1 0 197963131 118132736 20631 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 28841 20631 1872 922 0 20793 0
################
# More data... #
################
Current children cumulated memory: 176988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.16 4.09 5/241 1050708
/proc/meminfo: memFree=120811672/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=222876 memory=176988 CPUtime=2912.49 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 30355 0 0 0 289524 1725 0 0 20 0 1 0 197963131 228225024 44247 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55719 44247 1872 922 0 47671 0
Current children cumulated CPU time: 2912.49 s
Current children cumulated vsize: 222876 KiB
Current children cumulated memory: 176988 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/241 1050718
/proc/meminfo: memFree=120803932/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=222876 memory=176988 CPUtime=2972.27 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 30418 0 0 0 295489 1738 0 0 20 0 1 0 197963131 228225024 44247 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55719 44247 1872 922 0 47671 0
Current children cumulated CPU time: 2972.27 s
Current children cumulated vsize: 222876 KiB
Current children cumulated memory: 176988 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/241 1050728
/proc/meminfo: memFree=120802220/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=222876 memory=176988 CPUtime=3032.06 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 30482 0 0 0 301455 1751 0 0 20 0 1 0 197963131 228225024 44247 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55719 44247 1872 922 0 47671 0
Current children cumulated CPU time: 3032.06 s
Current children cumulated vsize: 222876 KiB
Current children cumulated memory: 176988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/241 1050739
/proc/meminfo: memFree=120798008/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=222876 memory=176988 CPUtime=3091.85 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 30551 0 0 0 307423 1762 0 0 20 0 1 0 197963131 228225024 44247 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55719 44247 1872 922 0 47671 0
Current children cumulated CPU time: 3091.85 s
Current children cumulated vsize: 222876 KiB
Current children cumulated memory: 176988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/241 1050750
/proc/meminfo: memFree=120795084/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=223388 memory=177024 CPUtime=3151.63 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 30662 0 0 0 313389 1774 0 0 20 0 1 0 197963131 228749312 44256 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55847 44256 1872 922 0 47799 0
Current children cumulated CPU time: 3151.63 s
Current children cumulated vsize: 223388 KiB
Current children cumulated memory: 177024 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/243 1050765
/proc/meminfo: memFree=120785452/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=223716 memory=177320 CPUtime=3211.42 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 31073 0 0 0 319342 1800 0 0 20 0 1 0 197963131 229085184 44330 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55929 44330 1872 922 0 47881 0
Current children cumulated CPU time: 3211.42 s
Current children cumulated vsize: 223716 KiB
Current children cumulated memory: 177320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/243 1050775
/proc/meminfo: memFree=120254300/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=223900 memory=177584 CPUtime=3271.2 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 31164 0 0 0 325284 1836 0 0 20 0 1 0 197963131 229273600 44396 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 55975 44396 1872 922 0 47927 0
Current children cumulated CPU time: 3271.2 s
Current children cumulated vsize: 223900 KiB
Current children cumulated memory: 177584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.67 4.27 4.14 5/243 1050787
/proc/meminfo: memFree=119882136/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=225340 memory=178344 CPUtime=3330.98 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 31468 0 0 0 331239 1859 0 0 20 0 1 0 197963131 230748160 44586 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 56335 44586 1872 922 0 48287 0
Current children cumulated CPU time: 3330.98 s
Current children cumulated vsize: 225340 KiB
Current children cumulated memory: 178344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.52 4.32 4.17 5/243 1050798
/proc/meminfo: memFree=119566236/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=227768 memory=182124 CPUtime=3390.76 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32029 0 0 0 337199 1877 0 0 20 0 1 0 197963131 233234432 45531 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 56942 45531 1872 922 0 48894 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 227768 KiB
Current children cumulated memory: 182124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.29 4.17 5/243 1050810
/proc/meminfo: memFree=119189384/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=228792 memory=184940 CPUtime=3450.54 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32737 0 0 0 343161 1893 0 0 20 0 1 0 197963131 234283008 46235 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 57198 46235 1872 922 0 49150 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 184940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.25 4.16 5/241 1050822
/proc/meminfo: memFree=119187400/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=228792 memory=184940 CPUtime=3510.33 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32800 0 0 0 349127 1906 0 0 20 0 1 0 197963131 234283008 46235 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 57198 46235 1872 922 0 49150 0
Current children cumulated CPU time: 3510.33 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 184940 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/241 1050832
/proc/meminfo: memFree=119186092/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=228792 memory=184940 CPUtime=3570.12 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32864 0 0 0 355095 1917 0 0 20 0 1 0 197963131 234283008 46235 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 57198 46235 1872 922 0 49150 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 184940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 4.10 4.21 4.16 5/241 1050931
/proc/meminfo: memFree=126439000/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=228792 memory=184940 CPUtime=3600.01 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32928 0 0 0 358078 1923 0 0 20 0 1 0 197963131 234283008 46235 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 57198 46235 1872 922 0 49150 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 184940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 1048942 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.79 s, system=19.237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 4.10 4.21 4.16 5/241 1050931
/proc/meminfo: memFree=126439000/131655788 swapFree=131071996/131071996
[pid=1048942] ppid=1048939 vsize=228792 memory=184940 CPUtime=3600.01 cores=0,2
/proc/1048942/stat : 1048942 (roundingsat) R 1048939 1048942 1047946 0 -1 4194304 32928 0 0 0 358078 1923 0 0 20 0 1 0 197963131 234283008 46235 134679101440 4194304 7968373 140736722676256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 13758464 140736722682812 140736722682976 140736722682976 140736722689993 0
/proc/1048942/statm: 57198 46235 1872 922 0 49150 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 228792 KiB
Current children cumulated memory: 184940 KiB
Child status: 0
Real time (s): 3612.3
CPU time (s): 3600.02
CPU user time (s): 3580.79
CPU system time (s): 19.237
CPU usage (%): 99.66
Max. virtual memory (cumulated for all children) (KiB): 230564
Max. memory (cumulated for all children) (KiB): 186364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.79
system time used= 19.237
maximum resident set size= 186364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32945
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= 66
involuntary context switches= 24684
# summary of solver processes directly reported to runsolver:
# pid: 1048942
# total CPU time (s): 3600.02
# total CPU user time (s): 3580.79
# total CPU system time (s): 19.237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.302 second user time and 35.933 second system time
The end
Begin job on nodeC002 at 2024-07-20 08:47:43 IDJOB=4455113 IDBENCH=147228 IDSOLVER=3084 FILE ID=nodeC002/4455113-1721458051 RUNJOBID= nodeC002-1721458043-1047956 SLURM_JOB_ID= 7545699 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-4455113-1721458051/watcher-4455113-1721458051 -o /tmp/evaluation-result-4455113-1721458051/solver-4455113-1721458051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455113-1721458051.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=642313859 nodeC002.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 : 1197.156 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.38 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 : 3660.226 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.31 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.159 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.38 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.320 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.31 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 : 3657.411 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.38 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 : 3660.260 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.31 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.343 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.38 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.301 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127238204 kB MemAvailable: 129478700 kB Buffers: 578288 kB Cached: 2487612 kB SwapCached: 0 kB Active: 1053608 kB Inactive: 2759644 kB Active(anon): 2692 kB Inactive(anon): 790556 kB Active(file): 1050916 kB Inactive(file): 1969088 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22500 kB Writeback: 48 kB AnonPages: 747440 kB Mapped: 117188 kB Shmem: 45896 kB KReclaimable: 121048 kB Slab: 228624 kB SReclaimable: 121048 kB SUnreclaim: 107576 kB KernelStack: 3856 kB PageTables: 10876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1170044 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63392 kB HardwareCorrupted: 0 kB AnonHugePages: 294912 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: 252744 kB DirectMap2M: 34254848 kB DirectMap1G: 101711872 kB Free space on /tmp at the end= 723752 MiB End job on nodeC002 at 2024-07-20 09:47:56