Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.1 | SAT | 79 | 1798.09 | 1798.72 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_5.opb |
| MD5SUM | 2dd6cc5a7b1f8311eff7b566cf3505ea |
| 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 | 77 |
| Best CPU time to get the best result obtained on this benchmark | 1798.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 74 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 22 |
| 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 | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6270 |
| Sum of products size (including duplicates) | 12540 |
| Number of different products | 6270 |
| Sum of products size | 12540 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876751-1245197955.opb 0.00/0.00 c File size is 480385 bytes. 0.00/0.06 c Highest Coefficient sum: 500 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.065 s 0.00/0.07 c Var: 6770 Constr: 13040 6770/0/6270 Lit: 44390 Watch. Lit: 32350 0.00/0.07 c Obj. Vars: 500 (7.38552 % of total variables) 0.19/0.28 c Pre-processing Time: 0.286 s 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 6770 13040 44390 3 32350 39876 0 0 0.29 0.19/0.28 c Switching off lower bounding mode. 0.19/0.29 o 499 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 6770 13041 44890 3 32353 40209 1 0 0.30 0.29/0.30 o 498 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 6770 13042 45390 3 32357 40709 2 0 0.31 0.29/0.31 o 497 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 6770 13043 45890 3 32362 41376 3 0 0.31 0.29/0.32 o 496 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 6770 13044 46390 3 32368 42209 4 0 0.32 0.29/0.33 o 495 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 0 6770 13045 46890 3 32375 43209 5 0 0.34 0.29/0.35 o 494 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 6770 13046 47390 3 32383 44209 6 0 0.35 0.29/0.36 o 493 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 6770 13047 47890 3 32392 45209 7 0 0.37 0.29/0.38 o 492 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 0 6770 13048 48390 3 32402 46209 8 0 0.38 0.29/0.39 o 491 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 6770 13049 48890 3 32413 47209 9 0 0.39 0.39/0.41 o 490 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 6770 13050 49390 3 32425 48209 10 0 0.41 0.39/0.41 o 489 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 6770 13051 49890 3 32438 49209 11 0 0.42 0.39/0.44 o 488 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6770 13052 50390 3 32452 50209 12 0 0.44 0.39/0.46 o 487 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 0 6770 13053 50890 3 32467 51209 13 0 0.47 0.39/0.48 o 486 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6770 13054 51390 3 32483 52209 14 0 0.49 0.39/0.49 o 485 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6770 13055 51890 3 32500 53209 15 0 0.50 0.49/0.52 o 484 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6770 13056 52390 4 32518 54209 16 0 0.52 0.49/0.54 o 483 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6770 13057 52890 4 32537 55209 17 0 0.55 0.49/0.57 o 482 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6770 13058 53390 4 32557 56209 18 0 0.57 0.49/0.59 o 481 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6770 13059 53890 4 32578 57209 19 0 0.60 0.59/0.63 o 480 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6770 13060 54390 4 32600 58209 20 0 0.63 0.59/0.65 o 479 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6770 13061 54890 4 32623 59209 21 0 0.66 0.59/0.68 o 478 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6770 13062 55390 4 32647 60209 22 0 0.69 0.69/0.71 o 477 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6770 13063 55890 4 32672 61209 23 0 0.71 0.69/0.72 o 476 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 0 6770 13064 56390 4 32698 62209 24 0 0.72 0.69/0.76 o 475 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 6770 13065 56890 4 32725 63209 25 0 0.77 0.69/0.79 o 474 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6770 13066 57390 4 32753 64209 26 0 0.79 0.79/0.83 o 473 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6770 13067 57890 4 32782 65209 27 0 0.83 0.79/0.86 o 472 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6770 13068 58390 4 32812 66209 28 0 0.87 0.79/0.89 o 471 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6770 13069 58890 4 32843 67209 29 0 0.89 0.89/0.92 o 470 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6770 13070 59390 4 32875 68209 30 0 0.93 0.89/0.95 o 469 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6770 13071 59890 4 32908 69209 31 0 0.96 0.89/0.99 o 468 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 6770 13072 60390 4 32942 70209 32 0 0.99 0.99/1.02 o 467 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 0 6770 13073 60890 4 32977 71209 33 0 1.02 0.99/1.06 o 466 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 0 6770 13074 61390 4 33013 72209 34 0 1.06 0.99/1.08 o 465 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 0 6770 13075 61890 4 33050 73209 35 0 1.08 1.09/1.13 o 464 1.09/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.16 c 0 6770 13076 62390 4 33088 74209 36 0 1.13 1.09/1.16 o 463 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6770 13077 62890 4 33127 75209 37 0 1.16 1.19/1.20 o 462 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6770 13078 63390 4 33167 76209 38 0 1.21 1.19/1.24 o 461 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 6770 13079 63890 4 33208 77209 39 0 1.24 1.19/1.28 o 460 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 6770 13080 64390 4 33250 78209 40 0 1.28 1.29/1.31 o 459 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 0 6770 13081 64890 4 33293 79209 41 0 1.32 1.29/1.36 o 458 1.29/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.40 c 0 6770 13082 65390 4 33337 80209 42 0 1.37 1.29/1.40 o 457 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 0 6770 13083 65890 5 33382 81209 43 0 1.40 1.39/1.45 o 456 1.49/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.50 c 0 6770 13084 66390 5 33428 82209 44 0 1.45 1.49/1.50 o 455 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 0 6770 13085 66890 5 33475 83209 45 0 1.50 1.49/1.53 o 454 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 0 6770 13086 67390 5 33523 84209 46 0 1.54 1.49/1.57 o 453 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 6770 13087 67890 5 33572 85209 47 0 1.57 1.49/1.58 o 452 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 0 6770 13088 68390 5 33622 86209 48 0 1.59 1.59/1.64 o 451 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 0 6770 13089 68890 5 33673 87209 49 0 1.65 1.59/1.68 o 450 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 0 6770 13090 69390 5 33725 88209 50 0 1.68 1.69/1.73 o 449 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 0 6770 13091 69890 5 33778 89209 51 0 1.73 1.69/1.76 o 448 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 0 6770 13092 70390 5 33832 90209 52 0 1.77 1.79/1.82 o 447 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 0 6770 13093 70890 5 33887 91209 53 0 1.83 1.79/1.86 o 446 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 6770 13094 71390 5 33943 92209 54 0 1.87 1.89/1.91 o 445 1.89/1.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.95 c 0 6770 13095 71890 5 34000 93209 55 0 1.91 1.89/1.95 o 444 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 0 6770 13096 72390 5 34058 94209 56 0 1.95 1.99/2.00 o 443 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 0 6770 13097 72890 5 34117 95209 57 0 2.00 1.99/2.04 o 442 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 0 6770 13098 73390 5 34177 96209 58 0 2.04 1.99/2.09 o 441 2.10/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.13 c 0 6770 13099 73890 5 34238 97209 59 0 2.10 2.10/2.13 o 440 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 0 6770 13100 74390 5 34300 98209 60 0 2.13 2.10/2.18 o 439 2.20/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.22 c 0 6770 13101 74890 5 34363 99209 61 0 2.19 2.20/2.22 o 438 2.20/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.28 c 0 6770 13102 75390 5 34427 100209 62 0 2.22 2.20/2.28 o 437 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 6770 13103 75890 5 34492 101209 63 0 2.29 2.29/2.32 o 436 2.29/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.38 c 0 6770 13104 76390 5 34558 102209 64 0 2.33 2.29/2.38 o 435 2.39/2.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.42 c 0 6770 13105 76890 5 34625 103209 65 0 2.38 2.39/2.42 o 434 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 0 6770 13106 77390 5 34693 104209 66 0 2.42 2.39/2.43 o 433 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 0 6770 13107 77890 5 34762 105209 67 0 2.43 2.39/2.49 o 432 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 0 6770 13108 78390 5 34832 106209 68 0 2.50 2.49/2.54 o 431 2.49/2.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.59 c 0 6770 13109 78890 6 34903 107209 69 0 2.54 2.49/2.59 o 430 2.59/2.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.63 c 0 6770 13110 79390 6 34975 108209 70 0 2.59 2.59/2.63 o 429 2.69/2.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.70 c 0 6770 13111 79890 6 35048 109209 71 0 2.63 2.69/2.70 o 428 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 0 6770 13112 80390 6 35122 110209 72 0 2.70 2.69/2.74 o 427 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 0 6770 13113 80890 6 35197 111209 73 0 2.75 2.69/2.79 o 426 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 0 6770 13114 81390 6 35273 112209 74 0 2.79 2.79/2.82 o 425 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 0 6770 13115 81890 6 35350 113209 75 0 2.83 2.79/2.89 o 424 2.89/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.93 c 0 6770 13116 82390 6 35428 114209 76 0 2.90 2.89/2.93 o 423 2.89/2.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.99 c 0 6770 13117 82890 6 35507 115209 77 0 2.94 2.89/2.99 o 422 2.99/3.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.03 c 0 6770 13118 83390 6 35587 116209 78 0 2.99 2.99/3.03 o 421 3.09/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.10 c 0 6770 13119 83890 6 35668 117209 79 0 3.04 3.09/3.10 o 420 3.09/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.14 c 0 6770 13120 84390 6 35750 118209 80 0 3.11 3.09/3.14 o 419 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 0 6770 13121 84890 6 35833 119209 81 0 3.15 3.09/3.19 o 418 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 0 6770 13122 85390 6 35917 120209 82 0 3.19 3.19/3.23 o 417 3.19/3.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.28 c 0 6770 13123 85890 6 36002 121209 83 0 3.23 3.19/3.28 o 416 3.29/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.32 c 0 6770 13124 86390 6 36088 122209 84 0 3.28 3.29/3.32 o 415 3.29/3.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.38 c 0 6770 13125 86890 6 36175 123209 85 0 3.32 3.29/3.38 o 414 3.39/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.42 c 0 6770 13126 87390 6 36263 124209 86 0 3.38 3.39/3.42 o 413 3.39/3.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.49 c 0 6770 13127 87890 6 36352 125209 87 0 3.42 3.39/3.49 o 412 3.49/3.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.53 c 0 6770 13128 88390 6 36442 126209 88 0 3.49 3.49/3.53 o 411 3.49/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.60 c 0 6770 13129 88890 6 36533 127209 89 0 3.54 3.49/3.60 o 410 3.59/3.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.64 c 0 6770 13130 89390 6 36625 128209 90 0 3.60 3.59/3.64 o 409 3.59/3.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.69 c 0 6770 13131 89890 6 36718 129209 91 0 3.64 3.59/3.69 o 408 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 0 6770 13132 90390 6 36812 130209 92 0 3.70 3.69/3.73 o 407 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 0 6770 13133 90890 6 36907 131209 93 0 3.74 3.69/3.79 o 406 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 0 6770 13134 91390 6 37003 132209 94 0 3.80 3.79/3.83 o 405 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 0 6770 13135 91890 6 37100 133209 95 0 3.83 3.79/3.88 o 404 3.89/3.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.92 c 0 6770 13136 92390 7 37198 134209 96 0 3.88 3.89/3.92 o 403 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 0 6770 13137 92890 7 37297 135209 97 0 3.93 3.89/3.98 o 402 3.99/4.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.01 c 0 6770 13138 93390 7 37397 136209 98 0 3.99 3.99/4.01 o 401 3.99/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.07 c 0 6770 13139 93890 7 37498 137209 99 0 4.02 3.99/4.07 o 400 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 0 6770 13140 94390 7 37600 138209 100 0 4.08 4.09/4.11 o 399 4.09/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.13 c 1 6770 13142 95290 7 37705 138209 102 0 4.12 4.09/4.13 o 79 1797.97/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.63 c 1 6770 13143 95790 7 38128 138209 103 0 4.13 1797.97/1798.63 c 101 6770 13243 106782 8 38328 152030 203 23 4.22 1797.97/1798.63 c 354 6770 13497 139173 10 38836 167234 457 79 4.45 1797.97/1798.63 c 829 6770 13974 196741 14 39790 183958 934 170 4.86 1797.97/1798.63 c 1642 6770 14797 296266 20 41436 202354 1757 294 5.58 1797.97/1798.63 c 2963 6770 16136 446250 27 44114 222590 3096 436 6.78 1797.97/1798.63 c 5045 6770 18273 708844 38 48388 244850 5233 559 9.02 1797.97/1798.63 c 8268 6770 21540 1064254 49 54922 269336 8500 679 12.16 1797.97/1798.63 c 13204 6770 26564 1632655 61 64970 296270 13524 731 18.05 1797.97/1798.63 c 20710 6770 34285 2530675 73 80412 325898 21245 691 29.96 1797.97/1798.63 c 32071 6770 45856 3891214 84 103554 358488 32816 608 52.75 1797.97/1798.63 c 49215 6770 63372 6111323 96 138586 394337 50332 521 94.46 1797.97/1798.63 c 75035 6770 90124 9863263 109 192500 433771 77084 404 185.55 1797.97/1798.63 c 113867 6770 129779 14492674 111 271810 477149 116739 312 364.01 1797.97/1798.63 c 172219 6770 189932 22742362 119 392116 524864 176892 229 750.20 1797.97/1798.63 c 259854 6770 279114 32722337 117 570480 577351 266074 188 1378.95 1797.97/1798.63 c Resources Exceeded 1797.97/1798.63 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 x106 x107 x108 -x109 x110 -x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 x120 x121 x122 -x123 x124 x125 x126 x127 -x128 x129 -x130 x131 x132 -x133 x134 x135 x136 x137 x138 x139 -x140 -x141 -x142 -x143 x144 x145 x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 x155 -x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 -x168 -x169 x170 -x171 x172 x173 x174 x175 x176 x177 -x178 -x179 x180 -x181 -x182 x183 x184 x185 x186 -x187 x188 -x189 x190 x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 x373 x374 -x375 x376 x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -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 -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 1797.97/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.63 c 117 314768 118960 668638 335449 39765003 322409 175 1798.01 1797.97/1798.63 c Objective: 79 1797.97/1798.63 s SATISFIABLE 1797.97/1798.63 c Total time: 1798.01 s
OK 79
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876751-1245197955/watcher-1876751-1245197955 -o /tmp/evaluation-result-1876751-1245197955/solver-1876751-1245197955 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876751-1245197955.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/65 19878 /proc/meminfo: memFree=1827368/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=11192 CPUtime=0 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 187394285 11460608 252 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 2798 253 174 640 0 2036 0 [startup+0.0816789 s] /proc/loadavg: 1.00 1.00 1.00 3/65 19878 /proc/meminfo: memFree=1827368/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14008 CPUtime=0.07 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1176 0 0 0 7 0 0 0 20 0 1 0 187394285 14344192 1042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3502 1042 189 640 0 2858 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14008 [startup+0.101682 s] /proc/loadavg: 1.00 1.00 1.00 3/65 19878 /proc/meminfo: memFree=1827368/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14008 CPUtime=0.09 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1176 0 0 0 9 0 0 0 20 0 1 0 187394285 14344192 1042 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3502 1042 189 640 0 2858 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14008 [startup+0.301722 s] /proc/loadavg: 1.00 1.00 1.00 3/65 19878 /proc/meminfo: memFree=1827368/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14148 CPUtime=0.29 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1535 0 0 0 28 1 0 0 22 0 1 0 187394285 14487552 1089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3537 1089 195 640 0 2893 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14148 [startup+0.701801 s] /proc/loadavg: 1.00 1.00 1.00 3/65 19878 /proc/meminfo: memFree=1827368/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14276 CPUtime=0.69 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1571 0 0 0 66 3 0 0 25 0 1 0 187394285 14618624 1125 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3569 1125 195 640 0 2925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14276 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1823520/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14404 CPUtime=1.49 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1611 0 0 0 145 4 0 0 25 0 1 0 187394285 14749696 1165 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3601 1165 195 640 0 2957 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14404 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1823200/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=14660 CPUtime=3.09 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 1682 0 0 0 303 6 0 0 25 0 1 0 187394285 15011840 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 3665 1236 195 640 0 3021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14660 [startup+6.3019 s] /proc/loadavg: 1.08 1.02 1.01 2/66 19879 /proc/meminfo: memFree=1820064/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=18968 CPUtime=6.29 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 2766 0 0 0 621 8 0 0 25 0 1 0 187394285 19423232 2320 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 4742 2320 197 640 0 4098 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18968 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/66 19879 /proc/meminfo: memFree=1809312/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=29160 CPUtime=12.68 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 5316 0 0 0 1258 10 0 0 25 0 1 0 187394285 29859840 4870 1992294400 134512640 137136520 4294956256 18446744073709551615 134616696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 7290 4870 197 640 0 6646 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29160 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/66 19879 /proc/meminfo: memFree=1792800/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=44968 CPUtime=25.48 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 9252 0 0 0 2532 16 0 0 25 0 1 0 187394285 46047232 8806 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 11242 8806 197 640 0 10598 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44968 [startup+51.1017 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19879 /proc/meminfo: memFree=1771232/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=66532 CPUtime=51.07 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 14650 0 0 0 5083 24 0 0 25 0 1 0 187394285 68128768 14204 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 16633 14204 197 640 0 15989 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66532 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19879 /proc/meminfo: memFree=1732832/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=104528 CPUtime=102.26 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 24152 0 0 0 10187 39 0 0 25 0 1 0 187394285 107036672 23706 1992294400 134512640 137136520 4294956256 18446744073709551615 134551815 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 26132 23706 197 640 0 25488 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 104528 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1698912/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=138460 CPUtime=162.23 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 32637 0 0 0 16171 52 0 0 25 0 1 0 187394285 141783040 32191 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 34615 32191 197 640 0 33971 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 138460 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1670624/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=166504 CPUtime=222.21 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 39653 0 0 0 22158 63 0 0 25 0 1 0 187394285 170500096 39207 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 41626 39208 197 640 0 40982 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 166504 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1648096/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=189156 CPUtime=282.19 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 45303 0 0 0 28147 72 0 0 25 0 1 0 187394285 193695744 44857 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 47289 44857 197 640 0 46645 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 189156 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1628832/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=208236 CPUtime=342.17 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 50085 0 0 0 34137 80 0 0 25 0 1 0 187394285 213233664 49639 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 52059 49639 197 640 0 51415 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 208236 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1607520/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=229648 CPUtime=402.15 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 55437 0 0 0 40126 89 0 0 25 0 1 0 187394285 235159552 54991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 57412 54991 197 640 0 56768 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 229648 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1586272/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=250644 CPUtime=462.13 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 60688 0 0 0 46116 97 0 0 25 0 1 0 187394285 256659456 60242 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 62661 60242 197 640 0 62017 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 250644 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1570208/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=266928 CPUtime=522.1 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 64744 0 0 0 52107 103 0 0 25 0 1 0 187394285 273334272 64298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 66732 64298 197 640 0 66088 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 266928 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1551648/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=285456 CPUtime=582.09 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 69376 0 0 0 58101 108 0 0 25 0 1 0 187394285 292306944 68930 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 71364 68930 197 640 0 70720 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 285456 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1533088/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=303620 CPUtime=642.07 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 73931 0 0 0 64094 113 0 0 25 0 1 0 187394285 310906880 73485 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 75905 73485 197 640 0 75261 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 303620 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1429472/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=407000 CPUtime=1061.92 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 99778 0 0 0 106036 156 0 0 25 0 1 0 187394285 416768000 99332 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 101750 99332 197 640 0 101106 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 407000 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1416736/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=419692 CPUtime=1121.89 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 102934 0 0 0 112027 162 0 0 25 0 1 0 187394285 429764608 102488 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 104923 102488 197 640 0 104279 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 419692 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1405792/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=430616 CPUtime=1181.88 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 105675 0 0 0 118020 168 0 0 25 0 1 0 187394285 440950784 105229 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 107654 105229 197 640 0 107010 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 430616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1394144/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=442184 CPUtime=1241.86 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 108573 0 0 0 124013 173 0 0 25 0 1 0 187394285 452796416 108127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 110546 108127 197 640 0 109902 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 442184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1382752/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=453396 CPUtime=1301.84 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 111373 0 0 0 130007 177 0 0 25 0 1 0 187394285 464277504 110927 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 113349 110927 197 640 0 112705 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 453396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1372704/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=463484 CPUtime=1361.81 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 113898 0 0 0 135999 182 0 0 25 0 1 0 187394285 474607616 113452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 115871 113452 197 640 0 115227 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 463484 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1357728/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=478340 CPUtime=1421.79 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 117611 0 0 0 141990 189 0 0 25 0 1 0 187394285 489820160 117165 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 119585 117165 197 640 0 118941 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 478340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1339488/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=496628 CPUtime=1481.78 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 122182 0 0 0 147983 195 0 0 25 0 1 0 187394285 508547072 121736 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 124157 121736 197 640 0 123513 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 496628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1328288/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=507724 CPUtime=1541.75 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 124947 0 0 0 153975 200 0 0 25 0 1 0 187394285 519909376 124501 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 126931 124501 197 640 0 126287 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 507724 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1314656/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=521380 CPUtime=1601.73 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 128372 0 0 0 159967 206 0 0 25 0 1 0 187394285 533893120 127926 1992294400 134512640 137136520 4294956256 18446744073709551615 136498314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 130345 127926 197 640 0 129701 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 521380 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1300704/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=535212 CPUtime=1661.71 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 131831 0 0 0 165958 213 0 0 25 0 1 0 187394285 548057088 131385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 133803 131385 197 640 0 133159 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 535212 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1287520/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=548468 CPUtime=1721.69 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 135144 0 0 0 171951 218 0 0 25 0 1 0 187394285 561631232 134698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 137117 134698 197 640 0 136473 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 548468 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1275168/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=560588 CPUtime=1781.67 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138164 0 0 0 177944 223 0 0 25 0 1 0 187394285 574042112 137718 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140147 137718 197 640 0 139503 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 560588 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1273504/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=562212 CPUtime=1791.27 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138570 0 0 0 178903 224 0 0 25 0 1 0 187394285 575705088 138124 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140553 138124 197 640 0 139909 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 562212 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1272864/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=562860 CPUtime=1794.47 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138731 0 0 0 179223 224 0 0 25 0 1 0 187394285 576368640 138285 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140715 138285 197 640 0 140071 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 562860 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1272608/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=563252 CPUtime=1796.06 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138834 0 0 0 179382 224 0 0 25 0 1 0 187394285 576770048 138388 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140813 138388 197 640 0 140169 0 Current children cumulated CPU time (s) 1796.06 Current children cumulated vsize (KiB) 563252 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1272224/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=563492 CPUtime=1796.87 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138900 0 0 0 179462 225 0 0 25 0 1 0 187394285 577015808 138454 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140873 138454 197 640 0 140229 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 563492 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1272224/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=563632 CPUtime=1797.67 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194304 138932 0 0 0 179542 225 0 0 25 0 1 0 187394285 577159168 138486 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19878/statm: 140908 138486 197 640 0 140264 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 563632 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19879 /proc/meminfo: memFree=1272032/2055920 swapFree=4192812/4192956 [pid=19878] ppid=19876 vsize=0 CPUtime=1798.06 /proc/19878/stat : 19878 (bsolo) R 19876 19878 19521 0 -1 4194308 138948 0 0 0 179575 231 0 0 25 0 1 0 187394285 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19878/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.72 CPU time (s): 1798.09 CPU user time (s): 1795.76 CPU system time (s): 2.33465 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 563684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.76 system time used= 2.33465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 138948 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= 3 involuntary context switches= 1919 runsolver used 1.93271 second user time and 4.6193 second system time The end
Begin job on node77 at 2009-06-17 02:19:15 IDJOB=1876751 IDBENCH=48161 IDSOLVER=699 FILE ID=node77/1876751-1245197955 PBS_JOBID= 9368334 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876751-1245197955/watcher-1876751-1245197955 -o /tmp/evaluation-result-1876751-1245197955/solver-1876751-1245197955 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876751-1245197955.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea RANDOM SEED=436055378 node77.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828232 kB Buffers: 31596 kB Cached: 121200 kB SwapCached: 0 kB Active: 38136 kB Inactive: 127988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828232 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4036 kB Writeback: 0 kB Mapped: 23096 kB Slab: 47540 kB Committed_AS: 125996 kB PageTables: 1376 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-1876751-1245197955.opb Free space on /tmp at the end= 66312 MiB End job on node77 at 2009-06-17 02:49:15