Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 77 | 1798.06 | 1798.55 |
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 | 74 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670890-1276710658.opb 0.00/0.00 c File size is 480385 bytes. 0.00/0.07 c Highest Coefficient sum: 500 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.075 s 0.00/0.08 c Var: 6770 Constr: 13040 6770/0/6270 Lit: 44390 Watch. Lit: 32350 0.00/0.08 c Obj. Vars: 500 (7.38552 % of total variables) 0.19/0.29 c Pre-processing Time: 0.295 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 6770 13040 44390 3 32350 39876 0 0 0.29 0.19/0.29 c Switching off lower bounding mode. 0.29/0.30 o 499 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 6770 13041 44890 3 32353 40209 1 0 0.30 0.29/0.31 o 498 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 6770 13042 45390 3 32357 40709 2 0 0.31 0.29/0.32 o 497 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 0 6770 13043 45890 3 32362 41376 3 0 0.32 0.29/0.33 o 496 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 6770 13044 46390 3 32368 42209 4 0 0.33 0.29/0.34 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.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 0 6770 13046 47390 3 32383 44209 6 0 0.36 0.29/0.37 o 493 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 0 6770 13047 47890 3 32392 45209 7 0 0.38 0.29/0.39 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.39 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.40 0.39/0.41 o 490 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 6770 13050 49390 3 32425 48209 10 0 0.42 0.39/0.42 o 489 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6770 13051 49890 3 32438 49209 11 0 0.43 0.39/0.45 o 488 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6770 13052 50390 3 32452 50209 12 0 0.45 0.39/0.47 o 487 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6770 13053 50890 3 32467 51209 13 0 0.48 0.39/0.49 o 486 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 6770 13054 51390 3 32483 52209 14 0 0.50 0.49/0.50 o 485 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6770 13055 51890 3 32500 53209 15 0 0.51 0.49/0.53 o 484 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6770 13056 52390 4 32518 54209 16 0 0.53 0.49/0.55 o 483 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6770 13057 52890 4 32537 55209 17 0 0.56 0.49/0.58 o 482 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6770 13058 53390 4 32557 56209 18 0 0.58 0.59/0.60 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.61 0.59/0.63 o 480 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6770 13060 54390 4 32600 58209 20 0 0.64 0.59/0.66 o 479 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6770 13061 54890 4 32623 59209 21 0 0.66 0.59/0.69 o 478 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6770 13062 55390 4 32647 60209 22 0 0.70 0.69/0.72 o 477 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6770 13063 55890 4 32672 61209 23 0 0.72 0.69/0.73 o 476 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 6770 13064 56390 4 32698 62209 24 0 0.73 0.69/0.77 o 475 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 6770 13065 56890 4 32725 63209 25 0 0.77 0.79/0.80 o 474 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6770 13066 57390 4 32753 64209 26 0 0.80 0.79/0.84 o 473 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 6770 13067 57890 4 32782 65209 27 0 0.84 0.79/0.87 o 472 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 6770 13068 58390 4 32812 66209 28 0 0.88 0.89/0.90 o 471 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6770 13069 58890 4 32843 67209 29 0 0.90 0.89/0.93 o 470 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6770 13070 59390 4 32875 68209 30 0 0.93 0.89/0.96 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 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 0 6770 13072 60390 4 32942 70209 32 0 1.00 1.00/1.02 o 467 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 0 6770 13073 60890 4 32977 71209 33 0 1.03 1.00/1.07 o 466 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 6770 13074 61390 4 33013 72209 34 0 1.07 1.00/1.09 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.09 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.14 1.09/1.16 o 463 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6770 13077 62890 4 33127 75209 37 0 1.17 1.19/1.21 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.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 6770 13080 64390 4 33250 78209 40 0 1.29 1.29/1.32 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.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 6770 13082 65390 4 33337 80209 42 0 1.37 1.39/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.46 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.69 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.74 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.92 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.01 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.14 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.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.53 c 0 6770 13108 78390 5 34832 106209 68 0 2.50 2.49/2.53 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.59/2.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.69 c 0 6770 13111 79890 6 35048 109209 71 0 2.63 2.59/2.69 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.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.78 c 0 6770 13113 80890 6 35197 111209 73 0 2.74 2.69/2.78 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.82 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.89 2.89/2.93 o 423 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 0 6770 13117 82890 6 35507 115209 77 0 2.93 2.89/2.98 o 422 2.99/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.02 c 0 6770 13118 83390 6 35587 116209 78 0 2.99 2.99/3.02 o 421 2.99/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.09 c 0 6770 13119 83890 6 35668 117209 79 0 3.03 2.99/3.09 o 420 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 0 6770 13120 84390 6 35750 118209 80 0 3.10 3.09/3.13 o 419 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 0 6770 13121 84890 6 35833 119209 81 0 3.14 3.09/3.18 o 418 3.20/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.22 c 0 6770 13122 85390 6 35917 120209 82 0 3.18 3.20/3.22 o 417 3.20/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.27 c 0 6770 13123 85890 6 36002 121209 83 0 3.22 3.20/3.27 o 416 3.30/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.31 c 0 6770 13124 86390 6 36088 122209 84 0 3.27 3.30/3.31 o 415 3.30/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.37 c 0 6770 13125 86890 6 36175 123209 85 0 3.31 3.30/3.37 o 414 3.39/3.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.41 c 0 6770 13126 87390 6 36263 124209 86 0 3.37 3.39/3.41 o 413 3.39/3.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.48 c 0 6770 13127 87890 6 36352 125209 87 0 3.41 3.39/3.48 o 412 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 0 6770 13128 88390 6 36442 126209 88 0 3.48 3.49/3.52 o 411 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 0 6770 13129 88890 6 36533 127209 89 0 3.52 3.49/3.58 o 410 3.59/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.62 c 0 6770 13130 89390 6 36625 128209 90 0 3.59 3.59/3.62 o 409 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 0 6770 13131 89890 6 36718 129209 91 0 3.63 3.59/3.68 o 408 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 0 6770 13132 90390 6 36812 130209 92 0 3.68 3.69/3.72 o 407 3.69/3.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.78 c 0 6770 13133 90890 6 36907 131209 93 0 3.72 3.69/3.78 o 406 3.79/3.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.81 c 0 6770 13134 91390 6 37003 132209 94 0 3.78 3.79/3.81 o 405 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 0 6770 13135 91890 6 37100 133209 95 0 3.82 3.79/3.86 o 404 3.89/3.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.90 c 0 6770 13136 92390 7 37198 134209 96 0 3.87 3.89/3.90 o 403 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 0 6770 13137 92890 7 37297 135209 97 0 3.91 3.89/3.96 o 402 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 0 6770 13138 93390 7 37397 136209 98 0 3.97 3.89/3.99 o 401 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 0 6770 13139 93890 7 37498 137209 99 0 4.00 3.99/4.05 o 400 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 0 6770 13140 94390 7 37600 138209 100 0 4.05 3.99/4.09 o 399 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 1 6770 13142 95290 7 37705 138209 102 0 4.09 4.09/4.11 o 79 5.59/5.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.65 c 1 6770 13143 95790 7 38128 138209 103 0 4.11 5.59/5.65 c 101 6770 13243 106782 8 38328 152030 203 24 4.16 5.59/5.65 c 354 6770 13496 139001 10 38834 167234 456 82 4.27 5.59/5.65 c 829 6770 13971 196165 14 39784 183958 931 185 4.48 5.59/5.65 c 1642 6770 14784 293915 19 41410 202354 1744 339 4.83 5.59/5.65 c 2963 6770 16105 443394 27 44052 222590 3065 543 5.45 5.59/5.65 o 78 5.79/5.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.79/5.83 c 3398 6770 16541 493334 29 45346 138209 3501 600 5.66 5.79/5.83 c 3499 6770 16642 504936 30 45548 152030 3602 611 5.72 5.79/5.83 o 77 1797.92/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.49 c 3713 6770 16857 530969 31 46401 138209 3817 636 5.84 1797.92/1798.49 c 3814 6770 16958 542287 31 46603 152030 3918 646 5.90 1797.92/1798.49 c 4065 6770 17209 569558 33 47105 167234 4169 673 6.03 1797.92/1798.49 c 4540 6770 17684 620368 35 48055 183958 4644 723 6.27 1797.92/1798.49 c 5354 6770 18498 723273 39 49683 202354 5458 785 6.82 1797.92/1798.49 c 6675 6770 19819 882866 44 52325 222590 6779 871 7.66 1797.92/1798.49 c 8756 6770 21900 1114549 50 56487 244850 8860 959 9.12 1797.92/1798.49 c 11979 6770 25123 1472158 58 62933 269336 12083 1048 11.42 1797.92/1798.49 c 16917 6770 30061 2052026 68 72809 296270 17021 1078 15.68 1797.92/1798.49 c 24423 6770 37567 2886665 76 87821 325898 24527 995 24.53 1797.92/1798.49 c 35784 6770 48928 4216235 86 110543 358488 35888 905 39.50 1797.92/1798.49 c 52928 6770 66072 6140347 92 144831 394337 53032 779 67.88 1797.92/1798.49 c 78747 6770 91891 8885798 96 196469 433771 78851 676 116.39 1797.92/1798.49 c 117580 6770 130724 13201263 100 274135 477149 117684 470 249.91 1797.92/1798.49 c 175933 6770 189077 20821264 110 390841 524864 176037 343 512.06 1797.92/1798.49 c 263565 6770 276709 30954326 111 566105 577351 263669 219 1199.18 1797.92/1798.49 c Resources Exceeded 1797.92/1798.49 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.92/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.49 c 125 347828 129052 715991 360972 39527226 347932 193 1798.01 1797.92/1798.49 c Objective: 77 1797.92/1798.49 s SATISFIABLE 1797.92/1798.49 c Total time: 1798.01 s
OK 77
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670890-1276710658/watcher-2670890-1276710658 -o /tmp/evaluation-result-2670890-1276710658/solver-2670890-1276710658 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670890-1276710658.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.07 1.02 1.00 3/105 18865 /proc/meminfo: memFree=1719100/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=11412 CPUtime=0 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 374 0 0 0 0 0 0 0 25 0 1 0 12359332 11685888 292 1992294400 134512640 137138936 4292463760 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 2853 293 175 642 0 2091 0 [startup+0.0987189 s] /proc/loadavg: 1.07 1.02 1.00 3/105 18865 /proc/meminfo: memFree=1719100/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14024 CPUtime=0.09 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1238 0 0 0 9 0 0 0 25 0 1 0 12359332 14360576 1038 1992294400 134512640 137138936 4292463760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3506 1038 184 642 0 2862 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14024 [startup+0.10072 s] /proc/loadavg: 1.07 1.02 1.00 3/105 18865 /proc/meminfo: memFree=1719100/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14024 CPUtime=0.09 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1238 0 0 0 9 0 0 0 25 0 1 0 12359332 14360576 1038 1992294400 134512640 137138936 4292463760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3506 1038 184 642 0 2862 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14024 [startup+0.300742 s] /proc/loadavg: 1.07 1.02 1.00 3/105 18865 /proc/meminfo: memFree=1719100/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14032 CPUtime=0.29 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1585 0 0 0 28 1 0 0 25 0 1 0 12359332 14368768 1073 1992294400 134512640 137138936 4292463760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3508 1073 186 642 0 2864 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14032 [startup+0.700786 s] /proc/loadavg: 1.07 1.02 1.00 3/105 18865 /proc/meminfo: memFree=1719100/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14292 CPUtime=0.69 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1631 0 0 0 66 3 0 0 25 0 1 0 12359332 14635008 1119 1992294400 134512640 137138936 4292463760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3573 1119 188 642 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14292 [startup+1.50087 s] /proc/loadavg: 1.07 1.02 1.00 2/106 18866 /proc/meminfo: memFree=1715248/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14420 CPUtime=1.49 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1671 0 0 0 144 5 0 0 25 0 1 0 12359332 14766080 1159 1992294400 134512640 137138936 4292463760 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3605 1159 188 642 0 2961 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14420 [startup+3.10105 s] /proc/loadavg: 1.07 1.02 1.00 2/106 18866 /proc/meminfo: memFree=1715000/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=14676 CPUtime=3.09 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 1743 0 0 0 301 8 0 0 25 0 1 0 12359332 15028224 1231 1992294400 134512640 137138936 4292463760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 3669 1231 188 642 0 3025 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14676 [startup+6.3014 s] /proc/loadavg: 1.07 1.02 1.00 2/106 18866 /proc/meminfo: memFree=1709916/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=22260 CPUtime=6.29 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 3629 0 0 0 617 12 0 0 25 0 1 0 12359332 22794240 3117 1992294400 134512640 137138936 4292463760 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 5565 3117 191 642 0 4921 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22260 [startup+12.7011 s] /proc/loadavg: 1.06 1.01 1.00 2/106 18866 /proc/meminfo: memFree=1694168/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=36860 CPUtime=12.68 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 7279 0 0 0 1253 15 0 0 25 0 1 0 12359332 37744640 6767 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 9215 6767 191 642 0 8571 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36860 [startup+25.5005 s] /proc/loadavg: 1.05 1.01 1.00 2/106 18866 /proc/meminfo: memFree=1675072/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=55024 CPUtime=25.48 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 11821 0 0 0 2525 23 0 0 25 0 1 0 12359332 56344576 11309 1992294400 134512640 137138936 4292463760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 13756 11309 191 642 0 13112 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55024 [startup+51.1003 s] /proc/loadavg: 1.03 1.01 1.00 2/106 18868 /proc/meminfo: memFree=1644196/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=85804 CPUtime=51.08 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 19528 0 0 0 5070 38 0 0 25 0 1 0 12359332 87863296 19016 1992294400 134512640 137138936 4292463760 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 21451 19017 191 642 0 20807 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85804 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/106 18868 /proc/meminfo: memFree=1602408/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=126920 CPUtime=102.27 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 29809 0 0 0 10175 52 0 0 25 0 1 0 12359332 129966080 29297 1992294400 134512640 137138936 4292463760 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 31730 29297 191 642 0 31086 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126920 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18870 /proc/meminfo: memFree=1567316/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=162068 CPUtime=162.24 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 38599 0 0 0 16157 67 0 0 25 0 1 0 12359332 165957632 38087 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 40517 38087 191 642 0 39873 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 162068 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18872 /proc/meminfo: memFree=1542764/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=186396 CPUtime=222.23 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 44663 0 0 0 22142 81 0 0 25 0 1 0 12359332 190869504 44151 1992294400 134512640 137138936 4292463760 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 46599 44151 191 642 0 45955 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 186396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18874 /proc/meminfo: memFree=1515980/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=213432 CPUtime=282.22 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 51440 0 0 0 28126 96 0 0 25 0 1 0 12359332 218554368 50928 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 53358 50928 191 642 0 52714 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 213432 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18874 /proc/meminfo: memFree=1486716/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=242360 CPUtime=342.2 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 58669 0 0 0 34111 109 0 0 25 0 1 0 12359332 248176640 58157 1992294400 134512640 137138936 4292463760 18446744073709551615 134575635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 60590 58157 191 642 0 59946 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 242360 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18876 /proc/meminfo: memFree=1465760/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=263360 CPUtime=402.19 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 63920 0 0 0 40099 120 0 0 25 0 1 0 12359332 269680640 63408 1992294400 134512640 137138936 4292463760 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 65840 63408 191 642 0 65196 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 263360 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18878 /proc/meminfo: memFree=1443688/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=285280 CPUtime=462.17 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 69389 0 0 0 46086 131 0 0 25 0 1 0 12359332 292126720 68877 1992294400 134512640 137138936 4292463760 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 71320 68877 191 642 0 70676 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 285280 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18880 /proc/meminfo: memFree=1426824/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=302184 CPUtime=522.16 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 73618 0 0 0 52074 142 0 0 25 0 1 0 12359332 309436416 73106 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 75546 73106 191 642 0 74902 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 302184 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18882 /proc/meminfo: memFree=1409216/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=319584 CPUtime=582.14 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 77978 0 0 0 58062 152 0 0 25 0 1 0 12359332 327254016 77466 1992294400 134512640 137138936 4292463760 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 79896 77466 191 642 0 79252 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 319584 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18891 /proc/meminfo: memFree=1394336/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=333832 CPUtime=642.11 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 81536 0 0 0 64050 161 0 0 25 0 1 0 12359332 341843968 81024 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 83458 81024 191 642 0 82814 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 333832 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1311256/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=417092 CPUtime=1061.99 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 102347 0 0 0 105991 208 0 0 25 0 1 0 12359332 427102208 101835 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 104273 101835 191 642 0 103629 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 417092 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18905 /proc/meminfo: memFree=1301584/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=426528 CPUtime=1121.98 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 104700 0 0 0 111984 214 0 0 25 0 1 0 12359332 436764672 104188 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 106632 104188 191 642 0 105988 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 426528 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18907 /proc/meminfo: memFree=1292284/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=435852 CPUtime=1181.97 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 107030 0 0 0 117975 222 0 0 25 0 1 0 12359332 446312448 106518 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 108963 106518 191 642 0 108319 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 435852 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18907 /proc/meminfo: memFree=1278024/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=449768 CPUtime=1241.95 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 110508 0 0 0 123967 228 0 0 25 0 1 0 12359332 460562432 109996 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 112442 109996 191 642 0 111798 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 449768 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18909 /proc/meminfo: memFree=1264260/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=463444 CPUtime=1301.94 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 113925 0 0 0 129958 236 0 0 25 0 1 0 12359332 474566656 113413 1992294400 134512640 137138936 4292463760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 115861 113413 191 642 0 115217 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 463444 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18911 /proc/meminfo: memFree=1250620/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=477132 CPUtime=1361.92 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 117348 0 0 0 135948 244 0 0 25 0 1 0 12359332 488583168 116836 1992294400 134512640 137138936 4292463760 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 119283 116836 191 642 0 118639 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 477132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18913 /proc/meminfo: memFree=1237476/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=490164 CPUtime=1421.91 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 120622 0 0 0 141941 250 0 0 25 0 1 0 12359332 501927936 120110 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 122541 120110 191 642 0 121897 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 490164 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18915 /proc/meminfo: memFree=1223836/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=503832 CPUtime=1481.89 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 124022 0 0 0 147931 258 0 0 25 0 1 0 12359332 515923968 123510 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 125958 123510 191 642 0 125314 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 503832 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18915 /proc/meminfo: memFree=1212180/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=515368 CPUtime=1541.87 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 126924 0 0 0 153924 263 0 0 25 0 1 0 12359332 527736832 126412 1992294400 134512640 137138936 4292463760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 128842 126412 191 642 0 128198 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 515368 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18917 /proc/meminfo: memFree=1201888/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=525696 CPUtime=1601.86 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 129496 0 0 0 159915 271 0 0 25 0 1 0 12359332 538312704 128984 1992294400 134512640 137138936 4292463760 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 131424 128984 191 642 0 130780 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 525696 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18919 /proc/meminfo: memFree=1191348/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=536096 CPUtime=1661.84 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 132099 0 0 0 165907 277 0 0 25 0 1 0 12359332 548962304 131587 1992294400 134512640 137138936 4292463760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 134024 131587 191 642 0 133380 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 536096 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18921 /proc/meminfo: memFree=1181180/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=546192 CPUtime=1721.83 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 134622 0 0 0 171900 283 0 0 25 0 1 0 12359332 559300608 134110 1992294400 134512640 137138936 4292463760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 136548 134110 191 642 0 135904 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 546192 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1172252/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=554956 CPUtime=1781.81 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 136806 0 0 0 177893 288 0 0 25 0 1 0 12359332 568274944 136294 1992294400 134512640 137138936 4292463760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 138739 136294 191 642 0 138095 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 554956 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1170640/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=556448 CPUtime=1791.41 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 137184 0 0 0 178853 288 0 0 25 0 1 0 12359332 569802752 136672 1992294400 134512640 137138936 4292463760 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 139112 136672 191 642 0 138468 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 556448 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1170020/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=557084 CPUtime=1794.61 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 137335 0 0 0 179173 288 0 0 25 0 1 0 12359332 570454016 136823 1992294400 134512640 137138936 4292463760 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 139271 136823 191 642 0 138627 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 557084 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1169772/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=557380 CPUtime=1796.21 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 137414 0 0 0 179332 289 0 0 25 0 1 0 12359332 570757120 136902 1992294400 134512640 137138936 4292463760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 139345 136902 191 642 0 138701 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 557380 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1169648/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=557520 CPUtime=1797.01 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 137449 0 0 0 179412 289 0 0 25 0 1 0 12359332 570900480 136937 1992294400 134512640 137138936 4292463760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 139380 136937 191 642 0 138736 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 557520 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1169648/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=557640 CPUtime=1797.81 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202496 137479 0 0 0 179492 289 0 0 25 0 1 0 12359332 571023360 136967 1992294400 134512640 137138936 4292463760 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18865/statm: 139410 136967 191 642 0 138766 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 557640 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18923 /proc/meminfo: memFree=1169400/2059040 swapFree=4164960/4192956 [pid=18865] ppid=18863 vsize=0 CPUtime=1798.01 /proc/18865/stat : 18865 (bsolo_pb10) R 18863 18865 18007 0 -1 4202500 137487 0 0 0 179511 290 0 0 25 0 1 0 12359332 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18865/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.06 CPU user time (s): 1795.12 CPU system time (s): 2.94355 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 557640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.12 system time used= 2.94355 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 137487 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= 1 involuntary context switches= 4107 runsolver used 2.98155 second user time and 8.47971 second system time The end
Begin job on node087 at 2010-06-16 19:50:58 IDJOB=2670890 IDBENCH=48161 IDSOLVER=1163 FILE ID=node087/2670890-1276710658 PBS_JOBID= 11174079 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670890-1276710658/watcher-2670890-1276710658 -o /tmp/evaluation-result-2670890-1276710658/solver-2670890-1276710658 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670890-1276710658.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea RANDOM SEED=1001228313 node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1720372 kB Buffers: 90092 kB Cached: 137308 kB SwapCached: 1016 kB Active: 98548 kB Inactive: 161824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1720372 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 4060 kB Writeback: 0 kB AnonPages: 31876 kB Mapped: 14692 kB Slab: 56560 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182248 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670890-1276710658.opb Free space on /tmp at the end= 62552 MiB End job on node087 at 2010-06-16 20:20:57