| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 16 | 3600.12 | 3610.33 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb |
| MD5SUM | a64beba99ddb27280a5fb75072b9e119 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 3419.49 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 5568 |
| Total number of constraints | 412 |
| Number of constraints which are clauses | 173 |
| Number of constraints which are cardinality constraints (but not clauses) | 173 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 32 |
| Maximum length of a constraint | 174 |
| Number of terms in the objective function | 32 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 32 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 56906 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 206719 |
| Number of bits of the biggest sum of numbers | 18 |
| 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.01 c #variables 5568 #constraints 412 0.00/0.05 c bounds - >= 0 @ 0.008987 0.00/0.05 c rational objective 15 3.98/4.10 c bounds 18 >= 0 @ 0.207614 3.98/4.10 c bounds 18 >= 15 @ 0.207893 3.98/4.10 c #Conflicts: 1000 | #Constraints: 1558 3.98/4.10 c #Conflicts: 2000 | #Constraints: 2788 3.98/4.10 c INPROCESSING 3.98/4.10 c GARBAGE COLLECT 3.98/4.10 c bounds 17 >= 15 @ 2.1038 3.98/4.10 c bounds 16 >= 15 @ 2.11284 3.98/4.10 c #Conflicts: 3000 | #Constraints: 2620 3.98/4.10 c #Conflicts: 4000 | #Constraints: 3620 3.98/4.10 c INPROCESSING 3.98/4.10 c GARBAGE COLLECT 3.98/4.10 c rational objective 15 6.97/7.00 c #Conflicts: 5000 | #Constraints: 2938 6.97/7.00 c #Conflicts: 6000 | #Constraints: 3959 6.97/7.00 c INPROCESSING 6.97/7.00 c GARBAGE COLLECT 6.97/7.00 c rational objective 15 9.16/9.26 c #Conflicts: 7000 | #Constraints: 2914 9.16/9.26 c #Conflicts: 8000 | #Constraints: 3915 9.16/9.26 c #Conflicts: 9000 | #Constraints: 4915 9.16/9.26 c INPROCESSING 9.16/9.26 c GARBAGE COLLECT 9.16/9.26 c rational objective 15 10.75/10.89 c #Conflicts: 10000 | #Constraints: 3592 10.75/10.89 c #Conflicts: 11000 | #Constraints: 4592 10.75/10.89 c #Conflicts: 12000 | #Constraints: 5592 10.75/10.89 c INPROCESSING 10.75/10.89 c GARBAGE COLLECT 10.75/10.89 c rational objective 15 13.06/13.13 c #Conflicts: 13000 | #Constraints: 4029 13.06/13.13 c #Conflicts: 14000 | #Constraints: 5029 13.06/13.13 c #Conflicts: 15000 | #Constraints: 6029 13.06/13.13 c INPROCESSING 13.06/13.13 c GARBAGE COLLECT 13.06/13.13 c rational objective 15 16.84/16.90 c #Conflicts: 16000 | #Constraints: 4246 16.84/16.90 c #Conflicts: 17000 | #Constraints: 5246 16.84/16.90 c #Conflicts: 18000 | #Constraints: 6246 16.84/16.90 c INPROCESSING 16.84/16.90 c GARBAGE COLLECT 16.84/16.90 c rational objective 15 20.23/20.31 c #Conflicts: 19000 | #Constraints: 4266 20.23/20.31 c #Conflicts: 20000 | #Constraints: 5270 20.23/20.31 c #Conflicts: 21000 | #Constraints: 6299 20.23/20.31 c INPROCESSING 20.23/20.31 c GARBAGE COLLECT 20.23/20.31 c rational objective 15 23.52/23.65 c #Conflicts: 22000 | #Constraints: 4078 23.52/23.65 c #Conflicts: 23000 | #Constraints: 5078 23.52/23.65 c #Conflicts: 24000 | #Constraints: 6078 23.52/23.65 c #Conflicts: 25000 | #Constraints: 7078 23.52/23.65 c INPROCESSING 23.52/23.65 c GARBAGE COLLECT 23.52/23.65 c rational objective 15 25.41/25.56 c #Conflicts: 26000 | #Constraints: 4663 25.41/25.56 c #Conflicts: 27000 | #Constraints: 5663 25.41/25.56 c #Conflicts: 28000 | #Constraints: 6663 25.41/25.56 c #Conflicts: 29000 | #Constraints: 7663 25.41/25.56 c INPROCESSING 25.41/25.56 c GARBAGE COLLECT 25.41/25.56 c rational objective 15 29.31/29.44 c #Conflicts: 30000 | #Constraints: 5057 29.31/29.44 c #Conflicts: 31000 | #Constraints: 6057 29.31/29.44 c #Conflicts: 32000 | #Constraints: 7074 29.31/29.44 c #Conflicts: 33000 | #Constraints: 8074 29.31/29.44 c INPROCESSING 29.31/29.44 c GARBAGE COLLECT 29.31/29.44 c rational objective 15 32.60/32.71 c #Conflicts: 34000 | #Constraints: 5261 32.60/32.71 c #Conflicts: 35000 | #Constraints: 6261 32.60/32.71 c #Conflicts: 36000 | #Constraints: 7261 32.60/32.71 c #Conflicts: 37000 | #Constraints: 8261 32.60/32.71 c INPROCESSING 32.60/32.71 c GARBAGE COLLECT 32.60/32.71 c rational objective 15 38.58/38.73 c #Conflicts: 38000 | #Constraints: 5261 38.58/38.73 c #Conflicts: 39000 | #Constraints: 6261 38.58/38.73 c #Conflicts: 40000 | #Constraints: 7261 38.58/38.73 c #Conflicts: 41000 | #Constraints: 8261 38.58/38.73 c INPROCESSING 38.58/38.73 c GARBAGE COLLECT 38.58/38.73 c rational objective 15 55.13/55.30 c #Conflicts: 42000 | #Constraints: 5061 55.13/55.30 c #Conflicts: 43000 | #Constraints: 6082 55.13/55.30 c #Conflicts: 44000 | #Constraints: 7113 55.13/55.30 c #Conflicts: 45000 | #Constraints: 8162 55.13/55.30 c #Conflicts: 46000 | #Constraints: 9295 55.13/55.30 c INPROCESSING 55.13/55.30 c GARBAGE COLLECT 55.13/55.30 c rational objective 15 61.71/61.94 c #Conflicts: 47000 | #Constraints: 5771 61.71/61.94 c #Conflicts: 48000 | #Constraints: 6771 61.71/61.94 c #Conflicts: 49000 | #Constraints: 7772 61.71/61.94 c #Conflicts: 50000 | #Constraints: 8773 61.71/61.94 c #Conflicts: 51000 | #Constraints: 9773 61.71/61.94 c INPROCESSING 61.71/61.94 c GARBAGE COLLECT 61.71/61.94 c rational objective 15 66.00/66.29 c #Conflicts: 52000 | #Constraints: 6111 66.00/66.29 c #Conflicts: 53000 | #Constraints: 7111 66.00/66.29 c #Conflicts: 54000 | #Constraints: 8111 66.00/66.29 c #Conflicts: 55000 | #Constraints: 9111 66.00/66.29 c #Conflicts: 56000 | #Constraints: 10111 66.00/66.29 c INPROCESSING 66.00/66.29 c GARBAGE COLLECT 66.00/66.29 c rational objective 15 70.09/70.35 c #Conflicts: 57000 | #Constraints: 6280 70.09/70.35 c #Conflicts: 58000 | #Constraints: 7280 70.09/70.35 c #Conflicts: 59000 | #Constraints: 8280 70.09/70.35 c #Conflicts: 60000 | #Constraints: 9280 70.09/70.35 c #Conflicts: 61000 | #Constraints: 10280 70.09/70.35 c INPROCESSING 70.09/70.35 c GARBAGE COLLECT 70.09/70.35 c rational objective 15 77.87/78.18 c #Conflicts: 62000 | #Constraints: 6264 77.87/78.18 c #Conflicts: 63000 | #Constraints: 7264 77.87/78.18 c #Conflicts: 64000 | #Constraints: 8264 77.87/78.18 c #Conflicts: 65000 | #Constraints: 9264 77.87/78.18 c #Conflicts: 66000 | #Constraints: 10265 77.87/78.18 c INPROCESSING 77.87/78.18 c GARBAGE COLLECT 77.87/78.18 c rational objective 15 84.75/85.07 c #Conflicts: 67000 | #Constraints: 6050 84.75/85.07 c #Conflicts: 68000 | #Constraints: 7051 84.75/85.07 c #Conflicts: 69000 | #Constraints: 8051 84.75/85.07 c #Conflicts: 70000 | #Constraints: 9051 84.75/85.07 c #Conflicts: 71000 | #Constraints: 10068 84.75/85.07 c #Conflicts: 72000 | #Constraints: 11124 84.75/85.07 c INPROCESSING 84.75/85.07 c GARBAGE COLLECT 84.75/85.07 c rational objective 15 95.83/96.11 c #Conflicts: 73000 | #Constraints: 6682 95.83/96.11 c #Conflicts: 74000 | #Constraints: 7682 95.83/96.11 c #Conflicts: 75000 | #Constraints: 8682 95.83/96.11 c #Conflicts: 76000 | #Constraints: 9682 95.83/96.11 c #Conflicts: 77000 | #Constraints: 10682 95.83/96.11 c #Conflicts: 78000 | #Constraints: 11682 95.83/96.11 c INPROCESSING 95.83/96.11 c GARBAGE COLLECT 95.83/96.11 c rational objective 15 101.01/101.38 c #Conflicts: 79000 | #Constraints: 7063 101.01/101.38 c #Conflicts: 80000 | #Constraints: 8063 101.01/101.38 c #Conflicts: 81000 | #Constraints: 9063 101.01/101.38 c #Conflicts: 82000 | #Constraints: 10063 101.01/101.38 c #Conflicts: 83000 | #Constraints: 11063 101.01/101.38 c #Conflicts: 84000 | #Constraints: 12063 101.01/101.38 c INPROCESSING 101.01/101.38 c GARBAGE COLLECT 101.01/101.38 c rational objective 15 112.18/112.51 c #Conflicts: 85000 | #Constraints: 7253 112.18/112.51 c #Conflicts: 86000 | #Constraints: 8253 112.18/112.51 c #Conflicts: 87000 | #Constraints: 9254 112.18/112.51 c #Conflicts: 88000 | #Constraints: 10254 112.18/112.51 c #Conflicts: 89000 | #Constraints: 11254 112.18/112.51 c #Conflicts: 90000 | #Constraints: 12254 112.18/112.51 c INPROCESSING 112.18/112.51 c GARBAGE COLLECT 112.18/112.51 c rational objective 15 139.01/139.40 c #Conflicts: 91000 | #Constraints: 7250 139.01/139.40 c #Conflicts: 92000 | #Constraints: 8250 139.01/139.40 c #Conflicts: 93000 | #Constraints: 9250 139.01/139.40 c #Conflicts: 94000 | #Constraints: 10250 139.01/139.40 c #Conflicts: 95000 | #Constraints: 11250 139.01/139.40 c #Conflicts: 96000 | #Constraints: 12250 139.01/139.40 c INPROCESSING 139.01/139.40 c GARBAGE COLLECT 139.01/139.40 c #Conflicts: 97000 | #Constraints: 7048 139.01/139.40 c #Conflicts: 98000 | #Constraints: 8048 139.01/139.40 c #Conflicts: 99000 | #Constraints: 9048 139.01/139.40 c #Conflicts: 100000 | #Constraints: 10048 139.01/139.40 c #Conflicts: 101000 | #Constraints: 11048 139.01/139.40 c #Conflicts: 102000 | #Constraints: 12048 139.01/139.40 c #Conflicts: 103000 | #Constraints: 13048 139.01/139.40 c INPROCESSING 139.01/139.40 c GARBAGE COLLECT 139.01/139.40 c rational objective 15 149.68/150.17 c #Conflicts: 104000 | #Constraints: 7645 149.68/150.17 c #Conflicts: 105000 | #Constraints: 8645 149.68/150.17 c #Conflicts: 106000 | #Constraints: 9645 149.68/150.17 c #Conflicts: 107000 | #Constraints: 10645 149.68/150.17 c #Conflicts: 108000 | #Constraints: 11645 149.68/150.17 c #Conflicts: 109000 | #Constraints: 12645 149.68/150.17 c #Conflicts: 110000 | #Constraints: 13645 149.68/150.17 c INPROCESSING 149.68/150.17 c GARBAGE COLLECT 149.68/150.17 c rational objective 15 182.88/183.40 c #Conflicts: 111000 | #Constraints: 8042 182.88/183.40 c #Conflicts: 112000 | #Constraints: 9042 182.88/183.40 c #Conflicts: 113000 | #Constraints: 10042 182.88/183.40 c #Conflicts: 114000 | #Constraints: 11043 182.88/183.40 c #Conflicts: 115000 | #Constraints: 12043 182.88/183.40 c #Conflicts: 116000 | #Constraints: 13043 182.88/183.40 c #Conflicts: 117000 | #Constraints: 14043 182.88/183.40 c INPROCESSING 182.88/183.40 c GARBAGE COLLECT 182.88/183.40 c #Conflicts: 118000 | #Constraints: 8242 182.88/183.40 c #Conflicts: 119000 | #Constraints: 9242 182.88/183.40 c #Conflicts: 120000 | #Constraints: 10242 182.88/183.40 c #Conflicts: 121000 | #Constraints: 11242 182.88/183.40 c #Conflicts: 122000 | #Constraints: 12242 182.88/183.40 c #Conflicts: 123000 | #Constraints: 13244 182.88/183.40 c #Conflicts: 124000 | #Constraints: 14247 182.88/183.40 c INPROCESSING 182.88/183.40 c GARBAGE COLLECT 182.88/183.40 c #Conflicts: 125000 | #Constraints: 8247 182.88/183.40 c #Conflicts: 126000 | #Constraints: 9250 182.88/183.40 c #Conflicts: 127000 | #Constraints: 10259 182.88/183.40 c #Conflicts: 128000 | #Constraints: 11259 182.88/183.40 c #Conflicts: 129000 | #Constraints: 12259 182.88/183.40 c #Conflicts: 130000 | #Constraints: 13259 182.88/183.40 c #Conflicts: 131000 | #Constraints: 14259 182.88/183.40 c INPROCESSING 182.88/183.40 c GARBAGE COLLECT 182.88/183.40 c rational objective 15 190.27/190.83 c #Conflicts: 132000 | #Constraints: 8066 190.27/190.83 c #Conflicts: 133000 | #Constraints: 9072 190.27/190.83 c #Conflicts: 134000 | #Constraints: 10079 190.27/190.83 c #Conflicts: 135000 | #Constraints: 11079 190.27/190.83 c #Conflicts: 136000 | #Constraints: 12080 190.27/190.83 c #Conflicts: 137000 | #Constraints: 13080 190.27/190.83 c #Conflicts: 138000 | #Constraints: 14084 190.27/190.83 c #Conflicts: 139000 | #Constraints: 15093 190.27/190.83 c INPROCESSING 190.27/190.83 c GARBAGE COLLECT 190.27/190.83 c rational objective 15 208.32/208.99 c #Conflicts: 140000 | #Constraints: 8668 208.32/208.99 c #Conflicts: 141000 | #Constraints: 9679 208.32/208.99 c #Conflicts: 142000 | #Constraints: 10682 208.32/208.99 c #Conflicts: 143000 | #Constraints: 11689 208.32/208.99 c #Conflicts: 144000 | #Constraints: 12698 208.32/208.99 c #Conflicts: 145000 | #Constraints: 13701 208.32/208.99 c #Conflicts: 146000 | #Constraints: 14704 208.32/208.99 c #Conflicts: 147000 | #Constraints: 15707 208.32/208.99 c INPROCESSING 208.32/208.99 c GARBAGE COLLECT 208.32/208.99 c rational objective 15 220.28/220.94 c #Conflicts: 148000 | #Constraints: 9083 220.28/220.94 c #Conflicts: 149000 | #Constraints: 10085 220.28/220.94 c #Conflicts: 150000 | #Constraints: 11085 220.28/220.94 c #Conflicts: 151000 | #Constraints: 12085 220.28/220.94 c #Conflicts: 152000 | #Constraints: 13085 220.28/220.94 c #Conflicts: 153000 | #Constraints: 14099 220.28/220.94 c #Conflicts: 154000 | #Constraints: 15102 220.28/220.94 c #Conflicts: 155000 | #Constraints: 16105 220.28/220.94 c INPROCESSING 220.28/220.94 c GARBAGE COLLECT 220.28/220.94 c rational objective 15 229.56/230.28 c #Conflicts: 156000 | #Constraints: 9294 229.56/230.28 c #Conflicts: 157000 | #Constraints: 10294 229.56/230.28 c #Conflicts: 158000 | #Constraints: 11294 229.56/230.28 c #Conflicts: 159000 | #Constraints: 12294 229.56/230.28 c #Conflicts: 160000 | #Constraints: 13294 229.56/230.28 c #Conflicts: 161000 | #Constraints: 14294 229.56/230.28 c #Conflicts: 162000 | #Constraints: 15294 229.56/230.28 c #Conflicts: 163000 | #Constraints: 16294 229.56/230.28 c INPROCESSING 229.56/230.28 c GARBAGE COLLECT 229.56/230.28 c rational objective 15 246.11/246.82 c #Conflicts: 164000 | #Constraints: 9273 246.11/246.82 c #Conflicts: 165000 | #Constraints: 10273 246.11/246.82 c #Conflicts: 166000 | #Constraints: 11275 246.11/246.82 c #Conflicts: 167000 | #Constraints: 12279 246.11/246.82 c #Conflicts: 168000 | #Constraints: 13284 246.11/246.82 c #Conflicts: 169000 | #Constraints: 14285 246.11/246.82 c #Conflicts: 170000 | #Constraints: 15286 246.11/246.82 c #Conflicts: 171000 | #Constraints: 16286 246.11/246.82 c INPROCESSING 246.11/246.82 c GARBAGE COLLECT 246.11/246.82 c rational objective 15 258.77/259.52 c #Conflicts: 172000 | #Constraints: 9076 258.77/259.52 c #Conflicts: 173000 | #Constraints: 10080 258.77/259.52 c #Conflicts: 174000 | #Constraints: 11086 258.77/259.52 c #Conflicts: 175000 | #Constraints: 12086 258.77/259.52 c #Conflicts: 176000 | #Constraints: 13086 258.77/259.52 c #Conflicts: 177000 | #Constraints: 14086 258.77/259.52 c #Conflicts: 178000 | #Constraints: 15086 258.77/259.52 c #Conflicts: 179000 | #Constraints: 16086 258.77/259.52 c #Conflicts: 180000 | #Constraints: 17086 258.77/259.52 c INPROCESSING 258.77/259.52 c GARBAGE COLLECT 258.77/259.52 c rational objective 15 265.95/266.72 c #Conflicts: 181000 | #Constraints: 9744 265.95/266.72 c #Conflicts: 182000 | #Constraints: 10744 265.95/266.72 c #Conflicts: 183000 | #Constraints: 11744 265.95/266.72 c #Conflicts: 184000 | #Constraints: 12744 265.95/266.72 c #Conflicts: 185000 | #Constraints: 13744 265.95/266.72 c #Conflicts: 186000 | #Constraints: 14744 265.95/266.72 c #Conflicts: 187000 | #Constraints: 15744 265.95/266.72 c #Conflicts: 188000 | #Constraints: 16744 265.95/266.72 c #Conflicts: 189000 | #Constraints: 17745 265.95/266.72 c INPROCESSING 265.95/266.72 c GARBAGE COLLECT 265.95/266.72 c rational objective 15 271.43/272.28 c #Conflicts: 190000 | #Constraints: 10102 271.43/272.28 c #Conflicts: 191000 | #Constraints: 11102 271.43/272.28 c #Conflicts: 192000 | #Constraints: 12102 271.43/272.28 c #Conflicts: 193000 | #Constraints: 13102 271.43/272.28 c #Conflicts: 194000 | #Constraints: 14102 271.43/272.28 c #Conflicts: 195000 | #Constraints: 15103 271.43/272.28 c #Conflicts: 196000 | #Constraints: 16105 271.43/272.28 c #Conflicts: 197000 | #Constraints: 17106 271.43/272.28 c #Conflicts: 198000 | #Constraints: 18109 271.43/272.28 c INPROCESSING 271.43/272.28 c GARBAGE COLLECT 271.43/272.28 c rational objective 15 283.50/284.34 c #Conflicts: 199000 | #Constraints: 10296 283.50/284.34 c #Conflicts: 200000 | #Constraints: 11296 283.50/284.34 c #Conflicts: 201000 | #Constraints: 12296 283.50/284.34 c #Conflicts: 202000 | #Constraints: 13296 283.50/284.34 c #Conflicts: 203000 | #Constraints: 14297 283.50/284.34 c #Conflicts: 204000 | #Constraints: 15297 283.50/284.34 c #Conflicts: 205000 | #Constraints: 16297 283.50/284.34 c #Conflicts: 206000 | #Constraints: 17297 283.50/284.34 c #Conflicts: 207000 | #Constraints: 18297 283.50/284.34 c INPROCESSING 283.50/284.34 c GARBAGE COLLECT 283.50/284.34 c rational objective 15 300.76/301.67 c #Conflicts: 208000 | #Constraints: 10307 300.76/301.67 c #Conflicts: 209000 | #Constraints: 11307 300.76/301.67 c #Conflicts: 210000 | #Constraints: 12307 300.76/301.67 c #Conflicts: 211000 | #Constraints: 13307 300.76/301.67 c #Conflicts: 212000 | #Constraints: 14307 300.76/301.67 c #Conflicts: 213000 | #Constraints: 15699 300.76/301.67 c #Conflicts: 214000 | #Constraints: 16866 300.76/301.67 c #Conflicts: 215000 | #Constraints: 17867 300.76/301.67 c #Conflicts: 216000 | #Constraints: 18874 300.76/301.67 c INPROCESSING 300.76/301.67 c GARBAGE COLLECT 300.76/301.67 c rational objective 15 393.20/394.30 c #Conflicts: 217000 | #Constraints: 10385 393.20/394.30 c #Conflicts: 218000 | #Constraints: 11385 393.20/394.30 c #Conflicts: 219000 | #Constraints: 12385 393.20/394.30 c #Conflicts: 220000 | #Constraints: 13385 393.20/394.30 c #Conflicts: 221000 | #Constraints: 14386 393.20/394.30 c #Conflicts: 222000 | #Constraints: 15386 393.20/394.30 c #Conflicts: 223000 | #Constraints: 16386 393.20/394.30 c #Conflicts: 224000 | #Constraints: 17396 393.20/394.30 c #Conflicts: 225000 | #Constraints: 18421 393.20/394.30 c #Conflicts: 226000 | #Constraints: 19477 393.20/394.30 c INPROCESSING 393.20/394.30 c GARBAGE COLLECT 393.20/394.30 c #Conflicts: 227000 | #Constraints: 10867 393.20/394.30 c #Conflicts: 228000 | #Constraints: 11867 393.20/394.30 c #Conflicts: 229000 | #Constraints: 12869 393.20/394.30 c #Conflicts: 230000 | #Constraints: 13869 393.20/394.30 c #Conflicts: 231000 | #Constraints: 14869 393.20/394.30 c #Conflicts: 232000 | #Constraints: 15869 393.20/394.30 c #Conflicts: 233000 | #Constraints: 16869 393.20/394.30 c #Conflicts: 234000 | #Constraints: 17869 393.20/394.30 c #Conflicts: 235000 | #Constraints: 18869 393.20/394.30 c #Conflicts: 236000 | #Constraints: 19869 393.20/394.30 c INPROCESSING 393.20/394.30 c GARBAGE COLLECT 393.20/394.30 c rational objective 15 415.84/417.05 c #Conflicts: 237000 | #Constraints: 11170 415.84/417.05 c #Conflicts: 238000 | #Constraints: 12170 415.84/417.05 c #Conflicts: 239000 | #Constraints: 13170 415.84/417.05 c #Conflicts: 240000 | #Constraints: 14170 415.84/417.05 c #Conflicts: 241000 | #Constraints: 15170 415.84/417.05 c #Conflicts: 242000 | #Constraints: 16170 415.84/417.05 c #Conflicts: 243000 | #Constraints: 17170 415.84/417.05 c #Conflicts: 244000 | #Constraints: 18170 415.84/417.05 c #Conflicts: 245000 | #Constraints: 19170 415.84/417.05 c #Conflicts: 246000 | #Constraints: 20170 415.84/417.05 c INPROCESSING 415.84/417.05 c GARBAGE COLLECT 415.84/417.05 c rational objective 15 439.37/440.68 c #Conflicts: 247000 | #Constraints: 11321 439.37/440.68 c #Conflicts: 248000 | #Constraints: 12321 439.37/440.68 c #Conflicts: 249000 | #Constraints: 13321 439.37/440.68 c #Conflicts: 250000 | #Constraints: 14321 439.37/440.68 c #Conflicts: 251000 | #Constraints: 15321 439.37/440.68 c #Conflicts: 252000 | #Constraints: 16321 439.37/440.68 c #Conflicts: 253000 | #Constraints: 17323 439.37/440.68 c #Conflicts: 254000 | #Constraints: 18323 439.37/440.68 c #Conflicts: 255000 | #Constraints: 19323 439.37/440.68 c #Conflicts: 256000 | #Constraints: 20323 439.37/440.68 c INPROCESSING 439.37/440.68 c GARBAGE COLLECT 439.37/440.68 c rational objective 15 466.10/467.40 c #Conflicts: 257000 | #Constraints: 11301 466.10/467.40 c #Conflicts: 258000 | #Constraints: 12301 466.10/467.40 c #Conflicts: 259000 | #Constraints: 13301 466.10/467.40 c #Conflicts: 260000 | #Constraints: 14301 466.10/467.40 c #Conflicts: 261000 | #Constraints: 15301 466.10/467.40 c #Conflicts: 262000 | #Constraints: 16301 466.10/467.40 c #Conflicts: 263000 | #Constraints: 17301 466.10/467.40 c #Conflicts: 264000 | #Constraints: 18301 466.10/467.40 c #Conflicts: 265000 | #Constraints: 19301 466.10/467.40 c #Conflicts: 266000 | #Constraints: 20301 466.10/467.40 c INPROCESSING 466.10/467.40 c GARBAGE COLLECT 466.10/467.40 c rational objective 15 491.13/492.50 c #Conflicts: 267000 | #Constraints: 11087 491.13/492.50 c #Conflicts: 268000 | #Constraints: 12087 491.13/492.50 c #Conflicts: 269000 | #Constraints: 13087 491.13/492.50 c #Conflicts: 270000 | #Constraints: 14087 491.13/492.50 c #Conflicts: 271000 | #Constraints: 15087 491.13/492.50 c #Conflicts: 272000 | #Constraints: 16087 491.13/492.50 c #Conflicts: 273000 | #Constraints: 17087 491.13/492.50 c #Conflicts: 274000 | #Constraints: 18087 491.13/492.50 c #Conflicts: 275000 | #Constraints: 19087 491.13/492.50 c #Conflicts: 276000 | #Constraints: 20087 491.13/492.50 c #Conflicts: 277000 | #Constraints: 21087 491.13/492.50 c INPROCESSING 491.13/492.50 c GARBAGE COLLECT 491.13/492.50 c rational objective 15 567.12/568.75 c #Conflicts: 278000 | #Constraints: 11692 567.12/568.75 c #Conflicts: 279000 | #Constraints: 12692 567.12/568.75 c #Conflicts: 280000 | #Constraints: 13692 567.12/568.75 c #Conflicts: 281000 | #Constraints: 14692 567.12/568.75 c #Conflicts: 282000 | #Constraints: 15692 567.12/568.75 c #Conflicts: 283000 | #Constraints: 16692 567.12/568.75 c #Conflicts: 284000 | #Constraints: 17692 567.12/568.75 c #Conflicts: 285000 | #Constraints: 18692 567.12/568.75 c #Conflicts: 286000 | #Constraints: 19692 567.12/568.75 c #Conflicts: 287000 | #Constraints: 20692 567.12/568.75 c #Conflicts: 288000 | #Constraints: 21692 567.12/568.75 c INPROCESSING 567.12/568.75 c GARBAGE COLLECT 567.12/568.75 c rational objective 15 595.04/596.71 c #Conflicts: 289000 | #Constraints: 12075 595.04/596.71 c #Conflicts: 290000 | #Constraints: 13075 595.04/596.71 c #Conflicts: 291000 | #Constraints: 14075 595.04/596.71 c #Conflicts: 292000 | #Constraints: 15075 595.04/596.71 c #Conflicts: 293000 | #Constraints: 16075 595.04/596.71 c #Conflicts: 294000 | #Constraints: 17075 595.04/596.71 c #Conflicts: 295000 | #Constraints: 18075 595.04/596.71 c #Conflicts: 296000 | #Constraints: 19075 595.04/596.71 c #Conflicts: 297000 | #Constraints: 20075 595.04/596.71 c #Conflicts: 298000 | #Constraints: 21075 595.04/596.71 c #Conflicts: 299000 | #Constraints: 22076 595.04/596.71 c INPROCESSING 595.04/596.71 c GARBAGE COLLECT 595.04/596.71 c rational objective 15 607.81/609.52 c #Conflicts: 300000 | #Constraints: 12263 607.81/609.52 c #Conflicts: 301000 | #Constraints: 13263 607.81/609.52 c #Conflicts: 302000 | #Constraints: 14263 607.81/609.52 c #Conflicts: 303000 | #Constraints: 15263 607.81/609.52 c #Conflicts: 304000 | #Constraints: 16263 607.81/609.52 c #Conflicts: 305000 | #Constraints: 17267 607.81/609.52 c #Conflicts: 306000 | #Constraints: 18267 607.81/609.52 c #Conflicts: 307000 | #Constraints: 19267 607.81/609.52 c #Conflicts: 308000 | #Constraints: 20267 607.81/609.52 c #Conflicts: 309000 | #Constraints: 21268 607.81/609.52 c #Conflicts: 310000 | #Constraints: 22276 607.81/609.52 c INPROCESSING 607.81/609.52 c GARBAGE COLLECT 607.81/609.52 c rational objective 15 622.56/624.31 c #Conflicts: 311000 | #Constraints: 12261 622.56/624.31 c #Conflicts: 312000 | #Constraints: 13261 622.56/624.31 c #Conflicts: 313000 | #Constraints: 14261 622.56/624.31 c #Conflicts: 314000 | #Constraints: 15261 622.56/624.31 c #Conflicts: 315000 | #Constraints: 16261 622.56/624.31 c #Conflicts: 316000 | #Constraints: 17261 622.56/624.31 c #Conflicts: 317000 | #Constraints: 18261 622.56/624.31 c #Conflicts: 318000 | #Constraints: 19261 622.56/624.31 c #Conflicts: 319000 | #Constraints: 20261 622.56/624.31 c #Conflicts: 320000 | #Constraints: 21261 622.56/624.31 c #Conflicts: 321000 | #Constraints: 22261 622.56/624.31 c INPROCESSING 622.56/624.31 c GARBAGE COLLECT 622.56/624.31 c rational objective 15 644.21/646.05 c #Conflicts: 322000 | #Constraints: 12053 644.21/646.05 c #Conflicts: 323000 | #Constraints: 13053 644.21/646.05 c #Conflicts: 324000 | #Constraints: 14053 644.21/646.05 c #Conflicts: 325000 | #Constraints: 15053 644.21/646.05 c #Conflicts: 326000 | #Constraints: 16053 644.21/646.05 c #Conflicts: 327000 | #Constraints: 17053 644.21/646.05 c #Conflicts: 328000 | #Constraints: 18059 644.21/646.05 c #Conflicts: 329000 | #Constraints: 19064 644.21/646.05 c #Conflicts: 330000 | #Constraints: 20068 644.21/646.05 c #Conflicts: 331000 | #Constraints: 21068 644.21/646.05 c #Conflicts: 332000 | #Constraints: 22068 644.21/646.05 c #Conflicts: 333000 | #Constraints: 23069 644.21/646.05 c INPROCESSING 644.21/646.05 c GARBAGE COLLECT 644.21/646.05 c rational objective 15 658.46/660.31 c #Conflicts: 334000 | #Constraints: 12717 658.46/660.31 c #Conflicts: 335000 | #Constraints: 13719 658.46/660.31 c #Conflicts: 336000 | #Constraints: 14720 658.46/660.31 c #Conflicts: 337000 | #Constraints: 15721 658.46/660.31 c #Conflicts: 338000 | #Constraints: 16721 658.46/660.31 c #Conflicts: 339000 | #Constraints: 17721 658.46/660.31 c #Conflicts: 340000 | #Constraints: 18721 658.46/660.31 c #Conflicts: 341000 | #Constraints: 19722 658.46/660.31 c #Conflicts: 342000 | #Constraints: 20722 658.46/660.31 c #Conflicts: 343000 | #Constraints: 21722 658.46/660.31 c #Conflicts: 344000 | #Constraints: 22723 658.46/660.31 c #Conflicts: 345000 | #Constraints: 23723 658.46/660.31 c INPROCESSING 658.46/660.31 c GARBAGE COLLECT 658.46/660.31 c rational objective 15 674.62/676.52 c #Conflicts: 346000 | #Constraints: 13089 674.62/676.52 c #Conflicts: 347000 | #Constraints: 14089 674.62/676.52 c #Conflicts: 348000 | #Constraints: 15089 674.62/676.52 c #Conflicts: 349000 | #Constraints: 16089 674.62/676.52 c #Conflicts: 350000 | #Constraints: 17089 674.62/676.52 c #Conflicts: 351000 | #Constraints: 18090 674.62/676.52 c #Conflicts: 352000 | #Constraints: 19090 674.62/676.52 c #Conflicts: 353000 | #Constraints: 20090 674.62/676.52 c #Conflicts: 354000 | #Constraints: 21091 674.62/676.52 c #Conflicts: 355000 | #Constraints: 22093 674.62/676.52 c #Conflicts: 356000 | #Constraints: 23093 674.62/676.52 c #Conflicts: 357000 | #Constraints: 24093 674.62/676.52 c INPROCESSING 674.62/676.52 c GARBAGE COLLECT 674.62/676.52 c rational objective 15 695.17/697.19 c #Conflicts: 358000 | #Constraints: 13265 695.17/697.19 c #Conflicts: 359000 | #Constraints: 14266 695.17/697.19 c #Conflicts: 360000 | #Constraints: 15282 695.17/697.19 c #Conflicts: 361000 | #Constraints: 16294 695.17/697.19 c #Conflicts: 362000 | #Constraints: 17300 695.17/697.19 c #Conflicts: 363000 | #Constraints: 18301 695.17/697.19 c #Conflicts: 364000 | #Constraints: 19302 695.17/697.19 c #Conflicts: 365000 | #Constraints: 20306 695.17/697.19 c #Conflicts: 366000 | #Constraints: 21307 695.17/697.19 c #Conflicts: 367000 | #Constraints: 22309 695.17/697.19 c #Conflicts: 368000 | #Constraints: 23309 695.17/697.19 c #Conflicts: 369000 | #Constraints: 24314 695.17/697.19 c INPROCESSING 695.17/697.19 c GARBAGE COLLECT 695.17/697.19 c rational objective 15 718.00/720.04 c #Conflicts: 370000 | #Constraints: 13311 718.00/720.04 c #Conflicts: 371000 | #Constraints: 14316 718.00/720.04 c #Conflicts: 372000 | #Constraints: 15325 718.00/720.04 c #Conflicts: 373000 | #Constraints: 16361 718.00/720.04 c #Conflicts: 374000 | #Constraints: 17367 718.00/720.04 c #Conflicts: 375000 | #Constraints: 18371 718.00/720.04 c #Conflicts: 376000 | #Constraints: 19382 718.00/720.04 c #Conflicts: 377000 | #Constraints: 20401 718.00/720.04 c #Conflicts: 378000 | #Constraints: 21434 718.00/720.04 c #Conflicts: 379000 | #Constraints: 22434 718.00/720.04 c #Conflicts: 380000 | #Constraints: 23434 718.00/720.04 c #Conflicts: 381000 | #Constraints: 24434 718.00/720.04 c INPROCESSING 718.00/720.04 c GARBAGE COLLECT 718.00/720.04 c rational objective 15 734.15/736.21 c #Conflicts: 382000 | #Constraints: 13139 734.15/736.21 c #Conflicts: 383000 | #Constraints: 14140 734.15/736.21 c #Conflicts: 384000 | #Constraints: 15582 734.15/736.21 c #Conflicts: 385000 | #Constraints: 16914 734.15/736.21 c #Conflicts: 386000 | #Constraints: 18597 734.15/736.21 c #Conflicts: 387000 | #Constraints: 19597 734.15/736.21 c #Conflicts: 388000 | #Constraints: 20597 734.15/736.21 c #Conflicts: 389000 | #Constraints: 21597 734.15/736.21 c #Conflicts: 390000 | #Constraints: 22597 734.15/736.21 c #Conflicts: 391000 | #Constraints: 23597 734.15/736.21 c #Conflicts: 392000 | #Constraints: 24597 734.15/736.21 c #Conflicts: 393000 | #Constraints: 25597 734.15/736.21 c #Conflicts: 394000 | #Constraints: 26597 734.15/736.21 c INPROCESSING 734.15/736.21 c GARBAGE COLLECT 734.15/736.21 c rational objective 15 747.01/749.15 c #Conflicts: 395000 | #Constraints: 14423 747.01/749.15 c #Conflicts: 396000 | #Constraints: 15423 747.01/749.15 c #Conflicts: 397000 | #Constraints: 16423 747.01/749.15 c #Conflicts: 398000 | #Constraints: 17423 747.01/749.15 c #Conflicts: 399000 | #Constraints: 18423 747.01/749.15 c #Conflicts: 400000 | #Constraints: 19423 747.01/749.15 c #Conflicts: 401000 | #Constraints: 20423 747.01/749.15 c #Conflicts: 402000 | #Constraints: 21423 747.01/749.15 c #Conflicts: 403000 | #Constraints: 22423 747.01/749.15 c #Conflicts: 404000 | #Constraints: 23429 747.01/749.15 c #Conflicts: 405000 | #Constraints: 24429 747.01/749.15 c #Conflicts: 406000 | #Constraints: 25430 747.01/749.15 c #Conflicts: 407000 | #Constraints: 26432 747.01/749.15 c INPROCESSING 747.01/749.15 c GARBAGE COLLECT 747.01/749.15 c rational objective 15 774.43/776.65 c #Conflicts: 408000 | #Constraints: 14457 774.43/776.65 c #Conflicts: 409000 | #Constraints: 15457 774.43/776.65 c #Conflicts: 410000 | #Constraints: 16457 774.43/776.65 c #Conflicts: 411000 | #Constraints: 17457 774.43/776.65 c #Conflicts: 412000 | #Constraints: 18458 774.43/776.65 c #Conflicts: 413000 | #Constraints: 19458 774.43/776.65 c #Conflicts: 414000 | #Constraints: 20458 774.43/776.65 c #Conflicts: 415000 | #Constraints: 21458 774.43/776.65 c #Conflicts: 416000 | #Constraints: 22458 774.43/776.65 c #Conflicts: 417000 | #Constraints: 23458 774.43/776.65 c #Conflicts: 418000 | #Constraints: 24458 774.43/776.65 c #Conflicts: 419000 | #Constraints: 25458 774.43/776.65 c #Conflicts: 420000 | #Constraints: 26458 774.43/776.65 c INPROCESSING 774.43/776.65 c GARBAGE COLLECT 774.43/776.65 c rational objective 15 799.37/801.63 c #Conflicts: 421000 | #Constraints: 14458 799.37/801.63 c #Conflicts: 422000 | #Constraints: 15458 799.37/801.63 c #Conflicts: 423000 | #Constraints: 16458 799.37/801.63 c #Conflicts: 424000 | #Constraints: 17458 799.37/801.63 c #Conflicts: 425000 | #Constraints: 18458 799.37/801.63 c #Conflicts: 426000 | #Constraints: 19458 799.37/801.63 c #Conflicts: 427000 | #Constraints: 20458 799.37/801.63 c #Conflicts: 428000 | #Constraints: 21458 799.37/801.63 c #Conflicts: 429000 | #Constraints: 22458 799.37/801.63 c #Conflicts: 430000 | #Constraints: 23458 799.37/801.63 c #Conflicts: 431000 | #Constraints: 24458 799.37/801.63 c #Conflicts: 432000 | #Constraints: 25458 799.37/801.63 c #Conflicts: 433000 | #Constraints: 26458 799.37/801.63 c INPROCESSING 799.37/801.63 c GARBAGE COLLECT 799.37/801.63 c rational objective 15 823.59/825.94 c #Conflicts: 434000 | #Constraints: 14357 823.59/825.94 c #Conflicts: 435000 | #Constraints: 15357 823.59/825.94 c #Conflicts: 436000 | #Constraints: 16357 823.59/825.94 c #Conflicts: 437000 | #Constraints: 17357 823.59/825.94 c #Conflicts: 438000 | #Constraints: 18358 823.59/825.94 c #Conflicts: 439000 | #Constraints: 19359 823.59/825.94 c #Conflicts: 440000 | #Constraints: 20359 823.59/825.94 c #Conflicts: 441000 | #Constraints: 21359 823.59/825.94 c #Conflicts: 442000 | #Constraints: 22359 823.59/825.94 c #Conflicts: 443000 | #Constraints: 23359 823.59/825.94 c #Conflicts: 444000 | #Constraints: 24359 823.59/825.94 c #Conflicts: 445000 | #Constraints: 25359 823.59/825.94 c #Conflicts: 446000 | #Constraints: 26359 823.59/825.94 c INPROCESSING 823.59/825.94 c GARBAGE COLLECT 823.59/825.94 c rational objective 15 840.25/842.65 c #Conflicts: 447000 | #Constraints: 14123 840.25/842.65 c #Conflicts: 448000 | #Constraints: 15123 840.25/842.65 c #Conflicts: 449000 | #Constraints: 16123 840.25/842.65 c #Conflicts: 450000 | #Constraints: 17123 840.25/842.65 c #Conflicts: 451000 | #Constraints: 18123 840.25/842.65 c #Conflicts: 452000 | #Constraints: 19124 840.25/842.65 c #Conflicts: 453000 | #Constraints: 20124 840.25/842.65 c #Conflicts: 454000 | #Constraints: 21124 840.25/842.65 c #Conflicts: 455000 | #Constraints: 22125 840.25/842.65 c #Conflicts: 456000 | #Constraints: 23125 840.25/842.65 c #Conflicts: 457000 | #Constraints: 24126 840.25/842.65 c #Conflicts: 458000 | #Constraints: 25126 840.25/842.65 c #Conflicts: 459000 | #Constraints: 26126 840.25/842.65 c #Conflicts: 460000 | #Constraints: 27126 840.25/842.65 c INPROCESSING 840.25/842.65 c GARBAGE COLLECT 840.25/842.65 c rational objective 15 864.98/867.43 c #Conflicts: 461000 | #Constraints: 14687 864.98/867.43 c #Conflicts: 462000 | #Constraints: 15687 864.98/867.43 c #Conflicts: 463000 | #Constraints: 16687 864.98/867.43 c #Conflicts: 464000 | #Constraints: 17687 864.98/867.43 c #Conflicts: 465000 | #Constraints: 18687 864.98/867.43 c #Conflicts: 466000 | #Constraints: 19687 864.98/867.43 c #Conflicts: 467000 | #Constraints: 20687 864.98/867.43 c #Conflicts: 468000 | #Constraints: 21687 864.98/867.43 c #Conflicts: 469000 | #Constraints: 22687 864.98/867.43 c #Conflicts: 470000 | #Constraints: 23687 864.98/867.43 c #Conflicts: 471000 | #Constraints: 24687 864.98/867.43 c #Conflicts: 472000 | #Constraints: 25687 864.98/867.43 c #Conflicts: 473000 | #Constraints: 26687 864.98/867.43 c #Conflicts: 474000 | #Constraints: 27687 864.98/867.43 c INPROCESSING 864.98/867.43 c GARBAGE COLLECT 864.98/867.43 c rational objective 15 880.33/882.84 c #Conflicts: 475000 | #Constraints: 15070 880.33/882.84 c #Conflicts: 476000 | #Constraints: 16070 880.33/882.84 c #Conflicts: 477000 | #Constraints: 17070 880.33/882.84 c #Conflicts: 478000 | #Constraints: 18070 880.33/882.84 c #Conflicts: 479000 | #Constraints: 19071 880.33/882.84 c #Conflicts: 480000 | #Constraints: 20072 880.33/882.84 c #Conflicts: 481000 | #Constraints: 21072 880.33/882.84 c #Conflicts: 482000 | #Constraints: 22073 880.33/882.84 c #Conflicts: 483000 | #Constraints: 23074 880.33/882.84 c #Conflicts: 484000 | #Constraints: 24074 880.33/882.84 c #Conflicts: 485000 | #Constraints: 25075 880.33/882.84 c #Conflicts: 486000 | #Constraints: 26075 880.33/882.84 c #Conflicts: 487000 | #Constraints: 27076 880.33/882.84 c #Conflicts: 488000 | #Constraints: 28076 880.33/882.84 c INPROCESSING 880.33/882.84 c GARBAGE COLLECT 880.33/882.84 c rational objective 15 906.16/908.76 c #Conflicts: 489000 | #Constraints: 15259 906.16/908.76 c #Conflicts: 490000 | #Constraints: 16259 906.16/908.76 c #Conflicts: 491000 | #Constraints: 17259 906.16/908.76 c #Conflicts: 492000 | #Constraints: 18259 906.16/908.76 c #Conflicts: 493000 | #Constraints: 19259 906.16/908.76 c #Conflicts: 494000 | #Constraints: 20259 906.16/908.76 c #Conflicts: 495000 | #Constraints: 21259 906.16/908.76 c #Conflicts: 496000 | #Constraints: 22260 906.16/908.76 c #Conflicts: 497000 | #Constraints: 23260 906.16/908.76 c #Conflicts: 498000 | #Constraints: 24260 906.16/908.76 c #Conflicts: 499000 | #Constraints: 25260 906.16/908.76 c #Conflicts: 500000 | #Constraints: 26260 906.16/908.76 c #Conflicts: 501000 | #Constraints: 27261 906.16/908.76 c #Conflicts: 502000 | #Constraints: 28261 906.16/908.76 c INPROCESSING 906.16/908.76 c GARBAGE COLLECT 906.16/908.76 c rational objective 15 946.24/948.92 c #Conflicts: 503000 | #Constraints: 15256 946.24/948.92 c #Conflicts: 504000 | #Constraints: 16256 946.24/948.92 c #Conflicts: 505000 | #Constraints: 17257 946.24/948.92 c #Conflicts: 506000 | #Constraints: 18261 946.24/948.92 c #Conflicts: 507000 | #Constraints: 19266 946.24/948.92 c #Conflicts: 508000 | #Constraints: 20269 946.24/948.92 c #Conflicts: 509000 | #Constraints: 21270 946.24/948.92 c #Conflicts: 510000 | #Constraints: 22272 946.24/948.92 c #Conflicts: 511000 | #Constraints: 23283 946.24/948.92 c #Conflicts: 512000 | #Constraints: 24283 946.24/948.92 c #Conflicts: 513000 | #Constraints: 25283 946.24/948.92 c #Conflicts: 514000 | #Constraints: 26283 946.24/948.92 c #Conflicts: 515000 | #Constraints: 27283 946.24/948.92 c #Conflicts: 516000 | #Constraints: 28283 946.24/948.92 c INPROCESSING 946.24/948.92 c GARBAGE COLLECT 946.24/948.92 c rational objective 15 974.07/976.80 c #Conflicts: 517000 | #Constraints: 15073 974.07/976.80 c #Conflicts: 518000 | #Constraints: 16073 974.07/976.80 c #Conflicts: 519000 | #Constraints: 17073 974.07/976.80 c #Conflicts: 520000 | #Constraints: 18073 974.07/976.80 c #Conflicts: 521000 | #Constraints: 19073 974.07/976.80 c #Conflicts: 522000 | #Constraints: 20073 974.07/976.80 c #Conflicts: 523000 | #Constraints: 21087 974.07/976.80 c #Conflicts: 524000 | #Constraints: 22087 974.07/976.80 c #Conflicts: 525000 | #Constraints: 23088 974.07/976.80 c #Conflicts: 526000 | #Constraints: 24089 974.07/976.80 c #Conflicts: 527000 | #Constraints: 25094 974.07/976.80 c #Conflicts: 528000 | #Constraints: 26095 974.07/976.80 c #Conflicts: 529000 | #Constraints: 27095 974.07/976.80 c #Conflicts: 530000 | #Constraints: 28095 974.07/976.80 c #Conflicts: 531000 | #Constraints: 29096 974.07/976.80 c INPROCESSING 974.07/976.80 c GARBAGE COLLECT 974.07/976.80 c rational objective 15 1003.59/1006.44 c #Conflicts: 532000 | #Constraints: 15677 1003.59/1006.44 c #Conflicts: 533000 | #Constraints: 16677 1003.59/1006.44 c #Conflicts: 534000 | #Constraints: 17683 1003.59/1006.44 c #Conflicts: 535000 | #Constraints: 18697 1003.59/1006.44 c #Conflicts: 536000 | #Constraints: 19699 1003.59/1006.44 c #Conflicts: 537000 | #Constraints: 20702 1003.59/1006.44 c #Conflicts: 538000 | #Constraints: 21702 1003.59/1006.44 c #Conflicts: 539000 | #Constraints: 22703 1003.59/1006.44 c #Conflicts: 540000 | #Constraints: 23706 1003.59/1006.44 c #Conflicts: 541000 | #Constraints: 24712 1003.59/1006.44 c #Conflicts: 542000 | #Constraints: 25712 1003.59/1006.44 c #Conflicts: 543000 | #Constraints: 26724 1003.59/1006.44 c #Conflicts: 544000 | #Constraints: 27736 1003.59/1006.44 c #Conflicts: 545000 | #Constraints: 28737 1003.59/1006.44 c #Conflicts: 546000 | #Constraints: 29737 1003.59/1006.44 c INPROCESSING 1003.59/1006.44 c GARBAGE COLLECT 1003.59/1006.44 c rational objective 15 1110.74/1113.86 c #Conflicts: 547000 | #Constraints: 16106 1110.74/1113.86 c #Conflicts: 548000 | #Constraints: 17106 1110.74/1113.86 c #Conflicts: 549000 | #Constraints: 18106 1110.74/1113.86 c #Conflicts: 550000 | #Constraints: 19106 1110.74/1113.86 c #Conflicts: 551000 | #Constraints: 20106 1110.74/1113.86 c #Conflicts: 552000 | #Constraints: 21106 1110.74/1113.86 c #Conflicts: 553000 | #Constraints: 22106 1110.74/1113.86 c #Conflicts: 554000 | #Constraints: 23106 1110.74/1113.86 c #Conflicts: 555000 | #Constraints: 24106 1110.74/1113.86 c #Conflicts: 556000 | #Constraints: 25106 1110.74/1113.86 c #Conflicts: 557000 | #Constraints: 26106 1110.74/1113.86 c #Conflicts: 558000 | #Constraints: 27106 1110.74/1113.86 c #Conflicts: 559000 | #Constraints: 28106 1110.74/1113.86 c #Conflicts: 560000 | #Constraints: 29106 1110.74/1113.86 c #Conflicts: 561000 | #Constraints: 30106 1110.74/1113.86 c INPROCESSING 1110.74/1113.86 c GARBAGE COLLECT 1110.74/1113.86 c rational objective 15 1138.18/1141.39 c #Conflicts: 562000 | #Constraints: 16283 1138.18/1141.39 c #Conflicts: 563000 | #Constraints: 17283 1138.18/1141.39 c #Conflicts: 564000 | #Constraints: 18283 1138.18/1141.39 c #Conflicts: 565000 | #Constraints: 19285 1138.18/1141.39 c #Conflicts: 566000 | #Constraints: 20286 1138.18/1141.39 c #Conflicts: 567000 | #Constraints: 21301 1138.18/1141.39 c #Conflicts: 568000 | #Constraints: 22337 1138.18/1141.39 c #Conflicts: 569000 | #Constraints: 23337 1138.18/1141.39 c #Conflicts: 570000 | #Constraints: 24367 1138.18/1141.39 c #Conflicts: 571000 | #Constraints: 25367 1138.18/1141.39 c #Conflicts: 572000 | #Constraints: 26367 1138.18/1141.39 c #Conflicts: 573000 | #Constraints: 27367 1138.18/1141.39 c #Conflicts: 574000 | #Constraints: 28369 1138.18/1141.39 c #Conflicts: 575000 | #Constraints: 29369 1138.18/1141.39 c #Conflicts: 576000 | #Constraints: 30369 1138.18/1141.39 c INPROCESSING 1138.18/1141.39 c GARBAGE COLLECT 1138.18/1141.39 c rational objective 15 1170.00/1173.27 c #Conflicts: 577000 | #Constraints: 16328 1170.00/1173.27 c #Conflicts: 578000 | #Constraints: 17328 1170.00/1173.27 c #Conflicts: 579000 | #Constraints: 18328 1170.00/1173.27 c #Conflicts: 580000 | #Constraints: 19328 1170.00/1173.27 c #Conflicts: 581000 | #Constraints: 20328 1170.00/1173.27 c #Conflicts: 582000 | #Constraints: 21328 1170.00/1173.27 c #Conflicts: 583000 | #Constraints: 22328 1170.00/1173.27 c #Conflicts: 584000 | #Constraints: 23328 1170.00/1173.27 c #Conflicts: 585000 | #Constraints: 24328 1170.00/1173.27 c #Conflicts: 586000 | #Constraints: 25328 1170.00/1173.27 c #Conflicts: 587000 | #Constraints: 26328 1170.00/1173.27 c #Conflicts: 588000 | #Constraints: 27328 1170.00/1173.27 c #Conflicts: 589000 | #Constraints: 28328 1170.00/1173.27 c #Conflicts: 590000 | #Constraints: 29328 1170.00/1173.27 c #Conflicts: 591000 | #Constraints: 30328 1170.00/1173.27 c INPROCESSING 1170.00/1173.27 c GARBAGE COLLECT 1170.00/1173.27 c rational objective 15 1195.83/1199.16 c #Conflicts: 592000 | #Constraints: 16087 1195.83/1199.16 c #Conflicts: 593000 | #Constraints: 17087 1195.83/1199.16 c #Conflicts: 594000 | #Constraints: 18087 1195.83/1199.16 c #Conflicts: 595000 | #Constraints: 19087 1195.83/1199.16 c #Conflicts: 596000 | #Constraints: 20087 1195.83/1199.16 c #Conflicts: 597000 | #Constraints: 21087 1195.83/1199.16 c #Conflicts: 598000 | #Constraints: 22087 1195.83/1199.16 c #Conflicts: 599000 | #Constraints: 23087 1195.83/1199.16 c #Conflicts: 600000 | #Constraints: 24087 1195.83/1199.16 c #Conflicts: 601000 | #Constraints: 25087 1195.83/1199.16 c #Conflicts: 602000 | #Constraints: 26087 1195.83/1199.16 c #Conflicts: 603000 | #Constraints: 27087 1195.83/1199.16 c #Conflicts: 604000 | #Constraints: 28087 1195.83/1199.16 c #Conflicts: 605000 | #Constraints: 29087 1195.83/1199.16 c #Conflicts: 606000 | #Constraints: 30087 1195.83/1199.16 c #Conflicts: 607000 | #Constraints: 31087 1195.83/1199.16 c INPROCESSING 1195.83/1199.16 c GARBAGE COLLECT 1195.83/1199.16 c rational objective 15 1250.31/1253.74 c #Conflicts: 608000 | #Constraints: 16660 1250.31/1253.74 c #Conflicts: 609000 | #Constraints: 17661 1250.31/1253.74 c #Conflicts: 610000 | #Constraints: 18661 1250.31/1253.74 c #Conflicts: 611000 | #Constraints: 19661 1250.31/1253.74 c #Conflicts: 612000 | #Constraints: 20661 1250.31/1253.74 c #Conflicts: 613000 | #Constraints: 21661 1250.31/1253.74 c #Conflicts: 614000 | #Constraints: 22661 1250.31/1253.74 c #Conflicts: 615000 | #Constraints: 23661 1250.31/1253.74 c #Conflicts: 616000 | #Constraints: 24661 1250.31/1253.74 c #Conflicts: 617000 | #Constraints: 25661 1250.31/1253.74 c #Conflicts: 618000 | #Constraints: 26661 1250.31/1253.74 c #Conflicts: 619000 | #Constraints: 27661 1250.31/1253.74 c #Conflicts: 620000 | #Constraints: 28661 1250.31/1253.74 c #Conflicts: 621000 | #Constraints: 29661 1250.31/1253.74 c #Conflicts: 622000 | #Constraints: 30662 1250.31/1253.74 c #Conflicts: 623000 | #Constraints: 31662 1250.31/1253.74 c INPROCESSING 1250.31/1253.74 c GARBAGE COLLECT 1250.31/1253.74 c #Conflicts: 624000 | #Constraints: 17049 1250.31/1253.74 c #Conflicts: 625000 | #Constraints: 18049 1250.31/1253.74 c #Conflicts: 626000 | #Constraints: 19049 1250.31/1253.74 c #Conflicts: 627000 | #Constraints: 20049 1250.31/1253.74 c #Conflicts: 628000 | #Constraints: 21049 1250.31/1253.74 c #Conflicts: 629000 | #Constraints: 22049 1250.31/1253.74 c #Conflicts: 630000 | #Constraints: 23049 1250.31/1253.74 c #Conflicts: 631000 | #Constraints: 24049 1250.31/1253.74 c #Conflicts: 632000 | #Constraints: 25049 1250.31/1253.74 c #Conflicts: 633000 | #Constraints: 26049 1250.31/1253.74 c #Conflicts: 634000 | #Constraints: 27073 1250.31/1253.74 c #Conflicts: 635000 | #Constraints: 28073 1250.31/1253.74 c #Conflicts: 636000 | #Constraints: 29073 1250.31/1253.74 c #Conflicts: 637000 | #Constraints: 30073 1250.31/1253.74 c #Conflicts: 638000 | #Constraints: 31073 1250.31/1253.74 c #Conflicts: 639000 | #Constraints: 32073 1250.31/1253.74 c INPROCESSING 1250.31/1253.74 c GARBAGE COLLECT 1250.31/1253.74 c rational objective 15 1272.96/1276.48 c #Conflicts: 640000 | #Constraints: 17257 1272.96/1276.48 c #Conflicts: 641000 | #Constraints: 18257 1272.96/1276.48 c #Conflicts: 642000 | #Constraints: 19257 1272.96/1276.48 c #Conflicts: 643000 | #Constraints: 20257 1272.96/1276.48 c #Conflicts: 644000 | #Constraints: 21257 1272.96/1276.48 c #Conflicts: 645000 | #Constraints: 22257 1272.96/1276.48 c #Conflicts: 646000 | #Constraints: 23257 1272.96/1276.48 c #Conflicts: 647000 | #Constraints: 24257 1272.96/1276.48 c #Conflicts: 648000 | #Constraints: 25257 1272.96/1276.48 c #Conflicts: 649000 | #Constraints: 26257 1272.96/1276.48 c #Conflicts: 650000 | #Constraints: 27257 1272.96/1276.48 c #Conflicts: 651000 | #Constraints: 28287 1272.96/1276.48 c #Conflicts: 652000 | #Constraints: 29310 1272.96/1276.48 c #Conflicts: 653000 | #Constraints: 30319 1272.96/1276.48 c #Conflicts: 654000 | #Constraints: 31322 1272.96/1276.48 c #Conflicts: 655000 | #Constraints: 32325 1272.96/1276.48 c INPROCESSING 1272.96/1276.48 c GARBAGE COLLECT 1272.96/1276.48 c rational objective 15 1348.27/1351.90 c #Conflicts: 656000 | #Constraints: 17297 1348.27/1351.90 c #Conflicts: 657000 | #Constraints: 18297 1348.27/1351.90 c #Conflicts: 658000 | #Constraints: 19299 1348.27/1351.90 c #Conflicts: 659000 | #Constraints: 20313 1348.27/1351.90 c #Conflicts: 660000 | #Constraints: 21316 1348.27/1351.90 c #Conflicts: 661000 | #Constraints: 22316 1348.27/1351.90 c #Conflicts: 662000 | #Constraints: 23320 1348.27/1351.90 c #Conflicts: 663000 | #Constraints: 24328 1348.27/1351.90 c #Conflicts: 664000 | #Constraints: 25330 1348.27/1351.90 c #Conflicts: 665000 | #Constraints: 26331 1348.27/1351.90 c #Conflicts: 666000 | #Constraints: 27333 1348.27/1351.90 c #Conflicts: 667000 | #Constraints: 28336 1348.27/1351.90 c #Conflicts: 668000 | #Constraints: 29339 1348.27/1351.90 c #Conflicts: 669000 | #Constraints: 30339 1348.27/1351.90 c #Conflicts: 670000 | #Constraints: 31339 1348.27/1351.90 c #Conflicts: 671000 | #Constraints: 32339 1348.27/1351.90 c INPROCESSING 1348.27/1351.90 c GARBAGE COLLECT 1348.27/1351.90 c rational objective 15 1445.31/1449.26 c #Conflicts: 672000 | #Constraints: 17114 1445.31/1449.26 c #Conflicts: 673000 | #Constraints: 18114 1445.31/1449.26 c #Conflicts: 674000 | #Constraints: 19114 1445.31/1449.26 c #Conflicts: 675000 | #Constraints: 20114 1445.31/1449.26 c #Conflicts: 676000 | #Constraints: 21114 1445.31/1449.26 c #Conflicts: 677000 | #Constraints: 22420 1445.31/1449.26 c #Conflicts: 678000 | #Constraints: 24420 1445.31/1449.26 c #Conflicts: 679000 | #Constraints: 25985 1445.31/1449.26 c #Conflicts: 680000 | #Constraints: 26985 1445.31/1449.26 c #Conflicts: 681000 | #Constraints: 27985 1445.31/1449.26 c #Conflicts: 682000 | #Constraints: 28985 1445.31/1449.26 c #Conflicts: 683000 | #Constraints: 29985 1445.31/1449.26 c #Conflicts: 684000 | #Constraints: 30985 1445.31/1449.26 c #Conflicts: 685000 | #Constraints: 32296 1445.31/1449.26 c #Conflicts: 686000 | #Constraints: 34254 1445.31/1449.26 c #Conflicts: 687000 | #Constraints: 36234 1445.31/1449.26 c #Conflicts: 688000 | #Constraints: 37969 1445.31/1449.26 c INPROCESSING 1445.31/1449.26 c GARBAGE COLLECT 1445.31/1449.26 c rational objective 15 1493.99/1498.05 c #Conflicts: 689000 | #Constraints: 20112 1493.99/1498.05 c #Conflicts: 690000 | #Constraints: 21112 1493.99/1498.05 c #Conflicts: 691000 | #Constraints: 22112 1493.99/1498.05 c #Conflicts: 692000 | #Constraints: 23112 1493.99/1498.05 c #Conflicts: 693000 | #Constraints: 24112 1493.99/1498.05 c #Conflicts: 694000 | #Constraints: 25113 1493.99/1498.05 c #Conflicts: 695000 | #Constraints: 26116 1493.99/1498.05 c #Conflicts: 696000 | #Constraints: 27118 1493.99/1498.05 c #Conflicts: 697000 | #Constraints: 28147 1493.99/1498.05 c #Conflicts: 698000 | #Constraints: 29149 1493.99/1498.05 c #Conflicts: 699000 | #Constraints: 30150 1493.99/1498.05 c #Conflicts: 700000 | #Constraints: 31150 1493.99/1498.05 c #Conflicts: 701000 | #Constraints: 32150 1493.99/1498.05 c #Conflicts: 702000 | #Constraints: 33154 1493.99/1498.05 c #Conflicts: 703000 | #Constraints: 34197 1493.99/1498.05 c #Conflicts: 704000 | #Constraints: 35251 1493.99/1498.05 c #Conflicts: 705000 | #Constraints: 36310 1493.99/1498.05 c INPROCESSING 1493.99/1498.05 c GARBAGE COLLECT 1493.99/1498.05 c rational objective 15 1563.59/1567.86 c #Conflicts: 706000 | #Constraints: 19387 1563.59/1567.86 c #Conflicts: 707000 | #Constraints: 20387 1563.59/1567.86 c #Conflicts: 708000 | #Constraints: 21389 1563.59/1567.86 c #Conflicts: 709000 | #Constraints: 22389 1563.59/1567.86 c #Conflicts: 710000 | #Constraints: 23389 1563.59/1567.86 c #Conflicts: 711000 | #Constraints: 24389 1563.59/1567.86 c #Conflicts: 712000 | #Constraints: 25389 1563.59/1567.86 c #Conflicts: 713000 | #Constraints: 26524 1563.59/1567.86 c #Conflicts: 714000 | #Constraints: 27532 1563.59/1567.86 c #Conflicts: 715000 | #Constraints: 28538 1563.59/1567.86 c #Conflicts: 716000 | #Constraints: 29544 1563.59/1567.86 c #Conflicts: 717000 | #Constraints: 30552 1563.59/1567.86 c #Conflicts: 718000 | #Constraints: 31579 1563.59/1567.86 c #Conflicts: 719000 | #Constraints: 33579 1563.59/1567.86 c #Conflicts: 720000 | #Constraints: 35579 1563.59/1567.86 c #Conflicts: 721000 | #Constraints: 37579 1563.59/1567.86 c #Conflicts: 722000 | #Constraints: 39559 1563.59/1567.86 c INPROCESSING 1563.59/1567.86 c GARBAGE COLLECT 1563.59/1567.86 c rational objective 15 1670.40/1674.95 c #Conflicts: 723000 | #Constraints: 21018 1670.40/1674.95 c #Conflicts: 724000 | #Constraints: 22043 1670.40/1674.95 c #Conflicts: 725000 | #Constraints: 23050 1670.40/1674.95 c #Conflicts: 726000 | #Constraints: 24050 1670.40/1674.95 c #Conflicts: 727000 | #Constraints: 25050 1670.40/1674.95 c #Conflicts: 728000 | #Constraints: 26050 1670.40/1674.95 c #Conflicts: 729000 | #Constraints: 27059 1670.40/1674.95 c #Conflicts: 730000 | #Constraints: 28103 1670.40/1674.95 c #Conflicts: 731000 | #Constraints: 29114 1670.40/1674.95 c #Conflicts: 732000 | #Constraints: 30309 1670.40/1674.95 c #Conflicts: 733000 | #Constraints: 32135 1670.40/1674.95 c #Conflicts: 734000 | #Constraints: 33935 1670.40/1674.95 c #Conflicts: 735000 | #Constraints: 35702 1670.40/1674.95 c #Conflicts: 736000 | #Constraints: 37568 1670.40/1674.95 c #Conflicts: 737000 | #Constraints: 39376 1670.40/1674.95 c #Conflicts: 738000 | #Constraints: 41139 1670.40/1674.95 c #Conflicts: 739000 | #Constraints: 42894 1670.40/1674.95 c INPROCESSING 1670.40/1674.95 c GARBAGE COLLECT 1670.40/1674.95 c rational objective 15 1758.46/1763.25 c #Conflicts: 740000 | #Constraints: 22650 1758.46/1763.25 c #Conflicts: 741000 | #Constraints: 23650 1758.46/1763.25 c #Conflicts: 742000 | #Constraints: 24711 1758.46/1763.25 c #Conflicts: 743000 | #Constraints: 25729 1758.46/1763.25 c #Conflicts: 744000 | #Constraints: 26729 1758.46/1763.25 c #Conflicts: 745000 | #Constraints: 27729 1758.46/1763.25 c #Conflicts: 746000 | #Constraints: 28729 1758.46/1763.25 c #Conflicts: 747000 | #Constraints: 29764 1758.46/1763.25 c #Conflicts: 748000 | #Constraints: 30780 1758.46/1763.25 c #Conflicts: 749000 | #Constraints: 31786 1758.46/1763.25 c #Conflicts: 750000 | #Constraints: 32787 1758.46/1763.25 c #Conflicts: 751000 | #Constraints: 33859 1758.46/1763.25 c #Conflicts: 752000 | #Constraints: 35138 1758.46/1763.25 c #Conflicts: 753000 | #Constraints: 36164 1758.46/1763.25 c #Conflicts: 754000 | #Constraints: 37442 1758.46/1763.25 c #Conflicts: 755000 | #Constraints: 38456 1758.46/1763.25 c #Conflicts: 756000 | #Constraints: 39462 1758.46/1763.25 c INPROCESSING 1758.46/1763.25 c GARBAGE COLLECT 1758.46/1763.25 c rational objective 15 1997.69/2003.12 c #Conflicts: 757000 | #Constraints: 20675 1997.69/2003.12 c #Conflicts: 758000 | #Constraints: 22324 1997.69/2003.12 c #Conflicts: 759000 | #Constraints: 24006 1997.69/2003.12 c #Conflicts: 760000 | #Constraints: 25075 1997.69/2003.12 c #Conflicts: 761000 | #Constraints: 26263 1997.69/2003.12 c #Conflicts: 762000 | #Constraints: 27420 1997.69/2003.12 c #Conflicts: 763000 | #Constraints: 28474 1997.69/2003.12 c #Conflicts: 764000 | #Constraints: 29476 1997.69/2003.12 c #Conflicts: 765000 | #Constraints: 31385 1997.69/2003.12 c #Conflicts: 766000 | #Constraints: 32500 1997.69/2003.12 c #Conflicts: 767000 | #Constraints: 33644 1997.69/2003.12 c #Conflicts: 768000 | #Constraints: 34736 1997.69/2003.12 c #Conflicts: 769000 | #Constraints: 35955 1997.69/2003.12 c #Conflicts: 770000 | #Constraints: 37945 1997.69/2003.12 c #Conflicts: 771000 | #Constraints: 39623 1997.69/2003.12 c #Conflicts: 772000 | #Constraints: 40936 1997.69/2003.12 c #Conflicts: 773000 | #Constraints: 42902 1997.69/2003.12 c #Conflicts: 774000 | #Constraints: 44079 1997.69/2003.12 c INPROCESSING 1997.69/2003.12 c GARBAGE COLLECT 1997.69/2003.12 c rational objective 15 2036.57/2042.14 c #Conflicts: 775000 | #Constraints: 23182 2036.57/2042.14 c #Conflicts: 776000 | #Constraints: 24189 2036.57/2042.14 c #Conflicts: 777000 | #Constraints: 25196 2036.57/2042.14 c #Conflicts: 778000 | #Constraints: 26200 2036.57/2042.14 c #Conflicts: 779000 | #Constraints: 27200 2036.57/2042.14 c #Conflicts: 780000 | #Constraints: 28201 2036.57/2042.14 c #Conflicts: 781000 | #Constraints: 29205 2036.57/2042.14 c #Conflicts: 782000 | #Constraints: 30205 2036.57/2042.14 c #Conflicts: 783000 | #Constraints: 31206 2036.57/2042.14 c #Conflicts: 784000 | #Constraints: 32206 2036.57/2042.14 c #Conflicts: 785000 | #Constraints: 33206 2036.57/2042.14 c #Conflicts: 786000 | #Constraints: 34210 2036.57/2042.14 c #Conflicts: 787000 | #Constraints: 35211 2036.57/2042.14 c #Conflicts: 788000 | #Constraints: 36211 2036.57/2042.14 c #Conflicts: 789000 | #Constraints: 37212 2036.57/2042.14 c #Conflicts: 790000 | #Constraints: 38212 2036.57/2042.14 c #Conflicts: 791000 | #Constraints: 39212 2036.57/2042.14 c #Conflicts: 792000 | #Constraints: 40216 2036.57/2042.14 c INPROCESSING 2036.57/2042.14 c GARBAGE COLLECT 2036.57/2042.14 c rational objective 15 2067.28/2072.93 c #Conflicts: 793000 | #Constraints: 21852 2067.28/2072.93 c #Conflicts: 794000 | #Constraints: 23376 2067.28/2072.93 c #Conflicts: 795000 | #Constraints: 24376 2067.28/2072.93 c #Conflicts: 796000 | #Constraints: 25376 2067.28/2072.93 c #Conflicts: 797000 | #Constraints: 26401 2067.28/2072.93 c #Conflicts: 798000 | #Constraints: 27534 2067.28/2072.93 c #Conflicts: 799000 | #Constraints: 28545 2067.28/2072.93 c #Conflicts: 800000 | #Constraints: 29545 2067.28/2072.93 c #Conflicts: 801000 | #Constraints: 30545 2067.28/2072.93 c #Conflicts: 802000 | #Constraints: 31601 2067.28/2072.93 c #Conflicts: 803000 | #Constraints: 32601 2067.28/2072.93 c #Conflicts: 804000 | #Constraints: 33732 2067.28/2072.93 c #Conflicts: 805000 | #Constraints: 35539 2067.28/2072.93 c #Conflicts: 806000 | #Constraints: 36540 2067.28/2072.93 c #Conflicts: 807000 | #Constraints: 37543 2067.28/2072.93 c #Conflicts: 808000 | #Constraints: 38623 2067.28/2072.93 c #Conflicts: 809000 | #Constraints: 39654 2067.28/2072.93 c #Conflicts: 810000 | #Constraints: 40655 2067.28/2072.93 c INPROCESSING 2067.28/2072.93 c GARBAGE COLLECT 2067.28/2072.93 c rational objective 15 2085.73/2091.43 c #Conflicts: 811000 | #Constraints: 21544 2085.73/2091.43 c #Conflicts: 812000 | #Constraints: 22544 2085.73/2091.43 c #Conflicts: 813000 | #Constraints: 23547 2085.73/2091.43 c #Conflicts: 814000 | #Constraints: 24550 2085.73/2091.43 c #Conflicts: 815000 | #Constraints: 25554 2085.73/2091.43 c #Conflicts: 816000 | #Constraints: 26555 2085.73/2091.43 c #Conflicts: 817000 | #Constraints: 27556 2085.73/2091.43 c #Conflicts: 818000 | #Constraints: 28556 2085.73/2091.43 c #Conflicts: 819000 | #Constraints: 29556 2085.73/2091.43 c #Conflicts: 820000 | #Constraints: 30557 2085.73/2091.43 c #Conflicts: 821000 | #Constraints: 31562 2085.73/2091.43 c #Conflicts: 822000 | #Constraints: 32562 2085.73/2091.43 c #Conflicts: 823000 | #Constraints: 33562 2085.73/2091.43 c #Conflicts: 824000 | #Constraints: 34573 2085.73/2091.43 c #Conflicts: 825000 | #Constraints: 36327 2085.73/2091.43 c #Conflicts: 826000 | #Constraints: 38057 2085.73/2091.43 c #Conflicts: 827000 | #Constraints: 39316 2085.73/2091.43 c #Conflicts: 828000 | #Constraints: 40495 2085.73/2091.43 c INPROCESSING 2085.73/2091.43 c GARBAGE COLLECT 2085.73/2091.43 c rational objective 15 2406.65/2413.30 c #Conflicts: 829000 | #Constraints: 21383 2406.65/2413.30 c #Conflicts: 830000 | #Constraints: 22383 2406.65/2413.30 c #Conflicts: 831000 | #Constraints: 23384 2406.65/2413.30 c #Conflicts: 832000 | #Constraints: 24384 2406.65/2413.30 c #Conflicts: 833000 | #Constraints: 25384 2406.65/2413.30 c #Conflicts: 834000 | #Constraints: 26384 2406.65/2413.30 c #Conflicts: 835000 | #Constraints: 27384 2406.65/2413.30 c #Conflicts: 836000 | #Constraints: 28384 2406.65/2413.30 c #Conflicts: 837000 | #Constraints: 29384 2406.65/2413.30 c #Conflicts: 838000 | #Constraints: 30384 2406.65/2413.30 c #Conflicts: 839000 | #Constraints: 31384 2406.65/2413.30 c #Conflicts: 840000 | #Constraints: 32384 2406.65/2413.30 c #Conflicts: 841000 | #Constraints: 33384 2406.65/2413.30 c #Conflicts: 842000 | #Constraints: 34384 2406.65/2413.30 c #Conflicts: 843000 | #Constraints: 35384 2406.65/2413.30 c #Conflicts: 844000 | #Constraints: 36384 2406.65/2413.30 c #Conflicts: 845000 | #Constraints: 37387 2406.65/2413.30 c #Conflicts: 846000 | #Constraints: 38394 2406.65/2413.30 c INPROCESSING 2406.65/2413.30 c GARBAGE COLLECT 2406.65/2413.30 c rational objective 15 2429.19/2435.98 c #Conflicts: 847000 | #Constraints: 20118 2429.19/2435.98 c #Conflicts: 848000 | #Constraints: 21118 2429.19/2435.98 c #Conflicts: 849000 | #Constraints: 22118 2429.19/2435.98 c #Conflicts: 850000 | #Constraints: 23118 2429.19/2435.98 c #Conflicts: 851000 | #Constraints: 24118 2429.19/2435.98 c #Conflicts: 852000 | #Constraints: 25118 2429.19/2435.98 c #Conflicts: 853000 | #Constraints: 26118 2429.19/2435.98 c #Conflicts: 854000 | #Constraints: 27118 2429.19/2435.98 c #Conflicts: 855000 | #Constraints: 28118 2429.19/2435.98 c #Conflicts: 856000 | #Constraints: 29118 2429.19/2435.98 c #Conflicts: 857000 | #Constraints: 30118 2429.19/2435.98 c #Conflicts: 858000 | #Constraints: 31118 2429.19/2435.98 c #Conflicts: 859000 | #Constraints: 32118 2429.19/2435.98 c #Conflicts: 860000 | #Constraints: 33120 2429.19/2435.98 c #Conflicts: 861000 | #Constraints: 34120 2429.19/2435.98 c #Conflicts: 862000 | #Constraints: 35120 2429.19/2435.98 c #Conflicts: 863000 | #Constraints: 36120 2429.19/2435.98 c #Conflicts: 864000 | #Constraints: 37121 2429.19/2435.98 c #Conflicts: 865000 | #Constraints: 38122 2429.19/2435.98 c INPROCESSING 2429.19/2435.98 c GARBAGE COLLECT 2429.19/2435.98 c rational objective 15 2460.79/2467.66 c #Conflicts: 866000 | #Constraints: 20316 2460.79/2467.66 c #Conflicts: 867000 | #Constraints: 21316 2460.79/2467.66 c #Conflicts: 868000 | #Constraints: 22316 2460.79/2467.66 c #Conflicts: 869000 | #Constraints: 23318 2460.79/2467.66 c #Conflicts: 870000 | #Constraints: 24320 2460.79/2467.66 c #Conflicts: 871000 | #Constraints: 25320 2460.79/2467.66 c #Conflicts: 872000 | #Constraints: 26329 2460.79/2467.66 c #Conflicts: 873000 | #Constraints: 27331 2460.79/2467.66 c #Conflicts: 874000 | #Constraints: 28334 2460.79/2467.66 c #Conflicts: 875000 | #Constraints: 29338 2460.79/2467.66 c #Conflicts: 876000 | #Constraints: 30356 2460.79/2467.66 c #Conflicts: 877000 | #Constraints: 31412 2460.79/2467.66 c #Conflicts: 878000 | #Constraints: 32459 2460.79/2467.66 c #Conflicts: 879000 | #Constraints: 33459 2460.79/2467.66 c #Conflicts: 880000 | #Constraints: 34578 2460.79/2467.66 c #Conflicts: 881000 | #Constraints: 35579 2460.79/2467.66 c #Conflicts: 882000 | #Constraints: 36579 2460.79/2467.66 c #Conflicts: 883000 | #Constraints: 37579 2460.79/2467.66 c #Conflicts: 884000 | #Constraints: 39052 2460.79/2467.66 c INPROCESSING 2460.79/2467.66 c GARBAGE COLLECT 2460.79/2467.66 c rational objective 15 2676.75/2684.21 c #Conflicts: 885000 | #Constraints: 20757 2676.75/2684.21 c #Conflicts: 886000 | #Constraints: 21757 2676.75/2684.21 c #Conflicts: 887000 | #Constraints: 22757 2676.75/2684.21 c #Conflicts: 888000 | #Constraints: 23763 2676.75/2684.21 c #Conflicts: 889000 | #Constraints: 24772 2676.75/2684.21 c #Conflicts: 890000 | #Constraints: 26451 2676.75/2684.21 c #Conflicts: 891000 | #Constraints: 27455 2676.75/2684.21 c #Conflicts: 892000 | #Constraints: 28463 2676.75/2684.21 c #Conflicts: 893000 | #Constraints: 29468 2676.75/2684.21 c #Conflicts: 894000 | #Constraints: 30469 2676.75/2684.21 c #Conflicts: 895000 | #Constraints: 31478 2676.75/2684.21 c #Conflicts: 896000 | #Constraints: 32482 2676.75/2684.21 c #Conflicts: 897000 | #Constraints: 33503 2676.75/2684.21 c #Conflicts: 898000 | #Constraints: 34923 2676.75/2684.21 c #Conflicts: 899000 | #Constraints: 35942 2676.75/2684.21 c #Conflicts: 900000 | #Constraints: 36963 2676.75/2684.21 c #Conflicts: 901000 | #Constraints: 37980 2676.75/2684.21 c #Conflicts: 902000 | #Constraints: 38994 2676.75/2684.21 c #Conflicts: 903000 | #Constraints: 40020 2676.75/2684.21 c INPROCESSING 2676.75/2684.21 c GARBAGE COLLECT 2676.75/2684.21 c rational objective 15 3456.01/3465.82 c #Conflicts: 904000 | #Constraints: 21235 3456.01/3465.82 c #Conflicts: 905000 | #Constraints: 22236 3456.01/3465.82 c #Conflicts: 906000 | #Constraints: 23237 3456.01/3465.82 c #Conflicts: 907000 | #Constraints: 24351 3456.01/3465.82 c #Conflicts: 908000 | #Constraints: 25351 3456.01/3465.82 c #Conflicts: 909000 | #Constraints: 26357 3456.01/3465.82 c #Conflicts: 910000 | #Constraints: 27362 3456.01/3465.82 c #Conflicts: 911000 | #Constraints: 28365 3456.01/3465.82 c #Conflicts: 912000 | #Constraints: 29365 3456.01/3465.82 c #Conflicts: 913000 | #Constraints: 30369 3456.01/3465.82 c #Conflicts: 914000 | #Constraints: 31443 3456.01/3465.82 c #Conflicts: 915000 | #Constraints: 32557 3456.01/3465.82 c #Conflicts: 916000 | #Constraints: 33574 3456.01/3465.82 c #Conflicts: 917000 | #Constraints: 34786 3456.01/3465.82 c #Conflicts: 918000 | #Constraints: 35791 3456.01/3465.82 c #Conflicts: 919000 | #Constraints: 36791 3456.01/3465.82 c #Conflicts: 920000 | #Constraints: 37791 3456.01/3465.82 c #Conflicts: 921000 | #Constraints: 38791 3456.01/3465.82 c #Conflicts: 922000 | #Constraints: 39791 3456.01/3465.82 c INPROCESSING 3456.01/3465.82 c GARBAGE COLLECT 3456.01/3465.82 c #Conflicts: 923000 | #Constraints: 21035 3456.01/3465.82 c #Conflicts: 924000 | #Constraints: 22109 3456.01/3465.82 c #Conflicts: 925000 | #Constraints: 23213 3456.01/3465.82 c #Conflicts: 926000 | #Constraints: 24225 3456.01/3465.82 c #Conflicts: 927000 | #Constraints: 25443 3456.01/3465.82 c #Conflicts: 928000 | #Constraints: 26632 3456.01/3465.82 c #Conflicts: 929000 | #Constraints: 27767 3456.01/3465.82 c #Conflicts: 930000 | #Constraints: 28853 3456.01/3465.82 c #Conflicts: 931000 | #Constraints: 29880 3456.01/3465.82 c #Conflicts: 932000 | #Constraints: 30975 3456.01/3465.82 c #Conflicts: 933000 | #Constraints: 31978 3456.01/3465.82 c #Conflicts: 934000 | #Constraints: 32999 3456.01/3465.82 c #Conflicts: 935000 | #Constraints: 34032 3456.01/3465.82 c #Conflicts: 936000 | #Constraints: 35282 3456.01/3465.82 c #Conflicts: 937000 | #Constraints: 37276 3456.01/3465.82 c #Conflicts: 938000 | #Constraints: 39273 3456.01/3465.82 c #Conflicts: 939000 | #Constraints: 41270 3456.01/3465.82 c #Conflicts: 940000 | #Constraints: 43270 3456.01/3465.82 c #Conflicts: 941000 | #Constraints: 45269 3456.01/3465.82 c INPROCESSING 3456.01/3465.82 c GARBAGE COLLECT 3456.01/3465.82 c #Conflicts: 942000 | #Constraints: 23863 3456.01/3465.82 c #Conflicts: 943000 | #Constraints: 24863 3456.01/3465.82 c #Conflicts: 944000 | #Constraints: 25863 3456.01/3465.82 c #Conflicts: 945000 | #Constraints: 26863 3456.01/3465.82 c #Conflicts: 946000 | #Constraints: 27864 3456.01/3465.82 c #Conflicts: 947000 | #Constraints: 28865 3456.01/3465.82 c #Conflicts: 948000 | #Constraints: 29867 3456.01/3465.82 c #Conflicts: 949000 | #Constraints: 30873 3456.01/3465.82 c #Conflicts: 950000 | #Constraints: 31879 3456.01/3465.82 c #Conflicts: 951000 | #Constraints: 32879 3456.01/3465.82 c #Conflicts: 952000 | #Constraints: 33879 3456.01/3465.82 c #Conflicts: 953000 | #Constraints: 34879 3456.01/3465.82 c #Conflicts: 954000 | #Constraints: 35882 3456.01/3465.82 c #Conflicts: 955000 | #Constraints: 36885 3456.01/3465.82 c #Conflicts: 956000 | #Constraints: 37887 3456.01/3465.82 c #Conflicts: 957000 | #Constraints: 38887 3456.01/3465.82 c #Conflicts: 958000 | #Constraints: 39887 3456.01/3465.82 c #Conflicts: 959000 | #Constraints: 40887 3456.01/3465.82 c #Conflicts: 960000 | #Constraints: 41887 3456.01/3465.82 c #Conflicts: 961000 | #Constraints: 42887 3456.01/3465.82 c INPROCESSING 3456.01/3465.82 c GARBAGE COLLECT 3456.01/3465.82 c rational objective 15 3600.08/3610.30 c #Conflicts: 962000 | #Constraints: 22582 3600.08/3610.30 c #Conflicts: 963000 | #Constraints: 23585 3600.08/3610.30 c #Conflicts: 964000 | #Constraints: 24585 3600.08/3610.30 c #Conflicts: 965000 | #Constraints: 25585 3600.08/3610.30 c #Conflicts: 966000 | #Constraints: 26585 3600.08/3610.30 c #Conflicts: 967000 | #Constraints: 27587 3600.08/3610.30 c #Conflicts: 968000 | #Constraints: 28590 3600.08/3610.30 c #Conflicts: 969000 | #Constraints: 29595 3600.08/3610.30 c #Conflicts: 970000 | #Constraints: 30597 3600.08/3610.30 c #Conflicts: 971000 | #Constraints: 31597 3600.08/3610.30 c #Conflicts: 972000 | #Constraints: 32597 3600.08/3610.30 c #Conflicts: 973000 | #Constraints: 33601 3600.08/3610.30 c #Conflicts: 974000 | #Constraints: 34604 3600.08/3610.30 c #Conflicts: 975000 | #Constraints: 35604 3600.08/3610.30 c Program interrupted by user. 3600.08/3610.30 c cpu time 3553.02 s 3600.08/3610.30 c deterministic time 839887953258 8.40e+11 3600.08/3610.30 c optimization time 142.939 s 3600.08/3610.30 c total solve time 3410.08 s 3600.08/3610.30 c core-guided solve time 1813.9 s 3600.08/3610.30 c propagation time 3241.07 s 3600.08/3610.30 c conflict analysis time 176.054 s 3600.08/3610.30 c propagations 170802250 3600.08/3610.30 c resolve steps 2565332 3600.08/3610.30 c decisions 31478335 3600.08/3610.30 c conflicts 975693 3600.08/3610.30 c restarts 2045 3600.08/3610.30 c inprocessing phases 89 3600.08/3610.30 c input clauses 173 3600.08/3610.30 c input cardinalities 178 3600.08/3610.30 c input general constraints 67 3600.08/3610.30 c input average constraint length 53.75 3600.08/3610.30 c input average constraint degree 11013.27 3600.08/3610.30 c learned clauses 100809 3600.08/3610.30 c learned cardinalities 3460 3600.08/3610.30 c learned general constraints 912453 3600.08/3610.30 c learned average constraint length 611.27 3600.08/3610.30 c learned average constraint degree 1387194771.56 3600.08/3610.30 c watched constraints 662636 3600.08/3610.30 c counting constraints 249884 3600.08/3610.30 c gcd simplifications 73666 3600.08/3610.30 c detected cardinalities 146 3600.08/3610.30 c weakened non-implied lits 18572467 3600.08/3610.30 c weakened non-implying lits 2196262 3600.08/3610.30 c original variables 5568 3600.08/3610.30 c clausal propagations 1343980 3600.08/3610.30 c cardinality propagations 110919429 3600.08/3610.30 c watched propagations 22023654 3600.08/3610.30 c counting propagations 35910664 3600.08/3610.30 c watch lookups 41630364346 3600.08/3610.30 c watch backjump lookups 39479692192 3600.08/3610.30 c watch checks 469768423389 3600.08/3610.30 c propagation checks 287168079029 3600.08/3610.30 c constraint additions 1434652806 3600.08/3610.30 c trail pops 203251968 3600.08/3610.30 c formula constraints 412 3600.08/3610.30 c learned constraints 975125 3600.08/3610.30 c bound constraints 4 3600.08/3610.30 c core-guided constraints 2 3600.08/3610.30 c encountered formula constraints 1520067 3600.08/3610.30 c encountered learned constraints 1286751 3600.08/3610.30 c encountered bound constraints 252 3600.08/3610.30 c encountered core-guided constraints 3888 3600.08/3610.30 c LP total time 309.47 s 3600.08/3610.30 c LP solve time 240.71 s 3600.08/3610.30 c LP constraints added 1227 3600.08/3610.30 c LP constraints removed 812 3600.08/3610.30 c LP pivots internal 958818 3600.08/3610.30 c LP pivots root 250124 3600.08/3610.30 c LP calls 170388 3600.08/3610.30 c LP optimalities 130096 3600.08/3610.30 c LP no pivot count 105165 3600.08/3610.30 c LP infeasibilities 40265 3600.08/3610.30 c LP valid Farkas constraints 40246 3600.08/3610.30 c LP learned Farkas constraints 568 3600.08/3610.30 c LP basis resets 40 3600.08/3610.30 c LP cycling count 8 3600.08/3610.30 c LP singular count 14 3600.08/3610.30 c LP no primal count 0 3600.08/3610.30 c LP no farkas count 18 3600.08/3610.30 c LP other issue count 0 3600.08/3610.30 c LP Gomory cuts 783 3600.08/3610.30 c LP learned cuts 32 3600.08/3610.30 c LP deleted cuts 812 3600.08/3610.30 c LP encountered Gomory constraints 1115 3600.08/3610.30 c LP encountered Farkas constraints 547293 3600.08/3610.30 c LP encountered learned Farkas constraints 181091 3600.08/3610.30 c CG auxiliary variables introduced 1 3600.08/3610.30 c CG solutions found 3 3600.08/3610.30 c CG cores constructed 1 3600.08/3610.30 c CG core cardinality constraints returned 1 3600.08/3610.30 c CG unit cores 0 3600.08/3610.30 c CG single cores 1 3600.08/3610.30 c CG blocks removed during cardinality reduction 0 3600.08/3610.30 c CG first core best 0 3600.08/3610.30 c CG decision core best 0 3600.08/3610.30 c CG core reduction tie 0 3600.08/3610.30 c CG core degree average 15.00 3600.08/3610.30 c CG core slack average 17.00 3600.08/3610.30 s SATISFIABLE 3600.08/3610.30 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 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 x4520 -x4521 -x4522 -x4523 x4524 -x4525 -x4526 -x4527 x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 x4763 x4764 -x4765 x4766 x4767 x4768 x4769 -x4770 x4771 x4772 x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148 x5149 x5150 x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568
OK 16
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: 63931 MiB (54021 MiB free)
memory of node 1: 64510 MiB (61742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455428-1721465612/watcher-4455428-1721465612 -o /tmp/evaluation-result-4455428-1721465612/solver-4455428-1721465612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068408 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455428-1721465612.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=1072408, runsolver pid=1072405
[startup+0.100949 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118527324/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=43856 memory=13904 CPUtime=0.09 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 2252 0 0 0 9 0 0 0 20 0 1 0 198728588 44908544 3476 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 10964 3476 1736 922 0 2916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43856 KiB
Current children cumulated memory: 13904 KiB
[startup+0.205777 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118509352/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=48476 memory=19004 CPUtime=0.2 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 3440 0 0 0 19 1 0 0 20 0 1 0 198728588 49639424 4751 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 12119 4751 1830 922 0 4071 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 19004 KiB
[startup+0.305738 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118499524/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=48476 memory=21640 CPUtime=0.3 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 3571 0 0 0 28 2 0 0 20 0 1 0 198728588 49639424 5410 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 12119 5410 1846 922 0 4071 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 21640 KiB
[startup+0.70024 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1072409
/proc/meminfo: memFree=118468544/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=57508 memory=29828 CPUtime=0.68 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 5110 0 0 0 64 4 0 0 20 0 1 0 198728588 58888192 7457 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 14377 7457 1846 922 0 6329 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57508 KiB
Current children cumulated memory: 29828 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.12 4.09 6/257 1072409
/proc/meminfo: memFree=118419408/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=68844 memory=39988 CPUtime=1.48 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 6666 0 0 0 140 8 0 0 20 0 1 0 198728588 70496256 9997 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 17211 9997 1846 922 0 9163 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68844 KiB
Current children cumulated memory: 39988 KiB
[startup+3.10565 s]
/proc/loadavg: 4.14 4.12 4.09 6/258 1072456
/proc/meminfo: memFree=118700500/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=76516 memory=49936 CPUtime=3.09 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 8591 0 0 0 294 15 0 0 20 0 1 0 198728588 78352384 12484 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 19129 12484 1846 922 0 11081 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 76516 KiB
Current children cumulated memory: 49936 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072456
/proc/meminfo: memFree=123646092/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=100968 memory=75600 CPUtime=6.27 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 12649 0 0 0 600 27 0 0 20 0 1 0 198728588 103391232 18900 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 25242 18900 1846 922 0 17194 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100968 KiB
Current children cumulated memory: 75600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1072504
/proc/meminfo: memFree=126246016/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=125992 memory=86704 CPUtime=12.65 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 15558 0 0 0 1216 49 0 0 20 0 1 0 198728588 129015808 21676 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 31498 21676 1846 922 0 23450 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125992 KiB
Current children cumulated memory: 86704 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1072505
/proc/meminfo: memFree=125940916/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=145116 memory=107864 CPUtime=25.41 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 21613 0 0 0 2455 86 0 0 20 0 1 0 198728588 148598784 26966 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 36279 26966 1846 922 0 28231 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 145116 KiB
Current children cumulated memory: 107864 KiB
[startup+51.1057 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 1072511
/proc/meminfo: memFree=125632324/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=226096 memory=173144 CPUtime=50.95 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 34539 0 0 0 4958 137 0 0 20 0 1 0 198728588 231522304 43286 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 56524 43286 1990 922 0 48476 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 226096 KiB
Current children cumulated memory: 173144 KiB
[startup+102.3 s]
/proc/loadavg: 4.36 4.19 4.12 5/256 1072565
/proc/meminfo: memFree=125454880/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=238784 memory=191204 CPUtime=102 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 39448 0 0 0 9953 247 0 0 20 0 1 0 198728588 244514816 47801 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 59696 47801 1990 922 0 51648 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 238784 KiB
Current children cumulated memory: 191204 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/257 1072959
/proc/meminfo: memFree=125247356/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=277856 memory=227084 CPUtime=161.84 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 49282 0 0 0 15849 335 0 0 20 0 1 0 198728588 284524544 56771 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 69464 56771 1990 922 0 61416 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 277856 KiB
Current children cumulated memory: 227084 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/257 1072969
/proc/meminfo: memFree=124624644/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=350172 memory=292264 CPUtime=221.67 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 55119 0 0 0 21706 461 0 0 20 0 1 0 198728588 358576128 73066 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 87543 73066 1990 922 0 79495 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 350172 KiB
Current children cumulated memory: 292264 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/257 1073148
/proc/meminfo: memFree=124490916/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=382952 memory=320924 CPUtime=281.51 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 61790 0 0 0 27518 633 0 0 20 0 1 0 198728588 392142848 80231 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 95738 80231 1990 922 0 87690 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 382952 KiB
Current children cumulated memory: 320924 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/256 1073158
/proc/meminfo: memFree=124344232/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=458576 memory=385768 CPUtime=341.35 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 77501 0 0 0 33130 1005 0 0 20 0 1 0 198728588 469581824 96442 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 114644 96442 1990 922 0 106596 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 458576 KiB
Current children cumulated memory: 385768 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 1073172
/proc/meminfo: memFree=124224324/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=463844 memory=392784 CPUtime=401.18 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 78791 0 0 0 38901 1217 0 0 20 0 1 0 198728588 474976256 98196 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 115961 98196 1990 922 0 107913 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 463844 KiB
Current children cumulated memory: 392784 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 1073194
/proc/meminfo: memFree=124096760/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=471436 memory=400920 CPUtime=461.01 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 80787 0 0 0 44652 1449 0 0 20 0 1 0 198728588 482750464 100230 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 117859 100230 1990 922 0 109811 0
################
# More data... #
################
Current children cumulated memory: 1137096 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1074347
/proc/meminfo: memFree=121439644/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1431780 memory=1164540 CPUtime=2914.15 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 194528 0 0 0 287001 4414 0 0 20 0 1 0 198728588 1466142720 291135 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 357945 291135 1990 922 0 349897 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 1431780 KiB
Current children cumulated memory: 1164540 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1074358
/proc/meminfo: memFree=121402884/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1453476 memory=1184816 CPUtime=2973.96 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 199863 0 0 0 292968 4428 0 0 20 0 1 0 198728588 1488359424 296204 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 363369 296204 1990 922 0 355321 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 1453476 KiB
Current children cumulated memory: 1184816 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1074369
/proc/meminfo: memFree=121382852/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1475880 memory=1201668 CPUtime=3033.78 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 204291 0 0 0 298940 4438 0 0 20 0 1 0 198728588 1511301120 300417 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 368970 300417 1990 922 0 360922 0
Current children cumulated CPU time: 3033.78 s
Current children cumulated vsize: 1475880 KiB
Current children cumulated memory: 1201668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1074379
/proc/meminfo: memFree=121339332/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1481384 memory=1210096 CPUtime=3093.59 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 206620 0 0 0 304911 4448 0 0 20 0 1 0 198728588 1516937216 302524 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 370346 302524 1990 922 0 362298 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 1481384 KiB
Current children cumulated memory: 1210096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 1074389
/proc/meminfo: memFree=121294572/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1502888 memory=1226152 CPUtime=3153.41 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 211005 0 0 0 310884 4457 0 0 20 0 1 0 198728588 1538957312 306538 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 375722 306538 1990 922 0 367674 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 1502888 KiB
Current children cumulated memory: 1226152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1074399
/proc/meminfo: memFree=121280568/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1520044 memory=1239820 CPUtime=3213.22 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 214670 0 0 0 316855 4467 0 0 20 0 1 0 198728588 1556525056 309955 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 380011 309955 1990 922 0 371963 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 1520044 KiB
Current children cumulated memory: 1239820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/254 1074410
/proc/meminfo: memFree=121265608/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1524268 memory=1244388 CPUtime=3273.05 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 215577 0 0 0 322766 4539 0 0 20 0 1 0 198728588 1560850432 311097 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 381067 311097 1990 922 0 373019 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 1524268 KiB
Current children cumulated memory: 1244388 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 1074420
/proc/meminfo: memFree=121255988/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1524268 memory=1245448 CPUtime=3332.87 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 216037 0 0 0 328703 4584 0 0 20 0 1 0 198728588 1560850432 311362 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 381067 311362 1990 922 0 373019 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1524268 KiB
Current children cumulated memory: 1245448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/257 1074435
/proc/meminfo: memFree=121243764/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1529772 memory=1248944 CPUtime=3392.69 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 217237 0 0 0 334667 4602 0 0 20 0 1 0 198728588 1566486528 312236 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 382443 312236 1990 922 0 374395 0
Current children cumulated CPU time: 3392.69 s
Current children cumulated vsize: 1529772 KiB
Current children cumulated memory: 1248944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1074446
/proc/meminfo: memFree=121239392/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1533292 memory=1251636 CPUtime=3452.51 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 218172 0 0 0 340635 4616 0 0 20 0 1 0 198728588 1570091008 312909 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 383323 312909 1990 922 0 375275 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 1533292 KiB
Current children cumulated memory: 1251636 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1074456
/proc/meminfo: memFree=121216208/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1533784 memory=1252328 CPUtime=3512.34 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 219037 0 0 0 346578 4656 0 0 20 0 1 0 198728588 1570594816 313082 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 383446 313082 1990 922 0 375398 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 1533784 KiB
Current children cumulated memory: 1252328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.17 4.11 5/257 1074467
/proc/meminfo: memFree=121144000/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1533784 memory=1252444 CPUtime=3572.16 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 219290 0 0 0 352518 4698 0 0 20 0 1 0 198728588 1570594816 313111 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 383446 313111 1990 922 0 375398 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 1533784 KiB
Current children cumulated memory: 1252444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.28 4.17 4.11 4/250 1074504
/proc/meminfo: memFree=125010712/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1533784 memory=1252760 CPUtime=3600.08 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 219670 0 0 0 355302 4706 0 0 20 0 1 0 198728588 1570594816 313190 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 383446 313190 1990 922 0 375398 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1533784 KiB
Current children cumulated memory: 1252760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.33 s]
# the end of solver process 1072408 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.03 s, system=47.0949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.28 4.17 4.11 4/250 1074504
/proc/meminfo: memFree=125010712/131524600 swapFree=131071996/131071996
[pid=1072408] ppid=1072405 vsize=1533784 memory=1252760 CPUtime=3600.08 cores=1,3
/proc/1072408/stat : 1072408 (roundingsat) R 1072405 1072408 1068396 0 -1 4194304 219670 0 0 0 355302 4706 0 0 20 0 1 0 198728588 1570594816 313190 134679101440 4194304 7968373 140730772214128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 37998592 140730772222908 140730772223072 140730772223072 140730772230089 0
/proc/1072408/statm: 383446 313190 1990 922 0 375398 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1533784 KiB
Current children cumulated memory: 1252760 KiB
Child status: 0
Real time (s): 3610.33
CPU time (s): 3600.12
CPU user time (s): 3553.03
CPU system time (s): 47.0949
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 1533784
Max. memory (cumulated for all children) (KiB): 1252760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.03
system time used= 47.0949
maximum resident set size= 1252760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 3623
# summary of solver processes directly reported to runsolver:
# pid: 1072408
# total CPU time (s): 3600.12
# total CPU user time (s): 3553.03
# total CPU system time (s): 47.0949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0163 second user time and 16.8889 second system time
The end
Begin job on nodeC029 at 2024-07-20 10:53:45 IDJOB=4455428 IDBENCH=158621 IDSOLVER=3084 FILE ID=nodeC029/4455428-1721465612 RUNJOBID= nodeC029-1721458405-1068408 SLURM_JOB_ID= 7545702 Free space on /tmp= 890044 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455428-1721465612/watcher-4455428-1721465612 -o /tmp/evaluation-result-4455428-1721465612/solver-4455428-1721465612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721458405-1068408 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455428-1721465612.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119 RANDOM SEED=866969884 nodeC029.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 : 3669.193 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 : 7000.09 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 : 3662.797 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 : 7006.98 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.122 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 : 7000.09 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 : 3664.916 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 : 7006.98 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 : 3669.182 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 : 7000.09 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 : 3668.596 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 : 7006.98 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.294 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 : 7000.09 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 : 3617.026 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 : 7006.98 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 118548888 kB MemAvailable: 121424728 kB Buffers: 552140 kB Cached: 3138512 kB SwapCached: 0 kB Active: 1075396 kB Inactive: 11196300 kB Active(anon): 1480 kB Inactive(anon): 8625468 kB Active(file): 1073916 kB Inactive(file): 2570832 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 12352 kB Writeback: 0 kB AnonPages: 8581268 kB Mapped: 117664 kB Shmem: 45912 kB KReclaimable: 141476 kB Slab: 260292 kB SReclaimable: 141476 kB SUnreclaim: 118816 kB KernelStack: 4108 kB PageTables: 28140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10760260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72416 kB HardwareCorrupted: 0 kB AnonHugePages: 2187264 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: 281300 kB DirectMap2M: 36192256 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 890048 MiB End job on nodeC029 at 2024-07-20 11:53:55