Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | -107 | 1798.03 | 1798.66 |
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 | -146 |
Best CPU time to get the best result obtained on this benchmark | 1796.75 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3737597-1338735996.opb 0.00/0.00 c File size is 563009 bytes. 0.03/0.04 c Highest Coefficient sum: 1000 0.03/0.04 c Parsing was ok!! 0.03/0.04 c Total parsing time: 0.041 s 0.03/0.04 c Var: 7270 Constr: 14042 6770/1002/6270 Lit: 53160 Watch. Lit: 45892 0.03/0.04 c Obj. Vars: 500 (6.87758 % of total variables) 0.79/0.85 c Pre-processing Time: 0.856 s 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 7270 14042 53160 3 45892 91927 0 0 0.86 0.79/0.85 c Switching off lower bounding mode. 0.79/0.86 o -1 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 7270 14043 53660 3 45895 92260 1 0 0.86 0.79/0.88 o -2 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 1 7270 14046 55160 3 45904 92427 4 1 0.89 0.89/0.91 o -3 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 2 7270 14049 56672 4 45915 92594 7 2 0.91 0.89/0.93 o -4 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 3 7270 14052 58193 4 45928 92760 10 3 0.93 0.89/0.95 o -5 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 4 7270 14055 59725 4 45943 92927 13 4 0.95 0.89/0.97 o -6 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 5 7270 14058 61248 4 45960 92927 16 5 0.97 0.89/0.99 o -7 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 6 7270 14061 62794 4 45979 92927 19 6 1.00 0.99/1.02 o -8 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 7 7270 14064 64340 4 46000 92927 22 6 1.02 0.99/1.04 o -9 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 8 7270 14067 65887 4 46023 92927 25 7 1.04 0.99/1.06 o -10 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 11 7270 14072 67447 4 46052 92927 30 10 1.06 0.99/1.08 o -11 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 14 7270 14077 69001 4 46083 92927 35 12 1.09 1.09/1.11 o -12 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 15 7270 14080 70566 5 46112 92927 38 13 1.11 1.09/1.13 o -13 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 16 7270 14083 72122 5 46143 92927 41 14 1.13 1.09/1.15 o -14 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 17 7270 14086 73688 5 46176 92927 44 14 1.15 1.09/1.17 o -15 1.09/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.19 c 18 7270 14089 75267 5 46211 92927 47 15 1.17 1.09/1.19 o -16 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 21 7270 14094 77818 5 46252 92927 52 17 1.19 1.19/1.21 o -17 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 25 7270 14100 80380 5 46297 92927 58 20 1.22 1.19/1.23 o -18 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 29 7270 14106 83420 5 46344 92927 64 23 1.24 1.19/1.26 o -19 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 35 7270 14114 86943 6 46397 92927 72 27 1.26 1.19/1.28 o -20 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 46 7270 14127 92400 6 46462 92927 85 35 1.28 1.29/1.30 o -21 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 49 7270 14132 94023 6 46513 92927 90 37 1.30 1.29/1.33 o -22 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 63 7270 14148 100928 7 46588 92927 106 47 1.33 1.29/1.34 o -23 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 66 7270 14153 102570 7 46643 92927 111 49 1.35 1.29/1.37 o -24 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 70 7270 14159 104216 7 46702 92927 117 51 1.37 1.29/1.39 o -25 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 73 7270 14164 105869 7 46761 92927 122 52 1.39 1.39/1.41 o -26 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 74 7270 14167 107528 7 46818 92927 125 52 1.41 1.39/1.43 o -27 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 76 7270 14171 109197 7 46879 92927 129 53 1.43 1.39/1.45 o -28 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 80 7270 14177 110872 7 46946 92927 135 55 1.45 1.39/1.47 o -29 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 89 7270 14188 112576 7 47025 92927 146 60 1.47 1.39/1.49 o -30 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 92 7270 14193 114265 8 47094 92927 151 61 1.49 1.49/1.51 o -31 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 94 7270 14197 115952 8 47163 92927 155 62 1.51 1.49/1.53 o -32 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 98 7270 14203 117654 8 47238 92927 161 64 1.53 1.49/1.54 o -33 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 104 7270 14211 119370 8 47319 92927 169 67 1.54 1.49/1.56 o -34 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 106 7270 14215 121088 8 47394 92927 173 67 1.56 1.49/1.58 o -35 1.49/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.60 c 110 7270 14221 122812 8 47475 92927 179 69 1.58 1.49/1.60 o -36 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 111 7270 14224 124532 8 47552 92927 182 69 1.60 1.59/1.61 o -37 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 114 7270 14229 126262 8 47635 92927 187 70 1.61 1.59/1.63 o -38 1.59/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.66 c 117 7270 14234 127992 8 47720 92927 192 71 1.63 1.59/1.66 o -39 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 145 7270 14264 138987 9 47857 92927 222 87 1.66 1.59/1.68 o -40 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 147 7270 14268 140715 9 47944 92927 226 87 1.68 1.59/1.69 o -41 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 148 7270 14271 142447 9 48031 92927 229 87 1.69 1.69/1.71 o -42 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 155 7270 14280 144199 10 48132 92927 238 90 1.71 1.69/1.73 o -43 1.69/1.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.74 c 159 7270 14286 145950 10 48229 92927 244 91 1.73 1.69/1.74 o -44 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 164 7270 14293 147711 10 48330 92927 251 93 1.75 1.69/1.76 o -45 1.69/1.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.78 c 168 7270 14299 149470 10 48431 92927 257 95 1.76 1.69/1.78 o -46 1.79/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.80 c 179 7270 14312 151255 10 48548 92927 270 100 1.78 1.79/1.80 o -47 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 191 7270 14326 153045 10 48669 92927 284 105 1.80 1.79/1.82 o -48 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 213 7270 14350 154876 10 48812 92927 308 116 1.82 1.89/1.99 c 313 7270 14450 198650 13 49012 102220 408 166 1.88 1.89/1.99 o -49 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 493 7270 14632 282248 19 49473 92927 590 246 2.00 1.99/2.01 o -50 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 499 7270 14640 284022 19 49588 92927 598 248 2.01 1.99/2.02 o -51 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 501 7270 14644 285790 19 49697 92927 602 247 2.03 1.99/2.04 o -52 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 509 7270 14654 287577 19 49820 92927 612 249 2.04 1.99/2.06 o -53 1.99/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.07 c 511 7270 14658 289348 19 49933 92927 616 248 2.06 1.99/2.07 o -54 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 513 7270 14662 291119 19 50048 92927 620 247 2.07 1.99/2.09 o -55 1.99/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.10 c 518 7270 14669 292901 19 50171 92927 627 248 2.09 1.99/2.10 o -56 2.09/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.11 c 522 7270 14675 294681 20 50294 92927 633 248 2.10 2.09/2.11 o -57 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 525 7270 14680 296465 20 50417 92927 638 248 2.12 2.09/2.13 o -58 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 526 7270 14683 298247 20 50538 92927 641 247 2.13 2.09/2.14 o -59 2.09/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.16 c 533 7270 14692 300060 20 50673 92927 650 248 2.14 2.09/2.16 o -60 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 538 7270 14699 301884 20 50806 92927 657 249 2.16 2.09/2.17 o -61 2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.18 c 544 7270 14707 303713 20 50943 92927 665 250 2.17 2.09/2.18 o -62 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 546 7270 14711 305530 20 51074 92927 669 249 2.19 2.09/2.20 o -63 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 561 7270 14728 310451 21 51233 92927 686 254 2.20 2.19/2.21 o -64 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 562 7270 14731 312287 21 51366 92927 689 253 2.21 2.19/2.22 o -65 2.19/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.23 c 563 7270 14734 314124 21 51501 92927 692 253 2.22 2.19/2.23 o -66 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 564 7270 14737 315961 21 51638 92927 695 252 2.23 2.19/2.24 o -67 2.19/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.26 c 565 7270 14740 317798 21 51777 92927 698 251 2.24 2.19/2.26 o -68 2.19/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.27 c 575 7270 14752 319662 21 51936 92927 710 254 2.26 2.19/2.27 o -69 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 580 7270 14759 321521 21 52087 92927 717 255 2.27 2.19/2.28 o -70 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 587 7270 14768 323389 21 52244 92927 726 257 2.28 2.19/2.29 o -71 2.29/2.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.30 c 593 7270 14776 325259 22 52401 92927 734 258 2.29 2.29/2.30 o -72 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 599 7270 14784 327131 22 52560 92927 742 259 2.31 2.29/2.32 o -73 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 601 7270 14788 328990 22 52713 92927 746 259 2.32 2.29/2.33 o -74 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 604 7270 14793 330855 22 52870 92927 751 259 2.33 2.39/2.41 c 704 7270 14893 370587 24 53070 102220 851 296 2.38 2.39/2.41 o -75 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 742 7270 14933 384006 25 53299 92927 891 307 2.41 2.39/2.42 o -76 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 744 7270 14937 385875 25 53458 92927 895 307 2.42 2.39/2.43 o -77 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 745 7270 14940 387742 25 53617 92927 898 306 2.43 2.39/2.44 o -78 2.39/2.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.45 c 751 7270 14948 389626 26 53788 92927 906 307 2.44 2.39/2.45 o -79 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 755 7270 14954 391506 26 53957 92927 912 308 2.45 2.39/2.46 o -80 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 764 7270 14965 393403 26 54138 92927 923 310 2.46 2.39/2.47 o -81 2.39/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.48 c 767 7270 14970 395289 26 54309 92927 928 310 2.47 2.39/2.48 o -82 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 772 7270 14977 397184 26 54486 92927 935 311 2.48 2.39/2.49 o -83 2.49/2.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.50 c 775 7270 14982 399079 26 54661 92927 940 311 2.49 2.49/2.50 o -84 2.49/2.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.50 c 776 7270 14985 400970 26 54834 92927 943 310 2.50 2.49/2.50 o -85 2.49/2.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.51 c 779 7270 14990 402869 26 55013 92927 948 310 2.51 2.49/2.51 o -86 2.49/2.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.53 c 783 7270 14996 404773 26 55196 92927 954 311 2.52 2.49/2.53 o -87 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 793 7270 15008 406697 27 55393 92927 966 313 2.53 2.49/2.54 o -88 2.59/2.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.68 c 806 7270 15023 408631 27 55598 92927 981 316 2.54 2.59/2.68 c 906 7270 15123 447058 29 55798 102220 1081 349 2.59 2.59/2.68 o -89 2.59/2.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.69 c 1053 7270 15273 491628 32 56275 92927 1231 392 2.69 2.59/2.69 o -90 2.68/2.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.68/2.70 c 1057 7270 15279 493541 32 56466 92927 1237 392 2.69 2.68/2.70 o -91 2.68/2.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.68/2.71 c 1058 7270 15282 495445 32 56653 92927 1240 391 2.70 2.68/2.71 o -92 2.68/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.68/2.72 c 1060 7270 15286 497353 32 56844 92927 1244 391 2.71 2.68/2.72 o -93 23.88/23.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.95 c 1063 7270 15291 499264 32 57039 92927 1249 391 2.72 23.88/23.95 c 1163 7270 15392 501349 32 57334 102220 1350 423 2.74 23.88/23.95 c 1413 7270 15642 591782 37 57834 112443 1600 488 2.89 23.88/23.95 c 1888 7270 16117 713785 44 58784 123688 2075 591 3.19 23.88/23.95 c 2701 7270 16933 1118267 66 60416 136057 2891 725 3.72 23.88/23.95 c 4021 7270 18254 1773298 97 63058 149663 4212 878 4.58 23.88/23.95 c 6102 7270 20335 2805844 137 67220 164630 6293 1003 6.08 23.88/23.95 c 9325 7270 23562 4405419 186 73674 181094 9520 1077 8.65 23.88/23.95 c 14261 7270 28501 6857514 240 83552 199204 14459 1114 12.80 23.88/23.95 c 21767 7270 36012 10503800 291 98574 219125 21970 933 23.31 23.88/23.95 o -94 23.88/23.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.98 c 22159 7270 36405 10679289 293 99454 92927 22363 925 23.95 23.88/23.98 o -95 23.88/23.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.88/23.99 c 22178 7270 36426 10684037 293 99685 92927 22384 924 23.98 23.88/23.99 o -96 23.98/24.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.98/24.01 c 22188 7270 36438 10685936 293 99900 92927 22396 924 23.99 23.98/24.01 o -97 23.98/24.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.98/24.03 c 22194 7270 36446 10687824 293 100109 92927 22404 924 24.01 23.98/24.03 o -98 23.98/24.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.98/24.05 c 22203 7270 36457 10689723 293 100326 92927 22415 924 24.03 23.98/24.05 o -99 24.10/24.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.10/24.15 c 22224 7270 36480 10691661 293 100569 92927 22438 924 24.05 24.10/24.15 c 22325 7270 36581 10727876 293 100771 102220 22539 925 24.12 24.10/24.15 o -100 24.10/24.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.10/24.16 c 22341 7270 36599 10732190 293 101006 92927 22557 925 24.15 24.10/24.16 o -101 24.10/24.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.10/24.18 c 22344 7270 36604 10734073 293 101217 92927 22562 924 24.16 24.10/24.18 o -102 24.10/24.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.10/24.19 c 22345 7270 36607 10735951 293 101426 92927 22565 924 24.18 24.10/24.19 o -103 24.19/24.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.21 c 22349 7270 36613 10737839 293 101643 92927 22571 923 24.19 24.19/24.21 o -104 24.19/24.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.22 c 22351 7270 36617 10739723 293 101858 92927 22575 923 24.20 24.19/24.22 o -105 24.19/24.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.24 c 22354 7270 36622 10741611 293 102077 92927 22580 922 24.22 24.19/24.24 o -106 24.19/24.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.25 c 22364 7270 36634 10743522 293 102312 92927 22592 922 24.24 24.19/24.25 o -107 1797.95/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.63 c 22367 7270 36639 10745420 293 102535 92927 22597 922 24.25 1797.95/1798.63 c 22467 7270 36740 10747884 292 102844 102220 22698 924 24.29 1797.95/1798.63 c 22717 7270 36990 10872386 293 103344 112443 22948 927 24.49 1797.95/1798.63 c 23192 7270 37465 11108892 296 104294 123688 23423 934 24.81 1797.95/1798.63 c 24005 7270 38280 11512403 300 105924 136057 24238 946 25.37 1797.95/1798.63 c 25325 7270 39603 12167921 307 108570 149663 25561 962 26.30 1797.95/1798.63 c 27406 7270 41686 13197970 316 112736 164630 27644 984 27.84 1797.95/1798.63 c 30629 7270 44912 14798019 329 119188 181094 30870 1010 30.32 1797.95/1798.63 c 35565 7270 49853 17240507 345 129070 199204 35811 1042 34.12 1797.95/1798.63 c 43072 7270 57366 20402433 355 144096 219125 43324 945 45.56 1797.95/1798.63 c 54433 7270 68735 26046494 378 166834 241038 54693 1002 54.28 1797.95/1798.63 c 71577 7270 85896 34546049 402 201156 265142 71854 1015 70.51 1797.95/1798.63 c 97396 7270 111716 47214023 422 252796 291657 97674 751 129.52 1797.95/1798.63 c 136228 7270 150567 65878643 437 330498 320823 136525 543 250.45 1797.95/1798.63 c 194580 7270 208930 94729682 453 447224 352906 194888 493 394.15 1797.95/1798.63 c 282212 7270 296596 136338301 459 622556 388197 282554 300 939.14 1797.95/1798.63 c Resources Exceeded 1797.95/1798.63 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.95/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.63 c 135 383747 4944 735026 398145 177883897 384103 213 1798.00 1797.95/1798.63 c Objective: -107 1797.95/1798.63 s SATISFIABLE 1797.95/1798.63 c Total time: 1798 s
OK -107
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737597-1338735996/watcher-3737597-1338735996 -o /tmp/evaluation-result-3737597-1338735996/solver-3737597-1338735996 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737597-1338735996.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.16 2.25 3/178 16825 /proc/meminfo: memFree=28448520/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=11624 CPUtime=0 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 339724372 11902976 310 33554432000 134512640 137136520 4288677760 4288676112 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 2906 310 183 641 0 2124 0 [startup+0.0363011 s] /proc/loadavg: 2.00 2.16 2.25 3/178 16825 /proc/meminfo: memFree=28448520/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=12992 CPUtime=0.03 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 821 0 0 0 3 0 0 0 20 0 1 0 339724372 13303808 775 33554432000 134512640 137136520 4288677760 4288675992 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 3249 775 284 641 0 2467 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12992 [startup+0.100251 s] /proc/loadavg: 2.00 2.16 2.25 3/178 16825 /proc/meminfo: memFree=28448520/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=14492 CPUtime=0.09 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 1375 0 0 0 9 0 0 0 20 0 1 0 339724372 14839808 1191 33554432000 134512640 137136520 4288677760 4288589196 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 3623 1191 189 641 0 2979 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14492 [startup+0.300223 s] /proc/loadavg: 2.00 2.16 2.25 3/178 16825 /proc/meminfo: memFree=28448520/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=14492 CPUtime=0.29 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 1375 0 0 0 29 0 0 0 20 0 1 0 339724372 14839808 1191 33554432000 134512640 137136520 4288677760 4288589196 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 3623 1191 189 641 0 2979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14492 [startup+0.700218 s] /proc/loadavg: 2.00 2.16 2.25 3/178 16825 /proc/meminfo: memFree=28448520/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=14492 CPUtime=0.69 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 1375 0 0 0 69 0 0 0 20 0 1 0 339724372 14839808 1191 33554432000 134512640 137136520 4288677760 4288589196 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 3623 1191 189 641 0 2979 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14492 [startup+1.50022 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16826 /proc/meminfo: memFree=28443676/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=15600 CPUtime=1.49 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 2024 0 0 0 147 2 0 0 20 0 1 0 339724372 15974400 1462 33554432000 134512640 137136520 4288677760 4288676452 136509072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 3900 1462 197 641 0 3256 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15600 [startup+3.10023 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16826 /proc/meminfo: memFree=28439832/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=22976 CPUtime=3.09 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 3877 0 0 0 305 4 0 0 20 0 1 0 339724372 23527424 3315 33554432000 134512640 137136520 4288677760 4288676288 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 5744 3315 197 641 0 5100 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22976 [startup+6.30025 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16826 /proc/meminfo: memFree=28411684/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=52292 CPUtime=6.29 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 11213 0 0 0 622 7 0 0 20 0 1 0 339724372 53547008 10651 33554432000 134512640 137136520 4288677760 4288676688 134544125 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 13073 10651 197 641 0 12429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52292 [startup+12.7002 s] /proc/loadavg: 2.00 2.15 2.24 3/179 16826 /proc/meminfo: memFree=28355272/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=102252 CPUtime=12.69 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 23703 0 0 0 1258 11 0 0 20 0 1 0 339724372 104706048 23141 33554432000 134512640 137136520 4288677760 4288676040 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 25563 23141 197 641 0 24919 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 102252 [startup+25.5003 s] /proc/loadavg: 2.00 2.14 2.24 3/179 16826 /proc/meminfo: memFree=28283972/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=164504 CPUtime=25.48 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 39261 0 0 0 2530 18 0 0 20 0 1 0 339724372 168452096 38699 33554432000 134512640 137136520 4288677760 4288676040 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 41126 38699 197 641 0 40482 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 164504 [startup+51.1003 s] /proc/loadavg: 2.00 2.13 2.23 3/179 16826 /proc/meminfo: memFree=28112432/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=326676 CPUtime=51.08 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 79799 0 0 0 5077 31 0 0 20 0 1 0 339724372 334516224 79237 33554432000 134512640 137136520 4288677760 4288676876 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 81669 79237 197 641 0 81025 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 326676 [startup+102.306 s] /proc/loadavg: 2.00 2.11 2.22 3/179 16826 /proc/meminfo: memFree=27850464/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=557108 CPUtime=102.28 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 137411 0 0 0 10172 56 0 0 20 0 1 0 339724372 570478592 136849 33554432000 134512640 137136520 4288677760 4288676688 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 139277 136849 197 641 0 138633 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 557108 [startup+162.3 s] /proc/loadavg: 2.00 2.08 2.20 3/179 16826 /proc/meminfo: memFree=27606708/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=773532 CPUtime=162.27 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 191518 0 0 0 16150 77 0 0 20 0 1 0 339724372 792096768 190956 33554432000 134512640 137136520 4288677760 4288676528 134573541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 193383 190956 197 641 0 192739 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 773532 [startup+222.3 s] /proc/loadavg: 2.00 2.07 2.18 3/180 16829 /proc/meminfo: memFree=27504056/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=841636 CPUtime=222.26 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 208548 0 0 0 22138 88 0 0 20 0 1 0 339724372 861835264 207986 33554432000 134512640 137136520 4288677760 4288670496 134572140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 210409 207986 197 641 0 209765 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 841636 [startup+282.3 s] /proc/loadavg: 2.00 2.05 2.17 3/179 16830 /proc/meminfo: memFree=27279280/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1029888 CPUtime=282.24 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 255607 0 0 0 28118 106 0 0 20 0 1 0 339724372 1054605312 255045 33554432000 134512640 137136520 4288677760 4288676340 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 257472 255045 197 641 0 256828 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1029888 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.16 3/179 16830 /proc/meminfo: memFree=27098392/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1170708 CPUtime=342.24 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 290814 0 0 0 34101 123 0 0 20 0 1 0 339724372 1198804992 290252 33554432000 134512640 137136520 4288677760 4288676876 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 292677 290252 197 641 0 292033 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1170708 [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.15 3/179 16830 /proc/meminfo: memFree=26961896/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1285808 CPUtime=402.23 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 319588 0 0 0 40084 139 0 0 20 0 1 0 339724372 1316667392 319026 33554432000 134512640 137136520 4288677760 4288676040 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 321452 319026 197 641 0 320808 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1285808 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.13 3/179 16830 /proc/meminfo: memFree=26785472/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1435148 CPUtime=462.22 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 356923 0 0 0 46067 155 0 0 20 0 1 0 339724372 1469591552 356361 33554432000 134512640 137136520 4288677760 4288676040 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 358787 356361 197 641 0 358143 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 1435148 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.12 3/179 16830 /proc/meminfo: memFree=26687292/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1509636 CPUtime=522.21 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 375545 0 0 0 52057 164 0 0 20 0 1 0 339724372 1545867264 374983 33554432000 134512640 137136520 4288677760 4288676688 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 377409 374983 197 641 0 376765 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 1509636 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.11 3/179 16831 /proc/meminfo: memFree=26607548/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=1566060 CPUtime=582.2 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 389653 0 0 0 58047 173 0 0 20 0 1 0 339724372 1603645440 389102 33554432000 134512640 137136520 4288677760 4288676688 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 391515 389102 197 641 0 390871 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 1566060 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=25942168/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2020720 CPUtime=1121.9 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 503557 0 0 0 111946 244 0 0 20 0 1 0 339724372 2069217280 502768 33554432000 134512640 137136520 4288677760 4288676688 134543852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 505180 502768 197 641 0 504536 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 2020720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 17036 /proc/meminfo: memFree=26823684/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2055776 CPUtime=1181.87 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 512338 0 0 0 117937 250 0 0 20 0 1 0 339724372 2105114624 511529 33554432000 134512640 137136520 4288677760 4288676688 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 513944 511529 197 641 0 513300 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 2055776 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.05 3/179 17036 /proc/meminfo: memFree=26574100/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2086204 CPUtime=1241.86 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 519944 0 0 0 123930 256 0 0 20 0 1 0 339724372 2136272896 519131 33554432000 134512640 137136520 4288677760 4288676688 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 521551 519131 197 641 0 520907 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 2086204 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 17036 /proc/meminfo: memFree=26359236/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2113072 CPUtime=1301.85 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 526667 0 0 0 129923 262 0 0 20 0 1 0 339724372 2163785728 525846 33554432000 134512640 137136520 4288677760 4288676688 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 528268 525846 197 641 0 527624 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 2113072 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.04 3/179 17036 /proc/meminfo: memFree=26240596/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2140160 CPUtime=1361.83 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 533470 0 0 0 135915 268 0 0 20 0 1 0 339724372 2191523840 532630 33554432000 134512640 137136520 4288677760 4288676688 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 535040 532630 197 641 0 534396 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 2140160 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.03 3/180 17039 /proc/meminfo: memFree=26136704/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2166576 CPUtime=1421.8 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 540099 0 0 0 141907 273 0 0 20 0 1 0 339724372 2218573824 539231 33554432000 134512640 137136520 4288677760 4288676688 134543939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 541644 539231 197 641 0 541000 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 2166576 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.02 3/179 17040 /proc/meminfo: memFree=26054652/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2191228 CPUtime=1481.78 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 546246 0 0 0 147899 279 0 0 20 0 1 0 339724372 2243817472 545369 33554432000 134512640 137136520 4288677760 4288676688 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 547807 545369 197 641 0 547163 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 2191228 [startup+1542.3 s] /proc/loadavg: 2.04 2.01 2.02 3/179 17040 /proc/meminfo: memFree=25982140/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2213864 CPUtime=1541.77 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 551929 0 0 0 153895 282 0 0 20 0 1 0 339724372 2266996736 551047 33554432000 134512640 137136520 4288677760 4288676340 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 553466 551047 197 641 0 552822 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 2213864 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.02 3/179 17040 /proc/meminfo: memFree=25919920/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2236080 CPUtime=1601.76 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 557488 0 0 0 159889 287 0 0 20 0 1 0 339724372 2289745920 556603 33554432000 134512640 137136520 4288677760 4288676688 134543939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 559020 556603 197 641 0 558376 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 2236080 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 17040 /proc/meminfo: memFree=25850632/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2263992 CPUtime=1661.73 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 564484 0 0 0 165880 293 0 0 20 0 1 0 339724372 2318327808 563584 33554432000 134512640 137136520 4288677760 4288676688 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 565998 563584 197 641 0 565354 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 2263992 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.01 3/179 17040 /proc/meminfo: memFree=25795480/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2288604 CPUtime=1721.7 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 570667 0 0 0 171870 300 0 0 20 0 1 0 339724372 2343530496 569730 33554432000 134512640 137136520 4288677760 4288676688 134543881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 572151 569730 197 641 0 571507 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 2288604 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25734756/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2311672 CPUtime=1781.66 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 576469 0 0 0 177861 305 0 0 20 0 1 0 339724372 2367152128 575500 33554432000 134512640 137136520 4288677760 4288676688 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 577918 575500 197 641 0 577274 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 2311672 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25721712/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2314956 CPUtime=1791.26 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577297 0 0 0 178820 306 0 0 20 0 1 0 339724372 2370514944 576322 33554432000 134512640 137136520 4288677760 4288676688 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 578739 576322 197 641 0 578095 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 2314956 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25715636/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2316628 CPUtime=1794.46 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577712 0 0 0 179140 306 0 0 20 0 1 0 339724372 2372227072 576737 33554432000 134512640 137136520 4288677760 4288676620 136518915 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579157 576737 197 641 0 578513 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 2316628 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25714024/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2316968 CPUtime=1796.05 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577797 0 0 0 179299 306 0 0 20 0 1 0 339724372 2372575232 576822 33554432000 134512640 137136520 4288677760 4288676040 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579242 576822 197 641 0 578598 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 2316968 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25712164/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2317272 CPUtime=1796.85 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577875 0 0 0 179379 306 0 0 20 0 1 0 339724372 2372886528 576900 33554432000 134512640 137136520 4288677760 4288676688 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579318 576900 197 641 0 578674 0 Current children cumulated CPU time (s) 1796.85 Current children cumulated vsize (KiB) 2317272 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25712164/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2317524 CPUtime=1797.65 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577938 0 0 0 179459 306 0 0 20 0 1 0 339724372 2373144576 576963 33554432000 134512640 137136520 4288677760 4288676688 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579381 576963 197 641 0 578737 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 2317524 [startup+1798.51 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25710552/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2317576 CPUtime=1797.86 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577959 0 0 0 179480 306 0 0 20 0 1 0 339724372 2373197824 576984 33554432000 134512640 137136520 4288677760 4288676688 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579394 576984 197 641 0 578750 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 2317576 [startup+1798.6 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17041 /proc/meminfo: memFree=25710552/32873844 swapFree=7620/7620 [pid=16825] ppid=16823 vsize=2317628 CPUtime=1797.95 cores=0,2,4,6 /proc/16825/stat : 16825 (bsolo) R 16823 16825 13121 0 -1 4202496 577971 0 0 0 179489 306 0 0 20 0 1 0 339724372 2373251072 576996 33554432000 134512640 137136520 4288677760 4288676688 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16825/statm: 579407 576996 197 641 0 578763 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 2317628 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.03 CPU user time (s): 1794.93 CPU system time (s): 3.09453 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 2317628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.93 system time used= 3.09453 maximum resident set size= 2308016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 577980 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= 468 involuntary context switches= 1916 runsolver used 2.55961 second user time and 7.2559 second system time The end
Begin job on node135 at 2012-06-03 17:06:36 IDJOB=3737597 IDBENCH=48268 IDSOLVER=2320 FILE ID=node135/3737597-1338735996 RUNJOBID= node135-1338712994-13137 PBS_JOBID= 14636721 Free space on /tmp= 70976 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737597-1338735996/watcher-3737597-1338735996 -o /tmp/evaluation-result-3737597-1338735996/solver-3737597-1338735996 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737597-1338735996.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=356720482 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28450164 kB Buffers: 373972 kB Cached: 2503308 kB SwapCached: 1672 kB Active: 1867192 kB Inactive: 1707876 kB Active(anon): 688236 kB Inactive(anon): 12036 kB Active(file): 1178956 kB Inactive(file): 1695840 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 3932 kB Writeback: 0 kB AnonPages: 751200 kB Mapped: 11236 kB Shmem: 132 kB Slab: 707856 kB SReclaimable: 149804 kB SUnreclaim: 558052 kB KernelStack: 1488 kB PageTables: 5052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 819316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737597-1338735996.opb Free space on /tmp at the end= 70972 MiB End job on node135 at 2012-06-03 17:36:35