| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | Wrong Cert. | 3600.08 | 3611.8 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
| MD5SUM | f08684a49e4744afc6bcc5ce80f1fe7b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 71 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 1 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1 |
| Number of bits of the sum of numbers in the objective function | 1 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5644 |
| 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 71 #constraints 17 0.00/0.00 c bounds 1 >= 0 @ 0.00062 0.00/0.00 c rational objective 0 0.20/0.21 c #Conflicts: 1000 | #Constraints: 1039 0.20/0.21 c #Conflicts: 2000 | #Constraints: 2053 0.20/0.21 c INPROCESSING 0.20/0.21 c GARBAGE COLLECT 0.20/0.21 c rational objective 0 0.49/0.59 c #Conflicts: 3000 | #Constraints: 2047 0.49/0.59 c #Conflicts: 4000 | #Constraints: 3053 0.49/0.59 c INPROCESSING 0.49/0.59 c GARBAGE COLLECT 0.49/0.59 c rational objective 0 0.99/1.04 c #Conflicts: 5000 | #Constraints: 2455 0.99/1.04 c #Conflicts: 6000 | #Constraints: 3468 0.99/1.04 c INPROCESSING 0.99/1.04 c GARBAGE COLLECT 0.99/1.04 c rational objective 0 1.59/1.66 c #Conflicts: 7000 | #Constraints: 2453 1.59/1.66 c #Conflicts: 8000 | #Constraints: 3456 1.59/1.66 c #Conflicts: 9000 | #Constraints: 4459 1.59/1.66 c INPROCESSING 1.59/1.66 c GARBAGE COLLECT 1.59/1.66 c rational objective 0 2.28/2.34 c #Conflicts: 10000 | #Constraints: 3154 2.28/2.34 c #Conflicts: 11000 | #Constraints: 4160 2.28/2.34 c #Conflicts: 12000 | #Constraints: 5164 2.28/2.34 c INPROCESSING 2.28/2.34 c GARBAGE COLLECT 2.28/2.34 c rational objective 0 3.08/3.14 c #Conflicts: 13000 | #Constraints: 3601 3.08/3.14 c #Conflicts: 14000 | #Constraints: 4608 3.08/3.14 c #Conflicts: 15000 | #Constraints: 5612 3.08/3.14 c INPROCESSING 3.08/3.14 c GARBAGE COLLECT 3.08/3.14 c rational objective 0 4.17/4.23 c #Conflicts: 16000 | #Constraints: 3830 4.17/4.23 c #Conflicts: 17000 | #Constraints: 4832 4.17/4.23 c #Conflicts: 18000 | #Constraints: 5832 4.17/4.23 c INPROCESSING 4.17/4.23 c GARBAGE COLLECT 4.17/4.23 c rational objective 0 5.37/5.42 c #Conflicts: 19000 | #Constraints: 3835 5.37/5.42 c #Conflicts: 20000 | #Constraints: 4839 5.37/5.42 c #Conflicts: 21000 | #Constraints: 5841 5.37/5.42 c INPROCESSING 5.37/5.42 c GARBAGE COLLECT 5.37/5.42 c rational objective 0 6.66/6.70 c #Conflicts: 22000 | #Constraints: 3636 6.66/6.70 c #Conflicts: 23000 | #Constraints: 4641 6.66/6.70 c #Conflicts: 24000 | #Constraints: 5642 6.66/6.70 c #Conflicts: 25000 | #Constraints: 6646 6.66/6.70 c INPROCESSING 6.66/6.70 c GARBAGE COLLECT 6.66/6.70 c rational objective 0 8.16/8.20 c #Conflicts: 26000 | #Constraints: 4247 8.16/8.20 c #Conflicts: 27000 | #Constraints: 5248 8.16/8.20 c #Conflicts: 28000 | #Constraints: 6249 8.16/8.20 c #Conflicts: 29000 | #Constraints: 7251 8.16/8.20 c INPROCESSING 8.16/8.20 c GARBAGE COLLECT 8.16/8.20 c rational objective 0 9.76/9.80 c #Conflicts: 30000 | #Constraints: 4645 9.76/9.80 c #Conflicts: 31000 | #Constraints: 5645 9.76/9.80 c #Conflicts: 32000 | #Constraints: 6650 9.76/9.80 c #Conflicts: 33000 | #Constraints: 7651 9.76/9.80 c INPROCESSING 9.76/9.80 c GARBAGE COLLECT 9.76/9.80 c rational objective 0 12.45/12.59 c #Conflicts: 34000 | #Constraints: 5389 12.45/12.59 c #Conflicts: 35000 | #Constraints: 7076 12.45/12.59 c #Conflicts: 36000 | #Constraints: 8782 12.45/12.59 c #Conflicts: 37000 | #Constraints: 10463 12.45/12.59 c INPROCESSING 12.45/12.59 c GARBAGE COLLECT 12.45/12.59 c rational objective 0 15.74/15.89 c #Conflicts: 38000 | #Constraints: 6715 15.74/15.89 c #Conflicts: 39000 | #Constraints: 8273 15.74/15.89 c #Conflicts: 40000 | #Constraints: 9941 15.74/15.89 c #Conflicts: 41000 | #Constraints: 11619 15.74/15.89 c INPROCESSING 15.74/15.89 c GARBAGE COLLECT 15.74/15.89 c rational objective 0 19.33/19.45 c #Conflicts: 42000 | #Constraints: 7002 19.33/19.45 c #Conflicts: 43000 | #Constraints: 8502 19.33/19.45 c #Conflicts: 44000 | #Constraints: 9578 19.33/19.45 c #Conflicts: 45000 | #Constraints: 10971 19.33/19.45 c #Conflicts: 46000 | #Constraints: 12092 19.33/19.45 c INPROCESSING 19.33/19.45 c GARBAGE COLLECT 19.33/19.45 c rational objective 0 22.72/22.88 c #Conflicts: 47000 | #Constraints: 7445 22.72/22.88 c #Conflicts: 48000 | #Constraints: 8857 22.72/22.88 c #Conflicts: 49000 | #Constraints: 9961 22.72/22.88 c #Conflicts: 50000 | #Constraints: 11087 22.72/22.88 c #Conflicts: 51000 | #Constraints: 12229 22.72/22.88 c INPROCESSING 22.72/22.88 c GARBAGE COLLECT 22.72/22.88 c rational objective 0 26.81/26.92 c #Conflicts: 52000 | #Constraints: 7797 26.81/26.92 c #Conflicts: 53000 | #Constraints: 9488 26.81/26.92 c #Conflicts: 54000 | #Constraints: 11131 26.81/26.92 c #Conflicts: 55000 | #Constraints: 12781 26.81/26.92 c #Conflicts: 56000 | #Constraints: 14452 26.81/26.92 c INPROCESSING 26.81/26.92 c GARBAGE COLLECT 26.81/26.92 c rational objective 0 31.18/31.36 c #Conflicts: 57000 | #Constraints: 8894 31.18/31.36 c #Conflicts: 58000 | #Constraints: 10524 31.18/31.36 c #Conflicts: 59000 | #Constraints: 12205 31.18/31.36 c #Conflicts: 60000 | #Constraints: 13882 31.18/31.36 c #Conflicts: 61000 | #Constraints: 15565 31.18/31.36 c INPROCESSING 31.18/31.36 c GARBAGE COLLECT 31.18/31.36 c rational objective 0 36.17/36.35 c #Conflicts: 62000 | #Constraints: 9339 36.17/36.35 c #Conflicts: 63000 | #Constraints: 11045 36.17/36.35 c #Conflicts: 64000 | #Constraints: 12711 36.17/36.35 c #Conflicts: 65000 | #Constraints: 14255 36.17/36.35 c #Conflicts: 66000 | #Constraints: 15263 36.17/36.35 c INPROCESSING 36.17/36.35 c GARBAGE COLLECT 36.17/36.35 c rational objective 0 41.75/41.97 c #Conflicts: 67000 | #Constraints: 8842 41.75/41.97 c #Conflicts: 68000 | #Constraints: 10526 41.75/41.97 c #Conflicts: 69000 | #Constraints: 12219 41.75/41.97 c #Conflicts: 70000 | #Constraints: 13937 41.75/41.97 c #Conflicts: 71000 | #Constraints: 15626 41.75/41.97 c #Conflicts: 72000 | #Constraints: 17293 41.75/41.97 c INPROCESSING 41.75/41.97 c GARBAGE COLLECT 41.75/41.97 c rational objective 0 47.74/47.96 c #Conflicts: 73000 | #Constraints: 10159 47.74/47.96 c #Conflicts: 74000 | #Constraints: 11827 47.74/47.96 c #Conflicts: 75000 | #Constraints: 13499 47.74/47.96 c #Conflicts: 76000 | #Constraints: 15158 47.74/47.96 c #Conflicts: 77000 | #Constraints: 16816 47.74/47.96 c #Conflicts: 78000 | #Constraints: 18452 47.74/47.96 c INPROCESSING 47.74/47.96 c GARBAGE COLLECT 47.74/47.96 c rational objective 0 54.61/54.86 c #Conflicts: 79000 | #Constraints: 10875 54.61/54.86 c #Conflicts: 80000 | #Constraints: 12612 54.61/54.86 c #Conflicts: 81000 | #Constraints: 14308 54.61/54.86 c #Conflicts: 82000 | #Constraints: 16005 54.61/54.86 c #Conflicts: 83000 | #Constraints: 17710 54.61/54.86 c #Conflicts: 84000 | #Constraints: 19396 54.61/54.86 c INPROCESSING 54.61/54.86 c GARBAGE COLLECT 54.61/54.86 c rational objective 0 61.58/61.87 c #Conflicts: 85000 | #Constraints: 11106 61.58/61.87 c #Conflicts: 86000 | #Constraints: 12495 61.58/61.87 c #Conflicts: 87000 | #Constraints: 13561 61.58/61.87 c #Conflicts: 88000 | #Constraints: 14646 61.58/61.87 c #Conflicts: 89000 | #Constraints: 16213 61.58/61.87 c #Conflicts: 90000 | #Constraints: 17357 61.58/61.87 c INPROCESSING 61.58/61.87 c GARBAGE COLLECT 61.58/61.87 c rational objective 0 68.16/68.46 c #Conflicts: 91000 | #Constraints: 9603 68.16/68.46 c #Conflicts: 92000 | #Constraints: 10606 68.16/68.46 c #Conflicts: 93000 | #Constraints: 11608 68.16/68.46 c #Conflicts: 94000 | #Constraints: 12613 68.16/68.46 c #Conflicts: 95000 | #Constraints: 13618 68.16/68.46 c #Conflicts: 96000 | #Constraints: 14620 68.16/68.46 c INPROCESSING 68.16/68.46 c GARBAGE COLLECT 68.16/68.46 c rational objective 0 75.23/75.60 c #Conflicts: 97000 | #Constraints: 8243 75.23/75.60 c #Conflicts: 98000 | #Constraints: 9586 75.23/75.60 c #Conflicts: 99000 | #Constraints: 10725 75.23/75.60 c #Conflicts: 100000 | #Constraints: 12122 75.23/75.60 c #Conflicts: 101000 | #Constraints: 13520 75.23/75.60 c #Conflicts: 102000 | #Constraints: 14800 75.23/75.60 c #Conflicts: 103000 | #Constraints: 16094 75.23/75.60 c INPROCESSING 75.23/75.60 c GARBAGE COLLECT 75.23/75.60 c rational objective 0 82.90/83.20 c #Conflicts: 104000 | #Constraints: 9497 82.90/83.20 c #Conflicts: 105000 | #Constraints: 11151 82.90/83.20 c #Conflicts: 106000 | #Constraints: 12826 82.90/83.20 c #Conflicts: 107000 | #Constraints: 14444 82.90/83.20 c #Conflicts: 108000 | #Constraints: 16107 82.90/83.20 c #Conflicts: 109000 | #Constraints: 17775 82.90/83.20 c #Conflicts: 110000 | #Constraints: 19443 82.90/83.20 c INPROCESSING 82.90/83.20 c GARBAGE COLLECT 82.90/83.20 c rational objective 0 89.97/90.33 c #Conflicts: 111000 | #Constraints: 10750 89.97/90.33 c #Conflicts: 112000 | #Constraints: 11756 89.97/90.33 c #Conflicts: 113000 | #Constraints: 12761 89.97/90.33 c #Conflicts: 114000 | #Constraints: 13762 89.97/90.33 c #Conflicts: 115000 | #Constraints: 14765 89.97/90.33 c #Conflicts: 116000 | #Constraints: 15768 89.97/90.33 c #Conflicts: 117000 | #Constraints: 16769 89.97/90.33 c INPROCESSING 89.97/90.33 c GARBAGE COLLECT 89.97/90.33 c rational objective 0 97.45/97.84 c #Conflicts: 118000 | #Constraints: 9710 97.45/97.84 c #Conflicts: 119000 | #Constraints: 10843 97.45/97.84 c #Conflicts: 120000 | #Constraints: 11843 97.45/97.84 c #Conflicts: 121000 | #Constraints: 12885 97.45/97.84 c #Conflicts: 122000 | #Constraints: 13887 97.45/97.84 c #Conflicts: 123000 | #Constraints: 14945 97.45/97.84 c #Conflicts: 124000 | #Constraints: 15947 97.45/97.84 c INPROCESSING 97.45/97.84 c GARBAGE COLLECT 97.45/97.84 c rational objective 0 107.01/107.40 c #Conflicts: 125000 | #Constraints: 9372 107.01/107.40 c #Conflicts: 126000 | #Constraints: 11023 107.01/107.40 c #Conflicts: 127000 | #Constraints: 12687 107.01/107.40 c #Conflicts: 128000 | #Constraints: 14380 107.01/107.40 c #Conflicts: 129000 | #Constraints: 16109 107.01/107.40 c #Conflicts: 130000 | #Constraints: 17819 107.01/107.40 c #Conflicts: 131000 | #Constraints: 19515 107.01/107.40 c INPROCESSING 107.01/107.40 c GARBAGE COLLECT 107.01/107.40 c rational objective 0 117.96/118.45 c #Conflicts: 132000 | #Constraints: 10930 117.96/118.45 c #Conflicts: 133000 | #Constraints: 12585 117.96/118.45 c #Conflicts: 134000 | #Constraints: 14236 117.96/118.45 c #Conflicts: 135000 | #Constraints: 15918 117.96/118.45 c #Conflicts: 136000 | #Constraints: 17615 117.96/118.45 c #Conflicts: 137000 | #Constraints: 19303 117.96/118.45 c #Conflicts: 138000 | #Constraints: 20971 117.96/118.45 c #Conflicts: 139000 | #Constraints: 22643 117.96/118.45 c INPROCESSING 117.96/118.45 c GARBAGE COLLECT 117.96/118.45 c rational objective 0 130.52/131.02 c #Conflicts: 140000 | #Constraints: 12812 130.52/131.02 c #Conflicts: 141000 | #Constraints: 14481 130.52/131.02 c #Conflicts: 142000 | #Constraints: 15567 130.52/131.02 c #Conflicts: 143000 | #Constraints: 17143 130.52/131.02 c #Conflicts: 144000 | #Constraints: 18818 130.52/131.02 c #Conflicts: 145000 | #Constraints: 20504 130.52/131.02 c #Conflicts: 146000 | #Constraints: 22209 130.52/131.02 c #Conflicts: 147000 | #Constraints: 23890 130.52/131.02 c INPROCESSING 130.52/131.02 c GARBAGE COLLECT 130.52/131.02 c rational objective 0 140.88/141.40 c #Conflicts: 148000 | #Constraints: 12972 140.88/141.40 c #Conflicts: 149000 | #Constraints: 13977 140.88/141.40 c #Conflicts: 150000 | #Constraints: 14981 140.88/141.40 c #Conflicts: 151000 | #Constraints: 15983 140.88/141.40 c #Conflicts: 152000 | #Constraints: 16988 140.88/141.40 c #Conflicts: 153000 | #Constraints: 17998 140.88/141.40 c #Conflicts: 154000 | #Constraints: 19003 140.88/141.40 c #Conflicts: 155000 | #Constraints: 20006 140.88/141.40 c INPROCESSING 140.88/141.40 c GARBAGE COLLECT 140.88/141.40 c rational objective 0 150.04/150.62 c #Conflicts: 156000 | #Constraints: 11026 150.04/150.62 c #Conflicts: 157000 | #Constraints: 12030 150.04/150.62 c #Conflicts: 158000 | #Constraints: 13032 150.04/150.62 c #Conflicts: 159000 | #Constraints: 14033 150.04/150.62 c #Conflicts: 160000 | #Constraints: 15034 150.04/150.62 c #Conflicts: 161000 | #Constraints: 16039 150.04/150.62 c #Conflicts: 162000 | #Constraints: 17045 150.04/150.62 c #Conflicts: 163000 | #Constraints: 18049 150.04/150.62 c INPROCESSING 150.04/150.62 c GARBAGE COLLECT 150.04/150.62 c rational objective 0 160.50/161.11 c #Conflicts: 164000 | #Constraints: 10440 160.50/161.11 c #Conflicts: 165000 | #Constraints: 11787 160.50/161.11 c #Conflicts: 166000 | #Constraints: 13037 160.50/161.11 c #Conflicts: 167000 | #Constraints: 14058 160.50/161.11 c #Conflicts: 168000 | #Constraints: 15058 160.50/161.11 c #Conflicts: 169000 | #Constraints: 16059 160.50/161.11 c #Conflicts: 170000 | #Constraints: 17060 160.50/161.11 c #Conflicts: 171000 | #Constraints: 18396 160.50/161.11 c INPROCESSING 160.50/161.11 c GARBAGE COLLECT 160.50/161.11 c rational objective 0 172.05/172.70 c #Conflicts: 172000 | #Constraints: 10105 172.05/172.70 c #Conflicts: 173000 | #Constraints: 11781 172.05/172.70 c #Conflicts: 174000 | #Constraints: 13352 172.05/172.70 c #Conflicts: 175000 | #Constraints: 14749 172.05/172.70 c #Conflicts: 176000 | #Constraints: 15751 172.05/172.70 c #Conflicts: 177000 | #Constraints: 16865 172.05/172.70 c #Conflicts: 178000 | #Constraints: 18534 172.05/172.70 c #Conflicts: 179000 | #Constraints: 20146 172.05/172.70 c #Conflicts: 180000 | #Constraints: 21813 172.05/172.70 c INPROCESSING 172.05/172.70 c GARBAGE COLLECT 172.05/172.70 c rational objective 0 184.80/185.56 c #Conflicts: 181000 | #Constraints: 12283 184.80/185.56 c #Conflicts: 182000 | #Constraints: 13756 184.80/185.56 c #Conflicts: 183000 | #Constraints: 14758 184.80/185.56 c #Conflicts: 184000 | #Constraints: 15760 184.80/185.56 c #Conflicts: 185000 | #Constraints: 16826 184.80/185.56 c #Conflicts: 186000 | #Constraints: 18468 184.80/185.56 c #Conflicts: 187000 | #Constraints: 20069 184.80/185.56 c #Conflicts: 188000 | #Constraints: 21694 184.80/185.56 c #Conflicts: 189000 | #Constraints: 23300 184.80/185.56 c INPROCESSING 184.80/185.56 c GARBAGE COLLECT 184.80/185.56 c rational objective 0 197.05/197.89 c #Conflicts: 190000 | #Constraints: 12671 197.05/197.89 c #Conflicts: 191000 | #Constraints: 13674 197.05/197.89 c #Conflicts: 192000 | #Constraints: 14674 197.05/197.89 c #Conflicts: 193000 | #Constraints: 15678 197.05/197.89 c #Conflicts: 194000 | #Constraints: 16680 197.05/197.89 c #Conflicts: 195000 | #Constraints: 17681 197.05/197.89 c #Conflicts: 196000 | #Constraints: 18682 197.05/197.89 c #Conflicts: 197000 | #Constraints: 19684 197.05/197.89 c #Conflicts: 198000 | #Constraints: 20685 197.05/197.89 c INPROCESSING 197.05/197.89 c GARBAGE COLLECT 197.05/197.89 c rational objective 0 212.30/213.17 c #Conflicts: 199000 | #Constraints: 11941 212.30/213.17 c #Conflicts: 200000 | #Constraints: 13586 212.30/213.17 c #Conflicts: 201000 | #Constraints: 15250 212.30/213.17 c #Conflicts: 202000 | #Constraints: 16923 212.30/213.17 c #Conflicts: 203000 | #Constraints: 18592 212.30/213.17 c #Conflicts: 204000 | #Constraints: 20284 212.30/213.17 c #Conflicts: 205000 | #Constraints: 21949 212.30/213.17 c #Conflicts: 206000 | #Constraints: 23309 212.30/213.17 c #Conflicts: 207000 | #Constraints: 24310 212.30/213.17 c INPROCESSING 212.30/213.17 c GARBAGE COLLECT 212.30/213.17 c rational objective 0 231.71/232.61 c #Conflicts: 208000 | #Constraints: 13459 231.71/232.61 c #Conflicts: 209000 | #Constraints: 15045 231.71/232.61 c #Conflicts: 210000 | #Constraints: 16677 231.71/232.61 c #Conflicts: 211000 | #Constraints: 18340 231.71/232.61 c #Conflicts: 212000 | #Constraints: 19965 231.71/232.61 c #Conflicts: 213000 | #Constraints: 21636 231.71/232.61 c #Conflicts: 214000 | #Constraints: 23278 231.71/232.61 c #Conflicts: 215000 | #Constraints: 24909 231.71/232.61 c #Conflicts: 216000 | #Constraints: 26581 231.71/232.61 c INPROCESSING 231.71/232.61 c GARBAGE COLLECT 231.71/232.61 c rational objective 0 253.13/254.16 c #Conflicts: 217000 | #Constraints: 14215 253.13/254.16 c #Conflicts: 218000 | #Constraints: 15908 253.13/254.16 c #Conflicts: 219000 | #Constraints: 17552 253.13/254.16 c #Conflicts: 220000 | #Constraints: 19232 253.13/254.16 c #Conflicts: 221000 | #Constraints: 20882 253.13/254.16 c #Conflicts: 222000 | #Constraints: 22531 253.13/254.16 c #Conflicts: 223000 | #Constraints: 24173 253.13/254.16 c #Conflicts: 224000 | #Constraints: 25818 253.13/254.16 c #Conflicts: 225000 | #Constraints: 27473 253.13/254.16 c #Conflicts: 226000 | #Constraints: 29124 253.13/254.16 c INPROCESSING 253.13/254.16 c GARBAGE COLLECT 253.13/254.16 c rational objective 0 269.86/270.93 c #Conflicts: 227000 | #Constraints: 15704 269.86/270.93 c #Conflicts: 228000 | #Constraints: 16865 269.86/270.93 c #Conflicts: 229000 | #Constraints: 17916 269.86/270.93 c #Conflicts: 230000 | #Constraints: 18916 269.86/270.93 c #Conflicts: 231000 | #Constraints: 19930 269.86/270.93 c #Conflicts: 232000 | #Constraints: 21034 269.86/270.93 c #Conflicts: 233000 | #Constraints: 22065 269.86/270.93 c #Conflicts: 234000 | #Constraints: 23534 269.86/270.93 c #Conflicts: 235000 | #Constraints: 24840 269.86/270.93 c #Conflicts: 236000 | #Constraints: 25974 269.86/270.93 c INPROCESSING 269.86/270.93 c GARBAGE COLLECT 269.86/270.93 c rational objective 0 287.89/289.09 c #Conflicts: 237000 | #Constraints: 14645 287.89/289.09 c #Conflicts: 238000 | #Constraints: 16105 287.89/289.09 c #Conflicts: 239000 | #Constraints: 17717 287.89/289.09 c #Conflicts: 240000 | #Constraints: 19085 287.89/289.09 c #Conflicts: 241000 | #Constraints: 20097 287.89/289.09 c #Conflicts: 242000 | #Constraints: 21394 287.89/289.09 c #Conflicts: 243000 | #Constraints: 23093 287.89/289.09 c #Conflicts: 244000 | #Constraints: 24325 287.89/289.09 c #Conflicts: 245000 | #Constraints: 25326 287.89/289.09 c #Conflicts: 246000 | #Constraints: 26327 287.89/289.09 c INPROCESSING 287.89/289.09 c GARBAGE COLLECT 287.89/289.09 c rational objective 0 304.12/305.32 c #Conflicts: 247000 | #Constraints: 14403 304.12/305.32 c #Conflicts: 248000 | #Constraints: 15452 304.12/305.32 c #Conflicts: 249000 | #Constraints: 16880 304.12/305.32 c #Conflicts: 250000 | #Constraints: 17953 304.12/305.32 c #Conflicts: 251000 | #Constraints: 19045 304.12/305.32 c #Conflicts: 252000 | #Constraints: 20045 304.12/305.32 c #Conflicts: 253000 | #Constraints: 21074 304.12/305.32 c #Conflicts: 254000 | #Constraints: 22076 304.12/305.32 c #Conflicts: 255000 | #Constraints: 23088 304.12/305.32 c #Conflicts: 256000 | #Constraints: 24332 304.12/305.32 c INPROCESSING 304.12/305.32 c GARBAGE COLLECT 304.12/305.32 c rational objective 0 318.78/320.00 c #Conflicts: 257000 | #Constraints: 13084 318.78/320.00 c #Conflicts: 258000 | #Constraints: 14084 318.78/320.00 c #Conflicts: 259000 | #Constraints: 15085 318.78/320.00 c #Conflicts: 260000 | #Constraints: 16087 318.78/320.00 c #Conflicts: 261000 | #Constraints: 17089 318.78/320.00 c #Conflicts: 262000 | #Constraints: 18091 318.78/320.00 c #Conflicts: 263000 | #Constraints: 19093 318.78/320.00 c #Conflicts: 264000 | #Constraints: 20095 318.78/320.00 c #Conflicts: 265000 | #Constraints: 21096 318.78/320.00 c #Conflicts: 266000 | #Constraints: 22096 318.78/320.00 c INPROCESSING 318.78/320.00 c GARBAGE COLLECT 318.78/320.00 c rational objective 0 335.03/336.30 c #Conflicts: 267000 | #Constraints: 11898 335.03/336.30 c #Conflicts: 268000 | #Constraints: 13153 335.03/336.30 c #Conflicts: 269000 | #Constraints: 14349 335.03/336.30 c #Conflicts: 270000 | #Constraints: 15504 335.03/336.30 c #Conflicts: 271000 | #Constraints: 16715 335.03/336.30 c #Conflicts: 272000 | #Constraints: 17751 335.03/336.30 c #Conflicts: 273000 | #Constraints: 18752 335.03/336.30 c #Conflicts: 274000 | #Constraints: 19817 335.03/336.30 c #Conflicts: 275000 | #Constraints: 20925 335.03/336.30 c #Conflicts: 276000 | #Constraints: 22019 335.03/336.30 c #Conflicts: 277000 | #Constraints: 23106 335.03/336.30 c INPROCESSING 335.03/336.30 c GARBAGE COLLECT 335.03/336.30 c rational objective 0 353.97/355.35 c #Conflicts: 278000 | #Constraints: 12950 353.97/355.35 c #Conflicts: 279000 | #Constraints: 14594 353.97/355.35 c #Conflicts: 280000 | #Constraints: 16279 353.97/355.35 c #Conflicts: 281000 | #Constraints: 17878 353.97/355.35 c #Conflicts: 282000 | #Constraints: 19520 353.97/355.35 c #Conflicts: 283000 | #Constraints: 21218 353.97/355.35 c #Conflicts: 284000 | #Constraints: 22884 353.97/355.35 c #Conflicts: 285000 | #Constraints: 24543 353.97/355.35 c #Conflicts: 286000 | #Constraints: 26144 353.97/355.35 c #Conflicts: 287000 | #Constraints: 27798 353.97/355.35 c #Conflicts: 288000 | #Constraints: 29462 353.97/355.35 c INPROCESSING 353.97/355.35 c GARBAGE COLLECT 353.97/355.35 c rational objective 0 373.21/374.67 c #Conflicts: 289000 | #Constraints: 16402 373.21/374.67 c #Conflicts: 290000 | #Constraints: 17956 373.21/374.67 c #Conflicts: 291000 | #Constraints: 19116 373.21/374.67 c #Conflicts: 292000 | #Constraints: 20116 373.21/374.67 c #Conflicts: 293000 | #Constraints: 21232 373.21/374.67 c #Conflicts: 294000 | #Constraints: 22837 373.21/374.67 c #Conflicts: 295000 | #Constraints: 23837 373.21/374.67 c #Conflicts: 296000 | #Constraints: 24838 373.21/374.67 c #Conflicts: 297000 | #Constraints: 25991 373.21/374.67 c #Conflicts: 298000 | #Constraints: 27199 373.21/374.67 c #Conflicts: 299000 | #Constraints: 28860 373.21/374.67 c INPROCESSING 373.21/374.67 c GARBAGE COLLECT 373.21/374.67 c rational objective 0 396.92/398.48 c #Conflicts: 300000 | #Constraints: 16127 396.92/398.48 c #Conflicts: 301000 | #Constraints: 17744 396.92/398.48 c #Conflicts: 302000 | #Constraints: 19390 396.92/398.48 c #Conflicts: 303000 | #Constraints: 21022 396.92/398.48 c #Conflicts: 304000 | #Constraints: 22685 396.92/398.48 c #Conflicts: 305000 | #Constraints: 24159 396.92/398.48 c #Conflicts: 306000 | #Constraints: 25459 396.92/398.48 c #Conflicts: 307000 | #Constraints: 26832 396.92/398.48 c #Conflicts: 308000 | #Constraints: 27832 396.92/398.48 c #Conflicts: 309000 | #Constraints: 28832 396.92/398.48 c #Conflicts: 310000 | #Constraints: 29832 396.92/398.48 c INPROCESSING 396.92/398.48 c GARBAGE COLLECT 396.92/398.48 c rational objective 0 417.36/418.95 c #Conflicts: 311000 | #Constraints: 15835 417.36/418.95 c #Conflicts: 312000 | #Constraints: 16835 417.36/418.95 c #Conflicts: 313000 | #Constraints: 17836 417.36/418.95 c #Conflicts: 314000 | #Constraints: 18837 417.36/418.95 c #Conflicts: 315000 | #Constraints: 19841 417.36/418.95 c #Conflicts: 316000 | #Constraints: 20841 417.36/418.95 c #Conflicts: 317000 | #Constraints: 21842 417.36/418.95 c #Conflicts: 318000 | #Constraints: 22842 417.36/418.95 c #Conflicts: 319000 | #Constraints: 23842 417.36/418.95 c #Conflicts: 320000 | #Constraints: 24843 417.36/418.95 c #Conflicts: 321000 | #Constraints: 25844 417.36/418.95 c INPROCESSING 417.36/418.95 c GARBAGE COLLECT 417.36/418.95 c rational objective 0 436.69/438.36 c #Conflicts: 322000 | #Constraints: 13641 436.69/438.36 c #Conflicts: 323000 | #Constraints: 14641 436.69/438.36 c #Conflicts: 324000 | #Constraints: 15642 436.69/438.36 c #Conflicts: 325000 | #Constraints: 16642 436.69/438.36 c #Conflicts: 326000 | #Constraints: 17642 436.69/438.36 c #Conflicts: 327000 | #Constraints: 18643 436.69/438.36 c #Conflicts: 328000 | #Constraints: 19643 436.69/438.36 c #Conflicts: 329000 | #Constraints: 20645 436.69/438.36 c #Conflicts: 330000 | #Constraints: 21645 436.69/438.36 c #Conflicts: 331000 | #Constraints: 22645 436.69/438.36 c #Conflicts: 332000 | #Constraints: 23645 436.69/438.36 c #Conflicts: 333000 | #Constraints: 24645 436.69/438.36 c INPROCESSING 436.69/438.36 c GARBAGE COLLECT 436.69/438.36 c rational objective 0 455.23/456.94 c #Conflicts: 334000 | #Constraints: 13248 455.23/456.94 c #Conflicts: 335000 | #Constraints: 14357 455.23/456.94 c #Conflicts: 336000 | #Constraints: 15385 455.23/456.94 c #Conflicts: 337000 | #Constraints: 16385 455.23/456.94 c #Conflicts: 338000 | #Constraints: 17448 455.23/456.94 c #Conflicts: 339000 | #Constraints: 18453 455.23/456.94 c #Conflicts: 340000 | #Constraints: 19898 455.23/456.94 c #Conflicts: 341000 | #Constraints: 20900 455.23/456.94 c #Conflicts: 342000 | #Constraints: 21922 455.23/456.94 c #Conflicts: 343000 | #Constraints: 22925 455.23/456.94 c #Conflicts: 344000 | #Constraints: 23926 455.23/456.94 c #Conflicts: 345000 | #Constraints: 24927 455.23/456.94 c INPROCESSING 455.23/456.94 c GARBAGE COLLECT 455.23/456.94 c rational objective 0 479.26/481.01 c #Conflicts: 346000 | #Constraints: 13936 479.26/481.01 c #Conflicts: 347000 | #Constraints: 14979 479.26/481.01 c #Conflicts: 348000 | #Constraints: 16615 479.26/481.01 c #Conflicts: 349000 | #Constraints: 18295 479.26/481.01 c #Conflicts: 350000 | #Constraints: 19945 479.26/481.01 c #Conflicts: 351000 | #Constraints: 21567 479.26/481.01 c #Conflicts: 352000 | #Constraints: 23210 479.26/481.01 c #Conflicts: 353000 | #Constraints: 24867 479.26/481.01 c #Conflicts: 354000 | #Constraints: 26074 479.26/481.01 c #Conflicts: 355000 | #Constraints: 27291 479.26/481.01 c #Conflicts: 356000 | #Constraints: 28977 479.26/481.01 c #Conflicts: 357000 | #Constraints: 30628 479.26/481.01 c INPROCESSING 479.26/481.01 c GARBAGE COLLECT 479.26/481.01 c rational objective 0 501.68/503.53 c #Conflicts: 358000 | #Constraints: 16485 501.68/503.53 c #Conflicts: 359000 | #Constraints: 17681 501.68/503.53 c #Conflicts: 360000 | #Constraints: 18734 501.68/503.53 c #Conflicts: 361000 | #Constraints: 19734 501.68/503.53 c #Conflicts: 362000 | #Constraints: 20866 501.68/503.53 c #Conflicts: 363000 | #Constraints: 22343 501.68/503.53 c #Conflicts: 364000 | #Constraints: 23574 501.68/503.53 c #Conflicts: 365000 | #Constraints: 24647 501.68/503.53 c #Conflicts: 366000 | #Constraints: 26021 501.68/503.53 c #Conflicts: 367000 | #Constraints: 27022 501.68/503.53 c #Conflicts: 368000 | #Constraints: 28196 501.68/503.53 c #Conflicts: 369000 | #Constraints: 29398 501.68/503.53 c INPROCESSING 501.68/503.53 c GARBAGE COLLECT 501.68/503.53 c rational objective 0 529.30/531.28 c #Conflicts: 370000 | #Constraints: 16147 529.30/531.28 c #Conflicts: 371000 | #Constraints: 17751 529.30/531.28 c #Conflicts: 372000 | #Constraints: 19368 529.30/531.28 c #Conflicts: 373000 | #Constraints: 20788 529.30/531.28 c #Conflicts: 374000 | #Constraints: 22199 529.30/531.28 c #Conflicts: 375000 | #Constraints: 23343 529.30/531.28 c #Conflicts: 376000 | #Constraints: 24692 529.30/531.28 c #Conflicts: 377000 | #Constraints: 26062 529.30/531.28 c #Conflicts: 378000 | #Constraints: 27175 529.30/531.28 c #Conflicts: 379000 | #Constraints: 28175 529.30/531.28 c #Conflicts: 380000 | #Constraints: 29431 529.30/531.28 c #Conflicts: 381000 | #Constraints: 30431 529.30/531.28 c INPROCESSING 529.30/531.28 c GARBAGE COLLECT 529.30/531.28 c rational objective 0 552.22/554.24 c #Conflicts: 382000 | #Constraints: 15962 552.22/554.24 c #Conflicts: 383000 | #Constraints: 16967 552.22/554.24 c #Conflicts: 384000 | #Constraints: 18018 552.22/554.24 c #Conflicts: 385000 | #Constraints: 19020 552.22/554.24 c #Conflicts: 386000 | #Constraints: 20062 552.22/554.24 c #Conflicts: 387000 | #Constraints: 21073 552.22/554.24 c #Conflicts: 388000 | #Constraints: 22076 552.22/554.24 c #Conflicts: 389000 | #Constraints: 23077 552.22/554.24 c #Conflicts: 390000 | #Constraints: 24096 552.22/554.24 c #Conflicts: 391000 | #Constraints: 25118 552.22/554.24 c #Conflicts: 392000 | #Constraints: 26120 552.22/554.24 c #Conflicts: 393000 | #Constraints: 27206 552.22/554.24 c #Conflicts: 394000 | #Constraints: 28269 552.22/554.24 c INPROCESSING 552.22/554.24 c GARBAGE COLLECT 552.22/554.24 c rational objective 0 583.02/585.13 c #Conflicts: 395000 | #Constraints: 15481 583.02/585.13 c #Conflicts: 396000 | #Constraints: 17134 583.02/585.13 c #Conflicts: 397000 | #Constraints: 18623 583.02/585.13 c #Conflicts: 398000 | #Constraints: 20199 583.02/585.13 c #Conflicts: 399000 | #Constraints: 21824 583.02/585.13 c #Conflicts: 400000 | #Constraints: 23467 583.02/585.13 c #Conflicts: 401000 | #Constraints: 25112 583.02/585.13 c #Conflicts: 402000 | #Constraints: 26746 583.02/585.13 c #Conflicts: 403000 | #Constraints: 28420 583.02/585.13 c #Conflicts: 404000 | #Constraints: 30112 583.02/585.13 c #Conflicts: 405000 | #Constraints: 31806 583.02/585.13 c #Conflicts: 406000 | #Constraints: 33480 583.02/585.13 c #Conflicts: 407000 | #Constraints: 35101 583.02/585.13 c INPROCESSING 583.02/585.13 c GARBAGE COLLECT 583.02/585.13 c rational objective 0 608.14/610.39 c #Conflicts: 408000 | #Constraints: 18569 608.14/610.39 c #Conflicts: 409000 | #Constraints: 19569 608.14/610.39 c #Conflicts: 410000 | #Constraints: 20626 608.14/610.39 c #Conflicts: 411000 | #Constraints: 21814 608.14/610.39 c #Conflicts: 412000 | #Constraints: 22816 608.14/610.39 c #Conflicts: 413000 | #Constraints: 23818 608.14/610.39 c #Conflicts: 414000 | #Constraints: 24818 608.14/610.39 c #Conflicts: 415000 | #Constraints: 25818 608.14/610.39 c #Conflicts: 416000 | #Constraints: 26830 608.14/610.39 c #Conflicts: 417000 | #Constraints: 27830 608.14/610.39 c #Conflicts: 418000 | #Constraints: 28830 608.14/610.39 c #Conflicts: 419000 | #Constraints: 29884 608.14/610.39 c #Conflicts: 420000 | #Constraints: 30884 608.14/610.39 c INPROCESSING 608.14/610.39 c GARBAGE COLLECT 608.14/610.39 c rational objective 0 633.76/636.03 c #Conflicts: 421000 | #Constraints: 16464 633.76/636.03 c #Conflicts: 422000 | #Constraints: 17464 633.76/636.03 c #Conflicts: 423000 | #Constraints: 18464 633.76/636.03 c #Conflicts: 424000 | #Constraints: 19465 633.76/636.03 c #Conflicts: 425000 | #Constraints: 20465 633.76/636.03 c #Conflicts: 426000 | #Constraints: 21467 633.76/636.03 c #Conflicts: 427000 | #Constraints: 22468 633.76/636.03 c #Conflicts: 428000 | #Constraints: 23468 633.76/636.03 c #Conflicts: 429000 | #Constraints: 24468 633.76/636.03 c #Conflicts: 430000 | #Constraints: 25469 633.76/636.03 c #Conflicts: 431000 | #Constraints: 26470 633.76/636.03 c #Conflicts: 432000 | #Constraints: 27470 633.76/636.03 c #Conflicts: 433000 | #Constraints: 28470 633.76/636.03 c INPROCESSING 633.76/636.03 c GARBAGE COLLECT 633.76/636.03 c rational objective 0 658.08/660.42 c #Conflicts: 434000 | #Constraints: 15309 658.08/660.42 c #Conflicts: 435000 | #Constraints: 16347 658.08/660.42 c #Conflicts: 436000 | #Constraints: 17414 658.08/660.42 c #Conflicts: 437000 | #Constraints: 18414 658.08/660.42 c #Conflicts: 438000 | #Constraints: 19414 658.08/660.42 c #Conflicts: 439000 | #Constraints: 20416 658.08/660.42 c #Conflicts: 440000 | #Constraints: 21417 658.08/660.42 c #Conflicts: 441000 | #Constraints: 22445 658.08/660.42 c #Conflicts: 442000 | #Constraints: 23470 658.08/660.42 c #Conflicts: 443000 | #Constraints: 24470 658.08/660.42 c #Conflicts: 444000 | #Constraints: 25470 658.08/660.42 c #Conflicts: 445000 | #Constraints: 26471 658.08/660.42 c #Conflicts: 446000 | #Constraints: 27471 658.08/660.42 c INPROCESSING 658.08/660.42 c GARBAGE COLLECT 658.08/660.42 c rational objective 0 685.80/688.21 c #Conflicts: 447000 | #Constraints: 14630 685.80/688.21 c #Conflicts: 448000 | #Constraints: 15848 685.80/688.21 c #Conflicts: 449000 | #Constraints: 16958 685.80/688.21 c #Conflicts: 450000 | #Constraints: 17968 685.80/688.21 c #Conflicts: 451000 | #Constraints: 18988 685.80/688.21 c #Conflicts: 452000 | #Constraints: 20192 685.80/688.21 c #Conflicts: 453000 | #Constraints: 21775 685.80/688.21 c #Conflicts: 454000 | #Constraints: 22988 685.80/688.21 c #Conflicts: 455000 | #Constraints: 23998 685.80/688.21 c #Conflicts: 456000 | #Constraints: 25010 685.80/688.21 c #Conflicts: 457000 | #Constraints: 26090 685.80/688.21 c #Conflicts: 458000 | #Constraints: 27090 685.80/688.21 c #Conflicts: 459000 | #Constraints: 28090 685.80/688.21 c #Conflicts: 460000 | #Constraints: 29155 685.80/688.21 c INPROCESSING 685.80/688.21 c GARBAGE COLLECT 685.80/688.21 c rational objective 0 717.69/720.23 c #Conflicts: 461000 | #Constraints: 15744 717.69/720.23 c #Conflicts: 462000 | #Constraints: 17336 717.69/720.23 c #Conflicts: 463000 | #Constraints: 18736 717.69/720.23 c #Conflicts: 464000 | #Constraints: 20334 717.69/720.23 c #Conflicts: 465000 | #Constraints: 22027 717.69/720.23 c #Conflicts: 466000 | #Constraints: 23686 717.69/720.23 c #Conflicts: 467000 | #Constraints: 25320 717.69/720.23 c #Conflicts: 468000 | #Constraints: 26320 717.69/720.23 c #Conflicts: 469000 | #Constraints: 27839 717.69/720.23 c #Conflicts: 470000 | #Constraints: 29489 717.69/720.23 c #Conflicts: 471000 | #Constraints: 31182 717.69/720.23 c #Conflicts: 472000 | #Constraints: 32789 717.69/720.23 c #Conflicts: 473000 | #Constraints: 34402 717.69/720.23 c #Conflicts: 474000 | #Constraints: 36057 717.69/720.23 c INPROCESSING 717.69/720.23 c GARBAGE COLLECT 717.69/720.23 c rational objective 0 760.16/762.83 c #Conflicts: 475000 | #Constraints: 19627 760.16/762.83 c #Conflicts: 476000 | #Constraints: 21208 760.16/762.83 c #Conflicts: 477000 | #Constraints: 22686 760.16/762.83 c #Conflicts: 478000 | #Constraints: 24253 760.16/762.83 c #Conflicts: 479000 | #Constraints: 25824 760.16/762.83 c #Conflicts: 480000 | #Constraints: 27420 760.16/762.83 c #Conflicts: 481000 | #Constraints: 28984 760.16/762.83 c #Conflicts: 482000 | #Constraints: 30568 760.16/762.83 c #Conflicts: 483000 | #Constraints: 32135 760.16/762.83 c #Conflicts: 484000 | #Constraints: 33724 760.16/762.83 c #Conflicts: 485000 | #Constraints: 35318 760.16/762.83 c #Conflicts: 486000 | #Constraints: 36941 760.16/762.83 c #Conflicts: 487000 | #Constraints: 38538 760.16/762.83 c #Conflicts: 488000 | #Constraints: 40132 760.16/762.83 c INPROCESSING 760.16/762.83 c GARBAGE COLLECT 760.16/762.83 c rational objective 0 804.41/807.29 c #Conflicts: 489000 | #Constraints: 21623 804.41/807.29 c #Conflicts: 490000 | #Constraints: 23207 804.41/807.29 c #Conflicts: 491000 | #Constraints: 24809 804.41/807.29 c #Conflicts: 492000 | #Constraints: 26407 804.41/807.29 c #Conflicts: 493000 | #Constraints: 28002 804.41/807.29 c #Conflicts: 494000 | #Constraints: 29612 804.41/807.29 c #Conflicts: 495000 | #Constraints: 31225 804.41/807.29 c #Conflicts: 496000 | #Constraints: 32845 804.41/807.29 c #Conflicts: 497000 | #Constraints: 34467 804.41/807.29 c #Conflicts: 498000 | #Constraints: 36083 804.41/807.29 c #Conflicts: 499000 | #Constraints: 37712 804.41/807.29 c #Conflicts: 500000 | #Constraints: 39311 804.41/807.29 c #Conflicts: 501000 | #Constraints: 40923 804.41/807.29 c #Conflicts: 502000 | #Constraints: 42540 804.41/807.29 c INPROCESSING 804.41/807.29 c GARBAGE COLLECT 804.41/807.29 c rational objective 0 843.18/846.16 c #Conflicts: 503000 | #Constraints: 22580 843.18/846.16 c #Conflicts: 504000 | #Constraints: 23581 843.18/846.16 c #Conflicts: 505000 | #Constraints: 24774 843.18/846.16 c #Conflicts: 506000 | #Constraints: 25879 843.18/846.16 c #Conflicts: 507000 | #Constraints: 27004 843.18/846.16 c #Conflicts: 508000 | #Constraints: 28157 843.18/846.16 c #Conflicts: 509000 | #Constraints: 29158 843.18/846.16 c #Conflicts: 510000 | #Constraints: 30295 843.18/846.16 c #Conflicts: 511000 | #Constraints: 31299 843.18/846.16 c #Conflicts: 512000 | #Constraints: 32479 843.18/846.16 c #Conflicts: 513000 | #Constraints: 33642 843.18/846.16 c #Conflicts: 514000 | #Constraints: 34715 843.18/846.16 c #Conflicts: 515000 | #Constraints: 35866 843.18/846.16 c #Conflicts: 516000 | #Constraints: 36866 843.18/846.16 c INPROCESSING 843.18/846.16 c GARBAGE COLLECT 843.18/846.16 c rational objective 0 893.60/896.79 c #Conflicts: 517000 | #Constraints: 19368 893.60/896.79 c #Conflicts: 518000 | #Constraints: 21015 893.60/896.79 c #Conflicts: 519000 | #Constraints: 22643 893.60/896.79 c #Conflicts: 520000 | #Constraints: 24267 893.60/896.79 c #Conflicts: 521000 | #Constraints: 25952 893.60/896.79 c #Conflicts: 522000 | #Constraints: 27612 893.60/896.79 c #Conflicts: 523000 | #Constraints: 29331 893.60/896.79 c #Conflicts: 524000 | #Constraints: 30971 893.60/896.79 c #Conflicts: 525000 | #Constraints: 32653 893.60/896.79 c #Conflicts: 526000 | #Constraints: 34316 893.60/896.79 c #Conflicts: 527000 | #Constraints: 35941 893.60/896.79 c #Conflicts: 528000 | #Constraints: 37561 893.60/896.79 c #Conflicts: 529000 | #Constraints: 39178 893.60/896.79 c #Conflicts: 530000 | #Constraints: 40802 893.60/896.79 c #Conflicts: 531000 | #Constraints: 42432 893.60/896.79 c INPROCESSING 893.60/896.79 c GARBAGE COLLECT 893.60/896.79 c rational objective 0 947.43/950.72 c #Conflicts: 532000 | #Constraints: 22355 947.43/950.72 c #Conflicts: 533000 | #Constraints: 23985 947.43/950.72 c #Conflicts: 534000 | #Constraints: 25620 947.43/950.72 c #Conflicts: 535000 | #Constraints: 27215 947.43/950.72 c #Conflicts: 536000 | #Constraints: 28805 947.43/950.72 c #Conflicts: 537000 | #Constraints: 30460 947.43/950.72 c #Conflicts: 538000 | #Constraints: 32128 947.43/950.72 c #Conflicts: 539000 | #Constraints: 33777 947.43/950.72 c #Conflicts: 540000 | #Constraints: 35419 947.43/950.72 c #Conflicts: 541000 | #Constraints: 37036 947.43/950.72 c #Conflicts: 542000 | #Constraints: 38663 947.43/950.72 c #Conflicts: 543000 | #Constraints: 40315 947.43/950.72 c #Conflicts: 544000 | #Constraints: 41511 947.43/950.72 c #Conflicts: 545000 | #Constraints: 42635 947.43/950.72 c #Conflicts: 546000 | #Constraints: 44275 947.43/950.72 c INPROCESSING 947.43/950.72 c GARBAGE COLLECT 947.43/950.72 c rational objective 0 1002.94/1006.46 c #Conflicts: 547000 | #Constraints: 23160 1002.94/1006.46 c #Conflicts: 548000 | #Constraints: 24740 1002.94/1006.46 c #Conflicts: 549000 | #Constraints: 26362 1002.94/1006.46 c #Conflicts: 550000 | #Constraints: 28063 1002.94/1006.46 c #Conflicts: 551000 | #Constraints: 29727 1002.94/1006.46 c #Conflicts: 552000 | #Constraints: 31394 1002.94/1006.46 c #Conflicts: 553000 | #Constraints: 33068 1002.94/1006.46 c #Conflicts: 554000 | #Constraints: 34697 1002.94/1006.46 c #Conflicts: 555000 | #Constraints: 36330 1002.94/1006.46 c #Conflicts: 556000 | #Constraints: 38006 1002.94/1006.46 c #Conflicts: 557000 | #Constraints: 39665 1002.94/1006.46 c #Conflicts: 558000 | #Constraints: 41290 1002.94/1006.46 c #Conflicts: 559000 | #Constraints: 42290 1002.94/1006.46 c #Conflicts: 560000 | #Constraints: 43291 1002.94/1006.46 c #Conflicts: 561000 | #Constraints: 44292 1002.94/1006.46 c INPROCESSING 1002.94/1006.46 c GARBAGE COLLECT 1002.94/1006.46 c rational objective 0 1043.42/1047.09 c #Conflicts: 562000 | #Constraints: 23163 1043.42/1047.09 c #Conflicts: 563000 | #Constraints: 24164 1043.42/1047.09 c #Conflicts: 564000 | #Constraints: 25164 1043.42/1047.09 c #Conflicts: 565000 | #Constraints: 26164 1043.42/1047.09 c #Conflicts: 566000 | #Constraints: 27164 1043.42/1047.09 c #Conflicts: 567000 | #Constraints: 28166 1043.42/1047.09 c #Conflicts: 568000 | #Constraints: 29167 1043.42/1047.09 c #Conflicts: 569000 | #Constraints: 30168 1043.42/1047.09 c #Conflicts: 570000 | #Constraints: 31169 1043.42/1047.09 c #Conflicts: 571000 | #Constraints: 32171 1043.42/1047.09 c #Conflicts: 572000 | #Constraints: 33177 1043.42/1047.09 c #Conflicts: 573000 | #Constraints: 34181 1043.42/1047.09 c #Conflicts: 574000 | #Constraints: 35188 1043.42/1047.09 c #Conflicts: 575000 | #Constraints: 36191 1043.42/1047.09 c #Conflicts: 576000 | #Constraints: 37195 1043.42/1047.09 c INPROCESSING 1043.42/1047.09 c GARBAGE COLLECT 1043.42/1047.09 c rational objective 0 1081.20/1084.97 c #Conflicts: 577000 | #Constraints: 19694 1081.20/1084.97 c #Conflicts: 578000 | #Constraints: 20782 1081.20/1084.97 c #Conflicts: 579000 | #Constraints: 21807 1081.20/1084.97 c #Conflicts: 580000 | #Constraints: 22888 1081.20/1084.97 c #Conflicts: 581000 | #Constraints: 23995 1081.20/1084.97 c #Conflicts: 582000 | #Constraints: 24995 1081.20/1084.97 c #Conflicts: 583000 | #Constraints: 26051 1081.20/1084.97 c #Conflicts: 584000 | #Constraints: 27051 1081.20/1084.97 c #Conflicts: 585000 | #Constraints: 28051 1081.20/1084.97 c #Conflicts: 586000 | #Constraints: 29089 1081.20/1084.97 c #Conflicts: 587000 | #Constraints: 30089 1081.20/1084.97 c #Conflicts: 588000 | #Constraints: 31114 1081.20/1084.97 c #Conflicts: 589000 | #Constraints: 32116 1081.20/1084.97 c #Conflicts: 590000 | #Constraints: 33117 1081.20/1084.97 c #Conflicts: 591000 | #Constraints: 34147 1081.20/1084.97 c INPROCESSING 1081.20/1084.97 c GARBAGE COLLECT 1081.20/1084.97 c rational objective 0 1117.68/1121.59 c #Conflicts: 592000 | #Constraints: 17922 1117.68/1121.59 c #Conflicts: 593000 | #Constraints: 19068 1117.68/1121.59 c #Conflicts: 594000 | #Constraints: 20160 1117.68/1121.59 c #Conflicts: 595000 | #Constraints: 21244 1117.68/1121.59 c #Conflicts: 596000 | #Constraints: 22367 1117.68/1121.59 c #Conflicts: 597000 | #Constraints: 23367 1117.68/1121.59 c #Conflicts: 598000 | #Constraints: 24510 1117.68/1121.59 c #Conflicts: 599000 | #Constraints: 25514 1117.68/1121.59 c #Conflicts: 600000 | #Constraints: 26514 1117.68/1121.59 c #Conflicts: 601000 | #Constraints: 27602 1117.68/1121.59 c #Conflicts: 602000 | #Constraints: 28635 1117.68/1121.59 c #Conflicts: 603000 | #Constraints: 29679 1117.68/1121.59 c #Conflicts: 604000 | #Constraints: 30680 1117.68/1121.59 c #Conflicts: 605000 | #Constraints: 31683 1117.68/1121.59 c #Conflicts: 606000 | #Constraints: 32685 1117.68/1121.59 c #Conflicts: 607000 | #Constraints: 33686 1117.68/1121.59 c INPROCESSING 1117.68/1121.59 c GARBAGE COLLECT 1117.68/1121.59 c rational objective 0 1171.11/1175.12 c #Conflicts: 608000 | #Constraints: 18262 1171.11/1175.12 c #Conflicts: 609000 | #Constraints: 19914 1171.11/1175.12 c #Conflicts: 610000 | #Constraints: 21571 1171.11/1175.12 c #Conflicts: 611000 | #Constraints: 23235 1171.11/1175.12 c #Conflicts: 612000 | #Constraints: 24908 1171.11/1175.12 c #Conflicts: 613000 | #Constraints: 26578 1171.11/1175.12 c #Conflicts: 614000 | #Constraints: 28265 1171.11/1175.12 c #Conflicts: 615000 | #Constraints: 29897 1171.11/1175.12 c #Conflicts: 616000 | #Constraints: 31550 1171.11/1175.12 c #Conflicts: 617000 | #Constraints: 33211 1171.11/1175.12 c #Conflicts: 618000 | #Constraints: 34878 1171.11/1175.12 c #Conflicts: 619000 | #Constraints: 36511 1171.11/1175.12 c #Conflicts: 620000 | #Constraints: 38186 1171.11/1175.12 c #Conflicts: 621000 | #Constraints: 39835 1171.11/1175.12 c #Conflicts: 622000 | #Constraints: 41502 1171.11/1175.12 c #Conflicts: 623000 | #Constraints: 43166 1171.11/1175.12 c INPROCESSING 1171.11/1175.12 c GARBAGE COLLECT 1171.11/1175.12 c rational objective 0 1225.12/1229.31 c #Conflicts: 624000 | #Constraints: 22895 1225.12/1229.31 c #Conflicts: 625000 | #Constraints: 24539 1225.12/1229.31 c #Conflicts: 626000 | #Constraints: 26213 1225.12/1229.31 c #Conflicts: 627000 | #Constraints: 27213 1225.12/1229.31 c #Conflicts: 628000 | #Constraints: 28213 1225.12/1229.31 c #Conflicts: 629000 | #Constraints: 29213 1225.12/1229.31 c #Conflicts: 630000 | #Constraints: 30642 1225.12/1229.31 c #Conflicts: 631000 | #Constraints: 32289 1225.12/1229.31 c #Conflicts: 632000 | #Constraints: 33944 1225.12/1229.31 c #Conflicts: 633000 | #Constraints: 35626 1225.12/1229.31 c #Conflicts: 634000 | #Constraints: 37277 1225.12/1229.31 c #Conflicts: 635000 | #Constraints: 38913 1225.12/1229.31 c #Conflicts: 636000 | #Constraints: 40501 1225.12/1229.31 c #Conflicts: 637000 | #Constraints: 42119 1225.12/1229.31 c #Conflicts: 638000 | #Constraints: 43720 1225.12/1229.31 c #Conflicts: 639000 | #Constraints: 45328 1225.12/1229.31 c INPROCESSING 1225.12/1229.31 c GARBAGE COLLECT 1225.12/1229.31 c rational objective 0 1276.26/1280.68 c #Conflicts: 640000 | #Constraints: 24139 1276.26/1280.68 c #Conflicts: 641000 | #Constraints: 25331 1276.26/1280.68 c #Conflicts: 642000 | #Constraints: 26331 1276.26/1280.68 c #Conflicts: 643000 | #Constraints: 27525 1276.26/1280.68 c #Conflicts: 644000 | #Constraints: 29180 1276.26/1280.68 c #Conflicts: 645000 | #Constraints: 30286 1276.26/1280.68 c #Conflicts: 646000 | #Constraints: 31288 1276.26/1280.68 c #Conflicts: 647000 | #Constraints: 32288 1276.26/1280.68 c #Conflicts: 648000 | #Constraints: 33304 1276.26/1280.68 c #Conflicts: 649000 | #Constraints: 34546 1276.26/1280.68 c #Conflicts: 650000 | #Constraints: 35860 1276.26/1280.68 c #Conflicts: 651000 | #Constraints: 37047 1276.26/1280.68 c #Conflicts: 652000 | #Constraints: 38114 1276.26/1280.68 c #Conflicts: 653000 | #Constraints: 39597 1276.26/1280.68 c #Conflicts: 654000 | #Constraints: 40742 1276.26/1280.68 c #Conflicts: 655000 | #Constraints: 41746 1276.26/1280.68 c INPROCESSING 1276.26/1280.68 c GARBAGE COLLECT 1276.26/1280.68 c rational objective 0 1329.19/1333.74 c #Conflicts: 656000 | #Constraints: 22251 1329.19/1333.74 c #Conflicts: 657000 | #Constraints: 23864 1329.19/1333.74 c #Conflicts: 658000 | #Constraints: 25512 1329.19/1333.74 c #Conflicts: 659000 | #Constraints: 26891 1329.19/1333.74 c #Conflicts: 660000 | #Constraints: 28488 1329.19/1333.74 c #Conflicts: 661000 | #Constraints: 29942 1329.19/1333.74 c #Conflicts: 662000 | #Constraints: 30943 1329.19/1333.74 c #Conflicts: 663000 | #Constraints: 31944 1329.19/1333.74 c #Conflicts: 664000 | #Constraints: 32997 1329.19/1333.74 c #Conflicts: 665000 | #Constraints: 34613 1329.19/1333.74 c #Conflicts: 666000 | #Constraints: 36027 1329.19/1333.74 c #Conflicts: 667000 | #Constraints: 37027 1329.19/1333.74 c #Conflicts: 668000 | #Constraints: 38291 1329.19/1333.74 c #Conflicts: 669000 | #Constraints: 39296 1329.19/1333.74 c #Conflicts: 670000 | #Constraints: 40768 1329.19/1333.74 c #Conflicts: 671000 | #Constraints: 41956 1329.19/1333.74 c INPROCESSING 1329.19/1333.74 c GARBAGE COLLECT 1329.19/1333.74 c rational objective 0 1373.05/1377.74 c #Conflicts: 672000 | #Constraints: 21699 1373.05/1377.74 c #Conflicts: 673000 | #Constraints: 22703 1373.05/1377.74 c #Conflicts: 674000 | #Constraints: 23704 1373.05/1377.74 c #Conflicts: 675000 | #Constraints: 24704 1373.05/1377.74 c #Conflicts: 676000 | #Constraints: 25706 1373.05/1377.74 c #Conflicts: 677000 | #Constraints: 26706 1373.05/1377.74 c #Conflicts: 678000 | #Constraints: 27706 1373.05/1377.74 c #Conflicts: 679000 | #Constraints: 28706 1373.05/1377.74 c #Conflicts: 680000 | #Constraints: 29708 1373.05/1377.74 c #Conflicts: 681000 | #Constraints: 30710 1373.05/1377.74 c #Conflicts: 682000 | #Constraints: 31710 1373.05/1377.74 c #Conflicts: 683000 | #Constraints: 32712 1373.05/1377.74 c #Conflicts: 684000 | #Constraints: 33712 1373.05/1377.74 c #Conflicts: 685000 | #Constraints: 34712 1373.05/1377.74 c #Conflicts: 686000 | #Constraints: 35712 1373.05/1377.74 c #Conflicts: 687000 | #Constraints: 36713 1373.05/1377.74 c #Conflicts: 688000 | #Constraints: 37714 1373.05/1377.74 c INPROCESSING 1373.05/1377.74 c GARBAGE COLLECT 1373.05/1377.74 c rational objective 0 1421.80/1426.62 c #Conflicts: 689000 | #Constraints: 20265 1421.80/1426.62 c #Conflicts: 690000 | #Constraints: 21636 1421.80/1426.62 c #Conflicts: 691000 | #Constraints: 22637 1421.80/1426.62 c #Conflicts: 692000 | #Constraints: 23738 1421.80/1426.62 c #Conflicts: 693000 | #Constraints: 25347 1421.80/1426.62 c #Conflicts: 694000 | #Constraints: 26896 1421.80/1426.62 c #Conflicts: 695000 | #Constraints: 28087 1421.80/1426.62 c #Conflicts: 696000 | #Constraints: 29349 1421.80/1426.62 c #Conflicts: 697000 | #Constraints: 30792 1421.80/1426.62 c #Conflicts: 698000 | #Constraints: 32424 1421.80/1426.62 c #Conflicts: 699000 | #Constraints: 33923 1421.80/1426.62 c #Conflicts: 700000 | #Constraints: 34924 1421.80/1426.62 c #Conflicts: 701000 | #Constraints: 35924 1421.80/1426.62 c #Conflicts: 702000 | #Constraints: 36924 1421.80/1426.62 c #Conflicts: 703000 | #Constraints: 37924 1421.80/1426.62 c #Conflicts: 704000 | #Constraints: 38924 1421.80/1426.62 c #Conflicts: 705000 | #Constraints: 39924 1421.80/1426.62 c INPROCESSING 1421.80/1426.62 c GARBAGE COLLECT 1421.80/1426.62 c rational objective 0 1466.65/1471.69 c #Conflicts: 706000 | #Constraints: 20982 1466.65/1471.69 c #Conflicts: 707000 | #Constraints: 21983 1466.65/1471.69 c #Conflicts: 708000 | #Constraints: 22985 1466.65/1471.69 c #Conflicts: 709000 | #Constraints: 23987 1466.65/1471.69 c #Conflicts: 710000 | #Constraints: 24988 1466.65/1471.69 c #Conflicts: 711000 | #Constraints: 25988 1466.65/1471.69 c #Conflicts: 712000 | #Constraints: 26991 1466.65/1471.69 c #Conflicts: 713000 | #Constraints: 27993 1466.65/1471.69 c #Conflicts: 714000 | #Constraints: 28994 1466.65/1471.69 c #Conflicts: 715000 | #Constraints: 29995 1466.65/1471.69 c #Conflicts: 716000 | #Constraints: 30999 1466.65/1471.69 c #Conflicts: 717000 | #Constraints: 31999 1466.65/1471.69 c #Conflicts: 718000 | #Constraints: 32999 1466.65/1471.69 c #Conflicts: 719000 | #Constraints: 34000 1466.65/1471.69 c #Conflicts: 720000 | #Constraints: 35004 1466.65/1471.69 c #Conflicts: 721000 | #Constraints: 36006 1466.65/1471.69 c #Conflicts: 722000 | #Constraints: 37009 1466.65/1471.69 c INPROCESSING 1466.65/1471.69 c GARBAGE COLLECT 1466.65/1471.69 c rational objective 0 1512.31/1517.49 c #Conflicts: 723000 | #Constraints: 19532 1512.31/1517.49 c #Conflicts: 724000 | #Constraints: 20533 1512.31/1517.49 c #Conflicts: 725000 | #Constraints: 21534 1512.31/1517.49 c #Conflicts: 726000 | #Constraints: 22537 1512.31/1517.49 c #Conflicts: 727000 | #Constraints: 23538 1512.31/1517.49 c #Conflicts: 728000 | #Constraints: 24542 1512.31/1517.49 c #Conflicts: 729000 | #Constraints: 25542 1512.31/1517.49 c #Conflicts: 730000 | #Constraints: 26543 1512.31/1517.49 c #Conflicts: 731000 | #Constraints: 27545 1512.31/1517.49 c #Conflicts: 732000 | #Constraints: 28547 1512.31/1517.49 c #Conflicts: 733000 | #Constraints: 29550 1512.31/1517.49 c #Conflicts: 734000 | #Constraints: 30550 1512.31/1517.49 c #Conflicts: 735000 | #Constraints: 31550 1512.31/1517.49 c #Conflicts: 736000 | #Constraints: 32551 1512.31/1517.49 c #Conflicts: 737000 | #Constraints: 33552 1512.31/1517.49 c #Conflicts: 738000 | #Constraints: 34552 1512.31/1517.49 c #Conflicts: 739000 | #Constraints: 35552 1512.31/1517.49 c INPROCESSING 1512.31/1517.49 c GARBAGE COLLECT 1512.31/1517.49 c rational objective 0 1555.47/1560.71 c #Conflicts: 740000 | #Constraints: 18794 1555.47/1560.71 c #Conflicts: 741000 | #Constraints: 19919 1555.47/1560.71 c #Conflicts: 742000 | #Constraints: 20948 1555.47/1560.71 c #Conflicts: 743000 | #Constraints: 22101 1555.47/1560.71 c #Conflicts: 744000 | #Constraints: 23143 1555.47/1560.71 c #Conflicts: 745000 | #Constraints: 24238 1555.47/1560.71 c #Conflicts: 746000 | #Constraints: 25296 1555.47/1560.71 c #Conflicts: 747000 | #Constraints: 26296 1555.47/1560.71 c #Conflicts: 748000 | #Constraints: 27305 1555.47/1560.71 c #Conflicts: 749000 | #Constraints: 28305 1555.47/1560.71 c #Conflicts: 750000 | #Constraints: 29305 1555.47/1560.71 c #Conflicts: 751000 | #Constraints: 30305 1555.47/1560.71 c #Conflicts: 752000 | #Constraints: 31421 1555.47/1560.71 c #Conflicts: 753000 | #Constraints: 32422 1555.47/1560.71 c #Conflicts: 754000 | #Constraints: 33424 1555.47/1560.71 c #Conflicts: 755000 | #Constraints: 34424 1555.47/1560.71 c #Conflicts: 756000 | #Constraints: 35424 1555.47/1560.71 c INPROCESSING 1555.47/1560.71 c GARBAGE COLLECT 1555.47/1560.71 c rational objective 0 1596.34/1601.78 c #Conflicts: 757000 | #Constraints: 18503 1596.34/1601.78 c #Conflicts: 758000 | #Constraints: 19503 1596.34/1601.78 c #Conflicts: 759000 | #Constraints: 20503 1596.34/1601.78 c #Conflicts: 760000 | #Constraints: 21503 1596.34/1601.78 c #Conflicts: 761000 | #Constraints: 22504 1596.34/1601.78 c #Conflicts: 762000 | #Constraints: 23570 1596.34/1601.78 c #Conflicts: 763000 | #Constraints: 24624 1596.34/1601.78 c #Conflicts: 764000 | #Constraints: 25625 1596.34/1601.78 c #Conflicts: 765000 | #Constraints: 26625 1596.34/1601.78 c #Conflicts: 766000 | #Constraints: 27625 1596.34/1601.78 c #Conflicts: 767000 | #Constraints: 28625 1596.34/1601.78 c #Conflicts: 768000 | #Constraints: 29625 1596.34/1601.78 c #Conflicts: 769000 | #Constraints: 30734 1596.34/1601.78 c #Conflicts: 770000 | #Constraints: 31735 1596.34/1601.78 c #Conflicts: 771000 | #Constraints: 32735 1596.34/1601.78 c #Conflicts: 772000 | #Constraints: 33736 1596.34/1601.78 c #Conflicts: 773000 | #Constraints: 34738 1596.34/1601.78 c #Conflicts: 774000 | #Constraints: 35741 1596.34/1601.78 c INPROCESSING 1596.34/1601.78 c GARBAGE COLLECT 1596.34/1601.78 c rational objective 0 1664.13/1669.74 c #Conflicts: 775000 | #Constraints: 19234 1664.13/1669.74 c #Conflicts: 776000 | #Constraints: 20882 1664.13/1669.74 c #Conflicts: 777000 | #Constraints: 22498 1664.13/1669.74 c #Conflicts: 778000 | #Constraints: 24161 1664.13/1669.74 c #Conflicts: 779000 | #Constraints: 25787 1664.13/1669.74 c #Conflicts: 780000 | #Constraints: 27393 1664.13/1669.74 c #Conflicts: 781000 | #Constraints: 28992 1664.13/1669.74 c #Conflicts: 782000 | #Constraints: 30610 1664.13/1669.74 c #Conflicts: 783000 | #Constraints: 32234 1664.13/1669.74 c #Conflicts: 784000 | #Constraints: 33888 1664.13/1669.74 c #Conflicts: 785000 | #Constraints: 35535 1664.13/1669.74 c #Conflicts: 786000 | #Constraints: 37158 1664.13/1669.74 c #Conflicts: 787000 | #Constraints: 38776 1664.13/1669.74 c #Conflicts: 788000 | #Constraints: 40377 1664.13/1669.74 c #Conflicts: 789000 | #Constraints: 41962 1664.13/1669.74 c #Conflicts: 790000 | #Constraints: 43573 1664.13/1669.74 c #Conflicts: 791000 | #Constraints: 45223 1664.13/1669.74 c #Conflicts: 792000 | #Constraints: 46856 1664.13/1669.74 c INPROCESSING 1664.13/1669.74 c GARBAGE COLLECT 1664.13/1669.74 c rational objective 0 1719.94/1725.74 c #Conflicts: 793000 | #Constraints: 24777 1719.94/1725.74 c #Conflicts: 794000 | #Constraints: 25779 1719.94/1725.74 c #Conflicts: 795000 | #Constraints: 26780 1719.94/1725.74 c #Conflicts: 796000 | #Constraints: 27782 1719.94/1725.74 c #Conflicts: 797000 | #Constraints: 28871 1719.94/1725.74 c #Conflicts: 798000 | #Constraints: 30461 1719.94/1725.74 c #Conflicts: 799000 | #Constraints: 31507 1719.94/1725.74 c #Conflicts: 800000 | #Constraints: 32507 1719.94/1725.74 c #Conflicts: 801000 | #Constraints: 33507 1719.94/1725.74 c #Conflicts: 802000 | #Constraints: 34521 1719.94/1725.74 c #Conflicts: 803000 | #Constraints: 35758 1719.94/1725.74 c #Conflicts: 804000 | #Constraints: 37006 1719.94/1725.74 c #Conflicts: 805000 | #Constraints: 38500 1719.94/1725.74 c #Conflicts: 806000 | #Constraints: 40014 1719.94/1725.74 c #Conflicts: 807000 | #Constraints: 41314 1719.94/1725.74 c #Conflicts: 808000 | #Constraints: 42412 1719.94/1725.74 c #Conflicts: 809000 | #Constraints: 43414 1719.94/1725.74 c #Conflicts: 810000 | #Constraints: 44414 1719.94/1725.74 c INPROCESSING 1719.94/1725.74 c GARBAGE COLLECT 1719.94/1725.74 c rational objective 0 1770.98/1776.97 c #Conflicts: 811000 | #Constraints: 23302 1770.98/1776.97 c #Conflicts: 812000 | #Constraints: 24303 1770.98/1776.97 c #Conflicts: 813000 | #Constraints: 25303 1770.98/1776.97 c #Conflicts: 814000 | #Constraints: 26317 1770.98/1776.97 c #Conflicts: 815000 | #Constraints: 27378 1770.98/1776.97 c #Conflicts: 816000 | #Constraints: 28855 1770.98/1776.97 c #Conflicts: 817000 | #Constraints: 29855 1770.98/1776.97 c #Conflicts: 818000 | #Constraints: 30855 1770.98/1776.97 c #Conflicts: 819000 | #Constraints: 31856 1770.98/1776.97 c #Conflicts: 820000 | #Constraints: 32857 1770.98/1776.97 c #Conflicts: 821000 | #Constraints: 33858 1770.98/1776.97 c #Conflicts: 822000 | #Constraints: 34858 1770.98/1776.97 c #Conflicts: 823000 | #Constraints: 35858 1770.98/1776.97 c #Conflicts: 824000 | #Constraints: 36858 1770.98/1776.97 c #Conflicts: 825000 | #Constraints: 37858 1770.98/1776.97 c #Conflicts: 826000 | #Constraints: 38858 1770.98/1776.97 c #Conflicts: 827000 | #Constraints: 39860 1770.98/1776.97 c #Conflicts: 828000 | #Constraints: 40861 1770.98/1776.97 c INPROCESSING 1770.98/1776.97 c GARBAGE COLLECT 1770.98/1776.97 c rational objective 0 1835.38/1841.57 c #Conflicts: 829000 | #Constraints: 21657 1835.38/1841.57 c #Conflicts: 830000 | #Constraints: 22658 1835.38/1841.57 c #Conflicts: 831000 | #Constraints: 23754 1835.38/1841.57 c #Conflicts: 832000 | #Constraints: 24927 1835.38/1841.57 c #Conflicts: 833000 | #Constraints: 26217 1835.38/1841.57 c #Conflicts: 834000 | #Constraints: 27870 1835.38/1841.57 c #Conflicts: 835000 | #Constraints: 29047 1835.38/1841.57 c #Conflicts: 836000 | #Constraints: 30047 1835.38/1841.57 c #Conflicts: 837000 | #Constraints: 31047 1835.38/1841.57 c #Conflicts: 838000 | #Constraints: 32194 1835.38/1841.57 c #Conflicts: 839000 | #Constraints: 33194 1835.38/1841.57 c #Conflicts: 840000 | #Constraints: 34194 1835.38/1841.57 c #Conflicts: 841000 | #Constraints: 35194 1835.38/1841.57 c #Conflicts: 842000 | #Constraints: 36194 1835.38/1841.57 c #Conflicts: 843000 | #Constraints: 37194 1835.38/1841.57 c #Conflicts: 844000 | #Constraints: 38194 1835.38/1841.57 c #Conflicts: 845000 | #Constraints: 39739 1835.38/1841.57 c #Conflicts: 846000 | #Constraints: 41350 1835.38/1841.57 c INPROCESSING 1835.38/1841.57 c GARBAGE COLLECT 1835.38/1841.57 c rational objective 0 1895.80/1902.18 c #Conflicts: 847000 | #Constraints: 21681 1895.80/1902.18 c #Conflicts: 848000 | #Constraints: 22949 1895.80/1902.18 c #Conflicts: 849000 | #Constraints: 24225 1895.80/1902.18 c #Conflicts: 850000 | #Constraints: 25592 1895.80/1902.18 c #Conflicts: 851000 | #Constraints: 26594 1895.80/1902.18 c #Conflicts: 852000 | #Constraints: 27594 1895.80/1902.18 c #Conflicts: 853000 | #Constraints: 28594 1895.80/1902.18 c #Conflicts: 854000 | #Constraints: 29594 1895.80/1902.18 c #Conflicts: 855000 | #Constraints: 30595 1895.80/1902.18 c #Conflicts: 856000 | #Constraints: 31595 1895.80/1902.18 c #Conflicts: 857000 | #Constraints: 32595 1895.80/1902.18 c #Conflicts: 858000 | #Constraints: 33595 1895.80/1902.18 c #Conflicts: 859000 | #Constraints: 34595 1895.80/1902.18 c #Conflicts: 860000 | #Constraints: 35595 1895.80/1902.18 c #Conflicts: 861000 | #Constraints: 36595 1895.80/1902.18 c #Conflicts: 862000 | #Constraints: 37597 1895.80/1902.18 c #Conflicts: 863000 | #Constraints: 39148 1895.80/1902.18 c #Conflicts: 864000 | #Constraints: 40191 1895.80/1902.18 c #Conflicts: 865000 | #Constraints: 41193 1895.80/1902.18 c INPROCESSING 1895.80/1902.18 c GARBAGE COLLECT 1895.80/1902.18 c rational objective 0 1954.01/1960.58 c #Conflicts: 866000 | #Constraints: 21731 1954.01/1960.58 c #Conflicts: 867000 | #Constraints: 22810 1954.01/1960.58 c #Conflicts: 868000 | #Constraints: 23811 1954.01/1960.58 c #Conflicts: 869000 | #Constraints: 24811 1954.01/1960.58 c #Conflicts: 870000 | #Constraints: 25812 1954.01/1960.58 c #Conflicts: 871000 | #Constraints: 26851 1954.01/1960.58 c #Conflicts: 872000 | #Constraints: 27857 1954.01/1960.58 c #Conflicts: 873000 | #Constraints: 28867 1954.01/1960.58 c #Conflicts: 874000 | #Constraints: 29868 1954.01/1960.58 c #Conflicts: 875000 | #Constraints: 30869 1954.01/1960.58 c #Conflicts: 876000 | #Constraints: 32041 1954.01/1960.58 c #Conflicts: 877000 | #Constraints: 33041 1954.01/1960.58 c #Conflicts: 878000 | #Constraints: 34224 1954.01/1960.58 c #Conflicts: 879000 | #Constraints: 35225 1954.01/1960.58 c #Conflicts: 880000 | #Constraints: 36226 1954.01/1960.58 c #Conflicts: 881000 | #Constraints: 37227 1954.01/1960.58 c #Conflicts: 882000 | #Constraints: 38227 1954.01/1960.58 c #Conflicts: 883000 | #Constraints: 39251 1954.01/1960.58 c #Conflicts: 884000 | #Constraints: 40251 1954.01/1960.58 c INPROCESSING 1954.01/1960.58 c GARBAGE COLLECT 1954.01/1960.58 c rational objective 0 2041.03/2047.87 c #Conflicts: 885000 | #Constraints: 21757 2041.03/2047.87 c #Conflicts: 886000 | #Constraints: 23411 2041.03/2047.87 c #Conflicts: 887000 | #Constraints: 25096 2041.03/2047.87 c #Conflicts: 888000 | #Constraints: 26730 2041.03/2047.87 c #Conflicts: 889000 | #Constraints: 28389 2041.03/2047.87 c #Conflicts: 890000 | #Constraints: 30061 2041.03/2047.87 c #Conflicts: 891000 | #Constraints: 31728 2041.03/2047.87 c #Conflicts: 892000 | #Constraints: 33314 2041.03/2047.87 c #Conflicts: 893000 | #Constraints: 34984 2041.03/2047.87 c #Conflicts: 894000 | #Constraints: 36626 2041.03/2047.87 c #Conflicts: 895000 | #Constraints: 38235 2041.03/2047.87 c #Conflicts: 896000 | #Constraints: 39874 2041.03/2047.87 c #Conflicts: 897000 | #Constraints: 41480 2041.03/2047.87 c #Conflicts: 898000 | #Constraints: 43089 2041.03/2047.87 c #Conflicts: 899000 | #Constraints: 44702 2041.03/2047.87 c #Conflicts: 900000 | #Constraints: 46322 2041.03/2047.87 c #Conflicts: 901000 | #Constraints: 47968 2041.03/2047.87 c #Conflicts: 902000 | #Constraints: 49570 2041.03/2047.87 c #Conflicts: 903000 | #Constraints: 51209 2041.03/2047.87 c INPROCESSING 2041.03/2047.87 c GARBAGE COLLECT 2041.03/2047.87 c rational objective 0 2105.23/2112.24 c #Conflicts: 904000 | #Constraints: 26759 2105.23/2112.24 c #Conflicts: 905000 | #Constraints: 27763 2105.23/2112.24 c #Conflicts: 906000 | #Constraints: 29013 2105.23/2112.24 c #Conflicts: 907000 | #Constraints: 30184 2105.23/2112.24 c #Conflicts: 908000 | #Constraints: 31184 2105.23/2112.24 c #Conflicts: 909000 | #Constraints: 32184 2105.23/2112.24 c #Conflicts: 910000 | #Constraints: 33184 2105.23/2112.24 c #Conflicts: 911000 | #Constraints: 34445 2105.23/2112.24 c #Conflicts: 912000 | #Constraints: 35445 2105.23/2112.24 c #Conflicts: 913000 | #Constraints: 36446 2105.23/2112.24 c #Conflicts: 914000 | #Constraints: 37448 2105.23/2112.24 c #Conflicts: 915000 | #Constraints: 38454 2105.23/2112.24 c #Conflicts: 916000 | #Constraints: 39517 2105.23/2112.24 c #Conflicts: 917000 | #Constraints: 40517 2105.23/2112.24 c #Conflicts: 918000 | #Constraints: 41517 2105.23/2112.24 c #Conflicts: 919000 | #Constraints: 42527 2105.23/2112.24 c #Conflicts: 920000 | #Constraints: 43528 2105.23/2112.24 c #Conflicts: 921000 | #Constraints: 44528 2105.23/2112.24 c #Conflicts: 922000 | #Constraints: 45529 2105.23/2112.24 c INPROCESSING 2105.23/2112.24 c GARBAGE COLLECT 2105.23/2112.24 c rational objective 0 2197.14/2204.47 c #Conflicts: 923000 | #Constraints: 24137 2197.14/2204.47 c #Conflicts: 924000 | #Constraints: 25764 2197.14/2204.47 c #Conflicts: 925000 | #Constraints: 27384 2197.14/2204.47 c #Conflicts: 926000 | #Constraints: 28998 2197.14/2204.47 c #Conflicts: 927000 | #Constraints: 30662 2197.14/2204.47 c #Conflicts: 928000 | #Constraints: 31915 2197.14/2204.47 c #Conflicts: 929000 | #Constraints: 33560 2197.14/2204.47 c #Conflicts: 930000 | #Constraints: 35195 2197.14/2204.47 c #Conflicts: 931000 | #Constraints: 36838 2197.14/2204.47 c #Conflicts: 932000 | #Constraints: 38475 2197.14/2204.47 c #Conflicts: 933000 | #Constraints: 40095 2197.14/2204.47 c #Conflicts: 934000 | #Constraints: 41741 2197.14/2204.47 c #Conflicts: 935000 | #Constraints: 43399 2197.14/2204.47 c #Conflicts: 936000 | #Constraints: 45037 2197.14/2204.47 c #Conflicts: 937000 | #Constraints: 46693 2197.14/2204.47 c #Conflicts: 938000 | #Constraints: 48357 2197.14/2204.47 c #Conflicts: 939000 | #Constraints: 50029 2197.14/2204.47 c #Conflicts: 940000 | #Constraints: 51704 2197.14/2204.47 c #Conflicts: 941000 | #Constraints: 53373 2197.14/2204.47 c INPROCESSING 2197.14/2204.47 c GARBAGE COLLECT 2197.14/2204.47 c rational objective 0 2269.22/2276.71 c #Conflicts: 942000 | #Constraints: 27705 2269.22/2276.71 c #Conflicts: 943000 | #Constraints: 28706 2269.22/2276.71 c #Conflicts: 944000 | #Constraints: 29997 2269.22/2276.71 c #Conflicts: 945000 | #Constraints: 31062 2269.22/2276.71 c #Conflicts: 946000 | #Constraints: 32062 2269.22/2276.71 c #Conflicts: 947000 | #Constraints: 33113 2269.22/2276.71 c #Conflicts: 948000 | #Constraints: 34268 2269.22/2276.71 c #Conflicts: 949000 | #Constraints: 35269 2269.22/2276.71 c #Conflicts: 950000 | #Constraints: 36269 2269.22/2276.71 c #Conflicts: 951000 | #Constraints: 37269 2269.22/2276.71 c #Conflicts: 952000 | #Constraints: 38292 2269.22/2276.71 c #Conflicts: 953000 | #Constraints: 39362 2269.22/2276.71 c #Conflicts: 954000 | #Constraints: 40363 2269.22/2276.71 c #Conflicts: 955000 | #Constraints: 41504 2269.22/2276.71 c #Conflicts: 956000 | #Constraints: 42589 2269.22/2276.71 c #Conflicts: 957000 | #Constraints: 43589 2269.22/2276.71 c #Conflicts: 958000 | #Constraints: 44618 2269.22/2276.71 c #Conflicts: 959000 | #Constraints: 45618 2269.22/2276.71 c #Conflicts: 960000 | #Constraints: 46633 2269.22/2276.71 c #Conflicts: 961000 | #Constraints: 47633 2269.22/2276.71 c INPROCESSING 2269.22/2276.71 c GARBAGE COLLECT 2269.22/2276.71 c rational objective 0 2372.08/2379.90 c #Conflicts: 962000 | #Constraints: 25213 2372.08/2379.90 c #Conflicts: 963000 | #Constraints: 26853 2372.08/2379.90 c #Conflicts: 964000 | #Constraints: 28531 2372.08/2379.90 c #Conflicts: 965000 | #Constraints: 30257 2372.08/2379.90 c #Conflicts: 966000 | #Constraints: 31955 2372.08/2379.90 c #Conflicts: 967000 | #Constraints: 33621 2372.08/2379.90 c #Conflicts: 968000 | #Constraints: 35290 2372.08/2379.90 c #Conflicts: 969000 | #Constraints: 36945 2372.08/2379.90 c #Conflicts: 970000 | #Constraints: 38638 2372.08/2379.90 c #Conflicts: 971000 | #Constraints: 40323 2372.08/2379.90 c #Conflicts: 972000 | #Constraints: 42027 2372.08/2379.90 c #Conflicts: 973000 | #Constraints: 43724 2372.08/2379.90 c #Conflicts: 974000 | #Constraints: 45430 2372.08/2379.90 c #Conflicts: 975000 | #Constraints: 47046 2372.08/2379.90 c #Conflicts: 976000 | #Constraints: 48687 2372.08/2379.90 c #Conflicts: 977000 | #Constraints: 50328 2372.08/2379.90 c #Conflicts: 978000 | #Constraints: 51966 2372.08/2379.90 c #Conflicts: 979000 | #Constraints: 53581 2372.08/2379.90 c #Conflicts: 980000 | #Constraints: 55204 2372.08/2379.90 c #Conflicts: 981000 | #Constraints: 56785 2372.08/2379.90 c INPROCESSING 2372.08/2379.90 c GARBAGE COLLECT 2372.08/2379.90 c rational objective 0 2496.30/2504.54 c #Conflicts: 982000 | #Constraints: 30014 2496.30/2504.54 c #Conflicts: 983000 | #Constraints: 31670 2496.30/2504.54 c #Conflicts: 984000 | #Constraints: 33351 2496.30/2504.54 c #Conflicts: 985000 | #Constraints: 34998 2496.30/2504.54 c #Conflicts: 986000 | #Constraints: 36642 2496.30/2504.54 c #Conflicts: 987000 | #Constraints: 38338 2496.30/2504.54 c #Conflicts: 988000 | #Constraints: 40013 2496.30/2504.54 c #Conflicts: 989000 | #Constraints: 41339 2496.30/2504.54 c #Conflicts: 990000 | #Constraints: 42934 2496.30/2504.54 c #Conflicts: 991000 | #Constraints: 44539 2496.30/2504.54 c #Conflicts: 992000 | #Constraints: 46211 2496.30/2504.54 c #Conflicts: 993000 | #Constraints: 47864 2496.30/2504.54 c #Conflicts: 994000 | #Constraints: 49475 2496.30/2504.54 c #Conflicts: 995000 | #Constraints: 51125 2496.30/2504.54 c #Conflicts: 996000 | #Constraints: 52776 2496.30/2504.54 c #Conflicts: 997000 | #Constraints: 54435 2496.30/2504.54 c #Conflicts: 998000 | #Constraints: 55871 2496.30/2504.54 c #Conflicts: 999000 | #Constraints: 57417 2496.30/2504.54 c #Conflicts: 1000000 | #Constraints: 59070 2496.30/2504.54 c #Conflicts: 1001000 | #Constraints: 60697 2496.30/2504.54 c INPROCESSING 2496.30/2504.54 c GARBAGE COLLECT 2496.30/2504.54 c rational objective 0 2622.71/2631.33 c #Conflicts: 1002000 | #Constraints: 31769 2622.71/2631.33 c #Conflicts: 1003000 | #Constraints: 32938 2622.71/2631.33 c #Conflicts: 1004000 | #Constraints: 34407 2622.71/2631.33 c #Conflicts: 1005000 | #Constraints: 35407 2622.71/2631.33 c #Conflicts: 1006000 | #Constraints: 36407 2622.71/2631.33 c #Conflicts: 1007000 | #Constraints: 37582 2622.71/2631.33 c #Conflicts: 1008000 | #Constraints: 38905 2622.71/2631.33 c #Conflicts: 1009000 | #Constraints: 40071 2622.71/2631.33 c #Conflicts: 1010000 | #Constraints: 41198 2622.71/2631.33 c #Conflicts: 1011000 | #Constraints: 42780 2622.71/2631.33 c #Conflicts: 1012000 | #Constraints: 44439 2622.71/2631.33 c #Conflicts: 1013000 | #Constraints: 45968 2622.71/2631.33 c #Conflicts: 1014000 | #Constraints: 47622 2622.71/2631.33 c #Conflicts: 1015000 | #Constraints: 49282 2622.71/2631.33 c #Conflicts: 1016000 | #Constraints: 50934 2622.71/2631.33 c #Conflicts: 1017000 | #Constraints: 52554 2622.71/2631.33 c #Conflicts: 1018000 | #Constraints: 54045 2622.71/2631.33 c #Conflicts: 1019000 | #Constraints: 55704 2622.71/2631.33 c #Conflicts: 1020000 | #Constraints: 57300 2622.71/2631.33 c #Conflicts: 1021000 | #Constraints: 58621 2622.71/2631.33 c INPROCESSING 2622.71/2631.33 c GARBAGE COLLECT 2622.71/2631.33 c rational objective 0 2747.72/2756.78 c #Conflicts: 1022000 | #Constraints: 30790 2747.72/2756.78 c #Conflicts: 1023000 | #Constraints: 32233 2747.72/2756.78 c #Conflicts: 1024000 | #Constraints: 33402 2747.72/2756.78 c #Conflicts: 1025000 | #Constraints: 34806 2747.72/2756.78 c #Conflicts: 1026000 | #Constraints: 36419 2747.72/2756.78 c #Conflicts: 1027000 | #Constraints: 38062 2747.72/2756.78 c #Conflicts: 1028000 | #Constraints: 39682 2747.72/2756.78 c #Conflicts: 1029000 | #Constraints: 41318 2747.72/2756.78 c #Conflicts: 1030000 | #Constraints: 42461 2747.72/2756.78 c #Conflicts: 1031000 | #Constraints: 44067 2747.72/2756.78 c #Conflicts: 1032000 | #Constraints: 45658 2747.72/2756.78 c #Conflicts: 1033000 | #Constraints: 47270 2747.72/2756.78 c #Conflicts: 1034000 | #Constraints: 48693 2747.72/2756.78 c #Conflicts: 1035000 | #Constraints: 49695 2747.72/2756.78 c #Conflicts: 1036000 | #Constraints: 50695 2747.72/2756.78 c #Conflicts: 1037000 | #Constraints: 52274 2747.72/2756.78 c #Conflicts: 1038000 | #Constraints: 53894 2747.72/2756.78 c #Conflicts: 1039000 | #Constraints: 55517 2747.72/2756.78 c #Conflicts: 1040000 | #Constraints: 57155 2747.72/2756.78 c #Conflicts: 1041000 | #Constraints: 58504 2747.72/2756.78 c INPROCESSING 2747.72/2756.78 c GARBAGE COLLECT 2747.72/2756.78 c rational objective 0 2880.50/2889.95 c #Conflicts: 1042000 | #Constraints: 30349 2880.50/2889.95 c #Conflicts: 1043000 | #Constraints: 31939 2880.50/2889.95 c #Conflicts: 1044000 | #Constraints: 33594 2880.50/2889.95 c #Conflicts: 1045000 | #Constraints: 35230 2880.50/2889.95 c #Conflicts: 1046000 | #Constraints: 36935 2880.50/2889.95 c #Conflicts: 1047000 | #Constraints: 38645 2880.50/2889.95 c #Conflicts: 1048000 | #Constraints: 40359 2880.50/2889.95 c #Conflicts: 1049000 | #Constraints: 42063 2880.50/2889.95 c #Conflicts: 1050000 | #Constraints: 43763 2880.50/2889.95 c #Conflicts: 1051000 | #Constraints: 45460 2880.50/2889.95 c #Conflicts: 1052000 | #Constraints: 47166 2880.50/2889.95 c #Conflicts: 1053000 | #Constraints: 48839 2880.50/2889.95 c #Conflicts: 1054000 | #Constraints: 50511 2880.50/2889.95 c #Conflicts: 1055000 | #Constraints: 52170 2880.50/2889.95 c #Conflicts: 1056000 | #Constraints: 53846 2880.50/2889.95 c #Conflicts: 1057000 | #Constraints: 55486 2880.50/2889.95 c #Conflicts: 1058000 | #Constraints: 57146 2880.50/2889.95 c #Conflicts: 1059000 | #Constraints: 58832 2880.50/2889.95 c #Conflicts: 1060000 | #Constraints: 60459 2880.50/2889.95 c #Conflicts: 1061000 | #Constraints: 62116 2880.50/2889.95 c #Conflicts: 1062000 | #Constraints: 63763 2880.50/2889.95 c INPROCESSING 2880.50/2889.95 c GARBAGE COLLECT 2880.50/2889.95 c rational objective 0 3006.00/3015.89 c #Conflicts: 1063000 | #Constraints: 33287 3006.00/3015.89 c #Conflicts: 1064000 | #Constraints: 34562 3006.00/3015.89 c #Conflicts: 1065000 | #Constraints: 35702 3006.00/3015.89 c #Conflicts: 1066000 | #Constraints: 36706 3006.00/3015.89 c #Conflicts: 1067000 | #Constraints: 38119 3006.00/3015.89 c #Conflicts: 1068000 | #Constraints: 39520 3006.00/3015.89 c #Conflicts: 1069000 | #Constraints: 40770 3006.00/3015.89 c #Conflicts: 1070000 | #Constraints: 41919 3006.00/3015.89 c #Conflicts: 1071000 | #Constraints: 43307 3006.00/3015.89 c #Conflicts: 1072000 | #Constraints: 44919 3006.00/3015.89 c #Conflicts: 1073000 | #Constraints: 46235 3006.00/3015.89 c #Conflicts: 1074000 | #Constraints: 47509 3006.00/3015.89 c #Conflicts: 1075000 | #Constraints: 48918 3006.00/3015.89 c #Conflicts: 1076000 | #Constraints: 50171 3006.00/3015.89 c #Conflicts: 1077000 | #Constraints: 51429 3006.00/3015.89 c #Conflicts: 1078000 | #Constraints: 52429 3006.00/3015.89 c #Conflicts: 1079000 | #Constraints: 53475 3006.00/3015.89 c #Conflicts: 1080000 | #Constraints: 54670 3006.00/3015.89 c #Conflicts: 1081000 | #Constraints: 55694 3006.00/3015.89 c #Conflicts: 1082000 | #Constraints: 57017 3006.00/3015.89 c #Conflicts: 1083000 | #Constraints: 58203 3006.00/3015.89 c INPROCESSING 3006.00/3015.89 c GARBAGE COLLECT 3006.00/3015.89 c rational objective 0 3138.68/3148.95 c #Conflicts: 1084000 | #Constraints: 30763 3138.68/3148.95 c #Conflicts: 1085000 | #Constraints: 32421 3138.68/3148.95 c #Conflicts: 1086000 | #Constraints: 34059 3138.68/3148.95 c #Conflicts: 1087000 | #Constraints: 35701 3138.68/3148.95 c #Conflicts: 1088000 | #Constraints: 37332 3138.68/3148.95 c #Conflicts: 1089000 | #Constraints: 39015 3138.68/3148.95 c #Conflicts: 1090000 | #Constraints: 40663 3138.68/3148.95 c #Conflicts: 1091000 | #Constraints: 42375 3138.68/3148.95 c #Conflicts: 1092000 | #Constraints: 44054 3138.68/3148.95 c #Conflicts: 1093000 | #Constraints: 45701 3138.68/3148.95 c #Conflicts: 1094000 | #Constraints: 47022 3138.68/3148.95 c #Conflicts: 1095000 | #Constraints: 48560 3138.68/3148.95 c #Conflicts: 1096000 | #Constraints: 50171 3138.68/3148.95 c #Conflicts: 1097000 | #Constraints: 51796 3138.68/3148.95 c #Conflicts: 1098000 | #Constraints: 53450 3138.68/3148.95 c #Conflicts: 1099000 | #Constraints: 55084 3138.68/3148.95 c #Conflicts: 1100000 | #Constraints: 56542 3138.68/3148.95 c #Conflicts: 1101000 | #Constraints: 58128 3138.68/3148.95 c #Conflicts: 1102000 | #Constraints: 59761 3138.68/3148.95 c #Conflicts: 1103000 | #Constraints: 61434 3138.68/3148.96 c #Conflicts: 1104000 | #Constraints: 63088 3138.68/3148.96 c INPROCESSING 3138.68/3148.96 c GARBAGE COLLECT 3138.68/3148.96 c rational objective 0 3260.90/3271.52 c #Conflicts: 1105000 | #Constraints: 32797 3260.90/3271.52 c #Conflicts: 1106000 | #Constraints: 33886 3260.90/3271.52 c #Conflicts: 1107000 | #Constraints: 35399 3260.90/3271.52 c #Conflicts: 1108000 | #Constraints: 36926 3260.90/3271.52 c #Conflicts: 1109000 | #Constraints: 38263 3260.90/3271.52 c #Conflicts: 1110000 | #Constraints: 39369 3260.90/3271.52 c #Conflicts: 1111000 | #Constraints: 40623 3260.90/3271.52 c #Conflicts: 1112000 | #Constraints: 41914 3260.90/3271.52 c #Conflicts: 1113000 | #Constraints: 43210 3260.90/3271.52 c #Conflicts: 1114000 | #Constraints: 44574 3260.90/3271.52 c #Conflicts: 1115000 | #Constraints: 45750 3260.90/3271.52 c #Conflicts: 1116000 | #Constraints: 47203 3260.90/3271.52 c #Conflicts: 1117000 | #Constraints: 48655 3260.90/3271.52 c #Conflicts: 1118000 | #Constraints: 50154 3260.90/3271.52 c #Conflicts: 1119000 | #Constraints: 51491 3260.90/3271.52 c #Conflicts: 1120000 | #Constraints: 52672 3260.90/3271.52 c #Conflicts: 1121000 | #Constraints: 54101 3260.90/3271.52 c #Conflicts: 1122000 | #Constraints: 55699 3260.90/3271.52 c #Conflicts: 1123000 | #Constraints: 56905 3260.90/3271.52 c #Conflicts: 1124000 | #Constraints: 58211 3260.90/3271.52 c #Conflicts: 1125000 | #Constraints: 59604 3260.90/3271.52 c INPROCESSING 3260.90/3271.52 c GARBAGE COLLECT 3260.90/3271.52 c rational objective 0 3355.51/3366.41 c #Conflicts: 1126000 | #Constraints: 31166 3355.51/3366.41 c #Conflicts: 1127000 | #Constraints: 32513 3355.51/3366.41 c #Conflicts: 1128000 | #Constraints: 33700 3355.51/3366.41 c #Conflicts: 1129000 | #Constraints: 35054 3355.51/3366.41 c #Conflicts: 1130000 | #Constraints: 36267 3355.51/3366.41 c #Conflicts: 1131000 | #Constraints: 37269 3355.51/3366.41 c #Conflicts: 1132000 | #Constraints: 38270 3355.51/3366.41 c #Conflicts: 1133000 | #Constraints: 39390 3355.51/3366.41 c #Conflicts: 1134000 | #Constraints: 40390 3355.51/3366.41 c #Conflicts: 1135000 | #Constraints: 41390 3355.51/3366.41 c #Conflicts: 1136000 | #Constraints: 42430 3355.51/3366.41 c #Conflicts: 1137000 | #Constraints: 43430 3355.51/3366.41 c #Conflicts: 1138000 | #Constraints: 44767 3355.51/3366.41 c #Conflicts: 1139000 | #Constraints: 45767 3355.51/3366.41 c #Conflicts: 1140000 | #Constraints: 46767 3355.51/3366.41 c #Conflicts: 1141000 | #Constraints: 47767 3355.51/3366.41 c #Conflicts: 1142000 | #Constraints: 48767 3355.51/3366.41 c #Conflicts: 1143000 | #Constraints: 49854 3355.51/3366.41 c #Conflicts: 1144000 | #Constraints: 50897 3355.51/3366.41 c #Conflicts: 1145000 | #Constraints: 51990 3355.51/3366.41 c #Conflicts: 1146000 | #Constraints: 53100 3355.51/3366.41 c INPROCESSING 3355.51/3366.41 c GARBAGE COLLECT 3355.51/3366.41 c rational objective 0 3468.85/3480.13 c #Conflicts: 1147000 | #Constraints: 27529 3468.85/3480.13 c #Conflicts: 1148000 | #Constraints: 29122 3468.85/3480.13 c #Conflicts: 1149000 | #Constraints: 30762 3468.85/3480.13 c #Conflicts: 1150000 | #Constraints: 32346 3468.85/3480.13 c #Conflicts: 1151000 | #Constraints: 33955 3468.85/3480.13 c #Conflicts: 1152000 | #Constraints: 35572 3468.85/3480.13 c #Conflicts: 1153000 | #Constraints: 37202 3468.85/3480.13 c #Conflicts: 1154000 | #Constraints: 38854 3468.85/3480.13 c #Conflicts: 1155000 | #Constraints: 40490 3468.85/3480.13 c #Conflicts: 1156000 | #Constraints: 42158 3468.85/3480.13 c #Conflicts: 1157000 | #Constraints: 43842 3468.85/3480.13 c #Conflicts: 1158000 | #Constraints: 45453 3468.85/3480.13 c #Conflicts: 1159000 | #Constraints: 47077 3468.85/3480.13 c #Conflicts: 1160000 | #Constraints: 48696 3468.85/3480.13 c #Conflicts: 1161000 | #Constraints: 50327 3468.85/3480.13 c #Conflicts: 1162000 | #Constraints: 51963 3468.85/3480.13 c #Conflicts: 1163000 | #Constraints: 53564 3468.85/3480.13 c #Conflicts: 1164000 | #Constraints: 55213 3468.85/3480.13 c #Conflicts: 1165000 | #Constraints: 56856 3468.85/3480.13 c #Conflicts: 1166000 | #Constraints: 58441 3468.85/3480.13 c #Conflicts: 1167000 | #Constraints: 60077 3468.85/3480.13 c #Conflicts: 1168000 | #Constraints: 61737 3468.85/3480.13 c INPROCESSING 3468.85/3480.13 c GARBAGE COLLECT 3468.85/3480.13 c rational objective 0 3600.07/3611.80 c 3600.07/3611.80 s SATISFIABLE 3600.07/3611.80 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 ~x35 x36 x37 x38 x39 ~x40 x41 ~x42 ~x43 ~x44 x45 x46 x47 ~x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 3600.07/3611.80 c #Conflicts: 1169000 | #Constraints: 31852 3600.07/3611.80 c #Conflicts: 1170000 | #Constraints: 33351 3600.07/3611.80 c #Conflicts: 1171000 | #Constraints: 34939 3600.07/3611.80 c #Conflicts: 1172000 | #Constraints: 36480 3600.07/3611.80 c #Conflicts: 1173000 | #Constraints: 38025 3600.07/3611.80 c #Conflicts: 1174000 | #Constraints: 39678 3600.07/3611.80 c #Conflicts: 1175000 | #Constraints: 41301 3600.07/3611.80 c #Conflicts: 1176000 | #Constraints: 42953 3600.07/3611.80 c #Conflicts: 1177000 | #Constraints: 44586 3600.07/3611.80 c #Conflicts: 1178000 | #Constraints: 46259 3600.07/3611.80 c #Conflicts: 1179000 | #Constraints: 47980 3600.07/3611.80 c #Conflicts: 1180000 | #Constraints: 49623 3600.07/3611.80 c #Conflicts: 1181000 | #Constraints: 51281 3600.07/3611.80 c #Conflicts: 1182000 | #Constraints: 52914 3600.07/3611.80 c #Conflicts: 1183000 | #Constraints: 54532 3600.07/3611.80 c #Conflicts: 1184000 | #Constraints: 56162 3600.07/3611.80 c #Conflicts: 1185000 | #Constraints: 57820 3600.07/3611.80 c #Conflicts: 1186000 | #Constraints: 59467 3600.07/3611.80 c #Conflicts: 1187000 | #Constraints: 61114 3600.07/3611.80 c #Conflicts: 1188000 | #Constraints: 62806 3600.07/3611.80 c #Conflicts: 1189000 | #Constraints: 64502
FAILED ERROR: unsatisfied constraint on line 8 -1>=0 Falsified constraint is: -1*x1[=1] >= 0
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 (62936 MiB free)
memory of node 1: 64510 MiB (61452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429454-1721048710/watcher-4429454-1721048710 -o /tmp/evaluation-result-4429454-1721048710/solver-4429454-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801650 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429454-1721048710.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=801697, runsolver pid=801690
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 1.89 3.38 3.84 5/257 801714
/proc/meminfo: memFree=127365760/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=37680 memory=10672 CPUtime=0.09 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 519 0 1 0 9 0 0 0 20 0 1 0 157035879 38584320 2668 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9420 2668 1853 922 0 1372 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37680 KiB
Current children cumulated memory: 10672 KiB
[startup+0.205721 s]*
/proc/loadavg: 1.89 3.38 3.84 5/257 801714
/proc/meminfo: memFree=127361568/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=37944 memory=10932 CPUtime=0.2 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 579 0 1 0 19 1 0 0 20 0 1 0 157035879 38854656 2733 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9486 2733 1853 922 0 1438 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37944 KiB
Current children cumulated memory: 10932 KiB
[startup+0.30487 s]*
/proc/loadavg: 2.14 3.41 3.84 6/257 801714
/proc/meminfo: memFree=127358072/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=37944 memory=10932 CPUtime=0.3 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 597 0 1 0 29 1 0 0 20 0 1 0 157035879 38854656 2733 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9486 2733 1853 922 0 1438 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37944 KiB
Current children cumulated memory: 10932 KiB
[startup+0.700141 s]
/proc/loadavg: 2.14 3.41 3.84 6/257 801714
/proc/meminfo: memFree=127356512/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=38360 memory=11520 CPUtime=0.68 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 706 0 1 0 66 2 0 0 20 0 1 0 157035879 39280640 2880 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9590 2880 1869 922 0 1542 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38360 KiB
Current children cumulated memory: 11520 KiB
[startup+1.50014 s]
/proc/loadavg: 2.14 3.41 3.84 5/257 801714
/proc/meminfo: memFree=127353876/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=38776 memory=11784 CPUtime=1.48 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 812 0 1 0 144 4 0 0 20 0 1 0 157035879 39706624 2946 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9694 2946 1869 922 0 1646 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38776 KiB
Current children cumulated memory: 11784 KiB
[startup+3.10507 s]
/proc/loadavg: 2.14 3.41 3.84 5/257 801716
/proc/meminfo: memFree=127349844/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=39324 memory=12312 CPUtime=3.08 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 927 0 1 0 299 9 0 0 20 0 1 0 157035879 40267776 3078 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9831 3078 1869 922 0 1783 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39324 KiB
Current children cumulated memory: 12312 KiB
[startup+6.30014 s]
/proc/loadavg: 2.37 3.44 3.85 5/257 801716
/proc/meminfo: memFree=127344016/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=39880 memory=13056 CPUtime=6.27 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 1083 0 1 0 611 16 0 0 20 0 1 0 157035879 40837120 3264 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 9970 3264 1869 922 0 1922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39880 KiB
Current children cumulated memory: 13056 KiB
[startup+12.7002 s]
/proc/loadavg: 2.50 3.45 3.85 5/257 801717
/proc/meminfo: memFree=127328500/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=45356 memory=17732 CPUtime=12.65 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 2249 0 1 0 1238 27 0 0 20 0 1 0 157035879 46444544 4433 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 11339 4433 1869 922 0 3291 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45356 KiB
Current children cumulated memory: 17732 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 3.46 3.85 5/257 801719
/proc/meminfo: memFree=127314496/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=47916 memory=20168 CPUtime=25.41 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 2908 0 1 0 2496 45 0 0 20 0 1 0 157035879 49065984 5042 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 11979 5042 1869 922 0 3931 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 47916 KiB
Current children cumulated memory: 20168 KiB
[startup+51.1062 s]
/proc/loadavg: 3.37 3.55 3.87 5/257 801722
/proc/meminfo: memFree=127288396/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=54852 memory=25980 CPUtime=50.93 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 4174 0 1 0 5016 77 0 0 20 0 1 0 157035879 56168448 6495 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 13713 6495 1869 922 0 5665 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 54852 KiB
Current children cumulated memory: 25980 KiB
[startup+102.3 s]
/proc/loadavg: 3.79 3.64 3.88 5/257 801733
/proc/meminfo: memFree=127273036/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=56568 memory=30016 CPUtime=101.93 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 4523 0 1 0 10057 136 0 0 20 0 1 0 157035879 57925632 7504 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 14142 7504 1986 922 0 6094 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 56568 KiB
Current children cumulated memory: 30016 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 3.72 3.90 5/257 801744
/proc/meminfo: memFree=127263492/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=59860 memory=32196 CPUtime=161.7 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 5132 0 1 0 15976 194 0 0 20 0 1 0 157035879 61296640 8049 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 14965 8049 1986 922 0 6917 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 59860 KiB
Current children cumulated memory: 32196 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.81 3.92 6/257 801754
/proc/meminfo: memFree=127257200/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=60628 memory=33224 CPUtime=221.46 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 5406 0 1 0 21906 240 0 0 20 0 1 0 157035879 62083072 8306 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 15157 8306 1986 922 0 7109 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 60628 KiB
Current children cumulated memory: 33224 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.86 3.93 5/259 801768
/proc/meminfo: memFree=127233852/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=70240 memory=39132 CPUtime=281.21 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 6403 0 1 0 27842 279 0 0 20 0 1 0 157035879 71925760 9783 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 17560 9783 1986 922 0 9512 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 39132 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.89 3.94 6/257 801779
/proc/meminfo: memFree=127220124/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=70240 memory=40132 CPUtime=341 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 6437 0 1 0 33778 322 0 0 20 0 1 0 157035879 71925760 10033 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 17560 10033 1986 922 0 9512 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 40132 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.94 3.95 6/257 801789
/proc/meminfo: memFree=127215304/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=71264 memory=40828 CPUtime=400.81 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 6617 0 1 0 39718 363 0 0 20 0 1 0 157035879 72974336 10207 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 17816 10207 1986 922 0 9768 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 71264 KiB
Current children cumulated memory: 40828 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.00 3.97 6/256 801799
/proc/meminfo: memFree=127213676/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=71264 memory=40828 CPUtime=460.62 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 6633 0 1 0 45664 398 0 0 20 0 1 0 157035879 72974336 10207 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 17816 10207 1986 922 0 9768 0
################
# More data... #
################
Current children cumulated memory: 73972 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.07 6/257 802956
/proc/meminfo: memFree=127068248/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=101820 memory=73984 CPUtime=2852.98 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12384 0 1 0 284072 1226 0 0 20 0 1 0 157035879 104263680 18496 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25455 18496 1986 922 0 17407 0
Current children cumulated CPU time: 2852.98 s
Current children cumulated vsize: 101820 KiB
Current children cumulated memory: 73984 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.07 6/258 802968
/proc/meminfo: memFree=127066508/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75444 CPUtime=2912.8 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12776 0 1 0 290041 1239 0 0 20 0 1 0 157035879 104865792 18861 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18861 1986 922 0 17554 0
Current children cumulated CPU time: 2912.8 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75444 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.11 4.08 6/259 803362
/proc/meminfo: memFree=127064792/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75616 CPUtime=2972.61 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12803 0 1 0 296008 1253 0 0 20 0 1 0 157035879 104865792 18904 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18904 1986 922 0 17554 0
Current children cumulated CPU time: 2972.61 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.08 6/257 803372
/proc/meminfo: memFree=127064388/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75616 CPUtime=3032.42 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12831 0 1 0 301974 1268 0 0 20 0 1 0 157035879 104865792 18904 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18904 1986 922 0 17554 0
Current children cumulated CPU time: 3032.42 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.08 6/257 803382
/proc/meminfo: memFree=127064020/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75616 CPUtime=3092.23 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12864 0 1 0 307944 1279 0 0 20 0 1 0 157035879 104865792 18904 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18904 1986 922 0 17554 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75616 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.08 6/259 803563
/proc/meminfo: memFree=127060372/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75640 CPUtime=3152.05 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12904 0 1 0 313912 1293 0 0 20 0 1 0 157035879 104865792 18910 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18910 1986 922 0 17554 0
Current children cumulated CPU time: 3152.05 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/258 803573
/proc/meminfo: memFree=127060736/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75640 CPUtime=3211.86 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12930 0 1 0 319880 1306 0 0 20 0 1 0 157035879 104865792 18910 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18910 1986 922 0 17554 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/259 803586
/proc/meminfo: memFree=127059636/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75680 CPUtime=3271.67 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12969 0 1 0 325849 1318 0 0 20 0 1 0 157035879 104865792 18920 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18920 1986 922 0 17554 0
Current children cumulated CPU time: 3271.67 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75680 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/257 803608
/proc/meminfo: memFree=127059172/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75680 CPUtime=3331.48 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 12995 0 1 0 331813 1335 0 0 20 0 1 0 157035879 104865792 18920 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18920 1986 922 0 17554 0
Current children cumulated CPU time: 3331.48 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75680 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/257 803618
/proc/meminfo: memFree=127057764/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102408 memory=75724 CPUtime=3391.3 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 13022 0 1 0 337780 1350 0 0 20 0 1 0 157035879 104865792 18931 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25602 18931 1986 922 0 17554 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 102408 KiB
Current children cumulated memory: 75724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/257 803628
/proc/meminfo: memFree=127057176/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=102844 memory=75780 CPUtime=3451.1 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 13123 0 1 0 343749 1361 0 0 20 0 1 0 157035879 105312256 18945 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25711 18945 1986 922 0 17663 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 102844 KiB
Current children cumulated memory: 75780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.11 4.09 6/255 803639
/proc/meminfo: memFree=127055100/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=103692 memory=76448 CPUtime=3510.9 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 13318 0 1 0 349717 1373 0 0 20 0 1 0 157035879 106180608 19112 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25923 19112 1986 922 0 17875 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 103692 KiB
Current children cumulated memory: 76448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/255 803650
/proc/meminfo: memFree=127054548/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=103692 memory=76676 CPUtime=3570.68 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 13361 0 1 0 355683 1385 0 0 20 0 1 0 157035879 106180608 19169 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25923 19169 1986 922 0 17875 0
Current children cumulated CPU time: 3570.68 s
Current children cumulated vsize: 103692 KiB
Current children cumulated memory: 76676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 803792
/proc/meminfo: memFree=126878184/131524600 swapFree=131071996/131071996
[pid=801697] ppid=801690 vsize=103948 memory=76860 CPUtime=3600.07 cores=0,2
/proc/801697/stat : 801697 (roundingsat) R 801690 801697 801640 0 -1 4194304 13538 0 1 0 358616 1391 0 0 20 0 1 0 157035879 106442752 19215 134679101440 4194304 7968869 140734154577008 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 9228288 140734154585022 140734154585186 140734154585186 140734154592201 0
/proc/801697/statm: 25987 19215 1986 922 0 17939 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 103948 KiB
Current children cumulated memory: 76860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.8 s]
# the end of solver process 801697 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3586.16 s, system=13.9202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3611.8
CPU time (s): 3600.08
CPU user time (s): 3586.16
CPU system time (s): 13.9202
CPU usage (%): 99.6755
Max. virtual memory (cumulated for all children) (KiB): 103948
Max. memory (cumulated for all children) (KiB): 76860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.16
system time used= 13.9202
maximum resident set size= 77008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13546
page faults= 1
swaps= 0
block input operations= 8
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 24675
# summary of solver processes directly reported to runsolver:
# pid: 801697
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.16
# total CPU system time (s): 13.9202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3468 second user time and 18.4641 second system time
The end
Begin job on nodeC024 at 2024-07-15 15:05:23 IDJOB=4429454 IDBENCH=147583 IDSOLVER=3051 FILE ID=nodeC024/4429454-1721048710 RUNJOBID= nodeC024-1721048723-801650 SLURM_JOB_ID= 7505468 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4429454-1721048710/watcher-4429454-1721048710 -o /tmp/evaluation-result-4429454-1721048710/solver-4429454-1721048710 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721048723-801650 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429454-1721048710.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b RANDOM SEED=546050995 nodeC024.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 : 3585.046 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.60 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 : 3492.610 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 : 7007.08 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 : 3473.136 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.60 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 : 3649.779 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 : 7007.08 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 : 3339.409 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.60 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 : 3250.937 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 : 7007.08 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 : 3615.455 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.60 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 : 3508.128 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127380328 kB MemAvailable: 129713480 kB Buffers: 358728 kB Cached: 2787936 kB SwapCached: 0 kB Active: 568436 kB Inactive: 2936420 kB Active(anon): 1448 kB Inactive(anon): 394464 kB Active(file): 566988 kB Inactive(file): 2541956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 15436 kB Writeback: 0 kB AnonPages: 358228 kB Mapped: 103260 kB Shmem: 37720 kB KReclaimable: 127712 kB Slab: 235636 kB SReclaimable: 127712 kB SUnreclaim: 107924 kB KernelStack: 3872 kB PageTables: 10020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 733592 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59552 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 221908 kB DirectMap2M: 19474432 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 890012 MiB End job on nodeC024 at 2024-07-15 16:05:35