| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 21 | 3600.11 | 3609.12 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
| MD5SUM | 529ae296d86301d65a8fd4e36abb4ed9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 90.3129 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6076 |
| Total number of constraints | 21401 |
| Number of constraints which are clauses | 21392 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 666 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 666 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 697 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.10/0.18 c #variables 6076 #constraints 21401 10.85/10.95 c bounds 667 >= 5 @ 0.128766 10.85/10.95 c bounds 31 >= 5 @ 0.435033 10.85/10.95 c bounds 31 >= 6 @ 0.541967 10.85/10.95 c bounds 31 >= 7 @ 0.544002 10.85/10.95 c bounds 30 >= 7 @ 0.546918 10.85/10.95 c bounds 30 >= 8 @ 0.549034 10.85/10.95 c bounds 29 >= 8 @ 0.554628 10.85/10.95 c bounds 29 >= 9 @ 0.555952 10.85/10.95 c bounds 29 >= 10 @ 0.558349 10.85/10.95 c bounds 29 >= 11 @ 0.559753 10.85/10.95 c bounds 28 >= 11 @ 0.563281 10.85/10.95 c bounds 28 >= 12 @ 0.568736 10.85/10.95 c #Conflicts: 1000 | #Constraints: 22432 10.85/10.95 c #Conflicts: 2000 | #Constraints: 23432 10.85/10.95 c INPROCESSING 10.85/10.95 c GARBAGE COLLECT 10.85/10.95 c bounds 28 >= 13 @ 2.75192 10.85/10.95 c bounds 28 >= 14 @ 2.77756 10.85/10.95 c #Conflicts: 3000 | #Constraints: 23449 10.85/10.95 c bounds 28 >= 15 @ 5.40841 10.85/10.95 c #Conflicts: 4000 | #Constraints: 24461 10.85/10.95 c INPROCESSING 10.85/10.95 c GARBAGE COLLECT 10.85/10.95 c #Conflicts: 5000 | #Constraints: 23858 10.85/10.95 c #Conflicts: 6000 | #Constraints: 24858 10.85/10.95 c INPROCESSING 10.85/10.95 c GARBAGE COLLECT 10.85/10.95 c rational objective 15 24.63/24.75 c #Conflicts: 7000 | #Constraints: 23868 24.63/24.75 c #Conflicts: 8000 | #Constraints: 24868 24.63/24.75 c #Conflicts: 9000 | #Constraints: 25868 24.63/24.75 c INPROCESSING 24.63/24.75 c GARBAGE COLLECT 24.63/24.75 c #Conflicts: 10000 | #Constraints: 24571 24.63/24.75 c #Conflicts: 11000 | #Constraints: 25572 24.63/24.75 c #Conflicts: 12000 | #Constraints: 26576 24.63/24.75 c INPROCESSING 24.63/24.75 c GARBAGE COLLECT 24.63/24.75 c #Conflicts: 13000 | #Constraints: 25028 24.63/24.75 c #Conflicts: 14000 | #Constraints: 26031 24.63/24.75 c #Conflicts: 15000 | #Constraints: 27034 24.63/24.75 c INPROCESSING 24.63/24.75 c GARBAGE COLLECT 24.63/24.75 c rational objective 15 46.48/46.60 c bounds 28 >= 16 @ 24.7846 46.48/46.60 c #Conflicts: 16000 | #Constraints: 25257 46.48/46.60 c #Conflicts: 17000 | #Constraints: 26257 46.48/46.60 c #Conflicts: 18000 | #Constraints: 27257 46.48/46.60 c INPROCESSING 46.48/46.60 c GARBAGE COLLECT 46.48/46.60 c #Conflicts: 19000 | #Constraints: 25338 46.48/46.60 c #Conflicts: 20000 | #Constraints: 26338 46.48/46.60 c #Conflicts: 21000 | #Constraints: 27338 46.48/46.60 c INPROCESSING 46.48/46.60 c GARBAGE COLLECT 46.48/46.60 c #Conflicts: 22000 | #Constraints: 25112 46.48/46.60 c bounds 27 >= 16 @ 38.5056 46.48/46.60 c #Conflicts: 23000 | #Constraints: 26115 46.48/46.60 c #Conflicts: 24000 | #Constraints: 27115 46.48/46.60 c #Conflicts: 25000 | #Constraints: 28115 46.48/46.60 c INPROCESSING 46.48/46.60 c GARBAGE COLLECT 46.48/46.60 c rational objective 16 65.73/65.99 c #Conflicts: 26000 | #Constraints: 25705 65.73/65.99 c #Conflicts: 27000 | #Constraints: 26705 65.73/65.99 c #Conflicts: 28000 | #Constraints: 27705 65.73/65.99 c #Conflicts: 29000 | #Constraints: 28705 65.73/65.99 c INPROCESSING 65.73/65.99 c GARBAGE COLLECT 65.73/65.99 c #Conflicts: 30000 | #Constraints: 26092 65.73/65.99 c #Conflicts: 31000 | #Constraints: 27092 65.73/65.99 c #Conflicts: 32000 | #Constraints: 28092 65.73/65.99 c #Conflicts: 33000 | #Constraints: 29092 65.73/65.99 c INPROCESSING 65.73/65.99 c GARBAGE COLLECT 65.73/65.99 c bounds 27 >= 17 @ 56.6304 65.73/65.99 c #Conflicts: 34000 | #Constraints: 26326 65.73/65.99 c #Conflicts: 35000 | #Constraints: 27326 65.73/65.99 c #Conflicts: 36000 | #Constraints: 28326 65.73/65.99 c #Conflicts: 37000 | #Constraints: 29326 65.73/65.99 c INPROCESSING 65.73/65.99 c GARBAGE COLLECT 65.73/65.99 c rational objective 17 73.11/73.38 c #Conflicts: 38000 | #Constraints: 26360 73.11/73.38 c #Conflicts: 39000 | #Constraints: 27360 73.11/73.38 c #Conflicts: 40000 | #Constraints: 28360 73.11/73.38 c #Conflicts: 41000 | #Constraints: 29360 73.11/73.38 c INPROCESSING 73.11/73.38 c GARBAGE COLLECT 73.11/73.38 c rational objective 17 112.31/112.69 c #Conflicts: 42000 | #Constraints: 26165 112.31/112.69 c #Conflicts: 43000 | #Constraints: 27166 112.31/112.69 c #Conflicts: 44000 | #Constraints: 28167 112.31/112.69 c #Conflicts: 45000 | #Constraints: 29167 112.31/112.69 c #Conflicts: 46000 | #Constraints: 30167 112.31/112.69 c INPROCESSING 112.31/112.69 c GARBAGE COLLECT 112.31/112.69 c #Conflicts: 47000 | #Constraints: 26763 112.31/112.69 c #Conflicts: 48000 | #Constraints: 27763 112.31/112.69 c #Conflicts: 49000 | #Constraints: 28763 112.31/112.69 c #Conflicts: 50000 | #Constraints: 29763 112.31/112.69 c #Conflicts: 51000 | #Constraints: 30763 112.31/112.69 c INPROCESSING 112.31/112.69 c GARBAGE COLLECT 112.31/112.69 c bounds 26 >= 17 @ 101.866 112.31/112.69 c #Conflicts: 52000 | #Constraints: 27215 112.31/112.69 c #Conflicts: 53000 | #Constraints: 28215 112.31/112.69 c #Conflicts: 54000 | #Constraints: 29216 112.31/112.69 c #Conflicts: 55000 | #Constraints: 30218 112.31/112.69 c #Conflicts: 56000 | #Constraints: 31218 112.31/112.69 c INPROCESSING 112.31/112.69 c GARBAGE COLLECT 112.31/112.69 c rational objective 17 126.88/127.20 c #Conflicts: 57000 | #Constraints: 27379 126.88/127.20 c #Conflicts: 58000 | #Constraints: 28379 126.88/127.20 c #Conflicts: 59000 | #Constraints: 29379 126.88/127.20 c #Conflicts: 60000 | #Constraints: 30379 126.88/127.20 c #Conflicts: 61000 | #Constraints: 31379 126.88/127.20 c INPROCESSING 126.88/127.20 c GARBAGE COLLECT 126.88/127.20 c #Conflicts: 62000 | #Constraints: 27375 126.88/127.20 c #Conflicts: 63000 | #Constraints: 28378 126.88/127.20 c #Conflicts: 64000 | #Constraints: 29378 126.88/127.20 c #Conflicts: 65000 | #Constraints: 30378 126.88/127.20 c #Conflicts: 66000 | #Constraints: 31378 126.88/127.20 c INPROCESSING 126.88/127.20 c GARBAGE COLLECT 126.88/127.20 c rational objective 17 138.95/139.36 c #Conflicts: 67000 | #Constraints: 27152 138.95/139.36 c #Conflicts: 68000 | #Constraints: 28153 138.95/139.36 c #Conflicts: 69000 | #Constraints: 29154 138.95/139.36 c #Conflicts: 70000 | #Constraints: 30154 138.95/139.36 c #Conflicts: 71000 | #Constraints: 31156 138.95/139.36 c #Conflicts: 72000 | #Constraints: 32156 138.95/139.36 c INPROCESSING 138.95/139.36 c GARBAGE COLLECT 138.95/139.36 c rational objective 17 150.42/150.89 c #Conflicts: 73000 | #Constraints: 27753 150.42/150.89 c #Conflicts: 74000 | #Constraints: 28753 150.42/150.89 c #Conflicts: 75000 | #Constraints: 29753 150.42/150.89 c bounds 26 >= 18 @ 142.7 150.42/150.89 c #Conflicts: 76000 | #Constraints: 30777 150.42/150.89 c #Conflicts: 77000 | #Constraints: 31777 150.42/150.89 c #Conflicts: 78000 | #Constraints: 32777 150.42/150.89 c INPROCESSING 150.42/150.89 c GARBAGE COLLECT 150.42/150.89 c rational objective 18 202.10/202.65 c #Conflicts: 79000 | #Constraints: 28170 202.10/202.65 c #Conflicts: 80000 | #Constraints: 29171 202.10/202.65 c #Conflicts: 81000 | #Constraints: 30173 202.10/202.65 c #Conflicts: 82000 | #Constraints: 31173 202.10/202.65 c #Conflicts: 83000 | #Constraints: 32174 202.10/202.65 c #Conflicts: 84000 | #Constraints: 33174 202.10/202.65 c INPROCESSING 202.10/202.65 c GARBAGE COLLECT 202.10/202.65 c #Conflicts: 85000 | #Constraints: 28383 202.10/202.65 c #Conflicts: 86000 | #Constraints: 29383 202.10/202.65 c #Conflicts: 87000 | #Constraints: 30383 202.10/202.65 c #Conflicts: 88000 | #Constraints: 31383 202.10/202.65 c #Conflicts: 89000 | #Constraints: 32383 202.10/202.65 c #Conflicts: 90000 | #Constraints: 33383 202.10/202.65 c INPROCESSING 202.10/202.65 c GARBAGE COLLECT 202.10/202.65 c rational objective 18 219.66/220.26 c #Conflicts: 91000 | #Constraints: 28485 219.66/220.26 c #Conflicts: 92000 | #Constraints: 29485 219.66/220.26 c #Conflicts: 93000 | #Constraints: 30485 219.66/220.26 c #Conflicts: 94000 | #Constraints: 31485 219.66/220.26 c #Conflicts: 95000 | #Constraints: 32486 219.66/220.26 c #Conflicts: 96000 | #Constraints: 33486 219.66/220.26 c INPROCESSING 219.66/220.26 c GARBAGE COLLECT 219.66/220.26 c rational objective 18 243.70/244.32 c #Conflicts: 97000 | #Constraints: 28244 243.70/244.32 c #Conflicts: 98000 | #Constraints: 29244 243.70/244.32 c #Conflicts: 99000 | #Constraints: 30244 243.70/244.32 c #Conflicts: 100000 | #Constraints: 31244 243.70/244.32 c #Conflicts: 101000 | #Constraints: 32244 243.70/244.32 c #Conflicts: 102000 | #Constraints: 33244 243.70/244.32 c #Conflicts: 103000 | #Constraints: 34244 243.70/244.32 c INPROCESSING 243.70/244.32 c GARBAGE COLLECT 243.70/244.32 c rational objective 18 257.27/257.98 c #Conflicts: 104000 | #Constraints: 29012 257.27/257.98 c #Conflicts: 105000 | #Constraints: 30012 257.27/257.98 c #Conflicts: 106000 | #Constraints: 31012 257.27/257.98 c #Conflicts: 107000 | #Constraints: 32012 257.27/257.98 c #Conflicts: 108000 | #Constraints: 33013 257.27/257.98 c #Conflicts: 109000 | #Constraints: 34013 257.27/257.98 c #Conflicts: 110000 | #Constraints: 35013 257.27/257.98 c INPROCESSING 257.27/257.98 c GARBAGE COLLECT 257.27/257.98 c rational objective 18 284.80/285.51 c bounds 25 >= 18 @ 256.762 284.80/285.51 c #Conflicts: 111000 | #Constraints: 29318 284.80/285.51 c #Conflicts: 112000 | #Constraints: 30318 284.80/285.51 c #Conflicts: 113000 | #Constraints: 31318 284.80/285.51 c #Conflicts: 114000 | #Constraints: 32318 284.80/285.51 c #Conflicts: 115000 | #Constraints: 33318 284.80/285.51 c #Conflicts: 116000 | #Constraints: 34318 284.80/285.51 c #Conflicts: 117000 | #Constraints: 35318 284.80/285.51 c INPROCESSING 284.80/285.51 c GARBAGE COLLECT 284.80/285.51 c rational objective 18 294.48/295.25 c #Conflicts: 118000 | #Constraints: 29547 294.48/295.25 c bounds 24 >= 18 @ 282.644 294.48/295.25 c #Conflicts: 119000 | #Constraints: 30548 294.48/295.25 c #Conflicts: 120000 | #Constraints: 31550 294.48/295.25 c #Conflicts: 121000 | #Constraints: 32551 294.48/295.25 c #Conflicts: 122000 | #Constraints: 33551 294.48/295.25 c #Conflicts: 123000 | #Constraints: 34552 294.48/295.25 c #Conflicts: 124000 | #Constraints: 35552 294.48/295.25 c INPROCESSING 294.48/295.25 c GARBAGE COLLECT 294.48/295.25 c rational objective 18 304.95/305.73 c #Conflicts: 125000 | #Constraints: 29519 304.95/305.73 c #Conflicts: 126000 | #Constraints: 30519 304.95/305.73 c #Conflicts: 127000 | #Constraints: 31519 304.95/305.73 c #Conflicts: 128000 | #Constraints: 32519 304.95/305.73 c #Conflicts: 129000 | #Constraints: 33519 304.95/305.73 c #Conflicts: 130000 | #Constraints: 34519 304.95/305.73 c #Conflicts: 131000 | #Constraints: 35519 304.95/305.73 c INPROCESSING 304.95/305.73 c GARBAGE COLLECT 304.95/305.73 c rational objective 18 319.02/319.80 c #Conflicts: 132000 | #Constraints: 29285 319.02/319.80 c #Conflicts: 133000 | #Constraints: 30285 319.02/319.80 c #Conflicts: 134000 | #Constraints: 31285 319.02/319.80 c #Conflicts: 135000 | #Constraints: 32285 319.02/319.80 c #Conflicts: 136000 | #Constraints: 33285 319.02/319.80 c #Conflicts: 137000 | #Constraints: 34285 319.02/319.80 c #Conflicts: 138000 | #Constraints: 35285 319.02/319.80 c #Conflicts: 139000 | #Constraints: 36286 319.02/319.80 c INPROCESSING 319.02/319.80 c GARBAGE COLLECT 319.02/319.80 c rational objective 18 359.40/360.31 c #Conflicts: 140000 | #Constraints: 29904 359.40/360.31 c #Conflicts: 141000 | #Constraints: 30904 359.40/360.31 c #Conflicts: 142000 | #Constraints: 31904 359.40/360.31 c #Conflicts: 143000 | #Constraints: 32904 359.40/360.31 c #Conflicts: 144000 | #Constraints: 33904 359.40/360.31 c #Conflicts: 145000 | #Constraints: 34904 359.40/360.31 c #Conflicts: 146000 | #Constraints: 35904 359.40/360.31 c #Conflicts: 147000 | #Constraints: 36904 359.40/360.31 c INPROCESSING 359.40/360.31 c GARBAGE COLLECT 359.40/360.31 c rational objective 18 376.55/377.52 c #Conflicts: 148000 | #Constraints: 30388 376.55/377.52 c #Conflicts: 149000 | #Constraints: 31388 376.55/377.52 c #Conflicts: 150000 | #Constraints: 32388 376.55/377.52 c #Conflicts: 151000 | #Constraints: 33389 376.55/377.52 c #Conflicts: 152000 | #Constraints: 34389 376.55/377.52 c #Conflicts: 153000 | #Constraints: 35389 376.55/377.52 c #Conflicts: 154000 | #Constraints: 36389 376.55/377.52 c #Conflicts: 155000 | #Constraints: 37389 376.55/377.52 c INPROCESSING 376.55/377.52 c GARBAGE COLLECT 376.55/377.52 c rational objective 18 390.52/391.55 c #Conflicts: 156000 | #Constraints: 30537 390.52/391.55 c #Conflicts: 157000 | #Constraints: 31537 390.52/391.55 c #Conflicts: 158000 | #Constraints: 32537 390.52/391.55 c #Conflicts: 159000 | #Constraints: 33537 390.52/391.55 c #Conflicts: 160000 | #Constraints: 34537 390.52/391.55 c #Conflicts: 161000 | #Constraints: 35538 390.52/391.55 c #Conflicts: 162000 | #Constraints: 36538 390.52/391.55 c #Conflicts: 163000 | #Constraints: 37538 390.52/391.55 c INPROCESSING 390.52/391.55 c GARBAGE COLLECT 390.52/391.55 c rational objective 18 400.69/401.76 c #Conflicts: 164000 | #Constraints: 30523 400.69/401.76 c #Conflicts: 165000 | #Constraints: 31523 400.69/401.76 c #Conflicts: 166000 | #Constraints: 32523 400.69/401.76 c #Conflicts: 167000 | #Constraints: 33523 400.69/401.76 c #Conflicts: 168000 | #Constraints: 34523 400.69/401.76 c #Conflicts: 169000 | #Constraints: 35523 400.69/401.76 c #Conflicts: 170000 | #Constraints: 36523 400.69/401.76 c #Conflicts: 171000 | #Constraints: 37523 400.69/401.76 c INPROCESSING 400.69/401.76 c GARBAGE COLLECT 400.69/401.76 c rational objective 18 440.80/441.95 c #Conflicts: 172000 | #Constraints: 30333 440.80/441.95 c #Conflicts: 173000 | #Constraints: 31333 440.80/441.95 c #Conflicts: 174000 | #Constraints: 32333 440.80/441.95 c #Conflicts: 175000 | #Constraints: 33333 440.80/441.95 c #Conflicts: 176000 | #Constraints: 34333 440.80/441.95 c #Conflicts: 177000 | #Constraints: 35333 440.80/441.95 c #Conflicts: 178000 | #Constraints: 36333 440.80/441.95 c #Conflicts: 179000 | #Constraints: 37333 440.80/441.95 c #Conflicts: 180000 | #Constraints: 38333 440.80/441.95 c INPROCESSING 440.80/441.95 c GARBAGE COLLECT 440.80/441.95 c rational objective 18 456.27/457.45 c #Conflicts: 181000 | #Constraints: 31091 456.27/457.45 c #Conflicts: 182000 | #Constraints: 32091 456.27/457.45 c #Conflicts: 183000 | #Constraints: 33091 456.27/457.45 c #Conflicts: 184000 | #Constraints: 34091 456.27/457.45 c #Conflicts: 185000 | #Constraints: 35091 456.27/457.45 c #Conflicts: 186000 | #Constraints: 36091 456.27/457.45 c #Conflicts: 187000 | #Constraints: 37091 456.27/457.45 c #Conflicts: 188000 | #Constraints: 38091 456.27/457.45 c #Conflicts: 189000 | #Constraints: 39091 456.27/457.45 c INPROCESSING 456.27/457.45 c GARBAGE COLLECT 456.27/457.45 c rational objective 18 470.04/471.22 c #Conflicts: 190000 | #Constraints: 31369 470.04/471.22 c #Conflicts: 191000 | #Constraints: 32369 470.04/471.22 c #Conflicts: 192000 | #Constraints: 33371 470.04/471.22 c #Conflicts: 193000 | #Constraints: 34371 470.04/471.22 c #Conflicts: 194000 | #Constraints: 35371 470.04/471.22 c #Conflicts: 195000 | #Constraints: 36371 470.04/471.22 c #Conflicts: 196000 | #Constraints: 37371 470.04/471.22 c #Conflicts: 197000 | #Constraints: 38371 470.04/471.22 c #Conflicts: 198000 | #Constraints: 39371 470.04/471.22 c INPROCESSING 470.04/471.22 c GARBAGE COLLECT 470.04/471.22 c rational objective 18 488.70/489.90 c #Conflicts: 199000 | #Constraints: 31568 488.70/489.90 c #Conflicts: 200000 | #Constraints: 32568 488.70/489.90 c #Conflicts: 201000 | #Constraints: 33568 488.70/489.90 c #Conflicts: 202000 | #Constraints: 34568 488.70/489.90 c #Conflicts: 203000 | #Constraints: 35568 488.70/489.90 c #Conflicts: 204000 | #Constraints: 36568 488.70/489.90 c #Conflicts: 205000 | #Constraints: 37568 488.70/489.90 c #Conflicts: 206000 | #Constraints: 38568 488.70/489.90 c #Conflicts: 207000 | #Constraints: 39568 488.70/489.90 c INPROCESSING 488.70/489.90 c GARBAGE COLLECT 488.70/489.90 c rational objective 18 541.48/542.81 c #Conflicts: 208000 | #Constraints: 31543 541.48/542.81 c #Conflicts: 209000 | #Constraints: 32543 541.48/542.81 c #Conflicts: 210000 | #Constraints: 33543 541.48/542.81 c #Conflicts: 211000 | #Constraints: 34543 541.48/542.81 c #Conflicts: 212000 | #Constraints: 35543 541.48/542.81 c #Conflicts: 213000 | #Constraints: 36543 541.48/542.81 c #Conflicts: 214000 | #Constraints: 37543 541.48/542.81 c #Conflicts: 215000 | #Constraints: 38543 541.48/542.81 c #Conflicts: 216000 | #Constraints: 39543 541.48/542.81 c INPROCESSING 541.48/542.81 c GARBAGE COLLECT 541.48/542.81 c rational objective 18 981.99/984.45 c #Conflicts: 217000 | #Constraints: 31574 981.99/984.45 c #Conflicts: 218000 | #Constraints: 32574 981.99/984.45 c #Conflicts: 219000 | #Constraints: 33574 981.99/984.45 c #Conflicts: 220000 | #Constraints: 34574 981.99/984.45 c #Conflicts: 221000 | #Constraints: 35574 981.99/984.45 c #Conflicts: 222000 | #Constraints: 36574 981.99/984.45 c #Conflicts: 223000 | #Constraints: 37574 981.99/984.45 c #Conflicts: 224000 | #Constraints: 38574 981.99/984.45 c #Conflicts: 225000 | #Constraints: 39574 981.99/984.45 c #Conflicts: 226000 | #Constraints: 40574 981.99/984.45 c #Conflicts: 227000 | #Constraints: 41574 981.99/984.45 c #Conflicts: 228000 | #Constraints: 42574 981.99/984.45 c #Conflicts: 229000 | #Constraints: 43574 981.99/984.45 c #Conflicts: 230000 | #Constraints: 44574 981.99/984.45 c #Conflicts: 231000 | #Constraints: 45574 981.99/984.45 c #Conflicts: 232000 | #Constraints: 46574 981.99/984.45 c #Conflicts: 233000 | #Constraints: 47574 981.99/984.45 c #Conflicts: 234000 | #Constraints: 48574 981.99/984.45 c #Conflicts: 235000 | #Constraints: 49574 981.99/984.45 c #Conflicts: 236000 | #Constraints: 50574 981.99/984.45 c #Conflicts: 237000 | #Constraints: 51574 981.99/984.45 c #Conflicts: 238000 | #Constraints: 52574 981.99/984.45 c #Conflicts: 239000 | #Constraints: 53574 981.99/984.45 c #Conflicts: 240000 | #Constraints: 54574 981.99/984.45 c bounds 23 >= 18 @ 678.761 981.99/984.45 c #Conflicts: 241000 | #Constraints: 55575 981.99/984.45 c #Conflicts: 242000 | #Constraints: 56575 981.99/984.45 c #Conflicts: 243000 | #Constraints: 57575 981.99/984.45 c #Conflicts: 244000 | #Constraints: 58575 981.99/984.45 c #Conflicts: 245000 | #Constraints: 59575 981.99/984.45 c #Conflicts: 246000 | #Constraints: 60575 981.99/984.45 c #Conflicts: 247000 | #Constraints: 61575 981.99/984.45 c #Conflicts: 248000 | #Constraints: 62575 981.99/984.45 c #Conflicts: 249000 | #Constraints: 63575 981.99/984.45 c #Conflicts: 250000 | #Constraints: 64575 981.99/984.45 c bounds 23 >= 19 @ 803.659 981.99/984.45 c #Conflicts: 251000 | #Constraints: 65605 981.99/984.45 c #Conflicts: 252000 | #Constraints: 66605 981.99/984.45 c #Conflicts: 253000 | #Constraints: 67605 981.99/984.45 c #Conflicts: 254000 | #Constraints: 68605 981.99/984.45 c #Conflicts: 255000 | #Constraints: 69605 981.99/984.45 c #Conflicts: 256000 | #Constraints: 70605 981.99/984.45 c #Conflicts: 257000 | #Constraints: 71605 981.99/984.45 c #Conflicts: 258000 | #Constraints: 72605 981.99/984.45 c #Conflicts: 259000 | #Constraints: 73605 981.99/984.45 c #Conflicts: 260000 | #Constraints: 74605 981.99/984.45 c #Conflicts: 261000 | #Constraints: 75605 981.99/984.45 c INPROCESSING 981.99/984.45 c GARBAGE COLLECT 981.99/984.45 c rational objective 19 1049.03/1051.67 c #Conflicts: 262000 | #Constraints: 49642 1049.03/1051.67 c #Conflicts: 263000 | #Constraints: 50642 1049.03/1051.67 c #Conflicts: 264000 | #Constraints: 51642 1049.03/1051.67 c #Conflicts: 265000 | #Constraints: 52642 1049.03/1051.67 c #Conflicts: 266000 | #Constraints: 53642 1049.03/1051.67 c #Conflicts: 267000 | #Constraints: 54642 1049.03/1051.67 c #Conflicts: 268000 | #Constraints: 55642 1049.03/1051.67 c #Conflicts: 269000 | #Constraints: 56643 1049.03/1051.67 c #Conflicts: 270000 | #Constraints: 57643 1049.03/1051.67 c #Conflicts: 271000 | #Constraints: 58643 1049.03/1051.67 c #Conflicts: 272000 | #Constraints: 59643 1049.03/1051.67 c INPROCESSING 1049.03/1051.67 c GARBAGE COLLECT 1049.03/1051.67 c rational objective 19 1093.32/1096.10 c #Conflicts: 273000 | #Constraints: 41832 1093.32/1096.10 c #Conflicts: 274000 | #Constraints: 42832 1093.32/1096.10 c #Conflicts: 275000 | #Constraints: 43832 1093.32/1096.10 c #Conflicts: 276000 | #Constraints: 44832 1093.32/1096.10 c #Conflicts: 277000 | #Constraints: 45832 1093.32/1096.10 c #Conflicts: 278000 | #Constraints: 46832 1093.32/1096.10 c #Conflicts: 279000 | #Constraints: 47832 1093.32/1096.10 c #Conflicts: 280000 | #Constraints: 48832 1093.32/1096.10 c #Conflicts: 281000 | #Constraints: 49832 1093.32/1096.10 c #Conflicts: 282000 | #Constraints: 50832 1093.32/1096.10 c INPROCESSING 1093.32/1096.10 c GARBAGE COLLECT 1093.32/1096.10 c rational objective 19 1125.93/1128.76 c #Conflicts: 283000 | #Constraints: 36954 1125.93/1128.76 c #Conflicts: 284000 | #Constraints: 37954 1125.93/1128.76 c #Conflicts: 285000 | #Constraints: 38954 1125.93/1128.76 c #Conflicts: 286000 | #Constraints: 39954 1125.93/1128.76 c #Conflicts: 287000 | #Constraints: 40954 1125.93/1128.76 c #Conflicts: 288000 | #Constraints: 41954 1125.93/1128.76 c #Conflicts: 289000 | #Constraints: 42954 1125.93/1128.76 c #Conflicts: 290000 | #Constraints: 43954 1125.93/1128.76 c #Conflicts: 291000 | #Constraints: 44954 1125.93/1128.76 c #Conflicts: 292000 | #Constraints: 45954 1125.93/1128.76 c #Conflicts: 293000 | #Constraints: 46954 1125.93/1128.76 c #Conflicts: 294000 | #Constraints: 47954 1125.93/1128.76 c INPROCESSING 1125.93/1128.76 c GARBAGE COLLECT 1125.93/1128.76 c rational objective 19 1210.48/1213.54 c #Conflicts: 295000 | #Constraints: 35980 1210.48/1213.54 c #Conflicts: 296000 | #Constraints: 36980 1210.48/1213.54 c #Conflicts: 297000 | #Constraints: 37980 1210.48/1213.54 c #Conflicts: 298000 | #Constraints: 38980 1210.48/1213.54 c #Conflicts: 299000 | #Constraints: 39980 1210.48/1213.54 c #Conflicts: 300000 | #Constraints: 40980 1210.48/1213.54 c #Conflicts: 301000 | #Constraints: 41980 1210.48/1213.54 c #Conflicts: 302000 | #Constraints: 42980 1210.48/1213.54 c #Conflicts: 303000 | #Constraints: 43980 1210.48/1213.54 c #Conflicts: 304000 | #Constraints: 44980 1210.48/1213.54 c #Conflicts: 305000 | #Constraints: 45980 1210.48/1213.54 c INPROCESSING 1210.48/1213.54 c GARBAGE COLLECT 1210.48/1213.54 c rational objective 19 1550.05/1553.95 c #Conflicts: 306000 | #Constraints: 34910 1550.05/1553.95 c #Conflicts: 307000 | #Constraints: 35911 1550.05/1553.95 c #Conflicts: 308000 | #Constraints: 36912 1550.05/1553.95 c #Conflicts: 309000 | #Constraints: 37912 1550.05/1553.95 c #Conflicts: 310000 | #Constraints: 38912 1550.05/1553.95 c #Conflicts: 311000 | #Constraints: 39912 1550.05/1553.95 c #Conflicts: 312000 | #Constraints: 40912 1550.05/1553.95 c #Conflicts: 313000 | #Constraints: 41912 1550.05/1553.95 c #Conflicts: 314000 | #Constraints: 42912 1550.05/1553.95 c #Conflicts: 315000 | #Constraints: 43912 1550.05/1553.95 c #Conflicts: 316000 | #Constraints: 44912 1550.05/1553.95 c #Conflicts: 317000 | #Constraints: 45912 1550.05/1553.95 c #Conflicts: 318000 | #Constraints: 46912 1550.05/1553.95 c #Conflicts: 319000 | #Constraints: 47912 1550.05/1553.95 c #Conflicts: 320000 | #Constraints: 48912 1550.05/1553.95 c bounds 22 >= 19 @ 1233.83 1550.05/1553.95 c #Conflicts: 321000 | #Constraints: 49913 1550.05/1553.95 c #Conflicts: 322000 | #Constraints: 50913 1550.05/1553.95 c #Conflicts: 323000 | #Constraints: 51913 1550.05/1553.95 c #Conflicts: 324000 | #Constraints: 52913 1550.05/1553.95 c #Conflicts: 325000 | #Constraints: 53913 1550.05/1553.96 c #Conflicts: 326000 | #Constraints: 54913 1550.05/1553.96 c #Conflicts: 327000 | #Constraints: 55913 1550.05/1553.96 c #Conflicts: 328000 | #Constraints: 56913 1550.05/1553.96 c #Conflicts: 329000 | #Constraints: 57913 1550.05/1553.96 c #Conflicts: 330000 | #Constraints: 58913 1550.05/1553.96 c #Conflicts: 331000 | #Constraints: 59913 1550.05/1553.96 c #Conflicts: 332000 | #Constraints: 60913 1550.05/1553.96 c #Conflicts: 333000 | #Constraints: 61913 1550.05/1553.96 c #Conflicts: 334000 | #Constraints: 62913 1550.05/1553.96 c #Conflicts: 335000 | #Constraints: 63913 1550.05/1553.96 c #Conflicts: 336000 | #Constraints: 64913 1550.05/1553.96 c #Conflicts: 337000 | #Constraints: 65914 1550.05/1553.96 c #Conflicts: 338000 | #Constraints: 66914 1550.05/1553.96 c #Conflicts: 339000 | #Constraints: 67914 1550.05/1553.96 c #Conflicts: 340000 | #Constraints: 68914 1550.05/1553.96 c #Conflicts: 341000 | #Constraints: 69914 1550.05/1553.96 c #Conflicts: 342000 | #Constraints: 70914 1550.05/1553.96 c #Conflicts: 343000 | #Constraints: 71914 1550.05/1553.96 c #Conflicts: 344000 | #Constraints: 72914 1550.05/1553.96 c #Conflicts: 345000 | #Constraints: 73914 1550.05/1553.96 c #Conflicts: 346000 | #Constraints: 74914 1550.05/1553.96 c #Conflicts: 347000 | #Constraints: 75914 1550.05/1553.96 c #Conflicts: 348000 | #Constraints: 76914 1550.05/1553.96 c #Conflicts: 349000 | #Constraints: 77914 1550.05/1553.96 c #Conflicts: 350000 | #Constraints: 78914 1550.05/1553.96 c #Conflicts: 351000 | #Constraints: 79914 1550.05/1553.96 c #Conflicts: 352000 | #Constraints: 80914 1550.05/1553.96 c #Conflicts: 353000 | #Constraints: 81914 1550.05/1553.96 c #Conflicts: 354000 | #Constraints: 82914 1550.05/1553.96 c #Conflicts: 355000 | #Constraints: 83914 1550.05/1553.96 c #Conflicts: 356000 | #Constraints: 84914 1550.05/1553.96 c INPROCESSING 1550.05/1553.96 c GARBAGE COLLECT 1550.05/1553.96 c rational objective 19 1682.02/1686.20 c #Conflicts: 357000 | #Constraints: 54354 1682.02/1686.20 c #Conflicts: 358000 | #Constraints: 55354 1682.02/1686.20 c #Conflicts: 359000 | #Constraints: 56354 1682.02/1686.20 c #Conflicts: 360000 | #Constraints: 57354 1682.02/1686.20 c #Conflicts: 361000 | #Constraints: 58354 1682.02/1686.20 c #Conflicts: 362000 | #Constraints: 59354 1682.02/1686.20 c #Conflicts: 363000 | #Constraints: 60354 1682.02/1686.20 c #Conflicts: 364000 | #Constraints: 61354 1682.02/1686.20 c #Conflicts: 365000 | #Constraints: 62354 1682.02/1686.20 c #Conflicts: 366000 | #Constraints: 63354 1682.02/1686.20 c #Conflicts: 367000 | #Constraints: 64354 1682.02/1686.20 c #Conflicts: 368000 | #Constraints: 65354 1682.02/1686.20 c #Conflicts: 369000 | #Constraints: 66354 1682.02/1686.20 c INPROCESSING 1682.02/1686.20 c GARBAGE COLLECT 1682.02/1686.20 c rational objective 19 1815.29/1819.86 c #Conflicts: 370000 | #Constraints: 45266 1815.29/1819.86 c #Conflicts: 371000 | #Constraints: 46266 1815.29/1819.86 c #Conflicts: 372000 | #Constraints: 47266 1815.29/1819.86 c #Conflicts: 373000 | #Constraints: 48266 1815.29/1819.86 c #Conflicts: 374000 | #Constraints: 49266 1815.29/1819.86 c #Conflicts: 375000 | #Constraints: 50266 1815.29/1819.86 c #Conflicts: 376000 | #Constraints: 51266 1815.29/1819.86 c #Conflicts: 377000 | #Constraints: 52266 1815.29/1819.86 c #Conflicts: 378000 | #Constraints: 53266 1815.29/1819.86 c #Conflicts: 379000 | #Constraints: 54266 1815.29/1819.86 c #Conflicts: 380000 | #Constraints: 55266 1815.29/1819.86 c #Conflicts: 381000 | #Constraints: 56266 1815.29/1819.86 c INPROCESSING 1815.29/1819.86 c GARBAGE COLLECT 1815.29/1819.86 c rational objective 19 1934.71/1939.55 c #Conflicts: 382000 | #Constraints: 39974 1934.71/1939.55 c #Conflicts: 383000 | #Constraints: 40974 1934.71/1939.55 c #Conflicts: 384000 | #Constraints: 41974 1934.71/1939.55 c #Conflicts: 385000 | #Constraints: 42974 1934.71/1939.55 c #Conflicts: 386000 | #Constraints: 43974 1934.71/1939.55 c #Conflicts: 387000 | #Constraints: 44974 1934.71/1939.55 c #Conflicts: 388000 | #Constraints: 45974 1934.71/1939.55 c #Conflicts: 389000 | #Constraints: 46974 1934.71/1939.55 c #Conflicts: 390000 | #Constraints: 47974 1934.71/1939.55 c #Conflicts: 391000 | #Constraints: 48974 1934.71/1939.55 c #Conflicts: 392000 | #Constraints: 49974 1934.71/1939.55 c #Conflicts: 393000 | #Constraints: 50974 1934.71/1939.55 c #Conflicts: 394000 | #Constraints: 51974 1934.71/1939.55 c INPROCESSING 1934.71/1939.55 c GARBAGE COLLECT 1934.71/1939.55 c rational objective 19 3251.95/3260.07 c #Conflicts: 395000 | #Constraints: 37823 3251.95/3260.07 c #Conflicts: 396000 | #Constraints: 38823 3251.95/3260.07 c #Conflicts: 397000 | #Constraints: 39823 3251.95/3260.07 c #Conflicts: 398000 | #Constraints: 40823 3251.95/3260.07 c #Conflicts: 399000 | #Constraints: 41823 3251.95/3260.07 c #Conflicts: 400000 | #Constraints: 42823 3251.95/3260.07 c #Conflicts: 401000 | #Constraints: 43823 3251.95/3260.07 c #Conflicts: 402000 | #Constraints: 44823 3251.95/3260.07 c #Conflicts: 403000 | #Constraints: 45823 3251.95/3260.07 c #Conflicts: 404000 | #Constraints: 46823 3251.95/3260.07 c #Conflicts: 405000 | #Constraints: 47823 3251.95/3260.07 c #Conflicts: 406000 | #Constraints: 48823 3251.95/3260.07 c #Conflicts: 407000 | #Constraints: 49823 3251.95/3260.07 c #Conflicts: 408000 | #Constraints: 50823 3251.95/3260.07 c #Conflicts: 409000 | #Constraints: 51823 3251.95/3260.07 c #Conflicts: 410000 | #Constraints: 52823 3251.95/3260.07 c #Conflicts: 411000 | #Constraints: 53823 3251.95/3260.07 c #Conflicts: 412000 | #Constraints: 54823 3251.95/3260.07 c #Conflicts: 413000 | #Constraints: 55823 3251.95/3260.07 c #Conflicts: 414000 | #Constraints: 56823 3251.95/3260.07 c #Conflicts: 415000 | #Constraints: 57823 3251.95/3260.07 c #Conflicts: 416000 | #Constraints: 58823 3251.95/3260.07 c #Conflicts: 417000 | #Constraints: 59823 3251.95/3260.07 c #Conflicts: 418000 | #Constraints: 60823 3251.95/3260.07 c #Conflicts: 419000 | #Constraints: 61823 3251.95/3260.07 c #Conflicts: 420000 | #Constraints: 62823 3251.95/3260.07 c #Conflicts: 421000 | #Constraints: 63823 3251.95/3260.07 c #Conflicts: 422000 | #Constraints: 64823 3251.95/3260.07 c #Conflicts: 423000 | #Constraints: 65823 3251.95/3260.07 c #Conflicts: 424000 | #Constraints: 66823 3251.95/3260.07 c #Conflicts: 425000 | #Constraints: 67823 3251.95/3260.07 c #Conflicts: 426000 | #Constraints: 68823 3251.95/3260.07 c #Conflicts: 427000 | #Constraints: 69823 3251.95/3260.07 c #Conflicts: 428000 | #Constraints: 70823 3251.95/3260.07 c #Conflicts: 429000 | #Constraints: 71823 3251.95/3260.07 c #Conflicts: 430000 | #Constraints: 72823 3251.95/3260.07 c #Conflicts: 431000 | #Constraints: 73823 3251.95/3260.07 c #Conflicts: 432000 | #Constraints: 74823 3251.95/3260.07 c #Conflicts: 433000 | #Constraints: 75823 3251.95/3260.07 c #Conflicts: 434000 | #Constraints: 76823 3251.95/3260.07 c #Conflicts: 435000 | #Constraints: 77823 3251.95/3260.07 c #Conflicts: 436000 | #Constraints: 78823 3251.95/3260.07 c #Conflicts: 437000 | #Constraints: 79823 3251.95/3260.07 c #Conflicts: 438000 | #Constraints: 80823 3251.95/3260.07 c #Conflicts: 439000 | #Constraints: 81823 3251.95/3260.07 c #Conflicts: 440000 | #Constraints: 82823 3251.95/3260.07 c #Conflicts: 441000 | #Constraints: 83823 3251.95/3260.07 c #Conflicts: 442000 | #Constraints: 84823 3251.95/3260.07 c #Conflicts: 443000 | #Constraints: 85823 3251.95/3260.07 c #Conflicts: 444000 | #Constraints: 86823 3251.95/3260.07 c #Conflicts: 445000 | #Constraints: 87823 3251.95/3260.07 c #Conflicts: 446000 | #Constraints: 88823 3251.95/3260.07 c #Conflicts: 447000 | #Constraints: 89823 3251.95/3260.07 c #Conflicts: 448000 | #Constraints: 90823 3251.95/3260.07 c #Conflicts: 449000 | #Constraints: 91823 3251.95/3260.07 c bounds 22 >= 20 @ 3208.1 3251.95/3260.07 c #Conflicts: 450000 | #Constraints: 92853 3251.95/3260.07 c #Conflicts: 451000 | #Constraints: 93853 3251.95/3260.07 c INPROCESSING 3251.95/3260.07 c GARBAGE COLLECT 3251.95/3260.07 c rational objective 20 3360.17/3368.56 c #Conflicts: 452000 | #Constraints: 58794 3360.17/3368.56 c #Conflicts: 453000 | #Constraints: 59794 3360.17/3368.56 c #Conflicts: 454000 | #Constraints: 60794 3360.17/3368.56 c #Conflicts: 455000 | #Constraints: 61794 3360.17/3368.56 c #Conflicts: 456000 | #Constraints: 62794 3360.17/3368.56 c #Conflicts: 457000 | #Constraints: 63794 3360.17/3368.56 c #Conflicts: 458000 | #Constraints: 64794 3360.17/3368.56 c #Conflicts: 459000 | #Constraints: 65794 3360.17/3368.56 c #Conflicts: 460000 | #Constraints: 66794 3360.17/3368.56 c #Conflicts: 461000 | #Constraints: 67794 3360.17/3368.56 c #Conflicts: 462000 | #Constraints: 68794 3360.17/3368.56 c #Conflicts: 463000 | #Constraints: 69794 3360.17/3368.56 c #Conflicts: 464000 | #Constraints: 70794 3360.17/3368.56 c #Conflicts: 465000 | #Constraints: 71794 3360.17/3368.56 c INPROCESSING 3360.17/3368.56 c GARBAGE COLLECT 3360.17/3368.56 c rational objective 20 3407.13/3415.62 c #Conflicts: 466000 | #Constraints: 47697 3407.13/3415.62 c #Conflicts: 467000 | #Constraints: 48697 3407.13/3415.62 c #Conflicts: 468000 | #Constraints: 49697 3407.13/3415.62 c #Conflicts: 469000 | #Constraints: 50697 3407.13/3415.62 c #Conflicts: 470000 | #Constraints: 51697 3407.13/3415.62 c #Conflicts: 471000 | #Constraints: 52697 3407.13/3415.62 c #Conflicts: 472000 | #Constraints: 53697 3407.13/3415.62 c #Conflicts: 473000 | #Constraints: 54697 3407.13/3415.62 c #Conflicts: 474000 | #Constraints: 55697 3407.13/3415.62 c #Conflicts: 475000 | #Constraints: 56697 3407.13/3415.62 c #Conflicts: 476000 | #Constraints: 57697 3407.13/3415.62 c #Conflicts: 477000 | #Constraints: 58697 3407.13/3415.62 c #Conflicts: 478000 | #Constraints: 59697 3407.13/3415.62 c #Conflicts: 479000 | #Constraints: 60697 3407.13/3415.62 c #Conflicts: 480000 | #Constraints: 61697 3407.13/3415.62 c INPROCESSING 3407.13/3415.62 c GARBAGE COLLECT 3407.13/3415.62 c rational objective 20 3600.09/3609.11 c 3600.09/3609.11 s SATISFIABLE 3600.09/3609.11 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 3600.09/3609.11 c #Conflicts: 481000 | #Constraints: 42911 3600.09/3609.11 c #Conflicts: 482000 | #Constraints: 43911 3600.09/3609.11 c #Conflicts: 483000 | #Constraints: 44911 3600.09/3609.11 c #Conflicts: 484000 | #Constraints: 45911 3600.09/3609.11 c #Conflicts: 485000 | #Constraints: 46911 3600.09/3609.11 c #Conflicts: 486000 | #Constraints: 47911 3600.09/3609.11 c #Conflicts: 487000 | #Constraints: 48911 3600.09/3609.11 c #Conflicts: 488000 | #Constraints: 49911 3600.09/3609.11 c #Conflicts: 489000 | #Constraints: 50911 3600.09/3609.11 c #Conflicts: 490000 | #Constraints: 51911 3600.09/3609.11 c #Conflicts: 491000 | #Constraints: 52911 3600.09/3609.11 c #Conflicts: 492000 | #Constraints: 53911 3600.09/3609.11 c #Conflicts: 493000 | #Constraints: 54911 3600.09/3609.11 c #Conflicts: 494000 | #Constraints: 55911 3600.09/3609.11 c #Conflicts: 495000 | #Constraints: 56911 3600.09/3609.11 c #Conflicts: 496000 | #Constraints: 57911 3600.09/3609.11 c #Conflicts: 497000 | #Constraints: 58911 3600.09/3609.11 c bounds 21 >= 20 @ 3503.51 3600.09/3609.11 c #Conflicts: 498000 | #Constraints: 59912 3600.09/3609.11 c #Conflicts: 499000 | #Constraints: 60912 3600.09/3609.11 c #Conflicts: 500000 | #Constraints: 61912 3600.09/3609.11 c #Conflicts: 501000 | #Constraints: 62912 3600.09/3609.11 c #Conflicts: 502000 | #Constraints: 63912 3600.09/3609.11 c #Conflicts: 503000 | #Constraints: 64913 3600.09/3609.11 c #Conflicts: 504000 | #Constraints: 65913 3600.09/3609.11 c #Conflicts: 505000 | #Constraints: 66913 3600.09/3609.11 c #Conflicts: 506000 | #Constraints: 67913 3600.09/3609.11 c #Conflicts: 507000 | #Constraints: 68913 3600.09/3609.11 c #Conflicts: 508000 | #Constraints: 69913
OK 21
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60550 MiB free)
memory of node 1: 64473 MiB (61205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429509-1721049171/watcher-4429509-1721049171 -o /tmp/evaluation-result-4429509-1721049171/solver-4429509-1721049171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721049184-797698 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429509-1721049171.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=797748, runsolver pid=797741
[startup+0.10104 s]*
/proc/loadavg: 1.26 2.80 3.59 6/240 797749
/proc/meminfo: memFree=124658004/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=39088 memory=7632 CPUtime=0.1 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 932 0 0 0 8 2 0 0 20 0 1 0 157074304 40026112 1908 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 9772 1908 1283 922 0 1724 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39088 KiB
Current children cumulated memory: 7632 KiB
[startup+0.213529 s]*
/proc/loadavg: 1.26 2.80 3.59 6/238 797749
/proc/meminfo: memFree=124632864/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=50828 memory=20940 CPUtime=0.21 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 5062 0 0 0 16 5 0 0 20 0 1 0 157074304 52047872 5235 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 12707 5235 1634 922 0 4659 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50828 KiB
Current children cumulated memory: 20940 KiB
[startup+0.313782 s]*
/proc/loadavg: 1.26 2.80 3.59 6/240 797756
/proc/meminfo: memFree=124625412/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=52068 memory=21560 CPUtime=0.31 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 5166 0 0 0 25 6 0 0 20 0 1 0 157074304 53317632 5390 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 13017 5390 1730 922 0 4969 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 21560 KiB
[startup+0.700273 s]
/proc/loadavg: 1.26 2.80 3.59 6/244 797760
/proc/meminfo: memFree=124580908/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=52668 memory=22996 CPUtime=0.68 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 5433 0 0 0 59 9 0 0 20 0 1 0 157074304 53932032 5749 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 13167 5749 1761 922 0 5119 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52668 KiB
Current children cumulated memory: 22996 KiB
[startup+1.50028 s]
/proc/loadavg: 1.26 2.80 3.59 6/244 797760
/proc/meminfo: memFree=124497076/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=58040 memory=29464 CPUtime=1.48 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 6577 0 0 0 135 13 0 0 20 0 1 0 157074304 59432960 7366 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 14510 7366 1761 922 0 6462 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58040 KiB
Current children cumulated memory: 29464 KiB
[startup+3.11269 s]
/proc/loadavg: 1.48 2.82 3.59 6/244 797760
/proc/meminfo: memFree=124182596/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=68196 memory=40828 CPUtime=3.09 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 9102 0 0 0 291 18 0 0 20 0 1 0 157074304 69832704 10207 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 17049 10207 1793 922 0 9001 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 68196 KiB
Current children cumulated memory: 40828 KiB
[startup+6.30031 s]
/proc/loadavg: 1.48 2.82 3.59 5/240 797874
/proc/meminfo: memFree=124125944/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=78372 memory=50372 CPUtime=6.27 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 10421 0 0 0 603 24 0 0 20 0 1 0 157074304 80252928 12593 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 19593 12593 1842 922 0 11545 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 78372 KiB
Current children cumulated memory: 50372 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 2.86 3.60 5/244 797900
/proc/meminfo: memFree=123810724/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=102924 memory=67404 CPUtime=12.65 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 14126 0 0 0 1230 35 0 0 20 0 1 0 157074304 105394176 16851 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 25731 16851 1842 922 0 17683 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 102924 KiB
Current children cumulated memory: 67404 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 2.90 3.60 5/244 797903
/proc/meminfo: memFree=123020752/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=115024 memory=80796 CPUtime=25.42 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 17019 0 0 0 2488 54 0 0 20 0 1 0 157074304 117784576 20199 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 28756 20199 1842 922 0 20708 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 115024 KiB
Current children cumulated memory: 80796 KiB
[startup+51.1129 s]
/proc/loadavg: 2.88 3.00 3.62 5/244 797952
/proc/meminfo: memFree=118711824/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=139752 memory=94824 CPUtime=50.97 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 18958 0 0 0 5004 93 0 0 20 0 1 0 157074304 143106048 23706 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 34938 23706 1842 922 0 26890 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 139752 KiB
Current children cumulated memory: 94824 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 3.19 3.65 5/245 797962
/proc/meminfo: memFree=114299852/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=151792 memory=114544 CPUtime=102.04 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 21912 0 0 0 10057 147 0 0 20 0 1 0 157074304 155435008 28636 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 37948 28636 1842 922 0 29900 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 151792 KiB
Current children cumulated memory: 114544 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.35 3.68 5/245 797974
/proc/meminfo: memFree=111733388/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=195508 memory=140900 CPUtime=161.9 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 24935 0 0 0 15941 249 0 0 20 0 1 0 157074304 200200192 35225 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 48877 35225 1842 922 0 40829 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 195508 KiB
Current children cumulated memory: 140900 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.49 3.71 5/242 797984
/proc/meminfo: memFree=110205960/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=259216 memory=190352 CPUtime=221.75 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 28575 0 0 0 21888 287 0 0 20 0 1 0 157074304 265437184 47588 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 64804 47588 1842 922 0 56756 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 259216 KiB
Current children cumulated memory: 190352 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.60 3.73 5/242 797994
/proc/meminfo: memFree=110222640/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=260808 memory=191672 CPUtime=281.6 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 28938 0 0 0 27814 346 0 0 20 0 1 0 157074304 267067392 47918 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 65202 47918 1842 922 0 57154 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 260808 KiB
Current children cumulated memory: 191672 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.70 3.76 5/242 798004
/proc/meminfo: memFree=109511700/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=263280 memory=196272 CPUtime=341.45 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 29560 0 0 0 33725 420 0 0 20 0 1 0 157074304 269598720 49068 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 65820 49068 1842 922 0 57772 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 263280 KiB
Current children cumulated memory: 196272 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.81 3.80 5/241 798015
/proc/meminfo: memFree=108691220/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=265464 memory=203240 CPUtime=401.29 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 30199 0 0 0 39641 488 0 0 20 0 1 0 157074304 271835136 50810 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 66366 50810 1842 922 0 58318 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 265464 KiB
Current children cumulated memory: 203240 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.86 3.82 5/244 798030
/proc/meminfo: memFree=106308420/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=268472 memory=206120 CPUtime=461.16 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 30986 0 0 0 45578 538 0 0 20 0 1 0 157074304 274915328 51530 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 67118 51530 1842 922 0 59070 0
################
# More data... #
################
Current children cumulated memory: 514024 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 799862
/proc/meminfo: memFree=122150384/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=636880 memory=516760 CPUtime=2915.05 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 69269 0 0 0 290194 1311 0 0 20 0 1 0 157074304 652165120 129190 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 159220 129190 1842 922 0 151172 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 636880 KiB
Current children cumulated memory: 516760 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/243 799873
/proc/meminfo: memFree=122119372/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=642320 memory=520380 CPUtime=2974.9 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 70295 0 0 0 296173 1317 0 0 20 0 1 0 157074304 657735680 130095 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 160580 130095 1842 922 0 152532 0
Current children cumulated CPU time: 2974.9 s
Current children cumulated vsize: 642320 KiB
Current children cumulated memory: 520380 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/244 799884
/proc/meminfo: memFree=122106728/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=648656 memory=524472 CPUtime=3034.76 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 71348 0 0 0 302153 1323 0 0 20 0 1 0 157074304 664223744 131118 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 162164 131118 1842 922 0 154116 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 648656 KiB
Current children cumulated memory: 524472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/243 799895
/proc/meminfo: memFree=122101100/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=651728 memory=526752 CPUtime=3094.62 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 71978 0 0 0 308131 1331 0 0 20 0 1 0 157074304 667369472 131688 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 162932 131688 1842 922 0 154884 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 651728 KiB
Current children cumulated memory: 526752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.32 4.19 4.11 5/242 799906
/proc/meminfo: memFree=122097412/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=652832 memory=527572 CPUtime=3154.48 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 72216 0 0 0 314109 1339 0 0 20 0 1 0 157074304 668499968 131893 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 163208 131893 1842 922 0 155160 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 652832 KiB
Current children cumulated memory: 527572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/242 799917
/proc/meminfo: memFree=122090868/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=653712 memory=528772 CPUtime=3214.33 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 72617 0 0 0 320088 1345 0 0 20 0 1 0 157074304 669401088 132193 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 163428 132193 1842 922 0 155380 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 653712 KiB
Current children cumulated memory: 528772 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.11 5/242 799927
/proc/meminfo: memFree=121931236/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=547788 CPUtime=3274.18 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 73916 0 0 0 326059 1359 0 0 20 0 1 0 157074304 674770944 136947 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 136947 1842 922 0 156691 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 547788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/241 799937
/proc/meminfo: memFree=121920700/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=547948 CPUtime=3334.04 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74003 0 0 0 332024 1380 0 0 20 0 1 0 157074304 674770944 136987 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 136987 1842 922 0 156691 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 547948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/241 799948
/proc/meminfo: memFree=121873824/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=556464 CPUtime=3393.87 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74107 0 0 0 337975 1412 0 0 20 0 1 0 157074304 674770944 139116 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 139116 1842 922 0 156691 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 556464 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/244 799963
/proc/meminfo: memFree=121835832/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=569956 CPUtime=3453.7 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74352 0 0 0 343930 1440 0 0 20 0 1 0 157074304 674770944 142489 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 142489 1842 922 0 156691 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 569956 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/244 799973
/proc/meminfo: memFree=121809484/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=577600 CPUtime=3513.52 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74532 0 0 0 349899 1453 0 0 20 0 1 0 157074304 674770944 144400 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 144400 1842 922 0 156691 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 577600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/245 799986
/proc/meminfo: memFree=121751168/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=577600 CPUtime=3573.35 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74762 0 0 0 355863 1472 0 0 20 0 1 0 157074304 674770944 144400 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 144400 1842 922 0 156691 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 577600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.18 4.15 4.10 5/245 799990
/proc/meminfo: memFree=121739116/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=577600 CPUtime=3600.09 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74876 0 0 0 358530 1479 0 0 20 0 1 0 157074304 674770944 144400 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 144400 1842 922 0 156691 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 577600 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 797748 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3585.31 s, system=14.7979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.18 4.15 4.10 5/245 799990
/proc/meminfo: memFree=121739116/131655788 swapFree=131071996/131071996
[pid=797748] ppid=797741 vsize=658956 memory=577600 CPUtime=3600.09 cores=4,6
/proc/797748/stat : 797748 (roundingsat) R 797741 797748 797687 0 -1 4194304 74876 0 0 0 358530 1479 0 0 20 0 1 0 157074304 674770944 144400 134679101440 4194304 7968869 140732049331888 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 22302720 140732049335230 140732049335394 140732049335394 140732049342409 0
/proc/797748/statm: 164739 144400 1842 922 0 156691 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 658956 KiB
Current children cumulated memory: 577600 KiB
Child status: 1
Real time (s): 3609.12
CPU time (s): 3600.11
CPU user time (s): 3585.31
CPU system time (s): 14.7979
CPU usage (%): 99.7504
Max. virtual memory (cumulated for all children) (KiB): 658956
Max. memory (cumulated for all children) (KiB): 577600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.31
system time used= 14.7979
maximum resident set size= 577600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74885
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= 192
involuntary context switches= 3426
# summary of solver processes directly reported to runsolver:
# pid: 797748
# total CPU time (s): 3600.11
# total CPU user time (s): 3585.31
# total CPU system time (s): 14.7979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4496 second user time and 34.9928 second system time
The end
Begin job on nodeC011 at 2024-07-15 15:13:04 IDJOB=4429509 IDBENCH=148194 IDSOLVER=3051 FILE ID=nodeC011/4429509-1721049171 RUNJOBID= nodeC011-1721049184-797698 SLURM_JOB_ID= 7505475 Free space on /tmp= 723780 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.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-4429509-1721049171/watcher-4429509-1721049171 -o /tmp/evaluation-result-4429509-1721049171/solver-4429509-1721049171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721049184-797698 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429509-1721049171.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9 RANDOM SEED=2080206440 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3442.380 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.122 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.121 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.123 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.124 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.120 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.133 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.127 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124686328 kB MemAvailable: 129885500 kB Buffers: 375640 kB Cached: 5598848 kB SwapCached: 0 kB Active: 613332 kB Inactive: 5685352 kB Active(anon): 1340 kB Inactive(anon): 360552 kB Active(file): 611992 kB Inactive(file): 5324800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20144 kB Writeback: 0 kB AnonPages: 324344 kB Mapped: 103472 kB Shmem: 37704 kB KReclaimable: 205160 kB Slab: 315744 kB SReclaimable: 205160 kB SUnreclaim: 110584 kB KernelStack: 3760 kB PageTables: 9660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 720604 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51360 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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: 236360 kB DirectMap2M: 29028352 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723756 MiB End job on nodeC011 at 2024-07-15 16:13:13