Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | -105 | 1798.82 | 1799.47 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -96 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: 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-1879718-1245247469.opb 0.00/0.00 c File size is 563009 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.084 s 0.09/0.09 c Var: 7270 Constr: 14042 6770/1002/6270 Lit: 53160 Watch. Lit: 45892 0.09/0.09 c Obj. Vars: 500 (6.87758 % of total variables) 1.89/1.94 c Pre-processing Time: 1.946 s 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 0 7270 14042 53160 3 45892 91927 0 0 1.95 1.89/1.94 c Switching off lower bounding mode. 1.89/1.96 o -1 1.99/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.03 c 0 7270 14043 53660 3 45895 92260 1 0 1.96 1.99/2.03 o -2 1.99/2.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.10 c 1 7270 14046 55160 3 45904 92427 4 0 2.03 1.99/2.10 o -3 2.10/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.16 c 2 7270 14049 56672 4 45915 92594 7 0 2.10 2.10/2.16 o -4 2.20/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.23 c 3 7270 14052 58193 4 45928 92760 10 1 2.17 2.20/2.23 o -5 2.29/2.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.30 c 4 7270 14055 59725 4 45943 92927 13 1 2.24 2.29/2.30 o -6 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 5 7270 14058 61248 4 45960 92927 16 2 2.31 2.29/2.37 o -7 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 6 7270 14061 62794 4 45979 92927 19 2 2.38 2.39/2.44 o -8 2.49/2.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.51 c 7 7270 14064 64340 4 46000 92927 22 2 2.45 2.49/2.51 o -9 2.49/2.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.58 c 8 7270 14067 65887 4 46023 92927 25 3 2.52 2.49/2.58 o -10 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 11 7270 14074 67475 4 46078 92927 32 4 2.58 2.59/2.65 o -11 2.69/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.72 c 14 7270 14081 69056 4 46135 92927 39 5 2.65 2.69/2.72 o -12 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 15 7270 14084 70621 5 46164 92927 42 5 2.72 2.69/2.79 o -13 2.79/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.85 c 16 7270 14087 72177 5 46195 92927 45 5 2.79 2.79/2.85 o -14 2.89/2.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.92 c 17 7270 14090 73743 5 46228 92927 48 5 2.86 2.89/2.92 o -15 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 18 7270 14093 75322 5 46263 92927 51 6 2.92 2.89/2.99 o -16 2.99/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.05 c 21 7270 14100 78897 5 46363 92927 58 7 2.99 2.99/3.05 o -17 3.09/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.11 c 24 7270 14107 81500 5 46448 92927 65 7 3.06 3.09/3.11 o -18 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 27 7270 14114 84102 5 46537 92927 72 8 3.12 3.09/3.18 o -19 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 30 7270 14121 86717 6 46627 92927 79 9 3.19 3.19/3.25 o -20 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 32 7270 14126 89303 6 46708 92927 84 9 3.26 3.29/3.31 o -21 3.29/3.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.38 c 34 7270 14131 91912 6 46792 92927 89 10 3.32 3.29/3.38 o -22 3.39/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.44 c 37 7270 14138 94536 6 46893 92927 96 10 3.38 3.39/3.44 o -23 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 42 7270 14149 99153 7 47074 92927 107 12 3.45 3.49/3.50 o -24 3.49/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.56 c 46 7270 14158 102808 7 47223 92927 116 13 3.51 3.49/3.56 o -25 3.59/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.62 c 49 7270 14165 106444 7 47360 92927 123 13 3.57 3.59/3.62 o -26 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 54 7270 14176 110123 7 47535 92927 134 14 3.63 3.59/3.68 o -27 3.69/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.74 c 57 7270 14183 113762 8 47680 92927 141 15 3.69 3.69/3.74 o -28 3.79/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.80 c 60 7270 14190 117411 8 47829 92927 148 16 3.75 3.79/3.80 o -29 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 65 7270 14201 121106 8 48014 92927 159 17 3.80 3.79/3.86 o -30 3.89/3.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.91 c 68 7270 14208 124753 8 48171 92927 166 17 3.86 3.89/3.91 o -31 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 72 7270 14217 128431 9 48347 92927 175 18 3.92 3.89/3.97 o -32 3.98/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.03 c 75 7270 14224 132094 9 48512 92927 182 18 3.98 3.98/4.03 o -33 3.98/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.09 c 87 7270 14249 135915 9 48822 92927 207 21 4.04 3.98/4.09 o -34 4.08/4.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.08/4.15 c 92 7270 14260 139609 9 49025 92927 218 22 4.10 4.08/4.15 o -35 4.19/4.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.21 c 97 7270 14271 143315 10 49234 92927 229 23 4.15 4.19/4.21 o -36 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 114 7270 14306 147238 10 49631 92927 264 27 4.22 4.19/4.27 o -37 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 120 7270 14319 150972 10 49859 92927 277 28 4.27 4.29/4.32 o -38 4.29/4.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.38 c 136 7270 14352 154880 10 50244 92927 310 31 4.33 4.29/4.38 o -39 4.39/4.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.43 c 148 7270 14377 158726 11 50581 92927 335 33 4.39 4.39/4.43 o -40 4.39/4.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.49 c 152 7270 14386 162429 11 50790 92927 344 34 4.44 4.39/4.49 o -41 4.49/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.54 c 158 7270 14399 166167 11 51035 92927 357 35 4.49 4.49/4.54 o -42 4.49/4.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.59 c 163 7270 14410 169890 11 51264 92927 368 35 4.54 4.49/4.59 o -43 4.59/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.63 c 167 7270 14419 173616 12 51491 92927 377 36 4.59 4.59/4.63 o -44 4.59/4.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.68 c 170 7270 14426 177321 12 51701 92927 384 36 4.64 4.59/4.68 o -45 4.69/4.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.73 c 174 7270 14435 181041 12 51936 92927 393 37 4.69 4.69/4.73 o -46 4.69/4.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.78 c 180 7270 14448 184797 12 52199 92927 406 37 4.74 4.69/4.78 o -47 4.79/4.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.83 c 187 7270 14463 188578 13 52484 92927 421 39 4.79 4.79/4.83 o -48 4.79/4.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.87 c 192 7270 14474 192330 13 52745 92927 432 39 4.83 4.79/4.87 o -49 4.89/4.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.92 c 200 7270 14491 196135 13 53058 92927 449 40 4.88 4.89/4.92 o -50 4.89/4.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.97 c 207 7270 14506 199924 13 53359 92927 464 41 4.93 4.89/4.97 o -51 4.99/5.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.02 c 214 7270 14521 203718 14 53663 92927 479 43 4.98 4.99/5.02 o -52 4.99/5.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.06 c 220 7270 14534 207486 14 53950 92927 492 43 5.02 4.99/5.06 o -53 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 223 7270 14541 211211 14 54199 92927 499 44 5.07 5.09/5.11 o -54 5.09/5.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.16 c 246 7270 14588 215306 14 54777 92927 546 48 5.12 5.09/5.16 o -55 5.19/5.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.21 c 269 7270 14635 219387 14 55335 92927 593 52 5.17 5.19/5.21 o -56 5.19/5.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.25 c 276 7270 14650 223187 15 55664 92927 608 52 5.22 5.19/5.25 o -57 5.19/5.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.29 c 283 7270 14665 226985 15 55994 92927 623 53 5.26 5.19/5.29 o -58 5.29/5.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.34 c 289 7270 14678 230754 15 56302 92927 636 54 5.30 5.29/5.34 o -59 5.29/5.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.29/5.39 c 293 7270 14687 235427 16 56650 92927 645 54 5.34 5.29/5.39 o -60 5.39/5.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.43 c 305 7270 14712 240229 16 57119 92927 670 56 5.39 5.39/5.43 o -61 5.39/5.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.47 c 315 7270 14733 244996 16 57560 92927 691 57 5.44 5.39/5.47 o -62 5.49/5.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.52 c 323 7270 14750 249737 16 57984 92927 708 58 5.48 5.49/5.52 o -63 5.49/5.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.56 c 329 7270 14763 254446 17 58386 92927 721 59 5.52 5.49/5.56 o -64 5.59/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.61 c 341 7270 14788 259245 17 58871 92927 746 61 5.57 5.59/5.61 o -65 5.59/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.65 c 346 7270 14799 263927 17 59261 92927 757 61 5.61 5.59/5.65 o -66 5.59/5.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.69 c 353 7270 14814 268640 18 59684 92927 772 62 5.65 5.59/5.69 o -67 5.69/5.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.73 c 358 7270 14825 273323 18 60084 92927 783 62 5.69 5.69/5.73 o -68 5.69/5.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.77 c 364 7270 14838 278020 18 60505 92927 796 63 5.74 5.69/5.77 o -69 5.79/5.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.81 c 374 7270 14859 282786 19 60987 92927 817 64 5.78 5.79/5.81 o -70 5.79/5.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.86 c 382 7270 14876 287519 19 61447 92927 834 65 5.82 5.79/5.86 o -71 5.89/5.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.90 c 399 7270 14911 292402 19 62043 92927 869 67 5.87 5.89/5.90 o -72 5.89/5.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.95 c 408 7270 14930 297159 19 62529 92927 888 69 5.91 5.89/5.95 o -73 5.89/5.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.89/5.98 c 417 7270 14949 301921 20 63025 92927 907 70 5.95 5.89/5.98 o -74 5.99/6.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.02 c 425 7270 14966 306659 20 63506 92927 924 70 5.99 5.99/6.02 o -75 5.99/6.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.06 c 432 7270 14981 311381 20 63979 92927 939 71 6.03 5.99/6.06 o -76 5.99/6.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.10 c 441 7270 15000 316134 21 64487 92927 958 72 6.07 5.99/6.10 o -77 6.09/6.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.13 c 445 7270 15009 320803 21 64925 92927 967 72 6.10 6.09/6.13 o -78 6.09/6.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.17 c 453 7270 15026 325541 21 65427 92927 984 73 6.14 6.09/6.17 o -79 6.19/6.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.21 c 463 7270 15047 330313 21 65969 92927 1005 74 6.18 6.19/6.21 o -80 6.19/6.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.25 c 469 7270 15060 335012 22 66454 92927 1018 75 6.21 6.19/6.25 o -81 6.19/6.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.28 c 483 7270 15089 339834 22 67047 92927 1047 77 6.25 6.19/6.28 o -82 6.29/6.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.32 c 489 7270 15102 344535 22 67542 92927 1060 77 6.29 6.29/6.32 o -83 6.29/6.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.36 c 498 7270 15121 349281 23 68081 92927 1079 78 6.33 6.29/6.36 o -84 6.29/6.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.29/6.39 c 507 7270 15140 354033 23 68632 92927 1098 79 6.36 6.29/6.39 o -85 6.39/6.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.44 c 516 7270 15159 358785 23 69190 92927 1117 80 6.40 6.39/6.44 o -86 6.39/6.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.48 c 530 7270 15188 363605 23 69813 92927 1146 82 6.44 6.39/6.48 o -87 6.50/6.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.50/6.51 c 546 7270 15221 368466 24 70482 92927 1179 84 6.48 6.50/6.51 o -88 6.50/6.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.50/6.55 c 555 7270 15240 373209 24 71053 92927 1198 85 6.52 6.50/6.55 o -89 6.50/6.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.50/6.58 c 560 7270 15251 377884 24 71566 92927 1209 85 6.55 6.50/6.58 o -90 6.60/6.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.61 c 567 7270 15266 384382 25 72292 92927 1224 86 6.58 6.60/6.61 o -91 6.60/6.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.65 c 574 7270 15281 389982 25 72938 92927 1239 86 6.62 6.60/6.65 o -92 6.60/6.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.68 c 587 7270 15308 395671 25 73669 92927 1266 88 6.65 6.60/6.68 o -93 6.69/6.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.72 c 598 7270 15331 401333 26 74386 92927 1289 89 6.69 6.69/6.72 o -94 6.69/6.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.75 c 611 7270 15358 407024 26 75136 92927 1316 90 6.73 6.69/6.75 o -95 6.79/6.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.82 c 617 7270 15371 412597 26 75788 92927 1329 91 6.76 6.79/6.82 o -96 31.18/31.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.18/31.27 c 685 7270 15508 420669 27 77863 92927 1466 100 6.83 31.18/31.27 c 785 7270 15708 438384 27 81885 102220 1666 111 7.02 31.18/31.27 c 1035 7270 16208 556591 34 109114 112443 2166 137 7.53 31.18/31.27 c 1511 7270 17160 1458484 84 296787 123688 3118 119 12.67 31.18/31.27 c 2324 7270 18786 2466471 131 627445 136057 4744 109 21.28 31.18/31.27 o -97 31.68/31.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.68/31.75 c 3023 7270 20185 3146952 155 861434 92927 6143 96 31.27 31.68/31.75 o -98 32.28/32.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.28/32.32 c 3053 7270 20246 3153841 155 855814 92927 6204 96 31.75 32.28/32.32 o -99 32.58/32.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.58/32.67 c 3070 7270 20281 3158693 155 858244 92927 6239 94 32.32 32.58/32.67 o -100 32.78/32.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 32.78/32.84 c 3082 7270 20306 3163040 155 853718 92927 6264 94 32.66 32.78/32.84 o -101 100.95/101.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.95/101.04 c 3086 7270 20315 3165884 155 853608 92927 6273 93 32.84 100.95/101.04 c 3186 7270 20515 3252701 158 879645 102220 6473 93 33.98 100.95/101.04 c 3443 7270 21029 3641857 173 1072448 112443 6987 86 39.78 100.95/101.04 c 3918 7270 21979 4260801 193 1340150 123688 7937 80 48.84 100.95/101.04 c 4731 7270 23605 5302120 224 1783235 136057 9563 66 71.59 100.95/101.04 o -102 101.46/101.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.46/101.55 c 5686 7270 25516 6582594 257 2263041 92927 11474 56 101.01 101.46/101.55 o -103 101.76/101.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.76/101.86 c 5707 7270 25559 6594753 258 2266717 92927 11517 56 101.53 101.76/101.86 o -104 102.16/102.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.16/102.23 c 5725 7270 25596 6605034 258 2245564 92927 11554 56 101.83 102.16/102.23 o -105 1798.74/1799.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.74/1799.41 c 5740 7270 25627 6613881 258 2233439 92927 11585 56 102.20 1798.74/1799.41 c 5840 7270 25827 6625400 256 2138708 102220 11785 56 104.15 1798.74/1799.41 c 6090 7270 26327 6717446 255 2164570 112443 12285 52 115.27 1798.74/1799.41 c 6568 7270 27283 7064352 258 2194083 123688 13241 48 134.16 1798.74/1799.41 c 7381 7270 28909 7821581 270 2346384 136057 14867 37 196.71 1798.74/1799.41 c 8701 7270 31549 9245330 293 2650714 149663 17507 25 339.98 1798.74/1799.41 c 10782 7270 35709 11775164 329 3193500 164630 21667 15 681.87 1798.74/1799.41 c Resources Exceeded 1798.74/1799.41 v x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 x56 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 x170 x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 x270 x271 x272 x273 -x274 -x275 x276 -x277 x278 x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 x287 -x288 x289 -x290 -x291 x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 -x333 -x334 -x335 -x336 x337 x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 x351 -x352 -x353 -x354 x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 x377 -x378 -x379 x380 x381 -x382 -x383 -x384 x385 x386 -x387 x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 x472 x473 -x474 x475 x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x501 -x502 -x503 -x504 x505 x506 x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 x598 x599 -x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 -x609 -x610 -x611 x612 x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 -x634 -x635 x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 x756 -x757 -x758 x759 -x760 -x761 -x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 x790 x791 -x792 x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 x810 -x811 -x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 x826 x827 -x828 -x829 -x830 -x831 -x832 x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 x863 x864 -x865 x866 -x867 -x868 x869 x870 -x871 x872 -x873 -x874 -x875 x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 x905 -x906 x907 -x908 -x909 -x910 x911 -x912 x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 -x936 -x937 x938 x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 x949 -x950 -x951 x952 x953 -x954 x955 -x956 -x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 x983 x984 -x985 x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 x994 -x995 x996 -x997 -x998 x999 x1000 1798.74/1799.41 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.74/1799.41 c 119 13805 5441 163663 41750 15924564 27708 7 1798.77 1798.74/1799.41 c Objective: -105 1798.74/1799.41 s SATISFIABLE 1798.74/1799.41 c Total time: 1798.77 s
OK -105
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879718-1245247469/watcher-1879718-1245247469 -o /tmp/evaluation-result-1879718-1245247469/solver-1879718-1245247469 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879718-1245247469.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.94 3/64 12422 /proc/meminfo: memFree=1837688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=11272 CPUtime=0 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 192343658 11542528 247 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 2818 247 174 640 0 2036 0 [startup+0.0955919 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12422 /proc/meminfo: memFree=1837688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=14408 CPUtime=0.09 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1329 0 0 0 9 0 0 0 18 0 1 0 192343658 14753792 1175 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3620 1175 188 640 0 2976 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14408 [startup+0.101594 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12422 /proc/meminfo: memFree=1837688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=14480 CPUtime=0.09 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1339 0 0 0 9 0 0 0 18 0 1 0 192343658 14827520 1185 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3620 1185 189 640 0 2976 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14480 [startup+0.30163 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12422 /proc/meminfo: memFree=1837688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=14480 CPUtime=0.29 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1344 0 0 0 29 0 0 0 19 0 1 0 192343658 14827520 1190 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3620 1190 189 640 0 2976 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14480 [startup+0.701703 s] /proc/loadavg: 1.00 1.00 0.94 3/64 12422 /proc/meminfo: memFree=1837688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=14480 CPUtime=0.69 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1344 0 0 0 69 0 0 0 23 0 1 0 192343658 14827520 1190 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3620 1190 189 640 0 2976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14480 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1833520/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=14480 CPUtime=1.49 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1344 0 0 0 149 0 0 0 25 0 1 0 192343658 14827520 1190 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3620 1190 189 640 0 2976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14480 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1833072/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=15132 CPUtime=3.09 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 1885 0 0 0 307 2 0 0 25 0 1 0 192343658 15495168 1353 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 3783 1353 197 640 0 3139 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15132 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1830456/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=19000 CPUtime=6.29 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 2860 0 0 0 624 5 0 0 25 0 1 0 192343658 19456000 2328 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 4750 2328 197 640 0 4106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19000 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1811320/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=38832 CPUtime=12.68 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 7791 0 0 0 1258 10 0 0 25 0 1 0 192343658 39763968 7259 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 9708 7259 197 640 0 9064 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38832 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1783864/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=64676 CPUtime=25.48 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 14279 0 0 0 2534 14 0 0 25 0 1 0 192343658 66228224 13747 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 16169 13747 197 640 0 15525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64676 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1746168/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=102648 CPUtime=51.08 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 23759 0 0 0 5086 22 0 0 25 0 1 0 192343658 105111552 23227 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 25662 23227 197 640 0 25018 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 102648 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1695032/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=152620 CPUtime=102.26 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 36266 0 0 0 10195 31 0 0 25 0 1 0 192343658 156282880 35734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 38155 35734 197 640 0 37511 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 152620 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1684152/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=163520 CPUtime=162.23 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 38976 0 0 0 16189 34 0 0 25 0 1 0 192343658 167444480 38444 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 40880 38444 197 640 0 40236 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 163520 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1673144/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=174392 CPUtime=222.21 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 41708 0 0 0 22184 37 0 0 25 0 1 0 192343658 178577408 41176 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 43598 41176 197 640 0 42954 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 174392 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1660408/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=187220 CPUtime=282.19 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 44899 0 0 0 28180 39 0 0 25 0 1 0 192343658 191713280 44367 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 46805 44367 197 640 0 46161 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 187220 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1652664/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=194848 CPUtime=342.17 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 46806 0 0 0 34176 41 0 0 25 0 1 0 192343658 199524352 46274 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 48712 46274 197 640 0 48068 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 194848 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1644664/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=202672 CPUtime=402.14 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 48780 0 0 0 40172 42 0 0 25 0 1 0 192343658 207536128 48248 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 50668 48248 197 640 0 50024 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 202672 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1635256/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=212060 CPUtime=462.12 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 51114 0 0 0 46168 44 0 0 25 0 1 0 192343658 217149440 50582 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 53015 50582 197 640 0 52371 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 212060 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1626552/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=220912 CPUtime=522.1 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 53328 0 0 0 52165 45 0 0 25 0 1 0 192343658 226213888 52796 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 55228 52796 198 640 0 54584 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 220912 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1616888/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=230280 CPUtime=582.08 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 55673 0 0 0 58161 47 0 0 25 0 1 0 192343658 235806720 55141 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 57570 55141 198 640 0 56926 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 230280 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1610168/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=237008 CPUtime=642.07 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 57364 0 0 0 64159 48 0 0 25 0 1 0 192343658 242696192 56832 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 59252 56832 198 640 0 58608 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 237008 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1569912/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=277056 CPUtime=1121.89 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 67399 0 0 0 112133 56 0 0 25 0 1 0 192343658 283705344 66824 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 69264 66824 198 640 0 68620 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 277056 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1567480/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=279804 CPUtime=1181.87 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 68089 0 0 0 118130 57 0 0 25 0 1 0 192343658 286519296 67514 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 69951 67514 198 640 0 69307 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 279804 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1562936/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=283988 CPUtime=1241.84 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 69151 0 0 0 124127 57 0 0 25 0 1 0 192343658 290803712 68576 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 70997 68576 198 640 0 70353 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 283988 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1558712/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=288160 CPUtime=1301.82 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 70180 0 0 0 130124 58 0 0 25 0 1 0 192343658 295075840 69605 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 72040 69605 198 640 0 71396 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 288160 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 12423 /proc/meminfo: memFree=1555640/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=291160 CPUtime=1361.8 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 70929 0 0 0 136121 59 0 0 25 0 1 0 192343658 298147840 70354 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 72790 70354 198 640 0 72146 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 291160 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 0.95 2/65 12423 /proc/meminfo: memFree=1549688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=297140 CPUtime=1421.79 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 72423 0 0 0 142119 60 0 0 25 0 1 0 192343658 304271360 71848 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 74285 71848 198 640 0 73641 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 297140 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 0.95 2/65 12423 /proc/meminfo: memFree=1546232/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=300604 CPUtime=1481.75 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 73289 0 0 0 148115 60 0 0 25 0 1 0 192343658 307818496 72714 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 75151 72714 198 640 0 74507 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 300604 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1543224/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=303584 CPUtime=1541.74 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 74033 0 0 0 154113 61 0 0 25 0 1 0 192343658 310870016 73458 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 75896 73458 198 640 0 75252 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 303584 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1540216/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=306472 CPUtime=1601.71 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 74767 0 0 0 160110 61 0 0 25 0 1 0 192343658 313827328 74192 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 76618 74192 198 640 0 75974 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 306472 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1536824/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=309780 CPUtime=1661.69 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 75599 0 0 0 166107 62 0 0 25 0 1 0 192343658 317214720 75024 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 77445 75024 198 640 0 76801 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 309780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1533688/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=312940 CPUtime=1721.68 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 76382 0 0 0 172105 63 0 0 25 0 1 0 192343658 320450560 75807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 78235 75807 198 640 0 77591 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 312940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1530104/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=316536 CPUtime=1781.65 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77272 0 0 0 178102 63 0 0 25 0 1 0 192343658 324132864 76697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79134 76697 198 640 0 78490 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 316536 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1529016/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317644 CPUtime=1791.25 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77549 0 0 0 179062 63 0 0 25 0 1 0 192343658 325267456 76974 1992294400 134512640 137136520 4294956256 18446744073709551615 134575005 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79411 76974 198 640 0 78767 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 317644 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528824/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317712 CPUtime=1794.45 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77584 0 0 0 179382 63 0 0 25 0 1 0 192343658 325337088 77009 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79428 77009 198 640 0 78784 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 317712 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528696/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317840 CPUtime=1796.04 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77614 0 0 0 179541 63 0 0 25 0 1 0 192343658 325468160 77039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79460 77039 198 640 0 78816 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (KiB) 317840 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528696/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317840 CPUtime=1797.64 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77614 0 0 0 179701 63 0 0 25 0 1 0 192343658 325468160 77039 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79460 77039 198 640 0 78816 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 317840 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528696/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317840 CPUtime=1798.44 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77614 0 0 0 179781 63 0 0 25 0 1 0 192343658 325468160 77039 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79460 77039 198 640 0 78816 0 Current children cumulated CPU time (s) 1798.44 Current children cumulated vsize (KiB) 317840 [startup+1799.3 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528696/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317840 CPUtime=1798.64 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77614 0 0 0 179801 63 0 0 25 0 1 0 192343658 325468160 77039 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79460 77039 198 640 0 78816 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (KiB) 317840 [startup+1799.4 s] /proc/loadavg: 1.00 1.00 0.95 2/65 12423 /proc/meminfo: memFree=1528696/2055920 swapFree=4181856/4192956 [pid=12422] ppid=12420 vsize=317840 CPUtime=1798.74 /proc/12422/stat : 12422 (bsolo) R 12420 12422 11968 0 -1 4194304 77614 0 0 0 179811 63 0 0 25 0 1 0 192343658 325468160 77039 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12422/statm: 79460 77039 198 640 0 78816 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (KiB) 317840 Child status: 0 Real time (s): 1799.47 CPU time (s): 1798.82 CPU user time (s): 1798.13 CPU system time (s): 0.689895 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 317840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.13 system time used= 0.689895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77616 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= 1853 runsolver used 1.12683 second user time and 3.9354 second system time The end
Begin job on node44 at 2009-06-17 16:04:29 IDJOB=1879718 IDBENCH=48268 IDSOLVER=701 FILE ID=node44/1879718-1245247469 PBS_JOBID= 9372295 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879718-1245247469/watcher-1879718-1245247469 -o /tmp/evaluation-result-1879718-1245247469/solver-1879718-1245247469 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879718-1245247469.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=1620055464 node44.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.263 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1838552 kB Buffers: 24660 kB Cached: 107324 kB SwapCached: 5172 kB Active: 23080 kB Inactive: 117036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838552 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 4124 kB Writeback: 0 kB Mapped: 14012 kB Slab: 63212 kB Committed_AS: 202000 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879718-1245247469.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-17 16:34:29