Trace number 3723773

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)27 1800.07 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
MD5SUM90acfb7d1c18536583ef7e2a90905f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2.50162
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables7798
Total number of constraints24318
Number of constraints which are clauses24318
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3790
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 3790
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3790
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.03	c Converting 23708 PB-constraints to clauses...
0.00/0.03	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.00/0.04	c   -- Detecting intervals from adjacent constraints: #########
0.00/0.04	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.05	c ---[23167]---> BDD-cost:    1
0.00/0.05	c ---[21488]---> BDD-cost:    1
0.00/0.05	c ---[20684]---> BDD-cost:    1
0.00/0.05	c ---[20329]---> BDD-cost:    1
0.00/0.05	c ---[20220]---> BDD-cost:    1
0.00/0.05	c ---[20176]---> BDD-cost:    1
0.00/0.05	c ---[20165]---> BDD-cost:    1
0.00/0.05	c ---[20160]---> BDD-cost:    1
0.00/0.05	c ---[20158]---> BDD-cost:    1
0.00/0.05	c ==================================[MINISAT+]==================================
0.00/0.05	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |   20869    50550 |    6956       0        0    -nan |  0.000 % |
0.00/0.05	c ==============================================================================
0.00/0.05	c Found solution: 31
0.00/0.05	c ---[   0]---> Adder-cost: 6348   maxlim: 3149   bits: 12/12
0.00/0.18	c ==================================[MINISAT+]==================================
0.00/0.18	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.18	c ==============================================================================
0.00/0.18	c |         7 |   64447   207431 |   21482       6       87    14.5 |  0.000 % |
0.00/0.20	c |       107 |   64129   206297 |   23630      61      288     4.7 |  9.139 % |
0.00/0.22	c |       258 |   63841   205319 |   25993     170      676     4.0 |  9.499 % |
0.00/0.24	c |       483 |   63798   205180 |   28592     389     1459     3.8 |  9.563 % |
0.00/0.27	c |       820 |   63748   205010 |   31451     717     3056     4.3 |  9.626 % |
0.00/0.33	c |      1326 |   63698   204848 |   34596    1213     5394     4.4 |  9.697 % |
0.00/0.44	c |      2085 |   63698   204848 |   38056    1972    10620     5.4 |  9.697 % |
0.00/0.56	c |      3224 |   63689   204819 |   41862    3110    52463    16.9 |  9.711 % |
0.00/0.72	c |      4932 |   63689   204819 |   46048    4818   151529    31.5 |  9.711 % |
0.00/0.98	c |      7494 |   63689   204819 |   50653    7380   342675    46.4 |  9.711 % |
1.38/1.45	c |     11339 |   63689   204819 |   55718   11225   722456    64.4 |  9.711 % |
2.19/2.25	c |     17106 |   63689   204819 |   61290   16992  1431522    84.2 |  9.711 % |
3.49/3.56	c |     25755 |   63689   204819 |   67419   25641  2526276    98.5 |  9.711 % |
6.29/6.39	c |     38733 |   63689   204819 |   74161   38619  4468782   115.7 |  9.711 % |
11.19/11.21	c |     58194 |   63689   204819 |   81577   58080  7334427   126.3 |  9.711 % |
19.38/19.43	c |     87386 |   63689   204819 |   89735   19730  2680327   135.9 |  9.711 % |
28.67/28.71	c |    131178 |   63689   204819 |   98709   63522  8517962   134.1 |  9.711 % |
44.47/44.58	c |    196862 |   63689   204819 |  108580   46963  5169092   110.1 |  9.711 % |
68.17/68.22	c |    295390 |   63689   204819 |  119438   52503  6904153   131.5 |  9.711 % |
115.95/116.00	c |    443179 |   63689   204819 |  131381   98796 12175058   123.2 |  9.711 % |
193.14/193.20	c |    664864 |   63689   204819 |  144520   93005 10102057   108.6 |  9.711 % |
333.62/333.73	c |    997392 |   63689   204819 |  158972   48657  4330604    89.0 |  9.711 % |
356.91/357.01	c ==============================================================================
356.91/357.01	c Found solution: 30
356.91/357.01	c ---[   0]---> Adder-cost: 0   maxlim: 3150   bits: 12/12
357.01/357.14	c ==================================[MINISAT+]==================================
357.01/357.14	c | Conflicts | Original         | Learnt                           | Progress |
357.01/357.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
357.01/357.14	c ==============================================================================
357.01/357.14	c |   1066529 |   63694   204838 |   21231  117794 12677547   107.6 |  9.711 % |
357.61/357.79	c |   1066629 |   63694   204838 |   23354   11716   713255    60.9 |  9.717 % |
357.71/357.82	c |   1066779 |   63694   204838 |   25689   11866   714063    60.2 |  9.717 % |
357.71/357.86	c |   1067004 |   63694   204838 |   28258   12091   715113    59.1 |  9.717 % |
357.81/357.90	c |   1067341 |   63694   204838 |   31084   12428   718482    57.8 |  9.717 % |
357.81/357.96	c |   1067849 |   63694   204838 |   34192   12936   736532    56.9 |  9.717 % |
357.91/358.03	c |   1068608 |   63694   204838 |   37612   13695   783766    57.2 |  9.717 % |
358.01/358.19	c |   1069747 |   63694   204838 |   41373   14834   879551    59.3 |  9.717 % |
358.21/358.39	c |   1071457 |   63694   204838 |   45510   16544  1084200    65.5 |  9.717 % |
358.61/358.72	c |   1074021 |   63694   204838 |   50061   19108  1362804    71.3 |  9.717 % |
359.11/359.26	c |   1077865 |   63694   204838 |   55067   22952  1980436    86.3 |  9.717 % |
360.21/360.31	c |   1083632 |   63694   204838 |   60574   28719  2957947   103.0 |  9.717 % |
361.72/361.87	c |   1092281 |   63694   204838 |   66631   37368  4400356   117.8 |  9.717 % |
364.71/364.86	c |   1105255 |   63694   204838 |   73295   50342  6535114   129.8 |  9.717 % |
370.71/370.88	c |   1124719 |   63694   204838 |   80624   69806  9401517   134.7 |  9.717 % |
378.61/378.71	c |   1153911 |   63694   204838 |   88687   35565  3569374   100.4 |  9.717 % |
392.91/393.02	c |   1197704 |   63694   204838 |   97555   79358  9263546   116.7 |  9.717 % |
409.30/409.41	c |   1263390 |   63694   204838 |  107311   62526  8132370   130.1 |  9.717 % |
410.60/410.74	c ==============================================================================
410.60/410.74	c Found solution: 29
410.60/410.74	c ---[   0]---> Adder-cost: 0   maxlim: 3151   bits: 12/12
410.70/410.85	c ==================================[MINISAT+]==================================
410.70/410.85	c | Conflicts | Original         | Learnt                           | Progress |
410.70/410.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
410.70/410.85	c ==============================================================================
410.70/410.85	c |   1269052 |   63695   204841 |   21231   68188  9038826   132.6 |  9.717 % |
410.90/411.07	c |   1269152 |   63467   204051 |   23354   19682  2090098   106.2 | 10.006 % |
411.00/411.10	c |   1269302 |   63467   204051 |   25689   19832  2099541   105.9 | 10.006 % |
411.00/411.16	c |   1269529 |   63129   202880 |   28258   19966  2118011   106.1 | 10.415 % |
411.10/411.21	c |   1269866 |   63123   202860 |   31084   20291  2153865   106.1 | 10.422 % |
411.10/411.28	c |   1270372 |   63123   202860 |   34192   20797  2207087   106.1 | 10.422 % |
411.21/411.39	c |   1271133 |   63100   202781 |   37612   21548  2311661   107.3 | 10.451 % |
411.40/411.54	c |   1272272 |   63100   202781 |   41373   22687  2428198   107.0 | 10.451 % |
411.60/411.75	c |   1273980 |   63100   202781 |   45510   24395  2616580   107.3 | 10.451 % |
411.90/412.07	c |   1276542 |   62882   202023 |   50061   26930  2932071   108.9 | 10.719 % |
412.50/412.62	c |   1280388 |   62882   202023 |   55067   30776  3340521   108.5 | 10.719 % |
413.41/413.55	c |   1286157 |   62882   202023 |   60574   36545  3999787   109.4 | 10.719 % |
415.10/415.22	c |   1294806 |   62882   202023 |   66631   45194  5084916   112.5 | 10.719 % |
417.90/418.08	c |   1307782 |   62882   202023 |   73295   58170  7007383   120.5 | 10.719 % |
422.10/422.27	c |   1327244 |   62882   202023 |   80624   18566  1304923    70.3 | 10.719 % |
426.60/426.73	c |   1356444 |   62882   202023 |   88687   47766  3960903    82.9 | 10.719 % |
437.70/437.81	c |   1400236 |   62882   202023 |   97555   19669  1230340    62.6 | 10.719 % |
451.19/451.33	c |   1465928 |   62882   202023 |  107311   85361  6471111    75.8 | 10.719 % |
475.99/476.15	c |   1564459 |   62882   202023 |  118042   92536  8193023    88.5 | 10.719 % |
516.38/516.52	c |   1712248 |   62882   202023 |  129846   38183  4017737   105.2 | 10.719 % |
587.77/587.93	c |   1933934 |   62882   202023 |  142831   32625  2673593    81.9 | 10.719 % |
641.06/641.21	c ==============================================================================
641.06/641.21	c Found solution: 28
641.06/641.21	c ---[   0]---> Adder-cost: 0   maxlim: 3152   bits: 12/12
641.16/641.34	c ==================================[MINISAT+]==================================
641.16/641.34	c | Conflicts | Original         | Learnt                           | Progress |
641.16/641.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
641.16/641.34	c ==============================================================================
641.16/641.34	c |   2108071 |   62885   202036 |   20961   80066 12799992   159.9 | 10.719 % |
641.56/641.76	c |   2108171 |   62885   202036 |   23057   22182  2663431   120.1 | 10.725 % |
641.56/641.78	c |   2108321 |   62885   202036 |   25362   22332  2664287   119.3 | 10.725 % |
641.66/641.82	c |   2108546 |   62885   202036 |   27899   22557  2665350   118.2 | 10.725 % |
641.66/641.88	c |   2108883 |   62885   202036 |   30689   22894  2669879   116.6 | 10.725 % |
641.76/641.97	c |   2109390 |   62885   202036 |   33757   23401  2684811   114.7 | 10.725 % |
641.86/642.07	c |   2110149 |   62885   202036 |   37133   24160  2768518   114.6 | 10.725 % |
642.06/642.23	c |   2111291 |   62885   202036 |   40847   25302  2942193   116.3 | 10.725 % |
642.26/642.44	c |   2112999 |   62885   202036 |   44931   27010  3110661   115.2 | 10.725 % |
642.66/642.81	c |   2115561 |   62885   202036 |   49424   29572  3400123   115.0 | 10.725 % |
643.16/643.32	c |   2119406 |   62885   202036 |   54367   33417  3729055   111.6 | 10.725 % |
644.06/644.26	c |   2125172 |   62885   202036 |   59804   39183  4219970   107.7 | 10.725 % |
645.46/645.67	c |   2133821 |   62885   202036 |   65784   47832  5118993   107.0 | 10.725 % |
647.86/648.00	c |   2146796 |   62885   202036 |   72363   60807  6468215   106.4 | 10.725 % |
652.06/652.29	c |   2166258 |   62885   202036 |   79599   22110  1970815    89.1 | 10.725 % |
656.96/657.13	c |   2195450 |   62885   202036 |   87559   51302  4578437    89.2 | 10.725 % |
668.85/669.07	c |   2239240 |   62885   202036 |   96315   21009  1882774    89.6 | 10.725 % |
684.85/685.04	c |   2304926 |   62885   202036 |  105946   86695 12057498   139.1 | 10.725 % |
711.85/712.01	c |   2403452 |   62885   202036 |  116541   94034 12819861   136.3 | 10.725 % |
745.34/745.53	c |   2551243 |   62885   202036 |  128195   45401  5107685   112.5 | 10.725 % |
815.83/816.01	c |   2772927 |   62885   202036 |  141015   47104  6422982   136.4 | 10.725 % |
933.41/933.69	c |   3105453 |   62885   202036 |  155116  134143 14924214   111.3 | 10.725 % |
1086.98/1087.21	c ==============================================================================
1086.98/1087.21	c Found solution: 27
1086.98/1087.21	c ---[   0]---> Adder-cost: 0   maxlim: 3153   bits: 12/12
1087.08/1087.34	c ==================================[MINISAT+]==================================
1087.08/1087.34	c | Conflicts | Original         | Learnt                           | Progress |
1087.08/1087.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1087.08/1087.34	c ==============================================================================
1087.08/1087.34	c |   3485315 |   62886   202042 |   20962  107032 13165268   123.0 | 10.725 % |
1087.88/1088.15	c |   3485417 |   62886   202042 |   23058   19462  2116778   108.8 | 10.731 % |
1087.88/1088.16	c |   3485567 |   62886   202042 |   25364   19612  2122485   108.2 | 10.731 % |
1087.98/1088.20	c |   3485793 |   62886   202042 |   27900   19838  2129916   107.4 | 10.731 % |
1087.98/1088.24	c |   3486133 |   62886   202042 |   30690   20178  2143245   106.2 | 10.731 % |
1087.98/1088.28	c |   3486639 |   62886   202042 |   33759   20684  2167403   104.8 | 10.731 % |
1088.18/1088.40	c |   3487398 |   62886   202042 |   37135   21443  2224613   103.7 | 10.731 % |
1088.28/1088.54	c |   3488537 |   62886   202042 |   40849   22582  2374994   105.2 | 10.731 % |
1088.38/1088.65	c |   3490246 |   62886   202042 |   44933   24291  2497602   102.8 | 10.731 % |
1088.69/1088.91	c |   3492810 |   62886   202042 |   49427   26855  2715574   101.1 | 10.731 % |
1089.18/1089.46	c |   3496654 |   62886   202042 |   54370   30699  3123338   101.7 | 10.731 % |
1090.18/1090.40	c |   3502421 |   62886   202042 |   59807   36466  3902639   107.0 | 10.731 % |
1091.99/1092.21	c |   3511071 |   62886   202042 |   65787   45116  5038468   111.7 | 10.731 % |
1094.38/1094.67	c |   3524045 |   62886   202042 |   72366   58090  6757378   116.3 | 10.731 % |
1099.69/1099.95	c |   3543506 |   62886   202042 |   79603   18368  1757715    95.7 | 10.731 % |
1105.47/1105.73	c |   3572700 |   62886   202042 |   87563   47562  6304529   132.6 | 10.731 % |
1117.77/1118.05	c |   3616491 |   62886   202042 |   96319   19209  2093321   109.0 | 10.731 % |
1133.87/1134.18	c |   3682175 |   62886   202042 |  105951   84893  8948037   105.4 | 10.731 % |
1161.66/1161.95	c |   3780703 |   62886   202042 |  116546   94783  9301652    98.1 | 10.731 % |
1203.46/1203.75	c |   3928493 |   62886   202042 |  128201   51903  4005949    77.2 | 10.731 % |
1273.75/1274.09	c |   4150178 |   62886   202042 |  141021   49918  7861770   157.5 | 10.731 % |
1410.72/1411.04	c |   4482705 |   62886   202042 |  155124  137229 17922352   130.6 | 10.731 % |
1575.70/1576.09	c |   4981493 |   62886   202042 |  170636   85402  6039282    70.7 | 10.731 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7416 -x7418 x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504 -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538 x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 x7652 -x7654 -x7656 -x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 x7746 -x7748 -x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776 x7778 -x7780 -x7782 -x7784 -x7786 x7788 x7790 -x7792 -x7794 x7796 x7798 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 x253 -x255 -x257 -x259 -x261 -x1 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x2 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x3 -x291 -x293 -x295 -x297 x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x4 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x5 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x6 -x355 -x357 -x359 -x361 x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x7 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x8 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x9 -x483 -x485 -x487 -x489 -x491 -x493 -x495 x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x10 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x11 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x12 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x13 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x14 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x15 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x16 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x17 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x18 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x19 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x20 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x21 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x22 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x23 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 x1103 x24 -x1105 -x1107 -x1109 -x25 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x26 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x27 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x28 -x1169 -x1171 -x1173 -x29 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x30 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x31 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x32 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x33 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x34 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x35 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x36 -x1369 -x1371 -x1373 -x37 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x38 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x39 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x40 -x1433 -x1435 -x1437 -x41 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x42 -x1453 -x1455 -x1457 -x43 -x1459 -x1461 -x1463 -x44 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x45 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x46 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x47 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x48 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x49 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x50 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x51 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x52 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x53 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x54 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x55 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x56 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x57 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x58 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x59 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x60 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x61 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x62 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x63 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x64 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x65 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x66 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x67 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x68 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x69 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x70 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x71 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x72 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x73 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x74 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x75 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x76 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x77 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 x78 -x3567 -x3569 -x3571 x3573 -x3575 -x3577 -x3579 -x79 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x80 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x81 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x82 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x83 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x84 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x85 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x86 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x87 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x88 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x89 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x90 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x91 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x92 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x93 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x94 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x95 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x96 -x4243 -x4245 -x4247 -x97 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x98 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x99 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x100 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x101 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x102 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x103 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x104 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x105 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x106 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x107 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x108 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x109 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x110 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x111 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x112 -x4858 -x4860 -x4862 -x113 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x114 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x115 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x116 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x117 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x118 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x119 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x120 -x5058 -x5060 -x121 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x122 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x123 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x124 -x5120 -x5122 -x5124 -x125 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x126 -x5140 -x5142 -x5144 -x127 -x5146 -x5148 -x5150 -x128 -x5152 -x129 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x130 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x131 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x132 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x133 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5409 -x5411 -x5413 -x134 -x5415 -x5417 -x5419 -x5421 -x5423 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x135 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x136 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x137 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x138 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x139 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x140 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x141 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x142 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x143 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 x5824 -x5826 -x5828 -x5830 -x5832 -x144 -x5834 -x5836 -x5838 -x145 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x146 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x147 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x148 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x149 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x150 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x151 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x152 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x153 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x154 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x155 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x156 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x157 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x158 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x159 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x160 -x6446 -x6448 -x6450 -x161 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x162 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x163 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 x6584 -x6586 -x164 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 x165 -x6618 -x6620 x6622 -x6624 -x6626 -x6628 -x6630 -x166 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x167 -x6646 -x6648 -x6650 -x168 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x169 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x170 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x171 -x6710 -x6712 -x6714 -x172 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x173 -x6730 -x6732 -x6734 -x174 -x6736 -x6738 -x6740 -x175 -x6742 -x176 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x177 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x178 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x179 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x180 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x181 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x182 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x183 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x184 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x185 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x186 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x187 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x188 -x7104 -x7106 -x7108 -x189 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170 -x190 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x191 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x192 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x193 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x194 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x195 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x196 -x7300 -x7302 -x7304 -x197 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x198 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x199 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x200 -x7364 -x7366 -x201 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x202 -x7382 -x7384 -x7386 -x203 -x7388 -x7390 -x7392 -x204 -x7394 -x7396 -x7398 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7417 x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x205 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x206 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x207 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521 -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x208 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x209 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x210 -x7583 -x7585 -x7587 -x211 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x212 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631 -x213 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x214 -x7647 -x7649 x7651 -x7653 -x7655 -x7657 -x7659 -x7661 -x7663 -x7665 -x215 -x7667 -x7669 -x7671 -x216 -x7673 -x7675 -x7677 -x217 -x7679 -x218 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x219 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x220 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x221 -x7735 -x7737 -x7739 -x7741 -x7743 x7745 -x7747 -x7749 -x7751 -x7753 -x222 -x7755 -x7757 -x223 -x7759 -x7761 -x7763 -x224 -x7765 -x225 -x7767 -x7769 -x7771 -x7773 -x7775 x7777 -x7779 -x7781 -x7783 -x7785 x7787 x7789 x226 -x7791 -x227 -x7793 x7795 x228 x7797 x229 x230

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723773-1338574125/watcher-3723773-1338574125 -o /tmp/evaluation-result-3723773-1338574125/solver-3723773-1338574125 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723773-1338574125.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.05 1.95 3/178 26144
/proc/meminfo: memFree=27956732/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0

