Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | -103 | 1798.16 | 1798.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
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 | -99 |
Best CPU time to get the best result obtained on this benchmark | 1800.62 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -136 |
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) | 12636 |
Sum of products size (including duplicates) | 25272 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876848-1245209522.opb 0.00/0.00 c File size is 566997 bytes. 0.01/0.08 c Highest Coefficient sum: 1000 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.085 s 0.01/0.09 c Var: 7318 Constr: 14138 6818/1002/6318 Lit: 53544 Watch. Lit: 46228 0.01/0.09 c Obj. Vars: 500 (6.83247 % of total variables) 1.89/2.00 c Pre-processing Time: 1.998 s 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 0 7318 14138 53544 3 46228 93231 0 0 2.00 1.99/2.00 c Switching off lower bounding mode. 1.99/2.01 o -1 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 0 7318 14139 54044 3 46231 93564 1 0 2.02 1.99/2.06 o -2 2.09/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.10 c 1 7318 14142 55544 3 46240 93731 4 0 2.06 2.09/2.10 o -3 2.09/2.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.15 c 2 7318 14145 57059 4 46251 93898 7 0 2.11 2.09/2.15 o -4 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 3 7318 14148 58574 4 46264 94064 10 1 2.16 2.09/2.20 o -5 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 4 7318 14151 60102 4 46279 94231 13 1 2.20 2.19/2.25 o -6 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 5 7318 14154 61630 4 46296 94231 16 2 2.25 2.19/2.29 o -7 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 6 7318 14157 63169 4 46315 94231 19 2 2.30 2.29/2.34 o -8 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 7 7318 14160 64719 4 46336 94231 22 2 2.35 2.29/2.39 o -9 2.38/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.43 c 8 7318 14163 66273 4 46359 94231 25 3 2.39 2.38/2.43 o -10 2.38/2.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.48 c 9 7318 14166 67847 4 46384 94231 28 3 2.44 2.38/2.48 o -11 2.49/2.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.53 c 10 7318 14169 69420 4 46411 94231 31 4 2.49 2.49/2.53 o -12 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 11 7318 14172 71008 5 46440 94231 34 4 2.53 2.49/2.57 o -13 2.59/2.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.62 c 14 7318 14177 72602 5 46475 94231 39 5 2.58 2.59/2.62 o -14 2.59/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.67 c 16 7318 14181 74215 5 46510 94231 43 6 2.62 2.59/2.67 o -15 2.69/2.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.71 c 24 7318 14191 75845 5 46559 94231 53 8 2.67 2.69/2.71 o -16 2.69/2.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.75 c 25 7318 14194 77455 5 46596 94231 56 9 2.72 2.69/2.75 o -17 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 27 7318 14198 79069 5 46637 94231 60 9 2.76 2.79/2.80 o -18 2.79/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.85 c 31 7318 14204 82132 5 46684 94231 66 11 2.81 2.79/2.85 o -19 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 36 7318 14211 85193 5 46735 94231 73 12 2.85 2.79/2.89 o -20 2.89/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.94 c 41 7318 14218 88730 6 46788 94231 80 14 2.90 2.89/2.94 o -21 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 47 7318 14226 92751 6 46845 94231 88 15 2.94 2.89/2.98 o -22 2.99/3.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.03 c 54 7318 14235 96800 6 46906 94231 97 18 2.99 2.99/3.03 o -23 2.99/3.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.07 c 66 7318 14249 102295 7 46979 94231 111 21 3.03 2.99/3.07 o -24 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 70 7318 14255 103967 7 47038 94231 117 22 3.07 3.09/3.11 o -25 3.09/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.15 c 74 7318 14261 105640 7 47099 94231 123 23 3.12 3.09/3.15 o -26 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 75 7318 14264 107304 7 47156 94231 126 23 3.16 3.09/3.19 o -27 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 76 7318 14267 108979 7 47215 94231 129 23 3.20 3.19/3.23 o -28 3.19/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.27 c 78 7318 14271 110666 7 47278 94231 133 24 3.24 3.19/3.27 o -29 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 82 7318 14277 112369 7 47347 94231 139 25 3.28 3.29/3.31 o -30 3.29/3.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.35 c 88 7318 14285 114075 7 47422 94231 147 26 3.32 3.29/3.35 o -31 3.29/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.39 c 91 7318 14290 115783 8 47493 94231 152 27 3.36 3.29/3.39 o -32 3.39/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.43 c 92 7318 14293 117485 8 47562 94231 155 27 3.40 3.39/3.43 o -33 3.39/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.48 c 99 7318 14302 119214 8 47645 94231 164 28 3.44 3.39/3.48 o -34 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 117 7318 14322 120976 8 47752 94231 184 33 3.48 3.49/3.58 o -35 3.59/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.62 c 198 7318 14406 155863 10 47989 94231 268 55 3.59 3.59/3.62 o -36 3.59/3.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.66 c 207 7318 14417 157606 10 48082 94231 279 57 3.63 3.59/3.66 o -37 3.69/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.70 c 209 7318 14421 159333 11 48163 94231 283 57 3.67 3.69/3.70 o -38 3.69/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.74 c 213 7318 14427 161067 11 48250 94231 289 57 3.70 3.69/3.74 o -39 3.69/3.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.78 c 215 7318 14431 162808 11 48335 94231 293 57 3.74 3.69/3.78 o -40 3.79/3.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.81 c 221 7318 14439 164561 11 48430 94231 301 58 3.78 3.79/3.81 o -41 3.79/3.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.85 c 222 7318 14442 166303 11 48517 94231 304 58 3.82 3.79/3.85 o -42 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 225 7318 14447 168056 11 48610 94231 309 58 3.86 3.79/3.89 o -43 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 228 7318 14452 169811 11 48705 94231 314 58 3.89 3.89/3.93 o -44 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 230 7318 14456 171563 11 48800 94231 318 58 3.93 3.89/3.97 o -45 3.99/4.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.01 c 239 7318 14467 173336 11 48911 94231 329 60 3.97 3.99/4.01 o -46 3.99/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.06 c 252 7318 14482 175128 12 49032 94231 344 62 4.02 3.99/4.06 o -47 4.08/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.10 c 272 7318 14504 181919 12 49169 94231 366 66 4.07 4.08/4.10 o -48 4.08/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.14 c 284 7318 14518 183722 12 49292 94231 380 69 4.11 4.08/4.14 o -49 4.08/4.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.18 c 294 7318 14530 185528 12 49413 94231 392 70 4.15 4.08/4.18 o -50 4.19/4.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.21 c 296 7318 14534 187316 12 49520 94231 396 70 4.18 4.19/4.21 o -51 4.19/4.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.25 c 301 7318 14541 189113 13 49635 94231 403 71 4.22 4.19/4.25 o -52 4.19/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.28 c 306 7318 14548 190913 13 49752 94231 410 71 4.25 4.19/4.28 o -53 4.59/4.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.60 c 312 7318 14556 192722 13 49873 94231 418 72 4.29 4.59/4.60 c 412 7318 14656 241212 16 50073 103655 518 93 4.40 4.59/4.60 o -54 4.59/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.63 c 574 7318 14820 321802 21 50508 94231 682 124 4.61 4.59/4.63 o -55 4.59/4.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.67 c 576 7318 14824 323611 21 50625 94231 686 124 4.64 4.59/4.67 o -56 4.69/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.70 c 580 7318 14830 325429 21 50748 94231 692 124 4.67 4.69/4.70 o -57 4.69/4.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.74 c 584 7318 14836 327248 22 50873 94231 698 124 4.71 4.69/4.74 o -58 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 587 7318 14841 329067 22 50998 94231 703 123 4.74 4.69/4.77 o -59 4.79/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.80 c 591 7318 14847 330889 22 51127 94231 709 123 4.77 4.79/4.80 o -60 4.79/4.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.84 c 594 7318 14852 332714 22 51256 94231 714 123 4.81 4.79/4.84 o -61 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 600 7318 14860 334549 22 51393 94231 722 123 4.84 4.79/4.87 o -62 4.88/4.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.90 c 603 7318 14865 336385 22 51526 94231 727 123 4.88 4.88/4.90 o -63 4.88/4.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.93 c 607 7318 14871 338225 22 51663 94231 733 123 4.91 4.88/4.93 o -64 4.88/4.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.88/4.97 c 610 7318 14876 340063 22 51800 94231 738 123 4.94 4.88/4.97 o -65 4.99/5.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.00 c 613 7318 14881 341901 22 51939 94231 743 123 4.97 4.99/5.00 o -66 4.99/5.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.04 c 619 7318 14889 343751 23 52086 94231 751 123 5.01 4.99/5.04 o -67 4.99/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.07 c 628 7318 14900 345612 23 52241 94231 762 124 5.04 4.99/5.07 o -68 5.19/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.21 c 635 7318 14909 347469 23 52394 94231 771 125 5.08 5.19/5.21 c 735 7318 15009 388187 25 52594 103655 871 142 5.17 5.19/5.21 o -69 5.19/5.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.24 c 739 7318 15015 390034 25 52743 94231 877 141 5.21 5.19/5.24 o -70 5.19/5.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.27 c 742 7318 15020 391882 26 52892 94231 882 141 5.24 5.19/5.27 o -71 5.29/5.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.30 c 749 7318 15029 393750 26 53051 94231 891 141 5.28 5.29/5.30 o -72 5.29/5.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.34 c 753 7318 15035 395609 26 53206 94231 897 141 5.31 5.29/5.34 o -73 5.29/5.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.37 c 759 7318 15043 397482 26 53367 94231 905 142 5.34 5.29/5.37 o -74 5.29/5.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.40 c 763 7318 15049 399355 26 53526 94231 911 142 5.37 5.29/5.40 o -75 5.40/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.43 c 766 7318 15054 401230 26 53685 94231 916 141 5.40 5.40/5.43 o -76 5.40/5.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.40/5.47 c 783 7318 15073 403146 26 53874 94231 935 143 5.44 5.40/5.47 o -77 5.50/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.53 c 796 7318 15088 405057 26 54057 94231 950 145 5.47 5.50/5.53 o -78 5.50/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.56 c 834 7318 15128 417145 27 54292 94231 990 150 5.54 5.50/5.56 o -79 5.50/5.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.59 c 836 7318 15132 419025 27 54457 94231 994 150 5.56 5.50/5.59 o -80 5.59/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.61 c 839 7318 15137 420908 27 54626 94231 999 150 5.59 5.59/5.61 o -81 5.59/5.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.64 c 843 7318 15143 422799 27 54799 94231 1005 150 5.62 5.59/5.64 o -82 5.59/5.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.68 c 850 7318 15152 424707 28 54980 94231 1014 150 5.65 5.59/5.68 o -83 5.69/5.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.71 c 859 7318 15163 426617 28 55167 94231 1025 151 5.68 5.69/5.71 o -84 5.69/5.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.74 c 868 7318 15174 428531 28 55356 94231 1036 151 5.71 5.69/5.74 o -85 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 882 7318 15190 430463 28 55557 94231 1052 153 5.75 5.79/5.83 o -86 5.79/5.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.86 c 942 7318 15252 452749 29 55852 94231 1114 161 5.84 5.79/5.86 o -87 5.79/5.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.89 c 946 7318 15258 454651 29 56037 94231 1120 161 5.87 5.79/5.89 o -88 5.89/5.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.92 c 951 7318 15265 456559 29 56226 94231 1127 161 5.89 5.89/5.92 o -89 5.89/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.95 c 965 7318 15281 458498 30 56435 94231 1143 162 5.93 5.89/5.95 o -90 5.89/5.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.98 c 973 7318 15291 460419 30 56634 94231 1153 163 5.96 5.89/5.98 o -91 5.99/6.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.01 c 984 7318 15304 462349 30 56841 94231 1166 164 5.99 5.99/6.01 o -92 5.99/6.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.04 c 994 7318 15316 464279 30 57048 94231 1178 165 6.01 5.99/6.04 o -93 6.09/6.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.19 c 1004 7318 15328 466206 30 57257 94231 1190 166 6.05 6.09/6.19 c 1104 7318 15429 502709 32 57552 103655 1291 178 6.18 6.09/6.19 o -94 6.19/6.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.21 c 1105 7318 15431 503616 32 57650 94231 1293 178 6.19 6.19/6.21 o -95 6.19/6.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.24 c 1107 7318 15435 505519 32 57847 94231 1297 177 6.22 6.19/6.24 o -96 98.96/99.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.96/99.01 c 1108 7318 15438 507422 32 58044 94231 1300 177 6.24 98.96/99.01 c 1208 7318 15539 525092 33 58342 103655 1401 190 6.34 98.96/99.01 c 1458 7318 15789 649520 41 58842 114021 1651 220 6.62 98.96/99.01 c 1933 7318 16267 886012 54 59798 125424 2129 273 7.08 98.96/99.01 c 2746 7318 17083 1289514 75 61430 137967 2945 346 7.92 98.96/99.01 c 4066 7318 18403 1943535 105 64070 151764 4265 437 9.30 98.96/99.01 c 6147 7318 20484 2978040 145 68232 166941 6346 529 11.62 98.96/99.01 c 9370 7318 23709 4577568 193 74682 183636 9571 582 16.08 98.96/99.01 c 14306 7318 28647 7030627 245 84558 202000 14509 547 26.14 98.96/99.01 c 21812 7318 36159 10756095 297 99582 222201 22021 384 56.66 98.96/99.01 o -97 98.96/99.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 98.96/99.07 c 32501 7318 46856 15956689 340 121073 94231 32718 328 98.98 98.96/99.07 o -98 99.05/99.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.05/99.12 c 32512 7318 46869 15959809 340 121294 94231 32731 328 99.04 99.05/99.12 o -99 99.05/99.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.05/99.16 c 32517 7318 46876 15961711 340 121505 94231 32738 328 99.09 99.05/99.16 o -100 99.16/99.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.16/99.21 c 32522 7318 46883 15963616 340 121718 94231 32745 328 99.14 99.16/99.21 o -101 680.06/680.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 680.06/680.36 c 32527 7318 46890 15965526 340 121933 94231 32752 327 99.19 680.06/680.36 c 32627 7318 46991 15968112 339 122236 103655 32853 328 99.31 680.06/680.36 c 32878 7318 47242 16060319 339 122738 114021 33104 329 99.78 680.06/680.36 c 33353 7318 47717 16155935 338 123688 125424 33579 330 100.78 680.06/680.36 c 34166 7318 48533 16559942 341 125320 137967 34395 334 102.19 680.06/680.36 c 35486 7318 49853 17215946 345 127960 151764 35715 339 104.40 680.06/680.36 c 37567 7318 51934 18249426 351 132122 166941 37796 347 108.17 680.06/680.36 c 40790 7318 55159 19846930 359 138572 183636 41021 356 114.28 680.06/680.36 c 45726 7318 60101 22292362 370 148456 202000 45963 361 126.52 680.06/680.36 c 53233 7318 67621 25769960 381 163496 222201 53483 352 151.05 680.06/680.36 c 64594 7318 78986 31415981 397 186226 244422 64848 372 173.32 680.06/680.36 c 81738 7318 96142 39104399 406 220538 268865 82004 348 234.26 680.06/680.36 c 107558 7318 121982 51785629 424 272218 295752 107844 348 308.44 680.06/680.36 c 146391 7318 160830 70274197 436 349914 325328 146692 234 623.37 680.06/680.36 o -102 1456.39/1456.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1456.39/1456.95 c 167883 7318 182345 80890512 443 393046 94231 168207 246 680.13 1456.39/1456.95 c 167983 7318 26339 5982460 227 70834 103655 12201 206 812.08 1456.39/1456.95 c 168233 7318 26589 6073654 228 71334 114021 12451 207 812.54 1456.39/1456.95 c 168709 7318 27066 6161691 227 72288 125424 12928 207 813.85 1456.39/1456.95 c 169522 7318 27879 6566684 235 73914 137967 13741 208 815.00 1456.39/1456.95 c 170842 7318 29200 7221676 247 76556 151764 15062 209 816.89 1456.39/1456.95 c 172923 7318 31282 8254670 263 80720 166941 17144 210 819.90 1456.39/1456.95 c 176146 7318 34507 9855622 285 87170 183636 20369 213 825.23 1456.39/1456.95 c 181082 7318 39447 12305121 311 97050 202000 25309 216 836.06 1456.39/1456.95 c 188588 7318 46960 16034656 341 112076 222201 32822 220 856.01 1456.39/1456.95 c 199950 7318 58335 21304187 365 134826 244422 44197 225 886.16 1456.39/1456.95 c 217095 7318 75480 28024011 371 169116 268865 61342 216 1001.31 1456.39/1456.95 c 242914 7318 101317 40848035 403 220790 295752 87179 231 1048.50 1456.39/1456.95 c 281747 7318 140155 60067738 428 298466 325328 126017 204 1375.85 1456.39/1456.95 o -103 1797.96/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.63 c 301657 7318 160097 69809252 436 338453 94231 145959 207 1456.45 1797.96/1798.63 c 301757 7318 26184 5851689 223 70526 103655 12046 199 1512.76 1797.96/1798.63 c 302007 7318 26434 5942269 224 71026 114021 12296 199 1513.21 1797.96/1798.63 c 302483 7318 26910 6051652 224 71978 125424 12772 199 1514.04 1797.96/1798.63 c 303296 7318 27724 6457141 232 73606 137967 13586 200 1515.26 1797.96/1798.63 c 304616 7318 29045 7112105 244 76248 151764 14907 200 1517.14 1797.96/1798.63 c 306697 7318 31126 8145102 261 80410 166941 16988 201 1520.28 1797.96/1798.63 c 309920 7318 34351 9745612 283 86860 183636 20213 203 1525.51 1797.96/1798.63 c 314856 7318 39289 12198666 310 96736 202000 25151 205 1534.45 1797.96/1798.63 c 322362 7318 46801 15930686 340 111760 222201 32663 208 1549.07 1797.96/1798.63 c 333723 7318 58179 21363768 367 134516 244422 44041 209 1592.99 1797.96/1798.63 c 350867 7318 75350 29855742 396 168858 268865 61212 215 1627.58 1797.96/1798.63 c 376687 7318 101174 42090820 416 220506 295752 87036 211 1782.69 1797.96/1798.63 c Resources Exceeded 1797.96/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 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -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.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 153 385156 8306 982738 109648 46294933 95510 214 1798.00 1797.96/1798.63 c Objective: -103 1797.96/1798.63 s SATISFIABLE 1797.96/1798.63 c Total time: 1798 s
OK -103
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876848-1245209522/watcher-1876848-1245209522 -o /tmp/evaluation-result-1876848-1245209522/solver-1876848-1245209522 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876848-1245209522.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4177 /proc/meminfo: memFree=1805216/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=11276 CPUtime=0 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 188552604 11546624 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 2819 246 173 640 0 2036 0 [startup+0.0137651 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4177 /proc/meminfo: memFree=1805216/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=11552 CPUtime=0.01 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 344 0 0 0 1 0 0 0 18 0 1 0 188552604 11829248 328 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 2888 328 186 640 0 2105 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11552 [startup+0.10178 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4177 /proc/meminfo: memFree=1805216/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=14500 CPUtime=0.09 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 1347 0 0 0 9 0 0 0 18 0 1 0 188552604 14848000 1192 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 3625 1192 189 640 0 2981 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14500 [startup+0.301813 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4177 /proc/meminfo: memFree=1805216/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=14624 CPUtime=0.29 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 1351 0 0 0 29 0 0 0 19 0 1 0 188552604 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14624 [startup+0.701881 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4177 /proc/meminfo: memFree=1805216/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=14624 CPUtime=0.69 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 1351 0 0 0 69 0 0 0 22 0 1 0 188552604 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14624 [startup+1.50201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1801176/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=14624 CPUtime=1.49 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 1351 0 0 0 149 0 0 0 25 0 1 0 188552604 14974976 1196 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 3656 1196 189 640 0 3012 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14624 [startup+3.10128 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1800728/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=15448 CPUtime=3.09 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 1979 0 0 0 306 3 0 0 25 0 1 0 188552604 15818752 1441 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 3862 1441 197 640 0 3218 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15448 [startup+6.30183 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1796056/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=21036 CPUtime=6.29 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 3375 0 0 0 621 8 0 0 25 0 1 0 188552604 21540864 2837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 5259 2837 197 640 0 4615 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21036 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1760544/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=58440 CPUtime=12.68 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 12724 0 0 0 1254 14 0 0 25 0 1 0 188552604 59842560 12186 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 14610 12186 197 640 0 13966 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58440 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1711520/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=104116 CPUtime=25.48 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 24145 0 0 0 2526 22 0 0 25 0 1 0 188552604 106614784 23607 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 26029 23607 197 640 0 25385 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 104116 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1671456/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=144704 CPUtime=51.07 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 34290 0 0 0 5074 33 0 0 25 0 1 0 188552604 148176896 33752 1992294400 134512640 137136520 4294956256 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 36176 33752 197 640 0 35532 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 144704 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1586592/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=228836 CPUtime=102.26 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 55321 0 0 0 10166 60 0 0 25 0 1 0 188552604 234328064 54783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 57209 54783 197 640 0 56565 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 228836 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1430944/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=386096 CPUtime=162.24 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 94635 0 0 0 16121 103 0 0 25 0 1 0 188552604 395362304 94097 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 96524 94097 197 640 0 95880 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 386096 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1304416/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=510272 CPUtime=222.22 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 125677 0 0 0 22082 140 0 0 25 0 1 0 188552604 522518528 125139 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 127568 125139 197 640 0 126924 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 510272 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1172000/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=643948 CPUtime=282.2 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 159102 0 0 0 28047 173 0 0 25 0 1 0 188552604 659402752 158564 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 160987 158564 197 640 0 160343 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 643948 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1049568/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=764596 CPUtime=342.17 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 189266 0 0 0 34011 206 0 0 25 0 1 0 188552604 782946304 188728 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 191149 188728 197 640 0 190505 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 764596 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=1004896/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=809508 CPUtime=402.15 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 200489 0 0 0 39998 217 0 0 25 0 1 0 188552604 828936192 199951 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 202377 199951 197 640 0 201733 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 809508 [startup+462.302 s] /proc/loadavg: 1.10 1.03 1.00 2/65 4178 /proc/meminfo: memFree=968992/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=845004 CPUtime=462.13 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 209363 0 0 0 45988 225 0 0 25 0 1 0 188552604 865284096 208825 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 211251 208825 197 640 0 210607 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 845004 [startup+522.302 s] /proc/loadavg: 1.10 1.04 1.00 2/65 4178 /proc/meminfo: memFree=937376/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=876792 CPUtime=522.11 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 217312 0 0 0 51977 234 0 0 25 0 1 0 188552604 897835008 216774 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 219198 216774 197 640 0 218554 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 876792 [startup+582.302 s] /proc/loadavg: 1.03 1.03 1.00 2/65 4178 /proc/meminfo: memFree=908768/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=905052 CPUtime=582.09 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 224375 0 0 0 57966 243 0 0 25 0 1 0 188552604 926773248 223837 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 226263 223837 197 640 0 225619 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 905052 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4178 /proc/meminfo: memFree=839328/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=974168 CPUtime=642.07 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 241653 0 0 0 63948 259 0 0 25 0 1 0 188552604 997548032 241115 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 243542 241115 197 640 0 242898 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 974168 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=751840/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1061.92 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 105885 307 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1061276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4178 /proc/meminfo: memFree=751840/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1121.9 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 111881 309 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 1061276 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1181.88 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 117877 311 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134573896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1061276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1241.86 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 123872 314 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1061276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1301.84 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 129869 315 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1061276 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1361.81 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 135865 316 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1061276 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1421.8 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 141857 323 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1061276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061276 CPUtime=1481.78 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 147853 325 0 0 25 0 1 0 188552604 1086746624 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265319 262880 197 640 0 264675 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1061276 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1541.76 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 153847 329 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1061252 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1601.73 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 159838 335 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1061252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1661.71 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 165829 342 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1061252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4180 /proc/meminfo: memFree=751776/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1721.69 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 171824 345 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1061252 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1781.67 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 177820 347 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1061252 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1791.26 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 178779 347 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 134616499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 1061252 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1794.47 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 179099 348 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 1061252 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1796.06 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 179258 348 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 1061252 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1796.86 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 179338 348 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 1061252 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=1061252 CPUtime=1797.65 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194304 263583 0 0 0 179417 348 0 0 25 0 1 0 188552604 1086722048 262880 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4177/statm: 265313 262880 197 640 0 264669 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 1061252 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4186 /proc/meminfo: memFree=751712/2055920 swapFree=4192812/4192956 [pid=4177] ppid=4175 vsize=0 CPUtime=1798.06 /proc/4177/stat : 4177 (bsolo) R 4175 4177 3479 0 -1 4194308 263585 0 0 0 179451 355 0 0 17 0 1 0 188552604 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/4177/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.79 CPU time (s): 1798.16 CPU user time (s): 1794.51 CPU system time (s): 3.64545 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 1061936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.51 system time used= 3.64545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 263585 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= 4 involuntary context switches= 2601 runsolver used 1.3078 second user time and 3.75543 second system time The end
Begin job on node15 at 2009-06-17 05:32:02 IDJOB=1876848 IDBENCH=48258 IDSOLVER=699 FILE ID=node15/1876848-1245209522 PBS_JOBID= 9368352 Free space on /tmp= 66304 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876848-1245209522/watcher-1876848-1245209522 -o /tmp/evaluation-result-1876848-1245209522/solver-1876848-1245209522 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876848-1245209522.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED=329539980 node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1806080 kB Buffers: 52540 kB Cached: 125620 kB SwapCached: 0 kB Active: 100284 kB Inactive: 91304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806080 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4132 kB Writeback: 0 kB Mapped: 23248 kB Slab: 44220 kB Committed_AS: 196364 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876848-1245209522.opb Free space on /tmp at the end= 66300 MiB End job on node15 at 2009-06-17 06:02:01