| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | SAT | 972.004 | 974.344 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb |
| MD5SUM | 7361f1d7a542e71300a3f7026fcde645 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 5.09705 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7140 |
| Total number of constraints | 7352 |
| Number of constraints which are clauses | 7247 |
| Number of constraints which are cardinality constraints (but not clauses) | 105 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 106 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.03 c #variables 7140 #constraints 7352 5.17/5.23 c #Conflicts: 1000 | #Constraints: 8351 5.17/5.23 c #Conflicts: 2000 | #Constraints: 9351 5.17/5.23 c INPROCESSING 5.17/5.23 c GARBAGE COLLECT 5.17/5.23 c rational objective 105 46.89/47.06 c #Conflicts: 3000 | #Constraints: 9048 46.89/47.06 c #Conflicts: 4000 | #Constraints: 10048 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 5000 | #Constraints: 9459 46.89/47.06 c #Conflicts: 6000 | #Constraints: 10459 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 7000 | #Constraints: 9528 46.89/47.06 c #Conflicts: 8000 | #Constraints: 10528 46.89/47.06 c #Conflicts: 9000 | #Constraints: 11528 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 10000 | #Constraints: 10264 46.89/47.06 c #Conflicts: 11000 | #Constraints: 11264 46.89/47.06 c #Conflicts: 12000 | #Constraints: 12264 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 13000 | #Constraints: 10767 46.89/47.06 c #Conflicts: 14000 | #Constraints: 11768 46.89/47.06 c #Conflicts: 15000 | #Constraints: 12768 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 16000 | #Constraints: 11050 46.89/47.06 c #Conflicts: 17000 | #Constraints: 12050 46.89/47.06 c #Conflicts: 18000 | #Constraints: 13050 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 19000 | #Constraints: 11099 46.89/47.06 c #Conflicts: 20000 | #Constraints: 12099 46.89/47.06 c #Conflicts: 21000 | #Constraints: 13099 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 22000 | #Constraints: 10916 46.89/47.06 c #Conflicts: 23000 | #Constraints: 11916 46.89/47.06 c #Conflicts: 24000 | #Constraints: 12916 46.89/47.06 c #Conflicts: 25000 | #Constraints: 13916 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 26000 | #Constraints: 11545 46.89/47.06 c #Conflicts: 27000 | #Constraints: 12545 46.89/47.06 c #Conflicts: 28000 | #Constraints: 13545 46.89/47.06 c #Conflicts: 29000 | #Constraints: 14545 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c #Conflicts: 30000 | #Constraints: 11962 46.89/47.06 c #Conflicts: 31000 | #Constraints: 12962 46.89/47.06 c #Conflicts: 32000 | #Constraints: 13962 46.89/47.06 c #Conflicts: 33000 | #Constraints: 14962 46.89/47.06 c INPROCESSING 46.89/47.06 c GARBAGE COLLECT 46.89/47.06 c rational objective 105 69.74/69.95 c #Conflicts: 34000 | #Constraints: 12191 69.74/69.95 c #Conflicts: 35000 | #Constraints: 13191 69.74/69.95 c #Conflicts: 36000 | #Constraints: 14191 69.74/69.95 c #Conflicts: 37000 | #Constraints: 15191 69.74/69.95 c #Conflicts: 38000 | #Constraints: 16191 69.74/69.95 c #Conflicts: 39000 | #Constraints: 17192 69.74/69.95 c #Conflicts: 40000 | #Constraints: 18192 69.74/69.95 c #Conflicts: 41000 | #Constraints: 19192 69.74/69.95 c #Conflicts: 42000 | #Constraints: 20192 69.74/69.95 c #Conflicts: 43000 | #Constraints: 21192 69.74/69.95 c #Conflicts: 44000 | #Constraints: 22192 69.74/69.95 c #Conflicts: 45000 | #Constraints: 23192 69.74/69.95 c #Conflicts: 46000 | #Constraints: 24192 69.74/69.95 c #Conflicts: 47000 | #Constraints: 25192 69.74/69.95 c #Conflicts: 48000 | #Constraints: 26193 69.74/69.95 c INPROCESSING 69.74/69.95 c GARBAGE COLLECT 69.74/69.95 c #Conflicts: 49000 | #Constraints: 17847 69.74/69.95 c #Conflicts: 50000 | #Constraints: 18847 69.74/69.95 c #Conflicts: 51000 | #Constraints: 19847 69.74/69.95 c #Conflicts: 52000 | #Constraints: 20847 69.74/69.95 c #Conflicts: 53000 | #Constraints: 21847 69.74/69.96 c INPROCESSING 69.74/69.96 c GARBAGE COLLECT 69.74/69.96 c rational objective 105 87.19/87.48 c #Conflicts: 54000 | #Constraints: 15504 87.19/87.48 c #Conflicts: 55000 | #Constraints: 16504 87.19/87.48 c #Conflicts: 56000 | #Constraints: 17504 87.19/87.48 c #Conflicts: 57000 | #Constraints: 18505 87.19/87.48 c #Conflicts: 58000 | #Constraints: 19505 87.19/87.48 c INPROCESSING 87.19/87.48 c GARBAGE COLLECT 87.19/87.48 c #Conflicts: 59000 | #Constraints: 14090 87.19/87.48 c #Conflicts: 60000 | #Constraints: 15090 87.19/87.48 c #Conflicts: 61000 | #Constraints: 16090 87.19/87.48 c #Conflicts: 62000 | #Constraints: 17090 87.19/87.48 c #Conflicts: 63000 | #Constraints: 18090 87.19/87.48 c #Conflicts: 64000 | #Constraints: 19090 87.19/87.48 c INPROCESSING 87.19/87.48 c GARBAGE COLLECT 87.19/87.48 c rational objective 105 113.53/113.82 c #Conflicts: 65000 | #Constraints: 14072 113.53/113.82 c #Conflicts: 66000 | #Constraints: 15073 113.53/113.82 c #Conflicts: 67000 | #Constraints: 16073 113.53/113.82 c #Conflicts: 68000 | #Constraints: 17073 113.53/113.82 c #Conflicts: 69000 | #Constraints: 18073 113.53/113.82 c #Conflicts: 70000 | #Constraints: 19073 113.53/113.82 c #Conflicts: 71000 | #Constraints: 20073 113.53/113.82 c #Conflicts: 72000 | #Constraints: 21073 113.53/113.82 c #Conflicts: 73000 | #Constraints: 22073 113.53/113.82 c #Conflicts: 74000 | #Constraints: 23073 113.53/113.82 c #Conflicts: 75000 | #Constraints: 24073 113.53/113.82 c #Conflicts: 76000 | #Constraints: 25073 113.53/113.82 c #Conflicts: 77000 | #Constraints: 26073 113.53/113.82 c #Conflicts: 78000 | #Constraints: 27073 113.53/113.82 c #Conflicts: 79000 | #Constraints: 28073 113.53/113.82 c #Conflicts: 80000 | #Constraints: 29073 113.53/113.82 c #Conflicts: 81000 | #Constraints: 30073 113.53/113.82 c #Conflicts: 82000 | #Constraints: 31074 113.53/113.82 c #Conflicts: 83000 | #Constraints: 32074 113.53/113.82 c #Conflicts: 84000 | #Constraints: 33075 113.53/113.82 c INPROCESSING 113.53/113.82 c GARBAGE COLLECT 113.53/113.82 c rational objective 105 129.20/129.54 c #Conflicts: 85000 | #Constraints: 20962 129.20/129.54 c #Conflicts: 86000 | #Constraints: 21962 129.20/129.54 c #Conflicts: 87000 | #Constraints: 22962 129.20/129.54 c #Conflicts: 88000 | #Constraints: 23962 129.20/129.54 c #Conflicts: 89000 | #Constraints: 24962 129.20/129.54 c #Conflicts: 90000 | #Constraints: 25962 129.20/129.54 c #Conflicts: 91000 | #Constraints: 26962 129.20/129.54 c INPROCESSING 129.20/129.54 c GARBAGE COLLECT 129.20/129.54 c #Conflicts: 92000 | #Constraints: 17957 129.20/129.54 c #Conflicts: 93000 | #Constraints: 18957 129.20/129.54 c #Conflicts: 94000 | #Constraints: 19958 129.20/129.54 c #Conflicts: 95000 | #Constraints: 20959 129.20/129.54 c #Conflicts: 96000 | #Constraints: 21959 129.20/129.54 c #Conflicts: 97000 | #Constraints: 22959 129.20/129.54 c #Conflicts: 98000 | #Constraints: 23959 129.20/129.54 c #Conflicts: 99000 | #Constraints: 24959 129.20/129.54 c INPROCESSING 129.20/129.54 c GARBAGE COLLECT 129.20/129.54 c rational objective 105 164.91/165.39 c #Conflicts: 100000 | #Constraints: 17343 164.91/165.39 c #Conflicts: 101000 | #Constraints: 18343 164.91/165.39 c #Conflicts: 102000 | #Constraints: 19343 164.91/165.39 c #Conflicts: 103000 | #Constraints: 20343 164.91/165.39 c #Conflicts: 104000 | #Constraints: 21343 164.91/165.39 c #Conflicts: 105000 | #Constraints: 22343 164.91/165.39 c #Conflicts: 106000 | #Constraints: 23343 164.91/165.39 c INPROCESSING 164.91/165.39 c GARBAGE COLLECT 164.91/165.39 c #Conflicts: 107000 | #Constraints: 16307 164.91/165.39 c #Conflicts: 108000 | #Constraints: 17307 164.91/165.39 c #Conflicts: 109000 | #Constraints: 18307 164.91/165.39 c #Conflicts: 110000 | #Constraints: 19307 164.91/165.39 c #Conflicts: 111000 | #Constraints: 20307 164.91/165.39 c #Conflicts: 112000 | #Constraints: 21307 164.91/165.39 c #Conflicts: 113000 | #Constraints: 22307 164.91/165.39 c #Conflicts: 114000 | #Constraints: 23307 164.91/165.39 c #Conflicts: 115000 | #Constraints: 24307 164.91/165.39 c #Conflicts: 116000 | #Constraints: 25307 164.91/165.39 c #Conflicts: 117000 | #Constraints: 26307 164.91/165.39 c #Conflicts: 118000 | #Constraints: 27308 164.91/165.39 c #Conflicts: 119000 | #Constraints: 28308 164.91/165.39 c #Conflicts: 120000 | #Constraints: 29308 164.91/165.39 c #Conflicts: 121000 | #Constraints: 30308 164.91/165.39 c #Conflicts: 122000 | #Constraints: 31309 164.91/165.39 c #Conflicts: 123000 | #Constraints: 32309 164.91/165.39 c #Conflicts: 124000 | #Constraints: 33309 164.91/165.39 c #Conflicts: 125000 | #Constraints: 34309 164.91/165.39 c #Conflicts: 126000 | #Constraints: 35309 164.91/165.39 c #Conflicts: 127000 | #Constraints: 36309 164.91/165.39 c #Conflicts: 128000 | #Constraints: 37310 164.91/165.39 c #Conflicts: 129000 | #Constraints: 38310 164.91/165.39 c #Conflicts: 130000 | #Constraints: 39310 164.91/165.39 c #Conflicts: 131000 | #Constraints: 40310 164.91/165.39 c #Conflicts: 132000 | #Constraints: 41310 164.91/165.39 c INPROCESSING 164.91/165.39 c GARBAGE COLLECT 164.91/165.39 c rational objective 105 179.08/179.56 c #Conflicts: 133000 | #Constraints: 25521 179.08/179.56 c #Conflicts: 134000 | #Constraints: 26522 179.08/179.56 c #Conflicts: 135000 | #Constraints: 27522 179.08/179.56 c #Conflicts: 136000 | #Constraints: 28522 179.08/179.56 c #Conflicts: 137000 | #Constraints: 29522 179.08/179.56 c #Conflicts: 138000 | #Constraints: 30522 179.08/179.56 c #Conflicts: 139000 | #Constraints: 31522 179.08/179.56 c #Conflicts: 140000 | #Constraints: 32522 179.08/179.56 c INPROCESSING 179.08/179.56 c GARBAGE COLLECT 179.08/179.56 c rational objective 105 189.75/190.21 c #Conflicts: 141000 | #Constraints: 20863 189.75/190.21 c #Conflicts: 142000 | #Constraints: 21863 189.75/190.21 c #Conflicts: 143000 | #Constraints: 22863 189.75/190.21 c #Conflicts: 144000 | #Constraints: 23863 189.75/190.21 c #Conflicts: 145000 | #Constraints: 24863 189.75/190.21 c #Conflicts: 146000 | #Constraints: 25864 189.75/190.21 c #Conflicts: 147000 | #Constraints: 26864 189.75/190.21 c #Conflicts: 148000 | #Constraints: 27865 189.75/190.21 c #Conflicts: 149000 | #Constraints: 28865 189.75/190.21 c INPROCESSING 189.75/190.21 c GARBAGE COLLECT 189.75/190.21 c rational objective 105 199.92/200.40 c #Conflicts: 150000 | #Constraints: 19063 199.92/200.40 c #Conflicts: 151000 | #Constraints: 20063 199.92/200.40 c #Conflicts: 152000 | #Constraints: 21063 199.92/200.40 c #Conflicts: 153000 | #Constraints: 22063 199.92/200.40 c #Conflicts: 154000 | #Constraints: 23064 199.92/200.40 c #Conflicts: 155000 | #Constraints: 24065 199.92/200.40 c #Conflicts: 156000 | #Constraints: 25065 199.92/200.40 c #Conflicts: 157000 | #Constraints: 26065 199.92/200.40 c #Conflicts: 158000 | #Constraints: 27065 199.92/200.40 c INPROCESSING 199.92/200.40 c GARBAGE COLLECT 199.92/200.40 c rational objective 105 234.14/234.74 c #Conflicts: 159000 | #Constraints: 18105 234.14/234.74 c #Conflicts: 160000 | #Constraints: 19105 234.14/234.74 c #Conflicts: 161000 | #Constraints: 20105 234.14/234.74 c #Conflicts: 162000 | #Constraints: 21105 234.14/234.74 c #Conflicts: 163000 | #Constraints: 22105 234.14/234.74 c #Conflicts: 164000 | #Constraints: 23105 234.14/234.74 c #Conflicts: 165000 | #Constraints: 24105 234.14/234.74 c #Conflicts: 166000 | #Constraints: 25105 234.14/234.74 c #Conflicts: 167000 | #Constraints: 26105 234.14/234.74 c #Conflicts: 168000 | #Constraints: 27105 234.14/234.74 c #Conflicts: 169000 | #Constraints: 28105 234.14/234.74 c #Conflicts: 170000 | #Constraints: 29105 234.14/234.74 c #Conflicts: 171000 | #Constraints: 30105 234.14/234.74 c #Conflicts: 172000 | #Constraints: 31105 234.14/234.74 c #Conflicts: 173000 | #Constraints: 32105 234.14/234.74 c #Conflicts: 174000 | #Constraints: 33105 234.14/234.74 c #Conflicts: 175000 | #Constraints: 34106 234.14/234.74 c #Conflicts: 176000 | #Constraints: 35106 234.14/234.74 c #Conflicts: 177000 | #Constraints: 36106 234.14/234.74 c #Conflicts: 178000 | #Constraints: 37106 234.14/234.74 c #Conflicts: 179000 | #Constraints: 38106 234.14/234.74 c #Conflicts: 180000 | #Constraints: 39106 234.14/234.74 c #Conflicts: 181000 | #Constraints: 40106 234.14/234.74 c #Conflicts: 182000 | #Constraints: 41106 234.14/234.74 c #Conflicts: 183000 | #Constraints: 42106 234.14/234.74 c #Conflicts: 184000 | #Constraints: 43106 234.14/234.74 c #Conflicts: 185000 | #Constraints: 44106 234.14/234.74 c #Conflicts: 186000 | #Constraints: 45106 234.14/234.74 c #Conflicts: 187000 | #Constraints: 46106 234.14/234.74 c #Conflicts: 188000 | #Constraints: 47106 234.14/234.74 c #Conflicts: 189000 | #Constraints: 48106 234.14/234.74 c INPROCESSING 234.14/234.74 c GARBAGE COLLECT 234.14/234.74 c rational objective 105 248.81/249.44 c #Conflicts: 190000 | #Constraints: 28703 248.81/249.44 c #Conflicts: 191000 | #Constraints: 29703 248.81/249.44 c #Conflicts: 192000 | #Constraints: 30703 248.81/249.44 c #Conflicts: 193000 | #Constraints: 31703 248.81/249.44 c #Conflicts: 194000 | #Constraints: 32703 248.81/249.44 c #Conflicts: 195000 | #Constraints: 33703 248.81/249.44 c #Conflicts: 196000 | #Constraints: 34703 248.81/249.44 c #Conflicts: 197000 | #Constraints: 35703 248.81/249.44 c #Conflicts: 198000 | #Constraints: 36704 248.81/249.44 c #Conflicts: 199000 | #Constraints: 37705 248.81/249.44 c #Conflicts: 200000 | #Constraints: 38706 248.81/249.44 c INPROCESSING 248.81/249.44 c GARBAGE COLLECT 248.81/249.44 c rational objective 105 262.67/263.32 c #Conflicts: 201000 | #Constraints: 24349 262.67/263.32 c #Conflicts: 202000 | #Constraints: 25349 262.67/263.32 c #Conflicts: 203000 | #Constraints: 26349 262.67/263.32 c #Conflicts: 204000 | #Constraints: 27349 262.67/263.32 c #Conflicts: 205000 | #Constraints: 28349 262.67/263.32 c #Conflicts: 206000 | #Constraints: 29349 262.67/263.32 c #Conflicts: 207000 | #Constraints: 30349 262.67/263.32 c #Conflicts: 208000 | #Constraints: 31349 262.67/263.32 c #Conflicts: 209000 | #Constraints: 32349 262.67/263.32 c #Conflicts: 210000 | #Constraints: 33349 262.67/263.32 c INPROCESSING 262.67/263.32 c GARBAGE COLLECT 262.67/263.32 c rational objective 105 273.46/274.16 c #Conflicts: 211000 | #Constraints: 21380 273.46/274.16 c #Conflicts: 212000 | #Constraints: 22380 273.46/274.16 c #Conflicts: 213000 | #Constraints: 23380 273.46/274.16 c #Conflicts: 214000 | #Constraints: 24380 273.46/274.16 c #Conflicts: 215000 | #Constraints: 25380 273.46/274.16 c #Conflicts: 216000 | #Constraints: 26380 273.46/274.16 c #Conflicts: 217000 | #Constraints: 27380 273.46/274.16 c #Conflicts: 218000 | #Constraints: 28380 273.46/274.16 c #Conflicts: 219000 | #Constraints: 29381 273.46/274.16 c #Conflicts: 220000 | #Constraints: 30381 273.46/274.16 c #Conflicts: 221000 | #Constraints: 31381 273.46/274.16 c INPROCESSING 273.46/274.16 c GARBAGE COLLECT 273.46/274.16 c rational objective 105 325.31/326.12 c #Conflicts: 222000 | #Constraints: 20464 325.31/326.12 c #Conflicts: 223000 | #Constraints: 21464 325.31/326.12 c #Conflicts: 224000 | #Constraints: 22464 325.31/326.12 c #Conflicts: 225000 | #Constraints: 23464 325.31/326.12 c #Conflicts: 226000 | #Constraints: 24464 325.31/326.12 c #Conflicts: 227000 | #Constraints: 25464 325.31/326.12 c #Conflicts: 228000 | #Constraints: 26464 325.31/326.12 c #Conflicts: 229000 | #Constraints: 27465 325.31/326.12 c #Conflicts: 230000 | #Constraints: 28465 325.31/326.12 c #Conflicts: 231000 | #Constraints: 29466 325.31/326.12 c #Conflicts: 232000 | #Constraints: 30466 325.31/326.12 c #Conflicts: 233000 | #Constraints: 31466 325.31/326.12 c #Conflicts: 234000 | #Constraints: 32466 325.31/326.12 c #Conflicts: 235000 | #Constraints: 33466 325.31/326.12 c #Conflicts: 236000 | #Constraints: 34466 325.31/326.12 c #Conflicts: 237000 | #Constraints: 35466 325.31/326.12 c #Conflicts: 238000 | #Constraints: 36466 325.31/326.12 c #Conflicts: 239000 | #Constraints: 37466 325.31/326.12 c #Conflicts: 240000 | #Constraints: 38466 325.31/326.12 c #Conflicts: 241000 | #Constraints: 39466 325.31/326.12 c #Conflicts: 242000 | #Constraints: 40466 325.31/326.12 c #Conflicts: 243000 | #Constraints: 41466 325.31/326.12 c #Conflicts: 244000 | #Constraints: 42466 325.31/326.12 c #Conflicts: 245000 | #Constraints: 43466 325.31/326.12 c #Conflicts: 246000 | #Constraints: 44467 325.31/326.12 c #Conflicts: 247000 | #Constraints: 45467 325.31/326.12 c #Conflicts: 248000 | #Constraints: 46467 325.31/326.12 c #Conflicts: 249000 | #Constraints: 47467 325.31/326.12 c #Conflicts: 250000 | #Constraints: 48467 325.31/326.12 c #Conflicts: 251000 | #Constraints: 49467 325.31/326.12 c #Conflicts: 252000 | #Constraints: 50467 325.31/326.12 c #Conflicts: 253000 | #Constraints: 51467 325.31/326.12 c #Conflicts: 254000 | #Constraints: 52467 325.31/326.12 c #Conflicts: 255000 | #Constraints: 53467 325.31/326.12 c #Conflicts: 256000 | #Constraints: 54467 325.31/326.12 c #Conflicts: 257000 | #Constraints: 55467 325.31/326.12 c INPROCESSING 325.31/326.12 c GARBAGE COLLECT 325.31/326.12 c rational objective 105 345.05/346.00 c #Conflicts: 258000 | #Constraints: 32427 345.05/346.00 c #Conflicts: 259000 | #Constraints: 33427 345.05/346.00 c #Conflicts: 260000 | #Constraints: 34427 345.05/346.00 c #Conflicts: 261000 | #Constraints: 35427 345.05/346.00 c #Conflicts: 262000 | #Constraints: 36427 345.05/346.00 c #Conflicts: 263000 | #Constraints: 37427 345.05/346.00 c #Conflicts: 264000 | #Constraints: 38427 345.05/346.00 c #Conflicts: 265000 | #Constraints: 39427 345.05/346.00 c #Conflicts: 266000 | #Constraints: 40427 345.05/346.00 c #Conflicts: 267000 | #Constraints: 41427 345.05/346.00 c #Conflicts: 268000 | #Constraints: 42427 345.05/346.00 c #Conflicts: 269000 | #Constraints: 43427 345.05/346.00 c INPROCESSING 345.05/346.00 c GARBAGE COLLECT 345.05/346.00 c rational objective 105 356.52/357.47 c #Conflicts: 270000 | #Constraints: 26376 356.52/357.47 c #Conflicts: 271000 | #Constraints: 27376 356.52/357.47 c #Conflicts: 272000 | #Constraints: 28376 356.52/357.47 c #Conflicts: 273000 | #Constraints: 29376 356.52/357.47 c #Conflicts: 274000 | #Constraints: 30376 356.52/357.47 c #Conflicts: 275000 | #Constraints: 31376 356.52/357.47 c #Conflicts: 276000 | #Constraints: 32376 356.52/357.47 c #Conflicts: 277000 | #Constraints: 33376 356.52/357.47 c #Conflicts: 278000 | #Constraints: 34376 356.52/357.47 c #Conflicts: 279000 | #Constraints: 35376 356.52/357.47 c #Conflicts: 280000 | #Constraints: 36376 356.52/357.47 c #Conflicts: 281000 | #Constraints: 37377 356.52/357.47 c #Conflicts: 282000 | #Constraints: 38377 356.52/357.47 c INPROCESSING 356.52/357.47 c GARBAGE COLLECT 356.52/357.47 c rational objective 105 370.21/371.17 c #Conflicts: 283000 | #Constraints: 24251 370.21/371.17 c #Conflicts: 284000 | #Constraints: 25251 370.21/371.17 c #Conflicts: 285000 | #Constraints: 26251 370.21/371.17 c #Conflicts: 286000 | #Constraints: 27251 370.21/371.17 c #Conflicts: 287000 | #Constraints: 28251 370.21/371.17 c #Conflicts: 288000 | #Constraints: 29253 370.21/371.17 c #Conflicts: 289000 | #Constraints: 30253 370.21/371.17 c #Conflicts: 290000 | #Constraints: 31253 370.21/371.17 c #Conflicts: 291000 | #Constraints: 32253 370.21/371.17 c #Conflicts: 292000 | #Constraints: 33254 370.21/371.17 c #Conflicts: 293000 | #Constraints: 34254 370.21/371.17 c #Conflicts: 294000 | #Constraints: 35254 370.21/371.17 c INPROCESSING 370.21/371.17 c GARBAGE COLLECT 370.21/371.17 c rational objective 105 427.46/428.57 c #Conflicts: 295000 | #Constraints: 22389 427.46/428.57 c #Conflicts: 296000 | #Constraints: 23389 427.46/428.57 c #Conflicts: 297000 | #Constraints: 24390 427.46/428.57 c #Conflicts: 298000 | #Constraints: 25391 427.46/428.57 c #Conflicts: 299000 | #Constraints: 26391 427.46/428.57 c #Conflicts: 300000 | #Constraints: 27393 427.46/428.57 c #Conflicts: 301000 | #Constraints: 28393 427.46/428.57 c #Conflicts: 302000 | #Constraints: 29393 427.46/428.57 c #Conflicts: 303000 | #Constraints: 30393 427.46/428.57 c #Conflicts: 304000 | #Constraints: 31393 427.46/428.57 c #Conflicts: 305000 | #Constraints: 32393 427.46/428.57 c #Conflicts: 306000 | #Constraints: 33394 427.46/428.57 c #Conflicts: 307000 | #Constraints: 34394 427.46/428.57 c #Conflicts: 308000 | #Constraints: 35394 427.46/428.57 c #Conflicts: 309000 | #Constraints: 36394 427.46/428.57 c #Conflicts: 310000 | #Constraints: 37394 427.46/428.57 c #Conflicts: 311000 | #Constraints: 38394 427.46/428.57 c #Conflicts: 312000 | #Constraints: 39394 427.46/428.57 c #Conflicts: 313000 | #Constraints: 40394 427.46/428.57 c #Conflicts: 314000 | #Constraints: 41394 427.46/428.57 c #Conflicts: 315000 | #Constraints: 42394 427.46/428.57 c #Conflicts: 316000 | #Constraints: 43394 427.46/428.57 c #Conflicts: 317000 | #Constraints: 44394 427.46/428.57 c #Conflicts: 318000 | #Constraints: 45394 427.46/428.57 c #Conflicts: 319000 | #Constraints: 46394 427.46/428.57 c #Conflicts: 320000 | #Constraints: 47394 427.46/428.57 c #Conflicts: 321000 | #Constraints: 48394 427.46/428.57 c #Conflicts: 322000 | #Constraints: 49394 427.46/428.57 c #Conflicts: 323000 | #Constraints: 50394 427.46/428.57 c #Conflicts: 324000 | #Constraints: 51394 427.46/428.57 c #Conflicts: 325000 | #Constraints: 52395 427.46/428.57 c #Conflicts: 326000 | #Constraints: 53395 427.46/428.57 c #Conflicts: 327000 | #Constraints: 54395 427.46/428.57 c #Conflicts: 328000 | #Constraints: 55395 427.46/428.57 c #Conflicts: 329000 | #Constraints: 56395 427.46/428.57 c #Conflicts: 330000 | #Constraints: 57396 427.46/428.57 c #Conflicts: 331000 | #Constraints: 58396 427.46/428.57 c #Conflicts: 332000 | #Constraints: 59397 427.46/428.57 c #Conflicts: 333000 | #Constraints: 60397 427.46/428.57 c #Conflicts: 334000 | #Constraints: 61397 427.46/428.57 c #Conflicts: 335000 | #Constraints: 62397 427.46/428.57 c #Conflicts: 336000 | #Constraints: 63398 427.46/428.57 c INPROCESSING 427.46/428.57 c GARBAGE COLLECT 427.46/428.57 c rational objective 105 450.91/452.03 c #Conflicts: 337000 | #Constraints: 36755 450.91/452.03 c #Conflicts: 338000 | #Constraints: 37755 450.91/452.03 c #Conflicts: 339000 | #Constraints: 38755 450.91/452.03 c #Conflicts: 340000 | #Constraints: 39755 450.91/452.03 c #Conflicts: 341000 | #Constraints: 40755 450.91/452.03 c #Conflicts: 342000 | #Constraints: 41755 450.91/452.03 c #Conflicts: 343000 | #Constraints: 42755 450.91/452.03 c #Conflicts: 344000 | #Constraints: 43755 450.91/452.03 c #Conflicts: 345000 | #Constraints: 44755 450.91/452.03 c #Conflicts: 346000 | #Constraints: 45755 450.91/452.03 c #Conflicts: 347000 | #Constraints: 46756 450.91/452.03 c #Conflicts: 348000 | #Constraints: 47756 450.91/452.03 c #Conflicts: 349000 | #Constraints: 48756 450.91/452.03 c INPROCESSING 450.91/452.03 c GARBAGE COLLECT 450.91/452.03 c rational objective 105 465.98/467.11 c #Conflicts: 350000 | #Constraints: 28967 465.98/467.11 c #Conflicts: 351000 | #Constraints: 29967 465.98/467.11 c #Conflicts: 352000 | #Constraints: 30967 465.98/467.11 c #Conflicts: 353000 | #Constraints: 31967 465.98/467.11 c #Conflicts: 354000 | #Constraints: 32967 465.98/467.11 c #Conflicts: 355000 | #Constraints: 33967 465.98/467.11 c #Conflicts: 356000 | #Constraints: 34967 465.98/467.11 c #Conflicts: 357000 | #Constraints: 35967 465.98/467.11 c #Conflicts: 358000 | #Constraints: 36967 465.98/467.11 c #Conflicts: 359000 | #Constraints: 37967 465.98/467.11 c #Conflicts: 360000 | #Constraints: 38967 465.98/467.11 c #Conflicts: 361000 | #Constraints: 39967 465.98/467.11 c #Conflicts: 362000 | #Constraints: 40968 465.98/467.11 c #Conflicts: 363000 | #Constraints: 41968 465.98/467.11 c INPROCESSING 465.98/467.11 c GARBAGE COLLECT 465.98/467.11 c rational objective 105 489.62/490.87 c #Conflicts: 364000 | #Constraints: 25641 489.62/490.87 c #Conflicts: 365000 | #Constraints: 26641 489.62/490.87 c #Conflicts: 366000 | #Constraints: 27641 489.62/490.87 c #Conflicts: 367000 | #Constraints: 28641 489.62/490.87 c #Conflicts: 368000 | #Constraints: 29641 489.62/490.87 c #Conflicts: 369000 | #Constraints: 30641 489.62/490.87 c #Conflicts: 370000 | #Constraints: 31641 489.62/490.87 c #Conflicts: 371000 | #Constraints: 32641 489.62/490.87 c #Conflicts: 372000 | #Constraints: 33641 489.62/490.87 c #Conflicts: 373000 | #Constraints: 34641 489.62/490.87 c #Conflicts: 374000 | #Constraints: 35641 489.62/490.87 c #Conflicts: 375000 | #Constraints: 36642 489.62/490.87 c #Conflicts: 376000 | #Constraints: 37642 489.62/490.87 c #Conflicts: 377000 | #Constraints: 38642 489.62/490.87 c #Conflicts: 378000 | #Constraints: 39642 489.62/490.87 c INPROCESSING 489.62/490.87 c GARBAGE COLLECT 489.62/490.87 c rational objective 105 595.87/597.34 c #Conflicts: 379000 | #Constraints: 24830 595.87/597.34 c #Conflicts: 380000 | #Constraints: 25830 595.87/597.34 c #Conflicts: 381000 | #Constraints: 26830 595.87/597.34 c #Conflicts: 382000 | #Constraints: 27830 595.87/597.34 c #Conflicts: 383000 | #Constraints: 28830 595.87/597.34 c #Conflicts: 384000 | #Constraints: 29830 595.87/597.34 c #Conflicts: 385000 | #Constraints: 30830 595.87/597.34 c #Conflicts: 386000 | #Constraints: 31830 595.87/597.34 c #Conflicts: 387000 | #Constraints: 32830 595.87/597.34 c #Conflicts: 388000 | #Constraints: 33830 595.87/597.34 c #Conflicts: 389000 | #Constraints: 34830 595.87/597.34 c #Conflicts: 390000 | #Constraints: 35830 595.87/597.34 c #Conflicts: 391000 | #Constraints: 36830 595.87/597.34 c #Conflicts: 392000 | #Constraints: 37830 595.87/597.34 c #Conflicts: 393000 | #Constraints: 38830 595.87/597.34 c #Conflicts: 394000 | #Constraints: 39830 595.87/597.34 c #Conflicts: 395000 | #Constraints: 40830 595.87/597.34 c #Conflicts: 396000 | #Constraints: 41830 595.87/597.34 c #Conflicts: 397000 | #Constraints: 42830 595.87/597.34 c #Conflicts: 398000 | #Constraints: 43830 595.87/597.34 c #Conflicts: 399000 | #Constraints: 44832 595.87/597.34 c #Conflicts: 400000 | #Constraints: 45833 595.87/597.34 c #Conflicts: 401000 | #Constraints: 46833 595.87/597.34 c #Conflicts: 402000 | #Constraints: 47834 595.87/597.34 c #Conflicts: 403000 | #Constraints: 48836 595.87/597.34 c #Conflicts: 404000 | #Constraints: 49837 595.87/597.34 c #Conflicts: 405000 | #Constraints: 50838 595.87/597.34 c #Conflicts: 406000 | #Constraints: 51843 595.87/597.34 c #Conflicts: 407000 | #Constraints: 52844 595.87/597.34 c #Conflicts: 408000 | #Constraints: 53845 595.87/597.34 c #Conflicts: 409000 | #Constraints: 54846 595.87/597.34 c #Conflicts: 410000 | #Constraints: 55848 595.87/597.34 c #Conflicts: 411000 | #Constraints: 56849 595.87/597.34 c #Conflicts: 412000 | #Constraints: 57851 595.87/597.34 c #Conflicts: 413000 | #Constraints: 58852 595.87/597.34 c #Conflicts: 414000 | #Constraints: 59853 595.87/597.34 c #Conflicts: 415000 | #Constraints: 60854 595.87/597.34 c #Conflicts: 416000 | #Constraints: 61854 595.87/597.34 c #Conflicts: 417000 | #Constraints: 62855 595.87/597.34 c #Conflicts: 418000 | #Constraints: 63857 595.87/597.34 c #Conflicts: 419000 | #Constraints: 64858 595.87/597.34 c #Conflicts: 420000 | #Constraints: 65859 595.87/597.34 c #Conflicts: 421000 | #Constraints: 66859 595.87/597.34 c #Conflicts: 422000 | #Constraints: 67859 595.87/597.34 c #Conflicts: 423000 | #Constraints: 68860 595.87/597.34 c #Conflicts: 424000 | #Constraints: 69861 595.87/597.34 c INPROCESSING 595.87/597.34 c GARBAGE COLLECT 595.87/597.34 c #Conflicts: 425000 | #Constraints: 39532 595.87/597.34 c #Conflicts: 426000 | #Constraints: 40532 595.87/597.34 c #Conflicts: 427000 | #Constraints: 41533 595.87/597.34 c #Conflicts: 428000 | #Constraints: 42533 595.87/597.34 c #Conflicts: 429000 | #Constraints: 43534 595.87/597.34 c #Conflicts: 430000 | #Constraints: 44534 595.87/597.34 c #Conflicts: 431000 | #Constraints: 45534 595.87/597.34 c #Conflicts: 432000 | #Constraints: 46534 595.87/597.34 c #Conflicts: 433000 | #Constraints: 47534 595.87/597.34 c #Conflicts: 434000 | #Constraints: 48534 595.87/597.34 c #Conflicts: 435000 | #Constraints: 49534 595.87/597.34 c #Conflicts: 436000 | #Constraints: 50534 595.87/597.34 c #Conflicts: 437000 | #Constraints: 51534 595.87/597.34 c #Conflicts: 438000 | #Constraints: 52535 595.87/597.34 c #Conflicts: 439000 | #Constraints: 53535 595.87/597.34 c #Conflicts: 440000 | #Constraints: 54535 595.87/597.34 c INPROCESSING 595.87/597.34 c GARBAGE COLLECT 595.87/597.34 c rational objective 105 620.52/622.04 c #Conflicts: 441000 | #Constraints: 32167 620.52/622.04 c #Conflicts: 442000 | #Constraints: 33167 620.52/622.04 c #Conflicts: 443000 | #Constraints: 34167 620.52/622.04 c #Conflicts: 444000 | #Constraints: 35167 620.52/622.04 c #Conflicts: 445000 | #Constraints: 36167 620.52/622.04 c #Conflicts: 446000 | #Constraints: 37167 620.52/622.04 c #Conflicts: 447000 | #Constraints: 38167 620.52/622.04 c #Conflicts: 448000 | #Constraints: 39167 620.52/622.04 c #Conflicts: 449000 | #Constraints: 40167 620.52/622.04 c #Conflicts: 450000 | #Constraints: 41167 620.52/622.04 c #Conflicts: 451000 | #Constraints: 42167 620.52/622.04 c #Conflicts: 452000 | #Constraints: 43167 620.52/622.04 c #Conflicts: 453000 | #Constraints: 44167 620.52/622.04 c #Conflicts: 454000 | #Constraints: 45167 620.52/622.04 c #Conflicts: 455000 | #Constraints: 46167 620.52/622.04 c #Conflicts: 456000 | #Constraints: 47167 620.52/622.04 c INPROCESSING 620.52/622.04 c GARBAGE COLLECT 620.52/622.04 c rational objective 105 636.08/637.60 c #Conflicts: 457000 | #Constraints: 28699 636.08/637.60 c #Conflicts: 458000 | #Constraints: 29699 636.08/637.60 c #Conflicts: 459000 | #Constraints: 30699 636.08/637.60 c #Conflicts: 460000 | #Constraints: 31699 636.08/637.60 c #Conflicts: 461000 | #Constraints: 32699 636.08/637.60 c #Conflicts: 462000 | #Constraints: 33699 636.08/637.60 c #Conflicts: 463000 | #Constraints: 34699 636.08/637.60 c #Conflicts: 464000 | #Constraints: 35699 636.08/637.60 c #Conflicts: 465000 | #Constraints: 36699 636.08/637.60 c #Conflicts: 466000 | #Constraints: 37699 636.08/637.60 c #Conflicts: 467000 | #Constraints: 38699 636.08/637.60 c #Conflicts: 468000 | #Constraints: 39699 636.08/637.60 c #Conflicts: 469000 | #Constraints: 40699 636.08/637.60 c #Conflicts: 470000 | #Constraints: 41699 636.08/637.60 c #Conflicts: 471000 | #Constraints: 42699 636.08/637.60 c INPROCESSING 636.08/637.60 c GARBAGE COLLECT 636.08/637.60 c rational objective 105 730.65/732.41 c #Conflicts: 472000 | #Constraints: 25997 730.65/732.41 c #Conflicts: 473000 | #Constraints: 26997 730.65/732.41 c #Conflicts: 474000 | #Constraints: 27997 730.65/732.41 c #Conflicts: 475000 | #Constraints: 28997 730.65/732.41 c #Conflicts: 476000 | #Constraints: 29997 730.65/732.41 c #Conflicts: 477000 | #Constraints: 31000 730.65/732.41 c #Conflicts: 478000 | #Constraints: 32001 730.65/732.41 c #Conflicts: 479000 | #Constraints: 33003 730.65/732.41 c #Conflicts: 480000 | #Constraints: 34004 730.65/732.41 c #Conflicts: 481000 | #Constraints: 35006 730.65/732.41 c #Conflicts: 482000 | #Constraints: 36006 730.65/732.41 c #Conflicts: 483000 | #Constraints: 37006 730.65/732.41 c #Conflicts: 484000 | #Constraints: 38011 730.65/732.41 c #Conflicts: 485000 | #Constraints: 39011 730.65/732.41 c #Conflicts: 486000 | #Constraints: 40011 730.65/732.41 c #Conflicts: 487000 | #Constraints: 41011 730.65/732.41 c #Conflicts: 488000 | #Constraints: 42011 730.65/732.41 c #Conflicts: 489000 | #Constraints: 43012 730.65/732.41 c #Conflicts: 490000 | #Constraints: 44012 730.65/732.41 c #Conflicts: 491000 | #Constraints: 45012 730.65/732.41 c #Conflicts: 492000 | #Constraints: 46012 730.65/732.41 c #Conflicts: 493000 | #Constraints: 47012 730.65/732.41 c #Conflicts: 494000 | #Constraints: 48012 730.65/732.41 c #Conflicts: 495000 | #Constraints: 49012 730.65/732.41 c #Conflicts: 496000 | #Constraints: 50012 730.65/732.41 c #Conflicts: 497000 | #Constraints: 51012 730.65/732.41 c #Conflicts: 498000 | #Constraints: 52012 730.65/732.41 c #Conflicts: 499000 | #Constraints: 53012 730.65/732.41 c #Conflicts: 500000 | #Constraints: 54012 730.65/732.41 c #Conflicts: 501000 | #Constraints: 55012 730.65/732.41 c #Conflicts: 502000 | #Constraints: 56012 730.65/732.41 c #Conflicts: 503000 | #Constraints: 57012 730.65/732.41 c #Conflicts: 504000 | #Constraints: 58012 730.65/732.41 c #Conflicts: 505000 | #Constraints: 59012 730.65/732.41 c #Conflicts: 506000 | #Constraints: 60012 730.65/732.41 c #Conflicts: 507000 | #Constraints: 61012 730.65/732.41 c #Conflicts: 508000 | #Constraints: 62012 730.65/732.41 c #Conflicts: 509000 | #Constraints: 63012 730.65/732.41 c #Conflicts: 510000 | #Constraints: 64012 730.65/732.41 c #Conflicts: 511000 | #Constraints: 65013 730.65/732.41 c #Conflicts: 512000 | #Constraints: 66013 730.65/732.41 c #Conflicts: 513000 | #Constraints: 67013 730.65/732.41 c #Conflicts: 514000 | #Constraints: 68013 730.65/732.41 c #Conflicts: 515000 | #Constraints: 69013 730.65/732.41 c #Conflicts: 516000 | #Constraints: 70013 730.65/732.41 c #Conflicts: 517000 | #Constraints: 71014 730.65/732.41 c #Conflicts: 518000 | #Constraints: 72014 730.65/732.41 c #Conflicts: 519000 | #Constraints: 73014 730.65/732.41 c #Conflicts: 520000 | #Constraints: 74014 730.65/732.41 c #Conflicts: 521000 | #Constraints: 75014 730.65/732.41 c #Conflicts: 522000 | #Constraints: 76014 730.65/732.41 c #Conflicts: 523000 | #Constraints: 77014 730.65/732.41 c #Conflicts: 524000 | #Constraints: 78014 730.65/732.41 c INPROCESSING 730.65/732.41 c GARBAGE COLLECT 730.65/732.41 c rational objective 105 755.48/757.37 c #Conflicts: 525000 | #Constraints: 44105 755.48/757.37 c #Conflicts: 526000 | #Constraints: 45105 755.48/757.37 c #Conflicts: 527000 | #Constraints: 46105 755.48/757.37 c #Conflicts: 528000 | #Constraints: 47105 755.48/757.37 c #Conflicts: 529000 | #Constraints: 48105 755.48/757.37 c #Conflicts: 530000 | #Constraints: 49105 755.48/757.37 c #Conflicts: 531000 | #Constraints: 50106 755.48/757.37 c #Conflicts: 532000 | #Constraints: 51106 755.48/757.37 c #Conflicts: 533000 | #Constraints: 52106 755.48/757.37 c #Conflicts: 534000 | #Constraints: 53106 755.48/757.37 c #Conflicts: 535000 | #Constraints: 54106 755.48/757.37 c #Conflicts: 536000 | #Constraints: 55106 755.48/757.37 c #Conflicts: 537000 | #Constraints: 56106 755.48/757.37 c #Conflicts: 538000 | #Constraints: 57106 755.48/757.37 c #Conflicts: 539000 | #Constraints: 58106 755.48/757.37 c #Conflicts: 540000 | #Constraints: 59106 755.48/757.37 c #Conflicts: 541000 | #Constraints: 60106 755.48/757.37 c INPROCESSING 755.48/757.37 c GARBAGE COLLECT 755.48/757.37 c rational objective 105 778.14/780.10 c #Conflicts: 542000 | #Constraints: 35055 778.14/780.10 c #Conflicts: 543000 | #Constraints: 36055 778.14/780.10 c #Conflicts: 544000 | #Constraints: 37055 778.14/780.10 c #Conflicts: 545000 | #Constraints: 38055 778.14/780.10 c #Conflicts: 546000 | #Constraints: 39055 778.14/780.10 c #Conflicts: 547000 | #Constraints: 40055 778.14/780.10 c #Conflicts: 548000 | #Constraints: 41055 778.14/780.10 c #Conflicts: 549000 | #Constraints: 42056 778.14/780.10 c #Conflicts: 550000 | #Constraints: 43056 778.14/780.10 c #Conflicts: 551000 | #Constraints: 44056 778.14/780.10 c #Conflicts: 552000 | #Constraints: 45056 778.14/780.10 c #Conflicts: 553000 | #Constraints: 46057 778.14/780.10 c #Conflicts: 554000 | #Constraints: 47057 778.14/780.10 c #Conflicts: 555000 | #Constraints: 48057 778.14/780.10 c #Conflicts: 556000 | #Constraints: 49057 778.14/780.10 c #Conflicts: 557000 | #Constraints: 50057 778.14/780.10 c #Conflicts: 558000 | #Constraints: 51057 778.14/780.10 c INPROCESSING 778.14/780.10 c GARBAGE COLLECT 778.14/780.10 c rational objective 105 799.28/801.20 c #Conflicts: 559000 | #Constraints: 30310 799.28/801.20 c #Conflicts: 560000 | #Constraints: 31310 799.28/801.20 c #Conflicts: 561000 | #Constraints: 32310 799.28/801.20 c #Conflicts: 562000 | #Constraints: 33310 799.28/801.20 c #Conflicts: 563000 | #Constraints: 34310 799.28/801.20 c #Conflicts: 564000 | #Constraints: 35310 799.28/801.20 c #Conflicts: 565000 | #Constraints: 36311 799.28/801.20 c #Conflicts: 566000 | #Constraints: 37311 799.28/801.20 c #Conflicts: 567000 | #Constraints: 38311 799.28/801.20 c #Conflicts: 568000 | #Constraints: 39311 799.28/801.20 c #Conflicts: 569000 | #Constraints: 40311 799.28/801.20 c #Conflicts: 570000 | #Constraints: 41311 799.28/801.20 c #Conflicts: 571000 | #Constraints: 42311 799.28/801.20 c #Conflicts: 572000 | #Constraints: 43311 799.28/801.20 c #Conflicts: 573000 | #Constraints: 44311 799.28/801.20 c #Conflicts: 574000 | #Constraints: 45311 799.28/801.20 c #Conflicts: 575000 | #Constraints: 46311 799.28/801.20 c #Conflicts: 576000 | #Constraints: 47311 799.28/801.20 c INPROCESSING 799.28/801.20 c GARBAGE COLLECT 799.28/801.20 c rational objective 105 892.44/894.63 c #Conflicts: 577000 | #Constraints: 28665 892.44/894.63 c #Conflicts: 578000 | #Constraints: 29665 892.44/894.63 c #Conflicts: 579000 | #Constraints: 30665 892.44/894.63 c #Conflicts: 580000 | #Constraints: 31665 892.44/894.63 c #Conflicts: 581000 | #Constraints: 32665 892.44/894.63 c #Conflicts: 582000 | #Constraints: 33665 892.44/894.63 c #Conflicts: 583000 | #Constraints: 34665 892.44/894.63 c #Conflicts: 584000 | #Constraints: 35665 892.44/894.63 c #Conflicts: 585000 | #Constraints: 36665 892.44/894.63 c #Conflicts: 586000 | #Constraints: 37665 892.44/894.63 c #Conflicts: 587000 | #Constraints: 38665 892.44/894.63 c #Conflicts: 588000 | #Constraints: 39665 892.44/894.63 c #Conflicts: 589000 | #Constraints: 40665 892.44/894.63 c #Conflicts: 590000 | #Constraints: 41665 892.44/894.63 c #Conflicts: 591000 | #Constraints: 42666 892.44/894.63 c #Conflicts: 592000 | #Constraints: 43666 892.44/894.63 c #Conflicts: 593000 | #Constraints: 44666 892.44/894.63 c #Conflicts: 594000 | #Constraints: 45666 892.44/894.63 c #Conflicts: 595000 | #Constraints: 46666 892.44/894.63 c #Conflicts: 596000 | #Constraints: 47666 892.44/894.63 c #Conflicts: 597000 | #Constraints: 48666 892.44/894.63 c #Conflicts: 598000 | #Constraints: 49666 892.44/894.63 c #Conflicts: 599000 | #Constraints: 50666 892.44/894.63 c #Conflicts: 600000 | #Constraints: 51666 892.44/894.63 c #Conflicts: 601000 | #Constraints: 52666 892.44/894.63 c #Conflicts: 602000 | #Constraints: 53666 892.44/894.63 c #Conflicts: 603000 | #Constraints: 54666 892.44/894.63 c #Conflicts: 604000 | #Constraints: 55666 892.44/894.63 c #Conflicts: 605000 | #Constraints: 56666 892.44/894.63 c #Conflicts: 606000 | #Constraints: 57666 892.44/894.63 c #Conflicts: 607000 | #Constraints: 58666 892.44/894.63 c #Conflicts: 608000 | #Constraints: 59666 892.44/894.63 c #Conflicts: 609000 | #Constraints: 60666 892.44/894.63 c #Conflicts: 610000 | #Constraints: 61666 892.44/894.63 c #Conflicts: 611000 | #Constraints: 62666 892.44/894.63 c #Conflicts: 612000 | #Constraints: 63666 892.44/894.63 c #Conflicts: 613000 | #Constraints: 64666 892.44/894.63 c #Conflicts: 614000 | #Constraints: 65666 892.44/894.63 c #Conflicts: 615000 | #Constraints: 66666 892.44/894.63 c #Conflicts: 616000 | #Constraints: 67666 892.44/894.63 c #Conflicts: 617000 | #Constraints: 68666 892.44/894.63 c #Conflicts: 618000 | #Constraints: 69666 892.44/894.63 c #Conflicts: 619000 | #Constraints: 70666 892.44/894.63 c #Conflicts: 620000 | #Constraints: 71666 892.44/894.63 c #Conflicts: 621000 | #Constraints: 72666 892.44/894.63 c #Conflicts: 622000 | #Constraints: 73667 892.44/894.63 c #Conflicts: 623000 | #Constraints: 74667 892.44/894.63 c #Conflicts: 624000 | #Constraints: 75667 892.44/894.63 c #Conflicts: 625000 | #Constraints: 76668 892.44/894.63 c #Conflicts: 626000 | #Constraints: 77668 892.44/894.63 c #Conflicts: 627000 | #Constraints: 78668 892.44/894.63 c #Conflicts: 628000 | #Constraints: 79668 892.44/894.63 c #Conflicts: 629000 | #Constraints: 80668 892.44/894.63 c #Conflicts: 630000 | #Constraints: 81668 892.44/894.63 c #Conflicts: 631000 | #Constraints: 82668 892.44/894.63 c #Conflicts: 632000 | #Constraints: 83668 892.44/894.63 c #Conflicts: 633000 | #Constraints: 84668 892.44/894.63 c INPROCESSING 892.44/894.63 c GARBAGE COLLECT 892.44/894.63 c rational objective 105 928.36/930.69 c #Conflicts: 634000 | #Constraints: 47156 928.36/930.69 c #Conflicts: 635000 | #Constraints: 48156 928.36/930.69 c #Conflicts: 636000 | #Constraints: 49158 928.36/930.69 c #Conflicts: 637000 | #Constraints: 50159 928.36/930.69 c #Conflicts: 638000 | #Constraints: 51159 928.36/930.69 c #Conflicts: 639000 | #Constraints: 52159 928.36/930.69 c #Conflicts: 640000 | #Constraints: 53159 928.36/930.69 c #Conflicts: 641000 | #Constraints: 54160 928.36/930.69 c #Conflicts: 642000 | #Constraints: 55160 928.36/930.69 c #Conflicts: 643000 | #Constraints: 56160 928.36/930.69 c #Conflicts: 644000 | #Constraints: 57160 928.36/930.69 c #Conflicts: 645000 | #Constraints: 58160 928.36/930.69 c #Conflicts: 646000 | #Constraints: 59160 928.36/930.69 c #Conflicts: 647000 | #Constraints: 60160 928.36/930.69 c #Conflicts: 648000 | #Constraints: 61160 928.36/930.69 c #Conflicts: 649000 | #Constraints: 62160 928.36/930.69 c #Conflicts: 650000 | #Constraints: 63161 928.36/930.69 c #Conflicts: 651000 | #Constraints: 64161 928.36/930.69 c #Conflicts: 652000 | #Constraints: 65161 928.36/930.69 c INPROCESSING 928.36/930.69 c GARBAGE COLLECT 928.36/930.69 c rational objective 105 954.89/957.23 c #Conflicts: 653000 | #Constraints: 37440 954.89/957.23 c #Conflicts: 654000 | #Constraints: 38441 954.89/957.23 c #Conflicts: 655000 | #Constraints: 39441 954.89/957.23 c #Conflicts: 656000 | #Constraints: 40441 954.89/957.23 c #Conflicts: 657000 | #Constraints: 41441 954.89/957.23 c #Conflicts: 658000 | #Constraints: 42441 954.89/957.23 c #Conflicts: 659000 | #Constraints: 43441 954.89/957.23 c #Conflicts: 660000 | #Constraints: 44441 954.89/957.23 c #Conflicts: 661000 | #Constraints: 45441 954.89/957.23 c #Conflicts: 662000 | #Constraints: 46441 954.89/957.23 c #Conflicts: 663000 | #Constraints: 47441 954.89/957.23 c #Conflicts: 664000 | #Constraints: 48441 954.89/957.23 c #Conflicts: 665000 | #Constraints: 49441 954.89/957.23 c #Conflicts: 666000 | #Constraints: 50441 954.89/957.23 c #Conflicts: 667000 | #Constraints: 51441 954.89/957.23 c #Conflicts: 668000 | #Constraints: 52441 954.89/957.23 c #Conflicts: 669000 | #Constraints: 53441 954.89/957.23 c #Conflicts: 670000 | #Constraints: 54441 954.89/957.23 c #Conflicts: 671000 | #Constraints: 55441 954.89/957.23 c INPROCESSING 954.89/957.23 c GARBAGE COLLECT 954.89/957.23 c rational objective 105 971.95/974.33 c #Conflicts: 672000 | #Constraints: 32565 971.95/974.33 c #Conflicts: 673000 | #Constraints: 33565 971.95/974.33 c #Conflicts: 674000 | #Constraints: 34565 971.95/974.33 c #Conflicts: 675000 | #Constraints: 35566 971.95/974.33 c #Conflicts: 676000 | #Constraints: 36566 971.95/974.33 c #Conflicts: 677000 | #Constraints: 37567 971.95/974.33 c #Conflicts: 678000 | #Constraints: 38567 971.95/974.33 c #Conflicts: 679000 | #Constraints: 39567 971.95/974.33 c #Conflicts: 680000 | #Constraints: 40567 971.95/974.33 c #Conflicts: 681000 | #Constraints: 41567 971.95/974.33 c #Conflicts: 682000 | #Constraints: 42567 971.95/974.33 c #Conflicts: 683000 | #Constraints: 43567 971.95/974.33 c #Conflicts: 684000 | #Constraints: 44567 971.95/974.33 c #Conflicts: 685000 | #Constraints: 45567 971.95/974.33 c #Conflicts: 686000 | #Constraints: 46567 971.95/974.33 c #Conflicts: 687000 | #Constraints: 47567 971.95/974.33 c cpu time 957.945 s 971.95/974.33 c deterministic time 91322267589 9.13e+10 971.95/974.33 c optimization time 7.2e-05 s 971.95/974.33 c total solve time 957.923 s 971.95/974.33 c core-guided solve time 0 s 971.95/974.33 c propagation time 585.743 s 971.95/974.33 c conflict analysis time 197.862 s 971.95/974.33 c propagations 261016790 971.95/974.33 c resolve steps 22170068 971.95/974.33 c decisions 6836237 971.95/974.33 c conflicts 687255 971.95/974.33 c restarts 1498 971.95/974.33 c inprocessing phases 46 971.95/974.33 c input clauses 7247 971.95/974.33 c input cardinalities 105 971.95/974.33 c input general constraints 0 971.95/974.33 c input average constraint length 6.24 971.95/974.33 c input average constraint degree 1.94 971.95/974.33 c learned clauses 449035 971.95/974.33 c learned cardinalities 21084 971.95/974.33 c learned general constraints 217291 971.95/974.33 c learned average constraint length 718.35 971.95/974.33 c learned average constraint degree 51262934.98 971.95/974.33 c watched constraints 171124 971.95/974.33 c counting constraints 46167 971.95/974.33 c gcd simplifications 1745 971.95/974.33 c detected cardinalities 1928 971.95/974.33 c weakened non-implied lits 89884958 971.95/974.33 c weakened non-implying lits 155409 971.95/974.33 c original variables 7140 971.95/974.33 c clausal propagations 101790522 971.95/974.33 c cardinality propagations 93654284 971.95/974.33 c watched propagations 16994393 971.95/974.33 c counting propagations 45630003 971.95/974.33 c watch lookups 6886214400 971.95/974.33 c watch backjump lookups 5576501743 971.95/974.33 c watch checks 60692328552 971.95/974.33 c propagation checks 16176041322 971.95/974.33 c constraint additions 1453806458 971.95/974.33 c trail pops 268539707 971.95/974.33 c formula constraints 7352 971.95/974.33 c learned constraints 687170 971.95/974.33 c bound constraints 0 971.95/974.33 c core-guided constraints 0 971.95/974.33 c encountered formula constraints 13764196 971.95/974.33 c encountered learned constraints 9091715 971.95/974.33 c encountered bound constraints 0 971.95/974.33 c encountered core-guided constraints 0 971.95/974.33 c LP total time 350.026 s 971.95/974.33 c LP solve time 322.61 s 971.95/974.33 c LP constraints added 9556 971.95/974.33 c LP constraints removed 2154 971.95/974.33 c LP pivots internal 691217 971.95/974.33 c LP pivots root 291162 971.95/974.33 c LP calls 201 971.95/974.33 c LP optimalities 74 971.95/974.33 c LP no pivot count 0 971.95/974.33 c LP infeasibilities 121 971.95/974.33 c LP valid Farkas constraints 119 971.95/974.33 c LP learned Farkas constraints 85 971.95/974.33 c LP basis resets 3 971.95/974.33 c LP cycling count 0 971.95/974.33 c LP singular count 1 971.95/974.33 c LP no primal count 0 971.95/974.33 c LP no farkas count 2 971.95/974.33 c LP other issue count 0 971.95/974.33 c LP Gomory cuts 36 971.95/974.33 c LP learned cuts 2168 971.95/974.33 c LP deleted cuts 2154 971.95/974.33 c LP encountered Gomory constraints 24 971.95/974.33 c LP encountered Farkas constraints 987 971.95/974.33 c LP encountered learned Farkas constraints 316 971.95/974.33 c CG auxiliary variables introduced 0 971.95/974.33 c CG solutions found 0 971.95/974.33 c CG cores constructed 0 971.95/974.33 c CG core cardinality constraints returned 0 971.95/974.33 c CG unit cores 0 971.95/974.33 c CG single cores 0 971.95/974.33 c CG blocks removed during cardinality reduction 0 971.95/974.33 c CG first core best 0 971.95/974.33 c CG decision core best 0 971.95/974.33 c CG core reduction tie 0 971.95/974.33 c CG core degree average 0.00 971.95/974.33 c CG core slack average 0.00 971.95/974.33 s SATISFIABLE 971.95/974.33 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 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 x6224 -x6225 x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 x6437 -x6438 x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140
OK 0
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (59674 MiB free)
memory of node 1: 64473 MiB (62888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455618-1721464948/watcher-4455618-1721464948 -o /tmp/evaluation-result-4455618-1721464948/solver-4455618-1721464948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073848 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455618-1721464948.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
solver pid=1073906, runsolver pid=1073893
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 1.69 3.28 3.80 8/260 1073912
/proc/meminfo: memFree=125466504/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=49712 memory=20484 CPUtime=0.09 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 3856 0 0 0 8 1 0 0 20 0 1 0 198657241 50905088 5121 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 12428 5121 1644 922 0 4380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49712 KiB
Current children cumulated memory: 20484 KiB
[startup+0.206652 s]*
/proc/loadavg: 1.69 3.28 3.80 7/260 1073912
/proc/meminfo: memFree=125463988/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=50436 memory=21012 CPUtime=0.2 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 4033 0 0 0 19 1 0 0 20 0 1 0 198657241 51646464 5253 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 12609 5253 1644 922 0 4561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50436 KiB
Current children cumulated memory: 21012 KiB
[startup+0.305926 s]*
/proc/loadavg: 1.69 3.28 3.80 9/260 1073912
/proc/meminfo: memFree=125462440/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=50800 memory=21540 CPUtime=0.3 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 4131 0 0 0 29 1 0 0 20 0 1 0 198657241 52019200 5385 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 12700 5385 1644 922 0 4652 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50800 KiB
Current children cumulated memory: 21540 KiB
[startup+0.700175 s]
/proc/loadavg: 1.69 3.28 3.80 9/260 1073912
/proc/meminfo: memFree=125460680/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=50800 memory=21540 CPUtime=0.68 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 4166 0 0 0 67 1 0 0 20 0 1 0 198657241 52019200 5385 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 12700 5385 1644 922 0 4652 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50800 KiB
Current children cumulated memory: 21540 KiB
[startup+1.50018 s]
/proc/loadavg: 1.69 3.28 3.80 7/260 1073912
/proc/meminfo: memFree=125448740/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=52884 memory=23832 CPUtime=1.48 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 4657 0 0 0 142 6 0 0 20 0 1 0 198657241 54153216 5958 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 13221 5958 1692 922 0 5173 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52884 KiB
Current children cumulated memory: 23832 KiB
[startup+3.1066 s]
/proc/loadavg: 1.69 3.28 3.80 7/260 1073912
/proc/meminfo: memFree=125434844/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=52884 memory=23832 CPUtime=3.09 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 4677 0 0 0 301 8 0 0 20 0 1 0 198657241 54153216 5958 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 13221 5958 1692 922 0 5173 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52884 KiB
Current children cumulated memory: 23832 KiB
[startup+6.30018 s]
/proc/loadavg: 1.87 3.29 3.80 8/260 1073912
/proc/meminfo: memFree=125387544/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=70976 memory=41836 CPUtime=6.27 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 9177 0 0 0 617 10 0 0 20 0 1 0 198657241 72679424 10459 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 17744 10459 1708 922 0 9696 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70976 KiB
Current children cumulated memory: 41836 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 3.31 3.80 7/260 1073914
/proc/meminfo: memFree=125361624/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=80084 memory=53052 CPUtime=12.67 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 12091 0 0 0 1236 31 0 0 20 0 1 0 198657241 82006016 13263 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 20021 13263 1771 922 0 11973 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 80084 KiB
Current children cumulated memory: 53052 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 3.34 3.81 8/260 1073915
/proc/meminfo: memFree=125338700/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=94472 memory=60880 CPUtime=25.43 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 13542 0 0 0 2489 54 0 0 20 0 1 0 198657241 96739328 15220 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 23618 15220 1771 922 0 15570 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 94472 KiB
Current children cumulated memory: 60880 KiB
[startup+51.1062 s]
/proc/loadavg: 3.00 3.39 3.81 7/260 1073966
/proc/meminfo: memFree=125320144/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=94936 memory=66128 CPUtime=50.99 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 14295 0 0 0 4988 111 0 0 20 0 1 0 198657241 97214464 16532 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 23734 16532 1787 922 0 15686 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 94936 KiB
Current children cumulated memory: 66128 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 3.51 3.83 6/260 1074021
/proc/meminfo: memFree=125205568/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=142044 memory=110896 CPUtime=102.06 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 20303 0 0 0 9997 209 0 0 20 0 1 0 198657241 145453056 27724 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 35511 27724 1787 922 0 27463 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 142044 KiB
Current children cumulated memory: 110896 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.61 3.85 5/260 1074031
/proc/meminfo: memFree=125060332/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=183528 memory=147752 CPUtime=161.92 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 23411 0 0 0 15873 319 0 0 20 0 1 0 198657241 187932672 36938 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 45882 36938 1787 922 0 37834 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 183528 KiB
Current children cumulated memory: 147752 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.72 3.87 6/257 1074042
/proc/meminfo: memFree=124916136/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=188708 memory=153020 CPUtime=221.77 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 25916 0 0 0 21740 437 0 0 20 0 1 0 198657241 193236992 38255 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 47177 38255 1787 922 0 39129 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 188708 KiB
Current children cumulated memory: 153020 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.79 3.89 5/257 1074052
/proc/meminfo: memFree=124822656/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=245208 memory=188104 CPUtime=281.63 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 28332 0 0 0 27646 517 0 0 20 0 1 0 198657241 251092992 47026 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 61302 47026 1787 922 0 53254 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 245208 KiB
Current children cumulated memory: 188104 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 3.87 3.91 6/254 1074108
/proc/meminfo: memFree=124934672/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=252276 memory=221816 CPUtime=341.46 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 30162 0 0 0 33548 598 0 0 20 0 1 0 198657241 258330624 55454 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 63069 55454 1787 922 0 55021 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 252276 KiB
Current children cumulated memory: 221816 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.92 3.93 5/254 1074119
/proc/meminfo: memFree=124918136/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=254716 memory=224540 CPUtime=401.32 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 32843 0 0 0 39427 705 0 0 20 0 1 0 198657241 260829184 56135 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 63679 56135 1787 922 0 55631 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 254716 KiB
Current children cumulated memory: 224540 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.95 3.94 5/254 1074129
/proc/meminfo: memFree=124813800/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=347052 memory=296808 CPUtime=461.18 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 36161 0 0 0 45336 782 0 0 20 0 1 0 198657241 355381248 74202 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 86763 74202 1787 922 0 78715 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
/proc/loadavg: 4.15 4.03 3.98 5/256 1074167
/proc/meminfo: memFree=124622788/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=353560 memory=303852 CPUtime=640.77 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 41781 0 0 0 63077 1000 0 0 20 0 1 0 198657241 362045440 75963 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 88390 75963 1937 922 0 80342 0
Current children cumulated CPU time: 640.77 s
Current children cumulated vsize: 353560 KiB
Current children cumulated memory: 303852 KiB
[startup+702.3 s]
/proc/loadavg: 4.05 4.02 3.98 6/256 1074179
/proc/meminfo: memFree=124498300/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=493264 memory=419380 CPUtime=700.63 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 44273 0 0 0 69012 1051 0 0 20 0 1 0 198657241 505102336 104845 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 123316 104845 1937 922 0 115268 0
Current children cumulated CPU time: 700.63 s
Current children cumulated vsize: 493264 KiB
Current children cumulated memory: 419380 KiB
[startup+762.3 s]
/proc/loadavg: 4.06 4.03 3.99 6/256 1074189
/proc/meminfo: memFree=124436076/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=508228 memory=465384 CPUtime=760.47 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 47620 0 0 0 74922 1125 0 0 20 0 1 0 198657241 520425472 116346 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 127057 116346 1937 922 0 119009 0
Current children cumulated CPU time: 760.47 s
Current children cumulated vsize: 508228 KiB
Current children cumulated memory: 465384 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.05 4.00 5/255 1074581
/proc/meminfo: memFree=124415784/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=508228 memory=465508 CPUtime=820.33 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 47659 0 0 0 80808 1225 0 0 20 0 1 0 198657241 520425472 116377 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 127057 116377 1937 922 0 119009 0
Current children cumulated CPU time: 820.33 s
Current children cumulated vsize: 508228 KiB
Current children cumulated memory: 465508 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.06 4.00 6/255 1074591
/proc/meminfo: memFree=124409856/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=508228 memory=465572 CPUtime=880.17 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 47785 0 0 0 86736 1281 0 0 20 0 1 0 198657241 520425472 116393 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 127057 116393 1937 922 0 119009 0
Current children cumulated CPU time: 880.17 s
Current children cumulated vsize: 508228 KiB
Current children cumulated memory: 465572 KiB
[startup+942.3 s]
/proc/loadavg: 4.94 4.28 4.08 5/255 1074602
/proc/meminfo: memFree=124395584/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=940.03 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49775 0 0 0 92649 1354 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 940.03 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+974.344 s]
# the end of solver process 1073906 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=957.947 s, system=14.0569 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.87 4.28 4.08 6/260 1074742
/proc/meminfo: memFree=124392776/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=944.92 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49775 0 0 0 93131 1361 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 944.92 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+960 s]*
/proc/loadavg: 4.73 4.27 4.08 6/257 1074775
/proc/meminfo: memFree=124394560/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=957.69 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 94390 1379 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 957.69 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+966.4 s]
/proc/loadavg: 4.62 4.26 4.08 5/257 1074775
/proc/meminfo: memFree=124394704/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=964.07 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95017 1390 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 964.07 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+969.6 s]
/proc/loadavg: 4.62 4.26 4.08 5/257 1074777
/proc/meminfo: memFree=124394380/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=967.26 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95330 1396 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 967.26 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+972.8 s]
/proc/loadavg: 4.57 4.25 4.08 5/257 1074777
/proc/meminfo: memFree=124394488/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=970.45 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95644 1401 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 970.45 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+973.6 s]
/proc/loadavg: 4.57 4.25 4.08 6/257 1074777
/proc/meminfo: memFree=124394444/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=971.25 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95722 1403 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 971.25 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+974 s]*
/proc/loadavg: 4.57 4.25 4.08 6/257 1074777
/proc/meminfo: memFree=124394500/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=971.65 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95762 1403 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 971.65 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+974.2 s]
/proc/loadavg: 4.57 4.25 4.08 6/257 1074777
/proc/meminfo: memFree=124394500/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=971.85 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95781 1404 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 971.85 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
[startup+974.3 s]
/proc/loadavg: 4.57 4.25 4.08 6/257 1074777
/proc/meminfo: memFree=124394500/131524600 swapFree=131071216/131071996
[pid=1073906] ppid=1073893 vsize=516012 memory=473484 CPUtime=971.95 cores=1,3
/proc/1073906/stat : 1073906 (roundingsat) R 1073893 1073906 1073836 0 -1 4194304 49824 0 0 0 95791 1404 0 0 20 0 1 0 198657241 528396288 118371 134679101440 4194304 7968373 140733652959776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 42090496 140733652968380 140733652968544 140733652968544 140733652975561 0
/proc/1073906/statm: 129003 118371 1937 922 0 120955 0
Current children cumulated CPU time: 971.95 s
Current children cumulated vsize: 516012 KiB
Current children cumulated memory: 473484 KiB
Child status: 0
Real time (s): 974.344
CPU time (s): 972.004
CPU user time (s): 957.947
CPU system time (s): 14.0569
CPU usage (%): 99.7597
Max. virtual memory (cumulated for all children) (KiB): 516012
Max. memory (cumulated for all children) (KiB): 473484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 957.947
system time used= 14.0569
maximum resident set size= 473484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49832
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= 53
involuntary context switches= 1069
# summary of solver processes directly reported to runsolver:
# pid: 1073906
# total CPU time (s): 972.004
# total CPU user time (s): 957.947
# total CPU system time (s): 14.0569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89593 second user time and 4.46374 second system time
The end
Begin job on nodeC018 at 2024-07-20 10:42:40 IDJOB=4455618 IDBENCH=158365 IDSOLVER=3084 FILE ID=nodeC018/4455618-1721464948 RUNJOBID= nodeC018-1721464960-1073848 SLURM_JOB_ID= 7545715 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.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-4455618-1721464948/watcher-4455618-1721464948 -o /tmp/evaluation-result-4455618-1721464948/solver-4455618-1721464948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073848 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455618-1721464948.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645 RANDOM SEED=1081052915 nodeC018.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 : 3533.285 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3590.671 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 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 : 3507.226 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3575.457 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 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 : 3481.960 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3557.017 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 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 : 3838.743 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 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 : 3605.974 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125505988 kB MemAvailable: 129733540 kB Buffers: 566952 kB Cached: 4461440 kB SwapCached: 148 kB Active: 1140340 kB Inactive: 4221568 kB Active(anon): 1480 kB Inactive(anon): 378468 kB Active(file): 1138860 kB Inactive(file): 3843100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 21556 kB Writeback: 0 kB AnonPages: 333740 kB Mapped: 109744 kB Shmem: 45784 kB KReclaimable: 170832 kB Slab: 274912 kB SReclaimable: 170832 kB SUnreclaim: 104080 kB KernelStack: 3804 kB PageTables: 10008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 809600 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 37568 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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: 283348 kB DirectMap2M: 28850176 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890060 MiB End job on nodeC018 at 2024-07-20 10:58:55