| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 15 | 3600.02 | 3608.81 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | 39a6e806d7aaba09f767f3cbd6afa1ec |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 172 |
| Total number of constraints | 14 |
| 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 | 14 |
| Minimum length of a constraint | 74 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| 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 | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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 172 #constraints 14 0.00/0.00 c bounds - >= 0 @ 0.000785 0.00/0.00 c rational objective 0 0.20/0.25 c bounds 271 >= 0 @ 0.009062 0.20/0.25 c bounds 187 >= 0 @ 0.009302 0.20/0.25 c bounds 186 >= 0 @ 0.022299 0.20/0.25 c bounds 182 >= 0 @ 0.024405 0.20/0.25 c bounds 178 >= 0 @ 0.025826 0.20/0.25 c bounds 176 >= 0 @ 0.026702 0.20/0.25 c bounds 174 >= 0 @ 0.026996 0.20/0.25 c bounds 166 >= 0 @ 0.027524 0.20/0.25 c bounds 164 >= 0 @ 0.028052 0.20/0.25 c bounds 160 >= 0 @ 0.030148 0.20/0.25 c #Conflicts: 1000 | #Constraints: 1039 0.20/0.25 c #Conflicts: 2000 | #Constraints: 2047 0.20/0.25 c INPROCESSING 0.20/0.25 c GARBAGE COLLECT 0.20/0.25 c rational objective 0 0.60/0.65 c bounds 158 >= 0 @ 0.238923 0.60/0.65 c bounds 148 >= 0 @ 0.239593 0.60/0.65 c bounds 132 >= 0 @ 0.241554 0.60/0.65 c bounds 130 >= 0 @ 0.258406 0.60/0.65 c bounds 128 >= 0 @ 0.25947 0.60/0.65 c bounds 125 >= 0 @ 0.263481 0.60/0.65 c bounds 121 >= 0 @ 0.263911 0.60/0.65 c bounds 119 >= 0 @ 0.269187 0.60/0.65 c bounds 118 >= 0 @ 0.272829 0.60/0.65 c bounds 116 >= 0 @ 0.27334 0.60/0.65 c bounds 112 >= 0 @ 0.27862 0.60/0.65 c bounds 110 >= 0 @ 0.280477 0.60/0.65 c bounds 108 >= 0 @ 0.281825 0.60/0.65 c bounds 100 >= 0 @ 0.282126 0.60/0.65 c bounds 98 >= 0 @ 0.283011 0.60/0.65 c bounds 94 >= 0 @ 0.287566 0.60/0.65 c bounds 92 >= 0 @ 0.288689 0.60/0.65 c bounds 90 >= 0 @ 0.289547 0.60/0.65 c #Conflicts: 3000 | #Constraints: 2068 0.60/0.65 c bounds 88 >= 0 @ 0.450009 0.60/0.65 c #Conflicts: 4000 | #Constraints: 3085 0.60/0.65 c INPROCESSING 0.60/0.65 c GARBAGE COLLECT 0.60/0.65 c rational objective 0 1.19/1.21 c bounds 86 >= 0 @ 0.632532 1.19/1.21 c bounds 84 >= 0 @ 0.633846 1.19/1.21 c bounds 76 >= 0 @ 0.637362 1.19/1.21 c bounds 75 >= 0 @ 0.71391 1.19/1.21 c #Conflicts: 5000 | #Constraints: 2454 1.19/1.21 c #Conflicts: 6000 | #Constraints: 3460 1.19/1.21 c INPROCESSING 1.19/1.21 c GARBAGE COLLECT 1.19/1.21 c rational objective 0 1.79/1.86 c bounds 73 >= 0 @ 1.16597 1.79/1.86 c bounds 71 >= 0 @ 1.16733 1.79/1.86 c #Conflicts: 7000 | #Constraints: 2456 1.79/1.86 c bounds 59 >= 0 @ 1.48917 1.79/1.86 c #Conflicts: 8000 | #Constraints: 3465 1.79/1.86 c #Conflicts: 9000 | #Constraints: 4478 1.79/1.86 c bounds 58 >= 0 @ 1.7571 1.79/1.86 c INPROCESSING 1.79/1.86 c GARBAGE COLLECT 1.79/1.86 c rational objective 0 2.48/2.59 c #Conflicts: 10000 | #Constraints: 3155 2.48/2.59 c #Conflicts: 11000 | #Constraints: 4160 2.48/2.59 c #Conflicts: 12000 | #Constraints: 5166 2.48/2.59 c INPROCESSING 2.48/2.59 c GARBAGE COLLECT 2.48/2.59 c rational objective 0 3.39/3.45 c bounds 56 >= 0 @ 2.52717 3.39/3.45 c bounds 52 >= 0 @ 2.52829 3.39/3.45 c bounds 47 >= 0 @ 2.63848 3.39/3.45 c bounds 45 >= 0 @ 2.64104 3.39/3.45 c bounds 43 >= 0 @ 2.64325 3.39/3.45 c bounds 41 >= 0 @ 2.64541 3.39/3.45 c #Conflicts: 13000 | #Constraints: 3621 3.39/3.45 c #Conflicts: 14000 | #Constraints: 4636 3.39/3.45 c #Conflicts: 15000 | #Constraints: 5640 3.39/3.45 c INPROCESSING 3.39/3.45 c GARBAGE COLLECT 3.39/3.45 c rational objective 0 4.48/4.52 c #Conflicts: 16000 | #Constraints: 3848 4.48/4.52 c #Conflicts: 17000 | #Constraints: 4854 4.48/4.52 c #Conflicts: 18000 | #Constraints: 5858 4.48/4.52 c INPROCESSING 4.48/4.52 c GARBAGE COLLECT 4.48/4.52 c rational objective 0 5.68/5.75 c #Conflicts: 19000 | #Constraints: 3852 5.68/5.75 c bounds 40 >= 0 @ 4.9141 5.68/5.75 c bounds 36 >= 0 @ 4.91588 5.68/5.75 c bounds 34 >= 0 @ 4.91925 5.68/5.75 c #Conflicts: 20000 | #Constraints: 4865 5.68/5.75 c #Conflicts: 21000 | #Constraints: 5875 5.68/5.75 c INPROCESSING 5.68/5.75 c GARBAGE COLLECT 5.68/5.75 c rational objective 0 6.87/6.98 c #Conflicts: 22000 | #Constraints: 3663 6.87/6.98 c #Conflicts: 23000 | #Constraints: 4668 6.87/6.98 c #Conflicts: 24000 | #Constraints: 5673 6.87/6.98 c #Conflicts: 25000 | #Constraints: 6677 6.87/6.98 c INPROCESSING 6.87/6.98 c GARBAGE COLLECT 6.87/6.98 c rational objective 0 8.47/8.59 c #Conflicts: 26000 | #Constraints: 4265 8.47/8.59 c #Conflicts: 27000 | #Constraints: 5267 8.47/8.59 c #Conflicts: 28000 | #Constraints: 6271 8.47/8.59 c #Conflicts: 29000 | #Constraints: 7274 8.47/8.59 c INPROCESSING 8.47/8.59 c GARBAGE COLLECT 8.47/8.59 c rational objective 0 9.98/10.01 c #Conflicts: 30000 | #Constraints: 4664 9.98/10.01 c #Conflicts: 31000 | #Constraints: 5667 9.98/10.01 c #Conflicts: 32000 | #Constraints: 6668 9.98/10.01 c #Conflicts: 33000 | #Constraints: 7671 9.98/10.01 c INPROCESSING 9.98/10.01 c GARBAGE COLLECT 9.98/10.01 c rational objective 0 11.76/11.89 c #Conflicts: 34000 | #Constraints: 4856 11.76/11.89 c #Conflicts: 35000 | #Constraints: 5857 11.76/11.89 c bounds 31 >= 0 @ 10.7237 11.76/11.89 c #Conflicts: 36000 | #Constraints: 6861 11.76/11.89 c #Conflicts: 37000 | #Constraints: 7865 11.76/11.89 c INPROCESSING 11.76/11.89 c GARBAGE COLLECT 11.76/11.89 c rational objective 0 13.36/13.48 c #Conflicts: 38000 | #Constraints: 4844 13.36/13.48 c #Conflicts: 39000 | #Constraints: 5851 13.36/13.48 c #Conflicts: 40000 | #Constraints: 6855 13.36/13.48 c #Conflicts: 41000 | #Constraints: 7859 13.36/13.48 c INPROCESSING 13.36/13.48 c GARBAGE COLLECT 13.36/13.48 c rational objective 0 15.56/15.69 c #Conflicts: 42000 | #Constraints: 4649 15.56/15.69 c #Conflicts: 43000 | #Constraints: 5657 15.56/15.69 c bounds 29 >= 0 @ 13.854 15.56/15.69 c #Conflicts: 44000 | #Constraints: 6666 15.56/15.69 c #Conflicts: 45000 | #Constraints: 7670 15.56/15.69 c #Conflicts: 46000 | #Constraints: 8676 15.56/15.69 c INPROCESSING 15.56/15.69 c GARBAGE COLLECT 15.56/15.69 c rational objective 0 17.55/17.61 c #Conflicts: 47000 | #Constraints: 5266 17.55/17.61 c #Conflicts: 48000 | #Constraints: 6275 17.55/17.61 c #Conflicts: 49000 | #Constraints: 7278 17.55/17.61 c #Conflicts: 50000 | #Constraints: 8279 17.55/17.61 c #Conflicts: 51000 | #Constraints: 9283 17.55/17.61 c INPROCESSING 17.55/17.61 c GARBAGE COLLECT 17.55/17.61 c rational objective 0 20.25/20.30 c #Conflicts: 52000 | #Constraints: 5658 20.25/20.30 c #Conflicts: 53000 | #Constraints: 6664 20.25/20.30 c #Conflicts: 54000 | #Constraints: 7666 20.25/20.30 c #Conflicts: 55000 | #Constraints: 8671 20.25/20.30 c #Conflicts: 56000 | #Constraints: 9671 20.25/20.30 c INPROCESSING 20.25/20.30 c GARBAGE COLLECT 20.25/20.30 c rational objective 0 22.44/22.55 c #Conflicts: 57000 | #Constraints: 5860 22.44/22.55 c #Conflicts: 58000 | #Constraints: 6867 22.44/22.55 c #Conflicts: 59000 | #Constraints: 7868 22.44/22.55 c #Conflicts: 60000 | #Constraints: 8871 22.44/22.55 c #Conflicts: 61000 | #Constraints: 9875 22.44/22.55 c INPROCESSING 22.44/22.55 c GARBAGE COLLECT 22.44/22.55 c rational objective 0 25.23/25.30 c #Conflicts: 62000 | #Constraints: 5856 25.23/25.30 c #Conflicts: 63000 | #Constraints: 6857 25.23/25.30 c #Conflicts: 64000 | #Constraints: 7861 25.23/25.30 c #Conflicts: 65000 | #Constraints: 8861 25.23/25.30 c #Conflicts: 66000 | #Constraints: 9863 25.23/25.30 c INPROCESSING 25.23/25.30 c GARBAGE COLLECT 25.23/25.30 c rational objective 0 28.53/28.65 c #Conflicts: 67000 | #Constraints: 5650 28.53/28.65 c #Conflicts: 68000 | #Constraints: 6657 28.53/28.65 c #Conflicts: 69000 | #Constraints: 7658 28.53/28.65 c #Conflicts: 70000 | #Constraints: 8665 28.53/28.65 c #Conflicts: 71000 | #Constraints: 9670 28.53/28.65 c bounds 27 >= 0 @ 27.6659 28.53/28.65 c #Conflicts: 72000 | #Constraints: 10676 28.53/28.65 c INPROCESSING 28.53/28.65 c GARBAGE COLLECT 28.53/28.65 c rational objective 0 31.32/31.43 c #Conflicts: 73000 | #Constraints: 6255 31.32/31.43 c #Conflicts: 74000 | #Constraints: 7258 31.32/31.43 c #Conflicts: 75000 | #Constraints: 8263 31.32/31.43 c #Conflicts: 76000 | #Constraints: 9268 31.32/31.43 c #Conflicts: 77000 | #Constraints: 10269 31.32/31.43 c #Conflicts: 78000 | #Constraints: 11273 31.32/31.43 c INPROCESSING 31.32/31.43 c GARBAGE COLLECT 31.32/31.43 c rational objective 0 34.82/35.00 c bounds 25 >= 0 @ 30.8319 34.82/35.00 c #Conflicts: 79000 | #Constraints: 6665 34.82/35.00 c #Conflicts: 80000 | #Constraints: 7667 34.82/35.00 c #Conflicts: 81000 | #Constraints: 8673 34.82/35.00 c #Conflicts: 82000 | #Constraints: 9674 34.82/35.00 c #Conflicts: 83000 | #Constraints: 10676 34.82/35.00 c #Conflicts: 84000 | #Constraints: 11681 34.82/35.00 c INPROCESSING 34.82/35.00 c GARBAGE COLLECT 34.82/35.00 c rational objective 0 38.70/38.82 c #Conflicts: 85000 | #Constraints: 6873 38.70/38.82 c #Conflicts: 86000 | #Constraints: 7876 38.70/38.82 c #Conflicts: 87000 | #Constraints: 8878 38.70/38.82 c #Conflicts: 88000 | #Constraints: 9881 38.70/38.82 c #Conflicts: 89000 | #Constraints: 10882 38.70/38.82 c #Conflicts: 90000 | #Constraints: 11883 38.70/38.82 c INPROCESSING 38.70/38.82 c GARBAGE COLLECT 38.70/38.82 c rational objective 0 43.09/43.28 c #Conflicts: 91000 | #Constraints: 6862 43.09/43.28 c #Conflicts: 92000 | #Constraints: 7863 43.09/43.28 c #Conflicts: 93000 | #Constraints: 8863 43.09/43.28 c #Conflicts: 94000 | #Constraints: 9865 43.09/43.28 c #Conflicts: 95000 | #Constraints: 10868 43.09/43.28 c #Conflicts: 96000 | #Constraints: 11873 43.09/43.28 c INPROCESSING 43.09/43.28 c GARBAGE COLLECT 43.09/43.28 c rational objective 0 46.89/47.08 c #Conflicts: 97000 | #Constraints: 6662 46.89/47.08 c #Conflicts: 98000 | #Constraints: 7663 46.89/47.08 c #Conflicts: 99000 | #Constraints: 8664 46.89/47.08 c #Conflicts: 100000 | #Constraints: 9667 46.89/47.08 c #Conflicts: 101000 | #Constraints: 10670 46.89/47.08 c #Conflicts: 102000 | #Constraints: 11670 46.89/47.08 c #Conflicts: 103000 | #Constraints: 12672 46.89/47.08 c INPROCESSING 46.89/47.08 c GARBAGE COLLECT 46.89/47.08 c rational objective 0 52.18/52.34 c #Conflicts: 104000 | #Constraints: 7254 52.18/52.34 c #Conflicts: 105000 | #Constraints: 8258 52.18/52.34 c #Conflicts: 106000 | #Constraints: 9261 52.18/52.34 c #Conflicts: 107000 | #Constraints: 10262 52.18/52.34 c #Conflicts: 108000 | #Constraints: 11263 52.18/52.34 c #Conflicts: 109000 | #Constraints: 12266 52.18/52.34 c #Conflicts: 110000 | #Constraints: 13267 52.18/52.34 c INPROCESSING 52.18/52.34 c GARBAGE COLLECT 52.18/52.34 c rational objective 0 57.96/58.13 c #Conflicts: 111000 | #Constraints: 8228 57.96/58.13 c #Conflicts: 112000 | #Constraints: 9351 57.96/58.13 c #Conflicts: 113000 | #Constraints: 11044 57.96/58.13 c #Conflicts: 114000 | #Constraints: 12764 57.96/58.13 c #Conflicts: 115000 | #Constraints: 14400 57.96/58.13 c #Conflicts: 116000 | #Constraints: 15725 57.96/58.13 c #Conflicts: 117000 | #Constraints: 16949 57.96/58.13 c INPROCESSING 57.96/58.13 c GARBAGE COLLECT 57.96/58.13 c rational objective 0 66.95/67.15 c #Conflicts: 118000 | #Constraints: 10117 66.95/67.15 c #Conflicts: 119000 | #Constraints: 11793 66.95/67.15 c #Conflicts: 120000 | #Constraints: 13507 66.95/67.15 c #Conflicts: 121000 | #Constraints: 15225 66.95/67.15 c #Conflicts: 122000 | #Constraints: 16864 66.95/67.15 c bounds 24 >= 0 @ 63.5149 66.95/67.15 c #Conflicts: 123000 | #Constraints: 18524 66.95/67.15 c #Conflicts: 124000 | #Constraints: 20248 66.95/67.15 c INPROCESSING 66.95/67.15 c GARBAGE COLLECT 66.95/67.15 c rational objective 0 72.12/72.35 c #Conflicts: 125000 | #Constraints: 11120 72.12/72.35 c #Conflicts: 126000 | #Constraints: 12132 72.12/72.35 c #Conflicts: 127000 | #Constraints: 13144 72.12/72.35 c #Conflicts: 128000 | #Constraints: 14152 72.12/72.35 c #Conflicts: 129000 | #Constraints: 15157 72.12/72.35 c #Conflicts: 130000 | #Constraints: 16161 72.12/72.35 c #Conflicts: 131000 | #Constraints: 17166 72.12/72.35 c INPROCESSING 72.12/72.35 c GARBAGE COLLECT 72.12/72.35 c rational objective 0 79.31/79.57 c #Conflicts: 132000 | #Constraints: 9301 79.31/79.57 c #Conflicts: 133000 | #Constraints: 10361 79.31/79.57 c #Conflicts: 134000 | #Constraints: 11391 79.31/79.57 c #Conflicts: 135000 | #Constraints: 12399 79.31/79.57 c #Conflicts: 136000 | #Constraints: 13618 79.31/79.57 c #Conflicts: 137000 | #Constraints: 14702 79.31/79.57 c #Conflicts: 138000 | #Constraints: 15761 79.31/79.57 c #Conflicts: 139000 | #Constraints: 16837 79.31/79.57 c INPROCESSING 79.31/79.57 c GARBAGE COLLECT 79.31/79.57 c rational objective 0 87.59/87.80 c #Conflicts: 140000 | #Constraints: 9630 87.59/87.80 c #Conflicts: 141000 | #Constraints: 11231 87.59/87.80 c #Conflicts: 142000 | #Constraints: 12531 87.59/87.80 c #Conflicts: 143000 | #Constraints: 13604 87.59/87.80 c #Conflicts: 144000 | #Constraints: 14873 87.59/87.80 c #Conflicts: 145000 | #Constraints: 16306 87.59/87.80 c #Conflicts: 146000 | #Constraints: 17321 87.59/87.80 c #Conflicts: 147000 | #Constraints: 18471 87.59/87.80 c INPROCESSING 87.59/87.80 c GARBAGE COLLECT 87.59/87.80 c rational objective 0 97.26/97.58 c bounds 22 >= 0 @ 86.4301 97.26/97.58 c bounds 20 >= 0 @ 86.4392 97.26/97.58 c #Conflicts: 148000 | #Constraints: 10308 97.26/97.58 c #Conflicts: 149000 | #Constraints: 11609 97.26/97.58 c #Conflicts: 150000 | #Constraints: 12973 97.26/97.58 c #Conflicts: 151000 | #Constraints: 14127 97.26/97.58 c #Conflicts: 152000 | #Constraints: 15353 97.26/97.58 c #Conflicts: 153000 | #Constraints: 16713 97.26/97.58 c #Conflicts: 154000 | #Constraints: 17739 97.26/97.58 c #Conflicts: 155000 | #Constraints: 19387 97.26/97.58 c INPROCESSING 97.26/97.58 c GARBAGE COLLECT 97.26/97.58 c rational objective 0 105.75/106.10 c #Conflicts: 156000 | #Constraints: 11273 105.75/106.10 c #Conflicts: 157000 | #Constraints: 12762 105.75/106.10 c #Conflicts: 158000 | #Constraints: 13767 105.75/106.10 c #Conflicts: 159000 | #Constraints: 14912 105.75/106.10 c #Conflicts: 160000 | #Constraints: 15928 105.75/106.10 c #Conflicts: 161000 | #Constraints: 17521 105.75/106.10 c #Conflicts: 162000 | #Constraints: 18524 105.75/106.10 c #Conflicts: 163000 | #Constraints: 19802 105.75/106.10 c INPROCESSING 105.75/106.10 c GARBAGE COLLECT 105.75/106.10 c rational objective 0 118.91/119.25 c #Conflicts: 164000 | #Constraints: 11343 118.91/119.25 c #Conflicts: 165000 | #Constraints: 12978 118.91/119.25 c #Conflicts: 166000 | #Constraints: 14624 118.91/119.25 c #Conflicts: 167000 | #Constraints: 16268 118.91/119.25 c #Conflicts: 168000 | #Constraints: 17870 118.91/119.25 c #Conflicts: 169000 | #Constraints: 19436 118.91/119.25 c #Conflicts: 170000 | #Constraints: 21079 118.91/119.25 c #Conflicts: 171000 | #Constraints: 22653 118.91/119.25 c INPROCESSING 118.91/119.25 c GARBAGE COLLECT 118.91/119.25 c rational objective 0 128.89/129.25 c #Conflicts: 172000 | #Constraints: 12396 128.89/129.25 c #Conflicts: 173000 | #Constraints: 14010 128.89/129.25 c #Conflicts: 174000 | #Constraints: 15506 128.89/129.25 c #Conflicts: 175000 | #Constraints: 16841 128.89/129.25 c #Conflicts: 176000 | #Constraints: 18512 128.89/129.25 c #Conflicts: 177000 | #Constraints: 20265 128.89/129.25 c #Conflicts: 178000 | #Constraints: 22084 128.89/129.25 c #Conflicts: 179000 | #Constraints: 23849 128.89/129.25 c #Conflicts: 180000 | #Constraints: 25532 128.89/129.25 c INPROCESSING 128.89/129.25 c GARBAGE COLLECT 128.89/129.25 c rational objective 0 141.76/142.15 c #Conflicts: 181000 | #Constraints: 14101 141.76/142.15 c #Conflicts: 182000 | #Constraints: 15574 141.76/142.15 c #Conflicts: 183000 | #Constraints: 17286 141.76/142.15 c #Conflicts: 184000 | #Constraints: 19025 141.76/142.15 c #Conflicts: 185000 | #Constraints: 20736 141.76/142.15 c #Conflicts: 186000 | #Constraints: 22164 141.76/142.15 c #Conflicts: 187000 | #Constraints: 23897 141.76/142.15 c #Conflicts: 188000 | #Constraints: 25593 141.76/142.15 c #Conflicts: 189000 | #Constraints: 26599 141.76/142.15 c INPROCESSING 141.76/142.15 c GARBAGE COLLECT 141.76/142.15 c rational objective 0 161.10/161.55 c #Conflicts: 190000 | #Constraints: 14941 161.10/161.55 c #Conflicts: 191000 | #Constraints: 16613 161.10/161.55 c #Conflicts: 192000 | #Constraints: 18237 161.10/161.55 c #Conflicts: 193000 | #Constraints: 19839 161.10/161.55 c #Conflicts: 194000 | #Constraints: 21372 161.10/161.55 c #Conflicts: 195000 | #Constraints: 23004 161.10/161.55 c #Conflicts: 196000 | #Constraints: 24656 161.10/161.55 c #Conflicts: 197000 | #Constraints: 26271 161.10/161.55 c #Conflicts: 198000 | #Constraints: 27887 161.10/161.55 c INPROCESSING 161.10/161.55 c GARBAGE COLLECT 161.10/161.55 c rational objective 0 173.37/173.87 c #Conflicts: 199000 | #Constraints: 15480 173.37/173.87 c #Conflicts: 200000 | #Constraints: 17049 173.37/173.87 c #Conflicts: 201000 | #Constraints: 18622 173.37/173.87 c #Conflicts: 202000 | #Constraints: 20220 173.37/173.87 c #Conflicts: 203000 | #Constraints: 21784 173.37/173.87 c #Conflicts: 204000 | #Constraints: 23235 173.37/173.87 c #Conflicts: 205000 | #Constraints: 24853 173.37/173.87 c #Conflicts: 206000 | #Constraints: 26519 173.37/173.87 c #Conflicts: 207000 | #Constraints: 28225 173.37/173.87 c INPROCESSING 173.37/173.87 c GARBAGE COLLECT 173.37/173.87 c rational objective 0 189.93/190.48 c #Conflicts: 208000 | #Constraints: 15436 189.93/190.48 c #Conflicts: 209000 | #Constraints: 17134 189.93/190.48 c #Conflicts: 210000 | #Constraints: 18848 189.93/190.48 c #Conflicts: 211000 | #Constraints: 20594 189.93/190.48 c #Conflicts: 212000 | #Constraints: 22303 189.93/190.48 c #Conflicts: 213000 | #Constraints: 24042 189.93/190.48 c #Conflicts: 214000 | #Constraints: 25757 189.93/190.48 c #Conflicts: 215000 | #Constraints: 27447 189.93/190.48 c #Conflicts: 216000 | #Constraints: 28589 189.93/190.48 c INPROCESSING 189.93/190.48 c GARBAGE COLLECT 189.93/190.48 c rational objective 0 206.39/206.94 c #Conflicts: 217000 | #Constraints: 15243 206.39/206.94 c #Conflicts: 218000 | #Constraints: 16250 206.39/206.94 c #Conflicts: 219000 | #Constraints: 17259 206.39/206.94 c #Conflicts: 220000 | #Constraints: 18264 206.39/206.94 c #Conflicts: 221000 | #Constraints: 19269 206.39/206.94 c #Conflicts: 222000 | #Constraints: 20272 206.39/206.94 c #Conflicts: 223000 | #Constraints: 21278 206.39/206.94 c bounds 19 >= 0 @ 199.131 206.39/206.94 c #Conflicts: 224000 | #Constraints: 22281 206.39/206.94 c #Conflicts: 225000 | #Constraints: 23282 206.39/206.94 c #Conflicts: 226000 | #Constraints: 24284 206.39/206.94 c INPROCESSING 206.39/206.94 c GARBAGE COLLECT 206.39/206.94 c rational objective 0 226.23/226.80 c #Conflicts: 227000 | #Constraints: 13180 226.23/226.80 c #Conflicts: 228000 | #Constraints: 14301 226.23/226.80 c #Conflicts: 229000 | #Constraints: 15686 226.23/226.80 c #Conflicts: 230000 | #Constraints: 16898 226.23/226.80 c #Conflicts: 231000 | #Constraints: 18203 226.23/226.80 c #Conflicts: 232000 | #Constraints: 19356 226.23/226.80 c #Conflicts: 233000 | #Constraints: 20643 226.23/226.80 c #Conflicts: 234000 | #Constraints: 21879 226.23/226.80 c #Conflicts: 235000 | #Constraints: 22982 226.23/226.80 c #Conflicts: 236000 | #Constraints: 24258 226.23/226.80 c INPROCESSING 226.23/226.80 c GARBAGE COLLECT 226.23/226.80 c rational objective 0 245.48/246.12 c #Conflicts: 237000 | #Constraints: 13712 245.48/246.12 c #Conflicts: 238000 | #Constraints: 15391 245.48/246.12 c #Conflicts: 239000 | #Constraints: 17077 245.48/246.12 c #Conflicts: 240000 | #Constraints: 18746 245.48/246.12 c #Conflicts: 241000 | #Constraints: 20468 245.48/246.12 c #Conflicts: 242000 | #Constraints: 22156 245.48/246.12 c #Conflicts: 243000 | #Constraints: 23821 245.48/246.12 c #Conflicts: 244000 | #Constraints: 25438 245.48/246.12 c #Conflicts: 245000 | #Constraints: 27096 245.48/246.12 c #Conflicts: 246000 | #Constraints: 28807 245.48/246.12 c INPROCESSING 245.48/246.12 c GARBAGE COLLECT 245.48/246.12 c rational objective 0 269.80/270.56 c #Conflicts: 247000 | #Constraints: 15429 269.80/270.56 c #Conflicts: 248000 | #Constraints: 16433 269.80/270.56 c #Conflicts: 249000 | #Constraints: 17436 269.80/270.56 c #Conflicts: 250000 | #Constraints: 18437 269.80/270.56 c #Conflicts: 251000 | #Constraints: 19438 269.80/270.56 c #Conflicts: 252000 | #Constraints: 20442 269.80/270.56 c #Conflicts: 253000 | #Constraints: 21442 269.80/270.56 c #Conflicts: 254000 | #Constraints: 22443 269.80/270.56 c #Conflicts: 255000 | #Constraints: 23446 269.80/270.56 c #Conflicts: 256000 | #Constraints: 24446 269.80/270.56 c INPROCESSING 269.80/270.56 c GARBAGE COLLECT 269.80/270.56 c rational objective 0 285.46/286.26 c #Conflicts: 257000 | #Constraints: 13409 285.46/286.26 c #Conflicts: 258000 | #Constraints: 14526 285.46/286.26 c #Conflicts: 259000 | #Constraints: 15584 285.46/286.26 c #Conflicts: 260000 | #Constraints: 16656 285.46/286.26 c #Conflicts: 261000 | #Constraints: 17913 285.46/286.26 c #Conflicts: 262000 | #Constraints: 18913 285.46/286.26 c #Conflicts: 263000 | #Constraints: 19964 285.46/286.26 c #Conflicts: 264000 | #Constraints: 21013 285.46/286.26 c #Conflicts: 265000 | #Constraints: 22180 285.46/286.26 c #Conflicts: 266000 | #Constraints: 23626 285.46/286.26 c INPROCESSING 285.46/286.26 c GARBAGE COLLECT 285.46/286.26 c rational objective 0 300.43/301.27 c #Conflicts: 267000 | #Constraints: 12534 300.43/301.27 c #Conflicts: 268000 | #Constraints: 13538 300.43/301.27 c #Conflicts: 269000 | #Constraints: 14540 300.43/301.27 c #Conflicts: 270000 | #Constraints: 15542 300.43/301.27 c #Conflicts: 271000 | #Constraints: 16544 300.43/301.27 c #Conflicts: 272000 | #Constraints: 17544 300.43/301.27 c #Conflicts: 273000 | #Constraints: 18545 300.43/301.27 c #Conflicts: 274000 | #Constraints: 19545 300.43/301.27 c #Conflicts: 275000 | #Constraints: 20546 300.43/301.27 c #Conflicts: 276000 | #Constraints: 21546 300.43/301.27 c #Conflicts: 277000 | #Constraints: 22547 300.43/301.27 c INPROCESSING 300.43/301.27 c GARBAGE COLLECT 300.43/301.27 c rational objective 0 321.38/322.24 c #Conflicts: 278000 | #Constraints: 12308 321.38/322.24 c #Conflicts: 279000 | #Constraints: 13452 321.38/322.24 c #Conflicts: 280000 | #Constraints: 14525 321.38/322.24 c #Conflicts: 281000 | #Constraints: 15543 321.38/322.24 c #Conflicts: 282000 | #Constraints: 16543 321.38/322.24 c #Conflicts: 283000 | #Constraints: 17582 321.38/322.24 c #Conflicts: 284000 | #Constraints: 18584 321.38/322.24 c #Conflicts: 285000 | #Constraints: 19650 321.38/322.24 c #Conflicts: 286000 | #Constraints: 20709 321.38/322.24 c bounds 17 >= 0 @ 316.482 321.38/322.24 c #Conflicts: 287000 | #Constraints: 21821 321.38/322.24 c #Conflicts: 288000 | #Constraints: 22821 321.38/322.24 c INPROCESSING 321.38/322.24 c GARBAGE COLLECT 321.38/322.24 c rational objective 0 335.96/336.85 c #Conflicts: 289000 | #Constraints: 12671 335.96/336.85 c #Conflicts: 290000 | #Constraints: 13776 335.96/336.85 c #Conflicts: 291000 | #Constraints: 14779 335.96/336.85 c #Conflicts: 292000 | #Constraints: 15781 335.96/336.85 c #Conflicts: 293000 | #Constraints: 16910 335.96/336.85 c #Conflicts: 294000 | #Constraints: 17913 335.96/336.85 c #Conflicts: 295000 | #Constraints: 18913 335.96/336.85 c #Conflicts: 296000 | #Constraints: 19914 335.96/336.85 c #Conflicts: 297000 | #Constraints: 20926 335.96/336.85 c #Conflicts: 298000 | #Constraints: 21987 335.96/336.85 c #Conflicts: 299000 | #Constraints: 23155 335.96/336.85 c INPROCESSING 335.96/336.85 c GARBAGE COLLECT 335.96/336.85 c rational objective 0 364.19/365.15 c #Conflicts: 300000 | #Constraints: 13271 364.19/365.15 c #Conflicts: 301000 | #Constraints: 14943 364.19/365.15 c #Conflicts: 302000 | #Constraints: 16687 364.19/365.15 c #Conflicts: 303000 | #Constraints: 18408 364.19/365.15 c #Conflicts: 304000 | #Constraints: 20102 364.19/365.15 c bounds 15 >= 0 @ 346.032 364.19/365.15 c #Conflicts: 305000 | #Constraints: 21422 364.19/365.15 c #Conflicts: 306000 | #Constraints: 22507 364.19/365.15 c #Conflicts: 307000 | #Constraints: 24168 364.19/365.15 c #Conflicts: 308000 | #Constraints: 25790 364.19/365.15 c #Conflicts: 309000 | #Constraints: 27435 364.19/365.15 c #Conflicts: 310000 | #Constraints: 29129 364.19/365.15 c INPROCESSING 364.19/365.15 c GARBAGE COLLECT 364.19/365.15 c rational objective 0 393.02/394.02 c #Conflicts: 311000 | #Constraints: 15949 393.02/394.02 c #Conflicts: 312000 | #Constraints: 17088 393.02/394.02 c #Conflicts: 313000 | #Constraints: 18177 393.02/394.02 c #Conflicts: 314000 | #Constraints: 19531 393.02/394.02 c #Conflicts: 315000 | #Constraints: 21152 393.02/394.02 c #Conflicts: 316000 | #Constraints: 22178 393.02/394.02 c #Conflicts: 317000 | #Constraints: 23179 393.02/394.02 c #Conflicts: 318000 | #Constraints: 24256 393.02/394.02 c #Conflicts: 319000 | #Constraints: 25977 393.02/394.02 c #Conflicts: 320000 | #Constraints: 27348 393.02/394.02 c #Conflicts: 321000 | #Constraints: 29057 393.02/394.02 c INPROCESSING 393.02/394.02 c GARBAGE COLLECT 393.02/394.02 c rational objective 0 423.44/424.53 c #Conflicts: 322000 | #Constraints: 15622 423.44/424.53 c #Conflicts: 323000 | #Constraints: 17072 423.44/424.53 c #Conflicts: 324000 | #Constraints: 18448 423.44/424.53 c #Conflicts: 325000 | #Constraints: 20073 423.44/424.53 c #Conflicts: 326000 | #Constraints: 21874 423.44/424.53 c #Conflicts: 327000 | #Constraints: 23454 423.44/424.53 c #Conflicts: 328000 | #Constraints: 24743 423.44/424.53 c #Conflicts: 329000 | #Constraints: 26313 423.44/424.53 c #Conflicts: 330000 | #Constraints: 27501 423.44/424.53 c #Conflicts: 331000 | #Constraints: 28504 423.44/424.53 c #Conflicts: 332000 | #Constraints: 29545 423.44/424.53 c #Conflicts: 333000 | #Constraints: 30546 423.44/424.53 c INPROCESSING 423.44/424.53 c GARBAGE COLLECT 423.44/424.53 c rational objective 0 469.53/470.79 c #Conflicts: 334000 | #Constraints: 16682 469.53/470.79 c #Conflicts: 335000 | #Constraints: 17984 469.53/470.79 c #Conflicts: 336000 | #Constraints: 19273 469.53/470.79 c #Conflicts: 337000 | #Constraints: 20711 469.53/470.79 c #Conflicts: 338000 | #Constraints: 21924 469.53/470.79 c #Conflicts: 339000 | #Constraints: 23399 469.53/470.79 c #Conflicts: 340000 | #Constraints: 25108 469.53/470.79 c #Conflicts: 341000 | #Constraints: 26698 469.53/470.79 c #Conflicts: 342000 | #Constraints: 28356 469.53/470.79 c #Conflicts: 343000 | #Constraints: 29364 469.53/470.79 c #Conflicts: 344000 | #Constraints: 30683 469.53/470.79 c #Conflicts: 345000 | #Constraints: 32271 469.53/470.79 c INPROCESSING 469.53/470.79 c GARBAGE COLLECT 469.53/470.79 c rational objective 0 505.95/507.28 c #Conflicts: 346000 | #Constraints: 17832 505.95/507.28 c #Conflicts: 347000 | #Constraints: 19541 505.95/507.28 c #Conflicts: 348000 | #Constraints: 21221 505.95/507.28 c #Conflicts: 349000 | #Constraints: 22907 505.95/507.28 c #Conflicts: 350000 | #Constraints: 24131 505.95/507.28 c #Conflicts: 351000 | #Constraints: 25132 505.95/507.28 c #Conflicts: 352000 | #Constraints: 26136 505.95/507.28 c #Conflicts: 353000 | #Constraints: 27140 505.95/507.28 c #Conflicts: 354000 | #Constraints: 28836 505.95/507.28 c #Conflicts: 355000 | #Constraints: 30008 505.95/507.28 c #Conflicts: 356000 | #Constraints: 31739 505.95/507.28 c #Conflicts: 357000 | #Constraints: 32892 505.95/507.28 c INPROCESSING 505.95/507.28 c GARBAGE COLLECT 505.95/507.28 c rational objective 0 562.62/564.04 c #Conflicts: 358000 | #Constraints: 18150 562.62/564.04 c #Conflicts: 359000 | #Constraints: 19881 562.62/564.04 c #Conflicts: 360000 | #Constraints: 21614 562.62/564.04 c #Conflicts: 361000 | #Constraints: 23328 562.62/564.04 c #Conflicts: 362000 | #Constraints: 24997 562.62/564.04 c #Conflicts: 363000 | #Constraints: 26656 562.62/564.04 c #Conflicts: 364000 | #Constraints: 28300 562.62/564.04 c #Conflicts: 365000 | #Constraints: 29920 562.62/564.04 c #Conflicts: 366000 | #Constraints: 31585 562.62/564.04 c #Conflicts: 367000 | #Constraints: 33267 562.62/564.04 c #Conflicts: 368000 | #Constraints: 34924 562.62/564.04 c #Conflicts: 369000 | #Constraints: 36623 562.62/564.04 c INPROCESSING 562.62/564.04 c GARBAGE COLLECT 562.62/564.04 c rational objective 0 607.59/609.12 c #Conflicts: 370000 | #Constraints: 19826 607.59/609.12 c #Conflicts: 371000 | #Constraints: 21473 607.59/609.12 c #Conflicts: 372000 | #Constraints: 23136 607.59/609.12 c #Conflicts: 373000 | #Constraints: 24795 607.59/609.12 c #Conflicts: 374000 | #Constraints: 26480 607.59/609.12 c #Conflicts: 375000 | #Constraints: 28143 607.59/609.12 c #Conflicts: 376000 | #Constraints: 29819 607.59/609.12 c #Conflicts: 377000 | #Constraints: 31319 607.59/609.12 c #Conflicts: 378000 | #Constraints: 32992 607.59/609.12 c #Conflicts: 379000 | #Constraints: 34674 607.59/609.12 c #Conflicts: 380000 | #Constraints: 36403 607.59/609.12 c #Conflicts: 381000 | #Constraints: 38050 607.59/609.12 c INPROCESSING 607.59/609.12 c GARBAGE COLLECT 607.59/609.12 c rational objective 0 651.07/652.76 c #Conflicts: 382000 | #Constraints: 20238 651.07/652.76 c #Conflicts: 383000 | #Constraints: 21474 651.07/652.76 c #Conflicts: 384000 | #Constraints: 22773 651.07/652.76 c #Conflicts: 385000 | #Constraints: 24106 651.07/652.76 c #Conflicts: 386000 | #Constraints: 25379 651.07/652.76 c #Conflicts: 387000 | #Constraints: 26914 651.07/652.76 c #Conflicts: 388000 | #Constraints: 28621 651.07/652.76 c #Conflicts: 389000 | #Constraints: 30277 651.07/652.76 c #Conflicts: 390000 | #Constraints: 32023 651.07/652.76 c #Conflicts: 391000 | #Constraints: 33750 651.07/652.76 c #Conflicts: 392000 | #Constraints: 35455 651.07/652.76 c #Conflicts: 393000 | #Constraints: 36886 651.07/652.76 c #Conflicts: 394000 | #Constraints: 37886 651.07/652.76 c INPROCESSING 651.07/652.76 c GARBAGE COLLECT 651.07/652.76 c rational objective 0 719.07/720.98 c #Conflicts: 395000 | #Constraints: 20371 719.07/720.98 c #Conflicts: 396000 | #Constraints: 22038 719.07/720.98 c #Conflicts: 397000 | #Constraints: 23695 719.07/720.98 c #Conflicts: 398000 | #Constraints: 25364 719.07/720.98 c #Conflicts: 399000 | #Constraints: 27046 719.07/720.98 c #Conflicts: 400000 | #Constraints: 28708 719.07/720.98 c #Conflicts: 401000 | #Constraints: 30345 719.07/720.98 c #Conflicts: 402000 | #Constraints: 31975 719.07/720.98 c #Conflicts: 403000 | #Constraints: 33672 719.07/720.98 c #Conflicts: 404000 | #Constraints: 35369 719.07/720.98 c #Conflicts: 405000 | #Constraints: 37126 719.07/720.98 c #Conflicts: 406000 | #Constraints: 38788 719.07/720.98 c #Conflicts: 407000 | #Constraints: 40176 719.07/720.98 c INPROCESSING 719.07/720.98 c GARBAGE COLLECT 719.07/720.98 c rational objective 0 749.38/751.36 c #Conflicts: 408000 | #Constraints: 21118 749.38/751.36 c #Conflicts: 409000 | #Constraints: 22126 749.38/751.36 c #Conflicts: 410000 | #Constraints: 23128 749.38/751.36 c #Conflicts: 411000 | #Constraints: 24134 749.38/751.36 c #Conflicts: 412000 | #Constraints: 25140 749.38/751.36 c #Conflicts: 413000 | #Constraints: 26141 749.38/751.36 c #Conflicts: 414000 | #Constraints: 27142 749.38/751.36 c #Conflicts: 415000 | #Constraints: 28145 749.38/751.36 c #Conflicts: 416000 | #Constraints: 29147 749.38/751.36 c #Conflicts: 417000 | #Constraints: 30147 749.38/751.36 c #Conflicts: 418000 | #Constraints: 31152 749.38/751.36 c #Conflicts: 419000 | #Constraints: 32155 749.38/751.36 c #Conflicts: 420000 | #Constraints: 33155 749.38/751.36 c INPROCESSING 749.38/751.36 c GARBAGE COLLECT 749.38/751.36 c rational objective 0 798.54/800.61 c #Conflicts: 421000 | #Constraints: 17742 798.54/800.61 c #Conflicts: 422000 | #Constraints: 18750 798.54/800.61 c #Conflicts: 423000 | #Constraints: 19753 798.54/800.61 c #Conflicts: 424000 | #Constraints: 20872 798.54/800.61 c #Conflicts: 425000 | #Constraints: 21894 798.54/800.61 c #Conflicts: 426000 | #Constraints: 23003 798.54/800.61 c #Conflicts: 427000 | #Constraints: 24033 798.54/800.61 c #Conflicts: 428000 | #Constraints: 25157 798.54/800.61 c #Conflicts: 429000 | #Constraints: 26164 798.54/800.61 c #Conflicts: 430000 | #Constraints: 27235 798.54/800.61 c #Conflicts: 431000 | #Constraints: 28235 798.54/800.61 c #Conflicts: 432000 | #Constraints: 29251 798.54/800.61 c #Conflicts: 433000 | #Constraints: 30325 798.54/800.61 c INPROCESSING 798.54/800.61 c GARBAGE COLLECT 798.54/800.61 c rational objective 0 839.93/842.12 c #Conflicts: 434000 | #Constraints: 16410 839.93/842.12 c #Conflicts: 435000 | #Constraints: 17588 839.93/842.12 c #Conflicts: 436000 | #Constraints: 18617 839.93/842.12 c #Conflicts: 437000 | #Constraints: 19858 839.93/842.12 c #Conflicts: 438000 | #Constraints: 21367 839.93/842.12 c #Conflicts: 439000 | #Constraints: 22466 839.93/842.12 c #Conflicts: 440000 | #Constraints: 23625 839.93/842.12 c #Conflicts: 441000 | #Constraints: 24922 839.93/842.12 c #Conflicts: 442000 | #Constraints: 26090 839.93/842.12 c #Conflicts: 443000 | #Constraints: 27477 839.93/842.12 c #Conflicts: 444000 | #Constraints: 28539 839.93/842.12 c #Conflicts: 445000 | #Constraints: 29780 839.93/842.12 c #Conflicts: 446000 | #Constraints: 31185 839.93/842.12 c INPROCESSING 839.93/842.12 c GARBAGE COLLECT 839.93/842.12 c rational objective 0 899.66/902.02 c #Conflicts: 447000 | #Constraints: 16471 899.66/902.02 c #Conflicts: 448000 | #Constraints: 18238 899.66/902.02 c #Conflicts: 449000 | #Constraints: 19916 899.66/902.02 c #Conflicts: 450000 | #Constraints: 21601 899.66/902.02 c #Conflicts: 451000 | #Constraints: 23418 899.66/902.02 c #Conflicts: 452000 | #Constraints: 24950 899.66/902.02 c #Conflicts: 453000 | #Constraints: 26642 899.66/902.02 c #Conflicts: 454000 | #Constraints: 28443 899.66/902.02 c #Conflicts: 455000 | #Constraints: 29976 899.66/902.02 c #Conflicts: 456000 | #Constraints: 31568 899.66/902.02 c #Conflicts: 457000 | #Constraints: 33352 899.66/902.02 c #Conflicts: 458000 | #Constraints: 35030 899.66/902.02 c #Conflicts: 459000 | #Constraints: 36733 899.66/902.02 c #Conflicts: 460000 | #Constraints: 38524 899.66/902.02 c INPROCESSING 899.66/902.02 c GARBAGE COLLECT 899.66/902.02 c rational objective 0 970.76/973.31 c #Conflicts: 461000 | #Constraints: 20331 970.76/973.31 c #Conflicts: 462000 | #Constraints: 21721 970.76/973.31 c #Conflicts: 463000 | #Constraints: 23270 970.76/973.31 c #Conflicts: 464000 | #Constraints: 24902 970.76/973.31 c #Conflicts: 465000 | #Constraints: 26528 970.76/973.31 c #Conflicts: 466000 | #Constraints: 27921 970.76/973.31 c #Conflicts: 467000 | #Constraints: 29617 970.76/973.31 c #Conflicts: 468000 | #Constraints: 31132 970.76/973.31 c #Conflicts: 469000 | #Constraints: 32722 970.76/973.31 c #Conflicts: 470000 | #Constraints: 34206 970.76/973.31 c #Conflicts: 471000 | #Constraints: 35733 970.76/973.31 c #Conflicts: 472000 | #Constraints: 36840 970.76/973.31 c #Conflicts: 473000 | #Constraints: 38245 970.76/973.31 c #Conflicts: 474000 | #Constraints: 39570 970.76/973.31 c INPROCESSING 970.76/973.31 c GARBAGE COLLECT 970.76/973.31 c rational objective 0 1008.96/1011.68 c #Conflicts: 475000 | #Constraints: 20820 1008.96/1011.68 c #Conflicts: 476000 | #Constraints: 21822 1008.96/1011.68 c #Conflicts: 477000 | #Constraints: 22824 1008.96/1011.68 c #Conflicts: 478000 | #Constraints: 23827 1008.96/1011.68 c #Conflicts: 479000 | #Constraints: 24829 1008.96/1011.68 c #Conflicts: 480000 | #Constraints: 25832 1008.96/1011.68 c #Conflicts: 481000 | #Constraints: 26833 1008.96/1011.68 c #Conflicts: 482000 | #Constraints: 27834 1008.96/1011.68 c #Conflicts: 483000 | #Constraints: 28836 1008.96/1011.68 c #Conflicts: 484000 | #Constraints: 29836 1008.96/1011.68 c #Conflicts: 485000 | #Constraints: 30836 1008.96/1011.68 c #Conflicts: 486000 | #Constraints: 31837 1008.96/1011.68 c #Conflicts: 487000 | #Constraints: 32839 1008.96/1011.68 c #Conflicts: 488000 | #Constraints: 33840 1008.96/1011.68 c INPROCESSING 1008.96/1011.68 c GARBAGE COLLECT 1008.96/1011.68 c rational objective 0 1080.09/1082.96 c #Conflicts: 489000 | #Constraints: 17941 1080.09/1082.96 c #Conflicts: 490000 | #Constraints: 19071 1080.09/1082.96 c #Conflicts: 491000 | #Constraints: 20765 1080.09/1082.96 c #Conflicts: 492000 | #Constraints: 22450 1080.09/1082.96 c #Conflicts: 493000 | #Constraints: 24168 1080.09/1082.96 c #Conflicts: 494000 | #Constraints: 25872 1080.09/1082.96 c #Conflicts: 495000 | #Constraints: 27588 1080.09/1082.96 c #Conflicts: 496000 | #Constraints: 29300 1080.09/1082.96 c #Conflicts: 497000 | #Constraints: 30980 1080.09/1082.96 c #Conflicts: 498000 | #Constraints: 32651 1080.09/1082.96 c #Conflicts: 499000 | #Constraints: 34305 1080.09/1082.96 c #Conflicts: 500000 | #Constraints: 35997 1080.09/1082.96 c #Conflicts: 501000 | #Constraints: 37683 1080.09/1082.96 c #Conflicts: 502000 | #Constraints: 39387 1080.09/1082.96 c INPROCESSING 1080.09/1082.96 c GARBAGE COLLECT 1080.09/1082.96 c rational objective 0 1134.16/1137.15 c #Conflicts: 503000 | #Constraints: 20801 1134.16/1137.15 c #Conflicts: 504000 | #Constraints: 22475 1134.16/1137.15 c #Conflicts: 505000 | #Constraints: 24039 1134.16/1137.15 c #Conflicts: 506000 | #Constraints: 25628 1134.16/1137.15 c #Conflicts: 507000 | #Constraints: 27052 1134.16/1137.15 c #Conflicts: 508000 | #Constraints: 28649 1134.16/1137.15 c #Conflicts: 509000 | #Constraints: 30138 1134.16/1137.15 c #Conflicts: 510000 | #Constraints: 31435 1134.16/1137.15 c #Conflicts: 511000 | #Constraints: 32711 1134.16/1137.15 c #Conflicts: 512000 | #Constraints: 34026 1134.16/1137.15 c #Conflicts: 513000 | #Constraints: 35026 1134.16/1137.15 c #Conflicts: 514000 | #Constraints: 36118 1134.16/1137.15 c #Conflicts: 515000 | #Constraints: 37750 1134.16/1137.15 c #Conflicts: 516000 | #Constraints: 39408 1134.16/1137.15 c INPROCESSING 1134.16/1137.15 c GARBAGE COLLECT 1134.16/1137.15 c rational objective 0 1215.36/1218.54 c #Conflicts: 517000 | #Constraints: 20641 1215.36/1218.54 c #Conflicts: 518000 | #Constraints: 22124 1215.36/1218.54 c #Conflicts: 519000 | #Constraints: 23825 1215.36/1218.54 c #Conflicts: 520000 | #Constraints: 25137 1215.36/1218.54 c #Conflicts: 521000 | #Constraints: 26396 1215.36/1218.54 c #Conflicts: 522000 | #Constraints: 27885 1215.36/1218.54 c #Conflicts: 523000 | #Constraints: 29487 1215.36/1218.54 c #Conflicts: 524000 | #Constraints: 31190 1215.36/1218.54 c #Conflicts: 525000 | #Constraints: 32834 1215.36/1218.54 c #Conflicts: 526000 | #Constraints: 34494 1215.36/1218.54 c #Conflicts: 527000 | #Constraints: 35813 1215.36/1218.54 c #Conflicts: 528000 | #Constraints: 37236 1215.36/1218.54 c #Conflicts: 529000 | #Constraints: 38689 1215.36/1218.54 c #Conflicts: 530000 | #Constraints: 40311 1215.36/1218.54 c #Conflicts: 531000 | #Constraints: 41746 1215.36/1218.54 c INPROCESSING 1215.36/1218.54 c GARBAGE COLLECT 1215.36/1218.54 c rational objective 0 1256.37/1259.61 c #Conflicts: 532000 | #Constraints: 21797 1256.37/1259.61 c #Conflicts: 533000 | #Constraints: 22800 1256.37/1259.61 c #Conflicts: 534000 | #Constraints: 23802 1256.37/1259.61 c #Conflicts: 535000 | #Constraints: 24802 1256.37/1259.61 c #Conflicts: 536000 | #Constraints: 25804 1256.37/1259.61 c #Conflicts: 537000 | #Constraints: 26805 1256.37/1259.61 c #Conflicts: 538000 | #Constraints: 27805 1256.37/1259.61 c #Conflicts: 539000 | #Constraints: 28808 1256.37/1259.61 c #Conflicts: 540000 | #Constraints: 29809 1256.37/1259.61 c #Conflicts: 541000 | #Constraints: 30809 1256.37/1259.61 c #Conflicts: 542000 | #Constraints: 31814 1256.37/1259.61 c #Conflicts: 543000 | #Constraints: 32817 1256.37/1259.61 c #Conflicts: 544000 | #Constraints: 33818 1256.37/1259.61 c #Conflicts: 545000 | #Constraints: 34818 1256.37/1259.61 c #Conflicts: 546000 | #Constraints: 35820 1256.37/1259.61 c INPROCESSING 1256.37/1259.61 c GARBAGE COLLECT 1256.37/1259.61 c rational objective 0 1299.57/1302.96 c #Conflicts: 547000 | #Constraints: 19363 1299.57/1302.96 c #Conflicts: 548000 | #Constraints: 20933 1299.57/1302.96 c #Conflicts: 549000 | #Constraints: 22103 1299.57/1302.96 c #Conflicts: 550000 | #Constraints: 23105 1299.57/1302.96 c #Conflicts: 551000 | #Constraints: 24204 1299.57/1302.96 c #Conflicts: 552000 | #Constraints: 25467 1299.57/1302.96 c #Conflicts: 553000 | #Constraints: 26480 1299.57/1302.96 c #Conflicts: 554000 | #Constraints: 27480 1299.57/1302.96 c #Conflicts: 555000 | #Constraints: 28778 1299.57/1302.96 c #Conflicts: 556000 | #Constraints: 30028 1299.57/1302.96 c #Conflicts: 557000 | #Constraints: 31157 1299.57/1302.96 c #Conflicts: 558000 | #Constraints: 32180 1299.57/1302.96 c #Conflicts: 559000 | #Constraints: 33182 1299.57/1302.96 c #Conflicts: 560000 | #Constraints: 34185 1299.57/1302.96 c #Conflicts: 561000 | #Constraints: 35213 1299.57/1302.96 c INPROCESSING 1299.57/1302.96 c GARBAGE COLLECT 1299.57/1302.96 c rational objective 0 1359.33/1362.80 c #Conflicts: 562000 | #Constraints: 18626 1359.33/1362.80 c #Conflicts: 563000 | #Constraints: 19626 1359.33/1362.80 c #Conflicts: 564000 | #Constraints: 20628 1359.33/1362.80 c #Conflicts: 565000 | #Constraints: 21628 1359.33/1362.80 c #Conflicts: 566000 | #Constraints: 22630 1359.33/1362.80 c #Conflicts: 567000 | #Constraints: 23630 1359.33/1362.80 c #Conflicts: 568000 | #Constraints: 24631 1359.33/1362.80 c #Conflicts: 569000 | #Constraints: 25632 1359.33/1362.80 c #Conflicts: 570000 | #Constraints: 26635 1359.33/1362.80 c #Conflicts: 571000 | #Constraints: 27636 1359.33/1362.80 c #Conflicts: 572000 | #Constraints: 28636 1359.33/1362.80 c #Conflicts: 573000 | #Constraints: 29638 1359.33/1362.80 c #Conflicts: 574000 | #Constraints: 30642 1359.33/1362.80 c #Conflicts: 575000 | #Constraints: 31644 1359.33/1362.80 c #Conflicts: 576000 | #Constraints: 32645 1359.33/1362.80 c INPROCESSING 1359.33/1362.80 c GARBAGE COLLECT 1359.33/1362.80 c rational objective 0 1396.04/1399.64 c #Conflicts: 577000 | #Constraints: 17393 1396.04/1399.64 c #Conflicts: 578000 | #Constraints: 18495 1396.04/1399.64 c #Conflicts: 579000 | #Constraints: 19586 1396.04/1399.64 c #Conflicts: 580000 | #Constraints: 20597 1396.04/1399.64 c #Conflicts: 581000 | #Constraints: 21709 1396.04/1399.64 c #Conflicts: 582000 | #Constraints: 22863 1396.04/1399.64 c #Conflicts: 583000 | #Constraints: 23863 1396.04/1399.64 c #Conflicts: 584000 | #Constraints: 24864 1396.04/1399.64 c #Conflicts: 585000 | #Constraints: 25907 1396.04/1399.64 c #Conflicts: 586000 | #Constraints: 27054 1396.04/1399.64 c #Conflicts: 587000 | #Constraints: 28100 1396.04/1399.64 c #Conflicts: 588000 | #Constraints: 29184 1396.04/1399.64 c #Conflicts: 589000 | #Constraints: 30327 1396.04/1399.64 c #Conflicts: 590000 | #Constraints: 31409 1396.04/1399.64 c #Conflicts: 591000 | #Constraints: 32409 1396.04/1399.64 c INPROCESSING 1396.04/1399.64 c GARBAGE COLLECT 1396.04/1399.64 c rational objective 0 1454.91/1458.66 c #Conflicts: 592000 | #Constraints: 16932 1454.91/1458.66 c #Conflicts: 593000 | #Constraints: 17932 1454.91/1458.66 c #Conflicts: 594000 | #Constraints: 18936 1454.91/1458.66 c #Conflicts: 595000 | #Constraints: 19944 1454.91/1458.66 c #Conflicts: 596000 | #Constraints: 20995 1454.91/1458.66 c #Conflicts: 597000 | #Constraints: 21995 1454.91/1458.66 c #Conflicts: 598000 | #Constraints: 23103 1454.91/1458.66 c #Conflicts: 599000 | #Constraints: 24122 1454.91/1458.66 c #Conflicts: 600000 | #Constraints: 25122 1454.91/1458.66 c #Conflicts: 601000 | #Constraints: 26189 1454.91/1458.66 c #Conflicts: 602000 | #Constraints: 27216 1454.91/1458.66 c #Conflicts: 603000 | #Constraints: 28368 1454.91/1458.66 c #Conflicts: 604000 | #Constraints: 29370 1454.91/1458.66 c #Conflicts: 605000 | #Constraints: 30406 1454.91/1458.66 c #Conflicts: 606000 | #Constraints: 31487 1454.91/1458.66 c #Conflicts: 607000 | #Constraints: 32662 1454.91/1458.66 c INPROCESSING 1454.91/1458.66 c GARBAGE COLLECT 1454.91/1458.66 c rational objective 0 1532.42/1536.32 c #Conflicts: 608000 | #Constraints: 17714 1532.42/1536.32 c #Conflicts: 609000 | #Constraints: 19366 1532.42/1536.32 c #Conflicts: 610000 | #Constraints: 21044 1532.42/1536.32 c #Conflicts: 611000 | #Constraints: 22749 1532.42/1536.32 c #Conflicts: 612000 | #Constraints: 24405 1532.42/1536.32 c #Conflicts: 613000 | #Constraints: 26046 1532.42/1536.32 c #Conflicts: 614000 | #Constraints: 27710 1532.42/1536.32 c #Conflicts: 615000 | #Constraints: 29386 1532.42/1536.32 c #Conflicts: 616000 | #Constraints: 31120 1532.42/1536.32 c #Conflicts: 617000 | #Constraints: 32841 1532.42/1536.32 c #Conflicts: 618000 | #Constraints: 34541 1532.42/1536.32 c #Conflicts: 619000 | #Constraints: 36238 1532.42/1536.32 c #Conflicts: 620000 | #Constraints: 37939 1532.42/1536.32 c #Conflicts: 621000 | #Constraints: 39634 1532.42/1536.32 c #Conflicts: 622000 | #Constraints: 41291 1532.42/1536.32 c #Conflicts: 623000 | #Constraints: 42582 1532.42/1536.32 c INPROCESSING 1532.42/1536.32 c GARBAGE COLLECT 1532.42/1536.32 c rational objective 0 1644.36/1648.59 c #Conflicts: 624000 | #Constraints: 22969 1644.36/1648.59 c #Conflicts: 625000 | #Constraints: 24644 1644.36/1648.59 c #Conflicts: 626000 | #Constraints: 26340 1644.36/1648.59 c #Conflicts: 627000 | #Constraints: 28005 1644.36/1648.59 c #Conflicts: 628000 | #Constraints: 29623 1644.36/1648.59 c #Conflicts: 629000 | #Constraints: 31298 1644.36/1648.59 c #Conflicts: 630000 | #Constraints: 32969 1644.36/1648.59 c #Conflicts: 631000 | #Constraints: 34606 1644.36/1648.59 c #Conflicts: 632000 | #Constraints: 36283 1644.36/1648.59 c #Conflicts: 633000 | #Constraints: 37927 1644.36/1648.59 c #Conflicts: 634000 | #Constraints: 39577 1644.36/1648.59 c #Conflicts: 635000 | #Constraints: 41236 1644.36/1648.59 c #Conflicts: 636000 | #Constraints: 42824 1644.36/1648.59 c #Conflicts: 637000 | #Constraints: 44510 1644.36/1648.59 c #Conflicts: 638000 | #Constraints: 46184 1644.36/1648.59 c #Conflicts: 639000 | #Constraints: 47806 1644.36/1648.59 c INPROCESSING 1644.36/1648.59 c GARBAGE COLLECT 1644.36/1648.59 c rational objective 0 1705.92/1710.22 c #Conflicts: 640000 | #Constraints: 25297 1705.92/1710.22 c #Conflicts: 641000 | #Constraints: 26897 1705.92/1710.22 c #Conflicts: 642000 | #Constraints: 28378 1705.92/1710.22 c #Conflicts: 643000 | #Constraints: 29539 1705.92/1710.22 c #Conflicts: 644000 | #Constraints: 30544 1705.92/1710.22 c #Conflicts: 645000 | #Constraints: 31545 1705.92/1710.22 c #Conflicts: 646000 | #Constraints: 32547 1705.92/1710.22 c #Conflicts: 647000 | #Constraints: 33981 1705.92/1710.22 c #Conflicts: 648000 | #Constraints: 35603 1705.92/1710.22 c #Conflicts: 649000 | #Constraints: 37054 1705.92/1710.22 c #Conflicts: 650000 | #Constraints: 38057 1705.92/1710.22 c #Conflicts: 651000 | #Constraints: 39058 1705.92/1710.22 c #Conflicts: 652000 | #Constraints: 40784 1705.92/1710.22 c #Conflicts: 653000 | #Constraints: 41997 1705.92/1710.22 c #Conflicts: 654000 | #Constraints: 43723 1705.92/1710.22 c #Conflicts: 655000 | #Constraints: 45357 1705.92/1710.22 c INPROCESSING 1705.92/1710.22 c GARBAGE COLLECT 1705.92/1710.22 c rational objective 0 1764.48/1768.95 c #Conflicts: 656000 | #Constraints: 23754 1764.48/1768.95 c #Conflicts: 657000 | #Constraints: 24822 1764.48/1768.95 c #Conflicts: 658000 | #Constraints: 25957 1764.48/1768.95 c #Conflicts: 659000 | #Constraints: 27120 1764.48/1768.95 c #Conflicts: 660000 | #Constraints: 28280 1764.48/1768.95 c #Conflicts: 661000 | #Constraints: 29281 1764.48/1768.95 c #Conflicts: 662000 | #Constraints: 30329 1764.48/1768.95 c #Conflicts: 663000 | #Constraints: 31331 1764.48/1768.95 c #Conflicts: 664000 | #Constraints: 32337 1764.48/1768.95 c #Conflicts: 665000 | #Constraints: 33692 1764.48/1768.95 c #Conflicts: 666000 | #Constraints: 34712 1764.48/1768.95 c #Conflicts: 667000 | #Constraints: 35727 1764.48/1768.95 c #Conflicts: 668000 | #Constraints: 36729 1764.48/1768.95 c #Conflicts: 669000 | #Constraints: 37730 1764.48/1768.95 c #Conflicts: 670000 | #Constraints: 38741 1764.48/1768.95 c #Conflicts: 671000 | #Constraints: 39764 1764.48/1768.95 c INPROCESSING 1764.48/1768.95 c GARBAGE COLLECT 1764.48/1768.95 c rational objective 0 1861.04/1865.73 c #Conflicts: 672000 | #Constraints: 20884 1861.04/1865.73 c #Conflicts: 673000 | #Constraints: 21981 1861.04/1865.73 c #Conflicts: 674000 | #Constraints: 22983 1861.04/1865.73 c #Conflicts: 675000 | #Constraints: 24451 1861.04/1865.73 c #Conflicts: 676000 | #Constraints: 25451 1861.04/1865.73 c #Conflicts: 677000 | #Constraints: 26689 1861.04/1865.73 c #Conflicts: 678000 | #Constraints: 28333 1861.04/1865.73 c #Conflicts: 679000 | #Constraints: 29871 1861.04/1865.73 c #Conflicts: 680000 | #Constraints: 31021 1861.04/1865.73 c #Conflicts: 681000 | #Constraints: 32024 1861.04/1865.73 c #Conflicts: 682000 | #Constraints: 33436 1861.04/1865.73 c #Conflicts: 683000 | #Constraints: 34612 1861.04/1865.73 c #Conflicts: 684000 | #Constraints: 35614 1861.04/1865.73 c #Conflicts: 685000 | #Constraints: 36615 1861.04/1865.73 c #Conflicts: 686000 | #Constraints: 37619 1861.04/1865.73 c #Conflicts: 687000 | #Constraints: 38620 1861.04/1865.73 c #Conflicts: 688000 | #Constraints: 39953 1861.04/1865.73 c INPROCESSING 1861.04/1865.73 c GARBAGE COLLECT 1861.04/1865.73 c rational objective 0 1937.96/1942.88 c #Conflicts: 689000 | #Constraints: 21414 1937.96/1942.88 c #Conflicts: 690000 | #Constraints: 22718 1937.96/1942.88 c #Conflicts: 691000 | #Constraints: 24345 1937.96/1942.88 c #Conflicts: 692000 | #Constraints: 25767 1937.96/1942.88 c #Conflicts: 693000 | #Constraints: 26768 1937.96/1942.88 c #Conflicts: 694000 | #Constraints: 27769 1937.96/1942.88 c #Conflicts: 695000 | #Constraints: 28770 1937.96/1942.88 c #Conflicts: 696000 | #Constraints: 30235 1937.96/1942.88 c #Conflicts: 697000 | #Constraints: 31295 1937.96/1942.88 c #Conflicts: 698000 | #Constraints: 32790 1937.96/1942.88 c #Conflicts: 699000 | #Constraints: 34529 1937.96/1942.88 c #Conflicts: 700000 | #Constraints: 36248 1937.96/1942.88 c #Conflicts: 701000 | #Constraints: 37409 1937.96/1942.88 c #Conflicts: 702000 | #Constraints: 38410 1937.96/1942.88 c #Conflicts: 703000 | #Constraints: 39411 1937.96/1942.88 c #Conflicts: 704000 | #Constraints: 40411 1937.96/1942.88 c #Conflicts: 705000 | #Constraints: 41456 1937.96/1942.88 c INPROCESSING 1937.96/1942.88 c GARBAGE COLLECT 1937.96/1942.88 c rational objective 0 2026.45/2031.55 c #Conflicts: 706000 | #Constraints: 21803 2026.45/2031.55 c #Conflicts: 707000 | #Constraints: 22804 2026.45/2031.55 c #Conflicts: 708000 | #Constraints: 23832 2026.45/2031.55 c #Conflicts: 709000 | #Constraints: 25005 2026.45/2031.55 c #Conflicts: 710000 | #Constraints: 26060 2026.45/2031.55 c #Conflicts: 711000 | #Constraints: 27068 2026.45/2031.55 c #Conflicts: 712000 | #Constraints: 28068 2026.45/2031.55 c #Conflicts: 713000 | #Constraints: 29069 2026.45/2031.55 c #Conflicts: 714000 | #Constraints: 30069 2026.45/2031.55 c #Conflicts: 715000 | #Constraints: 31069 2026.45/2031.55 c #Conflicts: 716000 | #Constraints: 32069 2026.45/2031.55 c #Conflicts: 717000 | #Constraints: 33073 2026.45/2031.55 c #Conflicts: 718000 | #Constraints: 34073 2026.45/2031.55 c #Conflicts: 719000 | #Constraints: 35104 2026.45/2031.55 c #Conflicts: 720000 | #Constraints: 36136 2026.45/2031.55 c #Conflicts: 721000 | #Constraints: 37143 2026.45/2031.55 c #Conflicts: 722000 | #Constraints: 38247 2026.45/2031.55 c INPROCESSING 2026.45/2031.55 c GARBAGE COLLECT 2026.45/2031.55 c rational objective 0 2088.61/2093.87 c #Conflicts: 723000 | #Constraints: 20280 2088.61/2093.87 c #Conflicts: 724000 | #Constraints: 21423 2088.61/2093.87 c #Conflicts: 725000 | #Constraints: 22429 2088.61/2093.87 c #Conflicts: 726000 | #Constraints: 23429 2088.61/2093.87 c #Conflicts: 727000 | #Constraints: 24539 2088.61/2093.87 c #Conflicts: 728000 | #Constraints: 25598 2088.61/2093.87 c #Conflicts: 729000 | #Constraints: 26707 2088.61/2093.87 c #Conflicts: 730000 | #Constraints: 27713 2088.61/2093.87 c #Conflicts: 731000 | #Constraints: 28856 2088.61/2093.87 c #Conflicts: 732000 | #Constraints: 29856 2088.61/2093.87 c #Conflicts: 733000 | #Constraints: 30856 2088.61/2093.87 c #Conflicts: 734000 | #Constraints: 32140 2088.61/2093.87 c #Conflicts: 735000 | #Constraints: 33148 2088.61/2093.87 c #Conflicts: 736000 | #Constraints: 34376 2088.61/2093.87 c #Conflicts: 737000 | #Constraints: 35378 2088.61/2093.87 c #Conflicts: 738000 | #Constraints: 36569 2088.61/2093.87 c #Conflicts: 739000 | #Constraints: 37720 2088.61/2093.87 c INPROCESSING 2088.61/2093.87 c GARBAGE COLLECT 2088.61/2093.87 c rational objective 0 2144.47/2149.86 c #Conflicts: 740000 | #Constraints: 20013 2144.47/2149.86 c #Conflicts: 741000 | #Constraints: 21421 2144.47/2149.86 c #Conflicts: 742000 | #Constraints: 22821 2144.47/2149.86 c #Conflicts: 743000 | #Constraints: 24183 2144.47/2149.86 c #Conflicts: 744000 | #Constraints: 25191 2144.47/2149.86 c #Conflicts: 745000 | #Constraints: 26198 2144.47/2149.86 c #Conflicts: 746000 | #Constraints: 27198 2144.47/2149.86 c #Conflicts: 747000 | #Constraints: 28201 2144.47/2149.86 c #Conflicts: 748000 | #Constraints: 29201 2144.47/2149.86 c #Conflicts: 749000 | #Constraints: 30202 2144.47/2149.86 c #Conflicts: 750000 | #Constraints: 31203 2144.47/2149.86 c #Conflicts: 751000 | #Constraints: 32244 2144.47/2149.86 c #Conflicts: 752000 | #Constraints: 33297 2144.47/2149.86 c #Conflicts: 753000 | #Constraints: 34299 2144.47/2149.86 c #Conflicts: 754000 | #Constraints: 35355 2144.47/2149.86 c #Conflicts: 755000 | #Constraints: 36360 2144.47/2149.86 c #Conflicts: 756000 | #Constraints: 37361 2144.47/2149.86 c INPROCESSING 2144.47/2149.86 c GARBAGE COLLECT 2144.47/2149.86 c rational objective 0 2262.79/2268.49 c #Conflicts: 757000 | #Constraints: 19401 2262.79/2268.49 c #Conflicts: 758000 | #Constraints: 20598 2262.79/2268.49 c #Conflicts: 759000 | #Constraints: 22299 2262.79/2268.49 c #Conflicts: 760000 | #Constraints: 23956 2262.79/2268.49 c #Conflicts: 761000 | #Constraints: 25610 2262.79/2268.49 c #Conflicts: 762000 | #Constraints: 27269 2262.79/2268.49 c #Conflicts: 763000 | #Constraints: 28935 2262.79/2268.49 c #Conflicts: 764000 | #Constraints: 30605 2262.79/2268.49 c #Conflicts: 765000 | #Constraints: 32287 2262.79/2268.49 c #Conflicts: 766000 | #Constraints: 33929 2262.79/2268.49 c #Conflicts: 767000 | #Constraints: 35533 2262.79/2268.49 c #Conflicts: 768000 | #Constraints: 37182 2262.79/2268.49 c #Conflicts: 769000 | #Constraints: 38873 2262.79/2268.49 c #Conflicts: 770000 | #Constraints: 40350 2262.79/2268.49 c #Conflicts: 771000 | #Constraints: 41852 2262.79/2268.49 c #Conflicts: 772000 | #Constraints: 43487 2262.79/2268.49 c #Conflicts: 773000 | #Constraints: 45156 2262.79/2268.49 c #Conflicts: 774000 | #Constraints: 46839 2262.79/2268.49 c INPROCESSING 2262.79/2268.49 c GARBAGE COLLECT 2262.79/2268.49 c rational objective 0 2366.75/2372.69 c #Conflicts: 775000 | #Constraints: 24940 2366.75/2372.69 c #Conflicts: 776000 | #Constraints: 26635 2366.75/2372.69 c #Conflicts: 777000 | #Constraints: 28376 2366.75/2372.69 c #Conflicts: 778000 | #Constraints: 30085 2366.75/2372.69 c #Conflicts: 779000 | #Constraints: 31802 2366.75/2372.69 c #Conflicts: 780000 | #Constraints: 33495 2366.75/2372.69 c #Conflicts: 781000 | #Constraints: 35176 2366.75/2372.69 c #Conflicts: 782000 | #Constraints: 36848 2366.75/2372.69 c #Conflicts: 783000 | #Constraints: 38556 2366.75/2372.69 c #Conflicts: 784000 | #Constraints: 40254 2366.75/2372.69 c #Conflicts: 785000 | #Constraints: 41956 2366.75/2372.69 c #Conflicts: 786000 | #Constraints: 43651 2366.75/2372.69 c #Conflicts: 787000 | #Constraints: 45363 2366.75/2372.69 c #Conflicts: 788000 | #Constraints: 47087 2366.75/2372.69 c #Conflicts: 789000 | #Constraints: 48766 2366.75/2372.69 c #Conflicts: 790000 | #Constraints: 50459 2366.75/2372.69 c #Conflicts: 791000 | #Constraints: 52180 2366.75/2372.69 c #Conflicts: 792000 | #Constraints: 53929 2366.75/2372.69 c INPROCESSING 2366.75/2372.69 c GARBAGE COLLECT 2366.75/2372.69 c rational objective 0 2515.68/2521.94 c #Conflicts: 793000 | #Constraints: 28164 2515.68/2521.94 c #Conflicts: 794000 | #Constraints: 29494 2515.68/2521.94 c #Conflicts: 795000 | #Constraints: 30722 2515.68/2521.94 c #Conflicts: 796000 | #Constraints: 32223 2515.68/2521.94 c #Conflicts: 797000 | #Constraints: 33421 2515.68/2521.94 c #Conflicts: 798000 | #Constraints: 34969 2515.68/2521.94 c #Conflicts: 799000 | #Constraints: 36570 2515.68/2521.94 c #Conflicts: 800000 | #Constraints: 37846 2515.68/2521.94 c #Conflicts: 801000 | #Constraints: 38862 2515.68/2521.94 c #Conflicts: 802000 | #Constraints: 40496 2515.68/2521.94 c #Conflicts: 803000 | #Constraints: 42048 2515.68/2521.94 c #Conflicts: 804000 | #Constraints: 43050 2515.68/2521.94 c #Conflicts: 805000 | #Constraints: 44473 2515.68/2521.94 c #Conflicts: 806000 | #Constraints: 46131 2515.68/2521.94 c #Conflicts: 807000 | #Constraints: 47769 2515.68/2521.94 c #Conflicts: 808000 | #Constraints: 49408 2515.68/2521.94 c #Conflicts: 809000 | #Constraints: 50629 2515.68/2521.94 c #Conflicts: 810000 | #Constraints: 51850 2515.68/2521.94 c INPROCESSING 2515.68/2521.94 c GARBAGE COLLECT 2515.68/2521.94 c rational objective 0 2592.90/2599.30 c #Conflicts: 811000 | #Constraints: 27331 2592.90/2599.30 c #Conflicts: 812000 | #Constraints: 28436 2592.90/2599.30 c #Conflicts: 813000 | #Constraints: 29446 2592.90/2599.30 c #Conflicts: 814000 | #Constraints: 30648 2592.90/2599.30 c #Conflicts: 815000 | #Constraints: 31689 2592.90/2599.30 c #Conflicts: 816000 | #Constraints: 32739 2592.90/2599.30 c #Conflicts: 817000 | #Constraints: 33948 2592.90/2599.30 c #Conflicts: 818000 | #Constraints: 35181 2592.90/2599.30 c #Conflicts: 819000 | #Constraints: 36275 2592.90/2599.30 c #Conflicts: 820000 | #Constraints: 37403 2592.90/2599.30 c #Conflicts: 821000 | #Constraints: 38408 2592.90/2599.30 c #Conflicts: 822000 | #Constraints: 39530 2592.90/2599.30 c #Conflicts: 823000 | #Constraints: 40757 2592.90/2599.30 c #Conflicts: 824000 | #Constraints: 41814 2592.90/2599.30 c #Conflicts: 825000 | #Constraints: 42814 2592.90/2599.30 c #Conflicts: 826000 | #Constraints: 44150 2592.90/2599.30 c #Conflicts: 827000 | #Constraints: 45296 2592.90/2599.30 c #Conflicts: 828000 | #Constraints: 46604 2592.90/2599.30 c INPROCESSING 2592.90/2599.30 c GARBAGE COLLECT 2592.90/2599.30 c rational objective 0 2682.69/2689.30 c #Conflicts: 829000 | #Constraints: 24685 2682.69/2689.30 c #Conflicts: 830000 | #Constraints: 26117 2682.69/2689.30 c #Conflicts: 831000 | #Constraints: 27572 2682.69/2689.30 c #Conflicts: 832000 | #Constraints: 28827 2682.69/2689.30 c #Conflicts: 833000 | #Constraints: 30509 2682.69/2689.30 c #Conflicts: 834000 | #Constraints: 32215 2682.69/2689.30 c #Conflicts: 835000 | #Constraints: 33603 2682.69/2689.30 c #Conflicts: 836000 | #Constraints: 35159 2682.69/2689.30 c #Conflicts: 837000 | #Constraints: 36443 2682.69/2689.30 c #Conflicts: 838000 | #Constraints: 38106 2682.69/2689.30 c #Conflicts: 839000 | #Constraints: 39829 2682.69/2689.30 c #Conflicts: 840000 | #Constraints: 41602 2682.69/2689.30 c #Conflicts: 841000 | #Constraints: 43167 2682.69/2689.30 c #Conflicts: 842000 | #Constraints: 44202 2682.69/2689.30 c #Conflicts: 843000 | #Constraints: 45204 2682.69/2689.30 c #Conflicts: 844000 | #Constraints: 46272 2682.69/2689.30 c #Conflicts: 845000 | #Constraints: 47273 2682.69/2689.30 c #Conflicts: 846000 | #Constraints: 48891 2682.69/2689.30 c INPROCESSING 2682.69/2689.30 c GARBAGE COLLECT 2682.69/2689.30 c rational objective 0 2811.09/2818.04 c #Conflicts: 847000 | #Constraints: 25392 2811.09/2818.04 c #Conflicts: 848000 | #Constraints: 26766 2811.09/2818.04 c #Conflicts: 849000 | #Constraints: 27920 2811.09/2818.04 c #Conflicts: 850000 | #Constraints: 28991 2811.09/2818.04 c #Conflicts: 851000 | #Constraints: 30096 2811.09/2818.04 c #Conflicts: 852000 | #Constraints: 31174 2811.09/2818.04 c #Conflicts: 853000 | #Constraints: 32379 2811.09/2818.04 c #Conflicts: 854000 | #Constraints: 33576 2811.09/2818.04 c #Conflicts: 855000 | #Constraints: 34579 2811.09/2818.04 c #Conflicts: 856000 | #Constraints: 35579 2811.09/2818.04 c #Conflicts: 857000 | #Constraints: 36621 2811.09/2818.04 c #Conflicts: 858000 | #Constraints: 37652 2811.09/2818.04 c #Conflicts: 859000 | #Constraints: 38759 2811.09/2818.04 c #Conflicts: 860000 | #Constraints: 39917 2811.09/2818.04 c #Conflicts: 861000 | #Constraints: 41045 2811.09/2818.04 c #Conflicts: 862000 | #Constraints: 42045 2811.09/2818.04 c #Conflicts: 863000 | #Constraints: 43045 2811.09/2818.04 c #Conflicts: 864000 | #Constraints: 44101 2811.09/2818.04 c #Conflicts: 865000 | #Constraints: 45178 2811.09/2818.04 c INPROCESSING 2811.09/2818.04 c GARBAGE COLLECT 2811.09/2818.04 c rational objective 0 2911.85/2919.05 c #Conflicts: 866000 | #Constraints: 24004 2911.85/2919.05 c #Conflicts: 867000 | #Constraints: 25636 2911.85/2919.05 c #Conflicts: 868000 | #Constraints: 27300 2911.85/2919.05 c #Conflicts: 869000 | #Constraints: 28983 2911.85/2919.05 c #Conflicts: 870000 | #Constraints: 30642 2911.85/2919.05 c #Conflicts: 871000 | #Constraints: 32323 2911.85/2919.05 c #Conflicts: 872000 | #Constraints: 34022 2911.85/2919.05 c #Conflicts: 873000 | #Constraints: 35722 2911.85/2919.05 c #Conflicts: 874000 | #Constraints: 37390 2911.85/2919.05 c #Conflicts: 875000 | #Constraints: 39104 2911.85/2919.05 c #Conflicts: 876000 | #Constraints: 40809 2911.85/2919.05 c #Conflicts: 877000 | #Constraints: 42534 2911.85/2919.05 c #Conflicts: 878000 | #Constraints: 44212 2911.85/2919.05 c #Conflicts: 879000 | #Constraints: 45875 2911.85/2919.05 c #Conflicts: 880000 | #Constraints: 47547 2911.85/2919.05 c #Conflicts: 881000 | #Constraints: 49173 2911.85/2919.05 c #Conflicts: 882000 | #Constraints: 50835 2911.85/2919.05 c #Conflicts: 883000 | #Constraints: 52547 2911.85/2919.05 c #Conflicts: 884000 | #Constraints: 54261 2911.85/2919.05 c INPROCESSING 2911.85/2919.05 c GARBAGE COLLECT 2911.85/2919.05 c rational objective 0 3079.25/3086.85 c #Conflicts: 885000 | #Constraints: 28832 3079.25/3086.85 c #Conflicts: 886000 | #Constraints: 30499 3079.25/3086.85 c #Conflicts: 887000 | #Constraints: 32126 3079.25/3086.85 c #Conflicts: 888000 | #Constraints: 33771 3079.25/3086.85 c #Conflicts: 889000 | #Constraints: 35471 3079.25/3086.85 c #Conflicts: 890000 | #Constraints: 37168 3079.25/3086.85 c #Conflicts: 891000 | #Constraints: 38683 3079.25/3086.85 c #Conflicts: 892000 | #Constraints: 40305 3079.25/3086.85 c #Conflicts: 893000 | #Constraints: 41953 3079.25/3086.85 c #Conflicts: 894000 | #Constraints: 43614 3079.25/3086.85 c #Conflicts: 895000 | #Constraints: 45278 3079.25/3086.85 c #Conflicts: 896000 | #Constraints: 46898 3079.25/3086.85 c #Conflicts: 897000 | #Constraints: 48574 3079.25/3086.85 c #Conflicts: 898000 | #Constraints: 50241 3079.25/3086.85 c #Conflicts: 899000 | #Constraints: 51630 3079.25/3086.85 c #Conflicts: 900000 | #Constraints: 53298 3079.25/3086.85 c #Conflicts: 901000 | #Constraints: 54910 3079.25/3086.85 c #Conflicts: 902000 | #Constraints: 56565 3079.25/3086.85 c #Conflicts: 903000 | #Constraints: 57974 3079.25/3086.85 c INPROCESSING 3079.25/3086.85 c GARBAGE COLLECT 3079.25/3086.85 c rational objective 0 3154.07/3161.83 c #Conflicts: 904000 | #Constraints: 30015 3154.07/3161.83 c #Conflicts: 905000 | #Constraints: 31018 3154.07/3161.83 c #Conflicts: 906000 | #Constraints: 32026 3154.07/3161.83 c #Conflicts: 907000 | #Constraints: 33028 3154.07/3161.83 c #Conflicts: 908000 | #Constraints: 34031 3154.07/3161.83 c #Conflicts: 909000 | #Constraints: 35032 3154.07/3161.83 c #Conflicts: 910000 | #Constraints: 36033 3154.07/3161.83 c #Conflicts: 911000 | #Constraints: 37036 3154.07/3161.83 c #Conflicts: 912000 | #Constraints: 38038 3154.07/3161.83 c #Conflicts: 913000 | #Constraints: 39038 3154.07/3161.83 c #Conflicts: 914000 | #Constraints: 40040 3154.07/3161.83 c #Conflicts: 915000 | #Constraints: 41042 3154.07/3161.83 c #Conflicts: 916000 | #Constraints: 42043 3154.07/3161.83 c #Conflicts: 917000 | #Constraints: 43044 3154.07/3161.83 c #Conflicts: 918000 | #Constraints: 44045 3154.07/3161.83 c #Conflicts: 919000 | #Constraints: 45045 3154.07/3161.83 c #Conflicts: 920000 | #Constraints: 46047 3154.07/3161.83 c #Conflicts: 921000 | #Constraints: 47049 3154.07/3161.83 c #Conflicts: 922000 | #Constraints: 48051 3154.07/3161.83 c INPROCESSING 3154.07/3161.83 c GARBAGE COLLECT 3154.07/3161.83 c rational objective 0 3241.66/3249.67 c #Conflicts: 923000 | #Constraints: 25212 3241.66/3249.67 c #Conflicts: 924000 | #Constraints: 26319 3241.66/3249.67 c #Conflicts: 925000 | #Constraints: 27528 3241.66/3249.67 c #Conflicts: 926000 | #Constraints: 28871 3241.66/3249.67 c #Conflicts: 927000 | #Constraints: 29872 3241.66/3249.67 c #Conflicts: 928000 | #Constraints: 30872 3241.66/3249.67 c #Conflicts: 929000 | #Constraints: 31932 3241.66/3249.67 c #Conflicts: 930000 | #Constraints: 33232 3241.66/3249.67 c #Conflicts: 931000 | #Constraints: 34417 3241.66/3249.67 c #Conflicts: 932000 | #Constraints: 35545 3241.66/3249.67 c #Conflicts: 933000 | #Constraints: 36546 3241.66/3249.67 c #Conflicts: 934000 | #Constraints: 37547 3241.66/3249.67 c #Conflicts: 935000 | #Constraints: 38557 3241.66/3249.67 c #Conflicts: 936000 | #Constraints: 39844 3241.66/3249.67 c #Conflicts: 937000 | #Constraints: 40989 3241.66/3249.67 c #Conflicts: 938000 | #Constraints: 41990 3241.66/3249.67 c #Conflicts: 939000 | #Constraints: 42991 3241.66/3249.67 c #Conflicts: 940000 | #Constraints: 44030 3241.66/3249.67 c #Conflicts: 941000 | #Constraints: 45665 3241.66/3249.67 c INPROCESSING 3241.66/3249.67 c GARBAGE COLLECT 3241.66/3249.67 c rational objective 0 3382.13/3390.42 c #Conflicts: 942000 | #Constraints: 23870 3382.13/3390.42 c #Conflicts: 943000 | #Constraints: 25280 3382.13/3390.42 c #Conflicts: 944000 | #Constraints: 26544 3382.13/3390.42 c #Conflicts: 945000 | #Constraints: 27574 3382.13/3390.42 c #Conflicts: 946000 | #Constraints: 28575 3382.13/3390.42 c #Conflicts: 947000 | #Constraints: 29576 3382.13/3390.42 c #Conflicts: 948000 | #Constraints: 30577 3382.13/3390.42 c #Conflicts: 949000 | #Constraints: 31656 3382.13/3390.42 c #Conflicts: 950000 | #Constraints: 33184 3382.13/3390.42 c #Conflicts: 951000 | #Constraints: 34414 3382.13/3390.42 c #Conflicts: 952000 | #Constraints: 35718 3382.13/3390.42 c #Conflicts: 953000 | #Constraints: 37460 3382.13/3390.42 c #Conflicts: 954000 | #Constraints: 39185 3382.13/3390.42 c #Conflicts: 955000 | #Constraints: 40700 3382.13/3390.42 c #Conflicts: 956000 | #Constraints: 41700 3382.13/3390.42 c #Conflicts: 957000 | #Constraints: 42703 3382.13/3390.42 c #Conflicts: 958000 | #Constraints: 44307 3382.13/3390.42 c #Conflicts: 959000 | #Constraints: 45890 3382.13/3390.42 c #Conflicts: 960000 | #Constraints: 46891 3382.13/3390.42 c #Conflicts: 961000 | #Constraints: 48134 3382.13/3390.42 c INPROCESSING 3382.13/3390.42 c GARBAGE COLLECT 3382.13/3390.42 c rational objective 0 3481.69/3490.27 c #Conflicts: 962000 | #Constraints: 25526 3481.69/3490.27 c #Conflicts: 963000 | #Constraints: 27125 3481.69/3490.27 c #Conflicts: 964000 | #Constraints: 28635 3481.69/3490.27 c #Conflicts: 965000 | #Constraints: 30177 3481.69/3490.27 c #Conflicts: 966000 | #Constraints: 31582 3481.69/3490.27 c #Conflicts: 967000 | #Constraints: 32937 3481.69/3490.27 c #Conflicts: 968000 | #Constraints: 34021 3481.69/3490.27 c #Conflicts: 969000 | #Constraints: 35022 3481.69/3490.27 c #Conflicts: 970000 | #Constraints: 36340 3481.69/3490.27 c #Conflicts: 971000 | #Constraints: 37474 3481.69/3490.27 c #Conflicts: 972000 | #Constraints: 38475 3481.69/3490.27 c #Conflicts: 973000 | #Constraints: 39770 3481.69/3490.27 c #Conflicts: 974000 | #Constraints: 40770 3481.69/3490.27 c #Conflicts: 975000 | #Constraints: 41772 3481.69/3490.27 c #Conflicts: 976000 | #Constraints: 42777 3481.69/3490.27 c #Conflicts: 977000 | #Constraints: 43777 3481.69/3490.27 c #Conflicts: 978000 | #Constraints: 44793 3481.69/3490.27 c #Conflicts: 979000 | #Constraints: 45793 3481.69/3490.27 c #Conflicts: 980000 | #Constraints: 46793 3481.69/3490.27 c #Conflicts: 981000 | #Constraints: 47844 3481.69/3490.27 c INPROCESSING 3481.69/3490.27 c GARBAGE COLLECT 3481.69/3490.27 c rational objective 0 3600.00/3608.80 c #Conflicts: 982000 | #Constraints: 25061 3600.00/3608.80 c #Conflicts: 983000 | #Constraints: 26067 3600.00/3608.80 c #Conflicts: 984000 | #Constraints: 27108 3600.00/3608.80 c #Conflicts: 985000 | #Constraints: 28109 3600.00/3608.80 c #Conflicts: 986000 | #Constraints: 29117 3600.00/3608.80 c #Conflicts: 987000 | #Constraints: 30117 3600.00/3608.80 c #Conflicts: 988000 | #Constraints: 31120 3600.00/3608.80 c #Conflicts: 989000 | #Constraints: 32120 3600.00/3608.80 c #Conflicts: 990000 | #Constraints: 33153 3600.00/3608.80 c #Conflicts: 991000 | #Constraints: 34153 3600.00/3608.80 c #Conflicts: 992000 | #Constraints: 35153 3600.00/3608.80 c #Conflicts: 993000 | #Constraints: 36153 3600.00/3608.80 c #Conflicts: 994000 | #Constraints: 37153 3600.00/3608.80 c #Conflicts: 995000 | #Constraints: 38153 3600.00/3608.80 c #Conflicts: 996000 | #Constraints: 39153 3600.00/3608.80 c #Conflicts: 997000 | #Constraints: 40153 3600.00/3608.80 c #Conflicts: 998000 | #Constraints: 41153 3600.00/3608.80 c #Conflicts: 999000 | #Constraints: 42153 3600.00/3608.80 c Program interrupted by user. 3600.00/3608.80 c cpu time 3588.01 s 3600.00/3608.80 c deterministic time 602046498837 6.02e+11 3600.00/3608.80 c optimization time 118 s 3600.00/3608.80 c total solve time 3470.01 s 3600.00/3608.80 c core-guided solve time 1708.58 s 3600.00/3608.80 c propagation time 3416.63 s 3600.00/3608.80 c conflict analysis time 150.936 s 3600.00/3608.80 c propagations 26206744 3600.00/3608.80 c resolve steps 6436122 3600.00/3608.80 c decisions 2051766 3600.00/3608.80 c conflicts 999624 3600.00/3608.80 c restarts 2045 3600.00/3608.80 c inprocessing phases 90 3600.00/3608.80 c input clauses 0 3600.00/3608.80 c input cardinalities 0 3600.00/3608.80 c input general constraints 70 3600.00/3608.80 c input average constraint length 90.71 3600.00/3608.80 c input average constraint degree 1777.14 3600.00/3608.80 c learned clauses 454578 3600.00/3608.80 c learned cardinalities 0 3600.00/3608.80 c learned general constraints 824472 3600.00/3608.80 c learned average constraint length 90.10 3600.00/3608.80 c learned average constraint degree 2041467215.99 3600.00/3608.80 c watched constraints 824075 3600.00/3608.80 c counting constraints 467 3600.00/3608.80 c gcd simplifications 407443 3600.00/3608.80 c detected cardinalities 0 3600.00/3608.80 c weakened non-implied lits 22371882 3600.00/3608.80 c weakened non-implying lits 668095 3600.00/3608.80 c original variables 172 3600.00/3608.80 c clausal propagations 291434 3600.00/3608.80 c cardinality propagations 0 3600.00/3608.80 c watched propagations 24862260 3600.00/3608.80 c counting propagations 414475 3600.00/3608.80 c watch lookups 28766910261 3600.00/3608.80 c watch backjump lookups 11454124152 3600.00/3608.80 c watch checks 524534488084 3600.00/3608.80 c propagation checks 36407942174 3600.00/3608.80 c constraint additions 824518702 3600.00/3608.80 c trail pops 29256416 3600.00/3608.80 c formula constraints 14 3600.00/3608.80 c learned constraints 998071 3600.00/3608.80 c bound constraints 56 3600.00/3608.80 c core-guided constraints 0 3600.00/3608.80 c encountered formula constraints 54933 3600.00/3608.80 c encountered learned constraints 2111234 3600.00/3608.80 c encountered bound constraints 420 3600.00/3608.80 c encountered core-guided constraints 0 3600.00/3608.80 c LP total time 56.8587 s 3600.00/3608.80 c LP solve time 33.75 s 3600.00/3608.80 c LP constraints added 176 3600.00/3608.80 c LP constraints removed 160 3600.00/3608.80 c LP pivots internal 999619 3600.00/3608.80 c LP pivots root 918 3600.00/3608.80 c LP calls 524193 3600.00/3608.80 c LP optimalities 244899 3600.00/3608.80 c LP no pivot count 108562 3600.00/3608.80 c LP infeasibilities 279285 3600.00/3608.80 c LP valid Farkas constraints 279282 3600.00/3608.80 c LP learned Farkas constraints 1552 3600.00/3608.80 c LP basis resets 9 3600.00/3608.80 c LP cycling count 0 3600.00/3608.80 c LP singular count 9 3600.00/3608.80 c LP no primal count 0 3600.00/3608.80 c LP no farkas count 0 3600.00/3608.80 c LP other issue count 0 3600.00/3608.80 c LP Gomory cuts 145 3600.00/3608.80 c LP learned cuts 17 3600.00/3608.80 c LP deleted cuts 160 3600.00/3608.80 c LP encountered Gomory constraints 7993 3600.00/3608.80 c LP encountered Farkas constraints 4868667 3600.00/3608.80 c LP encountered learned Farkas constraints 390947 3600.00/3608.80 c CG auxiliary variables introduced 0 3600.00/3608.80 c CG solutions found 56 3600.00/3608.80 c CG cores constructed 0 3600.00/3608.80 c CG core cardinality constraints returned 0 3600.00/3608.80 c CG unit cores 0 3600.00/3608.80 c CG single cores 0 3600.00/3608.80 c CG blocks removed during cardinality reduction 0 3600.00/3608.80 c CG first core best 0 3600.00/3608.80 c CG decision core best 0 3600.00/3608.80 c CG core reduction tie 0 3600.00/3608.80 c CG core degree average 0.00 3600.00/3608.80 c CG core slack average 0.00 3600.00/3608.80 s SATISFIABLE 3600.00/3608.80 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 x116 x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 -x127 -x128 x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 -x138 -x139 x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 x161 -x162 x163 x164 x165 x166 -x167 -x168 x169 -x170 -x171 -x172
OK 15
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 (60305 MiB free)
memory of node 1: 64473 MiB (60432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455174-1721459511/watcher-4455174-1721459511 -o /tmp/evaluation-result-4455174-1721459511/solver-4455174-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058594 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455174-1721459511.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1058653, runsolver pid=1058639
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 1.01 1.13 1.72 8/259 1058656
/proc/meminfo: memFree=123626560/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=37936 memory=9124 CPUtime=0.1 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 652 0 0 0 9 1 0 0 20 0 1 0 198121634 38846464 2281 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 9484 2281 1873 922 0 1436 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37936 KiB
Current children cumulated memory: 9124 KiB
[startup+0.206641 s]*
/proc/loadavg: 1.01 1.13 1.72 7/259 1058656
/proc/meminfo: memFree=123621368/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=38200 memory=10180 CPUtime=0.2 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 874 0 0 0 19 1 0 0 20 0 1 0 198121634 39116800 2545 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 9550 2545 1873 922 0 1502 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38200 KiB
Current children cumulated memory: 10180 KiB
[startup+0.305541 s]*
/proc/loadavg: 1.01 1.13 1.72 8/259 1058656
/proc/meminfo: memFree=123620556/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=38468 memory=10444 CPUtime=0.3 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 968 0 0 0 28 2 0 0 20 0 1 0 198121634 39391232 2611 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 9617 2611 1873 922 0 1569 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38468 KiB
Current children cumulated memory: 10444 KiB
[startup+0.700148 s]
/proc/loadavg: 1.01 1.13 1.72 9/259 1058656
/proc/meminfo: memFree=123617788/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=39012 memory=13544 CPUtime=0.69 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 1203 0 0 0 66 3 0 0 20 0 1 0 198121634 39948288 3386 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 9753 3386 1873 922 0 1705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39012 KiB
Current children cumulated memory: 13544 KiB
[startup+1.50014 s]
/proc/loadavg: 1.01 1.13 1.72 6/256 1058670
/proc/meminfo: memFree=123618416/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=39528 memory=14092 CPUtime=1.49 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 1332 0 0 0 144 5 0 0 20 0 1 0 198121634 40476672 3523 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 9882 3523 1873 922 0 1834 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39528 KiB
Current children cumulated memory: 14092 KiB
[startup+3.1061 s]
/proc/loadavg: 1.01 1.13 1.72 7/259 1058748
/proc/meminfo: memFree=123593640/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=40288 memory=14696 CPUtime=3.08 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 1495 0 0 0 299 9 0 0 20 0 1 0 198121634 41254912 3674 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 10072 3674 1873 922 0 2024 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40288 KiB
Current children cumulated memory: 14696 KiB
[startup+6.30014 s]
/proc/loadavg: 1.33 1.20 1.74 7/259 1058748
/proc/meminfo: memFree=123579660/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=41776 memory=16480 CPUtime=6.28 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 1924 0 0 0 610 18 0 0 20 0 1 0 198121634 42778624 4120 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 10444 4120 1873 922 0 2396 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41776 KiB
Current children cumulated memory: 16480 KiB
[startup+12.7001 s]
/proc/loadavg: 1.54 1.24 1.75 7/259 1058750
/proc/meminfo: memFree=123567632/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=45456 memory=20064 CPUtime=12.66 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 2310 0 0 0 1236 30 0 0 20 0 1 0 198121634 46546944 5016 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 11364 5016 1873 922 0 3316 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45456 KiB
Current children cumulated memory: 20064 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.79 7/259 1058752
/proc/meminfo: memFree=123553984/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=51992 memory=22128 CPUtime=25.44 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 2836 0 0 0 2496 48 0 0 20 0 1 0 198121634 53239808 5532 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 12998 5532 1873 922 0 4950 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 51992 KiB
Current children cumulated memory: 22128 KiB
[startup+51.1065 s]
/proc/loadavg: 2.82 1.61 1.85 7/259 1058758
/proc/meminfo: memFree=123542480/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=53052 memory=24308 CPUtime=50.99 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 3430 0 0 0 5019 80 0 0 20 0 1 0 198121634 54325248 6077 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 13263 6077 1873 922 0 5215 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 53052 KiB
Current children cumulated memory: 24308 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.97 7/259 1058766
/proc/meminfo: memFree=123504404/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=68804 memory=39232 CPUtime=102.06 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 5702 0 0 0 10065 141 0 0 20 0 1 0 198121634 70455296 9808 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 17201 9808 1873 922 0 9153 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 68804 KiB
Current children cumulated memory: 39232 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.11 7/259 1058778
/proc/meminfo: memFree=123490352/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=92868 memory=52092 CPUtime=161.9 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 8392 0 0 0 16003 187 0 0 20 0 1 0 198121634 95096832 13023 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 23217 13023 1873 922 0 15169 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 92868 KiB
Current children cumulated memory: 52092 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.72 2.25 7/259 1058788
/proc/meminfo: memFree=123463200/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=94788 memory=55880 CPUtime=221.75 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 8893 0 0 0 21936 239 0 0 20 0 1 0 198121634 97062912 13970 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 23697 13970 1873 922 0 15649 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 94788 KiB
Current children cumulated memory: 55880 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.36 7/256 1058798
/proc/meminfo: memFree=123440308/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=95428 memory=63532 CPUtime=281.57 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 9147 0 0 0 27884 273 0 0 20 0 1 0 198121634 97718272 15883 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 23857 15883 1995 922 0 15809 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 95428 KiB
Current children cumulated memory: 63532 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.47 7/254 1058810
/proc/meminfo: memFree=123430248/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=95428 memory=63680 CPUtime=341.44 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 9191 0 0 0 33829 315 0 0 20 0 1 0 198121634 97718272 15920 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 23857 15920 1995 922 0 15809 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 95428 KiB
Current children cumulated memory: 63680 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.38 2.59 7/254 1058820
/proc/meminfo: memFree=123428096/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=95940 memory=64324 CPUtime=401.3 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 9375 0 0 0 39783 347 0 0 20 0 1 0 198121634 98242560 16081 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 23985 16081 1995 922 0 15937 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 95940 KiB
Current children cumulated memory: 64324 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.68 7/254 1058830
/proc/meminfo: memFree=123420480/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=96164 memory=64320 CPUtime=461.15 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 9473 0 0 0 45746 369 0 0 20 0 1 0 198121634 98471936 16080 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 24041 16080 1995 922 0 15993 0
################
# More data... #
################
Current children cumulated memory: 109020 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.04 7/257 1060439
/proc/meminfo: memFree=123244240/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=143096 memory=109020 CPUtime=2855.28 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 15631 0 0 0 284482 1046 0 0 20 0 1 0 198121634 146530304 27255 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 35774 27255 1995 922 0 27726 0
Current children cumulated CPU time: 2855.28 s
Current children cumulated vsize: 143096 KiB
Current children cumulated memory: 109020 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.04 7/258 1060452
/proc/meminfo: memFree=123243352/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=143096 memory=109040 CPUtime=2915.13 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 15679 0 0 0 290455 1058 0 0 20 0 1 0 198121634 146530304 27260 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 35774 27260 1995 922 0 27726 0
Current children cumulated CPU time: 2915.13 s
Current children cumulated vsize: 143096 KiB
Current children cumulated memory: 109040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 7/257 1060475
/proc/meminfo: memFree=123242568/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=143096 memory=109040 CPUtime=2974.99 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 15724 0 0 0 296427 1072 0 0 20 0 1 0 198121634 146530304 27260 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 35774 27260 1995 922 0 27726 0
Current children cumulated CPU time: 2974.99 s
Current children cumulated vsize: 143096 KiB
Current children cumulated memory: 109040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.05 7/257 1060486
/proc/meminfo: memFree=123239708/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=143096 memory=109044 CPUtime=3034.85 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 15772 0 0 0 302400 1085 0 0 20 0 1 0 198121634 146530304 27261 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 35774 27261 1995 922 0 27726 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 143096 KiB
Current children cumulated memory: 109044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 7/256 1060497
/proc/meminfo: memFree=123232428/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=143792 memory=109564 CPUtime=3094.71 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16049 0 0 0 308375 1096 0 0 20 0 1 0 198121634 147243008 27391 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 35948 27391 1995 922 0 27900 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 143792 KiB
Current children cumulated memory: 109564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.05 7/255 1060509
/proc/meminfo: memFree=123230688/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144120 memory=109744 CPUtime=3154.56 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16147 0 0 0 314342 1114 0 0 20 0 1 0 198121634 147578880 27436 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36030 27436 1995 922 0 27982 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 144120 KiB
Current children cumulated memory: 109744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.05 7/255 1060522
/proc/meminfo: memFree=123230012/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144120 memory=109744 CPUtime=3214.43 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16188 0 0 0 320312 1131 0 0 20 0 1 0 198121634 147578880 27436 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36030 27436 1995 922 0 27982 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 144120 KiB
Current children cumulated memory: 109744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.06 7/255 1060532
/proc/meminfo: memFree=123229276/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144120 memory=109764 CPUtime=3274.28 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16227 0 0 0 326285 1143 0 0 20 0 1 0 198121634 147578880 27441 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36030 27441 1995 922 0 27982 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 144120 KiB
Current children cumulated memory: 109764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.06 7/255 1060543
/proc/meminfo: memFree=123234256/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144120 memory=109764 CPUtime=3334.14 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16270 0 0 0 332262 1152 0 0 20 0 1 0 198121634 147578880 27441 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36030 27441 1995 922 0 27982 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 144120 KiB
Current children cumulated memory: 109764 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 7/255 1060553
/proc/meminfo: memFree=123231168/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144376 memory=110020 CPUtime=3394 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16373 0 0 0 338236 1164 0 0 20 0 1 0 198121634 147841024 27505 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36094 27505 1995 922 0 28046 0
Current children cumulated CPU time: 3394 s
Current children cumulated vsize: 144376 KiB
Current children cumulated memory: 110020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.07 7/255 1060564
/proc/meminfo: memFree=123232396/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144376 memory=110020 CPUtime=3453.85 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16420 0 0 0 344209 1176 0 0 20 0 1 0 198121634 147841024 27505 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36094 27505 1995 922 0 28046 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 144376 KiB
Current children cumulated memory: 110020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.07 7/257 1060578
/proc/meminfo: memFree=123229152/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144376 memory=110608 CPUtime=3513.71 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16460 0 0 0 350183 1188 0 0 20 0 1 0 198121634 147841024 27652 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36094 27652 1995 922 0 28046 0
Current children cumulated CPU time: 3513.71 s
Current children cumulated vsize: 144376 KiB
Current children cumulated memory: 110608 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.08 7/257 1060589
/proc/meminfo: memFree=123228616/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144376 memory=110608 CPUtime=3573.57 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16502 0 0 0 356160 1197 0 0 20 0 1 0 198121634 147841024 27652 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36094 27652 1995 922 0 28046 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 144376 KiB
Current children cumulated memory: 110608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.32 4.16 4.09 7/257 1060595
/proc/meminfo: memFree=123224244/131524596 swapFree=131071996/131071996
[pid=1058653] ppid=1058639 vsize=144376 memory=110608 CPUtime=3600 cores=5,7
/proc/1058653/stat : 1058653 (roundingsat) R 1058639 1058653 1058581 0 -1 4194304 16503 0 0 0 358800 1200 0 0 20 0 1 0 198121634 147841024 27652 134679101440 4194304 7968373 140729449552640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 22851584 140729449558972 140729449559136 140729449559136 140729449566153 0
/proc/1058653/statm: 36094 27652 1995 922 0 28046 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 144376 KiB
Current children cumulated memory: 110608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.81 s]
# the end of solver process 1058653 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.01 s, system=12.0086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.81
CPU time (s): 3600.02
CPU user time (s): 3588.01
CPU system time (s): 12.0086
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 144376
Max. memory (cumulated for all children) (KiB): 110608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.01
system time used= 12.0086
maximum resident set size= 110608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 1702
# summary of solver processes directly reported to runsolver:
# pid: 1058653
# total CPU time (s): 3600.02
# total CPU user time (s): 3588.01
# total CPU system time (s): 12.0086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37322 second user time and 19.7412 second system time
The end
Begin job on nodeC034 at 2024-07-20 09:12:03 IDJOB=4455174 IDBENCH=147611 IDSOLVER=3084 FILE ID=nodeC034/4455174-1721459511 RUNJOBID= nodeC034-1721459523-1058594 SLURM_JOB_ID= 7545708 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455174-1721459511/watcher-4455174-1721459511 -o /tmp/evaluation-result-4455174-1721459511/solver-4455174-1721459511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058594 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455174-1721459511.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=2134040079 nodeC034.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 : 3378.908 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3502.461 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3523.481 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3481.577 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3441.743 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3578.292 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 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 : 3480.859 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 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 : 3328.206 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 123637220 kB MemAvailable: 129613544 kB Buffers: 546124 kB Cached: 6203172 kB SwapCached: 0 kB Active: 1104280 kB Inactive: 6004912 kB Active(anon): 1420 kB Inactive(anon): 404420 kB Active(file): 1102860 kB Inactive(file): 5600492 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21108 kB Writeback: 8 kB AnonPages: 359648 kB Mapped: 107824 kB Shmem: 45912 kB KReclaimable: 225588 kB Slab: 356560 kB SReclaimable: 225588 kB SUnreclaim: 130972 kB KernelStack: 3920 kB PageTables: 10156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 720296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74496 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 320212 kB DirectMap2M: 44541952 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890060 MiB End job on nodeC034 at 2024-07-20 10:12:12