| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | -1274 | 3600.05 | 3610.57 |
| 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.37/6.46 c bounds - >= -37584 @ 0.024748 6.37/6.46 c bounds 0 >= -37584 @ 0.335918 6.37/6.46 c bounds -464 >= -37584 @ 0.337666 6.37/6.46 c bounds -754 >= -37584 @ 0.341468 6.37/6.46 c #Conflicts: 1000 | #Constraints: 3694 6.37/6.46 c bounds -754 >= -37341 @ 3.04243 6.37/6.46 c bounds -769 >= -37341 @ 3.04426 6.37/6.46 c bounds -819 >= -37341 @ 3.04601 6.37/6.46 c bounds -853 >= -37341 @ 3.04711 6.37/6.46 c bounds -1039 >= -37341 @ 3.04927 6.37/6.46 c bounds -1041 >= -37341 @ 3.06177 6.37/6.46 c bounds -1046 >= -37341 @ 3.07771 6.37/6.46 c bounds -1048 >= -37341 @ 3.0788 6.37/6.46 c bounds -1054 >= -37341 @ 3.07909 6.37/6.46 c bounds -1062 >= -37341 @ 3.16074 6.37/6.46 c #Conflicts: 2000 | #Constraints: 4707 6.37/6.46 c INPROCESSING 6.37/6.46 c GARBAGE COLLECT 6.37/6.46 c bounds -1172 >= -37341 @ 3.32976 6.37/6.46 c bounds -1186 >= -37341 @ 3.3576 6.37/6.46 c bounds -1204 >= -37341 @ 3.90819 6.37/6.46 c bounds -1205 >= -37341 @ 4.46208 6.37/6.46 c bounds -1213 >= -37341 @ 4.46852 6.37/6.46 c bounds -1231 >= -37341 @ 4.66679 6.37/6.46 c bounds -1233 >= -37341 @ 4.71087 6.37/6.46 c #Conflicts: 3000 | #Constraints: 4705 6.37/6.46 c #Conflicts: 4000 | #Constraints: 5705 6.37/6.46 c INPROCESSING 6.37/6.46 c GARBAGE COLLECT 6.37/6.46 c rational objective -18792 12.06/12.14 c #Conflicts: 5000 | #Constraints: 5099 12.06/12.14 c #Conflicts: 6000 | #Constraints: 6099 12.06/12.14 c INPROCESSING 12.06/12.14 c GARBAGE COLLECT 12.06/12.14 c rational objective -18792 17.15/17.26 c bounds -1241 >= -37341 @ 12.021 17.15/17.26 c #Conflicts: 7000 | #Constraints: 5106 17.15/17.26 c bounds -1245 >= -37341 @ 14.786 17.15/17.26 c #Conflicts: 8000 | #Constraints: 6107 17.15/17.26 c bounds -1250 >= -37341 @ 15.0075 17.15/17.26 c #Conflicts: 9000 | #Constraints: 7108 17.15/17.26 c INPROCESSING 17.15/17.26 c GARBAGE COLLECT 17.15/17.26 c rational objective -18792 20.44/20.51 c bounds -1250 >= -37125 @ 17.0461 20.44/20.51 c #Conflicts: 10000 | #Constraints: 5807 20.44/20.51 c #Conflicts: 11000 | #Constraints: 6812 20.44/20.51 c #Conflicts: 12000 | #Constraints: 7813 20.44/20.51 c INPROCESSING 20.44/20.51 c GARBAGE COLLECT 20.44/20.51 c rational objective -18792 25.52/25.65 c bounds -1252 >= -37125 @ 21.1867 25.52/25.65 c bounds -1257 >= -37125 @ 21.7829 25.52/25.65 c #Conflicts: 13000 | #Constraints: 6266 25.52/25.65 c bounds -1261 >= -37125 @ 23.7671 25.52/25.65 c #Conflicts: 14000 | #Constraints: 7268 25.52/25.65 c #Conflicts: 15000 | #Constraints: 8269 25.52/25.65 c INPROCESSING 25.52/25.65 c GARBAGE COLLECT 25.52/25.65 c rational objective -18620 31.62/31.71 c #Conflicts: 16000 | #Constraints: 6490 31.62/31.71 c #Conflicts: 17000 | #Constraints: 7490 31.62/31.71 c #Conflicts: 18000 | #Constraints: 8490 31.62/31.71 c INPROCESSING 31.62/31.71 c GARBAGE COLLECT 31.62/31.71 c rational objective -18592 35.70/35.85 c #Conflicts: 19000 | #Constraints: 6499 35.70/35.85 c #Conflicts: 20000 | #Constraints: 7499 35.70/35.85 c #Conflicts: 21000 | #Constraints: 8499 35.70/35.85 c INPROCESSING 35.70/35.85 c GARBAGE COLLECT 35.70/35.85 c rational objective -18592 43.18/43.35 c #Conflicts: 22000 | #Constraints: 6312 43.18/43.35 c #Conflicts: 23000 | #Constraints: 7312 43.18/43.35 c #Conflicts: 24000 | #Constraints: 8312 43.18/43.35 c #Conflicts: 25000 | #Constraints: 9312 43.18/43.35 c INPROCESSING 43.18/43.35 c GARBAGE COLLECT 43.18/43.35 c rational objective -18336 48.16/48.32 c #Conflicts: 26000 | #Constraints: 6909 48.16/48.32 c #Conflicts: 27000 | #Constraints: 7910 48.16/48.32 c #Conflicts: 28000 | #Constraints: 8910 48.16/48.32 c #Conflicts: 29000 | #Constraints: 9910 48.16/48.32 c INPROCESSING 48.16/48.32 c GARBAGE COLLECT 48.16/48.32 c rational objective -18292 53.45/53.63 c #Conflicts: 30000 | #Constraints: 7323 53.45/53.63 c #Conflicts: 31000 | #Constraints: 8323 53.45/53.63 c #Conflicts: 32000 | #Constraints: 9323 53.45/53.63 c #Conflicts: 33000 | #Constraints: 10324 53.45/53.63 c INPROCESSING 53.45/53.63 c GARBAGE COLLECT 53.45/53.63 c rational objective -17996 63.53/63.75 c #Conflicts: 34000 | #Constraints: 7540 63.53/63.75 c #Conflicts: 35000 | #Constraints: 8540 63.53/63.75 c #Conflicts: 36000 | #Constraints: 9540 63.53/63.75 c #Conflicts: 37000 | #Constraints: 10540 63.53/63.75 c INPROCESSING 63.53/63.75 c GARBAGE COLLECT 63.53/63.75 c rational objective -17916 69.71/69.92 c #Conflicts: 38000 | #Constraints: 7524 69.71/69.92 c #Conflicts: 39000 | #Constraints: 8527 69.71/69.92 c #Conflicts: 40000 | #Constraints: 9527 69.71/69.92 c #Conflicts: 41000 | #Constraints: 10530 69.71/69.92 c INPROCESSING 69.71/69.92 c GARBAGE COLLECT 69.71/69.92 c rational objective -17808 76.91/77.13 c #Conflicts: 42000 | #Constraints: 7347 76.91/77.13 c #Conflicts: 43000 | #Constraints: 8347 76.91/77.13 c bounds -1265 >= -37125 @ 71.8877 76.91/77.13 c #Conflicts: 44000 | #Constraints: 9349 76.91/77.13 c #Conflicts: 45000 | #Constraints: 10349 76.91/77.13 c #Conflicts: 46000 | #Constraints: 11349 76.91/77.13 c INPROCESSING 76.91/77.13 c GARBAGE COLLECT 76.91/77.13 c rational objective -17644 89.96/90.21 c #Conflicts: 47000 | #Constraints: 7956 89.96/90.21 c #Conflicts: 48000 | #Constraints: 8956 89.96/90.21 c #Conflicts: 49000 | #Constraints: 9956 89.96/90.21 c #Conflicts: 50000 | #Constraints: 10956 89.96/90.21 c #Conflicts: 51000 | #Constraints: 11956 89.96/90.21 c INPROCESSING 89.96/90.21 c GARBAGE COLLECT 89.96/90.21 c rational objective -17536 97.14/97.46 c #Conflicts: 52000 | #Constraints: 8339 97.14/97.46 c #Conflicts: 53000 | #Constraints: 9340 97.14/97.46 c #Conflicts: 54000 | #Constraints: 10342 97.14/97.46 c #Conflicts: 55000 | #Constraints: 11342 97.14/97.46 c #Conflicts: 56000 | #Constraints: 12342 97.14/97.46 c INPROCESSING 97.14/97.46 c GARBAGE COLLECT 97.14/97.46 c rational objective -17532 105.52/105.83 c #Conflicts: 57000 | #Constraints: 8560 105.52/105.83 c bounds -1270 >= -37125 @ 99.4711 105.52/105.83 c #Conflicts: 58000 | #Constraints: 9561 105.52/105.83 c #Conflicts: 59000 | #Constraints: 10561 105.52/105.83 c #Conflicts: 60000 | #Constraints: 11562 105.52/105.83 c #Conflicts: 61000 | #Constraints: 12566 105.52/105.83 c INPROCESSING 105.52/105.83 c GARBAGE COLLECT 105.52/105.83 c rational objective -17268 114.81/115.15 c #Conflicts: 62000 | #Constraints: 8591 114.81/115.15 c #Conflicts: 63000 | #Constraints: 9592 114.81/115.15 c #Conflicts: 64000 | #Constraints: 10592 114.81/115.15 c #Conflicts: 65000 | #Constraints: 11592 114.81/115.15 c bounds -1273 >= -37125 @ 111.788 114.81/115.15 c #Conflicts: 66000 | #Constraints: 12593 114.81/115.15 c INPROCESSING 114.81/115.15 c GARBAGE COLLECT 114.81/115.15 c rational objective -16776 127.56/127.99 c #Conflicts: 67000 | #Constraints: 8411 127.56/127.99 c bounds -1274 >= -37125 @ 114.816 127.56/127.99 c #Conflicts: 68000 | #Constraints: 9412 127.56/127.99 c #Conflicts: 69000 | #Constraints: 10412 127.56/127.99 c #Conflicts: 70000 | #Constraints: 11413 127.56/127.99 c #Conflicts: 71000 | #Constraints: 12414 127.56/127.99 c #Conflicts: 72000 | #Constraints: 13414 127.56/127.99 c INPROCESSING 127.56/127.99 c GARBAGE COLLECT 127.56/127.99 c rational objective -16582 135.25/135.62 c #Conflicts: 73000 | #Constraints: 8962 135.25/135.62 c #Conflicts: 74000 | #Constraints: 9962 135.25/135.62 c #Conflicts: 75000 | #Constraints: 10962 135.25/135.62 c #Conflicts: 76000 | #Constraints: 11967 135.25/135.62 c #Conflicts: 77000 | #Constraints: 12967 135.25/135.62 c #Conflicts: 78000 | #Constraints: 13967 135.25/135.62 c INPROCESSING 135.25/135.62 c GARBAGE COLLECT 135.25/135.62 c rational objective -16499.3 150.50/151.00 c #Conflicts: 79000 | #Constraints: 9432 150.50/151.00 c #Conflicts: 80000 | #Constraints: 10432 150.50/151.00 c #Conflicts: 81000 | #Constraints: 11432 150.50/151.00 c #Conflicts: 82000 | #Constraints: 12432 150.50/151.00 c #Conflicts: 83000 | #Constraints: 13432 150.50/151.00 c #Conflicts: 84000 | #Constraints: 14432 150.50/151.00 c INPROCESSING 150.50/151.00 c GARBAGE COLLECT 150.50/151.00 c rational objective -16183.3 158.88/159.38 c #Conflicts: 85000 | #Constraints: 9574 158.88/159.38 c #Conflicts: 86000 | #Constraints: 10577 158.88/159.38 c #Conflicts: 87000 | #Constraints: 11577 158.88/159.38 c #Conflicts: 88000 | #Constraints: 12578 158.88/159.38 c #Conflicts: 89000 | #Constraints: 13581 158.88/159.38 c #Conflicts: 90000 | #Constraints: 14582 158.88/159.38 c INPROCESSING 158.88/159.38 c GARBAGE COLLECT 158.88/159.38 c rational objective -16042 167.95/168.40 c #Conflicts: 91000 | #Constraints: 9664 167.95/168.40 c #Conflicts: 92000 | #Constraints: 10664 167.95/168.40 c #Conflicts: 93000 | #Constraints: 11664 167.95/168.40 c #Conflicts: 94000 | #Constraints: 12664 167.95/168.40 c #Conflicts: 95000 | #Constraints: 13665 167.95/168.40 c #Conflicts: 96000 | #Constraints: 14665 167.95/168.40 c INPROCESSING 167.95/168.40 c GARBAGE COLLECT 167.95/168.40 c rational objective -15887.1 182.63/183.12 c #Conflicts: 97000 | #Constraints: 9527 182.63/183.12 c #Conflicts: 98000 | #Constraints: 10527 182.63/183.12 c #Conflicts: 99000 | #Constraints: 11527 182.63/183.12 c #Conflicts: 100000 | #Constraints: 12527 182.63/183.12 c #Conflicts: 101000 | #Constraints: 13527 182.63/183.12 c #Conflicts: 102000 | #Constraints: 14527 182.63/183.12 c #Conflicts: 103000 | #Constraints: 15527 182.63/183.12 c INPROCESSING 182.63/183.12 c GARBAGE COLLECT 182.63/183.12 c rational objective -15760.7 191.89/192.44 c #Conflicts: 104000 | #Constraints: 10019 191.89/192.44 c #Conflicts: 105000 | #Constraints: 11019 191.89/192.44 c #Conflicts: 106000 | #Constraints: 12019 191.89/192.44 c #Conflicts: 107000 | #Constraints: 13021 191.89/192.44 c #Conflicts: 108000 | #Constraints: 14021 191.89/192.44 c #Conflicts: 109000 | #Constraints: 15021 191.89/192.44 c #Conflicts: 110000 | #Constraints: 16023 191.89/192.44 c INPROCESSING 191.89/192.44 c GARBAGE COLLECT 191.89/192.44 c rational objective -15671 211.24/211.89 c #Conflicts: 111000 | #Constraints: 10520 211.24/211.89 c #Conflicts: 112000 | #Constraints: 11520 211.24/211.89 c #Conflicts: 113000 | #Constraints: 12520 211.24/211.89 c #Conflicts: 114000 | #Constraints: 13520 211.24/211.89 c #Conflicts: 115000 | #Constraints: 14520 211.24/211.89 c #Conflicts: 116000 | #Constraints: 15520 211.24/211.89 c #Conflicts: 117000 | #Constraints: 16520 211.24/211.89 c INPROCESSING 211.24/211.89 c GARBAGE COLLECT 211.24/211.89 c rational objective -15568.4 221.43/222.03 c #Conflicts: 118000 | #Constraints: 10615 221.43/222.03 c #Conflicts: 119000 | #Constraints: 11617 221.43/222.03 c #Conflicts: 120000 | #Constraints: 12617 221.43/222.03 c #Conflicts: 121000 | #Constraints: 13617 221.43/222.03 c #Conflicts: 122000 | #Constraints: 14617 221.43/222.03 c #Conflicts: 123000 | #Constraints: 15617 221.43/222.03 c #Conflicts: 124000 | #Constraints: 16618 221.43/222.03 c INPROCESSING 221.43/222.03 c GARBAGE COLLECT 221.43/222.03 c rational objective -15518.1 243.37/244.04 c #Conflicts: 125000 | #Constraints: 10725 243.37/244.04 c #Conflicts: 126000 | #Constraints: 11725 243.37/244.04 c #Conflicts: 127000 | #Constraints: 12726 243.37/244.04 c #Conflicts: 128000 | #Constraints: 13726 243.37/244.04 c #Conflicts: 129000 | #Constraints: 14726 243.37/244.04 c #Conflicts: 130000 | #Constraints: 15726 243.37/244.04 c #Conflicts: 131000 | #Constraints: 16726 243.37/244.04 c INPROCESSING 243.37/244.04 c GARBAGE COLLECT 243.37/244.04 c rational objective -15429.4 254.13/254.87 c #Conflicts: 132000 | #Constraints: 10422 254.13/254.87 c #Conflicts: 133000 | #Constraints: 11426 254.13/254.87 c #Conflicts: 134000 | #Constraints: 12428 254.13/254.87 c #Conflicts: 135000 | #Constraints: 13429 254.13/254.87 c #Conflicts: 136000 | #Constraints: 14431 254.13/254.87 c #Conflicts: 137000 | #Constraints: 15431 254.13/254.87 c #Conflicts: 138000 | #Constraints: 16433 254.13/254.87 c #Conflicts: 139000 | #Constraints: 17433 254.13/254.87 c INPROCESSING 254.13/254.87 c GARBAGE COLLECT 254.13/254.87 c rational objective -15389.4 266.49/267.21 c #Conflicts: 140000 | #Constraints: 11149 266.49/267.21 c #Conflicts: 141000 | #Constraints: 12152 266.49/267.21 c #Conflicts: 142000 | #Constraints: 13154 266.49/267.21 c #Conflicts: 143000 | #Constraints: 14154 266.49/267.21 c #Conflicts: 144000 | #Constraints: 15158 266.49/267.21 c #Conflicts: 145000 | #Constraints: 16164 266.49/267.21 c #Conflicts: 146000 | #Constraints: 17166 266.49/267.21 c #Conflicts: 147000 | #Constraints: 18167 266.49/267.21 c INPROCESSING 266.49/267.21 c GARBAGE COLLECT 266.49/267.21 c rational objective -15363.8 293.62/294.40 c #Conflicts: 148000 | #Constraints: 11613 293.62/294.40 c #Conflicts: 149000 | #Constraints: 12613 293.62/294.40 c #Conflicts: 150000 | #Constraints: 13613 293.62/294.40 c #Conflicts: 151000 | #Constraints: 14613 293.62/294.40 c #Conflicts: 152000 | #Constraints: 15613 293.62/294.40 c #Conflicts: 153000 | #Constraints: 16613 293.62/294.40 c #Conflicts: 154000 | #Constraints: 17613 293.62/294.40 c #Conflicts: 155000 | #Constraints: 18613 293.62/294.40 c INPROCESSING 293.62/294.40 c GARBAGE COLLECT 293.62/294.40 c rational objective -15352.9 306.59/307.46 c #Conflicts: 156000 | #Constraints: 11665 306.59/307.46 c #Conflicts: 157000 | #Constraints: 12666 306.59/307.46 c #Conflicts: 158000 | #Constraints: 13669 306.59/307.46 c #Conflicts: 159000 | #Constraints: 14673 306.59/307.46 c #Conflicts: 160000 | #Constraints: 15678 306.59/307.46 c #Conflicts: 161000 | #Constraints: 16680 306.59/307.46 c #Conflicts: 162000 | #Constraints: 17682 306.59/307.46 c #Conflicts: 163000 | #Constraints: 18682 306.59/307.46 c INPROCESSING 306.59/307.46 c GARBAGE COLLECT 306.59/307.46 c rational objective -15352.9 338.60/339.53 c #Conflicts: 164000 | #Constraints: 11772 338.60/339.53 c #Conflicts: 165000 | #Constraints: 12772 338.60/339.53 c #Conflicts: 166000 | #Constraints: 13772 338.60/339.53 c #Conflicts: 167000 | #Constraints: 14772 338.60/339.53 c #Conflicts: 168000 | #Constraints: 15772 338.60/339.53 c #Conflicts: 169000 | #Constraints: 16772 338.60/339.53 c #Conflicts: 170000 | #Constraints: 17772 338.60/339.53 c #Conflicts: 171000 | #Constraints: 18772 338.60/339.53 c INPROCESSING 338.60/339.53 c GARBAGE COLLECT 338.60/339.53 c rational objective -15324.9 352.77/353.76 c #Conflicts: 172000 | #Constraints: 11447 352.77/353.76 c #Conflicts: 173000 | #Constraints: 12451 352.77/353.76 c #Conflicts: 174000 | #Constraints: 13452 352.77/353.76 c #Conflicts: 175000 | #Constraints: 14454 352.77/353.76 c #Conflicts: 176000 | #Constraints: 15454 352.77/353.76 c #Conflicts: 177000 | #Constraints: 16457 352.77/353.76 c #Conflicts: 178000 | #Constraints: 17459 352.77/353.76 c #Conflicts: 179000 | #Constraints: 18460 352.77/353.76 c #Conflicts: 180000 | #Constraints: 19463 352.77/353.76 c INPROCESSING 352.77/353.76 c GARBAGE COLLECT 352.77/353.76 c rational objective -15324.9 367.72/368.74 c #Conflicts: 181000 | #Constraints: 12170 367.72/368.74 c #Conflicts: 182000 | #Constraints: 13171 367.72/368.74 c #Conflicts: 183000 | #Constraints: 14173 367.72/368.74 c #Conflicts: 184000 | #Constraints: 15176 367.72/368.74 c #Conflicts: 185000 | #Constraints: 16176 367.72/368.74 c #Conflicts: 186000 | #Constraints: 17179 367.72/368.74 c #Conflicts: 187000 | #Constraints: 18180 367.72/368.74 c #Conflicts: 188000 | #Constraints: 19180 367.72/368.74 c #Conflicts: 189000 | #Constraints: 20180 367.72/368.74 c INPROCESSING 367.72/368.74 c GARBAGE COLLECT 367.72/368.74 c rational objective -15320.9 396.24/397.34 c #Conflicts: 190000 | #Constraints: 12635 396.24/397.34 c #Conflicts: 191000 | #Constraints: 13635 396.24/397.34 c #Conflicts: 192000 | #Constraints: 14636 396.24/397.34 c #Conflicts: 193000 | #Constraints: 15636 396.24/397.34 c #Conflicts: 194000 | #Constraints: 16636 396.24/397.34 c #Conflicts: 195000 | #Constraints: 17636 396.24/397.34 c #Conflicts: 196000 | #Constraints: 18636 396.24/397.34 c #Conflicts: 197000 | #Constraints: 19636 396.24/397.34 c #Conflicts: 198000 | #Constraints: 20636 396.24/397.34 c INPROCESSING 396.24/397.34 c GARBAGE COLLECT 396.24/397.34 c rational objective -15263.2 412.70/413.81 c #Conflicts: 199000 | #Constraints: 12672 412.70/413.81 c #Conflicts: 200000 | #Constraints: 13672 412.70/413.81 c #Conflicts: 201000 | #Constraints: 14673 412.70/413.81 c #Conflicts: 202000 | #Constraints: 15674 412.70/413.81 c #Conflicts: 203000 | #Constraints: 16683 412.70/413.81 c #Conflicts: 204000 | #Constraints: 17683 412.70/413.81 c #Conflicts: 205000 | #Constraints: 18683 412.70/413.81 c #Conflicts: 206000 | #Constraints: 19687 412.70/413.81 c #Conflicts: 207000 | #Constraints: 20690 412.70/413.81 c INPROCESSING 412.70/413.81 c GARBAGE COLLECT 412.70/413.81 c rational objective -15263.2 450.91/452.12 c #Conflicts: 208000 | #Constraints: 12795 450.91/452.12 c #Conflicts: 209000 | #Constraints: 13795 450.91/452.12 c #Conflicts: 210000 | #Constraints: 14795 450.91/452.12 c #Conflicts: 211000 | #Constraints: 15795 450.91/452.12 c #Conflicts: 212000 | #Constraints: 16795 450.91/452.12 c #Conflicts: 213000 | #Constraints: 17796 450.91/452.12 c #Conflicts: 214000 | #Constraints: 18796 450.91/452.12 c #Conflicts: 215000 | #Constraints: 19796 450.91/452.12 c #Conflicts: 216000 | #Constraints: 20797 450.91/452.12 c INPROCESSING 450.91/452.12 c GARBAGE COLLECT 450.91/452.12 c rational objective -15263.2 468.54/469.80 c #Conflicts: 217000 | #Constraints: 12456 468.54/469.80 c #Conflicts: 218000 | #Constraints: 13457 468.54/469.80 c #Conflicts: 219000 | #Constraints: 14458 468.54/469.80 c #Conflicts: 220000 | #Constraints: 15458 468.54/469.80 c #Conflicts: 221000 | #Constraints: 16462 468.54/469.80 c #Conflicts: 222000 | #Constraints: 17462 468.54/469.80 c #Conflicts: 223000 | #Constraints: 18467 468.54/469.80 c #Conflicts: 224000 | #Constraints: 19468 468.54/469.80 c #Conflicts: 225000 | #Constraints: 20471 468.54/469.80 c #Conflicts: 226000 | #Constraints: 21471 468.54/469.80 c INPROCESSING 468.54/469.80 c GARBAGE COLLECT 468.54/469.80 c rational objective -15263.2 487.58/488.94 c #Conflicts: 227000 | #Constraints: 13188 487.58/488.94 c #Conflicts: 228000 | #Constraints: 14191 487.58/488.94 c #Conflicts: 229000 | #Constraints: 15191 487.58/488.94 c #Conflicts: 230000 | #Constraints: 16192 487.58/488.94 c #Conflicts: 231000 | #Constraints: 17192 487.58/488.94 c #Conflicts: 232000 | #Constraints: 18199 487.58/488.94 c #Conflicts: 233000 | #Constraints: 19199 487.58/488.94 c #Conflicts: 234000 | #Constraints: 20204 487.58/488.94 c #Conflicts: 235000 | #Constraints: 21206 487.58/488.94 c #Conflicts: 236000 | #Constraints: 22208 487.58/488.94 c INPROCESSING 487.58/488.94 c GARBAGE COLLECT 487.58/488.94 c rational objective -15263.2 538.91/540.43 c #Conflicts: 237000 | #Constraints: 13653 538.91/540.43 c #Conflicts: 238000 | #Constraints: 14653 538.91/540.43 c #Conflicts: 239000 | #Constraints: 15653 538.91/540.43 c #Conflicts: 240000 | #Constraints: 16653 538.91/540.43 c #Conflicts: 241000 | #Constraints: 17653 538.91/540.43 c #Conflicts: 242000 | #Constraints: 18653 538.91/540.43 c #Conflicts: 243000 | #Constraints: 19653 538.91/540.43 c #Conflicts: 244000 | #Constraints: 20653 538.91/540.43 c #Conflicts: 245000 | #Constraints: 21654 538.91/540.43 c #Conflicts: 246000 | #Constraints: 22654 538.91/540.43 c INPROCESSING 538.91/540.43 c GARBAGE COLLECT 538.91/540.43 c rational objective -15258.8 558.75/560.38 c #Conflicts: 247000 | #Constraints: 13685 558.75/560.38 c #Conflicts: 248000 | #Constraints: 14687 558.75/560.38 c #Conflicts: 249000 | #Constraints: 15689 558.75/560.38 c #Conflicts: 250000 | #Constraints: 16690 558.75/560.38 c #Conflicts: 251000 | #Constraints: 17692 558.75/560.38 c #Conflicts: 252000 | #Constraints: 18692 558.75/560.38 c #Conflicts: 253000 | #Constraints: 19694 558.75/560.38 c #Conflicts: 254000 | #Constraints: 20696 558.75/560.38 c #Conflicts: 255000 | #Constraints: 21697 558.75/560.38 c #Conflicts: 256000 | #Constraints: 22699 558.75/560.38 c INPROCESSING 558.75/560.38 c GARBAGE COLLECT 558.75/560.38 c rational objective -15258.7 611.67/613.45 c #Conflicts: 257000 | #Constraints: 13803 611.67/613.45 c #Conflicts: 258000 | #Constraints: 14803 611.67/613.45 c #Conflicts: 259000 | #Constraints: 15803 611.67/613.45 c #Conflicts: 260000 | #Constraints: 16803 611.67/613.45 c #Conflicts: 261000 | #Constraints: 17803 611.67/613.45 c #Conflicts: 262000 | #Constraints: 18803 611.67/613.45 c #Conflicts: 263000 | #Constraints: 19803 611.67/613.45 c #Conflicts: 264000 | #Constraints: 20803 611.67/613.45 c #Conflicts: 265000 | #Constraints: 21803 611.67/613.45 c #Conflicts: 266000 | #Constraints: 22803 611.67/613.45 c INPROCESSING 611.67/613.45 c GARBAGE COLLECT 611.67/613.45 c rational objective -15239.7 632.32/634.14 c #Conflicts: 267000 | #Constraints: 13461 632.32/634.14 c #Conflicts: 268000 | #Constraints: 14463 632.32/634.14 c #Conflicts: 269000 | #Constraints: 15470 632.32/634.14 c #Conflicts: 270000 | #Constraints: 16470 632.32/634.14 c #Conflicts: 271000 | #Constraints: 17473 632.32/634.14 c #Conflicts: 272000 | #Constraints: 18475 632.32/634.14 c #Conflicts: 273000 | #Constraints: 19486 632.32/634.14 c #Conflicts: 274000 | #Constraints: 20489 632.32/634.14 c #Conflicts: 275000 | #Constraints: 21489 632.32/634.14 c #Conflicts: 276000 | #Constraints: 22490 632.32/634.14 c #Conflicts: 277000 | #Constraints: 23492 632.32/634.14 c INPROCESSING 632.32/634.14 c GARBAGE COLLECT 632.32/634.14 c rational objective -15239.7 654.24/656.19 c #Conflicts: 278000 | #Constraints: 14204 654.24/656.19 c #Conflicts: 279000 | #Constraints: 15205 654.24/656.19 c #Conflicts: 280000 | #Constraints: 16211 654.24/656.19 c #Conflicts: 281000 | #Constraints: 17213 654.24/656.19 c #Conflicts: 282000 | #Constraints: 18216 654.24/656.19 c #Conflicts: 283000 | #Constraints: 19218 654.24/656.19 c #Conflicts: 284000 | #Constraints: 20219 654.24/656.19 c #Conflicts: 285000 | #Constraints: 21219 654.24/656.19 c #Conflicts: 286000 | #Constraints: 22221 654.24/656.19 c #Conflicts: 287000 | #Constraints: 23224 654.24/656.19 c #Conflicts: 288000 | #Constraints: 24226 654.24/656.19 c INPROCESSING 654.24/656.19 c GARBAGE COLLECT 654.24/656.19 c rational objective -15239.7 713.14/715.21 c #Conflicts: 289000 | #Constraints: 14667 713.14/715.21 c #Conflicts: 290000 | #Constraints: 15667 713.14/715.21 c #Conflicts: 291000 | #Constraints: 16667 713.14/715.21 c #Conflicts: 292000 | #Constraints: 17667 713.14/715.21 c #Conflicts: 293000 | #Constraints: 18667 713.14/715.21 c #Conflicts: 294000 | #Constraints: 19667 713.14/715.21 c #Conflicts: 295000 | #Constraints: 20667 713.14/715.21 c #Conflicts: 296000 | #Constraints: 21667 713.14/715.21 c #Conflicts: 297000 | #Constraints: 22667 713.14/715.21 c #Conflicts: 298000 | #Constraints: 23667 713.14/715.21 c #Conflicts: 299000 | #Constraints: 24667 713.14/715.21 c INPROCESSING 713.14/715.21 c GARBAGE COLLECT 713.14/715.21 c rational objective -15239.7 736.06/738.29 c #Conflicts: 300000 | #Constraints: 14704 736.06/738.29 c #Conflicts: 301000 | #Constraints: 15705 736.06/738.29 c #Conflicts: 302000 | #Constraints: 16712 736.06/738.29 c #Conflicts: 303000 | #Constraints: 17715 736.06/738.29 c #Conflicts: 304000 | #Constraints: 18717 736.06/738.29 c #Conflicts: 305000 | #Constraints: 19717 736.06/738.29 c #Conflicts: 306000 | #Constraints: 20719 736.06/738.29 c #Conflicts: 307000 | #Constraints: 21719 736.06/738.29 c #Conflicts: 308000 | #Constraints: 22724 736.06/738.29 c #Conflicts: 309000 | #Constraints: 23725 736.06/738.29 c #Conflicts: 310000 | #Constraints: 24727 736.06/738.29 c INPROCESSING 736.06/738.29 c GARBAGE COLLECT 736.06/738.29 c rational objective -15239.8 761.37/763.64 c #Conflicts: 311000 | #Constraints: 14826 761.37/763.64 c #Conflicts: 312000 | #Constraints: 15827 761.37/763.64 c #Conflicts: 313000 | #Constraints: 16828 761.37/763.64 c #Conflicts: 314000 | #Constraints: 17830 761.37/763.64 c #Conflicts: 315000 | #Constraints: 18832 761.37/763.64 c #Conflicts: 316000 | #Constraints: 19838 761.37/763.64 c #Conflicts: 317000 | #Constraints: 20838 761.37/763.64 c #Conflicts: 318000 | #Constraints: 21839 761.37/763.64 c #Conflicts: 319000 | #Constraints: 22843 761.37/763.64 c #Conflicts: 320000 | #Constraints: 23844 761.37/763.64 c #Conflicts: 321000 | #Constraints: 24846 761.37/763.64 c INPROCESSING 761.37/763.64 c GARBAGE COLLECT 761.37/763.64 c rational objective -15239.7 797.95/800.36 c #Conflicts: 322000 | #Constraints: 14684 797.95/800.36 c #Conflicts: 323000 | #Constraints: 15684 797.95/800.36 c #Conflicts: 324000 | #Constraints: 16684 797.95/800.36 c #Conflicts: 325000 | #Constraints: 17684 797.95/800.36 c #Conflicts: 326000 | #Constraints: 18684 797.95/800.36 c #Conflicts: 327000 | #Constraints: 19684 797.95/800.36 c #Conflicts: 328000 | #Constraints: 20684 797.95/800.36 c #Conflicts: 329000 | #Constraints: 21685 797.95/800.36 c #Conflicts: 330000 | #Constraints: 22686 797.95/800.36 c #Conflicts: 331000 | #Constraints: 23686 797.95/800.36 c #Conflicts: 332000 | #Constraints: 24686 797.95/800.36 c #Conflicts: 333000 | #Constraints: 25689 797.95/800.36 c INPROCESSING 797.95/800.36 c GARBAGE COLLECT 797.95/800.36 c rational objective -15235.7 822.76/825.28 c #Conflicts: 334000 | #Constraints: 15102 822.76/825.28 c #Conflicts: 335000 | #Constraints: 16104 822.76/825.28 c #Conflicts: 336000 | #Constraints: 17106 822.76/825.28 c #Conflicts: 337000 | #Constraints: 18111 822.76/825.28 c #Conflicts: 338000 | #Constraints: 19113 822.76/825.28 c #Conflicts: 339000 | #Constraints: 20118 822.76/825.28 c #Conflicts: 340000 | #Constraints: 21122 822.76/825.28 c #Conflicts: 341000 | #Constraints: 22126 822.76/825.28 c #Conflicts: 342000 | #Constraints: 23131 822.76/825.28 c #Conflicts: 343000 | #Constraints: 24134 822.76/825.28 c #Conflicts: 344000 | #Constraints: 25136 822.76/825.28 c #Conflicts: 345000 | #Constraints: 26137 822.76/825.28 c INPROCESSING 822.76/825.28 c GARBAGE COLLECT 822.76/825.28 c rational objective -15235.8 886.16/888.83 c #Conflicts: 346000 | #Constraints: 15631 886.16/888.83 c #Conflicts: 347000 | #Constraints: 16631 886.16/888.83 c #Conflicts: 348000 | #Constraints: 17631 886.16/888.83 c #Conflicts: 349000 | #Constraints: 18631 886.16/888.83 c #Conflicts: 350000 | #Constraints: 19631 886.16/888.83 c #Conflicts: 351000 | #Constraints: 20631 886.16/888.83 c #Conflicts: 352000 | #Constraints: 21631 886.16/888.83 c #Conflicts: 353000 | #Constraints: 22631 886.16/888.83 c #Conflicts: 354000 | #Constraints: 23631 886.16/888.83 c #Conflicts: 355000 | #Constraints: 24631 886.16/888.83 c #Conflicts: 356000 | #Constraints: 25631 886.16/888.83 c #Conflicts: 357000 | #Constraints: 26631 886.16/888.83 c INPROCESSING 886.16/888.83 c GARBAGE COLLECT 886.16/888.83 c rational objective -15235.8 912.87/915.67 c #Conflicts: 358000 | #Constraints: 15677 912.87/915.67 c #Conflicts: 359000 | #Constraints: 16680 912.87/915.67 c #Conflicts: 360000 | #Constraints: 17681 912.87/915.67 c #Conflicts: 361000 | #Constraints: 18687 912.87/915.67 c #Conflicts: 362000 | #Constraints: 19691 912.87/915.67 c #Conflicts: 363000 | #Constraints: 20693 912.87/915.67 c #Conflicts: 364000 | #Constraints: 21693 912.87/915.67 c #Conflicts: 365000 | #Constraints: 22701 912.87/915.67 c #Conflicts: 366000 | #Constraints: 23702 912.87/915.67 c #Conflicts: 367000 | #Constraints: 24709 912.87/915.67 c #Conflicts: 368000 | #Constraints: 25709 912.87/915.67 c #Conflicts: 369000 | #Constraints: 26711 912.87/915.67 c INPROCESSING 912.87/915.67 c GARBAGE COLLECT 912.87/915.67 c rational objective -15235.8 988.62/991.60 c #Conflicts: 370000 | #Constraints: 15820 988.62/991.60 c #Conflicts: 371000 | #Constraints: 16821 988.62/991.60 c #Conflicts: 372000 | #Constraints: 17822 988.62/991.60 c #Conflicts: 373000 | #Constraints: 18822 988.62/991.60 c #Conflicts: 374000 | #Constraints: 19822 988.62/991.60 c #Conflicts: 375000 | #Constraints: 20822 988.62/991.60 c #Conflicts: 376000 | #Constraints: 21822 988.62/991.60 c #Conflicts: 377000 | #Constraints: 22822 988.62/991.60 c #Conflicts: 378000 | #Constraints: 23822 988.62/991.60 c #Conflicts: 379000 | #Constraints: 24822 988.62/991.60 c #Conflicts: 380000 | #Constraints: 25822 988.62/991.60 c #Conflicts: 381000 | #Constraints: 26822 988.62/991.60 c INPROCESSING 988.62/991.60 c GARBAGE COLLECT 988.62/991.60 c rational objective -15235.7 1017.22/1020.37 c #Conflicts: 382000 | #Constraints: 15481 1017.22/1020.37 c #Conflicts: 383000 | #Constraints: 16484 1017.22/1020.37 c #Conflicts: 384000 | #Constraints: 17487 1017.22/1020.37 c #Conflicts: 385000 | #Constraints: 18492 1017.22/1020.37 c #Conflicts: 386000 | #Constraints: 19494 1017.22/1020.37 c #Conflicts: 387000 | #Constraints: 20496 1017.22/1020.37 c #Conflicts: 388000 | #Constraints: 21498 1017.22/1020.37 c #Conflicts: 389000 | #Constraints: 22501 1017.22/1020.37 c #Conflicts: 390000 | #Constraints: 23506 1017.22/1020.37 c #Conflicts: 391000 | #Constraints: 24507 1017.22/1020.37 c #Conflicts: 392000 | #Constraints: 25510 1017.22/1020.37 c #Conflicts: 393000 | #Constraints: 26510 1017.22/1020.37 c #Conflicts: 394000 | #Constraints: 27513 1017.22/1020.37 c INPROCESSING 1017.22/1020.37 c GARBAGE COLLECT 1017.22/1020.37 c rational objective -15226.4 1050.01/1053.23 c #Conflicts: 395000 | #Constraints: 16230 1050.01/1053.23 c #Conflicts: 396000 | #Constraints: 17239 1050.01/1053.23 c #Conflicts: 397000 | #Constraints: 18243 1050.01/1053.23 c #Conflicts: 398000 | #Constraints: 19246 1050.01/1053.23 c #Conflicts: 399000 | #Constraints: 20246 1050.01/1053.23 c #Conflicts: 400000 | #Constraints: 21248 1050.01/1053.23 c #Conflicts: 401000 | #Constraints: 22249 1050.01/1053.23 c #Conflicts: 402000 | #Constraints: 23249 1050.01/1053.23 c #Conflicts: 403000 | #Constraints: 24253 1050.01/1053.23 c #Conflicts: 404000 | #Constraints: 25254 1050.01/1053.23 c #Conflicts: 405000 | #Constraints: 26255 1050.01/1053.23 c #Conflicts: 406000 | #Constraints: 27258 1050.01/1053.23 c #Conflicts: 407000 | #Constraints: 28258 1050.01/1053.23 c INPROCESSING 1050.01/1053.23 c GARBAGE COLLECT 1050.01/1053.23 c rational objective -15222.4 1133.34/1136.88 c #Conflicts: 408000 | #Constraints: 16696 1133.34/1136.88 c #Conflicts: 409000 | #Constraints: 17696 1133.34/1136.88 c #Conflicts: 410000 | #Constraints: 18696 1133.34/1136.88 c #Conflicts: 411000 | #Constraints: 19696 1133.34/1136.88 c #Conflicts: 412000 | #Constraints: 20696 1133.34/1136.88 c #Conflicts: 413000 | #Constraints: 21696 1133.34/1136.88 c #Conflicts: 414000 | #Constraints: 22696 1133.34/1136.88 c #Conflicts: 415000 | #Constraints: 23696 1133.34/1136.88 c #Conflicts: 416000 | #Constraints: 24696 1133.34/1136.88 c #Conflicts: 417000 | #Constraints: 25696 1133.34/1136.88 c #Conflicts: 418000 | #Constraints: 26696 1133.34/1136.88 c #Conflicts: 419000 | #Constraints: 27696 1133.34/1136.88 c #Conflicts: 420000 | #Constraints: 28696 1133.34/1136.88 c INPROCESSING 1133.34/1136.88 c GARBAGE COLLECT 1133.34/1136.88 c rational objective -15222.4 1164.33/1167.97 c #Conflicts: 421000 | #Constraints: 16709 1164.33/1167.97 c #Conflicts: 422000 | #Constraints: 17712 1164.33/1167.97 c #Conflicts: 423000 | #Constraints: 18715 1164.33/1167.97 c #Conflicts: 424000 | #Constraints: 19715 1164.33/1167.97 c #Conflicts: 425000 | #Constraints: 20722 1164.33/1167.97 c #Conflicts: 426000 | #Constraints: 21723 1164.33/1167.97 c #Conflicts: 427000 | #Constraints: 22727 1164.33/1167.97 c #Conflicts: 428000 | #Constraints: 23733 1164.33/1167.97 c #Conflicts: 429000 | #Constraints: 24733 1164.33/1167.97 c #Conflicts: 430000 | #Constraints: 25736 1164.33/1167.97 c #Conflicts: 431000 | #Constraints: 26738 1164.33/1167.97 c #Conflicts: 432000 | #Constraints: 27739 1164.33/1167.97 c #Conflicts: 433000 | #Constraints: 28743 1164.33/1167.97 c INPROCESSING 1164.33/1167.97 c GARBAGE COLLECT 1164.33/1167.97 c rational objective -15222.1 1193.54/1197.24 c #Conflicts: 434000 | #Constraints: 16840 1193.54/1197.24 c #Conflicts: 435000 | #Constraints: 17844 1193.54/1197.24 c #Conflicts: 436000 | #Constraints: 18850 1193.54/1197.24 c #Conflicts: 437000 | #Constraints: 19852 1193.54/1197.24 c #Conflicts: 438000 | #Constraints: 20853 1193.54/1197.24 c #Conflicts: 439000 | #Constraints: 21854 1193.54/1197.24 c #Conflicts: 440000 | #Constraints: 22857 1193.54/1197.24 c #Conflicts: 441000 | #Constraints: 23858 1193.54/1197.24 c #Conflicts: 442000 | #Constraints: 24864 1193.54/1197.24 c #Conflicts: 443000 | #Constraints: 25867 1193.54/1197.24 c #Conflicts: 444000 | #Constraints: 26872 1193.54/1197.24 c #Conflicts: 445000 | #Constraints: 27877 1193.54/1197.24 c #Conflicts: 446000 | #Constraints: 28882 1193.54/1197.24 c INPROCESSING 1193.54/1197.24 c GARBAGE COLLECT 1193.54/1197.24 c rational objective -15220.1 1261.12/1265.02 c #Conflicts: 447000 | #Constraints: 16711 1261.12/1265.02 c #Conflicts: 448000 | #Constraints: 17711 1261.12/1265.02 c #Conflicts: 449000 | #Constraints: 18711 1261.12/1265.02 c #Conflicts: 450000 | #Constraints: 19712 1261.12/1265.02 c #Conflicts: 451000 | #Constraints: 20715 1261.12/1265.02 c #Conflicts: 452000 | #Constraints: 21718 1261.12/1265.02 c #Conflicts: 453000 | #Constraints: 22718 1261.12/1265.02 c #Conflicts: 454000 | #Constraints: 23719 1261.12/1265.02 c #Conflicts: 455000 | #Constraints: 24719 1261.12/1265.02 c #Conflicts: 456000 | #Constraints: 25720 1261.12/1265.02 c #Conflicts: 457000 | #Constraints: 26720 1261.12/1265.02 c #Conflicts: 458000 | #Constraints: 27720 1261.12/1265.02 c #Conflicts: 459000 | #Constraints: 28721 1261.12/1265.02 c #Conflicts: 460000 | #Constraints: 29722 1261.12/1265.02 c INPROCESSING 1261.12/1265.02 c GARBAGE COLLECT 1261.12/1265.02 c rational objective -15220.1 1294.90/1298.93 c #Conflicts: 461000 | #Constraints: 17116 1294.90/1298.93 c #Conflicts: 462000 | #Constraints: 18119 1294.90/1298.93 c #Conflicts: 463000 | #Constraints: 19121 1294.90/1298.93 c #Conflicts: 464000 | #Constraints: 20122 1294.90/1298.93 c #Conflicts: 465000 | #Constraints: 21125 1294.90/1298.93 c #Conflicts: 466000 | #Constraints: 22125 1294.90/1298.93 c #Conflicts: 467000 | #Constraints: 23128 1294.90/1298.93 c #Conflicts: 468000 | #Constraints: 24130 1294.90/1298.93 c #Conflicts: 469000 | #Constraints: 25133 1294.90/1298.93 c #Conflicts: 470000 | #Constraints: 26135 1294.90/1298.93 c #Conflicts: 471000 | #Constraints: 27139 1294.90/1298.93 c #Conflicts: 472000 | #Constraints: 28139 1294.90/1298.93 c #Conflicts: 473000 | #Constraints: 29141 1294.90/1298.93 c #Conflicts: 474000 | #Constraints: 30141 1294.90/1298.93 c INPROCESSING 1294.90/1298.93 c GARBAGE COLLECT 1294.90/1298.93 c rational objective -15220.1 1330.00/1334.18 c #Conflicts: 475000 | #Constraints: 17646 1330.00/1334.18 c #Conflicts: 476000 | #Constraints: 18649 1330.00/1334.18 c #Conflicts: 477000 | #Constraints: 19651 1330.00/1334.18 c #Conflicts: 478000 | #Constraints: 20653 1330.00/1334.18 c #Conflicts: 479000 | #Constraints: 21655 1330.00/1334.18 c #Conflicts: 480000 | #Constraints: 22655 1330.00/1334.18 c #Conflicts: 481000 | #Constraints: 23658 1330.00/1334.18 c #Conflicts: 482000 | #Constraints: 24659 1330.00/1334.18 c #Conflicts: 483000 | #Constraints: 25660 1330.00/1334.18 c #Conflicts: 484000 | #Constraints: 26663 1330.00/1334.18 c #Conflicts: 485000 | #Constraints: 27666 1330.00/1334.18 c #Conflicts: 486000 | #Constraints: 28666 1330.00/1334.18 c #Conflicts: 487000 | #Constraints: 29669 1330.00/1334.18 c #Conflicts: 488000 | #Constraints: 30673 1330.00/1334.18 c INPROCESSING 1330.00/1334.18 c GARBAGE COLLECT 1330.00/1334.18 c rational objective -15220.1 1398.86/1403.24 c #Conflicts: 489000 | #Constraints: 17905 1398.86/1403.24 c #Conflicts: 490000 | #Constraints: 18905 1398.86/1403.24 c #Conflicts: 491000 | #Constraints: 19905 1398.86/1403.24 c #Conflicts: 492000 | #Constraints: 20906 1398.86/1403.24 c #Conflicts: 493000 | #Constraints: 21906 1398.86/1403.24 c #Conflicts: 494000 | #Constraints: 22906 1398.86/1403.24 c #Conflicts: 495000 | #Constraints: 23906 1398.86/1403.24 c #Conflicts: 496000 | #Constraints: 24907 1398.86/1403.24 c #Conflicts: 497000 | #Constraints: 25907 1398.86/1403.24 c #Conflicts: 498000 | #Constraints: 26909 1398.86/1403.24 c #Conflicts: 499000 | #Constraints: 27909 1398.86/1403.24 c #Conflicts: 500000 | #Constraints: 28909 1398.86/1403.24 c #Conflicts: 501000 | #Constraints: 29909 1398.86/1403.24 c #Conflicts: 502000 | #Constraints: 30909 1398.86/1403.24 c INPROCESSING 1398.86/1403.24 c GARBAGE COLLECT 1398.86/1403.24 c rational objective -15211.8 1429.75/1434.26 c #Conflicts: 503000 | #Constraints: 17712 1429.75/1434.26 c #Conflicts: 504000 | #Constraints: 18712 1429.75/1434.26 c #Conflicts: 505000 | #Constraints: 19715 1429.75/1434.26 c #Conflicts: 506000 | #Constraints: 20715 1429.75/1434.26 c #Conflicts: 507000 | #Constraints: 21717 1429.75/1434.26 c #Conflicts: 508000 | #Constraints: 22722 1429.75/1434.26 c #Conflicts: 509000 | #Constraints: 23725 1429.75/1434.26 c #Conflicts: 510000 | #Constraints: 24729 1429.75/1434.26 c #Conflicts: 511000 | #Constraints: 25731 1429.75/1434.26 c #Conflicts: 512000 | #Constraints: 26734 1429.75/1434.26 c #Conflicts: 513000 | #Constraints: 27742 1429.75/1434.26 c #Conflicts: 514000 | #Constraints: 28745 1429.75/1434.26 c #Conflicts: 515000 | #Constraints: 29747 1429.75/1434.26 c #Conflicts: 516000 | #Constraints: 30750 1429.75/1434.26 c INPROCESSING 1429.75/1434.26 c GARBAGE COLLECT 1429.75/1434.26 c rational objective -15211.7 1517.57/1522.33 c #Conflicts: 517000 | #Constraints: 17643 1517.57/1522.33 c #Conflicts: 518000 | #Constraints: 18643 1517.57/1522.33 c #Conflicts: 519000 | #Constraints: 19643 1517.57/1522.33 c #Conflicts: 520000 | #Constraints: 20643 1517.57/1522.33 c #Conflicts: 521000 | #Constraints: 21643 1517.57/1522.33 c #Conflicts: 522000 | #Constraints: 22643 1517.57/1522.33 c #Conflicts: 523000 | #Constraints: 23643 1517.57/1522.33 c #Conflicts: 524000 | #Constraints: 24643 1517.57/1522.33 c #Conflicts: 525000 | #Constraints: 25643 1517.57/1522.33 c #Conflicts: 526000 | #Constraints: 26643 1517.57/1522.33 c #Conflicts: 527000 | #Constraints: 27643 1517.57/1522.33 c #Conflicts: 528000 | #Constraints: 28643 1517.57/1522.33 c #Conflicts: 529000 | #Constraints: 29643 1517.57/1522.33 c #Conflicts: 530000 | #Constraints: 30643 1517.57/1522.33 c #Conflicts: 531000 | #Constraints: 31643 1517.57/1522.33 c INPROCESSING 1517.57/1522.33 c GARBAGE COLLECT 1517.57/1522.33 c rational objective -15205.1 1548.56/1553.47 c #Conflicts: 532000 | #Constraints: 18079 1548.56/1553.47 c #Conflicts: 533000 | #Constraints: 19080 1548.56/1553.47 c #Conflicts: 534000 | #Constraints: 20083 1548.56/1553.47 c #Conflicts: 535000 | #Constraints: 21090 1548.56/1553.47 c #Conflicts: 536000 | #Constraints: 22092 1548.56/1553.47 c #Conflicts: 537000 | #Constraints: 23096 1548.56/1553.47 c #Conflicts: 538000 | #Constraints: 24100 1548.56/1553.47 c #Conflicts: 539000 | #Constraints: 25101 1548.56/1553.47 c #Conflicts: 540000 | #Constraints: 26105 1548.56/1553.47 c #Conflicts: 541000 | #Constraints: 27105 1548.56/1553.47 c #Conflicts: 542000 | #Constraints: 28107 1548.56/1553.47 c #Conflicts: 543000 | #Constraints: 29112 1548.56/1553.47 c #Conflicts: 544000 | #Constraints: 30116 1548.56/1553.47 c #Conflicts: 545000 | #Constraints: 31119 1548.56/1553.47 c #Conflicts: 546000 | #Constraints: 32120 1548.56/1553.47 c INPROCESSING 1548.56/1553.47 c GARBAGE COLLECT 1548.56/1553.47 c rational objective -15177.8 1581.24/1586.23 c #Conflicts: 547000 | #Constraints: 18629 1581.24/1586.23 c #Conflicts: 548000 | #Constraints: 19634 1581.24/1586.23 c #Conflicts: 549000 | #Constraints: 20638 1581.24/1586.23 c #Conflicts: 550000 | #Constraints: 21638 1581.24/1586.23 c #Conflicts: 551000 | #Constraints: 22639 1581.24/1586.23 c #Conflicts: 552000 | #Constraints: 23642 1581.24/1586.23 c #Conflicts: 553000 | #Constraints: 24648 1581.24/1586.23 c #Conflicts: 554000 | #Constraints: 25654 1581.24/1586.23 c #Conflicts: 555000 | #Constraints: 26657 1581.24/1586.23 c #Conflicts: 556000 | #Constraints: 27663 1581.24/1586.23 c #Conflicts: 557000 | #Constraints: 28666 1581.24/1586.23 c #Conflicts: 558000 | #Constraints: 29673 1581.24/1586.23 c #Conflicts: 559000 | #Constraints: 30676 1581.24/1586.23 c #Conflicts: 560000 | #Constraints: 31681 1581.24/1586.23 c #Conflicts: 561000 | #Constraints: 32681 1581.24/1586.23 c INPROCESSING 1581.24/1586.23 c GARBAGE COLLECT 1581.24/1586.23 c rational objective -15162.4 1669.29/1674.55 c #Conflicts: 562000 | #Constraints: 18907 1669.29/1674.55 c #Conflicts: 563000 | #Constraints: 19907 1669.29/1674.55 c #Conflicts: 564000 | #Constraints: 20907 1669.29/1674.55 c #Conflicts: 565000 | #Constraints: 21907 1669.29/1674.55 c #Conflicts: 566000 | #Constraints: 22907 1669.29/1674.55 c #Conflicts: 567000 | #Constraints: 23907 1669.29/1674.55 c #Conflicts: 568000 | #Constraints: 24907 1669.29/1674.55 c #Conflicts: 569000 | #Constraints: 25907 1669.29/1674.55 c #Conflicts: 570000 | #Constraints: 26907 1669.29/1674.55 c #Conflicts: 571000 | #Constraints: 27907 1669.29/1674.55 c #Conflicts: 572000 | #Constraints: 28907 1669.29/1674.55 c #Conflicts: 573000 | #Constraints: 29907 1669.29/1674.55 c #Conflicts: 574000 | #Constraints: 30907 1669.29/1674.55 c #Conflicts: 575000 | #Constraints: 31907 1669.29/1674.55 c #Conflicts: 576000 | #Constraints: 32908 1669.29/1674.55 c INPROCESSING 1669.29/1674.55 c GARBAGE COLLECT 1669.29/1674.55 c rational objective -15161.8 1702.01/1707.38 c #Conflicts: 577000 | #Constraints: 18719 1702.01/1707.38 c #Conflicts: 578000 | #Constraints: 19722 1702.01/1707.38 c #Conflicts: 579000 | #Constraints: 20725 1702.01/1707.38 c #Conflicts: 580000 | #Constraints: 21732 1702.01/1707.38 c #Conflicts: 581000 | #Constraints: 22734 1702.01/1707.38 c #Conflicts: 582000 | #Constraints: 23736 1702.01/1707.38 c #Conflicts: 583000 | #Constraints: 24738 1702.01/1707.38 c #Conflicts: 584000 | #Constraints: 25746 1702.01/1707.38 c #Conflicts: 585000 | #Constraints: 26751 1702.01/1707.38 c #Conflicts: 586000 | #Constraints: 27753 1702.01/1707.38 c #Conflicts: 587000 | #Constraints: 28756 1702.01/1707.38 c #Conflicts: 588000 | #Constraints: 29758 1702.01/1707.38 c #Conflicts: 589000 | #Constraints: 30759 1702.01/1707.38 c #Conflicts: 590000 | #Constraints: 31763 1702.01/1707.38 c #Conflicts: 591000 | #Constraints: 32763 1702.01/1707.38 c INPROCESSING 1702.01/1707.38 c GARBAGE COLLECT 1702.01/1707.38 c rational objective -15105.9 1734.64/1740.10 c #Conflicts: 592000 | #Constraints: 18654 1734.64/1740.10 c #Conflicts: 593000 | #Constraints: 19654 1734.64/1740.10 c #Conflicts: 594000 | #Constraints: 20656 1734.64/1740.10 c #Conflicts: 595000 | #Constraints: 21656 1734.64/1740.10 c #Conflicts: 596000 | #Constraints: 22658 1734.64/1740.10 c #Conflicts: 597000 | #Constraints: 23661 1734.64/1740.10 c #Conflicts: 598000 | #Constraints: 24664 1734.64/1740.10 c #Conflicts: 599000 | #Constraints: 25665 1734.64/1740.10 c #Conflicts: 600000 | #Constraints: 26666 1734.64/1740.10 c #Conflicts: 601000 | #Constraints: 27672 1734.64/1740.10 c #Conflicts: 602000 | #Constraints: 28676 1734.64/1740.10 c #Conflicts: 603000 | #Constraints: 29680 1734.64/1740.10 c #Conflicts: 604000 | #Constraints: 30681 1734.64/1740.10 c #Conflicts: 605000 | #Constraints: 31682 1734.64/1740.10 c #Conflicts: 606000 | #Constraints: 32684 1734.64/1740.10 c #Conflicts: 607000 | #Constraints: 33690 1734.64/1740.10 c INPROCESSING 1734.64/1740.10 c GARBAGE COLLECT 1734.64/1740.10 c rational objective -15096.6 1819.63/1825.25 c #Conflicts: 608000 | #Constraints: 19316 1819.63/1825.25 c #Conflicts: 609000 | #Constraints: 20317 1819.63/1825.25 c #Conflicts: 610000 | #Constraints: 21317 1819.63/1825.25 c #Conflicts: 611000 | #Constraints: 22317 1819.63/1825.25 c #Conflicts: 612000 | #Constraints: 23317 1819.63/1825.25 c #Conflicts: 613000 | #Constraints: 24317 1819.63/1825.25 c #Conflicts: 614000 | #Constraints: 25317 1819.63/1825.25 c #Conflicts: 615000 | #Constraints: 26317 1819.63/1825.25 c #Conflicts: 616000 | #Constraints: 27317 1819.63/1825.25 c #Conflicts: 617000 | #Constraints: 28317 1819.63/1825.25 c #Conflicts: 618000 | #Constraints: 29317 1819.63/1825.25 c #Conflicts: 619000 | #Constraints: 30317 1819.63/1825.25 c #Conflicts: 620000 | #Constraints: 31317 1819.63/1825.25 c #Conflicts: 621000 | #Constraints: 32317 1819.63/1825.25 c #Conflicts: 622000 | #Constraints: 33317 1819.63/1825.25 c #Conflicts: 623000 | #Constraints: 34317 1819.63/1825.25 c INPROCESSING 1819.63/1825.25 c GARBAGE COLLECT 1819.63/1825.25 c rational objective -15094.8 1855.74/1861.40 c #Conflicts: 624000 | #Constraints: 19515 1855.74/1861.40 c #Conflicts: 625000 | #Constraints: 20519 1855.74/1861.40 c #Conflicts: 626000 | #Constraints: 21522 1855.74/1861.40 c #Conflicts: 627000 | #Constraints: 22522 1855.74/1861.40 c #Conflicts: 628000 | #Constraints: 23524 1855.74/1861.40 c #Conflicts: 629000 | #Constraints: 24529 1855.74/1861.40 c #Conflicts: 630000 | #Constraints: 25532 1855.74/1861.40 c #Conflicts: 631000 | #Constraints: 26532 1855.74/1861.40 c #Conflicts: 632000 | #Constraints: 27537 1855.74/1861.40 c #Conflicts: 633000 | #Constraints: 28540 1855.74/1861.40 c #Conflicts: 634000 | #Constraints: 29544 1855.74/1861.40 c #Conflicts: 635000 | #Constraints: 30545 1855.74/1861.40 c #Conflicts: 636000 | #Constraints: 31547 1855.74/1861.40 c #Conflicts: 637000 | #Constraints: 32553 1855.74/1861.40 c #Conflicts: 638000 | #Constraints: 33559 1855.74/1861.40 c #Conflicts: 639000 | #Constraints: 34560 1855.74/1861.40 c INPROCESSING 1855.74/1861.40 c GARBAGE COLLECT 1855.74/1861.40 c rational objective -15094.8 1890.85/1896.64 c #Conflicts: 640000 | #Constraints: 19850 1890.85/1896.64 c #Conflicts: 641000 | #Constraints: 20855 1890.85/1896.64 c #Conflicts: 642000 | #Constraints: 21861 1890.85/1896.64 c #Conflicts: 643000 | #Constraints: 22862 1890.85/1896.64 c #Conflicts: 644000 | #Constraints: 23865 1890.85/1896.64 c #Conflicts: 645000 | #Constraints: 24868 1890.85/1896.64 c #Conflicts: 646000 | #Constraints: 25871 1890.85/1896.64 c #Conflicts: 647000 | #Constraints: 26872 1890.85/1896.64 c #Conflicts: 648000 | #Constraints: 27876 1890.85/1896.64 c #Conflicts: 649000 | #Constraints: 28883 1890.85/1896.64 c #Conflicts: 650000 | #Constraints: 29895 1890.85/1896.64 c #Conflicts: 651000 | #Constraints: 30899 1890.85/1896.64 c #Conflicts: 652000 | #Constraints: 31903 1890.85/1896.64 c #Conflicts: 653000 | #Constraints: 32907 1890.85/1896.64 c #Conflicts: 654000 | #Constraints: 33912 1890.85/1896.64 c #Conflicts: 655000 | #Constraints: 34914 1890.85/1896.64 c INPROCESSING 1890.85/1896.64 c GARBAGE COLLECT 1890.85/1896.64 c rational objective -15094.8 1988.51/1994.51 c #Conflicts: 656000 | #Constraints: 19925 1988.51/1994.51 c #Conflicts: 657000 | #Constraints: 20925 1988.51/1994.51 c #Conflicts: 658000 | #Constraints: 21925 1988.51/1994.51 c #Conflicts: 659000 | #Constraints: 22925 1988.51/1994.51 c #Conflicts: 660000 | #Constraints: 23925 1988.51/1994.51 c #Conflicts: 661000 | #Constraints: 24925 1988.51/1994.51 c #Conflicts: 662000 | #Constraints: 25925 1988.51/1994.51 c #Conflicts: 663000 | #Constraints: 26925 1988.51/1994.51 c #Conflicts: 664000 | #Constraints: 27925 1988.51/1994.51 c #Conflicts: 665000 | #Constraints: 28925 1988.51/1994.51 c #Conflicts: 666000 | #Constraints: 29925 1988.51/1994.51 c #Conflicts: 667000 | #Constraints: 30925 1988.51/1994.51 c #Conflicts: 668000 | #Constraints: 31925 1988.51/1994.51 c #Conflicts: 669000 | #Constraints: 32925 1988.51/1994.51 c #Conflicts: 670000 | #Constraints: 33925 1988.51/1994.51 c #Conflicts: 671000 | #Constraints: 34925 1988.51/1994.51 c INPROCESSING 1988.51/1994.51 c GARBAGE COLLECT 1988.51/1994.51 c rational objective -15094.8 2031.07/2037.25 c #Conflicts: 672000 | #Constraints: 19546 2031.07/2037.25 c #Conflicts: 673000 | #Constraints: 20547 2031.07/2037.25 c #Conflicts: 674000 | #Constraints: 21550 2031.07/2037.25 c #Conflicts: 675000 | #Constraints: 22551 2031.07/2037.25 c #Conflicts: 676000 | #Constraints: 23552 2031.07/2037.25 c #Conflicts: 677000 | #Constraints: 24557 2031.07/2037.25 c #Conflicts: 678000 | #Constraints: 25561 2031.07/2037.25 c #Conflicts: 679000 | #Constraints: 26561 2031.07/2037.25 c #Conflicts: 680000 | #Constraints: 27563 2031.07/2037.25 c #Conflicts: 681000 | #Constraints: 28566 2031.07/2037.25 c #Conflicts: 682000 | #Constraints: 29569 2031.07/2037.25 c #Conflicts: 683000 | #Constraints: 30575 2031.07/2037.25 c #Conflicts: 684000 | #Constraints: 31576 2031.07/2037.25 c #Conflicts: 685000 | #Constraints: 32576 2031.07/2037.25 c #Conflicts: 686000 | #Constraints: 33577 2031.07/2037.25 c #Conflicts: 687000 | #Constraints: 34580 2031.07/2037.25 c #Conflicts: 688000 | #Constraints: 35580 2031.07/2037.25 c INPROCESSING 2031.07/2037.25 c GARBAGE COLLECT 2031.07/2037.25 c rational objective -15094.7 2138.99/2145.59 c #Conflicts: 689000 | #Constraints: 20259 2138.99/2145.59 c #Conflicts: 690000 | #Constraints: 21259 2138.99/2145.59 c #Conflicts: 691000 | #Constraints: 22259 2138.99/2145.59 c #Conflicts: 692000 | #Constraints: 23259 2138.99/2145.59 c #Conflicts: 693000 | #Constraints: 24259 2138.99/2145.59 c #Conflicts: 694000 | #Constraints: 25259 2138.99/2145.59 c #Conflicts: 695000 | #Constraints: 26259 2138.99/2145.59 c #Conflicts: 696000 | #Constraints: 27259 2138.99/2145.59 c #Conflicts: 697000 | #Constraints: 28259 2138.99/2145.59 c #Conflicts: 698000 | #Constraints: 29259 2138.99/2145.59 c #Conflicts: 699000 | #Constraints: 30259 2138.99/2145.59 c #Conflicts: 700000 | #Constraints: 31259 2138.99/2145.59 c #Conflicts: 701000 | #Constraints: 32259 2138.99/2145.59 c #Conflicts: 702000 | #Constraints: 33259 2138.99/2145.59 c #Conflicts: 703000 | #Constraints: 34259 2138.99/2145.59 c #Conflicts: 704000 | #Constraints: 35259 2138.99/2145.59 c #Conflicts: 705000 | #Constraints: 36259 2138.99/2145.59 c INPROCESSING 2138.99/2145.59 c GARBAGE COLLECT 2138.99/2145.59 c rational objective -15094.8 2185.53/2192.24 c #Conflicts: 706000 | #Constraints: 20502 2185.53/2192.24 c #Conflicts: 707000 | #Constraints: 21504 2185.53/2192.24 c #Conflicts: 708000 | #Constraints: 22511 2185.53/2192.24 c #Conflicts: 709000 | #Constraints: 23513 2185.53/2192.24 c #Conflicts: 710000 | #Constraints: 24519 2185.53/2192.24 c #Conflicts: 711000 | #Constraints: 25527 2185.53/2192.24 c #Conflicts: 712000 | #Constraints: 26531 2185.53/2192.24 c #Conflicts: 713000 | #Constraints: 27535 2185.53/2192.24 c #Conflicts: 714000 | #Constraints: 28539 2185.53/2192.24 c #Conflicts: 715000 | #Constraints: 29547 2185.53/2192.24 c #Conflicts: 716000 | #Constraints: 30550 2185.53/2192.24 c #Conflicts: 717000 | #Constraints: 31565 2185.53/2192.24 c #Conflicts: 718000 | #Constraints: 32570 2185.53/2192.24 c #Conflicts: 719000 | #Constraints: 33570 2185.53/2192.24 c #Conflicts: 720000 | #Constraints: 34570 2185.53/2192.24 c #Conflicts: 721000 | #Constraints: 35572 2185.53/2192.24 c #Conflicts: 722000 | #Constraints: 36573 2185.53/2192.24 c INPROCESSING 2185.53/2192.24 c GARBAGE COLLECT 2185.53/2192.24 c rational objective -15080.4 2229.32/2236.18 c #Conflicts: 723000 | #Constraints: 20867 2229.32/2236.18 c #Conflicts: 724000 | #Constraints: 21870 2229.32/2236.18 c #Conflicts: 725000 | #Constraints: 22874 2229.32/2236.18 c #Conflicts: 726000 | #Constraints: 23875 2229.32/2236.18 c #Conflicts: 727000 | #Constraints: 24878 2229.32/2236.18 c #Conflicts: 728000 | #Constraints: 25882 2229.32/2236.18 c #Conflicts: 729000 | #Constraints: 26885 2229.32/2236.18 c #Conflicts: 730000 | #Constraints: 27890 2229.32/2236.18 c #Conflicts: 731000 | #Constraints: 28891 2229.32/2236.18 c #Conflicts: 732000 | #Constraints: 29892 2229.32/2236.18 c #Conflicts: 733000 | #Constraints: 30894 2229.32/2236.18 c #Conflicts: 734000 | #Constraints: 31899 2229.32/2236.18 c #Conflicts: 735000 | #Constraints: 32901 2229.32/2236.18 c #Conflicts: 736000 | #Constraints: 33903 2229.32/2236.18 c #Conflicts: 737000 | #Constraints: 34905 2229.32/2236.18 c #Conflicts: 738000 | #Constraints: 35908 2229.32/2236.18 c #Conflicts: 739000 | #Constraints: 36911 2229.32/2236.18 c INPROCESSING 2229.32/2236.18 c GARBAGE COLLECT 2229.32/2236.18 c rational objective -15069.4 2357.74/2364.99 c #Conflicts: 740000 | #Constraints: 20933 2357.74/2364.99 c #Conflicts: 741000 | #Constraints: 21934 2357.74/2364.99 c #Conflicts: 742000 | #Constraints: 22934 2357.74/2364.99 c #Conflicts: 743000 | #Constraints: 23934 2357.74/2364.99 c #Conflicts: 744000 | #Constraints: 24934 2357.74/2364.99 c #Conflicts: 745000 | #Constraints: 25934 2357.74/2364.99 c #Conflicts: 746000 | #Constraints: 26934 2357.74/2364.99 c #Conflicts: 747000 | #Constraints: 27934 2357.74/2364.99 c #Conflicts: 748000 | #Constraints: 28934 2357.74/2364.99 c #Conflicts: 749000 | #Constraints: 29934 2357.74/2364.99 c #Conflicts: 750000 | #Constraints: 30934 2357.74/2364.99 c #Conflicts: 751000 | #Constraints: 31934 2357.74/2364.99 c #Conflicts: 752000 | #Constraints: 32934 2357.74/2364.99 c #Conflicts: 753000 | #Constraints: 33934 2357.74/2364.99 c #Conflicts: 754000 | #Constraints: 34934 2357.74/2364.99 c #Conflicts: 755000 | #Constraints: 35934 2357.74/2364.99 c #Conflicts: 756000 | #Constraints: 36934 2357.74/2364.99 c INPROCESSING 2357.74/2364.99 c GARBAGE COLLECT 2357.74/2364.99 c rational objective -15048.6 2402.42/2409.79 c #Conflicts: 757000 | #Constraints: 20535 2402.42/2409.79 c #Conflicts: 758000 | #Constraints: 21543 2402.42/2409.79 c #Conflicts: 759000 | #Constraints: 22545 2402.42/2409.79 c #Conflicts: 760000 | #Constraints: 23548 2402.42/2409.79 c #Conflicts: 761000 | #Constraints: 24553 2402.42/2409.79 c #Conflicts: 762000 | #Constraints: 25559 2402.42/2409.79 c #Conflicts: 763000 | #Constraints: 26563 2402.42/2409.79 c #Conflicts: 764000 | #Constraints: 27566 2402.42/2409.79 c #Conflicts: 765000 | #Constraints: 28567 2402.42/2409.79 c #Conflicts: 766000 | #Constraints: 29569 2402.42/2409.79 c #Conflicts: 767000 | #Constraints: 30570 2402.42/2409.79 c #Conflicts: 768000 | #Constraints: 31572 2402.42/2409.79 c #Conflicts: 769000 | #Constraints: 32576 2402.42/2409.79 c #Conflicts: 770000 | #Constraints: 33578 2402.42/2409.79 c #Conflicts: 771000 | #Constraints: 34580 2402.42/2409.79 c #Conflicts: 772000 | #Constraints: 35585 2402.42/2409.79 c #Conflicts: 773000 | #Constraints: 36586 2402.42/2409.79 c #Conflicts: 774000 | #Constraints: 37592 2402.42/2409.79 c INPROCESSING 2402.42/2409.79 c GARBAGE COLLECT 2402.42/2409.79 c rational objective -15006.9 2449.79/2457.22 c #Conflicts: 775000 | #Constraints: 21269 2449.79/2457.22 c #Conflicts: 776000 | #Constraints: 22271 2449.79/2457.22 c #Conflicts: 777000 | #Constraints: 23277 2449.79/2457.22 c #Conflicts: 778000 | #Constraints: 24281 2449.79/2457.22 c #Conflicts: 779000 | #Constraints: 25286 2449.79/2457.22 c #Conflicts: 780000 | #Constraints: 26287 2449.79/2457.22 c #Conflicts: 781000 | #Constraints: 27293 2449.79/2457.22 c #Conflicts: 782000 | #Constraints: 28295 2449.79/2457.22 c #Conflicts: 783000 | #Constraints: 29301 2449.79/2457.22 c #Conflicts: 784000 | #Constraints: 30302 2449.79/2457.22 c #Conflicts: 785000 | #Constraints: 31305 2449.79/2457.22 c #Conflicts: 786000 | #Constraints: 32309 2449.79/2457.22 c #Conflicts: 787000 | #Constraints: 33312 2449.79/2457.22 c #Conflicts: 788000 | #Constraints: 34317 2449.79/2457.22 c #Conflicts: 789000 | #Constraints: 35317 2449.79/2457.22 c #Conflicts: 790000 | #Constraints: 36319 2449.79/2457.22 c #Conflicts: 791000 | #Constraints: 37319 2449.79/2457.22 c #Conflicts: 792000 | #Constraints: 38321 2449.79/2457.22 c INPROCESSING 2449.79/2457.22 c GARBAGE COLLECT 2449.79/2457.22 c rational objective -15006.9 2590.63/2598.42 c #Conflicts: 793000 | #Constraints: 21729 2590.63/2598.42 c #Conflicts: 794000 | #Constraints: 22729 2590.63/2598.42 c #Conflicts: 795000 | #Constraints: 23729 2590.63/2598.42 c #Conflicts: 796000 | #Constraints: 24729 2590.63/2598.42 c #Conflicts: 797000 | #Constraints: 25729 2590.63/2598.42 c #Conflicts: 798000 | #Constraints: 26729 2590.63/2598.42 c #Conflicts: 799000 | #Constraints: 27729 2590.63/2598.42 c #Conflicts: 800000 | #Constraints: 28729 2590.63/2598.42 c #Conflicts: 801000 | #Constraints: 29729 2590.63/2598.42 c #Conflicts: 802000 | #Constraints: 30729 2590.63/2598.42 c #Conflicts: 803000 | #Constraints: 31729 2590.63/2598.42 c #Conflicts: 804000 | #Constraints: 32729 2590.63/2598.42 c #Conflicts: 805000 | #Constraints: 33729 2590.63/2598.42 c #Conflicts: 806000 | #Constraints: 34729 2590.63/2598.42 c #Conflicts: 807000 | #Constraints: 35729 2590.63/2598.42 c #Conflicts: 808000 | #Constraints: 36729 2590.63/2598.42 c #Conflicts: 809000 | #Constraints: 37729 2590.63/2598.42 c #Conflicts: 810000 | #Constraints: 38729 2590.63/2598.42 c INPROCESSING 2590.63/2598.42 c GARBAGE COLLECT 2590.63/2598.42 c rational objective -15006.9 2641.31/2649.27 c #Conflicts: 811000 | #Constraints: 21741 2641.31/2649.27 c #Conflicts: 812000 | #Constraints: 22742 2641.31/2649.27 c #Conflicts: 813000 | #Constraints: 23748 2641.31/2649.27 c #Conflicts: 814000 | #Constraints: 24756 2641.31/2649.27 c #Conflicts: 815000 | #Constraints: 25761 2641.31/2649.27 c #Conflicts: 816000 | #Constraints: 26761 2641.31/2649.27 c #Conflicts: 817000 | #Constraints: 27763 2641.31/2649.27 c #Conflicts: 818000 | #Constraints: 28765 2641.31/2649.27 c #Conflicts: 819000 | #Constraints: 29767 2641.31/2649.27 c #Conflicts: 820000 | #Constraints: 30768 2641.31/2649.27 c #Conflicts: 821000 | #Constraints: 31770 2641.31/2649.27 c #Conflicts: 822000 | #Constraints: 32772 2641.31/2649.27 c #Conflicts: 823000 | #Constraints: 33778 2641.31/2649.27 c #Conflicts: 824000 | #Constraints: 34781 2641.31/2649.27 c #Conflicts: 825000 | #Constraints: 35783 2641.31/2649.27 c #Conflicts: 826000 | #Constraints: 36785 2641.31/2649.27 c #Conflicts: 827000 | #Constraints: 37787 2641.31/2649.27 c #Conflicts: 828000 | #Constraints: 38790 2641.31/2649.27 c INPROCESSING 2641.31/2649.27 c GARBAGE COLLECT 2641.31/2649.27 c rational objective -15006.2 2691.57/2699.63 c #Conflicts: 829000 | #Constraints: 21868 2691.57/2699.63 c #Conflicts: 830000 | #Constraints: 22871 2691.57/2699.63 c #Conflicts: 831000 | #Constraints: 23876 2691.57/2699.63 c #Conflicts: 832000 | #Constraints: 24880 2691.57/2699.63 c #Conflicts: 833000 | #Constraints: 25881 2691.57/2699.63 c #Conflicts: 834000 | #Constraints: 26883 2691.57/2699.63 c #Conflicts: 835000 | #Constraints: 27887 2691.57/2699.63 c #Conflicts: 836000 | #Constraints: 28888 2691.57/2699.63 c #Conflicts: 837000 | #Constraints: 29893 2691.57/2699.63 c #Conflicts: 838000 | #Constraints: 30896 2691.57/2699.63 c #Conflicts: 839000 | #Constraints: 31902 2691.57/2699.63 c #Conflicts: 840000 | #Constraints: 32912 2691.57/2699.63 c #Conflicts: 841000 | #Constraints: 33918 2691.57/2699.63 c #Conflicts: 842000 | #Constraints: 34926 2691.57/2699.63 c #Conflicts: 843000 | #Constraints: 35930 2691.57/2699.63 c #Conflicts: 844000 | #Constraints: 36939 2691.57/2699.63 c #Conflicts: 845000 | #Constraints: 37949 2691.57/2699.63 c #Conflicts: 846000 | #Constraints: 38954 2691.57/2699.63 c INPROCESSING 2691.57/2699.63 c GARBAGE COLLECT 2691.57/2699.63 c rational objective -15006.2 2853.06/2861.54 c #Conflicts: 847000 | #Constraints: 21751 2853.06/2861.54 c #Conflicts: 848000 | #Constraints: 22751 2853.06/2861.54 c #Conflicts: 849000 | #Constraints: 23751 2853.06/2861.54 c #Conflicts: 850000 | #Constraints: 24751 2853.06/2861.54 c #Conflicts: 851000 | #Constraints: 25751 2853.06/2861.54 c #Conflicts: 852000 | #Constraints: 26751 2853.06/2861.54 c #Conflicts: 853000 | #Constraints: 27751 2853.06/2861.54 c #Conflicts: 854000 | #Constraints: 28751 2853.06/2861.54 c #Conflicts: 855000 | #Constraints: 29751 2853.06/2861.54 c #Conflicts: 856000 | #Constraints: 30751 2853.06/2861.54 c #Conflicts: 857000 | #Constraints: 31751 2853.06/2861.54 c #Conflicts: 858000 | #Constraints: 32751 2853.06/2861.54 c #Conflicts: 859000 | #Constraints: 33751 2853.06/2861.54 c #Conflicts: 860000 | #Constraints: 34751 2853.06/2861.54 c #Conflicts: 861000 | #Constraints: 35751 2853.06/2861.54 c #Conflicts: 862000 | #Constraints: 36751 2853.06/2861.54 c #Conflicts: 863000 | #Constraints: 37751 2853.06/2861.54 c #Conflicts: 864000 | #Constraints: 38751 2853.06/2861.54 c #Conflicts: 865000 | #Constraints: 39751 2853.06/2861.54 c INPROCESSING 2853.06/2861.54 c GARBAGE COLLECT 2853.06/2861.54 c rational objective -15006.2 2909.21/2917.88 c #Conflicts: 866000 | #Constraints: 22159 2909.21/2917.88 c #Conflicts: 867000 | #Constraints: 23160 2909.21/2917.88 c #Conflicts: 868000 | #Constraints: 24163 2909.21/2917.88 c #Conflicts: 869000 | #Constraints: 25165 2909.21/2917.88 c #Conflicts: 870000 | #Constraints: 26166 2909.21/2917.88 c #Conflicts: 871000 | #Constraints: 27168 2909.21/2917.88 c #Conflicts: 872000 | #Constraints: 28172 2909.21/2917.88 c #Conflicts: 873000 | #Constraints: 29175 2909.21/2917.88 c #Conflicts: 874000 | #Constraints: 30178 2909.21/2917.88 c #Conflicts: 875000 | #Constraints: 31180 2909.21/2917.88 c #Conflicts: 876000 | #Constraints: 32183 2909.21/2917.88 c #Conflicts: 877000 | #Constraints: 33185 2909.21/2917.88 c #Conflicts: 878000 | #Constraints: 34188 2909.21/2917.88 c #Conflicts: 879000 | #Constraints: 35191 2909.21/2917.88 c #Conflicts: 880000 | #Constraints: 36195 2909.21/2917.88 c #Conflicts: 881000 | #Constraints: 37196 2909.21/2917.88 c #Conflicts: 882000 | #Constraints: 38200 2909.21/2917.88 c #Conflicts: 883000 | #Constraints: 39201 2909.21/2917.88 c #Conflicts: 884000 | #Constraints: 40205 2909.21/2917.88 c INPROCESSING 2909.21/2917.88 c GARBAGE COLLECT 2909.21/2917.88 c rational objective -14999.6 2963.17/2971.92 c #Conflicts: 885000 | #Constraints: 22682 2963.17/2971.92 c #Conflicts: 886000 | #Constraints: 23690 2963.17/2971.92 c #Conflicts: 887000 | #Constraints: 24693 2963.17/2971.92 c #Conflicts: 888000 | #Constraints: 25699 2963.17/2971.92 c #Conflicts: 889000 | #Constraints: 26702 2963.17/2971.92 c #Conflicts: 890000 | #Constraints: 27704 2963.17/2971.92 c #Conflicts: 891000 | #Constraints: 28707 2963.17/2971.92 c #Conflicts: 892000 | #Constraints: 29711 2963.17/2971.92 c #Conflicts: 893000 | #Constraints: 30714 2963.17/2971.92 c #Conflicts: 894000 | #Constraints: 31717 2963.17/2971.92 c #Conflicts: 895000 | #Constraints: 32720 2963.17/2971.92 c #Conflicts: 896000 | #Constraints: 33722 2963.17/2971.92 c #Conflicts: 897000 | #Constraints: 34724 2963.17/2971.92 c #Conflicts: 898000 | #Constraints: 35725 2963.17/2971.92 c #Conflicts: 899000 | #Constraints: 36726 2963.17/2971.92 c #Conflicts: 900000 | #Constraints: 37730 2963.17/2971.92 c #Conflicts: 901000 | #Constraints: 38731 2963.17/2971.92 c #Conflicts: 902000 | #Constraints: 39735 2963.17/2971.92 c #Conflicts: 903000 | #Constraints: 40737 2963.17/2971.92 c INPROCESSING 2963.17/2971.92 c GARBAGE COLLECT 2963.17/2971.92 c rational objective -14988.9 3127.75/3136.97 c #Conflicts: 904000 | #Constraints: 22941 3127.75/3136.97 c #Conflicts: 905000 | #Constraints: 23941 3127.75/3136.97 c #Conflicts: 906000 | #Constraints: 24941 3127.75/3136.97 c #Conflicts: 907000 | #Constraints: 25941 3127.75/3136.97 c #Conflicts: 908000 | #Constraints: 26941 3127.75/3136.97 c #Conflicts: 909000 | #Constraints: 27941 3127.75/3136.97 c #Conflicts: 910000 | #Constraints: 28941 3127.75/3136.97 c #Conflicts: 911000 | #Constraints: 29941 3127.75/3136.97 c #Conflicts: 912000 | #Constraints: 30941 3127.75/3136.97 c #Conflicts: 913000 | #Constraints: 31941 3127.75/3136.97 c #Conflicts: 914000 | #Constraints: 32941 3127.75/3136.97 c #Conflicts: 915000 | #Constraints: 33941 3127.75/3136.97 c #Conflicts: 916000 | #Constraints: 34941 3127.75/3136.97 c #Conflicts: 917000 | #Constraints: 35941 3127.75/3136.97 c #Conflicts: 918000 | #Constraints: 36941 3127.75/3136.97 c #Conflicts: 919000 | #Constraints: 37941 3127.75/3136.97 c #Conflicts: 920000 | #Constraints: 38941 3127.75/3136.97 c #Conflicts: 921000 | #Constraints: 39941 3127.75/3136.97 c #Conflicts: 922000 | #Constraints: 40941 3127.75/3136.97 c INPROCESSING 3127.75/3136.97 c GARBAGE COLLECT 3127.75/3136.97 c rational objective -14988.9 3183.30/3192.66 c #Conflicts: 923000 | #Constraints: 22778 3183.30/3192.66 c #Conflicts: 924000 | #Constraints: 23780 3183.30/3192.66 c #Conflicts: 925000 | #Constraints: 24785 3183.30/3192.66 c #Conflicts: 926000 | #Constraints: 25787 3183.30/3192.66 c #Conflicts: 927000 | #Constraints: 26791 3183.30/3192.66 c #Conflicts: 928000 | #Constraints: 27791 3183.30/3192.66 c #Conflicts: 929000 | #Constraints: 28793 3183.30/3192.66 c #Conflicts: 930000 | #Constraints: 29795 3183.30/3192.66 c #Conflicts: 931000 | #Constraints: 30798 3183.30/3192.66 c #Conflicts: 932000 | #Constraints: 31799 3183.30/3192.66 c #Conflicts: 933000 | #Constraints: 32804 3183.30/3192.66 c #Conflicts: 934000 | #Constraints: 33806 3183.30/3192.66 c #Conflicts: 935000 | #Constraints: 34809 3183.30/3192.66 c #Conflicts: 936000 | #Constraints: 35812 3183.30/3192.66 c #Conflicts: 937000 | #Constraints: 36814 3183.30/3192.66 c #Conflicts: 938000 | #Constraints: 37817 3183.30/3192.66 c #Conflicts: 939000 | #Constraints: 38823 3183.30/3192.66 c #Conflicts: 940000 | #Constraints: 39825 3183.30/3192.66 c #Conflicts: 941000 | #Constraints: 40836 3183.30/3192.66 c INPROCESSING 3183.30/3192.66 c GARBAGE COLLECT 3183.30/3192.66 c rational objective -14986.9 3242.25/3251.76 c #Conflicts: 942000 | #Constraints: 22692 3242.25/3251.76 c #Conflicts: 943000 | #Constraints: 23695 3242.25/3251.76 c #Conflicts: 944000 | #Constraints: 24705 3242.25/3251.76 c #Conflicts: 945000 | #Constraints: 25714 3242.25/3251.76 c #Conflicts: 946000 | #Constraints: 26718 3242.25/3251.76 c #Conflicts: 947000 | #Constraints: 27725 3242.25/3251.76 c #Conflicts: 948000 | #Constraints: 28726 3242.25/3251.76 c #Conflicts: 949000 | #Constraints: 29728 3242.25/3251.76 c #Conflicts: 950000 | #Constraints: 30734 3242.25/3251.76 c #Conflicts: 951000 | #Constraints: 31737 3242.25/3251.76 c #Conflicts: 952000 | #Constraints: 32738 3242.25/3251.76 c #Conflicts: 953000 | #Constraints: 33741 3242.25/3251.76 c #Conflicts: 954000 | #Constraints: 34744 3242.25/3251.76 c #Conflicts: 955000 | #Constraints: 35754 3242.25/3251.76 c #Conflicts: 956000 | #Constraints: 36756 3242.25/3251.76 c #Conflicts: 957000 | #Constraints: 37756 3242.25/3251.76 c #Conflicts: 958000 | #Constraints: 38757 3242.25/3251.76 c #Conflicts: 959000 | #Constraints: 39758 3242.25/3251.76 c #Conflicts: 960000 | #Constraints: 40761 3242.25/3251.76 c #Conflicts: 961000 | #Constraints: 41763 3242.25/3251.76 c INPROCESSING 3242.25/3251.76 c GARBAGE COLLECT 3242.25/3251.76 c rational objective -14986.9 3412.16/3422.11 c #Conflicts: 962000 | #Constraints: 23352 3412.16/3422.11 c #Conflicts: 963000 | #Constraints: 24353 3412.16/3422.11 c #Conflicts: 964000 | #Constraints: 25353 3412.16/3422.11 c #Conflicts: 965000 | #Constraints: 26353 3412.16/3422.11 c #Conflicts: 966000 | #Constraints: 27354 3412.16/3422.11 c #Conflicts: 967000 | #Constraints: 28355 3412.16/3422.11 c #Conflicts: 968000 | #Constraints: 29356 3412.16/3422.11 c #Conflicts: 969000 | #Constraints: 30356 3412.16/3422.11 c #Conflicts: 970000 | #Constraints: 31357 3412.16/3422.11 c #Conflicts: 971000 | #Constraints: 32357 3412.16/3422.11 c #Conflicts: 972000 | #Constraints: 33358 3412.16/3422.11 c #Conflicts: 973000 | #Constraints: 34358 3412.16/3422.11 c #Conflicts: 974000 | #Constraints: 35358 3412.16/3422.11 c #Conflicts: 975000 | #Constraints: 36358 3412.16/3422.11 c #Conflicts: 976000 | #Constraints: 37358 3412.16/3422.11 c #Conflicts: 977000 | #Constraints: 38358 3412.16/3422.11 c #Conflicts: 978000 | #Constraints: 39358 3412.16/3422.11 c #Conflicts: 979000 | #Constraints: 40358 3412.16/3422.11 c #Conflicts: 980000 | #Constraints: 41358 3412.16/3422.11 c #Conflicts: 981000 | #Constraints: 42358 3412.16/3422.11 c INPROCESSING 3412.16/3422.11 c GARBAGE COLLECT 3412.16/3422.11 c rational objective -14978.9 3486.64/3496.81 c #Conflicts: 982000 | #Constraints: 23540 3486.64/3496.81 c #Conflicts: 983000 | #Constraints: 24540 3486.64/3496.81 c #Conflicts: 984000 | #Constraints: 25540 3486.64/3496.81 c #Conflicts: 985000 | #Constraints: 26542 3486.64/3496.81 c #Conflicts: 986000 | #Constraints: 27544 3486.64/3496.81 c #Conflicts: 987000 | #Constraints: 28547 3486.64/3496.81 c #Conflicts: 988000 | #Constraints: 29548 3486.64/3496.81 c #Conflicts: 989000 | #Constraints: 30551 3486.64/3496.81 c #Conflicts: 990000 | #Constraints: 31551 3486.64/3496.81 c #Conflicts: 991000 | #Constraints: 32554 3486.64/3496.81 c #Conflicts: 992000 | #Constraints: 33554 3486.64/3496.81 c #Conflicts: 993000 | #Constraints: 34555 3486.64/3496.81 c #Conflicts: 994000 | #Constraints: 35555 3486.64/3496.81 c #Conflicts: 995000 | #Constraints: 36555 3486.64/3496.81 c #Conflicts: 996000 | #Constraints: 37555 3486.64/3496.81 c #Conflicts: 997000 | #Constraints: 38555 3486.64/3496.81 c #Conflicts: 998000 | #Constraints: 39557 3486.64/3496.81 c #Conflicts: 999000 | #Constraints: 40559 3486.64/3496.81 c #Conflicts: 1000000 | #Constraints: 41564 3486.64/3496.81 c #Conflicts: 1001000 | #Constraints: 42565 3486.64/3496.81 c INPROCESSING 3486.64/3496.81 c GARBAGE COLLECT 3486.64/3496.81 c rational objective -14954.9 3600.02/3610.50 c #Conflicts: 1002000 | #Constraints: 23851 3600.02/3610.50 c #Conflicts: 1003000 | #Constraints: 24851 3600.02/3610.50 c #Conflicts: 1004000 | #Constraints: 25851 3600.02/3610.50 c #Conflicts: 1005000 | #Constraints: 26851 3600.02/3610.50 c #Conflicts: 1006000 | #Constraints: 27851 3600.02/3610.50 c #Conflicts: 1007000 | #Constraints: 28851 3600.02/3610.50 c #Conflicts: 1008000 | #Constraints: 29851 3600.02/3610.50 c #Conflicts: 1009000 | #Constraints: 30851 3600.02/3610.50 c #Conflicts: 1010000 | #Constraints: 31851 3600.02/3610.50 c #Conflicts: 1011000 | #Constraints: 32852 3600.02/3610.50 c #Conflicts: 1012000 | #Constraints: 33852 3600.02/3610.50 c #Conflicts: 1013000 | #Constraints: 34852 3600.02/3610.50 c #Conflicts: 1014000 | #Constraints: 35852 3600.02/3610.50 c #Conflicts: 1015000 | #Constraints: 36852 3600.02/3610.50 c #Conflicts: 1016000 | #Constraints: 37852 3600.02/3610.50 c #Conflicts: 1017000 | #Constraints: 38852 3600.02/3610.50 c Program interrupted by user. 3600.02/3610.50 c cpu time 3578.12 s 3600.02/3610.50 c deterministic time 589728300913 5.90e+11 3600.02/3610.50 c optimization time 112.267 s 3600.02/3610.50 c total solve time 3465.83 s 3600.02/3610.50 c core-guided solve time 1412.23 s 3600.02/3610.50 c propagation time 2871.9 s 3600.02/3610.50 c conflict analysis time 629.136 s 3600.02/3610.50 c propagations 71675511 3600.02/3610.50 c resolve steps 29363381 3600.02/3610.50 c decisions 1203314 3600.02/3610.50 c conflicts 1017272 3600.02/3610.50 c restarts 2045 3600.02/3610.50 c inprocessing phases 91 3600.02/3610.50 c input clauses 1346 3600.02/3610.50 c input cardinalities 2 3600.02/3610.50 c input general constraints 1379 3600.02/3610.50 c input average constraint length 19.74 3600.02/3610.50 c input average constraint degree 413.33 3600.02/3610.50 c learned clauses 917857 3600.02/3610.50 c learned cardinalities 169 3600.02/3610.50 c learned general constraints 100905 3600.02/3610.50 c learned average constraint length 742.99 3600.02/3610.50 c learned average constraint degree 245005508.27 3600.02/3610.50 c watched constraints 100920 3600.02/3610.50 c counting constraints 1364 3600.02/3610.50 c gcd simplifications 718106 3600.02/3610.50 c detected cardinalities 0 3600.02/3610.50 c weakened non-implied lits 514485010 3600.02/3610.50 c weakened non-implying lits 2302641 3600.02/3610.50 c original variables 1381 3600.02/3610.50 c clausal propagations 29645994 3600.02/3610.50 c cardinality propagations 21307 3600.02/3610.50 c watched propagations 2974056 3600.02/3610.50 c counting propagations 38043966 3600.02/3610.50 c watch lookups 21839283312 3600.02/3610.50 c watch backjump lookups 11102313270 3600.02/3610.50 c watch checks 520963350704 3600.02/3610.50 c propagation checks 32910663280 3600.02/3610.50 c constraint additions 2764748483 3600.02/3610.50 c trail pops 73893054 3600.02/3610.50 c formula constraints 2692 3600.02/3610.50 c learned constraints 1015611 3600.02/3610.50 c bound constraints 31 3600.02/3610.50 c core-guided constraints 4 3600.02/3610.50 c encountered formula constraints 27628768 3600.02/3610.50 c encountered learned constraints 2688669 3600.02/3610.50 c encountered bound constraints 22187 3600.02/3610.50 c encountered core-guided constraints 677 3600.02/3610.50 c LP total time 67.4021 s 3600.02/3610.50 c LP solve time 36.25 s 3600.02/3610.50 c LP constraints added 3112 3600.02/3610.50 c LP constraints removed 217 3600.02/3610.50 c LP pivots internal 1017294 3600.02/3610.50 c LP pivots root 152690 3600.02/3610.50 c LP calls 17919 3600.02/3610.50 c LP optimalities 16257 3600.02/3610.50 c LP no pivot count 47 3600.02/3610.50 c LP infeasibilities 1660 3600.02/3610.50 c LP valid Farkas constraints 1660 3600.02/3610.50 c LP learned Farkas constraints 1660 3600.02/3610.50 c LP basis resets 0 3600.02/3610.50 c LP cycling count 0 3600.02/3610.50 c LP singular count 0 3600.02/3610.50 c LP no primal count 0 3600.02/3610.50 c LP no farkas count 0 3600.02/3610.50 c LP other issue count 0 3600.02/3610.50 c LP Gomory cuts 0 3600.02/3610.50 c LP learned cuts 420 3600.02/3610.50 c LP deleted cuts 217 3600.02/3610.50 c LP encountered Gomory constraints 0 3600.02/3610.50 c LP encountered Farkas constraints 36435 3600.02/3610.50 c LP encountered learned Farkas constraints 2257 3600.02/3610.50 c CG auxiliary variables introduced 2 3600.02/3610.50 c CG solutions found 29 3600.02/3610.50 c CG cores constructed 2 3600.02/3610.50 c CG core cardinality constraints returned 0 3600.02/3610.50 c CG unit cores 0 3600.02/3610.50 c CG single cores 2 3600.02/3610.50 c CG blocks removed during cardinality reduction 0 3600.02/3610.50 c CG first core best 0 3600.02/3610.50 c CG decision core best 0 3600.02/3610.50 c CG core reduction tie 0 3600.02/3610.50 c CG core degree average 1.00 3600.02/3610.50 c CG core slack average 12.00 3600.02/3610.50 s SATISFIABLE 3600.02/3610.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 (55336 MiB free)
memory of node 1: 64473 MiB (56399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460459-1722071166/watcher-4460459-1722071166 -o /tmp/evaluation-result-4460459-1722071166/solver-4460459-1722071166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460459-1722071166 --lp-cut-gomory=0 HOME/instance-4460459-1722071166.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=307384, runsolver pid=307381
Current StackSize limit: 8192 KiB
[startup+0.100621 s]*
/proc/loadavg: 4.92 4.36 4.25 5/245 307385
/proc/meminfo: memFree=114413720/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=40432 memory=10432 CPUtime=0.1 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 1137 0 0 0 9 1 0 0 20 0 1 0 43105896 41402368 2608 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 10108 2608 1786 992 0 1966 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 10432 KiB
[startup+0.213029 s]*
/proc/loadavg: 4.92 4.36 4.25 5/245 307385
/proc/meminfo: memFree=114412712/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=40736 memory=10696 CPUtime=0.21 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 1232 0 0 0 20 1 0 0 20 0 1 0 43105896 41713664 2674 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 10184 2674 1786 992 0 2042 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 10696 KiB
[startup+0.312993 s]*
/proc/loadavg: 4.92 4.36 4.25 5/245 307385
/proc/meminfo: memFree=114411592/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=40880 memory=10696 CPUtime=0.31 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 1249 0 0 0 29 2 0 0 20 0 1 0 43105896 41861120 2674 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 10220 2674 1786 992 0 2078 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 10696 KiB
[startup+0.700323 s]
/proc/loadavg: 4.92 4.36 4.25 5/245 307385
/proc/meminfo: memFree=114409772/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=40880 memory=11344 CPUtime=0.68 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 1380 0 0 0 66 2 0 0 20 0 1 0 43105896 41861120 2836 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 10220 2836 1818 992 0 2078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 11344 KiB
[startup+1.50031 s]
/proc/loadavg: 4.92 4.36 4.25 5/245 307385
/proc/meminfo: memFree=114402448/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=41684 memory=14972 CPUtime=1.48 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 1735 0 0 0 145 3 0 0 20 0 1 0 43105896 42684416 3743 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 10421 3743 1818 992 0 2279 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41684 KiB
Current children cumulated memory: 14972 KiB
[startup+3.11264 s]
/proc/loadavg: 4.85 4.36 4.24 5/245 307385
/proc/meminfo: memFree=114375860/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=44684 memory=17088 CPUtime=3.09 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 2226 0 0 0 304 5 0 0 20 0 1 0 43105896 45756416 4272 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 11171 4272 1897 992 0 3029 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 44684 KiB
Current children cumulated memory: 17088 KiB
[startup+6.30029 s]
/proc/loadavg: 4.85 4.36 4.24 5/245 307385
/proc/meminfo: memFree=114336292/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=49696 memory=22432 CPUtime=6.27 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 2996 0 0 0 619 8 0 0 20 0 1 0 43105896 50888704 5608 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 12424 5608 1913 992 0 4282 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 49696 KiB
Current children cumulated memory: 22432 KiB
[startup+12.7003 s]
/proc/loadavg: 4.86 4.37 4.25 5/245 307387
/proc/meminfo: memFree=114268060/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=66180 memory=37856 CPUtime=12.66 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 5868 0 0 0 1250 16 0 0 20 0 1 0 43105896 67768320 9464 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 16545 9464 1913 992 0 8403 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 66180 KiB
Current children cumulated memory: 37856 KiB
[startup+25.5003 s]
/proc/loadavg: 4.82 4.38 4.26 5/245 307388
/proc/meminfo: memFree=114154748/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=78536 memory=44380 CPUtime=25.43 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 6448 0 0 0 2513 30 0 0 20 0 1 0 43105896 80420864 11095 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 19634 11095 1913 992 0 11492 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 78536 KiB
Current children cumulated memory: 44380 KiB
[startup+51.1127 s]
/proc/loadavg: 4.75 4.40 4.27 5/245 307394
/proc/meminfo: memFree=113912004/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=78984 memory=50776 CPUtime=50.97 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 6572 0 0 0 5039 58 0 0 20 0 1 0 43105896 80879616 12694 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 19746 12694 1913 992 0 11604 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 78984 KiB
Current children cumulated memory: 50776 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 4.37 4.26 5/245 307402
/proc/meminfo: memFree=113490716/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=99140 memory=60252 CPUtime=102.03 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 7398 0 0 0 10098 105 0 0 20 0 1 0 43105896 101519360 15063 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 24785 15063 1913 992 0 16643 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 60252 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.34 4.26 5/245 307413
/proc/meminfo: memFree=112767364/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=100912 memory=72244 CPUtime=161.87 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 7834 0 0 0 16028 159 0 0 20 0 1 0 43105896 103333888 18061 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 25228 18061 1913 992 0 17086 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 100912 KiB
Current children cumulated memory: 72244 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.29 4.25 5/245 307423
/proc/meminfo: memFree=111926892/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=132748 memory=76464 CPUtime=221.72 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 8443 0 0 0 21959 213 0 0 20 0 1 0 43105896 135933952 19116 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 33187 19116 1913 992 0 25045 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 132748 KiB
Current children cumulated memory: 76464 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.25 4.24 6/250 307440
/proc/meminfo: memFree=111149908/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=134088 memory=84960 CPUtime=281.56 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 9018 0 0 0 27893 263 0 0 20 0 1 0 43105896 137306112 21240 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 33522 21240 1913 992 0 25380 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 134088 KiB
Current children cumulated memory: 84960 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.24 4.23 5/250 307451
/proc/meminfo: memFree=110072136/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=134268 memory=87320 CPUtime=341.39 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 9164 0 0 0 33837 302 0 0 20 0 1 0 43105896 137490432 21830 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 33567 21830 1913 992 0 25425 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 134268 KiB
Current children cumulated memory: 87320 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.20 4.22 5/254 307466
/proc/meminfo: memFree=108884680/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=134652 memory=89792 CPUtime=401.23 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 9389 0 0 0 39772 351 0 0 20 0 1 0 43105896 137883648 22448 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 33663 22448 1913 992 0 25521 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 134652 KiB
Current children cumulated memory: 89792 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.20 4.22 7/255 307477
/proc/meminfo: memFree=107937052/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=140232 memory=99016 CPUtime=461.07 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 10789 0 0 0 45715 392 0 0 20 0 1 0 43105896 143597568 24754 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 35058 24754 1913 992 0 26916 0
################
# More data... #
################
Current children cumulated memory: 180372 KiB
[startup+2922.3 s]
/proc/loadavg: 4.32 4.22 4.19 5/253 308734
/proc/meminfo: memFree=107747092/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=207588 memory=180596 CPUtime=2913.7 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 21321 0 0 0 289546 1824 0 0 20 0 1 0 43105896 212570112 45149 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 51897 45149 1913 992 0 43755 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 207588 KiB
Current children cumulated memory: 180596 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/254 309130
/proc/meminfo: memFree=107205732/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=207816 memory=180824 CPUtime=2973.54 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 21594 0 0 0 295490 1864 0 0 20 0 1 0 43105896 212803584 45206 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 51954 45206 1913 992 0 43812 0
Current children cumulated CPU time: 2973.54 s
Current children cumulated vsize: 207816 KiB
Current children cumulated memory: 180824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/254 309140
/proc/meminfo: memFree=106702660/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=207816 memory=180836 CPUtime=3033.39 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 21664 0 0 0 301455 1884 0 0 20 0 1 0 43105896 212803584 45209 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 51954 45209 1913 992 0 43812 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 207816 KiB
Current children cumulated memory: 180836 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/249 309150
/proc/meminfo: memFree=106207360/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=207816 memory=180836 CPUtime=3093.24 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 21743 0 0 0 307420 1904 0 0 20 0 1 0 43105896 212803584 45209 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 51954 45209 1913 992 0 43812 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 207816 KiB
Current children cumulated memory: 180836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.16 4.17 6/251 309332
/proc/meminfo: memFree=105581284/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=208036 memory=181040 CPUtime=3153.08 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 22027 0 0 0 313374 1934 0 0 20 0 1 0 43105896 213028864 45260 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 52009 45260 1913 992 0 43867 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 208036 KiB
Current children cumulated memory: 181040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/253 309344
/proc/meminfo: memFree=104985448/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=207912 memory=182156 CPUtime=3212.93 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 22569 0 0 0 319311 1982 0 0 20 0 1 0 43105896 212901888 45539 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 51978 45539 1913 992 0 43836 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 207912 KiB
Current children cumulated memory: 182156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 309358
/proc/meminfo: memFree=104433304/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=291208 memory=187356 CPUtime=3272.76 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 23554 0 0 0 325255 2021 0 0 20 0 1 0 43105896 298196992 46839 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 72802 46839 1913 992 0 64660 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 291208 KiB
Current children cumulated memory: 187356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/255 309384
/proc/meminfo: memFree=103893560/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=291356 memory=187356 CPUtime=3332.58 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 23576 0 0 0 331206 2052 0 0 20 0 1 0 43105896 298348544 46839 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 72839 46839 1913 992 0 64697 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 291356 KiB
Current children cumulated memory: 187356 KiB
[startup+3402.3 s]
/proc/loadavg: 4.44 4.22 4.19 5/255 309395
/proc/meminfo: memFree=103340936/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=291356 memory=187376 CPUtime=3392.4 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 23598 0 0 0 337166 2074 0 0 20 0 1 0 43105896 298348544 46844 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 72839 46844 1913 992 0 64697 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 291356 KiB
Current children cumulated memory: 187376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.98 4.42 4.26 5/255 309405
/proc/meminfo: memFree=102829252/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=291520 memory=187664 CPUtime=3452.24 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 23852 0 0 0 343106 2118 0 0 20 0 1 0 43105896 298516480 46916 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 72880 46916 1913 992 0 64738 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 291520 KiB
Current children cumulated memory: 187664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.37 4.26 5/255 309415
/proc/meminfo: memFree=102370596/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=292568 memory=192704 CPUtime=3512.07 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 24292 0 0 0 349053 2154 0 0 20 0 1 0 43105896 299589632 48176 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 73142 48176 1913 992 0 65000 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 292568 KiB
Current children cumulated memory: 192704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.32 4.25 5/253 309426
/proc/meminfo: memFree=101989872/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=292704 memory=192704 CPUtime=3571.9 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 24317 0 0 0 355007 2183 0 0 20 0 1 0 43105896 299728896 48176 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 73176 48176 1913 992 0 65034 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 292704 KiB
Current children cumulated memory: 192704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.25 4.32 4.25 5/253 309431
/proc/meminfo: memFree=101816468/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=292704 memory=192704 CPUtime=3600.02 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 24325 0 0 0 357811 2191 0 0 20 0 1 0 43105896 299728896 48176 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 73176 48176 1913 992 0 65034 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 292704 KiB
Current children cumulated memory: 192704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.57 s]
# the end of solver process 307384 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.12 s, system=21.9236 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.25 4.32 4.25 5/253 309431
/proc/meminfo: memFree=101816468/131655788 swapFree=131056320/131071996
[pid=307384] ppid=307381 vsize=292704 memory=192704 CPUtime=3600.02 cores=5,7
/proc/307384/stat : 307384 (roundingsat) R 307381 307384 302410 0 -1 4194304 24325 0 0 0 357811 2191 0 0 20 0 1 0 43105896 299728896 48176 134679101440 4194304 8254357 140720734642976 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 22331392 140720734651227 140720734651489 140720734651489 140720734658505 0
/proc/307384/statm: 73176 48176 1913 992 0 65034 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 292704 KiB
Current children cumulated memory: 192704 KiB
Child status: 0
Real time (s): 3610.57
CPU time (s): 3600.05
CPU user time (s): 3578.12
CPU system time (s): 21.9236
CPU usage (%): 99.7087
Max. virtual memory (cumulated for all children) (KiB): 292704
Max. memory (cumulated for all children) (KiB): 192704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.13
system time used= 21.9236
maximum resident set size= 193440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23586992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1538
involuntary context switches= 4888
# summary of solver processes directly reported to runsolver:
# pid: 307384
# total CPU time (s): 3600.05
# total CPU user time (s): 3578.12
# total CPU system time (s): 21.9236
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6968 second user time and 36.2035 second system time
The end
Begin job on nodeC006 at 2024-07-27 11:06:06 IDJOB=4460459 IDBENCH=158466 IDSOLVER=3086 FILE ID=nodeC006/4460459-1722071166 RUNJOBID= nodeC006-1722064837-302423 SLURM_JOB_ID= 8248108 Free space on /tmp= 723764 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-4460459-1722071166/watcher-4460459-1722071166 -o /tmp/evaluation-result-4460459-1722071166/solver-4460459-1722071166 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460459-1722071166 --lp-cut-gomory=0 HOME/instance-4460459-1722071166.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05 RANDOM SEED=1158661254 nodeC006.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 : 3665.808 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 : 6983.06 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 : 3626.507 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.40 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.308 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 : 6983.06 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.164 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.40 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 : 3657.982 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 : 6983.06 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.109 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.40 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.263 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 : 6983.06 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.101 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.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 114418452 kB MemAvailable: 128339608 kB Buffers: 382500 kB Cached: 14117180 kB SwapCached: 244 kB Active: 2110100 kB Inactive: 14157192 kB Active(anon): 1744 kB Inactive(anon): 1819096 kB Active(file): 2108356 kB Inactive(file): 12338096 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 80460 kB Writeback: 0 kB AnonPages: 1765952 kB Mapped: 103632 kB Shmem: 53436 kB KReclaimable: 536612 kB Slab: 651568 kB SReclaimable: 536612 kB SUnreclaim: 114956 kB KernelStack: 3872 kB PageTables: 12604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2462916 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 966656 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: 424776 kB DirectMap2M: 57151488 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723748 MiB End job on nodeC006 at 2024-07-27 12:06:17