Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -104 | 1798.26 | 1798.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
MD5SUM | 95bfca9fba26d7f8c875796701522876 |
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 | -101 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
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) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
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-1876824-1245206393.opb 0.00/0.00 c File size is 567733 bytes. 0.00/0.08 c Highest Coefficient sum: 1000 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.085 s 0.00/0.09 c Var: 7326 Constr: 14154 6826/1002/6326 Lit: 53608 Watch. Lit: 46284 0.00/0.09 c Obj. Vars: 500 (6.82501 % of total variables) 1.89/1.99 c Pre-processing Time: 1.991 s 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 7326 14154 53608 3 46284 93247 0 0 1.99 1.89/1.99 c Switching off lower bounding mode. 1.99/2.00 o -1 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 0 7326 14155 54108 3 46287 93580 1 0 2.01 1.99/2.05 o -2 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 1 7326 14158 55608 3 46296 93747 4 0 2.05 1.99/2.09 o -3 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 2 7326 14161 57121 4 46307 93914 7 0 2.10 2.09/2.14 o -4 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 3 7326 14164 58634 4 46320 94080 10 1 2.15 2.09/2.19 o -5 2.20/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.24 c 4 7326 14167 60158 4 46335 94247 13 1 2.19 2.20/2.24 o -6 2.20/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.29 c 5 7326 14170 61682 4 46352 94247 16 2 2.24 2.20/2.29 o -7 2.30/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.30/2.33 c 8 7326 14175 63224 4 46375 94247 21 3 2.29 2.30/2.33 o -8 2.30/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.30/2.38 c 11 7326 14180 64766 4 46400 94247 26 4 2.34 2.30/2.38 o -9 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 12 7326 14183 66302 4 46423 94247 29 5 2.39 2.39/2.43 o -10 2.39/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.48 c 13 7326 14186 67839 4 46448 94247 32 5 2.44 2.39/2.48 o -11 2.49/2.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.52 c 14 7326 14189 69389 4 46475 94247 35 5 2.48 2.49/2.52 o -12 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 15 7326 14192 70940 4 46504 94247 38 5 2.53 2.49/2.57 o -13 2.59/2.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.62 c 16 7326 14195 72492 5 46535 94247 41 6 2.58 2.59/2.62 o -14 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 18 7326 14199 74048 5 46570 94247 45 6 2.62 2.59/2.67 o -15 2.69/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.72 c 26 7326 14209 77552 5 46619 94247 55 9 2.67 2.69/2.72 o -16 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 39 7326 14224 84453 5 46680 94247 70 14 2.73 2.69/2.77 o -17 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 45 7326 14232 86036 6 46729 94247 78 16 2.77 2.79/2.82 o -18 2.79/2.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.86 c 48 7326 14237 87623 6 46774 94247 83 16 2.82 2.79/2.86 o -19 2.89/2.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.91 c 50 7326 14241 89218 6 46819 94247 87 17 2.87 2.89/2.91 o -20 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 57 7326 14250 90841 6 46876 94247 96 19 2.92 2.89/2.96 o -21 2.98/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.00 c 59 7326 14254 92450 6 46925 94247 100 19 2.96 2.98/3.00 o -22 2.98/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.05 c 61 7326 14258 94060 6 46976 94247 104 20 3.01 2.98/3.05 o -23 2.98/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.09 c 62 7326 14261 95679 6 47027 94247 107 20 3.05 2.98/3.09 o -24 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 64 7326 14265 97310 6 47082 94247 111 20 3.09 3.09/3.13 o -25 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 66 7326 14269 98948 6 47139 94247 115 21 3.14 3.09/3.18 o -26 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 72 7326 14277 100607 7 47206 94247 123 22 3.18 3.19/3.22 o -27 3.19/3.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.26 c 75 7326 14282 102267 7 47269 94247 128 23 3.23 3.19/3.26 o -28 3.30/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.31 c 77 7326 14286 103925 7 47332 94247 132 23 3.27 3.30/3.31 o -29 3.30/3.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.35 c 90 7326 14301 108912 7 47419 94247 147 27 3.32 3.30/3.35 o -30 3.30/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.40 c 91 7326 14304 110580 7 47484 94247 150 27 3.36 3.30/3.40 o -31 3.40/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.40/3.44 c 95 7326 14310 112258 7 47557 94247 156 27 3.40 3.40/3.44 o -32 3.40/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.40/3.48 c 96 7326 14313 113928 7 47626 94247 159 27 3.44 3.40/3.48 o -33 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 99 7326 14318 115604 8 47701 94247 164 28 3.48 3.49/3.52 o -34 3.49/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.56 c 103 7326 14324 117285 8 47780 94247 170 29 3.53 3.49/3.56 o -35 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 105 7326 14328 118974 8 47857 94247 174 29 3.57 3.59/3.60 o -36 3.59/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.65 c 112 7326 14337 120686 8 47946 94247 183 31 3.61 3.59/3.65 o -37 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 115 7326 14342 122372 8 48029 94247 188 31 3.65 3.59/3.69 o -38 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 117 7326 14346 124058 8 48112 94247 192 31 3.69 3.69/3.73 o -39 3.69/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 120 7326 14351 125756 8 48199 94247 197 32 3.73 3.69/3.77 o -40 3.79/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.80 c 121 7326 14354 127455 8 48284 94247 200 32 3.77 3.79/3.80 o -41 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 123 7326 14358 129157 8 48373 94247 204 32 3.81 3.79/3.84 o -42 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 125 7326 14362 130868 9 48464 94247 208 32 3.85 3.79/3.88 o -43 3.89/3.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.94 c 128 7326 14367 132583 9 48559 94247 213 32 3.89 3.89/3.94 o -44 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 151 7326 14392 143003 9 48696 94247 238 38 3.94 3.89/3.98 o -45 3.99/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.03 c 164 7326 14407 144762 10 48815 94247 253 41 3.99 3.99/4.03 o -46 3.99/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.07 c 183 7326 14428 146560 10 48948 94247 274 45 4.04 3.99/4.07 o -47 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 185 7326 14432 148321 10 49049 94247 278 45 4.07 4.09/4.11 o -48 4.09/4.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.15 c 192 7326 14441 150098 10 49162 94247 287 46 4.11 4.09/4.15 o -49 4.29/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.31 c 202 7326 14453 151893 10 49283 94247 299 48 4.15 4.29/4.31 c 302 7326 14553 190805 13 49483 103672 399 71 4.25 4.29/4.31 o -50 4.29/4.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.35 c 343 7326 14596 204365 14 49668 94247 442 79 4.32 4.29/4.35 o -51 4.29/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.39 c 348 7326 14603 206169 14 49783 94247 449 79 4.36 4.29/4.39 o -52 4.39/4.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.42 c 354 7326 14611 207983 14 49902 94247 457 80 4.39 4.39/4.42 o -53 4.39/4.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.46 c 357 7326 14616 209792 14 50017 94247 462 80 4.43 4.39/4.46 o -54 4.39/4.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.50 c 367 7326 14628 211622 14 50148 94247 474 82 4.47 4.39/4.50 o -55 4.50/4.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.50/4.53 c 373 7326 14636 213440 14 50273 94247 482 82 4.50 4.50/4.53 o -56 4.50/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.50/4.57 c 376 7326 14641 215260 14 50394 94247 487 82 4.54 4.50/4.57 o -57 4.59/4.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.60 c 384 7326 14651 217098 14 50527 94247 497 83 4.57 4.59/4.60 o -58 4.59/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.68 c 392 7326 14661 218936 14 50662 94247 507 85 4.61 4.59/4.68 o -59 4.69/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.72 c 451 7326 14722 239835 16 50901 94247 568 96 4.69 4.69/4.72 o -60 4.69/4.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.75 c 461 7326 14734 243880 16 51044 94247 580 97 4.73 4.69/4.75 o -61 4.69/4.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.78 c 464 7326 14739 245709 16 51175 94247 585 97 4.76 4.69/4.78 o -62 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 465 7326 14742 247532 16 51304 94247 588 97 4.79 4.79/4.81 o -63 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 469 7326 14748 249365 16 51441 94247 594 97 4.82 4.79/4.85 o -64 4.79/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.88 c 472 7326 14753 251198 17 51578 94247 599 97 4.85 4.79/4.88 o -65 4.89/4.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.91 c 475 7326 14758 253037 17 51717 94247 604 97 4.88 4.89/4.91 o -66 4.89/4.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.94 c 480 7326 14765 254884 17 51862 94247 611 97 4.91 4.89/4.94 o -67 4.89/4.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.97 c 486 7326 14773 256730 17 52011 94247 619 98 4.94 4.89/4.97 o -68 4.99/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.01 c 498 7326 14787 258594 17 52174 94247 633 100 4.98 4.99/5.01 o -69 4.99/5.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.04 c 505 7326 14796 260445 17 52329 94247 642 100 5.01 4.99/5.04 o -70 4.99/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.07 c 514 7326 14807 263588 17 52490 94247 653 101 5.05 4.99/5.07 o -71 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 519 7326 14814 265437 17 52645 94247 660 102 5.08 5.09/5.11 o -72 5.09/5.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.15 c 534 7326 14831 270730 18 52822 94247 677 104 5.12 5.09/5.15 o -73 5.09/5.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.18 c 541 7326 14840 275143 18 52985 94247 686 104 5.15 5.09/5.18 o -74 5.18/5.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.22 c 557 7326 14858 277028 18 53168 94247 704 107 5.19 5.18/5.22 o -75 5.18/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.25 c 566 7326 14869 278897 18 53339 94247 715 108 5.22 5.18/5.25 o -76 5.18/5.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.18/5.28 c 571 7326 14876 280761 18 53504 94247 722 108 5.25 5.18/5.28 o -77 5.29/5.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.31 c 578 7326 14885 282635 18 53675 94247 731 109 5.28 5.29/5.31 o -78 5.29/5.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.39 c 592 7326 14901 284529 19 53862 94247 747 111 5.32 5.29/5.39 o -79 5.39/5.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.42 c 655 7326 14966 305888 20 54149 94247 812 121 5.40 5.39/5.42 o -80 5.39/5.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.45 c 660 7326 14973 307770 20 54322 94247 819 121 5.43 5.39/5.45 o -81 5.39/5.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.47 c 662 7326 14977 309643 20 54491 94247 823 121 5.45 5.39/5.47 o -82 5.49/5.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.50 c 665 7326 14982 311521 20 54664 94247 828 121 5.48 5.49/5.50 o -83 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 674 7326 14993 313421 20 54851 94247 839 122 5.51 5.49/5.53 o -84 5.49/5.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.55 c 678 7326 14999 315305 21 55030 94247 845 122 5.53 5.49/5.55 o -85 5.49/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.58 c 682 7326 15005 317196 21 55211 94247 851 122 5.56 5.49/5.58 o -86 5.59/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.61 c 697 7326 15022 319123 21 55416 94247 868 124 5.59 5.59/5.61 o -87 5.59/5.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.64 c 701 7326 15028 321017 21 55601 94247 874 124 5.62 5.59/5.64 o -88 5.59/5.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.69 c 704 7326 15033 322907 21 55786 94247 879 124 5.64 5.59/5.69 o -89 5.69/5.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.72 c 743 7326 15074 336378 22 56045 94247 920 130 5.70 5.69/5.72 o -90 5.69/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.74 c 748 7326 15081 338276 22 56238 94247 927 130 5.72 5.69/5.74 o -91 5.69/5.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.77 c 755 7326 15090 340182 22 56437 94247 936 131 5.75 5.69/5.77 o -92 5.79/5.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.80 c 761 7326 15098 342086 22 56636 94247 944 131 5.78 5.79/5.80 o -93 5.79/5.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.82 c 769 7326 15108 344001 22 56841 94247 954 132 5.80 5.79/5.82 o -94 5.79/5.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.85 c 774 7326 15115 345903 22 57042 94247 961 132 5.83 5.79/5.85 o -95 5.79/5.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.87 c 777 7326 15120 347803 23 57241 94247 966 132 5.85 5.79/5.87 o -96 5.89/5.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.90 c 784 7326 15129 349714 23 57450 94247 975 133 5.88 5.89/5.90 o -97 5.89/5.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.93 c 798 7326 15145 355663 23 57675 94247 991 135 5.91 5.89/5.93 o -98 5.89/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.95 c 799 7326 15148 357559 23 57876 94247 994 134 5.93 5.89/5.95 o -99 70.87/70.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.87/70.99 c 800 7326 15151 359457 23 58079 94247 997 134 5.95 70.87/70.99 c 901 7326 15253 385830 25 58382 103672 1099 148 6.07 70.87/70.99 c 1151 7326 15504 510831 32 58884 114040 1350 181 6.33 70.87/70.99 c 1626 7326 15983 746838 46 59842 125445 1829 238 6.81 70.87/70.99 c 2439 7326 16798 1150842 68 61472 137990 2644 318 7.65 70.87/70.99 c 3759 7326 18119 1803352 99 64114 151790 3965 415 9.05 70.87/70.99 c 5840 7326 20203 2836880 140 68282 166970 6049 512 11.40 70.87/70.99 c 9063 7326 23429 4436901 189 74734 183668 9275 567 15.96 70.87/70.99 c 13999 7326 28367 6887429 242 84610 202035 14213 506 27.62 70.87/70.99 c 21505 7326 35873 10610532 295 99622 222239 21719 457 46.96 70.87/70.99 o -100 70.97/71.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.97/71.04 c 28539 7326 42915 13969718 325 113806 94247 28761 402 70.97 70.97/71.04 o -101 70.97/71.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.97/71.09 c 28548 7326 42926 13971617 325 114029 94247 28772 401 71.03 70.97/71.09 o -102 71.07/71.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.07/71.16 c 28562 7326 42942 13973535 325 114264 94247 28788 401 71.08 71.07/71.16 o -103 275.41/275.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 275.41/275.57 c 28573 7326 42955 13975444 325 114495 94247 28801 401 71.15 275.41/275.57 c 28673 7326 43056 13977628 324 114800 103672 28902 402 71.30 275.41/275.57 c 28923 7326 43306 14102128 325 115300 114040 29152 402 71.78 275.41/275.57 c 29398 7326 43784 14338138 327 116256 125445 29630 405 72.55 275.41/275.57 c 30211 7326 44597 14742153 330 117882 137990 30443 408 73.87 275.41/275.57 c 31531 7326 45919 15396688 335 120526 151790 31765 414 76.08 275.41/275.57 c 33612 7326 48005 16430732 342 124698 166970 33851 421 79.75 275.41/275.57 c 36835 7326 51230 18031791 351 131148 183668 37076 429 85.84 275.41/275.57 c 41771 7326 56170 20480235 364 141028 202035 42016 434 96.24 275.41/275.57 c 49277 7326 63681 24200022 380 156050 222239 49527 429 114.80 275.41/275.57 c 60639 7326 75047 28801594 383 178782 244463 60893 309 196.12 275.41/275.57 c 77783 7326 92208 37325273 404 213104 268910 78054 329 236.13 275.41/275.57 o -104 1797.91/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.50 c 88176 7326 102615 42369754 412 234022 94247 88461 320 275.50 1797.91/1798.50 c 88276 7326 102716 42380887 412 234328 103672 88562 320 275.74 1797.91/1798.50 c 88527 7326 102967 42479100 412 234830 114040 88813 320 276.27 1797.91/1798.50 c 89002 7326 103442 42602058 411 235780 125445 89288 320 277.41 1797.91/1798.50 c 89815 7326 104255 42945273 411 237406 137990 90101 313 286.44 1797.91/1798.50 c 91135 7326 105577 43601753 412 240050 151790 91423 315 288.94 1797.91/1798.50 c 93216 7326 107658 44635246 414 244212 166970 93504 318 292.68 1797.91/1798.50 c 96439 7326 110884 46235287 416 250664 183668 96730 322 298.73 1797.91/1798.50 c 101375 7326 115825 48684362 420 260546 202035 101671 326 310.02 1797.91/1798.50 c 108881 7326 123343 52373924 424 275582 222239 109189 326 333.14 1797.91/1798.50 c 120242 7326 134706 57764075 428 298308 244463 120552 305 393.51 1797.91/1798.50 c 137386 7326 151876 66223740 436 332648 268910 137722 315 435.76 1797.91/1798.50 c 163205 7326 177695 78756529 443 384286 295802 163541 194 838.55 1797.91/1798.50 c 202038 7326 216548 97729827 451 461992 325383 202394 151 1335.87 1797.91/1798.50 c Resources Exceeded 1797.91/1798.50 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 x192 -x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 x274 x275 x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 x336 x337 -x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 x375 x376 -x377 -x378 -x379 x380 -x381 x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 -x436 x437 -x438 -x439 x440 x441 -x442 x443 x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 x456 -x457 x458 x459 -x460 x461 -x462 -x463 x464 x465 x466 x467 x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 -x487 x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 x6985 -x6986 -x6987 -x6988 -x6989 x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 -x7284 -x7285 -x7286 x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -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.01/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.01/1798.50 c 138 241647 4988 613013 256179 117237927 242025 134 1798.02 1798.01/1798.50 c Objective: -104 1798.01/1798.50 s SATISFIABLE 1798.01/1798.50 c Total time: 1798.02 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-1876824-1245206393/watcher-1876824-1245206393 -o /tmp/evaluation-result-1876824-1245206393/solver-1876824-1245206393 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876824-1245206393.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.97 1.05 1.00 3/64 6415 /proc/meminfo: memFree=1829168/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=11272 CPUtime=0 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 188239954 11542528 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 2819 247 174 640 0 2036 0 [startup+0.104804 s] /proc/loadavg: 0.97 1.05 1.00 3/64 6415 /proc/meminfo: memFree=1829168/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=14500 CPUtime=0.09 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1348 0 0 0 9 0 0 0 18 0 1 0 188239954 14848000 1193 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3625 1193 189 640 0 2981 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14500 [startup+0.201814 s] /proc/loadavg: 0.97 1.05 1.00 3/64 6415 /proc/meminfo: memFree=1829168/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=14628 CPUtime=0.19 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1352 0 0 0 19 0 0 0 18 0 1 0 188239954 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14628 [startup+0.301826 s] /proc/loadavg: 0.97 1.05 1.00 3/64 6415 /proc/meminfo: memFree=1829168/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=14628 CPUtime=0.29 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1352 0 0 0 29 0 0 0 19 0 1 0 188239954 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14628 [startup+0.701872 s] /proc/loadavg: 0.97 1.05 1.00 3/64 6415 /proc/meminfo: memFree=1829168/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=14628 CPUtime=0.69 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1352 0 0 0 69 0 0 0 22 0 1 0 188239954 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14628 [startup+1.50197 s] /proc/loadavg: 0.97 1.05 1.00 2/65 6416 /proc/meminfo: memFree=1825064/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=14628 CPUtime=1.49 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1352 0 0 0 149 0 0 0 25 0 1 0 188239954 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14628 [startup+3.10115 s] /proc/loadavg: 0.97 1.05 1.00 2/65 6416 /proc/meminfo: memFree=1824616/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=15416 CPUtime=3.09 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 1955 0 0 0 306 3 0 0 25 0 1 0 188239954 15785984 1416 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 3854 1416 197 640 0 3210 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15416 [startup+6.30254 s] /proc/loadavg: 0.98 1.05 1.00 2/65 6416 /proc/meminfo: memFree=1820968/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=20772 CPUtime=6.29 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 3305 0 0 0 623 6 0 0 25 0 1 0 188239954 21270528 2766 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 5193 2766 197 640 0 4549 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20772 [startup+12.7013 s] /proc/loadavg: 0.98 1.05 1.00 2/65 6416 /proc/meminfo: memFree=1784424/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=58008 CPUtime=12.68 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 12619 0 0 0 1255 13 0 0 25 0 1 0 188239954 59400192 12080 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 14502 12080 197 640 0 13858 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58008 [startup+25.5018 s] /proc/loadavg: 0.98 1.05 1.00 2/65 6416 /proc/meminfo: memFree=1741864/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=97936 CPUtime=25.48 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 22587 0 0 0 2526 22 0 0 25 0 1 0 188239954 100286464 22048 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 24484 22048 197 640 0 23840 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97936 [startup+51.1017 s] /proc/loadavg: 0.99 1.04 1.00 2/65 6416 /proc/meminfo: memFree=1678568/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=161628 CPUtime=51.08 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 38520 0 0 0 5069 39 0 0 25 0 1 0 188239954 165507072 37981 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 40407 37981 197 640 0 39763 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 161628 [startup+102.302 s] /proc/loadavg: 0.99 1.03 1.00 2/65 6416 /proc/meminfo: memFree=1543336/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=295488 CPUtime=102.27 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 71989 0 0 0 10153 74 0 0 25 0 1 0 188239954 302579712 71450 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 73872 71450 197 640 0 73228 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 295488 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.00 2/65 6416 /proc/meminfo: memFree=1463144/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=375732 CPUtime=162.24 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 92040 0 0 0 16127 97 0 0 25 0 1 0 188239954 384749568 91501 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 93933 91501 197 640 0 93289 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 375732 [startup+222.306 s] /proc/loadavg: 0.99 1.02 1.00 2/65 6416 /proc/meminfo: memFree=1373416/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=465204 CPUtime=222.24 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 114417 0 0 0 22107 117 0 0 25 0 1 0 188239954 476368896 113878 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 116301 113878 197 640 0 115657 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 465204 [startup+282.302 s] /proc/loadavg: 0.99 1.01 1.00 2/65 6416 /proc/meminfo: memFree=1270440/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=568156 CPUtime=282.21 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 140153 0 0 0 28075 146 0 0 25 0 1 0 188239954 581791744 139614 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 142039 139614 197 640 0 141395 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 568156 [startup+342.302 s] /proc/loadavg: 0.99 1.01 1.00 2/65 6416 /proc/meminfo: memFree=1134952/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=703320 CPUtime=342.2 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 173947 0 0 0 34035 185 0 0 25 0 1 0 188239954 720199680 173408 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 175830 173408 197 640 0 175186 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 703320 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6416 /proc/meminfo: memFree=1050536/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=789504 CPUtime=402.18 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 195490 0 0 0 40012 206 0 0 25 0 1 0 188239954 808452096 194951 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 197376 194951 197 640 0 196732 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 789504 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6416 /proc/meminfo: memFree=951656/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=886132 CPUtime=462.16 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 219649 0 0 0 45985 231 0 0 25 0 1 0 188239954 907399168 219110 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 221533 219110 197 640 0 220889 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 886132 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6416 /proc/meminfo: memFree=922600/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=915352 CPUtime=522.15 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 226954 0 0 0 51976 239 0 0 25 0 1 0 188239954 937320448 226415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 228838 226415 197 640 0 228194 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 915352 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6416 /proc/meminfo: memFree=896296/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=941280 CPUtime=582.13 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 233433 0 0 0 57969 244 0 0 25 0 1 0 188239954 963870720 232894 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 235320 232894 197 640 0 234676 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 941280 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6416 /proc/meminfo: memFree=873320/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=964340 CPUtime=642.12 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 239201 0 0 0 63960 252 0 0 25 0 1 0 188239954 987484160 238662 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 241085 238662 197 640 0 240441 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 964340 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=609832/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1226956 CPUtime=1121.99 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 304853 0 0 0 111873 326 0 0 25 0 1 0 188239954 1256402944 304314 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 306739 304314 197 640 0 306095 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1226956 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6418 /proc/meminfo: memFree=594792/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1242084 CPUtime=1181.97 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 308634 0 0 0 117866 331 0 0 25 0 1 0 188239954 1271894016 308095 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 310521 308095 197 640 0 309877 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1242084 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6418 /proc/meminfo: memFree=579880/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1256792 CPUtime=1241.95 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 312311 0 0 0 123860 335 0 0 25 0 1 0 188239954 1286955008 311772 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 314198 311772 197 640 0 313554 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1256792 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=565472/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1271188 CPUtime=1301.94 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 315911 0 0 0 129855 339 0 0 25 0 1 0 188239954 1301696512 315372 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 317797 315372 197 640 0 317153 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1271188 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=504288/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1333072 CPUtime=1361.92 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 331369 0 0 0 135836 356 0 0 25 0 1 0 188239954 1365065728 330830 1992294400 134512640 137136520 4294956256 18446744073709551615 134598574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 333268 330830 197 640 0 332624 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1333072 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=446816/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1389288 CPUtime=1421.91 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 345438 0 0 0 141817 374 0 0 25 0 1 0 188239954 1422630912 344899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 347322 344899 197 640 0 346678 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1389288 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=422624/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1413600 CPUtime=1481.88 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 351517 0 0 0 147807 381 0 0 25 0 1 0 188239954 1447526400 350978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 353400 350978 197 640 0 352756 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1413600 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=399072/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1436952 CPUtime=1541.87 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 357354 0 0 0 153798 389 0 0 25 0 1 0 188239954 1471438848 356815 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 359238 356815 197 640 0 358594 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1436952 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=375976/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1460324 CPUtime=1601.86 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 363195 0 0 0 159791 395 0 0 25 0 1 0 188239954 1495371776 362656 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 365081 362656 197 640 0 364437 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1460324 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=352936/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1483068 CPUtime=1661.84 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 368881 0 0 0 165783 401 0 0 25 0 1 0 188239954 1518661632 368342 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 370767 368342 197 640 0 370123 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1483068 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=332648/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1503552 CPUtime=1721.83 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 374004 0 0 0 171776 407 0 0 25 0 1 0 188239954 1539637248 373465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 375888 373465 197 640 0 375244 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1503552 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=310120/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1525880 CPUtime=1781.8 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 379583 0 0 0 177769 411 0 0 25 0 1 0 188239954 1562501120 379044 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 381470 379044 197 640 0 380826 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1525880 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=306536/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1529360 CPUtime=1791.51 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 380457 0 0 0 178739 412 0 0 25 0 1 0 188239954 1566064640 379918 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 382340 379918 197 640 0 381696 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 1529360 [startup+1795.2 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=305320/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1530544 CPUtime=1794.7 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 380750 0 0 0 179058 412 0 0 25 0 1 0 188239954 1567277056 380211 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 382636 380211 197 640 0 381992 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 1530544 [startup+1796.8 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=304872/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1531136 CPUtime=1796.3 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 380898 0 0 0 179218 412 0 0 25 0 1 0 188239954 1567883264 380359 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 382784 380361 197 640 0 382140 0 Current children cumulated CPU time (s) 1796.3 Current children cumulated vsize (KiB) 1531136 [startup+1797.6 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=304488/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1531424 CPUtime=1797.11 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 380971 0 0 0 179298 413 0 0 25 0 1 0 188239954 1568178176 380432 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 382856 380432 197 640 0 382212 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 1531424 [startup+1798.4 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=304488/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=1531708 CPUtime=1797.91 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194304 381045 0 0 0 179378 413 0 0 25 0 1 0 188239954 1568468992 380506 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 382927 380506 197 640 0 382283 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 1531708 [startup+1798.61 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=304104/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=0 CPUtime=1798.1 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194308 381056 0 0 0 179388 422 0 0 25 0 1 0 188239954 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (KiB) 0 [startup+1798.7 s] /proc/loadavg: 0.99 1.00 1.00 2/65 6424 /proc/meminfo: memFree=304104/2055920 swapFree=4192812/4192956 [pid=6415] ppid=6413 vsize=0 CPUtime=1798.2 /proc/6415/stat : 6415 (bsolo) R 6413 6415 6331 0 -1 4194308 381056 0 0 0 179388 432 0 0 25 0 1 0 188239954 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6415/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.75 CPU time (s): 1798.26 CPU user time (s): 1793.89 CPU system time (s): 4.37033 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1531760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.89 system time used= 4.37033 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 381056 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= 2600 runsolver used 1.40679 second user time and 3.76743 second system time The end
Begin job on node11 at 2009-06-17 04:39:53 IDJOB=1876824 IDBENCH=48234 IDSOLVER=699 FILE ID=node11/1876824-1245206393 PBS_JOBID= 9368368 Free space on /tmp= 66196 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876824-1245206393/watcher-1876824-1245206393 -o /tmp/evaluation-result-1876824-1245206393/solver-1876824-1245206393 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876824-1245206393.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED=1100061343 node11.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.234 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1829968 kB Buffers: 50704 kB Cached: 104268 kB SwapCached: 0 kB Active: 59552 kB Inactive: 108832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829968 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4128 kB Writeback: 0 kB Mapped: 23244 kB Slab: 43548 kB Committed_AS: 197388 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876824-1245206393.opb Free space on /tmp at the end= 66192 MiB End job on node11 at 2009-06-17 05:09:52