Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -104 | 1798.26 | 1798.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
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 | -105 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
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) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
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: Cardinality Constraint 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-1876837-1245208186.opb 0.00/0.00 c File size is 566883 bytes. 0.05/0.08 c Highest Coefficient sum: 1000 0.05/0.08 c Parsing was ok!! 0.05/0.08 c Total parsing time: 0.078 s 0.05/0.09 c Var: 7316 Constr: 14134 6816/1002/6316 Lit: 53528 Watch. Lit: 46214 0.05/0.09 c Obj. Vars: 500 (6.83434 % of total variables) 1.79/1.87 c Pre-processing Time: 1.875 s 1.79/1.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.87 c 0 7316 14134 53528 3 46214 93040 0 0 1.88 1.79/1.87 c Switching off lower bounding mode. 1.79/1.89 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 7316 14135 54028 3 46217 93373 1 0 1.89 1.89/1.93 o -2 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 1 7316 14138 55528 3 46226 93540 4 0 1.93 1.89/1.97 o -3 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 2 7316 14141 57040 4 46237 93706 7 1 1.97 1.99/2.01 o -4 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 4 7316 14145 58555 4 46252 93873 11 1 2.02 1.99/2.05 o -5 1.99/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.10 c 5 7316 14148 60068 4 46267 94040 14 2 2.06 1.99/2.10 o -6 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 6 7316 14151 61582 4 46284 94040 17 2 2.10 2.09/2.14 o -7 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 7 7316 14154 63113 4 46303 94040 20 3 2.15 2.09/2.19 o -8 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 8 7316 14157 64644 4 46324 94040 23 3 2.19 2.19/2.23 o -9 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 9 7316 14160 66176 4 46347 94040 26 4 2.24 2.19/2.28 o -10 2.28/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.28/2.32 c 12 7316 14165 68212 4 46376 94040 31 5 2.28 2.28/2.32 o -11 2.28/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.28/2.37 c 14 7316 14169 70244 4 46405 94040 35 6 2.33 2.28/2.37 o -12 2.38/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.42 c 18 7316 14175 72790 5 46440 94040 41 7 2.37 2.38/2.42 o -13 2.38/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.46 c 22 7316 14181 75811 5 46477 94040 47 9 2.42 2.38/2.46 o -14 2.48/2.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.51 c 28 7316 14189 79327 5 46520 94040 55 11 2.46 2.48/2.51 o -15 2.48/2.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.55 c 34 7316 14197 83323 5 46565 94040 63 13 2.51 2.48/2.55 o -16 2.58/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.60 c 41 7316 14206 87800 6 46614 94040 72 16 2.56 2.58/2.60 o -17 2.58/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.65 c 49 7316 14216 92765 6 46667 94040 82 18 2.60 2.58/2.65 o -18 2.68/2.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.68/2.70 c 61 7316 14230 97748 6 46730 94040 96 23 2.65 2.68/2.70 o -19 2.68/2.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.68/2.75 c 73 7316 14244 103696 7 46795 94040 110 27 2.70 2.68/2.75 o -20 2.78/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.78/2.80 c 84 7316 14257 110119 7 46860 94040 123 30 2.75 2.78/2.80 o -21 2.78/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.78/2.85 c 95 7316 14270 116540 8 46927 94040 136 33 2.80 2.78/2.85 o -22 2.78/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.78/2.90 c 107 7316 14284 123440 8 46998 94040 150 37 2.85 2.78/2.90 o -23 2.88/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.88/2.94 c 119 7316 14298 129864 9 47071 94040 164 41 2.90 2.88/2.94 o -24 2.88/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.88/2.98 c 123 7316 14304 131514 9 47130 94040 170 41 2.94 2.88/2.98 o -25 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 127 7316 14310 133165 9 47191 94040 176 42 2.98 2.99/3.02 o -26 2.99/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.06 c 128 7316 14313 134806 9 47248 94040 179 42 3.02 2.99/3.06 o -27 3.09/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.10 c 131 7316 14318 136466 9 47311 94040 184 42 3.06 3.09/3.10 o -28 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 142 7316 14331 138149 9 47392 94040 197 45 3.10 3.09/3.14 o -29 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 145 7316 14336 139835 9 47459 94040 202 46 3.15 3.09/3.18 o -30 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 147 7316 14340 141527 9 47526 94040 206 46 3.18 3.19/3.22 o -31 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 150 7316 14345 143234 9 47597 94040 211 46 3.22 3.19/3.25 o -32 3.19/3.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.29 c 152 7316 14349 144952 10 47668 94040 215 46 3.25 3.19/3.29 o -33 3.29/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.33 c 158 7316 14357 146686 10 47749 94040 223 47 3.29 3.29/3.33 o -34 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 163 7316 14364 148424 10 47830 94040 230 48 3.33 3.29/3.36 o -35 3.39/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.40 c 167 7316 14370 150167 10 47911 94040 236 49 3.37 3.39/3.40 o -36 3.39/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.43 c 168 7316 14373 151902 10 47988 94040 239 49 3.40 3.39/3.43 o -37 3.39/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.47 c 170 7316 14377 153640 10 48069 94040 243 49 3.44 3.39/3.47 o -38 3.49/3.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.51 c 175 7316 14384 155387 10 48158 94040 250 50 3.47 3.49/3.51 o -39 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 178 7316 14389 157136 10 48245 94040 255 50 3.51 3.49/3.55 o -40 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 186 7316 14399 161186 11 48344 94040 265 52 3.55 3.49/3.59 o -41 3.58/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.62 c 197 7316 14412 166623 11 48451 94040 278 54 3.59 3.58/3.62 o -42 3.58/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.65 c 198 7316 14415 168379 11 48540 94040 281 54 3.62 3.58/3.65 o -43 3.58/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.69 c 202 7316 14421 170159 11 48637 94040 287 55 3.66 3.58/3.69 o -44 3.68/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.73 c 211 7316 14432 171954 11 48746 94040 298 57 3.69 3.68/3.73 o -45 3.68/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.76 c 215 7316 14438 173743 12 48847 94040 304 57 3.73 3.68/3.76 o -46 3.78/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.80 c 221 7316 14446 175535 12 48954 94040 312 58 3.76 3.78/3.80 o -47 3.78/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.83 c 234 7316 14461 177348 12 49077 94040 327 61 3.80 3.78/3.83 o -48 3.78/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.87 c 236 7316 14465 179131 12 49180 94040 331 61 3.83 3.78/3.87 o -49 3.89/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.92 c 248 7316 14479 180945 12 49305 94040 345 64 3.87 3.89/3.92 o -50 4.08/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.13 c 264 7316 14497 182769 12 49440 94040 363 67 3.92 4.08/4.13 c 365 7316 14598 228320 15 49642 103445 464 90 4.01 4.08/4.13 o -51 4.08/4.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.16 c 472 7316 14707 266250 18 49961 94040 573 114 4.13 4.08/4.16 o -52 4.18/4.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.20 c 475 7316 14712 268042 18 50074 94040 578 114 4.17 4.18/4.20 o -53 4.18/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.23 c 479 7316 14718 269839 18 50191 94040 584 114 4.20 4.18/4.23 o -54 4.18/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.26 c 483 7316 14724 271647 18 50310 94040 590 114 4.23 4.18/4.26 o -55 4.18/4.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.29 c 487 7316 14730 273455 18 50431 94040 596 114 4.26 4.18/4.29 o -56 4.28/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.33 c 493 7316 14738 275269 18 50558 94040 604 114 4.29 4.28/4.33 o -57 4.28/4.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.36 c 496 7316 14743 277079 18 50681 94040 609 114 4.33 4.28/4.36 o -58 4.28/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.28/4.39 c 499 7316 14748 278890 18 50806 94040 614 114 4.36 4.28/4.39 o -59 4.39/4.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.41 c 502 7316 14753 280708 19 50933 94040 619 114 4.38 4.39/4.41 o -60 4.39/4.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.45 c 503 7316 14756 282523 19 51058 94040 622 113 4.41 4.39/4.45 o -61 4.39/4.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.48 c 508 7316 14763 284353 19 51193 94040 629 114 4.45 4.39/4.48 o -62 4.48/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.51 c 513 7316 14770 286184 19 51330 94040 636 114 4.48 4.48/4.51 o -63 4.48/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.54 c 515 7316 14774 288006 19 51463 94040 640 114 4.50 4.48/4.54 o -64 4.59/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.63 c 524 7316 14785 289851 19 51612 94040 651 115 4.54 4.59/4.63 o -65 4.59/4.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.66 c 597 7316 14860 316197 21 51891 94040 726 128 4.63 4.59/4.66 o -66 4.59/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.70 c 602 7316 14867 318039 21 52036 94040 733 129 4.66 4.59/4.70 o -67 4.68/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.72 c 609 7316 14876 319893 21 52187 94040 742 129 4.69 4.68/4.72 o -68 4.68/4.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.76 c 611 7316 14880 321740 21 52330 94040 746 129 4.72 4.68/4.76 o -69 4.78/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.78/4.80 c 621 7316 14892 323612 21 52491 94040 758 130 4.75 4.78/4.80 o -70 4.78/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.78/4.83 c 642 7316 14915 325523 21 52676 94040 781 133 4.80 4.78/4.83 o -71 4.88/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.99 c 651 7316 14926 327407 21 52839 94040 792 134 4.83 4.88/4.99 c 751 7316 15026 368269 24 53039 103445 892 152 4.93 4.88/4.99 o -72 4.98/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.02 c 783 7316 15061 380469 25 53252 94040 927 156 4.99 4.98/5.02 o -73 4.98/5.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.05 c 784 7316 15064 382330 25 53403 94040 930 156 5.01 4.98/5.05 o -74 4.98/5.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.98/5.08 c 791 7316 15073 384213 25 53568 94040 939 156 5.04 4.98/5.08 o -75 5.08/5.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.10 c 795 7316 15079 386089 25 53729 94040 945 156 5.08 5.08/5.10 o -76 5.08/5.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.13 c 799 7316 15085 387970 25 53892 94040 951 156 5.10 5.08/5.13 o -77 5.08/5.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.16 c 801 7316 15089 389846 25 54053 94040 955 156 5.13 5.08/5.16 o -78 5.08/5.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.08/5.19 c 809 7316 15099 391741 25 54228 94040 965 156 5.16 5.08/5.19 o -79 5.18/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.21 c 815 7316 15107 393637 26 54401 94040 973 157 5.18 5.18/5.21 o -80 5.18/5.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.24 c 819 7316 15113 395528 26 54572 94040 979 157 5.21 5.18/5.24 o -81 5.18/5.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.26 c 821 7316 15117 397418 26 54741 94040 983 156 5.24 5.18/5.26 o -82 5.18/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.29 c 826 7316 15124 399316 26 54918 94040 990 157 5.26 5.18/5.29 o -83 5.28/5.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.28/5.32 c 832 7316 15132 401219 26 55099 94040 998 157 5.29 5.28/5.32 o -84 5.38/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.43 c 841 7316 15143 403134 26 55288 94040 1009 158 5.32 5.38/5.43 o -85 5.38/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.46 c 931 7316 15235 435081 28 55641 94040 1101 171 5.43 5.38/5.46 o -86 5.38/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.38/5.49 c 941 7316 15247 436999 28 55836 94040 1113 172 5.46 5.38/5.49 o -87 5.49/5.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.52 c 944 7316 15252 438896 28 56019 94040 1118 172 5.49 5.49/5.52 o -88 5.49/5.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.54 c 947 7316 15257 440796 28 56204 94040 1123 171 5.51 5.49/5.54 o -89 5.49/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.58 c 954 7316 15266 442709 28 56399 94040 1132 172 5.54 5.49/5.58 o -90 5.58/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.58/5.61 c 972 7316 15286 444657 29 56618 94040 1152 174 5.57 5.58/5.61 o -91 5.88/5.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.90 c 987 7316 15303 446598 29 56833 94040 1169 176 5.61 5.88/5.90 c 1087 7316 15403 485968 31 57033 103445 1269 190 5.71 5.88/5.90 o -92 5.88/5.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.93 c 1206 7316 15524 524037 33 57458 94040 1390 204 5.90 5.88/5.93 o -93 5.88/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.95 c 1212 7316 15532 525954 33 57659 94040 1398 204 5.92 5.88/5.95 o -94 80.26/80.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.26/80.32 c 1219 7316 15541 527877 33 57864 94040 1407 204 5.95 80.26/80.32 c 1320 7316 15643 539498 34 58162 103445 1509 219 6.02 80.26/80.32 c 1570 7316 15893 663995 41 58662 113790 1759 247 6.33 80.26/80.32 c 2045 7316 16371 900504 55 59618 125170 2237 293 6.98 80.26/80.32 c 2858 7316 17185 1304023 75 61246 137688 3051 349 8.17 80.26/80.32 c 4178 7316 18507 1959050 105 63890 151457 4373 407 10.25 80.26/80.32 c 6259 7316 20588 2989596 145 68052 166603 6454 450 13.89 80.26/80.32 c 9482 7316 23811 4589120 192 74498 183264 9677 471 20.11 80.26/80.32 c 14418 7316 28751 7035152 244 84378 201591 14617 473 30.46 80.26/80.32 c 21924 7316 36264 10746156 296 99404 221751 22130 463 47.30 80.26/80.32 o -95 80.35/80.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.35/80.49 c 32569 7316 46916 15769231 336 120803 94040 32782 405 80.29 80.35/80.49 o -96 80.45/80.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.45/80.57 c 32635 7316 46984 15793021 336 121130 94040 32850 405 80.45 80.45/80.57 o -97 80.55/80.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.55/80.62 c 32655 7316 47006 15801382 336 121367 94040 32872 405 80.53 80.55/80.62 o -98 80.55/80.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.55/80.68 c 32659 7316 47012 15803263 336 121574 94040 32878 405 80.59 80.55/80.68 o -99 80.65/80.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.65/80.73 c 32665 7316 47020 15805152 336 121787 94040 32886 405 80.65 80.65/80.73 o -100 80.75/80.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.75/80.80 c 32673 7316 47030 15807051 336 122006 94040 32896 404 80.70 80.75/80.80 o -101 80.85/80.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.85/80.92 c 32681 7316 47040 15808949 336 122227 94040 32906 404 80.77 80.85/80.92 o -102 80.85/80.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 80.85/80.98 c 32701 7316 47062 15810890 335 122474 94040 32928 404 80.88 80.85/80.98 o -103 81.45/81.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 81.45/81.54 c 32710 7316 47073 15812801 335 122701 94040 32939 404 80.95 81.45/81.54 c 32810 7316 47173 15849441 335 122901 103445 33039 404 81.12 81.45/81.54 o -104 1798.02/1798.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.02/1798.74 c 32915 7316 47280 15876925 335 123322 94040 33146 403 81.51 1798.02/1798.74 c 33015 7316 47381 15880492 335 123628 103445 33247 404 81.65 1798.02/1798.74 c 33265 7316 47631 16004990 336 124128 113790 33497 405 82.09 1798.02/1798.74 c 33740 7316 48108 16241995 337 125082 125170 33974 407 82.79 1798.02/1798.74 c 34553 7316 48922 16645513 340 126710 137688 34788 411 84.02 1798.02/1798.74 c 35873 7316 50242 17302028 344 129350 151457 36108 417 86.01 1798.02/1798.74 c 37954 7316 52323 18336560 350 133512 166603 38189 425 89.27 1798.02/1798.74 c 41177 7316 55549 19939103 358 139964 183264 41415 434 94.79 1798.02/1798.74 c 46113 7316 60488 22389649 370 149842 201591 46354 442 104.28 1798.02/1798.74 c 53619 7316 68005 26098064 383 164876 221751 53871 445 120.44 1798.02/1798.74 c 64980 7316 79379 30672630 386 189567 243927 65245 361 179.75 1798.02/1798.74 c 82124 7316 96541 39185786 405 223891 268320 82407 385 213.20 1798.02/1798.74 c 107943 7316 122369 51834762 423 275547 295153 108235 258 417.56 1798.02/1798.74 c 146776 7316 161219 69019731 428 353349 324669 147085 235 622.15 1798.02/1798.74 c Resources Exceeded 1798.02/1798.74 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 -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.02/1798.75 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.02/1798.75 c 130 200405 4429 505417 214869 93232853 200735 111 1798.08 1798.02/1798.75 c Objective: -104 1798.02/1798.75 s SATISFIABLE 1798.02/1798.75 c Total time: 1798.08 s
OK -104
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876837-1245208186/watcher-1876837-1245208186 -o /tmp/evaluation-result-1876837-1245208186/solver-1876837-1245208186 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876837-1245208186.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: 0.99 1.05 1.00 3/65 16249 /proc/meminfo: memFree=1856248/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=11276 CPUtime=0 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 267 0 0 0 0 0 0 0 20 0 1 0 188416539 11546624 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 2819 251 174 640 0 2036 0 [startup+0.063816 s] /proc/loadavg: 0.99 1.05 1.00 3/65 16249 /proc/meminfo: memFree=1856248/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=12924 CPUtime=0.05 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 761 0 0 0 5 0 0 0 20 0 1 0 188416539 13234176 745 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3231 746 277 640 0 2448 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12924 [startup+0.101822 s] /proc/loadavg: 0.99 1.05 1.00 3/65 16249 /proc/meminfo: memFree=1856248/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=14496 CPUtime=0.09 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 1346 0 0 0 9 0 0 0 20 0 1 0 188416539 14843904 1191 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3624 1191 189 640 0 2980 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14496 [startup+0.30186 s] /proc/loadavg: 0.99 1.05 1.00 3/65 16249 /proc/meminfo: memFree=1856248/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=14624 CPUtime=0.29 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 1351 0 0 0 28 1 0 0 22 0 1 0 188416539 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14624 [startup+0.701936 s] /proc/loadavg: 0.99 1.05 1.00 3/65 16249 /proc/meminfo: memFree=1856248/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=14624 CPUtime=0.69 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 1351 0 0 0 68 1 0 0 25 0 1 0 188416539 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14624 [startup+1.50109 s] /proc/loadavg: 0.99 1.05 1.00 2/66 16250 /proc/meminfo: memFree=1852144/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=14624 CPUtime=1.49 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 1351 0 0 0 148 1 0 0 25 0 1 0 188416539 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14624 [startup+3.10239 s] /proc/loadavg: 0.99 1.05 1.00 2/66 16250 /proc/meminfo: memFree=1851568/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=15876 CPUtime=3.09 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 2084 0 0 0 305 4 0 0 25 0 1 0 188416539 16257024 1547 1992294400 134512640 137136520 4294956256 18446744073709551615 134574427 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 3969 1547 197 640 0 3325 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15876 [startup+6.302 s] /proc/loadavg: 1.15 1.08 1.01 2/66 16250 /proc/meminfo: memFree=1846640/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=22676 CPUtime=6.28 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 3782 0 0 0 619 9 0 0 25 0 1 0 188416539 23220224 3245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 5669 3245 197 640 0 5025 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22676 [startup+12.7012 s] /proc/loadavg: 1.13 1.08 1.01 2/66 16250 /proc/meminfo: memFree=1820208/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=48828 CPUtime=12.68 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 10294 0 0 0 1254 14 0 0 25 0 1 0 188416539 49999872 9757 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 12207 9757 197 640 0 11563 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48828 [startup+25.5017 s] /proc/loadavg: 1.10 1.07 1.00 2/66 16250 /proc/meminfo: memFree=1777072/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=90204 CPUtime=25.47 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 20666 0 0 0 2521 26 0 0 25 0 1 0 188416539 92368896 20129 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 22551 20129 197 640 0 21907 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 90204 [startup+51.1015 s] /proc/loadavg: 1.07 1.06 1.00 2/66 16250 /proc/meminfo: memFree=1705392/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=161728 CPUtime=51.07 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 38543 0 0 0 5060 47 0 0 25 0 1 0 188416539 165609472 38006 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 40432 38006 197 640 0 39788 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 161728 [startup+102.305 s] /proc/loadavg: 1.02 1.05 1.00 2/66 16250 /proc/meminfo: memFree=1569008/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=297280 CPUtime=102.25 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 72432 0 0 0 10144 81 0 0 25 0 1 0 188416539 304414720 71895 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 74320 71895 197 640 0 73676 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 297280 [startup+162.302 s] /proc/loadavg: 1.01 1.04 1.00 2/66 16250 /proc/meminfo: memFree=1467184/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=399000 CPUtime=162.21 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 97865 0 0 0 16113 108 0 0 25 0 1 0 188416539 408576000 97328 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 99750 97328 197 640 0 99106 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 399000 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/66 16250 /proc/meminfo: memFree=1318128/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=547768 CPUtime=222.19 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 135054 0 0 0 22077 142 0 0 25 0 1 0 188416539 560914432 134517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 136942 134517 197 640 0 136298 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 547768 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 16250 /proc/meminfo: memFree=1249072/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=616616 CPUtime=282.18 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 152267 0 0 0 28057 161 0 0 25 0 1 0 188416539 631414784 151730 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 154154 151730 197 640 0 153510 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 616616 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 16250 /proc/meminfo: memFree=1215152/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=650068 CPUtime=342.15 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 160632 0 0 0 34046 169 0 0 25 0 1 0 188416539 665669632 160095 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 162517 160095 197 640 0 161873 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 650068 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 16250 /proc/meminfo: memFree=1186800/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=678644 CPUtime=402.13 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 167773 0 0 0 40036 177 0 0 25 0 1 0 188416539 694931456 167236 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 169661 167236 197 640 0 169017 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 678644 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 16250 /proc/meminfo: memFree=1058416/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=807180 CPUtime=462.11 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 199907 0 0 0 46005 206 0 0 25 0 1 0 188416539 826552320 199370 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 201795 199370 197 640 0 201151 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 807180 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=1012080/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=853172 CPUtime=522.09 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 211406 0 0 0 51990 219 0 0 25 0 1 0 188416539 873648128 210869 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 213293 210869 197 640 0 212649 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 853172 [startup+582.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=976624/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=888156 CPUtime=582.06 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 220154 0 0 0 57977 229 0 0 25 0 1 0 188416539 909471744 219617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 222039 219617 197 640 0 221395 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 888156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=888944/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=975396 CPUtime=642.05 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 241964 0 0 0 63957 248 0 0 25 0 1 0 188416539 998805504 241427 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 243849 241427 197 640 0 243205 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 975396 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=729136/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1134728 CPUtime=1061.89 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 281797 0 0 0 105898 291 0 0 25 0 1 0 188416539 1161961472 281260 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 283682 281260 197 640 0 283038 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1134728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=722544/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1141280 CPUtime=1121.87 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 283430 0 0 0 111894 293 0 0 25 0 1 0 188416539 1168670720 282893 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 285320 282893 197 640 0 284676 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1141280 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=716016/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1147832 CPUtime=1181.84 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 285068 0 0 0 117890 294 0 0 25 0 1 0 188416539 1175379968 284531 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 286958 284531 197 640 0 286314 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 1147832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=709424/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1154332 CPUtime=1241.83 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 286688 0 0 0 123886 297 0 0 25 0 1 0 188416539 1182035968 286151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 288583 286151 197 640 0 287939 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1154332 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=702896/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1160732 CPUtime=1301.8 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 288298 0 0 0 129881 299 0 0 25 0 1 0 188416539 1188589568 287761 1992294400 134512640 137136520 4294956256 18446744073709551615 134544616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 290183 287761 197 640 0 289539 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1160732 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=696624/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1167128 CPUtime=1361.77 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 289887 0 0 0 135876 301 0 0 25 0 1 0 188416539 1195139072 289350 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 291782 289350 197 640 0 291138 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1167128 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=686000/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1177668 CPUtime=1421.76 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 292530 0 0 0 141872 304 0 0 25 0 1 0 188416539 1205932032 291993 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 294417 291993 197 640 0 293773 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1177668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=678448/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1185252 CPUtime=1481.74 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 294426 0 0 0 147868 306 0 0 25 0 1 0 188416539 1213698048 293889 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 296313 293889 197 640 0 295669 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1185252 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=671472/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1192080 CPUtime=1541.71 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 296130 0 0 0 153864 307 0 0 25 0 1 0 188416539 1220689920 295593 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 298020 295593 197 640 0 297376 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1192080 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=664688/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1198908 CPUtime=1601.69 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 297831 0 0 0 159860 309 0 0 25 0 1 0 188416539 1227681792 297294 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 299727 297294 197 640 0 299083 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 1198908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=657840/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1205624 CPUtime=1661.67 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 299520 0 0 0 165857 310 0 0 25 0 1 0 188416539 1234558976 298983 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 301406 298983 197 640 0 300762 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 1205624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=650992/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1212528 CPUtime=1721.65 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 301247 0 0 0 171854 311 0 0 25 0 1 0 188416539 1241628672 300710 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 303132 300710 197 640 0 302488 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 1212528 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=643888/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1219436 CPUtime=1781.62 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 302974 0 0 0 177850 312 0 0 25 0 1 0 188416539 1248702464 302437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 304859 302437 197 640 0 304215 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1219436 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=642736/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1220556 CPUtime=1791.22 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 303253 0 0 0 178810 312 0 0 25 0 1 0 188416539 1249849344 302716 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 305139 302716 197 640 0 304495 0 Current children cumulated CPU time (s) 1791.22 Current children cumulated vsize (KiB) 1220556 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=642352/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1220920 CPUtime=1794.42 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 303341 0 0 0 179130 312 0 0 25 0 1 0 188416539 1250222080 302804 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 305230 302804 197 640 0 304586 0 Current children cumulated CPU time (s) 1794.42 Current children cumulated vsize (KiB) 1220920 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=642224/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1221096 CPUtime=1796.01 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 303390 0 0 0 179289 312 0 0 25 0 1 0 188416539 1250402304 302853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 305274 302853 197 640 0 304630 0 Current children cumulated CPU time (s) 1796.01 Current children cumulated vsize (KiB) 1221096 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=642096/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1221316 CPUtime=1797.62 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 303439 0 0 0 179449 313 0 0 25 0 1 0 188416539 1250627584 302902 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 305329 302902 197 640 0 304685 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 1221316 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=641968/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=1221360 CPUtime=1798.02 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194304 303450 0 0 0 179489 313 0 0 25 0 1 0 188416539 1250672640 302913 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16249/statm: 305340 302913 197 640 0 304696 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 1221360 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 16250 /proc/meminfo: memFree=641968/2055920 swapFree=4178232/4192956 [pid=16249] ppid=16247 vsize=0 CPUtime=1798.22 /proc/16249/stat : 16249 (bsolo) R 16247 16249 15569 0 -1 4194308 303452 0 0 0 179494 328 0 0 25 0 1 0 188416539 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/16249/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.22 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.93 CPU time (s): 1798.26 CPU user time (s): 1794.95 CPU system time (s): 3.3105 CPU usage (%): 99.9625 Max. virtual memory (cumulated for all children) (KiB): 1221360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 3.3105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 303452 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= 2311 runsolver used 2.11368 second user time and 4.40233 second system time The end
Begin job on node91 at 2009-06-17 05:09:46 IDJOB=1876837 IDBENCH=48247 IDSOLVER=699 FILE ID=node91/1876837-1245208186 PBS_JOBID= 9368359 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876837-1245208186/watcher-1876837-1245208186 -o /tmp/evaluation-result-1876837-1245208186/solver-1876837-1245208186 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876837-1245208186.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=972330821 node91.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.261 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 : 5914.62 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.261 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857048 kB Buffers: 20976 kB Cached: 109140 kB SwapCached: 8264 kB Active: 27320 kB Inactive: 112620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857048 kB SwapTotal: 4192956 kB SwapFree: 4178232 kB Dirty: 4128 kB Writeback: 0 kB Mapped: 15500 kB Slab: 44792 kB Committed_AS: 95156 kB PageTables: 1368 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876837-1245208186.opb Free space on /tmp at the end= 66440 MiB End job on node91 at 2009-06-17 05:39:46