| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | -1273 | 3600.11 | 3609.82 |
| 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.05 c #variables 1381 #constraints 2692 7.07/7.17 c bounds - >= -37584 @ 0.029023 7.07/7.17 c bounds 0 >= -37584 @ 0.321292 7.07/7.17 c bounds -464 >= -37584 @ 0.321861 7.07/7.17 c bounds -754 >= -37584 @ 0.325141 7.07/7.17 c #Conflicts: 1000 | #Constraints: 3694 7.07/7.17 c bounds -754 >= -37341 @ 2.89916 7.07/7.17 c bounds -769 >= -37341 @ 2.90119 7.07/7.17 c bounds -819 >= -37341 @ 2.90295 7.07/7.17 c bounds -853 >= -37341 @ 2.90408 7.07/7.17 c bounds -1039 >= -37341 @ 2.9063 7.07/7.17 c bounds -1041 >= -37341 @ 2.91979 7.07/7.17 c bounds -1046 >= -37341 @ 2.93588 7.07/7.17 c bounds -1048 >= -37341 @ 2.93697 7.07/7.17 c bounds -1054 >= -37341 @ 2.93825 7.07/7.17 c bounds -1062 >= -37341 @ 3.02003 7.07/7.17 c #Conflicts: 2000 | #Constraints: 4706 7.07/7.17 c INPROCESSING 7.07/7.17 c GARBAGE COLLECT 7.07/7.17 c bounds -1172 >= -37341 @ 3.18649 7.07/7.17 c bounds -1186 >= -37341 @ 3.21054 7.07/7.17 c bounds -1204 >= -37341 @ 3.76187 7.07/7.17 c bounds -1205 >= -37341 @ 4.32674 7.07/7.17 c bounds -1213 >= -37341 @ 4.33226 7.07/7.17 c bounds -1214 >= -37341 @ 4.51965 7.07/7.17 c #Conflicts: 3000 | #Constraints: 4703 7.07/7.17 c bounds -1216 >= -37341 @ 4.61421 7.07/7.17 c bounds -1219 >= -37341 @ 4.62676 7.07/7.17 c #Conflicts: 4000 | #Constraints: 5705 7.07/7.17 c INPROCESSING 7.07/7.17 c GARBAGE COLLECT 7.07/7.17 c rational objective -18792 10.85/10.90 c bounds -1225 >= -37341 @ 7.06444 10.85/10.90 c bounds -1228 >= -37341 @ 7.09669 10.85/10.90 c bounds -1230 >= -37341 @ 7.10008 10.85/10.90 c bounds -1246 >= -37341 @ 7.10416 10.85/10.90 c #Conflicts: 5000 | #Constraints: 5106 10.85/10.90 c bounds -1251 >= -37341 @ 10.0368 10.85/10.90 c bounds -1251 >= -37125 @ 10.0402 10.85/10.90 c #Conflicts: 6000 | #Constraints: 6109 10.85/10.90 c INPROCESSING 10.85/10.90 c GARBAGE COLLECT 10.85/10.90 c rational objective -18792 13.95/14.03 c bounds -1253 >= -37125 @ 10.8908 13.95/14.03 c #Conflicts: 7000 | #Constraints: 5107 13.95/14.03 c bounds -1255 >= -37125 @ 11.5964 13.95/14.03 c #Conflicts: 8000 | #Constraints: 6108 13.95/14.03 c #Conflicts: 9000 | #Constraints: 7109 13.95/14.03 c INPROCESSING 13.95/14.03 c GARBAGE COLLECT 13.95/14.03 c rational objective -18788 18.13/18.20 c bounds -1257 >= -37125 @ 13.8521 18.13/18.20 c bounds -1258 >= -37125 @ 14.2877 18.13/18.20 c #Conflicts: 10000 | #Constraints: 5809 18.13/18.20 c #Conflicts: 11000 | #Constraints: 6809 18.13/18.20 c bounds -1261 >= -37125 @ 17.4826 18.13/18.20 c #Conflicts: 12000 | #Constraints: 7810 18.13/18.20 c INPROCESSING 18.13/18.20 c GARBAGE COLLECT 18.13/18.20 c rational objective -18696 21.32/21.49 c #Conflicts: 13000 | #Constraints: 6258 21.32/21.49 c #Conflicts: 14000 | #Constraints: 7260 21.32/21.49 c #Conflicts: 15000 | #Constraints: 8260 21.32/21.49 c INPROCESSING 21.32/21.49 c GARBAGE COLLECT 21.32/21.49 c rational objective -18692 27.61/27.75 c bounds -1262 >= -37125 @ 22.624 27.61/27.75 c bounds -1268 >= -37125 @ 22.6956 27.61/27.75 c #Conflicts: 16000 | #Constraints: 6493 27.61/27.75 c bounds -1270 >= -37125 @ 23.3286 27.61/27.75 c bounds -1271 >= -37125 @ 23.6605 27.61/27.75 c #Conflicts: 17000 | #Constraints: 7495 27.61/27.75 c #Conflicts: 18000 | #Constraints: 8495 27.61/27.75 c INPROCESSING 27.61/27.75 c GARBAGE COLLECT 27.61/27.75 c rational objective -18368 31.30/31.46 c #Conflicts: 19000 | #Constraints: 6499 31.30/31.46 c #Conflicts: 20000 | #Constraints: 7499 31.30/31.46 c #Conflicts: 21000 | #Constraints: 8499 31.30/31.46 c INPROCESSING 31.30/31.46 c GARBAGE COLLECT 31.30/31.46 c rational objective -18288 38.17/38.37 c #Conflicts: 22000 | #Constraints: 6332 38.17/38.37 c #Conflicts: 23000 | #Constraints: 7332 38.17/38.37 c #Conflicts: 24000 | #Constraints: 8332 38.17/38.37 c #Conflicts: 25000 | #Constraints: 9332 38.17/38.37 c INPROCESSING 38.17/38.37 c GARBAGE COLLECT 38.17/38.37 c rational objective -17496 42.57/42.76 c #Conflicts: 26000 | #Constraints: 6918 42.57/42.76 c #Conflicts: 27000 | #Constraints: 7919 42.57/42.76 c #Conflicts: 28000 | #Constraints: 8919 42.57/42.76 c #Conflicts: 29000 | #Constraints: 9919 42.57/42.76 c INPROCESSING 42.57/42.76 c GARBAGE COLLECT 42.57/42.76 c rational objective -17328 51.54/51.71 c #Conflicts: 30000 | #Constraints: 7359 51.54/51.71 c #Conflicts: 31000 | #Constraints: 8359 51.54/51.71 c #Conflicts: 32000 | #Constraints: 9359 51.54/51.71 c #Conflicts: 33000 | #Constraints: 10359 51.54/51.71 c INPROCESSING 51.54/51.71 c GARBAGE COLLECT 51.54/51.71 c rational objective -16714.7 56.53/56.75 c #Conflicts: 34000 | #Constraints: 7528 56.53/56.75 c #Conflicts: 35000 | #Constraints: 8528 56.53/56.75 c #Conflicts: 36000 | #Constraints: 9531 56.53/56.75 c #Conflicts: 37000 | #Constraints: 10533 56.53/56.75 c INPROCESSING 56.53/56.75 c GARBAGE COLLECT 56.53/56.75 c rational objective -16594.7 67.30/67.58 c #Conflicts: 38000 | #Constraints: 7578 67.30/67.58 c #Conflicts: 39000 | #Constraints: 8578 67.30/67.58 c #Conflicts: 40000 | #Constraints: 9578 67.30/67.58 c #Conflicts: 41000 | #Constraints: 10578 67.30/67.58 c INPROCESSING 67.30/67.58 c GARBAGE COLLECT 67.30/67.58 c rational objective -16346.7 73.18/73.40 c #Conflicts: 42000 | #Constraints: 7343 73.18/73.40 c #Conflicts: 43000 | #Constraints: 8343 73.18/73.40 c #Conflicts: 44000 | #Constraints: 9343 73.18/73.40 c #Conflicts: 45000 | #Constraints: 10345 73.18/73.40 c #Conflicts: 46000 | #Constraints: 11346 73.18/73.40 c INPROCESSING 73.18/73.40 c GARBAGE COLLECT 73.18/73.40 c rational objective -16271.3 79.27/79.50 c #Conflicts: 47000 | #Constraints: 8009 79.27/79.50 c #Conflicts: 48000 | #Constraints: 9009 79.27/79.50 c #Conflicts: 49000 | #Constraints: 10009 79.27/79.50 c #Conflicts: 50000 | #Constraints: 11011 79.27/79.50 c #Conflicts: 51000 | #Constraints: 12011 79.27/79.50 c INPROCESSING 79.27/79.50 c GARBAGE COLLECT 79.27/79.50 c rational objective -16063.3 91.14/91.48 c #Conflicts: 52000 | #Constraints: 8456 91.14/91.48 c #Conflicts: 53000 | #Constraints: 9456 91.14/91.48 c #Conflicts: 54000 | #Constraints: 10456 91.14/91.48 c #Conflicts: 55000 | #Constraints: 11456 91.14/91.48 c #Conflicts: 56000 | #Constraints: 12456 91.14/91.48 c INPROCESSING 91.14/91.48 c GARBAGE COLLECT 91.14/91.48 c rational objective -15898 97.93/98.29 c #Conflicts: 57000 | #Constraints: 8582 97.93/98.29 c #Conflicts: 58000 | #Constraints: 9582 97.93/98.29 c #Conflicts: 59000 | #Constraints: 10582 97.93/98.29 c #Conflicts: 60000 | #Constraints: 11582 97.93/98.29 c #Conflicts: 61000 | #Constraints: 12582 97.93/98.29 c INPROCESSING 97.93/98.29 c GARBAGE COLLECT 97.93/98.29 c rational objective -15852 107.90/108.28 c #Conflicts: 62000 | #Constraints: 8656 107.90/108.28 c #Conflicts: 63000 | #Constraints: 9656 107.90/108.28 c #Conflicts: 64000 | #Constraints: 10656 107.90/108.28 c #Conflicts: 65000 | #Constraints: 11656 107.90/108.28 c bounds -1273 >= -37125 @ 105.078 107.90/108.28 c #Conflicts: 66000 | #Constraints: 12658 107.90/108.28 c INPROCESSING 107.90/108.28 c GARBAGE COLLECT 107.90/108.28 c rational objective -15682 115.69/116.11 c #Conflicts: 67000 | #Constraints: 8500 115.69/116.11 c #Conflicts: 68000 | #Constraints: 9500 115.69/116.11 c #Conflicts: 69000 | #Constraints: 10500 115.69/116.11 c #Conflicts: 70000 | #Constraints: 11501 115.69/116.11 c #Conflicts: 71000 | #Constraints: 12502 115.69/116.11 c #Conflicts: 72000 | #Constraints: 13502 115.69/116.11 c INPROCESSING 115.69/116.11 c GARBAGE COLLECT 115.69/116.11 c rational objective -15571.9 129.84/130.28 c #Conflicts: 73000 | #Constraints: 9139 129.84/130.28 c #Conflicts: 74000 | #Constraints: 10139 129.84/130.28 c #Conflicts: 75000 | #Constraints: 11139 129.84/130.28 c #Conflicts: 76000 | #Constraints: 12139 129.84/130.28 c #Conflicts: 77000 | #Constraints: 13139 129.84/130.28 c #Conflicts: 78000 | #Constraints: 14139 129.84/130.28 c INPROCESSING 129.84/130.28 c GARBAGE COLLECT 129.84/130.28 c rational objective -15486.7 137.92/138.39 c #Conflicts: 79000 | #Constraints: 9423 137.92/138.39 c #Conflicts: 80000 | #Constraints: 10423 137.92/138.39 c #Conflicts: 81000 | #Constraints: 11424 137.92/138.39 c #Conflicts: 82000 | #Constraints: 12425 137.92/138.39 c #Conflicts: 83000 | #Constraints: 13426 137.92/138.39 c #Conflicts: 84000 | #Constraints: 14426 137.92/138.39 c INPROCESSING 137.92/138.39 c GARBAGE COLLECT 137.92/138.39 c rational objective -15430.3 149.19/149.63 c #Conflicts: 85000 | #Constraints: 9708 149.19/149.63 c #Conflicts: 86000 | #Constraints: 10709 149.19/149.63 c #Conflicts: 87000 | #Constraints: 11710 149.19/149.63 c #Conflicts: 88000 | #Constraints: 12711 149.19/149.63 c #Conflicts: 89000 | #Constraints: 13714 149.19/149.63 c #Conflicts: 90000 | #Constraints: 14715 149.19/149.63 c INPROCESSING 149.19/149.63 c GARBAGE COLLECT 149.19/149.63 c rational objective -15395.3 157.88/158.35 c #Conflicts: 91000 | #Constraints: 9617 157.88/158.35 c #Conflicts: 92000 | #Constraints: 10617 157.88/158.35 c #Conflicts: 93000 | #Constraints: 11619 157.88/158.35 c #Conflicts: 94000 | #Constraints: 12621 157.88/158.35 c #Conflicts: 95000 | #Constraints: 13622 157.88/158.35 c #Conflicts: 96000 | #Constraints: 14623 157.88/158.35 c INPROCESSING 157.88/158.35 c GARBAGE COLLECT 157.88/158.35 c rational objective -15395.3 175.42/175.94 c #Conflicts: 97000 | #Constraints: 9515 175.42/175.94 c #Conflicts: 98000 | #Constraints: 10515 175.42/175.94 c #Conflicts: 99000 | #Constraints: 11515 175.42/175.94 c #Conflicts: 100000 | #Constraints: 12515 175.42/175.94 c #Conflicts: 101000 | #Constraints: 13515 175.42/175.94 c #Conflicts: 102000 | #Constraints: 14515 175.42/175.94 c #Conflicts: 103000 | #Constraints: 15515 175.42/175.94 c INPROCESSING 175.42/175.94 c GARBAGE COLLECT 175.42/175.94 c rational objective -15341.7 185.00/185.54 c #Conflicts: 104000 | #Constraints: 10014 185.00/185.54 c #Conflicts: 105000 | #Constraints: 11014 185.00/185.54 c #Conflicts: 106000 | #Constraints: 12014 185.00/185.54 c #Conflicts: 107000 | #Constraints: 13014 185.00/185.54 c #Conflicts: 108000 | #Constraints: 14014 185.00/185.54 c #Conflicts: 109000 | #Constraints: 15014 185.00/185.54 c #Conflicts: 110000 | #Constraints: 16015 185.00/185.54 c INPROCESSING 185.00/185.54 c GARBAGE COLLECT 185.00/185.54 c rational objective -15341.7 205.35/205.99 c #Conflicts: 111000 | #Constraints: 10518 205.35/205.99 c #Conflicts: 112000 | #Constraints: 11518 205.35/205.99 c #Conflicts: 113000 | #Constraints: 12518 205.35/205.99 c #Conflicts: 114000 | #Constraints: 13518 205.35/205.99 c #Conflicts: 115000 | #Constraints: 14518 205.35/205.99 c #Conflicts: 116000 | #Constraints: 15518 205.35/205.99 c #Conflicts: 117000 | #Constraints: 16518 205.35/205.99 c INPROCESSING 205.35/205.99 c GARBAGE COLLECT 205.35/205.99 c rational objective -15287.3 216.32/216.93 c #Conflicts: 118000 | #Constraints: 10614 216.32/216.93 c #Conflicts: 119000 | #Constraints: 11614 216.32/216.93 c #Conflicts: 120000 | #Constraints: 12615 216.32/216.93 c #Conflicts: 121000 | #Constraints: 13615 216.32/216.93 c #Conflicts: 122000 | #Constraints: 14616 216.32/216.93 c #Conflicts: 123000 | #Constraints: 15622 216.32/216.93 c #Conflicts: 124000 | #Constraints: 16622 216.32/216.93 c INPROCESSING 216.32/216.93 c GARBAGE COLLECT 216.32/216.93 c rational objective -15287.3 227.69/228.39 c #Conflicts: 125000 | #Constraints: 10736 227.69/228.39 c #Conflicts: 126000 | #Constraints: 11737 227.69/228.39 c #Conflicts: 127000 | #Constraints: 12738 227.69/228.39 c #Conflicts: 128000 | #Constraints: 13738 227.69/228.39 c #Conflicts: 129000 | #Constraints: 14738 227.69/228.39 c #Conflicts: 130000 | #Constraints: 15739 227.69/228.39 c #Conflicts: 131000 | #Constraints: 16741 227.69/228.39 c INPROCESSING 227.69/228.39 c GARBAGE COLLECT 227.69/228.39 c rational objective -15261.3 250.03/250.70 c #Conflicts: 132000 | #Constraints: 10605 250.03/250.70 c #Conflicts: 133000 | #Constraints: 11605 250.03/250.70 c #Conflicts: 134000 | #Constraints: 12605 250.03/250.70 c #Conflicts: 135000 | #Constraints: 13605 250.03/250.70 c #Conflicts: 136000 | #Constraints: 14605 250.03/250.70 c #Conflicts: 137000 | #Constraints: 15605 250.03/250.70 c #Conflicts: 138000 | #Constraints: 16605 250.03/250.70 c #Conflicts: 139000 | #Constraints: 17605 250.03/250.70 c INPROCESSING 250.03/250.70 c GARBAGE COLLECT 250.03/250.70 c rational objective -15223.8 262.00/262.72 c #Conflicts: 140000 | #Constraints: 11057 262.00/262.72 c #Conflicts: 141000 | #Constraints: 12059 262.00/262.72 c #Conflicts: 142000 | #Constraints: 13059 262.00/262.72 c #Conflicts: 143000 | #Constraints: 14059 262.00/262.72 c #Conflicts: 144000 | #Constraints: 15059 262.00/262.72 c #Conflicts: 145000 | #Constraints: 16060 262.00/262.72 c #Conflicts: 146000 | #Constraints: 17061 262.00/262.72 c #Conflicts: 147000 | #Constraints: 18063 262.00/262.72 c INPROCESSING 262.00/262.72 c GARBAGE COLLECT 262.00/262.72 c rational objective -15203.7 289.93/290.72 c #Conflicts: 148000 | #Constraints: 11570 289.93/290.72 c #Conflicts: 149000 | #Constraints: 12570 289.93/290.72 c #Conflicts: 150000 | #Constraints: 13570 289.93/290.72 c #Conflicts: 151000 | #Constraints: 14570 289.93/290.72 c #Conflicts: 152000 | #Constraints: 15570 289.93/290.72 c #Conflicts: 153000 | #Constraints: 16570 289.93/290.72 c #Conflicts: 154000 | #Constraints: 17570 289.93/290.72 c #Conflicts: 155000 | #Constraints: 18570 289.93/290.72 c INPROCESSING 289.93/290.72 c GARBAGE COLLECT 289.93/290.72 c rational objective -15192.3 303.31/304.16 c #Conflicts: 156000 | #Constraints: 11637 303.31/304.16 c #Conflicts: 157000 | #Constraints: 12639 303.31/304.16 c #Conflicts: 158000 | #Constraints: 13642 303.31/304.16 c #Conflicts: 159000 | #Constraints: 14642 303.31/304.16 c #Conflicts: 160000 | #Constraints: 15642 303.31/304.16 c #Conflicts: 161000 | #Constraints: 16643 303.31/304.16 c #Conflicts: 162000 | #Constraints: 17643 303.31/304.16 c #Conflicts: 163000 | #Constraints: 18643 303.31/304.16 c INPROCESSING 303.31/304.16 c GARBAGE COLLECT 303.31/304.16 c rational objective -15191.8 331.72/332.60 c #Conflicts: 164000 | #Constraints: 11766 331.72/332.60 c #Conflicts: 165000 | #Constraints: 12766 331.72/332.60 c #Conflicts: 166000 | #Constraints: 13766 331.72/332.60 c #Conflicts: 167000 | #Constraints: 14766 331.72/332.60 c #Conflicts: 168000 | #Constraints: 15766 331.72/332.60 c #Conflicts: 169000 | #Constraints: 16766 331.72/332.60 c #Conflicts: 170000 | #Constraints: 17766 331.72/332.60 c #Conflicts: 171000 | #Constraints: 18766 331.72/332.60 c INPROCESSING 331.72/332.60 c GARBAGE COLLECT 331.72/332.60 c rational objective -15187.8 347.09/348.03 c #Conflicts: 172000 | #Constraints: 11435 347.09/348.03 c #Conflicts: 173000 | #Constraints: 12438 347.09/348.03 c #Conflicts: 174000 | #Constraints: 13446 347.09/348.03 c #Conflicts: 175000 | #Constraints: 14448 347.09/348.03 c #Conflicts: 176000 | #Constraints: 15449 347.09/348.03 c #Conflicts: 177000 | #Constraints: 16449 347.09/348.03 c #Conflicts: 178000 | #Constraints: 17450 347.09/348.03 c #Conflicts: 179000 | #Constraints: 18451 347.09/348.03 c #Conflicts: 180000 | #Constraints: 19454 347.09/348.03 c INPROCESSING 347.09/348.03 c GARBAGE COLLECT 347.09/348.03 c rational objective -15185.8 382.49/383.57 c #Conflicts: 181000 | #Constraints: 12177 382.49/383.57 c #Conflicts: 182000 | #Constraints: 13177 382.49/383.57 c #Conflicts: 183000 | #Constraints: 14177 382.49/383.57 c #Conflicts: 184000 | #Constraints: 15177 382.49/383.57 c #Conflicts: 185000 | #Constraints: 16177 382.49/383.57 c #Conflicts: 186000 | #Constraints: 17177 382.49/383.57 c #Conflicts: 187000 | #Constraints: 18177 382.49/383.57 c #Conflicts: 188000 | #Constraints: 19177 382.49/383.57 c #Conflicts: 189000 | #Constraints: 20177 382.49/383.57 c INPROCESSING 382.49/383.57 c GARBAGE COLLECT 382.49/383.57 c rational objective -15177.8 399.44/400.53 c #Conflicts: 190000 | #Constraints: 12446 399.44/400.53 c #Conflicts: 191000 | #Constraints: 13449 399.44/400.53 c #Conflicts: 192000 | #Constraints: 14450 399.44/400.53 c #Conflicts: 193000 | #Constraints: 15451 399.44/400.53 c #Conflicts: 194000 | #Constraints: 16452 399.44/400.53 c #Conflicts: 195000 | #Constraints: 17455 399.44/400.53 c #Conflicts: 196000 | #Constraints: 18460 399.44/400.53 c #Conflicts: 197000 | #Constraints: 19461 399.44/400.53 c #Conflicts: 198000 | #Constraints: 20461 399.44/400.53 c INPROCESSING 399.44/400.53 c GARBAGE COLLECT 399.44/400.53 c rational objective -15169.8 418.69/419.81 c #Conflicts: 199000 | #Constraints: 12786 418.69/419.81 c #Conflicts: 200000 | #Constraints: 13790 418.69/419.81 c #Conflicts: 201000 | #Constraints: 14794 418.69/419.81 c #Conflicts: 202000 | #Constraints: 15794 418.69/419.81 c #Conflicts: 203000 | #Constraints: 16797 418.69/419.81 c #Conflicts: 204000 | #Constraints: 17797 418.69/419.81 c #Conflicts: 205000 | #Constraints: 18802 418.69/419.81 c #Conflicts: 206000 | #Constraints: 19804 418.69/419.81 c #Conflicts: 207000 | #Constraints: 20804 418.69/419.81 c INPROCESSING 418.69/419.81 c GARBAGE COLLECT 418.69/419.81 c rational objective -15169.8 466.95/468.21 c #Conflicts: 208000 | #Constraints: 12857 466.95/468.21 c #Conflicts: 209000 | #Constraints: 13858 466.95/468.21 c #Conflicts: 210000 | #Constraints: 14859 466.95/468.21 c #Conflicts: 211000 | #Constraints: 15859 466.95/468.21 c #Conflicts: 212000 | #Constraints: 16860 466.95/468.21 c #Conflicts: 213000 | #Constraints: 17860 466.95/468.21 c #Conflicts: 214000 | #Constraints: 18860 466.95/468.21 c #Conflicts: 215000 | #Constraints: 19860 466.95/468.21 c #Conflicts: 216000 | #Constraints: 20860 466.95/468.21 c INPROCESSING 466.95/468.21 c GARBAGE COLLECT 466.95/468.21 c rational objective -15147.2 487.40/488.70 c #Conflicts: 217000 | #Constraints: 12485 487.40/488.70 c #Conflicts: 218000 | #Constraints: 13485 487.40/488.70 c #Conflicts: 219000 | #Constraints: 14485 487.40/488.70 c #Conflicts: 220000 | #Constraints: 15487 487.40/488.70 c #Conflicts: 221000 | #Constraints: 16487 487.40/488.70 c #Conflicts: 222000 | #Constraints: 17490 487.40/488.70 c #Conflicts: 223000 | #Constraints: 18490 487.40/488.70 c #Conflicts: 224000 | #Constraints: 19495 487.40/488.70 c #Conflicts: 225000 | #Constraints: 20498 487.40/488.70 c #Conflicts: 226000 | #Constraints: 21499 487.40/488.70 c INPROCESSING 487.40/488.70 c GARBAGE COLLECT 487.40/488.70 c rational objective -15147.2 564.79/566.37 c #Conflicts: 227000 | #Constraints: 13216 564.79/566.37 c #Conflicts: 228000 | #Constraints: 14216 564.79/566.37 c #Conflicts: 229000 | #Constraints: 15216 564.79/566.37 c #Conflicts: 230000 | #Constraints: 16216 564.79/566.37 c #Conflicts: 231000 | #Constraints: 17216 564.79/566.37 c #Conflicts: 232000 | #Constraints: 18216 564.79/566.37 c #Conflicts: 233000 | #Constraints: 19216 564.79/566.37 c #Conflicts: 234000 | #Constraints: 20216 564.79/566.37 c #Conflicts: 235000 | #Constraints: 21216 564.79/566.37 c #Conflicts: 236000 | #Constraints: 22216 564.79/566.37 c INPROCESSING 564.79/566.37 c GARBAGE COLLECT 564.79/566.37 c rational objective -15147.2 585.64/587.29 c #Conflicts: 237000 | #Constraints: 13478 585.64/587.29 c #Conflicts: 238000 | #Constraints: 14478 585.64/587.29 c #Conflicts: 239000 | #Constraints: 15479 585.64/587.29 c #Conflicts: 240000 | #Constraints: 16481 585.64/587.29 c #Conflicts: 241000 | #Constraints: 17484 585.64/587.29 c #Conflicts: 242000 | #Constraints: 18487 585.64/587.29 c #Conflicts: 243000 | #Constraints: 19489 585.64/587.29 c #Conflicts: 244000 | #Constraints: 20491 585.64/587.29 c #Conflicts: 245000 | #Constraints: 21491 585.64/587.29 c #Conflicts: 246000 | #Constraints: 22494 585.64/587.29 c INPROCESSING 585.64/587.29 c GARBAGE COLLECT 585.64/587.29 c rational objective -15147.2 606.89/608.58 c #Conflicts: 247000 | #Constraints: 13808 606.89/608.58 c #Conflicts: 248000 | #Constraints: 14808 606.89/608.58 c #Conflicts: 249000 | #Constraints: 15808 606.89/608.58 c #Conflicts: 250000 | #Constraints: 16811 606.89/608.58 c #Conflicts: 251000 | #Constraints: 17814 606.89/608.58 c #Conflicts: 252000 | #Constraints: 18817 606.89/608.58 c #Conflicts: 253000 | #Constraints: 19819 606.89/608.58 c #Conflicts: 254000 | #Constraints: 20822 606.89/608.58 c #Conflicts: 255000 | #Constraints: 21824 606.89/608.58 c #Conflicts: 256000 | #Constraints: 22824 606.89/608.58 c INPROCESSING 606.89/608.58 c GARBAGE COLLECT 606.89/608.58 c rational objective -15133.2 629.03/630.71 c #Conflicts: 257000 | #Constraints: 13879 629.03/630.71 c #Conflicts: 258000 | #Constraints: 14881 629.03/630.71 c #Conflicts: 259000 | #Constraints: 15884 629.03/630.71 c #Conflicts: 260000 | #Constraints: 16884 629.03/630.71 c #Conflicts: 261000 | #Constraints: 17887 629.03/630.71 c #Conflicts: 262000 | #Constraints: 18887 629.03/630.71 c #Conflicts: 263000 | #Constraints: 19889 629.03/630.71 c #Conflicts: 264000 | #Constraints: 20890 629.03/630.71 c #Conflicts: 265000 | #Constraints: 21892 629.03/630.71 c #Conflicts: 266000 | #Constraints: 22896 629.03/630.71 c INPROCESSING 629.03/630.71 c GARBAGE COLLECT 629.03/630.71 c rational objective -15126.7 717.10/719.08 c #Conflicts: 267000 | #Constraints: 13722 717.10/719.08 c #Conflicts: 268000 | #Constraints: 14722 717.10/719.08 c #Conflicts: 269000 | #Constraints: 15722 717.10/719.08 c #Conflicts: 270000 | #Constraints: 16722 717.10/719.08 c #Conflicts: 271000 | #Constraints: 17722 717.10/719.08 c #Conflicts: 272000 | #Constraints: 18722 717.10/719.08 c #Conflicts: 273000 | #Constraints: 19722 717.10/719.08 c #Conflicts: 274000 | #Constraints: 20722 717.10/719.08 c #Conflicts: 275000 | #Constraints: 21722 717.10/719.08 c #Conflicts: 276000 | #Constraints: 22722 717.10/719.08 c #Conflicts: 277000 | #Constraints: 23722 717.10/719.08 c INPROCESSING 717.10/719.08 c GARBAGE COLLECT 717.10/719.08 c rational objective -15124.8 742.22/744.28 c #Conflicts: 278000 | #Constraints: 14126 742.22/744.28 c #Conflicts: 279000 | #Constraints: 15127 742.22/744.28 c #Conflicts: 280000 | #Constraints: 16133 742.22/744.28 c #Conflicts: 281000 | #Constraints: 17133 742.22/744.28 c #Conflicts: 282000 | #Constraints: 18138 742.22/744.28 c #Conflicts: 283000 | #Constraints: 19138 742.22/744.28 c #Conflicts: 284000 | #Constraints: 20140 742.22/744.28 c #Conflicts: 285000 | #Constraints: 21141 742.22/744.28 c #Conflicts: 286000 | #Constraints: 22143 742.22/744.28 c #Conflicts: 287000 | #Constraints: 23144 742.22/744.28 c #Conflicts: 288000 | #Constraints: 24144 742.22/744.28 c INPROCESSING 742.22/744.28 c GARBAGE COLLECT 742.22/744.28 c rational objective -15124.8 769.55/771.64 c #Conflicts: 289000 | #Constraints: 14643 769.55/771.64 c #Conflicts: 290000 | #Constraints: 15644 769.55/771.64 c #Conflicts: 291000 | #Constraints: 16644 769.55/771.64 c #Conflicts: 292000 | #Constraints: 17644 769.55/771.64 c #Conflicts: 293000 | #Constraints: 18647 769.55/771.64 c #Conflicts: 294000 | #Constraints: 19647 769.55/771.64 c #Conflicts: 295000 | #Constraints: 20649 769.55/771.64 c #Conflicts: 296000 | #Constraints: 21650 769.55/771.64 c #Conflicts: 297000 | #Constraints: 22653 769.55/771.64 c #Conflicts: 298000 | #Constraints: 23655 769.55/771.64 c #Conflicts: 299000 | #Constraints: 24657 769.55/771.64 c INPROCESSING 769.55/771.64 c GARBAGE COLLECT 769.55/771.64 c rational objective -15124.8 860.40/862.76 c #Conflicts: 300000 | #Constraints: 14909 860.40/862.76 c #Conflicts: 301000 | #Constraints: 15909 860.40/862.76 c #Conflicts: 302000 | #Constraints: 16909 860.40/862.76 c #Conflicts: 303000 | #Constraints: 17909 860.40/862.76 c #Conflicts: 304000 | #Constraints: 18909 860.40/862.76 c #Conflicts: 305000 | #Constraints: 19909 860.40/862.76 c #Conflicts: 306000 | #Constraints: 20909 860.40/862.76 c #Conflicts: 307000 | #Constraints: 21909 860.40/862.76 c #Conflicts: 308000 | #Constraints: 22909 860.40/862.76 c #Conflicts: 309000 | #Constraints: 23909 860.40/862.76 c #Conflicts: 310000 | #Constraints: 24909 860.40/862.76 c INPROCESSING 860.40/862.76 c GARBAGE COLLECT 860.40/862.76 c rational objective -15122.8 887.13/889.50 c #Conflicts: 311000 | #Constraints: 14713 887.13/889.50 c #Conflicts: 312000 | #Constraints: 15714 887.13/889.50 c #Conflicts: 313000 | #Constraints: 16715 887.13/889.50 c #Conflicts: 314000 | #Constraints: 17716 887.13/889.50 c #Conflicts: 315000 | #Constraints: 18718 887.13/889.50 c #Conflicts: 316000 | #Constraints: 19719 887.13/889.50 c #Conflicts: 317000 | #Constraints: 20720 887.13/889.50 c #Conflicts: 318000 | #Constraints: 21722 887.13/889.50 c #Conflicts: 319000 | #Constraints: 22723 887.13/889.50 c #Conflicts: 320000 | #Constraints: 23723 887.13/889.50 c #Conflicts: 321000 | #Constraints: 24724 887.13/889.50 c INPROCESSING 887.13/889.50 c GARBAGE COLLECT 887.13/889.50 c rational objective -15100.3 913.68/916.11 c #Conflicts: 322000 | #Constraints: 14642 913.68/916.11 c #Conflicts: 323000 | #Constraints: 15646 913.68/916.11 c #Conflicts: 324000 | #Constraints: 16650 913.68/916.11 c #Conflicts: 325000 | #Constraints: 17654 913.68/916.11 c #Conflicts: 326000 | #Constraints: 18654 913.68/916.11 c #Conflicts: 327000 | #Constraints: 19656 913.68/916.11 c #Conflicts: 328000 | #Constraints: 20657 913.68/916.11 c #Conflicts: 329000 | #Constraints: 21658 913.68/916.11 c #Conflicts: 330000 | #Constraints: 22658 913.68/916.11 c #Conflicts: 331000 | #Constraints: 23658 913.68/916.11 c #Conflicts: 332000 | #Constraints: 24658 913.68/916.11 c #Conflicts: 333000 | #Constraints: 25663 913.68/916.11 c INPROCESSING 913.68/916.11 c GARBAGE COLLECT 913.68/916.11 c rational objective -15092.3 1016.31/1019.03 c #Conflicts: 334000 | #Constraints: 15314 1016.31/1019.03 c #Conflicts: 335000 | #Constraints: 16314 1016.31/1019.03 c #Conflicts: 336000 | #Constraints: 17314 1016.31/1019.03 c #Conflicts: 337000 | #Constraints: 18314 1016.31/1019.03 c #Conflicts: 338000 | #Constraints: 19314 1016.31/1019.03 c #Conflicts: 339000 | #Constraints: 20314 1016.31/1019.03 c #Conflicts: 340000 | #Constraints: 21314 1016.31/1019.03 c #Conflicts: 341000 | #Constraints: 22314 1016.31/1019.03 c #Conflicts: 342000 | #Constraints: 23314 1016.31/1019.03 c #Conflicts: 343000 | #Constraints: 24314 1016.31/1019.03 c #Conflicts: 344000 | #Constraints: 25314 1016.31/1019.03 c #Conflicts: 345000 | #Constraints: 26314 1016.31/1019.03 c INPROCESSING 1016.31/1019.03 c GARBAGE COLLECT 1016.31/1019.03 c rational objective -15092.3 1043.34/1046.15 c #Conflicts: 346000 | #Constraints: 15522 1043.34/1046.15 c #Conflicts: 347000 | #Constraints: 16522 1043.34/1046.15 c #Conflicts: 348000 | #Constraints: 17526 1043.34/1046.15 c #Conflicts: 349000 | #Constraints: 18533 1043.34/1046.15 c #Conflicts: 350000 | #Constraints: 19534 1043.34/1046.15 c #Conflicts: 351000 | #Constraints: 20535 1043.34/1046.15 c #Conflicts: 352000 | #Constraints: 21536 1043.34/1046.15 c #Conflicts: 353000 | #Constraints: 22537 1043.34/1046.15 c #Conflicts: 354000 | #Constraints: 23540 1043.34/1046.15 c #Conflicts: 355000 | #Constraints: 24542 1043.34/1046.15 c #Conflicts: 356000 | #Constraints: 25544 1043.34/1046.15 c #Conflicts: 357000 | #Constraints: 26547 1043.34/1046.15 c INPROCESSING 1043.34/1046.15 c GARBAGE COLLECT 1043.34/1046.15 c rational objective -15056.3 1073.75/1076.61 c #Conflicts: 358000 | #Constraints: 15859 1073.75/1076.61 c #Conflicts: 359000 | #Constraints: 16861 1073.75/1076.61 c #Conflicts: 360000 | #Constraints: 17862 1073.75/1076.61 c #Conflicts: 361000 | #Constraints: 18862 1073.75/1076.61 c #Conflicts: 362000 | #Constraints: 19862 1073.75/1076.61 c #Conflicts: 363000 | #Constraints: 20864 1073.75/1076.61 c #Conflicts: 364000 | #Constraints: 21866 1073.75/1076.61 c #Conflicts: 365000 | #Constraints: 22868 1073.75/1076.61 c #Conflicts: 366000 | #Constraints: 23869 1073.75/1076.61 c #Conflicts: 367000 | #Constraints: 24869 1073.75/1076.61 c #Conflicts: 368000 | #Constraints: 25873 1073.75/1076.61 c #Conflicts: 369000 | #Constraints: 26875 1073.75/1076.61 c INPROCESSING 1073.75/1076.61 c GARBAGE COLLECT 1073.75/1076.61 c rational objective -15039 1176.07/1179.28 c #Conflicts: 370000 | #Constraints: 15924 1176.07/1179.28 c #Conflicts: 371000 | #Constraints: 16924 1176.07/1179.28 c #Conflicts: 372000 | #Constraints: 17924 1176.07/1179.28 c #Conflicts: 373000 | #Constraints: 18924 1176.07/1179.28 c #Conflicts: 374000 | #Constraints: 19924 1176.07/1179.28 c #Conflicts: 375000 | #Constraints: 20924 1176.07/1179.28 c #Conflicts: 376000 | #Constraints: 21924 1176.07/1179.28 c #Conflicts: 377000 | #Constraints: 22924 1176.07/1179.28 c #Conflicts: 378000 | #Constraints: 23924 1176.07/1179.28 c #Conflicts: 379000 | #Constraints: 24924 1176.07/1179.28 c #Conflicts: 380000 | #Constraints: 25924 1176.07/1179.28 c #Conflicts: 381000 | #Constraints: 26924 1176.07/1179.28 c INPROCESSING 1176.07/1179.28 c GARBAGE COLLECT 1176.07/1179.28 c rational objective -15016 1207.29/1210.50 c #Conflicts: 382000 | #Constraints: 15520 1207.29/1210.50 c #Conflicts: 383000 | #Constraints: 16521 1207.29/1210.50 c #Conflicts: 384000 | #Constraints: 17521 1207.29/1210.50 c #Conflicts: 385000 | #Constraints: 18525 1207.29/1210.50 c #Conflicts: 386000 | #Constraints: 19526 1207.29/1210.50 c #Conflicts: 387000 | #Constraints: 20527 1207.29/1210.50 c #Conflicts: 388000 | #Constraints: 21530 1207.29/1210.50 c #Conflicts: 389000 | #Constraints: 22530 1207.29/1210.50 c #Conflicts: 390000 | #Constraints: 23530 1207.29/1210.50 c #Conflicts: 391000 | #Constraints: 24530 1207.29/1210.50 c #Conflicts: 392000 | #Constraints: 25535 1207.29/1210.50 c #Conflicts: 393000 | #Constraints: 26540 1207.29/1210.50 c #Conflicts: 394000 | #Constraints: 27542 1207.29/1210.50 c INPROCESSING 1207.29/1210.50 c GARBAGE COLLECT 1207.29/1210.50 c rational objective -15009.3 1238.72/1242.05 c #Conflicts: 395000 | #Constraints: 16258 1238.72/1242.05 c #Conflicts: 396000 | #Constraints: 17261 1238.72/1242.05 c #Conflicts: 397000 | #Constraints: 18261 1238.72/1242.05 c #Conflicts: 398000 | #Constraints: 19262 1238.72/1242.05 c #Conflicts: 399000 | #Constraints: 20263 1238.72/1242.05 c #Conflicts: 400000 | #Constraints: 21272 1238.72/1242.05 c #Conflicts: 401000 | #Constraints: 22281 1238.72/1242.05 c #Conflicts: 402000 | #Constraints: 23282 1238.72/1242.05 c #Conflicts: 403000 | #Constraints: 24283 1238.72/1242.05 c #Conflicts: 404000 | #Constraints: 25285 1238.72/1242.05 c #Conflicts: 405000 | #Constraints: 26288 1238.72/1242.05 c #Conflicts: 406000 | #Constraints: 27289 1238.72/1242.05 c #Conflicts: 407000 | #Constraints: 28294 1238.72/1242.05 c INPROCESSING 1238.72/1242.05 c GARBAGE COLLECT 1238.72/1242.05 c rational objective -14983 1371.74/1375.41 c #Conflicts: 408000 | #Constraints: 16731 1371.74/1375.41 c #Conflicts: 409000 | #Constraints: 17731 1371.74/1375.41 c #Conflicts: 410000 | #Constraints: 18731 1371.74/1375.41 c #Conflicts: 411000 | #Constraints: 19731 1371.74/1375.41 c #Conflicts: 412000 | #Constraints: 20731 1371.74/1375.41 c #Conflicts: 413000 | #Constraints: 21731 1371.74/1375.41 c #Conflicts: 414000 | #Constraints: 22731 1371.74/1375.41 c #Conflicts: 415000 | #Constraints: 23731 1371.74/1375.41 c #Conflicts: 416000 | #Constraints: 24731 1371.74/1375.41 c #Conflicts: 417000 | #Constraints: 25731 1371.74/1375.41 c #Conflicts: 418000 | #Constraints: 26731 1371.74/1375.41 c #Conflicts: 419000 | #Constraints: 27731 1371.74/1375.41 c #Conflicts: 420000 | #Constraints: 28731 1371.74/1375.41 c INPROCESSING 1371.74/1375.41 c GARBAGE COLLECT 1371.74/1375.41 c rational objective -14982.3 1402.37/1406.13 c #Conflicts: 421000 | #Constraints: 16734 1402.37/1406.13 c #Conflicts: 422000 | #Constraints: 17734 1402.37/1406.13 c #Conflicts: 423000 | #Constraints: 18736 1402.37/1406.13 c #Conflicts: 424000 | #Constraints: 19739 1402.37/1406.13 c #Conflicts: 425000 | #Constraints: 20742 1402.37/1406.13 c #Conflicts: 426000 | #Constraints: 21742 1402.37/1406.13 c #Conflicts: 427000 | #Constraints: 22747 1402.37/1406.13 c #Conflicts: 428000 | #Constraints: 23748 1402.37/1406.13 c #Conflicts: 429000 | #Constraints: 24748 1402.37/1406.13 c #Conflicts: 430000 | #Constraints: 25750 1402.37/1406.13 c #Conflicts: 431000 | #Constraints: 26751 1402.37/1406.13 c #Conflicts: 432000 | #Constraints: 27753 1402.37/1406.13 c #Conflicts: 433000 | #Constraints: 28753 1402.37/1406.13 c INPROCESSING 1402.37/1406.13 c GARBAGE COLLECT 1402.37/1406.13 c rational objective -14982.3 1436.96/1440.88 c #Conflicts: 434000 | #Constraints: 16870 1436.96/1440.88 c #Conflicts: 435000 | #Constraints: 17873 1436.96/1440.88 c #Conflicts: 436000 | #Constraints: 18877 1436.96/1440.88 c #Conflicts: 437000 | #Constraints: 19881 1436.96/1440.88 c #Conflicts: 438000 | #Constraints: 20881 1436.96/1440.88 c #Conflicts: 439000 | #Constraints: 21883 1436.96/1440.88 c #Conflicts: 440000 | #Constraints: 22883 1436.96/1440.88 c #Conflicts: 441000 | #Constraints: 23883 1436.96/1440.88 c #Conflicts: 442000 | #Constraints: 24884 1436.96/1440.88 c #Conflicts: 443000 | #Constraints: 25886 1436.96/1440.88 c #Conflicts: 444000 | #Constraints: 26888 1436.96/1440.88 c #Conflicts: 445000 | #Constraints: 27889 1436.96/1440.88 c #Conflicts: 446000 | #Constraints: 28889 1436.96/1440.88 c INPROCESSING 1436.96/1440.88 c GARBAGE COLLECT 1436.96/1440.88 c rational objective -14982.3 1529.01/1533.14 c #Conflicts: 447000 | #Constraints: 16732 1529.01/1533.14 c #Conflicts: 448000 | #Constraints: 17732 1529.01/1533.14 c #Conflicts: 449000 | #Constraints: 18732 1529.01/1533.14 c #Conflicts: 450000 | #Constraints: 19733 1529.01/1533.14 c #Conflicts: 451000 | #Constraints: 20733 1529.01/1533.14 c #Conflicts: 452000 | #Constraints: 21733 1529.01/1533.14 c #Conflicts: 453000 | #Constraints: 22733 1529.01/1533.14 c #Conflicts: 454000 | #Constraints: 23733 1529.01/1533.14 c #Conflicts: 455000 | #Constraints: 24733 1529.01/1533.14 c #Conflicts: 456000 | #Constraints: 25734 1529.01/1533.14 c #Conflicts: 457000 | #Constraints: 26734 1529.01/1533.14 c #Conflicts: 458000 | #Constraints: 27734 1529.01/1533.14 c #Conflicts: 459000 | #Constraints: 28735 1529.01/1533.14 c #Conflicts: 460000 | #Constraints: 29735 1529.01/1533.14 c INPROCESSING 1529.01/1533.14 c GARBAGE COLLECT 1529.01/1533.14 c rational objective -14970.3 1560.82/1565.02 c #Conflicts: 461000 | #Constraints: 17123 1560.82/1565.02 c #Conflicts: 462000 | #Constraints: 18130 1560.82/1565.02 c #Conflicts: 463000 | #Constraints: 19136 1560.82/1565.02 c #Conflicts: 464000 | #Constraints: 20144 1560.82/1565.02 c #Conflicts: 465000 | #Constraints: 21148 1560.82/1565.02 c #Conflicts: 466000 | #Constraints: 22156 1560.82/1565.02 c #Conflicts: 467000 | #Constraints: 23157 1560.82/1565.02 c #Conflicts: 468000 | #Constraints: 24158 1560.82/1565.02 c #Conflicts: 469000 | #Constraints: 25159 1560.82/1565.02 c #Conflicts: 470000 | #Constraints: 26161 1560.82/1565.02 c #Conflicts: 471000 | #Constraints: 27161 1560.82/1565.02 c #Conflicts: 472000 | #Constraints: 28161 1560.82/1565.02 c #Conflicts: 473000 | #Constraints: 29163 1560.82/1565.02 c #Conflicts: 474000 | #Constraints: 30165 1560.82/1565.02 c INPROCESSING 1560.82/1565.02 c GARBAGE COLLECT 1560.82/1565.02 c rational objective -14970.3 1593.21/1597.57 c #Conflicts: 475000 | #Constraints: 17670 1593.21/1597.57 c #Conflicts: 476000 | #Constraints: 18671 1593.21/1597.57 c #Conflicts: 477000 | #Constraints: 19672 1593.21/1597.57 c #Conflicts: 478000 | #Constraints: 20679 1593.21/1597.57 c #Conflicts: 479000 | #Constraints: 21684 1593.21/1597.57 c #Conflicts: 480000 | #Constraints: 22691 1593.21/1597.57 c #Conflicts: 481000 | #Constraints: 23694 1593.21/1597.57 c #Conflicts: 482000 | #Constraints: 24699 1593.21/1597.57 c #Conflicts: 483000 | #Constraints: 25700 1593.21/1597.57 c #Conflicts: 484000 | #Constraints: 26701 1593.21/1597.57 c #Conflicts: 485000 | #Constraints: 27704 1593.21/1597.57 c #Conflicts: 486000 | #Constraints: 28707 1593.21/1597.57 c #Conflicts: 487000 | #Constraints: 29715 1593.21/1597.57 c #Conflicts: 488000 | #Constraints: 30716 1593.21/1597.57 c INPROCESSING 1593.21/1597.57 c GARBAGE COLLECT 1593.21/1597.57 c rational objective -14970.3 1670.89/1675.46 c #Conflicts: 489000 | #Constraints: 17951 1670.89/1675.46 c #Conflicts: 490000 | #Constraints: 18951 1670.89/1675.46 c #Conflicts: 491000 | #Constraints: 19951 1670.89/1675.46 c #Conflicts: 492000 | #Constraints: 20951 1670.89/1675.46 c #Conflicts: 493000 | #Constraints: 21951 1670.89/1675.46 c #Conflicts: 494000 | #Constraints: 22952 1670.89/1675.46 c #Conflicts: 495000 | #Constraints: 23952 1670.89/1675.46 c #Conflicts: 496000 | #Constraints: 24953 1670.89/1675.46 c #Conflicts: 497000 | #Constraints: 25953 1670.89/1675.46 c #Conflicts: 498000 | #Constraints: 26953 1670.89/1675.46 c #Conflicts: 499000 | #Constraints: 27954 1670.89/1675.46 c #Conflicts: 500000 | #Constraints: 28955 1670.89/1675.46 c #Conflicts: 501000 | #Constraints: 29956 1670.89/1675.46 c #Conflicts: 502000 | #Constraints: 30956 1670.89/1675.46 c INPROCESSING 1670.89/1675.46 c GARBAGE COLLECT 1670.89/1675.46 c rational objective -14970.3 1710.09/1714.72 c #Conflicts: 503000 | #Constraints: 17779 1710.09/1714.72 c #Conflicts: 504000 | #Constraints: 18780 1710.09/1714.72 c #Conflicts: 505000 | #Constraints: 19780 1710.09/1714.72 c #Conflicts: 506000 | #Constraints: 20781 1710.09/1714.72 c #Conflicts: 507000 | #Constraints: 21783 1710.09/1714.72 c #Conflicts: 508000 | #Constraints: 22789 1710.09/1714.72 c #Conflicts: 509000 | #Constraints: 23791 1710.09/1714.72 c #Conflicts: 510000 | #Constraints: 24793 1710.09/1714.72 c #Conflicts: 511000 | #Constraints: 25793 1710.09/1714.72 c #Conflicts: 512000 | #Constraints: 26793 1710.09/1714.72 c #Conflicts: 513000 | #Constraints: 27794 1710.09/1714.72 c #Conflicts: 514000 | #Constraints: 28798 1710.09/1714.72 c #Conflicts: 515000 | #Constraints: 29800 1710.09/1714.72 c #Conflicts: 516000 | #Constraints: 30804 1710.09/1714.72 c INPROCESSING 1710.09/1714.72 c GARBAGE COLLECT 1710.09/1714.72 c rational objective -14969 1751.16/1755.99 c #Conflicts: 517000 | #Constraints: 17695 1751.16/1755.99 c #Conflicts: 518000 | #Constraints: 18695 1751.16/1755.99 c #Conflicts: 519000 | #Constraints: 19701 1751.16/1755.99 c #Conflicts: 520000 | #Constraints: 20702 1751.16/1755.99 c #Conflicts: 521000 | #Constraints: 21704 1751.16/1755.99 c #Conflicts: 522000 | #Constraints: 22707 1751.16/1755.99 c #Conflicts: 523000 | #Constraints: 23707 1751.16/1755.99 c #Conflicts: 524000 | #Constraints: 24713 1751.16/1755.99 c #Conflicts: 525000 | #Constraints: 25718 1751.16/1755.99 c #Conflicts: 526000 | #Constraints: 26726 1751.16/1755.99 c #Conflicts: 527000 | #Constraints: 27728 1751.16/1755.99 c #Conflicts: 528000 | #Constraints: 28729 1751.16/1755.99 c #Conflicts: 529000 | #Constraints: 29731 1751.16/1755.99 c #Conflicts: 530000 | #Constraints: 30732 1751.16/1755.99 c #Conflicts: 531000 | #Constraints: 31733 1751.16/1755.99 c INPROCESSING 1751.16/1755.99 c GARBAGE COLLECT 1751.16/1755.99 c rational objective -14969 1898.37/1903.56 c #Conflicts: 532000 | #Constraints: 18359 1898.37/1903.56 c #Conflicts: 533000 | #Constraints: 19359 1898.37/1903.56 c #Conflicts: 534000 | #Constraints: 20359 1898.37/1903.56 c #Conflicts: 535000 | #Constraints: 21359 1898.37/1903.56 c #Conflicts: 536000 | #Constraints: 22359 1898.37/1903.56 c #Conflicts: 537000 | #Constraints: 23359 1898.37/1903.56 c #Conflicts: 538000 | #Constraints: 24359 1898.37/1903.56 c #Conflicts: 539000 | #Constraints: 25359 1898.37/1903.56 c #Conflicts: 540000 | #Constraints: 26359 1898.37/1903.56 c #Conflicts: 541000 | #Constraints: 27359 1898.37/1903.56 c #Conflicts: 542000 | #Constraints: 28359 1898.37/1903.56 c #Conflicts: 543000 | #Constraints: 29359 1898.37/1903.56 c #Conflicts: 544000 | #Constraints: 30359 1898.37/1903.56 c #Conflicts: 545000 | #Constraints: 31359 1898.37/1903.56 c #Conflicts: 546000 | #Constraints: 32359 1898.37/1903.56 c INPROCESSING 1898.37/1903.56 c GARBAGE COLLECT 1898.37/1903.56 c rational objective -14969 1932.67/1938.00 c #Conflicts: 547000 | #Constraints: 18544 1932.67/1938.00 c #Conflicts: 548000 | #Constraints: 19546 1932.67/1938.00 c #Conflicts: 549000 | #Constraints: 20549 1932.67/1938.00 c #Conflicts: 550000 | #Constraints: 21557 1932.67/1938.00 c #Conflicts: 551000 | #Constraints: 22560 1932.67/1938.00 c #Conflicts: 552000 | #Constraints: 23563 1932.67/1938.00 c #Conflicts: 553000 | #Constraints: 24575 1932.67/1938.00 c #Conflicts: 554000 | #Constraints: 25582 1932.67/1938.00 c #Conflicts: 555000 | #Constraints: 26586 1932.67/1938.00 c #Conflicts: 556000 | #Constraints: 27590 1932.67/1938.00 c #Conflicts: 557000 | #Constraints: 28593 1932.67/1938.00 c #Conflicts: 558000 | #Constraints: 29596 1932.67/1938.00 c #Conflicts: 559000 | #Constraints: 30599 1932.67/1938.00 c #Conflicts: 560000 | #Constraints: 31599 1932.67/1938.00 c #Conflicts: 561000 | #Constraints: 32601 1932.67/1938.00 c INPROCESSING 1932.67/1938.00 c GARBAGE COLLECT 1932.67/1938.00 c rational objective -14968.7 1973.36/1978.72 c #Conflicts: 562000 | #Constraints: 18897 1973.36/1978.72 c #Conflicts: 563000 | #Constraints: 19899 1973.36/1978.72 c #Conflicts: 564000 | #Constraints: 20905 1973.36/1978.72 c #Conflicts: 565000 | #Constraints: 21906 1973.36/1978.72 c #Conflicts: 566000 | #Constraints: 22908 1973.36/1978.72 c #Conflicts: 567000 | #Constraints: 23909 1973.36/1978.72 c #Conflicts: 568000 | #Constraints: 24911 1973.36/1978.72 c #Conflicts: 569000 | #Constraints: 25913 1973.36/1978.72 c #Conflicts: 570000 | #Constraints: 26913 1973.36/1978.72 c #Conflicts: 571000 | #Constraints: 27913 1973.36/1978.72 c #Conflicts: 572000 | #Constraints: 28914 1973.36/1978.72 c #Conflicts: 573000 | #Constraints: 29923 1973.36/1978.72 c #Conflicts: 574000 | #Constraints: 30925 1973.36/1978.72 c #Conflicts: 575000 | #Constraints: 31925 1973.36/1978.72 c #Conflicts: 576000 | #Constraints: 32927 1973.36/1978.72 c INPROCESSING 1973.36/1978.72 c GARBAGE COLLECT 1973.36/1978.72 c rational objective -14968.7 2111.18/2116.97 c #Conflicts: 577000 | #Constraints: 18958 2111.18/2116.97 c #Conflicts: 578000 | #Constraints: 19958 2111.18/2116.97 c #Conflicts: 579000 | #Constraints: 20958 2111.18/2116.97 c #Conflicts: 580000 | #Constraints: 21958 2111.18/2116.97 c #Conflicts: 581000 | #Constraints: 22958 2111.18/2116.97 c #Conflicts: 582000 | #Constraints: 23958 2111.18/2116.97 c #Conflicts: 583000 | #Constraints: 24958 2111.18/2116.97 c #Conflicts: 584000 | #Constraints: 25958 2111.18/2116.97 c #Conflicts: 585000 | #Constraints: 26958 2111.18/2116.97 c #Conflicts: 586000 | #Constraints: 27958 2111.18/2116.97 c #Conflicts: 587000 | #Constraints: 28958 2111.18/2116.97 c #Conflicts: 588000 | #Constraints: 29958 2111.18/2116.97 c #Conflicts: 589000 | #Constraints: 30958 2111.18/2116.97 c #Conflicts: 590000 | #Constraints: 31958 2111.18/2116.97 c #Conflicts: 591000 | #Constraints: 32958 2111.18/2116.97 c INPROCESSING 2111.18/2116.97 c GARBAGE COLLECT 2111.18/2116.97 c rational objective -14968.7 2148.39/2154.21 c #Conflicts: 592000 | #Constraints: 18559 2148.39/2154.21 c #Conflicts: 593000 | #Constraints: 19560 2148.39/2154.21 c #Conflicts: 594000 | #Constraints: 20562 2148.39/2154.21 c #Conflicts: 595000 | #Constraints: 21562 2148.39/2154.21 c #Conflicts: 596000 | #Constraints: 22563 2148.39/2154.21 c #Conflicts: 597000 | #Constraints: 23566 2148.39/2154.21 c #Conflicts: 598000 | #Constraints: 24567 2148.39/2154.21 c #Conflicts: 599000 | #Constraints: 25569 2148.39/2154.21 c #Conflicts: 600000 | #Constraints: 26572 2148.39/2154.21 c #Conflicts: 601000 | #Constraints: 27574 2148.39/2154.21 c #Conflicts: 602000 | #Constraints: 28575 2148.39/2154.21 c #Conflicts: 603000 | #Constraints: 29578 2148.39/2154.21 c #Conflicts: 604000 | #Constraints: 30581 2148.39/2154.21 c #Conflicts: 605000 | #Constraints: 31581 2148.39/2154.21 c #Conflicts: 606000 | #Constraints: 32581 2148.39/2154.21 c #Conflicts: 607000 | #Constraints: 33581 2148.39/2154.21 c INPROCESSING 2148.39/2154.21 c GARBAGE COLLECT 2148.39/2154.21 c rational objective -14946.7 2188.20/2194.12 c #Conflicts: 608000 | #Constraints: 19284 2188.20/2194.12 c #Conflicts: 609000 | #Constraints: 20285 2188.20/2194.12 c #Conflicts: 610000 | #Constraints: 21289 2188.20/2194.12 c #Conflicts: 611000 | #Constraints: 22291 2188.20/2194.12 c #Conflicts: 612000 | #Constraints: 23293 2188.20/2194.12 c #Conflicts: 613000 | #Constraints: 24293 2188.20/2194.12 c #Conflicts: 614000 | #Constraints: 25298 2188.20/2194.12 c #Conflicts: 615000 | #Constraints: 26299 2188.20/2194.12 c #Conflicts: 616000 | #Constraints: 27301 2188.20/2194.12 c #Conflicts: 617000 | #Constraints: 28302 2188.20/2194.12 c #Conflicts: 618000 | #Constraints: 29308 2188.20/2194.12 c #Conflicts: 619000 | #Constraints: 30310 2188.20/2194.12 c #Conflicts: 620000 | #Constraints: 31313 2188.20/2194.12 c #Conflicts: 621000 | #Constraints: 32314 2188.20/2194.12 c #Conflicts: 622000 | #Constraints: 33319 2188.20/2194.12 c #Conflicts: 623000 | #Constraints: 34321 2188.20/2194.12 c INPROCESSING 2188.20/2194.12 c GARBAGE COLLECT 2188.20/2194.12 c rational objective -14946 2338.90/2345.30 c #Conflicts: 624000 | #Constraints: 19759 2338.90/2345.30 c #Conflicts: 625000 | #Constraints: 20759 2338.90/2345.30 c #Conflicts: 626000 | #Constraints: 21759 2338.90/2345.30 c #Conflicts: 627000 | #Constraints: 22759 2338.90/2345.30 c #Conflicts: 628000 | #Constraints: 23759 2338.90/2345.30 c #Conflicts: 629000 | #Constraints: 24759 2338.90/2345.30 c #Conflicts: 630000 | #Constraints: 25759 2338.90/2345.30 c #Conflicts: 631000 | #Constraints: 26759 2338.90/2345.30 c #Conflicts: 632000 | #Constraints: 27759 2338.90/2345.30 c #Conflicts: 633000 | #Constraints: 28759 2338.90/2345.30 c #Conflicts: 634000 | #Constraints: 29759 2338.90/2345.30 c #Conflicts: 635000 | #Constraints: 30759 2338.90/2345.30 c #Conflicts: 636000 | #Constraints: 31759 2338.90/2345.30 c #Conflicts: 637000 | #Constraints: 32759 2338.90/2345.30 c #Conflicts: 638000 | #Constraints: 33759 2338.90/2345.30 c #Conflicts: 639000 | #Constraints: 34759 2338.90/2345.30 c INPROCESSING 2338.90/2345.30 c GARBAGE COLLECT 2338.90/2345.30 c rational objective -14943.3 2380.70/2387.17 c #Conflicts: 640000 | #Constraints: 19748 2380.70/2387.17 c #Conflicts: 641000 | #Constraints: 20749 2380.70/2387.17 c #Conflicts: 642000 | #Constraints: 21749 2380.70/2387.17 c #Conflicts: 643000 | #Constraints: 22750 2380.70/2387.17 c #Conflicts: 644000 | #Constraints: 23751 2380.70/2387.17 c #Conflicts: 645000 | #Constraints: 24751 2380.70/2387.17 c #Conflicts: 646000 | #Constraints: 25752 2380.70/2387.17 c #Conflicts: 647000 | #Constraints: 26754 2380.70/2387.17 c #Conflicts: 648000 | #Constraints: 27758 2380.70/2387.17 c #Conflicts: 649000 | #Constraints: 28763 2380.70/2387.17 c #Conflicts: 650000 | #Constraints: 29764 2380.70/2387.17 c #Conflicts: 651000 | #Constraints: 30765 2380.70/2387.17 c #Conflicts: 652000 | #Constraints: 31766 2380.70/2387.17 c #Conflicts: 653000 | #Constraints: 32768 2380.70/2387.17 c #Conflicts: 654000 | #Constraints: 33768 2380.70/2387.17 c #Conflicts: 655000 | #Constraints: 34773 2380.70/2387.17 c INPROCESSING 2380.70/2387.17 c GARBAGE COLLECT 2380.70/2387.17 c rational objective -14928.8 2424.36/2430.97 c #Conflicts: 656000 | #Constraints: 19880 2424.36/2430.97 c #Conflicts: 657000 | #Constraints: 20882 2424.36/2430.97 c #Conflicts: 658000 | #Constraints: 21883 2424.36/2430.97 c #Conflicts: 659000 | #Constraints: 22886 2424.36/2430.97 c #Conflicts: 660000 | #Constraints: 23886 2424.36/2430.97 c #Conflicts: 661000 | #Constraints: 24888 2424.36/2430.97 c #Conflicts: 662000 | #Constraints: 25890 2424.36/2430.97 c #Conflicts: 663000 | #Constraints: 26891 2424.36/2430.97 c #Conflicts: 664000 | #Constraints: 27894 2424.36/2430.97 c #Conflicts: 665000 | #Constraints: 28896 2424.36/2430.97 c #Conflicts: 666000 | #Constraints: 29898 2424.36/2430.97 c #Conflicts: 667000 | #Constraints: 30901 2424.36/2430.97 c #Conflicts: 668000 | #Constraints: 31903 2424.36/2430.97 c #Conflicts: 669000 | #Constraints: 32904 2424.36/2430.97 c #Conflicts: 670000 | #Constraints: 33908 2424.36/2430.97 c #Conflicts: 671000 | #Constraints: 34911 2424.36/2430.97 c INPROCESSING 2424.36/2430.97 c GARBAGE COLLECT 2424.36/2430.97 c rational objective -14928.2 2585.28/2592.31 c #Conflicts: 672000 | #Constraints: 19748 2585.28/2592.31 c #Conflicts: 673000 | #Constraints: 20748 2585.28/2592.31 c #Conflicts: 674000 | #Constraints: 21748 2585.28/2592.31 c #Conflicts: 675000 | #Constraints: 22748 2585.28/2592.31 c #Conflicts: 676000 | #Constraints: 23748 2585.28/2592.31 c #Conflicts: 677000 | #Constraints: 24748 2585.28/2592.31 c #Conflicts: 678000 | #Constraints: 25748 2585.28/2592.31 c #Conflicts: 679000 | #Constraints: 26748 2585.28/2592.31 c #Conflicts: 680000 | #Constraints: 27748 2585.28/2592.31 c #Conflicts: 681000 | #Constraints: 28748 2585.28/2592.31 c #Conflicts: 682000 | #Constraints: 29748 2585.28/2592.31 c #Conflicts: 683000 | #Constraints: 30748 2585.28/2592.31 c #Conflicts: 684000 | #Constraints: 31748 2585.28/2592.31 c #Conflicts: 685000 | #Constraints: 32748 2585.28/2592.31 c #Conflicts: 686000 | #Constraints: 33748 2585.28/2592.31 c #Conflicts: 687000 | #Constraints: 34748 2585.28/2592.31 c #Conflicts: 688000 | #Constraints: 35748 2585.28/2592.31 c INPROCESSING 2585.28/2592.31 c GARBAGE COLLECT 2585.28/2592.31 c rational objective -14928.2 2629.44/2636.67 c #Conflicts: 689000 | #Constraints: 20158 2629.44/2636.67 c #Conflicts: 690000 | #Constraints: 21159 2629.44/2636.67 c #Conflicts: 691000 | #Constraints: 22164 2629.44/2636.67 c #Conflicts: 692000 | #Constraints: 23165 2629.44/2636.67 c #Conflicts: 693000 | #Constraints: 24168 2629.44/2636.67 c #Conflicts: 694000 | #Constraints: 25168 2629.44/2636.67 c #Conflicts: 695000 | #Constraints: 26171 2629.44/2636.67 c #Conflicts: 696000 | #Constraints: 27171 2629.44/2636.67 c #Conflicts: 697000 | #Constraints: 28173 2629.44/2636.67 c #Conflicts: 698000 | #Constraints: 29176 2629.44/2636.67 c #Conflicts: 699000 | #Constraints: 30177 2629.44/2636.67 c #Conflicts: 700000 | #Constraints: 31177 2629.44/2636.67 c #Conflicts: 701000 | #Constraints: 32180 2629.44/2636.67 c #Conflicts: 702000 | #Constraints: 33180 2629.44/2636.67 c #Conflicts: 703000 | #Constraints: 34183 2629.44/2636.67 c #Conflicts: 704000 | #Constraints: 35189 2629.44/2636.67 c #Conflicts: 705000 | #Constraints: 36192 2629.44/2636.67 c INPROCESSING 2629.44/2636.67 c GARBAGE COLLECT 2629.44/2636.67 c rational objective -14928.2 2675.40/2682.77 c #Conflicts: 706000 | #Constraints: 20696 2675.40/2682.77 c #Conflicts: 707000 | #Constraints: 21696 2675.40/2682.77 c #Conflicts: 708000 | #Constraints: 22697 2675.40/2682.77 c #Conflicts: 709000 | #Constraints: 23700 2675.40/2682.77 c #Conflicts: 710000 | #Constraints: 24700 2675.40/2682.77 c #Conflicts: 711000 | #Constraints: 25703 2675.40/2682.77 c #Conflicts: 712000 | #Constraints: 26704 2675.40/2682.77 c #Conflicts: 713000 | #Constraints: 27704 2675.40/2682.77 c #Conflicts: 714000 | #Constraints: 28705 2675.40/2682.77 c #Conflicts: 715000 | #Constraints: 29709 2675.40/2682.77 c #Conflicts: 716000 | #Constraints: 30710 2675.40/2682.77 c #Conflicts: 717000 | #Constraints: 31712 2675.40/2682.77 c #Conflicts: 718000 | #Constraints: 32714 2675.40/2682.77 c #Conflicts: 719000 | #Constraints: 33718 2675.40/2682.77 c #Conflicts: 720000 | #Constraints: 34724 2675.40/2682.77 c #Conflicts: 721000 | #Constraints: 35725 2675.40/2682.77 c #Conflicts: 722000 | #Constraints: 36730 2675.40/2682.77 c INPROCESSING 2675.40/2682.77 c GARBAGE COLLECT 2675.40/2682.77 c rational objective -14925.6 2797.45/2805.15 c #Conflicts: 723000 | #Constraints: 20962 2797.45/2805.15 c #Conflicts: 724000 | #Constraints: 21962 2797.45/2805.15 c #Conflicts: 725000 | #Constraints: 22962 2797.45/2805.15 c #Conflicts: 726000 | #Constraints: 23962 2797.45/2805.15 c #Conflicts: 727000 | #Constraints: 24962 2797.45/2805.15 c #Conflicts: 728000 | #Constraints: 25962 2797.45/2805.15 c #Conflicts: 729000 | #Constraints: 26962 2797.45/2805.15 c #Conflicts: 730000 | #Constraints: 27962 2797.45/2805.15 c #Conflicts: 731000 | #Constraints: 28962 2797.45/2805.15 c #Conflicts: 732000 | #Constraints: 29962 2797.45/2805.15 c #Conflicts: 733000 | #Constraints: 30962 2797.45/2805.15 c #Conflicts: 734000 | #Constraints: 31962 2797.45/2805.15 c #Conflicts: 735000 | #Constraints: 32962 2797.45/2805.15 c #Conflicts: 736000 | #Constraints: 33963 2797.45/2805.15 c #Conflicts: 737000 | #Constraints: 34963 2797.45/2805.15 c #Conflicts: 738000 | #Constraints: 35963 2797.45/2805.15 c #Conflicts: 739000 | #Constraints: 36963 2797.45/2805.15 c INPROCESSING 2797.45/2805.15 c GARBAGE COLLECT 2797.45/2805.15 c rational objective -14919.5 2848.98/2856.82 c #Conflicts: 740000 | #Constraints: 20745 2848.98/2856.82 c #Conflicts: 741000 | #Constraints: 21745 2848.98/2856.82 c #Conflicts: 742000 | #Constraints: 22745 2848.98/2856.82 c #Conflicts: 743000 | #Constraints: 23746 2848.98/2856.82 c #Conflicts: 744000 | #Constraints: 24746 2848.98/2856.82 c #Conflicts: 745000 | #Constraints: 25746 2848.98/2856.82 c #Conflicts: 746000 | #Constraints: 26747 2848.98/2856.82 c #Conflicts: 747000 | #Constraints: 27747 2848.98/2856.82 c #Conflicts: 748000 | #Constraints: 28748 2848.98/2856.82 c #Conflicts: 749000 | #Constraints: 29754 2848.98/2856.82 c #Conflicts: 750000 | #Constraints: 30754 2848.98/2856.82 c #Conflicts: 751000 | #Constraints: 31759 2848.98/2856.82 c #Conflicts: 752000 | #Constraints: 32759 2848.98/2856.82 c #Conflicts: 753000 | #Constraints: 33764 2848.98/2856.82 c #Conflicts: 754000 | #Constraints: 34765 2848.98/2856.82 c #Conflicts: 755000 | #Constraints: 35766 2848.98/2856.82 c #Conflicts: 756000 | #Constraints: 36766 2848.98/2856.82 c INPROCESSING 2848.98/2856.82 c GARBAGE COLLECT 2848.98/2856.82 c rational objective -14916.8 2895.34/2903.33 c #Conflicts: 757000 | #Constraints: 20680 2895.34/2903.33 c #Conflicts: 758000 | #Constraints: 21680 2895.34/2903.33 c #Conflicts: 759000 | #Constraints: 22687 2895.34/2903.33 c #Conflicts: 760000 | #Constraints: 23687 2895.34/2903.33 c #Conflicts: 761000 | #Constraints: 24687 2895.34/2903.33 c #Conflicts: 762000 | #Constraints: 25688 2895.34/2903.33 c #Conflicts: 763000 | #Constraints: 26688 2895.34/2903.33 c #Conflicts: 764000 | #Constraints: 27691 2895.34/2903.33 c #Conflicts: 765000 | #Constraints: 28693 2895.34/2903.33 c #Conflicts: 766000 | #Constraints: 29696 2895.34/2903.33 c #Conflicts: 767000 | #Constraints: 30699 2895.34/2903.33 c #Conflicts: 768000 | #Constraints: 31706 2895.34/2903.33 c #Conflicts: 769000 | #Constraints: 32709 2895.34/2903.33 c #Conflicts: 770000 | #Constraints: 33710 2895.34/2903.33 c #Conflicts: 771000 | #Constraints: 34710 2895.34/2903.33 c #Conflicts: 772000 | #Constraints: 35712 2895.34/2903.33 c #Conflicts: 773000 | #Constraints: 36713 2895.34/2903.33 c #Conflicts: 774000 | #Constraints: 37713 2895.34/2903.33 c INPROCESSING 2895.34/2903.33 c GARBAGE COLLECT 2895.34/2903.33 c rational objective -14912.6 3053.18/3061.61 c #Conflicts: 775000 | #Constraints: 21353 3053.18/3061.61 c #Conflicts: 776000 | #Constraints: 22353 3053.18/3061.61 c #Conflicts: 777000 | #Constraints: 23353 3053.18/3061.61 c #Conflicts: 778000 | #Constraints: 24353 3053.18/3061.61 c #Conflicts: 779000 | #Constraints: 25353 3053.18/3061.61 c #Conflicts: 780000 | #Constraints: 26353 3053.18/3061.61 c #Conflicts: 781000 | #Constraints: 27353 3053.18/3061.61 c #Conflicts: 782000 | #Constraints: 28353 3053.18/3061.61 c #Conflicts: 783000 | #Constraints: 29353 3053.18/3061.61 c #Conflicts: 784000 | #Constraints: 30353 3053.18/3061.61 c #Conflicts: 785000 | #Constraints: 31353 3053.18/3061.61 c #Conflicts: 786000 | #Constraints: 32353 3053.18/3061.61 c #Conflicts: 787000 | #Constraints: 33353 3053.18/3061.61 c #Conflicts: 788000 | #Constraints: 34353 3053.18/3061.61 c #Conflicts: 789000 | #Constraints: 35353 3053.18/3061.61 c #Conflicts: 790000 | #Constraints: 36353 3053.18/3061.61 c #Conflicts: 791000 | #Constraints: 37353 3053.18/3061.61 c #Conflicts: 792000 | #Constraints: 38353 3053.18/3061.61 c INPROCESSING 3053.18/3061.61 c GARBAGE COLLECT 3053.18/3061.61 c rational objective -14908.8 3100.58/3109.11 c #Conflicts: 793000 | #Constraints: 21549 3100.58/3109.11 c #Conflicts: 794000 | #Constraints: 22551 3100.58/3109.11 c #Conflicts: 795000 | #Constraints: 23554 3100.58/3109.11 c #Conflicts: 796000 | #Constraints: 24555 3100.58/3109.11 c #Conflicts: 797000 | #Constraints: 25559 3100.58/3109.11 c #Conflicts: 798000 | #Constraints: 26563 3100.58/3109.11 c #Conflicts: 799000 | #Constraints: 27563 3100.58/3109.11 c #Conflicts: 800000 | #Constraints: 28563 3100.58/3109.11 c #Conflicts: 801000 | #Constraints: 29564 3100.58/3109.11 c #Conflicts: 802000 | #Constraints: 30565 3100.58/3109.11 c #Conflicts: 803000 | #Constraints: 31566 3100.58/3109.11 c #Conflicts: 804000 | #Constraints: 32568 3100.58/3109.11 c #Conflicts: 805000 | #Constraints: 33569 3100.58/3109.11 c #Conflicts: 806000 | #Constraints: 34575 3100.58/3109.11 c #Conflicts: 807000 | #Constraints: 35580 3100.58/3109.11 c #Conflicts: 808000 | #Constraints: 36584 3100.58/3109.11 c #Conflicts: 809000 | #Constraints: 37584 3100.58/3109.11 c #Conflicts: 810000 | #Constraints: 38586 3100.58/3109.11 c INPROCESSING 3100.58/3109.11 c GARBAGE COLLECT 3100.58/3109.11 c rational objective -14907.5 3155.64/3164.38 c #Conflicts: 811000 | #Constraints: 21887 3155.64/3164.38 c #Conflicts: 812000 | #Constraints: 22889 3155.64/3164.38 c #Conflicts: 813000 | #Constraints: 23889 3155.64/3164.38 c #Conflicts: 814000 | #Constraints: 24890 3155.64/3164.38 c #Conflicts: 815000 | #Constraints: 25890 3155.64/3164.38 c #Conflicts: 816000 | #Constraints: 26893 3155.64/3164.38 c #Conflicts: 817000 | #Constraints: 27896 3155.64/3164.38 c #Conflicts: 818000 | #Constraints: 28897 3155.64/3164.38 c #Conflicts: 819000 | #Constraints: 29900 3155.64/3164.38 c #Conflicts: 820000 | #Constraints: 30903 3155.64/3164.38 c #Conflicts: 821000 | #Constraints: 31905 3155.64/3164.38 c #Conflicts: 822000 | #Constraints: 32905 3155.64/3164.38 c #Conflicts: 823000 | #Constraints: 33907 3155.64/3164.38 c #Conflicts: 824000 | #Constraints: 34907 3155.64/3164.38 c #Conflicts: 825000 | #Constraints: 35907 3155.64/3164.38 c #Conflicts: 826000 | #Constraints: 36908 3155.64/3164.38 c #Conflicts: 827000 | #Constraints: 37909 3155.64/3164.38 c #Conflicts: 828000 | #Constraints: 38911 3155.64/3164.38 c INPROCESSING 3155.64/3164.38 c GARBAGE COLLECT 3155.64/3164.38 c rational objective -14907.5 3336.51/3345.63 c #Conflicts: 829000 | #Constraints: 21951 3336.51/3345.63 c #Conflicts: 830000 | #Constraints: 22951 3336.51/3345.63 c #Conflicts: 831000 | #Constraints: 23951 3336.51/3345.63 c #Conflicts: 832000 | #Constraints: 24951 3336.51/3345.63 c #Conflicts: 833000 | #Constraints: 25952 3336.51/3345.63 c #Conflicts: 834000 | #Constraints: 26952 3336.51/3345.63 c #Conflicts: 835000 | #Constraints: 27952 3336.51/3345.63 c #Conflicts: 836000 | #Constraints: 28953 3336.51/3345.63 c #Conflicts: 837000 | #Constraints: 29953 3336.51/3345.63 c #Conflicts: 838000 | #Constraints: 30953 3336.51/3345.63 c #Conflicts: 839000 | #Constraints: 31953 3336.51/3345.63 c #Conflicts: 840000 | #Constraints: 32953 3336.51/3345.63 c #Conflicts: 841000 | #Constraints: 33953 3336.51/3345.63 c #Conflicts: 842000 | #Constraints: 34953 3336.51/3345.63 c #Conflicts: 843000 | #Constraints: 35953 3336.51/3345.63 c #Conflicts: 844000 | #Constraints: 36953 3336.51/3345.63 c #Conflicts: 845000 | #Constraints: 37953 3336.51/3345.63 c #Conflicts: 846000 | #Constraints: 38953 3336.51/3345.63 c INPROCESSING 3336.51/3345.63 c GARBAGE COLLECT 3336.51/3345.63 c rational objective -14907.5 3391.68/3400.91 c #Conflicts: 847000 | #Constraints: 21554 3391.68/3400.91 c #Conflicts: 848000 | #Constraints: 22557 3391.68/3400.91 c #Conflicts: 849000 | #Constraints: 23563 3391.68/3400.91 c #Conflicts: 850000 | #Constraints: 24567 3391.68/3400.91 c #Conflicts: 851000 | #Constraints: 25569 3391.68/3400.91 c #Conflicts: 852000 | #Constraints: 26576 3391.68/3400.91 c #Conflicts: 853000 | #Constraints: 27579 3391.68/3400.91 c #Conflicts: 854000 | #Constraints: 28585 3391.68/3400.91 c #Conflicts: 855000 | #Constraints: 29585 3391.68/3400.91 c #Conflicts: 856000 | #Constraints: 30588 3391.68/3400.91 c #Conflicts: 857000 | #Constraints: 31588 3391.68/3400.91 c #Conflicts: 858000 | #Constraints: 32589 3391.68/3400.91 c #Conflicts: 859000 | #Constraints: 33589 3391.68/3400.91 c #Conflicts: 860000 | #Constraints: 34590 3391.68/3400.91 c #Conflicts: 861000 | #Constraints: 35591 3391.68/3400.91 c #Conflicts: 862000 | #Constraints: 36592 3391.68/3400.91 c #Conflicts: 863000 | #Constraints: 37593 3391.68/3400.91 c #Conflicts: 864000 | #Constraints: 38595 3391.68/3400.91 c #Conflicts: 865000 | #Constraints: 39596 3391.68/3400.91 c INPROCESSING 3391.68/3400.91 c GARBAGE COLLECT 3391.68/3400.91 c rational objective -14907.5 3443.16/3452.53 c #Conflicts: 866000 | #Constraints: 22302 3443.16/3452.53 c #Conflicts: 867000 | #Constraints: 23306 3443.16/3452.53 c #Conflicts: 868000 | #Constraints: 24308 3443.16/3452.53 c #Conflicts: 869000 | #Constraints: 25313 3443.16/3452.53 c #Conflicts: 870000 | #Constraints: 26317 3443.16/3452.53 c #Conflicts: 871000 | #Constraints: 27320 3443.16/3452.53 c #Conflicts: 872000 | #Constraints: 28323 3443.16/3452.53 c #Conflicts: 873000 | #Constraints: 29324 3443.16/3452.53 c #Conflicts: 874000 | #Constraints: 30324 3443.16/3452.53 c #Conflicts: 875000 | #Constraints: 31324 3443.16/3452.53 c #Conflicts: 876000 | #Constraints: 32324 3443.16/3452.53 c #Conflicts: 877000 | #Constraints: 33332 3443.16/3452.53 c #Conflicts: 878000 | #Constraints: 34333 3443.16/3452.53 c #Conflicts: 879000 | #Constraints: 35337 3443.16/3452.53 c #Conflicts: 880000 | #Constraints: 36339 3443.16/3452.53 c #Conflicts: 881000 | #Constraints: 37340 3443.16/3452.53 c #Conflicts: 882000 | #Constraints: 38347 3443.16/3452.53 c #Conflicts: 883000 | #Constraints: 39350 3443.16/3452.53 c #Conflicts: 884000 | #Constraints: 40355 3443.16/3452.53 c INPROCESSING 3443.16/3452.53 c GARBAGE COLLECT 3443.16/3452.53 c rational objective -14907.5 3600.09/3609.80 c #Conflicts: 885000 | #Constraints: 22780 3600.09/3609.80 c #Conflicts: 886000 | #Constraints: 23780 3600.09/3609.80 c #Conflicts: 887000 | #Constraints: 24780 3600.09/3609.80 c #Conflicts: 888000 | #Constraints: 25780 3600.09/3609.80 c #Conflicts: 889000 | #Constraints: 26780 3600.09/3609.80 c #Conflicts: 890000 | #Constraints: 27780 3600.09/3609.80 c #Conflicts: 891000 | #Constraints: 28780 3600.09/3609.80 c #Conflicts: 892000 | #Constraints: 29780 3600.09/3609.80 c #Conflicts: 893000 | #Constraints: 30780 3600.09/3609.80 c #Conflicts: 894000 | #Constraints: 31780 3600.09/3609.80 c #Conflicts: 895000 | #Constraints: 32780 3600.09/3609.80 c #Conflicts: 896000 | #Constraints: 33780 3600.09/3609.80 c #Conflicts: 897000 | #Constraints: 34780 3600.09/3609.80 c #Conflicts: 898000 | #Constraints: 35780 3600.09/3609.80 c #Conflicts: 899000 | #Constraints: 36780 3600.09/3609.80 c #Conflicts: 900000 | #Constraints: 37780 3600.09/3609.80 c Program interrupted by user. 3600.09/3609.80 c cpu time 3581.21 s 3600.09/3609.80 c deterministic time 593783130089 5.94e+11 3600.09/3609.80 c optimization time 155.97 s 3600.09/3609.80 c total solve time 3425.21 s 3600.09/3609.80 c core-guided solve time 1323.28 s 3600.09/3609.80 c propagation time 2915.49 s 3600.09/3609.80 c conflict analysis time 599.636 s 3600.09/3609.80 c propagations 67348575 3600.09/3609.80 c resolve steps 27818611 3600.09/3609.80 c decisions 1058151 3600.09/3609.80 c conflicts 900485 3600.09/3609.80 c restarts 1958 3600.09/3609.80 c inprocessing phases 85 3600.09/3609.80 c input clauses 1346 3600.09/3609.80 c input cardinalities 2 3600.09/3609.80 c input general constraints 1383 3600.09/3609.80 c input average constraint length 21.74 3600.09/3609.80 c input average constraint degree 497.76 3600.09/3609.80 c learned clauses 825750 3600.09/3609.80 c learned cardinalities 145 3600.09/3609.80 c learned general constraints 75647 3600.09/3609.80 c learned average constraint length 734.05 3600.09/3609.80 c learned average constraint degree 103312097.25 3600.09/3609.80 c watched constraints 75667 3600.09/3609.80 c counting constraints 1363 3600.09/3609.80 c gcd simplifications 663168 3600.09/3609.80 c detected cardinalities 0 3600.09/3609.80 c weakened non-implied lits 473713559 3600.09/3609.80 c weakened non-implying lits 2121232 3600.09/3609.80 c original variables 1381 3600.09/3609.80 c clausal propagations 28211260 3600.09/3609.80 c cardinality propagations 11514 3600.09/3609.80 c watched propagations 2288949 3600.09/3609.80 c counting propagations 35952855 3600.09/3609.80 c watch lookups 22492566017 3600.09/3609.80 c watch backjump lookups 10699606064 3600.09/3609.80 c watch checks 523250960862 3600.09/3609.80 c propagation checks 34775713439 3600.09/3609.80 c constraint additions 2425525922 3600.09/3609.80 c trail pops 69304818 3600.09/3609.80 c formula constraints 2692 3600.09/3609.80 c learned constraints 899426 3600.09/3609.80 c bound constraints 35 3600.09/3609.80 c core-guided constraints 4 3600.09/3609.80 c encountered formula constraints 26266842 3600.09/3609.80 c encountered learned constraints 2419796 3600.09/3609.80 c encountered bound constraints 15914 3600.09/3609.80 c encountered core-guided constraints 386 3600.09/3609.80 c LP total time 60.1038 s 3600.09/3609.80 c LP solve time 31.15 s 3600.09/3609.80 c LP constraints added 3064 3600.09/3609.80 c LP constraints removed 173 3600.09/3609.80 c LP pivots internal 900571 3600.09/3609.80 c LP pivots root 145669 3600.09/3609.80 c LP calls 13901 3600.09/3609.80 c LP optimalities 12841 3600.09/3609.80 c LP no pivot count 25 3600.09/3609.80 c LP infeasibilities 1058 3600.09/3609.80 c LP valid Farkas constraints 1058 3600.09/3609.80 c LP learned Farkas constraints 1058 3600.09/3609.80 c LP basis resets 0 3600.09/3609.80 c LP cycling count 0 3600.09/3609.80 c LP singular count 0 3600.09/3609.80 c LP no primal count 0 3600.09/3609.80 c LP no farkas count 0 3600.09/3609.80 c LP other issue count 0 3600.09/3609.80 c LP Gomory cuts 0 3600.09/3609.80 c LP learned cuts 372 3600.09/3609.80 c LP deleted cuts 173 3600.09/3609.80 c LP encountered Gomory constraints 0 3600.09/3609.80 c LP encountered Farkas constraints 13821 3600.09/3609.80 c LP encountered learned Farkas constraints 1279 3600.09/3609.80 c CG auxiliary variables introduced 2 3600.09/3609.80 c CG solutions found 35 3600.09/3609.80 c CG cores constructed 2 3600.09/3609.80 c CG core cardinality constraints returned 0 3600.09/3609.80 c CG unit cores 0 3600.09/3609.80 c CG single cores 2 3600.09/3609.80 c CG blocks removed during cardinality reduction 0 3600.09/3609.80 c CG first core best 0 3600.09/3609.80 c CG decision core best 0 3600.09/3609.80 c CG core reduction tie 0 3600.09/3609.80 c CG core degree average 1.00 3600.09/3609.80 c CG core slack average 12.00 3600.09/3609.80 s SATISFIABLE 3600.09/3609.80 v x1 x2 x3 -x4 -x5 x6 -x7 x8 x9 x10 x11 -x12 -x13 x14 -x15 x16 x17 x18 -x19 -x20 x21 -x22 x23 x24 x25 x26 -x27 -x28 x29 -x30 x31 x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -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 -1273
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 (53100 MiB free)
memory of node 1: 64473 MiB (50159 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462849-1722346232/watcher-4462849-1722346232 -o /tmp/evaluation-result-4462849-1722346232/solver-4462849-1722346232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6757 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462849-1722346232 --lp-cut-gomory=0 HOME/instance-4462849-1722346232.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10947, runsolver pid=10944
[startup+0.100106 s]*
/proc/loadavg: 4.20 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105733028/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=40432 memory=10428 CPUtime=0.09 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 1139 0 0 0 8 1 0 0 20 0 1 0 1219682 41402368 2607 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 10108 2607 1785 992 0 1966 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 10428 KiB
[startup+0.213537 s]*
/proc/loadavg: 4.20 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105732216/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=40736 memory=10692 CPUtime=0.2 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 1224 0 0 0 19 1 0 0 20 0 1 0 1219682 41713664 2673 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 10184 2673 1785 992 0 2042 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 10692 KiB
[startup+0.313439 s]*
/proc/loadavg: 4.20 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105731728/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=40880 memory=10692 CPUtime=0.3 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 1251 0 0 0 29 1 0 0 20 0 1 0 1219682 41861120 2673 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 10220 2673 1785 992 0 2078 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 10692 KiB
[startup+0.700333 s]
/proc/loadavg: 4.20 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105729584/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=40880 memory=11340 CPUtime=0.68 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 1384 0 0 0 66 2 0 0 20 0 1 0 1219682 41861120 2835 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 10220 2835 1817 992 0 2078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 11340 KiB
[startup+1.50032 s]
/proc/loadavg: 4.18 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105722924/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=41684 memory=14704 CPUtime=1.47 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 1714 0 0 0 144 3 0 0 20 0 1 0 1219682 42684416 3676 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 10421 3676 1817 992 0 2279 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 41684 KiB
Current children cumulated memory: 14704 KiB
[startup+3.11315 s]
/proc/loadavg: 4.18 4.20 4.18 5/250 10948
/proc/meminfo: memFree=105684064/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=44848 memory=17660 CPUtime=3.08 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 2348 0 0 0 303 5 0 0 20 0 1 0 1219682 45924352 4415 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 11212 4415 1909 992 0 3070 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44848 KiB
Current children cumulated memory: 17660 KiB
[startup+6.3003 s]
/proc/loadavg: 4.17 4.20 4.18 5/261 10959
/proc/meminfo: memFree=105648416/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=52712 memory=25140 CPUtime=6.26 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 3731 0 0 0 616 10 0 0 20 0 1 0 1219682 53977088 6285 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 13178 6285 1909 992 0 5036 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 25140 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.19 4.18 5/261 10961
/proc/meminfo: memFree=105543208/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=62132 memory=31404 CPUtime=12.65 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 4784 0 0 0 1247 18 0 0 20 0 1 0 1219682 63623168 7851 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 15533 7851 1909 992 0 7391 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62132 KiB
Current children cumulated memory: 31404 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.19 4.18 5/261 10962
/proc/meminfo: memFree=105366636/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=74392 memory=39780 CPUtime=25.41 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 5349 0 0 0 2508 33 0 0 20 0 1 0 1219682 76177408 9945 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 18598 9945 1909 992 0 10456 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 74392 KiB
Current children cumulated memory: 39780 KiB
[startup+51.114 s]
/proc/loadavg: 4.24 4.20 4.18 5/261 10969
/proc/meminfo: memFree=104997552/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=75240 memory=46684 CPUtime=50.96 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 5537 0 0 0 5036 60 0 0 20 0 1 0 1219682 77045760 11671 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 18810 11671 1909 992 0 10668 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 75240 KiB
Current children cumulated memory: 46684 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/260 10978
/proc/meminfo: memFree=104360636/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=95236 memory=55956 CPUtime=102.01 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 6336 0 0 0 10089 112 0 0 20 0 1 0 1219682 97521664 13989 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 23809 13989 1909 992 0 15667 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 95236 KiB
Current children cumulated memory: 55956 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/259 10989
/proc/meminfo: memFree=103597972/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=95972 memory=65088 CPUtime=161.85 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 6577 0 0 0 16011 174 0 0 20 0 1 0 1219682 98275328 16272 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 23993 16272 1909 992 0 15851 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 95972 KiB
Current children cumulated memory: 65088 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/259 11000
/proc/meminfo: memFree=102847344/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=96496 memory=69656 CPUtime=221.71 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 6691 0 0 0 21942 229 0 0 20 0 1 0 1219682 98811904 17414 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 24124 17414 1909 992 0 15982 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 96496 KiB
Current children cumulated memory: 69656 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/259 11011
/proc/meminfo: memFree=102211044/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=130064 memory=76604 CPUtime=281.55 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 7982 0 0 0 27879 276 0 0 20 0 1 0 1219682 133185536 19151 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 32516 19151 1909 992 0 24374 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 130064 KiB
Current children cumulated memory: 76604 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/246 11024
/proc/meminfo: memFree=101684884/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=131184 memory=79916 CPUtime=341.39 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 8365 0 0 0 33814 325 0 0 20 0 1 0 1219682 134332416 19979 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 32796 19979 1909 992 0 24654 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 131184 KiB
Current children cumulated memory: 79916 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 5/245 11034
/proc/meminfo: memFree=101057400/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=135260 memory=91952 CPUtime=401.24 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 9667 0 0 0 39747 377 0 0 20 0 1 0 1219682 138506240 22988 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 33815 22988 1909 992 0 25673 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 135260 KiB
Current children cumulated memory: 91952 KiB
[startup+462.3 s]
/proc/loadavg: 4.82 4.34 4.23 5/245 11045
/proc/meminfo: memFree=100457012/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=142520 memory=99152 CPUtime=461.07 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 11530 0 0 0 45691 416 0 0 20 0 1 0 1219682 145940480 24788 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 35630 24788 1909 992 0 27488 0
################
# More data... #
################
Current children cumulated memory: 160316 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/255 12473
/proc/meminfo: memFree=92638336/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=204824 memory=162540 CPUtime=2854.46 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 20265 0 0 0 283825 1621 0 0 20 0 1 0 1219682 209739776 40635 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51206 40635 1909 992 0 43064 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 204824 KiB
Current children cumulated memory: 162540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 12484
/proc/meminfo: memFree=91662088/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=204748 memory=164688 CPUtime=2914.28 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 20450 0 0 0 289777 1651 0 0 20 0 1 0 1219682 209661952 41172 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51187 41172 1909 992 0 43045 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 164688 KiB
[startup+2982.3 s]
/proc/loadavg: 3.70 4.04 4.14 4/245 12529
/proc/meminfo: memFree=91592716/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=204748 memory=164688 CPUtime=2974.11 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 20514 0 0 0 295743 1668 0 0 20 0 1 0 1219682 209661952 41172 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51187 41172 1909 992 0 43045 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 204748 KiB
Current children cumulated memory: 164688 KiB
[startup+3042.3 s]
/proc/loadavg: 3.35 3.87 4.08 4/239 12540
/proc/meminfo: memFree=91145060/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=205516 memory=165712 CPUtime=3033.92 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 20711 0 0 0 301709 1683 0 0 20 0 1 0 1219682 210448384 41428 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51379 41428 1909 992 0 43237 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 205516 KiB
Current children cumulated memory: 165712 KiB
[startup+3102.3 s]
/proc/loadavg: 3.28 3.76 4.02 4/241 12552
/proc/meminfo: memFree=90421960/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=206228 memory=166404 CPUtime=3093.78 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 21051 0 0 0 307666 1712 0 0 20 0 1 0 1219682 211177472 41601 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51557 41601 1909 992 0 43415 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 206228 KiB
Current children cumulated memory: 166404 KiB
[startup+3162.3 s]
/proc/loadavg: 3.15 3.63 3.96 4/241 12564
/proc/meminfo: memFree=89797280/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=206676 memory=168840 CPUtime=3153.64 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 21393 0 0 0 313617 1747 0 0 20 0 1 0 1219682 211636224 42210 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51669 42210 1909 992 0 43527 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 206676 KiB
Current children cumulated memory: 168840 KiB
[startup+3222.3 s]
/proc/loadavg: 3.21 3.56 3.91 4/241 12574
/proc/meminfo: memFree=89415856/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=206796 memory=169104 CPUtime=3213.51 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 21687 0 0 0 319588 1763 0 0 20 0 1 0 1219682 211759104 42276 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 51699 42276 1909 992 0 43557 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 206796 KiB
Current children cumulated memory: 169104 KiB
[startup+3282.3 s]
/proc/loadavg: 3.21 3.49 3.87 4/241 12968
/proc/meminfo: memFree=88890880/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=211592 memory=172264 CPUtime=3273.36 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 22554 0 0 0 325561 1775 0 0 20 0 1 0 1219682 216670208 43066 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 52898 43066 1909 992 0 44756 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 211592 KiB
Current children cumulated memory: 172264 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.40 3.81 4/241 12979
/proc/meminfo: memFree=88209820/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=217544 memory=176176 CPUtime=3333.22 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 23638 0 0 0 331534 1788 0 0 20 0 1 0 1219682 222765056 44044 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54386 44044 1909 992 0 46244 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 217544 KiB
Current children cumulated memory: 176176 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.35 3.77 4/240 12989
/proc/meminfo: memFree=87675308/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=218720 memory=181560 CPUtime=3393.08 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 24345 0 0 0 337489 1819 0 0 20 0 1 0 1219682 223969280 45390 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54680 45390 1909 992 0 46538 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 181560 KiB
[startup+3462.3 s]
/proc/loadavg: 3.10 3.30 3.72 4/240 13169
/proc/meminfo: memFree=87156108/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=218872 memory=183764 CPUtime=3452.94 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 24621 0 0 0 343440 1854 0 0 20 0 1 0 1219682 224124928 45941 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54718 45941 1909 992 0 46576 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 218872 KiB
Current children cumulated memory: 183764 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.26 3.68 4/241 13181
/proc/meminfo: memFree=86592808/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=218872 memory=183764 CPUtime=3512.8 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 24680 0 0 0 349411 1869 0 0 20 0 1 0 1219682 224124928 45941 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54718 45941 1909 992 0 46576 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 218872 KiB
Current children cumulated memory: 183764 KiB
[startup+3582.3 s]
/proc/loadavg: 3.72 3.41 3.71 4/241 13249
/proc/meminfo: memFree=85600076/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=218872 memory=183764 CPUtime=3572.65 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 24753 0 0 0 355382 1883 0 0 20 0 1 0 1219682 224124928 45941 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54718 45941 1909 992 0 46576 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 218872 KiB
Current children cumulated memory: 183764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 3.68 3.43 3.71 4/244 13258
/proc/meminfo: memFree=84957640/131655788 swapFree=131071996/131071996
[pid=10947] ppid=10944 vsize=218872 memory=183764 CPUtime=3600.09 cores=1,3
/proc/10947/stat : 10947 (roundingsat) R 10944 10947 6745 0 -1 4194304 24756 0 0 0 358120 1889 0 0 20 0 1 0 1219682 224124928 45941 134679101440 4194304 8255733 140721924273888 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 11948032 140721924277086 140721924277348 140721924277348 140721924284361 0
/proc/10947/statm: 54718 45941 1909 992 0 46576 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 218872 KiB
Current children cumulated memory: 183764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.82 s]
# the end of solver process 10947 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.21 s, system=18.8962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.82
CPU time (s): 3600.11
CPU user time (s): 3581.21
CPU system time (s): 18.8962
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 218872
Max. memory (cumulated for all children) (KiB): 183764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.21
system time used= 18.8962
maximum resident set size= 184540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20026560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259
involuntary context switches= 5057
# summary of solver processes directly reported to runsolver:
# pid: 10947
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.21
# total CPU system time (s): 18.8962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0953 second user time and 36.988 second system time
The end
Begin job on nodeC006 at 2024-07-30 15:30:32 IDJOB=4462849 IDBENCH=158466 IDSOLVER=3089 FILE ID=nodeC006/4462849-1722346232 RUNJOBID= nodeC006-1722340763-6757 SLURM_JOB_ID= 8248986 Free space on /tmp= 723692 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-4462849-1722346232/watcher-4462849-1722346232 -o /tmp/evaluation-result-4462849-1722346232/solver-4462849-1722346232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6757 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462849-1722346232 --lp-cut-gomory=0 HOME/instance-4462849-1722346232.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05 RANDOM SEED=1506201749 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 : 3653.965 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 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.38 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.364 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.168 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.38 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 : 3664.391 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3623.493 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.38 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.357 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.418 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.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 105738344 kB MemAvailable: 124579128 kB Buffers: 52144 kB Cached: 19570360 kB SwapCached: 0 kB Active: 237192 kB Inactive: 25115840 kB Active(anon): 1428 kB Inactive(anon): 5750776 kB Active(file): 235764 kB Inactive(file): 19365064 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 422800 kB Writeback: 0 kB AnonPages: 5725652 kB Mapped: 97772 kB Shmem: 21320 kB KReclaimable: 160308 kB Slab: 253684 kB SReclaimable: 160308 kB SUnreclaim: 93376 kB KernelStack: 4032 kB PageTables: 20652 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 6944268 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 2904064 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: 215880 kB DirectMap2M: 13320192 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-30 16:30:42