Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 15 | 1798.15 | 1798.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb |
MD5SUM | 0e507441d4bf529adaad354902c51a54 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 1789.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6216 |
Sum of products size (including duplicates) | 12432 |
Number of different products | 6216 |
Sum of products size | 12432 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670883-1276710072.opb 0.00/0.00 c File size is 459797 bytes. 0.04/0.07 c Highest Coefficient sum: 200 0.04/0.07 c Parsing was ok!! 0.04/0.08 c Total parsing time: 0.078 s 0.04/0.08 c Var: 6416 Constr: 12632 6416/0/6216 Lit: 43712 Watch. Lit: 31480 0.04/0.08 c Obj. Vars: 200 (3.11721 % of total variables) 0.49/0.52 c Pre-processing Time: 0.527 s 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6416 12632 43712 3 31480 39434 0 0 0.53 0.49/0.52 c Switching off lower bounding mode. 0.49/0.53 o 199 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6416 12633 43912 3 31483 39567 1 0 0.54 0.49/0.54 o 198 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6416 12634 44112 3 31487 39767 2 0 0.54 0.49/0.55 o 197 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6416 12635 44312 3 31492 40034 3 0 0.55 0.49/0.55 o 196 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6416 12636 44512 3 31498 40367 4 0 0.56 0.49/0.56 o 195 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6416 12637 44712 3 31505 40767 5 0 0.57 0.49/0.57 o 194 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6416 12638 44912 3 31513 41234 6 0 0.57 0.49/0.58 o 193 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6416 12639 45112 3 31522 41767 7 0 0.58 0.49/0.58 o 192 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6416 12640 45312 3 31532 42367 8 0 0.59 0.49/0.59 o 191 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6416 12641 45512 3 31543 43034 9 0 0.60 0.59/0.60 o 190 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6416 12642 45712 3 31555 43767 10 0 0.60 0.59/0.61 o 189 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6416 12643 45912 3 31568 44567 11 0 0.61 0.59/0.62 o 188 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6416 12644 46112 3 31582 45434 12 0 0.62 0.59/0.63 o 187 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6416 12645 46312 3 31597 46367 13 0 0.63 0.59/0.64 o 186 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6416 12646 46512 3 31613 47367 14 0 0.64 0.59/0.65 o 185 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6416 12647 46712 3 31630 48367 15 0 0.65 0.59/0.66 o 184 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6416 12648 46912 3 31648 49367 16 0 0.66 0.59/0.67 o 183 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6416 12649 47112 3 31667 50367 17 0 0.67 0.59/0.68 o 182 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6416 12650 47312 3 31687 51367 18 0 0.68 0.59/0.69 o 181 0.59/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.70 c 0 6416 12651 47512 3 31708 52367 19 0 0.69 0.59/0.70 o 180 0.70/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.71 c 0 6416 12652 47712 3 31730 53367 20 0 0.70 0.70/0.71 o 179 0.70/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.72 c 0 6416 12653 47912 3 31753 54367 21 0 0.71 0.70/0.72 o 178 0.70/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.73 c 0 6416 12654 48112 3 31777 55367 22 0 0.72 0.70/0.73 o 177 0.70/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.74 c 0 6416 12655 48312 3 31802 56367 23 0 0.73 0.70/0.74 o 176 0.70/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.75 c 0 6416 12656 48512 3 31828 57367 24 0 0.74 0.70/0.75 o 175 0.70/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.76 c 0 6416 12657 48712 3 31855 58367 25 0 0.76 0.70/0.76 o 174 0.70/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.77 c 0 6416 12658 48912 3 31883 59367 26 0 0.76 0.70/0.77 o 173 0.70/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.78 c 0 6416 12659 49112 3 31912 60367 27 0 0.78 0.70/0.78 o 172 0.70/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.79 c 0 6416 12660 49312 3 31942 61367 28 0 0.79 0.70/0.79 o 171 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 6416 12661 49512 3 31973 62367 29 0 0.80 0.79/0.80 o 170 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6416 12662 49712 3 32005 63367 30 0 0.81 0.79/0.81 o 169 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6416 12663 49912 3 32038 64367 31 0 0.82 0.79/0.82 o 168 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6416 12664 50112 3 32072 65367 32 0 0.83 0.79/0.83 o 167 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6416 12665 50312 3 32107 66367 33 0 0.84 0.79/0.84 o 166 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6416 12666 50512 3 32143 67367 34 0 0.85 0.79/0.86 o 165 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 6416 12667 50712 4 32180 68367 35 0 0.86 0.79/0.87 o 164 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 6416 12668 50912 4 32218 69367 36 0 0.87 0.79/0.88 o 163 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6416 12669 51112 4 32257 70367 37 0 0.88 0.79/0.89 o 162 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 6416 12670 51312 4 32297 71367 38 0 0.89 0.89/0.90 o 161 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6416 12671 51512 4 32338 72367 39 0 0.91 0.89/0.91 o 160 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6416 12672 51712 4 32380 73367 40 0 0.92 0.89/0.92 o 159 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6416 12673 51912 4 32423 74367 41 0 0.93 0.89/0.93 o 158 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6416 12674 52112 4 32467 75367 42 0 0.94 0.89/0.95 o 157 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6416 12675 52312 4 32512 76367 43 0 0.95 0.89/0.96 o 156 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 6416 12676 52512 4 32558 77367 44 0 0.96 0.89/0.97 o 155 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 6416 12677 52712 4 32605 78367 45 0 0.97 0.89/0.98 o 154 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6416 12678 52912 4 32653 79367 46 0 0.98 0.89/0.99 o 153 1.00/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.00 c 0 6416 12679 53112 4 32702 80367 47 0 0.99 1.00/1.00 o 152 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 0 6416 12680 53312 4 32752 81367 48 0 1.00 1.00/1.01 o 151 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 0 6416 12681 53512 4 32803 82367 49 0 1.02 1.00/1.02 o 150 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 6416 12682 53712 4 32855 83367 50 0 1.03 1.00/1.03 o 149 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 6416 12683 53912 4 32908 84367 51 0 1.04 1.00/1.04 o 148 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 6416 12684 54112 4 32962 85367 52 0 1.05 1.00/1.05 o 147 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 0 6416 12685 54312 4 33017 86367 53 0 1.06 1.00/1.06 o 146 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 0 6416 12686 54512 4 33073 87367 54 0 1.07 1.00/1.08 o 145 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 6416 12687 54712 4 33130 88367 55 0 1.08 1.00/1.09 o 144 1.00/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.10 c 0 6416 12688 54912 4 33188 89367 56 0 1.09 1.00/1.10 o 143 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 0 6416 12689 55112 4 33247 90367 57 0 1.10 1.10/1.11 o 142 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 0 6416 12690 55312 4 33307 91367 58 0 1.11 1.10/1.12 o 141 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 0 6416 12691 55512 4 33368 92367 59 0 1.12 1.10/1.13 o 140 1.10/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.14 c 0 6416 12692 55712 4 33430 93367 60 0 1.13 1.10/1.14 o 139 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 0 6416 12693 55912 4 33493 94367 61 0 1.14 1.10/1.15 o 138 1.10/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.16 c 0 6416 12694 56112 4 33557 95367 62 0 1.15 1.10/1.16 o 137 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 0 6416 12695 56312 4 33622 96367 63 0 1.17 1.10/1.17 o 136 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 0 6416 12696 56512 4 33688 97367 64 0 1.18 1.10/1.18 o 135 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 6416 12697 56712 4 33755 98367 65 0 1.19 1.10/1.19 o 134 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6416 12698 56912 4 33823 99367 66 0 1.20 1.19/1.20 o 133 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6416 12699 57112 4 33892 100367 67 0 1.21 1.19/1.21 o 132 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6416 12700 57312 4 33962 101367 68 0 1.22 1.19/1.22 o 131 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6416 12701 57512 4 34033 102367 69 0 1.23 1.19/1.23 o 130 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6416 12702 57712 4 34105 103367 70 0 1.24 1.19/1.24 o 129 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 1 6416 12704 58042 4 34180 103367 72 0 1.25 1.19/1.25 o 18 1.49/1.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.56 c 1 6416 12705 58242 4 34364 103367 73 0 1.26 1.49/1.56 c 103 6416 12813 72072 5 34580 113704 181 76 1.35 1.49/1.56 c 354 6416 13083 109330 8 35120 125075 451 228 1.55 1.49/1.56 o 17 8.49/8.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.51 c 355 6416 13085 109684 8 35307 103367 453 226 1.57 8.49/8.51 c 456 6416 13191 123183 9 35519 113704 559 274 1.66 8.49/8.51 c 706 6416 13455 161434 11 36047 125075 823 373 1.89 8.49/8.51 c 1181 6416 13969 245468 17 37075 137583 1337 504 2.34 8.49/8.51 c 1995 6416 14827 352956 23 38878 151342 2195 641 3.11 8.49/8.51 c 3316 6416 16231 559793 34 42586 166477 3599 712 4.65 8.49/8.51 c 5397 6416 18467 931131 50 47058 183125 5835 694 7.77 8.49/8.51 o 16 103.57/103.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 103.57/103.61 c 5923 6416 19040 1027449 53 48569 103367 6408 695 8.51 103.57/103.61 c 6023 6416 19146 1040618 54 48781 113704 6514 691 8.71 103.57/103.61 c 6274 6416 19408 1079376 55 49305 125075 6776 692 9.05 103.57/103.61 c 6750 6416 19932 1173284 58 50353 137583 7300 682 9.89 103.57/103.61 c 7563 6416 20802 1276472 61 52093 151342 8170 672 11.25 103.57/103.61 c 8883 6416 22220 1469752 66 54929 166477 9588 638 13.92 103.57/103.61 c 10964 6416 24497 1799966 73 60327 183125 11865 602 18.21 103.57/103.61 c 14188 6416 27963 2306693 82 67753 201438 15331 527 26.91 103.57/103.61 c 19127 6416 33370 3332375 99 80133 221582 20738 449 42.54 103.57/103.61 c 26634 6416 41478 4849614 116 98623 243741 28846 355 74.83 103.57/103.61 o 15 1798.05/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.05/1798.53 c 31816 6416 47115 5697717 120 110713 103367 34483 307 103.60 1798.05/1798.53 c 31916 6416 47223 5714799 121 110929 113704 34591 305 104.33 1798.05/1798.53 c 32169 6416 47492 5745785 120 111467 125075 34860 304 105.79 1798.05/1798.53 c 32644 6416 48001 5812013 121 112667 137583 35369 301 108.15 1798.05/1798.53 c 33457 6416 48877 5915342 121 114779 151342 36245 296 112.77 1798.05/1798.53 c 34777 6416 50285 6098247 121 117595 166477 37653 294 117.98 1798.05/1798.53 c 36858 6416 52507 6411198 122 122749 183125 39875 282 130.31 1798.05/1798.53 c 40081 6416 55941 6857450 122 129797 201438 43309 264 151.75 1798.05/1798.53 c 45017 6416 61380 7771370 126 141639 221582 48748 248 181.37 1798.05/1798.53 c 52523 6416 69598 9126244 131 160437 243741 56966 221 236.88 1798.05/1798.53 c 63886 6416 81874 11761559 143 191579 268116 69242 185 343.94 1798.05/1798.53 c 81031 6416 100724 16598669 164 239081 294928 88092 151 536.36 1798.05/1798.53 c 106850 6416 128772 24269874 188 305302 324421 116140 120 887.52 1798.05/1798.53 c 145684 6416 172137 38822552 225 497039 356864 159505 83 1743.44 1798.05/1798.53 c Resources Exceeded 1798.05/1798.53 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 1798.05/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.05/1798.53 c 105 147784 43158 261688 174447 39636596 161815 82 1798.09 1798.05/1798.53 c Objective: 15 1798.05/1798.53 s SATISFIABLE 1798.05/1798.53 c Total time: 1798.09 s
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670883-1276710072/watcher-2670883-1276710072 -o /tmp/evaluation-result-2670883-1276710072/solver-2670883-1276710072 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670883-1276710072.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/106 10857 /proc/meminfo: memFree=1836736/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=11392 CPUtime=0 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 369 0 0 0 0 0 0 0 18 0 1 0 44662624 11665408 288 1992294400 134512640 137138936 4287662464 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 2848 288 174 642 0 2091 0 [startup+0.044317 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10857 /proc/meminfo: memFree=1836736/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=12216 CPUtime=0.04 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 621 0 0 0 4 0 0 0 20 0 1 0 44662624 12509184 540 1992294400 134512640 137138936 4287662464 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 3054 540 226 642 0 2297 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12216 [startup+0.101322 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10857 /proc/meminfo: memFree=1836736/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=13816 CPUtime=0.09 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 1206 0 0 0 9 0 0 0 20 0 1 0 44662624 14147584 1012 1992294400 134512640 137138936 4287662464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 3454 1012 184 642 0 2810 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13816 [startup+0.301337 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10857 /proc/meminfo: memFree=1836736/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=13816 CPUtime=0.29 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 1206 0 0 0 29 0 0 0 20 0 1 0 44662624 14147584 1012 1992294400 134512640 137138936 4287662464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 3454 1012 184 642 0 2810 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13816 [startup+0.701371 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10857 /proc/meminfo: memFree=1836736/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=14052 CPUtime=0.7 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 1570 0 0 0 67 3 0 0 20 0 1 0 44662624 14389248 1070 1992294400 134512640 137138936 4287662464 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 3513 1070 188 642 0 2869 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14052 [startup+1.50143 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10858 /proc/meminfo: memFree=1832760/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=14904 CPUtime=1.49 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 1787 0 0 0 145 4 0 0 23 0 1 0 44662624 15261696 1287 1992294400 134512640 137138936 4287662464 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 3726 1287 192 642 0 3082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14904 [startup+3.10156 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10858 /proc/meminfo: memFree=1830900/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=18280 CPUtime=3.09 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 2646 0 0 0 304 5 0 0 25 0 1 0 44662624 18718720 2146 1992294400 134512640 137138936 4287662464 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 4570 2146 192 642 0 3926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18280 [startup+6.30081 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10858 /proc/meminfo: memFree=1824204/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=24248 CPUtime=6.29 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 4136 0 0 0 622 7 0 0 25 0 1 0 44662624 24829952 3636 1992294400 134512640 137138936 4287662464 18446744073709551615 136500947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 6062 3636 192 642 0 5418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24248 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10858 /proc/meminfo: memFree=1815400/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=32116 CPUtime=12.69 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 6101 0 0 0 1260 9 0 0 25 0 1 0 44662624 32886784 5601 1992294400 134512640 137138936 4287662464 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 8029 5601 192 642 0 7385 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32116 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10858 /proc/meminfo: memFree=1803496/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=43788 CPUtime=25.49 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 9004 0 0 0 2535 14 0 0 25 0 1 0 44662624 44838912 8504 1992294400 134512640 137138936 4287662464 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 10947 8504 192 642 0 10303 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43788 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10860 /proc/meminfo: memFree=1782912/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=64296 CPUtime=51.08 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 14144 0 0 0 5086 22 0 0 25 0 1 0 44662624 65839104 13644 1992294400 134512640 137138936 4287662464 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 16074 13644 192 642 0 15430 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64296 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10860 /proc/meminfo: memFree=1756872/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=89832 CPUtime=102.28 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 20522 0 0 0 10197 31 0 0 25 0 1 0 44662624 91987968 20022 1992294400 134512640 137138936 4287662464 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 22458 20022 192 642 0 21814 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 89832 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10862 /proc/meminfo: memFree=1736784/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=110288 CPUtime=162.25 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 25648 0 0 0 16186 39 0 0 25 0 1 0 44662624 112934912 25148 1992294400 134512640 137138936 4287662464 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 27572 25148 192 642 0 26928 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 110288 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10864 /proc/meminfo: memFree=1714340/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=132180 CPUtime=222.24 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 31120 0 0 0 22176 48 0 0 25 0 1 0 44662624 135352320 30620 1992294400 134512640 137138936 4287662464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 33045 30620 192 642 0 32401 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 132180 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10866 /proc/meminfo: memFree=1698344/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=148332 CPUtime=282.23 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 35155 0 0 0 28169 54 0 0 25 0 1 0 44662624 151891968 34655 1992294400 134512640 137138936 4287662464 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 37083 34655 192 642 0 36439 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 148332 [startup+342.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 10866 /proc/meminfo: memFree=1675404/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=171284 CPUtime=342.21 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 40879 0 0 0 34159 62 0 0 25 0 1 0 44662624 175394816 40379 1992294400 134512640 137138936 4287662464 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 42821 40379 192 642 0 42177 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 171284 [startup+402.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 10868 /proc/meminfo: memFree=1655192/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=191572 CPUtime=402.2 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 45966 0 0 0 40152 68 0 0 25 0 1 0 44662624 196169728 45466 1992294400 134512640 137138936 4287662464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 47893 45466 192 642 0 47249 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 191572 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10870 /proc/meminfo: memFree=1634608/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=211824 CPUtime=462.18 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 51029 0 0 0 46145 73 0 0 25 0 1 0 44662624 216907776 50529 1992294400 134512640 137138936 4287662464 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 52956 50529 192 642 0 52312 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 211824 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10872 /proc/meminfo: memFree=1615388/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=231052 CPUtime=522.17 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 55828 0 0 0 52138 79 0 0 25 0 1 0 44662624 236597248 55328 1992294400 134512640 137138936 4287662464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 57763 55328 192 642 0 57119 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 231052 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10874 /proc/meminfo: memFree=1595796/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=250568 CPUtime=582.15 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 60700 0 0 0 58131 84 0 0 25 0 1 0 44662624 256581632 60200 1992294400 134512640 137138936 4287662464 18446744073709551615 134600859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 62642 60200 192 642 0 61998 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 250568 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10874 /proc/meminfo: memFree=1578932/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=267120 CPUtime=642.14 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 64841 0 0 0 64125 89 0 0 25 0 1 0 44662624 273530880 64341 1992294400 134512640 137138936 4287662464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 66780 64341 192 642 0 66136 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 267120 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1465224/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=380476 CPUtime=1062.05 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 93186 0 0 0 106081 124 0 0 25 0 1 0 44662624 389607424 92686 1992294400 134512640 137138936 4287662464 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 95119 92686 192 642 0 94475 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 380476 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10888 /proc/meminfo: memFree=1452452/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=393200 CPUtime=1122.03 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 96365 0 0 0 112077 126 0 0 25 0 1 0 44662624 402636800 95865 1992294400 134512640 137138936 4287662464 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 98300 95865 192 642 0 97656 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 393200 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10890 /proc/meminfo: memFree=1440796/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=404792 CPUtime=1182.01 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 99270 0 0 0 118072 129 0 0 25 0 1 0 44662624 414507008 98770 1992294400 134512640 137138936 4287662464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 101198 98770 192 642 0 100554 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 404792 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10899 /proc/meminfo: memFree=1428520/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=416744 CPUtime=1241.98 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 102249 0 0 0 124064 134 0 0 25 0 1 0 44662624 426745856 101749 1992294400 134512640 137138936 4287662464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 104186 101749 192 642 0 103542 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 416744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10901 /proc/meminfo: memFree=1413764/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=431432 CPUtime=1301.97 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 105905 0 0 0 130058 139 0 0 25 0 1 0 44662624 441786368 105405 1992294400 134512640 137138936 4287662464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 107858 105405 192 642 0 107214 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 431432 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10903 /proc/meminfo: memFree=1400744/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=444560 CPUtime=1361.95 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 109192 0 0 0 136052 143 0 0 25 0 1 0 44662624 455229440 108692 1992294400 134512640 137138936 4287662464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 111140 108692 192 642 0 110496 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 444560 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10905 /proc/meminfo: memFree=1385244/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=460000 CPUtime=1421.94 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 113061 0 0 0 142047 147 0 0 25 0 1 0 44662624 471040000 112561 1992294400 134512640 137138936 4287662464 18446744073709551615 134606617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 115000 112561 192 642 0 114356 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 460000 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10907 /proc/meminfo: memFree=1371232/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=474020 CPUtime=1481.92 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 116565 0 0 0 148042 150 0 0 25 0 1 0 44662624 485396480 116065 1992294400 134512640 137138936 4287662464 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 118505 116065 192 642 0 117861 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 474020 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10907 /proc/meminfo: memFree=1358212/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=486928 CPUtime=1541.91 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 119800 0 0 0 154038 153 0 0 25 0 1 0 44662624 498614272 119300 1992294400 134512640 137138936 4287662464 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 121732 119300 192 642 0 121088 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 486928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10909 /proc/meminfo: memFree=1345688/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=499576 CPUtime=1601.9 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 122953 0 0 0 160033 157 0 0 25 0 1 0 44662624 511565824 122453 1992294400 134512640 137138936 4287662464 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 124894 122453 192 642 0 124250 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 499576 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10911 /proc/meminfo: memFree=1333288/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=511856 CPUtime=1661.88 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 126029 0 0 0 166028 160 0 0 25 0 1 0 44662624 524140544 125529 1992294400 134512640 137138936 4287662464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 127964 125529 192 642 0 127320 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 511856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10913 /proc/meminfo: memFree=1320516/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=524488 CPUtime=1721.86 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 129192 0 0 0 172022 164 0 0 25 0 1 0 44662624 537075712 128692 1992294400 134512640 137138936 4287662464 18446744073709551615 136297657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 131122 128692 192 642 0 130478 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 524488 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1308240/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=536568 CPUtime=1781.85 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 132205 0 0 0 178018 167 0 0 25 0 1 0 44662624 549445632 131705 1992294400 134512640 137138936 4287662464 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134142 131705 192 642 0 133498 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 536568 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1306256/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=538464 CPUtime=1791.45 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 132677 0 0 0 178977 168 0 0 25 0 1 0 44662624 551387136 132177 1992294400 134512640 137138936 4287662464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134616 132177 192 642 0 133972 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 538464 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1305512/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=539256 CPUtime=1794.65 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 132874 0 0 0 179297 168 0 0 25 0 1 0 44662624 552198144 132374 1992294400 134512640 137138936 4287662464 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134814 132374 192 642 0 134170 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 539256 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1305264/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=539580 CPUtime=1796.24 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 132952 0 0 0 179456 168 0 0 25 0 1 0 44662624 552529920 132452 1992294400 134512640 137138936 4287662464 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134895 132452 192 642 0 134251 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 539580 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1305140/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=539692 CPUtime=1797.04 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 132975 0 0 0 179536 168 0 0 25 0 1 0 44662624 552644608 132475 1992294400 134512640 137138936 4287662464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134923 132475 192 642 0 134279 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 539692 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1305140/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=539812 CPUtime=1797.84 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 133010 0 0 0 179616 168 0 0 25 0 1 0 44662624 552767488 132510 1992294400 134512640 137138936 4287662464 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134953 132510 192 642 0 134309 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 539812 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10915 /proc/meminfo: memFree=1304892/2059040 swapFree=4136132/4192956 [pid=10857] ppid=10855 vsize=539812 CPUtime=1798.05 /proc/10857/stat : 10857 (bsolo_pb10) R 10855 10857 9973 0 -1 4202496 133020 0 0 0 179637 168 0 0 25 0 1 0 44662624 552767488 132520 1992294400 134512640 137138936 4287662464 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10857/statm: 134953 132520 192 642 0 134309 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 539812 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.15 CPU user time (s): 1796.4 CPU system time (s): 1.74473 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 539812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.4 system time used= 1.74473 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133025 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3387 runsolver used 2.87856 second user time and 8.58569 second system time The end
Begin job on node026 at 2010-06-16 19:41:12 IDJOB=2670883 IDBENCH=48158 IDSOLVER=1162 FILE ID=node026/2670883-1276710072 PBS_JOBID= 11174114 Free space on /tmp= 62560 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670883-1276710072/watcher-2670883-1276710072 -o /tmp/evaluation-result-2670883-1276710072/solver-2670883-1276710072 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670883-1276710072.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0e507441d4bf529adaad354902c51a54 RANDOM SEED=1377781634 node026.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.201 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.40 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.201 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 : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837884 kB Buffers: 21112 kB Cached: 107712 kB SwapCached: 9392 kB Active: 86520 kB Inactive: 54808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837884 kB SwapTotal: 4192956 kB SwapFree: 4136132 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 10960 kB Mapped: 9288 kB Slab: 58068 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180292 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-2670883-1276710072.opb Free space on /tmp at the end= 62556 MiB End job on node026 at 2010-06-16 20:11:11