| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | SAT | 1257.41 | 1260.89 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K70.opb |
| MD5SUM | 50081d64c9df1fe5f37c653f2c9a5c32 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.475633 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3850 |
| Total number of constraints | 3992 |
| Number of constraints which are clauses | 3922 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 71 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.07 c #variables 3850 #constraints 3992 5.95/6.08 c #Conflicts: 1000 | #Constraints: 4991 5.95/6.08 c #Conflicts: 2000 | #Constraints: 5991 5.95/6.08 c INPROCESSING 5.95/6.08 c GARBAGE COLLECT 5.95/6.08 c #Conflicts: 3000 | #Constraints: 5494 5.95/6.08 c #Conflicts: 4000 | #Constraints: 6494 5.95/6.08 c INPROCESSING 5.95/6.08 c GARBAGE COLLECT 5.95/6.08 c #Conflicts: 5000 | #Constraints: 5945 5.95/6.08 c #Conflicts: 6000 | #Constraints: 6946 5.95/6.08 c INPROCESSING 5.95/6.08 c GARBAGE COLLECT 5.95/6.08 c rational objective 70 7.53/7.66 c #Conflicts: 7000 | #Constraints: 5983 7.53/7.66 c #Conflicts: 8000 | #Constraints: 6983 7.53/7.66 c #Conflicts: 9000 | #Constraints: 7983 7.53/7.66 c INPROCESSING 7.53/7.66 c GARBAGE COLLECT 7.53/7.66 c rational objective 70 8.83/8.96 c #Conflicts: 10000 | #Constraints: 6719 8.83/8.96 c #Conflicts: 11000 | #Constraints: 7719 8.83/8.96 c #Conflicts: 12000 | #Constraints: 8719 8.83/8.96 c INPROCESSING 8.83/8.96 c GARBAGE COLLECT 8.83/8.96 c rational objective 70 11.12/11.27 c #Conflicts: 13000 | #Constraints: 7209 11.12/11.27 c #Conflicts: 14000 | #Constraints: 8209 11.12/11.27 c #Conflicts: 15000 | #Constraints: 9209 11.12/11.27 c INPROCESSING 11.12/11.27 c GARBAGE COLLECT 11.12/11.27 c rational objective 70 12.82/12.93 c #Conflicts: 16000 | #Constraints: 7477 12.82/12.93 c #Conflicts: 17000 | #Constraints: 8477 12.82/12.93 c #Conflicts: 18000 | #Constraints: 9477 12.82/12.93 c INPROCESSING 12.82/12.93 c GARBAGE COLLECT 12.82/12.93 c rational objective 70 15.51/15.64 c #Conflicts: 19000 | #Constraints: 7505 15.51/15.64 c #Conflicts: 20000 | #Constraints: 8506 15.51/15.64 c #Conflicts: 21000 | #Constraints: 9506 15.51/15.64 c INPROCESSING 15.51/15.64 c GARBAGE COLLECT 15.51/15.64 c rational objective 70 17.21/17.34 c #Conflicts: 22000 | #Constraints: 7318 17.21/17.34 c #Conflicts: 23000 | #Constraints: 8319 17.21/17.34 c #Conflicts: 24000 | #Constraints: 9320 17.21/17.34 c #Conflicts: 25000 | #Constraints: 10320 17.21/17.34 c INPROCESSING 17.21/17.34 c GARBAGE COLLECT 17.21/17.34 c rational objective 70 19.21/19.31 c #Conflicts: 26000 | #Constraints: 7925 19.21/19.31 c #Conflicts: 27000 | #Constraints: 8925 19.21/19.31 c #Conflicts: 28000 | #Constraints: 9925 19.21/19.31 c #Conflicts: 29000 | #Constraints: 10925 19.21/19.31 c INPROCESSING 19.21/19.31 c GARBAGE COLLECT 19.21/19.31 c rational objective 70 21.40/21.55 c #Conflicts: 30000 | #Constraints: 8331 21.40/21.55 c #Conflicts: 31000 | #Constraints: 9331 21.40/21.55 c #Conflicts: 32000 | #Constraints: 10332 21.40/21.55 c #Conflicts: 33000 | #Constraints: 11333 21.40/21.55 c INPROCESSING 21.40/21.55 c GARBAGE COLLECT 21.40/21.55 c rational objective 70 25.19/25.37 c #Conflicts: 34000 | #Constraints: 8547 25.19/25.37 c #Conflicts: 35000 | #Constraints: 9548 25.19/25.37 c #Conflicts: 36000 | #Constraints: 10548 25.19/25.37 c #Conflicts: 37000 | #Constraints: 11548 25.19/25.37 c INPROCESSING 25.19/25.37 c GARBAGE COLLECT 25.19/25.37 c rational objective 70 28.58/28.70 c #Conflicts: 38000 | #Constraints: 8578 28.58/28.70 c #Conflicts: 39000 | #Constraints: 9580 28.58/28.70 c #Conflicts: 40000 | #Constraints: 10584 28.58/28.70 c #Conflicts: 41000 | #Constraints: 11584 28.58/28.70 c INPROCESSING 28.58/28.70 c GARBAGE COLLECT 28.58/28.70 c rational objective 70 30.89/31.06 c #Conflicts: 42000 | #Constraints: 8387 30.89/31.06 c #Conflicts: 43000 | #Constraints: 9387 30.89/31.06 c #Conflicts: 44000 | #Constraints: 10387 30.89/31.06 c #Conflicts: 45000 | #Constraints: 11387 30.89/31.06 c #Conflicts: 46000 | #Constraints: 12387 30.89/31.06 c INPROCESSING 30.89/31.06 c GARBAGE COLLECT 30.89/31.06 c rational objective 70 34.66/34.85 c #Conflicts: 47000 | #Constraints: 8993 34.66/34.85 c #Conflicts: 48000 | #Constraints: 9994 34.66/34.85 c #Conflicts: 49000 | #Constraints: 10995 34.66/34.85 c #Conflicts: 50000 | #Constraints: 11995 34.66/34.85 c #Conflicts: 51000 | #Constraints: 12996 34.66/34.85 c INPROCESSING 34.66/34.85 c GARBAGE COLLECT 34.66/34.85 c rational objective 70 37.36/37.59 c #Conflicts: 52000 | #Constraints: 9428 37.36/37.59 c #Conflicts: 53000 | #Constraints: 10430 37.36/37.59 c #Conflicts: 54000 | #Constraints: 11430 37.36/37.59 c #Conflicts: 55000 | #Constraints: 12431 37.36/37.59 c #Conflicts: 56000 | #Constraints: 13431 37.36/37.59 c INPROCESSING 37.36/37.59 c GARBAGE COLLECT 37.36/37.59 c rational objective 70 41.15/41.34 c #Conflicts: 57000 | #Constraints: 9641 41.15/41.34 c #Conflicts: 58000 | #Constraints: 10642 41.15/41.34 c #Conflicts: 59000 | #Constraints: 11642 41.15/41.34 c #Conflicts: 60000 | #Constraints: 12642 41.15/41.34 c #Conflicts: 61000 | #Constraints: 13642 41.15/41.34 c INPROCESSING 41.15/41.34 c GARBAGE COLLECT 41.15/41.34 c rational objective 70 46.04/46.21 c #Conflicts: 62000 | #Constraints: 9640 46.04/46.21 c #Conflicts: 63000 | #Constraints: 10640 46.04/46.21 c #Conflicts: 64000 | #Constraints: 11640 46.04/46.21 c #Conflicts: 65000 | #Constraints: 12640 46.04/46.21 c #Conflicts: 66000 | #Constraints: 13640 46.04/46.21 c INPROCESSING 46.04/46.21 c GARBAGE COLLECT 46.04/46.21 c rational objective 70 49.43/49.67 c #Conflicts: 67000 | #Constraints: 9429 49.43/49.67 c #Conflicts: 68000 | #Constraints: 10429 49.43/49.67 c #Conflicts: 69000 | #Constraints: 11429 49.43/49.67 c #Conflicts: 70000 | #Constraints: 12429 49.43/49.67 c #Conflicts: 71000 | #Constraints: 13429 49.43/49.67 c #Conflicts: 72000 | #Constraints: 14429 49.43/49.67 c INPROCESSING 49.43/49.67 c GARBAGE COLLECT 49.43/49.67 c rational objective 70 54.83/55.09 c #Conflicts: 73000 | #Constraints: 10029 54.83/55.09 c #Conflicts: 74000 | #Constraints: 11029 54.83/55.09 c #Conflicts: 75000 | #Constraints: 12029 54.83/55.09 c #Conflicts: 76000 | #Constraints: 13029 54.83/55.09 c #Conflicts: 77000 | #Constraints: 14030 54.83/55.09 c #Conflicts: 78000 | #Constraints: 15030 54.83/55.09 c INPROCESSING 54.83/55.09 c GARBAGE COLLECT 54.83/55.09 c rational objective 70 59.21/59.47 c #Conflicts: 79000 | #Constraints: 10439 59.21/59.47 c #Conflicts: 80000 | #Constraints: 11441 59.21/59.47 c #Conflicts: 81000 | #Constraints: 12442 59.21/59.47 c #Conflicts: 82000 | #Constraints: 13442 59.21/59.47 c #Conflicts: 83000 | #Constraints: 14442 59.21/59.47 c #Conflicts: 84000 | #Constraints: 15442 59.21/59.47 c INPROCESSING 59.21/59.47 c GARBAGE COLLECT 59.21/59.47 c rational objective 70 64.00/64.21 c #Conflicts: 85000 | #Constraints: 10643 64.00/64.21 c #Conflicts: 86000 | #Constraints: 11643 64.00/64.21 c #Conflicts: 87000 | #Constraints: 12643 64.00/64.21 c #Conflicts: 88000 | #Constraints: 13643 64.00/64.21 c #Conflicts: 89000 | #Constraints: 14644 64.00/64.21 c #Conflicts: 90000 | #Constraints: 15644 64.00/64.21 c INPROCESSING 64.00/64.21 c GARBAGE COLLECT 64.00/64.21 c rational objective 70 69.59/69.84 c #Conflicts: 91000 | #Constraints: 10652 69.59/69.84 c #Conflicts: 92000 | #Constraints: 11652 69.59/69.84 c #Conflicts: 93000 | #Constraints: 12652 69.59/69.84 c #Conflicts: 94000 | #Constraints: 13652 69.59/69.84 c #Conflicts: 95000 | #Constraints: 14653 69.59/69.84 c #Conflicts: 96000 | #Constraints: 15654 69.59/69.84 c INPROCESSING 69.59/69.84 c GARBAGE COLLECT 69.59/69.84 c rational objective 70 77.78/78.06 c #Conflicts: 97000 | #Constraints: 10459 77.78/78.06 c #Conflicts: 98000 | #Constraints: 11459 77.78/78.06 c #Conflicts: 99000 | #Constraints: 12459 77.78/78.06 c #Conflicts: 100000 | #Constraints: 13459 77.78/78.06 c #Conflicts: 101000 | #Constraints: 14459 77.78/78.06 c #Conflicts: 102000 | #Constraints: 15459 77.78/78.06 c #Conflicts: 103000 | #Constraints: 16459 77.78/78.06 c INPROCESSING 77.78/78.06 c GARBAGE COLLECT 77.78/78.06 c rational objective 70 82.95/83.23 c #Conflicts: 104000 | #Constraints: 11070 82.95/83.23 c #Conflicts: 105000 | #Constraints: 12070 82.95/83.23 c #Conflicts: 106000 | #Constraints: 13070 82.95/83.23 c #Conflicts: 107000 | #Constraints: 14070 82.95/83.23 c #Conflicts: 108000 | #Constraints: 15070 82.95/83.23 c #Conflicts: 109000 | #Constraints: 16070 82.95/83.23 c #Conflicts: 110000 | #Constraints: 17070 82.95/83.23 c INPROCESSING 82.95/83.23 c GARBAGE COLLECT 82.95/83.23 c rational objective 70 87.64/87.93 c #Conflicts: 111000 | #Constraints: 11490 87.64/87.93 c #Conflicts: 112000 | #Constraints: 12490 87.64/87.93 c #Conflicts: 113000 | #Constraints: 13490 87.64/87.93 c #Conflicts: 114000 | #Constraints: 14490 87.64/87.93 c #Conflicts: 115000 | #Constraints: 15490 87.64/87.93 c #Conflicts: 116000 | #Constraints: 16490 87.64/87.93 c #Conflicts: 117000 | #Constraints: 17490 87.64/87.93 c INPROCESSING 87.64/87.93 c GARBAGE COLLECT 87.64/87.93 c rational objective 70 95.73/96.04 c #Conflicts: 118000 | #Constraints: 11664 95.73/96.04 c #Conflicts: 119000 | #Constraints: 12664 95.73/96.04 c #Conflicts: 120000 | #Constraints: 13664 95.73/96.04 c #Conflicts: 121000 | #Constraints: 14665 95.73/96.04 c #Conflicts: 122000 | #Constraints: 15665 95.73/96.04 c #Conflicts: 123000 | #Constraints: 16665 95.73/96.04 c #Conflicts: 124000 | #Constraints: 17665 95.73/96.04 c INPROCESSING 95.73/96.04 c GARBAGE COLLECT 95.73/96.04 c rational objective 70 102.21/102.56 c #Conflicts: 125000 | #Constraints: 11695 102.21/102.56 c #Conflicts: 126000 | #Constraints: 12695 102.21/102.56 c #Conflicts: 127000 | #Constraints: 13695 102.21/102.56 c #Conflicts: 128000 | #Constraints: 14695 102.21/102.56 c #Conflicts: 129000 | #Constraints: 15695 102.21/102.56 c #Conflicts: 130000 | #Constraints: 16695 102.21/102.56 c #Conflicts: 131000 | #Constraints: 17695 102.21/102.56 c INPROCESSING 102.21/102.56 c GARBAGE COLLECT 102.21/102.56 c rational objective 70 107.59/107.92 c #Conflicts: 132000 | #Constraints: 11553 107.59/107.92 c #Conflicts: 133000 | #Constraints: 12553 107.59/107.92 c #Conflicts: 134000 | #Constraints: 13554 107.59/107.92 c #Conflicts: 135000 | #Constraints: 14554 107.59/107.92 c #Conflicts: 136000 | #Constraints: 15555 107.59/107.92 c #Conflicts: 137000 | #Constraints: 16555 107.59/107.92 c #Conflicts: 138000 | #Constraints: 17556 107.59/107.92 c #Conflicts: 139000 | #Constraints: 18556 107.59/107.92 c INPROCESSING 107.59/107.92 c GARBAGE COLLECT 107.59/107.92 c rational objective 70 147.28/147.75 c #Conflicts: 140000 | #Constraints: 12097 147.28/147.75 c #Conflicts: 141000 | #Constraints: 13098 147.28/147.75 c #Conflicts: 142000 | #Constraints: 14099 147.28/147.75 c #Conflicts: 143000 | #Constraints: 15099 147.28/147.75 c #Conflicts: 144000 | #Constraints: 16099 147.28/147.75 c #Conflicts: 145000 | #Constraints: 17099 147.28/147.75 c #Conflicts: 146000 | #Constraints: 18099 147.28/147.75 c #Conflicts: 147000 | #Constraints: 19099 147.28/147.75 c #Conflicts: 148000 | #Constraints: 20099 147.28/147.75 c #Conflicts: 149000 | #Constraints: 21099 147.28/147.75 c #Conflicts: 150000 | #Constraints: 22099 147.28/147.75 c #Conflicts: 151000 | #Constraints: 23099 147.28/147.75 c #Conflicts: 152000 | #Constraints: 24100 147.28/147.75 c #Conflicts: 153000 | #Constraints: 25100 147.28/147.75 c #Conflicts: 154000 | #Constraints: 26100 147.28/147.75 c #Conflicts: 155000 | #Constraints: 27101 147.28/147.75 c #Conflicts: 156000 | #Constraints: 28101 147.28/147.75 c #Conflicts: 157000 | #Constraints: 29101 147.28/147.75 c #Conflicts: 158000 | #Constraints: 30102 147.28/147.75 c #Conflicts: 159000 | #Constraints: 31102 147.28/147.75 c #Conflicts: 160000 | #Constraints: 32103 147.28/147.75 c #Conflicts: 161000 | #Constraints: 33103 147.28/147.75 c #Conflicts: 162000 | #Constraints: 34103 147.28/147.75 c #Conflicts: 163000 | #Constraints: 35103 147.28/147.75 c #Conflicts: 164000 | #Constraints: 36103 147.28/147.75 c #Conflicts: 165000 | #Constraints: 37103 147.28/147.75 c #Conflicts: 166000 | #Constraints: 38103 147.28/147.75 c #Conflicts: 167000 | #Constraints: 39103 147.28/147.75 c #Conflicts: 168000 | #Constraints: 40103 147.28/147.75 c #Conflicts: 169000 | #Constraints: 41103 147.28/147.75 c #Conflicts: 170000 | #Constraints: 42103 147.28/147.75 c #Conflicts: 171000 | #Constraints: 43103 147.28/147.75 c #Conflicts: 172000 | #Constraints: 44103 147.28/147.75 c #Conflicts: 173000 | #Constraints: 45103 147.28/147.75 c #Conflicts: 174000 | #Constraints: 46103 147.28/147.75 c INPROCESSING 147.28/147.75 c GARBAGE COLLECT 147.28/147.75 c rational objective 70 157.45/157.92 c #Conflicts: 175000 | #Constraints: 26070 157.45/157.92 c #Conflicts: 176000 | #Constraints: 27070 157.45/157.92 c #Conflicts: 177000 | #Constraints: 28070 157.45/157.92 c #Conflicts: 178000 | #Constraints: 29071 157.45/157.92 c #Conflicts: 179000 | #Constraints: 30071 157.45/157.92 c #Conflicts: 180000 | #Constraints: 31071 157.45/157.92 c #Conflicts: 181000 | #Constraints: 32071 157.45/157.92 c #Conflicts: 182000 | #Constraints: 33071 157.45/157.92 c INPROCESSING 157.45/157.92 c GARBAGE COLLECT 157.45/157.92 c rational objective 70 164.74/165.27 c #Conflicts: 183000 | #Constraints: 19097 164.74/165.27 c #Conflicts: 184000 | #Constraints: 20097 164.74/165.27 c #Conflicts: 185000 | #Constraints: 21098 164.74/165.27 c #Conflicts: 186000 | #Constraints: 22098 164.74/165.27 c #Conflicts: 187000 | #Constraints: 23098 164.74/165.27 c #Conflicts: 188000 | #Constraints: 24098 164.74/165.27 c #Conflicts: 189000 | #Constraints: 25098 164.74/165.27 c #Conflicts: 190000 | #Constraints: 26098 164.74/165.27 c #Conflicts: 191000 | #Constraints: 27098 164.74/165.27 c #Conflicts: 192000 | #Constraints: 28098 164.74/165.27 c INPROCESSING 164.74/165.27 c GARBAGE COLLECT 164.74/165.27 c rational objective 70 172.53/173.06 c #Conflicts: 193000 | #Constraints: 17087 172.53/173.06 c #Conflicts: 194000 | #Constraints: 18087 172.53/173.06 c #Conflicts: 195000 | #Constraints: 19087 172.53/173.06 c #Conflicts: 196000 | #Constraints: 20087 172.53/173.06 c #Conflicts: 197000 | #Constraints: 21087 172.53/173.06 c #Conflicts: 198000 | #Constraints: 22087 172.53/173.06 c #Conflicts: 199000 | #Constraints: 23087 172.53/173.06 c #Conflicts: 200000 | #Constraints: 24087 172.53/173.06 c #Conflicts: 201000 | #Constraints: 25087 172.53/173.06 c INPROCESSING 172.53/173.06 c GARBAGE COLLECT 172.53/173.06 c rational objective 70 180.20/180.77 c #Conflicts: 202000 | #Constraints: 15386 180.20/180.77 c #Conflicts: 203000 | #Constraints: 16386 180.20/180.77 c #Conflicts: 204000 | #Constraints: 17387 180.20/180.77 c #Conflicts: 205000 | #Constraints: 18387 180.20/180.77 c #Conflicts: 206000 | #Constraints: 19387 180.20/180.77 c #Conflicts: 207000 | #Constraints: 20387 180.20/180.77 c #Conflicts: 208000 | #Constraints: 21387 180.20/180.77 c #Conflicts: 209000 | #Constraints: 22387 180.20/180.77 c #Conflicts: 210000 | #Constraints: 23387 180.20/180.77 c INPROCESSING 180.20/180.77 c GARBAGE COLLECT 180.20/180.77 c rational objective 70 186.59/187.17 c #Conflicts: 211000 | #Constraints: 14287 186.59/187.17 c #Conflicts: 212000 | #Constraints: 15287 186.59/187.17 c #Conflicts: 213000 | #Constraints: 16288 186.59/187.17 c #Conflicts: 214000 | #Constraints: 17289 186.59/187.17 c #Conflicts: 215000 | #Constraints: 18289 186.59/187.17 c #Conflicts: 216000 | #Constraints: 19289 186.59/187.17 c #Conflicts: 217000 | #Constraints: 20289 186.59/187.17 c #Conflicts: 218000 | #Constraints: 21289 186.59/187.17 c #Conflicts: 219000 | #Constraints: 22289 186.59/187.17 c #Conflicts: 220000 | #Constraints: 23289 186.59/187.17 c INPROCESSING 186.59/187.17 c GARBAGE COLLECT 186.59/187.17 c rational objective 70 239.95/240.61 c #Conflicts: 221000 | #Constraints: 14372 239.95/240.61 c #Conflicts: 222000 | #Constraints: 15372 239.95/240.61 c #Conflicts: 223000 | #Constraints: 16372 239.95/240.61 c #Conflicts: 224000 | #Constraints: 17373 239.95/240.61 c #Conflicts: 225000 | #Constraints: 18373 239.95/240.61 c #Conflicts: 226000 | #Constraints: 19373 239.95/240.61 c #Conflicts: 227000 | #Constraints: 20373 239.95/240.61 c #Conflicts: 228000 | #Constraints: 21373 239.95/240.61 c #Conflicts: 229000 | #Constraints: 22373 239.95/240.61 c #Conflicts: 230000 | #Constraints: 23374 239.95/240.61 c #Conflicts: 231000 | #Constraints: 24374 239.95/240.61 c #Conflicts: 232000 | #Constraints: 25375 239.95/240.61 c #Conflicts: 233000 | #Constraints: 26376 239.95/240.61 c #Conflicts: 234000 | #Constraints: 27377 239.95/240.61 c #Conflicts: 235000 | #Constraints: 28378 239.95/240.61 c #Conflicts: 236000 | #Constraints: 29378 239.95/240.61 c #Conflicts: 237000 | #Constraints: 30379 239.95/240.61 c #Conflicts: 238000 | #Constraints: 31379 239.95/240.61 c #Conflicts: 239000 | #Constraints: 32379 239.95/240.61 c #Conflicts: 240000 | #Constraints: 33379 239.95/240.61 c #Conflicts: 241000 | #Constraints: 34379 239.95/240.61 c #Conflicts: 242000 | #Constraints: 35379 239.95/240.61 c #Conflicts: 243000 | #Constraints: 36379 239.95/240.61 c #Conflicts: 244000 | #Constraints: 37379 239.95/240.61 c #Conflicts: 245000 | #Constraints: 38379 239.95/240.61 c #Conflicts: 246000 | #Constraints: 39379 239.95/240.61 c #Conflicts: 247000 | #Constraints: 40379 239.95/240.61 c #Conflicts: 248000 | #Constraints: 41379 239.95/240.61 c #Conflicts: 249000 | #Constraints: 42380 239.95/240.61 c #Conflicts: 250000 | #Constraints: 43380 239.95/240.61 c #Conflicts: 251000 | #Constraints: 44380 239.95/240.61 c #Conflicts: 252000 | #Constraints: 45381 239.95/240.61 c #Conflicts: 253000 | #Constraints: 46381 239.95/240.61 c #Conflicts: 254000 | #Constraints: 47381 239.95/240.61 c #Conflicts: 255000 | #Constraints: 48381 239.95/240.61 c #Conflicts: 256000 | #Constraints: 49381 239.95/240.61 c #Conflicts: 257000 | #Constraints: 50381 239.95/240.61 c #Conflicts: 258000 | #Constraints: 51381 239.95/240.61 c #Conflicts: 259000 | #Constraints: 52381 239.95/240.61 c #Conflicts: 260000 | #Constraints: 53381 239.95/240.61 c #Conflicts: 261000 | #Constraints: 54381 239.95/240.61 c #Conflicts: 262000 | #Constraints: 55381 239.95/240.61 c INPROCESSING 239.95/240.61 c GARBAGE COLLECT 239.95/240.61 c rational objective 70 256.50/257.25 c #Conflicts: 263000 | #Constraints: 30316 256.50/257.25 c #Conflicts: 264000 | #Constraints: 31317 256.50/257.25 c #Conflicts: 265000 | #Constraints: 32317 256.50/257.25 c #Conflicts: 266000 | #Constraints: 33317 256.50/257.25 c #Conflicts: 267000 | #Constraints: 34317 256.50/257.25 c #Conflicts: 268000 | #Constraints: 35317 256.50/257.25 c #Conflicts: 269000 | #Constraints: 36317 256.50/257.25 c #Conflicts: 270000 | #Constraints: 37317 256.50/257.25 c #Conflicts: 271000 | #Constraints: 38317 256.50/257.25 c #Conflicts: 272000 | #Constraints: 39318 256.50/257.25 c #Conflicts: 273000 | #Constraints: 40318 256.50/257.25 c INPROCESSING 256.50/257.25 c GARBAGE COLLECT 256.50/257.25 c rational objective 70 269.28/270.06 c #Conflicts: 274000 | #Constraints: 22765 269.28/270.06 c #Conflicts: 275000 | #Constraints: 23765 269.28/270.06 c #Conflicts: 276000 | #Constraints: 24765 269.28/270.06 c #Conflicts: 277000 | #Constraints: 25765 269.28/270.06 c #Conflicts: 278000 | #Constraints: 26765 269.28/270.06 c #Conflicts: 279000 | #Constraints: 27765 269.28/270.06 c #Conflicts: 280000 | #Constraints: 28765 269.28/270.06 c #Conflicts: 281000 | #Constraints: 29766 269.28/270.06 c #Conflicts: 282000 | #Constraints: 30766 269.28/270.06 c #Conflicts: 283000 | #Constraints: 31766 269.28/270.06 c #Conflicts: 284000 | #Constraints: 32766 269.28/270.06 c #Conflicts: 285000 | #Constraints: 33766 269.28/270.06 c INPROCESSING 269.28/270.06 c GARBAGE COLLECT 269.28/270.06 c rational objective 70 278.36/279.14 c #Conflicts: 286000 | #Constraints: 19922 278.36/279.14 c #Conflicts: 287000 | #Constraints: 20922 278.36/279.14 c #Conflicts: 288000 | #Constraints: 21922 278.36/279.14 c #Conflicts: 289000 | #Constraints: 22922 278.36/279.14 c #Conflicts: 290000 | #Constraints: 23922 278.36/279.14 c #Conflicts: 291000 | #Constraints: 24922 278.36/279.14 c #Conflicts: 292000 | #Constraints: 25922 278.36/279.14 c #Conflicts: 293000 | #Constraints: 26922 278.36/279.14 c #Conflicts: 294000 | #Constraints: 27922 278.36/279.14 c #Conflicts: 295000 | #Constraints: 28922 278.36/279.14 c #Conflicts: 296000 | #Constraints: 29922 278.36/279.14 c INPROCESSING 278.36/279.14 c GARBAGE COLLECT 278.36/279.14 c rational objective 70 286.93/287.74 c #Conflicts: 297000 | #Constraints: 17784 286.93/287.74 c #Conflicts: 298000 | #Constraints: 18784 286.93/287.74 c #Conflicts: 299000 | #Constraints: 19784 286.93/287.74 c #Conflicts: 300000 | #Constraints: 20784 286.93/287.74 c #Conflicts: 301000 | #Constraints: 21784 286.93/287.74 c #Conflicts: 302000 | #Constraints: 22784 286.93/287.74 c #Conflicts: 303000 | #Constraints: 23784 286.93/287.74 c #Conflicts: 304000 | #Constraints: 24785 286.93/287.74 c #Conflicts: 305000 | #Constraints: 25785 286.93/287.74 c #Conflicts: 306000 | #Constraints: 26785 286.93/287.74 c #Conflicts: 307000 | #Constraints: 27785 286.93/287.74 c #Conflicts: 308000 | #Constraints: 28785 286.93/287.74 c INPROCESSING 286.93/287.74 c GARBAGE COLLECT 286.93/287.74 c rational objective 70 359.73/360.72 c #Conflicts: 309000 | #Constraints: 17428 359.73/360.72 c #Conflicts: 310000 | #Constraints: 18430 359.73/360.72 c #Conflicts: 311000 | #Constraints: 19430 359.73/360.72 c #Conflicts: 312000 | #Constraints: 20431 359.73/360.72 c #Conflicts: 313000 | #Constraints: 21431 359.73/360.72 c #Conflicts: 314000 | #Constraints: 22431 359.73/360.72 c #Conflicts: 315000 | #Constraints: 23431 359.73/360.72 c #Conflicts: 316000 | #Constraints: 24431 359.73/360.72 c #Conflicts: 317000 | #Constraints: 25431 359.73/360.72 c #Conflicts: 318000 | #Constraints: 26431 359.73/360.72 c #Conflicts: 319000 | #Constraints: 27431 359.73/360.72 c #Conflicts: 320000 | #Constraints: 28432 359.73/360.72 c #Conflicts: 321000 | #Constraints: 29432 359.73/360.72 c #Conflicts: 322000 | #Constraints: 30432 359.73/360.72 c #Conflicts: 323000 | #Constraints: 31432 359.73/360.72 c #Conflicts: 324000 | #Constraints: 32432 359.73/360.72 c #Conflicts: 325000 | #Constraints: 33432 359.73/360.72 c #Conflicts: 326000 | #Constraints: 34432 359.73/360.72 c #Conflicts: 327000 | #Constraints: 35432 359.73/360.72 c #Conflicts: 328000 | #Constraints: 36432 359.73/360.72 c #Conflicts: 329000 | #Constraints: 37432 359.73/360.72 c #Conflicts: 330000 | #Constraints: 38432 359.73/360.72 c #Conflicts: 331000 | #Constraints: 39432 359.73/360.72 c #Conflicts: 332000 | #Constraints: 40432 359.73/360.72 c #Conflicts: 333000 | #Constraints: 41432 359.73/360.72 c #Conflicts: 334000 | #Constraints: 42432 359.73/360.72 c #Conflicts: 335000 | #Constraints: 43432 359.73/360.72 c #Conflicts: 336000 | #Constraints: 44432 359.73/360.72 c #Conflicts: 337000 | #Constraints: 45432 359.73/360.72 c #Conflicts: 338000 | #Constraints: 46432 359.73/360.72 c #Conflicts: 339000 | #Constraints: 47433 359.73/360.72 c #Conflicts: 340000 | #Constraints: 48433 359.73/360.72 c #Conflicts: 341000 | #Constraints: 49433 359.73/360.72 c #Conflicts: 342000 | #Constraints: 50433 359.73/360.72 c #Conflicts: 343000 | #Constraints: 51433 359.73/360.72 c #Conflicts: 344000 | #Constraints: 52433 359.73/360.72 c #Conflicts: 345000 | #Constraints: 53433 359.73/360.72 c #Conflicts: 346000 | #Constraints: 54433 359.73/360.72 c #Conflicts: 347000 | #Constraints: 55433 359.73/360.72 c #Conflicts: 348000 | #Constraints: 56433 359.73/360.72 c #Conflicts: 349000 | #Constraints: 57433 359.73/360.72 c #Conflicts: 350000 | #Constraints: 58434 359.73/360.72 c #Conflicts: 351000 | #Constraints: 59434 359.73/360.72 c #Conflicts: 352000 | #Constraints: 60434 359.73/360.72 c #Conflicts: 353000 | #Constraints: 61434 359.73/360.72 c #Conflicts: 354000 | #Constraints: 62434 359.73/360.72 c #Conflicts: 355000 | #Constraints: 63434 359.73/360.72 c #Conflicts: 356000 | #Constraints: 64434 359.73/360.72 c INPROCESSING 359.73/360.72 c GARBAGE COLLECT 359.73/360.72 c rational objective 70 377.38/378.43 c #Conflicts: 357000 | #Constraints: 34854 377.38/378.43 c #Conflicts: 358000 | #Constraints: 35854 377.38/378.43 c #Conflicts: 359000 | #Constraints: 36854 377.38/378.43 c #Conflicts: 360000 | #Constraints: 37854 377.38/378.43 c #Conflicts: 361000 | #Constraints: 38854 377.38/378.43 c #Conflicts: 362000 | #Constraints: 39854 377.38/378.43 c #Conflicts: 363000 | #Constraints: 40854 377.38/378.43 c #Conflicts: 364000 | #Constraints: 41854 377.38/378.43 c #Conflicts: 365000 | #Constraints: 42854 377.38/378.43 c #Conflicts: 366000 | #Constraints: 43854 377.38/378.43 c #Conflicts: 367000 | #Constraints: 44854 377.38/378.43 c #Conflicts: 368000 | #Constraints: 45854 377.38/378.43 c #Conflicts: 369000 | #Constraints: 46854 377.38/378.43 c INPROCESSING 377.38/378.43 c GARBAGE COLLECT 377.38/378.43 c rational objective 70 394.24/395.37 c #Conflicts: 370000 | #Constraints: 26153 394.24/395.37 c #Conflicts: 371000 | #Constraints: 27153 394.24/395.37 c #Conflicts: 372000 | #Constraints: 28153 394.24/395.37 c #Conflicts: 373000 | #Constraints: 29153 394.24/395.37 c #Conflicts: 374000 | #Constraints: 30153 394.24/395.37 c #Conflicts: 375000 | #Constraints: 31153 394.24/395.37 c #Conflicts: 376000 | #Constraints: 32153 394.24/395.37 c #Conflicts: 377000 | #Constraints: 33153 394.24/395.37 c #Conflicts: 378000 | #Constraints: 34153 394.24/395.37 c #Conflicts: 379000 | #Constraints: 35154 394.24/395.37 c #Conflicts: 380000 | #Constraints: 36154 394.24/395.37 c #Conflicts: 381000 | #Constraints: 37154 394.24/395.37 c #Conflicts: 382000 | #Constraints: 38154 394.24/395.37 c INPROCESSING 394.24/395.37 c GARBAGE COLLECT 394.24/395.37 c rational objective 70 411.10/412.27 c #Conflicts: 383000 | #Constraints: 21785 411.10/412.27 c #Conflicts: 384000 | #Constraints: 22785 411.10/412.27 c #Conflicts: 385000 | #Constraints: 23785 411.10/412.27 c #Conflicts: 386000 | #Constraints: 24785 411.10/412.27 c #Conflicts: 387000 | #Constraints: 25785 411.10/412.27 c #Conflicts: 388000 | #Constraints: 26785 411.10/412.27 c #Conflicts: 389000 | #Constraints: 27785 411.10/412.27 c #Conflicts: 390000 | #Constraints: 28785 411.10/412.27 c #Conflicts: 391000 | #Constraints: 29786 411.10/412.27 c #Conflicts: 392000 | #Constraints: 30786 411.10/412.27 c #Conflicts: 393000 | #Constraints: 31786 411.10/412.27 c #Conflicts: 394000 | #Constraints: 32786 411.10/412.27 c #Conflicts: 395000 | #Constraints: 33787 411.10/412.27 c #Conflicts: 396000 | #Constraints: 34787 411.10/412.27 c INPROCESSING 411.10/412.27 c GARBAGE COLLECT 411.10/412.27 c rational objective 70 427.97/429.15 c #Conflicts: 397000 | #Constraints: 20441 427.97/429.15 c #Conflicts: 398000 | #Constraints: 21441 427.97/429.15 c #Conflicts: 399000 | #Constraints: 22441 427.97/429.15 c #Conflicts: 400000 | #Constraints: 23441 427.97/429.15 c #Conflicts: 401000 | #Constraints: 24441 427.97/429.15 c #Conflicts: 402000 | #Constraints: 25441 427.97/429.15 c #Conflicts: 403000 | #Constraints: 26441 427.97/429.15 c #Conflicts: 404000 | #Constraints: 27441 427.97/429.15 c #Conflicts: 405000 | #Constraints: 28441 427.97/429.15 c #Conflicts: 406000 | #Constraints: 29441 427.97/429.15 c #Conflicts: 407000 | #Constraints: 30441 427.97/429.15 c #Conflicts: 408000 | #Constraints: 31441 427.97/429.15 c #Conflicts: 409000 | #Constraints: 32442 427.97/429.15 c INPROCESSING 427.97/429.15 c GARBAGE COLLECT 427.97/429.15 c rational objective 70 521.21/522.68 c #Conflicts: 410000 | #Constraints: 18972 521.21/522.68 c #Conflicts: 411000 | #Constraints: 19972 521.21/522.68 c #Conflicts: 412000 | #Constraints: 20972 521.21/522.68 c #Conflicts: 413000 | #Constraints: 21972 521.21/522.68 c #Conflicts: 414000 | #Constraints: 22972 521.21/522.68 c #Conflicts: 415000 | #Constraints: 23972 521.21/522.68 c #Conflicts: 416000 | #Constraints: 24972 521.21/522.68 c #Conflicts: 417000 | #Constraints: 25972 521.21/522.68 c #Conflicts: 418000 | #Constraints: 26972 521.21/522.68 c #Conflicts: 419000 | #Constraints: 27973 521.21/522.68 c #Conflicts: 420000 | #Constraints: 28973 521.21/522.68 c #Conflicts: 421000 | #Constraints: 29973 521.21/522.68 c #Conflicts: 422000 | #Constraints: 30973 521.21/522.68 c #Conflicts: 423000 | #Constraints: 31973 521.21/522.68 c #Conflicts: 424000 | #Constraints: 32974 521.21/522.68 c #Conflicts: 425000 | #Constraints: 33974 521.21/522.68 c #Conflicts: 426000 | #Constraints: 34974 521.21/522.68 c #Conflicts: 427000 | #Constraints: 35974 521.21/522.68 c #Conflicts: 428000 | #Constraints: 36974 521.21/522.68 c #Conflicts: 429000 | #Constraints: 37974 521.21/522.68 c #Conflicts: 430000 | #Constraints: 38974 521.21/522.68 c #Conflicts: 431000 | #Constraints: 39974 521.21/522.68 c #Conflicts: 432000 | #Constraints: 40974 521.21/522.68 c #Conflicts: 433000 | #Constraints: 41974 521.21/522.68 c #Conflicts: 434000 | #Constraints: 42974 521.21/522.68 c #Conflicts: 435000 | #Constraints: 43974 521.21/522.68 c #Conflicts: 436000 | #Constraints: 44974 521.21/522.68 c #Conflicts: 437000 | #Constraints: 45974 521.21/522.68 c #Conflicts: 438000 | #Constraints: 46974 521.21/522.68 c #Conflicts: 439000 | #Constraints: 47975 521.21/522.68 c #Conflicts: 440000 | #Constraints: 48975 521.21/522.68 c #Conflicts: 441000 | #Constraints: 49975 521.21/522.68 c #Conflicts: 442000 | #Constraints: 50975 521.21/522.68 c #Conflicts: 443000 | #Constraints: 51975 521.21/522.68 c #Conflicts: 444000 | #Constraints: 52975 521.21/522.68 c #Conflicts: 445000 | #Constraints: 53975 521.21/522.68 c #Conflicts: 446000 | #Constraints: 54975 521.21/522.68 c #Conflicts: 447000 | #Constraints: 55975 521.21/522.68 c #Conflicts: 448000 | #Constraints: 56975 521.21/522.68 c #Conflicts: 449000 | #Constraints: 57975 521.21/522.68 c #Conflicts: 450000 | #Constraints: 58975 521.21/522.68 c #Conflicts: 451000 | #Constraints: 59975 521.21/522.68 c #Conflicts: 452000 | #Constraints: 60975 521.21/522.68 c #Conflicts: 453000 | #Constraints: 61975 521.21/522.68 c #Conflicts: 454000 | #Constraints: 62976 521.21/522.68 c #Conflicts: 455000 | #Constraints: 63976 521.21/522.68 c #Conflicts: 456000 | #Constraints: 64976 521.21/522.68 c #Conflicts: 457000 | #Constraints: 65976 521.21/522.68 c #Conflicts: 458000 | #Constraints: 66976 521.21/522.68 c #Conflicts: 459000 | #Constraints: 67976 521.21/522.68 c #Conflicts: 460000 | #Constraints: 68976 521.21/522.68 c #Conflicts: 461000 | #Constraints: 69976 521.21/522.68 c #Conflicts: 462000 | #Constraints: 70976 521.21/522.68 c #Conflicts: 463000 | #Constraints: 71976 521.21/522.68 c #Conflicts: 464000 | #Constraints: 72976 521.21/522.68 c INPROCESSING 521.21/522.68 c GARBAGE COLLECT 521.21/522.68 c rational objective 70 549.64/551.15 c #Conflicts: 465000 | #Constraints: 39257 549.64/551.15 c #Conflicts: 466000 | #Constraints: 40257 549.64/551.15 c #Conflicts: 467000 | #Constraints: 41257 549.64/551.15 c #Conflicts: 468000 | #Constraints: 42257 549.64/551.15 c #Conflicts: 469000 | #Constraints: 43257 549.64/551.15 c #Conflicts: 470000 | #Constraints: 44257 549.64/551.15 c #Conflicts: 471000 | #Constraints: 45257 549.64/551.15 c #Conflicts: 472000 | #Constraints: 46257 549.64/551.15 c #Conflicts: 473000 | #Constraints: 47257 549.64/551.15 c #Conflicts: 474000 | #Constraints: 48257 549.64/551.15 c #Conflicts: 475000 | #Constraints: 49257 549.64/551.15 c #Conflicts: 476000 | #Constraints: 50257 549.64/551.15 c #Conflicts: 477000 | #Constraints: 51257 549.64/551.15 c #Conflicts: 478000 | #Constraints: 52257 549.64/551.15 c #Conflicts: 479000 | #Constraints: 53257 549.64/551.15 c INPROCESSING 549.64/551.15 c GARBAGE COLLECT 549.64/551.15 c rational objective 70 569.38/570.98 c #Conflicts: 480000 | #Constraints: 29474 569.38/570.98 c #Conflicts: 481000 | #Constraints: 30474 569.38/570.98 c #Conflicts: 482000 | #Constraints: 31474 569.38/570.98 c #Conflicts: 483000 | #Constraints: 32476 569.38/570.98 c #Conflicts: 484000 | #Constraints: 33477 569.38/570.98 c #Conflicts: 485000 | #Constraints: 34477 569.38/570.98 c #Conflicts: 486000 | #Constraints: 35477 569.38/570.98 c #Conflicts: 487000 | #Constraints: 36477 569.38/570.98 c #Conflicts: 488000 | #Constraints: 37477 569.38/570.98 c #Conflicts: 489000 | #Constraints: 38477 569.38/570.98 c #Conflicts: 490000 | #Constraints: 39477 569.38/570.98 c #Conflicts: 491000 | #Constraints: 40477 569.38/570.98 c #Conflicts: 492000 | #Constraints: 41477 569.38/570.98 c #Conflicts: 493000 | #Constraints: 42477 569.38/570.98 c #Conflicts: 494000 | #Constraints: 43477 569.38/570.98 c INPROCESSING 569.38/570.98 c GARBAGE COLLECT 569.38/570.98 c rational objective 70 591.12/592.77 c #Conflicts: 495000 | #Constraints: 24629 591.12/592.77 c #Conflicts: 496000 | #Constraints: 25629 591.12/592.77 c #Conflicts: 497000 | #Constraints: 26629 591.12/592.77 c #Conflicts: 498000 | #Constraints: 27630 591.12/592.77 c #Conflicts: 499000 | #Constraints: 28631 591.12/592.77 c #Conflicts: 500000 | #Constraints: 29631 591.12/592.77 c #Conflicts: 501000 | #Constraints: 30631 591.12/592.77 c #Conflicts: 502000 | #Constraints: 31631 591.12/592.77 c #Conflicts: 503000 | #Constraints: 32631 591.12/592.77 c #Conflicts: 504000 | #Constraints: 33631 591.12/592.77 c #Conflicts: 505000 | #Constraints: 34631 591.12/592.77 c #Conflicts: 506000 | #Constraints: 35631 591.12/592.77 c #Conflicts: 507000 | #Constraints: 36631 591.12/592.77 c #Conflicts: 508000 | #Constraints: 37631 591.12/592.77 c #Conflicts: 509000 | #Constraints: 38631 591.12/592.77 c INPROCESSING 591.12/592.77 c GARBAGE COLLECT 591.12/592.77 c rational objective 70 604.40/606.05 c #Conflicts: 510000 | #Constraints: 22104 604.40/606.05 c #Conflicts: 511000 | #Constraints: 23104 604.40/606.05 c #Conflicts: 512000 | #Constraints: 24104 604.40/606.05 c #Conflicts: 513000 | #Constraints: 25104 604.40/606.05 c #Conflicts: 514000 | #Constraints: 26104 604.40/606.05 c #Conflicts: 515000 | #Constraints: 27104 604.40/606.05 c #Conflicts: 516000 | #Constraints: 28104 604.40/606.05 c #Conflicts: 517000 | #Constraints: 29104 604.40/606.05 c #Conflicts: 518000 | #Constraints: 30104 604.40/606.05 c #Conflicts: 519000 | #Constraints: 31104 604.40/606.05 c #Conflicts: 520000 | #Constraints: 32104 604.40/606.05 c #Conflicts: 521000 | #Constraints: 33104 604.40/606.05 c #Conflicts: 522000 | #Constraints: 34104 604.40/606.05 c #Conflicts: 523000 | #Constraints: 35105 604.40/606.05 c #Conflicts: 524000 | #Constraints: 36105 604.40/606.05 c #Conflicts: 525000 | #Constraints: 37105 604.40/606.05 c INPROCESSING 604.40/606.05 c GARBAGE COLLECT 604.40/606.05 c rational objective 70 619.37/621.09 c #Conflicts: 526000 | #Constraints: 21586 619.37/621.09 c #Conflicts: 527000 | #Constraints: 22586 619.37/621.09 c #Conflicts: 528000 | #Constraints: 23586 619.37/621.09 c #Conflicts: 529000 | #Constraints: 24586 619.37/621.09 c #Conflicts: 530000 | #Constraints: 25586 619.37/621.09 c #Conflicts: 531000 | #Constraints: 26586 619.37/621.09 c #Conflicts: 532000 | #Constraints: 27586 619.37/621.09 c #Conflicts: 533000 | #Constraints: 28586 619.37/621.09 c #Conflicts: 534000 | #Constraints: 29586 619.37/621.09 c #Conflicts: 535000 | #Constraints: 30586 619.37/621.09 c #Conflicts: 536000 | #Constraints: 31586 619.37/621.09 c #Conflicts: 537000 | #Constraints: 32586 619.37/621.09 c #Conflicts: 538000 | #Constraints: 33586 619.37/621.09 c #Conflicts: 539000 | #Constraints: 34586 619.37/621.09 c #Conflicts: 540000 | #Constraints: 35586 619.37/621.09 c INPROCESSING 619.37/621.09 c GARBAGE COLLECT 619.37/621.09 c rational objective 70 746.60/748.69 c #Conflicts: 541000 | #Constraints: 20539 746.60/748.69 c #Conflicts: 542000 | #Constraints: 21539 746.60/748.69 c #Conflicts: 543000 | #Constraints: 22540 746.60/748.69 c #Conflicts: 544000 | #Constraints: 23540 746.60/748.69 c #Conflicts: 545000 | #Constraints: 24540 746.60/748.69 c #Conflicts: 546000 | #Constraints: 25540 746.60/748.69 c #Conflicts: 547000 | #Constraints: 26540 746.60/748.69 c #Conflicts: 548000 | #Constraints: 27540 746.60/748.69 c #Conflicts: 549000 | #Constraints: 28540 746.60/748.69 c #Conflicts: 550000 | #Constraints: 29540 746.60/748.69 c #Conflicts: 551000 | #Constraints: 30540 746.60/748.69 c #Conflicts: 552000 | #Constraints: 31540 746.60/748.69 c #Conflicts: 553000 | #Constraints: 32540 746.60/748.69 c #Conflicts: 554000 | #Constraints: 33540 746.60/748.69 c #Conflicts: 555000 | #Constraints: 34541 746.60/748.69 c #Conflicts: 556000 | #Constraints: 35541 746.60/748.69 c #Conflicts: 557000 | #Constraints: 36541 746.60/748.69 c #Conflicts: 558000 | #Constraints: 37541 746.60/748.69 c #Conflicts: 559000 | #Constraints: 38542 746.60/748.69 c #Conflicts: 560000 | #Constraints: 39542 746.60/748.69 c #Conflicts: 561000 | #Constraints: 40542 746.60/748.69 c #Conflicts: 562000 | #Constraints: 41542 746.60/748.69 c #Conflicts: 563000 | #Constraints: 42542 746.60/748.69 c #Conflicts: 564000 | #Constraints: 43542 746.60/748.69 c #Conflicts: 565000 | #Constraints: 44542 746.60/748.69 c #Conflicts: 566000 | #Constraints: 45542 746.60/748.69 c #Conflicts: 567000 | #Constraints: 46542 746.60/748.69 c #Conflicts: 568000 | #Constraints: 47542 746.60/748.69 c #Conflicts: 569000 | #Constraints: 48543 746.60/748.69 c #Conflicts: 570000 | #Constraints: 49543 746.60/748.69 c #Conflicts: 571000 | #Constraints: 50543 746.60/748.69 c #Conflicts: 572000 | #Constraints: 51543 746.60/748.69 c #Conflicts: 573000 | #Constraints: 52543 746.60/748.69 c #Conflicts: 574000 | #Constraints: 53543 746.60/748.69 c #Conflicts: 575000 | #Constraints: 54543 746.60/748.69 c #Conflicts: 576000 | #Constraints: 55543 746.60/748.69 c #Conflicts: 577000 | #Constraints: 56543 746.60/748.69 c #Conflicts: 578000 | #Constraints: 57543 746.60/748.69 c #Conflicts: 579000 | #Constraints: 58543 746.60/748.69 c #Conflicts: 580000 | #Constraints: 59543 746.60/748.69 c #Conflicts: 581000 | #Constraints: 60544 746.60/748.69 c #Conflicts: 582000 | #Constraints: 61544 746.60/748.69 c #Conflicts: 583000 | #Constraints: 62544 746.60/748.69 c #Conflicts: 584000 | #Constraints: 63544 746.60/748.69 c #Conflicts: 585000 | #Constraints: 64544 746.60/748.69 c #Conflicts: 586000 | #Constraints: 65544 746.60/748.69 c #Conflicts: 587000 | #Constraints: 66544 746.60/748.69 c #Conflicts: 588000 | #Constraints: 67544 746.60/748.69 c #Conflicts: 589000 | #Constraints: 68544 746.60/748.69 c #Conflicts: 590000 | #Constraints: 69544 746.60/748.69 c #Conflicts: 591000 | #Constraints: 70544 746.60/748.69 c #Conflicts: 592000 | #Constraints: 71544 746.60/748.69 c #Conflicts: 593000 | #Constraints: 72544 746.60/748.69 c #Conflicts: 594000 | #Constraints: 73544 746.60/748.69 c #Conflicts: 595000 | #Constraints: 74544 746.60/748.69 c #Conflicts: 596000 | #Constraints: 75544 746.60/748.69 c #Conflicts: 597000 | #Constraints: 76544 746.60/748.69 c #Conflicts: 598000 | #Constraints: 77544 746.60/748.69 c #Conflicts: 599000 | #Constraints: 78544 746.60/748.69 c #Conflicts: 600000 | #Constraints: 79544 746.60/748.69 c #Conflicts: 601000 | #Constraints: 80544 746.60/748.69 c #Conflicts: 602000 | #Constraints: 81544 746.60/748.69 c #Conflicts: 603000 | #Constraints: 82544 746.60/748.69 c INPROCESSING 746.60/748.69 c GARBAGE COLLECT 746.60/748.69 c rational objective 70 780.80/783.00 c #Conflicts: 604000 | #Constraints: 44226 780.80/783.00 c #Conflicts: 605000 | #Constraints: 45226 780.80/783.00 c #Conflicts: 606000 | #Constraints: 46226 780.80/783.00 c #Conflicts: 607000 | #Constraints: 47226 780.80/783.00 c #Conflicts: 608000 | #Constraints: 48226 780.80/783.00 c #Conflicts: 609000 | #Constraints: 49226 780.80/783.00 c #Conflicts: 610000 | #Constraints: 50226 780.80/783.00 c #Conflicts: 611000 | #Constraints: 51226 780.80/783.00 c #Conflicts: 612000 | #Constraints: 52226 780.80/783.00 c #Conflicts: 613000 | #Constraints: 53226 780.80/783.00 c #Conflicts: 614000 | #Constraints: 54226 780.80/783.00 c #Conflicts: 615000 | #Constraints: 55226 780.80/783.00 c #Conflicts: 616000 | #Constraints: 56226 780.80/783.00 c #Conflicts: 617000 | #Constraints: 57227 780.80/783.00 c #Conflicts: 618000 | #Constraints: 58227 780.80/783.00 c #Conflicts: 619000 | #Constraints: 59227 780.80/783.00 c #Conflicts: 620000 | #Constraints: 60227 780.80/783.00 c INPROCESSING 780.80/783.00 c GARBAGE COLLECT 780.80/783.00 c rational objective 70 804.43/806.69 c #Conflicts: 621000 | #Constraints: 33142 804.43/806.69 c #Conflicts: 622000 | #Constraints: 34142 804.43/806.69 c #Conflicts: 623000 | #Constraints: 35142 804.43/806.69 c #Conflicts: 624000 | #Constraints: 36142 804.43/806.69 c #Conflicts: 625000 | #Constraints: 37142 804.43/806.69 c #Conflicts: 626000 | #Constraints: 38142 804.43/806.69 c #Conflicts: 627000 | #Constraints: 39142 804.43/806.69 c #Conflicts: 628000 | #Constraints: 40142 804.43/806.69 c #Conflicts: 629000 | #Constraints: 41142 804.43/806.69 c #Conflicts: 630000 | #Constraints: 42142 804.43/806.69 c #Conflicts: 631000 | #Constraints: 43142 804.43/806.69 c #Conflicts: 632000 | #Constraints: 44143 804.43/806.69 c #Conflicts: 633000 | #Constraints: 45143 804.43/806.69 c #Conflicts: 634000 | #Constraints: 46144 804.43/806.69 c #Conflicts: 635000 | #Constraints: 47144 804.43/806.69 c #Conflicts: 636000 | #Constraints: 48144 804.43/806.69 c #Conflicts: 637000 | #Constraints: 49144 804.43/806.69 c INPROCESSING 804.43/806.69 c GARBAGE COLLECT 804.43/806.69 c rational objective 70 822.99/825.20 c #Conflicts: 638000 | #Constraints: 27515 822.99/825.20 c #Conflicts: 639000 | #Constraints: 28515 822.99/825.20 c #Conflicts: 640000 | #Constraints: 29515 822.99/825.20 c #Conflicts: 641000 | #Constraints: 30515 822.99/825.20 c #Conflicts: 642000 | #Constraints: 31515 822.99/825.20 c #Conflicts: 643000 | #Constraints: 32515 822.99/825.20 c #Conflicts: 644000 | #Constraints: 33515 822.99/825.20 c #Conflicts: 645000 | #Constraints: 34515 822.99/825.20 c #Conflicts: 646000 | #Constraints: 35515 822.99/825.20 c #Conflicts: 647000 | #Constraints: 36515 822.99/825.20 c #Conflicts: 648000 | #Constraints: 37515 822.99/825.20 c #Conflicts: 649000 | #Constraints: 38515 822.99/825.20 c #Conflicts: 650000 | #Constraints: 39515 822.99/825.20 c #Conflicts: 651000 | #Constraints: 40515 822.99/825.20 c #Conflicts: 652000 | #Constraints: 41515 822.99/825.20 c #Conflicts: 653000 | #Constraints: 42515 822.99/825.20 c #Conflicts: 654000 | #Constraints: 43515 822.99/825.20 c INPROCESSING 822.99/825.20 c GARBAGE COLLECT 822.99/825.20 c rational objective 70 844.23/846.57 c #Conflicts: 655000 | #Constraints: 24585 844.23/846.57 c #Conflicts: 656000 | #Constraints: 25585 844.23/846.57 c #Conflicts: 657000 | #Constraints: 26585 844.23/846.57 c #Conflicts: 658000 | #Constraints: 27585 844.23/846.57 c #Conflicts: 659000 | #Constraints: 28585 844.23/846.57 c #Conflicts: 660000 | #Constraints: 29585 844.23/846.57 c #Conflicts: 661000 | #Constraints: 30585 844.23/846.57 c #Conflicts: 662000 | #Constraints: 31586 844.23/846.57 c #Conflicts: 663000 | #Constraints: 32586 844.23/846.57 c #Conflicts: 664000 | #Constraints: 33586 844.23/846.57 c #Conflicts: 665000 | #Constraints: 34587 844.23/846.57 c #Conflicts: 666000 | #Constraints: 35587 844.23/846.57 c #Conflicts: 667000 | #Constraints: 36587 844.23/846.57 c #Conflicts: 668000 | #Constraints: 37587 844.23/846.57 c #Conflicts: 669000 | #Constraints: 38587 844.23/846.57 c #Conflicts: 670000 | #Constraints: 39587 844.23/846.57 c #Conflicts: 671000 | #Constraints: 40587 844.23/846.57 c #Conflicts: 672000 | #Constraints: 41587 844.23/846.57 c INPROCESSING 844.23/846.57 c GARBAGE COLLECT 844.23/846.57 c rational objective 70 865.28/867.67 c #Conflicts: 673000 | #Constraints: 23873 865.28/867.67 c #Conflicts: 674000 | #Constraints: 24873 865.28/867.67 c #Conflicts: 675000 | #Constraints: 25873 865.28/867.67 c #Conflicts: 676000 | #Constraints: 26873 865.28/867.67 c #Conflicts: 677000 | #Constraints: 27873 865.28/867.67 c #Conflicts: 678000 | #Constraints: 28873 865.28/867.67 c #Conflicts: 679000 | #Constraints: 29873 865.28/867.67 c #Conflicts: 680000 | #Constraints: 30873 865.28/867.67 c #Conflicts: 681000 | #Constraints: 31873 865.28/867.67 c #Conflicts: 682000 | #Constraints: 32874 865.28/867.67 c #Conflicts: 683000 | #Constraints: 33874 865.28/867.67 c #Conflicts: 684000 | #Constraints: 34874 865.28/867.67 c #Conflicts: 685000 | #Constraints: 35874 865.28/867.67 c #Conflicts: 686000 | #Constraints: 36875 865.28/867.67 c #Conflicts: 687000 | #Constraints: 37876 865.28/867.67 c #Conflicts: 688000 | #Constraints: 38876 865.28/867.67 c #Conflicts: 689000 | #Constraints: 39876 865.28/867.67 c INPROCESSING 865.28/867.67 c GARBAGE COLLECT 865.28/867.67 c rational objective 70 1014.92/1017.74 c #Conflicts: 690000 | #Constraints: 22643 1014.92/1017.74 c #Conflicts: 691000 | #Constraints: 23643 1014.92/1017.74 c #Conflicts: 692000 | #Constraints: 24643 1014.92/1017.74 c #Conflicts: 693000 | #Constraints: 25643 1014.92/1017.74 c #Conflicts: 694000 | #Constraints: 26643 1014.92/1017.74 c #Conflicts: 695000 | #Constraints: 27643 1014.92/1017.74 c #Conflicts: 696000 | #Constraints: 28643 1014.92/1017.74 c #Conflicts: 697000 | #Constraints: 29643 1014.92/1017.74 c #Conflicts: 698000 | #Constraints: 30643 1014.92/1017.74 c #Conflicts: 699000 | #Constraints: 31643 1014.92/1017.74 c #Conflicts: 700000 | #Constraints: 32643 1014.92/1017.74 c #Conflicts: 701000 | #Constraints: 33643 1014.92/1017.74 c #Conflicts: 702000 | #Constraints: 34643 1014.92/1017.74 c #Conflicts: 703000 | #Constraints: 35643 1014.92/1017.74 c #Conflicts: 704000 | #Constraints: 36643 1014.92/1017.74 c #Conflicts: 705000 | #Constraints: 37643 1014.92/1017.74 c #Conflicts: 706000 | #Constraints: 38643 1014.92/1017.74 c #Conflicts: 707000 | #Constraints: 39643 1014.92/1017.74 c #Conflicts: 708000 | #Constraints: 40643 1014.92/1017.74 c #Conflicts: 709000 | #Constraints: 41643 1014.92/1017.74 c #Conflicts: 710000 | #Constraints: 42643 1014.92/1017.74 c #Conflicts: 711000 | #Constraints: 43643 1014.92/1017.74 c #Conflicts: 712000 | #Constraints: 44643 1014.92/1017.74 c #Conflicts: 713000 | #Constraints: 45643 1014.92/1017.74 c #Conflicts: 714000 | #Constraints: 46643 1014.92/1017.74 c #Conflicts: 715000 | #Constraints: 47643 1014.92/1017.74 c #Conflicts: 716000 | #Constraints: 48643 1014.92/1017.74 c #Conflicts: 717000 | #Constraints: 49643 1014.92/1017.74 c #Conflicts: 718000 | #Constraints: 50643 1014.92/1017.74 c #Conflicts: 719000 | #Constraints: 51643 1014.92/1017.74 c #Conflicts: 720000 | #Constraints: 52643 1014.92/1017.74 c #Conflicts: 721000 | #Constraints: 53643 1014.92/1017.74 c #Conflicts: 722000 | #Constraints: 54643 1014.92/1017.74 c #Conflicts: 723000 | #Constraints: 55643 1014.92/1017.74 c #Conflicts: 724000 | #Constraints: 56643 1014.92/1017.74 c #Conflicts: 725000 | #Constraints: 57643 1014.92/1017.74 c #Conflicts: 726000 | #Constraints: 58643 1014.92/1017.74 c #Conflicts: 727000 | #Constraints: 59643 1014.92/1017.74 c #Conflicts: 728000 | #Constraints: 60643 1014.92/1017.74 c #Conflicts: 729000 | #Constraints: 61643 1014.92/1017.74 c #Conflicts: 730000 | #Constraints: 62643 1014.92/1017.74 c #Conflicts: 731000 | #Constraints: 63643 1014.92/1017.74 c #Conflicts: 732000 | #Constraints: 64643 1014.92/1017.74 c #Conflicts: 733000 | #Constraints: 65643 1014.92/1017.74 c #Conflicts: 734000 | #Constraints: 66643 1014.92/1017.74 c #Conflicts: 735000 | #Constraints: 67643 1014.92/1017.74 c #Conflicts: 736000 | #Constraints: 68643 1014.92/1017.74 c #Conflicts: 737000 | #Constraints: 69643 1014.92/1017.74 c #Conflicts: 738000 | #Constraints: 70643 1014.92/1017.74 c #Conflicts: 739000 | #Constraints: 71643 1014.92/1017.74 c #Conflicts: 740000 | #Constraints: 72643 1014.92/1017.74 c #Conflicts: 741000 | #Constraints: 73643 1014.92/1017.74 c #Conflicts: 742000 | #Constraints: 74643 1014.92/1017.74 c #Conflicts: 743000 | #Constraints: 75643 1014.92/1017.74 c #Conflicts: 744000 | #Constraints: 76643 1014.92/1017.74 c #Conflicts: 745000 | #Constraints: 77643 1014.92/1017.74 c #Conflicts: 746000 | #Constraints: 78643 1014.92/1017.74 c #Conflicts: 747000 | #Constraints: 79643 1014.92/1017.74 c #Conflicts: 748000 | #Constraints: 80643 1014.92/1017.74 c #Conflicts: 749000 | #Constraints: 81643 1014.92/1017.74 c #Conflicts: 750000 | #Constraints: 82643 1014.92/1017.74 c #Conflicts: 751000 | #Constraints: 83644 1014.92/1017.74 c #Conflicts: 752000 | #Constraints: 84644 1014.92/1017.74 c #Conflicts: 753000 | #Constraints: 85644 1014.92/1017.74 c #Conflicts: 754000 | #Constraints: 86645 1014.92/1017.74 c #Conflicts: 755000 | #Constraints: 87645 1014.92/1017.74 c #Conflicts: 756000 | #Constraints: 88645 1014.92/1017.74 c #Conflicts: 757000 | #Constraints: 89645 1014.92/1017.74 c #Conflicts: 758000 | #Constraints: 90645 1014.92/1017.74 c #Conflicts: 759000 | #Constraints: 91645 1014.92/1017.74 c INPROCESSING 1014.92/1017.74 c GARBAGE COLLECT 1014.92/1017.74 c rational objective 70 1050.33/1053.28 c #Conflicts: 760000 | #Constraints: 48492 1050.33/1053.28 c #Conflicts: 761000 | #Constraints: 49492 1050.33/1053.28 c #Conflicts: 762000 | #Constraints: 50492 1050.33/1053.28 c #Conflicts: 763000 | #Constraints: 51492 1050.33/1053.28 c #Conflicts: 764000 | #Constraints: 52492 1050.33/1053.28 c #Conflicts: 765000 | #Constraints: 53492 1050.33/1053.28 c #Conflicts: 766000 | #Constraints: 54492 1050.33/1053.28 c #Conflicts: 767000 | #Constraints: 55492 1050.33/1053.28 c #Conflicts: 768000 | #Constraints: 56492 1050.33/1053.28 c #Conflicts: 769000 | #Constraints: 57492 1050.33/1053.28 c #Conflicts: 770000 | #Constraints: 58492 1050.33/1053.28 c #Conflicts: 771000 | #Constraints: 59492 1050.33/1053.28 c #Conflicts: 772000 | #Constraints: 60493 1050.33/1053.28 c #Conflicts: 773000 | #Constraints: 61493 1050.33/1053.28 c #Conflicts: 774000 | #Constraints: 62493 1050.33/1053.28 c #Conflicts: 775000 | #Constraints: 63493 1050.33/1053.28 c #Conflicts: 776000 | #Constraints: 64493 1050.33/1053.28 c #Conflicts: 777000 | #Constraints: 65493 1050.33/1053.28 c #Conflicts: 778000 | #Constraints: 66493 1050.33/1053.28 c INPROCESSING 1050.33/1053.28 c GARBAGE COLLECT 1050.33/1053.28 c rational objective 70 1078.15/1081.14 c #Conflicts: 779000 | #Constraints: 35877 1078.15/1081.14 c #Conflicts: 780000 | #Constraints: 36877 1078.15/1081.14 c #Conflicts: 781000 | #Constraints: 37878 1078.15/1081.14 c #Conflicts: 782000 | #Constraints: 38878 1078.15/1081.14 c #Conflicts: 783000 | #Constraints: 39878 1078.15/1081.14 c #Conflicts: 784000 | #Constraints: 40878 1078.15/1081.14 c #Conflicts: 785000 | #Constraints: 41878 1078.15/1081.14 c #Conflicts: 786000 | #Constraints: 42878 1078.15/1081.14 c #Conflicts: 787000 | #Constraints: 43878 1078.15/1081.14 c #Conflicts: 788000 | #Constraints: 44878 1078.15/1081.14 c #Conflicts: 789000 | #Constraints: 45878 1078.15/1081.14 c #Conflicts: 790000 | #Constraints: 46878 1078.15/1081.14 c #Conflicts: 791000 | #Constraints: 47878 1078.15/1081.14 c #Conflicts: 792000 | #Constraints: 48878 1078.15/1081.14 c #Conflicts: 793000 | #Constraints: 49878 1078.15/1081.14 c #Conflicts: 794000 | #Constraints: 50878 1078.15/1081.14 c #Conflicts: 795000 | #Constraints: 51878 1078.15/1081.14 c #Conflicts: 796000 | #Constraints: 52878 1078.15/1081.14 c #Conflicts: 797000 | #Constraints: 53878 1078.15/1081.14 c #Conflicts: 798000 | #Constraints: 54878 1078.15/1081.14 c INPROCESSING 1078.15/1081.14 c GARBAGE COLLECT 1078.15/1081.14 c rational objective 70 1105.08/1108.15 c #Conflicts: 799000 | #Constraints: 30562 1105.08/1108.15 c #Conflicts: 800000 | #Constraints: 31562 1105.08/1108.15 c #Conflicts: 801000 | #Constraints: 32562 1105.08/1108.15 c #Conflicts: 802000 | #Constraints: 33562 1105.08/1108.15 c #Conflicts: 803000 | #Constraints: 34562 1105.08/1108.15 c #Conflicts: 804000 | #Constraints: 35562 1105.08/1108.15 c #Conflicts: 805000 | #Constraints: 36563 1105.08/1108.15 c #Conflicts: 806000 | #Constraints: 37563 1105.08/1108.15 c #Conflicts: 807000 | #Constraints: 38563 1105.08/1108.15 c #Conflicts: 808000 | #Constraints: 39563 1105.08/1108.15 c #Conflicts: 809000 | #Constraints: 40563 1105.08/1108.15 c #Conflicts: 810000 | #Constraints: 41563 1105.08/1108.15 c #Conflicts: 811000 | #Constraints: 42563 1105.08/1108.15 c #Conflicts: 812000 | #Constraints: 43563 1105.08/1108.15 c #Conflicts: 813000 | #Constraints: 44563 1105.08/1108.15 c #Conflicts: 814000 | #Constraints: 45563 1105.08/1108.15 c #Conflicts: 815000 | #Constraints: 46563 1105.08/1108.15 c #Conflicts: 816000 | #Constraints: 47563 1105.08/1108.15 c #Conflicts: 817000 | #Constraints: 48563 1105.08/1108.15 c INPROCESSING 1105.08/1108.15 c GARBAGE COLLECT 1105.08/1108.15 c rational objective 70 1130.02/1133.15 c #Conflicts: 818000 | #Constraints: 27133 1130.02/1133.15 c #Conflicts: 819000 | #Constraints: 28133 1130.02/1133.15 c #Conflicts: 820000 | #Constraints: 29133 1130.02/1133.15 c #Conflicts: 821000 | #Constraints: 30133 1130.02/1133.15 c #Conflicts: 822000 | #Constraints: 31133 1130.02/1133.15 c #Conflicts: 823000 | #Constraints: 32133 1130.02/1133.15 c #Conflicts: 824000 | #Constraints: 33133 1130.02/1133.15 c #Conflicts: 825000 | #Constraints: 34133 1130.02/1133.15 c #Conflicts: 826000 | #Constraints: 35134 1130.02/1133.15 c #Conflicts: 827000 | #Constraints: 36134 1130.02/1133.15 c #Conflicts: 828000 | #Constraints: 37134 1130.02/1133.15 c #Conflicts: 829000 | #Constraints: 38134 1130.02/1133.15 c #Conflicts: 830000 | #Constraints: 39134 1130.02/1133.15 c #Conflicts: 831000 | #Constraints: 40134 1130.02/1133.15 c #Conflicts: 832000 | #Constraints: 41134 1130.02/1133.15 c #Conflicts: 833000 | #Constraints: 42134 1130.02/1133.15 c #Conflicts: 834000 | #Constraints: 43135 1130.02/1133.15 c #Conflicts: 835000 | #Constraints: 44135 1130.02/1133.15 c #Conflicts: 836000 | #Constraints: 45135 1130.02/1133.15 c #Conflicts: 837000 | #Constraints: 46135 1130.02/1133.15 c INPROCESSING 1130.02/1133.15 c GARBAGE COLLECT 1130.02/1133.15 c rational objective 70 1155.94/1159.19 c #Conflicts: 838000 | #Constraints: 26108 1155.94/1159.19 c #Conflicts: 839000 | #Constraints: 27108 1155.94/1159.19 c #Conflicts: 840000 | #Constraints: 28108 1155.94/1159.19 c #Conflicts: 841000 | #Constraints: 29108 1155.94/1159.19 c #Conflicts: 842000 | #Constraints: 30108 1155.94/1159.19 c #Conflicts: 843000 | #Constraints: 31108 1155.94/1159.19 c #Conflicts: 844000 | #Constraints: 32108 1155.94/1159.19 c #Conflicts: 845000 | #Constraints: 33109 1155.94/1159.19 c #Conflicts: 846000 | #Constraints: 34109 1155.94/1159.19 c #Conflicts: 847000 | #Constraints: 35109 1155.94/1159.19 c #Conflicts: 848000 | #Constraints: 36109 1155.94/1159.19 c #Conflicts: 849000 | #Constraints: 37109 1155.94/1159.19 c #Conflicts: 850000 | #Constraints: 38109 1155.94/1159.19 c #Conflicts: 851000 | #Constraints: 39109 1155.94/1159.19 c #Conflicts: 852000 | #Constraints: 40109 1155.94/1159.19 c #Conflicts: 853000 | #Constraints: 41109 1155.94/1159.19 c #Conflicts: 854000 | #Constraints: 42109 1155.94/1159.19 c #Conflicts: 855000 | #Constraints: 43109 1155.94/1159.19 c #Conflicts: 856000 | #Constraints: 44109 1155.94/1159.19 c INPROCESSING 1155.94/1159.19 c GARBAGE COLLECT 1155.94/1159.19 c rational objective 70 1257.35/1260.83 c #Conflicts: 857000 | #Constraints: 24768 1257.35/1260.83 c #Conflicts: 858000 | #Constraints: 25768 1257.35/1260.83 c #Conflicts: 859000 | #Constraints: 26768 1257.35/1260.83 c #Conflicts: 860000 | #Constraints: 27768 1257.35/1260.83 c #Conflicts: 861000 | #Constraints: 28768 1257.35/1260.83 c #Conflicts: 862000 | #Constraints: 29768 1257.35/1260.83 c #Conflicts: 863000 | #Constraints: 30768 1257.35/1260.83 c #Conflicts: 864000 | #Constraints: 31768 1257.35/1260.83 c #Conflicts: 865000 | #Constraints: 32768 1257.35/1260.83 c #Conflicts: 866000 | #Constraints: 33768 1257.35/1260.83 c #Conflicts: 867000 | #Constraints: 34768 1257.35/1260.83 c #Conflicts: 868000 | #Constraints: 35769 1257.35/1260.83 c #Conflicts: 869000 | #Constraints: 36769 1257.35/1260.83 c #Conflicts: 870000 | #Constraints: 37769 1257.35/1260.83 c #Conflicts: 871000 | #Constraints: 38769 1257.35/1260.83 c #Conflicts: 872000 | #Constraints: 39769 1257.35/1260.83 c #Conflicts: 873000 | #Constraints: 40769 1257.35/1260.83 c #Conflicts: 874000 | #Constraints: 41769 1257.35/1260.83 c #Conflicts: 875000 | #Constraints: 42769 1257.35/1260.83 c #Conflicts: 876000 | #Constraints: 43769 1257.35/1260.83 c #Conflicts: 877000 | #Constraints: 44769 1257.35/1260.83 c #Conflicts: 878000 | #Constraints: 45769 1257.35/1260.83 c #Conflicts: 879000 | #Constraints: 46769 1257.35/1260.83 c #Conflicts: 880000 | #Constraints: 47769 1257.35/1260.83 c #Conflicts: 881000 | #Constraints: 48769 1257.35/1260.83 c #Conflicts: 882000 | #Constraints: 49769 1257.35/1260.83 c #Conflicts: 883000 | #Constraints: 50769 1257.35/1260.83 c #Conflicts: 884000 | #Constraints: 51769 1257.35/1260.83 c #Conflicts: 885000 | #Constraints: 52769 1257.35/1260.83 c #Conflicts: 886000 | #Constraints: 53769 1257.35/1260.83 c #Conflicts: 887000 | #Constraints: 54769 1257.35/1260.83 c #Conflicts: 888000 | #Constraints: 55769 1257.35/1260.83 c #Conflicts: 889000 | #Constraints: 56769 1257.35/1260.83 c #Conflicts: 890000 | #Constraints: 57769 1257.35/1260.83 c #Conflicts: 891000 | #Constraints: 58769 1257.35/1260.83 c #Conflicts: 892000 | #Constraints: 59769 1257.35/1260.83 c #Conflicts: 893000 | #Constraints: 60770 1257.35/1260.83 c #Conflicts: 894000 | #Constraints: 61770 1257.35/1260.83 c #Conflicts: 895000 | #Constraints: 62771 1257.35/1260.83 c #Conflicts: 896000 | #Constraints: 63771 1257.35/1260.83 c #Conflicts: 897000 | #Constraints: 64771 1257.35/1260.83 c #Conflicts: 898000 | #Constraints: 65772 1257.35/1260.83 c #Conflicts: 899000 | #Constraints: 66772 1257.35/1260.83 c #Conflicts: 900000 | #Constraints: 67773 1257.35/1260.83 c #Conflicts: 901000 | #Constraints: 68773 1257.35/1260.83 c #Conflicts: 902000 | #Constraints: 69773 1257.35/1260.83 c #Conflicts: 903000 | #Constraints: 70774 1257.35/1260.83 c #Conflicts: 904000 | #Constraints: 71774 1257.35/1260.83 c #Conflicts: 905000 | #Constraints: 72774 1257.35/1260.83 c #Conflicts: 906000 | #Constraints: 73774 1257.35/1260.83 c #Conflicts: 907000 | #Constraints: 74774 1257.35/1260.83 c cpu time 1241.62 s 1257.35/1260.83 c deterministic time 145832588930 1.46e+11 1257.35/1260.83 c optimization time 0.000107 s 1257.35/1260.83 c total solve time 1241.58 s 1257.35/1260.83 c core-guided solve time 0 s 1257.35/1260.83 c propagation time 879.723 s 1257.35/1260.83 c conflict analysis time 293.281 s 1257.35/1260.83 c propagations 305573976 1257.35/1260.83 c resolve steps 30990422 1257.35/1260.83 c decisions 4960714 1257.35/1260.83 c conflicts 907948 1257.35/1260.83 c restarts 1978 1257.35/1260.83 c inprocessing phases 63 1257.35/1260.83 c input clauses 3922 1257.35/1260.83 c input cardinalities 70 1257.35/1260.83 c input general constraints 0 1257.35/1260.83 c input average constraint length 6.01 1257.35/1260.83 c input average constraint degree 1.93 1257.35/1260.83 c learned clauses 641844 1257.35/1260.83 c learned cardinalities 16764 1257.35/1260.83 c learned general constraints 249450 1257.35/1260.83 c learned average constraint length 573.20 1257.35/1260.83 c learned average constraint degree 20197931.02 1257.35/1260.83 c watched constraints 213269 1257.35/1260.83 c counting constraints 36181 1257.35/1260.83 c gcd simplifications 2348 1257.35/1260.83 c detected cardinalities 992 1257.35/1260.83 c weakened non-implied lits 106084013 1257.35/1260.83 c weakened non-implying lits 196891 1257.35/1260.83 c original variables 3850 1257.35/1260.83 c clausal propagations 118937166 1257.35/1260.83 c cardinality propagations 103087967 1257.35/1260.83 c watched propagations 24452437 1257.35/1260.83 c counting propagations 56835328 1257.35/1260.83 c watch lookups 13539862786 1257.35/1260.83 c watch backjump lookups 10450544448 1257.35/1260.83 c watch checks 99877676678 1257.35/1260.83 c propagation checks 19749701435 1257.35/1260.83 c constraint additions 1591729932 1257.35/1260.83 c trail pops 311441916 1257.35/1260.83 c formula constraints 3992 1257.35/1260.83 c learned constraints 907838 1257.35/1260.83 c bound constraints 0 1257.35/1260.83 c core-guided constraints 0 1257.35/1260.83 c encountered formula constraints 17933277 1257.35/1260.83 c encountered learned constraints 13964052 1257.35/1260.83 c encountered bound constraints 0 1257.35/1260.83 c encountered core-guided constraints 0 1257.35/1260.83 c LP total time 205.968 s 1257.35/1260.83 c LP solve time 202.88 s 1257.35/1260.83 c LP constraints added 6780 1257.35/1260.83 c LP constraints removed 2737 1257.35/1260.83 c LP pivots internal 908697 1257.35/1260.83 c LP pivots root 188347 1257.35/1260.83 c LP calls 332 1257.35/1260.83 c LP optimalities 218 1257.35/1260.83 c LP no pivot count 6 1257.35/1260.83 c LP infeasibilities 110 1257.35/1260.83 c LP valid Farkas constraints 110 1257.35/1260.83 c LP learned Farkas constraints 110 1257.35/1260.83 c LP basis resets 0 1257.35/1260.83 c LP cycling count 0 1257.35/1260.83 c LP singular count 0 1257.35/1260.83 c LP no primal count 0 1257.35/1260.83 c LP no farkas count 0 1257.35/1260.83 c LP other issue count 0 1257.35/1260.83 c LP Gomory cuts 0 1257.35/1260.83 c LP learned cuts 2788 1257.35/1260.83 c LP deleted cuts 2737 1257.35/1260.83 c LP encountered Gomory constraints 0 1257.35/1260.83 c LP encountered Farkas constraints 693 1257.35/1260.83 c LP encountered learned Farkas constraints 238 1257.35/1260.83 c CG auxiliary variables introduced 0 1257.35/1260.83 c CG solutions found 0 1257.35/1260.83 c CG cores constructed 0 1257.35/1260.83 c CG core cardinality constraints returned 0 1257.35/1260.83 c CG unit cores 0 1257.35/1260.83 c CG single cores 0 1257.35/1260.83 c CG blocks removed during cardinality reduction 0 1257.35/1260.83 c CG first core best 0 1257.35/1260.83 c CG decision core best 0 1257.35/1260.83 c CG core reduction tie 0 1257.35/1260.83 c CG core degree average 0.00 1257.35/1260.83 c CG core slack average 0.00 1257.35/1260.83 s SATISFIABLE 1257.35/1260.83 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 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (59497 MiB free)
memory of node 1: 64473 MiB (57969 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460657-1722069899/watcher-4460657-1722069899 -o /tmp/evaluation-result-4460657-1722069899/solver-4460657-1722069899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460657-1722069899 --lp-cut-gomory=0 HOME/instance-4460657-1722069899.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=306075, runsolver pid=306072
[startup+0.100227 s]*
/proc/loadavg: 4.56 4.41 4.29 5/257 306076
/proc/meminfo: memFree=120279068/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=43888 memory=13036 CPUtime=0.09 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 2048 0 0 0 7 2 0 0 20 0 1 0 42979171 44941312 3259 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 10972 3259 1723 992 0 2830 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43888 KiB
Current children cumulated memory: 13036 KiB
[startup+0.222228 s]*
/proc/loadavg: 4.56 4.41 4.29 5/257 306076
/proc/meminfo: memFree=120278052/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=44532 memory=13828 CPUtime=0.18 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 2217 0 0 0 16 2 0 0 20 0 1 0 42979171 45600768 3457 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 11133 3457 1723 992 0 2991 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44532 KiB
Current children cumulated memory: 13828 KiB
[startup+0.312957 s]*
/proc/loadavg: 4.56 4.41 4.29 5/257 306076
/proc/meminfo: memFree=120277052/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=44904 memory=14092 CPUtime=0.28 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 2323 0 0 0 25 3 0 0 20 0 1 0 42979171 45981696 3523 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 11226 3523 1723 992 0 3084 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44904 KiB
Current children cumulated memory: 14092 KiB
[startup+0.700244 s]
/proc/loadavg: 4.56 4.41 4.29 5/257 306076
/proc/meminfo: memFree=120276232/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=45156 memory=14620 CPUtime=0.65 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 2410 0 0 0 62 3 0 0 20 0 1 0 42979171 46239744 3655 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 11289 3655 1723 992 0 3147 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 45156 KiB
Current children cumulated memory: 14620 KiB
[startup+1.50026 s]
/proc/loadavg: 4.56 4.41 4.29 5/257 306076
/proc/meminfo: memFree=120274532/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=45376 memory=15532 CPUtime=1.45 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 2663 0 0 0 137 8 0 0 20 0 1 0 42979171 46465024 3883 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 11344 3883 1755 992 0 3202 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 45376 KiB
Current children cumulated memory: 15532 KiB
[startup+3.1138 s]
/proc/loadavg: 4.56 4.41 4.29 8/257 306076
/proc/meminfo: memFree=120261732/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=46996 memory=20044 CPUtime=3.05 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 3144 0 0 0 293 12 0 0 20 0 1 0 42979171 48123904 5011 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 11749 5011 1851 992 0 3607 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 46996 KiB
Current children cumulated memory: 20044 KiB
[startup+6.30026 s]
/proc/loadavg: 4.52 4.40 4.29 5/257 306077
/proc/meminfo: memFree=120252280/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=48896 memory=22680 CPUtime=6.24 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 3834 0 0 0 602 22 0 0 20 0 1 0 42979171 50069504 5670 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 12224 5670 1851 992 0 4082 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 48896 KiB
Current children cumulated memory: 22680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.47 4.40 4.28 5/257 306078
/proc/meminfo: memFree=120230636/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=59096 memory=28792 CPUtime=12.62 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 6685 0 0 0 1226 36 0 0 20 0 1 0 42979171 60514304 7198 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 14774 7198 1851 992 0 6632 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 59096 KiB
Current children cumulated memory: 28792 KiB
[startup+25.5003 s]
/proc/loadavg: 4.37 4.38 4.28 5/257 306081
/proc/meminfo: memFree=120125900/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=62144 memory=34252 CPUtime=25.39 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 7690 0 0 0 2468 71 0 0 20 0 1 0 42979171 63635456 8563 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 15536 8563 1851 992 0 7394 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 62144 KiB
Current children cumulated memory: 34252 KiB
[startup+51.1138 s]
/proc/loadavg: 4.32 4.36 4.27 5/255 306085
/proc/meminfo: memFree=119974184/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=73792 memory=46692 CPUtime=50.94 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 9234 0 0 0 4956 138 0 0 20 0 1 0 42979171 75563008 11673 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 18448 11673 1851 992 0 10306 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 73792 KiB
Current children cumulated memory: 46692 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.32 4.27 5/254 306093
/proc/meminfo: memFree=119603668/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=89248 memory=54128 CPUtime=102 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 10620 0 0 0 9947 253 0 0 20 0 1 0 42979171 91389952 13532 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 22312 13532 1851 992 0 14170 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 54128 KiB
[startup+162.306 s]
/proc/loadavg: 4.13 4.27 4.25 5/245 306103
/proc/meminfo: memFree=118839528/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=206216 memory=146264 CPUtime=161.85 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 16552 0 0 0 15831 354 0 0 20 0 1 0 42979171 211165184 36566 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 51554 36566 1851 992 0 43412 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 206216 KiB
Current children cumulated memory: 146264 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.27 4.25 5/245 306115
/proc/meminfo: memFree=118406172/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=211224 memory=151140 CPUtime=221.69 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 17800 0 0 0 21723 446 0 0 20 0 1 0 42979171 216293376 37785 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 52806 37785 1851 992 0 44664 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 211224 KiB
Current children cumulated memory: 151140 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.25 4.25 5/245 306125
/proc/meminfo: memFree=118042448/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=217840 memory=175788 CPUtime=281.54 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 19790 0 0 0 27627 527 0 0 20 0 1 0 42979171 223068160 43947 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 54460 43947 1851 992 0 46318 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 175788 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.21 4.24 5/247 306139
/proc/meminfo: memFree=117603012/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=304648 memory=197508 CPUtime=341.38 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 21756 0 0 0 33539 599 0 0 20 0 1 0 42979171 311959552 49377 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 76162 49377 1851 992 0 68020 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 304648 KiB
Current children cumulated memory: 197508 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.20 4.23 5/247 306150
/proc/meminfo: memFree=117105916/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=309112 memory=224156 CPUtime=401.23 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 23570 0 0 0 39452 671 0 0 20 0 1 0 42979171 316530688 56039 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 77278 56039 1851 992 0 69136 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 309112 KiB
Current children cumulated memory: 224156 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.23 4.24 5/247 306161
/proc/meminfo: memFree=116605532/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=309960 memory=225456 CPUtime=461.07 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 24071 0 0 0 45349 758 0 0 20 0 1 0 42979171 317399040 56364 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 77490 56364 1851 992 0 69348 0
################
# More data... #
################
/proc/loadavg: 4.13 4.18 4.21 5/245 306594
/proc/meminfo: memFree=115234316/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=325756 memory=295504 CPUtime=760.26 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 29584 0 0 0 74975 1051 0 0 20 0 1 0 42979171 333574144 73876 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 81439 73876 1851 992 0 73297 0
Current children cumulated CPU time: 760.26 s
Current children cumulated vsize: 325756 KiB
Current children cumulated memory: 295504 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.16 4.19 5/247 306775
/proc/meminfo: memFree=114869804/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=326228 memory=296000 CPUtime=820.1 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 30245 0 0 0 80883 1127 0 0 20 0 1 0 42979171 334057472 74000 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 81557 74000 1851 992 0 73415 0
Current children cumulated CPU time: 820.1 s
Current children cumulated vsize: 326228 KiB
Current children cumulated memory: 296000 KiB
[startup+882.3 s]
/proc/loadavg: 4.12 4.16 4.19 5/247 306785
/proc/meminfo: memFree=114537204/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=326640 memory=296316 CPUtime=879.93 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 31193 0 0 0 86782 1211 0 0 20 0 1 0 42979171 334479360 74079 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 81660 74079 1851 992 0 73518 0
Current children cumulated CPU time: 879.93 s
Current children cumulated vsize: 326640 KiB
Current children cumulated memory: 296316 KiB
[startup+942.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/246 306798
/proc/meminfo: memFree=114134632/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=327296 memory=300812 CPUtime=939.74 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 31466 0 0 0 92706 1268 0 0 20 0 1 0 42979171 335151104 75203 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 81824 75203 1851 992 0 73682 0
Current children cumulated CPU time: 939.74 s
Current children cumulated vsize: 327296 KiB
Current children cumulated memory: 300812 KiB
[startup+1002.3 s]
/proc/loadavg: 4.23 4.17 4.19 5/248 306822
/proc/meminfo: memFree=113744512/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=467188 memory=333496 CPUtime=999.55 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 33571 0 0 0 98650 1305 0 0 20 0 1 0 42979171 478400512 83374 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 116797 83374 1851 992 0 108655 0
Current children cumulated CPU time: 999.55 s
Current children cumulated vsize: 467188 KiB
Current children cumulated memory: 333496 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/248 306833
/proc/meminfo: memFree=113248596/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=470188 memory=352284 CPUtime=1059.39 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 34936 0 0 0 104576 1363 0 0 20 0 1 0 42979171 481472512 88071 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117547 88071 1851 992 0 109405 0
Current children cumulated CPU time: 1059.39 s
Current children cumulated vsize: 470188 KiB
Current children cumulated memory: 352284 KiB
[startup+1122.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/246 306843
/proc/meminfo: memFree=112698908/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=470880 memory=352920 CPUtime=1119.24 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35412 0 0 0 110486 1438 0 0 20 0 1 0 42979171 482181120 88230 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117720 88230 1851 992 0 109578 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 352920 KiB
[startup+1182.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/246 306853
/proc/meminfo: memFree=112408400/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=470880 memory=353028 CPUtime=1179.07 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35518 0 0 0 116387 1520 0 0 20 0 1 0 42979171 482181120 88257 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117720 88257 1851 992 0 109578 0
Current children cumulated CPU time: 1179.07 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 353028 KiB
[startup+1242.3 s]
/proc/loadavg: 4.64 4.27 4.21 5/246 306864
/proc/meminfo: memFree=112205016/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=470880 memory=353092 CPUtime=1238.91 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35597 0 0 0 122323 1568 0 0 20 0 1 0 42979171 482181120 88273 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117720 88273 1851 992 0 109578 0
Current children cumulated CPU time: 1238.91 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 353092 KiB
[startup+1260.89 s]
# the end of solver process 306075 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1241.62 s, system=15.792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.61 4.28 4.22 5/246 306865
/proc/meminfo: memFree=112168168/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1250.97 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35683 0 0 0 123523 1574 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1250.97 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
[startup+1257.6 s]
/proc/loadavg: 4.81 4.32 4.23 6/246 306867
/proc/meminfo: memFree=112154176/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1254.16 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35684 0 0 0 123841 1575 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1254.16 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
[startup+1259.2 s]
/proc/loadavg: 4.81 4.32 4.23 5/246 306867
/proc/meminfo: memFree=112141920/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1255.76 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35692 0 0 0 123999 1577 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1255.76 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
[startup+1260 s]*
/proc/loadavg: 4.74 4.32 4.23 5/246 306867
/proc/meminfo: memFree=112136252/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1256.57 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35693 0 0 0 124080 1577 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1256.57 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
[startup+1260.4 s]
/proc/loadavg: 4.74 4.32 4.23 5/246 306867
/proc/meminfo: memFree=112136252/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1256.95 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35693 0 0 0 124118 1577 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1256.95 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
[startup+1260.8 s]
/proc/loadavg: 4.74 4.32 4.23 5/246 306867
/proc/meminfo: memFree=112136252/131655788 swapFree=131056320/131071996
[pid=306075] ppid=306072 vsize=471280 memory=353196 CPUtime=1257.35 cores=5,7
/proc/306075/stat : 306075 (roundingsat) R 306072 306075 302410 0 -1 4194304 35704 0 0 0 124157 1578 0 0 20 0 1 0 42979171 482590720 88299 134679101440 4194304 8254357 140729877567792 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 39710720 140729877574491 140729877574753 140729877574753 140729877581769 0
/proc/306075/statm: 117820 88299 1851 992 0 109678 0
Current children cumulated CPU time: 1257.35 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 353196 KiB
Child status: 0
Real time (s): 1260.89
CPU time (s): 1257.41
CPU user time (s): 1241.62
CPU system time (s): 15.792
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 472084
Max. memory (cumulated for all children) (KiB): 353860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1241.62
system time used= 15.792
maximum resident set size= 353860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35714
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3927904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280
involuntary context switches= 1687
# summary of solver processes directly reported to runsolver:
# pid: 306075
# total CPU time (s): 1257.41
# total CPU user time (s): 1241.62
# total CPU system time (s): 15.792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29451 second user time and 12.0033 second system time
The end
Begin job on nodeC006 at 2024-07-27 10:44:59 IDJOB=4460657 IDBENCH=158370 IDSOLVER=3086 FILE ID=nodeC006/4460657-1722069899 RUNJOBID= nodeC006-1722064837-302423 SLURM_JOB_ID= 8248108 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.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-4460657-1722069899/watcher-4460657-1722069899 -o /tmp/evaluation-result-4460657-1722069899/solver-4460657-1722069899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460657-1722069899 --lp-cut-gomory=0 HOME/instance-4460657-1722069899.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32 RANDOM SEED=525794953 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 : 3667.148 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.778 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.279 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.182 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3663.651 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.553 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.289 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.098 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 120286516 kB MemAvailable: 129186248 kB Buffers: 381248 kB Cached: 9102692 kB SwapCached: 244 kB Active: 2108744 kB Inactive: 8297100 kB Active(anon): 1760 kB Inactive(anon): 973640 kB Active(file): 2106984 kB Inactive(file): 7323460 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 80228 kB Writeback: 32 kB AnonPages: 918128 kB Mapped: 103816 kB Shmem: 53436 kB KReclaimable: 531196 kB Slab: 646052 kB SReclaimable: 531196 kB SUnreclaim: 114856 kB KernelStack: 4080 kB PageTables: 11312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1348784 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 497664 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 424776 kB DirectMap2M: 57151488 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-27 11:06:00