| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -1274 | 3600.06 | 3612.74 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb |
| MD5SUM | 88e07485ddda73ef9c5cf0cbed9ceb05 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1277 |
| Best CPU time to get the best result obtained on this benchmark | 3588.05 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1381 |
| Total number of constraints | 2692 |
| Number of constraints which are clauses | 1346 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1346 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 1381 |
| Biggest coefficient in the objective function | 304 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 75168 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 304 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 75168 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.03 c #variables 1381 #constraints 2692 6.46/6.53 c bounds - >= -37584 @ 0.032075 6.46/6.53 c bounds 0 >= -37584 @ 0.343319 6.46/6.53 c bounds -464 >= -37584 @ 0.345102 6.46/6.53 c bounds -754 >= -37584 @ 0.348964 6.46/6.53 c #Conflicts: 1000 | #Constraints: 3694 6.46/6.53 c bounds -754 >= -37341 @ 3.10024 6.46/6.53 c bounds -769 >= -37341 @ 3.102 6.46/6.53 c bounds -819 >= -37341 @ 3.10374 6.46/6.53 c bounds -853 >= -37341 @ 3.10483 6.46/6.53 c bounds -1039 >= -37341 @ 3.10697 6.46/6.53 c bounds -1041 >= -37341 @ 3.12043 6.46/6.53 c bounds -1046 >= -37341 @ 3.1362 6.46/6.53 c bounds -1048 >= -37341 @ 3.13723 6.46/6.53 c bounds -1054 >= -37341 @ 3.13849 6.46/6.53 c bounds -1062 >= -37341 @ 3.23355 6.46/6.53 c #Conflicts: 2000 | #Constraints: 4707 6.46/6.53 c INPROCESSING 6.46/6.53 c GARBAGE COLLECT 6.46/6.53 c bounds -1172 >= -37341 @ 3.40352 6.46/6.53 c bounds -1186 >= -37341 @ 3.4323 6.46/6.53 c bounds -1204 >= -37341 @ 3.98457 6.46/6.53 c bounds -1205 >= -37341 @ 4.53206 6.46/6.53 c bounds -1213 >= -37341 @ 4.53865 6.46/6.53 c bounds -1231 >= -37341 @ 4.73587 6.46/6.53 c bounds -1233 >= -37341 @ 4.77937 6.46/6.53 c #Conflicts: 3000 | #Constraints: 4705 6.46/6.53 c #Conflicts: 4000 | #Constraints: 5705 6.46/6.53 c INPROCESSING 6.46/6.53 c GARBAGE COLLECT 6.46/6.53 c rational objective -18792 12.14/12.28 c #Conflicts: 5000 | #Constraints: 5099 12.14/12.28 c #Conflicts: 6000 | #Constraints: 6099 12.14/12.28 c INPROCESSING 12.14/12.28 c GARBAGE COLLECT 12.14/12.28 c rational objective -18792 17.43/17.53 c bounds -1241 >= -37341 @ 12.15 17.43/17.53 c #Conflicts: 7000 | #Constraints: 5106 17.43/17.53 c bounds -1245 >= -37341 @ 15.0146 17.43/17.53 c #Conflicts: 8000 | #Constraints: 6107 17.43/17.53 c bounds -1250 >= -37341 @ 15.2324 17.43/17.53 c #Conflicts: 9000 | #Constraints: 7108 17.43/17.53 c INPROCESSING 17.43/17.53 c GARBAGE COLLECT 17.43/17.53 c rational objective -18792 20.62/20.78 c bounds -1250 >= -37125 @ 17.3045 20.62/20.78 c #Conflicts: 10000 | #Constraints: 5807 20.62/20.78 c #Conflicts: 11000 | #Constraints: 6812 20.62/20.78 c #Conflicts: 12000 | #Constraints: 7813 20.62/20.78 c INPROCESSING 20.62/20.78 c GARBAGE COLLECT 20.62/20.78 c rational objective -18792 25.70/25.87 c bounds -1252 >= -37125 @ 21.4418 25.70/25.87 c bounds -1257 >= -37125 @ 22.0327 25.70/25.87 c #Conflicts: 13000 | #Constraints: 6266 25.70/25.87 c bounds -1261 >= -37125 @ 23.9927 25.70/25.87 c #Conflicts: 14000 | #Constraints: 7268 25.70/25.87 c #Conflicts: 15000 | #Constraints: 8269 25.70/25.87 c INPROCESSING 25.70/25.87 c GARBAGE COLLECT 25.70/25.87 c rational objective -18620 31.69/31.81 c #Conflicts: 16000 | #Constraints: 6490 31.69/31.81 c #Conflicts: 17000 | #Constraints: 7490 31.69/31.81 c #Conflicts: 18000 | #Constraints: 8490 31.69/31.81 c INPROCESSING 31.69/31.81 c GARBAGE COLLECT 31.69/31.81 c rational objective -18592 35.67/35.85 c #Conflicts: 19000 | #Constraints: 6499 35.67/35.85 c #Conflicts: 20000 | #Constraints: 7499 35.67/35.85 c #Conflicts: 21000 | #Constraints: 8499 35.67/35.85 c INPROCESSING 35.67/35.85 c GARBAGE COLLECT 35.67/35.85 c rational objective -18592 43.24/43.41 c #Conflicts: 22000 | #Constraints: 6312 43.24/43.41 c #Conflicts: 23000 | #Constraints: 7312 43.24/43.41 c #Conflicts: 24000 | #Constraints: 8312 43.24/43.41 c #Conflicts: 25000 | #Constraints: 9312 43.24/43.41 c INPROCESSING 43.24/43.41 c GARBAGE COLLECT 43.24/43.41 c rational objective -18336 48.13/48.30 c #Conflicts: 26000 | #Constraints: 6909 48.13/48.30 c #Conflicts: 27000 | #Constraints: 7910 48.13/48.30 c #Conflicts: 28000 | #Constraints: 8910 48.13/48.30 c #Conflicts: 29000 | #Constraints: 9910 48.13/48.30 c INPROCESSING 48.13/48.30 c GARBAGE COLLECT 48.13/48.30 c rational objective -18292 53.31/53.54 c #Conflicts: 30000 | #Constraints: 7323 53.31/53.54 c #Conflicts: 31000 | #Constraints: 8323 53.31/53.54 c #Conflicts: 32000 | #Constraints: 9323 53.31/53.54 c #Conflicts: 33000 | #Constraints: 10324 53.31/53.54 c INPROCESSING 53.31/53.54 c GARBAGE COLLECT 53.31/53.54 c rational objective -17996 63.47/63.75 c #Conflicts: 34000 | #Constraints: 7540 63.47/63.75 c #Conflicts: 35000 | #Constraints: 8540 63.47/63.75 c #Conflicts: 36000 | #Constraints: 9540 63.47/63.75 c #Conflicts: 37000 | #Constraints: 10540 63.47/63.75 c INPROCESSING 63.47/63.75 c GARBAGE COLLECT 63.47/63.75 c rational objective -17916 69.96/70.21 c #Conflicts: 38000 | #Constraints: 7524 69.96/70.21 c #Conflicts: 39000 | #Constraints: 8527 69.96/70.21 c #Conflicts: 40000 | #Constraints: 9527 69.96/70.21 c #Conflicts: 41000 | #Constraints: 10530 69.96/70.21 c INPROCESSING 69.96/70.21 c GARBAGE COLLECT 69.96/70.21 c rational objective -17808 77.53/77.84 c #Conflicts: 42000 | #Constraints: 7347 77.53/77.84 c #Conflicts: 43000 | #Constraints: 8347 77.53/77.84 c bounds -1265 >= -37125 @ 72.4453 77.53/77.84 c #Conflicts: 44000 | #Constraints: 9349 77.53/77.84 c #Conflicts: 45000 | #Constraints: 10349 77.53/77.84 c #Conflicts: 46000 | #Constraints: 11349 77.53/77.84 c INPROCESSING 77.53/77.84 c GARBAGE COLLECT 77.53/77.84 c rational objective -17644 90.80/91.12 c #Conflicts: 47000 | #Constraints: 7956 90.80/91.12 c #Conflicts: 48000 | #Constraints: 8956 90.80/91.12 c #Conflicts: 49000 | #Constraints: 9956 90.80/91.12 c #Conflicts: 50000 | #Constraints: 10956 90.80/91.12 c #Conflicts: 51000 | #Constraints: 11956 90.80/91.12 c INPROCESSING 90.80/91.12 c GARBAGE COLLECT 90.80/91.12 c rational objective -17536 97.78/98.13 c #Conflicts: 52000 | #Constraints: 8339 97.78/98.13 c #Conflicts: 53000 | #Constraints: 9340 97.78/98.13 c #Conflicts: 54000 | #Constraints: 10342 97.78/98.13 c #Conflicts: 55000 | #Constraints: 11342 97.78/98.13 c #Conflicts: 56000 | #Constraints: 12342 97.78/98.13 c INPROCESSING 97.78/98.13 c GARBAGE COLLECT 97.78/98.13 c rational objective -17532 106.33/106.79 c #Conflicts: 57000 | #Constraints: 8560 106.33/106.79 c bounds -1270 >= -37125 @ 100.072 106.33/106.79 c #Conflicts: 58000 | #Constraints: 9561 106.33/106.79 c #Conflicts: 59000 | #Constraints: 10561 106.33/106.79 c #Conflicts: 60000 | #Constraints: 11562 106.33/106.79 c #Conflicts: 61000 | #Constraints: 12566 106.33/106.79 c INPROCESSING 106.33/106.79 c GARBAGE COLLECT 106.33/106.79 c rational objective -17268 115.62/116.03 c #Conflicts: 62000 | #Constraints: 8591 115.62/116.03 c #Conflicts: 63000 | #Constraints: 9592 115.62/116.03 c #Conflicts: 64000 | #Constraints: 10592 115.62/116.03 c #Conflicts: 65000 | #Constraints: 11592 115.62/116.03 c bounds -1273 >= -37125 @ 112.595 115.62/116.03 c #Conflicts: 66000 | #Constraints: 12593 115.62/116.03 c INPROCESSING 115.62/116.03 c GARBAGE COLLECT 115.62/116.03 c rational objective -16776 127.96/128.49 c #Conflicts: 67000 | #Constraints: 8411 127.96/128.49 c bounds -1274 >= -37125 @ 115.63 127.96/128.49 c #Conflicts: 68000 | #Constraints: 9412 127.96/128.49 c #Conflicts: 69000 | #Constraints: 10412 127.96/128.49 c #Conflicts: 70000 | #Constraints: 11413 127.96/128.49 c #Conflicts: 71000 | #Constraints: 12414 127.96/128.49 c #Conflicts: 72000 | #Constraints: 13414 127.96/128.49 c INPROCESSING 127.96/128.49 c GARBAGE COLLECT 127.96/128.49 c rational objective -16582 135.74/136.24 c #Conflicts: 73000 | #Constraints: 8962 135.74/136.24 c #Conflicts: 74000 | #Constraints: 9962 135.74/136.24 c #Conflicts: 75000 | #Constraints: 10962 135.74/136.24 c #Conflicts: 76000 | #Constraints: 11967 135.74/136.24 c #Conflicts: 77000 | #Constraints: 12967 135.74/136.24 c #Conflicts: 78000 | #Constraints: 13967 135.74/136.24 c INPROCESSING 135.74/136.24 c GARBAGE COLLECT 135.74/136.24 c rational objective -16499.3 152.08/152.66 c #Conflicts: 79000 | #Constraints: 9432 152.08/152.66 c #Conflicts: 80000 | #Constraints: 10432 152.08/152.66 c #Conflicts: 81000 | #Constraints: 11432 152.08/152.66 c #Conflicts: 82000 | #Constraints: 12432 152.08/152.66 c #Conflicts: 83000 | #Constraints: 13432 152.08/152.66 c #Conflicts: 84000 | #Constraints: 14432 152.08/152.66 c INPROCESSING 152.08/152.66 c GARBAGE COLLECT 152.08/152.66 c rational objective -16183.3 160.75/161.39 c #Conflicts: 85000 | #Constraints: 9574 160.75/161.39 c #Conflicts: 86000 | #Constraints: 10577 160.75/161.39 c #Conflicts: 87000 | #Constraints: 11577 160.75/161.39 c #Conflicts: 88000 | #Constraints: 12578 160.75/161.39 c #Conflicts: 89000 | #Constraints: 13581 160.75/161.39 c #Conflicts: 90000 | #Constraints: 14582 160.75/161.39 c INPROCESSING 160.75/161.39 c GARBAGE COLLECT 160.75/161.39 c rational objective -16042 170.12/170.70 c #Conflicts: 91000 | #Constraints: 9664 170.12/170.70 c #Conflicts: 92000 | #Constraints: 10664 170.12/170.70 c #Conflicts: 93000 | #Constraints: 11664 170.12/170.70 c #Conflicts: 94000 | #Constraints: 12664 170.12/170.70 c #Conflicts: 95000 | #Constraints: 13665 170.12/170.70 c #Conflicts: 96000 | #Constraints: 14665 170.12/170.70 c INPROCESSING 170.12/170.70 c GARBAGE COLLECT 170.12/170.70 c rational objective -15887.1 184.58/185.24 c #Conflicts: 97000 | #Constraints: 9527 184.58/185.24 c #Conflicts: 98000 | #Constraints: 10527 184.58/185.24 c #Conflicts: 99000 | #Constraints: 11527 184.58/185.24 c #Conflicts: 100000 | #Constraints: 12527 184.58/185.24 c #Conflicts: 101000 | #Constraints: 13527 184.58/185.24 c #Conflicts: 102000 | #Constraints: 14527 184.58/185.24 c #Conflicts: 103000 | #Constraints: 15527 184.58/185.24 c INPROCESSING 184.58/185.24 c GARBAGE COLLECT 184.58/185.24 c rational objective -15760.7 193.75/194.40 c #Conflicts: 104000 | #Constraints: 10019 193.75/194.40 c #Conflicts: 105000 | #Constraints: 11019 193.75/194.40 c #Conflicts: 106000 | #Constraints: 12019 193.75/194.40 c #Conflicts: 107000 | #Constraints: 13021 193.75/194.40 c #Conflicts: 108000 | #Constraints: 14021 193.75/194.40 c #Conflicts: 109000 | #Constraints: 15021 193.75/194.40 c #Conflicts: 110000 | #Constraints: 16023 193.75/194.40 c INPROCESSING 193.75/194.40 c GARBAGE COLLECT 193.75/194.40 c rational objective -15671 214.09/214.81 c #Conflicts: 111000 | #Constraints: 10520 214.09/214.81 c #Conflicts: 112000 | #Constraints: 11520 214.09/214.81 c #Conflicts: 113000 | #Constraints: 12520 214.09/214.81 c #Conflicts: 114000 | #Constraints: 13520 214.09/214.81 c #Conflicts: 115000 | #Constraints: 14520 214.09/214.81 c #Conflicts: 116000 | #Constraints: 15520 214.09/214.81 c #Conflicts: 117000 | #Constraints: 16520 214.09/214.81 c INPROCESSING 214.09/214.81 c GARBAGE COLLECT 214.09/214.81 c rational objective -15568.4 223.96/224.74 c #Conflicts: 118000 | #Constraints: 10615 223.96/224.74 c #Conflicts: 119000 | #Constraints: 11617 223.96/224.74 c #Conflicts: 120000 | #Constraints: 12617 223.96/224.74 c #Conflicts: 121000 | #Constraints: 13617 223.96/224.74 c #Conflicts: 122000 | #Constraints: 14617 223.96/224.74 c #Conflicts: 123000 | #Constraints: 15617 223.96/224.74 c #Conflicts: 124000 | #Constraints: 16618 223.96/224.74 c INPROCESSING 223.96/224.74 c GARBAGE COLLECT 223.96/224.74 c rational objective -15518.1 245.89/246.75 c #Conflicts: 125000 | #Constraints: 10725 245.89/246.75 c #Conflicts: 126000 | #Constraints: 11725 245.89/246.75 c #Conflicts: 127000 | #Constraints: 12726 245.89/246.75 c #Conflicts: 128000 | #Constraints: 13726 245.89/246.75 c #Conflicts: 129000 | #Constraints: 14726 245.89/246.75 c #Conflicts: 130000 | #Constraints: 15726 245.89/246.75 c #Conflicts: 131000 | #Constraints: 16726 245.89/246.75 c INPROCESSING 245.89/246.75 c GARBAGE COLLECT 245.89/246.75 c rational objective -15429.4 256.65/257.57 c #Conflicts: 132000 | #Constraints: 10422 256.65/257.57 c #Conflicts: 133000 | #Constraints: 11426 256.65/257.57 c #Conflicts: 134000 | #Constraints: 12428 256.65/257.57 c #Conflicts: 135000 | #Constraints: 13429 256.65/257.57 c #Conflicts: 136000 | #Constraints: 14431 256.65/257.57 c #Conflicts: 137000 | #Constraints: 15431 256.65/257.57 c #Conflicts: 138000 | #Constraints: 16433 256.65/257.57 c #Conflicts: 139000 | #Constraints: 17433 256.65/257.57 c INPROCESSING 256.65/257.57 c GARBAGE COLLECT 256.65/257.57 c rational objective -15389.4 269.12/270.03 c #Conflicts: 140000 | #Constraints: 11149 269.12/270.03 c #Conflicts: 141000 | #Constraints: 12152 269.12/270.03 c #Conflicts: 142000 | #Constraints: 13154 269.12/270.03 c #Conflicts: 143000 | #Constraints: 14154 269.12/270.03 c #Conflicts: 144000 | #Constraints: 15158 269.12/270.03 c #Conflicts: 145000 | #Constraints: 16164 269.12/270.03 c #Conflicts: 146000 | #Constraints: 17166 269.12/270.03 c #Conflicts: 147000 | #Constraints: 18167 269.12/270.03 c INPROCESSING 269.12/270.03 c GARBAGE COLLECT 269.12/270.03 c rational objective -15363.8 297.61/298.69 c #Conflicts: 148000 | #Constraints: 11613 297.61/298.69 c #Conflicts: 149000 | #Constraints: 12613 297.61/298.69 c #Conflicts: 150000 | #Constraints: 13613 297.61/298.69 c #Conflicts: 151000 | #Constraints: 14613 297.61/298.69 c #Conflicts: 152000 | #Constraints: 15613 297.61/298.69 c #Conflicts: 153000 | #Constraints: 16613 297.61/298.69 c #Conflicts: 154000 | #Constraints: 17613 297.61/298.69 c #Conflicts: 155000 | #Constraints: 18613 297.61/298.69 c INPROCESSING 297.61/298.69 c GARBAGE COLLECT 297.61/298.69 c rational objective -15352.9 311.26/312.31 c #Conflicts: 156000 | #Constraints: 11665 311.26/312.31 c #Conflicts: 157000 | #Constraints: 12666 311.26/312.31 c #Conflicts: 158000 | #Constraints: 13669 311.26/312.31 c #Conflicts: 159000 | #Constraints: 14673 311.26/312.31 c #Conflicts: 160000 | #Constraints: 15678 311.26/312.31 c #Conflicts: 161000 | #Constraints: 16680 311.26/312.31 c #Conflicts: 162000 | #Constraints: 17682 311.26/312.31 c #Conflicts: 163000 | #Constraints: 18682 311.26/312.31 c INPROCESSING 311.26/312.31 c GARBAGE COLLECT 311.26/312.31 c rational objective -15352.9 345.34/346.59 c #Conflicts: 164000 | #Constraints: 11772 345.34/346.59 c #Conflicts: 165000 | #Constraints: 12772 345.34/346.59 c #Conflicts: 166000 | #Constraints: 13772 345.34/346.59 c #Conflicts: 167000 | #Constraints: 14772 345.34/346.59 c #Conflicts: 168000 | #Constraints: 15772 345.34/346.59 c #Conflicts: 169000 | #Constraints: 16772 345.34/346.59 c #Conflicts: 170000 | #Constraints: 17772 345.34/346.59 c #Conflicts: 171000 | #Constraints: 18772 345.34/346.59 c INPROCESSING 345.34/346.59 c GARBAGE COLLECT 345.34/346.59 c rational objective -15324.9 360.19/361.44 c #Conflicts: 172000 | #Constraints: 11447 360.19/361.44 c #Conflicts: 173000 | #Constraints: 12451 360.19/361.44 c #Conflicts: 174000 | #Constraints: 13452 360.19/361.44 c #Conflicts: 175000 | #Constraints: 14454 360.19/361.44 c #Conflicts: 176000 | #Constraints: 15454 360.19/361.44 c #Conflicts: 177000 | #Constraints: 16457 360.19/361.44 c #Conflicts: 178000 | #Constraints: 17459 360.19/361.44 c #Conflicts: 179000 | #Constraints: 18460 360.19/361.44 c #Conflicts: 180000 | #Constraints: 19463 360.19/361.44 c INPROCESSING 360.19/361.44 c GARBAGE COLLECT 360.19/361.44 c rational objective -15324.9 375.53/376.87 c #Conflicts: 181000 | #Constraints: 12170 375.53/376.87 c #Conflicts: 182000 | #Constraints: 13171 375.53/376.87 c #Conflicts: 183000 | #Constraints: 14173 375.53/376.87 c #Conflicts: 184000 | #Constraints: 15176 375.53/376.87 c #Conflicts: 185000 | #Constraints: 16176 375.53/376.87 c #Conflicts: 186000 | #Constraints: 17179 375.53/376.87 c #Conflicts: 187000 | #Constraints: 18180 375.53/376.87 c #Conflicts: 188000 | #Constraints: 19180 375.53/376.87 c #Conflicts: 189000 | #Constraints: 20180 375.53/376.87 c INPROCESSING 375.53/376.87 c GARBAGE COLLECT 375.53/376.87 c rational objective -15320.9 404.94/406.33 c #Conflicts: 190000 | #Constraints: 12635 404.94/406.33 c #Conflicts: 191000 | #Constraints: 13635 404.94/406.33 c #Conflicts: 192000 | #Constraints: 14636 404.94/406.33 c #Conflicts: 193000 | #Constraints: 15636 404.94/406.33 c #Conflicts: 194000 | #Constraints: 16636 404.94/406.33 c #Conflicts: 195000 | #Constraints: 17636 404.94/406.33 c #Conflicts: 196000 | #Constraints: 18636 404.94/406.33 c #Conflicts: 197000 | #Constraints: 19636 404.94/406.33 c #Conflicts: 198000 | #Constraints: 20636 404.94/406.33 c INPROCESSING 404.94/406.33 c GARBAGE COLLECT 404.94/406.33 c rational objective -15263.2 421.48/422.95 c #Conflicts: 199000 | #Constraints: 12672 421.48/422.95 c #Conflicts: 200000 | #Constraints: 13672 421.48/422.95 c #Conflicts: 201000 | #Constraints: 14673 421.48/422.95 c #Conflicts: 202000 | #Constraints: 15674 421.48/422.95 c #Conflicts: 203000 | #Constraints: 16683 421.48/422.95 c #Conflicts: 204000 | #Constraints: 17683 421.48/422.95 c #Conflicts: 205000 | #Constraints: 18683 421.48/422.95 c #Conflicts: 206000 | #Constraints: 19687 421.48/422.95 c #Conflicts: 207000 | #Constraints: 20690 421.48/422.95 c INPROCESSING 421.48/422.95 c GARBAGE COLLECT 421.48/422.95 c rational objective -15263.2 459.35/460.94 c #Conflicts: 208000 | #Constraints: 12795 459.35/460.94 c #Conflicts: 209000 | #Constraints: 13795 459.35/460.94 c #Conflicts: 210000 | #Constraints: 14795 459.35/460.94 c #Conflicts: 211000 | #Constraints: 15795 459.35/460.94 c #Conflicts: 212000 | #Constraints: 16795 459.35/460.94 c #Conflicts: 213000 | #Constraints: 17796 459.35/460.94 c #Conflicts: 214000 | #Constraints: 18796 459.35/460.94 c #Conflicts: 215000 | #Constraints: 19796 459.35/460.94 c #Conflicts: 216000 | #Constraints: 20797 459.35/460.94 c INPROCESSING 459.35/460.94 c GARBAGE COLLECT 459.35/460.94 c rational objective -15263.2 477.40/479.07 c #Conflicts: 217000 | #Constraints: 12456 477.40/479.07 c #Conflicts: 218000 | #Constraints: 13457 477.40/479.07 c #Conflicts: 219000 | #Constraints: 14458 477.40/479.07 c #Conflicts: 220000 | #Constraints: 15458 477.40/479.07 c #Conflicts: 221000 | #Constraints: 16462 477.40/479.07 c #Conflicts: 222000 | #Constraints: 17462 477.40/479.07 c #Conflicts: 223000 | #Constraints: 18467 477.40/479.07 c #Conflicts: 224000 | #Constraints: 19468 477.40/479.07 c #Conflicts: 225000 | #Constraints: 20471 477.40/479.07 c #Conflicts: 226000 | #Constraints: 21471 477.40/479.07 c INPROCESSING 477.40/479.07 c GARBAGE COLLECT 477.40/479.07 c rational objective -15263.2 496.22/497.94 c #Conflicts: 227000 | #Constraints: 13188 496.22/497.94 c #Conflicts: 228000 | #Constraints: 14191 496.22/497.94 c #Conflicts: 229000 | #Constraints: 15191 496.22/497.94 c #Conflicts: 230000 | #Constraints: 16192 496.22/497.94 c #Conflicts: 231000 | #Constraints: 17192 496.22/497.94 c #Conflicts: 232000 | #Constraints: 18199 496.22/497.94 c #Conflicts: 233000 | #Constraints: 19199 496.22/497.94 c #Conflicts: 234000 | #Constraints: 20204 496.22/497.94 c #Conflicts: 235000 | #Constraints: 21206 496.22/497.94 c #Conflicts: 236000 | #Constraints: 22208 496.22/497.94 c INPROCESSING 496.22/497.94 c GARBAGE COLLECT 496.22/497.94 c rational objective -15263.2 548.54/550.42 c #Conflicts: 237000 | #Constraints: 13653 548.54/550.42 c #Conflicts: 238000 | #Constraints: 14653 548.54/550.42 c #Conflicts: 239000 | #Constraints: 15653 548.54/550.42 c #Conflicts: 240000 | #Constraints: 16653 548.54/550.42 c #Conflicts: 241000 | #Constraints: 17653 548.54/550.42 c #Conflicts: 242000 | #Constraints: 18653 548.54/550.42 c #Conflicts: 243000 | #Constraints: 19653 548.54/550.42 c #Conflicts: 244000 | #Constraints: 20653 548.54/550.42 c #Conflicts: 245000 | #Constraints: 21654 548.54/550.42 c #Conflicts: 246000 | #Constraints: 22654 548.54/550.42 c INPROCESSING 548.54/550.42 c GARBAGE COLLECT 548.54/550.42 c rational objective -15258.8 568.67/570.61 c #Conflicts: 247000 | #Constraints: 13685 568.67/570.61 c #Conflicts: 248000 | #Constraints: 14687 568.67/570.61 c #Conflicts: 249000 | #Constraints: 15689 568.67/570.61 c #Conflicts: 250000 | #Constraints: 16690 568.67/570.61 c #Conflicts: 251000 | #Constraints: 17692 568.67/570.61 c #Conflicts: 252000 | #Constraints: 18692 568.67/570.61 c #Conflicts: 253000 | #Constraints: 19694 568.67/570.61 c #Conflicts: 254000 | #Constraints: 20696 568.67/570.61 c #Conflicts: 255000 | #Constraints: 21697 568.67/570.61 c #Conflicts: 256000 | #Constraints: 22699 568.67/570.61 c INPROCESSING 568.67/570.61 c GARBAGE COLLECT 568.67/570.61 c rational objective -15258.7 622.89/625.07 c #Conflicts: 257000 | #Constraints: 13803 622.89/625.07 c #Conflicts: 258000 | #Constraints: 14803 622.89/625.07 c #Conflicts: 259000 | #Constraints: 15803 622.89/625.07 c #Conflicts: 260000 | #Constraints: 16803 622.89/625.07 c #Conflicts: 261000 | #Constraints: 17803 622.89/625.07 c #Conflicts: 262000 | #Constraints: 18803 622.89/625.07 c #Conflicts: 263000 | #Constraints: 19803 622.89/625.07 c #Conflicts: 264000 | #Constraints: 20803 622.89/625.07 c #Conflicts: 265000 | #Constraints: 21803 622.89/625.07 c #Conflicts: 266000 | #Constraints: 22803 622.89/625.07 c INPROCESSING 622.89/625.07 c GARBAGE COLLECT 622.89/625.07 c rational objective -15239.7 644.50/646.73 c #Conflicts: 267000 | #Constraints: 13461 644.50/646.73 c #Conflicts: 268000 | #Constraints: 14463 644.50/646.73 c #Conflicts: 269000 | #Constraints: 15470 644.50/646.73 c #Conflicts: 270000 | #Constraints: 16470 644.50/646.73 c #Conflicts: 271000 | #Constraints: 17473 644.50/646.73 c #Conflicts: 272000 | #Constraints: 18475 644.50/646.73 c #Conflicts: 273000 | #Constraints: 19486 644.50/646.73 c #Conflicts: 274000 | #Constraints: 20489 644.50/646.73 c #Conflicts: 275000 | #Constraints: 21489 644.50/646.73 c #Conflicts: 276000 | #Constraints: 22490 644.50/646.73 c #Conflicts: 277000 | #Constraints: 23492 644.50/646.73 c INPROCESSING 644.50/646.73 c GARBAGE COLLECT 644.50/646.73 c rational objective -15239.7 667.73/670.05 c #Conflicts: 278000 | #Constraints: 14204 667.73/670.05 c #Conflicts: 279000 | #Constraints: 15205 667.73/670.05 c #Conflicts: 280000 | #Constraints: 16211 667.73/670.05 c #Conflicts: 281000 | #Constraints: 17213 667.73/670.05 c #Conflicts: 282000 | #Constraints: 18216 667.73/670.05 c #Conflicts: 283000 | #Constraints: 19218 667.73/670.05 c #Conflicts: 284000 | #Constraints: 20219 667.73/670.05 c #Conflicts: 285000 | #Constraints: 21219 667.73/670.05 c #Conflicts: 286000 | #Constraints: 22221 667.73/670.05 c #Conflicts: 287000 | #Constraints: 23224 667.73/670.05 c #Conflicts: 288000 | #Constraints: 24226 667.73/670.05 c INPROCESSING 667.73/670.05 c GARBAGE COLLECT 667.73/670.05 c rational objective -15239.7 730.10/732.63 c #Conflicts: 289000 | #Constraints: 14667 730.10/732.63 c #Conflicts: 290000 | #Constraints: 15667 730.10/732.63 c #Conflicts: 291000 | #Constraints: 16667 730.10/732.63 c #Conflicts: 292000 | #Constraints: 17667 730.10/732.63 c #Conflicts: 293000 | #Constraints: 18667 730.10/732.63 c #Conflicts: 294000 | #Constraints: 19667 730.10/732.63 c #Conflicts: 295000 | #Constraints: 20667 730.10/732.63 c #Conflicts: 296000 | #Constraints: 21667 730.10/732.63 c #Conflicts: 297000 | #Constraints: 22667 730.10/732.63 c #Conflicts: 298000 | #Constraints: 23667 730.10/732.63 c #Conflicts: 299000 | #Constraints: 24667 730.10/732.63 c INPROCESSING 730.10/732.63 c GARBAGE COLLECT 730.10/732.63 c rational objective -15239.7 754.22/756.84 c #Conflicts: 300000 | #Constraints: 14704 754.22/756.84 c #Conflicts: 301000 | #Constraints: 15705 754.22/756.84 c #Conflicts: 302000 | #Constraints: 16712 754.22/756.84 c #Conflicts: 303000 | #Constraints: 17715 754.22/756.84 c #Conflicts: 304000 | #Constraints: 18717 754.22/756.84 c #Conflicts: 305000 | #Constraints: 19717 754.22/756.84 c #Conflicts: 306000 | #Constraints: 20719 754.22/756.84 c #Conflicts: 307000 | #Constraints: 21719 754.22/756.84 c #Conflicts: 308000 | #Constraints: 22724 754.22/756.84 c #Conflicts: 309000 | #Constraints: 23725 754.22/756.84 c #Conflicts: 310000 | #Constraints: 24727 754.22/756.84 c INPROCESSING 754.22/756.84 c GARBAGE COLLECT 754.22/756.84 c rational objective -15239.8 780.52/783.29 c #Conflicts: 311000 | #Constraints: 14826 780.52/783.29 c #Conflicts: 312000 | #Constraints: 15827 780.52/783.29 c #Conflicts: 313000 | #Constraints: 16828 780.52/783.29 c #Conflicts: 314000 | #Constraints: 17830 780.52/783.29 c #Conflicts: 315000 | #Constraints: 18832 780.52/783.29 c #Conflicts: 316000 | #Constraints: 19838 780.52/783.29 c #Conflicts: 317000 | #Constraints: 20838 780.52/783.29 c #Conflicts: 318000 | #Constraints: 21839 780.52/783.29 c #Conflicts: 319000 | #Constraints: 22843 780.52/783.29 c #Conflicts: 320000 | #Constraints: 23844 780.52/783.29 c #Conflicts: 321000 | #Constraints: 24846 780.52/783.29 c INPROCESSING 780.52/783.29 c GARBAGE COLLECT 780.52/783.29 c rational objective -15239.7 818.39/821.27 c #Conflicts: 322000 | #Constraints: 14684 818.39/821.27 c #Conflicts: 323000 | #Constraints: 15684 818.39/821.27 c #Conflicts: 324000 | #Constraints: 16684 818.39/821.27 c #Conflicts: 325000 | #Constraints: 17684 818.39/821.27 c #Conflicts: 326000 | #Constraints: 18684 818.39/821.27 c #Conflicts: 327000 | #Constraints: 19684 818.39/821.27 c #Conflicts: 328000 | #Constraints: 20684 818.39/821.27 c #Conflicts: 329000 | #Constraints: 21685 818.39/821.27 c #Conflicts: 330000 | #Constraints: 22686 818.39/821.27 c #Conflicts: 331000 | #Constraints: 23686 818.39/821.27 c #Conflicts: 332000 | #Constraints: 24686 818.39/821.27 c #Conflicts: 333000 | #Constraints: 25689 818.39/821.27 c INPROCESSING 818.39/821.27 c GARBAGE COLLECT 818.39/821.27 c rational objective -15235.7 843.80/846.71 c #Conflicts: 334000 | #Constraints: 15102 843.80/846.71 c #Conflicts: 335000 | #Constraints: 16104 843.80/846.71 c #Conflicts: 336000 | #Constraints: 17106 843.80/846.71 c #Conflicts: 337000 | #Constraints: 18111 843.80/846.71 c #Conflicts: 338000 | #Constraints: 19113 843.80/846.71 c #Conflicts: 339000 | #Constraints: 20118 843.80/846.71 c #Conflicts: 340000 | #Constraints: 21122 843.80/846.71 c #Conflicts: 341000 | #Constraints: 22126 843.80/846.71 c #Conflicts: 342000 | #Constraints: 23131 843.80/846.71 c #Conflicts: 343000 | #Constraints: 24134 843.80/846.71 c #Conflicts: 344000 | #Constraints: 25136 843.80/846.71 c #Conflicts: 345000 | #Constraints: 26137 843.80/846.71 c INPROCESSING 843.80/846.71 c GARBAGE COLLECT 843.80/846.71 c rational objective -15235.8 909.18/912.31 c #Conflicts: 346000 | #Constraints: 15631 909.18/912.31 c #Conflicts: 347000 | #Constraints: 16631 909.18/912.31 c #Conflicts: 348000 | #Constraints: 17631 909.18/912.31 c #Conflicts: 349000 | #Constraints: 18631 909.18/912.31 c #Conflicts: 350000 | #Constraints: 19631 909.18/912.31 c #Conflicts: 351000 | #Constraints: 20631 909.18/912.31 c #Conflicts: 352000 | #Constraints: 21631 909.18/912.31 c #Conflicts: 353000 | #Constraints: 22631 909.18/912.31 c #Conflicts: 354000 | #Constraints: 23631 909.18/912.31 c #Conflicts: 355000 | #Constraints: 24631 909.18/912.31 c #Conflicts: 356000 | #Constraints: 25631 909.18/912.31 c #Conflicts: 357000 | #Constraints: 26631 909.18/912.31 c INPROCESSING 909.18/912.31 c GARBAGE COLLECT 909.18/912.31 c rational objective -15235.8 936.90/940.15 c #Conflicts: 358000 | #Constraints: 15677 936.90/940.15 c #Conflicts: 359000 | #Constraints: 16680 936.90/940.15 c #Conflicts: 360000 | #Constraints: 17681 936.90/940.15 c #Conflicts: 361000 | #Constraints: 18687 936.90/940.15 c #Conflicts: 362000 | #Constraints: 19691 936.90/940.15 c #Conflicts: 363000 | #Constraints: 20693 936.90/940.15 c #Conflicts: 364000 | #Constraints: 21693 936.90/940.15 c #Conflicts: 365000 | #Constraints: 22701 936.90/940.15 c #Conflicts: 366000 | #Constraints: 23702 936.90/940.15 c #Conflicts: 367000 | #Constraints: 24709 936.90/940.15 c #Conflicts: 368000 | #Constraints: 25709 936.90/940.15 c #Conflicts: 369000 | #Constraints: 26711 936.90/940.15 c INPROCESSING 936.90/940.15 c GARBAGE COLLECT 936.90/940.15 c rational objective -15235.8 1015.31/1018.81 c #Conflicts: 370000 | #Constraints: 15820 1015.31/1018.81 c #Conflicts: 371000 | #Constraints: 16821 1015.31/1018.81 c #Conflicts: 372000 | #Constraints: 17822 1015.31/1018.81 c #Conflicts: 373000 | #Constraints: 18822 1015.31/1018.81 c #Conflicts: 374000 | #Constraints: 19822 1015.31/1018.81 c #Conflicts: 375000 | #Constraints: 20822 1015.31/1018.81 c #Conflicts: 376000 | #Constraints: 21822 1015.31/1018.81 c #Conflicts: 377000 | #Constraints: 22822 1015.31/1018.81 c #Conflicts: 378000 | #Constraints: 23822 1015.31/1018.81 c #Conflicts: 379000 | #Constraints: 24822 1015.31/1018.81 c #Conflicts: 380000 | #Constraints: 25822 1015.31/1018.81 c #Conflicts: 381000 | #Constraints: 26822 1015.31/1018.81 c INPROCESSING 1015.31/1018.81 c GARBAGE COLLECT 1015.31/1018.81 c rational objective -15235.7 1044.11/1047.75 c #Conflicts: 382000 | #Constraints: 15481 1044.11/1047.75 c #Conflicts: 383000 | #Constraints: 16484 1044.11/1047.75 c #Conflicts: 384000 | #Constraints: 17487 1044.11/1047.75 c #Conflicts: 385000 | #Constraints: 18492 1044.11/1047.75 c #Conflicts: 386000 | #Constraints: 19494 1044.11/1047.75 c #Conflicts: 387000 | #Constraints: 20496 1044.11/1047.75 c #Conflicts: 388000 | #Constraints: 21498 1044.11/1047.75 c #Conflicts: 389000 | #Constraints: 22501 1044.11/1047.75 c #Conflicts: 390000 | #Constraints: 23506 1044.11/1047.75 c #Conflicts: 391000 | #Constraints: 24507 1044.11/1047.75 c #Conflicts: 392000 | #Constraints: 25510 1044.11/1047.75 c #Conflicts: 393000 | #Constraints: 26510 1044.11/1047.75 c #Conflicts: 394000 | #Constraints: 27513 1044.11/1047.75 c INPROCESSING 1044.11/1047.75 c GARBAGE COLLECT 1044.11/1047.75 c rational objective -15226.4 1076.70/1080.44 c #Conflicts: 395000 | #Constraints: 16230 1076.70/1080.44 c #Conflicts: 396000 | #Constraints: 17239 1076.70/1080.44 c #Conflicts: 397000 | #Constraints: 18243 1076.70/1080.44 c #Conflicts: 398000 | #Constraints: 19246 1076.70/1080.44 c #Conflicts: 399000 | #Constraints: 20246 1076.70/1080.44 c #Conflicts: 400000 | #Constraints: 21248 1076.70/1080.44 c #Conflicts: 401000 | #Constraints: 22249 1076.70/1080.44 c #Conflicts: 402000 | #Constraints: 23249 1076.70/1080.44 c #Conflicts: 403000 | #Constraints: 24253 1076.70/1080.44 c #Conflicts: 404000 | #Constraints: 25254 1076.70/1080.44 c #Conflicts: 405000 | #Constraints: 26255 1076.70/1080.44 c #Conflicts: 406000 | #Constraints: 27258 1076.70/1080.44 c #Conflicts: 407000 | #Constraints: 28258 1076.70/1080.44 c INPROCESSING 1076.70/1080.44 c GARBAGE COLLECT 1076.70/1080.44 c rational objective -15222.4 1161.01/1165.03 c #Conflicts: 408000 | #Constraints: 16696 1161.01/1165.03 c #Conflicts: 409000 | #Constraints: 17696 1161.01/1165.03 c #Conflicts: 410000 | #Constraints: 18696 1161.01/1165.03 c #Conflicts: 411000 | #Constraints: 19696 1161.01/1165.03 c #Conflicts: 412000 | #Constraints: 20696 1161.01/1165.03 c #Conflicts: 413000 | #Constraints: 21696 1161.01/1165.03 c #Conflicts: 414000 | #Constraints: 22696 1161.01/1165.03 c #Conflicts: 415000 | #Constraints: 23696 1161.01/1165.03 c #Conflicts: 416000 | #Constraints: 24696 1161.01/1165.03 c #Conflicts: 417000 | #Constraints: 25696 1161.01/1165.03 c #Conflicts: 418000 | #Constraints: 26696 1161.01/1165.03 c #Conflicts: 419000 | #Constraints: 27696 1161.01/1165.03 c #Conflicts: 420000 | #Constraints: 28696 1161.01/1165.03 c INPROCESSING 1161.01/1165.03 c GARBAGE COLLECT 1161.01/1165.03 c rational objective -15222.4 1193.19/1197.36 c #Conflicts: 421000 | #Constraints: 16709 1193.19/1197.36 c #Conflicts: 422000 | #Constraints: 17712 1193.19/1197.36 c #Conflicts: 423000 | #Constraints: 18715 1193.19/1197.36 c #Conflicts: 424000 | #Constraints: 19715 1193.19/1197.36 c #Conflicts: 425000 | #Constraints: 20722 1193.19/1197.36 c #Conflicts: 426000 | #Constraints: 21723 1193.19/1197.36 c #Conflicts: 427000 | #Constraints: 22727 1193.19/1197.36 c #Conflicts: 428000 | #Constraints: 23733 1193.19/1197.36 c #Conflicts: 429000 | #Constraints: 24733 1193.19/1197.36 c #Conflicts: 430000 | #Constraints: 25736 1193.19/1197.36 c #Conflicts: 431000 | #Constraints: 26738 1193.19/1197.36 c #Conflicts: 432000 | #Constraints: 27739 1193.19/1197.36 c #Conflicts: 433000 | #Constraints: 28743 1193.19/1197.36 c INPROCESSING 1193.19/1197.36 c GARBAGE COLLECT 1193.19/1197.36 c rational objective -15222.1 1223.90/1228.15 c #Conflicts: 434000 | #Constraints: 16840 1223.90/1228.15 c #Conflicts: 435000 | #Constraints: 17844 1223.90/1228.15 c #Conflicts: 436000 | #Constraints: 18850 1223.90/1228.15 c #Conflicts: 437000 | #Constraints: 19852 1223.90/1228.15 c #Conflicts: 438000 | #Constraints: 20853 1223.90/1228.15 c #Conflicts: 439000 | #Constraints: 21854 1223.90/1228.15 c #Conflicts: 440000 | #Constraints: 22857 1223.90/1228.15 c #Conflicts: 441000 | #Constraints: 23858 1223.90/1228.15 c #Conflicts: 442000 | #Constraints: 24864 1223.90/1228.15 c #Conflicts: 443000 | #Constraints: 25867 1223.90/1228.15 c #Conflicts: 444000 | #Constraints: 26872 1223.90/1228.15 c #Conflicts: 445000 | #Constraints: 27877 1223.90/1228.15 c #Conflicts: 446000 | #Constraints: 28882 1223.90/1228.15 c INPROCESSING 1223.90/1228.15 c GARBAGE COLLECT 1223.90/1228.15 c rational objective -15220.1 1295.64/1300.17 c #Conflicts: 447000 | #Constraints: 16711 1295.64/1300.17 c #Conflicts: 448000 | #Constraints: 17711 1295.64/1300.17 c #Conflicts: 449000 | #Constraints: 18711 1295.64/1300.17 c #Conflicts: 450000 | #Constraints: 19712 1295.64/1300.17 c #Conflicts: 451000 | #Constraints: 20715 1295.64/1300.17 c #Conflicts: 452000 | #Constraints: 21718 1295.64/1300.17 c #Conflicts: 453000 | #Constraints: 22718 1295.64/1300.17 c #Conflicts: 454000 | #Constraints: 23719 1295.64/1300.17 c #Conflicts: 455000 | #Constraints: 24719 1295.64/1300.17 c #Conflicts: 456000 | #Constraints: 25720 1295.64/1300.17 c #Conflicts: 457000 | #Constraints: 26720 1295.64/1300.17 c #Conflicts: 458000 | #Constraints: 27720 1295.64/1300.17 c #Conflicts: 459000 | #Constraints: 28721 1295.64/1300.17 c #Conflicts: 460000 | #Constraints: 29722 1295.64/1300.17 c INPROCESSING 1295.64/1300.17 c GARBAGE COLLECT 1295.64/1300.17 c rational objective -15220.1 1332.31/1336.96 c #Conflicts: 461000 | #Constraints: 17116 1332.31/1336.96 c #Conflicts: 462000 | #Constraints: 18119 1332.31/1336.96 c #Conflicts: 463000 | #Constraints: 19121 1332.31/1336.96 c #Conflicts: 464000 | #Constraints: 20122 1332.31/1336.96 c #Conflicts: 465000 | #Constraints: 21125 1332.31/1336.96 c #Conflicts: 466000 | #Constraints: 22125 1332.31/1336.96 c #Conflicts: 467000 | #Constraints: 23128 1332.31/1336.96 c #Conflicts: 468000 | #Constraints: 24130 1332.31/1336.96 c #Conflicts: 469000 | #Constraints: 25133 1332.31/1336.96 c #Conflicts: 470000 | #Constraints: 26135 1332.31/1336.96 c #Conflicts: 471000 | #Constraints: 27139 1332.31/1336.96 c #Conflicts: 472000 | #Constraints: 28139 1332.31/1336.96 c #Conflicts: 473000 | #Constraints: 29141 1332.31/1336.96 c #Conflicts: 474000 | #Constraints: 30141 1332.31/1336.96 c INPROCESSING 1332.31/1336.96 c GARBAGE COLLECT 1332.31/1336.96 c rational objective -15220.1 1369.67/1374.41 c #Conflicts: 475000 | #Constraints: 17646 1369.67/1374.41 c #Conflicts: 476000 | #Constraints: 18649 1369.67/1374.41 c #Conflicts: 477000 | #Constraints: 19651 1369.67/1374.41 c #Conflicts: 478000 | #Constraints: 20653 1369.67/1374.41 c #Conflicts: 479000 | #Constraints: 21655 1369.67/1374.41 c #Conflicts: 480000 | #Constraints: 22655 1369.67/1374.41 c #Conflicts: 481000 | #Constraints: 23658 1369.67/1374.41 c #Conflicts: 482000 | #Constraints: 24659 1369.67/1374.41 c #Conflicts: 483000 | #Constraints: 25660 1369.67/1374.41 c #Conflicts: 484000 | #Constraints: 26663 1369.67/1374.41 c #Conflicts: 485000 | #Constraints: 27666 1369.67/1374.41 c #Conflicts: 486000 | #Constraints: 28666 1369.67/1374.41 c #Conflicts: 487000 | #Constraints: 29669 1369.67/1374.41 c #Conflicts: 488000 | #Constraints: 30673 1369.67/1374.41 c INPROCESSING 1369.67/1374.41 c GARBAGE COLLECT 1369.67/1374.41 c rational objective -15220.1 1443.92/1448.96 c #Conflicts: 489000 | #Constraints: 17905 1443.92/1448.96 c #Conflicts: 490000 | #Constraints: 18905 1443.92/1448.96 c #Conflicts: 491000 | #Constraints: 19905 1443.92/1448.96 c #Conflicts: 492000 | #Constraints: 20906 1443.92/1448.96 c #Conflicts: 493000 | #Constraints: 21906 1443.92/1448.96 c #Conflicts: 494000 | #Constraints: 22906 1443.92/1448.96 c #Conflicts: 495000 | #Constraints: 23906 1443.92/1448.96 c #Conflicts: 496000 | #Constraints: 24907 1443.92/1448.96 c #Conflicts: 497000 | #Constraints: 25907 1443.92/1448.96 c #Conflicts: 498000 | #Constraints: 26909 1443.92/1448.96 c #Conflicts: 499000 | #Constraints: 27909 1443.92/1448.96 c #Conflicts: 500000 | #Constraints: 28909 1443.92/1448.96 c #Conflicts: 501000 | #Constraints: 29909 1443.92/1448.96 c #Conflicts: 502000 | #Constraints: 30909 1443.92/1448.96 c INPROCESSING 1443.92/1448.96 c GARBAGE COLLECT 1443.92/1448.96 c rational objective -15211.8 1476.02/1481.18 c #Conflicts: 503000 | #Constraints: 17712 1476.02/1481.18 c #Conflicts: 504000 | #Constraints: 18712 1476.02/1481.18 c #Conflicts: 505000 | #Constraints: 19715 1476.02/1481.18 c #Conflicts: 506000 | #Constraints: 20715 1476.02/1481.18 c #Conflicts: 507000 | #Constraints: 21717 1476.02/1481.18 c #Conflicts: 508000 | #Constraints: 22722 1476.02/1481.18 c #Conflicts: 509000 | #Constraints: 23725 1476.02/1481.18 c #Conflicts: 510000 | #Constraints: 24729 1476.02/1481.18 c #Conflicts: 511000 | #Constraints: 25731 1476.02/1481.18 c #Conflicts: 512000 | #Constraints: 26734 1476.02/1481.18 c #Conflicts: 513000 | #Constraints: 27742 1476.02/1481.18 c #Conflicts: 514000 | #Constraints: 28745 1476.02/1481.18 c #Conflicts: 515000 | #Constraints: 29747 1476.02/1481.18 c #Conflicts: 516000 | #Constraints: 30750 1476.02/1481.18 c INPROCESSING 1476.02/1481.18 c GARBAGE COLLECT 1476.02/1481.18 c rational objective -15211.7 1568.19/1573.64 c #Conflicts: 517000 | #Constraints: 17643 1568.19/1573.64 c #Conflicts: 518000 | #Constraints: 18643 1568.19/1573.64 c #Conflicts: 519000 | #Constraints: 19643 1568.19/1573.64 c #Conflicts: 520000 | #Constraints: 20643 1568.19/1573.64 c #Conflicts: 521000 | #Constraints: 21643 1568.19/1573.64 c #Conflicts: 522000 | #Constraints: 22643 1568.19/1573.64 c #Conflicts: 523000 | #Constraints: 23643 1568.19/1573.64 c #Conflicts: 524000 | #Constraints: 24643 1568.19/1573.64 c #Conflicts: 525000 | #Constraints: 25643 1568.19/1573.64 c #Conflicts: 526000 | #Constraints: 26643 1568.19/1573.64 c #Conflicts: 527000 | #Constraints: 27643 1568.19/1573.64 c #Conflicts: 528000 | #Constraints: 28643 1568.19/1573.64 c #Conflicts: 529000 | #Constraints: 29643 1568.19/1573.64 c #Conflicts: 530000 | #Constraints: 30643 1568.19/1573.64 c #Conflicts: 531000 | #Constraints: 31643 1568.19/1573.64 c INPROCESSING 1568.19/1573.64 c GARBAGE COLLECT 1568.19/1573.64 c rational objective -15205.1 1599.68/1605.28 c #Conflicts: 532000 | #Constraints: 18079 1599.68/1605.28 c #Conflicts: 533000 | #Constraints: 19080 1599.68/1605.28 c #Conflicts: 534000 | #Constraints: 20083 1599.68/1605.28 c #Conflicts: 535000 | #Constraints: 21090 1599.68/1605.28 c #Conflicts: 536000 | #Constraints: 22092 1599.68/1605.28 c #Conflicts: 537000 | #Constraints: 23096 1599.68/1605.28 c #Conflicts: 538000 | #Constraints: 24100 1599.68/1605.28 c #Conflicts: 539000 | #Constraints: 25101 1599.68/1605.28 c #Conflicts: 540000 | #Constraints: 26105 1599.68/1605.28 c #Conflicts: 541000 | #Constraints: 27105 1599.68/1605.28 c #Conflicts: 542000 | #Constraints: 28107 1599.68/1605.28 c #Conflicts: 543000 | #Constraints: 29112 1599.68/1605.28 c #Conflicts: 544000 | #Constraints: 30116 1599.68/1605.28 c #Conflicts: 545000 | #Constraints: 31119 1599.68/1605.28 c #Conflicts: 546000 | #Constraints: 32120 1599.68/1605.28 c INPROCESSING 1599.68/1605.28 c GARBAGE COLLECT 1599.68/1605.28 c rational objective -15177.8 1632.48/1638.19 c #Conflicts: 547000 | #Constraints: 18629 1632.48/1638.19 c #Conflicts: 548000 | #Constraints: 19634 1632.48/1638.19 c #Conflicts: 549000 | #Constraints: 20638 1632.48/1638.19 c #Conflicts: 550000 | #Constraints: 21638 1632.48/1638.19 c #Conflicts: 551000 | #Constraints: 22639 1632.48/1638.19 c #Conflicts: 552000 | #Constraints: 23642 1632.48/1638.19 c #Conflicts: 553000 | #Constraints: 24648 1632.48/1638.19 c #Conflicts: 554000 | #Constraints: 25654 1632.48/1638.19 c #Conflicts: 555000 | #Constraints: 26657 1632.48/1638.19 c #Conflicts: 556000 | #Constraints: 27663 1632.48/1638.19 c #Conflicts: 557000 | #Constraints: 28666 1632.48/1638.19 c #Conflicts: 558000 | #Constraints: 29673 1632.48/1638.19 c #Conflicts: 559000 | #Constraints: 30676 1632.48/1638.19 c #Conflicts: 560000 | #Constraints: 31681 1632.48/1638.19 c #Conflicts: 561000 | #Constraints: 32681 1632.48/1638.19 c INPROCESSING 1632.48/1638.19 c GARBAGE COLLECT 1632.48/1638.19 c rational objective -15162.4 1728.83/1734.84 c #Conflicts: 562000 | #Constraints: 18907 1728.83/1734.84 c #Conflicts: 563000 | #Constraints: 19907 1728.83/1734.84 c #Conflicts: 564000 | #Constraints: 20907 1728.83/1734.84 c #Conflicts: 565000 | #Constraints: 21907 1728.83/1734.84 c #Conflicts: 566000 | #Constraints: 22907 1728.83/1734.84 c #Conflicts: 567000 | #Constraints: 23907 1728.83/1734.84 c #Conflicts: 568000 | #Constraints: 24907 1728.83/1734.84 c #Conflicts: 569000 | #Constraints: 25907 1728.83/1734.84 c #Conflicts: 570000 | #Constraints: 26907 1728.83/1734.84 c #Conflicts: 571000 | #Constraints: 27907 1728.83/1734.84 c #Conflicts: 572000 | #Constraints: 28907 1728.83/1734.84 c #Conflicts: 573000 | #Constraints: 29907 1728.83/1734.84 c #Conflicts: 574000 | #Constraints: 30907 1728.83/1734.84 c #Conflicts: 575000 | #Constraints: 31907 1728.83/1734.84 c #Conflicts: 576000 | #Constraints: 32908 1728.83/1734.84 c INPROCESSING 1728.83/1734.84 c GARBAGE COLLECT 1728.83/1734.84 c rational objective -15161.8 1763.31/1769.48 c #Conflicts: 577000 | #Constraints: 18719 1763.31/1769.48 c #Conflicts: 578000 | #Constraints: 19722 1763.31/1769.48 c #Conflicts: 579000 | #Constraints: 20725 1763.31/1769.48 c #Conflicts: 580000 | #Constraints: 21732 1763.31/1769.48 c #Conflicts: 581000 | #Constraints: 22734 1763.31/1769.48 c #Conflicts: 582000 | #Constraints: 23736 1763.31/1769.48 c #Conflicts: 583000 | #Constraints: 24738 1763.31/1769.48 c #Conflicts: 584000 | #Constraints: 25746 1763.31/1769.48 c #Conflicts: 585000 | #Constraints: 26751 1763.31/1769.48 c #Conflicts: 586000 | #Constraints: 27753 1763.31/1769.48 c #Conflicts: 587000 | #Constraints: 28756 1763.31/1769.48 c #Conflicts: 588000 | #Constraints: 29758 1763.31/1769.48 c #Conflicts: 589000 | #Constraints: 30759 1763.31/1769.48 c #Conflicts: 590000 | #Constraints: 31763 1763.31/1769.48 c #Conflicts: 591000 | #Constraints: 32763 1763.31/1769.48 c INPROCESSING 1763.31/1769.48 c GARBAGE COLLECT 1763.31/1769.48 c rational objective -15105.9 1800.19/1806.46 c #Conflicts: 592000 | #Constraints: 18654 1800.19/1806.46 c #Conflicts: 593000 | #Constraints: 19654 1800.19/1806.46 c #Conflicts: 594000 | #Constraints: 20656 1800.19/1806.46 c #Conflicts: 595000 | #Constraints: 21656 1800.19/1806.46 c #Conflicts: 596000 | #Constraints: 22658 1800.19/1806.46 c #Conflicts: 597000 | #Constraints: 23661 1800.19/1806.46 c #Conflicts: 598000 | #Constraints: 24664 1800.19/1806.46 c #Conflicts: 599000 | #Constraints: 25665 1800.19/1806.46 c #Conflicts: 600000 | #Constraints: 26666 1800.19/1806.46 c #Conflicts: 601000 | #Constraints: 27672 1800.19/1806.46 c #Conflicts: 602000 | #Constraints: 28676 1800.19/1806.46 c #Conflicts: 603000 | #Constraints: 29680 1800.19/1806.46 c #Conflicts: 604000 | #Constraints: 30681 1800.19/1806.46 c #Conflicts: 605000 | #Constraints: 31682 1800.19/1806.46 c #Conflicts: 606000 | #Constraints: 32684 1800.19/1806.46 c #Conflicts: 607000 | #Constraints: 33690 1800.19/1806.46 c INPROCESSING 1800.19/1806.46 c GARBAGE COLLECT 1800.19/1806.46 c rational objective -15096.6 1895.56/1902.18 c #Conflicts: 608000 | #Constraints: 19316 1895.56/1902.18 c #Conflicts: 609000 | #Constraints: 20317 1895.56/1902.18 c #Conflicts: 610000 | #Constraints: 21317 1895.56/1902.18 c #Conflicts: 611000 | #Constraints: 22317 1895.56/1902.18 c #Conflicts: 612000 | #Constraints: 23317 1895.56/1902.18 c #Conflicts: 613000 | #Constraints: 24317 1895.56/1902.18 c #Conflicts: 614000 | #Constraints: 25317 1895.56/1902.18 c #Conflicts: 615000 | #Constraints: 26317 1895.56/1902.18 c #Conflicts: 616000 | #Constraints: 27317 1895.56/1902.18 c #Conflicts: 617000 | #Constraints: 28317 1895.56/1902.18 c #Conflicts: 618000 | #Constraints: 29317 1895.56/1902.18 c #Conflicts: 619000 | #Constraints: 30317 1895.56/1902.18 c #Conflicts: 620000 | #Constraints: 31317 1895.56/1902.18 c #Conflicts: 621000 | #Constraints: 32317 1895.56/1902.18 c #Conflicts: 622000 | #Constraints: 33317 1895.56/1902.18 c #Conflicts: 623000 | #Constraints: 34317 1895.56/1902.18 c INPROCESSING 1895.56/1902.18 c GARBAGE COLLECT 1895.56/1902.18 c rational objective -15094.8 1934.11/1940.87 c #Conflicts: 624000 | #Constraints: 19515 1934.11/1940.87 c #Conflicts: 625000 | #Constraints: 20519 1934.11/1940.87 c #Conflicts: 626000 | #Constraints: 21522 1934.11/1940.87 c #Conflicts: 627000 | #Constraints: 22522 1934.11/1940.87 c #Conflicts: 628000 | #Constraints: 23524 1934.11/1940.87 c #Conflicts: 629000 | #Constraints: 24529 1934.11/1940.87 c #Conflicts: 630000 | #Constraints: 25532 1934.11/1940.87 c #Conflicts: 631000 | #Constraints: 26532 1934.11/1940.87 c #Conflicts: 632000 | #Constraints: 27537 1934.11/1940.87 c #Conflicts: 633000 | #Constraints: 28540 1934.11/1940.87 c #Conflicts: 634000 | #Constraints: 29544 1934.11/1940.87 c #Conflicts: 635000 | #Constraints: 30545 1934.11/1940.87 c #Conflicts: 636000 | #Constraints: 31547 1934.11/1940.87 c #Conflicts: 637000 | #Constraints: 32553 1934.11/1940.87 c #Conflicts: 638000 | #Constraints: 33559 1934.11/1940.87 c #Conflicts: 639000 | #Constraints: 34560 1934.11/1940.87 c INPROCESSING 1934.11/1940.87 c GARBAGE COLLECT 1934.11/1940.87 c rational objective -15094.8 1971.38/1978.22 c #Conflicts: 640000 | #Constraints: 19850 1971.38/1978.22 c #Conflicts: 641000 | #Constraints: 20855 1971.38/1978.22 c #Conflicts: 642000 | #Constraints: 21861 1971.38/1978.22 c #Conflicts: 643000 | #Constraints: 22862 1971.38/1978.22 c #Conflicts: 644000 | #Constraints: 23865 1971.38/1978.22 c #Conflicts: 645000 | #Constraints: 24868 1971.38/1978.22 c #Conflicts: 646000 | #Constraints: 25871 1971.38/1978.22 c #Conflicts: 647000 | #Constraints: 26872 1971.38/1978.22 c #Conflicts: 648000 | #Constraints: 27876 1971.38/1978.22 c #Conflicts: 649000 | #Constraints: 28883 1971.38/1978.22 c #Conflicts: 650000 | #Constraints: 29895 1971.38/1978.22 c #Conflicts: 651000 | #Constraints: 30899 1971.38/1978.22 c #Conflicts: 652000 | #Constraints: 31903 1971.38/1978.22 c #Conflicts: 653000 | #Constraints: 32907 1971.38/1978.22 c #Conflicts: 654000 | #Constraints: 33912 1971.38/1978.22 c #Conflicts: 655000 | #Constraints: 34914 1971.38/1978.22 c INPROCESSING 1971.38/1978.22 c GARBAGE COLLECT 1971.38/1978.22 c rational objective -15094.8 2083.49/2090.70 c #Conflicts: 656000 | #Constraints: 19925 2083.49/2090.70 c #Conflicts: 657000 | #Constraints: 20925 2083.49/2090.70 c #Conflicts: 658000 | #Constraints: 21925 2083.49/2090.70 c #Conflicts: 659000 | #Constraints: 22925 2083.49/2090.70 c #Conflicts: 660000 | #Constraints: 23925 2083.49/2090.70 c #Conflicts: 661000 | #Constraints: 24925 2083.49/2090.70 c #Conflicts: 662000 | #Constraints: 25925 2083.49/2090.70 c #Conflicts: 663000 | #Constraints: 26925 2083.49/2090.70 c #Conflicts: 664000 | #Constraints: 27925 2083.49/2090.70 c #Conflicts: 665000 | #Constraints: 28925 2083.49/2090.70 c #Conflicts: 666000 | #Constraints: 29925 2083.49/2090.70 c #Conflicts: 667000 | #Constraints: 30925 2083.49/2090.70 c #Conflicts: 668000 | #Constraints: 31925 2083.49/2090.70 c #Conflicts: 669000 | #Constraints: 32925 2083.49/2090.70 c #Conflicts: 670000 | #Constraints: 33925 2083.49/2090.70 c #Conflicts: 671000 | #Constraints: 34925 2083.49/2090.70 c INPROCESSING 2083.49/2090.70 c GARBAGE COLLECT 2083.49/2090.70 c rational objective -15094.8 2125.66/2133.08 c #Conflicts: 672000 | #Constraints: 19546 2125.66/2133.08 c #Conflicts: 673000 | #Constraints: 20547 2125.66/2133.08 c #Conflicts: 674000 | #Constraints: 21550 2125.66/2133.08 c #Conflicts: 675000 | #Constraints: 22551 2125.66/2133.08 c #Conflicts: 676000 | #Constraints: 23552 2125.66/2133.08 c #Conflicts: 677000 | #Constraints: 24557 2125.66/2133.08 c #Conflicts: 678000 | #Constraints: 25561 2125.66/2133.08 c #Conflicts: 679000 | #Constraints: 26561 2125.66/2133.08 c #Conflicts: 680000 | #Constraints: 27563 2125.66/2133.08 c #Conflicts: 681000 | #Constraints: 28566 2125.66/2133.08 c #Conflicts: 682000 | #Constraints: 29569 2125.66/2133.08 c #Conflicts: 683000 | #Constraints: 30575 2125.66/2133.08 c #Conflicts: 684000 | #Constraints: 31576 2125.66/2133.08 c #Conflicts: 685000 | #Constraints: 32576 2125.66/2133.08 c #Conflicts: 686000 | #Constraints: 33577 2125.66/2133.08 c #Conflicts: 687000 | #Constraints: 34580 2125.66/2133.08 c #Conflicts: 688000 | #Constraints: 35580 2125.66/2133.08 c INPROCESSING 2125.66/2133.08 c GARBAGE COLLECT 2125.66/2133.08 c rational objective -15094.7 2235.76/2243.57 c #Conflicts: 689000 | #Constraints: 20259 2235.76/2243.57 c #Conflicts: 690000 | #Constraints: 21259 2235.76/2243.57 c #Conflicts: 691000 | #Constraints: 22259 2235.76/2243.57 c #Conflicts: 692000 | #Constraints: 23259 2235.76/2243.57 c #Conflicts: 693000 | #Constraints: 24259 2235.76/2243.57 c #Conflicts: 694000 | #Constraints: 25259 2235.76/2243.57 c #Conflicts: 695000 | #Constraints: 26259 2235.76/2243.57 c #Conflicts: 696000 | #Constraints: 27259 2235.76/2243.57 c #Conflicts: 697000 | #Constraints: 28259 2235.76/2243.57 c #Conflicts: 698000 | #Constraints: 29259 2235.76/2243.57 c #Conflicts: 699000 | #Constraints: 30259 2235.76/2243.57 c #Conflicts: 700000 | #Constraints: 31259 2235.76/2243.57 c #Conflicts: 701000 | #Constraints: 32259 2235.76/2243.57 c #Conflicts: 702000 | #Constraints: 33259 2235.76/2243.57 c #Conflicts: 703000 | #Constraints: 34259 2235.76/2243.57 c #Conflicts: 704000 | #Constraints: 35259 2235.76/2243.57 c #Conflicts: 705000 | #Constraints: 36259 2235.76/2243.57 c INPROCESSING 2235.76/2243.57 c GARBAGE COLLECT 2235.76/2243.57 c rational objective -15094.8 2279.71/2287.65 c #Conflicts: 706000 | #Constraints: 20502 2279.71/2287.65 c #Conflicts: 707000 | #Constraints: 21504 2279.71/2287.65 c #Conflicts: 708000 | #Constraints: 22511 2279.71/2287.65 c #Conflicts: 709000 | #Constraints: 23513 2279.71/2287.65 c #Conflicts: 710000 | #Constraints: 24519 2279.71/2287.65 c #Conflicts: 711000 | #Constraints: 25527 2279.71/2287.65 c #Conflicts: 712000 | #Constraints: 26531 2279.71/2287.65 c #Conflicts: 713000 | #Constraints: 27535 2279.71/2287.65 c #Conflicts: 714000 | #Constraints: 28539 2279.71/2287.65 c #Conflicts: 715000 | #Constraints: 29547 2279.71/2287.65 c #Conflicts: 716000 | #Constraints: 30550 2279.71/2287.65 c #Conflicts: 717000 | #Constraints: 31565 2279.71/2287.65 c #Conflicts: 718000 | #Constraints: 32570 2279.71/2287.65 c #Conflicts: 719000 | #Constraints: 33570 2279.71/2287.65 c #Conflicts: 720000 | #Constraints: 34570 2279.71/2287.65 c #Conflicts: 721000 | #Constraints: 35572 2279.71/2287.65 c #Conflicts: 722000 | #Constraints: 36573 2279.71/2287.65 c INPROCESSING 2279.71/2287.65 c GARBAGE COLLECT 2279.71/2287.65 c rational objective -15080.4 2321.87/2329.97 c #Conflicts: 723000 | #Constraints: 20867 2321.87/2329.97 c #Conflicts: 724000 | #Constraints: 21870 2321.87/2329.97 c #Conflicts: 725000 | #Constraints: 22874 2321.87/2329.97 c #Conflicts: 726000 | #Constraints: 23875 2321.87/2329.97 c #Conflicts: 727000 | #Constraints: 24878 2321.87/2329.97 c #Conflicts: 728000 | #Constraints: 25882 2321.87/2329.97 c #Conflicts: 729000 | #Constraints: 26885 2321.87/2329.97 c #Conflicts: 730000 | #Constraints: 27890 2321.87/2329.97 c #Conflicts: 731000 | #Constraints: 28891 2321.87/2329.97 c #Conflicts: 732000 | #Constraints: 29892 2321.87/2329.97 c #Conflicts: 733000 | #Constraints: 30894 2321.87/2329.97 c #Conflicts: 734000 | #Constraints: 31899 2321.87/2329.97 c #Conflicts: 735000 | #Constraints: 32901 2321.87/2329.97 c #Conflicts: 736000 | #Constraints: 33903 2321.87/2329.97 c #Conflicts: 737000 | #Constraints: 34905 2321.87/2329.97 c #Conflicts: 738000 | #Constraints: 35908 2321.87/2329.97 c #Conflicts: 739000 | #Constraints: 36911 2321.87/2329.97 c INPROCESSING 2321.87/2329.97 c GARBAGE COLLECT 2321.87/2329.97 c rational objective -15069.4 2448.83/2457.32 c #Conflicts: 740000 | #Constraints: 20933 2448.83/2457.32 c #Conflicts: 741000 | #Constraints: 21934 2448.83/2457.32 c #Conflicts: 742000 | #Constraints: 22934 2448.83/2457.32 c #Conflicts: 743000 | #Constraints: 23934 2448.83/2457.32 c #Conflicts: 744000 | #Constraints: 24934 2448.83/2457.32 c #Conflicts: 745000 | #Constraints: 25934 2448.83/2457.32 c #Conflicts: 746000 | #Constraints: 26934 2448.83/2457.32 c #Conflicts: 747000 | #Constraints: 27934 2448.83/2457.32 c #Conflicts: 748000 | #Constraints: 28934 2448.83/2457.32 c #Conflicts: 749000 | #Constraints: 29934 2448.83/2457.32 c #Conflicts: 750000 | #Constraints: 30934 2448.83/2457.32 c #Conflicts: 751000 | #Constraints: 31934 2448.83/2457.32 c #Conflicts: 752000 | #Constraints: 32934 2448.83/2457.32 c #Conflicts: 753000 | #Constraints: 33934 2448.83/2457.32 c #Conflicts: 754000 | #Constraints: 34934 2448.83/2457.32 c #Conflicts: 755000 | #Constraints: 35934 2448.83/2457.32 c #Conflicts: 756000 | #Constraints: 36934 2448.83/2457.32 c INPROCESSING 2448.83/2457.32 c GARBAGE COLLECT 2448.83/2457.32 c rational objective -15048.6 2491.89/2500.51 c #Conflicts: 757000 | #Constraints: 20535 2491.89/2500.51 c #Conflicts: 758000 | #Constraints: 21543 2491.89/2500.51 c #Conflicts: 759000 | #Constraints: 22545 2491.89/2500.51 c #Conflicts: 760000 | #Constraints: 23548 2491.89/2500.51 c #Conflicts: 761000 | #Constraints: 24553 2491.89/2500.51 c #Conflicts: 762000 | #Constraints: 25559 2491.89/2500.51 c #Conflicts: 763000 | #Constraints: 26563 2491.89/2500.51 c #Conflicts: 764000 | #Constraints: 27566 2491.89/2500.51 c #Conflicts: 765000 | #Constraints: 28567 2491.89/2500.51 c #Conflicts: 766000 | #Constraints: 29569 2491.89/2500.51 c #Conflicts: 767000 | #Constraints: 30570 2491.89/2500.51 c #Conflicts: 768000 | #Constraints: 31572 2491.89/2500.51 c #Conflicts: 769000 | #Constraints: 32576 2491.89/2500.51 c #Conflicts: 770000 | #Constraints: 33578 2491.89/2500.51 c #Conflicts: 771000 | #Constraints: 34580 2491.89/2500.51 c #Conflicts: 772000 | #Constraints: 35585 2491.89/2500.51 c #Conflicts: 773000 | #Constraints: 36586 2491.89/2500.51 c #Conflicts: 774000 | #Constraints: 37592 2491.89/2500.51 c INPROCESSING 2491.89/2500.51 c GARBAGE COLLECT 2491.89/2500.51 c rational objective -15006.9 2537.63/2546.40 c #Conflicts: 775000 | #Constraints: 21269 2537.63/2546.40 c #Conflicts: 776000 | #Constraints: 22271 2537.63/2546.40 c #Conflicts: 777000 | #Constraints: 23277 2537.63/2546.40 c #Conflicts: 778000 | #Constraints: 24281 2537.63/2546.40 c #Conflicts: 779000 | #Constraints: 25286 2537.63/2546.40 c #Conflicts: 780000 | #Constraints: 26287 2537.63/2546.40 c #Conflicts: 781000 | #Constraints: 27293 2537.63/2546.40 c #Conflicts: 782000 | #Constraints: 28295 2537.63/2546.40 c #Conflicts: 783000 | #Constraints: 29301 2537.63/2546.40 c #Conflicts: 784000 | #Constraints: 30302 2537.63/2546.40 c #Conflicts: 785000 | #Constraints: 31305 2537.63/2546.40 c #Conflicts: 786000 | #Constraints: 32309 2537.63/2546.40 c #Conflicts: 787000 | #Constraints: 33312 2537.63/2546.40 c #Conflicts: 788000 | #Constraints: 34317 2537.63/2546.40 c #Conflicts: 789000 | #Constraints: 35317 2537.63/2546.40 c #Conflicts: 790000 | #Constraints: 36319 2537.63/2546.40 c #Conflicts: 791000 | #Constraints: 37319 2537.63/2546.40 c #Conflicts: 792000 | #Constraints: 38321 2537.63/2546.40 c INPROCESSING 2537.63/2546.40 c GARBAGE COLLECT 2537.63/2546.40 c rational objective -15006.9 2679.44/2688.74 c #Conflicts: 793000 | #Constraints: 21729 2679.44/2688.74 c #Conflicts: 794000 | #Constraints: 22729 2679.44/2688.74 c #Conflicts: 795000 | #Constraints: 23729 2679.44/2688.74 c #Conflicts: 796000 | #Constraints: 24729 2679.44/2688.74 c #Conflicts: 797000 | #Constraints: 25729 2679.44/2688.74 c #Conflicts: 798000 | #Constraints: 26729 2679.44/2688.74 c #Conflicts: 799000 | #Constraints: 27729 2679.44/2688.74 c #Conflicts: 800000 | #Constraints: 28729 2679.44/2688.74 c #Conflicts: 801000 | #Constraints: 29729 2679.44/2688.74 c #Conflicts: 802000 | #Constraints: 30729 2679.44/2688.74 c #Conflicts: 803000 | #Constraints: 31729 2679.44/2688.74 c #Conflicts: 804000 | #Constraints: 32729 2679.44/2688.74 c #Conflicts: 805000 | #Constraints: 33729 2679.44/2688.74 c #Conflicts: 806000 | #Constraints: 34729 2679.44/2688.74 c #Conflicts: 807000 | #Constraints: 35729 2679.44/2688.74 c #Conflicts: 808000 | #Constraints: 36729 2679.44/2688.74 c #Conflicts: 809000 | #Constraints: 37729 2679.44/2688.74 c #Conflicts: 810000 | #Constraints: 38729 2679.44/2688.74 c INPROCESSING 2679.44/2688.74 c GARBAGE COLLECT 2679.44/2688.74 c rational objective -15006.9 2727.58/2737.01 c #Conflicts: 811000 | #Constraints: 21741 2727.58/2737.01 c #Conflicts: 812000 | #Constraints: 22742 2727.58/2737.01 c #Conflicts: 813000 | #Constraints: 23748 2727.58/2737.01 c #Conflicts: 814000 | #Constraints: 24756 2727.58/2737.01 c #Conflicts: 815000 | #Constraints: 25761 2727.58/2737.01 c #Conflicts: 816000 | #Constraints: 26761 2727.58/2737.01 c #Conflicts: 817000 | #Constraints: 27763 2727.58/2737.01 c #Conflicts: 818000 | #Constraints: 28765 2727.58/2737.01 c #Conflicts: 819000 | #Constraints: 29767 2727.58/2737.01 c #Conflicts: 820000 | #Constraints: 30768 2727.58/2737.01 c #Conflicts: 821000 | #Constraints: 31770 2727.58/2737.01 c #Conflicts: 822000 | #Constraints: 32772 2727.58/2737.01 c #Conflicts: 823000 | #Constraints: 33778 2727.58/2737.01 c #Conflicts: 824000 | #Constraints: 34781 2727.58/2737.01 c #Conflicts: 825000 | #Constraints: 35783 2727.58/2737.01 c #Conflicts: 826000 | #Constraints: 36785 2727.58/2737.01 c #Conflicts: 827000 | #Constraints: 37787 2727.58/2737.01 c #Conflicts: 828000 | #Constraints: 38790 2727.58/2737.01 c INPROCESSING 2727.58/2737.01 c GARBAGE COLLECT 2727.58/2737.01 c rational objective -15006.2 2775.10/2784.79 c #Conflicts: 829000 | #Constraints: 21868 2775.10/2784.79 c #Conflicts: 830000 | #Constraints: 22871 2775.10/2784.79 c #Conflicts: 831000 | #Constraints: 23876 2775.10/2784.79 c #Conflicts: 832000 | #Constraints: 24880 2775.10/2784.79 c #Conflicts: 833000 | #Constraints: 25881 2775.10/2784.79 c #Conflicts: 834000 | #Constraints: 26883 2775.10/2784.79 c #Conflicts: 835000 | #Constraints: 27887 2775.10/2784.79 c #Conflicts: 836000 | #Constraints: 28888 2775.10/2784.79 c #Conflicts: 837000 | #Constraints: 29893 2775.10/2784.79 c #Conflicts: 838000 | #Constraints: 30896 2775.10/2784.79 c #Conflicts: 839000 | #Constraints: 31902 2775.10/2784.79 c #Conflicts: 840000 | #Constraints: 32912 2775.10/2784.79 c #Conflicts: 841000 | #Constraints: 33918 2775.10/2784.79 c #Conflicts: 842000 | #Constraints: 34926 2775.10/2784.79 c #Conflicts: 843000 | #Constraints: 35930 2775.10/2784.79 c #Conflicts: 844000 | #Constraints: 36939 2775.10/2784.79 c #Conflicts: 845000 | #Constraints: 37949 2775.10/2784.79 c #Conflicts: 846000 | #Constraints: 38954 2775.10/2784.79 c INPROCESSING 2775.10/2784.79 c GARBAGE COLLECT 2775.10/2784.79 c rational objective -15006.2 2933.44/2943.61 c #Conflicts: 847000 | #Constraints: 21751 2933.44/2943.61 c #Conflicts: 848000 | #Constraints: 22751 2933.44/2943.61 c #Conflicts: 849000 | #Constraints: 23751 2933.44/2943.61 c #Conflicts: 850000 | #Constraints: 24751 2933.44/2943.61 c #Conflicts: 851000 | #Constraints: 25751 2933.44/2943.61 c #Conflicts: 852000 | #Constraints: 26751 2933.44/2943.61 c #Conflicts: 853000 | #Constraints: 27751 2933.44/2943.61 c #Conflicts: 854000 | #Constraints: 28751 2933.44/2943.61 c #Conflicts: 855000 | #Constraints: 29751 2933.44/2943.61 c #Conflicts: 856000 | #Constraints: 30751 2933.44/2943.61 c #Conflicts: 857000 | #Constraints: 31751 2933.44/2943.61 c #Conflicts: 858000 | #Constraints: 32751 2933.44/2943.61 c #Conflicts: 859000 | #Constraints: 33751 2933.44/2943.61 c #Conflicts: 860000 | #Constraints: 34751 2933.44/2943.61 c #Conflicts: 861000 | #Constraints: 35751 2933.44/2943.61 c #Conflicts: 862000 | #Constraints: 36751 2933.44/2943.61 c #Conflicts: 863000 | #Constraints: 37751 2933.44/2943.61 c #Conflicts: 864000 | #Constraints: 38751 2933.44/2943.61 c #Conflicts: 865000 | #Constraints: 39751 2933.44/2943.61 c INPROCESSING 2933.44/2943.61 c GARBAGE COLLECT 2933.44/2943.61 c rational objective -15006.2 2987.56/2997.99 c #Conflicts: 866000 | #Constraints: 22159 2987.56/2997.99 c #Conflicts: 867000 | #Constraints: 23160 2987.56/2997.99 c #Conflicts: 868000 | #Constraints: 24163 2987.56/2997.99 c #Conflicts: 869000 | #Constraints: 25165 2987.56/2997.99 c #Conflicts: 870000 | #Constraints: 26166 2987.56/2997.99 c #Conflicts: 871000 | #Constraints: 27168 2987.56/2997.99 c #Conflicts: 872000 | #Constraints: 28172 2987.56/2997.99 c #Conflicts: 873000 | #Constraints: 29175 2987.56/2997.99 c #Conflicts: 874000 | #Constraints: 30178 2987.56/2997.99 c #Conflicts: 875000 | #Constraints: 31180 2987.56/2997.99 c #Conflicts: 876000 | #Constraints: 32183 2987.56/2997.99 c #Conflicts: 877000 | #Constraints: 33185 2987.56/2997.99 c #Conflicts: 878000 | #Constraints: 34188 2987.56/2997.99 c #Conflicts: 879000 | #Constraints: 35191 2987.56/2997.99 c #Conflicts: 880000 | #Constraints: 36195 2987.56/2997.99 c #Conflicts: 881000 | #Constraints: 37196 2987.56/2997.99 c #Conflicts: 882000 | #Constraints: 38200 2987.56/2997.99 c #Conflicts: 883000 | #Constraints: 39201 2987.56/2997.99 c #Conflicts: 884000 | #Constraints: 40205 2987.56/2997.99 c INPROCESSING 2987.56/2997.99 c GARBAGE COLLECT 2987.56/2997.99 c rational objective -14999.6 3039.78/3050.37 c #Conflicts: 885000 | #Constraints: 22682 3039.78/3050.37 c #Conflicts: 886000 | #Constraints: 23690 3039.78/3050.37 c #Conflicts: 887000 | #Constraints: 24693 3039.78/3050.37 c #Conflicts: 888000 | #Constraints: 25699 3039.78/3050.37 c #Conflicts: 889000 | #Constraints: 26702 3039.78/3050.37 c #Conflicts: 890000 | #Constraints: 27704 3039.78/3050.37 c #Conflicts: 891000 | #Constraints: 28707 3039.78/3050.37 c #Conflicts: 892000 | #Constraints: 29711 3039.78/3050.37 c #Conflicts: 893000 | #Constraints: 30714 3039.78/3050.37 c #Conflicts: 894000 | #Constraints: 31717 3039.78/3050.37 c #Conflicts: 895000 | #Constraints: 32720 3039.78/3050.37 c #Conflicts: 896000 | #Constraints: 33722 3039.78/3050.37 c #Conflicts: 897000 | #Constraints: 34724 3039.78/3050.37 c #Conflicts: 898000 | #Constraints: 35725 3039.78/3050.37 c #Conflicts: 899000 | #Constraints: 36726 3039.78/3050.37 c #Conflicts: 900000 | #Constraints: 37730 3039.78/3050.37 c #Conflicts: 901000 | #Constraints: 38731 3039.78/3050.37 c #Conflicts: 902000 | #Constraints: 39735 3039.78/3050.37 c #Conflicts: 903000 | #Constraints: 40737 3039.78/3050.37 c INPROCESSING 3039.78/3050.37 c GARBAGE COLLECT 3039.78/3050.37 c rational objective -14988.9 3207.79/3218.95 c #Conflicts: 904000 | #Constraints: 22941 3207.79/3218.95 c #Conflicts: 905000 | #Constraints: 23941 3207.79/3218.95 c #Conflicts: 906000 | #Constraints: 24941 3207.79/3218.95 c #Conflicts: 907000 | #Constraints: 25941 3207.79/3218.95 c #Conflicts: 908000 | #Constraints: 26941 3207.79/3218.95 c #Conflicts: 909000 | #Constraints: 27941 3207.79/3218.95 c #Conflicts: 910000 | #Constraints: 28941 3207.79/3218.95 c #Conflicts: 911000 | #Constraints: 29941 3207.79/3218.95 c #Conflicts: 912000 | #Constraints: 30941 3207.79/3218.95 c #Conflicts: 913000 | #Constraints: 31941 3207.79/3218.95 c #Conflicts: 914000 | #Constraints: 32941 3207.79/3218.95 c #Conflicts: 915000 | #Constraints: 33941 3207.79/3218.95 c #Conflicts: 916000 | #Constraints: 34941 3207.79/3218.95 c #Conflicts: 917000 | #Constraints: 35941 3207.79/3218.95 c #Conflicts: 918000 | #Constraints: 36941 3207.79/3218.95 c #Conflicts: 919000 | #Constraints: 37941 3207.79/3218.95 c #Conflicts: 920000 | #Constraints: 38941 3207.79/3218.95 c #Conflicts: 921000 | #Constraints: 39941 3207.79/3218.95 c #Conflicts: 922000 | #Constraints: 40941 3207.79/3218.95 c INPROCESSING 3207.79/3218.95 c GARBAGE COLLECT 3207.79/3218.95 c rational objective -14988.9 3263.20/3274.55 c #Conflicts: 923000 | #Constraints: 22778 3263.20/3274.55 c #Conflicts: 924000 | #Constraints: 23780 3263.20/3274.55 c #Conflicts: 925000 | #Constraints: 24785 3263.20/3274.55 c #Conflicts: 926000 | #Constraints: 25787 3263.20/3274.55 c #Conflicts: 927000 | #Constraints: 26791 3263.20/3274.55 c #Conflicts: 928000 | #Constraints: 27791 3263.20/3274.55 c #Conflicts: 929000 | #Constraints: 28793 3263.20/3274.55 c #Conflicts: 930000 | #Constraints: 29795 3263.20/3274.55 c #Conflicts: 931000 | #Constraints: 30798 3263.20/3274.55 c #Conflicts: 932000 | #Constraints: 31799 3263.20/3274.55 c #Conflicts: 933000 | #Constraints: 32804 3263.20/3274.55 c #Conflicts: 934000 | #Constraints: 33806 3263.20/3274.55 c #Conflicts: 935000 | #Constraints: 34809 3263.20/3274.55 c #Conflicts: 936000 | #Constraints: 35812 3263.20/3274.55 c #Conflicts: 937000 | #Constraints: 36814 3263.20/3274.55 c #Conflicts: 938000 | #Constraints: 37817 3263.20/3274.55 c #Conflicts: 939000 | #Constraints: 38823 3263.20/3274.55 c #Conflicts: 940000 | #Constraints: 39825 3263.20/3274.55 c #Conflicts: 941000 | #Constraints: 40836 3263.20/3274.55 c INPROCESSING 3263.20/3274.55 c GARBAGE COLLECT 3263.20/3274.55 c rational objective -14986.9 3320.70/3332.28 c #Conflicts: 942000 | #Constraints: 22692 3320.70/3332.28 c #Conflicts: 943000 | #Constraints: 23695 3320.70/3332.28 c #Conflicts: 944000 | #Constraints: 24705 3320.70/3332.28 c #Conflicts: 945000 | #Constraints: 25714 3320.70/3332.28 c #Conflicts: 946000 | #Constraints: 26718 3320.70/3332.28 c #Conflicts: 947000 | #Constraints: 27725 3320.70/3332.28 c #Conflicts: 948000 | #Constraints: 28726 3320.70/3332.28 c #Conflicts: 949000 | #Constraints: 29728 3320.70/3332.28 c #Conflicts: 950000 | #Constraints: 30734 3320.70/3332.28 c #Conflicts: 951000 | #Constraints: 31737 3320.70/3332.28 c #Conflicts: 952000 | #Constraints: 32738 3320.70/3332.28 c #Conflicts: 953000 | #Constraints: 33741 3320.70/3332.28 c #Conflicts: 954000 | #Constraints: 34744 3320.70/3332.28 c #Conflicts: 955000 | #Constraints: 35754 3320.70/3332.28 c #Conflicts: 956000 | #Constraints: 36756 3320.70/3332.28 c #Conflicts: 957000 | #Constraints: 37756 3320.70/3332.28 c #Conflicts: 958000 | #Constraints: 38757 3320.70/3332.28 c #Conflicts: 959000 | #Constraints: 39758 3320.70/3332.28 c #Conflicts: 960000 | #Constraints: 40761 3320.70/3332.28 c #Conflicts: 961000 | #Constraints: 41763 3320.70/3332.28 c INPROCESSING 3320.70/3332.28 c GARBAGE COLLECT 3320.70/3332.28 c rational objective -14986.9 3480.95/3493.05 c #Conflicts: 962000 | #Constraints: 23352 3480.95/3493.05 c #Conflicts: 963000 | #Constraints: 24353 3480.95/3493.05 c #Conflicts: 964000 | #Constraints: 25353 3480.95/3493.05 c #Conflicts: 965000 | #Constraints: 26353 3480.95/3493.05 c #Conflicts: 966000 | #Constraints: 27354 3480.95/3493.05 c #Conflicts: 967000 | #Constraints: 28355 3480.95/3493.05 c #Conflicts: 968000 | #Constraints: 29356 3480.95/3493.05 c #Conflicts: 969000 | #Constraints: 30356 3480.95/3493.05 c #Conflicts: 970000 | #Constraints: 31357 3480.95/3493.05 c #Conflicts: 971000 | #Constraints: 32357 3480.95/3493.05 c #Conflicts: 972000 | #Constraints: 33358 3480.95/3493.05 c #Conflicts: 973000 | #Constraints: 34358 3480.95/3493.05 c #Conflicts: 974000 | #Constraints: 35358 3480.95/3493.05 c #Conflicts: 975000 | #Constraints: 36358 3480.95/3493.05 c #Conflicts: 976000 | #Constraints: 37358 3480.95/3493.05 c #Conflicts: 977000 | #Constraints: 38358 3480.95/3493.05 c #Conflicts: 978000 | #Constraints: 39358 3480.95/3493.05 c #Conflicts: 979000 | #Constraints: 40358 3480.95/3493.05 c #Conflicts: 980000 | #Constraints: 41358 3480.95/3493.05 c #Conflicts: 981000 | #Constraints: 42358 3480.95/3493.05 c INPROCESSING 3480.95/3493.05 c GARBAGE COLLECT 3480.95/3493.05 c rational objective -14978.9 3552.50/3564.89 c #Conflicts: 982000 | #Constraints: 23540 3552.50/3564.89 c #Conflicts: 983000 | #Constraints: 24540 3552.50/3564.89 c #Conflicts: 984000 | #Constraints: 25540 3552.50/3564.89 c #Conflicts: 985000 | #Constraints: 26542 3552.50/3564.89 c #Conflicts: 986000 | #Constraints: 27544 3552.50/3564.89 c #Conflicts: 987000 | #Constraints: 28547 3552.50/3564.89 c #Conflicts: 988000 | #Constraints: 29548 3552.50/3564.89 c #Conflicts: 989000 | #Constraints: 30551 3552.50/3564.89 c #Conflicts: 990000 | #Constraints: 31551 3552.50/3564.89 c #Conflicts: 991000 | #Constraints: 32554 3552.50/3564.89 c #Conflicts: 992000 | #Constraints: 33554 3552.50/3564.89 c #Conflicts: 993000 | #Constraints: 34555 3552.50/3564.89 c #Conflicts: 994000 | #Constraints: 35555 3552.50/3564.89 c #Conflicts: 995000 | #Constraints: 36555 3552.50/3564.89 c #Conflicts: 996000 | #Constraints: 37555 3552.50/3564.89 c #Conflicts: 997000 | #Constraints: 38555 3552.50/3564.89 c #Conflicts: 998000 | #Constraints: 39557 3552.50/3564.89 c #Conflicts: 999000 | #Constraints: 40559 3552.50/3564.89 c #Conflicts: 1000000 | #Constraints: 41564 3552.50/3564.89 c #Conflicts: 1001000 | #Constraints: 42565 3552.50/3564.89 c INPROCESSING 3552.50/3564.89 c GARBAGE COLLECT 3552.50/3564.89 c rational objective -14954.9 3600.03/3612.50 c #Conflicts: 1002000 | #Constraints: 23851 3600.03/3612.50 c #Conflicts: 1003000 | #Constraints: 24851 3600.03/3612.50 c #Conflicts: 1004000 | #Constraints: 25851 3600.03/3612.50 c #Conflicts: 1005000 | #Constraints: 26851 3600.03/3612.50 c #Conflicts: 1006000 | #Constraints: 27851 3600.03/3612.50 c #Conflicts: 1007000 | #Constraints: 28851 3600.03/3612.50 c #Conflicts: 1008000 | #Constraints: 29851 3600.03/3612.50 c Program interrupted by user. 3600.03/3612.50 c cpu time 3577.09 s 3600.03/3612.50 c deterministic time 579865317299 5.80e+11 3600.03/3612.50 c optimization time 46.6289 s 3600.03/3612.50 c total solve time 3530.43 s 3600.03/3612.50 c core-guided solve time 1419.7 s 3600.03/3612.50 c propagation time 2876.51 s 3600.03/3612.50 c conflict analysis time 623.737 s 3600.03/3612.50 c propagations 71027859 3600.03/3612.50 c resolve steps 29049993 3600.03/3612.50 c decisions 1194051 3600.03/3612.50 c conflicts 1008161 3600.03/3612.50 c restarts 2045 3600.03/3612.50 c inprocessing phases 91 3600.03/3612.50 c input clauses 1346 3600.03/3612.50 c input cardinalities 2 3600.03/3612.50 c input general constraints 1379 3600.03/3612.50 c input average constraint length 19.74 3600.03/3612.50 c input average constraint degree 413.33 3600.03/3612.50 c learned clauses 909308 3600.03/3612.50 c learned cardinalities 169 3600.03/3612.50 c learned general constraints 100343 3600.03/3612.50 c learned average constraint length 743.09 3600.03/3612.50 c learned average constraint degree 247096588.37 3600.03/3612.50 c watched constraints 100358 3600.03/3612.50 c counting constraints 1364 3600.03/3612.50 c gcd simplifications 710386 3600.03/3612.50 c detected cardinalities 0 3600.03/3612.50 c weakened non-implied lits 509217323 3600.03/3612.50 c weakened non-implying lits 2251551 3600.03/3612.50 c original variables 1381 3600.03/3612.50 c clausal propagations 29377551 3600.03/3612.50 c cardinality propagations 21249 3600.03/3612.50 c watched propagations 2968352 3600.03/3612.50 c counting propagations 37679531 3600.03/3612.50 c watch lookups 21485501467 3600.03/3612.50 c watch backjump lookups 10930809635 3600.03/3612.50 c watch checks 512141239596 3600.03/3612.50 c propagation checks 32419838807 3600.03/3612.50 c constraint additions 2741317973 3600.03/3612.50 c trail pops 73227040 3600.03/3612.50 c formula constraints 2692 3600.03/3612.50 c learned constraints 1006502 3600.03/3612.50 c bound constraints 31 3600.03/3612.50 c core-guided constraints 4 3600.03/3612.50 c encountered formula constraints 27327994 3600.03/3612.50 c encountered learned constraints 2667062 3600.03/3612.50 c encountered bound constraints 22165 3600.03/3612.50 c encountered core-guided constraints 677 3600.03/3612.50 c LP total time 67.0761 s 3600.03/3612.50 c LP solve time 34.33 s 3600.03/3612.50 c LP constraints added 3112 3600.03/3612.50 c LP constraints removed 217 3600.03/3612.50 c LP pivots internal 1008180 3600.03/3612.50 c LP pivots root 152690 3600.03/3612.50 c LP calls 17781 3600.03/3612.50 c LP optimalities 16120 3600.03/3612.50 c LP no pivot count 47 3600.03/3612.50 c LP infeasibilities 1659 3600.03/3612.50 c LP valid Farkas constraints 1659 3600.03/3612.50 c LP learned Farkas constraints 1659 3600.03/3612.50 c LP basis resets 0 3600.03/3612.50 c LP cycling count 0 3600.03/3612.50 c LP singular count 0 3600.03/3612.50 c LP no primal count 0 3600.03/3612.50 c LP no farkas count 0 3600.03/3612.50 c LP other issue count 0 3600.03/3612.50 c LP Gomory cuts 0 3600.03/3612.50 c LP learned cuts 420 3600.03/3612.50 c LP deleted cuts 217 3600.03/3612.50 c LP encountered Gomory constraints 0 3600.03/3612.50 c LP encountered Farkas constraints 36341 3600.03/3612.50 c LP encountered learned Farkas constraints 2256 3600.03/3612.50 c CG auxiliary variables introduced 2 3600.03/3612.50 c CG solutions found 29 3600.03/3612.50 c CG cores constructed 2 3600.03/3612.50 c CG core cardinality constraints returned 0 3600.03/3612.50 c CG unit cores 0 3600.03/3612.50 c CG single cores 2 3600.03/3612.50 c CG blocks removed during cardinality reduction 0 3600.03/3612.50 c CG first core best 0 3600.03/3612.50 c CG decision core best 0 3600.03/3612.50 c CG core reduction tie 0 3600.03/3612.50 c CG core degree average 1.00 3600.03/3612.50 c CG core slack average 12.00 3600.03/3612.50 s SATISFIABLE 3600.03/3612.50 v -x1 x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 -x11 -x12 -x13 x14 x15 -x16 x17 x18 x19 x20 -x21 -x22 x23 -x24 x25 x26 x27 x28 -x29 -x30 x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 x635 -x636 x637 x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 x734 -x735 -x736 x737 x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 x755 -x756 -x757 x758 x759 x760 -x761 x762 x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 x799 -x800 -x801 x802 -x803 x804 x805 -x806 -x807 x808 -x809 x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 x824 -x825 -x826 x827 -x828 x829 x830 -x831 -x832 x833 -x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 x846 -x847 -x848 x849 -x850 -x851 x852 -x853 x854 x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 x891 x892 -x893 -x894 -x895 x896 x897 x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 x962 x963 -x964 -x965 x966 x967 x968 -x969 x970 x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 x1010 -x1011 x1012 x1013 -x1014 -x1015 x1016 -x1017 x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 -x1034 x1035 -x1036 x1037 x1038 -x1039 -x1040 x1041 -x1042 x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 x1054 -x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 x1062 x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 x1101 x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 x1132 x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 -x1190 -x1191 x1192 x1193 -x1194 x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 x1244 x1245 x1246 x1247 -x1248 -x1249 -x1250 x1251 x1252 x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 x1267 x1268 -x1269 -x1270 x1271 -x1272 x1273 x1274 x1275 -x1276 -x1277 x1278 -x1279 x1280 x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 x1288 x1289 -x1290 -x1291 x1292 -x1293 x1294 x1295 x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 x1316 x1317 x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 x1332 -x1333 -x1334 x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344 x1345 x1346 -x1347 -x1348 x1349 -x1350 x1351 x1352 x1353 -x1354 -x1355 x1356 -x1357 x1358 x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 x1375 -x1376 -x1377 -x1378 x1379 x1380 x1381
OK -1274
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: 64096 MiB (60859 MiB free)
memory of node 1: 64473 MiB (59715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457210-1721832166/watcher-4457210-1721832166 -o /tmp/evaluation-result-4457210-1721832166/solver-4457210-1721832166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186542 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457210-1721832166 --lp-cut-gomory=0 HOME/instance-4457210-1721832166.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=186973, runsolver pid=186968
Current StackSize limit: 8192 KiB
[startup+0.10087 s]*
/proc/loadavg: 0.43 1.86 3.00 4/240 186994
/proc/meminfo: memFree=123464656/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=40432 memory=10392 CPUtime=0.1 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 1136 0 0 0 9 1 0 0 20 0 1 0 19205590 41402368 2598 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 10108 2598 1776 992 0 1966 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 10392 KiB
[startup+0.21401 s]*
/proc/loadavg: 0.43 1.86 3.00 3/237 187012
/proc/meminfo: memFree=123464836/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=40736 memory=10656 CPUtime=0.21 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 1231 0 0 0 20 1 0 0 20 0 1 0 19205590 41713664 2664 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 10184 2664 1776 992 0 2042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 10656 KiB
[startup+0.313325 s]*
/proc/loadavg: 0.43 1.86 3.00 6/236 187039
/proc/meminfo: memFree=123464984/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=40880 memory=10656 CPUtime=0.31 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 1243 0 0 0 30 1 0 0 20 0 1 0 19205590 41861120 2664 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 10220 2664 1776 992 0 2078 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 10656 KiB
[startup+0.700327 s]
/proc/loadavg: 0.43 1.86 3.00 5/234 187091
/proc/meminfo: memFree=123469756/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=40880 memory=11304 CPUtime=0.68 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 1376 0 0 0 66 2 0 0 20 0 1 0 19205590 41861120 2826 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 10220 2826 1808 992 0 2078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 11304 KiB
[startup+1.50028 s]
/proc/loadavg: 0.43 1.86 3.00 5/244 187135
/proc/meminfo: memFree=123415964/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=41684 memory=13152 CPUtime=1.47 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 1840 0 0 0 145 2 0 0 20 0 1 0 19205590 42684416 3288 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 10421 3288 1808 992 0 2279 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 41684 KiB
Current children cumulated memory: 13152 KiB
[startup+3.11301 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=123189420/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=44684 memory=18820 CPUtime=3.08 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 2163 0 0 0 303 5 0 0 20 0 1 0 19205590 45756416 4705 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 11171 4705 1884 992 0 3029 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 18820 KiB
[startup+6.30025 s]
/proc/loadavg: 0.72 1.90 3.01 5/247 187170
/proc/meminfo: memFree=122919904/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=49696 memory=22916 CPUtime=6.26 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 2619 0 0 0 618 8 0 0 20 0 1 0 19205590 50888704 5729 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 12424 5729 1900 992 0 4282 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49696 KiB
Current children cumulated memory: 22916 KiB
[startup+12.7003 s]
/proc/loadavg: 1.06 1.95 3.02 5/247 187171
/proc/meminfo: memFree=122341660/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=66180 memory=36300 CPUtime=12.64 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 5490 0 0 0 1248 16 0 0 20 0 1 0 19205590 67768320 9075 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 16545 9075 1900 992 0 8403 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66180 KiB
Current children cumulated memory: 36300 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 2.05 3.03 5/247 187173
/proc/meminfo: memFree=121437828/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=78536 memory=42016 CPUtime=25.4 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 5884 0 0 0 2512 28 0 0 20 0 1 0 19205590 80420864 10504 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 19634 10504 1900 992 0 11492 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 78536 KiB
Current children cumulated memory: 42016 KiB
[startup+51.1133 s]
/proc/loadavg: 2.50 2.21 3.06 5/250 187180
/proc/meminfo: memFree=120379064/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=78984 memory=51496 CPUtime=50.94 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 6198 0 0 0 5038 56 0 0 20 0 1 0 19205590 80879616 12874 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 19746 12874 1900 992 0 11604 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 51496 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.53 3.13 5/253 187193
/proc/meminfo: memFree=117000228/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=99140 memory=60740 CPUtime=101.95 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 7021 0 0 0 10095 100 0 0 20 0 1 0 19205590 101519360 15185 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 24785 15185 1900 992 0 16643 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 60740 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.82 3.19 5/256 187206
/proc/meminfo: memFree=113088840/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=100912 memory=70896 CPUtime=161.75 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 7468 0 0 0 16022 153 0 0 20 0 1 0 19205590 103333888 17724 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 25228 17724 1900 992 0 17086 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 100912 KiB
Current children cumulated memory: 70896 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 3.13 3.28 5/258 187218
/proc/meminfo: memFree=110600328/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=101928 memory=75872 CPUtime=221.56 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 7742 0 0 0 21955 201 0 0 20 0 1 0 19205590 104374272 18968 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 25482 18968 1900 992 0 17340 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 101928 KiB
Current children cumulated memory: 75872 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.32 3.33 5/258 187229
/proc/meminfo: memFree=109052148/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=134088 memory=85600 CPUtime=281.36 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 8672 0 0 0 27886 250 0 0 20 0 1 0 19205590 137306112 21400 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 33522 21400 1900 992 0 25380 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 134088 KiB
Current children cumulated memory: 85600 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 3.48 3.39 5/258 187239
/proc/meminfo: memFree=107794836/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=134288 memory=86120 CPUtime=341.16 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 8760 0 0 0 33825 291 0 0 20 0 1 0 19205590 137510912 21530 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 33572 21530 1900 992 0 25430 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 134288 KiB
Current children cumulated memory: 86120 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.59 3.44 5/256 187249
/proc/meminfo: memFree=106891356/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=134728 memory=90544 CPUtime=400.95 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 8971 0 0 0 39753 342 0 0 20 0 1 0 19205590 137961472 22636 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 33682 22636 1900 992 0 25540 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 134728 KiB
Current children cumulated memory: 90544 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.68 3.48 5/251 187261
/proc/meminfo: memFree=105680476/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=140232 memory=99640 CPUtime=460.74 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 10456 0 0 0 45691 383 0 0 20 0 1 0 19205590 143597568 24910 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 35058 24910 1900 992 0 26916 0
################
# More data... #
################
Current children cumulated memory: 176432 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/250 188908
/proc/meminfo: memFree=78218220/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=207364 memory=176708 CPUtime=2972.02 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 20036 0 0 0 295262 1940 0 0 20 0 1 0 19205590 212340736 44177 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 51841 44177 1900 992 0 43699 0
Current children cumulated CPU time: 2972.02 s
Current children cumulated vsize: 207364 KiB
Current children cumulated memory: 176708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/250 188919
/proc/meminfo: memFree=77376828/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=207588 memory=176936 CPUtime=3031.8 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 20320 0 0 0 301196 1984 0 0 20 0 1 0 19205590 212570112 44234 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 51897 44234 1900 992 0 43755 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 207588 KiB
Current children cumulated memory: 176936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/248 188930
/proc/meminfo: memFree=76522540/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=207816 memory=179224 CPUtime=3091.6 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 20566 0 0 0 307153 2007 0 0 20 0 1 0 19205590 212803584 44806 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 51954 44806 1900 992 0 43812 0
Current children cumulated CPU time: 3091.6 s
Current children cumulated vsize: 207816 KiB
Current children cumulated memory: 179224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/248 188940
/proc/meminfo: memFree=75709908/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=207816 memory=179224 CPUtime=3151.39 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 20601 0 0 0 313112 2027 0 0 20 0 1 0 19205590 212803584 44806 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 51954 44806 1900 992 0 43812 0
Current children cumulated CPU time: 3151.39 s
Current children cumulated vsize: 207816 KiB
Current children cumulated memory: 179224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/245 188950
/proc/meminfo: memFree=75346612/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=208036 memory=179440 CPUtime=3211.19 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 20857 0 0 0 319069 2050 0 0 20 0 1 0 19205590 213028864 44860 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 52009 44860 1900 992 0 43867 0
Current children cumulated CPU time: 3211.19 s
Current children cumulated vsize: 208036 KiB
Current children cumulated memory: 179440 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/245 188961
/proc/meminfo: memFree=74804120/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=207912 memory=180012 CPUtime=3270.98 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 21226 0 0 0 324996 2102 0 0 20 0 1 0 19205590 212901888 45003 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 51978 45003 1900 992 0 43836 0
Current children cumulated CPU time: 3270.98 s
Current children cumulated vsize: 207912 KiB
Current children cumulated memory: 180012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.17 4.17 5/245 188971
/proc/meminfo: memFree=74248672/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=291208 memory=185956 CPUtime=3330.77 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 22407 0 0 0 330925 2152 0 0 20 0 1 0 19205590 298196992 46489 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 72802 46489 1900 992 0 64660 0
Current children cumulated CPU time: 3330.77 s
Current children cumulated vsize: 291208 KiB
Current children cumulated memory: 185956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/245 188982
/proc/meminfo: memFree=73623220/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=291208 memory=185956 CPUtime=3390.56 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 22417 0 0 0 336875 2181 0 0 20 0 1 0 19205590 298196992 46489 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 72802 46489 1900 992 0 64660 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 291208 KiB
Current children cumulated memory: 185956 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/244 188992
/proc/meminfo: memFree=73046852/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=291356 memory=185956 CPUtime=3450.35 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 22427 0 0 0 342830 2205 0 0 20 0 1 0 19205590 298348544 46489 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 72839 46489 1900 992 0 64697 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 291356 KiB
Current children cumulated memory: 185956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/246 189006
/proc/meminfo: memFree=72458012/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=291520 memory=186264 CPUtime=3510.14 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 22668 0 0 0 348773 2241 0 0 20 0 1 0 19205590 298516480 46566 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 72880 46566 1900 992 0 64738 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 291520 KiB
Current children cumulated memory: 186264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/246 189019
/proc/meminfo: memFree=71884764/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=292568 memory=191776 CPUtime=3569.93 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 23213 0 0 0 354711 2282 0 0 20 0 1 0 19205590 299589632 47944 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 73142 47944 1900 992 0 65000 0
Current children cumulated CPU time: 3569.93 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 191776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.10 4.13 4.15 5/236 189077
/proc/meminfo: memFree=77377224/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=292568 memory=191776 CPUtime=3600.03 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 23215 0 0 0 357708 2295 0 0 20 0 1 0 19205590 299589632 47944 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 73142 47944 1900 992 0 65000 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 191776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.74 s]
# the end of solver process 186973 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.09 s, system=22.9681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.6 s]
/proc/loadavg: 4.10 4.13 4.15 5/236 189077
/proc/meminfo: memFree=77377224/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=292568 memory=191776 CPUtime=3600.03 cores=1,3
/proc/186973/stat : 186973 (roundingsat) D 186968 186973 186530 0 -1 4194304 23222 0 0 0 357708 2295 0 0 20 0 1 0 19205590 299589632 47944 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 11 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 73142 47944 1900 992 0 65000 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 191776 KiB
[startup+3612.7 s]
/proc/loadavg: 4.10 4.13 4.15 5/236 189077
/proc/meminfo: memFree=77377224/131655788 swapFree=131071472/131071996
[pid=186973] ppid=186968 vsize=292568 memory=191776 CPUtime=3600.05 cores=1,3
/proc/186973/stat : 186973 (roundingsat) R 186968 186973 186530 0 -1 4194304 23222 0 0 0 357709 2296 0 0 20 0 1 0 19205590 299589632 47944 134679101440 4194304 8254037 140732266596896 0 0 0 0 0 25182210 0 0 0 17 1 0 0 29 0 0 9037040 9046032 34934784 140732266599260 140732266599522 140732266599522 140732266606537 0
/proc/186973/statm: 73142 47944 1900 992 0 65000 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 191776 KiB
Child status: 0
Real time (s): 3612.74
CPU time (s): 3600.06
CPU user time (s): 3577.09
CPU system time (s): 22.9681
CPU usage (%): 99.6491
Max. virtual memory (cumulated for all children) (KiB): 292568
Max. memory (cumulated for all children) (KiB): 191776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.09
system time used= 22.9681
maximum resident set size= 192488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23231
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23393424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3022
involuntary context switches= 4842
# summary of solver processes directly reported to runsolver:
# pid: 186973
# total CPU time (s): 3600.06
# total CPU user time (s): 3577.09
# total CPU system time (s): 22.9681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0933 second user time and 36.6196 second system time
The end
Begin job on nodeC004 at 2024-07-24 16:42:46 IDJOB=4457210 IDBENCH=158466 IDSOLVER=3085 FILE ID=nodeC004/4457210-1721832166 RUNJOBID= nodeC004-1721832165-186542 SLURM_JOB_ID= 7891533 Free space on /tmp= 723772 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457210-1721832166/watcher-4457210-1721832166 -o /tmp/evaluation-result-4457210-1721832166/solver-4457210-1721832166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186542 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457210-1721832166 --lp-cut-gomory=0 HOME/instance-4457210-1721832166.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05 RANDOM SEED=1137003130 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.502 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.279 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.575 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.323 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123471156 kB MemAvailable: 129890008 kB Buffers: 261656 kB Cached: 6951544 kB SwapCached: 60 kB Active: 2569816 kB Inactive: 4983004 kB Active(anon): 1404 kB Inactive(anon): 391748 kB Active(file): 2568412 kB Inactive(file): 4591256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 19652 kB Writeback: 4 kB AnonPages: 336624 kB Mapped: 114856 kB Shmem: 53860 kB KReclaimable: 198768 kB Slab: 311668 kB SReclaimable: 198768 kB SUnreclaim: 112900 kB KernelStack: 3676 kB PageTables: 9612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 708876 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20128 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 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: 392008 kB DirectMap2M: 50892800 kB DirectMap1G: 84934656 kB Free space on /tmp at the end= 723752 MiB End job on nodeC004 at 2024-07-24 17:42:59