| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 15 | 3600.09 | 3609.11 |
| 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 3571 >= 0 @ 0 0.00/0.00 c rational objective 0 0.20/0.25 c bounds 271 >= 0 @ 0.012018 0.20/0.25 c bounds 187 >= 0 @ 0.01228 0.20/0.25 c bounds 186 >= 0 @ 0.028404 0.20/0.25 c bounds 182 >= 0 @ 0.029593 0.20/0.25 c bounds 178 >= 0 @ 0.031796 0.20/0.25 c bounds 176 >= 0 @ 0.031915 0.20/0.25 c bounds 174 >= 0 @ 0.032208 0.20/0.25 c bounds 166 >= 0 @ 0.032781 0.20/0.25 c bounds 164 >= 0 @ 0.033446 0.20/0.25 c bounds 160 >= 0 @ 0.035554 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.59/0.65 c bounds 158 >= 0 @ 0.236406 0.59/0.65 c bounds 148 >= 0 @ 0.236807 0.59/0.65 c bounds 132 >= 0 @ 0.239715 0.59/0.65 c bounds 130 >= 0 @ 0.256528 0.59/0.65 c bounds 128 >= 0 @ 0.257358 0.59/0.65 c bounds 125 >= 0 @ 0.260352 0.59/0.65 c bounds 121 >= 0 @ 0.260352 0.59/0.65 c bounds 119 >= 0 @ 0.264142 0.59/0.65 c bounds 118 >= 0 @ 0.266731 0.59/0.65 c bounds 116 >= 0 @ 0.267234 0.59/0.65 c bounds 112 >= 0 @ 0.271548 0.59/0.65 c bounds 110 >= 0 @ 0.273457 0.59/0.65 c bounds 108 >= 0 @ 0.274845 0.59/0.65 c bounds 100 >= 0 @ 0.276093 0.59/0.65 c bounds 98 >= 0 @ 0.276962 0.59/0.65 c bounds 94 >= 0 @ 0.280505 0.59/0.65 c bounds 92 >= 0 @ 0.281627 0.59/0.65 c bounds 90 >= 0 @ 0.282453 0.59/0.65 c #Conflicts: 3000 | #Constraints: 2068 0.59/0.65 c bounds 88 >= 0 @ 0.436868 0.59/0.65 c #Conflicts: 4000 | #Constraints: 3085 0.59/0.65 c INPROCESSING 0.59/0.65 c GARBAGE COLLECT 0.59/0.65 c rational objective 0 1.19/1.20 c bounds 86 >= 0 @ 0.622756 1.19/1.20 c bounds 84 >= 0 @ 0.624031 1.19/1.20 c bounds 76 >= 0 @ 0.62743 1.19/1.20 c bounds 75 >= 0 @ 0.704397 1.19/1.20 c #Conflicts: 5000 | #Constraints: 2454 1.19/1.20 c #Conflicts: 6000 | #Constraints: 3460 1.19/1.20 c INPROCESSING 1.19/1.20 c GARBAGE COLLECT 1.19/1.20 c rational objective 0 1.78/1.85 c bounds 73 >= 0 @ 1.15233 1.78/1.85 c bounds 71 >= 0 @ 1.15266 1.78/1.85 c #Conflicts: 7000 | #Constraints: 2456 1.78/1.85 c bounds 59 >= 0 @ 1.45793 1.78/1.85 c #Conflicts: 8000 | #Constraints: 3465 1.78/1.85 c #Conflicts: 9000 | #Constraints: 4478 1.78/1.85 c bounds 58 >= 0 @ 1.72564 1.78/1.85 c INPROCESSING 1.78/1.85 c GARBAGE COLLECT 1.78/1.85 c rational objective 0 2.48/2.57 c #Conflicts: 10000 | #Constraints: 3155 2.48/2.57 c #Conflicts: 11000 | #Constraints: 4160 2.48/2.57 c #Conflicts: 12000 | #Constraints: 5166 2.48/2.57 c INPROCESSING 2.48/2.57 c GARBAGE COLLECT 2.48/2.57 c rational objective 0 3.38/3.42 c bounds 56 >= 0 @ 2.49298 3.38/3.42 c bounds 52 >= 0 @ 2.49413 3.38/3.42 c bounds 47 >= 0 @ 2.60538 3.38/3.42 c bounds 45 >= 0 @ 2.60787 3.38/3.42 c bounds 43 >= 0 @ 2.60999 3.38/3.42 c bounds 41 >= 0 @ 2.61209 3.38/3.42 c #Conflicts: 13000 | #Constraints: 3621 3.38/3.42 c #Conflicts: 14000 | #Constraints: 4636 3.38/3.42 c #Conflicts: 15000 | #Constraints: 5640 3.38/3.42 c INPROCESSING 3.38/3.42 c GARBAGE COLLECT 3.38/3.42 c rational objective 0 4.38/4.48 c #Conflicts: 16000 | #Constraints: 3848 4.38/4.48 c #Conflicts: 17000 | #Constraints: 4854 4.38/4.48 c #Conflicts: 18000 | #Constraints: 5858 4.38/4.48 c INPROCESSING 4.38/4.48 c GARBAGE COLLECT 4.38/4.48 c rational objective 0 5.68/5.71 c #Conflicts: 19000 | #Constraints: 3852 5.68/5.71 c bounds 40 >= 0 @ 4.88096 5.68/5.71 c bounds 36 >= 0 @ 4.88272 5.68/5.71 c bounds 34 >= 0 @ 4.88605 5.68/5.71 c #Conflicts: 20000 | #Constraints: 4865 5.68/5.71 c #Conflicts: 21000 | #Constraints: 5875 5.68/5.71 c INPROCESSING 5.68/5.71 c GARBAGE COLLECT 5.68/5.71 c rational objective 0 6.87/6.94 c #Conflicts: 22000 | #Constraints: 3663 6.87/6.94 c #Conflicts: 23000 | #Constraints: 4668 6.87/6.94 c #Conflicts: 24000 | #Constraints: 5673 6.87/6.94 c #Conflicts: 25000 | #Constraints: 6677 6.87/6.94 c INPROCESSING 6.87/6.94 c GARBAGE COLLECT 6.87/6.94 c rational objective 0 8.47/8.55 c #Conflicts: 26000 | #Constraints: 4265 8.47/8.55 c #Conflicts: 27000 | #Constraints: 5267 8.47/8.55 c #Conflicts: 28000 | #Constraints: 6271 8.47/8.55 c #Conflicts: 29000 | #Constraints: 7274 8.47/8.55 c INPROCESSING 8.47/8.55 c GARBAGE COLLECT 8.47/8.55 c rational objective 0 9.86/9.97 c #Conflicts: 30000 | #Constraints: 4664 9.86/9.97 c #Conflicts: 31000 | #Constraints: 5667 9.86/9.97 c #Conflicts: 32000 | #Constraints: 6668 9.86/9.97 c #Conflicts: 33000 | #Constraints: 7671 9.86/9.97 c INPROCESSING 9.86/9.97 c GARBAGE COLLECT 9.86/9.97 c rational objective 0 11.76/11.86 c #Conflicts: 34000 | #Constraints: 4856 11.76/11.86 c #Conflicts: 35000 | #Constraints: 5857 11.76/11.86 c bounds 31 >= 0 @ 10.6981 11.76/11.86 c #Conflicts: 36000 | #Constraints: 6861 11.76/11.86 c #Conflicts: 37000 | #Constraints: 7865 11.76/11.86 c INPROCESSING 11.76/11.86 c GARBAGE COLLECT 11.76/11.86 c rational objective 0 13.36/13.46 c #Conflicts: 38000 | #Constraints: 4844 13.36/13.46 c #Conflicts: 39000 | #Constraints: 5851 13.36/13.46 c #Conflicts: 40000 | #Constraints: 6855 13.36/13.46 c #Conflicts: 41000 | #Constraints: 7859 13.36/13.46 c INPROCESSING 13.36/13.46 c GARBAGE COLLECT 13.36/13.46 c rational objective 0 15.56/15.67 c #Conflicts: 42000 | #Constraints: 4649 15.56/15.67 c #Conflicts: 43000 | #Constraints: 5657 15.56/15.67 c bounds 29 >= 0 @ 13.8452 15.56/15.67 c #Conflicts: 44000 | #Constraints: 6666 15.56/15.67 c #Conflicts: 45000 | #Constraints: 7670 15.56/15.67 c #Conflicts: 46000 | #Constraints: 8676 15.56/15.67 c INPROCESSING 15.56/15.67 c GARBAGE COLLECT 15.56/15.67 c rational objective 0 17.55/17.60 c #Conflicts: 47000 | #Constraints: 5266 17.55/17.60 c #Conflicts: 48000 | #Constraints: 6275 17.55/17.60 c #Conflicts: 49000 | #Constraints: 7278 17.55/17.60 c #Conflicts: 50000 | #Constraints: 8279 17.55/17.60 c #Conflicts: 51000 | #Constraints: 9283 17.55/17.60 c INPROCESSING 17.55/17.60 c GARBAGE COLLECT 17.55/17.60 c rational objective 0 20.24/20.30 c #Conflicts: 52000 | #Constraints: 5658 20.24/20.30 c #Conflicts: 53000 | #Constraints: 6664 20.24/20.30 c #Conflicts: 54000 | #Constraints: 7666 20.24/20.30 c #Conflicts: 55000 | #Constraints: 8671 20.24/20.30 c #Conflicts: 56000 | #Constraints: 9671 20.24/20.30 c INPROCESSING 20.24/20.30 c GARBAGE COLLECT 20.24/20.30 c rational objective 0 22.44/22.56 c #Conflicts: 57000 | #Constraints: 5860 22.44/22.56 c #Conflicts: 58000 | #Constraints: 6867 22.44/22.56 c #Conflicts: 59000 | #Constraints: 7868 22.44/22.56 c #Conflicts: 60000 | #Constraints: 8871 22.44/22.56 c #Conflicts: 61000 | #Constraints: 9875 22.44/22.56 c INPROCESSING 22.44/22.56 c GARBAGE COLLECT 22.44/22.56 c rational objective 0 25.23/25.33 c #Conflicts: 62000 | #Constraints: 5856 25.23/25.33 c #Conflicts: 63000 | #Constraints: 6857 25.23/25.33 c #Conflicts: 64000 | #Constraints: 7861 25.23/25.33 c #Conflicts: 65000 | #Constraints: 8861 25.23/25.33 c #Conflicts: 66000 | #Constraints: 9863 25.23/25.33 c INPROCESSING 25.23/25.33 c GARBAGE COLLECT 25.23/25.33 c rational objective 0 28.53/28.68 c #Conflicts: 67000 | #Constraints: 5650 28.53/28.68 c #Conflicts: 68000 | #Constraints: 6657 28.53/28.68 c #Conflicts: 69000 | #Constraints: 7658 28.53/28.68 c #Conflicts: 70000 | #Constraints: 8665 28.53/28.68 c #Conflicts: 71000 | #Constraints: 9670 28.53/28.68 c bounds 27 >= 0 @ 27.691 28.53/28.68 c #Conflicts: 72000 | #Constraints: 10676 28.53/28.68 c INPROCESSING 28.53/28.68 c GARBAGE COLLECT 28.53/28.68 c rational objective 0 31.31/31.46 c #Conflicts: 73000 | #Constraints: 6255 31.31/31.46 c #Conflicts: 74000 | #Constraints: 7258 31.31/31.46 c #Conflicts: 75000 | #Constraints: 8263 31.31/31.46 c #Conflicts: 76000 | #Constraints: 9268 31.31/31.46 c #Conflicts: 77000 | #Constraints: 10269 31.31/31.46 c #Conflicts: 78000 | #Constraints: 11273 31.31/31.46 c INPROCESSING 31.31/31.46 c GARBAGE COLLECT 31.31/31.46 c rational objective 0 34.91/35.04 c bounds 25 >= 0 @ 30.8402 34.91/35.04 c #Conflicts: 79000 | #Constraints: 6665 34.91/35.04 c #Conflicts: 80000 | #Constraints: 7667 34.91/35.04 c #Conflicts: 81000 | #Constraints: 8673 34.91/35.04 c #Conflicts: 82000 | #Constraints: 9674 34.91/35.04 c #Conflicts: 83000 | #Constraints: 10676 34.91/35.04 c #Conflicts: 84000 | #Constraints: 11681 34.91/35.04 c INPROCESSING 34.91/35.04 c GARBAGE COLLECT 34.91/35.04 c rational objective 0 38.70/38.87 c #Conflicts: 85000 | #Constraints: 6873 38.70/38.87 c #Conflicts: 86000 | #Constraints: 7876 38.70/38.87 c #Conflicts: 87000 | #Constraints: 8878 38.70/38.87 c #Conflicts: 88000 | #Constraints: 9881 38.70/38.87 c #Conflicts: 89000 | #Constraints: 10882 38.70/38.87 c #Conflicts: 90000 | #Constraints: 11883 38.70/38.87 c INPROCESSING 38.70/38.87 c GARBAGE COLLECT 38.70/38.87 c rational objective 0 43.20/43.34 c #Conflicts: 91000 | #Constraints: 6862 43.20/43.34 c #Conflicts: 92000 | #Constraints: 7863 43.20/43.34 c #Conflicts: 93000 | #Constraints: 8863 43.20/43.34 c #Conflicts: 94000 | #Constraints: 9865 43.20/43.34 c #Conflicts: 95000 | #Constraints: 10868 43.20/43.34 c #Conflicts: 96000 | #Constraints: 11873 43.20/43.34 c INPROCESSING 43.20/43.34 c GARBAGE COLLECT 43.20/43.34 c rational objective 0 46.99/47.14 c #Conflicts: 97000 | #Constraints: 6662 46.99/47.14 c #Conflicts: 98000 | #Constraints: 7663 46.99/47.14 c #Conflicts: 99000 | #Constraints: 8664 46.99/47.14 c #Conflicts: 100000 | #Constraints: 9667 46.99/47.14 c #Conflicts: 101000 | #Constraints: 10670 46.99/47.14 c #Conflicts: 102000 | #Constraints: 11670 46.99/47.14 c #Conflicts: 103000 | #Constraints: 12672 46.99/47.14 c INPROCESSING 46.99/47.14 c GARBAGE COLLECT 46.99/47.14 c rational objective 0 52.27/52.42 c #Conflicts: 104000 | #Constraints: 7254 52.27/52.42 c #Conflicts: 105000 | #Constraints: 8258 52.27/52.42 c #Conflicts: 106000 | #Constraints: 9261 52.27/52.42 c #Conflicts: 107000 | #Constraints: 10262 52.27/52.42 c #Conflicts: 108000 | #Constraints: 11263 52.27/52.42 c #Conflicts: 109000 | #Constraints: 12266 52.27/52.42 c #Conflicts: 110000 | #Constraints: 13267 52.27/52.42 c INPROCESSING 52.27/52.42 c GARBAGE COLLECT 52.27/52.42 c rational objective 0 58.06/58.25 c #Conflicts: 111000 | #Constraints: 8228 58.06/58.25 c #Conflicts: 112000 | #Constraints: 9351 58.06/58.25 c #Conflicts: 113000 | #Constraints: 11044 58.06/58.25 c #Conflicts: 114000 | #Constraints: 12764 58.06/58.25 c #Conflicts: 115000 | #Constraints: 14400 58.06/58.25 c #Conflicts: 116000 | #Constraints: 15725 58.06/58.25 c #Conflicts: 117000 | #Constraints: 16949 58.06/58.25 c INPROCESSING 58.06/58.25 c GARBAGE COLLECT 58.06/58.25 c rational objective 0 67.13/67.31 c #Conflicts: 118000 | #Constraints: 10117 67.13/67.31 c #Conflicts: 119000 | #Constraints: 11793 67.13/67.31 c #Conflicts: 120000 | #Constraints: 13507 67.13/67.31 c #Conflicts: 121000 | #Constraints: 15225 67.13/67.31 c #Conflicts: 122000 | #Constraints: 16864 67.13/67.31 c bounds 24 >= 0 @ 63.6473 67.13/67.31 c #Conflicts: 123000 | #Constraints: 18524 67.13/67.31 c #Conflicts: 124000 | #Constraints: 20248 67.13/67.31 c INPROCESSING 67.13/67.31 c GARBAGE COLLECT 67.13/67.31 c rational objective 0 72.32/72.54 c #Conflicts: 125000 | #Constraints: 11120 72.32/72.54 c #Conflicts: 126000 | #Constraints: 12132 72.32/72.54 c #Conflicts: 127000 | #Constraints: 13144 72.32/72.54 c #Conflicts: 128000 | #Constraints: 14152 72.32/72.54 c #Conflicts: 129000 | #Constraints: 15157 72.32/72.54 c #Conflicts: 130000 | #Constraints: 16161 72.32/72.54 c #Conflicts: 131000 | #Constraints: 17166 72.32/72.54 c INPROCESSING 72.32/72.54 c GARBAGE COLLECT 72.32/72.54 c rational objective 0 79.50/79.79 c #Conflicts: 132000 | #Constraints: 9301 79.50/79.79 c #Conflicts: 133000 | #Constraints: 10361 79.50/79.79 c #Conflicts: 134000 | #Constraints: 11391 79.50/79.79 c #Conflicts: 135000 | #Constraints: 12399 79.50/79.79 c #Conflicts: 136000 | #Constraints: 13618 79.50/79.79 c #Conflicts: 137000 | #Constraints: 14702 79.50/79.79 c #Conflicts: 138000 | #Constraints: 15761 79.50/79.79 c #Conflicts: 139000 | #Constraints: 16837 79.50/79.79 c INPROCESSING 79.50/79.79 c GARBAGE COLLECT 79.50/79.79 c rational objective 0 87.78/88.03 c #Conflicts: 140000 | #Constraints: 9630 87.78/88.03 c #Conflicts: 141000 | #Constraints: 11231 87.78/88.03 c #Conflicts: 142000 | #Constraints: 12531 87.78/88.03 c #Conflicts: 143000 | #Constraints: 13604 87.78/88.03 c #Conflicts: 144000 | #Constraints: 14873 87.78/88.03 c #Conflicts: 145000 | #Constraints: 16306 87.78/88.03 c #Conflicts: 146000 | #Constraints: 17321 87.78/88.03 c #Conflicts: 147000 | #Constraints: 18471 87.78/88.03 c INPROCESSING 87.78/88.03 c GARBAGE COLLECT 87.78/88.03 c rational objective 0 97.55/97.85 c bounds 22 >= 0 @ 86.6263 97.55/97.85 c bounds 20 >= 0 @ 86.6343 97.55/97.85 c #Conflicts: 148000 | #Constraints: 10308 97.55/97.85 c #Conflicts: 149000 | #Constraints: 11609 97.55/97.85 c #Conflicts: 150000 | #Constraints: 12973 97.55/97.85 c #Conflicts: 151000 | #Constraints: 14127 97.55/97.85 c #Conflicts: 152000 | #Constraints: 15353 97.55/97.85 c #Conflicts: 153000 | #Constraints: 16713 97.55/97.85 c #Conflicts: 154000 | #Constraints: 17739 97.55/97.85 c #Conflicts: 155000 | #Constraints: 19387 97.55/97.85 c INPROCESSING 97.55/97.85 c GARBAGE COLLECT 97.55/97.85 c rational objective 0 106.13/106.40 c #Conflicts: 156000 | #Constraints: 11273 106.13/106.40 c #Conflicts: 157000 | #Constraints: 12762 106.13/106.40 c #Conflicts: 158000 | #Constraints: 13767 106.13/106.40 c #Conflicts: 159000 | #Constraints: 14912 106.13/106.40 c #Conflicts: 160000 | #Constraints: 15928 106.13/106.40 c #Conflicts: 161000 | #Constraints: 17521 106.13/106.40 c #Conflicts: 162000 | #Constraints: 18524 106.13/106.40 c #Conflicts: 163000 | #Constraints: 19802 106.13/106.40 c INPROCESSING 106.13/106.40 c GARBAGE COLLECT 106.13/106.40 c rational objective 0 119.30/119.61 c #Conflicts: 164000 | #Constraints: 11343 119.30/119.61 c #Conflicts: 165000 | #Constraints: 12978 119.30/119.61 c #Conflicts: 166000 | #Constraints: 14624 119.30/119.61 c #Conflicts: 167000 | #Constraints: 16268 119.30/119.61 c #Conflicts: 168000 | #Constraints: 17870 119.30/119.61 c #Conflicts: 169000 | #Constraints: 19436 119.30/119.61 c #Conflicts: 170000 | #Constraints: 21079 119.30/119.61 c #Conflicts: 171000 | #Constraints: 22653 119.30/119.61 c INPROCESSING 119.30/119.61 c GARBAGE COLLECT 119.30/119.61 c rational objective 0 129.18/129.57 c #Conflicts: 172000 | #Constraints: 12396 129.18/129.57 c #Conflicts: 173000 | #Constraints: 14010 129.18/129.57 c #Conflicts: 174000 | #Constraints: 15506 129.18/129.57 c #Conflicts: 175000 | #Constraints: 16841 129.18/129.57 c #Conflicts: 176000 | #Constraints: 18512 129.18/129.57 c #Conflicts: 177000 | #Constraints: 20265 129.18/129.57 c #Conflicts: 178000 | #Constraints: 22084 129.18/129.57 c #Conflicts: 179000 | #Constraints: 23849 129.18/129.57 c #Conflicts: 180000 | #Constraints: 25532 129.18/129.57 c INPROCESSING 129.18/129.57 c GARBAGE COLLECT 129.18/129.57 c rational objective 0 142.04/142.42 c #Conflicts: 181000 | #Constraints: 14101 142.04/142.42 c #Conflicts: 182000 | #Constraints: 15574 142.04/142.42 c #Conflicts: 183000 | #Constraints: 17286 142.04/142.42 c #Conflicts: 184000 | #Constraints: 19025 142.04/142.42 c #Conflicts: 185000 | #Constraints: 20736 142.04/142.42 c #Conflicts: 186000 | #Constraints: 22164 142.04/142.42 c #Conflicts: 187000 | #Constraints: 23897 142.04/142.42 c #Conflicts: 188000 | #Constraints: 25593 142.04/142.42 c #Conflicts: 189000 | #Constraints: 26599 142.04/142.42 c INPROCESSING 142.04/142.42 c GARBAGE COLLECT 142.04/142.42 c rational objective 0 161.29/161.70 c #Conflicts: 190000 | #Constraints: 14941 161.29/161.70 c #Conflicts: 191000 | #Constraints: 16613 161.29/161.70 c #Conflicts: 192000 | #Constraints: 18237 161.29/161.70 c #Conflicts: 193000 | #Constraints: 19839 161.29/161.70 c #Conflicts: 194000 | #Constraints: 21372 161.29/161.70 c #Conflicts: 195000 | #Constraints: 23004 161.29/161.70 c #Conflicts: 196000 | #Constraints: 24656 161.29/161.70 c #Conflicts: 197000 | #Constraints: 26271 161.29/161.70 c #Conflicts: 198000 | #Constraints: 27887 161.29/161.70 c INPROCESSING 161.29/161.70 c GARBAGE COLLECT 161.29/161.70 c rational objective 0 173.46/173.96 c #Conflicts: 199000 | #Constraints: 15480 173.46/173.96 c #Conflicts: 200000 | #Constraints: 17049 173.46/173.96 c #Conflicts: 201000 | #Constraints: 18622 173.46/173.96 c #Conflicts: 202000 | #Constraints: 20220 173.46/173.96 c #Conflicts: 203000 | #Constraints: 21784 173.46/173.96 c #Conflicts: 204000 | #Constraints: 23235 173.46/173.96 c #Conflicts: 205000 | #Constraints: 24853 173.46/173.96 c #Conflicts: 206000 | #Constraints: 26519 173.46/173.96 c #Conflicts: 207000 | #Constraints: 28225 173.46/173.96 c INPROCESSING 173.46/173.96 c GARBAGE COLLECT 173.46/173.96 c rational objective 0 190.41/190.94 c #Conflicts: 208000 | #Constraints: 15436 190.41/190.94 c #Conflicts: 209000 | #Constraints: 17134 190.41/190.94 c #Conflicts: 210000 | #Constraints: 18848 190.41/190.94 c #Conflicts: 211000 | #Constraints: 20594 190.41/190.94 c #Conflicts: 212000 | #Constraints: 22303 190.41/190.94 c #Conflicts: 213000 | #Constraints: 24042 190.41/190.94 c #Conflicts: 214000 | #Constraints: 25757 190.41/190.94 c #Conflicts: 215000 | #Constraints: 27447 190.41/190.94 c #Conflicts: 216000 | #Constraints: 28589 190.41/190.94 c INPROCESSING 190.41/190.94 c GARBAGE COLLECT 190.41/190.94 c rational objective 0 206.98/207.59 c #Conflicts: 217000 | #Constraints: 15243 206.98/207.59 c #Conflicts: 218000 | #Constraints: 16250 206.98/207.59 c #Conflicts: 219000 | #Constraints: 17259 206.98/207.59 c #Conflicts: 220000 | #Constraints: 18264 206.98/207.59 c #Conflicts: 221000 | #Constraints: 19269 206.98/207.59 c #Conflicts: 222000 | #Constraints: 20272 206.98/207.59 c #Conflicts: 223000 | #Constraints: 21278 206.98/207.59 c bounds 19 >= 0 @ 199.867 206.98/207.59 c #Conflicts: 224000 | #Constraints: 22281 206.98/207.59 c #Conflicts: 225000 | #Constraints: 23282 206.98/207.59 c #Conflicts: 226000 | #Constraints: 24284 206.98/207.59 c INPROCESSING 206.98/207.59 c GARBAGE COLLECT 206.98/207.59 c rational objective 0 225.53/226.18 c #Conflicts: 227000 | #Constraints: 13180 225.53/226.18 c #Conflicts: 228000 | #Constraints: 14301 225.53/226.18 c #Conflicts: 229000 | #Constraints: 15686 225.53/226.18 c #Conflicts: 230000 | #Constraints: 16898 225.53/226.18 c #Conflicts: 231000 | #Constraints: 18203 225.53/226.18 c #Conflicts: 232000 | #Constraints: 19356 225.53/226.18 c #Conflicts: 233000 | #Constraints: 20643 225.53/226.18 c #Conflicts: 234000 | #Constraints: 21879 225.53/226.18 c #Conflicts: 235000 | #Constraints: 22982 225.53/226.18 c #Conflicts: 236000 | #Constraints: 24258 225.53/226.18 c INPROCESSING 225.53/226.18 c GARBAGE COLLECT 225.53/226.18 c rational objective 0 244.18/244.82 c #Conflicts: 237000 | #Constraints: 13712 244.18/244.82 c #Conflicts: 238000 | #Constraints: 15391 244.18/244.82 c #Conflicts: 239000 | #Constraints: 17077 244.18/244.82 c #Conflicts: 240000 | #Constraints: 18746 244.18/244.82 c #Conflicts: 241000 | #Constraints: 20468 244.18/244.82 c #Conflicts: 242000 | #Constraints: 22156 244.18/244.82 c #Conflicts: 243000 | #Constraints: 23821 244.18/244.82 c #Conflicts: 244000 | #Constraints: 25438 244.18/244.82 c #Conflicts: 245000 | #Constraints: 27096 244.18/244.82 c #Conflicts: 246000 | #Constraints: 28807 244.18/244.82 c INPROCESSING 244.18/244.82 c GARBAGE COLLECT 244.18/244.82 c rational objective 0 266.33/267.01 c #Conflicts: 247000 | #Constraints: 15429 266.33/267.01 c #Conflicts: 248000 | #Constraints: 16433 266.33/267.01 c #Conflicts: 249000 | #Constraints: 17436 266.33/267.01 c #Conflicts: 250000 | #Constraints: 18437 266.33/267.01 c #Conflicts: 251000 | #Constraints: 19438 266.33/267.01 c #Conflicts: 252000 | #Constraints: 20442 266.33/267.01 c #Conflicts: 253000 | #Constraints: 21442 266.33/267.01 c #Conflicts: 254000 | #Constraints: 22443 266.33/267.01 c #Conflicts: 255000 | #Constraints: 23446 266.33/267.01 c #Conflicts: 256000 | #Constraints: 24446 266.33/267.01 c INPROCESSING 266.33/267.01 c GARBAGE COLLECT 266.33/267.01 c rational objective 0 281.49/282.27 c #Conflicts: 257000 | #Constraints: 13409 281.49/282.27 c #Conflicts: 258000 | #Constraints: 14526 281.49/282.27 c #Conflicts: 259000 | #Constraints: 15584 281.49/282.27 c #Conflicts: 260000 | #Constraints: 16656 281.49/282.27 c #Conflicts: 261000 | #Constraints: 17913 281.49/282.27 c #Conflicts: 262000 | #Constraints: 18913 281.49/282.27 c #Conflicts: 263000 | #Constraints: 19964 281.49/282.27 c #Conflicts: 264000 | #Constraints: 21013 281.49/282.27 c #Conflicts: 265000 | #Constraints: 22180 281.49/282.27 c #Conflicts: 266000 | #Constraints: 23626 281.49/282.27 c INPROCESSING 281.49/282.27 c GARBAGE COLLECT 281.49/282.27 c rational objective 0 295.87/296.65 c #Conflicts: 267000 | #Constraints: 12534 295.87/296.65 c #Conflicts: 268000 | #Constraints: 13538 295.87/296.65 c #Conflicts: 269000 | #Constraints: 14540 295.87/296.65 c #Conflicts: 270000 | #Constraints: 15542 295.87/296.65 c #Conflicts: 271000 | #Constraints: 16544 295.87/296.65 c #Conflicts: 272000 | #Constraints: 17544 295.87/296.65 c #Conflicts: 273000 | #Constraints: 18545 295.87/296.65 c #Conflicts: 274000 | #Constraints: 19545 295.87/296.65 c #Conflicts: 275000 | #Constraints: 20546 295.87/296.65 c #Conflicts: 276000 | #Constraints: 21546 295.87/296.65 c #Conflicts: 277000 | #Constraints: 22547 295.87/296.65 c INPROCESSING 295.87/296.65 c GARBAGE COLLECT 295.87/296.65 c rational objective 0 317.11/317.99 c #Conflicts: 278000 | #Constraints: 12308 317.11/317.99 c #Conflicts: 279000 | #Constraints: 13452 317.11/317.99 c #Conflicts: 280000 | #Constraints: 14525 317.11/317.99 c #Conflicts: 281000 | #Constraints: 15543 317.11/317.99 c #Conflicts: 282000 | #Constraints: 16543 317.11/317.99 c #Conflicts: 283000 | #Constraints: 17582 317.11/317.99 c #Conflicts: 284000 | #Constraints: 18584 317.11/317.99 c #Conflicts: 285000 | #Constraints: 19650 317.11/317.99 c #Conflicts: 286000 | #Constraints: 20709 317.11/317.99 c bounds 17 >= 0 @ 312.446 317.11/317.99 c #Conflicts: 287000 | #Constraints: 21821 317.11/317.99 c #Conflicts: 288000 | #Constraints: 22821 317.11/317.99 c INPROCESSING 317.11/317.99 c GARBAGE COLLECT 317.11/317.99 c rational objective 0 332.19/333.04 c #Conflicts: 289000 | #Constraints: 12671 332.19/333.04 c #Conflicts: 290000 | #Constraints: 13776 332.19/333.04 c #Conflicts: 291000 | #Constraints: 14779 332.19/333.04 c #Conflicts: 292000 | #Constraints: 15781 332.19/333.04 c #Conflicts: 293000 | #Constraints: 16910 332.19/333.04 c #Conflicts: 294000 | #Constraints: 17913 332.19/333.04 c #Conflicts: 295000 | #Constraints: 18913 332.19/333.04 c #Conflicts: 296000 | #Constraints: 19914 332.19/333.04 c #Conflicts: 297000 | #Constraints: 20926 332.19/333.04 c #Conflicts: 298000 | #Constraints: 21987 332.19/333.04 c #Conflicts: 299000 | #Constraints: 23155 332.19/333.04 c INPROCESSING 332.19/333.04 c GARBAGE COLLECT 332.19/333.04 c rational objective 0 360.61/361.51 c #Conflicts: 300000 | #Constraints: 13271 360.61/361.51 c #Conflicts: 301000 | #Constraints: 14943 360.61/361.51 c #Conflicts: 302000 | #Constraints: 16687 360.61/361.51 c #Conflicts: 303000 | #Constraints: 18408 360.61/361.51 c #Conflicts: 304000 | #Constraints: 20102 360.61/361.51 c bounds 15 >= 0 @ 342.619 360.61/361.51 c #Conflicts: 305000 | #Constraints: 21422 360.61/361.51 c #Conflicts: 306000 | #Constraints: 22507 360.61/361.51 c #Conflicts: 307000 | #Constraints: 24168 360.61/361.51 c #Conflicts: 308000 | #Constraints: 25790 360.61/361.51 c #Conflicts: 309000 | #Constraints: 27435 360.61/361.51 c #Conflicts: 310000 | #Constraints: 29129 360.61/361.51 c INPROCESSING 360.61/361.51 c GARBAGE COLLECT 360.61/361.51 c rational objective 0 390.64/391.61 c #Conflicts: 311000 | #Constraints: 15949 390.64/391.61 c #Conflicts: 312000 | #Constraints: 17088 390.64/391.61 c #Conflicts: 313000 | #Constraints: 18177 390.64/391.61 c #Conflicts: 314000 | #Constraints: 19531 390.64/391.61 c #Conflicts: 315000 | #Constraints: 21152 390.64/391.61 c #Conflicts: 316000 | #Constraints: 22178 390.64/391.61 c #Conflicts: 317000 | #Constraints: 23179 390.64/391.61 c #Conflicts: 318000 | #Constraints: 24256 390.64/391.61 c #Conflicts: 319000 | #Constraints: 25977 390.64/391.61 c #Conflicts: 320000 | #Constraints: 27348 390.64/391.61 c #Conflicts: 321000 | #Constraints: 29057 390.64/391.61 c INPROCESSING 390.64/391.61 c GARBAGE COLLECT 390.64/391.61 c rational objective 0 419.18/420.23 c #Conflicts: 322000 | #Constraints: 15622 419.18/420.23 c #Conflicts: 323000 | #Constraints: 17072 419.18/420.23 c #Conflicts: 324000 | #Constraints: 18448 419.18/420.23 c #Conflicts: 325000 | #Constraints: 20073 419.18/420.23 c #Conflicts: 326000 | #Constraints: 21874 419.18/420.23 c #Conflicts: 327000 | #Constraints: 23454 419.18/420.23 c #Conflicts: 328000 | #Constraints: 24743 419.18/420.23 c #Conflicts: 329000 | #Constraints: 26313 419.18/420.23 c #Conflicts: 330000 | #Constraints: 27501 419.18/420.23 c #Conflicts: 331000 | #Constraints: 28504 419.18/420.23 c #Conflicts: 332000 | #Constraints: 29545 419.18/420.23 c #Conflicts: 333000 | #Constraints: 30546 419.18/420.23 c INPROCESSING 419.18/420.23 c GARBAGE COLLECT 419.18/420.23 c rational objective 0 462.88/464.09 c #Conflicts: 334000 | #Constraints: 16682 462.88/464.09 c #Conflicts: 335000 | #Constraints: 17984 462.88/464.09 c #Conflicts: 336000 | #Constraints: 19273 462.88/464.09 c #Conflicts: 337000 | #Constraints: 20711 462.88/464.09 c #Conflicts: 338000 | #Constraints: 21924 462.88/464.09 c #Conflicts: 339000 | #Constraints: 23399 462.88/464.09 c #Conflicts: 340000 | #Constraints: 25108 462.88/464.09 c #Conflicts: 341000 | #Constraints: 26698 462.88/464.09 c #Conflicts: 342000 | #Constraints: 28356 462.88/464.09 c #Conflicts: 343000 | #Constraints: 29364 462.88/464.09 c #Conflicts: 344000 | #Constraints: 30683 462.88/464.09 c #Conflicts: 345000 | #Constraints: 32271 462.88/464.09 c INPROCESSING 462.88/464.09 c GARBAGE COLLECT 462.88/464.09 c rational objective 0 499.68/500.96 c #Conflicts: 346000 | #Constraints: 17832 499.68/500.96 c #Conflicts: 347000 | #Constraints: 19541 499.68/500.96 c #Conflicts: 348000 | #Constraints: 21221 499.68/500.96 c #Conflicts: 349000 | #Constraints: 22907 499.68/500.96 c #Conflicts: 350000 | #Constraints: 24131 499.68/500.96 c #Conflicts: 351000 | #Constraints: 25132 499.68/500.96 c #Conflicts: 352000 | #Constraints: 26136 499.68/500.96 c #Conflicts: 353000 | #Constraints: 27140 499.68/500.96 c #Conflicts: 354000 | #Constraints: 28836 499.68/500.96 c #Conflicts: 355000 | #Constraints: 30008 499.68/500.96 c #Conflicts: 356000 | #Constraints: 31739 499.68/500.96 c #Conflicts: 357000 | #Constraints: 32892 499.68/500.96 c INPROCESSING 499.68/500.96 c GARBAGE COLLECT 499.68/500.96 c rational objective 0 557.55/558.92 c #Conflicts: 358000 | #Constraints: 18150 557.55/558.92 c #Conflicts: 359000 | #Constraints: 19881 557.55/558.92 c #Conflicts: 360000 | #Constraints: 21614 557.55/558.92 c #Conflicts: 361000 | #Constraints: 23328 557.55/558.92 c #Conflicts: 362000 | #Constraints: 24997 557.55/558.92 c #Conflicts: 363000 | #Constraints: 26656 557.55/558.92 c #Conflicts: 364000 | #Constraints: 28300 557.55/558.92 c #Conflicts: 365000 | #Constraints: 29920 557.55/558.92 c #Conflicts: 366000 | #Constraints: 31585 557.55/558.92 c #Conflicts: 367000 | #Constraints: 33267 557.55/558.92 c #Conflicts: 368000 | #Constraints: 34924 557.55/558.92 c #Conflicts: 369000 | #Constraints: 36623 557.55/558.92 c INPROCESSING 557.55/558.92 c GARBAGE COLLECT 557.55/558.92 c rational objective 0 602.65/604.17 c #Conflicts: 370000 | #Constraints: 19826 602.65/604.17 c #Conflicts: 371000 | #Constraints: 21473 602.65/604.17 c #Conflicts: 372000 | #Constraints: 23136 602.65/604.17 c #Conflicts: 373000 | #Constraints: 24795 602.65/604.17 c #Conflicts: 374000 | #Constraints: 26480 602.65/604.17 c #Conflicts: 375000 | #Constraints: 28143 602.65/604.17 c #Conflicts: 376000 | #Constraints: 29819 602.65/604.17 c #Conflicts: 377000 | #Constraints: 31319 602.65/604.17 c #Conflicts: 378000 | #Constraints: 32992 602.65/604.17 c #Conflicts: 379000 | #Constraints: 34674 602.65/604.17 c #Conflicts: 380000 | #Constraints: 36403 602.65/604.17 c #Conflicts: 381000 | #Constraints: 38050 602.65/604.17 c INPROCESSING 602.65/604.17 c GARBAGE COLLECT 602.65/604.17 c rational objective 0 645.34/646.92 c #Conflicts: 382000 | #Constraints: 20238 645.34/646.92 c #Conflicts: 383000 | #Constraints: 21474 645.34/646.92 c #Conflicts: 384000 | #Constraints: 22773 645.34/646.92 c #Conflicts: 385000 | #Constraints: 24106 645.34/646.92 c #Conflicts: 386000 | #Constraints: 25379 645.34/646.92 c #Conflicts: 387000 | #Constraints: 26914 645.34/646.92 c #Conflicts: 388000 | #Constraints: 28621 645.34/646.92 c #Conflicts: 389000 | #Constraints: 30277 645.34/646.92 c #Conflicts: 390000 | #Constraints: 32023 645.34/646.92 c #Conflicts: 391000 | #Constraints: 33750 645.34/646.92 c #Conflicts: 392000 | #Constraints: 35455 645.34/646.92 c #Conflicts: 393000 | #Constraints: 36886 645.34/646.92 c #Conflicts: 394000 | #Constraints: 37886 645.34/646.92 c INPROCESSING 645.34/646.92 c GARBAGE COLLECT 645.34/646.92 c rational objective 0 712.88/714.65 c #Conflicts: 395000 | #Constraints: 20371 712.88/714.65 c #Conflicts: 396000 | #Constraints: 22038 712.88/714.65 c #Conflicts: 397000 | #Constraints: 23695 712.88/714.65 c #Conflicts: 398000 | #Constraints: 25364 712.88/714.65 c #Conflicts: 399000 | #Constraints: 27046 712.88/714.65 c #Conflicts: 400000 | #Constraints: 28708 712.88/714.65 c #Conflicts: 401000 | #Constraints: 30345 712.88/714.65 c #Conflicts: 402000 | #Constraints: 31975 712.88/714.65 c #Conflicts: 403000 | #Constraints: 33672 712.88/714.65 c #Conflicts: 404000 | #Constraints: 35369 712.88/714.65 c #Conflicts: 405000 | #Constraints: 37126 712.88/714.65 c #Conflicts: 406000 | #Constraints: 38788 712.88/714.65 c #Conflicts: 407000 | #Constraints: 40176 712.88/714.65 c INPROCESSING 712.88/714.65 c GARBAGE COLLECT 712.88/714.65 c rational objective 0 743.11/744.92 c #Conflicts: 408000 | #Constraints: 21118 743.11/744.92 c #Conflicts: 409000 | #Constraints: 22126 743.11/744.92 c #Conflicts: 410000 | #Constraints: 23128 743.11/744.92 c #Conflicts: 411000 | #Constraints: 24134 743.11/744.92 c #Conflicts: 412000 | #Constraints: 25140 743.11/744.92 c #Conflicts: 413000 | #Constraints: 26141 743.11/744.92 c #Conflicts: 414000 | #Constraints: 27142 743.11/744.92 c #Conflicts: 415000 | #Constraints: 28145 743.11/744.92 c #Conflicts: 416000 | #Constraints: 29147 743.11/744.92 c #Conflicts: 417000 | #Constraints: 30147 743.11/744.92 c #Conflicts: 418000 | #Constraints: 31152 743.11/744.92 c #Conflicts: 419000 | #Constraints: 32155 743.11/744.92 c #Conflicts: 420000 | #Constraints: 33155 743.11/744.92 c INPROCESSING 743.11/744.92 c GARBAGE COLLECT 743.11/744.92 c rational objective 0 790.70/792.63 c #Conflicts: 421000 | #Constraints: 17742 790.70/792.63 c #Conflicts: 422000 | #Constraints: 18750 790.70/792.63 c #Conflicts: 423000 | #Constraints: 19753 790.70/792.63 c #Conflicts: 424000 | #Constraints: 20872 790.70/792.63 c #Conflicts: 425000 | #Constraints: 21894 790.70/792.63 c #Conflicts: 426000 | #Constraints: 23003 790.70/792.63 c #Conflicts: 427000 | #Constraints: 24033 790.70/792.63 c #Conflicts: 428000 | #Constraints: 25157 790.70/792.63 c #Conflicts: 429000 | #Constraints: 26164 790.70/792.63 c #Conflicts: 430000 | #Constraints: 27235 790.70/792.63 c #Conflicts: 431000 | #Constraints: 28235 790.70/792.63 c #Conflicts: 432000 | #Constraints: 29251 790.70/792.63 c #Conflicts: 433000 | #Constraints: 30325 790.70/792.63 c INPROCESSING 790.70/792.63 c GARBAGE COLLECT 790.70/792.63 c rational objective 0 831.51/833.50 c #Conflicts: 434000 | #Constraints: 16410 831.51/833.50 c #Conflicts: 435000 | #Constraints: 17588 831.51/833.50 c #Conflicts: 436000 | #Constraints: 18617 831.51/833.50 c #Conflicts: 437000 | #Constraints: 19858 831.51/833.50 c #Conflicts: 438000 | #Constraints: 21367 831.51/833.50 c #Conflicts: 439000 | #Constraints: 22466 831.51/833.50 c #Conflicts: 440000 | #Constraints: 23625 831.51/833.50 c #Conflicts: 441000 | #Constraints: 24922 831.51/833.50 c #Conflicts: 442000 | #Constraints: 26090 831.51/833.50 c #Conflicts: 443000 | #Constraints: 27477 831.51/833.50 c #Conflicts: 444000 | #Constraints: 28539 831.51/833.50 c #Conflicts: 445000 | #Constraints: 29780 831.51/833.50 c #Conflicts: 446000 | #Constraints: 31185 831.51/833.50 c INPROCESSING 831.51/833.50 c GARBAGE COLLECT 831.51/833.50 c rational objective 0 891.55/893.79 c #Conflicts: 447000 | #Constraints: 16471 891.55/893.79 c #Conflicts: 448000 | #Constraints: 18238 891.55/893.79 c #Conflicts: 449000 | #Constraints: 19916 891.55/893.79 c #Conflicts: 450000 | #Constraints: 21601 891.55/893.79 c #Conflicts: 451000 | #Constraints: 23418 891.55/893.79 c #Conflicts: 452000 | #Constraints: 24950 891.55/893.79 c #Conflicts: 453000 | #Constraints: 26642 891.55/893.79 c #Conflicts: 454000 | #Constraints: 28443 891.55/893.79 c #Conflicts: 455000 | #Constraints: 29976 891.55/893.79 c #Conflicts: 456000 | #Constraints: 31568 891.55/893.79 c #Conflicts: 457000 | #Constraints: 33352 891.55/893.79 c #Conflicts: 458000 | #Constraints: 35030 891.55/893.79 c #Conflicts: 459000 | #Constraints: 36733 891.55/893.79 c #Conflicts: 460000 | #Constraints: 38524 891.55/893.79 c INPROCESSING 891.55/893.79 c GARBAGE COLLECT 891.55/893.79 c rational objective 0 964.47/966.81 c #Conflicts: 461000 | #Constraints: 20331 964.47/966.81 c #Conflicts: 462000 | #Constraints: 21721 964.47/966.81 c #Conflicts: 463000 | #Constraints: 23270 964.47/966.81 c #Conflicts: 464000 | #Constraints: 24902 964.47/966.81 c #Conflicts: 465000 | #Constraints: 26528 964.47/966.81 c #Conflicts: 466000 | #Constraints: 27921 964.47/966.81 c #Conflicts: 467000 | #Constraints: 29617 964.47/966.81 c #Conflicts: 468000 | #Constraints: 31132 964.47/966.81 c #Conflicts: 469000 | #Constraints: 32722 964.47/966.81 c #Conflicts: 470000 | #Constraints: 34206 964.47/966.81 c #Conflicts: 471000 | #Constraints: 35733 964.47/966.81 c #Conflicts: 472000 | #Constraints: 36840 964.47/966.81 c #Conflicts: 473000 | #Constraints: 38245 964.47/966.81 c #Conflicts: 474000 | #Constraints: 39570 964.47/966.81 c INPROCESSING 964.47/966.81 c GARBAGE COLLECT 964.47/966.81 c rational objective 0 1003.58/1006.09 c #Conflicts: 475000 | #Constraints: 20820 1003.58/1006.09 c #Conflicts: 476000 | #Constraints: 21822 1003.58/1006.09 c #Conflicts: 477000 | #Constraints: 22824 1003.58/1006.09 c #Conflicts: 478000 | #Constraints: 23827 1003.58/1006.09 c #Conflicts: 479000 | #Constraints: 24829 1003.58/1006.09 c #Conflicts: 480000 | #Constraints: 25832 1003.58/1006.09 c #Conflicts: 481000 | #Constraints: 26833 1003.58/1006.09 c #Conflicts: 482000 | #Constraints: 27834 1003.58/1006.09 c #Conflicts: 483000 | #Constraints: 28836 1003.58/1006.09 c #Conflicts: 484000 | #Constraints: 29836 1003.58/1006.09 c #Conflicts: 485000 | #Constraints: 30836 1003.58/1006.09 c #Conflicts: 486000 | #Constraints: 31837 1003.58/1006.09 c #Conflicts: 487000 | #Constraints: 32839 1003.58/1006.09 c #Conflicts: 488000 | #Constraints: 33840 1003.58/1006.09 c INPROCESSING 1003.58/1006.09 c GARBAGE COLLECT 1003.58/1006.09 c rational objective 0 1070.51/1073.18 c #Conflicts: 489000 | #Constraints: 17941 1070.51/1073.18 c #Conflicts: 490000 | #Constraints: 19071 1070.51/1073.18 c #Conflicts: 491000 | #Constraints: 20765 1070.51/1073.18 c #Conflicts: 492000 | #Constraints: 22450 1070.51/1073.18 c #Conflicts: 493000 | #Constraints: 24168 1070.51/1073.18 c #Conflicts: 494000 | #Constraints: 25872 1070.51/1073.18 c #Conflicts: 495000 | #Constraints: 27588 1070.51/1073.18 c #Conflicts: 496000 | #Constraints: 29300 1070.51/1073.18 c #Conflicts: 497000 | #Constraints: 30980 1070.51/1073.18 c #Conflicts: 498000 | #Constraints: 32651 1070.51/1073.18 c #Conflicts: 499000 | #Constraints: 34305 1070.51/1073.18 c #Conflicts: 500000 | #Constraints: 35997 1070.51/1073.18 c #Conflicts: 501000 | #Constraints: 37683 1070.51/1073.18 c #Conflicts: 502000 | #Constraints: 39387 1070.51/1073.18 c INPROCESSING 1070.51/1073.18 c GARBAGE COLLECT 1070.51/1073.18 c rational objective 0 1123.46/1126.27 c #Conflicts: 503000 | #Constraints: 20801 1123.46/1126.27 c #Conflicts: 504000 | #Constraints: 22475 1123.46/1126.27 c #Conflicts: 505000 | #Constraints: 24039 1123.46/1126.27 c #Conflicts: 506000 | #Constraints: 25628 1123.46/1126.27 c #Conflicts: 507000 | #Constraints: 27052 1123.46/1126.27 c #Conflicts: 508000 | #Constraints: 28649 1123.46/1126.27 c #Conflicts: 509000 | #Constraints: 30138 1123.46/1126.27 c #Conflicts: 510000 | #Constraints: 31435 1123.46/1126.27 c #Conflicts: 511000 | #Constraints: 32711 1123.46/1126.27 c #Conflicts: 512000 | #Constraints: 34026 1123.46/1126.27 c #Conflicts: 513000 | #Constraints: 35026 1123.46/1126.27 c #Conflicts: 514000 | #Constraints: 36118 1123.46/1126.27 c #Conflicts: 515000 | #Constraints: 37750 1123.46/1126.27 c #Conflicts: 516000 | #Constraints: 39408 1123.46/1126.27 c INPROCESSING 1123.46/1126.27 c GARBAGE COLLECT 1123.46/1126.27 c rational objective 0 1204.93/1207.92 c #Conflicts: 517000 | #Constraints: 20641 1204.93/1207.92 c #Conflicts: 518000 | #Constraints: 22124 1204.93/1207.92 c #Conflicts: 519000 | #Constraints: 23825 1204.93/1207.92 c #Conflicts: 520000 | #Constraints: 25137 1204.93/1207.92 c #Conflicts: 521000 | #Constraints: 26396 1204.93/1207.92 c #Conflicts: 522000 | #Constraints: 27885 1204.93/1207.92 c #Conflicts: 523000 | #Constraints: 29487 1204.93/1207.92 c #Conflicts: 524000 | #Constraints: 31190 1204.93/1207.92 c #Conflicts: 525000 | #Constraints: 32834 1204.93/1207.92 c #Conflicts: 526000 | #Constraints: 34494 1204.93/1207.92 c #Conflicts: 527000 | #Constraints: 35813 1204.93/1207.92 c #Conflicts: 528000 | #Constraints: 37236 1204.93/1207.92 c #Conflicts: 529000 | #Constraints: 38689 1204.93/1207.92 c #Conflicts: 530000 | #Constraints: 40311 1204.93/1207.92 c #Conflicts: 531000 | #Constraints: 41746 1204.93/1207.92 c INPROCESSING 1204.93/1207.92 c GARBAGE COLLECT 1204.93/1207.92 c rational objective 0 1245.33/1248.48 c #Conflicts: 532000 | #Constraints: 21797 1245.33/1248.48 c #Conflicts: 533000 | #Constraints: 22800 1245.33/1248.48 c #Conflicts: 534000 | #Constraints: 23802 1245.33/1248.48 c #Conflicts: 535000 | #Constraints: 24802 1245.33/1248.48 c #Conflicts: 536000 | #Constraints: 25804 1245.33/1248.48 c #Conflicts: 537000 | #Constraints: 26805 1245.33/1248.48 c #Conflicts: 538000 | #Constraints: 27805 1245.33/1248.48 c #Conflicts: 539000 | #Constraints: 28808 1245.33/1248.48 c #Conflicts: 540000 | #Constraints: 29809 1245.33/1248.48 c #Conflicts: 541000 | #Constraints: 30809 1245.33/1248.48 c #Conflicts: 542000 | #Constraints: 31814 1245.33/1248.48 c #Conflicts: 543000 | #Constraints: 32817 1245.33/1248.48 c #Conflicts: 544000 | #Constraints: 33818 1245.33/1248.48 c #Conflicts: 545000 | #Constraints: 34818 1245.33/1248.48 c #Conflicts: 546000 | #Constraints: 35820 1245.33/1248.48 c INPROCESSING 1245.33/1248.48 c GARBAGE COLLECT 1245.33/1248.48 c rational objective 0 1288.31/1291.56 c #Conflicts: 547000 | #Constraints: 19363 1288.31/1291.56 c #Conflicts: 548000 | #Constraints: 20933 1288.31/1291.56 c #Conflicts: 549000 | #Constraints: 22103 1288.31/1291.56 c #Conflicts: 550000 | #Constraints: 23105 1288.31/1291.56 c #Conflicts: 551000 | #Constraints: 24204 1288.31/1291.56 c #Conflicts: 552000 | #Constraints: 25467 1288.31/1291.56 c #Conflicts: 553000 | #Constraints: 26480 1288.31/1291.56 c #Conflicts: 554000 | #Constraints: 27480 1288.31/1291.56 c #Conflicts: 555000 | #Constraints: 28778 1288.31/1291.56 c #Conflicts: 556000 | #Constraints: 30028 1288.31/1291.56 c #Conflicts: 557000 | #Constraints: 31157 1288.31/1291.56 c #Conflicts: 558000 | #Constraints: 32180 1288.31/1291.56 c #Conflicts: 559000 | #Constraints: 33182 1288.31/1291.56 c #Conflicts: 560000 | #Constraints: 34185 1288.31/1291.56 c #Conflicts: 561000 | #Constraints: 35213 1288.31/1291.56 c INPROCESSING 1288.31/1291.56 c GARBAGE COLLECT 1288.31/1291.56 c rational objective 0 1350.54/1353.98 c #Conflicts: 562000 | #Constraints: 18626 1350.54/1353.98 c #Conflicts: 563000 | #Constraints: 19626 1350.54/1353.98 c #Conflicts: 564000 | #Constraints: 20628 1350.54/1353.98 c #Conflicts: 565000 | #Constraints: 21628 1350.54/1353.98 c #Conflicts: 566000 | #Constraints: 22630 1350.54/1353.98 c #Conflicts: 567000 | #Constraints: 23630 1350.54/1353.98 c #Conflicts: 568000 | #Constraints: 24631 1350.54/1353.98 c #Conflicts: 569000 | #Constraints: 25632 1350.54/1353.98 c #Conflicts: 570000 | #Constraints: 26635 1350.54/1353.98 c #Conflicts: 571000 | #Constraints: 27636 1350.54/1353.98 c #Conflicts: 572000 | #Constraints: 28636 1350.54/1353.98 c #Conflicts: 573000 | #Constraints: 29638 1350.54/1353.98 c #Conflicts: 574000 | #Constraints: 30642 1350.54/1353.98 c #Conflicts: 575000 | #Constraints: 31644 1350.54/1353.98 c #Conflicts: 576000 | #Constraints: 32645 1350.54/1353.98 c INPROCESSING 1350.54/1353.98 c GARBAGE COLLECT 1350.54/1353.98 c rational objective 0 1391.02/1394.52 c #Conflicts: 577000 | #Constraints: 17393 1391.02/1394.52 c #Conflicts: 578000 | #Constraints: 18495 1391.02/1394.52 c #Conflicts: 579000 | #Constraints: 19586 1391.02/1394.52 c #Conflicts: 580000 | #Constraints: 20597 1391.02/1394.52 c #Conflicts: 581000 | #Constraints: 21709 1391.02/1394.52 c #Conflicts: 582000 | #Constraints: 22863 1391.02/1394.52 c #Conflicts: 583000 | #Constraints: 23863 1391.02/1394.52 c #Conflicts: 584000 | #Constraints: 24864 1391.02/1394.52 c #Conflicts: 585000 | #Constraints: 25907 1391.02/1394.52 c #Conflicts: 586000 | #Constraints: 27054 1391.02/1394.52 c #Conflicts: 587000 | #Constraints: 28100 1391.02/1394.52 c #Conflicts: 588000 | #Constraints: 29184 1391.02/1394.52 c #Conflicts: 589000 | #Constraints: 30327 1391.02/1394.52 c #Conflicts: 590000 | #Constraints: 31409 1391.02/1394.52 c #Conflicts: 591000 | #Constraints: 32409 1391.02/1394.52 c INPROCESSING 1391.02/1394.52 c GARBAGE COLLECT 1391.02/1394.52 c rational objective 0 1453.46/1457.12 c #Conflicts: 592000 | #Constraints: 16932 1453.46/1457.12 c #Conflicts: 593000 | #Constraints: 17932 1453.46/1457.12 c #Conflicts: 594000 | #Constraints: 18936 1453.46/1457.12 c #Conflicts: 595000 | #Constraints: 19944 1453.46/1457.12 c #Conflicts: 596000 | #Constraints: 20995 1453.46/1457.12 c #Conflicts: 597000 | #Constraints: 21995 1453.46/1457.12 c #Conflicts: 598000 | #Constraints: 23103 1453.46/1457.12 c #Conflicts: 599000 | #Constraints: 24122 1453.46/1457.12 c #Conflicts: 600000 | #Constraints: 25122 1453.46/1457.12 c #Conflicts: 601000 | #Constraints: 26189 1453.46/1457.12 c #Conflicts: 602000 | #Constraints: 27216 1453.46/1457.12 c #Conflicts: 603000 | #Constraints: 28368 1453.46/1457.12 c #Conflicts: 604000 | #Constraints: 29370 1453.46/1457.12 c #Conflicts: 605000 | #Constraints: 30406 1453.46/1457.12 c #Conflicts: 606000 | #Constraints: 31487 1453.46/1457.12 c #Conflicts: 607000 | #Constraints: 32662 1453.46/1457.12 c INPROCESSING 1453.46/1457.12 c GARBAGE COLLECT 1453.46/1457.12 c rational objective 0 1531.33/1535.27 c #Conflicts: 608000 | #Constraints: 17714 1531.33/1535.27 c #Conflicts: 609000 | #Constraints: 19366 1531.33/1535.27 c #Conflicts: 610000 | #Constraints: 21044 1531.33/1535.27 c #Conflicts: 611000 | #Constraints: 22749 1531.33/1535.27 c #Conflicts: 612000 | #Constraints: 24405 1531.33/1535.27 c #Conflicts: 613000 | #Constraints: 26046 1531.33/1535.27 c #Conflicts: 614000 | #Constraints: 27710 1531.33/1535.27 c #Conflicts: 615000 | #Constraints: 29386 1531.33/1535.27 c #Conflicts: 616000 | #Constraints: 31120 1531.33/1535.27 c #Conflicts: 617000 | #Constraints: 32841 1531.33/1535.27 c #Conflicts: 618000 | #Constraints: 34541 1531.33/1535.27 c #Conflicts: 619000 | #Constraints: 36238 1531.33/1535.27 c #Conflicts: 620000 | #Constraints: 37939 1531.33/1535.27 c #Conflicts: 621000 | #Constraints: 39634 1531.33/1535.27 c #Conflicts: 622000 | #Constraints: 41291 1531.33/1535.27 c #Conflicts: 623000 | #Constraints: 42582 1531.33/1535.27 c INPROCESSING 1531.33/1535.27 c GARBAGE COLLECT 1531.33/1535.27 c rational objective 0 1645.27/1649.59 c #Conflicts: 624000 | #Constraints: 22969 1645.27/1649.59 c #Conflicts: 625000 | #Constraints: 24644 1645.27/1649.59 c #Conflicts: 626000 | #Constraints: 26340 1645.27/1649.59 c #Conflicts: 627000 | #Constraints: 28005 1645.27/1649.59 c #Conflicts: 628000 | #Constraints: 29623 1645.27/1649.59 c #Conflicts: 629000 | #Constraints: 31298 1645.27/1649.59 c #Conflicts: 630000 | #Constraints: 32969 1645.27/1649.59 c #Conflicts: 631000 | #Constraints: 34606 1645.27/1649.59 c #Conflicts: 632000 | #Constraints: 36283 1645.27/1649.59 c #Conflicts: 633000 | #Constraints: 37927 1645.27/1649.59 c #Conflicts: 634000 | #Constraints: 39577 1645.27/1649.59 c #Conflicts: 635000 | #Constraints: 41236 1645.27/1649.59 c #Conflicts: 636000 | #Constraints: 42824 1645.27/1649.59 c #Conflicts: 637000 | #Constraints: 44510 1645.27/1649.59 c #Conflicts: 638000 | #Constraints: 46184 1645.27/1649.59 c #Conflicts: 639000 | #Constraints: 47806 1645.27/1649.59 c INPROCESSING 1645.27/1649.59 c GARBAGE COLLECT 1645.27/1649.59 c rational objective 0 1705.30/1709.79 c #Conflicts: 640000 | #Constraints: 25297 1705.30/1709.79 c #Conflicts: 641000 | #Constraints: 26897 1705.30/1709.79 c #Conflicts: 642000 | #Constraints: 28378 1705.30/1709.79 c #Conflicts: 643000 | #Constraints: 29539 1705.30/1709.79 c #Conflicts: 644000 | #Constraints: 30544 1705.30/1709.79 c #Conflicts: 645000 | #Constraints: 31545 1705.30/1709.79 c #Conflicts: 646000 | #Constraints: 32547 1705.30/1709.79 c #Conflicts: 647000 | #Constraints: 33981 1705.30/1709.79 c #Conflicts: 648000 | #Constraints: 35603 1705.30/1709.79 c #Conflicts: 649000 | #Constraints: 37054 1705.30/1709.79 c #Conflicts: 650000 | #Constraints: 38057 1705.30/1709.79 c #Conflicts: 651000 | #Constraints: 39058 1705.30/1709.79 c #Conflicts: 652000 | #Constraints: 40784 1705.30/1709.79 c #Conflicts: 653000 | #Constraints: 41997 1705.30/1709.79 c #Conflicts: 654000 | #Constraints: 43723 1705.30/1709.79 c #Conflicts: 655000 | #Constraints: 45357 1705.30/1709.79 c INPROCESSING 1705.30/1709.79 c GARBAGE COLLECT 1705.30/1709.79 c rational objective 0 1758.57/1763.18 c #Conflicts: 656000 | #Constraints: 23754 1758.57/1763.18 c #Conflicts: 657000 | #Constraints: 24822 1758.57/1763.18 c #Conflicts: 658000 | #Constraints: 25957 1758.57/1763.18 c #Conflicts: 659000 | #Constraints: 27120 1758.57/1763.18 c #Conflicts: 660000 | #Constraints: 28280 1758.57/1763.18 c #Conflicts: 661000 | #Constraints: 29281 1758.57/1763.18 c #Conflicts: 662000 | #Constraints: 30329 1758.57/1763.18 c #Conflicts: 663000 | #Constraints: 31331 1758.57/1763.18 c #Conflicts: 664000 | #Constraints: 32337 1758.57/1763.18 c #Conflicts: 665000 | #Constraints: 33692 1758.57/1763.18 c #Conflicts: 666000 | #Constraints: 34712 1758.57/1763.18 c #Conflicts: 667000 | #Constraints: 35727 1758.57/1763.18 c #Conflicts: 668000 | #Constraints: 36729 1758.57/1763.18 c #Conflicts: 669000 | #Constraints: 37730 1758.57/1763.18 c #Conflicts: 670000 | #Constraints: 38741 1758.57/1763.18 c #Conflicts: 671000 | #Constraints: 39764 1758.57/1763.18 c INPROCESSING 1758.57/1763.18 c GARBAGE COLLECT 1758.57/1763.18 c rational objective 0 1851.85/1856.62 c #Conflicts: 672000 | #Constraints: 20884 1851.85/1856.62 c #Conflicts: 673000 | #Constraints: 21981 1851.85/1856.62 c #Conflicts: 674000 | #Constraints: 22983 1851.85/1856.62 c #Conflicts: 675000 | #Constraints: 24451 1851.85/1856.62 c #Conflicts: 676000 | #Constraints: 25451 1851.85/1856.62 c #Conflicts: 677000 | #Constraints: 26689 1851.85/1856.62 c #Conflicts: 678000 | #Constraints: 28333 1851.85/1856.62 c #Conflicts: 679000 | #Constraints: 29871 1851.85/1856.62 c #Conflicts: 680000 | #Constraints: 31021 1851.85/1856.62 c #Conflicts: 681000 | #Constraints: 32024 1851.85/1856.62 c #Conflicts: 682000 | #Constraints: 33436 1851.85/1856.62 c #Conflicts: 683000 | #Constraints: 34612 1851.85/1856.62 c #Conflicts: 684000 | #Constraints: 35614 1851.85/1856.62 c #Conflicts: 685000 | #Constraints: 36615 1851.85/1856.62 c #Conflicts: 686000 | #Constraints: 37619 1851.85/1856.62 c #Conflicts: 687000 | #Constraints: 38620 1851.85/1856.62 c #Conflicts: 688000 | #Constraints: 39953 1851.85/1856.62 c INPROCESSING 1851.85/1856.62 c GARBAGE COLLECT 1851.85/1856.62 c rational objective 0 1924.89/1929.87 c #Conflicts: 689000 | #Constraints: 21414 1924.89/1929.87 c #Conflicts: 690000 | #Constraints: 22718 1924.89/1929.87 c #Conflicts: 691000 | #Constraints: 24345 1924.89/1929.87 c #Conflicts: 692000 | #Constraints: 25767 1924.89/1929.87 c #Conflicts: 693000 | #Constraints: 26768 1924.89/1929.87 c #Conflicts: 694000 | #Constraints: 27769 1924.89/1929.87 c #Conflicts: 695000 | #Constraints: 28770 1924.89/1929.87 c #Conflicts: 696000 | #Constraints: 30235 1924.89/1929.87 c #Conflicts: 697000 | #Constraints: 31295 1924.89/1929.87 c #Conflicts: 698000 | #Constraints: 32790 1924.89/1929.87 c #Conflicts: 699000 | #Constraints: 34529 1924.89/1929.87 c #Conflicts: 700000 | #Constraints: 36248 1924.89/1929.87 c #Conflicts: 701000 | #Constraints: 37409 1924.89/1929.87 c #Conflicts: 702000 | #Constraints: 38410 1924.89/1929.87 c #Conflicts: 703000 | #Constraints: 39411 1924.89/1929.87 c #Conflicts: 704000 | #Constraints: 40411 1924.89/1929.87 c #Conflicts: 705000 | #Constraints: 41456 1924.89/1929.87 c INPROCESSING 1924.89/1929.87 c GARBAGE COLLECT 1924.89/1929.87 c rational objective 0 2009.79/2014.99 c #Conflicts: 706000 | #Constraints: 21803 2009.79/2014.99 c #Conflicts: 707000 | #Constraints: 22804 2009.79/2014.99 c #Conflicts: 708000 | #Constraints: 23832 2009.79/2014.99 c #Conflicts: 709000 | #Constraints: 25005 2009.79/2014.99 c #Conflicts: 710000 | #Constraints: 26060 2009.79/2014.99 c #Conflicts: 711000 | #Constraints: 27068 2009.79/2014.99 c #Conflicts: 712000 | #Constraints: 28068 2009.79/2014.99 c #Conflicts: 713000 | #Constraints: 29069 2009.79/2014.99 c #Conflicts: 714000 | #Constraints: 30069 2009.79/2014.99 c #Conflicts: 715000 | #Constraints: 31069 2009.79/2014.99 c #Conflicts: 716000 | #Constraints: 32069 2009.79/2014.99 c #Conflicts: 717000 | #Constraints: 33073 2009.79/2014.99 c #Conflicts: 718000 | #Constraints: 34073 2009.79/2014.99 c #Conflicts: 719000 | #Constraints: 35104 2009.79/2014.99 c #Conflicts: 720000 | #Constraints: 36136 2009.79/2014.99 c #Conflicts: 721000 | #Constraints: 37143 2009.79/2014.99 c #Conflicts: 722000 | #Constraints: 38247 2009.79/2014.99 c INPROCESSING 2009.79/2014.99 c GARBAGE COLLECT 2009.79/2014.99 c rational objective 0 2075.74/2081.01 c #Conflicts: 723000 | #Constraints: 20280 2075.74/2081.01 c #Conflicts: 724000 | #Constraints: 21423 2075.74/2081.01 c #Conflicts: 725000 | #Constraints: 22429 2075.74/2081.01 c #Conflicts: 726000 | #Constraints: 23429 2075.74/2081.01 c #Conflicts: 727000 | #Constraints: 24539 2075.74/2081.01 c #Conflicts: 728000 | #Constraints: 25598 2075.74/2081.01 c #Conflicts: 729000 | #Constraints: 26707 2075.74/2081.01 c #Conflicts: 730000 | #Constraints: 27713 2075.74/2081.01 c #Conflicts: 731000 | #Constraints: 28856 2075.74/2081.01 c #Conflicts: 732000 | #Constraints: 29856 2075.74/2081.01 c #Conflicts: 733000 | #Constraints: 30856 2075.74/2081.01 c #Conflicts: 734000 | #Constraints: 32140 2075.74/2081.01 c #Conflicts: 735000 | #Constraints: 33148 2075.74/2081.01 c #Conflicts: 736000 | #Constraints: 34376 2075.74/2081.01 c #Conflicts: 737000 | #Constraints: 35378 2075.74/2081.01 c #Conflicts: 738000 | #Constraints: 36569 2075.74/2081.01 c #Conflicts: 739000 | #Constraints: 37720 2075.74/2081.01 c INPROCESSING 2075.74/2081.01 c GARBAGE COLLECT 2075.74/2081.01 c rational objective 0 2135.89/2141.38 c #Conflicts: 740000 | #Constraints: 20013 2135.89/2141.38 c #Conflicts: 741000 | #Constraints: 21421 2135.89/2141.38 c #Conflicts: 742000 | #Constraints: 22821 2135.89/2141.38 c #Conflicts: 743000 | #Constraints: 24183 2135.89/2141.38 c #Conflicts: 744000 | #Constraints: 25191 2135.89/2141.38 c #Conflicts: 745000 | #Constraints: 26198 2135.89/2141.38 c #Conflicts: 746000 | #Constraints: 27198 2135.89/2141.38 c #Conflicts: 747000 | #Constraints: 28201 2135.89/2141.38 c #Conflicts: 748000 | #Constraints: 29201 2135.89/2141.38 c #Conflicts: 749000 | #Constraints: 30202 2135.89/2141.38 c #Conflicts: 750000 | #Constraints: 31203 2135.89/2141.38 c #Conflicts: 751000 | #Constraints: 32244 2135.89/2141.38 c #Conflicts: 752000 | #Constraints: 33297 2135.89/2141.38 c #Conflicts: 753000 | #Constraints: 34299 2135.89/2141.38 c #Conflicts: 754000 | #Constraints: 35355 2135.89/2141.38 c #Conflicts: 755000 | #Constraints: 36360 2135.89/2141.38 c #Conflicts: 756000 | #Constraints: 37361 2135.89/2141.38 c INPROCESSING 2135.89/2141.38 c GARBAGE COLLECT 2135.89/2141.38 c rational objective 0 2258.18/2264.00 c #Conflicts: 757000 | #Constraints: 19401 2258.18/2264.00 c #Conflicts: 758000 | #Constraints: 20598 2258.18/2264.00 c #Conflicts: 759000 | #Constraints: 22299 2258.18/2264.00 c #Conflicts: 760000 | #Constraints: 23956 2258.18/2264.00 c #Conflicts: 761000 | #Constraints: 25610 2258.18/2264.00 c #Conflicts: 762000 | #Constraints: 27269 2258.18/2264.00 c #Conflicts: 763000 | #Constraints: 28935 2258.18/2264.00 c #Conflicts: 764000 | #Constraints: 30605 2258.18/2264.00 c #Conflicts: 765000 | #Constraints: 32287 2258.18/2264.00 c #Conflicts: 766000 | #Constraints: 33929 2258.18/2264.00 c #Conflicts: 767000 | #Constraints: 35533 2258.18/2264.00 c #Conflicts: 768000 | #Constraints: 37182 2258.18/2264.00 c #Conflicts: 769000 | #Constraints: 38873 2258.18/2264.00 c #Conflicts: 770000 | #Constraints: 40350 2258.18/2264.00 c #Conflicts: 771000 | #Constraints: 41852 2258.18/2264.00 c #Conflicts: 772000 | #Constraints: 43487 2258.18/2264.00 c #Conflicts: 773000 | #Constraints: 45156 2258.18/2264.00 c #Conflicts: 774000 | #Constraints: 46839 2258.18/2264.00 c INPROCESSING 2258.18/2264.00 c GARBAGE COLLECT 2258.18/2264.00 c rational objective 0 2360.52/2366.51 c #Conflicts: 775000 | #Constraints: 24940 2360.52/2366.51 c #Conflicts: 776000 | #Constraints: 26635 2360.52/2366.51 c #Conflicts: 777000 | #Constraints: 28376 2360.52/2366.51 c #Conflicts: 778000 | #Constraints: 30085 2360.52/2366.51 c #Conflicts: 779000 | #Constraints: 31802 2360.52/2366.51 c #Conflicts: 780000 | #Constraints: 33495 2360.52/2366.51 c #Conflicts: 781000 | #Constraints: 35176 2360.52/2366.51 c #Conflicts: 782000 | #Constraints: 36848 2360.52/2366.51 c #Conflicts: 783000 | #Constraints: 38556 2360.52/2366.51 c #Conflicts: 784000 | #Constraints: 40254 2360.52/2366.51 c #Conflicts: 785000 | #Constraints: 41956 2360.52/2366.51 c #Conflicts: 786000 | #Constraints: 43651 2360.52/2366.51 c #Conflicts: 787000 | #Constraints: 45363 2360.52/2366.51 c #Conflicts: 788000 | #Constraints: 47087 2360.52/2366.51 c #Conflicts: 789000 | #Constraints: 48766 2360.52/2366.51 c #Conflicts: 790000 | #Constraints: 50459 2360.52/2366.51 c #Conflicts: 791000 | #Constraints: 52180 2360.52/2366.51 c #Conflicts: 792000 | #Constraints: 53929 2360.52/2366.51 c INPROCESSING 2360.52/2366.51 c GARBAGE COLLECT 2360.52/2366.51 c rational objective 0 2508.95/2515.33 c #Conflicts: 793000 | #Constraints: 28164 2508.95/2515.33 c #Conflicts: 794000 | #Constraints: 29494 2508.95/2515.33 c #Conflicts: 795000 | #Constraints: 30722 2508.95/2515.33 c #Conflicts: 796000 | #Constraints: 32223 2508.95/2515.33 c #Conflicts: 797000 | #Constraints: 33421 2508.95/2515.33 c #Conflicts: 798000 | #Constraints: 34969 2508.95/2515.33 c #Conflicts: 799000 | #Constraints: 36570 2508.95/2515.33 c #Conflicts: 800000 | #Constraints: 37846 2508.95/2515.33 c #Conflicts: 801000 | #Constraints: 38862 2508.95/2515.33 c #Conflicts: 802000 | #Constraints: 40496 2508.95/2515.33 c #Conflicts: 803000 | #Constraints: 42048 2508.95/2515.33 c #Conflicts: 804000 | #Constraints: 43050 2508.95/2515.33 c #Conflicts: 805000 | #Constraints: 44473 2508.95/2515.33 c #Conflicts: 806000 | #Constraints: 46131 2508.95/2515.33 c #Conflicts: 807000 | #Constraints: 47769 2508.95/2515.33 c #Conflicts: 808000 | #Constraints: 49408 2508.95/2515.33 c #Conflicts: 809000 | #Constraints: 50629 2508.95/2515.33 c #Conflicts: 810000 | #Constraints: 51850 2508.95/2515.33 c INPROCESSING 2508.95/2515.33 c GARBAGE COLLECT 2508.95/2515.33 c rational objective 0 2588.76/2595.39 c #Conflicts: 811000 | #Constraints: 27331 2588.76/2595.39 c #Conflicts: 812000 | #Constraints: 28436 2588.76/2595.39 c #Conflicts: 813000 | #Constraints: 29446 2588.76/2595.39 c #Conflicts: 814000 | #Constraints: 30648 2588.76/2595.39 c #Conflicts: 815000 | #Constraints: 31689 2588.76/2595.39 c #Conflicts: 816000 | #Constraints: 32739 2588.76/2595.39 c #Conflicts: 817000 | #Constraints: 33948 2588.76/2595.39 c #Conflicts: 818000 | #Constraints: 35181 2588.76/2595.39 c #Conflicts: 819000 | #Constraints: 36275 2588.76/2595.39 c #Conflicts: 820000 | #Constraints: 37403 2588.76/2595.39 c #Conflicts: 821000 | #Constraints: 38408 2588.76/2595.39 c #Conflicts: 822000 | #Constraints: 39530 2588.76/2595.39 c #Conflicts: 823000 | #Constraints: 40757 2588.76/2595.39 c #Conflicts: 824000 | #Constraints: 41814 2588.76/2595.39 c #Conflicts: 825000 | #Constraints: 42814 2588.76/2595.39 c #Conflicts: 826000 | #Constraints: 44150 2588.76/2595.39 c #Conflicts: 827000 | #Constraints: 45296 2588.76/2595.39 c #Conflicts: 828000 | #Constraints: 46604 2588.76/2595.39 c INPROCESSING 2588.76/2595.39 c GARBAGE COLLECT 2588.76/2595.39 c rational objective 0 2678.44/2685.27 c #Conflicts: 829000 | #Constraints: 24685 2678.44/2685.27 c #Conflicts: 830000 | #Constraints: 26117 2678.44/2685.27 c #Conflicts: 831000 | #Constraints: 27572 2678.44/2685.27 c #Conflicts: 832000 | #Constraints: 28827 2678.44/2685.27 c #Conflicts: 833000 | #Constraints: 30509 2678.44/2685.27 c #Conflicts: 834000 | #Constraints: 32215 2678.44/2685.27 c #Conflicts: 835000 | #Constraints: 33603 2678.44/2685.27 c #Conflicts: 836000 | #Constraints: 35159 2678.44/2685.27 c #Conflicts: 837000 | #Constraints: 36443 2678.44/2685.27 c #Conflicts: 838000 | #Constraints: 38106 2678.44/2685.27 c #Conflicts: 839000 | #Constraints: 39829 2678.44/2685.27 c #Conflicts: 840000 | #Constraints: 41602 2678.44/2685.27 c #Conflicts: 841000 | #Constraints: 43167 2678.44/2685.27 c #Conflicts: 842000 | #Constraints: 44202 2678.44/2685.27 c #Conflicts: 843000 | #Constraints: 45204 2678.44/2685.27 c #Conflicts: 844000 | #Constraints: 46272 2678.44/2685.27 c #Conflicts: 845000 | #Constraints: 47273 2678.44/2685.27 c #Conflicts: 846000 | #Constraints: 48891 2678.44/2685.27 c INPROCESSING 2678.44/2685.27 c GARBAGE COLLECT 2678.44/2685.27 c rational objective 0 2802.46/2809.56 c #Conflicts: 847000 | #Constraints: 25392 2802.46/2809.56 c #Conflicts: 848000 | #Constraints: 26766 2802.46/2809.56 c #Conflicts: 849000 | #Constraints: 27920 2802.46/2809.56 c #Conflicts: 850000 | #Constraints: 28991 2802.46/2809.56 c #Conflicts: 851000 | #Constraints: 30096 2802.46/2809.56 c #Conflicts: 852000 | #Constraints: 31174 2802.46/2809.56 c #Conflicts: 853000 | #Constraints: 32379 2802.46/2809.56 c #Conflicts: 854000 | #Constraints: 33576 2802.46/2809.56 c #Conflicts: 855000 | #Constraints: 34579 2802.46/2809.56 c #Conflicts: 856000 | #Constraints: 35579 2802.46/2809.56 c #Conflicts: 857000 | #Constraints: 36621 2802.46/2809.56 c #Conflicts: 858000 | #Constraints: 37652 2802.46/2809.56 c #Conflicts: 859000 | #Constraints: 38759 2802.46/2809.56 c #Conflicts: 860000 | #Constraints: 39917 2802.46/2809.56 c #Conflicts: 861000 | #Constraints: 41045 2802.46/2809.56 c #Conflicts: 862000 | #Constraints: 42045 2802.46/2809.56 c #Conflicts: 863000 | #Constraints: 43045 2802.46/2809.56 c #Conflicts: 864000 | #Constraints: 44101 2802.46/2809.56 c #Conflicts: 865000 | #Constraints: 45178 2802.46/2809.56 c INPROCESSING 2802.46/2809.56 c GARBAGE COLLECT 2802.46/2809.56 c rational objective 0 2902.41/2909.71 c #Conflicts: 866000 | #Constraints: 24004 2902.41/2909.71 c #Conflicts: 867000 | #Constraints: 25636 2902.41/2909.71 c #Conflicts: 868000 | #Constraints: 27300 2902.41/2909.71 c #Conflicts: 869000 | #Constraints: 28983 2902.41/2909.71 c #Conflicts: 870000 | #Constraints: 30642 2902.41/2909.71 c #Conflicts: 871000 | #Constraints: 32323 2902.41/2909.71 c #Conflicts: 872000 | #Constraints: 34022 2902.41/2909.71 c #Conflicts: 873000 | #Constraints: 35722 2902.41/2909.71 c #Conflicts: 874000 | #Constraints: 37390 2902.41/2909.71 c #Conflicts: 875000 | #Constraints: 39104 2902.41/2909.71 c #Conflicts: 876000 | #Constraints: 40809 2902.41/2909.71 c #Conflicts: 877000 | #Constraints: 42534 2902.41/2909.71 c #Conflicts: 878000 | #Constraints: 44212 2902.41/2909.71 c #Conflicts: 879000 | #Constraints: 45875 2902.41/2909.71 c #Conflicts: 880000 | #Constraints: 47547 2902.41/2909.71 c #Conflicts: 881000 | #Constraints: 49173 2902.41/2909.71 c #Conflicts: 882000 | #Constraints: 50835 2902.41/2909.71 c #Conflicts: 883000 | #Constraints: 52547 2902.41/2909.71 c #Conflicts: 884000 | #Constraints: 54261 2902.41/2909.71 c INPROCESSING 2902.41/2909.71 c GARBAGE COLLECT 2902.41/2909.71 c rational objective 0 3073.87/3081.64 c #Conflicts: 885000 | #Constraints: 28832 3073.87/3081.64 c #Conflicts: 886000 | #Constraints: 30499 3073.87/3081.64 c #Conflicts: 887000 | #Constraints: 32126 3073.87/3081.64 c #Conflicts: 888000 | #Constraints: 33771 3073.87/3081.64 c #Conflicts: 889000 | #Constraints: 35471 3073.87/3081.64 c #Conflicts: 890000 | #Constraints: 37168 3073.87/3081.64 c #Conflicts: 891000 | #Constraints: 38683 3073.87/3081.64 c #Conflicts: 892000 | #Constraints: 40305 3073.87/3081.64 c #Conflicts: 893000 | #Constraints: 41953 3073.87/3081.64 c #Conflicts: 894000 | #Constraints: 43614 3073.87/3081.64 c #Conflicts: 895000 | #Constraints: 45278 3073.87/3081.64 c #Conflicts: 896000 | #Constraints: 46898 3073.87/3081.64 c #Conflicts: 897000 | #Constraints: 48574 3073.87/3081.64 c #Conflicts: 898000 | #Constraints: 50241 3073.87/3081.64 c #Conflicts: 899000 | #Constraints: 51630 3073.87/3081.64 c #Conflicts: 900000 | #Constraints: 53298 3073.87/3081.64 c #Conflicts: 901000 | #Constraints: 54910 3073.87/3081.64 c #Conflicts: 902000 | #Constraints: 56565 3073.87/3081.64 c #Conflicts: 903000 | #Constraints: 57974 3073.87/3081.64 c INPROCESSING 3073.87/3081.64 c GARBAGE COLLECT 3073.87/3081.64 c rational objective 0 3149.48/3157.46 c #Conflicts: 904000 | #Constraints: 30015 3149.48/3157.46 c #Conflicts: 905000 | #Constraints: 31018 3149.48/3157.46 c #Conflicts: 906000 | #Constraints: 32026 3149.48/3157.46 c #Conflicts: 907000 | #Constraints: 33028 3149.48/3157.46 c #Conflicts: 908000 | #Constraints: 34031 3149.48/3157.46 c #Conflicts: 909000 | #Constraints: 35032 3149.48/3157.46 c #Conflicts: 910000 | #Constraints: 36033 3149.48/3157.46 c #Conflicts: 911000 | #Constraints: 37036 3149.48/3157.46 c #Conflicts: 912000 | #Constraints: 38038 3149.48/3157.46 c #Conflicts: 913000 | #Constraints: 39038 3149.48/3157.46 c #Conflicts: 914000 | #Constraints: 40040 3149.48/3157.46 c #Conflicts: 915000 | #Constraints: 41042 3149.48/3157.46 c #Conflicts: 916000 | #Constraints: 42043 3149.48/3157.46 c #Conflicts: 917000 | #Constraints: 43044 3149.48/3157.46 c #Conflicts: 918000 | #Constraints: 44045 3149.48/3157.46 c #Conflicts: 919000 | #Constraints: 45045 3149.48/3157.46 c #Conflicts: 920000 | #Constraints: 46047 3149.48/3157.46 c #Conflicts: 921000 | #Constraints: 47049 3149.48/3157.46 c #Conflicts: 922000 | #Constraints: 48051 3149.48/3157.46 c INPROCESSING 3149.48/3157.46 c GARBAGE COLLECT 3149.48/3157.46 c rational objective 0 3240.75/3248.97 c #Conflicts: 923000 | #Constraints: 25212 3240.75/3248.97 c #Conflicts: 924000 | #Constraints: 26319 3240.75/3248.97 c #Conflicts: 925000 | #Constraints: 27528 3240.75/3248.97 c #Conflicts: 926000 | #Constraints: 28871 3240.75/3248.97 c #Conflicts: 927000 | #Constraints: 29872 3240.75/3248.97 c #Conflicts: 928000 | #Constraints: 30872 3240.75/3248.97 c #Conflicts: 929000 | #Constraints: 31932 3240.75/3248.97 c #Conflicts: 930000 | #Constraints: 33232 3240.75/3248.97 c #Conflicts: 931000 | #Constraints: 34417 3240.75/3248.97 c #Conflicts: 932000 | #Constraints: 35545 3240.75/3248.97 c #Conflicts: 933000 | #Constraints: 36546 3240.75/3248.97 c #Conflicts: 934000 | #Constraints: 37547 3240.75/3248.97 c #Conflicts: 935000 | #Constraints: 38557 3240.75/3248.97 c #Conflicts: 936000 | #Constraints: 39844 3240.75/3248.97 c #Conflicts: 937000 | #Constraints: 40989 3240.75/3248.97 c #Conflicts: 938000 | #Constraints: 41990 3240.75/3248.97 c #Conflicts: 939000 | #Constraints: 42991 3240.75/3248.97 c #Conflicts: 940000 | #Constraints: 44030 3240.75/3248.97 c #Conflicts: 941000 | #Constraints: 45665 3240.75/3248.97 c INPROCESSING 3240.75/3248.97 c GARBAGE COLLECT 3240.75/3248.97 c rational objective 0 3380.89/3389.48 c #Conflicts: 942000 | #Constraints: 23870 3380.89/3389.48 c #Conflicts: 943000 | #Constraints: 25280 3380.89/3389.48 c #Conflicts: 944000 | #Constraints: 26544 3380.89/3389.48 c #Conflicts: 945000 | #Constraints: 27574 3380.89/3389.48 c #Conflicts: 946000 | #Constraints: 28575 3380.89/3389.48 c #Conflicts: 947000 | #Constraints: 29576 3380.89/3389.48 c #Conflicts: 948000 | #Constraints: 30577 3380.89/3389.48 c #Conflicts: 949000 | #Constraints: 31656 3380.89/3389.48 c #Conflicts: 950000 | #Constraints: 33184 3380.89/3389.48 c #Conflicts: 951000 | #Constraints: 34414 3380.89/3389.48 c #Conflicts: 952000 | #Constraints: 35718 3380.89/3389.48 c #Conflicts: 953000 | #Constraints: 37460 3380.89/3389.48 c #Conflicts: 954000 | #Constraints: 39185 3380.89/3389.48 c #Conflicts: 955000 | #Constraints: 40700 3380.89/3389.48 c #Conflicts: 956000 | #Constraints: 41700 3380.89/3389.48 c #Conflicts: 957000 | #Constraints: 42703 3380.89/3389.48 c #Conflicts: 958000 | #Constraints: 44307 3380.89/3389.48 c #Conflicts: 959000 | #Constraints: 45890 3380.89/3389.48 c #Conflicts: 960000 | #Constraints: 46891 3380.89/3389.48 c #Conflicts: 961000 | #Constraints: 48134 3380.89/3389.48 c INPROCESSING 3380.89/3389.48 c GARBAGE COLLECT 3380.89/3389.48 c rational objective 0 3479.46/3488.25 c #Conflicts: 962000 | #Constraints: 25526 3479.46/3488.25 c #Conflicts: 963000 | #Constraints: 27125 3479.46/3488.25 c #Conflicts: 964000 | #Constraints: 28635 3479.46/3488.25 c #Conflicts: 965000 | #Constraints: 30177 3479.46/3488.25 c #Conflicts: 966000 | #Constraints: 31582 3479.46/3488.25 c #Conflicts: 967000 | #Constraints: 32937 3479.46/3488.25 c #Conflicts: 968000 | #Constraints: 34021 3479.46/3488.25 c #Conflicts: 969000 | #Constraints: 35022 3479.46/3488.25 c #Conflicts: 970000 | #Constraints: 36340 3479.46/3488.25 c #Conflicts: 971000 | #Constraints: 37474 3479.46/3488.25 c #Conflicts: 972000 | #Constraints: 38475 3479.46/3488.25 c #Conflicts: 973000 | #Constraints: 39770 3479.46/3488.25 c #Conflicts: 974000 | #Constraints: 40770 3479.46/3488.25 c #Conflicts: 975000 | #Constraints: 41772 3479.46/3488.25 c #Conflicts: 976000 | #Constraints: 42777 3479.46/3488.25 c #Conflicts: 977000 | #Constraints: 43777 3479.46/3488.25 c #Conflicts: 978000 | #Constraints: 44793 3479.46/3488.25 c #Conflicts: 979000 | #Constraints: 45793 3479.46/3488.25 c #Conflicts: 980000 | #Constraints: 46793 3479.46/3488.25 c #Conflicts: 981000 | #Constraints: 47844 3479.46/3488.25 c INPROCESSING 3479.46/3488.25 c GARBAGE COLLECT 3479.46/3488.25 c rational objective 0 3600.08/3609.10 c 3600.08/3609.10 s SATISFIABLE 3600.08/3609.10 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 3600.08/3609.10 c #Conflicts: 982000 | #Constraints: 25061 3600.08/3609.10 c #Conflicts: 983000 | #Constraints: 26067 3600.08/3609.10 c #Conflicts: 984000 | #Constraints: 27108 3600.08/3609.10 c #Conflicts: 985000 | #Constraints: 28109 3600.08/3609.10 c #Conflicts: 986000 | #Constraints: 29117 3600.08/3609.10 c #Conflicts: 987000 | #Constraints: 30117 3600.08/3609.10 c #Conflicts: 988000 | #Constraints: 31120 3600.08/3609.10 c #Conflicts: 989000 | #Constraints: 32120 3600.08/3609.10 c #Conflicts: 990000 | #Constraints: 33153 3600.08/3609.10 c #Conflicts: 991000 | #Constraints: 34153 3600.08/3609.10 c #Conflicts: 992000 | #Constraints: 35153 3600.08/3609.10 c #Conflicts: 993000 | #Constraints: 36153 3600.08/3609.10 c #Conflicts: 994000 | #Constraints: 37153 3600.08/3609.10 c #Conflicts: 995000 | #Constraints: 38153 3600.08/3609.10 c #Conflicts: 996000 | #Constraints: 39153 3600.08/3609.10 c #Conflicts: 997000 | #Constraints: 40153 3600.08/3609.10 c #Conflicts: 998000 | #Constraints: 41153 3600.08/3609.10 c #Conflicts: 999000 | #Constraints: 42153 3600.08/3609.10 c #Conflicts: 1000000 | #Constraints: 43153
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: 63931 MiB (62319 MiB free)
memory of node 1: 64510 MiB (60693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429458-1721048711/watcher-4429458-1721048711 -o /tmp/evaluation-result-4429458-1721048711/solver-4429458-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811592 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429458-1721048711.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=811651, runsolver pid=811644
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125957628/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=37940 memory=10808 CPUtime=0.09 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 547 0 0 0 9 0 0 0 20 0 1 0 157032924 38850560 2702 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 9485 2702 1847 922 0 1437 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37940 KiB
Current children cumulated memory: 10808 KiB
[startup+0.204823 s]*
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125954952/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=38204 memory=11132 CPUtime=0.2 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 632 0 0 0 19 1 0 0 20 0 1 0 157032924 39120896 2783 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 9551 2783 1863 922 0 1503 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38204 KiB
Current children cumulated memory: 11132 KiB
[startup+0.304585 s]*
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125951044/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=38472 memory=11396 CPUtime=0.29 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 680 0 0 0 27 2 0 0 20 0 1 0 157032924 39395328 2849 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 9618 2849 1863 922 0 1570 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38472 KiB
Current children cumulated memory: 11396 KiB
[startup+0.700142 s]
/proc/loadavg: 3.06 3.88 4.01 5/255 811652
/proc/meminfo: memFree=125948896/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=39016 memory=11924 CPUtime=0.68 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 831 0 0 0 65 3 0 0 20 0 1 0 157032924 39952384 2981 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 9754 2981 1863 922 0 1706 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39016 KiB
Current children cumulated memory: 11924 KiB
[startup+1.50015 s]
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125944420/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=39532 memory=13052 CPUtime=1.48 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 1085 0 0 0 142 6 0 0 20 0 1 0 157032924 40480768 3263 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 9883 3263 1863 922 0 1835 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39532 KiB
Current children cumulated memory: 13052 KiB
[startup+3.10495 s]
/proc/loadavg: 3.06 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125937088/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=40292 memory=14320 CPUtime=3.09 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 1415 0 0 0 298 11 0 0 20 0 1 0 157032924 41259008 3580 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 10073 3580 1863 922 0 2025 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40292 KiB
Current children cumulated memory: 14320 KiB
[startup+6.30014 s]
/proc/loadavg: 3.14 3.88 4.01 6/255 811652
/proc/meminfo: memFree=125929776/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=41780 memory=16448 CPUtime=6.28 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 1927 0 0 0 610 18 0 0 20 0 1 0 157032924 42782720 4112 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 10445 4112 1863 922 0 2397 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41780 KiB
Current children cumulated memory: 16448 KiB
[startup+12.7001 s]
/proc/loadavg: 3.21 3.88 4.01 6/255 811654
/proc/meminfo: memFree=125924300/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=45460 memory=18644 CPUtime=12.66 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 2476 0 0 0 1237 29 0 0 20 0 1 0 157032924 46551040 4661 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 11365 4661 1863 922 0 3317 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 18644 KiB
[startup+25.5002 s]
/proc/loadavg: 3.38 3.89 4.01 5/254 811793
/proc/meminfo: memFree=125889556/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=51996 memory=22096 CPUtime=25.43 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 3347 0 0 0 2495 48 0 0 20 0 1 0 157032924 53243904 5524 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 12999 5524 1863 922 0 4951 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 51996 KiB
Current children cumulated memory: 22096 KiB
[startup+51.1048 s]
/proc/loadavg: 3.71 3.93 4.02 5/254 811798
/proc/meminfo: memFree=125870540/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=53056 memory=24276 CPUtime=50.98 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 3939 0 0 0 5017 81 0 0 20 0 1 0 157032924 54329344 6069 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 13264 6069 1863 922 0 5216 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 53056 KiB
Current children cumulated memory: 24276 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 3.96 4.02 5/254 811806
/proc/meminfo: memFree=125831720/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=68808 memory=37700 CPUtime=102.05 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 6347 0 0 0 10062 143 0 0 20 0 1 0 157032924 70459392 9425 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 17202 9425 1863 922 0 9154 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 68808 KiB
Current children cumulated memory: 37700 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.02 4.03 5/255 811818
/proc/meminfo: memFree=125810516/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=92872 memory=52060 CPUtime=161.9 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 9411 0 0 0 16001 189 0 0 20 0 1 0 157032924 95100928 13015 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 23218 13015 1863 922 0 15170 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 92872 KiB
Current children cumulated memory: 52060 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.03 4.03 5/255 811828
/proc/meminfo: memFree=125788112/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=94792 memory=60824 CPUtime=221.73 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 10065 0 0 0 21935 238 0 0 20 0 1 0 157032924 97067008 15206 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 23698 15206 1863 922 0 15650 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 94792 KiB
Current children cumulated memory: 60824 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.04 4.03 5/255 811838
/proc/meminfo: memFree=125773276/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=95432 memory=61888 CPUtime=281.59 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 10265 0 0 0 27888 271 0 0 20 0 1 0 157032924 97722368 15472 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 23858 15472 1994 922 0 15810 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 95432 KiB
Current children cumulated memory: 61888 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.04 5/258 811854
/proc/meminfo: memFree=125757476/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=95432 memory=62088 CPUtime=341.46 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 10286 0 0 0 33837 309 0 0 20 0 1 0 157032924 97722368 15522 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 23858 15522 1994 922 0 15810 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 95432 KiB
Current children cumulated memory: 62088 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.06 4.04 5/258 811864
/proc/meminfo: memFree=125736104/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=95944 memory=62716 CPUtime=401.31 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 10473 0 0 0 39790 341 0 0 20 0 1 0 157032924 98246656 15679 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 23986 15679 1994 922 0 15938 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 95944 KiB
Current children cumulated memory: 62716 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.11 4.06 5/258 811875
/proc/meminfo: memFree=125727780/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=96168 memory=62896 CPUtime=461.17 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 10590 0 0 0 45752 365 0 0 20 0 1 0 157032924 98476032 15724 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 24042 15724 1994 922 0 15994 0
################
# More data... #
################
Current children cumulated memory: 108964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/257 813047
/proc/meminfo: memFree=125550052/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=143100 memory=108988 CPUtime=2914.98 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17361 0 0 0 290425 1073 0 0 20 0 1 0 157032924 146534400 27247 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 35775 27247 1994 922 0 27727 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 143100 KiB
Current children cumulated memory: 108988 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 813057
/proc/meminfo: memFree=125547700/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=143100 memory=109020 CPUtime=2974.84 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17401 0 0 0 296396 1088 0 0 20 0 1 0 157032924 146534400 27255 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 35775 27255 1994 922 0 27727 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 143100 KiB
Current children cumulated memory: 109020 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 813451
/proc/meminfo: memFree=125547464/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=143100 memory=109032 CPUtime=3034.67 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17457 0 0 0 302368 1099 0 0 20 0 1 0 157032924 146534400 27258 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 35775 27258 1994 922 0 27727 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 143100 KiB
Current children cumulated memory: 109032 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 813461
/proc/meminfo: memFree=125542756/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=143796 memory=109652 CPUtime=3094.52 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17757 0 0 0 308340 1112 0 0 20 0 1 0 157032924 147247104 27413 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 35949 27413 1994 922 0 27901 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 143796 KiB
Current children cumulated memory: 109652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 813472
/proc/meminfo: memFree=125543684/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144124 memory=109744 CPUtime=3154.37 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17849 0 0 0 314305 1132 0 0 20 0 1 0 157032924 147582976 27436 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36031 27436 1994 922 0 27983 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 109744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 813652
/proc/meminfo: memFree=125543108/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144124 memory=109852 CPUtime=3214.22 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17889 0 0 0 320270 1152 0 0 20 0 1 0 157032924 147582976 27463 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36031 27463 1994 922 0 27983 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 109852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 813662
/proc/meminfo: memFree=125537936/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144124 memory=109852 CPUtime=3274.07 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17927 0 0 0 326241 1166 0 0 20 0 1 0 157032924 147582976 27463 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36031 27463 1994 922 0 27983 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 109852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 813688
/proc/meminfo: memFree=125537432/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144124 memory=109852 CPUtime=3333.92 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 17968 0 0 0 332214 1178 0 0 20 0 1 0 157032924 147582976 27463 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36031 27463 1994 922 0 27983 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 109852 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 813698
/proc/meminfo: memFree=125536472/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=109888 CPUtime=3393.76 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18075 0 0 0 338188 1188 0 0 20 0 1 0 157032924 147845120 27472 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27472 1994 922 0 28047 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 109888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/258 813708
/proc/meminfo: memFree=125536132/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=110108 CPUtime=3453.62 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18115 0 0 0 344157 1205 0 0 20 0 1 0 157032924 147845120 27527 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27527 1994 922 0 28047 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 110108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/256 813720
/proc/meminfo: memFree=125535696/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=110696 CPUtime=3513.48 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18155 0 0 0 350132 1216 0 0 20 0 1 0 157032924 147845120 27674 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27674 1994 922 0 28047 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 110696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/256 813730
/proc/meminfo: memFree=125525464/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=110696 CPUtime=3573.34 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18195 0 0 0 356108 1226 0 0 20 0 1 0 157032924 147845120 27674 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27674 1994 922 0 28047 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 110696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.22 4.19 4.12 4/254 813735
/proc/meminfo: memFree=125594840/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=110696 CPUtime=3600.08 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18196 0 0 0 358778 1230 0 0 20 0 1 0 157032924 147845120 27674 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27674 1994 922 0 28047 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 110696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 811651 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3587.79 s, system=12.3035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.22 4.19 4.12 4/254 813735
/proc/meminfo: memFree=125594840/131524600 swapFree=131071996/131071996
[pid=811651] ppid=811644 vsize=144380 memory=110696 CPUtime=3600.08 cores=5,7
/proc/811651/stat : 811651 (roundingsat) R 811644 811651 811579 0 -1 4194304 18196 0 0 0 358778 1230 0 0 20 0 1 0 157032924 147845120 27674 134679101440 4194304 7968869 140730946186704 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 40038400 140730946192318 140730946192482 140730946192482 140730946199497 0
/proc/811651/statm: 36095 27674 1994 922 0 28047 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 144380 KiB
Current children cumulated memory: 110696 KiB
Child status: 1
Real time (s): 3609.11
CPU time (s): 3600.09
CPU user time (s): 3587.79
CPU system time (s): 12.3035
CPU usage (%): 99.7502
Max. virtual memory (cumulated for all children) (KiB): 144380
Max. memory (cumulated for all children) (KiB): 110696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 12.3035
maximum resident set size= 110696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18204
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= 38
involuntary context switches= 1928
# summary of solver processes directly reported to runsolver:
# pid: 811651
# total CPU time (s): 3600.09
# total CPU user time (s): 3587.79
# total CPU system time (s): 12.3035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41656 second user time and 16.4012 second system time
The end
Begin job on nodeC017 at 2024-07-15 15:05:23 IDJOB=4429458 IDBENCH=147611 IDSOLVER=3051 FILE ID=nodeC017/4429458-1721048711 RUNJOBID= nodeC017-1721048723-811592 SLURM_JOB_ID= 7505469 Free space on /tmp= 890072 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-4429458-1721048711/watcher-4429458-1721048711 -o /tmp/evaluation-result-4429458-1721048711/solver-4429458-1721048711 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811592 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429458-1721048711.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec RANDOM SEED=1312118502 nodeC017.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 : 3644.230 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3623.420 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3642.137 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.139 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3640.733 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.761 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3599.774 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.929 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125967112 kB MemAvailable: 129722448 kB Buffers: 367092 kB Cached: 4187772 kB SwapCached: 0 kB Active: 711936 kB Inactive: 4174912 kB Active(anon): 1444 kB Inactive(anon): 368576 kB Active(file): 710492 kB Inactive(file): 3806336 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20904 kB Writeback: 0 kB AnonPages: 332020 kB Mapped: 103452 kB Shmem: 37720 kB KReclaimable: 156312 kB Slab: 267808 kB SReclaimable: 156312 kB SUnreclaim: 111496 kB KernelStack: 3940 kB PageTables: 9752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 764848 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59744 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 211668 kB DirectMap2M: 24727552 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 890060 MiB End job on nodeC017 at 2024-07-15 16:05:33