[startup+0.0661881 s]
/proc/loadavg: 2.15 2.05 1.95 3/178 26144
/proc/meminfo: memFree=27956732/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100275 s]
/proc/loadavg: 2.15 2.05 1.95 3/178 26144
/proc/meminfo: memFree=27956732/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300278 s]
/proc/loadavg: 2.15 2.05 1.95 3/178 26144
/proc/meminfo: memFree=27956732/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700278 s]
/proc/loadavg: 2.15 2.05 1.95 3/178 26144
/proc/meminfo: memFree=27956732/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 2.15 2.05 1.95 3/180 26149
/proc/meminfo: memFree=27933532/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=27644 CPUtime=1.48 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 5491 0 0 0 147 1 0 0 20 0 1 0 323536879 28307456 6408 33554432000 4194304 5276501 140735395804560 140735395802744 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 6911 6408 149 265 0 6643 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36792

[startup+3.10028 s]
/proc/loadavg: 2.15 2.05 1.95 3/180 26149
/proc/meminfo: memFree=27928820/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=34304 CPUtime=3.08 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 7136 0 0 0 307 1 0 0 20 0 1 0 323536879 35127296 8053 33554432000 4194304 5276501 140735395804560 140735395802552 4399909 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 8576 8053 149 265 0 8308 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43452

