Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -100 | 1798.71 | 1799.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb |
MD5SUM | fc8bff78845ab9a14b2d06ab749e4dc4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -107 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -137 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12656 |
Sum of products size (including duplicates) | 25312 |
Number of different products | 6328 |
Sum of products size | 12656 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1879706-1245247276.opb 0.00/0.00 c File size is 567845 bytes. 0.00/0.08 c Highest Coefficient sum: 1000 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.078 s 0.00/0.09 c Var: 7328 Constr: 14158 6828/1002/6328 Lit: 53624 Watch. Lit: 46298 0.00/0.09 c Obj. Vars: 500 (6.82314 % of total variables) 1.79/1.86 c Pre-processing Time: 1.859 s 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 0 7328 14158 53624 3 46298 93248 0 0 1.86 1.79/1.86 c Switching off lower bounding mode. 1.79/1.87 o -1 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 0 7328 14159 54124 3 46301 93581 1 0 1.88 1.89/1.93 o -2 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 1 7328 14162 55624 3 46310 93748 4 0 1.94 1.99/2.00 o -3 1.99/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.07 c 2 7328 14165 57138 4 46321 93914 7 0 2.00 1.99/2.07 o -4 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 3 7328 14168 58652 4 46334 94081 10 1 2.07 2.09/2.13 o -5 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 4 7328 14171 60177 4 46349 94248 13 1 2.14 2.09/2.20 o -6 2.20/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.27 c 5 7328 14174 61693 4 46366 94248 16 2 2.21 2.20/2.27 o -7 2.30/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.30/2.34 c 7 7328 14179 63245 4 46398 94248 21 3 2.27 2.30/2.34 o -8 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 8 7328 14182 64771 4 46420 94248 24 3 2.34 2.39/2.41 o -9 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 9 7328 14185 66298 4 46443 94248 27 3 2.41 2.39/2.47 o -10 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 10 7328 14188 67826 4 46468 94248 30 4 2.48 2.49/2.54 o -11 2.59/2.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.61 c 11 7328 14191 69355 4 46495 94248 33 4 2.54 2.59/2.61 o -12 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 12 7328 14194 70885 4 46524 94248 36 4 2.61 2.59/2.67 o -13 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 13 7328 14197 72416 5 46555 94248 39 4 2.68 2.69/2.74 o -14 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 14 7328 14200 73967 5 46588 94248 42 5 2.74 2.79/2.80 o -15 2.79/2.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.87 c 15 7328 14203 75519 5 46623 94248 45 5 2.81 2.79/2.87 o -16 2.89/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.93 c 16 7328 14206 77072 5 46660 94248 48 5 2.87 2.89/2.93 o -17 2.89/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/3.00 c 17 7328 14209 78625 5 46699 94248 51 5 2.94 2.89/3.00 o -18 2.99/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.06 c 18 7328 14212 80178 5 46740 94248 54 5 3.00 2.99/3.06 o -19 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 19 7328 14215 81732 5 46783 94248 57 6 3.07 3.09/3.13 o -20 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 20 7328 14218 83303 5 46828 94248 60 6 3.13 3.09/3.19 o -21 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 22 7328 14223 84899 5 46887 94248 65 6 3.19 3.19/3.25 o -22 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 23 7328 14226 86482 6 46936 94248 68 7 3.26 3.29/3.31 o -23 3.29/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.37 c 25 7328 14231 88092 6 47000 94248 73 7 3.32 3.29/3.37 o -24 3.39/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.43 c 27 7328 14236 89725 6 47070 94248 78 7 3.38 3.39/3.43 o -25 3.39/3.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.49 c 29 7328 14241 91371 6 47140 94248 83 8 3.44 3.39/3.49 o -26 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 30 7328 14244 93014 6 47198 94248 86 8 3.50 3.49/3.55 o -27 3.59/3.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.61 c 33 7328 14251 94692 6 47288 94248 93 9 3.55 3.59/3.61 o -28 3.59/3.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.66 c 34 7328 14254 96349 6 47349 94248 96 9 3.61 3.59/3.66 o -29 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 35 7328 14257 98007 6 47412 94248 99 9 3.67 3.69/3.72 o -30 3.69/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 40 7328 14268 99730 6 47533 94248 110 10 3.72 3.69/3.77 o -31 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 42 7328 14273 101430 7 47617 94248 115 11 3.78 3.79/3.83 o -32 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 51 7328 14292 103262 7 47813 94248 134 13 3.83 3.79/3.88 o -33 3.89/3.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.94 c 52 7328 14295 104952 7 47884 94248 137 13 3.88 3.89/3.94 o -34 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 58 7328 14308 106726 7 48026 94248 150 14 3.94 3.89/3.99 o -35 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 71 7328 14335 108640 7 48296 94248 177 17 4.00 3.99/4.05 o -36 4.08/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.10 c 86 7328 14366 118301 8 48950 94248 208 21 4.05 4.08/4.10 o -37 4.08/4.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.16 c 92 7328 14379 122979 8 49222 94248 221 22 4.11 4.08/4.16 o -38 4.18/4.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.21 c 98 7328 14392 128627 8 49558 94248 234 23 4.16 4.18/4.21 o -39 4.18/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.26 c 103 7328 14403 133292 9 49836 94248 245 24 4.21 4.18/4.26 o -40 4.28/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.31 c 110 7328 14418 138012 9 50153 94248 260 25 4.26 4.28/4.31 o -41 4.28/4.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.36 c 114 7328 14427 142682 9 50427 94248 269 26 4.31 4.28/4.36 o -42 4.39/4.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.41 c 120 7328 14440 147384 10 50735 94248 282 27 4.36 4.39/4.41 o -43 4.39/4.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.46 c 129 7328 14459 152143 10 51097 94248 301 29 4.41 4.39/4.46 o -44 4.49/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.52 c 134 7328 14470 156833 10 51401 94248 312 30 4.46 4.49/4.52 o -45 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 153 7328 14509 161766 11 51930 94248 351 33 4.52 4.49/4.57 o -46 4.59/4.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.62 c 162 7328 14528 165551 11 52233 94248 370 35 4.57 4.59/4.62 o -47 4.59/4.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.66 c 165 7328 14535 169250 11 52457 94248 377 35 4.62 4.59/4.66 o -48 4.69/4.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.71 c 169 7328 14544 172971 11 52703 94248 386 36 4.66 4.69/4.71 o -49 4.69/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.75 c 175 7328 14557 176726 12 52985 94248 399 37 4.71 4.69/4.75 o -50 4.79/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.80 c 182 7328 14572 180491 12 53280 94248 414 38 4.75 4.79/4.80 o -51 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 187 7328 14583 184221 12 53550 94248 425 38 4.80 4.79/4.85 o -52 4.89/4.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.90 c 196 7328 14602 188022 12 53887 94248 444 40 4.85 4.89/4.90 o -53 4.89/4.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.94 c 209 7328 14629 191906 13 54295 94248 471 42 4.90 4.89/4.94 o -54 4.89/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.99 c 215 7328 14642 195669 13 54601 94248 484 43 4.95 4.89/4.99 o -55 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 220 7328 14653 199408 13 54887 94248 495 44 4.99 4.99/5.03 o -56 4.99/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.07 c 230 7328 14674 203226 13 55239 94248 516 45 5.04 4.99/5.07 o -57 5.09/5.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.12 c 233 7328 14681 206940 14 55504 94248 523 45 5.08 5.09/5.12 o -58 5.09/5.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.17 c 243 7328 14702 210776 14 55877 94248 544 47 5.12 5.09/5.17 o -59 5.18/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.21 c 256 7328 14729 214666 14 56299 94248 571 49 5.17 5.18/5.21 o -60 5.18/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.25 c 259 7328 14736 218389 14 56576 94248 578 49 5.21 5.18/5.25 o -61 5.18/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.29 c 267 7328 14753 222200 15 56937 94248 595 50 5.25 5.18/5.29 o -62 5.28/5.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.28/5.33 c 278 7328 14776 226069 15 57345 94248 618 52 5.29 5.28/5.33 o -63 5.28/5.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.28/5.37 c 283 7328 14787 229831 15 57661 94248 629 53 5.33 5.28/5.37 o -64 5.38/5.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.41 c 296 7328 14814 233735 15 58106 94248 656 55 5.37 5.38/5.41 o -65 5.38/5.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.45 c 302 7328 14827 237526 16 58453 94248 669 55 5.41 5.38/5.45 o -66 5.38/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.49 c 315 7328 14854 241447 16 58914 94248 696 57 5.45 5.38/5.49 o -67 5.49/5.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.52 c 325 7328 14875 245314 16 59327 94248 717 59 5.49 5.49/5.52 o -68 5.49/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.56 c 329 7328 14884 249078 16 59653 94248 726 59 5.52 5.49/5.56 o -69 5.59/5.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.60 c 347 7328 14921 253084 16 60195 94248 763 62 5.57 5.59/5.60 o -70 5.59/5.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.64 c 360 7328 14948 257010 17 60676 94248 790 64 5.61 5.59/5.64 o -71 5.59/5.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.67 c 366 7328 14961 260811 17 61047 94248 803 64 5.64 5.59/5.67 o -72 5.69/5.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.71 c 374 7328 14978 264636 17 61439 94248 820 65 5.68 5.69/5.71 o -73 5.69/5.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.75 c 382 7328 14995 268472 17 61840 94248 837 66 5.71 5.69/5.75 o -74 5.69/5.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.79 c 409 7328 15050 272606 18 62508 94248 892 71 5.76 5.69/5.79 o -75 5.78/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.83 c 423 7328 15079 276535 18 63008 94248 921 72 5.80 5.78/5.83 o -76 5.78/5.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.86 c 434 7328 15102 280414 18 63463 94248 944 74 5.83 5.78/5.86 o -77 5.78/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.89 c 440 7328 15115 284216 18 63851 94248 957 75 5.87 5.78/5.89 o -78 5.88/5.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.92 c 445 7328 15126 288013 19 64237 94248 968 75 5.89 5.88/5.92 o -79 5.88/5.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.96 c 450 7328 15137 291807 19 64620 94248 979 75 5.92 5.88/5.96 o -80 5.88/5.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.99 c 461 7328 15160 295694 19 65089 94248 1002 77 5.96 5.88/5.99 o -81 5.99/6.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.02 c 467 7328 15173 299504 19 65493 94248 1015 78 5.99 5.99/6.02 o -82 5.99/6.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.04 c 475 7328 15190 303339 19 65927 94248 1032 78 6.02 5.99/6.04 o -83 5.99/6.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.07 c 479 7328 15199 307110 20 66309 94248 1041 79 6.05 5.99/6.07 o -84 6.08/6.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.08/6.11 c 485 7328 15212 310914 20 66727 94248 1054 79 6.07 6.08/6.11 o -85 6.08/6.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.08/6.14 c 499 7328 15241 314847 20 67264 94248 1083 81 6.11 6.08/6.14 o -86 6.08/6.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.08/6.18 c 510 7328 15264 318726 20 67754 94248 1106 83 6.14 6.08/6.18 o -87 6.18/6.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.21 c 520 7328 15285 324401 21 68423 94248 1127 84 6.18 6.18/6.21 o -88 6.18/6.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.24 c 529 7328 15304 330941 21 69163 94248 1146 85 6.21 6.18/6.24 o -89 21.18/21.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.18/21.28 c 537 7328 15321 336564 21 69807 94248 1163 86 6.24 21.18/21.28 c 637 7328 15521 364157 23 75811 103673 1363 100 6.33 21.18/21.28 c 888 7328 16023 739280 46 218147 114041 1865 124 7.16 21.18/21.28 c 1363 7328 16973 1186016 69 379973 125446 2815 116 11.71 21.18/21.28 c 2176 7328 18599 2147361 115 753726 137991 4441 105 20.54 21.18/21.28 o -90 21.78/21.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.78/21.87 c 2276 7328 18800 2201099 117 749776 94248 4642 106 21.28 21.78/21.87 o -91 22.18/22.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.18/22.29 c 2304 7328 18857 2214632 117 751510 94248 4699 105 21.86 22.18/22.29 o -92 22.67/22.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.67/22.75 c 2316 7328 18882 2224500 117 750759 94248 4724 103 22.28 22.67/22.75 o -93 23.18/23.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.18/23.27 c 2326 7328 18903 2231096 118 752144 94248 4745 102 22.74 23.18/23.27 o -94 23.48/23.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.48/23.57 c 2336 7328 18924 2240427 118 751655 94248 4766 100 23.27 23.48/23.57 o -95 23.88/23.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.97 c 2342 7328 18937 2245581 118 752191 94248 4779 99 23.56 23.88/23.97 o -96 24.28/24.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.28/24.39 c 2349 7328 18952 2249379 118 758146 94248 4794 98 23.97 24.28/24.39 o -97 24.68/24.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.76 c 2354 7328 18963 2254510 118 756975 94248 4805 96 24.39 24.68/24.76 o -98 25.07/25.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.07/25.12 c 2359 7328 18974 2258264 119 757391 94248 4816 95 24.75 25.07/25.12 o -99 25.57/25.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.57/25.64 c 2364 7328 18985 2262018 119 757756 94248 4827 94 25.11 25.57/25.64 o -100 1798.63/1799.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.63/1799.50 c 2372 7328 19002 2267209 119 757264 94248 4844 92 25.64 1798.63/1799.50 c 2472 7328 19202 2272078 118 730014 103673 5044 92 26.72 1798.63/1799.50 c 2722 7328 19702 2428531 123 773315 114041 5544 88 30.66 1798.63/1799.50 c 3197 7328 20652 2974778 144 879057 125446 6494 83 38.38 1798.63/1799.50 c 4010 7328 22278 3825828 171 1071153 137991 8120 67 59.51 1798.63/1799.50 c 5330 7328 24918 5295955 212 1323458 151791 10760 45 116.22 1798.63/1799.50 c 7411 7328 29052 7716954 265 1807490 166971 14894 25 288.36 1798.63/1799.50 c 10634 7328 35472 11675890 329 2506018 183669 21314 16 634.72 1798.63/1799.50 c 15570 7328 45255 18321267 404 3839298 202036 31097 10 1528.87 1798.63/1799.50 c Resources Exceeded 1798.63/1799.51 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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -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 1798.63/1799.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.63/1799.51 c 112 17543 5516 131552 49185 20590526 35027 9 1798.65 1798.63/1799.51 c Objective: -100 1798.63/1799.51 s SATISFIABLE 1798.63/1799.51 c Total time: 1798.65 s
OK -100
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879706-1245247276/watcher-1879706-1245247276 -o /tmp/evaluation-result-1879706-1245247276/solver-1879706-1245247276 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879706-1245247276.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.02 0.98 3/64 16021 /proc/meminfo: memFree=1833768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=11276 CPUtime=0 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 270 0 0 0 0 0 0 0 18 0 1 0 192327352 11546624 254 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 2819 255 175 640 0 2036 0 [startup+0.104488 s] /proc/loadavg: 1.08 1.02 0.98 3/64 16021 /proc/meminfo: memFree=1833768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=14632 CPUtime=0.09 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1352 0 0 0 9 0 0 0 18 0 1 0 192327352 14983168 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3658 1197 189 640 0 3014 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14632 [startup+0.201502 s] /proc/loadavg: 1.08 1.02 0.98 3/64 16021 /proc/meminfo: memFree=1833768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=14632 CPUtime=0.19 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1352 0 0 0 18 1 0 0 18 0 1 0 192327352 14983168 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3658 1197 189 640 0 3014 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14632 [startup+0.301519 s] /proc/loadavg: 1.08 1.02 0.98 3/64 16021 /proc/meminfo: memFree=1833768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=14632 CPUtime=0.29 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1353 0 0 0 28 1 0 0 19 0 1 0 192327352 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14632 [startup+0.701582 s] /proc/loadavg: 1.08 1.02 0.98 3/64 16021 /proc/meminfo: memFree=1833768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=14632 CPUtime=0.69 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1353 0 0 0 68 1 0 0 23 0 1 0 192327352 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14632 [startup+1.50171 s] /proc/loadavg: 1.08 1.02 0.98 2/65 16022 /proc/meminfo: memFree=1829728/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=14632 CPUtime=1.49 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1353 0 0 0 148 1 0 0 25 0 1 0 192327352 14983168 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3658 1198 189 640 0 3014 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14632 [startup+3.10197 s] /proc/loadavg: 1.08 1.02 0.98 2/65 16022 /proc/meminfo: memFree=1829216/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=15156 CPUtime=3.09 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 1904 0 0 0 306 3 0 0 25 0 1 0 192327352 15519744 1367 1992294400 134512640 137136520 4294956256 18446744073709551615 134605452 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 3789 1367 197 640 0 3145 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15156 [startup+6.30148 s] /proc/loadavg: 1.07 1.02 0.98 2/65 16022 /proc/meminfo: memFree=1826400/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=19128 CPUtime=6.29 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 2895 0 0 0 621 8 0 0 25 0 1 0 192327352 19587072 2358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 4782 2358 197 640 0 4138 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19128 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 0.98 2/65 16022 /proc/meminfo: memFree=1805096/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=40432 CPUtime=12.68 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 8206 0 0 0 1258 10 0 0 25 0 1 0 192327352 41402368 7669 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 10108 7669 197 640 0 9464 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40432 [startup+25.5015 s] /proc/loadavg: 1.05 1.01 0.98 2/65 16022 /proc/meminfo: memFree=1784040/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=60036 CPUtime=25.47 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 13111 0 0 0 2532 15 0 0 25 0 1 0 192327352 61476864 12574 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 15009 12574 197 640 0 14365 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 60036 [startup+51.1016 s] /proc/loadavg: 1.03 1.01 0.98 2/65 16022 /proc/meminfo: memFree=1759592/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=84448 CPUtime=51.07 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 19215 0 0 0 5087 20 0 0 25 0 1 0 192327352 86474752 18678 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 21112 18678 197 640 0 20468 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 84448 [startup+102.302 s] /proc/loadavg: 1.01 1.01 0.98 2/65 16022 /proc/meminfo: memFree=1736360/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=107556 CPUtime=102.24 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 24988 0 0 0 10201 23 0 0 25 0 1 0 192327352 110137344 24451 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 26889 24451 197 640 0 26245 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 107556 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1717992/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=125932 CPUtime=162.21 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 29583 0 0 0 16195 26 0 0 25 0 1 0 192327352 128954368 29046 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 31483 29046 198 640 0 30839 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 125932 [startup+222.307 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1705768/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=137976 CPUtime=222.19 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 32612 0 0 0 22191 28 0 0 25 0 1 0 192327352 141287424 32075 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 34494 32075 198 640 0 33850 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 137976 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1690600/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=153204 CPUtime=282.15 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 36389 0 0 0 28185 30 0 0 25 0 1 0 192327352 156880896 35852 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 38301 35852 198 640 0 37657 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 153204 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1674664/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=169008 CPUtime=342.12 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 40364 0 0 0 34179 33 0 0 25 0 1 0 192327352 173064192 39827 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 42252 39827 198 640 0 41608 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 169008 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1660520/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=183252 CPUtime=402.1 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 43920 0 0 0 40174 36 0 0 25 0 1 0 192327352 187650048 43383 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 45813 43383 198 640 0 45169 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 183252 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1647272/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=196344 CPUtime=462.07 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 47172 0 0 0 46170 37 0 0 25 0 1 0 192327352 201056256 46635 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 49086 46635 198 640 0 48442 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 196344 [startup+522.303 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1634984/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=208792 CPUtime=522.05 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 50288 0 0 0 52165 40 0 0 25 0 1 0 192327352 213803008 49751 1992294400 134512640 137136520 4294956256 18446744073709551615 134605460 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 52198 49751 198 640 0 51554 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 208792 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1626536/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=217048 CPUtime=582.02 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 52364 0 0 0 58161 41 0 0 25 0 1 0 192327352 222257152 51827 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 54262 51827 198 640 0 53618 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 217048 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1620392/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=223504 CPUtime=641.99 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 53978 0 0 0 64157 42 0 0 25 0 1 0 192327352 228868096 53441 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 55876 53441 198 640 0 55232 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 223504 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1550312/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=292788 CPUtime=1121.75 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 71315 0 0 0 112122 53 0 0 25 0 1 0 192327352 299814912 70778 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16021/statm: 73197 70778 198 640 0 72553 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 292788 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1544424/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=298732 CPUtime=1181.72 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 72787 0 0 0 118118 54 0 0 25 0 1 0 192327352 305901568 72250 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 74683 72250 198 640 0 74039 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 298732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1537960/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=304980 CPUtime=1241.7 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 74345 0 0 0 124115 55 0 0 25 0 1 0 192327352 312299520 73808 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 76245 73808 198 640 0 75601 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 304980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1531176/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=311780 CPUtime=1301.66 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 76063 0 0 0 130110 56 0 0 25 0 1 0 192327352 319262720 75526 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 77945 75526 198 640 0 77301 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 311780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1524072/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=318880 CPUtime=1361.63 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 77820 0 0 0 136106 57 0 0 25 0 1 0 192327352 326533120 77283 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 79720 77283 198 640 0 79076 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 318880 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1516520/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=326360 CPUtime=1421.62 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 79690 0 0 0 142103 59 0 0 25 0 1 0 192327352 334192640 79153 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 81590 79153 198 640 0 80946 0 Current children cumulated CPU time (s) 1421.62 Current children cumulated vsize (KiB) 326360 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1510632/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=332348 CPUtime=1481.58 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 81188 0 0 0 148099 59 0 0 25 0 1 0 192327352 340324352 80651 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 83087 80651 198 640 0 82443 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 332348 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1502504/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=340304 CPUtime=1541.56 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 83176 0 0 0 154095 61 0 0 25 0 1 0 192327352 348471296 82639 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 85076 82639 198 640 0 84432 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 340304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1494888/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=347908 CPUtime=1601.53 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 85084 0 0 0 160091 62 0 0 25 0 1 0 192327352 356257792 84547 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 86977 84547 198 640 0 86333 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 347908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1487464/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=355436 CPUtime=1661.49 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 86948 0 0 0 166086 63 0 0 25 0 1 0 192327352 363966464 86411 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 88859 86411 198 640 0 88215 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 355436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1475816/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=366984 CPUtime=1721.47 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 89850 0 0 0 172082 65 0 0 25 0 1 0 192327352 375791616 89313 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 91746 89313 198 640 0 91102 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 366984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1468584/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=374048 CPUtime=1781.44 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 91613 0 0 0 178077 67 0 0 25 0 1 0 192327352 383025152 91076 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 93512 91076 198 640 0 92868 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (KiB) 374048 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1467176/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=375368 CPUtime=1791.14 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 91942 0 0 0 179047 67 0 0 25 0 1 0 192327352 384376832 91405 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 93842 91405 198 640 0 93198 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 375368 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466600/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=375860 CPUtime=1794.34 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92082 0 0 0 179367 67 0 0 25 0 1 0 192327352 384880640 91545 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 93965 91545 198 640 0 93321 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (KiB) 375860 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466536/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=375992 CPUtime=1795.94 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92116 0 0 0 179527 67 0 0 25 0 1 0 192327352 385015808 91579 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 93998 91579 198 640 0 93354 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 375992 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466408/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=376232 CPUtime=1797.53 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92167 0 0 0 179686 67 0 0 25 0 1 0 192327352 385261568 91630 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 94058 91630 198 640 0 93414 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 376232 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466280/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=376316 CPUtime=1798.33 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92179 0 0 0 179766 67 0 0 25 0 1 0 192327352 385347584 91642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 94079 91642 198 640 0 93435 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (KiB) 376316 [startup+1799.4 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466280/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=376316 CPUtime=1798.53 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92179 0 0 0 179786 67 0 0 25 0 1 0 192327352 385347584 91642 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 94079 91642 198 640 0 93435 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (KiB) 376316 [startup+1799.5 s] /proc/loadavg: 1.00 1.00 0.98 2/65 16022 /proc/meminfo: memFree=1466280/2055920 swapFree=4181976/4192956 [pid=16021] ppid=16019 vsize=376440 CPUtime=1798.63 /proc/16021/stat : 16021 (bsolo) R 16019 16021 15569 0 -1 4194304 92199 0 0 0 179796 67 0 0 25 0 1 0 192327352 385474560 91662 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16021/statm: 94110 91662 198 640 0 93466 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (KiB) 376440 Child status: 0 Real time (s): 1799.57 CPU time (s): 1798.71 CPU user time (s): 1797.98 CPU system time (s): 0.731888 CPU usage (%): 99.9524 Max. virtual memory (cumulated for all children) (KiB): 376440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.98 system time used= 0.731888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92204 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= 2 involuntary context switches= 6398 runsolver used 2.19766 second user time and 4.36134 second system time The end
Begin job on node26 at 2009-06-17 16:01:16 IDJOB=1879706 IDBENCH=48256 IDSOLVER=701 FILE ID=node26/1879706-1245247276 PBS_JOBID= 9372312 Free space on /tmp= 66156 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879706-1245247276/watcher-1879706-1245247276 -o /tmp/evaluation-result-1879706-1245247276/solver-1879706-1245247276 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879706-1245247276.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4 RANDOM SEED=606189250 node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1834632 kB Buffers: 9016 kB Cached: 154240 kB SwapCached: 4976 kB Active: 29604 kB Inactive: 141792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834632 kB SwapTotal: 4192956 kB SwapFree: 4181976 kB Dirty: 4232 kB Writeback: 0 kB Mapped: 14292 kB Slab: 35920 kB Committed_AS: 189892 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879706-1245247276.opb Free space on /tmp at the end= 66152 MiB End job on node26 at 2009-06-17 16:31:16