Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -107 | 1798.13 | 1798.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -107 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
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) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671103-1276718697.opb 0.00/0.00 c File size is 563009 bytes. 0.05/0.09 c Highest Coefficient sum: 1000 0.05/0.09 c Parsing was ok!! 0.05/0.09 c Total parsing time: 0.094 s 0.09/0.10 c Var: 7270 Constr: 14042 6770/1002/6270 Lit: 53160 Watch. Lit: 45892 0.09/0.10 c Obj. Vars: 500 (6.87758 % of total variables) 1.89/1.95 c Pre-processing Time: 1.956 s 1.89/1.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.95 c 0 7270 14042 53160 3 45892 91927 0 0 1.96 1.89/1.95 c Switching off lower bounding mode. 1.89/1.97 o -1 2.00/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.00/2.04 c 0 7270 14043 53660 3 45895 92260 1 0 1.97 2.00/2.04 o -2 2.10/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.11 c 1 7270 14046 55160 3 45904 92427 4 0 2.04 2.10/2.11 o -3 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 2 7270 14049 56672 4 45915 92594 7 0 2.11 2.10/2.18 o -4 2.20/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.25 c 3 7270 14052 58193 4 45928 92760 10 1 2.18 2.20/2.25 o -5 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 4 7270 14055 59725 4 45943 92927 13 1 2.25 2.29/2.32 o -6 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 5 7270 14058 61248 4 45960 92927 16 2 2.32 2.29/2.39 o -7 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 6 7270 14061 62794 4 45979 92927 19 2 2.39 2.39/2.46 o -8 2.49/2.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.53 c 7 7270 14064 64340 4 46000 92927 22 2 2.46 2.49/2.53 o -9 2.59/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.60 c 8 7270 14067 65887 4 46023 92927 25 3 2.53 2.59/2.60 o -10 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 11 7270 14072 67447 4 46052 92927 30 4 2.60 2.59/2.67 o -11 2.70/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.70/2.74 c 14 7270 14077 69001 4 46083 92927 35 5 2.67 2.70/2.74 o -12 2.80/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.80/2.80 c 15 7270 14080 70566 5 46112 92927 38 5 2.74 2.80/2.80 o -13 2.80/2.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.80/2.87 c 16 7270 14083 72122 5 46143 92927 41 5 2.81 2.80/2.87 o -14 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 17 7270 14086 73688 5 46176 92927 44 5 2.88 2.89/2.94 o -15 2.99/3.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.01 c 18 7270 14089 75267 5 46211 92927 47 6 2.94 2.99/3.01 o -16 2.99/3.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.07 c 21 7270 14094 77818 5 46252 92927 52 6 3.01 2.99/3.07 o -17 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 25 7270 14100 80380 5 46297 92927 58 8 3.08 3.09/3.14 o -18 3.20/3.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.21 c 29 7270 14106 83420 5 46344 92927 64 9 3.15 3.20/3.21 o -19 3.20/3.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.28 c 35 7270 14114 86943 6 46397 92927 72 10 3.22 3.20/3.28 o -20 3.30/3.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.35 c 46 7270 14127 92400 6 46462 92927 85 13 3.29 3.30/3.35 o -21 3.39/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.42 c 49 7270 14132 94023 6 46513 92927 90 14 3.35 3.39/3.42 o -22 3.39/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.48 c 63 7270 14148 100928 7 46588 92927 106 18 3.43 3.39/3.48 o -23 3.49/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.54 c 66 7270 14153 102570 7 46643 92927 111 18 3.49 3.49/3.54 o -24 3.59/3.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.61 c 70 7270 14159 104216 7 46702 92927 117 19 3.55 3.59/3.61 o -25 3.59/3.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.67 c 73 7270 14164 105869 7 46761 92927 122 20 3.61 3.59/3.67 o -26 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 74 7270 14167 107528 7 46818 92927 125 20 3.67 3.69/3.73 o -27 3.69/3.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.78 c 76 7270 14171 109197 7 46879 92927 129 20 3.73 3.69/3.78 o -28 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 80 7270 14177 110872 7 46946 92927 135 21 3.79 3.79/3.85 o -29 3.89/3.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.90 c 89 7270 14188 112576 7 47025 92927 146 23 3.85 3.89/3.90 o -30 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 92 7270 14193 114265 8 47094 92927 151 23 3.91 3.89/3.96 o -31 3.99/4.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.02 c 94 7270 14197 115952 8 47163 92927 155 23 3.97 3.99/4.02 o -32 3.99/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.07 c 98 7270 14203 117654 8 47238 92927 161 24 4.02 3.99/4.07 o -33 4.09/4.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.12 c 104 7270 14211 119370 8 47319 92927 169 25 4.08 4.09/4.12 o -34 4.09/4.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.18 c 106 7270 14215 121088 8 47394 92927 173 25 4.13 4.09/4.18 o -35 4.20/4.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.20/4.23 c 110 7270 14221 122812 8 47475 92927 179 26 4.18 4.20/4.23 o -36 4.20/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.20/4.28 c 111 7270 14224 124532 8 47552 92927 182 26 4.23 4.20/4.28 o -37 4.30/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.33 c 114 7270 14229 126262 8 47635 92927 187 26 4.29 4.30/4.33 o -38 4.40/4.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.40 c 117 7270 14234 127992 8 47720 92927 192 26 4.34 4.40/4.40 o -39 4.40/4.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.46 c 145 7270 14264 138987 9 47857 92927 222 32 4.41 4.40/4.46 o -40 4.49/4.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.51 c 147 7270 14268 140715 9 47944 92927 226 32 4.46 4.49/4.51 o -41 4.49/4.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.56 c 148 7270 14271 142447 9 48031 92927 229 32 4.51 4.49/4.56 o -42 4.59/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.61 c 155 7270 14280 144199 10 48132 92927 238 33 4.56 4.59/4.61 o -43 4.59/4.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.66 c 159 7270 14286 145950 10 48229 92927 244 34 4.61 4.59/4.66 o -44 4.69/4.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.71 c 164 7270 14293 147711 10 48330 92927 251 35 4.66 4.69/4.71 o -45 4.69/4.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.76 c 168 7270 14299 149470 10 48431 92927 257 35 4.71 4.69/4.76 o -46 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 179 7270 14312 151255 10 48548 92927 270 37 4.76 4.79/4.81 o -47 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 191 7270 14326 153045 10 48669 92927 284 39 4.82 4.79/4.87 o -48 5.19/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.25 c 213 7270 14350 154876 10 48812 92927 308 43 4.87 5.19/5.25 c 313 7270 14450 198650 13 49012 102220 408 62 5.01 5.19/5.25 o -49 5.29/5.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.30 c 493 7270 14632 282248 19 49473 92927 590 93 5.26 5.29/5.30 o -50 5.29/5.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.35 c 499 7270 14640 284022 19 49588 92927 598 94 5.31 5.29/5.35 o -51 5.39/5.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.40 c 501 7270 14644 285790 19 49697 92927 602 93 5.35 5.39/5.40 o -52 5.39/5.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.44 c 509 7270 14654 287577 19 49820 92927 612 94 5.40 5.39/5.44 o -53 5.39/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.49 c 511 7270 14658 289348 19 49933 92927 616 93 5.45 5.39/5.49 o -54 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 513 7270 14662 291119 19 50048 92927 620 93 5.50 5.49/5.53 o -55 5.49/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.58 c 518 7270 14669 292901 19 50171 92927 627 93 5.54 5.49/5.58 o -56 5.59/5.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.62 c 522 7270 14675 294681 20 50294 92927 633 93 5.58 5.59/5.62 o -57 5.59/5.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.66 c 525 7270 14680 296465 20 50417 92927 638 93 5.63 5.59/5.66 o -58 5.69/5.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.71 c 526 7270 14683 298247 20 50538 92927 641 92 5.67 5.69/5.71 o -59 5.69/5.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.75 c 533 7270 14692 300060 20 50673 92927 650 93 5.72 5.69/5.75 o -60 5.69/5.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.79 c 538 7270 14699 301884 20 50806 92927 657 93 5.76 5.69/5.79 o -61 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 544 7270 14707 303713 20 50943 92927 665 93 5.80 5.79/5.83 o -62 5.79/5.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.88 c 546 7270 14711 305530 20 51074 92927 669 93 5.84 5.79/5.88 o -63 5.89/5.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.91 c 561 7270 14728 310451 21 51233 92927 686 95 5.89 5.89/5.91 o -64 5.89/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.95 c 562 7270 14731 312287 21 51366 92927 689 94 5.92 5.89/5.95 o -65 5.89/5.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.98 c 563 7270 14734 314124 21 51501 92927 692 94 5.95 5.89/5.98 o -66 5.99/6.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.01 c 564 7270 14737 315961 21 51638 92927 695 94 5.99 5.99/6.01 o -67 5.99/6.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.05 c 565 7270 14740 317798 21 51777 92927 698 93 6.02 5.99/6.05 o -68 5.99/6.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.09 c 575 7270 14752 319662 21 51936 92927 710 94 6.06 5.99/6.09 o -69 6.09/6.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.13 c 580 7270 14759 321521 21 52087 92927 717 95 6.10 6.09/6.13 o -70 6.09/6.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.16 c 587 7270 14768 323389 21 52244 92927 726 95 6.13 6.09/6.16 o -71 6.19/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.20 c 593 7270 14776 325259 22 52401 92927 734 96 6.17 6.19/6.20 o -72 6.19/6.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.23 c 599 7270 14784 327131 22 52560 92927 742 96 6.20 6.19/6.23 o -73 6.19/6.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.26 c 601 7270 14788 328990 22 52713 92927 746 96 6.24 6.19/6.26 o -74 6.39/6.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.45 c 604 7270 14793 330855 22 52870 92927 751 96 6.27 6.39/6.45 c 704 7270 14893 370587 24 53070 102220 851 110 6.38 6.39/6.45 o -75 6.39/6.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.48 c 742 7270 14933 384006 25 53299 92927 891 114 6.46 6.39/6.48 o -76 6.49/6.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.51 c 744 7270 14937 385875 25 53458 92927 895 114 6.49 6.49/6.51 o -77 6.49/6.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.54 c 745 7270 14940 387742 25 53617 92927 898 114 6.52 6.49/6.54 o -78 6.49/6.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.57 c 751 7270 14948 389626 26 53788 92927 906 114 6.55 6.49/6.57 o -79 6.60/6.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.61 c 755 7270 14954 391506 26 53957 92927 912 114 6.58 6.60/6.61 o -80 6.60/6.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.64 c 764 7270 14965 393403 26 54138 92927 923 115 6.62 6.60/6.64 o -81 6.60/6.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.67 c 767 7270 14970 395289 26 54309 92927 928 115 6.64 6.60/6.67 o -82 6.69/6.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.70 c 772 7270 14977 397184 26 54486 92927 935 115 6.67 6.69/6.70 o -83 6.69/6.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.72 c 775 7270 14982 399079 26 54661 92927 940 115 6.70 6.69/6.72 o -84 6.69/6.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.75 c 776 7270 14985 400970 26 54834 92927 943 115 6.73 6.69/6.75 o -85 6.69/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.78 c 779 7270 14990 402869 26 55013 92927 948 115 6.75 6.69/6.78 o -86 6.79/6.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.81 c 783 7270 14996 404773 26 55196 92927 954 115 6.78 6.79/6.81 o -87 6.79/6.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.85 c 793 7270 15008 406697 27 55393 92927 966 116 6.82 6.79/6.85 o -88 7.09/7.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.17 c 806 7270 15023 408631 27 55598 92927 981 117 6.85 7.09/7.17 c 906 7270 15123 447058 29 55798 102220 1081 129 6.98 7.09/7.17 o -89 7.19/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.20 c 1053 7270 15273 491628 32 56275 92927 1231 146 7.18 7.19/7.20 o -90 7.19/7.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.22 c 1057 7270 15279 493541 32 56466 92927 1237 146 7.21 7.19/7.22 o -91 7.19/7.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.25 c 1058 7270 15282 495445 32 56653 92927 1240 146 7.23 7.19/7.25 o -92 7.19/7.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.27 c 1060 7270 15286 497353 32 56844 92927 1244 146 7.25 7.19/7.27 o -93 56.88/56.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.88/56.93 c 1063 7270 15291 499264 32 57039 92927 1249 146 7.28 56.88/56.93 c 1163 7270 15392 501349 32 57334 102220 1350 158 7.33 56.88/56.93 c 1413 7270 15642 591782 37 57834 112443 1600 183 7.68 56.88/56.93 c 1888 7270 16117 713785 44 58784 123688 2075 227 8.29 56.88/56.93 c 2701 7270 16933 1118267 66 60416 136057 2891 287 9.39 56.88/56.93 c 4021 7270 18254 1773298 97 63058 149663 4212 360 11.16 56.88/56.93 c 6102 7270 20335 2805844 137 67220 164630 6293 424 14.39 56.88/56.93 c 9325 7270 23562 4405419 186 73674 181094 9520 460 20.25 56.88/56.93 c 14261 7270 28501 6857514 240 83552 199204 14459 471 30.23 56.88/56.93 c 21767 7270 36012 10503800 291 98574 219125 21970 392 55.48 56.88/56.93 o -94 56.98/57.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.98/57.01 c 22159 7270 36405 10679289 293 99454 92927 22363 389 56.92 56.98/57.01 o -95 56.98/57.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.98/57.06 c 22178 7270 36426 10684037 293 99685 92927 22384 389 57.01 56.98/57.06 o -96 57.08/57.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.08/57.12 c 22188 7270 36438 10685936 293 99900 92927 22396 388 57.06 57.08/57.12 o -97 57.08/57.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.08/57.18 c 22194 7270 36446 10687824 293 100109 92927 22404 388 57.11 57.08/57.18 o -98 57.18/57.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.18/57.26 c 22203 7270 36457 10689723 293 100326 92927 22415 388 57.18 57.18/57.26 o -99 57.48/57.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.48/57.55 c 22224 7270 36480 10691661 293 100569 92927 22438 388 57.26 57.48/57.55 c 22325 7270 36581 10727876 293 100771 102220 22539 388 57.45 57.48/57.55 o -100 57.58/57.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.58/57.60 c 22341 7270 36599 10732190 293 101006 92927 22557 388 57.54 57.58/57.60 o -101 57.58/57.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.58/57.64 c 22344 7270 36604 10734073 293 101217 92927 22562 387 57.59 57.58/57.64 o -102 57.68/57.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.68/57.70 c 22345 7270 36607 10735951 293 101426 92927 22565 387 57.64 57.68/57.70 o -103 57.68/57.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.68/57.75 c 22349 7270 36613 10737839 293 101643 92927 22571 387 57.69 57.68/57.75 o -104 57.68/57.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.68/57.80 c 22351 7270 36617 10739723 293 101858 92927 22575 387 57.74 57.68/57.80 o -105 57.77/57.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.77/57.86 c 22354 7270 36622 10741611 293 102077 92927 22580 386 57.79 57.77/57.86 o -106 57.87/57.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.87/57.91 c 22364 7270 36634 10743522 293 102312 92927 22592 386 57.86 57.87/57.91 o -107 1797.92/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.50 c 22367 7270 36639 10745420 293 102535 92927 22597 386 57.90 1797.92/1798.50 c 22467 7270 36740 10747884 292 102844 102220 22698 387 58.02 1797.92/1798.50 c 22717 7270 36990 10872386 293 103344 112443 22948 388 58.51 1797.92/1798.50 c 23192 7270 37465 11108892 296 104294 123688 23423 391 59.31 1797.92/1798.50 c 24005 7270 38280 11512403 300 105924 136057 24238 395 60.70 1797.92/1798.50 c 25325 7270 39603 12167921 307 108570 149663 25561 401 63.03 1797.92/1798.50 c 27406 7270 41686 13197970 316 112736 164630 27644 409 66.89 1797.92/1798.50 c 30629 7270 44912 14798019 329 119188 181094 30870 418 73.20 1797.92/1798.50 c 35565 7270 49853 17240507 345 129070 199204 35811 427 83.15 1797.92/1798.50 c 43072 7270 57366 20402433 355 144096 219125 43324 354 121.52 1797.92/1798.50 c 54433 7270 68735 26046494 378 166834 241038 54693 378 143.74 1797.92/1798.50 c 71577 7270 85896 34546049 402 201156 265142 71854 383 186.49 1797.92/1798.50 c 97396 7270 111716 47214023 422 252796 291657 97674 283 343.45 1797.92/1798.50 c 136228 7270 150567 65878643 437 330498 320823 136525 220 617.79 1797.92/1798.50 c Reducing formula size due to memory constraints 1797.92/1798.50 c Memory Limit: 1000.00 MB Used: 1005.82 MB 1797.92/1798.50 c 194581 7270 32385 8447171 260 82685 31600 18343 193 1003.64 1797.92/1798.50 c 282214 7270 43361 11484366 264 104637 34761 29319 190 1479.25 1797.92/1798.50 c Resources Exceeded 1797.92/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 -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 1797.92/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.50 c 135 348542 11628 752505 53964 15657688 39922 193 1798.03 1797.92/1798.50 c Objective: -107 1797.92/1798.50 s SATISFIABLE 1797.92/1798.50 c Total time: 1798.03 s
OK -107
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671103-1276718697/watcher-2671103-1276718697 -o /tmp/evaluation-result-2671103-1276718697/solver-2671103-1276718697 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671103-1276718697.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18251 /proc/meminfo: memFree=1797688/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=11488 CPUtime=0 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 13162257 11763712 280 1992294400 134512640 137138936 4292457888 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 2872 281 174 642 0 2090 0 [startup+0.053308 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18251 /proc/meminfo: memFree=1797688/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=12452 CPUtime=0.05 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 673 0 0 0 5 0 0 0 20 0 1 0 13162257 12750848 592 1992294400 134512640 137138936 4292457888 18446744073709551615 134602753 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3113 594 240 642 0 2331 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12452 [startup+0.101313 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18251 /proc/meminfo: memFree=1797688/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=14084 CPUtime=0.09 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 1280 0 0 0 9 0 0 0 20 0 1 0 13162257 14422016 1061 1992294400 134512640 137138936 4292457888 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3521 1063 182 642 0 2877 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14084 [startup+0.301334 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18251 /proc/meminfo: memFree=1797688/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=14492 CPUtime=0.29 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 1405 0 0 0 29 0 0 0 20 0 1 0 13162257 14839808 1186 1992294400 134512640 137138936 4292457888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3623 1186 184 642 0 2979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14492 [startup+0.701378 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18251 /proc/meminfo: memFree=1797688/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=14492 CPUtime=0.69 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 1405 0 0 0 69 0 0 0 20 0 1 0 13162257 14839808 1186 1992294400 134512640 137138936 4292457888 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3623 1186 184 642 0 2979 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14492 [startup+1.50147 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18252 /proc/meminfo: memFree=1793836/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=14492 CPUtime=1.49 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 1405 0 0 0 149 0 0 0 23 0 1 0 13162257 14839808 1186 1992294400 134512640 137138936 4292457888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3623 1186 184 642 0 2979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14492 [startup+3.10164 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18252 /proc/meminfo: memFree=1792844/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=15212 CPUtime=3.09 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 1943 0 0 0 305 4 0 0 25 0 1 0 13162257 15577088 1346 1992294400 134512640 137138936 4292457888 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 3803 1346 192 642 0 3159 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15212 [startup+6.30099 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18254 /proc/meminfo: memFree=1790116/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=18632 CPUtime=6.29 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 2817 0 0 0 621 8 0 0 25 0 1 0 13162257 19079168 2220 1992294400 134512640 137138936 4292457888 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 4658 2220 192 642 0 4014 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18632 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18254 /proc/meminfo: memFree=1766928/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=44300 CPUtime=12.69 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 9227 0 0 0 1252 17 0 0 25 0 1 0 13162257 45363200 8630 1992294400 134512640 137138936 4292457888 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 11075 8630 192 642 0 10431 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44300 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18254 /proc/meminfo: memFree=1720552/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=88332 CPUtime=25.49 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 20247 0 0 0 2522 27 0 0 25 0 1 0 13162257 90451968 19650 1992294400 134512640 137138936 4292457888 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 22083 19650 192 642 0 21439 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88332 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18254 /proc/meminfo: memFree=1663884/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=144712 CPUtime=51.08 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 34348 0 0 0 5063 45 0 0 25 0 1 0 13162257 148185088 33751 1992294400 134512640 137138936 4292457888 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 36178 33751 192 642 0 35534 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 144712 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18256 /proc/meminfo: memFree=1540132/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=267176 CPUtime=102.27 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 64960 0 0 0 10146 81 0 0 25 0 1 0 13162257 273588224 64363 1992294400 134512640 137138936 4292457888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 66794 64363 192 642 0 66150 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 267176 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18258 /proc/meminfo: memFree=1407452/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=401256 CPUtime=162.25 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 98484 0 0 0 16106 119 0 0 25 0 1 0 13162257 410886144 97887 1992294400 134512640 137138936 4292457888 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 100314 97887 192 642 0 99670 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 401256 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18258 /proc/meminfo: memFree=1304036/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=502860 CPUtime=222.23 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 123885 0 0 0 22073 150 0 0 25 0 1 0 13162257 514928640 123288 1992294400 134512640 137138936 4292457888 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 125715 123288 192 642 0 125071 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 502860 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18260 /proc/meminfo: memFree=1240176/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=567132 CPUtime=282.22 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 139951 0 0 0 28053 169 0 0 25 0 1 0 13162257 580743168 139354 1992294400 134512640 137138936 4292457888 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 141783 139354 192 642 0 141139 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 567132 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18262 /proc/meminfo: memFree=1182764/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=623872 CPUtime=342.21 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 154137 0 0 0 34035 186 0 0 25 0 1 0 13162257 638844928 153540 1992294400 134512640 137138936 4292457888 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 155968 153540 192 642 0 155324 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 623872 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18264 /proc/meminfo: memFree=1047108/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=759608 CPUtime=402.18 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 188068 0 0 0 39995 223 0 0 25 0 1 0 13162257 777838592 187471 1992294400 134512640 137138936 4292457888 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 189902 187471 192 642 0 189258 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 759608 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18266 /proc/meminfo: memFree=1012388/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=793924 CPUtime=462.17 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 196651 0 0 0 45985 232 0 0 25 0 1 0 13162257 812978176 196054 1992294400 134512640 137138936 4292457888 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 198481 196054 192 642 0 197837 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 793924 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18266 /proc/meminfo: memFree=982380/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=824176 CPUtime=522.15 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 204199 0 0 0 51976 239 0 0 25 0 1 0 13162257 843956224 203602 1992294400 134512640 137138936 4292457888 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 206044 203602 192 642 0 205400 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 824176 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18268 /proc/meminfo: memFree=953736/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=852388 CPUtime=582.13 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 211264 0 0 0 57967 246 0 0 25 0 1 0 13162257 872845312 210667 1992294400 134512640 137138936 4292457888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 213097 210667 192 642 0 212453 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 852388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18270 /proc/meminfo: memFree=872268/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=933436 CPUtime=642.13 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 231523 0 0 0 63947 266 0 0 25 0 1 0 13162257 955838464 230926 1992294400 134512640 137138936 4292457888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 233359 230926 192 642 0 232715 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 933436 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=762404/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1121.99 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 111871 328 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1042232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18284 /proc/meminfo: memFree=762404/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1181.98 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 117866 332 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1042232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18286 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1241.96 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 123859 337 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1042232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18288 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1301.96 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 129853 343 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1042232 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18290 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1361.93 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 135846 347 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1042232 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18290 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1421.92 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 141839 353 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1042232 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18292 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1481.9 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 147832 358 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1042232 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18294 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1541.89 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 153824 365 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1042232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18296 /proc/meminfo: memFree=762280/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1601.86 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 159813 373 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1042232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18301 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1661.85 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 165807 378 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1042232 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18301 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1721.84 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 171799 385 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1042232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1781.82 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 177791 391 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1042232 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1791.42 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 178751 391 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 1042232 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1794.63 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 179071 392 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 1042232 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1796.22 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 179230 392 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 1042232 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1797.01 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 179309 392 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 1042232 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=1042232 CPUtime=1797.81 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202496 258891 0 0 0 179389 392 0 0 25 0 1 0 13162257 1067245568 258131 1992294400 134512640 137138936 4292457888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18251/statm: 260558 258131 192 642 0 259914 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 1042232 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=0 CPUtime=1798.03 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202500 258892 0 0 0 179410 393 0 0 25 0 1 0 13162257 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18251/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (KiB) 0 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18303 /proc/meminfo: memFree=761908/2059040 swapFree=4140128/4192956 [pid=18251] ppid=18249 vsize=0 CPUtime=1798.12 /proc/18251/stat : 18251 (bsolo_pb10) R 18249 18251 17933 0 -1 4202500 258892 0 0 0 179410 402 0 0 25 0 1 0 13162257 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18251/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798.13 CPU user time (s): 1794.1 CPU system time (s): 4.02839 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1042908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.1 system time used= 4.02839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258892 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= 1 involuntary context switches= 3919 runsolver used 2.80357 second user time and 8.66068 second system time The end
Begin job on node042 at 2010-06-16 22:04:57 IDJOB=2671103 IDBENCH=48268 IDSOLVER=1162 FILE ID=node042/2671103-1276718697 PBS_JOBID= 11174159 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671103-1276718697/watcher-2671103-1276718697 -o /tmp/evaluation-result-2671103-1276718697/solver-2671103-1276718697 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671103-1276718697.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=1611137524 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1798960 kB Buffers: 59776 kB Cached: 121092 kB SwapCached: 6420 kB Active: 86236 kB Inactive: 107744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1798960 kB SwapTotal: 4192956 kB SwapFree: 4140128 kB Dirty: 4128 kB Writeback: 0 kB AnonPages: 10872 kB Mapped: 12912 kB Slab: 44352 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182312 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671103-1276718697.opb Free space on /tmp at the end= 62576 MiB End job on node042 at 2010-06-16 22:34:56