| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.07 | 3617.58 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
| MD5SUM | d6e4abba593cb3232b5d1a2a9d687dd6 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| 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 | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 82 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1782 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5856 |
| Number of bits of the biggest sum of numbers | 13 |
| 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 198 #constraints 16 0.00/0.00 c bounds - >= 0 @ 0.000227 0.00/0.00 c rational objective 0 0.29/0.35 c bounds 227 >= 0 @ 0.012644 0.29/0.35 c bounds 222 >= 0 @ 0.014034 0.29/0.35 c bounds 217 >= 0 @ 0.027428 0.29/0.35 c bounds 201 >= 0 @ 0.029795 0.29/0.35 c bounds 199 >= 0 @ 0.031201 0.29/0.35 c #Conflicts: 1000 | #Constraints: 1036 0.29/0.35 c #Conflicts: 2000 | #Constraints: 2047 0.29/0.35 c INPROCESSING 0.29/0.35 c GARBAGE COLLECT 0.29/0.35 c rational objective 0 0.89/0.99 c bounds 197 >= 0 @ 0.331902 0.89/0.99 c bounds 195 >= 0 @ 0.332424 0.89/0.99 c bounds 193 >= 0 @ 0.333744 0.89/0.99 c bounds 191 >= 0 @ 0.335718 0.89/0.99 c bounds 189 >= 0 @ 0.335877 0.89/0.99 c bounds 185 >= 0 @ 0.335877 0.89/0.99 c bounds 183 >= 0 @ 0.335877 0.89/0.99 c bounds 181 >= 0 @ 0.336424 0.89/0.99 c bounds 179 >= 0 @ 0.337013 0.89/0.99 c bounds 177 >= 0 @ 0.338163 0.89/0.99 c bounds 171 >= 0 @ 0.340853 0.89/0.99 c bounds 169 >= 0 @ 0.344988 0.89/0.99 c bounds 167 >= 0 @ 0.346848 0.89/0.99 c bounds 151 >= 0 @ 0.347955 0.89/0.99 c bounds 119 >= 0 @ 0.349076 0.89/0.99 c bounds 97 >= 0 @ 0.353587 0.89/0.99 c bounds 85 >= 0 @ 0.358212 0.89/0.99 c bounds 81 >= 0 @ 0.361048 0.89/0.99 c bounds 73 >= 0 @ 0.362953 0.89/0.99 c bounds 69 >= 0 @ 0.364671 0.89/0.99 c bounds 65 >= 0 @ 0.365513 0.89/0.99 c bounds 61 >= 0 @ 0.368437 0.89/0.99 c bounds 57 >= 0 @ 0.369223 0.89/0.99 c #Conflicts: 3000 | #Constraints: 2075 0.89/0.99 c bounds 56 >= 0 @ 0.874217 0.89/0.99 c #Conflicts: 4000 | #Constraints: 3087 0.89/0.99 c INPROCESSING 0.89/0.99 c GARBAGE COLLECT 0.89/0.99 c rational objective 0 1.68/1.73 c #Conflicts: 5000 | #Constraints: 2437 1.68/1.73 c #Conflicts: 6000 | #Constraints: 3444 1.68/1.73 c INPROCESSING 1.68/1.73 c GARBAGE COLLECT 1.68/1.73 c rational objective 0 2.68/2.74 c bounds 54 >= 0 @ 1.64407 2.68/2.74 c #Conflicts: 7000 | #Constraints: 2448 2.68/2.74 c #Conflicts: 8000 | #Constraints: 3457 2.68/2.74 c #Conflicts: 9000 | #Constraints: 4467 2.68/2.74 c INPROCESSING 2.68/2.74 c GARBAGE COLLECT 2.68/2.74 c rational objective 0 3.68/3.77 c #Conflicts: 10000 | #Constraints: 3158 3.68/3.77 c #Conflicts: 11000 | #Constraints: 4165 3.68/3.77 c #Conflicts: 12000 | #Constraints: 5174 3.68/3.77 c INPROCESSING 3.68/3.77 c GARBAGE COLLECT 3.68/3.77 c rational objective 0 4.98/5.08 c #Conflicts: 13000 | #Constraints: 3611 4.98/5.08 c bounds 52 >= 0 @ 4.16352 4.98/5.08 c #Conflicts: 14000 | #Constraints: 4620 4.98/5.08 c #Conflicts: 15000 | #Constraints: 5627 4.98/5.08 c INPROCESSING 4.98/5.08 c GARBAGE COLLECT 4.98/5.08 c rational objective 0 6.47/6.50 c bounds 50 >= 0 @ 4.87176 6.47/6.50 c bounds 46 >= 0 @ 5.26313 6.47/6.50 c #Conflicts: 16000 | #Constraints: 3849 6.47/6.50 c #Conflicts: 17000 | #Constraints: 4860 6.47/6.50 c #Conflicts: 18000 | #Constraints: 5863 6.47/6.50 c INPROCESSING 6.47/6.50 c GARBAGE COLLECT 6.47/6.50 c rational objective 0 8.17/8.23 c bounds 38 >= 0 @ 6.28076 8.17/8.23 c #Conflicts: 19000 | #Constraints: 3852 8.17/8.23 c #Conflicts: 20000 | #Constraints: 4865 8.17/8.23 c #Conflicts: 21000 | #Constraints: 5877 8.17/8.23 c INPROCESSING 8.17/8.23 c GARBAGE COLLECT 8.17/8.23 c rational objective 0 9.76/9.85 c #Conflicts: 22000 | #Constraints: 3660 9.76/9.85 c #Conflicts: 23000 | #Constraints: 4678 9.76/9.85 c #Conflicts: 24000 | #Constraints: 5688 9.76/9.85 c #Conflicts: 25000 | #Constraints: 6698 9.76/9.85 c INPROCESSING 9.76/9.85 c GARBAGE COLLECT 9.76/9.85 c rational objective 0 12.15/12.20 c #Conflicts: 26000 | #Constraints: 4275 12.15/12.20 c #Conflicts: 27000 | #Constraints: 5282 12.15/12.20 c #Conflicts: 28000 | #Constraints: 6287 12.15/12.20 c #Conflicts: 29000 | #Constraints: 7292 12.15/12.20 c INPROCESSING 12.15/12.20 c GARBAGE COLLECT 12.15/12.20 c rational objective 0 14.25/14.33 c #Conflicts: 30000 | #Constraints: 4674 14.25/14.33 c #Conflicts: 31000 | #Constraints: 5682 14.25/14.33 c #Conflicts: 32000 | #Constraints: 6692 14.25/14.33 c #Conflicts: 33000 | #Constraints: 7694 14.25/14.33 c INPROCESSING 14.25/14.33 c GARBAGE COLLECT 14.25/14.33 c rational objective 0 17.34/17.48 c #Conflicts: 34000 | #Constraints: 4867 17.34/17.48 c #Conflicts: 35000 | #Constraints: 5868 17.34/17.48 c #Conflicts: 36000 | #Constraints: 6874 17.34/17.48 c #Conflicts: 37000 | #Constraints: 7877 17.34/17.48 c INPROCESSING 17.34/17.48 c GARBAGE COLLECT 17.34/17.48 c rational objective 0 19.94/20.03 c #Conflicts: 38000 | #Constraints: 4872 19.94/20.03 c #Conflicts: 39000 | #Constraints: 5878 19.94/20.03 c #Conflicts: 40000 | #Constraints: 6884 19.94/20.03 c #Conflicts: 41000 | #Constraints: 7890 19.94/20.03 c INPROCESSING 19.94/20.03 c GARBAGE COLLECT 19.94/20.03 c rational objective 0 22.93/23.00 c #Conflicts: 42000 | #Constraints: 4663 22.93/23.00 c #Conflicts: 43000 | #Constraints: 5670 22.93/23.00 c #Conflicts: 44000 | #Constraints: 6673 22.93/23.00 c #Conflicts: 45000 | #Constraints: 7676 22.93/23.00 c #Conflicts: 46000 | #Constraints: 8683 22.93/23.00 c INPROCESSING 22.93/23.00 c GARBAGE COLLECT 22.93/23.00 c rational objective 0 26.52/26.65 c #Conflicts: 47000 | #Constraints: 5262 26.52/26.65 c bounds 36 >= 0 @ 23.0664 26.52/26.65 c bounds 34 >= 0 @ 23.0694 26.52/26.65 c bounds 30 >= 0 @ 23.0719 26.52/26.65 c #Conflicts: 48000 | #Constraints: 6272 26.52/26.65 c #Conflicts: 49000 | #Constraints: 7276 26.52/26.65 c #Conflicts: 50000 | #Constraints: 8278 26.52/26.65 c #Conflicts: 51000 | #Constraints: 9284 26.52/26.65 c INPROCESSING 26.52/26.65 c GARBAGE COLLECT 26.52/26.65 c rational objective 0 29.71/29.82 c #Conflicts: 52000 | #Constraints: 5666 29.71/29.82 c #Conflicts: 53000 | #Constraints: 6670 29.71/29.82 c #Conflicts: 54000 | #Constraints: 7672 29.71/29.82 c #Conflicts: 55000 | #Constraints: 8680 29.71/29.82 c #Conflicts: 56000 | #Constraints: 9682 29.71/29.82 c INPROCESSING 29.71/29.82 c GARBAGE COLLECT 29.71/29.82 c rational objective 0 34.20/34.36 c #Conflicts: 57000 | #Constraints: 5863 34.20/34.36 c #Conflicts: 58000 | #Constraints: 6869 34.20/34.36 c #Conflicts: 59000 | #Constraints: 7875 34.20/34.36 c #Conflicts: 60000 | #Constraints: 8878 34.20/34.36 c #Conflicts: 61000 | #Constraints: 9881 34.20/34.36 c INPROCESSING 34.20/34.36 c GARBAGE COLLECT 34.20/34.36 c rational objective 0 38.09/38.22 c #Conflicts: 62000 | #Constraints: 5868 38.09/38.22 c #Conflicts: 63000 | #Constraints: 6872 38.09/38.22 c #Conflicts: 64000 | #Constraints: 7879 38.09/38.22 c #Conflicts: 65000 | #Constraints: 8881 38.09/38.22 c #Conflicts: 66000 | #Constraints: 9889 38.09/38.22 c INPROCESSING 38.09/38.22 c GARBAGE COLLECT 38.09/38.22 c rational objective 0 42.07/42.20 c #Conflicts: 67000 | #Constraints: 5663 42.07/42.20 c #Conflicts: 68000 | #Constraints: 6670 42.07/42.20 c #Conflicts: 69000 | #Constraints: 7672 42.07/42.20 c #Conflicts: 70000 | #Constraints: 8675 42.07/42.20 c #Conflicts: 71000 | #Constraints: 9677 42.07/42.20 c #Conflicts: 72000 | #Constraints: 10678 42.07/42.20 c INPROCESSING 42.07/42.20 c GARBAGE COLLECT 42.07/42.20 c rational objective 0 48.16/48.32 c #Conflicts: 73000 | #Constraints: 6261 48.16/48.32 c #Conflicts: 74000 | #Constraints: 7264 48.16/48.32 c #Conflicts: 75000 | #Constraints: 8266 48.16/48.32 c #Conflicts: 76000 | #Constraints: 9271 48.16/48.32 c #Conflicts: 77000 | #Constraints: 10279 48.16/48.32 c #Conflicts: 78000 | #Constraints: 11284 48.16/48.32 c INPROCESSING 48.16/48.32 c GARBAGE COLLECT 48.16/48.32 c rational objective 0 52.55/52.73 c #Conflicts: 79000 | #Constraints: 6672 52.55/52.73 c #Conflicts: 80000 | #Constraints: 7676 52.55/52.73 c #Conflicts: 81000 | #Constraints: 8679 52.55/52.73 c #Conflicts: 82000 | #Constraints: 9683 52.55/52.73 c #Conflicts: 83000 | #Constraints: 10685 52.55/52.73 c #Conflicts: 84000 | #Constraints: 11688 52.55/52.73 c INPROCESSING 52.55/52.73 c GARBAGE COLLECT 52.55/52.73 c rational objective 0 59.33/59.54 c #Conflicts: 85000 | #Constraints: 6864 59.33/59.54 c #Conflicts: 86000 | #Constraints: 7866 59.33/59.54 c #Conflicts: 87000 | #Constraints: 8868 59.33/59.54 c #Conflicts: 88000 | #Constraints: 9870 59.33/59.54 c #Conflicts: 89000 | #Constraints: 10871 59.33/59.54 c #Conflicts: 90000 | #Constraints: 11873 59.33/59.54 c INPROCESSING 59.33/59.54 c GARBAGE COLLECT 59.33/59.54 c rational objective 0 65.31/65.59 c #Conflicts: 91000 | #Constraints: 6861 65.31/65.59 c #Conflicts: 92000 | #Constraints: 7868 65.31/65.59 c #Conflicts: 93000 | #Constraints: 8869 65.31/65.59 c #Conflicts: 94000 | #Constraints: 9871 65.31/65.59 c #Conflicts: 95000 | #Constraints: 10872 65.31/65.59 c #Conflicts: 96000 | #Constraints: 11872 65.31/65.59 c INPROCESSING 65.31/65.59 c GARBAGE COLLECT 65.31/65.59 c rational objective 0 71.00/71.28 c #Conflicts: 97000 | #Constraints: 6658 71.00/71.28 c #Conflicts: 98000 | #Constraints: 7662 71.00/71.28 c #Conflicts: 99000 | #Constraints: 8665 71.00/71.28 c #Conflicts: 100000 | #Constraints: 9666 71.00/71.28 c #Conflicts: 101000 | #Constraints: 10666 71.00/71.28 c #Conflicts: 102000 | #Constraints: 11667 71.00/71.28 c #Conflicts: 103000 | #Constraints: 12672 71.00/71.28 c INPROCESSING 71.00/71.28 c GARBAGE COLLECT 71.00/71.28 c rational objective 0 79.28/79.59 c #Conflicts: 104000 | #Constraints: 7254 79.28/79.59 c #Conflicts: 105000 | #Constraints: 8256 79.28/79.59 c #Conflicts: 106000 | #Constraints: 9259 79.28/79.59 c #Conflicts: 107000 | #Constraints: 10262 79.28/79.59 c #Conflicts: 108000 | #Constraints: 11268 79.28/79.59 c #Conflicts: 109000 | #Constraints: 12271 79.28/79.59 c #Conflicts: 110000 | #Constraints: 13275 79.28/79.59 c INPROCESSING 79.28/79.59 c GARBAGE COLLECT 79.28/79.59 c rational objective 0 84.77/85.01 c #Conflicts: 111000 | #Constraints: 7665 84.77/85.01 c #Conflicts: 112000 | #Constraints: 8668 84.77/85.01 c #Conflicts: 113000 | #Constraints: 9673 84.77/85.01 c #Conflicts: 114000 | #Constraints: 10677 84.77/85.01 c #Conflicts: 115000 | #Constraints: 11678 84.77/85.01 c #Conflicts: 116000 | #Constraints: 12686 84.77/85.01 c #Conflicts: 117000 | #Constraints: 13687 84.77/85.01 c INPROCESSING 84.77/85.01 c GARBAGE COLLECT 84.77/85.01 c rational objective 0 92.14/92.44 c #Conflicts: 118000 | #Constraints: 7862 92.14/92.44 c #Conflicts: 119000 | #Constraints: 8864 92.14/92.44 c #Conflicts: 120000 | #Constraints: 9868 92.14/92.44 c #Conflicts: 121000 | #Constraints: 10870 92.14/92.44 c bounds 29 >= 0 @ 88.1137 92.14/92.44 c #Conflicts: 122000 | #Constraints: 11873 92.14/92.44 c #Conflicts: 123000 | #Constraints: 12878 92.14/92.44 c #Conflicts: 124000 | #Constraints: 13882 92.14/92.44 c INPROCESSING 92.14/92.44 c GARBAGE COLLECT 92.14/92.44 c rational objective 0 98.12/98.44 c #Conflicts: 125000 | #Constraints: 7860 98.12/98.44 c #Conflicts: 126000 | #Constraints: 8862 98.12/98.44 c #Conflicts: 127000 | #Constraints: 9867 98.12/98.44 c #Conflicts: 128000 | #Constraints: 10873 98.12/98.44 c #Conflicts: 129000 | #Constraints: 11874 98.12/98.44 c #Conflicts: 130000 | #Constraints: 12878 98.12/98.44 c #Conflicts: 131000 | #Constraints: 13882 98.12/98.44 c INPROCESSING 98.12/98.44 c GARBAGE COLLECT 98.12/98.44 c rational objective 0 107.40/107.76 c bounds 25 >= 0 @ 96.2842 107.40/107.76 c bounds 23 >= 0 @ 96.2884 107.40/107.76 c #Conflicts: 132000 | #Constraints: 7663 107.40/107.76 c #Conflicts: 133000 | #Constraints: 8667 107.40/107.76 c #Conflicts: 134000 | #Constraints: 9675 107.40/107.76 c #Conflicts: 135000 | #Constraints: 10679 107.40/107.76 c #Conflicts: 136000 | #Constraints: 11684 107.40/107.76 c #Conflicts: 137000 | #Constraints: 12690 107.40/107.76 c #Conflicts: 138000 | #Constraints: 13691 107.40/107.76 c #Conflicts: 139000 | #Constraints: 14695 107.40/107.76 c INPROCESSING 107.40/107.76 c GARBAGE COLLECT 107.40/107.76 c rational objective 0 115.48/115.89 c #Conflicts: 140000 | #Constraints: 8271 115.48/115.89 c #Conflicts: 141000 | #Constraints: 9274 115.48/115.89 c #Conflicts: 142000 | #Constraints: 10277 115.48/115.89 c #Conflicts: 143000 | #Constraints: 11278 115.48/115.89 c #Conflicts: 144000 | #Constraints: 12279 115.48/115.89 c #Conflicts: 145000 | #Constraints: 13281 115.48/115.89 c #Conflicts: 146000 | #Constraints: 14284 115.48/115.89 c #Conflicts: 147000 | #Constraints: 15288 115.48/115.89 c INPROCESSING 115.48/115.89 c GARBAGE COLLECT 115.48/115.89 c rational objective 0 126.95/127.39 c #Conflicts: 148000 | #Constraints: 8664 126.95/127.39 c #Conflicts: 149000 | #Constraints: 9668 126.95/127.39 c #Conflicts: 150000 | #Constraints: 10672 126.95/127.39 c #Conflicts: 151000 | #Constraints: 11676 126.95/127.39 c #Conflicts: 152000 | #Constraints: 12678 126.95/127.39 c #Conflicts: 153000 | #Constraints: 13680 126.95/127.39 c #Conflicts: 154000 | #Constraints: 14683 126.95/127.39 c #Conflicts: 155000 | #Constraints: 15684 126.95/127.39 c INPROCESSING 126.95/127.39 c GARBAGE COLLECT 126.95/127.39 c rational objective 0 135.02/135.43 c #Conflicts: 156000 | #Constraints: 8867 135.02/135.43 c #Conflicts: 157000 | #Constraints: 9871 135.02/135.43 c #Conflicts: 158000 | #Constraints: 10876 135.02/135.43 c #Conflicts: 159000 | #Constraints: 11878 135.02/135.43 c #Conflicts: 160000 | #Constraints: 12881 135.02/135.43 c #Conflicts: 161000 | #Constraints: 13886 135.02/135.43 c #Conflicts: 162000 | #Constraints: 14889 135.02/135.43 c #Conflicts: 163000 | #Constraints: 15891 135.02/135.43 c INPROCESSING 135.02/135.43 c GARBAGE COLLECT 135.02/135.43 c rational objective 0 143.30/143.79 c #Conflicts: 164000 | #Constraints: 8865 143.30/143.79 c #Conflicts: 165000 | #Constraints: 9867 143.30/143.79 c #Conflicts: 166000 | #Constraints: 10871 143.30/143.79 c #Conflicts: 167000 | #Constraints: 11872 143.30/143.79 c #Conflicts: 168000 | #Constraints: 12872 143.30/143.79 c #Conflicts: 169000 | #Constraints: 13875 143.30/143.79 c #Conflicts: 170000 | #Constraints: 14878 143.30/143.79 c #Conflicts: 171000 | #Constraints: 15880 143.30/143.79 c INPROCESSING 143.30/143.79 c GARBAGE COLLECT 143.30/143.79 c rational objective 0 157.27/157.74 c #Conflicts: 172000 | #Constraints: 8657 157.27/157.74 c #Conflicts: 173000 | #Constraints: 9660 157.27/157.74 c #Conflicts: 174000 | #Constraints: 10664 157.27/157.74 c #Conflicts: 175000 | #Constraints: 11669 157.27/157.74 c #Conflicts: 176000 | #Constraints: 12673 157.27/157.74 c #Conflicts: 177000 | #Constraints: 13673 157.27/157.74 c #Conflicts: 178000 | #Constraints: 14674 157.27/157.74 c #Conflicts: 179000 | #Constraints: 15675 157.27/157.74 c #Conflicts: 180000 | #Constraints: 16677 157.27/157.74 c INPROCESSING 157.27/157.74 c GARBAGE COLLECT 157.27/157.74 c rational objective 0 167.33/167.82 c #Conflicts: 181000 | #Constraints: 9267 167.33/167.82 c #Conflicts: 182000 | #Constraints: 10271 167.33/167.82 c #Conflicts: 183000 | #Constraints: 11275 167.33/167.82 c #Conflicts: 184000 | #Constraints: 12278 167.33/167.82 c #Conflicts: 185000 | #Constraints: 13282 167.33/167.82 c #Conflicts: 186000 | #Constraints: 14285 167.33/167.82 c #Conflicts: 187000 | #Constraints: 15288 167.33/167.82 c #Conflicts: 188000 | #Constraints: 16291 167.33/167.82 c #Conflicts: 189000 | #Constraints: 17294 167.33/167.82 c INPROCESSING 167.33/167.82 c GARBAGE COLLECT 167.33/167.82 c rational objective 0 178.10/178.60 c #Conflicts: 190000 | #Constraints: 9667 178.10/178.60 c #Conflicts: 191000 | #Constraints: 10669 178.10/178.60 c #Conflicts: 192000 | #Constraints: 11672 178.10/178.60 c #Conflicts: 193000 | #Constraints: 12675 178.10/178.60 c #Conflicts: 194000 | #Constraints: 13676 178.10/178.60 c #Conflicts: 195000 | #Constraints: 14678 178.10/178.60 c #Conflicts: 196000 | #Constraints: 15681 178.10/178.60 c #Conflicts: 197000 | #Constraints: 16683 178.10/178.60 c #Conflicts: 198000 | #Constraints: 17683 178.10/178.60 c INPROCESSING 178.10/178.60 c GARBAGE COLLECT 178.10/178.60 c rational objective 0 193.66/194.24 c #Conflicts: 199000 | #Constraints: 9866 193.66/194.24 c #Conflicts: 200000 | #Constraints: 10871 193.66/194.24 c #Conflicts: 201000 | #Constraints: 11875 193.66/194.24 c #Conflicts: 202000 | #Constraints: 12881 193.66/194.24 c #Conflicts: 203000 | #Constraints: 13882 193.66/194.24 c #Conflicts: 204000 | #Constraints: 14882 193.66/194.24 c #Conflicts: 205000 | #Constraints: 15885 193.66/194.24 c #Conflicts: 206000 | #Constraints: 16888 193.66/194.24 c #Conflicts: 207000 | #Constraints: 17889 193.66/194.24 c INPROCESSING 193.66/194.24 c GARBAGE COLLECT 193.66/194.24 c rational objective 0 206.93/207.56 c #Conflicts: 208000 | #Constraints: 9873 206.93/207.56 c #Conflicts: 209000 | #Constraints: 10876 206.93/207.56 c #Conflicts: 210000 | #Constraints: 11879 206.93/207.56 c #Conflicts: 211000 | #Constraints: 12881 206.93/207.56 c #Conflicts: 212000 | #Constraints: 13885 206.93/207.56 c #Conflicts: 213000 | #Constraints: 14886 206.93/207.56 c #Conflicts: 214000 | #Constraints: 15887 206.93/207.56 c #Conflicts: 215000 | #Constraints: 16888 206.93/207.56 c #Conflicts: 216000 | #Constraints: 17890 206.93/207.56 c INPROCESSING 206.93/207.56 c GARBAGE COLLECT 206.93/207.56 c rational objective 0 226.07/226.70 c #Conflicts: 217000 | #Constraints: 9663 226.07/226.70 c #Conflicts: 218000 | #Constraints: 10664 226.07/226.70 c #Conflicts: 219000 | #Constraints: 11665 226.07/226.70 c #Conflicts: 220000 | #Constraints: 12666 226.07/226.70 c #Conflicts: 221000 | #Constraints: 13666 226.07/226.70 c #Conflicts: 222000 | #Constraints: 14668 226.07/226.70 c #Conflicts: 223000 | #Constraints: 15670 226.07/226.70 c #Conflicts: 224000 | #Constraints: 16672 226.07/226.70 c #Conflicts: 225000 | #Constraints: 17675 226.07/226.70 c #Conflicts: 226000 | #Constraints: 18676 226.07/226.70 c INPROCESSING 226.07/226.70 c GARBAGE COLLECT 226.07/226.70 c rational objective 0 238.04/238.72 c #Conflicts: 227000 | #Constraints: 10263 238.04/238.72 c #Conflicts: 228000 | #Constraints: 11265 238.04/238.72 c #Conflicts: 229000 | #Constraints: 12270 238.04/238.72 c #Conflicts: 230000 | #Constraints: 13270 238.04/238.72 c #Conflicts: 231000 | #Constraints: 14272 238.04/238.72 c #Conflicts: 232000 | #Constraints: 15274 238.04/238.72 c #Conflicts: 233000 | #Constraints: 16277 238.04/238.72 c #Conflicts: 234000 | #Constraints: 17280 238.04/238.72 c #Conflicts: 235000 | #Constraints: 18280 238.04/238.72 c #Conflicts: 236000 | #Constraints: 19282 238.04/238.72 c INPROCESSING 238.04/238.72 c GARBAGE COLLECT 238.04/238.72 c rational objective 0 249.41/250.17 c #Conflicts: 237000 | #Constraints: 10655 249.41/250.17 c #Conflicts: 238000 | #Constraints: 11658 249.41/250.17 c #Conflicts: 239000 | #Constraints: 12659 249.41/250.17 c #Conflicts: 240000 | #Constraints: 13662 249.41/250.17 c #Conflicts: 241000 | #Constraints: 14664 249.41/250.17 c #Conflicts: 242000 | #Constraints: 15667 249.41/250.17 c #Conflicts: 243000 | #Constraints: 16671 249.41/250.17 c #Conflicts: 244000 | #Constraints: 17675 249.41/250.17 c #Conflicts: 245000 | #Constraints: 18676 249.41/250.17 c #Conflicts: 246000 | #Constraints: 19681 249.41/250.17 c INPROCESSING 249.41/250.17 c GARBAGE COLLECT 249.41/250.17 c rational objective 0 268.96/269.77 c #Conflicts: 247000 | #Constraints: 10860 268.96/269.77 c #Conflicts: 248000 | #Constraints: 11862 268.96/269.77 c #Conflicts: 249000 | #Constraints: 12863 268.96/269.77 c #Conflicts: 250000 | #Constraints: 13866 268.96/269.77 c #Conflicts: 251000 | #Constraints: 14867 268.96/269.77 c #Conflicts: 252000 | #Constraints: 15869 268.96/269.77 c #Conflicts: 253000 | #Constraints: 16874 268.96/269.77 c #Conflicts: 254000 | #Constraints: 17876 268.96/269.77 c #Conflicts: 255000 | #Constraints: 18878 268.96/269.77 c #Conflicts: 256000 | #Constraints: 19878 268.96/269.77 c INPROCESSING 268.96/269.77 c GARBAGE COLLECT 268.96/269.77 c rational objective 0 282.12/282.93 c #Conflicts: 257000 | #Constraints: 10864 282.12/282.93 c #Conflicts: 258000 | #Constraints: 11867 282.12/282.93 c #Conflicts: 259000 | #Constraints: 12872 282.12/282.93 c #Conflicts: 260000 | #Constraints: 13875 282.12/282.93 c #Conflicts: 261000 | #Constraints: 14876 282.12/282.93 c #Conflicts: 262000 | #Constraints: 15877 282.12/282.93 c #Conflicts: 263000 | #Constraints: 16879 282.12/282.93 c #Conflicts: 264000 | #Constraints: 17881 282.12/282.93 c #Conflicts: 265000 | #Constraints: 18881 282.12/282.93 c #Conflicts: 266000 | #Constraints: 19882 282.12/282.93 c INPROCESSING 282.12/282.93 c GARBAGE COLLECT 282.12/282.93 c rational objective 0 304.56/305.44 c #Conflicts: 267000 | #Constraints: 10658 304.56/305.44 c #Conflicts: 268000 | #Constraints: 11659 304.56/305.44 c #Conflicts: 269000 | #Constraints: 12659 304.56/305.44 c #Conflicts: 270000 | #Constraints: 13660 304.56/305.44 c #Conflicts: 271000 | #Constraints: 14663 304.56/305.44 c #Conflicts: 272000 | #Constraints: 15664 304.56/305.44 c #Conflicts: 273000 | #Constraints: 16665 304.56/305.44 c #Conflicts: 274000 | #Constraints: 17665 304.56/305.44 c #Conflicts: 275000 | #Constraints: 18666 304.56/305.44 c #Conflicts: 276000 | #Constraints: 19668 304.56/305.44 c #Conflicts: 277000 | #Constraints: 20669 304.56/305.44 c INPROCESSING 304.56/305.44 c GARBAGE COLLECT 304.56/305.44 c rational objective 0 318.23/319.18 c #Conflicts: 278000 | #Constraints: 11258 318.23/319.18 c #Conflicts: 279000 | #Constraints: 12260 318.23/319.18 c #Conflicts: 280000 | #Constraints: 13262 318.23/319.18 c #Conflicts: 281000 | #Constraints: 14267 318.23/319.18 c #Conflicts: 282000 | #Constraints: 15268 318.23/319.18 c #Conflicts: 283000 | #Constraints: 16271 318.23/319.18 c #Conflicts: 284000 | #Constraints: 17273 318.23/319.18 c #Conflicts: 285000 | #Constraints: 18275 318.23/319.18 c #Conflicts: 286000 | #Constraints: 19280 318.23/319.18 c #Conflicts: 287000 | #Constraints: 20282 318.23/319.18 c #Conflicts: 288000 | #Constraints: 21285 318.23/319.18 c INPROCESSING 318.23/319.18 c GARBAGE COLLECT 318.23/319.18 c rational objective 0 332.68/333.68 c #Conflicts: 289000 | #Constraints: 11660 332.68/333.68 c #Conflicts: 290000 | #Constraints: 12666 332.68/333.68 c #Conflicts: 291000 | #Constraints: 13669 332.68/333.68 c #Conflicts: 292000 | #Constraints: 14670 332.68/333.68 c #Conflicts: 293000 | #Constraints: 15671 332.68/333.68 c #Conflicts: 294000 | #Constraints: 16672 332.68/333.68 c #Conflicts: 295000 | #Constraints: 17672 332.68/333.68 c #Conflicts: 296000 | #Constraints: 18674 332.68/333.68 c #Conflicts: 297000 | #Constraints: 19675 332.68/333.68 c #Conflicts: 298000 | #Constraints: 20675 332.68/333.68 c #Conflicts: 299000 | #Constraints: 21681 332.68/333.68 c INPROCESSING 332.68/333.68 c GARBAGE COLLECT 332.68/333.68 c rational objective 0 358.81/359.88 c #Conflicts: 300000 | #Constraints: 11863 358.81/359.88 c #Conflicts: 301000 | #Constraints: 12865 358.81/359.88 c #Conflicts: 302000 | #Constraints: 13866 358.81/359.88 c #Conflicts: 303000 | #Constraints: 14868 358.81/359.88 c #Conflicts: 304000 | #Constraints: 15871 358.81/359.88 c #Conflicts: 305000 | #Constraints: 16871 358.81/359.88 c #Conflicts: 306000 | #Constraints: 17875 358.81/359.88 c #Conflicts: 307000 | #Constraints: 18879 358.81/359.88 c #Conflicts: 308000 | #Constraints: 19879 358.81/359.88 c #Conflicts: 309000 | #Constraints: 20881 358.81/359.88 c #Conflicts: 310000 | #Constraints: 21882 358.81/359.88 c INPROCESSING 358.81/359.88 c GARBAGE COLLECT 358.81/359.88 c rational objective 0 378.16/379.28 c #Conflicts: 311000 | #Constraints: 11871 378.16/379.28 c #Conflicts: 312000 | #Constraints: 12872 378.16/379.28 c #Conflicts: 313000 | #Constraints: 13872 378.16/379.28 c #Conflicts: 314000 | #Constraints: 14873 378.16/379.28 c #Conflicts: 315000 | #Constraints: 15874 378.16/379.28 c #Conflicts: 316000 | #Constraints: 16876 378.16/379.28 c #Conflicts: 317000 | #Constraints: 17876 378.16/379.28 c #Conflicts: 318000 | #Constraints: 18878 378.16/379.28 c #Conflicts: 319000 | #Constraints: 19880 378.16/379.28 c #Conflicts: 320000 | #Constraints: 20881 378.16/379.28 c #Conflicts: 321000 | #Constraints: 21881 378.16/379.28 c INPROCESSING 378.16/379.28 c GARBAGE COLLECT 378.16/379.28 c rational objective 0 397.91/399.03 c #Conflicts: 322000 | #Constraints: 11661 397.91/399.03 c #Conflicts: 323000 | #Constraints: 12662 397.91/399.03 c #Conflicts: 324000 | #Constraints: 13663 397.91/399.03 c #Conflicts: 325000 | #Constraints: 14665 397.91/399.03 c #Conflicts: 326000 | #Constraints: 15666 397.91/399.03 c #Conflicts: 327000 | #Constraints: 16666 397.91/399.03 c #Conflicts: 328000 | #Constraints: 17668 397.91/399.03 c #Conflicts: 329000 | #Constraints: 18668 397.91/399.03 c #Conflicts: 330000 | #Constraints: 19670 397.91/399.03 c #Conflicts: 331000 | #Constraints: 20670 397.91/399.03 c #Conflicts: 332000 | #Constraints: 21673 397.91/399.03 c #Conflicts: 333000 | #Constraints: 22673 397.91/399.03 c INPROCESSING 397.91/399.03 c GARBAGE COLLECT 397.91/399.03 c rational objective 0 427.63/428.80 c #Conflicts: 334000 | #Constraints: 12251 427.63/428.80 c #Conflicts: 335000 | #Constraints: 13253 427.63/428.80 c #Conflicts: 336000 | #Constraints: 14255 427.63/428.80 c #Conflicts: 337000 | #Constraints: 15259 427.63/428.80 c #Conflicts: 338000 | #Constraints: 16260 427.63/428.80 c #Conflicts: 339000 | #Constraints: 17261 427.63/428.80 c #Conflicts: 340000 | #Constraints: 18264 427.63/428.80 c #Conflicts: 341000 | #Constraints: 19266 427.63/428.80 c #Conflicts: 342000 | #Constraints: 20269 427.63/428.80 c #Conflicts: 343000 | #Constraints: 21271 427.63/428.80 c #Conflicts: 344000 | #Constraints: 22272 427.63/428.80 c #Conflicts: 345000 | #Constraints: 23274 427.63/428.80 c INPROCESSING 427.63/428.80 c GARBAGE COLLECT 427.63/428.80 c rational objective 0 447.17/448.48 c #Conflicts: 346000 | #Constraints: 12660 447.17/448.48 c #Conflicts: 347000 | #Constraints: 13661 447.17/448.48 c #Conflicts: 348000 | #Constraints: 14664 447.17/448.48 c #Conflicts: 349000 | #Constraints: 15665 447.17/448.48 c #Conflicts: 350000 | #Constraints: 16665 447.17/448.48 c #Conflicts: 351000 | #Constraints: 17667 447.17/448.48 c #Conflicts: 352000 | #Constraints: 18669 447.17/448.48 c #Conflicts: 353000 | #Constraints: 19671 447.17/448.48 c #Conflicts: 354000 | #Constraints: 20672 447.17/448.48 c #Conflicts: 355000 | #Constraints: 21676 447.17/448.48 c #Conflicts: 356000 | #Constraints: 22677 447.17/448.48 c #Conflicts: 357000 | #Constraints: 23682 447.17/448.48 c INPROCESSING 447.17/448.48 c GARBAGE COLLECT 447.17/448.48 c rational objective 0 478.29/479.61 c #Conflicts: 358000 | #Constraints: 12860 478.29/479.61 c #Conflicts: 359000 | #Constraints: 13860 478.29/479.61 c #Conflicts: 360000 | #Constraints: 14862 478.29/479.61 c #Conflicts: 361000 | #Constraints: 15863 478.29/479.61 c #Conflicts: 362000 | #Constraints: 16865 478.29/479.61 c #Conflicts: 363000 | #Constraints: 17866 478.29/479.61 c #Conflicts: 364000 | #Constraints: 18869 478.29/479.61 c #Conflicts: 365000 | #Constraints: 19873 478.29/479.61 c #Conflicts: 366000 | #Constraints: 20873 478.29/479.61 c bounds 22 >= 0 @ 466.74 478.29/479.61 c #Conflicts: 367000 | #Constraints: 21877 478.29/479.61 c #Conflicts: 368000 | #Constraints: 22881 478.29/479.61 c #Conflicts: 369000 | #Constraints: 23884 478.29/479.61 c INPROCESSING 478.29/479.61 c GARBAGE COLLECT 478.29/479.61 c rational objective 0 498.74/500.14 c #Conflicts: 370000 | #Constraints: 12864 498.74/500.14 c #Conflicts: 371000 | #Constraints: 13868 498.74/500.14 c #Conflicts: 372000 | #Constraints: 14869 498.74/500.14 c #Conflicts: 373000 | #Constraints: 15869 498.74/500.14 c #Conflicts: 374000 | #Constraints: 16871 498.74/500.14 c #Conflicts: 375000 | #Constraints: 17873 498.74/500.14 c #Conflicts: 376000 | #Constraints: 18873 498.74/500.14 c #Conflicts: 377000 | #Constraints: 19875 498.74/500.14 c #Conflicts: 378000 | #Constraints: 20881 498.74/500.14 c #Conflicts: 379000 | #Constraints: 21884 498.74/500.14 c #Conflicts: 380000 | #Constraints: 22886 498.74/500.14 c #Conflicts: 381000 | #Constraints: 23887 498.74/500.14 c INPROCESSING 498.74/500.14 c GARBAGE COLLECT 498.74/500.14 c rational objective 0 532.45/533.96 c #Conflicts: 382000 | #Constraints: 12663 532.45/533.96 c #Conflicts: 383000 | #Constraints: 13664 532.45/533.96 c #Conflicts: 384000 | #Constraints: 14665 532.45/533.96 c #Conflicts: 385000 | #Constraints: 15667 532.45/533.96 c #Conflicts: 386000 | #Constraints: 16667 532.45/533.96 c #Conflicts: 387000 | #Constraints: 17669 532.45/533.96 c #Conflicts: 388000 | #Constraints: 18672 532.45/533.96 c #Conflicts: 389000 | #Constraints: 19674 532.45/533.96 c #Conflicts: 390000 | #Constraints: 20676 532.45/533.96 c #Conflicts: 391000 | #Constraints: 21677 532.45/533.96 c #Conflicts: 392000 | #Constraints: 22679 532.45/533.96 c #Conflicts: 393000 | #Constraints: 23681 532.45/533.96 c #Conflicts: 394000 | #Constraints: 24681 532.45/533.96 c INPROCESSING 532.45/533.96 c GARBAGE COLLECT 532.45/533.96 c rational objective 0 556.09/557.67 c #Conflicts: 395000 | #Constraints: 13265 556.09/557.67 c #Conflicts: 396000 | #Constraints: 14270 556.09/557.67 c #Conflicts: 397000 | #Constraints: 15270 556.09/557.67 c #Conflicts: 398000 | #Constraints: 16273 556.09/557.67 c #Conflicts: 399000 | #Constraints: 17273 556.09/557.67 c #Conflicts: 400000 | #Constraints: 18273 556.09/557.67 c #Conflicts: 401000 | #Constraints: 19274 556.09/557.67 c #Conflicts: 402000 | #Constraints: 20278 556.09/557.67 c #Conflicts: 403000 | #Constraints: 21279 556.09/557.67 c #Conflicts: 404000 | #Constraints: 22281 556.09/557.67 c #Conflicts: 405000 | #Constraints: 23283 556.09/557.67 c #Conflicts: 406000 | #Constraints: 24287 556.09/557.67 c #Conflicts: 407000 | #Constraints: 25287 556.09/557.67 c INPROCESSING 556.09/557.67 c GARBAGE COLLECT 556.09/557.67 c rational objective 0 579.22/580.89 c #Conflicts: 408000 | #Constraints: 13664 579.22/580.89 c #Conflicts: 409000 | #Constraints: 14669 579.22/580.89 c #Conflicts: 410000 | #Constraints: 15672 579.22/580.89 c #Conflicts: 411000 | #Constraints: 16675 579.22/580.89 c #Conflicts: 412000 | #Constraints: 17678 579.22/580.89 c #Conflicts: 413000 | #Constraints: 18679 579.22/580.89 c #Conflicts: 414000 | #Constraints: 19680 579.22/580.89 c #Conflicts: 415000 | #Constraints: 20683 579.22/580.89 c #Conflicts: 416000 | #Constraints: 21684 579.22/580.89 c #Conflicts: 417000 | #Constraints: 22687 579.22/580.89 c #Conflicts: 418000 | #Constraints: 23689 579.22/580.89 c #Conflicts: 419000 | #Constraints: 24690 579.22/580.89 c #Conflicts: 420000 | #Constraints: 25690 579.22/580.89 c INPROCESSING 579.22/580.89 c GARBAGE COLLECT 579.22/580.89 c rational objective 0 616.43/618.15 c #Conflicts: 421000 | #Constraints: 13863 616.43/618.15 c #Conflicts: 422000 | #Constraints: 14864 616.43/618.15 c #Conflicts: 423000 | #Constraints: 15864 616.43/618.15 c #Conflicts: 424000 | #Constraints: 16866 616.43/618.15 c #Conflicts: 425000 | #Constraints: 17866 616.43/618.15 c #Conflicts: 426000 | #Constraints: 18866 616.43/618.15 c #Conflicts: 427000 | #Constraints: 19867 616.43/618.15 c #Conflicts: 428000 | #Constraints: 20868 616.43/618.15 c #Conflicts: 429000 | #Constraints: 21869 616.43/618.15 c #Conflicts: 430000 | #Constraints: 22870 616.43/618.15 c #Conflicts: 431000 | #Constraints: 23871 616.43/618.15 c #Conflicts: 432000 | #Constraints: 24871 616.43/618.15 c #Conflicts: 433000 | #Constraints: 25871 616.43/618.15 c INPROCESSING 616.43/618.15 c GARBAGE COLLECT 616.43/618.15 c rational objective 0 646.14/647.99 c #Conflicts: 434000 | #Constraints: 13863 646.14/647.99 c #Conflicts: 435000 | #Constraints: 14864 646.14/647.99 c #Conflicts: 436000 | #Constraints: 15867 646.14/647.99 c #Conflicts: 437000 | #Constraints: 16870 646.14/647.99 c #Conflicts: 438000 | #Constraints: 17872 646.14/647.99 c #Conflicts: 439000 | #Constraints: 18872 646.14/647.99 c #Conflicts: 440000 | #Constraints: 19874 646.14/647.99 c #Conflicts: 441000 | #Constraints: 20876 646.14/647.99 c #Conflicts: 442000 | #Constraints: 21877 646.14/647.99 c #Conflicts: 443000 | #Constraints: 22878 646.14/647.99 c #Conflicts: 444000 | #Constraints: 23878 646.14/647.99 c #Conflicts: 445000 | #Constraints: 24882 646.14/647.99 c #Conflicts: 446000 | #Constraints: 25882 646.14/647.99 c INPROCESSING 646.14/647.99 c GARBAGE COLLECT 646.14/647.99 c rational objective 0 686.53/688.40 c #Conflicts: 447000 | #Constraints: 13665 686.53/688.40 c #Conflicts: 448000 | #Constraints: 14666 686.53/688.40 c #Conflicts: 449000 | #Constraints: 15667 686.53/688.40 c #Conflicts: 450000 | #Constraints: 16668 686.53/688.40 c #Conflicts: 451000 | #Constraints: 17670 686.53/688.40 c #Conflicts: 452000 | #Constraints: 18670 686.53/688.40 c #Conflicts: 453000 | #Constraints: 19670 686.53/688.40 c #Conflicts: 454000 | #Constraints: 20672 686.53/688.40 c #Conflicts: 455000 | #Constraints: 21672 686.53/688.40 c #Conflicts: 456000 | #Constraints: 22672 686.53/688.40 c #Conflicts: 457000 | #Constraints: 23672 686.53/688.40 c #Conflicts: 458000 | #Constraints: 24673 686.53/688.40 c #Conflicts: 459000 | #Constraints: 25675 686.53/688.40 c #Conflicts: 460000 | #Constraints: 26677 686.53/688.40 c INPROCESSING 686.53/688.40 c GARBAGE COLLECT 686.53/688.40 c rational objective 0 718.45/720.49 c #Conflicts: 461000 | #Constraints: 14271 718.45/720.49 c #Conflicts: 462000 | #Constraints: 15277 718.45/720.49 c #Conflicts: 463000 | #Constraints: 16277 718.45/720.49 c #Conflicts: 464000 | #Constraints: 17279 718.45/720.49 c #Conflicts: 465000 | #Constraints: 18279 718.45/720.49 c #Conflicts: 466000 | #Constraints: 19280 718.45/720.49 c #Conflicts: 467000 | #Constraints: 20280 718.45/720.49 c #Conflicts: 468000 | #Constraints: 21283 718.45/720.49 c #Conflicts: 469000 | #Constraints: 22285 718.45/720.49 c #Conflicts: 470000 | #Constraints: 23287 718.45/720.49 c #Conflicts: 471000 | #Constraints: 24287 718.45/720.49 c #Conflicts: 472000 | #Constraints: 25288 718.45/720.49 c #Conflicts: 473000 | #Constraints: 26288 718.45/720.49 c #Conflicts: 474000 | #Constraints: 27288 718.45/720.49 c INPROCESSING 718.45/720.49 c GARBAGE COLLECT 718.45/720.49 c rational objective 0 754.06/756.14 c #Conflicts: 475000 | #Constraints: 14664 754.06/756.14 c #Conflicts: 476000 | #Constraints: 15664 754.06/756.14 c #Conflicts: 477000 | #Constraints: 16666 754.06/756.14 c #Conflicts: 478000 | #Constraints: 17667 754.06/756.14 c #Conflicts: 479000 | #Constraints: 18668 754.06/756.14 c #Conflicts: 480000 | #Constraints: 19671 754.06/756.14 c #Conflicts: 481000 | #Constraints: 20672 754.06/756.14 c #Conflicts: 482000 | #Constraints: 21672 754.06/756.14 c #Conflicts: 483000 | #Constraints: 22672 754.06/756.14 c #Conflicts: 484000 | #Constraints: 23672 754.06/756.14 c #Conflicts: 485000 | #Constraints: 24672 754.06/756.14 c #Conflicts: 486000 | #Constraints: 25673 754.06/756.14 c #Conflicts: 487000 | #Constraints: 26674 754.06/756.14 c #Conflicts: 488000 | #Constraints: 27674 754.06/756.14 c INPROCESSING 754.06/756.14 c GARBAGE COLLECT 754.06/756.14 c rational objective 0 798.44/800.65 c #Conflicts: 489000 | #Constraints: 14856 798.44/800.65 c #Conflicts: 490000 | #Constraints: 15858 798.44/800.65 c #Conflicts: 491000 | #Constraints: 16859 798.44/800.65 c #Conflicts: 492000 | #Constraints: 17859 798.44/800.65 c #Conflicts: 493000 | #Constraints: 18860 798.44/800.65 c #Conflicts: 494000 | #Constraints: 19861 798.44/800.65 c #Conflicts: 495000 | #Constraints: 20863 798.44/800.65 c #Conflicts: 496000 | #Constraints: 21865 798.44/800.65 c #Conflicts: 497000 | #Constraints: 22867 798.44/800.65 c #Conflicts: 498000 | #Constraints: 23869 798.44/800.65 c #Conflicts: 499000 | #Constraints: 24870 798.44/800.65 c #Conflicts: 500000 | #Constraints: 25870 798.44/800.65 c #Conflicts: 501000 | #Constraints: 26871 798.44/800.65 c #Conflicts: 502000 | #Constraints: 27871 798.44/800.65 c INPROCESSING 798.44/800.65 c GARBAGE COLLECT 798.44/800.65 c rational objective 0 832.34/834.67 c #Conflicts: 503000 | #Constraints: 14857 832.34/834.67 c #Conflicts: 504000 | #Constraints: 15859 832.34/834.67 c #Conflicts: 505000 | #Constraints: 16862 832.34/834.67 c #Conflicts: 506000 | #Constraints: 17865 832.34/834.67 c #Conflicts: 507000 | #Constraints: 18865 832.34/834.67 c #Conflicts: 508000 | #Constraints: 19868 832.34/834.67 c #Conflicts: 509000 | #Constraints: 20871 832.34/834.67 c #Conflicts: 510000 | #Constraints: 21872 832.34/834.67 c #Conflicts: 511000 | #Constraints: 22874 832.34/834.67 c #Conflicts: 512000 | #Constraints: 23875 832.34/834.67 c #Conflicts: 513000 | #Constraints: 24876 832.34/834.67 c #Conflicts: 514000 | #Constraints: 25880 832.34/834.67 c #Conflicts: 515000 | #Constraints: 26885 832.34/834.67 c #Conflicts: 516000 | #Constraints: 27888 832.34/834.67 c INPROCESSING 832.34/834.67 c GARBAGE COLLECT 832.34/834.67 c rational objective 0 879.52/881.97 c #Conflicts: 517000 | #Constraints: 14659 879.52/881.97 c #Conflicts: 518000 | #Constraints: 15660 879.52/881.97 c #Conflicts: 519000 | #Constraints: 16662 879.52/881.97 c #Conflicts: 520000 | #Constraints: 17667 879.52/881.97 c #Conflicts: 521000 | #Constraints: 18669 879.52/881.97 c #Conflicts: 522000 | #Constraints: 19672 879.52/881.97 c #Conflicts: 523000 | #Constraints: 20674 879.52/881.97 c #Conflicts: 524000 | #Constraints: 21677 879.52/881.97 c #Conflicts: 525000 | #Constraints: 22678 879.52/881.97 c #Conflicts: 526000 | #Constraints: 23679 879.52/881.97 c #Conflicts: 527000 | #Constraints: 24679 879.52/881.97 c #Conflicts: 528000 | #Constraints: 25683 879.52/881.97 c #Conflicts: 529000 | #Constraints: 26685 879.52/881.97 c #Conflicts: 530000 | #Constraints: 27685 879.52/881.97 c #Conflicts: 531000 | #Constraints: 28686 879.52/881.97 c INPROCESSING 879.52/881.97 c GARBAGE COLLECT 879.52/881.97 c rational objective 0 909.14/911.62 c #Conflicts: 532000 | #Constraints: 15268 909.14/911.62 c #Conflicts: 533000 | #Constraints: 16270 909.14/911.62 c #Conflicts: 534000 | #Constraints: 17271 909.14/911.62 c #Conflicts: 535000 | #Constraints: 18272 909.14/911.62 c #Conflicts: 536000 | #Constraints: 19277 909.14/911.62 c #Conflicts: 537000 | #Constraints: 20280 909.14/911.62 c #Conflicts: 538000 | #Constraints: 21281 909.14/911.62 c #Conflicts: 539000 | #Constraints: 22281 909.14/911.62 c #Conflicts: 540000 | #Constraints: 23283 909.14/911.62 c #Conflicts: 541000 | #Constraints: 24283 909.14/911.62 c #Conflicts: 542000 | #Constraints: 25284 909.14/911.62 c #Conflicts: 543000 | #Constraints: 26286 909.14/911.62 c #Conflicts: 544000 | #Constraints: 27287 909.14/911.62 c #Conflicts: 545000 | #Constraints: 28291 909.14/911.62 c #Conflicts: 546000 | #Constraints: 29292 909.14/911.62 c INPROCESSING 909.14/911.62 c GARBAGE COLLECT 909.14/911.62 c rational objective 0 961.01/963.61 c #Conflicts: 547000 | #Constraints: 15664 961.01/963.61 c #Conflicts: 548000 | #Constraints: 16665 961.01/963.61 c #Conflicts: 549000 | #Constraints: 17666 961.01/963.61 c #Conflicts: 550000 | #Constraints: 18667 961.01/963.61 c #Conflicts: 551000 | #Constraints: 19669 961.01/963.61 c #Conflicts: 552000 | #Constraints: 20670 961.01/963.61 c #Conflicts: 553000 | #Constraints: 21671 961.01/963.61 c #Conflicts: 554000 | #Constraints: 22672 961.01/963.61 c #Conflicts: 555000 | #Constraints: 23673 961.01/963.61 c #Conflicts: 556000 | #Constraints: 24676 961.01/963.61 c #Conflicts: 557000 | #Constraints: 25676 961.01/963.61 c #Conflicts: 558000 | #Constraints: 26678 961.01/963.61 c #Conflicts: 559000 | #Constraints: 27682 961.01/963.61 c #Conflicts: 560000 | #Constraints: 28683 961.01/963.61 c #Conflicts: 561000 | #Constraints: 29683 961.01/963.61 c INPROCESSING 961.01/963.61 c GARBAGE COLLECT 961.01/963.61 c rational objective 0 991.03/993.72 c #Conflicts: 562000 | #Constraints: 15876 991.03/993.72 c #Conflicts: 563000 | #Constraints: 16876 991.03/993.72 c #Conflicts: 564000 | #Constraints: 17880 991.03/993.72 c #Conflicts: 565000 | #Constraints: 18881 991.03/993.72 c #Conflicts: 566000 | #Constraints: 19882 991.03/993.72 c #Conflicts: 567000 | #Constraints: 20883 991.03/993.72 c #Conflicts: 568000 | #Constraints: 21886 991.03/993.72 c #Conflicts: 569000 | #Constraints: 22888 991.03/993.72 c #Conflicts: 570000 | #Constraints: 23888 991.03/993.72 c #Conflicts: 571000 | #Constraints: 24890 991.03/993.72 c #Conflicts: 572000 | #Constraints: 25891 991.03/993.72 c #Conflicts: 573000 | #Constraints: 26892 991.03/993.72 c #Conflicts: 574000 | #Constraints: 27892 991.03/993.72 c #Conflicts: 575000 | #Constraints: 28894 991.03/993.72 c #Conflicts: 576000 | #Constraints: 29897 991.03/993.72 c INPROCESSING 991.03/993.72 c GARBAGE COLLECT 991.03/993.72 c rational objective 0 1024.35/1027.13 c #Conflicts: 577000 | #Constraints: 15871 1024.35/1027.13 c #Conflicts: 578000 | #Constraints: 16871 1024.35/1027.13 c #Conflicts: 579000 | #Constraints: 17874 1024.35/1027.13 c #Conflicts: 580000 | #Constraints: 18875 1024.35/1027.13 c #Conflicts: 581000 | #Constraints: 19877 1024.35/1027.13 c #Conflicts: 582000 | #Constraints: 20879 1024.35/1027.13 c #Conflicts: 583000 | #Constraints: 21881 1024.35/1027.13 c #Conflicts: 584000 | #Constraints: 22881 1024.35/1027.13 c #Conflicts: 585000 | #Constraints: 23882 1024.35/1027.13 c #Conflicts: 586000 | #Constraints: 24882 1024.35/1027.13 c #Conflicts: 587000 | #Constraints: 25882 1024.35/1027.13 c #Conflicts: 588000 | #Constraints: 26885 1024.35/1027.13 c #Conflicts: 589000 | #Constraints: 27885 1024.35/1027.13 c #Conflicts: 590000 | #Constraints: 28885 1024.35/1027.13 c #Conflicts: 591000 | #Constraints: 29886 1024.35/1027.13 c INPROCESSING 1024.35/1027.13 c GARBAGE COLLECT 1024.35/1027.13 c rational objective 0 1081.69/1084.68 c #Conflicts: 592000 | #Constraints: 15663 1081.69/1084.68 c #Conflicts: 593000 | #Constraints: 16665 1081.69/1084.68 c #Conflicts: 594000 | #Constraints: 17667 1081.69/1084.68 c #Conflicts: 595000 | #Constraints: 18669 1081.69/1084.68 c #Conflicts: 596000 | #Constraints: 19670 1081.69/1084.68 c #Conflicts: 597000 | #Constraints: 20672 1081.69/1084.68 c #Conflicts: 598000 | #Constraints: 21676 1081.69/1084.68 c #Conflicts: 599000 | #Constraints: 22677 1081.69/1084.68 c #Conflicts: 600000 | #Constraints: 23677 1081.69/1084.68 c #Conflicts: 601000 | #Constraints: 24679 1081.69/1084.68 c #Conflicts: 602000 | #Constraints: 25681 1081.69/1084.68 c #Conflicts: 603000 | #Constraints: 26684 1081.69/1084.68 c #Conflicts: 604000 | #Constraints: 27687 1081.69/1084.68 c #Conflicts: 605000 | #Constraints: 28688 1081.69/1084.68 c #Conflicts: 606000 | #Constraints: 29689 1081.69/1084.68 c #Conflicts: 607000 | #Constraints: 30690 1081.69/1084.68 c INPROCESSING 1081.69/1084.68 c GARBAGE COLLECT 1081.69/1084.68 c rational objective 0 1119.41/1122.44 c #Conflicts: 608000 | #Constraints: 16270 1119.41/1122.44 c #Conflicts: 609000 | #Constraints: 17270 1119.41/1122.44 c #Conflicts: 610000 | #Constraints: 18273 1119.41/1122.44 c #Conflicts: 611000 | #Constraints: 19274 1119.41/1122.44 c #Conflicts: 612000 | #Constraints: 20275 1119.41/1122.44 c #Conflicts: 613000 | #Constraints: 21278 1119.41/1122.44 c #Conflicts: 614000 | #Constraints: 22278 1119.41/1122.44 c #Conflicts: 615000 | #Constraints: 23279 1119.41/1122.44 c #Conflicts: 616000 | #Constraints: 24280 1119.41/1122.44 c #Conflicts: 617000 | #Constraints: 25282 1119.41/1122.44 c #Conflicts: 618000 | #Constraints: 26285 1119.41/1122.44 c #Conflicts: 619000 | #Constraints: 27286 1119.41/1122.44 c #Conflicts: 620000 | #Constraints: 28290 1119.41/1122.44 c #Conflicts: 621000 | #Constraints: 29293 1119.41/1122.44 c #Conflicts: 622000 | #Constraints: 30294 1119.41/1122.44 c #Conflicts: 623000 | #Constraints: 31295 1119.41/1122.44 c INPROCESSING 1119.41/1122.44 c GARBAGE COLLECT 1119.41/1122.44 c rational objective 0 1151.73/1154.87 c #Conflicts: 624000 | #Constraints: 16666 1151.73/1154.87 c #Conflicts: 625000 | #Constraints: 17667 1151.73/1154.87 c #Conflicts: 626000 | #Constraints: 18668 1151.73/1154.87 c #Conflicts: 627000 | #Constraints: 19671 1151.73/1154.87 c #Conflicts: 628000 | #Constraints: 20672 1151.73/1154.87 c #Conflicts: 629000 | #Constraints: 21673 1151.73/1154.87 c #Conflicts: 630000 | #Constraints: 22674 1151.73/1154.87 c #Conflicts: 631000 | #Constraints: 23675 1151.73/1154.87 c #Conflicts: 632000 | #Constraints: 24676 1151.73/1154.87 c #Conflicts: 633000 | #Constraints: 25681 1151.73/1154.87 c #Conflicts: 634000 | #Constraints: 26682 1151.73/1154.87 c #Conflicts: 635000 | #Constraints: 27684 1151.73/1154.87 c #Conflicts: 636000 | #Constraints: 28685 1151.73/1154.87 c #Conflicts: 637000 | #Constraints: 29686 1151.73/1154.87 c #Conflicts: 638000 | #Constraints: 30687 1151.73/1154.87 c #Conflicts: 639000 | #Constraints: 31689 1151.73/1154.87 c INPROCESSING 1151.73/1154.87 c GARBAGE COLLECT 1151.73/1154.87 c rational objective 0 1211.48/1214.71 c #Conflicts: 640000 | #Constraints: 16861 1211.48/1214.71 c #Conflicts: 641000 | #Constraints: 17862 1211.48/1214.71 c #Conflicts: 642000 | #Constraints: 18863 1211.48/1214.71 c #Conflicts: 643000 | #Constraints: 19865 1211.48/1214.71 c #Conflicts: 644000 | #Constraints: 20867 1211.48/1214.71 c #Conflicts: 645000 | #Constraints: 21867 1211.48/1214.71 c #Conflicts: 646000 | #Constraints: 22870 1211.48/1214.71 c #Conflicts: 647000 | #Constraints: 23871 1211.48/1214.71 c #Conflicts: 648000 | #Constraints: 24872 1211.48/1214.71 c #Conflicts: 649000 | #Constraints: 25872 1211.48/1214.71 c #Conflicts: 650000 | #Constraints: 26875 1211.48/1214.71 c #Conflicts: 651000 | #Constraints: 27876 1211.48/1214.71 c #Conflicts: 652000 | #Constraints: 28876 1211.48/1214.71 c #Conflicts: 653000 | #Constraints: 29876 1211.48/1214.71 c #Conflicts: 654000 | #Constraints: 30879 1211.48/1214.71 c #Conflicts: 655000 | #Constraints: 31879 1211.48/1214.71 c INPROCESSING 1211.48/1214.71 c GARBAGE COLLECT 1211.48/1214.71 c rational objective 0 1248.99/1252.35 c #Conflicts: 656000 | #Constraints: 16869 1248.99/1252.35 c #Conflicts: 657000 | #Constraints: 17872 1248.99/1252.35 c #Conflicts: 658000 | #Constraints: 18874 1248.99/1252.35 c #Conflicts: 659000 | #Constraints: 19876 1248.99/1252.35 c #Conflicts: 660000 | #Constraints: 20876 1248.99/1252.35 c #Conflicts: 661000 | #Constraints: 21878 1248.99/1252.35 c #Conflicts: 662000 | #Constraints: 22880 1248.99/1252.35 c #Conflicts: 663000 | #Constraints: 23882 1248.99/1252.35 c #Conflicts: 664000 | #Constraints: 24883 1248.99/1252.35 c #Conflicts: 665000 | #Constraints: 25884 1248.99/1252.35 c #Conflicts: 666000 | #Constraints: 26886 1248.99/1252.35 c #Conflicts: 667000 | #Constraints: 27889 1248.99/1252.35 c #Conflicts: 668000 | #Constraints: 28890 1248.99/1252.35 c #Conflicts: 669000 | #Constraints: 29890 1248.99/1252.35 c #Conflicts: 670000 | #Constraints: 30893 1248.99/1252.35 c #Conflicts: 671000 | #Constraints: 31893 1248.99/1252.35 c INPROCESSING 1248.99/1252.35 c GARBAGE COLLECT 1248.99/1252.35 c rational objective 0 1314.53/1318.10 c #Conflicts: 672000 | #Constraints: 16665 1314.53/1318.10 c #Conflicts: 673000 | #Constraints: 17668 1314.53/1318.10 c #Conflicts: 674000 | #Constraints: 18670 1314.53/1318.10 c #Conflicts: 675000 | #Constraints: 19671 1314.53/1318.10 c #Conflicts: 676000 | #Constraints: 20672 1314.53/1318.10 c #Conflicts: 677000 | #Constraints: 21672 1314.53/1318.10 c #Conflicts: 678000 | #Constraints: 22673 1314.53/1318.10 c #Conflicts: 679000 | #Constraints: 23674 1314.53/1318.10 c #Conflicts: 680000 | #Constraints: 24675 1314.53/1318.10 c #Conflicts: 681000 | #Constraints: 25675 1314.53/1318.10 c #Conflicts: 682000 | #Constraints: 26675 1314.53/1318.10 c #Conflicts: 683000 | #Constraints: 27675 1314.53/1318.10 c #Conflicts: 684000 | #Constraints: 28675 1314.53/1318.10 c #Conflicts: 685000 | #Constraints: 29675 1314.53/1318.10 c #Conflicts: 686000 | #Constraints: 30675 1314.53/1318.10 c #Conflicts: 687000 | #Constraints: 31675 1314.53/1318.10 c #Conflicts: 688000 | #Constraints: 32676 1314.53/1318.10 c INPROCESSING 1314.53/1318.10 c GARBAGE COLLECT 1314.53/1318.10 c rational objective 0 1351.74/1355.38 c #Conflicts: 689000 | #Constraints: 17271 1351.74/1355.38 c #Conflicts: 690000 | #Constraints: 18271 1351.74/1355.38 c #Conflicts: 691000 | #Constraints: 19274 1351.74/1355.38 c #Conflicts: 692000 | #Constraints: 20274 1351.74/1355.38 c #Conflicts: 693000 | #Constraints: 21275 1351.74/1355.38 c #Conflicts: 694000 | #Constraints: 22275 1351.74/1355.38 c #Conflicts: 695000 | #Constraints: 23275 1351.74/1355.38 c #Conflicts: 696000 | #Constraints: 24278 1351.74/1355.38 c #Conflicts: 697000 | #Constraints: 25279 1351.74/1355.38 c #Conflicts: 698000 | #Constraints: 26279 1351.74/1355.38 c #Conflicts: 699000 | #Constraints: 27280 1351.74/1355.38 c #Conflicts: 700000 | #Constraints: 28280 1351.74/1355.38 c #Conflicts: 701000 | #Constraints: 29280 1351.74/1355.38 c #Conflicts: 702000 | #Constraints: 30283 1351.74/1355.38 c #Conflicts: 703000 | #Constraints: 31283 1351.74/1355.38 c #Conflicts: 704000 | #Constraints: 32283 1351.74/1355.38 c #Conflicts: 705000 | #Constraints: 33283 1351.74/1355.38 c INPROCESSING 1351.74/1355.38 c GARBAGE COLLECT 1351.74/1355.38 c rational objective 0 1395.43/1399.14 c #Conflicts: 706000 | #Constraints: 17662 1395.43/1399.14 c #Conflicts: 707000 | #Constraints: 18665 1395.43/1399.14 c #Conflicts: 708000 | #Constraints: 19666 1395.43/1399.14 c #Conflicts: 709000 | #Constraints: 20666 1395.43/1399.14 c #Conflicts: 710000 | #Constraints: 21667 1395.43/1399.14 c #Conflicts: 711000 | #Constraints: 22667 1395.43/1399.14 c #Conflicts: 712000 | #Constraints: 23668 1395.43/1399.14 c #Conflicts: 713000 | #Constraints: 24670 1395.43/1399.14 c #Conflicts: 714000 | #Constraints: 25671 1395.43/1399.14 c #Conflicts: 715000 | #Constraints: 26672 1395.43/1399.14 c #Conflicts: 716000 | #Constraints: 27672 1395.43/1399.14 c #Conflicts: 717000 | #Constraints: 28672 1395.43/1399.14 c #Conflicts: 718000 | #Constraints: 29673 1395.43/1399.14 c #Conflicts: 719000 | #Constraints: 30674 1395.43/1399.14 c #Conflicts: 720000 | #Constraints: 31674 1395.43/1399.14 c #Conflicts: 721000 | #Constraints: 32675 1395.43/1399.14 c #Conflicts: 722000 | #Constraints: 33675 1395.43/1399.14 c INPROCESSING 1395.43/1399.14 c GARBAGE COLLECT 1395.43/1399.14 c rational objective 0 1455.19/1459.05 c #Conflicts: 723000 | #Constraints: 17854 1455.19/1459.05 c #Conflicts: 724000 | #Constraints: 18855 1455.19/1459.05 c #Conflicts: 725000 | #Constraints: 19856 1455.19/1459.05 c #Conflicts: 726000 | #Constraints: 20859 1455.19/1459.05 c #Conflicts: 727000 | #Constraints: 21860 1455.19/1459.05 c #Conflicts: 728000 | #Constraints: 22861 1455.19/1459.05 c #Conflicts: 729000 | #Constraints: 23863 1455.19/1459.05 c #Conflicts: 730000 | #Constraints: 24865 1455.19/1459.05 c #Conflicts: 731000 | #Constraints: 25867 1455.19/1459.05 c #Conflicts: 732000 | #Constraints: 26867 1455.19/1459.05 c #Conflicts: 733000 | #Constraints: 27868 1455.19/1459.05 c #Conflicts: 734000 | #Constraints: 28869 1455.19/1459.05 c #Conflicts: 735000 | #Constraints: 29869 1455.19/1459.05 c #Conflicts: 736000 | #Constraints: 30869 1455.19/1459.05 c #Conflicts: 737000 | #Constraints: 31872 1455.19/1459.05 c #Conflicts: 738000 | #Constraints: 32872 1455.19/1459.05 c #Conflicts: 739000 | #Constraints: 33872 1455.19/1459.05 c INPROCESSING 1455.19/1459.05 c GARBAGE COLLECT 1455.19/1459.05 c rational objective 0 1494.98/1498.92 c #Conflicts: 740000 | #Constraints: 17861 1494.98/1498.92 c #Conflicts: 741000 | #Constraints: 18861 1494.98/1498.92 c #Conflicts: 742000 | #Constraints: 19863 1494.98/1498.92 c #Conflicts: 743000 | #Constraints: 20865 1494.98/1498.92 c #Conflicts: 744000 | #Constraints: 21869 1494.98/1498.92 c #Conflicts: 745000 | #Constraints: 22871 1494.98/1498.92 c #Conflicts: 746000 | #Constraints: 23874 1494.98/1498.92 c #Conflicts: 747000 | #Constraints: 24874 1494.98/1498.92 c #Conflicts: 748000 | #Constraints: 25875 1494.98/1498.92 c #Conflicts: 749000 | #Constraints: 26875 1494.98/1498.92 c #Conflicts: 750000 | #Constraints: 27876 1494.98/1498.92 c #Conflicts: 751000 | #Constraints: 28877 1494.98/1498.92 c #Conflicts: 752000 | #Constraints: 29879 1494.98/1498.92 c #Conflicts: 753000 | #Constraints: 30884 1494.98/1498.92 c #Conflicts: 754000 | #Constraints: 31887 1494.98/1498.92 c #Conflicts: 755000 | #Constraints: 32889 1494.98/1498.92 c #Conflicts: 756000 | #Constraints: 33892 1494.98/1498.92 c INPROCESSING 1494.98/1498.92 c GARBAGE COLLECT 1494.98/1498.92 c rational objective 0 1535.28/1539.37 c #Conflicts: 757000 | #Constraints: 17663 1535.28/1539.37 c #Conflicts: 758000 | #Constraints: 18664 1535.28/1539.37 c #Conflicts: 759000 | #Constraints: 19665 1535.28/1539.37 c #Conflicts: 760000 | #Constraints: 20666 1535.28/1539.37 c #Conflicts: 761000 | #Constraints: 21666 1535.28/1539.37 c #Conflicts: 762000 | #Constraints: 22668 1535.28/1539.37 c #Conflicts: 763000 | #Constraints: 23669 1535.28/1539.37 c #Conflicts: 764000 | #Constraints: 24671 1535.28/1539.37 c #Conflicts: 765000 | #Constraints: 25671 1535.28/1539.37 c #Conflicts: 766000 | #Constraints: 26673 1535.28/1539.37 c #Conflicts: 767000 | #Constraints: 27673 1535.28/1539.37 c #Conflicts: 768000 | #Constraints: 28675 1535.28/1539.37 c #Conflicts: 769000 | #Constraints: 29675 1535.28/1539.37 c #Conflicts: 770000 | #Constraints: 30675 1535.28/1539.37 c #Conflicts: 771000 | #Constraints: 31676 1535.28/1539.37 c #Conflicts: 772000 | #Constraints: 32678 1535.28/1539.37 c #Conflicts: 773000 | #Constraints: 33678 1535.28/1539.37 c #Conflicts: 774000 | #Constraints: 34679 1535.28/1539.37 c INPROCESSING 1535.28/1539.37 c GARBAGE COLLECT 1535.28/1539.37 c rational objective 0 1603.82/1608.10 c #Conflicts: 775000 | #Constraints: 18255 1603.82/1608.10 c #Conflicts: 776000 | #Constraints: 19258 1603.82/1608.10 c #Conflicts: 777000 | #Constraints: 20260 1603.82/1608.10 c #Conflicts: 778000 | #Constraints: 21264 1603.82/1608.10 c #Conflicts: 779000 | #Constraints: 22265 1603.82/1608.10 c #Conflicts: 780000 | #Constraints: 23267 1603.82/1608.10 c #Conflicts: 781000 | #Constraints: 24267 1603.82/1608.10 c #Conflicts: 782000 | #Constraints: 25267 1603.82/1608.10 c #Conflicts: 783000 | #Constraints: 26268 1603.82/1608.10 c #Conflicts: 784000 | #Constraints: 27271 1603.82/1608.10 c #Conflicts: 785000 | #Constraints: 28275 1603.82/1608.10 c #Conflicts: 786000 | #Constraints: 29276 1603.82/1608.10 c #Conflicts: 787000 | #Constraints: 30277 1603.82/1608.10 c #Conflicts: 788000 | #Constraints: 31277 1603.82/1608.10 c #Conflicts: 789000 | #Constraints: 32278 1603.82/1608.10 c #Conflicts: 790000 | #Constraints: 33278 1603.82/1608.10 c #Conflicts: 791000 | #Constraints: 34278 1603.82/1608.10 c #Conflicts: 792000 | #Constraints: 35279 1603.82/1608.10 c INPROCESSING 1603.82/1608.10 c GARBAGE COLLECT 1603.82/1608.10 c rational objective 0 1647.41/1651.79 c #Conflicts: 793000 | #Constraints: 18668 1647.41/1651.79 c #Conflicts: 794000 | #Constraints: 19670 1647.41/1651.79 c #Conflicts: 795000 | #Constraints: 20670 1647.41/1651.79 c #Conflicts: 796000 | #Constraints: 21672 1647.41/1651.79 c #Conflicts: 797000 | #Constraints: 22673 1647.41/1651.79 c #Conflicts: 798000 | #Constraints: 23677 1647.41/1651.79 c #Conflicts: 799000 | #Constraints: 24679 1647.41/1651.79 c #Conflicts: 800000 | #Constraints: 25680 1647.41/1651.79 c #Conflicts: 801000 | #Constraints: 26682 1647.41/1651.79 c #Conflicts: 802000 | #Constraints: 27682 1647.41/1651.79 c #Conflicts: 803000 | #Constraints: 28682 1647.41/1651.79 c #Conflicts: 804000 | #Constraints: 29683 1647.41/1651.79 c #Conflicts: 805000 | #Constraints: 30684 1647.41/1651.79 c #Conflicts: 806000 | #Constraints: 31684 1647.41/1651.79 c #Conflicts: 807000 | #Constraints: 32684 1647.41/1651.79 c #Conflicts: 808000 | #Constraints: 33685 1647.41/1651.79 c #Conflicts: 809000 | #Constraints: 34686 1647.41/1651.79 c #Conflicts: 810000 | #Constraints: 35688 1647.41/1651.79 c INPROCESSING 1647.41/1651.79 c GARBAGE COLLECT 1647.41/1651.79 c rational objective 0 1724.81/1729.34 c #Conflicts: 811000 | #Constraints: 18861 1724.81/1729.34 c #Conflicts: 812000 | #Constraints: 19861 1724.81/1729.34 c #Conflicts: 813000 | #Constraints: 20863 1724.81/1729.34 c #Conflicts: 814000 | #Constraints: 21866 1724.81/1729.34 c #Conflicts: 815000 | #Constraints: 22867 1724.81/1729.34 c #Conflicts: 816000 | #Constraints: 23867 1724.81/1729.34 c #Conflicts: 817000 | #Constraints: 24869 1724.81/1729.34 c #Conflicts: 818000 | #Constraints: 25869 1724.81/1729.34 c #Conflicts: 819000 | #Constraints: 26869 1724.81/1729.34 c #Conflicts: 820000 | #Constraints: 27870 1724.81/1729.34 c #Conflicts: 821000 | #Constraints: 28870 1724.81/1729.34 c #Conflicts: 822000 | #Constraints: 29870 1724.81/1729.34 c #Conflicts: 823000 | #Constraints: 30870 1724.81/1729.34 c #Conflicts: 824000 | #Constraints: 31871 1724.81/1729.34 c #Conflicts: 825000 | #Constraints: 32871 1724.81/1729.34 c #Conflicts: 826000 | #Constraints: 33873 1724.81/1729.34 c #Conflicts: 827000 | #Constraints: 34874 1724.81/1729.34 c #Conflicts: 828000 | #Constraints: 35875 1724.81/1729.34 c INPROCESSING 1724.81/1729.34 c GARBAGE COLLECT 1724.81/1729.34 c rational objective 0 1779.28/1783.98 c #Conflicts: 829000 | #Constraints: 18863 1779.28/1783.98 c #Conflicts: 830000 | #Constraints: 19865 1779.28/1783.98 c #Conflicts: 831000 | #Constraints: 20866 1779.28/1783.98 c #Conflicts: 832000 | #Constraints: 21866 1779.28/1783.98 c #Conflicts: 833000 | #Constraints: 22868 1779.28/1783.98 c #Conflicts: 834000 | #Constraints: 23868 1779.28/1783.98 c #Conflicts: 835000 | #Constraints: 24874 1779.28/1783.98 c #Conflicts: 836000 | #Constraints: 25875 1779.28/1783.98 c #Conflicts: 837000 | #Constraints: 26876 1779.28/1783.98 c #Conflicts: 838000 | #Constraints: 27876 1779.28/1783.98 c #Conflicts: 839000 | #Constraints: 28878 1779.28/1783.98 c #Conflicts: 840000 | #Constraints: 29878 1779.28/1783.98 c #Conflicts: 841000 | #Constraints: 30878 1779.28/1783.98 c #Conflicts: 842000 | #Constraints: 31879 1779.28/1783.98 c #Conflicts: 843000 | #Constraints: 32881 1779.28/1783.98 c #Conflicts: 844000 | #Constraints: 33884 1779.28/1783.98 c #Conflicts: 845000 | #Constraints: 34886 1779.28/1783.98 c #Conflicts: 846000 | #Constraints: 35886 1779.28/1783.98 c INPROCESSING 1779.28/1783.98 c GARBAGE COLLECT 1779.28/1783.98 c rational objective 0 1826.06/1830.89 c #Conflicts: 847000 | #Constraints: 18660 1826.06/1830.89 c #Conflicts: 848000 | #Constraints: 19661 1826.06/1830.89 c #Conflicts: 849000 | #Constraints: 20664 1826.06/1830.89 c #Conflicts: 850000 | #Constraints: 21668 1826.06/1830.89 c #Conflicts: 851000 | #Constraints: 22672 1826.06/1830.89 c #Conflicts: 852000 | #Constraints: 23675 1826.06/1830.89 c #Conflicts: 853000 | #Constraints: 24676 1826.06/1830.89 c #Conflicts: 854000 | #Constraints: 25677 1826.06/1830.89 c #Conflicts: 855000 | #Constraints: 26678 1826.06/1830.89 c #Conflicts: 856000 | #Constraints: 27679 1826.06/1830.89 c #Conflicts: 857000 | #Constraints: 28681 1826.06/1830.89 c #Conflicts: 858000 | #Constraints: 29682 1826.06/1830.89 c #Conflicts: 859000 | #Constraints: 30682 1826.06/1830.89 c #Conflicts: 860000 | #Constraints: 31683 1826.06/1830.89 c #Conflicts: 861000 | #Constraints: 32685 1826.06/1830.89 c #Conflicts: 862000 | #Constraints: 33686 1826.06/1830.89 c #Conflicts: 863000 | #Constraints: 34686 1826.06/1830.89 c #Conflicts: 864000 | #Constraints: 35688 1826.06/1830.89 c #Conflicts: 865000 | #Constraints: 36689 1826.06/1830.89 c INPROCESSING 1826.06/1830.89 c GARBAGE COLLECT 1826.06/1830.89 c rational objective 0 1908.26/1913.24 c #Conflicts: 866000 | #Constraints: 19260 1908.26/1913.24 c #Conflicts: 867000 | #Constraints: 20261 1908.26/1913.24 c #Conflicts: 868000 | #Constraints: 21262 1908.26/1913.24 c #Conflicts: 869000 | #Constraints: 22263 1908.26/1913.24 c #Conflicts: 870000 | #Constraints: 23264 1908.26/1913.24 c #Conflicts: 871000 | #Constraints: 24265 1908.26/1913.24 c #Conflicts: 872000 | #Constraints: 25265 1908.26/1913.24 c #Conflicts: 873000 | #Constraints: 26266 1908.26/1913.24 c #Conflicts: 874000 | #Constraints: 27266 1908.26/1913.24 c #Conflicts: 875000 | #Constraints: 28267 1908.26/1913.24 c #Conflicts: 876000 | #Constraints: 29269 1908.26/1913.24 c #Conflicts: 877000 | #Constraints: 30269 1908.26/1913.24 c #Conflicts: 878000 | #Constraints: 31269 1908.26/1913.24 c #Conflicts: 879000 | #Constraints: 32269 1908.26/1913.24 c #Conflicts: 880000 | #Constraints: 33270 1908.26/1913.24 c #Conflicts: 881000 | #Constraints: 34271 1908.26/1913.24 c #Conflicts: 882000 | #Constraints: 35273 1908.26/1913.24 c bounds 21 >= 0 @ 1886.17 1908.26/1913.24 c #Conflicts: 883000 | #Constraints: 36276 1908.26/1913.24 c #Conflicts: 884000 | #Constraints: 37278 1908.26/1913.24 c INPROCESSING 1908.26/1913.24 c GARBAGE COLLECT 1908.26/1913.24 c rational objective 0 1959.94/1965.05 c #Conflicts: 885000 | #Constraints: 19659 1959.94/1965.05 c #Conflicts: 886000 | #Constraints: 20659 1959.94/1965.05 c #Conflicts: 887000 | #Constraints: 21659 1959.94/1965.05 c #Conflicts: 888000 | #Constraints: 22659 1959.94/1965.05 c #Conflicts: 889000 | #Constraints: 23661 1959.94/1965.05 c #Conflicts: 890000 | #Constraints: 24661 1959.94/1965.05 c #Conflicts: 891000 | #Constraints: 25662 1959.94/1965.05 c #Conflicts: 892000 | #Constraints: 26664 1959.94/1965.05 c #Conflicts: 893000 | #Constraints: 27664 1959.94/1965.05 c #Conflicts: 894000 | #Constraints: 28665 1959.94/1965.05 c #Conflicts: 895000 | #Constraints: 29667 1959.94/1965.05 c #Conflicts: 896000 | #Constraints: 30667 1959.94/1965.05 c #Conflicts: 897000 | #Constraints: 31669 1959.94/1965.05 c #Conflicts: 898000 | #Constraints: 32669 1959.94/1965.05 c #Conflicts: 899000 | #Constraints: 33671 1959.94/1965.05 c #Conflicts: 900000 | #Constraints: 34673 1959.94/1965.05 c #Conflicts: 901000 | #Constraints: 35673 1959.94/1965.05 c #Conflicts: 902000 | #Constraints: 36675 1959.94/1965.05 c #Conflicts: 903000 | #Constraints: 37676 1959.94/1965.05 c INPROCESSING 1959.94/1965.05 c GARBAGE COLLECT 1959.94/1965.05 c rational objective 0 2039.94/2045.24 c #Conflicts: 904000 | #Constraints: 19857 2039.94/2045.24 c #Conflicts: 905000 | #Constraints: 20858 2039.94/2045.24 c #Conflicts: 906000 | #Constraints: 21858 2039.94/2045.24 c #Conflicts: 907000 | #Constraints: 22858 2039.94/2045.24 c #Conflicts: 908000 | #Constraints: 23858 2039.94/2045.24 c #Conflicts: 909000 | #Constraints: 24860 2039.94/2045.24 c #Conflicts: 910000 | #Constraints: 25860 2039.94/2045.24 c #Conflicts: 911000 | #Constraints: 26862 2039.94/2045.24 c #Conflicts: 912000 | #Constraints: 27863 2039.94/2045.24 c #Conflicts: 913000 | #Constraints: 28866 2039.94/2045.24 c #Conflicts: 914000 | #Constraints: 29867 2039.94/2045.24 c #Conflicts: 915000 | #Constraints: 30867 2039.94/2045.24 c #Conflicts: 916000 | #Constraints: 31867 2039.94/2045.24 c #Conflicts: 917000 | #Constraints: 32868 2039.94/2045.24 c #Conflicts: 918000 | #Constraints: 33868 2039.94/2045.24 c #Conflicts: 919000 | #Constraints: 34870 2039.94/2045.24 c #Conflicts: 920000 | #Constraints: 35871 2039.94/2045.24 c #Conflicts: 921000 | #Constraints: 36873 2039.94/2045.24 c #Conflicts: 922000 | #Constraints: 37875 2039.94/2045.24 c INPROCESSING 2039.94/2045.24 c GARBAGE COLLECT 2039.94/2045.24 c rational objective 0 2098.79/2104.26 c #Conflicts: 923000 | #Constraints: 19862 2098.79/2104.26 c #Conflicts: 924000 | #Constraints: 20863 2098.79/2104.26 c #Conflicts: 925000 | #Constraints: 21864 2098.79/2104.26 c #Conflicts: 926000 | #Constraints: 22864 2098.79/2104.26 c #Conflicts: 927000 | #Constraints: 23864 2098.79/2104.26 c #Conflicts: 928000 | #Constraints: 24866 2098.79/2104.26 c #Conflicts: 929000 | #Constraints: 25867 2098.79/2104.26 c #Conflicts: 930000 | #Constraints: 26867 2098.79/2104.26 c #Conflicts: 931000 | #Constraints: 27868 2098.79/2104.26 c #Conflicts: 932000 | #Constraints: 28871 2098.79/2104.26 c #Conflicts: 933000 | #Constraints: 29872 2098.79/2104.26 c #Conflicts: 934000 | #Constraints: 30874 2098.79/2104.26 c #Conflicts: 935000 | #Constraints: 31875 2098.79/2104.26 c #Conflicts: 936000 | #Constraints: 32875 2098.79/2104.26 c #Conflicts: 937000 | #Constraints: 33876 2098.79/2104.26 c #Conflicts: 938000 | #Constraints: 34876 2098.79/2104.26 c #Conflicts: 939000 | #Constraints: 35877 2098.79/2104.26 c #Conflicts: 940000 | #Constraints: 36878 2098.79/2104.26 c #Conflicts: 941000 | #Constraints: 37879 2098.79/2104.26 c INPROCESSING 2098.79/2104.26 c GARBAGE COLLECT 2098.79/2104.26 c rational objective 0 2161.94/2167.55 c #Conflicts: 942000 | #Constraints: 19659 2161.94/2167.55 c #Conflicts: 943000 | #Constraints: 20659 2161.94/2167.55 c #Conflicts: 944000 | #Constraints: 21660 2161.94/2167.55 c #Conflicts: 945000 | #Constraints: 22661 2161.94/2167.55 c #Conflicts: 946000 | #Constraints: 23662 2161.94/2167.55 c #Conflicts: 947000 | #Constraints: 24663 2161.94/2167.55 c #Conflicts: 948000 | #Constraints: 25664 2161.94/2167.55 c #Conflicts: 949000 | #Constraints: 26664 2161.94/2167.55 c #Conflicts: 950000 | #Constraints: 27665 2161.94/2167.55 c #Conflicts: 951000 | #Constraints: 28665 2161.94/2167.55 c #Conflicts: 952000 | #Constraints: 29665 2161.94/2167.55 c #Conflicts: 953000 | #Constraints: 30665 2161.94/2167.55 c #Conflicts: 954000 | #Constraints: 31666 2161.94/2167.55 c #Conflicts: 955000 | #Constraints: 32666 2161.94/2167.55 c #Conflicts: 956000 | #Constraints: 33668 2161.94/2167.55 c #Conflicts: 957000 | #Constraints: 34668 2161.94/2167.55 c #Conflicts: 958000 | #Constraints: 35668 2161.94/2167.55 c #Conflicts: 959000 | #Constraints: 36669 2161.94/2167.55 c #Conflicts: 960000 | #Constraints: 37670 2161.94/2167.55 c #Conflicts: 961000 | #Constraints: 38670 2161.94/2167.55 c INPROCESSING 2161.94/2167.55 c GARBAGE COLLECT 2161.94/2167.55 c rational objective 0 2245.53/2251.33 c #Conflicts: 962000 | #Constraints: 20256 2245.53/2251.33 c #Conflicts: 963000 | #Constraints: 21256 2245.53/2251.33 c #Conflicts: 964000 | #Constraints: 22257 2245.53/2251.33 c #Conflicts: 965000 | #Constraints: 23259 2245.53/2251.33 c #Conflicts: 966000 | #Constraints: 24260 2245.53/2251.33 c #Conflicts: 967000 | #Constraints: 25261 2245.53/2251.33 c #Conflicts: 968000 | #Constraints: 26261 2245.53/2251.33 c #Conflicts: 969000 | #Constraints: 27261 2245.53/2251.33 c #Conflicts: 970000 | #Constraints: 28261 2245.53/2251.33 c #Conflicts: 971000 | #Constraints: 29261 2245.53/2251.33 c #Conflicts: 972000 | #Constraints: 30261 2245.53/2251.33 c #Conflicts: 973000 | #Constraints: 31261 2245.53/2251.33 c #Conflicts: 974000 | #Constraints: 32261 2245.53/2251.33 c #Conflicts: 975000 | #Constraints: 33261 2245.53/2251.33 c #Conflicts: 976000 | #Constraints: 34261 2245.53/2251.33 c #Conflicts: 977000 | #Constraints: 35261 2245.53/2251.33 c #Conflicts: 978000 | #Constraints: 36264 2245.53/2251.33 c #Conflicts: 979000 | #Constraints: 37265 2245.53/2251.33 c #Conflicts: 980000 | #Constraints: 38266 2245.53/2251.33 c #Conflicts: 981000 | #Constraints: 39267 2245.53/2251.33 c INPROCESSING 2245.53/2251.33 c GARBAGE COLLECT 2245.53/2251.33 c rational objective 0 2311.47/2317.44 c #Conflicts: 982000 | #Constraints: 20662 2311.47/2317.44 c #Conflicts: 983000 | #Constraints: 21664 2311.47/2317.44 c #Conflicts: 984000 | #Constraints: 22668 2311.47/2317.44 c #Conflicts: 985000 | #Constraints: 23669 2311.47/2317.44 c #Conflicts: 986000 | #Constraints: 24671 2311.47/2317.44 c #Conflicts: 987000 | #Constraints: 25674 2311.47/2317.44 c #Conflicts: 988000 | #Constraints: 26675 2311.47/2317.44 c #Conflicts: 989000 | #Constraints: 27675 2311.47/2317.44 c #Conflicts: 990000 | #Constraints: 28677 2311.47/2317.44 c #Conflicts: 991000 | #Constraints: 29680 2311.47/2317.44 c #Conflicts: 992000 | #Constraints: 30682 2311.47/2317.44 c #Conflicts: 993000 | #Constraints: 31683 2311.47/2317.44 c #Conflicts: 994000 | #Constraints: 32685 2311.47/2317.44 c #Conflicts: 995000 | #Constraints: 33685 2311.47/2317.44 c #Conflicts: 996000 | #Constraints: 34685 2311.47/2317.44 c #Conflicts: 997000 | #Constraints: 35685 2311.47/2317.44 c #Conflicts: 998000 | #Constraints: 36686 2311.47/2317.44 c #Conflicts: 999000 | #Constraints: 37688 2311.47/2317.44 c #Conflicts: 1000000 | #Constraints: 38688 2311.47/2317.44 c #Conflicts: 1001000 | #Constraints: 39688 2311.47/2317.44 c INPROCESSING 2311.47/2317.44 c GARBAGE COLLECT 2311.47/2317.44 c rational objective 0 2403.32/2409.53 c #Conflicts: 1002000 | #Constraints: 20863 2403.32/2409.53 c #Conflicts: 1003000 | #Constraints: 21863 2403.32/2409.53 c #Conflicts: 1004000 | #Constraints: 22863 2403.32/2409.53 c #Conflicts: 1005000 | #Constraints: 23865 2403.32/2409.53 c #Conflicts: 1006000 | #Constraints: 24866 2403.32/2409.53 c #Conflicts: 1007000 | #Constraints: 25867 2403.32/2409.53 c #Conflicts: 1008000 | #Constraints: 26868 2403.32/2409.53 c #Conflicts: 1009000 | #Constraints: 27869 2403.32/2409.53 c #Conflicts: 1010000 | #Constraints: 28869 2403.32/2409.53 c #Conflicts: 1011000 | #Constraints: 29869 2403.32/2409.53 c #Conflicts: 1012000 | #Constraints: 30870 2403.32/2409.53 c #Conflicts: 1013000 | #Constraints: 31871 2403.32/2409.53 c #Conflicts: 1014000 | #Constraints: 32871 2403.32/2409.53 c #Conflicts: 1015000 | #Constraints: 33872 2403.32/2409.53 c #Conflicts: 1016000 | #Constraints: 34872 2403.32/2409.53 c #Conflicts: 1017000 | #Constraints: 35872 2403.32/2409.53 c #Conflicts: 1018000 | #Constraints: 36872 2403.32/2409.53 c #Conflicts: 1019000 | #Constraints: 37872 2403.32/2409.53 c #Conflicts: 1020000 | #Constraints: 38873 2403.32/2409.53 c #Conflicts: 1021000 | #Constraints: 39874 2403.32/2409.53 c INPROCESSING 2403.32/2409.53 c GARBAGE COLLECT 2403.32/2409.53 c rational objective 0 2476.52/2482.91 c #Conflicts: 1022000 | #Constraints: 20869 2476.52/2482.91 c #Conflicts: 1023000 | #Constraints: 21869 2476.52/2482.91 c #Conflicts: 1024000 | #Constraints: 22871 2476.52/2482.91 c #Conflicts: 1025000 | #Constraints: 23872 2476.52/2482.91 c #Conflicts: 1026000 | #Constraints: 24874 2476.52/2482.91 c #Conflicts: 1027000 | #Constraints: 25876 2476.52/2482.91 c #Conflicts: 1028000 | #Constraints: 26876 2476.52/2482.91 c #Conflicts: 1029000 | #Constraints: 27877 2476.52/2482.91 c #Conflicts: 1030000 | #Constraints: 28878 2476.52/2482.91 c #Conflicts: 1031000 | #Constraints: 29879 2476.52/2482.91 c #Conflicts: 1032000 | #Constraints: 30881 2476.52/2482.91 c #Conflicts: 1033000 | #Constraints: 31882 2476.52/2482.91 c #Conflicts: 1034000 | #Constraints: 32883 2476.52/2482.91 c #Conflicts: 1035000 | #Constraints: 33883 2476.52/2482.91 c #Conflicts: 1036000 | #Constraints: 34884 2476.52/2482.91 c #Conflicts: 1037000 | #Constraints: 35884 2476.52/2482.91 c #Conflicts: 1038000 | #Constraints: 36886 2476.52/2482.91 c #Conflicts: 1039000 | #Constraints: 37886 2476.52/2482.91 c #Conflicts: 1040000 | #Constraints: 38887 2476.52/2482.91 c #Conflicts: 1041000 | #Constraints: 39887 2476.52/2482.91 c INPROCESSING 2476.52/2482.91 c GARBAGE COLLECT 2476.52/2482.91 c rational objective 0 2576.16/2582.89 c #Conflicts: 1042000 | #Constraints: 20664 2576.16/2582.89 c #Conflicts: 1043000 | #Constraints: 21664 2576.16/2582.89 c #Conflicts: 1044000 | #Constraints: 22665 2576.16/2582.89 c #Conflicts: 1045000 | #Constraints: 23665 2576.16/2582.89 c #Conflicts: 1046000 | #Constraints: 24666 2576.16/2582.89 c #Conflicts: 1047000 | #Constraints: 25666 2576.16/2582.89 c #Conflicts: 1048000 | #Constraints: 26666 2576.16/2582.89 c #Conflicts: 1049000 | #Constraints: 27667 2576.16/2582.89 c #Conflicts: 1050000 | #Constraints: 28667 2576.16/2582.89 c #Conflicts: 1051000 | #Constraints: 29667 2576.16/2582.89 c #Conflicts: 1052000 | #Constraints: 30667 2576.16/2582.89 c #Conflicts: 1053000 | #Constraints: 31667 2576.16/2582.89 c #Conflicts: 1054000 | #Constraints: 32667 2576.16/2582.89 c #Conflicts: 1055000 | #Constraints: 33667 2576.16/2582.89 c #Conflicts: 1056000 | #Constraints: 34668 2576.16/2582.89 c #Conflicts: 1057000 | #Constraints: 35672 2576.16/2582.89 c #Conflicts: 1058000 | #Constraints: 36672 2576.16/2582.89 c #Conflicts: 1059000 | #Constraints: 37672 2576.16/2582.89 c #Conflicts: 1060000 | #Constraints: 38672 2576.16/2582.89 c #Conflicts: 1061000 | #Constraints: 39672 2576.16/2582.89 c #Conflicts: 1062000 | #Constraints: 40672 2576.16/2582.89 c INPROCESSING 2576.16/2582.89 c GARBAGE COLLECT 2576.16/2582.89 c rational objective 0 2659.75/2666.66 c #Conflicts: 1063000 | #Constraints: 21259 2659.75/2666.66 c #Conflicts: 1064000 | #Constraints: 22261 2659.75/2666.66 c #Conflicts: 1065000 | #Constraints: 23261 2659.75/2666.66 c #Conflicts: 1066000 | #Constraints: 24261 2659.75/2666.66 c #Conflicts: 1067000 | #Constraints: 25263 2659.75/2666.66 c #Conflicts: 1068000 | #Constraints: 26265 2659.75/2666.66 c #Conflicts: 1069000 | #Constraints: 27265 2659.75/2666.66 c #Conflicts: 1070000 | #Constraints: 28265 2659.75/2666.66 c #Conflicts: 1071000 | #Constraints: 29267 2659.75/2666.66 c #Conflicts: 1072000 | #Constraints: 30268 2659.75/2666.66 c #Conflicts: 1073000 | #Constraints: 31268 2659.75/2666.66 c #Conflicts: 1074000 | #Constraints: 32269 2659.75/2666.66 c #Conflicts: 1075000 | #Constraints: 33269 2659.75/2666.66 c #Conflicts: 1076000 | #Constraints: 34270 2659.75/2666.66 c #Conflicts: 1077000 | #Constraints: 35271 2659.75/2666.66 c #Conflicts: 1078000 | #Constraints: 36271 2659.75/2666.66 c #Conflicts: 1079000 | #Constraints: 37271 2659.75/2666.66 c #Conflicts: 1080000 | #Constraints: 38271 2659.75/2666.66 c #Conflicts: 1081000 | #Constraints: 39272 2659.75/2666.66 c #Conflicts: 1082000 | #Constraints: 40273 2659.75/2666.66 c #Conflicts: 1083000 | #Constraints: 41273 2659.75/2666.66 c INPROCESSING 2659.75/2666.66 c GARBAGE COLLECT 2659.75/2666.66 c rational objective 0 2765.48/2772.61 c #Conflicts: 1084000 | #Constraints: 21656 2765.48/2772.61 c #Conflicts: 1085000 | #Constraints: 22657 2765.48/2772.61 c #Conflicts: 1086000 | #Constraints: 23657 2765.48/2772.61 c #Conflicts: 1087000 | #Constraints: 24657 2765.48/2772.61 c #Conflicts: 1088000 | #Constraints: 25657 2765.48/2772.61 c #Conflicts: 1089000 | #Constraints: 26657 2765.48/2772.61 c #Conflicts: 1090000 | #Constraints: 27657 2765.48/2772.61 c #Conflicts: 1091000 | #Constraints: 28657 2765.48/2772.61 c #Conflicts: 1092000 | #Constraints: 29657 2765.48/2772.61 c #Conflicts: 1093000 | #Constraints: 30657 2765.48/2772.61 c #Conflicts: 1094000 | #Constraints: 31658 2765.48/2772.61 c #Conflicts: 1095000 | #Constraints: 32658 2765.48/2772.61 c #Conflicts: 1096000 | #Constraints: 33658 2765.48/2772.61 c #Conflicts: 1097000 | #Constraints: 34658 2765.48/2772.61 c #Conflicts: 1098000 | #Constraints: 35659 2765.48/2772.61 c #Conflicts: 1099000 | #Constraints: 36660 2765.48/2772.61 c #Conflicts: 1100000 | #Constraints: 37661 2765.48/2772.61 c #Conflicts: 1101000 | #Constraints: 38662 2765.48/2772.61 c #Conflicts: 1102000 | #Constraints: 39663 2765.48/2772.61 c #Conflicts: 1103000 | #Constraints: 40663 2765.48/2772.61 c #Conflicts: 1104000 | #Constraints: 41665 2765.48/2772.61 c INPROCESSING 2765.48/2772.61 c GARBAGE COLLECT 2765.48/2772.61 c rational objective 0 2857.86/2865.25 c #Conflicts: 1105000 | #Constraints: 21861 2857.86/2865.25 c #Conflicts: 1106000 | #Constraints: 22862 2857.86/2865.25 c #Conflicts: 1107000 | #Constraints: 23863 2857.86/2865.25 c #Conflicts: 1108000 | #Constraints: 24866 2857.86/2865.25 c #Conflicts: 1109000 | #Constraints: 25867 2857.86/2865.25 c #Conflicts: 1110000 | #Constraints: 26868 2857.86/2865.25 c #Conflicts: 1111000 | #Constraints: 27869 2857.86/2865.25 c #Conflicts: 1112000 | #Constraints: 28870 2857.86/2865.25 c #Conflicts: 1113000 | #Constraints: 29871 2857.86/2865.25 c #Conflicts: 1114000 | #Constraints: 30871 2857.86/2865.25 c #Conflicts: 1115000 | #Constraints: 31872 2857.86/2865.25 c #Conflicts: 1116000 | #Constraints: 32872 2857.86/2865.25 c #Conflicts: 1117000 | #Constraints: 33872 2857.86/2865.25 c #Conflicts: 1118000 | #Constraints: 34872 2857.86/2865.25 c #Conflicts: 1119000 | #Constraints: 35873 2857.86/2865.25 c #Conflicts: 1120000 | #Constraints: 36873 2857.86/2865.25 c #Conflicts: 1121000 | #Constraints: 37875 2857.86/2865.25 c #Conflicts: 1122000 | #Constraints: 38875 2857.86/2865.25 c #Conflicts: 1123000 | #Constraints: 39878 2857.86/2865.25 c #Conflicts: 1124000 | #Constraints: 40878 2857.86/2865.25 c #Conflicts: 1125000 | #Constraints: 41878 2857.86/2865.25 c INPROCESSING 2857.86/2865.25 c GARBAGE COLLECT 2857.86/2865.25 c rational objective 0 2929.18/2936.70 c #Conflicts: 1126000 | #Constraints: 21859 2929.18/2936.70 c #Conflicts: 1127000 | #Constraints: 22861 2929.18/2936.70 c #Conflicts: 1128000 | #Constraints: 23863 2929.18/2936.70 c #Conflicts: 1129000 | #Constraints: 24863 2929.18/2936.70 c #Conflicts: 1130000 | #Constraints: 25864 2929.18/2936.70 c #Conflicts: 1131000 | #Constraints: 26864 2929.18/2936.70 c #Conflicts: 1132000 | #Constraints: 27866 2929.18/2936.70 c #Conflicts: 1133000 | #Constraints: 28867 2929.18/2936.70 c #Conflicts: 1134000 | #Constraints: 29867 2929.18/2936.70 c #Conflicts: 1135000 | #Constraints: 30869 2929.18/2936.70 c #Conflicts: 1136000 | #Constraints: 31870 2929.18/2936.70 c #Conflicts: 1137000 | #Constraints: 32870 2929.18/2936.70 c #Conflicts: 1138000 | #Constraints: 33870 2929.18/2936.70 c #Conflicts: 1139000 | #Constraints: 34871 2929.18/2936.70 c #Conflicts: 1140000 | #Constraints: 35872 2929.18/2936.70 c #Conflicts: 1141000 | #Constraints: 36875 2929.18/2936.70 c #Conflicts: 1142000 | #Constraints: 37875 2929.18/2936.70 c #Conflicts: 1143000 | #Constraints: 38875 2929.18/2936.70 c #Conflicts: 1144000 | #Constraints: 39875 2929.18/2936.70 c #Conflicts: 1145000 | #Constraints: 40877 2929.18/2936.70 c #Conflicts: 1146000 | #Constraints: 41878 2929.18/2936.70 c INPROCESSING 2929.18/2936.70 c GARBAGE COLLECT 2929.18/2936.70 c rational objective 0 3040.27/3048.14 c #Conflicts: 1147000 | #Constraints: 21659 3040.27/3048.14 c #Conflicts: 1148000 | #Constraints: 22659 3040.27/3048.14 c #Conflicts: 1149000 | #Constraints: 23659 3040.27/3048.14 c #Conflicts: 1150000 | #Constraints: 24660 3040.27/3048.14 c #Conflicts: 1151000 | #Constraints: 25660 3040.27/3048.14 c #Conflicts: 1152000 | #Constraints: 26662 3040.27/3048.14 c #Conflicts: 1153000 | #Constraints: 27662 3040.27/3048.14 c #Conflicts: 1154000 | #Constraints: 28663 3040.27/3048.14 c #Conflicts: 1155000 | #Constraints: 29663 3040.27/3048.14 c #Conflicts: 1156000 | #Constraints: 30664 3040.27/3048.14 c #Conflicts: 1157000 | #Constraints: 31667 3040.27/3048.14 c #Conflicts: 1158000 | #Constraints: 32671 3040.27/3048.14 c #Conflicts: 1159000 | #Constraints: 33673 3040.27/3048.14 c #Conflicts: 1160000 | #Constraints: 34674 3040.27/3048.14 c #Conflicts: 1161000 | #Constraints: 35675 3040.27/3048.14 c #Conflicts: 1162000 | #Constraints: 36675 3040.27/3048.14 c #Conflicts: 1163000 | #Constraints: 37675 3040.27/3048.14 c #Conflicts: 1164000 | #Constraints: 38676 3040.27/3048.14 c #Conflicts: 1165000 | #Constraints: 39677 3040.27/3048.14 c #Conflicts: 1166000 | #Constraints: 40678 3040.27/3048.14 c bounds 20 >= 0 @ 3011.03 3040.27/3048.14 c #Conflicts: 1167000 | #Constraints: 41684 3040.27/3048.14 c #Conflicts: 1168000 | #Constraints: 42684 3040.27/3048.14 c INPROCESSING 3040.27/3048.14 c GARBAGE COLLECT 3040.27/3048.14 c rational objective 0 3110.26/3118.33 c #Conflicts: 1169000 | #Constraints: 22259 3110.26/3118.33 c #Conflicts: 1170000 | #Constraints: 23261 3110.26/3118.33 c #Conflicts: 1171000 | #Constraints: 24263 3110.26/3118.33 c #Conflicts: 1172000 | #Constraints: 25263 3110.26/3118.33 c #Conflicts: 1173000 | #Constraints: 26264 3110.26/3118.33 c #Conflicts: 1174000 | #Constraints: 27267 3110.26/3118.33 c #Conflicts: 1175000 | #Constraints: 28268 3110.26/3118.33 c #Conflicts: 1176000 | #Constraints: 29269 3110.26/3118.33 c #Conflicts: 1177000 | #Constraints: 30271 3110.26/3118.33 c #Conflicts: 1178000 | #Constraints: 31272 3110.26/3118.33 c #Conflicts: 1179000 | #Constraints: 32272 3110.26/3118.33 c #Conflicts: 1180000 | #Constraints: 33273 3110.26/3118.33 c #Conflicts: 1181000 | #Constraints: 34274 3110.26/3118.33 c #Conflicts: 1182000 | #Constraints: 35275 3110.26/3118.33 c #Conflicts: 1183000 | #Constraints: 36276 3110.26/3118.33 c #Conflicts: 1184000 | #Constraints: 37276 3110.26/3118.33 c #Conflicts: 1185000 | #Constraints: 38277 3110.26/3118.33 c #Conflicts: 1186000 | #Constraints: 39278 3110.26/3118.33 c #Conflicts: 1187000 | #Constraints: 40279 3110.26/3118.33 c #Conflicts: 1188000 | #Constraints: 41279 3110.26/3118.33 c #Conflicts: 1189000 | #Constraints: 42279 3110.26/3118.33 c #Conflicts: 1190000 | #Constraints: 43280 3110.26/3118.33 c INPROCESSING 3110.26/3118.33 c GARBAGE COLLECT 3110.26/3118.33 c rational objective 0 3223.83/3232.29 c bounds 18 >= 0 @ 3086.5 3223.83/3232.29 c bounds 16 >= 0 @ 3086.52 3223.83/3232.29 c #Conflicts: 1191000 | #Constraints: 22657 3223.83/3232.29 c #Conflicts: 1192000 | #Constraints: 23658 3223.83/3232.29 c #Conflicts: 1193000 | #Constraints: 24661 3223.83/3232.29 c #Conflicts: 1194000 | #Constraints: 25661 3223.83/3232.29 c #Conflicts: 1195000 | #Constraints: 26662 3223.83/3232.29 c #Conflicts: 1196000 | #Constraints: 27663 3223.83/3232.29 c #Conflicts: 1197000 | #Constraints: 28664 3223.83/3232.29 c #Conflicts: 1198000 | #Constraints: 29666 3223.83/3232.29 c #Conflicts: 1199000 | #Constraints: 30666 3223.83/3232.29 c #Conflicts: 1200000 | #Constraints: 31668 3223.83/3232.29 c #Conflicts: 1201000 | #Constraints: 32671 3223.83/3232.29 c #Conflicts: 1202000 | #Constraints: 33672 3223.83/3232.29 c #Conflicts: 1203000 | #Constraints: 34672 3223.83/3232.29 c #Conflicts: 1204000 | #Constraints: 35673 3223.83/3232.29 c #Conflicts: 1205000 | #Constraints: 36674 3223.83/3232.29 c #Conflicts: 1206000 | #Constraints: 37674 3223.83/3232.29 c #Conflicts: 1207000 | #Constraints: 38676 3223.83/3232.29 c #Conflicts: 1208000 | #Constraints: 39676 3223.83/3232.29 c #Conflicts: 1209000 | #Constraints: 40677 3223.83/3232.29 c #Conflicts: 1210000 | #Constraints: 41679 3223.83/3232.29 c #Conflicts: 1211000 | #Constraints: 42681 3223.83/3232.29 c #Conflicts: 1212000 | #Constraints: 43682 3223.83/3232.29 c INPROCESSING 3223.83/3232.29 c GARBAGE COLLECT 3223.83/3232.29 c rational objective 0 3306.50/3315.18 c #Conflicts: 1213000 | #Constraints: 22858 3306.50/3315.18 c #Conflicts: 1214000 | #Constraints: 23858 3306.50/3315.18 c #Conflicts: 1215000 | #Constraints: 24858 3306.50/3315.18 c #Conflicts: 1216000 | #Constraints: 25862 3306.50/3315.18 c #Conflicts: 1217000 | #Constraints: 26863 3306.50/3315.18 c #Conflicts: 1218000 | #Constraints: 27868 3306.50/3315.18 c #Conflicts: 1219000 | #Constraints: 28870 3306.50/3315.18 c #Conflicts: 1220000 | #Constraints: 29870 3306.50/3315.18 c #Conflicts: 1221000 | #Constraints: 30870 3306.50/3315.18 c #Conflicts: 1222000 | #Constraints: 31870 3306.50/3315.18 c #Conflicts: 1223000 | #Constraints: 32871 3306.50/3315.18 c #Conflicts: 1224000 | #Constraints: 33871 3306.50/3315.18 c #Conflicts: 1225000 | #Constraints: 34871 3306.50/3315.18 c #Conflicts: 1226000 | #Constraints: 35872 3306.50/3315.18 c #Conflicts: 1227000 | #Constraints: 36874 3306.50/3315.18 c #Conflicts: 1228000 | #Constraints: 37877 3306.50/3315.18 c #Conflicts: 1229000 | #Constraints: 38877 3306.50/3315.18 c #Conflicts: 1230000 | #Constraints: 39878 3306.50/3315.18 c #Conflicts: 1231000 | #Constraints: 40882 3306.50/3315.18 c #Conflicts: 1232000 | #Constraints: 41882 3306.50/3315.18 c #Conflicts: 1233000 | #Constraints: 42885 3306.50/3315.18 c #Conflicts: 1234000 | #Constraints: 43887 3306.50/3315.18 c INPROCESSING 3306.50/3315.18 c GARBAGE COLLECT 3306.50/3315.18 c rational objective 0 3429.59/3438.50 c #Conflicts: 1235000 | #Constraints: 22863 3429.59/3438.50 c #Conflicts: 1236000 | #Constraints: 23865 3429.59/3438.50 c #Conflicts: 1237000 | #Constraints: 24865 3429.59/3438.50 c #Conflicts: 1238000 | #Constraints: 25867 3429.59/3438.50 c #Conflicts: 1239000 | #Constraints: 26869 3429.59/3438.50 c #Conflicts: 1240000 | #Constraints: 27870 3429.59/3438.50 c #Conflicts: 1241000 | #Constraints: 28874 3429.59/3438.50 c #Conflicts: 1242000 | #Constraints: 29877 3429.59/3438.50 c #Conflicts: 1243000 | #Constraints: 30878 3429.59/3438.50 c #Conflicts: 1244000 | #Constraints: 31881 3429.59/3438.50 c #Conflicts: 1245000 | #Constraints: 32883 3429.59/3438.50 c #Conflicts: 1246000 | #Constraints: 33884 3429.59/3438.50 c #Conflicts: 1247000 | #Constraints: 34884 3429.59/3438.50 c #Conflicts: 1248000 | #Constraints: 35885 3429.59/3438.50 c #Conflicts: 1249000 | #Constraints: 36885 3429.59/3438.50 c #Conflicts: 1250000 | #Constraints: 37892 3429.59/3438.50 c #Conflicts: 1251000 | #Constraints: 38895 3429.59/3438.50 c #Conflicts: 1252000 | #Constraints: 39897 3429.59/3438.50 c #Conflicts: 1253000 | #Constraints: 40898 3429.59/3438.50 c #Conflicts: 1254000 | #Constraints: 41900 3429.59/3438.50 c #Conflicts: 1255000 | #Constraints: 42900 3429.59/3438.50 c #Conflicts: 1256000 | #Constraints: 43901 3429.59/3438.50 c INPROCESSING 3429.59/3438.50 c GARBAGE COLLECT 3429.59/3438.50 c rational objective 0 3515.67/3524.84 c #Conflicts: 1257000 | #Constraints: 22675 3515.67/3524.84 c #Conflicts: 1258000 | #Constraints: 23676 3515.67/3524.84 c #Conflicts: 1259000 | #Constraints: 24678 3515.67/3524.84 c #Conflicts: 1260000 | #Constraints: 25680 3515.67/3524.84 c #Conflicts: 1261000 | #Constraints: 26681 3515.67/3524.84 c #Conflicts: 1262000 | #Constraints: 27684 3515.67/3524.84 c #Conflicts: 1263000 | #Constraints: 28684 3515.67/3524.84 c #Conflicts: 1264000 | #Constraints: 29684 3515.67/3524.84 c #Conflicts: 1265000 | #Constraints: 30685 3515.67/3524.84 c #Conflicts: 1266000 | #Constraints: 31686 3515.67/3524.84 c #Conflicts: 1267000 | #Constraints: 32688 3515.67/3524.84 c #Conflicts: 1268000 | #Constraints: 33689 3515.67/3524.84 c #Conflicts: 1269000 | #Constraints: 34690 3515.67/3524.84 c #Conflicts: 1270000 | #Constraints: 35693 3515.67/3524.84 c #Conflicts: 1271000 | #Constraints: 36694 3515.67/3524.84 c #Conflicts: 1272000 | #Constraints: 37695 3515.67/3524.84 c #Conflicts: 1273000 | #Constraints: 38695 3515.67/3524.84 c #Conflicts: 1274000 | #Constraints: 39695 3515.67/3524.84 c #Conflicts: 1275000 | #Constraints: 40695 3515.67/3524.84 c #Conflicts: 1276000 | #Constraints: 41695 3515.67/3524.84 c #Conflicts: 1277000 | #Constraints: 42695 3515.67/3524.84 c #Conflicts: 1278000 | #Constraints: 43695 3515.67/3524.84 c #Conflicts: 1279000 | #Constraints: 44697 3515.67/3524.84 c INPROCESSING 3515.67/3524.84 c GARBAGE COLLECT 3515.67/3524.84 c rational objective 0 3594.87/3604.24 c #Conflicts: 1280000 | #Constraints: 23265 3594.87/3604.24 c #Conflicts: 1281000 | #Constraints: 24267 3594.87/3604.24 c #Conflicts: 1282000 | #Constraints: 25270 3594.87/3604.24 c #Conflicts: 1283000 | #Constraints: 26271 3594.87/3604.24 c #Conflicts: 1284000 | #Constraints: 27272 3594.87/3604.24 c #Conflicts: 1285000 | #Constraints: 28273 3594.87/3604.24 c #Conflicts: 1286000 | #Constraints: 29273 3594.87/3604.24 c #Conflicts: 1287000 | #Constraints: 30273 3594.87/3604.24 c #Conflicts: 1288000 | #Constraints: 31273 3594.87/3604.24 c #Conflicts: 1289000 | #Constraints: 32273 3594.87/3604.24 c #Conflicts: 1290000 | #Constraints: 33273 3594.87/3604.24 c #Conflicts: 1291000 | #Constraints: 34275 3594.87/3604.24 c #Conflicts: 1292000 | #Constraints: 35276 3594.87/3604.24 c #Conflicts: 1293000 | #Constraints: 36277 3594.87/3604.24 c #Conflicts: 1294000 | #Constraints: 37278 3594.87/3604.24 c #Conflicts: 1295000 | #Constraints: 38278 3594.87/3604.24 c #Conflicts: 1296000 | #Constraints: 39279 3594.87/3604.24 c #Conflicts: 1297000 | #Constraints: 40280 3594.87/3604.24 c #Conflicts: 1298000 | #Constraints: 41280 3594.87/3604.24 c #Conflicts: 1299000 | #Constraints: 42281 3594.87/3604.24 c #Conflicts: 1300000 | #Constraints: 43281 3594.87/3604.24 c #Conflicts: 1301000 | #Constraints: 44282 3594.87/3604.24 c #Conflicts: 1302000 | #Constraints: 45283 3594.87/3604.24 c INPROCESSING 3594.87/3604.24 c GARBAGE COLLECT 3594.87/3604.24 c rational objective 0 3600.06/3609.40 c #Conflicts: 1303000 | #Constraints: 23659 3600.06/3609.40 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63064 MiB free)
memory of node 1: 64473 MiB (64176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462610-1722340767/watcher-4462610-1722340767 -o /tmp/evaluation-result-4462610-1722340767/solver-4462610-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7097 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462610-1722340767 --lp-cut-gomory=0 HOME/instance-4462610-1722340767.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7260, runsolver pid=7257
[startup+0.100066 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130283300/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=38268 memory=10824 CPUtime=0.09 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 518 0 0 0 9 0 0 0 20 0 1 0 681346 39186432 2706 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 9567 2706 1870 992 0 1425 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38268 KiB
Current children cumulated memory: 10824 KiB
[startup+0.205407 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130274080/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=38548 memory=10948 CPUtime=0.19 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 596 0 0 0 18 1 0 0 20 0 1 0 681346 39473152 2737 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 9637 2737 1870 992 0 1495 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38548 KiB
Current children cumulated memory: 10948 KiB
[startup+0.305097 s]*
/proc/loadavg: 0.38 0.15 0.11 5/262 7261
/proc/meminfo: memFree=130267204/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=38792 memory=11324 CPUtime=0.29 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 640 0 0 0 28 1 0 0 20 0 1 0 681346 39723008 2831 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 9698 2831 1870 992 0 1556 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38792 KiB
Current children cumulated memory: 11324 KiB
[startup+0.700183 s]
/proc/loadavg: 0.38 0.15 0.11 5/262 7263
/proc/meminfo: memFree=130252888/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=39568 memory=12176 CPUtime=0.69 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 850 0 0 0 65 4 0 0 20 0 1 0 681346 40517632 3044 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 9892 3044 1886 992 0 1750 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39568 KiB
Current children cumulated memory: 12176 KiB
[startup+1.50016 s]
/proc/loadavg: 0.38 0.15 0.11 5/262 7263
/proc/meminfo: memFree=130220404/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=40652 memory=14996 CPUtime=1.48 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 1084 0 0 0 141 7 0 0 20 0 1 0 681346 41627648 3749 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 10163 3749 1886 992 0 2021 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40652 KiB
Current children cumulated memory: 14996 KiB
[startup+3.10576 s]
/proc/loadavg: 0.67 0.21 0.13 5/265 7266
/proc/meminfo: memFree=130097656/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=41724 memory=16352 CPUtime=3.08 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 1365 0 0 0 294 14 0 0 20 0 1 0 681346 42725376 4088 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 10431 4088 1886 992 0 2289 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 16352 KiB
[startup+6.30017 s]
/proc/loadavg: 0.67 0.21 0.13 5/265 7266
/proc/meminfo: memFree=129941304/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=42476 memory=17152 CPUtime=6.27 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 1579 0 0 0 603 24 0 0 20 0 1 0 681346 43495424 4288 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 10619 4288 1886 992 0 2477 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42476 KiB
Current children cumulated memory: 17152 KiB
[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 5/265 7268
/proc/meminfo: memFree=129667796/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=47252 memory=20332 CPUtime=12.65 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 2362 0 0 0 1223 42 0 0 20 0 1 0 681346 48386048 5083 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 11813 5083 1886 992 0 3671 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47252 KiB
Current children cumulated memory: 20332 KiB
[startup+25.5002 s]
/proc/loadavg: 1.76 0.49 0.22 5/265 7269
/proc/meminfo: memFree=129191536/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=53464 memory=24100 CPUtime=25.42 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 3326 0 0 0 2475 67 0 0 20 0 1 0 681346 54747136 6025 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 13366 6025 1886 992 0 5224 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 53464 KiB
Current children cumulated memory: 24100 KiB
[startup+51.1057 s]
/proc/loadavg: 2.58 0.79 0.33 5/265 7277
/proc/meminfo: memFree=128419960/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=54908 memory=28388 CPUtime=50.96 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 3983 0 0 0 4978 118 0 0 20 0 1 0 681346 56225792 7097 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 13727 7097 1886 992 0 5585 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 54908 KiB
Current children cumulated memory: 28388 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.30 0.53 5/263 7297
/proc/meminfo: memFree=127244140/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=57980 memory=31012 CPUtime=102.01 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 4803 0 0 0 10002 199 0 0 20 0 1 0 681346 59371520 7753 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 14495 7753 1886 992 0 6353 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 57980 KiB
Current children cumulated memory: 31012 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/264 7308
/proc/meminfo: memFree=126037300/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=67528 memory=36944 CPUtime=161.85 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 5880 0 0 0 15902 283 0 0 20 0 1 0 681346 69148672 9236 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 16882 9236 1886 992 0 8740 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 67528 KiB
Current children cumulated memory: 36944 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 2.32 1.00 5/264 7319
/proc/meminfo: memFree=125122128/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=68368 memory=37948 CPUtime=221.69 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 6228 0 0 0 21815 354 0 0 20 0 1 0 681346 70008832 9487 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 17092 9487 1886 992 0 8950 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 68368 KiB
Current children cumulated memory: 37948 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 2.64 1.19 5/263 7332
/proc/meminfo: memFree=124161492/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=68760 memory=40732 CPUtime=281.52 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 6510 0 0 0 27723 429 0 0 20 0 1 0 681346 70410240 10183 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 17190 10183 1886 992 0 9048 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 68760 KiB
Current children cumulated memory: 40732 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 2.94 1.39 5/260 7342
/proc/meminfo: memFree=123394692/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=69320 memory=41652 CPUtime=341.36 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 6978 0 0 0 33639 497 0 0 20 0 1 0 681346 70983680 10413 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 17330 10413 1886 992 0 9188 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 69320 KiB
Current children cumulated memory: 41652 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.15 1.56 6/261 7354
/proc/meminfo: memFree=122666100/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=70984 memory=43748 CPUtime=401.19 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 7592 0 0 0 39558 561 0 0 20 0 1 0 681346 72687616 10937 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 17746 10937 1886 992 0 9604 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 70984 KiB
Current children cumulated memory: 43748 KiB
[startup+462.3 s]
/proc/loadavg: 4.52 3.42 1.75 5/261 7365
/proc/meminfo: memFree=121995220/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=84964 memory=48080 CPUtime=461.03 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 8325 0 0 0 45481 622 0 0 20 0 1 0 681346 87003136 12020 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 21241 12020 1886 992 0 13099 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.00 5/263 8478
/proc/meminfo: memFree=102861160/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=120812 memory=79888 CPUtime=3154.13 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 15616 0 0 0 313000 2413 0 0 20 0 1 0 681346 123711488 19972 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 30203 19972 1886 992 0 22061 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 120812 KiB
Current children cumulated memory: 79888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.01 5/263 8488
/proc/meminfo: memFree=102539476/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=120812 memory=79892 CPUtime=3213.96 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 15647 0 0 0 318957 2439 0 0 20 0 1 0 681346 123711488 19973 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 30203 19973 1886 992 0 22061 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 120812 KiB
Current children cumulated memory: 79892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.00 5/263 8498
/proc/meminfo: memFree=102192500/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=120580 memory=79788 CPUtime=3273.79 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 15800 0 0 0 324907 2472 0 0 20 0 1 0 681346 123473920 19947 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 30145 19947 1886 992 0 22003 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 120580 KiB
Current children cumulated memory: 79788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/262 8891
/proc/meminfo: memFree=101879728/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=120580 memory=80688 CPUtime=3333.63 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 15966 0 0 0 330857 2506 0 0 20 0 1 0 681346 123473920 20172 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 30145 20172 1886 992 0 22003 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 120580 KiB
Current children cumulated memory: 80688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/259 8902
/proc/meminfo: memFree=101565076/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=120580 memory=80688 CPUtime=3393.48 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 15998 0 0 0 336816 2532 0 0 20 0 1 0 681346 123473920 20172 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 30145 20172 1886 992 0 22003 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 120580 KiB
Current children cumulated memory: 80688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/259 8913
/proc/meminfo: memFree=101274324/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124676 memory=82840 CPUtime=3453.33 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 16659 0 0 0 342774 2559 0 0 20 0 1 0 681346 127668224 20710 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31169 20710 1886 992 0 23027 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 124676 KiB
Current children cumulated memory: 82840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/260 9093
/proc/meminfo: memFree=100954268/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124676 memory=82840 CPUtime=3513.18 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 16697 0 0 0 348725 2593 0 0 20 0 1 0 681346 127668224 20710 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31169 20710 1886 992 0 23027 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 124676 KiB
Current children cumulated memory: 82840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/260 9103
/proc/meminfo: memFree=100637828/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124676 memory=82840 CPUtime=3573.03 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 16823 0 0 0 354674 2629 0 0 20 0 1 0 681346 127668224 20710 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31169 20710 1886 992 0 23027 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 124676 KiB
Current children cumulated memory: 82840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.09 4.01 4/254 9133
/proc/meminfo: memFree=100891572/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) R 7257 7260 7085 0 -1 4194304 16955 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 82980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883268/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) D 7257 7260 7085 0 -1 4194304 16962 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 256 0 0 25182210 0 0 0 17 1 0 0 239 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
??? kill 7260 sig 9
??? end of watcher thread
[startup+3617.58 s]
# the end of solver process 7260 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.62 s, system=26.4564 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.13 4.09 4.01 4/254 9133
/proc/meminfo: memFree=100891572/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) D 7257 7260 7085 0 -1 4194304 16962 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 82980 KiB
[startup+3610.4 s]
/proc/loadavg: 4.13 4.09 4.01 2/254 9133
/proc/meminfo: memFree=100885944/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) D 7257 7260 7085 0 -1 4194304 16962 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 82980 KiB
[startup+3611.2 s]
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883288/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) D 7257 7260 7085 0 -1 4194304 16962 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 239 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 82980 KiB
[startup+3611.4 s]
/proc/loadavg: 4.13 4.09 4.01 1/254 9135
/proc/meminfo: memFree=100883288/131524600 swapFree=131071996/131071996
[pid=7260] ppid=7257 vsize=124932 memory=82980 CPUtime=3600.06 cores=1,3
/proc/7260/stat : 7260 (roundingsat) D 7257 7260 7085 0 -1 4194304 16962 0 0 0 357361 2645 0 0 20 0 1 0 681346 127930368 20745 134679101440 4194304 8255733 140728795043264 0 0 0 0 0 25182210 0 0 0 17 1 0 0 239 0 0 9037040 9046032 18198528 140728795050846 140728795051108 140728795051108 140728795058121 0
/proc/7260/statm: 31233 20745 1886 992 0 23091 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 124932 KiB
Current children cumulated memory: 82980 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.58
CPU time (s): 3600.07
CPU user time (s): 3573.62
CPU system time (s): 26.4564
CPU usage (%): 99.5162
Max. virtual memory (cumulated for all children) (KiB): 125260
Max. memory (cumulated for all children) (KiB): 83084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.62
system time used= 26.4564
maximum resident set size= 83392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25200160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 446
involuntary context switches= 4840
# summary of solver processes directly reported to runsolver:
# pid: 7260
# total CPU time (s): 3600.07
# total CPU user time (s): 3573.62
# total CPU system time (s): 26.4564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71132 second user time and 17.0979 second system time
The end
Begin job on nodeC035 at 2024-07-30 13:59:27 IDJOB=4462610 IDBENCH=147586 IDSOLVER=3089 FILE ID=nodeC035/4462610-1722340767 RUNJOBID= nodeC035-1722340763-7097 SLURM_JOB_ID= 8249008 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462610-1722340767/watcher-4462610-1722340767 -o /tmp/evaluation-result-4462610-1722340767/solver-4462610-1722340767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722340763-7097 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462610-1722340767 --lp-cut-gomory=0 HOME/instance-4462610-1722340767.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6 RANDOM SEED=52205761 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.585 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3670.802 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3661.832 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.711 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3616.489 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.310 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.626 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.029 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130289660 kB MemAvailable: 129867568 kB Buffers: 36468 kB Cached: 333944 kB SwapCached: 0 kB Active: 130280 kB Inactive: 645468 kB Active(anon): 1528 kB Inactive(anon): 425212 kB Active(file): 128752 kB Inactive(file): 220256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 44500 kB Writeback: 0 kB AnonPages: 403244 kB Mapped: 95480 kB Shmem: 21336 kB KReclaimable: 43288 kB Slab: 120336 kB SReclaimable: 43288 kB SUnreclaim: 77048 kB KernelStack: 4128 kB PageTables: 9844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 773172 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 9024 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 242388 kB DirectMap2M: 7919616 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890052 MiB End job on nodeC035 at 2024-07-30 14:59:45