[startup+6.30028 s]
/proc/loadavg: 2.14 2.05 1.95 3/180 26149
/proc/meminfo: memFree=27917164/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=44532 CPUtime=6.29 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 9712 0 0 0 626 3 0 0 20 0 1 0 323536879 45600768 10629 33554432000 4194304 5276501 140735395804560 140735395802152 4399869 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 11133 10629 149 265 0 10865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53680

[startup+12.7003 s]
/proc/loadavg: 2.13 2.05 1.95 3/180 26149
/proc/meminfo: memFree=27899052/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=61772 CPUtime=12.68 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 13953 0 0 0 1264 4 0 0 20 0 1 0 323536879 63254528 14864 33554432000 4194304 5276501 140735395804560 140735395802152 4405232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 15443 14864 149 265 0 15175 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70920

[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 1.95 3/180 26149
/proc/meminfo: memFree=27864688/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=77360 CPUtime=25.47 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 17908 0 0 0 2542 5 0 0 20 0 1 0 323536879 79216640 18814 33554432000 4194304 5276501 140735395804560 140735395802808 4390492 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 19340 18814 149 265 0 19072 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 86508

[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 1.95 3/180 26149
/proc/meminfo: memFree=27850892/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=88888 CPUtime=51.06 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 20652 0 0 0 5100 6 0 0 20 0 1 0 323536879 91021312 21605 33554432000 4194304 5276501 140735395804560 140735395802744 4398219 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 22222 21605 149 265 0 21954 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 98036

[startup+102.307 s]
/proc/loadavg: 2.03 2.03 1.95 3/180 26152
/proc/meminfo: memFree=27827944/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=109120 CPUtime=102.26 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 25640 0 0 0 10218 8 0 0 20 0 1 0 323536879 111738880 26593 33554432000 4194304 5276501 140735395804560 140735395802744 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 27280 26593 149 265 0 27012 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 118268

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 26152
/proc/meminfo: memFree=27817580/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=119096 CPUtime=162.25 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 28049 0 0 0 16216 9 0 0 20 0 1 0 323536879 121954304 29002 33554432000 4194304 5276501 140735395804560 140735395802744 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 29774 29002 149 265 0 29506 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128244

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 26152
/proc/meminfo: memFree=27809360/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=127024 CPUtime=222.23 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 29713 0 0 0 22213 10 0 0 20 0 1 0 323536879 130072576 30961 33554432000 4194304 5276501 140735395804560 140735395802792 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 31756 30961 149 265 0 31488 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 136172

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 26152
/proc/meminfo: memFree=27806136/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=131220 CPUtime=282.22 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 30577 0 0 0 28212 10 0 0 20 0 1 0 323536879 134369280 31825 33554432000 4194304 5276501 140735395804560 140735395802744 4399394 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 32805 31825 149 265 0 32537 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 140368

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 26153
/proc/meminfo: memFree=27775484/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=135676 CPUtime=342.21 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 31562 0 0 0 34210 11 0 0 20 0 1 0 323536879 138932224 32810 33554432000 4194304 5276501 140735395804560 140735395802744 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 33919 32810 149 265 0 33651 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 144824

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 26153
/proc/meminfo: memFree=27742492/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/26148/statm: 49201 48193 151 265 0 48933 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 205952

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 26158
/proc/meminfo: memFree=27682568/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=196804 CPUtime=1182.06 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 46736 0 0 0 118191 15 0 0 20 0 1 0 323536879 201527296 48196 33554432000 4194304 5276501 140735395804560 140735395802808 4399937 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 49201 48196 151 265 0 48933 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 205952

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 26159
/proc/meminfo: memFree=27682568/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=196804 CPUtime=1242.05 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 46737 0 0 0 124190 15 0 0 20 0 1 0 323536879 201527296 48197 33554432000 4194304 5276501 140735395804560 140735395802808 4399989 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 49201 48197 151 265 0 48933 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 205952

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/180 26162
/proc/meminfo: memFree=27682436/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=196804 CPUtime=1302.05 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 46737 0 0 0 130190 15 0 0 20 0 1 0 323536879 201527296 48197 33554432000 4194304 5276501 140735395804560 140735395802808 4396858 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 49201 48197 151 265 0 48933 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 205952

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 26162
/proc/meminfo: memFree=27673448/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=207096 CPUtime=1362.03 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 49159 0 0 0 136187 16 0 0 20 0 1 0 323536879 212066304 50647 33554432000 4194304 5276501 140735395804560 140735395802744 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 51774 50647 151 265 0 51506 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 216244

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 26162
/proc/meminfo: memFree=27668860/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=212532 CPUtime=1422.03 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 50297 0 0 0 142187 16 0 0 20 0 1 0 323536879 217632768 51785 33554432000 4194304 5276501 140735395804560 140735395802808 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 53133 51785 151 265 0 52865 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 221680

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 26162
/proc/meminfo: memFree=27668984/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=212692 CPUtime=1482.01 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 50312 0 0 0 148185 16 0 0 20 0 1 0 323536879 217796608 51800 33554432000 4194304 5276501 140735395804560 140735395802984 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 53173 51800 151 265 0 52905 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 221840

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/180 26164
/proc/meminfo: memFree=27669100/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=212692 CPUtime=1542 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 50312 0 0 0 154184 16 0 0 20 0 1 0 323536879 217796608 51800 33554432000 4194304 5276501 140735395804560 140735395802984 4399962 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 53173 51800 151 265 0 52905 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 221840

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 26207
/proc/meminfo: memFree=27308540/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=213660 CPUtime=1601.99 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 50499 0 0 0 160183 16 0 0 20 0 1 0 323536879 218787840 51999 33554432000 4194304 5276501 140735395804560 140735395802808 4399731 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 53415 51999 151 265 0 53147 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 222808

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/179 26207
/proc/meminfo: memFree=27283728/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=236452 CPUtime=1661.99 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 56138 0 0 0 166180 19 0 0 20 0 1 0 323536879 242126848 57788 33554432000 4194304 5276501 140735395804560 140735395802744 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 59113 57788 151 265 0 58845 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 245600

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/179 26207
/proc/meminfo: memFree=27281532/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=238468 CPUtime=1721.97 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 56539 0 0 0 172178 19 0 0 20 0 1 0 323536879 244191232 58189 33554432000 4194304 5276501 140735395804560 140735395802744 4394713 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 59617 58189 151 265 0 59349 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 247616

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/179 26207
/proc/meminfo: memFree=27281312/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=238468 CPUtime=1781.97 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 56554 0 0 0 178178 19 0 0 20 0 1 0 323536879 244191232 58204 33554432000 4194304 5276501 140735395804560 140735395802744 4399933 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 59617 58204 151 265 0 59349 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 247616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 1.98 3/179 26207
/proc/meminfo: memFree=26774028/32873844 swapFree=7628/7628
[pid=26144] ppid=26142 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26144/stat : 26144 (minisat+_script) S 26142 26144 23511 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323536878 9367552 277 33554432000 4194304 5064252 140736856447648 140736856446560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26144/statm: 2287 277 236 213 0 72 0
[pid=26148] ppid=26144 vsize=238468 CPUtime=1800.07 cores=0,2,4,6
/proc/26148/stat : 26148 (minisat+_64-bit) R 26144 26144 23511 0 -1 4202496 56554 0 0 0 179988 19 0 0 20 0 1 0 323536879 244191232 58204 33554432000 4194304 5276501 140735395804560 140735395802744 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26148/statm: 59617 58204 151 265 0 59349 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 247616

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26144 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.88
CPU system time (s): 0.19
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 247616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 1108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935
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= 11
involuntary context switches= 2

runsolver used 3.60245 second user time and 9.66353 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-01 20:08:45
IDJOB=3723773
IDBENCH=24981
IDSOLVER=2307
FILE ID=node143/3723773-1338574125
RUNJOBID= node143-1338570186-25408
PBS_JOBID= 14635841
Free space on /tmp= 68544 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723773-1338574125/watcher-3723773-1338574125 -o /tmp/evaluation-result-3723773-1338574125/solver-3723773-1338574125 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723773-1338574125.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=1311542076

node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5298.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27957012 kB
Buffers:          341208 kB
Cached:          3555960 kB
SwapCached:          112 kB
Active:          2033848 kB
Inactive:        1987048 kB
Active(anon):     115256 kB
Inactive(anon):    10916 kB
Active(file):    1918592 kB
Inactive(file):  1976132 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108424 kB
Dirty:              4060 kB
Writeback:             8 kB
AnonPages:        133096 kB
Mapped:            10916 kB
Shmem:               160 kB
Slab:             756276 kB
SReclaimable:     197812 kB
SUnreclaim:       558464 kB
KernelStack:        1448 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     241812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68540 MiB
End job on node143 at 2012-06-01 20:38:48