Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -106 | 1798.56 | 1799.23 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
MD5SUM | 95bfca9fba26d7f8c875796701522876 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -101 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean 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-1879684-1245247134.opb 0.00/0.00 c File size is 567733 bytes. 0.00/0.08 c Highest Coefficient sum: 1000 0.00/0.08 c Parsing was ok!! 0.00/0.08 c Total parsing time: 0.079 s 0.08/0.09 c Var: 7326 Constr: 14154 6826/1002/6326 Lit: 53608 Watch. Lit: 46284 0.08/0.09 c Obj. Vars: 500 (6.82501 % of total variables) 1.79/1.84 c Pre-processing Time: 1.845 s 1.79/1.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.84 c 0 7326 14154 53608 3 46284 93247 0 0 1.84 1.79/1.84 c Switching off lower bounding mode. 1.79/1.86 o -1 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 0 7326 14155 54108 3 46287 93580 1 0 1.86 1.89/1.92 o -2 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 1 7326 14158 55608 3 46296 93747 4 0 1.93 1.89/1.99 o -3 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 2 7326 14161 57121 4 46307 93914 7 1 1.99 1.99/2.05 o -4 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 3 7326 14164 58634 4 46320 94080 10 1 2.06 2.09/2.12 o -5 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 4 7326 14167 60158 4 46335 94247 13 1 2.13 2.09/2.19 o -6 2.19/2.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.26 c 5 7326 14170 61682 4 46352 94247 16 2 2.20 2.19/2.26 o -7 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 8 7326 14177 63259 4 46408 94247 23 3 2.26 2.29/2.33 o -8 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 11 7326 14184 64830 4 46460 94247 30 4 2.33 2.29/2.39 o -9 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 12 7326 14187 66366 4 46483 94247 33 4 2.40 2.39/2.46 o -10 2.48/2.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.53 c 13 7326 14190 67903 4 46508 94247 36 5 2.47 2.48/2.53 o -11 2.48/2.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.59 c 14 7326 14193 69453 4 46535 94247 39 5 2.53 2.48/2.59 o -12 2.58/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.66 c 15 7326 14196 71004 5 46564 94247 42 5 2.60 2.58/2.66 o -13 2.69/2.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.73 c 17 7326 14201 72570 5 46607 94247 47 6 2.67 2.69/2.73 o -14 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 20 7326 14208 76112 5 46690 94247 54 7 2.74 2.79/2.80 o -15 2.79/2.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.87 c 22 7326 14213 78659 5 46751 94247 59 7 2.80 2.79/2.87 o -16 2.89/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.93 c 25 7326 14220 81235 5 46834 94247 66 8 2.87 2.89/2.93 o -17 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 27 7326 14225 83807 5 46901 94247 71 9 2.93 2.89/2.99 o -18 2.99/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.05 c 29 7326 14230 86387 6 46971 94247 76 9 2.99 2.99/3.05 o -19 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 31 7326 14235 88980 6 47044 94247 81 10 3.05 3.09/3.11 o -20 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 36 7326 14246 93559 6 47195 94247 92 11 3.12 3.09/3.18 o -21 3.19/3.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.24 c 40 7326 14255 97159 6 47321 94247 101 12 3.18 3.19/3.24 o -22 3.19/3.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.30 c 44 7326 14264 100771 7 47451 94247 110 13 3.24 3.19/3.30 o -23 3.29/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.36 c 49 7326 14275 104398 7 47601 94247 121 14 3.30 3.29/3.36 o -24 3.38/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.42 c 52 7326 14282 108004 7 47724 94247 128 15 3.36 3.38/3.42 o -25 3.38/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.48 c 62 7326 14303 111743 7 47965 94247 149 18 3.42 3.38/3.48 o -26 3.49/3.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.54 c 66 7326 14312 115386 8 48114 94247 158 18 3.48 3.49/3.54 o -27 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 70 7326 14321 119027 8 48267 94247 167 19 3.54 3.49/3.59 o -28 3.59/3.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.65 c 73 7326 14328 122653 8 48406 94247 174 20 3.60 3.59/3.65 o -29 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 79 7326 14341 126338 8 48601 94247 187 21 3.66 3.69/3.71 o -30 3.69/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 83 7326 14350 129984 9 48761 94247 196 22 3.71 3.69/3.77 o -31 3.79/3.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.82 c 95 7326 14375 133785 9 49055 94247 221 25 3.77 3.79/3.82 o -32 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 102 7326 14390 137501 9 49271 94247 236 26 3.83 3.79/3.88 o -33 3.89/3.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.94 c 109 7326 14405 141218 9 49492 94247 251 28 3.89 3.89/3.94 o -34 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 113 7326 14414 144884 10 49674 94247 260 28 3.94 3.89/3.99 o -35 3.99/4.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.04 c 118 7326 14425 148571 10 49877 94247 271 29 3.99 3.99/4.04 o -36 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 125 7326 14440 152304 10 50109 94247 286 30 4.05 3.99/4.09 o -37 4.08/4.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.15 c 128 7326 14447 155975 10 50284 94247 293 31 4.10 4.08/4.15 o -38 4.08/4.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.20 c 138 7326 14468 159768 11 50562 94247 314 33 4.15 4.08/4.20 o -39 4.18/4.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.25 c 143 7326 14479 163481 11 50777 94247 325 34 4.20 4.18/4.25 o -40 4.18/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.18/4.30 c 148 7326 14490 167195 11 50992 94247 336 34 4.25 4.18/4.30 o -41 4.30/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.34 c 154 7326 14503 170927 11 51226 94247 349 35 4.30 4.30/4.34 o -42 4.30/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.39 c 162 7326 14520 174701 12 51498 94247 366 37 4.35 4.30/4.39 o -43 4.39/4.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.44 c 166 7326 14529 178413 12 51713 94247 375 37 4.39 4.39/4.44 o -44 4.39/4.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.49 c 171 7326 14540 182144 12 51947 94247 386 38 4.44 4.39/4.49 o -45 4.49/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.54 c 178 7326 14555 185906 12 52216 94247 401 39 4.49 4.49/4.54 o -46 4.49/4.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.58 c 191 7326 14582 189772 13 52574 94247 428 42 4.54 4.49/4.58 o -47 4.59/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.63 c 196 7326 14593 193506 13 52816 94247 439 42 4.59 4.59/4.63 o -48 4.59/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.68 c 205 7326 14612 197306 13 53121 94247 458 44 4.64 4.59/4.68 o -49 4.69/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.72 c 208 7326 14619 201012 13 53344 94247 465 44 4.68 4.69/4.72 o -50 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 218 7326 14640 204848 13 53684 94247 486 46 4.73 4.69/4.77 o -51 4.79/4.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.82 c 232 7326 14669 208743 14 54083 94247 515 48 4.78 4.79/4.82 o -52 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 240 7326 14686 212533 14 54394 94247 532 49 4.82 4.79/4.87 o -53 4.89/4.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.91 c 254 7326 14715 216437 14 54802 94247 561 52 4.87 4.89/4.91 o -54 4.89/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.95 c 257 7326 14722 220148 14 55045 94247 568 52 4.91 4.89/4.95 o -55 4.89/4.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.99 c 263 7326 14735 223928 15 55344 94247 581 53 4.95 4.89/4.99 o -56 4.99/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.02 c 266 7326 14742 227651 15 55595 94247 588 53 4.99 4.99/5.02 o -57 4.99/5.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.06 c 270 7326 14751 231399 15 55862 94247 597 53 5.03 4.99/5.06 o -58 5.09/5.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.10 c 273 7326 14758 235130 15 56121 94247 604 53 5.07 5.09/5.10 o -59 5.09/5.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.14 c 283 7326 14779 238987 16 56494 94247 625 55 5.10 5.09/5.14 o -60 5.09/5.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.18 c 291 7326 14796 242812 16 56841 94247 642 56 5.14 5.09/5.18 o -61 5.19/5.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.22 c 298 7326 14811 246615 16 57172 94247 657 57 5.18 5.19/5.22 o -62 5.19/5.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.26 c 308 7326 14832 250469 16 57554 94247 678 58 5.22 5.19/5.26 o -63 5.29/5.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.30 c 316 7326 14849 254292 17 57914 94247 695 60 5.26 5.29/5.30 o -64 5.29/5.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.35 c 333 7326 14884 258260 17 58401 94247 730 62 5.31 5.29/5.35 o -65 5.29/5.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.38 c 343 7326 14905 262103 17 58786 94247 751 64 5.35 5.29/5.38 o -66 5.39/5.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.42 c 349 7326 14918 265890 17 59129 94247 764 64 5.39 5.39/5.42 o -67 5.39/5.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.46 c 355 7326 14931 269672 18 59466 94247 777 65 5.42 5.39/5.46 o -68 5.39/5.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.49 c 361 7326 14944 273461 18 59808 94247 790 66 5.46 5.39/5.49 o -69 5.49/5.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.52 c 365 7326 14953 277213 18 60123 94247 799 66 5.50 5.49/5.52 o -70 5.49/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.56 c 371 7326 14966 281007 18 60477 94247 812 67 5.53 5.49/5.56 o -71 5.58/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.58/5.61 c 380 7326 14985 284848 19 60876 94247 831 68 5.57 5.58/5.61 o -72 5.58/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.58/5.65 c 397 7326 15020 288815 19 61390 94247 866 70 5.61 5.58/5.65 o -73 5.58/5.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.58/5.68 c 406 7326 15039 292651 19 61794 94247 885 71 5.65 5.58/5.68 o -74 5.69/5.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.72 c 414 7326 15056 296471 19 62189 94247 902 72 5.69 5.69/5.72 o -75 5.69/5.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.75 c 425 7326 15079 300340 19 62631 94247 925 74 5.73 5.69/5.75 o -76 5.69/5.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.79 c 429 7326 15088 304095 20 62976 94247 934 74 5.76 5.69/5.79 o -77 5.79/5.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.82 c 432 7326 15095 307831 20 63311 94247 941 74 5.79 5.79/5.82 o -78 5.79/5.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.85 c 439 7326 15110 311635 20 63708 94247 956 75 5.83 5.79/5.85 o -79 5.79/5.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.88 c 444 7326 15121 315413 20 64083 94247 967 75 5.86 5.79/5.88 o -80 5.89/5.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.92 c 451 7326 15136 319214 21 64484 94247 982 76 5.89 5.89/5.92 o -81 5.89/5.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.96 c 464 7326 15163 323128 21 64988 94247 1009 78 5.92 5.89/5.96 o -82 5.89/5.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.99 c 477 7326 15190 327041 21 65491 94247 1036 79 5.97 5.89/5.99 o -83 5.99/6.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.03 c 482 7326 15201 330818 21 65882 94247 1047 80 6.00 5.99/6.03 o -84 5.99/6.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.05 c 490 7326 15218 334639 21 66317 94247 1064 81 6.03 5.99/6.05 o -85 5.99/6.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.09 c 493 7326 15225 338379 22 66684 94247 1071 81 6.06 5.99/6.09 o -86 6.09/6.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.12 c 507 7326 15254 342298 22 67215 94247 1100 83 6.10 6.09/6.12 o -87 6.09/6.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.15 c 515 7326 15271 346118 22 67665 94247 1117 84 6.13 6.09/6.15 o -88 6.09/6.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.19 c 520 7326 15282 349889 22 68077 94247 1128 84 6.16 6.09/6.19 o -89 6.18/6.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.22 c 534 7326 15311 353802 23 68618 94247 1157 86 6.19 6.18/6.22 o -90 6.18/6.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.25 c 541 7326 15326 359389 23 69234 94247 1172 86 6.22 6.18/6.25 o -91 6.18/6.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.28 c 547 7326 15339 364072 23 69763 94247 1185 87 6.25 6.18/6.28 o -92 6.28/6.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.28/6.31 c 555 7326 15356 368779 24 70320 94247 1202 88 6.29 6.28/6.31 o -93 6.28/6.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.28/6.34 c 566 7326 15379 373532 24 70921 94247 1225 89 6.32 6.28/6.34 o -94 25.18/25.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.18/25.27 c 573 7326 15394 378217 24 71471 94247 1240 90 6.35 25.18/25.27 c 674 7326 15596 410236 26 76247 103672 1442 104 6.44 25.18/25.27 c 929 7326 16106 789180 48 210050 114040 1952 131 7.06 25.18/25.27 c 1404 7326 17056 1247562 73 383352 125445 2902 119 11.73 25.18/25.27 c 2218 7326 18684 2349456 125 889794 137990 4530 90 24.59 25.18/25.27 o -95 25.98/26.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.98/26.03 c 2298 7326 18845 2387472 126 865413 94247 4691 90 25.27 25.98/26.03 o -96 26.68/26.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.68/26.73 c 2358 7326 18966 2418642 127 864352 94247 4812 90 26.03 26.68/26.73 o -97 27.08/27.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.08/27.17 c 2399 7326 19049 2445520 128 867542 94247 4895 89 26.73 27.08/27.17 o -98 27.58/27.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.58/27.66 c 2420 7326 19092 2456054 128 869914 94247 4938 89 27.17 27.58/27.66 o -99 27.98/28.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.98/28.03 c 2438 7326 19129 2466997 128 870258 94247 4975 88 27.65 27.98/28.03 o -100 66.07/66.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.07/66.15 c 2450 7326 19154 2473638 129 870471 94247 5000 87 28.03 66.07/66.15 c 2550 7326 19354 2491485 128 852098 103672 5200 87 29.29 66.07/66.15 c 2800 7326 19854 2768822 139 1003182 114040 5700 83 33.47 66.07/66.15 c 3275 7326 20804 3271104 157 1180769 125445 6650 74 43.70 66.07/66.15 c 4089 7326 22254 4320418 194 1625765 137990 8100 63 64.61 66.07/66.15 o -101 67.36/67.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.36/67.48 c 4181 7326 22439 4355342 194 1594659 94247 8285 63 66.13 67.36/67.48 o -102 68.36/68.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.36/68.44 c 4233 7326 22544 4371885 193 1584994 94247 8390 62 67.46 68.36/68.44 o -103 69.76/69.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.76/69.88 c 4251 7326 22581 4380431 193 1581449 94247 8427 62 68.43 69.76/69.88 o -104 70.37/70.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.37/70.50 c 4271 7326 22622 4392209 194 1579754 94247 8468 61 69.86 70.37/70.50 o -105 70.66/70.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.66/70.78 c 4280 7326 22641 4398307 194 1582498 94247 8487 60 70.48 70.66/70.78 o -106 1798.42/1799.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.42/1799.16 c 4285 7326 22652 4402967 194 1579247 94247 8498 60 70.76 1798.42/1799.16 c 4385 7326 22852 4415148 193 1545810 103672 8698 61 71.85 1798.42/1799.16 c 4636 7326 23354 4721282 202 1743533 114040 9200 58 78.86 1798.42/1799.16 c 5111 7326 24304 5213067 214 1903588 125445 10150 57 89.14 1798.42/1799.16 c 5927 7326 25936 6363073 245 2469048 137990 11782 54 108.58 1798.42/1799.16 c 7247 7326 28576 8055490 281 2746697 151790 14422 51 139.56 1798.42/1799.16 c 9328 7326 32735 10358299 316 3280087 166970 18581 45 206.84 1798.42/1799.16 c 12551 7326 39180 14365970 366 3944171 183668 25026 30 416.30 1798.42/1799.16 c 17488 7326 49050 20831861 424 5220744 202035 34896 14 1198.82 1798.42/1799.16 c Resources Exceeded 1798.42/1799.16 v -x1 -x2 -x3 -x4 -x5 x6 x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100 x101 -x102 x103 x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 x134 -x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 -x157 -x158 -x159 x160 -x161 x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 x189 x190 -x191 x192 x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 x480 x481 -x482 x483 -x484 -x485 -x486 -x487 x488 x489 -x490 -x491 x492 -x493 -x494 x495 x496 x497 -x498 -x499 -x500 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 x7090 -x7091 -x7092 x7093 -x7094 -x7095 -x7096 x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 x573 -x574 -x575 -x576 x577 -x578 -x579 x580 -x581 x582 x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 x757 -x758 x759 -x760 -x761 -x762 x763 -x764 -x765 x766 -x767 -x768 x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 x780 -x781 -x782 -x783 x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 x801 x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 x834 x835 -x836 x837 -x838 x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 x851 x852 -x853 -x854 -x855 -x856 x857 x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 x875 x876 -x877 -x878 -x879 x880 x881 -x882 x883 -x884 -x885 -x886 -x887 x888 -x889 x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 x923 -x924 x925 -x926 -x927 x928 x929 x930 x931 -x932 -x933 -x934 -x935 x936 x937 x938 x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 x959 x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 x972 x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 1798.42/1799.16 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.42/1799.16 c 122 20408 7589 209321 54886 24944311 40732 11 1798.49 1798.42/1799.16 c Objective: -106 1798.42/1799.16 s SATISFIABLE 1798.42/1799.16 c Total time: 1798.49 s
OK -106
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879684-1245247134/watcher-1879684-1245247134 -o /tmp/evaluation-result-1879684-1245247134/solver-1879684-1245247134 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879684-1245247134.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 0.93 3/65 23520 /proc/meminfo: memFree=1888168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=11276 CPUtime=0 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 267 0 0 0 0 0 0 0 20 0 1 0 192311352 11546624 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 2819 252 174 640 0 2036 0 [startup+0.085676 s] /proc/loadavg: 1.00 1.00 0.93 3/65 23520 /proc/meminfo: memFree=1888168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=13900 CPUtime=0.08 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1193 0 0 0 8 0 0 0 20 0 1 0 192311352 14233600 1038 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3475 1040 186 640 0 2831 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13900 [startup+0.101676 s] /proc/loadavg: 1.00 1.00 0.93 3/65 23520 /proc/meminfo: memFree=1888168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=14500 CPUtime=0.09 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1348 0 0 0 9 0 0 0 20 0 1 0 192311352 14848000 1193 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3625 1193 189 640 0 2981 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14500 [startup+0.301711 s] /proc/loadavg: 1.00 1.00 0.93 3/65 23520 /proc/meminfo: memFree=1888168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=14628 CPUtime=0.29 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1352 0 0 0 29 0 0 0 22 0 1 0 192311352 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14628 [startup+0.701786 s] /proc/loadavg: 1.00 1.00 0.93 3/65 23520 /proc/meminfo: memFree=1888168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=14628 CPUtime=0.69 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1352 0 0 0 69 0 0 0 25 0 1 0 192311352 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14628 [startup+1.50193 s] /proc/loadavg: 1.00 1.00 0.93 2/66 23521 /proc/meminfo: memFree=1884128/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=14628 CPUtime=1.49 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1352 0 0 0 149 0 0 0 25 0 1 0 192311352 14979072 1197 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3657 1197 189 640 0 3013 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14628 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 0.93 2/66 23521 /proc/meminfo: memFree=1883680/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=15324 CPUtime=3.09 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 1933 0 0 0 306 3 0 0 25 0 1 0 192311352 15691776 1394 1992294400 134512640 137136520 4294956256 18446744073709551615 134574377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 3831 1394 197 640 0 3187 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15324 [startup+6.30282 s] /proc/loadavg: 1.16 1.03 0.94 2/66 23521 /proc/meminfo: memFree=1880480/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=19496 CPUtime=6.28 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 2975 0 0 0 622 6 0 0 25 0 1 0 192311352 19963904 2436 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 4874 2436 197 640 0 4230 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19496 [startup+12.702 s] /proc/loadavg: 1.15 1.03 0.94 2/66 23521 /proc/meminfo: memFree=1860136/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=38520 CPUtime=12.69 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 7731 0 0 0 1260 9 0 0 25 0 1 0 192311352 39444480 7192 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 9630 7192 197 640 0 8986 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38520 [startup+25.5014 s] /proc/loadavg: 1.11 1.03 0.94 2/66 23521 /proc/meminfo: memFree=1833640/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=64972 CPUtime=25.48 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 14362 0 0 0 2534 14 0 0 25 0 1 0 192311352 66531328 13823 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 16243 13823 197 640 0 15599 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64972 [startup+51.1011 s] /proc/loadavg: 1.07 1.03 0.94 2/66 23521 /proc/meminfo: memFree=1807016/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=91360 CPUtime=51.07 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 20954 0 0 0 5088 19 0 0 25 0 1 0 192311352 93552640 20415 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 22840 20415 197 640 0 22196 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91360 [startup+102.306 s] /proc/loadavg: 1.03 1.02 0.94 2/66 23522 /proc/meminfo: memFree=1752616/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=145432 CPUtime=102.26 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 34479 0 0 0 10198 28 0 0 25 0 1 0 192311352 148922368 33940 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 36358 33940 198 640 0 35714 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 145432 [startup+162.302 s] /proc/loadavg: 1.01 1.02 0.94 2/66 23528 /proc/meminfo: memFree=1699168/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=198984 CPUtime=162.22 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 47853 0 0 0 16186 36 0 0 25 0 1 0 192311352 203759616 47314 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 49746 47314 198 640 0 49102 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 198984 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.94 2/66 23528 /proc/meminfo: memFree=1664480/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=233344 CPUtime=222.19 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 56445 0 0 0 22177 42 0 0 25 0 1 0 192311352 238944256 55906 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 58336 55906 198 640 0 57692 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 233344 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1641568/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=256304 CPUtime=282.17 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 62180 0 0 0 28171 46 0 0 25 0 1 0 192311352 262455296 61641 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 64076 61641 198 640 0 63432 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 256304 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1623520/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=274308 CPUtime=342.16 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 66666 0 0 0 34167 49 0 0 25 0 1 0 192311352 280891392 66127 1992294400 134512640 137136520 4294956256 18446744073709551615 134605682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 68577 66127 198 640 0 67933 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 274308 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1610208/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=287528 CPUtime=402.13 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 69985 0 0 0 40163 50 0 0 25 0 1 0 192311352 294428672 69446 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 71882 69446 198 640 0 71238 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 287528 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1596584/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=300996 CPUtime=462.11 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 73357 0 0 0 46159 52 0 0 25 0 1 0 192311352 308219904 72818 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 75249 72818 198 640 0 74605 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 300996 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1586600/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=311400 CPUtime=522.09 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 75969 0 0 0 52156 53 0 0 25 0 1 0 192311352 318873600 75430 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 77850 75430 198 640 0 77206 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 311400 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1574376/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=323168 CPUtime=582.06 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 78896 0 0 0 58152 54 0 0 25 0 1 0 192311352 330924032 78357 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 80792 78357 198 640 0 80148 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 323168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1563432/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=333896 CPUtime=642.05 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 81593 0 0 0 64149 56 0 0 25 0 1 0 192311352 341909504 81054 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 83474 81054 198 640 0 82830 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 333896 [startup+702.303 s] ################ # More data... # ################ /proc/meminfo: memFree=1501608/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=395532 CPUtime=1121.87 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 97004 0 0 0 112123 64 0 0 25 0 1 0 192311352 405024768 96465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 98883 96465 198 640 0 98239 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 395532 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1495336/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=401832 CPUtime=1181.85 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 98564 0 0 0 118120 65 0 0 25 0 1 0 192311352 411475968 98025 1992294400 134512640 137136520 4294956256 18446744073709551615 134544135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 100458 98025 198 640 0 99814 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 401832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1488424/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=408632 CPUtime=1241.83 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 100255 0 0 0 124117 66 0 0 25 0 1 0 192311352 418439168 99716 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 102158 99716 198 640 0 101514 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 408632 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1483752/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=413148 CPUtime=1301.81 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 101642 0 0 0 130115 66 0 0 25 0 1 0 192311352 423063552 100869 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 103287 100869 198 640 0 102643 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 413148 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1476712/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=420212 CPUtime=1361.78 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 103410 0 0 0 136111 67 0 0 25 0 1 0 192311352 430297088 102617 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 105053 102617 198 640 0 104409 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 420212 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1466664/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=430232 CPUtime=1421.77 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 105915 0 0 0 142108 69 0 0 25 0 1 0 192311352 440557568 105122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 107558 105122 198 640 0 106914 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 430232 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1457192/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=439676 CPUtime=1481.74 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 108279 0 0 0 148104 70 0 0 25 0 1 0 192311352 450228224 107486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 109919 107486 198 640 0 109275 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 439676 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1449384/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=447384 CPUtime=1541.71 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 110216 0 0 0 154100 71 0 0 25 0 1 0 192311352 458121216 109423 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 111846 109423 198 640 0 111202 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 447384 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1441384/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=455444 CPUtime=1601.69 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 112218 0 0 0 160097 72 0 0 25 0 1 0 192311352 466374656 111425 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 113861 111425 198 640 0 113217 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 455444 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1434984/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=461792 CPUtime=1661.67 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 113810 0 0 0 166094 73 0 0 25 0 1 0 192311352 472875008 113017 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 115448 113017 198 640 0 114804 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 461792 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1429416/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=467208 CPUtime=1721.64 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 115175 0 0 0 172090 74 0 0 25 0 1 0 192311352 478420992 114382 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 116802 114382 198 640 0 116158 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 467208 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1425128/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=471456 CPUtime=1781.62 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116229 0 0 0 178088 74 0 0 25 0 1 0 192311352 482770944 115436 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 117864 115436 198 640 0 117220 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 471456 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423976/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=472656 CPUtime=1791.23 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116514 0 0 0 179048 75 0 0 25 0 1 0 192311352 483999744 115721 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118164 115721 198 640 0 117520 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 472656 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423208/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=473364 CPUtime=1794.43 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116706 0 0 0 179368 75 0 0 25 0 1 0 192311352 484724736 115913 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118341 115913 198 640 0 117697 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 473364 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423208/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=473364 CPUtime=1796.02 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116710 0 0 0 179527 75 0 0 25 0 1 0 192311352 484724736 115917 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118341 115917 198 640 0 117697 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 473364 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423144/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=473456 CPUtime=1797.62 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116726 0 0 0 179687 75 0 0 25 0 1 0 192311352 484818944 115933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118364 115933 198 640 0 117720 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 473456 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423144/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=473456 CPUtime=1798.02 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116726 0 0 0 179727 75 0 0 25 0 1 0 192311352 484818944 115933 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118364 115933 198 640 0 117720 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 473456 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423144/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=473588 CPUtime=1798.42 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194304 116766 0 0 0 179767 75 0 0 25 0 1 0 192311352 484954112 115973 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 118397 115973 198 640 0 117753 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (KiB) 473588 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.94 2/66 23528 /proc/meminfo: memFree=1423144/2055920 swapFree=4094792/4192956 [pid=23520] ppid=23518 vsize=0 CPUtime=1798.52 /proc/23520/stat : 23520 (bsolo) R 23518 23520 23165 0 -1 4194308 116773 0 0 0 179773 79 0 0 25 0 1 0 192311352 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23520/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1799.23 CPU time (s): 1798.56 CPU user time (s): 1797.74 CPU system time (s): 0.821875 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 473588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.74 system time used= 0.821875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116773 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1996 runsolver used 2.03269 second user time and 3.99039 second system time The end
Begin job on node91 at 2009-06-17 15:58:55 IDJOB=1879684 IDBENCH=48234 IDSOLVER=701 FILE ID=node91/1879684-1245247134 PBS_JOBID= 9372262 Free space on /tmp= 66444 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879684-1245247134/watcher-1879684-1245247134 -o /tmp/evaluation-result-1879684-1245247134/solver-1879684-1245247134 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879684-1245247134.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED=926351331 node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1889032 kB Buffers: 7896 kB Cached: 38676 kB SwapCached: 91876 kB Active: 26676 kB Inactive: 113716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1889032 kB SwapTotal: 4192956 kB SwapFree: 4094792 kB Dirty: 4132 kB Writeback: 0 kB Mapped: 15100 kB Slab: 12376 kB Committed_AS: 100260 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879684-1245247134.opb Free space on /tmp at the end= 66440 MiB End job on node91 at 2009-06-17 16:28:54