| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | SAT | 1239.56 | 1242.83 |
| 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.02 c #variables 3850 #constraints 3992 5.07/5.12 c #Conflicts: 1000 | #Constraints: 4991 5.07/5.12 c #Conflicts: 2000 | #Constraints: 5991 5.07/5.12 c INPROCESSING 5.07/5.12 c GARBAGE COLLECT 5.07/5.12 c #Conflicts: 3000 | #Constraints: 5494 5.07/5.12 c #Conflicts: 4000 | #Constraints: 6494 5.07/5.12 c INPROCESSING 5.07/5.12 c GARBAGE COLLECT 5.07/5.12 c #Conflicts: 5000 | #Constraints: 5945 5.07/5.12 c #Conflicts: 6000 | #Constraints: 6946 5.07/5.12 c INPROCESSING 5.07/5.12 c GARBAGE COLLECT 5.07/5.12 c rational objective 70 6.66/6.71 c #Conflicts: 7000 | #Constraints: 5983 6.66/6.71 c #Conflicts: 8000 | #Constraints: 6983 6.66/6.71 c #Conflicts: 9000 | #Constraints: 7983 6.66/6.71 c INPROCESSING 6.66/6.71 c GARBAGE COLLECT 6.66/6.71 c rational objective 70 7.97/8.01 c #Conflicts: 10000 | #Constraints: 6719 7.97/8.01 c #Conflicts: 11000 | #Constraints: 7719 7.97/8.01 c #Conflicts: 12000 | #Constraints: 8719 7.97/8.01 c INPROCESSING 7.97/8.01 c GARBAGE COLLECT 7.97/8.01 c rational objective 70 10.26/10.32 c #Conflicts: 13000 | #Constraints: 7209 10.26/10.32 c #Conflicts: 14000 | #Constraints: 8209 10.26/10.32 c #Conflicts: 15000 | #Constraints: 9209 10.26/10.32 c INPROCESSING 10.26/10.32 c GARBAGE COLLECT 10.26/10.32 c rational objective 70 11.86/11.99 c #Conflicts: 16000 | #Constraints: 7477 11.86/11.99 c #Conflicts: 17000 | #Constraints: 8477 11.86/11.99 c #Conflicts: 18000 | #Constraints: 9477 11.86/11.99 c INPROCESSING 11.86/11.99 c GARBAGE COLLECT 11.86/11.99 c rational objective 70 14.65/14.75 c #Conflicts: 19000 | #Constraints: 7505 14.65/14.75 c #Conflicts: 20000 | #Constraints: 8506 14.65/14.75 c #Conflicts: 21000 | #Constraints: 9506 14.65/14.75 c INPROCESSING 14.65/14.75 c GARBAGE COLLECT 14.65/14.75 c rational objective 70 16.35/16.49 c #Conflicts: 22000 | #Constraints: 7318 16.35/16.49 c #Conflicts: 23000 | #Constraints: 8319 16.35/16.49 c #Conflicts: 24000 | #Constraints: 9320 16.35/16.49 c #Conflicts: 25000 | #Constraints: 10320 16.35/16.49 c INPROCESSING 16.35/16.49 c GARBAGE COLLECT 16.35/16.49 c rational objective 70 18.44/18.50 c #Conflicts: 26000 | #Constraints: 7925 18.44/18.50 c #Conflicts: 27000 | #Constraints: 8925 18.44/18.50 c #Conflicts: 28000 | #Constraints: 9925 18.44/18.50 c #Conflicts: 29000 | #Constraints: 10925 18.44/18.50 c INPROCESSING 18.44/18.50 c GARBAGE COLLECT 18.44/18.50 c rational objective 70 20.63/20.78 c #Conflicts: 30000 | #Constraints: 8331 20.63/20.78 c #Conflicts: 31000 | #Constraints: 9331 20.63/20.78 c #Conflicts: 32000 | #Constraints: 10332 20.63/20.78 c #Conflicts: 33000 | #Constraints: 11333 20.63/20.78 c INPROCESSING 20.63/20.78 c GARBAGE COLLECT 20.63/20.78 c rational objective 70 24.53/24.62 c #Conflicts: 34000 | #Constraints: 8547 24.53/24.62 c #Conflicts: 35000 | #Constraints: 9548 24.53/24.62 c #Conflicts: 36000 | #Constraints: 10548 24.53/24.62 c #Conflicts: 37000 | #Constraints: 11548 24.53/24.62 c INPROCESSING 24.53/24.62 c GARBAGE COLLECT 24.53/24.62 c rational objective 70 27.82/27.97 c #Conflicts: 38000 | #Constraints: 8578 27.82/27.97 c #Conflicts: 39000 | #Constraints: 9580 27.82/27.97 c #Conflicts: 40000 | #Constraints: 10584 27.82/27.97 c #Conflicts: 41000 | #Constraints: 11584 27.82/27.97 c INPROCESSING 27.82/27.97 c GARBAGE COLLECT 27.82/27.97 c rational objective 70 30.31/30.40 c #Conflicts: 42000 | #Constraints: 8387 30.31/30.40 c #Conflicts: 43000 | #Constraints: 9387 30.31/30.40 c #Conflicts: 44000 | #Constraints: 10387 30.31/30.40 c #Conflicts: 45000 | #Constraints: 11387 30.31/30.40 c #Conflicts: 46000 | #Constraints: 12387 30.31/30.40 c INPROCESSING 30.31/30.40 c GARBAGE COLLECT 30.31/30.40 c rational objective 70 34.10/34.22 c #Conflicts: 47000 | #Constraints: 8993 34.10/34.22 c #Conflicts: 48000 | #Constraints: 9994 34.10/34.22 c #Conflicts: 49000 | #Constraints: 10995 34.10/34.22 c #Conflicts: 50000 | #Constraints: 11995 34.10/34.22 c #Conflicts: 51000 | #Constraints: 12996 34.10/34.22 c INPROCESSING 34.10/34.22 c GARBAGE COLLECT 34.10/34.22 c rational objective 70 36.80/36.99 c #Conflicts: 52000 | #Constraints: 9428 36.80/36.99 c #Conflicts: 53000 | #Constraints: 10430 36.80/36.99 c #Conflicts: 54000 | #Constraints: 11430 36.80/36.99 c #Conflicts: 55000 | #Constraints: 12431 36.80/36.99 c #Conflicts: 56000 | #Constraints: 13431 36.80/36.99 c INPROCESSING 36.80/36.99 c GARBAGE COLLECT 36.80/36.99 c rational objective 70 40.59/40.78 c #Conflicts: 57000 | #Constraints: 9641 40.59/40.78 c #Conflicts: 58000 | #Constraints: 10642 40.59/40.78 c #Conflicts: 59000 | #Constraints: 11642 40.59/40.78 c #Conflicts: 60000 | #Constraints: 12642 40.59/40.78 c #Conflicts: 61000 | #Constraints: 13642 40.59/40.78 c INPROCESSING 40.59/40.78 c GARBAGE COLLECT 40.59/40.78 c rational objective 70 45.57/45.70 c #Conflicts: 62000 | #Constraints: 9640 45.57/45.70 c #Conflicts: 63000 | #Constraints: 10640 45.57/45.70 c #Conflicts: 64000 | #Constraints: 11640 45.57/45.70 c #Conflicts: 65000 | #Constraints: 12640 45.57/45.70 c #Conflicts: 66000 | #Constraints: 13640 45.57/45.70 c INPROCESSING 45.57/45.70 c GARBAGE COLLECT 45.57/45.70 c rational objective 70 49.06/49.20 c #Conflicts: 67000 | #Constraints: 9429 49.06/49.20 c #Conflicts: 68000 | #Constraints: 10429 49.06/49.20 c #Conflicts: 69000 | #Constraints: 11429 49.06/49.20 c #Conflicts: 70000 | #Constraints: 12429 49.06/49.20 c #Conflicts: 71000 | #Constraints: 13429 49.06/49.20 c #Conflicts: 72000 | #Constraints: 14429 49.06/49.20 c INPROCESSING 49.06/49.20 c GARBAGE COLLECT 49.06/49.20 c rational objective 70 54.45/54.68 c #Conflicts: 73000 | #Constraints: 10029 54.45/54.68 c #Conflicts: 74000 | #Constraints: 11029 54.45/54.68 c #Conflicts: 75000 | #Constraints: 12029 54.45/54.68 c #Conflicts: 76000 | #Constraints: 13029 54.45/54.68 c #Conflicts: 77000 | #Constraints: 14030 54.45/54.68 c #Conflicts: 78000 | #Constraints: 15030 54.45/54.68 c INPROCESSING 54.45/54.68 c GARBAGE COLLECT 54.45/54.68 c rational objective 70 58.95/59.12 c #Conflicts: 79000 | #Constraints: 10439 58.95/59.12 c #Conflicts: 80000 | #Constraints: 11441 58.95/59.12 c #Conflicts: 81000 | #Constraints: 12442 58.95/59.12 c #Conflicts: 82000 | #Constraints: 13442 58.95/59.12 c #Conflicts: 83000 | #Constraints: 14442 58.95/59.12 c #Conflicts: 84000 | #Constraints: 15442 58.95/59.12 c INPROCESSING 58.95/59.12 c GARBAGE COLLECT 58.95/59.12 c rational objective 70 63.73/63.90 c #Conflicts: 85000 | #Constraints: 10643 63.73/63.90 c #Conflicts: 86000 | #Constraints: 11643 63.73/63.90 c #Conflicts: 87000 | #Constraints: 12643 63.73/63.90 c #Conflicts: 88000 | #Constraints: 13643 63.73/63.90 c #Conflicts: 89000 | #Constraints: 14644 63.73/63.90 c #Conflicts: 90000 | #Constraints: 15644 63.73/63.90 c INPROCESSING 63.73/63.90 c GARBAGE COLLECT 63.73/63.90 c rational objective 70 69.42/69.63 c #Conflicts: 91000 | #Constraints: 10652 69.42/69.63 c #Conflicts: 92000 | #Constraints: 11652 69.42/69.63 c #Conflicts: 93000 | #Constraints: 12652 69.42/69.63 c #Conflicts: 94000 | #Constraints: 13652 69.42/69.63 c #Conflicts: 95000 | #Constraints: 14653 69.42/69.63 c #Conflicts: 96000 | #Constraints: 15654 69.42/69.63 c INPROCESSING 69.42/69.63 c GARBAGE COLLECT 69.42/69.63 c rational objective 70 77.70/77.96 c #Conflicts: 97000 | #Constraints: 10459 77.70/77.96 c #Conflicts: 98000 | #Constraints: 11459 77.70/77.96 c #Conflicts: 99000 | #Constraints: 12459 77.70/77.96 c #Conflicts: 100000 | #Constraints: 13459 77.70/77.96 c #Conflicts: 101000 | #Constraints: 14459 77.70/77.96 c #Conflicts: 102000 | #Constraints: 15459 77.70/77.96 c #Conflicts: 103000 | #Constraints: 16459 77.70/77.96 c INPROCESSING 77.70/77.96 c GARBAGE COLLECT 77.70/77.96 c rational objective 70 82.89/83.17 c #Conflicts: 104000 | #Constraints: 11070 82.89/83.17 c #Conflicts: 105000 | #Constraints: 12070 82.89/83.17 c #Conflicts: 106000 | #Constraints: 13070 82.89/83.17 c #Conflicts: 107000 | #Constraints: 14070 82.89/83.17 c #Conflicts: 108000 | #Constraints: 15070 82.89/83.17 c #Conflicts: 109000 | #Constraints: 16070 82.89/83.17 c #Conflicts: 110000 | #Constraints: 17070 82.89/83.17 c INPROCESSING 82.89/83.17 c GARBAGE COLLECT 82.89/83.17 c rational objective 70 87.57/87.89 c #Conflicts: 111000 | #Constraints: 11490 87.57/87.89 c #Conflicts: 112000 | #Constraints: 12490 87.57/87.89 c #Conflicts: 113000 | #Constraints: 13490 87.57/87.89 c #Conflicts: 114000 | #Constraints: 14490 87.57/87.89 c #Conflicts: 115000 | #Constraints: 15490 87.57/87.89 c #Conflicts: 116000 | #Constraints: 16490 87.57/87.89 c #Conflicts: 117000 | #Constraints: 17490 87.57/87.89 c INPROCESSING 87.57/87.89 c GARBAGE COLLECT 87.57/87.89 c rational objective 70 95.76/96.01 c #Conflicts: 118000 | #Constraints: 11664 95.76/96.01 c #Conflicts: 119000 | #Constraints: 12664 95.76/96.01 c #Conflicts: 120000 | #Constraints: 13664 95.76/96.01 c #Conflicts: 121000 | #Constraints: 14665 95.76/96.01 c #Conflicts: 122000 | #Constraints: 15665 95.76/96.01 c #Conflicts: 123000 | #Constraints: 16665 95.76/96.01 c #Conflicts: 124000 | #Constraints: 17665 95.76/96.01 c INPROCESSING 95.76/96.01 c GARBAGE COLLECT 95.76/96.01 c rational objective 70 102.23/102.54 c #Conflicts: 125000 | #Constraints: 11695 102.23/102.54 c #Conflicts: 126000 | #Constraints: 12695 102.23/102.54 c #Conflicts: 127000 | #Constraints: 13695 102.23/102.54 c #Conflicts: 128000 | #Constraints: 14695 102.23/102.54 c #Conflicts: 129000 | #Constraints: 15695 102.23/102.54 c #Conflicts: 130000 | #Constraints: 16695 102.23/102.54 c #Conflicts: 131000 | #Constraints: 17695 102.23/102.54 c INPROCESSING 102.23/102.54 c GARBAGE COLLECT 102.23/102.54 c rational objective 70 107.62/107.92 c #Conflicts: 132000 | #Constraints: 11553 107.62/107.92 c #Conflicts: 133000 | #Constraints: 12553 107.62/107.92 c #Conflicts: 134000 | #Constraints: 13554 107.62/107.92 c #Conflicts: 135000 | #Constraints: 14554 107.62/107.92 c #Conflicts: 136000 | #Constraints: 15555 107.62/107.92 c #Conflicts: 137000 | #Constraints: 16555 107.62/107.92 c #Conflicts: 138000 | #Constraints: 17556 107.62/107.92 c #Conflicts: 139000 | #Constraints: 18556 107.62/107.92 c INPROCESSING 107.62/107.92 c GARBAGE COLLECT 107.62/107.92 c rational objective 70 146.92/147.39 c #Conflicts: 140000 | #Constraints: 12097 146.92/147.39 c #Conflicts: 141000 | #Constraints: 13098 146.92/147.39 c #Conflicts: 142000 | #Constraints: 14099 146.92/147.39 c #Conflicts: 143000 | #Constraints: 15099 146.92/147.39 c #Conflicts: 144000 | #Constraints: 16099 146.92/147.39 c #Conflicts: 145000 | #Constraints: 17099 146.92/147.39 c #Conflicts: 146000 | #Constraints: 18099 146.92/147.39 c #Conflicts: 147000 | #Constraints: 19099 146.92/147.39 c #Conflicts: 148000 | #Constraints: 20099 146.92/147.39 c #Conflicts: 149000 | #Constraints: 21099 146.92/147.39 c #Conflicts: 150000 | #Constraints: 22099 146.92/147.39 c #Conflicts: 151000 | #Constraints: 23099 146.92/147.39 c #Conflicts: 152000 | #Constraints: 24100 146.92/147.39 c #Conflicts: 153000 | #Constraints: 25100 146.92/147.39 c #Conflicts: 154000 | #Constraints: 26100 146.92/147.39 c #Conflicts: 155000 | #Constraints: 27101 146.92/147.39 c #Conflicts: 156000 | #Constraints: 28101 146.92/147.39 c #Conflicts: 157000 | #Constraints: 29101 146.92/147.39 c #Conflicts: 158000 | #Constraints: 30102 146.92/147.39 c #Conflicts: 159000 | #Constraints: 31102 146.92/147.39 c #Conflicts: 160000 | #Constraints: 32103 146.92/147.39 c #Conflicts: 161000 | #Constraints: 33103 146.92/147.39 c #Conflicts: 162000 | #Constraints: 34103 146.92/147.39 c #Conflicts: 163000 | #Constraints: 35103 146.92/147.39 c #Conflicts: 164000 | #Constraints: 36103 146.92/147.39 c #Conflicts: 165000 | #Constraints: 37103 146.92/147.39 c #Conflicts: 166000 | #Constraints: 38103 146.92/147.39 c #Conflicts: 167000 | #Constraints: 39103 146.92/147.39 c #Conflicts: 168000 | #Constraints: 40103 146.92/147.39 c #Conflicts: 169000 | #Constraints: 41103 146.92/147.39 c #Conflicts: 170000 | #Constraints: 42103 146.92/147.39 c #Conflicts: 171000 | #Constraints: 43103 146.92/147.39 c #Conflicts: 172000 | #Constraints: 44103 146.92/147.39 c #Conflicts: 173000 | #Constraints: 45103 146.92/147.39 c #Conflicts: 174000 | #Constraints: 46103 146.92/147.39 c INPROCESSING 146.92/147.39 c GARBAGE COLLECT 146.92/147.39 c rational objective 70 157.10/157.52 c #Conflicts: 175000 | #Constraints: 26070 157.10/157.52 c #Conflicts: 176000 | #Constraints: 27070 157.10/157.52 c #Conflicts: 177000 | #Constraints: 28070 157.10/157.52 c #Conflicts: 178000 | #Constraints: 29071 157.10/157.52 c #Conflicts: 179000 | #Constraints: 30071 157.10/157.52 c #Conflicts: 180000 | #Constraints: 31071 157.10/157.52 c #Conflicts: 181000 | #Constraints: 32071 157.10/157.52 c #Conflicts: 182000 | #Constraints: 33071 157.10/157.52 c INPROCESSING 157.10/157.52 c GARBAGE COLLECT 157.10/157.52 c rational objective 70 164.48/164.90 c #Conflicts: 183000 | #Constraints: 19097 164.48/164.90 c #Conflicts: 184000 | #Constraints: 20097 164.48/164.90 c #Conflicts: 185000 | #Constraints: 21098 164.48/164.90 c #Conflicts: 186000 | #Constraints: 22098 164.48/164.90 c #Conflicts: 187000 | #Constraints: 23098 164.48/164.90 c #Conflicts: 188000 | #Constraints: 24098 164.48/164.90 c #Conflicts: 189000 | #Constraints: 25098 164.48/164.90 c #Conflicts: 190000 | #Constraints: 26098 164.48/164.90 c #Conflicts: 191000 | #Constraints: 27098 164.48/164.90 c #Conflicts: 192000 | #Constraints: 28098 164.48/164.90 c INPROCESSING 164.48/164.90 c GARBAGE COLLECT 164.48/164.90 c rational objective 70 172.56/173.01 c #Conflicts: 193000 | #Constraints: 17087 172.56/173.01 c #Conflicts: 194000 | #Constraints: 18087 172.56/173.01 c #Conflicts: 195000 | #Constraints: 19087 172.56/173.01 c #Conflicts: 196000 | #Constraints: 20087 172.56/173.01 c #Conflicts: 197000 | #Constraints: 21087 172.56/173.01 c #Conflicts: 198000 | #Constraints: 22087 172.56/173.01 c #Conflicts: 199000 | #Constraints: 23087 172.56/173.01 c #Conflicts: 200000 | #Constraints: 24087 172.56/173.01 c #Conflicts: 201000 | #Constraints: 25087 172.56/173.01 c INPROCESSING 172.56/173.01 c GARBAGE COLLECT 172.56/173.01 c rational objective 70 180.34/180.85 c #Conflicts: 202000 | #Constraints: 15386 180.34/180.85 c #Conflicts: 203000 | #Constraints: 16386 180.34/180.85 c #Conflicts: 204000 | #Constraints: 17387 180.34/180.85 c #Conflicts: 205000 | #Constraints: 18387 180.34/180.85 c #Conflicts: 206000 | #Constraints: 19387 180.34/180.85 c #Conflicts: 207000 | #Constraints: 20387 180.34/180.85 c #Conflicts: 208000 | #Constraints: 21387 180.34/180.85 c #Conflicts: 209000 | #Constraints: 22387 180.34/180.85 c #Conflicts: 210000 | #Constraints: 23387 180.34/180.85 c INPROCESSING 180.34/180.85 c GARBAGE COLLECT 180.34/180.85 c rational objective 70 186.82/187.38 c #Conflicts: 211000 | #Constraints: 14287 186.82/187.38 c #Conflicts: 212000 | #Constraints: 15287 186.82/187.38 c #Conflicts: 213000 | #Constraints: 16288 186.82/187.38 c #Conflicts: 214000 | #Constraints: 17289 186.82/187.38 c #Conflicts: 215000 | #Constraints: 18289 186.82/187.38 c #Conflicts: 216000 | #Constraints: 19289 186.82/187.38 c #Conflicts: 217000 | #Constraints: 20289 186.82/187.38 c #Conflicts: 218000 | #Constraints: 21289 186.82/187.38 c #Conflicts: 219000 | #Constraints: 22289 186.82/187.38 c #Conflicts: 220000 | #Constraints: 23289 186.82/187.38 c INPROCESSING 186.82/187.38 c GARBAGE COLLECT 186.82/187.38 c rational objective 70 242.08/242.70 c #Conflicts: 221000 | #Constraints: 14372 242.08/242.70 c #Conflicts: 222000 | #Constraints: 15372 242.08/242.70 c #Conflicts: 223000 | #Constraints: 16372 242.08/242.70 c #Conflicts: 224000 | #Constraints: 17373 242.08/242.70 c #Conflicts: 225000 | #Constraints: 18373 242.08/242.70 c #Conflicts: 226000 | #Constraints: 19373 242.08/242.70 c #Conflicts: 227000 | #Constraints: 20373 242.08/242.70 c #Conflicts: 228000 | #Constraints: 21373 242.08/242.70 c #Conflicts: 229000 | #Constraints: 22373 242.08/242.70 c #Conflicts: 230000 | #Constraints: 23374 242.08/242.70 c #Conflicts: 231000 | #Constraints: 24374 242.08/242.70 c #Conflicts: 232000 | #Constraints: 25375 242.08/242.70 c #Conflicts: 233000 | #Constraints: 26376 242.08/242.70 c #Conflicts: 234000 | #Constraints: 27377 242.08/242.70 c #Conflicts: 235000 | #Constraints: 28378 242.08/242.70 c #Conflicts: 236000 | #Constraints: 29378 242.08/242.70 c #Conflicts: 237000 | #Constraints: 30379 242.08/242.70 c #Conflicts: 238000 | #Constraints: 31379 242.08/242.70 c #Conflicts: 239000 | #Constraints: 32379 242.08/242.70 c #Conflicts: 240000 | #Constraints: 33379 242.08/242.70 c #Conflicts: 241000 | #Constraints: 34379 242.08/242.70 c #Conflicts: 242000 | #Constraints: 35379 242.08/242.70 c #Conflicts: 243000 | #Constraints: 36379 242.08/242.70 c #Conflicts: 244000 | #Constraints: 37379 242.08/242.70 c #Conflicts: 245000 | #Constraints: 38379 242.08/242.70 c #Conflicts: 246000 | #Constraints: 39379 242.08/242.70 c #Conflicts: 247000 | #Constraints: 40379 242.08/242.70 c #Conflicts: 248000 | #Constraints: 41379 242.08/242.70 c #Conflicts: 249000 | #Constraints: 42380 242.08/242.70 c #Conflicts: 250000 | #Constraints: 43380 242.08/242.70 c #Conflicts: 251000 | #Constraints: 44380 242.08/242.70 c #Conflicts: 252000 | #Constraints: 45381 242.08/242.70 c #Conflicts: 253000 | #Constraints: 46381 242.08/242.70 c #Conflicts: 254000 | #Constraints: 47381 242.08/242.70 c #Conflicts: 255000 | #Constraints: 48381 242.08/242.70 c #Conflicts: 256000 | #Constraints: 49381 242.08/242.70 c #Conflicts: 257000 | #Constraints: 50381 242.08/242.70 c #Conflicts: 258000 | #Constraints: 51381 242.08/242.70 c #Conflicts: 259000 | #Constraints: 52381 242.08/242.70 c #Conflicts: 260000 | #Constraints: 53381 242.08/242.70 c #Conflicts: 261000 | #Constraints: 54381 242.08/242.70 c #Conflicts: 262000 | #Constraints: 55381 242.08/242.70 c INPROCESSING 242.08/242.70 c GARBAGE COLLECT 242.08/242.70 c rational objective 70 259.03/259.71 c #Conflicts: 263000 | #Constraints: 30316 259.03/259.71 c #Conflicts: 264000 | #Constraints: 31317 259.03/259.71 c #Conflicts: 265000 | #Constraints: 32317 259.03/259.71 c #Conflicts: 266000 | #Constraints: 33317 259.03/259.71 c #Conflicts: 267000 | #Constraints: 34317 259.03/259.71 c #Conflicts: 268000 | #Constraints: 35317 259.03/259.71 c #Conflicts: 269000 | #Constraints: 36317 259.03/259.71 c #Conflicts: 270000 | #Constraints: 37317 259.03/259.71 c #Conflicts: 271000 | #Constraints: 38317 259.03/259.71 c #Conflicts: 272000 | #Constraints: 39318 259.03/259.71 c #Conflicts: 273000 | #Constraints: 40318 259.03/259.71 c INPROCESSING 259.03/259.71 c GARBAGE COLLECT 259.03/259.71 c rational objective 70 272.01/272.78 c #Conflicts: 274000 | #Constraints: 22765 272.01/272.78 c #Conflicts: 275000 | #Constraints: 23765 272.01/272.78 c #Conflicts: 276000 | #Constraints: 24765 272.01/272.78 c #Conflicts: 277000 | #Constraints: 25765 272.01/272.78 c #Conflicts: 278000 | #Constraints: 26765 272.01/272.78 c #Conflicts: 279000 | #Constraints: 27765 272.01/272.78 c #Conflicts: 280000 | #Constraints: 28765 272.01/272.78 c #Conflicts: 281000 | #Constraints: 29766 272.01/272.78 c #Conflicts: 282000 | #Constraints: 30766 272.01/272.78 c #Conflicts: 283000 | #Constraints: 31766 272.01/272.78 c #Conflicts: 284000 | #Constraints: 32766 272.01/272.78 c #Conflicts: 285000 | #Constraints: 33766 272.01/272.78 c INPROCESSING 272.01/272.78 c GARBAGE COLLECT 272.01/272.78 c rational objective 70 281.28/282.08 c #Conflicts: 286000 | #Constraints: 19922 281.28/282.08 c #Conflicts: 287000 | #Constraints: 20922 281.28/282.08 c #Conflicts: 288000 | #Constraints: 21922 281.28/282.08 c #Conflicts: 289000 | #Constraints: 22922 281.28/282.08 c #Conflicts: 290000 | #Constraints: 23922 281.28/282.08 c #Conflicts: 291000 | #Constraints: 24922 281.28/282.08 c #Conflicts: 292000 | #Constraints: 25922 281.28/282.08 c #Conflicts: 293000 | #Constraints: 26922 281.28/282.08 c #Conflicts: 294000 | #Constraints: 27922 281.28/282.08 c #Conflicts: 295000 | #Constraints: 28922 281.28/282.08 c #Conflicts: 296000 | #Constraints: 29922 281.28/282.08 c INPROCESSING 281.28/282.08 c GARBAGE COLLECT 281.28/282.08 c rational objective 70 290.15/290.93 c #Conflicts: 297000 | #Constraints: 17784 290.15/290.93 c #Conflicts: 298000 | #Constraints: 18784 290.15/290.93 c #Conflicts: 299000 | #Constraints: 19784 290.15/290.93 c #Conflicts: 300000 | #Constraints: 20784 290.15/290.93 c #Conflicts: 301000 | #Constraints: 21784 290.15/290.93 c #Conflicts: 302000 | #Constraints: 22784 290.15/290.93 c #Conflicts: 303000 | #Constraints: 23784 290.15/290.93 c #Conflicts: 304000 | #Constraints: 24785 290.15/290.93 c #Conflicts: 305000 | #Constraints: 25785 290.15/290.93 c #Conflicts: 306000 | #Constraints: 26785 290.15/290.93 c #Conflicts: 307000 | #Constraints: 27785 290.15/290.93 c #Conflicts: 308000 | #Constraints: 28785 290.15/290.93 c INPROCESSING 290.15/290.93 c GARBAGE COLLECT 290.15/290.93 c rational objective 70 363.57/364.52 c #Conflicts: 309000 | #Constraints: 17428 363.57/364.52 c #Conflicts: 310000 | #Constraints: 18430 363.57/364.52 c #Conflicts: 311000 | #Constraints: 19430 363.57/364.52 c #Conflicts: 312000 | #Constraints: 20431 363.57/364.52 c #Conflicts: 313000 | #Constraints: 21431 363.57/364.52 c #Conflicts: 314000 | #Constraints: 22431 363.57/364.52 c #Conflicts: 315000 | #Constraints: 23431 363.57/364.52 c #Conflicts: 316000 | #Constraints: 24431 363.57/364.52 c #Conflicts: 317000 | #Constraints: 25431 363.57/364.52 c #Conflicts: 318000 | #Constraints: 26431 363.57/364.52 c #Conflicts: 319000 | #Constraints: 27431 363.57/364.52 c #Conflicts: 320000 | #Constraints: 28432 363.57/364.52 c #Conflicts: 321000 | #Constraints: 29432 363.57/364.52 c #Conflicts: 322000 | #Constraints: 30432 363.57/364.52 c #Conflicts: 323000 | #Constraints: 31432 363.57/364.52 c #Conflicts: 324000 | #Constraints: 32432 363.57/364.52 c #Conflicts: 325000 | #Constraints: 33432 363.57/364.52 c #Conflicts: 326000 | #Constraints: 34432 363.57/364.52 c #Conflicts: 327000 | #Constraints: 35432 363.57/364.52 c #Conflicts: 328000 | #Constraints: 36432 363.57/364.52 c #Conflicts: 329000 | #Constraints: 37432 363.57/364.52 c #Conflicts: 330000 | #Constraints: 38432 363.57/364.52 c #Conflicts: 331000 | #Constraints: 39432 363.57/364.52 c #Conflicts: 332000 | #Constraints: 40432 363.57/364.52 c #Conflicts: 333000 | #Constraints: 41432 363.57/364.52 c #Conflicts: 334000 | #Constraints: 42432 363.57/364.52 c #Conflicts: 335000 | #Constraints: 43432 363.57/364.52 c #Conflicts: 336000 | #Constraints: 44432 363.57/364.52 c #Conflicts: 337000 | #Constraints: 45432 363.57/364.52 c #Conflicts: 338000 | #Constraints: 46432 363.57/364.52 c #Conflicts: 339000 | #Constraints: 47433 363.57/364.52 c #Conflicts: 340000 | #Constraints: 48433 363.57/364.52 c #Conflicts: 341000 | #Constraints: 49433 363.57/364.52 c #Conflicts: 342000 | #Constraints: 50433 363.57/364.52 c #Conflicts: 343000 | #Constraints: 51433 363.57/364.52 c #Conflicts: 344000 | #Constraints: 52433 363.57/364.52 c #Conflicts: 345000 | #Constraints: 53433 363.57/364.52 c #Conflicts: 346000 | #Constraints: 54433 363.57/364.52 c #Conflicts: 347000 | #Constraints: 55433 363.57/364.52 c #Conflicts: 348000 | #Constraints: 56433 363.57/364.52 c #Conflicts: 349000 | #Constraints: 57433 363.57/364.52 c #Conflicts: 350000 | #Constraints: 58434 363.57/364.52 c #Conflicts: 351000 | #Constraints: 59434 363.57/364.52 c #Conflicts: 352000 | #Constraints: 60434 363.57/364.52 c #Conflicts: 353000 | #Constraints: 61434 363.57/364.52 c #Conflicts: 354000 | #Constraints: 62434 363.57/364.52 c #Conflicts: 355000 | #Constraints: 63434 363.57/364.52 c #Conflicts: 356000 | #Constraints: 64434 363.57/364.52 c INPROCESSING 363.57/364.52 c GARBAGE COLLECT 363.57/364.52 c rational objective 70 379.52/380.55 c #Conflicts: 357000 | #Constraints: 34854 379.52/380.55 c #Conflicts: 358000 | #Constraints: 35854 379.52/380.55 c #Conflicts: 359000 | #Constraints: 36854 379.52/380.55 c #Conflicts: 360000 | #Constraints: 37854 379.52/380.55 c #Conflicts: 361000 | #Constraints: 38854 379.52/380.55 c #Conflicts: 362000 | #Constraints: 39854 379.52/380.55 c #Conflicts: 363000 | #Constraints: 40854 379.52/380.55 c #Conflicts: 364000 | #Constraints: 41854 379.52/380.55 c #Conflicts: 365000 | #Constraints: 42854 379.52/380.55 c #Conflicts: 366000 | #Constraints: 43854 379.52/380.55 c #Conflicts: 367000 | #Constraints: 44854 379.52/380.55 c #Conflicts: 368000 | #Constraints: 45854 379.52/380.55 c #Conflicts: 369000 | #Constraints: 46854 379.52/380.55 c INPROCESSING 379.52/380.55 c GARBAGE COLLECT 379.52/380.55 c rational objective 70 396.28/397.34 c #Conflicts: 370000 | #Constraints: 26153 396.28/397.34 c #Conflicts: 371000 | #Constraints: 27153 396.28/397.34 c #Conflicts: 372000 | #Constraints: 28153 396.28/397.34 c #Conflicts: 373000 | #Constraints: 29153 396.28/397.34 c #Conflicts: 374000 | #Constraints: 30153 396.28/397.34 c #Conflicts: 375000 | #Constraints: 31153 396.28/397.34 c #Conflicts: 376000 | #Constraints: 32153 396.28/397.34 c #Conflicts: 377000 | #Constraints: 33153 396.28/397.34 c #Conflicts: 378000 | #Constraints: 34153 396.28/397.34 c #Conflicts: 379000 | #Constraints: 35154 396.28/397.34 c #Conflicts: 380000 | #Constraints: 36154 396.28/397.34 c #Conflicts: 381000 | #Constraints: 37154 396.28/397.34 c #Conflicts: 382000 | #Constraints: 38154 396.28/397.34 c INPROCESSING 396.28/397.34 c GARBAGE COLLECT 396.28/397.34 c rational objective 70 412.74/413.80 c #Conflicts: 383000 | #Constraints: 21785 412.74/413.80 c #Conflicts: 384000 | #Constraints: 22785 412.74/413.80 c #Conflicts: 385000 | #Constraints: 23785 412.74/413.80 c #Conflicts: 386000 | #Constraints: 24785 412.74/413.80 c #Conflicts: 387000 | #Constraints: 25785 412.74/413.80 c #Conflicts: 388000 | #Constraints: 26785 412.74/413.80 c #Conflicts: 389000 | #Constraints: 27785 412.74/413.80 c #Conflicts: 390000 | #Constraints: 28785 412.74/413.80 c #Conflicts: 391000 | #Constraints: 29786 412.74/413.80 c #Conflicts: 392000 | #Constraints: 30786 412.74/413.80 c #Conflicts: 393000 | #Constraints: 31786 412.74/413.80 c #Conflicts: 394000 | #Constraints: 32786 412.74/413.80 c #Conflicts: 395000 | #Constraints: 33787 412.74/413.80 c #Conflicts: 396000 | #Constraints: 34787 412.74/413.80 c INPROCESSING 412.74/413.80 c GARBAGE COLLECT 412.74/413.80 c rational objective 70 429.30/430.45 c #Conflicts: 397000 | #Constraints: 20441 429.30/430.45 c #Conflicts: 398000 | #Constraints: 21441 429.30/430.45 c #Conflicts: 399000 | #Constraints: 22441 429.30/430.45 c #Conflicts: 400000 | #Constraints: 23441 429.30/430.45 c #Conflicts: 401000 | #Constraints: 24441 429.30/430.45 c #Conflicts: 402000 | #Constraints: 25441 429.30/430.45 c #Conflicts: 403000 | #Constraints: 26441 429.30/430.45 c #Conflicts: 404000 | #Constraints: 27441 429.30/430.45 c #Conflicts: 405000 | #Constraints: 28441 429.30/430.45 c #Conflicts: 406000 | #Constraints: 29441 429.30/430.45 c #Conflicts: 407000 | #Constraints: 30441 429.30/430.45 c #Conflicts: 408000 | #Constraints: 31441 429.30/430.45 c #Conflicts: 409000 | #Constraints: 32442 429.30/430.45 c INPROCESSING 429.30/430.45 c GARBAGE COLLECT 429.30/430.45 c rational objective 70 521.16/522.59 c #Conflicts: 410000 | #Constraints: 18972 521.16/522.59 c #Conflicts: 411000 | #Constraints: 19972 521.16/522.59 c #Conflicts: 412000 | #Constraints: 20972 521.16/522.59 c #Conflicts: 413000 | #Constraints: 21972 521.16/522.59 c #Conflicts: 414000 | #Constraints: 22972 521.16/522.59 c #Conflicts: 415000 | #Constraints: 23972 521.16/522.59 c #Conflicts: 416000 | #Constraints: 24972 521.16/522.59 c #Conflicts: 417000 | #Constraints: 25972 521.16/522.59 c #Conflicts: 418000 | #Constraints: 26972 521.16/522.59 c #Conflicts: 419000 | #Constraints: 27973 521.16/522.59 c #Conflicts: 420000 | #Constraints: 28973 521.16/522.59 c #Conflicts: 421000 | #Constraints: 29973 521.16/522.59 c #Conflicts: 422000 | #Constraints: 30973 521.16/522.59 c #Conflicts: 423000 | #Constraints: 31973 521.16/522.59 c #Conflicts: 424000 | #Constraints: 32974 521.16/522.59 c #Conflicts: 425000 | #Constraints: 33974 521.16/522.59 c #Conflicts: 426000 | #Constraints: 34974 521.16/522.59 c #Conflicts: 427000 | #Constraints: 35974 521.16/522.59 c #Conflicts: 428000 | #Constraints: 36974 521.16/522.59 c #Conflicts: 429000 | #Constraints: 37974 521.16/522.59 c #Conflicts: 430000 | #Constraints: 38974 521.16/522.59 c #Conflicts: 431000 | #Constraints: 39974 521.16/522.59 c #Conflicts: 432000 | #Constraints: 40974 521.16/522.59 c #Conflicts: 433000 | #Constraints: 41974 521.16/522.59 c #Conflicts: 434000 | #Constraints: 42974 521.16/522.59 c #Conflicts: 435000 | #Constraints: 43974 521.16/522.59 c #Conflicts: 436000 | #Constraints: 44974 521.16/522.59 c #Conflicts: 437000 | #Constraints: 45974 521.16/522.59 c #Conflicts: 438000 | #Constraints: 46974 521.16/522.59 c #Conflicts: 439000 | #Constraints: 47975 521.16/522.59 c #Conflicts: 440000 | #Constraints: 48975 521.16/522.59 c #Conflicts: 441000 | #Constraints: 49975 521.16/522.59 c #Conflicts: 442000 | #Constraints: 50975 521.16/522.59 c #Conflicts: 443000 | #Constraints: 51975 521.16/522.59 c #Conflicts: 444000 | #Constraints: 52975 521.16/522.59 c #Conflicts: 445000 | #Constraints: 53975 521.16/522.59 c #Conflicts: 446000 | #Constraints: 54975 521.16/522.59 c #Conflicts: 447000 | #Constraints: 55975 521.16/522.59 c #Conflicts: 448000 | #Constraints: 56975 521.16/522.59 c #Conflicts: 449000 | #Constraints: 57975 521.16/522.59 c #Conflicts: 450000 | #Constraints: 58975 521.16/522.59 c #Conflicts: 451000 | #Constraints: 59975 521.16/522.59 c #Conflicts: 452000 | #Constraints: 60975 521.16/522.59 c #Conflicts: 453000 | #Constraints: 61975 521.16/522.59 c #Conflicts: 454000 | #Constraints: 62976 521.16/522.59 c #Conflicts: 455000 | #Constraints: 63976 521.16/522.59 c #Conflicts: 456000 | #Constraints: 64976 521.16/522.59 c #Conflicts: 457000 | #Constraints: 65976 521.16/522.59 c #Conflicts: 458000 | #Constraints: 66976 521.16/522.59 c #Conflicts: 459000 | #Constraints: 67976 521.16/522.59 c #Conflicts: 460000 | #Constraints: 68976 521.16/522.59 c #Conflicts: 461000 | #Constraints: 69976 521.16/522.59 c #Conflicts: 462000 | #Constraints: 70976 521.16/522.59 c #Conflicts: 463000 | #Constraints: 71976 521.16/522.59 c #Conflicts: 464000 | #Constraints: 72976 521.16/522.59 c INPROCESSING 521.16/522.59 c GARBAGE COLLECT 521.16/522.59 c rational objective 70 548.19/549.62 c #Conflicts: 465000 | #Constraints: 39257 548.19/549.62 c #Conflicts: 466000 | #Constraints: 40257 548.19/549.62 c #Conflicts: 467000 | #Constraints: 41257 548.19/549.62 c #Conflicts: 468000 | #Constraints: 42257 548.19/549.62 c #Conflicts: 469000 | #Constraints: 43257 548.19/549.62 c #Conflicts: 470000 | #Constraints: 44257 548.19/549.62 c #Conflicts: 471000 | #Constraints: 45257 548.19/549.62 c #Conflicts: 472000 | #Constraints: 46257 548.19/549.62 c #Conflicts: 473000 | #Constraints: 47257 548.19/549.62 c #Conflicts: 474000 | #Constraints: 48257 548.19/549.62 c #Conflicts: 475000 | #Constraints: 49257 548.19/549.62 c #Conflicts: 476000 | #Constraints: 50257 548.19/549.62 c #Conflicts: 477000 | #Constraints: 51257 548.19/549.62 c #Conflicts: 478000 | #Constraints: 52257 548.19/549.62 c #Conflicts: 479000 | #Constraints: 53257 548.19/549.62 c INPROCESSING 548.19/549.62 c GARBAGE COLLECT 548.19/549.62 c rational objective 70 567.03/568.56 c #Conflicts: 480000 | #Constraints: 29474 567.03/568.56 c #Conflicts: 481000 | #Constraints: 30474 567.03/568.56 c #Conflicts: 482000 | #Constraints: 31474 567.03/568.56 c #Conflicts: 483000 | #Constraints: 32476 567.03/568.56 c #Conflicts: 484000 | #Constraints: 33477 567.03/568.56 c #Conflicts: 485000 | #Constraints: 34477 567.03/568.56 c #Conflicts: 486000 | #Constraints: 35477 567.03/568.56 c #Conflicts: 487000 | #Constraints: 36477 567.03/568.56 c #Conflicts: 488000 | #Constraints: 37477 567.03/568.56 c #Conflicts: 489000 | #Constraints: 38477 567.03/568.56 c #Conflicts: 490000 | #Constraints: 39477 567.03/568.56 c #Conflicts: 491000 | #Constraints: 40477 567.03/568.56 c #Conflicts: 492000 | #Constraints: 41477 567.03/568.56 c #Conflicts: 493000 | #Constraints: 42477 567.03/568.56 c #Conflicts: 494000 | #Constraints: 43477 567.03/568.56 c INPROCESSING 567.03/568.56 c GARBAGE COLLECT 567.03/568.56 c rational objective 70 587.88/589.47 c #Conflicts: 495000 | #Constraints: 24629 587.88/589.47 c #Conflicts: 496000 | #Constraints: 25629 587.88/589.47 c #Conflicts: 497000 | #Constraints: 26629 587.88/589.47 c #Conflicts: 498000 | #Constraints: 27630 587.88/589.47 c #Conflicts: 499000 | #Constraints: 28631 587.88/589.47 c #Conflicts: 500000 | #Constraints: 29631 587.88/589.47 c #Conflicts: 501000 | #Constraints: 30631 587.88/589.47 c #Conflicts: 502000 | #Constraints: 31631 587.88/589.47 c #Conflicts: 503000 | #Constraints: 32631 587.88/589.47 c #Conflicts: 504000 | #Constraints: 33631 587.88/589.47 c #Conflicts: 505000 | #Constraints: 34631 587.88/589.47 c #Conflicts: 506000 | #Constraints: 35631 587.88/589.47 c #Conflicts: 507000 | #Constraints: 36631 587.88/589.47 c #Conflicts: 508000 | #Constraints: 37631 587.88/589.47 c #Conflicts: 509000 | #Constraints: 38631 587.88/589.47 c INPROCESSING 587.88/589.47 c GARBAGE COLLECT 587.88/589.47 c rational objective 70 601.15/602.75 c #Conflicts: 510000 | #Constraints: 22104 601.15/602.75 c #Conflicts: 511000 | #Constraints: 23104 601.15/602.75 c #Conflicts: 512000 | #Constraints: 24104 601.15/602.75 c #Conflicts: 513000 | #Constraints: 25104 601.15/602.75 c #Conflicts: 514000 | #Constraints: 26104 601.15/602.75 c #Conflicts: 515000 | #Constraints: 27104 601.15/602.75 c #Conflicts: 516000 | #Constraints: 28104 601.15/602.75 c #Conflicts: 517000 | #Constraints: 29104 601.15/602.75 c #Conflicts: 518000 | #Constraints: 30104 601.15/602.75 c #Conflicts: 519000 | #Constraints: 31104 601.15/602.75 c #Conflicts: 520000 | #Constraints: 32104 601.15/602.75 c #Conflicts: 521000 | #Constraints: 33104 601.15/602.75 c #Conflicts: 522000 | #Constraints: 34104 601.15/602.75 c #Conflicts: 523000 | #Constraints: 35105 601.15/602.75 c #Conflicts: 524000 | #Constraints: 36105 601.15/602.75 c #Conflicts: 525000 | #Constraints: 37105 601.15/602.75 c INPROCESSING 601.15/602.75 c GARBAGE COLLECT 601.15/602.75 c rational objective 70 616.00/617.64 c #Conflicts: 526000 | #Constraints: 21586 616.00/617.64 c #Conflicts: 527000 | #Constraints: 22586 616.00/617.64 c #Conflicts: 528000 | #Constraints: 23586 616.00/617.64 c #Conflicts: 529000 | #Constraints: 24586 616.00/617.64 c #Conflicts: 530000 | #Constraints: 25586 616.00/617.64 c #Conflicts: 531000 | #Constraints: 26586 616.00/617.64 c #Conflicts: 532000 | #Constraints: 27586 616.00/617.64 c #Conflicts: 533000 | #Constraints: 28586 616.00/617.64 c #Conflicts: 534000 | #Constraints: 29586 616.00/617.64 c #Conflicts: 535000 | #Constraints: 30586 616.00/617.64 c #Conflicts: 536000 | #Constraints: 31586 616.00/617.64 c #Conflicts: 537000 | #Constraints: 32586 616.00/617.64 c #Conflicts: 538000 | #Constraints: 33586 616.00/617.64 c #Conflicts: 539000 | #Constraints: 34586 616.00/617.64 c #Conflicts: 540000 | #Constraints: 35586 616.00/617.64 c INPROCESSING 616.00/617.64 c GARBAGE COLLECT 616.00/617.64 c rational objective 70 736.38/738.33 c #Conflicts: 541000 | #Constraints: 20539 736.38/738.33 c #Conflicts: 542000 | #Constraints: 21539 736.38/738.33 c #Conflicts: 543000 | #Constraints: 22540 736.38/738.33 c #Conflicts: 544000 | #Constraints: 23540 736.38/738.33 c #Conflicts: 545000 | #Constraints: 24540 736.38/738.33 c #Conflicts: 546000 | #Constraints: 25540 736.38/738.33 c #Conflicts: 547000 | #Constraints: 26540 736.38/738.33 c #Conflicts: 548000 | #Constraints: 27540 736.38/738.33 c #Conflicts: 549000 | #Constraints: 28540 736.38/738.33 c #Conflicts: 550000 | #Constraints: 29540 736.38/738.33 c #Conflicts: 551000 | #Constraints: 30540 736.38/738.33 c #Conflicts: 552000 | #Constraints: 31540 736.38/738.33 c #Conflicts: 553000 | #Constraints: 32540 736.38/738.33 c #Conflicts: 554000 | #Constraints: 33540 736.38/738.33 c #Conflicts: 555000 | #Constraints: 34541 736.38/738.33 c #Conflicts: 556000 | #Constraints: 35541 736.38/738.33 c #Conflicts: 557000 | #Constraints: 36541 736.38/738.33 c #Conflicts: 558000 | #Constraints: 37541 736.38/738.33 c #Conflicts: 559000 | #Constraints: 38542 736.38/738.33 c #Conflicts: 560000 | #Constraints: 39542 736.38/738.33 c #Conflicts: 561000 | #Constraints: 40542 736.38/738.33 c #Conflicts: 562000 | #Constraints: 41542 736.38/738.33 c #Conflicts: 563000 | #Constraints: 42542 736.38/738.33 c #Conflicts: 564000 | #Constraints: 43542 736.38/738.33 c #Conflicts: 565000 | #Constraints: 44542 736.38/738.33 c #Conflicts: 566000 | #Constraints: 45542 736.38/738.33 c #Conflicts: 567000 | #Constraints: 46542 736.38/738.33 c #Conflicts: 568000 | #Constraints: 47542 736.38/738.33 c #Conflicts: 569000 | #Constraints: 48543 736.38/738.33 c #Conflicts: 570000 | #Constraints: 49543 736.38/738.33 c #Conflicts: 571000 | #Constraints: 50543 736.38/738.33 c #Conflicts: 572000 | #Constraints: 51543 736.38/738.33 c #Conflicts: 573000 | #Constraints: 52543 736.38/738.33 c #Conflicts: 574000 | #Constraints: 53543 736.38/738.33 c #Conflicts: 575000 | #Constraints: 54543 736.38/738.33 c #Conflicts: 576000 | #Constraints: 55543 736.38/738.33 c #Conflicts: 577000 | #Constraints: 56543 736.38/738.33 c #Conflicts: 578000 | #Constraints: 57543 736.38/738.33 c #Conflicts: 579000 | #Constraints: 58543 736.38/738.33 c #Conflicts: 580000 | #Constraints: 59543 736.38/738.33 c #Conflicts: 581000 | #Constraints: 60544 736.38/738.33 c #Conflicts: 582000 | #Constraints: 61544 736.38/738.33 c #Conflicts: 583000 | #Constraints: 62544 736.38/738.33 c #Conflicts: 584000 | #Constraints: 63544 736.38/738.33 c #Conflicts: 585000 | #Constraints: 64544 736.38/738.33 c #Conflicts: 586000 | #Constraints: 65544 736.38/738.33 c #Conflicts: 587000 | #Constraints: 66544 736.38/738.33 c #Conflicts: 588000 | #Constraints: 67544 736.38/738.33 c #Conflicts: 589000 | #Constraints: 68544 736.38/738.33 c #Conflicts: 590000 | #Constraints: 69544 736.38/738.33 c #Conflicts: 591000 | #Constraints: 70544 736.38/738.33 c #Conflicts: 592000 | #Constraints: 71544 736.38/738.33 c #Conflicts: 593000 | #Constraints: 72544 736.38/738.33 c #Conflicts: 594000 | #Constraints: 73544 736.38/738.33 c #Conflicts: 595000 | #Constraints: 74544 736.38/738.33 c #Conflicts: 596000 | #Constraints: 75544 736.38/738.33 c #Conflicts: 597000 | #Constraints: 76544 736.38/738.33 c #Conflicts: 598000 | #Constraints: 77544 736.38/738.33 c #Conflicts: 599000 | #Constraints: 78544 736.38/738.33 c #Conflicts: 600000 | #Constraints: 79544 736.38/738.33 c #Conflicts: 601000 | #Constraints: 80544 736.38/738.33 c #Conflicts: 602000 | #Constraints: 81544 736.38/738.33 c #Conflicts: 603000 | #Constraints: 82544 736.38/738.33 c INPROCESSING 736.38/738.33 c GARBAGE COLLECT 736.38/738.33 c rational objective 70 768.69/770.72 c #Conflicts: 604000 | #Constraints: 44226 768.69/770.72 c #Conflicts: 605000 | #Constraints: 45226 768.69/770.72 c #Conflicts: 606000 | #Constraints: 46226 768.69/770.72 c #Conflicts: 607000 | #Constraints: 47226 768.69/770.72 c #Conflicts: 608000 | #Constraints: 48226 768.69/770.72 c #Conflicts: 609000 | #Constraints: 49226 768.69/770.72 c #Conflicts: 610000 | #Constraints: 50226 768.69/770.72 c #Conflicts: 611000 | #Constraints: 51226 768.69/770.72 c #Conflicts: 612000 | #Constraints: 52226 768.69/770.72 c #Conflicts: 613000 | #Constraints: 53226 768.69/770.72 c #Conflicts: 614000 | #Constraints: 54226 768.69/770.72 c #Conflicts: 615000 | #Constraints: 55226 768.69/770.72 c #Conflicts: 616000 | #Constraints: 56226 768.69/770.72 c #Conflicts: 617000 | #Constraints: 57227 768.69/770.72 c #Conflicts: 618000 | #Constraints: 58227 768.69/770.72 c #Conflicts: 619000 | #Constraints: 59227 768.69/770.72 c #Conflicts: 620000 | #Constraints: 60227 768.69/770.72 c INPROCESSING 768.69/770.72 c GARBAGE COLLECT 768.69/770.72 c rational objective 70 791.83/793.97 c #Conflicts: 621000 | #Constraints: 33142 791.83/793.97 c #Conflicts: 622000 | #Constraints: 34142 791.83/793.97 c #Conflicts: 623000 | #Constraints: 35142 791.83/793.97 c #Conflicts: 624000 | #Constraints: 36142 791.83/793.97 c #Conflicts: 625000 | #Constraints: 37142 791.83/793.97 c #Conflicts: 626000 | #Constraints: 38142 791.83/793.97 c #Conflicts: 627000 | #Constraints: 39142 791.83/793.97 c #Conflicts: 628000 | #Constraints: 40142 791.83/793.97 c #Conflicts: 629000 | #Constraints: 41142 791.83/793.97 c #Conflicts: 630000 | #Constraints: 42142 791.83/793.97 c #Conflicts: 631000 | #Constraints: 43142 791.83/793.97 c #Conflicts: 632000 | #Constraints: 44143 791.83/793.97 c #Conflicts: 633000 | #Constraints: 45143 791.83/793.97 c #Conflicts: 634000 | #Constraints: 46144 791.83/793.97 c #Conflicts: 635000 | #Constraints: 47144 791.83/793.97 c #Conflicts: 636000 | #Constraints: 48144 791.83/793.97 c #Conflicts: 637000 | #Constraints: 49144 791.83/793.97 c INPROCESSING 791.83/793.97 c GARBAGE COLLECT 791.83/793.97 c rational objective 70 810.18/812.34 c #Conflicts: 638000 | #Constraints: 27515 810.18/812.34 c #Conflicts: 639000 | #Constraints: 28515 810.18/812.34 c #Conflicts: 640000 | #Constraints: 29515 810.18/812.34 c #Conflicts: 641000 | #Constraints: 30515 810.18/812.34 c #Conflicts: 642000 | #Constraints: 31515 810.18/812.34 c #Conflicts: 643000 | #Constraints: 32515 810.18/812.34 c #Conflicts: 644000 | #Constraints: 33515 810.18/812.34 c #Conflicts: 645000 | #Constraints: 34515 810.18/812.34 c #Conflicts: 646000 | #Constraints: 35515 810.18/812.34 c #Conflicts: 647000 | #Constraints: 36515 810.18/812.34 c #Conflicts: 648000 | #Constraints: 37515 810.18/812.34 c #Conflicts: 649000 | #Constraints: 38515 810.18/812.34 c #Conflicts: 650000 | #Constraints: 39515 810.18/812.34 c #Conflicts: 651000 | #Constraints: 40515 810.18/812.34 c #Conflicts: 652000 | #Constraints: 41515 810.18/812.34 c #Conflicts: 653000 | #Constraints: 42515 810.18/812.34 c #Conflicts: 654000 | #Constraints: 43515 810.18/812.34 c INPROCESSING 810.18/812.34 c GARBAGE COLLECT 810.18/812.34 c rational objective 70 831.03/833.23 c #Conflicts: 655000 | #Constraints: 24585 831.03/833.23 c #Conflicts: 656000 | #Constraints: 25585 831.03/833.23 c #Conflicts: 657000 | #Constraints: 26585 831.03/833.23 c #Conflicts: 658000 | #Constraints: 27585 831.03/833.23 c #Conflicts: 659000 | #Constraints: 28585 831.03/833.23 c #Conflicts: 660000 | #Constraints: 29585 831.03/833.23 c #Conflicts: 661000 | #Constraints: 30585 831.03/833.23 c #Conflicts: 662000 | #Constraints: 31586 831.03/833.23 c #Conflicts: 663000 | #Constraints: 32586 831.03/833.23 c #Conflicts: 664000 | #Constraints: 33586 831.03/833.23 c #Conflicts: 665000 | #Constraints: 34587 831.03/833.23 c #Conflicts: 666000 | #Constraints: 35587 831.03/833.23 c #Conflicts: 667000 | #Constraints: 36587 831.03/833.23 c #Conflicts: 668000 | #Constraints: 37587 831.03/833.23 c #Conflicts: 669000 | #Constraints: 38587 831.03/833.23 c #Conflicts: 670000 | #Constraints: 39587 831.03/833.23 c #Conflicts: 671000 | #Constraints: 40587 831.03/833.23 c #Conflicts: 672000 | #Constraints: 41587 831.03/833.23 c INPROCESSING 831.03/833.23 c GARBAGE COLLECT 831.03/833.23 c rational objective 70 851.47/853.75 c #Conflicts: 673000 | #Constraints: 23873 851.47/853.75 c #Conflicts: 674000 | #Constraints: 24873 851.47/853.75 c #Conflicts: 675000 | #Constraints: 25873 851.47/853.75 c #Conflicts: 676000 | #Constraints: 26873 851.47/853.75 c #Conflicts: 677000 | #Constraints: 27873 851.47/853.75 c #Conflicts: 678000 | #Constraints: 28873 851.47/853.75 c #Conflicts: 679000 | #Constraints: 29873 851.47/853.75 c #Conflicts: 680000 | #Constraints: 30873 851.47/853.75 c #Conflicts: 681000 | #Constraints: 31873 851.47/853.75 c #Conflicts: 682000 | #Constraints: 32874 851.47/853.75 c #Conflicts: 683000 | #Constraints: 33874 851.47/853.75 c #Conflicts: 684000 | #Constraints: 34874 851.47/853.75 c #Conflicts: 685000 | #Constraints: 35874 851.47/853.75 c #Conflicts: 686000 | #Constraints: 36875 851.47/853.75 c #Conflicts: 687000 | #Constraints: 37876 851.47/853.75 c #Conflicts: 688000 | #Constraints: 38876 851.47/853.75 c #Conflicts: 689000 | #Constraints: 39876 851.47/853.75 c INPROCESSING 851.47/853.75 c GARBAGE COLLECT 851.47/853.75 c rational objective 70 1001.77/1004.42 c #Conflicts: 690000 | #Constraints: 22643 1001.77/1004.42 c #Conflicts: 691000 | #Constraints: 23643 1001.77/1004.42 c #Conflicts: 692000 | #Constraints: 24643 1001.77/1004.42 c #Conflicts: 693000 | #Constraints: 25643 1001.77/1004.42 c #Conflicts: 694000 | #Constraints: 26643 1001.77/1004.42 c #Conflicts: 695000 | #Constraints: 27643 1001.77/1004.42 c #Conflicts: 696000 | #Constraints: 28643 1001.77/1004.42 c #Conflicts: 697000 | #Constraints: 29643 1001.77/1004.42 c #Conflicts: 698000 | #Constraints: 30643 1001.77/1004.42 c #Conflicts: 699000 | #Constraints: 31643 1001.77/1004.42 c #Conflicts: 700000 | #Constraints: 32643 1001.77/1004.42 c #Conflicts: 701000 | #Constraints: 33643 1001.77/1004.42 c #Conflicts: 702000 | #Constraints: 34643 1001.77/1004.42 c #Conflicts: 703000 | #Constraints: 35643 1001.77/1004.42 c #Conflicts: 704000 | #Constraints: 36643 1001.77/1004.42 c #Conflicts: 705000 | #Constraints: 37643 1001.77/1004.42 c #Conflicts: 706000 | #Constraints: 38643 1001.77/1004.42 c #Conflicts: 707000 | #Constraints: 39643 1001.77/1004.42 c #Conflicts: 708000 | #Constraints: 40643 1001.77/1004.42 c #Conflicts: 709000 | #Constraints: 41643 1001.77/1004.42 c #Conflicts: 710000 | #Constraints: 42643 1001.77/1004.42 c #Conflicts: 711000 | #Constraints: 43643 1001.77/1004.42 c #Conflicts: 712000 | #Constraints: 44643 1001.77/1004.42 c #Conflicts: 713000 | #Constraints: 45643 1001.77/1004.42 c #Conflicts: 714000 | #Constraints: 46643 1001.77/1004.42 c #Conflicts: 715000 | #Constraints: 47643 1001.77/1004.42 c #Conflicts: 716000 | #Constraints: 48643 1001.77/1004.42 c #Conflicts: 717000 | #Constraints: 49643 1001.77/1004.42 c #Conflicts: 718000 | #Constraints: 50643 1001.77/1004.42 c #Conflicts: 719000 | #Constraints: 51643 1001.77/1004.42 c #Conflicts: 720000 | #Constraints: 52643 1001.77/1004.42 c #Conflicts: 721000 | #Constraints: 53643 1001.77/1004.42 c #Conflicts: 722000 | #Constraints: 54643 1001.77/1004.42 c #Conflicts: 723000 | #Constraints: 55643 1001.77/1004.42 c #Conflicts: 724000 | #Constraints: 56643 1001.77/1004.42 c #Conflicts: 725000 | #Constraints: 57643 1001.77/1004.42 c #Conflicts: 726000 | #Constraints: 58643 1001.77/1004.42 c #Conflicts: 727000 | #Constraints: 59643 1001.77/1004.42 c #Conflicts: 728000 | #Constraints: 60643 1001.77/1004.42 c #Conflicts: 729000 | #Constraints: 61643 1001.77/1004.42 c #Conflicts: 730000 | #Constraints: 62643 1001.77/1004.42 c #Conflicts: 731000 | #Constraints: 63643 1001.77/1004.42 c #Conflicts: 732000 | #Constraints: 64643 1001.77/1004.42 c #Conflicts: 733000 | #Constraints: 65643 1001.77/1004.42 c #Conflicts: 734000 | #Constraints: 66643 1001.77/1004.42 c #Conflicts: 735000 | #Constraints: 67643 1001.77/1004.42 c #Conflicts: 736000 | #Constraints: 68643 1001.77/1004.42 c #Conflicts: 737000 | #Constraints: 69643 1001.77/1004.42 c #Conflicts: 738000 | #Constraints: 70643 1001.77/1004.42 c #Conflicts: 739000 | #Constraints: 71643 1001.77/1004.42 c #Conflicts: 740000 | #Constraints: 72643 1001.77/1004.42 c #Conflicts: 741000 | #Constraints: 73643 1001.77/1004.42 c #Conflicts: 742000 | #Constraints: 74643 1001.77/1004.42 c #Conflicts: 743000 | #Constraints: 75643 1001.77/1004.42 c #Conflicts: 744000 | #Constraints: 76643 1001.77/1004.42 c #Conflicts: 745000 | #Constraints: 77643 1001.77/1004.42 c #Conflicts: 746000 | #Constraints: 78643 1001.77/1004.42 c #Conflicts: 747000 | #Constraints: 79643 1001.77/1004.42 c #Conflicts: 748000 | #Constraints: 80643 1001.77/1004.42 c #Conflicts: 749000 | #Constraints: 81643 1001.77/1004.42 c #Conflicts: 750000 | #Constraints: 82643 1001.77/1004.42 c #Conflicts: 751000 | #Constraints: 83644 1001.77/1004.42 c #Conflicts: 752000 | #Constraints: 84644 1001.77/1004.42 c #Conflicts: 753000 | #Constraints: 85644 1001.77/1004.42 c #Conflicts: 754000 | #Constraints: 86645 1001.77/1004.42 c #Conflicts: 755000 | #Constraints: 87645 1001.77/1004.42 c #Conflicts: 756000 | #Constraints: 88645 1001.77/1004.42 c #Conflicts: 757000 | #Constraints: 89645 1001.77/1004.42 c #Conflicts: 758000 | #Constraints: 90645 1001.77/1004.42 c #Conflicts: 759000 | #Constraints: 91645 1001.77/1004.42 c INPROCESSING 1001.77/1004.42 c GARBAGE COLLECT 1001.77/1004.42 c rational objective 70 1036.77/1039.56 c #Conflicts: 760000 | #Constraints: 48492 1036.77/1039.56 c #Conflicts: 761000 | #Constraints: 49492 1036.77/1039.56 c #Conflicts: 762000 | #Constraints: 50492 1036.77/1039.56 c #Conflicts: 763000 | #Constraints: 51492 1036.77/1039.56 c #Conflicts: 764000 | #Constraints: 52492 1036.77/1039.56 c #Conflicts: 765000 | #Constraints: 53492 1036.77/1039.56 c #Conflicts: 766000 | #Constraints: 54492 1036.77/1039.56 c #Conflicts: 767000 | #Constraints: 55492 1036.77/1039.56 c #Conflicts: 768000 | #Constraints: 56492 1036.77/1039.56 c #Conflicts: 769000 | #Constraints: 57492 1036.77/1039.56 c #Conflicts: 770000 | #Constraints: 58492 1036.77/1039.56 c #Conflicts: 771000 | #Constraints: 59492 1036.77/1039.56 c #Conflicts: 772000 | #Constraints: 60493 1036.77/1039.56 c #Conflicts: 773000 | #Constraints: 61493 1036.77/1039.56 c #Conflicts: 774000 | #Constraints: 62493 1036.77/1039.56 c #Conflicts: 775000 | #Constraints: 63493 1036.77/1039.56 c #Conflicts: 776000 | #Constraints: 64493 1036.77/1039.56 c #Conflicts: 777000 | #Constraints: 65493 1036.77/1039.56 c #Conflicts: 778000 | #Constraints: 66493 1036.77/1039.56 c INPROCESSING 1036.77/1039.56 c GARBAGE COLLECT 1036.77/1039.56 c rational objective 70 1063.41/1066.22 c #Conflicts: 779000 | #Constraints: 35877 1063.41/1066.22 c #Conflicts: 780000 | #Constraints: 36877 1063.41/1066.22 c #Conflicts: 781000 | #Constraints: 37878 1063.41/1066.22 c #Conflicts: 782000 | #Constraints: 38878 1063.41/1066.22 c #Conflicts: 783000 | #Constraints: 39878 1063.41/1066.22 c #Conflicts: 784000 | #Constraints: 40878 1063.41/1066.22 c #Conflicts: 785000 | #Constraints: 41878 1063.41/1066.22 c #Conflicts: 786000 | #Constraints: 42878 1063.41/1066.22 c #Conflicts: 787000 | #Constraints: 43878 1063.41/1066.22 c #Conflicts: 788000 | #Constraints: 44878 1063.41/1066.22 c #Conflicts: 789000 | #Constraints: 45878 1063.41/1066.22 c #Conflicts: 790000 | #Constraints: 46878 1063.41/1066.22 c #Conflicts: 791000 | #Constraints: 47878 1063.41/1066.22 c #Conflicts: 792000 | #Constraints: 48878 1063.41/1066.22 c #Conflicts: 793000 | #Constraints: 49878 1063.41/1066.22 c #Conflicts: 794000 | #Constraints: 50878 1063.41/1066.22 c #Conflicts: 795000 | #Constraints: 51878 1063.41/1066.22 c #Conflicts: 796000 | #Constraints: 52878 1063.41/1066.22 c #Conflicts: 797000 | #Constraints: 53878 1063.41/1066.22 c #Conflicts: 798000 | #Constraints: 54878 1063.41/1066.22 c INPROCESSING 1063.41/1066.22 c GARBAGE COLLECT 1063.41/1066.22 c rational objective 70 1090.73/1093.69 c #Conflicts: 799000 | #Constraints: 30562 1090.73/1093.69 c #Conflicts: 800000 | #Constraints: 31562 1090.73/1093.69 c #Conflicts: 801000 | #Constraints: 32562 1090.73/1093.69 c #Conflicts: 802000 | #Constraints: 33562 1090.73/1093.69 c #Conflicts: 803000 | #Constraints: 34562 1090.73/1093.69 c #Conflicts: 804000 | #Constraints: 35562 1090.73/1093.69 c #Conflicts: 805000 | #Constraints: 36563 1090.73/1093.69 c #Conflicts: 806000 | #Constraints: 37563 1090.73/1093.69 c #Conflicts: 807000 | #Constraints: 38563 1090.73/1093.69 c #Conflicts: 808000 | #Constraints: 39563 1090.73/1093.69 c #Conflicts: 809000 | #Constraints: 40563 1090.73/1093.69 c #Conflicts: 810000 | #Constraints: 41563 1090.73/1093.69 c #Conflicts: 811000 | #Constraints: 42563 1090.73/1093.69 c #Conflicts: 812000 | #Constraints: 43563 1090.73/1093.69 c #Conflicts: 813000 | #Constraints: 44563 1090.73/1093.69 c #Conflicts: 814000 | #Constraints: 45563 1090.73/1093.69 c #Conflicts: 815000 | #Constraints: 46563 1090.73/1093.69 c #Conflicts: 816000 | #Constraints: 47563 1090.73/1093.69 c #Conflicts: 817000 | #Constraints: 48563 1090.73/1093.69 c INPROCESSING 1090.73/1093.69 c GARBAGE COLLECT 1090.73/1093.69 c rational objective 70 1115.87/1118.81 c #Conflicts: 818000 | #Constraints: 27133 1115.87/1118.81 c #Conflicts: 819000 | #Constraints: 28133 1115.87/1118.81 c #Conflicts: 820000 | #Constraints: 29133 1115.87/1118.81 c #Conflicts: 821000 | #Constraints: 30133 1115.87/1118.81 c #Conflicts: 822000 | #Constraints: 31133 1115.87/1118.81 c #Conflicts: 823000 | #Constraints: 32133 1115.87/1118.81 c #Conflicts: 824000 | #Constraints: 33133 1115.87/1118.81 c #Conflicts: 825000 | #Constraints: 34133 1115.87/1118.81 c #Conflicts: 826000 | #Constraints: 35134 1115.87/1118.81 c #Conflicts: 827000 | #Constraints: 36134 1115.87/1118.81 c #Conflicts: 828000 | #Constraints: 37134 1115.87/1118.81 c #Conflicts: 829000 | #Constraints: 38134 1115.87/1118.81 c #Conflicts: 830000 | #Constraints: 39134 1115.87/1118.81 c #Conflicts: 831000 | #Constraints: 40134 1115.87/1118.81 c #Conflicts: 832000 | #Constraints: 41134 1115.87/1118.81 c #Conflicts: 833000 | #Constraints: 42134 1115.87/1118.81 c #Conflicts: 834000 | #Constraints: 43135 1115.87/1118.81 c #Conflicts: 835000 | #Constraints: 44135 1115.87/1118.81 c #Conflicts: 836000 | #Constraints: 45135 1115.87/1118.81 c #Conflicts: 837000 | #Constraints: 46135 1115.87/1118.81 c INPROCESSING 1115.87/1118.81 c GARBAGE COLLECT 1115.87/1118.81 c rational objective 70 1141.21/1144.28 c #Conflicts: 838000 | #Constraints: 26108 1141.21/1144.28 c #Conflicts: 839000 | #Constraints: 27108 1141.21/1144.28 c #Conflicts: 840000 | #Constraints: 28108 1141.21/1144.28 c #Conflicts: 841000 | #Constraints: 29108 1141.21/1144.28 c #Conflicts: 842000 | #Constraints: 30108 1141.21/1144.28 c #Conflicts: 843000 | #Constraints: 31108 1141.21/1144.28 c #Conflicts: 844000 | #Constraints: 32108 1141.21/1144.28 c #Conflicts: 845000 | #Constraints: 33109 1141.21/1144.28 c #Conflicts: 846000 | #Constraints: 34109 1141.21/1144.28 c #Conflicts: 847000 | #Constraints: 35109 1141.21/1144.28 c #Conflicts: 848000 | #Constraints: 36109 1141.21/1144.28 c #Conflicts: 849000 | #Constraints: 37109 1141.21/1144.28 c #Conflicts: 850000 | #Constraints: 38109 1141.21/1144.28 c #Conflicts: 851000 | #Constraints: 39109 1141.21/1144.28 c #Conflicts: 852000 | #Constraints: 40109 1141.21/1144.28 c #Conflicts: 853000 | #Constraints: 41109 1141.21/1144.28 c #Conflicts: 854000 | #Constraints: 42109 1141.21/1144.28 c #Conflicts: 855000 | #Constraints: 43109 1141.21/1144.28 c #Conflicts: 856000 | #Constraints: 44109 1141.21/1144.28 c INPROCESSING 1141.21/1144.28 c GARBAGE COLLECT 1141.21/1144.28 c rational objective 70 1239.44/1242.79 c #Conflicts: 857000 | #Constraints: 24768 1239.44/1242.79 c #Conflicts: 858000 | #Constraints: 25768 1239.44/1242.79 c #Conflicts: 859000 | #Constraints: 26768 1239.44/1242.79 c #Conflicts: 860000 | #Constraints: 27768 1239.44/1242.79 c #Conflicts: 861000 | #Constraints: 28768 1239.44/1242.79 c #Conflicts: 862000 | #Constraints: 29768 1239.44/1242.79 c #Conflicts: 863000 | #Constraints: 30768 1239.44/1242.79 c #Conflicts: 864000 | #Constraints: 31768 1239.44/1242.79 c #Conflicts: 865000 | #Constraints: 32768 1239.44/1242.79 c #Conflicts: 866000 | #Constraints: 33768 1239.44/1242.79 c #Conflicts: 867000 | #Constraints: 34768 1239.44/1242.79 c #Conflicts: 868000 | #Constraints: 35769 1239.44/1242.79 c #Conflicts: 869000 | #Constraints: 36769 1239.44/1242.79 c #Conflicts: 870000 | #Constraints: 37769 1239.44/1242.79 c #Conflicts: 871000 | #Constraints: 38769 1239.44/1242.79 c #Conflicts: 872000 | #Constraints: 39769 1239.44/1242.79 c #Conflicts: 873000 | #Constraints: 40769 1239.44/1242.79 c #Conflicts: 874000 | #Constraints: 41769 1239.44/1242.79 c #Conflicts: 875000 | #Constraints: 42769 1239.44/1242.79 c #Conflicts: 876000 | #Constraints: 43769 1239.44/1242.79 c #Conflicts: 877000 | #Constraints: 44769 1239.44/1242.79 c #Conflicts: 878000 | #Constraints: 45769 1239.44/1242.79 c #Conflicts: 879000 | #Constraints: 46769 1239.44/1242.79 c #Conflicts: 880000 | #Constraints: 47769 1239.44/1242.79 c #Conflicts: 881000 | #Constraints: 48769 1239.44/1242.79 c #Conflicts: 882000 | #Constraints: 49769 1239.44/1242.79 c #Conflicts: 883000 | #Constraints: 50769 1239.44/1242.79 c #Conflicts: 884000 | #Constraints: 51769 1239.44/1242.79 c #Conflicts: 885000 | #Constraints: 52769 1239.44/1242.79 c #Conflicts: 886000 | #Constraints: 53769 1239.44/1242.79 c #Conflicts: 887000 | #Constraints: 54769 1239.44/1242.79 c #Conflicts: 888000 | #Constraints: 55769 1239.44/1242.79 c #Conflicts: 889000 | #Constraints: 56769 1239.44/1242.79 c #Conflicts: 890000 | #Constraints: 57769 1239.44/1242.79 c #Conflicts: 891000 | #Constraints: 58769 1239.44/1242.79 c #Conflicts: 892000 | #Constraints: 59769 1239.44/1242.79 c #Conflicts: 893000 | #Constraints: 60770 1239.44/1242.79 c #Conflicts: 894000 | #Constraints: 61770 1239.44/1242.79 c #Conflicts: 895000 | #Constraints: 62771 1239.44/1242.79 c #Conflicts: 896000 | #Constraints: 63771 1239.44/1242.79 c #Conflicts: 897000 | #Constraints: 64771 1239.44/1242.79 c #Conflicts: 898000 | #Constraints: 65772 1239.44/1242.79 c #Conflicts: 899000 | #Constraints: 66772 1239.44/1242.79 c #Conflicts: 900000 | #Constraints: 67773 1239.44/1242.79 c #Conflicts: 901000 | #Constraints: 68773 1239.44/1242.79 c #Conflicts: 902000 | #Constraints: 69773 1239.44/1242.79 c #Conflicts: 903000 | #Constraints: 70774 1239.44/1242.79 c #Conflicts: 904000 | #Constraints: 71774 1239.44/1242.79 c #Conflicts: 905000 | #Constraints: 72774 1239.44/1242.79 c #Conflicts: 906000 | #Constraints: 73774 1239.44/1242.79 c #Conflicts: 907000 | #Constraints: 74774 1239.44/1242.79 c cpu time 1224.12 s 1239.44/1242.79 c deterministic time 145832588930 1.46e+11 1239.44/1242.79 c optimization time 0.000104 s 1239.44/1242.79 c total solve time 1224.1 s 1239.44/1242.79 c core-guided solve time 0 s 1239.44/1242.79 c propagation time 867.15 s 1239.44/1242.79 c conflict analysis time 288.467 s 1239.44/1242.79 c propagations 305573976 1239.44/1242.79 c resolve steps 30990422 1239.44/1242.79 c decisions 4960714 1239.44/1242.79 c conflicts 907948 1239.44/1242.79 c restarts 1978 1239.44/1242.79 c inprocessing phases 63 1239.44/1242.79 c input clauses 3922 1239.44/1242.79 c input cardinalities 70 1239.44/1242.79 c input general constraints 0 1239.44/1242.79 c input average constraint length 6.01 1239.44/1242.79 c input average constraint degree 1.93 1239.44/1242.79 c learned clauses 641844 1239.44/1242.79 c learned cardinalities 16764 1239.44/1242.79 c learned general constraints 249450 1239.44/1242.79 c learned average constraint length 573.20 1239.44/1242.79 c learned average constraint degree 20197931.02 1239.44/1242.79 c watched constraints 213269 1239.44/1242.79 c counting constraints 36181 1239.44/1242.79 c gcd simplifications 2348 1239.44/1242.79 c detected cardinalities 992 1239.44/1242.79 c weakened non-implied lits 106084013 1239.44/1242.79 c weakened non-implying lits 196891 1239.44/1242.79 c original variables 3850 1239.44/1242.79 c clausal propagations 118937166 1239.44/1242.79 c cardinality propagations 103087967 1239.44/1242.79 c watched propagations 24452437 1239.44/1242.79 c counting propagations 56835328 1239.44/1242.79 c watch lookups 13539862786 1239.44/1242.79 c watch backjump lookups 10450544448 1239.44/1242.79 c watch checks 99877676678 1239.44/1242.79 c propagation checks 19749701435 1239.44/1242.79 c constraint additions 1591729932 1239.44/1242.79 c trail pops 311441916 1239.44/1242.79 c formula constraints 3992 1239.44/1242.79 c learned constraints 907838 1239.44/1242.79 c bound constraints 0 1239.44/1242.79 c core-guided constraints 0 1239.44/1242.79 c encountered formula constraints 17933277 1239.44/1242.79 c encountered learned constraints 13964052 1239.44/1242.79 c encountered bound constraints 0 1239.44/1242.79 c encountered core-guided constraints 0 1239.44/1242.79 c LP total time 205.141 s 1239.44/1242.79 c LP solve time 202.09 s 1239.44/1242.79 c LP constraints added 6780 1239.44/1242.79 c LP constraints removed 2737 1239.44/1242.79 c LP pivots internal 908697 1239.44/1242.79 c LP pivots root 188347 1239.44/1242.79 c LP calls 332 1239.44/1242.79 c LP optimalities 218 1239.44/1242.79 c LP no pivot count 6 1239.44/1242.79 c LP infeasibilities 110 1239.44/1242.79 c LP valid Farkas constraints 110 1239.44/1242.79 c LP learned Farkas constraints 110 1239.44/1242.79 c LP basis resets 0 1239.44/1242.79 c LP cycling count 0 1239.44/1242.79 c LP singular count 0 1239.44/1242.79 c LP no primal count 0 1239.44/1242.79 c LP no farkas count 0 1239.44/1242.79 c LP other issue count 0 1239.44/1242.79 c LP Gomory cuts 0 1239.44/1242.79 c LP learned cuts 2788 1239.44/1242.79 c LP deleted cuts 2737 1239.44/1242.79 c LP encountered Gomory constraints 0 1239.44/1242.79 c LP encountered Farkas constraints 693 1239.44/1242.79 c LP encountered learned Farkas constraints 238 1239.44/1242.79 c CG auxiliary variables introduced 0 1239.44/1242.79 c CG solutions found 0 1239.44/1242.79 c CG cores constructed 0 1239.44/1242.79 c CG core cardinality constraints returned 0 1239.44/1242.79 c CG unit cores 0 1239.44/1242.79 c CG single cores 0 1239.44/1242.79 c CG blocks removed during cardinality reduction 0 1239.44/1242.79 c CG first core best 0 1239.44/1242.79 c CG decision core best 0 1239.44/1242.79 c CG core reduction tie 0 1239.44/1242.79 c CG core degree average 0.00 1239.44/1242.79 c CG core slack average 0.00 1239.44/1242.79 s SATISFIABLE 1239.44/1242.79 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: 63968 MiB (45357 MiB free)
memory of node 1: 64473 MiB (28668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463047-1722345649/watcher-4463047-1722345649 -o /tmp/evaluation-result-4463047-1722345649/solver-4463047-1722345649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722340763-6781 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463047-1722345649 --lp-cut-gomory=0 HOME/instance-4463047-1722345649.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9356, runsolver pid=9353
[startup+0.100678 s]*
/proc/loadavg: 4.13 4.16 4.12 5/266 9357
/proc/meminfo: memFree=75794112/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=44904 memory=14048 CPUtime=0.09 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 2324 0 0 0 9 0 0 0 20 0 1 0 1169395 45981696 3512 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11226 3512 1711 992 0 3084 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44904 KiB
Current children cumulated memory: 14048 KiB
[startup+0.206002 s]*
/proc/loadavg: 4.13 4.16 4.12 5/266 9359
/proc/meminfo: memFree=75790724/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=45156 memory=14312 CPUtime=0.19 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 2408 0 0 0 19 0 0 0 20 0 1 0 1169395 46239744 3578 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11289 3578 1711 992 0 3147 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45156 KiB
Current children cumulated memory: 14312 KiB
[startup+0.305925 s]*
/proc/loadavg: 4.13 4.16 4.12 5/266 9359
/proc/meminfo: memFree=75788596/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=45376 memory=14576 CPUtime=0.3 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 2416 0 0 0 29 1 0 0 20 0 1 0 1169395 46465024 3644 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11344 3644 1711 992 0 3202 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45376 KiB
Current children cumulated memory: 14576 KiB
[startup+0.700222 s]
/proc/loadavg: 4.13 4.16 4.12 5/266 9359
/proc/meminfo: memFree=75781736/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=45376 memory=15488 CPUtime=0.68 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 2660 0 0 0 64 4 0 0 20 0 1 0 1169395 46465024 3872 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11344 3872 1743 992 0 3202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45376 KiB
Current children cumulated memory: 15488 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.16 4.12 6/266 9359
/proc/meminfo: memFree=75761256/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=46612 memory=19176 CPUtime=1.48 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 3050 0 0 0 141 7 0 0 20 0 1 0 1169395 47730688 4794 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11653 4794 1759 992 0 3511 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46612 KiB
Current children cumulated memory: 19176 KiB
[startup+3.10532 s]
/proc/loadavg: 4.13 4.16 4.12 6/266 9360
/proc/meminfo: memFree=75687504/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=47860 memory=20852 CPUtime=3.08 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 3355 0 0 0 295 13 0 0 20 0 1 0 1169395 49008640 5213 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 11965 5213 1855 992 0 3823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47860 KiB
Current children cumulated memory: 20852 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.16 4.12 6/266 9360
/proc/meminfo: memFree=75597564/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=55048 memory=28348 CPUtime=6.27 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 4955 0 0 0 605 22 0 0 20 0 1 0 1169395 56369152 7087 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 13762 7087 1855 992 0 5620 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55048 KiB
Current children cumulated memory: 28348 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.15 4.12 6/266 9361
/proc/meminfo: memFree=75536332/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=59796 memory=31908 CPUtime=12.66 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 6917 0 0 0 1229 37 0 0 20 0 1 0 1169395 61231104 7977 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 14949 7977 1855 992 0 6807 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59796 KiB
Current children cumulated memory: 31908 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.14 4.12 6/266 9363
/proc/meminfo: memFree=75106360/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=62144 memory=34260 CPUtime=25.42 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 7689 0 0 0 2471 71 0 0 20 0 1 0 1169395 63635456 8565 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 15536 8565 1855 992 0 7394 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 62144 KiB
Current children cumulated memory: 34260 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.15 4.12 6/264 9367
/proc/meminfo: memFree=74379100/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=73992 memory=46964 CPUtime=50.96 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 9306 0 0 0 4961 135 0 0 20 0 1 0 1169395 75767808 11741 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 18498 11741 1855 992 0 10356 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 73992 KiB
Current children cumulated memory: 46964 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.12 6/264 9376
/proc/meminfo: memFree=73143116/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=89248 memory=54144 CPUtime=102.03 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 10622 0 0 0 9958 245 0 0 20 0 1 0 1169395 91389952 13536 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 22312 13536 1855 992 0 14170 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 54144 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.12 6/261 9387
/proc/meminfo: memFree=71496336/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=206216 memory=146272 CPUtime=161.88 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 16545 0 0 0 15843 345 0 0 20 0 1 0 1169395 211165184 36568 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 51554 36568 1855 992 0 43412 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 206216 KiB
Current children cumulated memory: 146272 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.16 4.12 6/261 9398
/proc/meminfo: memFree=70054716/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=210924 memory=150956 CPUtime=221.73 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 17687 0 0 0 21737 436 0 0 20 0 1 0 1169395 215986176 37739 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 52731 37739 1855 992 0 44589 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 210924 KiB
Current children cumulated memory: 150956 KiB
[startup+282.3 s]
/proc/loadavg: 4.37 4.22 4.14 6/264 9412
/proc/meminfo: memFree=68865000/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=217840 memory=175796 CPUtime=281.58 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 19767 0 0 0 27635 523 0 0 20 0 1 0 1169395 223068160 43949 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 54460 43949 1855 992 0 46318 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 217840 KiB
Current children cumulated memory: 175796 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.20 4.14 6/268 9810
/proc/meminfo: memFree=67479748/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=221680 memory=185500 CPUtime=341.42 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 20707 0 0 0 33541 601 0 0 20 0 1 0 1169395 227000320 46375 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 55420 46375 1855 992 0 47278 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 221680 KiB
Current children cumulated memory: 185500 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.19 4.14 5/270 9870
/proc/meminfo: memFree=106034628/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=309112 memory=224164 CPUtime=401.27 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 23511 0 0 0 39455 672 0 0 20 0 1 0 1169395 316530688 56041 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 77278 56041 1855 992 0 69136 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 309112 KiB
Current children cumulated memory: 224164 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/270 9881
/proc/meminfo: memFree=105316912/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=309960 memory=225464 CPUtime=461.12 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 24012 0 0 0 45354 758 0 0 20 0 1 0 1169395 317399040 56366 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 77490 56366 1855 992 0 69348 0
################
# More data... #
################
/proc/loadavg: 4.07 4.15 4.13 5/272 10061
/proc/meminfo: memFree=104624844/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=316512 memory=286368 CPUtime=520.95 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 25502 0 0 0 51290 805 0 0 20 0 1 0 1169395 324108288 71592 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 79128 71592 1855 992 0 70986 0
Current children cumulated CPU time: 520.95 s
Current children cumulated vsize: 316512 KiB
Current children cumulated memory: 286368 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/270 10071
/proc/meminfo: memFree=103965428/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=317600 memory=287300 CPUtime=580.8 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 26418 0 0 0 57212 868 0 0 20 0 1 0 1169395 325222400 71825 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 79400 71825 1855 992 0 71258 0
Current children cumulated CPU time: 580.8 s
Current children cumulated vsize: 317600 KiB
Current children cumulated memory: 287300 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/264 10140
/proc/meminfo: memFree=103238976/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=317668 memory=287496 CPUtime=640.64 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 27041 0 0 0 63106 958 0 0 20 0 1 0 1169395 325292032 71874 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 79417 71874 1855 992 0 71275 0
Current children cumulated CPU time: 640.64 s
Current children cumulated vsize: 317668 KiB
Current children cumulated memory: 287496 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/262 10150
/proc/meminfo: memFree=102603088/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=321004 memory=291152 CPUtime=700.48 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 27933 0 0 0 69042 1006 0 0 20 0 1 0 1169395 328708096 72788 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 80251 72788 1855 992 0 72109 0
Current children cumulated CPU time: 700.48 s
Current children cumulated vsize: 321004 KiB
Current children cumulated memory: 291152 KiB
[startup+762.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/262 10160
/proc/meminfo: memFree=101901576/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=325932 memory=295512 CPUtime=760.31 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 29526 0 0 0 74984 1047 0 0 20 0 1 0 1169395 333754368 73878 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 81483 73878 1855 992 0 73341 0
Current children cumulated CPU time: 760.31 s
Current children cumulated vsize: 325932 KiB
Current children cumulated memory: 295512 KiB
[startup+822.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/261 10172
/proc/meminfo: memFree=101289932/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=326572 memory=296396 CPUtime=820.16 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 30533 0 0 0 80888 1128 0 0 20 0 1 0 1169395 334409728 74099 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 81643 74099 1855 992 0 73501 0
Current children cumulated CPU time: 820.16 s
Current children cumulated vsize: 326572 KiB
Current children cumulated memory: 296396 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/261 10183
/proc/meminfo: memFree=100946200/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=326640 memory=296324 CPUtime=880 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 31107 0 0 0 86787 1213 0 0 20 0 1 0 1169395 334479360 74081 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 81660 74081 1855 992 0 73518 0
Current children cumulated CPU time: 880 s
Current children cumulated vsize: 326640 KiB
Current children cumulated memory: 296324 KiB
[startup+942.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 10194
/proc/meminfo: memFree=100366712/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=328008 memory=297684 CPUtime=939.84 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 31504 0 0 0 92729 1255 0 0 20 0 1 0 1169395 335880192 74421 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 82002 74421 1855 992 0 73860 0
Current children cumulated CPU time: 939.84 s
Current children cumulated vsize: 328008 KiB
Current children cumulated memory: 297684 KiB
[startup+1002.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 10207
/proc/meminfo: memFree=99635164/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=469760 memory=344804 CPUtime=999.67 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 34107 0 0 0 98675 1292 0 0 20 0 1 0 1169395 481034240 86201 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117440 86201 1855 992 0 109298 0
Current children cumulated CPU time: 999.67 s
Current children cumulated vsize: 469760 KiB
Current children cumulated memory: 344804 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 10217
/proc/meminfo: memFree=99154776/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=470320 memory=349520 CPUtime=1059.52 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 34949 0 0 0 104602 1350 0 0 20 0 1 0 1169395 481607680 87380 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117580 87380 1855 992 0 109438 0
Current children cumulated CPU time: 1059.52 s
Current children cumulated vsize: 470320 KiB
Current children cumulated memory: 349520 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 10228
/proc/meminfo: memFree=98529048/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=470880 memory=350316 CPUtime=1119.36 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 35376 0 0 0 110509 1427 0 0 20 0 1 0 1169395 482181120 87579 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117720 87579 1855 992 0 109578 0
Current children cumulated CPU time: 1119.36 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 350316 KiB
[startup+1182.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/258 10239
/proc/meminfo: memFree=97926776/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=470880 memory=350316 CPUtime=1179.21 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 35376 0 0 0 116421 1500 0 0 20 0 1 0 1169395 482181120 87579 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117720 87579 1855 992 0 109578 0
Current children cumulated CPU time: 1179.21 s
Current children cumulated vsize: 470880 KiB
Current children cumulated memory: 350316 KiB
[startup+1242.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/261 10255
/proc/meminfo: memFree=97462752/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=471280 memory=350580 CPUtime=1239.04 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 35466 0 0 0 122362 1542 0 0 20 0 1 0 1169395 482590720 87645 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117820 87645 1855 992 0 109678 0
Current children cumulated CPU time: 1239.04 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 350580 KiB
[startup+1242.83 s]
# the end of solver process 9356 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1224.12 s, system=15.4386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1242.4 s]
/proc/loadavg: 4.18 4.11 4.10 5/261 10255
/proc/meminfo: memFree=97462752/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=471280 memory=350580 CPUtime=1239.14 cores=1,3
/proc/9356/stat : 9356 (roundingsat) R 9353 9356 6768 0 -1 4194304 35466 0 0 0 122372 1542 0 0 20 0 1 0 1169395 482590720 87645 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117820 87645 1855 992 0 109678 0
Current children cumulated CPU time: 1239.14 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 350580 KiB
[startup+1242.8 s]
/proc/loadavg: 4.18 4.11 4.10 5/261 10255
/proc/meminfo: memFree=97462752/131524600 swapFree=131071996/131071996
[pid=9356] ppid=9353 vsize=471280 memory=350580 CPUtime=1239.54 cores=1,3
/proc/9356/stat : 9356 (roundingsat) D 9353 9356 6768 0 -1 4194304 35480 0 0 0 122412 1542 0 0 20 0 1 0 1169395 482590720 87645 134679101440 4194304 8255733 140730613472112 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10498048 140730613474142 140730613474404 140730613474404 140730613481417 0
/proc/9356/statm: 117820 87645 1855 992 0 109678 0
Current children cumulated CPU time: 1239.54 s
Current children cumulated vsize: 471280 KiB
Current children cumulated memory: 350580 KiB
Child status: 0
Real time (s): 1242.83
CPU time (s): 1239.56
CPU user time (s): 1224.12
CPU system time (s): 15.4386
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 471280
Max. memory (cumulated for all children) (KiB): 350580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1224.12
system time used= 15.4386
maximum resident set size= 351260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35488
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= 130
involuntary context switches= 1663
# summary of solver processes directly reported to runsolver:
# pid: 9356
# total CPU time (s): 1239.56
# total CPU user time (s): 1224.12
# total CPU system time (s): 15.4386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57858 second user time and 5.33015 second system time
The end
Begin job on nodeC028 at 2024-07-30 15:20:49 IDJOB=4463047 IDBENCH=158370 IDSOLVER=3089 FILE ID=nodeC028/4463047-1722345649 RUNJOBID= nodeC028-1722340763-6781 SLURM_JOB_ID= 8249001 Free space on /tmp= 889956 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-4463047-1722345649/watcher-4463047-1722345649 -o /tmp/evaluation-result-4463047-1722345649/solver-4463047-1722345649 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722340763-6781 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463047-1722345649 --lp-cut-gomory=0 HOME/instance-4463047-1722345649.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32 RANDOM SEED=768974306 nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.717 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.862 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.165 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.351 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.780 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.225 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3630.263 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.71 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 75801872 kB MemAvailable: 123324296 kB Buffers: 43212 kB Cached: 48264140 kB SwapCached: 0 kB Active: 267072 kB Inactive: 54860012 kB Active(anon): 1532 kB Inactive(anon): 6839600 kB Active(file): 265540 kB Inactive(file): 48020412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 218684 kB Writeback: 16 kB AnonPages: 6817252 kB Mapped: 97920 kB Shmem: 21336 kB KReclaimable: 152588 kB Slab: 240920 kB SReclaimable: 152588 kB SUnreclaim: 88332 kB KernelStack: 4272 kB PageTables: 22708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7979688 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 3653632 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: 191188 kB DirectMap2M: 6922240 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 889960 MiB End job on nodeC028 at 2024-07-30 15:41:32