Trace number 4112764

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
minisatp 2012-10-02 git-d91742bSAT (TO)26 1800.02 1800.3

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 benchmark0.161974
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.19/0.28	c Converting 23708 PB-constraints to clauses...
0.19/0.28	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.28	c   -- Detecting intervals from adjacent constraints: #########
0.19/0.28	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.28/0.31	c ---[23167]---> BDD-cost:    1
0.28/0.31	c ---[21488]---> BDD-cost:    1
0.28/0.31	c ---[20684]---> BDD-cost:    1
0.28/0.31	c ---[20329]---> BDD-cost:    1
0.28/0.31	c ---[20220]---> BDD-cost:    1
0.28/0.31	c ---[20176]---> BDD-cost:    1
0.28/0.31	c ---[20165]---> BDD-cost:    1
0.28/0.31	c ---[20160]---> BDD-cost:    1
0.28/0.31	c ---[20158]---> BDD-cost:    1
0.28/0.32	|  Eliminated clauses:           0.12 Mb                                      |
0.28/0.32	============================[ Search Statistics ]==============================
0.28/0.32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.28/0.32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.28/0.32	===============================================================================
0.28/0.32	===============================================================================
0.28/0.32	c Found solution: 36
0.28/0.34	c ---[   0]---> Adder-cost: 6348   maxlim: 3144   bits: 12/12
4.99/5.01	|  Eliminated clauses:           0.12 Mb                                      |
4.99/5.01	============================[ Search Statistics ]==============================
4.99/5.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.99/5.01	===============================================================================
4.99/5.01	|       108 |   10099    52210   176273 |    19143      108      4 |  9.704 % |
4.99/5.01	|       258 |   10099    52210   176273 |    21058      258      4 |  9.704 % |
4.99/5.01	|       483 |   10099    52210   176273 |    23163      483      4 |  9.704 % |
4.99/5.01	|       820 |   10099    52210   176273 |    25480      820      4 |  9.704 % |
4.99/5.01	|      1326 |   10099    52210   176273 |    28028     1326      5 |  9.704 % |
4.99/5.01	|      2085 |   10099    52210   176273 |    30831     2085      7 |  9.704 % |
4.99/5.01	|      3224 |   10099    52210   176273 |    33914     3224     19 |  9.704 % |
4.99/5.01	|      4932 |   10099    52210   176273 |    37305     4932     23 |  9.704 % |
4.99/5.01	|      7494 |   10099    52210   176273 |    41036     7494     34 |  9.704 % |
4.99/5.01	|     11338 |   10099    52210   176273 |    45139    11338     52 |  9.704 % |
4.99/5.01	|     17104 |   10099    52210   176273 |    49653    17104     65 |  9.704 % |
4.99/5.01	===============================================================================
4.99/5.01	c Found solution: 35
4.99/5.03	c ---[   0]---> Adder-cost: 0   maxlim: 3145   bits: 12/12
10.69/10.78	|  Eliminated clauses:           0.12 Mb                                      |
10.69/10.78	============================[ Search Statistics ]==============================
10.69/10.78	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.69/10.78	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.69/10.78	===============================================================================
10.69/10.78	|     17280 |   10100    52216   176301 |    19145    17280     66 |  9.709 % |
10.69/10.78	|     17430 |   10100    52216   176301 |    21060    17430     66 |  9.709 % |
10.69/10.78	|     17655 |   10100    52216   176301 |    23166    17655     66 |  9.709 % |
10.69/10.78	|     17992 |   10100    52216   176301 |    25483    17992     66 |  9.709 % |
10.69/10.78	|     18498 |   10100    52216   176301 |    28031    18498     68 |  9.709 % |
10.69/10.78	|     19257 |   10100    52216   176301 |    30834    19257     67 |  9.709 % |
10.69/10.78	|     20396 |   10100    52216   176301 |    33918    20396     71 |  9.709 % |
10.69/10.78	|     22104 |   10100    52216   176301 |    37309    22104     72 |  9.709 % |
10.69/10.78	|     24666 |   10100    52216   176301 |    41040    24666     76 |  9.709 % |
10.69/10.78	|     28510 |   10100    52216   176301 |    45144    28510     79 |  9.709 % |
10.69/10.78	|     34276 |   10100    52216   176301 |    49659    34276     85 |  9.709 % |
10.69/10.78	===============================================================================
10.69/10.78	c Found solution: 34
10.79/10.80	c ---[   0]---> Adder-cost: 0   maxlim: 3146   bits: 12/12
15.79/15.87	|  Eliminated clauses:           0.12 Mb                                      |
15.79/15.87	============================[ Search Statistics ]==============================
15.79/15.87	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.79/15.87	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.79/15.87	===============================================================================
15.79/15.87	|     38732 |   10100    52220   176329 |    19147    16880     80 |  9.714 % |
15.79/15.87	|     38882 |   10100    52220   176329 |    21062    17030     80 |  9.714 % |
15.79/15.87	|     39107 |   10100    52220   176329 |    23168    17255     80 |  9.714 % |
15.79/15.87	|     39444 |   10100    52220   176329 |    25485    17592     81 |  9.714 % |
15.79/15.87	|     39950 |   10100    52220   176329 |    28033    18098     80 |  9.714 % |
15.79/15.87	|     40709 |   10100    52220   176329 |    30836    18857     80 |  9.714 % |
15.79/15.87	|     41848 |   10100    52220   176329 |    33920    19996     81 |  9.714 % |
15.79/15.87	|     43556 |   10100    52220   176329 |    37312    21704     83 |  9.714 % |
15.79/15.87	|     46118 |   10100    52220   176329 |    41044    24266     87 |  9.714 % |
15.79/15.87	|     49962 |   10100    52220   176329 |    45148    28110     88 |  9.714 % |
15.79/15.87	===============================================================================
15.79/15.87	c Found solution: 33
15.79/15.89	c ---[   0]---> Adder-cost: 0   maxlim: 3147   bits: 12/12
19.89/19.94	|  Eliminated clauses:           0.12 Mb                                      |
19.89/19.94	============================[ Search Statistics ]==============================
19.89/19.94	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.89/19.94	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
19.89/19.94	===============================================================================
19.89/19.94	|     55053 |   10099    52214   176293 |    19145    16651     76 |  9.720 % |
19.89/19.94	|     55203 |   10099    52214   176293 |    21059    16801     76 |  9.720 % |
19.89/19.94	|     55428 |   10099    52214   176293 |    23165    17026     76 |  9.720 % |
19.89/19.94	|     55765 |   10099    52214   176293 |    25482    17363     76 |  9.720 % |
19.89/19.94	|     56271 |   10099    52214   176293 |    28030    17869     75 |  9.720 % |
19.89/19.94	|     57030 |   10099    52214   176293 |    30833    18628     75 |  9.720 % |
19.89/19.94	|     58169 |   10099    52214   176293 |    33916    19767     79 |  9.720 % |
19.89/19.94	|     59877 |   10099    52214   176293 |    37308    21475     80 |  9.720 % |
19.89/19.94	===============================================================================
19.89/19.94	c Found solution: 32
19.89/19.96	c ---[   0]---> Adder-cost: 0   maxlim: 3148   bits: 12/12
24.48/24.56	|  Eliminated clauses:           0.12 Mb                                      |
24.48/24.56	============================[ Search Statistics ]==============================
24.48/24.56	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.48/24.56	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.48/24.56	===============================================================================
24.48/24.56	|     62325 |   10100    52226   176353 |    19149    12012     59 |  9.725 % |
24.48/24.56	|     62475 |   10100    52226   176353 |    21064    12162     59 |  9.725 % |
24.48/24.56	|     62700 |   10100    52226   176353 |    23170    12387     60 |  9.725 % |
24.48/24.56	|     63037 |   10100    52226   176353 |    25488    12724     62 |  9.725 % |
24.48/24.56	|     63543 |   10100    52226   176353 |    28036    13230     64 |  9.725 % |
24.48/24.56	|     64302 |   10100    52226   176353 |    30840    13989     66 |  9.725 % |
24.48/24.56	|     65441 |   10100    52226   176353 |    33924    15128     68 |  9.725 % |
24.48/24.56	|     67149 |   10100    52226   176353 |    37317    16836     72 |  9.725 % |
24.48/24.56	|     69711 |   10100    52226   176353 |    41048    19398     77 |  9.725 % |
24.48/24.56	|     73555 |   10100    52226   176353 |    45153    23242     84 |  9.725 % |
24.48/24.56	===============================================================================
24.48/24.56	c Found solution: 31
24.48/24.58	c ---[   0]---> Adder-cost: 0   maxlim: 3149   bits: 12/12
32.99/33.08	|  Eliminated clauses:           0.12 Mb                                      |
32.99/33.08	============================[ Search Statistics ]==============================
32.99/33.08	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.99/33.08	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.99/33.08	===============================================================================
32.99/33.08	|     75435 |   10100    52228   176365 |    19150    12611     67 |  9.730 % |
32.99/33.08	|     75585 |   10100    52228   176365 |    21065    12761     68 |  9.730 % |
32.99/33.08	|     75810 |   10100    52228   176365 |    23171    12986     69 |  9.730 % |
32.99/33.08	|     76147 |   10100    52228   176365 |    25489    13323     69 |  9.730 % |
32.99/33.08	|     76653 |   10100    52228   176365 |    28037    13829     69 |  9.730 % |
32.99/33.08	|     77412 |   10100    52228   176365 |    30841    14588     71 |  9.730 % |
32.99/33.08	|     78551 |   10100    52228   176365 |    33925    15727     75 |  9.731 % |
32.99/33.08	|     80259 |   10100    52228   176365 |    37318    17435     74 |  9.730 % |
32.99/33.08	|     82821 |   10100    52228   176365 |    41050    19997     81 |  9.730 % |
32.99/33.08	|     86665 |   10100    52228   176365 |    45155    23841     83 |  9.730 % |
32.99/33.08	|     92431 |   10100    52228   176365 |    49670    29607     88 |  9.730 % |
32.99/33.08	|    101080 |   10100    52228   176365 |    54637    38256     93 |  9.730 % |
32.99/33.08	|    114054 |   10100    52228   176365 |    60101    51230     98 |  9.730 % |
32.99/33.08	===============================================================================
32.99/33.08	c Found solution: 30
32.99/33.10	c ---[   0]---> Adder-cost: 0   maxlim: 3150   bits: 12/12
55.68/55.73	|  Eliminated clauses:           0.12 Mb                                      |
55.68/55.73	============================[ Search Statistics ]==============================
55.68/55.73	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
55.68/55.73	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
55.68/55.73	===============================================================================
55.68/55.73	|    115504 |   10100    52232   176393 |    19151    18523     75 |  9.735 % |
55.68/55.73	|    115654 |   10100    52232   176393 |    21066    18673     75 |  9.735 % |
55.68/55.73	|    115879 |   10100    52232   176393 |    23173    18898     75 |  9.735 % |
55.68/55.73	|    116216 |   10100    52232   176393 |    25490    19235     76 |  9.735 % |
55.68/55.73	|    116722 |   10100    52232   176393 |    28040    19741     76 |  9.735 % |
55.68/55.73	|    117481 |   10100    52232   176393 |    30844    20500     77 |  9.735 % |
55.68/55.73	|    118620 |   10100    52232   176393 |    33928    21639     79 |  9.735 % |
55.68/55.73	|    120328 |   10100    52232   176393 |    37321    23347     81 |  9.735 % |
55.68/55.73	|    122890 |   10100    52232   176393 |    41053    25909     85 |  9.735 % |
55.68/55.73	|    126734 |   10100    52232   176393 |    45158    29753     88 |  9.735 % |
55.68/55.73	|    132500 |   10100    52232   176393 |    49674    35519     91 |  9.735 % |
55.68/55.73	|    141149 |   10100    52232   176393 |    54642    44168     93 |  9.735 % |
55.68/55.73	|    154123 |   10100    52232   176393 |    60106    19125     80 |  9.735 % |
55.68/55.73	|    173584 |   10100    52232   176393 |    66116    38586     92 |  9.735 % |
55.68/55.73	|    202776 |   10100    52232   176393 |    72728    67778    102 |  9.735 % |
55.68/55.73	===============================================================================
55.68/55.73	c Found solution: 29
55.68/55.75	c ---[   0]---> Adder-cost: 0   maxlim: 3151   bits: 12/12
59.58/59.65	|  Eliminated clauses:           0.12 Mb                                      |
59.58/59.65	============================[ Search Statistics ]==============================
59.58/59.65	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.58/59.65	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
59.58/59.65	===============================================================================
59.58/59.65	|    240396 |   10095    52194   176207 |    19137    17540     74 |  9.742 % |
59.58/59.65	|    240546 |   10095    52194   176207 |    21051    17690     74 |  9.742 % |
59.58/59.65	|    240771 |   10095    52194   176207 |    23156    17915     74 |  9.742 % |
59.58/59.65	|    241108 |   10095    52194   176207 |    25472    18252     75 |  9.742 % |
59.58/59.65	|    241614 |   10095    52194   176207 |    28019    18758     76 |  9.742 % |
59.58/59.65	|    242373 |   10091    52194   176207 |    30821    19516     77 |  9.770 % |
59.58/59.65	|    243512 |   10091    52194   176207 |    33903    20655     80 |  9.770 % |
59.58/59.65	|    245220 |   10038    52194   176207 |    37294    22361     81 | 10.144 % |
59.58/59.65	===============================================================================
59.58/59.65	c Found solution: 28
59.58/59.66	c ---[   0]---> Adder-cost: 0   maxlim: 3152   bits: 12/12
75.89/75.94	|  Eliminated clauses:           0.12 Mb                                      |
75.89/75.94	============================[ Search Statistics ]==============================
75.89/75.94	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
75.89/75.94	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
75.89/75.94	===============================================================================
75.89/75.94	|    246221 |    9996    51529   173567 |    18893    11730     64 | 10.455 % |
75.89/75.94	|    246371 |    9996    51529   173567 |    20783    11880     64 | 10.455 % |
75.89/75.94	|    246596 |    9996    51529   173567 |    22861    12105     65 | 10.455 % |
75.89/75.94	|    246933 |    9996    51529   173567 |    25147    12442     65 | 10.455 % |
75.89/75.94	|    247439 |    9996    51529   173567 |    27662    12948     65 | 10.455 % |
75.89/75.94	|    248198 |    9996    51529   173567 |    30428    13707     66 | 10.455 % |
75.89/75.94	|    249337 |    9996    51529   173567 |    33471    14846     68 | 10.455 % |
75.89/75.94	|    251045 |    9996    51529   173567 |    36818    16554     71 | 10.455 % |
75.89/75.94	|    253607 |    9996    51529   173567 |    40500    19116     76 | 10.455 % |
75.89/75.94	|    257451 |    9955    51529   173567 |    44550    22741     79 | 10.744 % |
75.89/75.94	|    263217 |    9954    51529   173567 |    49006    28496     83 | 10.751 % |
75.89/75.94	|    271866 |    9954    51529   173567 |    53906    37145     84 | 10.751 % |
75.89/75.94	|    284840 |    9954    51529   173567 |    59297    50119     85 | 10.751 % |
75.89/75.94	|    304301 |    9954    51529   173567 |    65227    26108     80 | 10.751 % |
75.89/75.94	|    333493 |    9954    51529   173567 |    71749    55300     87 | 10.751 % |
75.89/75.94	===============================================================================
75.89/75.94	c Found solution: 27
75.89/75.96	c ---[   0]---> Adder-cost: 0   maxlim: 3153   bits: 12/12
464.91/465.00	|  Eliminated clauses:           0.12 Mb                                      |
464.91/465.00	============================[ Search Statistics ]==============================
464.91/465.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
464.91/465.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
464.91/465.00	===============================================================================
464.91/465.00	|    334457 |    9951    51182   172168 |    18766    17210     60 | 10.756 % |
464.91/465.00	|    334607 |    9951    51182   172168 |    20643    17360     60 | 10.756 % |
464.91/465.00	|    334832 |    9951    51182   172168 |    22707    17585     60 | 10.756 % |
464.91/465.00	|    335169 |    9951    51182   172168 |    24978    17922     61 | 10.756 % |
464.91/465.00	|    335675 |    9951    51182   172168 |    27476    18428     61 | 10.756 % |
464.91/465.00	|    336434 |    9951    51182   172168 |    30224    19187     63 | 10.756 % |
464.91/465.00	|    337573 |    9951    51182   172168 |    33246    20326     64 | 10.756 % |
464.91/465.00	|    339281 |    9951    51182   172168 |    36571    22034     65 | 10.756 % |
464.91/465.00	|    341843 |    9951    51182   172168 |    40228    24596     68 | 10.756 % |
464.91/465.00	|    345687 |    9951    51182   172168 |    44250    28440     71 | 10.756 % |
464.91/465.00	|    351453 |    9951    51182   172168 |    48676    34206     74 | 10.756 % |
464.91/465.00	|    360102 |    9951    51182   172168 |    53543    42855     76 | 10.756 % |
464.91/465.00	|    373076 |    9951    51182   172168 |    58898    18238     63 | 10.756 % |
464.91/465.00	|    392537 |    9951    51182   172168 |    64787    37699     80 | 10.756 % |
464.91/465.00	|    421729 |    9951    51182   172168 |    71266    66891     85 | 10.756 % |
464.91/465.00	|    465518 |    9951    51182   172168 |    78393    54895     91 | 10.756 % |
464.91/465.00	|    531202 |    9951    51182   172168 |    86232    59706     82 | 10.756 % |
464.91/465.00	|    629728 |    9951    51182   172168 |    94855    86262     88 | 10.756 % |
464.91/465.00	|    777517 |    9951    51182   172168 |   104341    80417     81 | 10.756 % |
464.91/465.00	|    999200 |    9951    51182   172168 |   114775    38810     69 | 10.756 % |
464.91/465.00	|   1331725 |    9951    51182   172168 |   126253    77524     73 | 10.756 % |
464.91/465.00	|   1830513 |    9951    51182   172168 |   138878    35329     67 | 10.756 % |
464.91/465.00	===============================================================================
464.91/465.00	c Found solution: 26
464.91/465.02	c ---[   0]---> Adder-cost: 0   maxlim: 3154   bits: 12/12
1800.01/1800.30	|  Eliminated clauses:           0.12 Mb                                      |
1800.01/1800.30	============================[ Search Statistics ]==============================
1800.01/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.01/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.01/1800.30	===============================================================================
1800.01/1800.30	|   2184499 |    9952    51194   172228 |    18771    12829     51 | 10.754 % |
1800.01/1800.30	|   2184649 |    9952    51194   172228 |    20648    12979     51 | 10.754 % |
1800.01/1800.30	|   2184874 |    9952    51194   172228 |    22713    13204     52 | 10.754 % |
1800.01/1800.30	|   2185211 |    9952    51194   172228 |    24984    13541     52 | 10.754 % |
1800.01/1800.30	|   2185717 |    9952    51194   172228 |    27482    14047     52 | 10.754 % |
1800.01/1800.30	|   2186476 |    9952    51194   172228 |    30231    14806     53 | 10.754 % |
1800.01/1800.30	|   2187615 |    9952    51194   172228 |    33254    15945     55 | 10.754 % |
1800.01/1800.30	|   2189323 |    9952    51194   172228 |    36579    17653     57 | 10.754 % |
1800.01/1800.30	|   2191885 |    9952    51194   172228 |    40237    20215     59 | 10.754 % |
1800.01/1800.30	|   2195729 |    9952    51194   172228 |    44261    24059     60 | 10.754 % |
1800.01/1800.30	|   2201495 |    9952    51194   172228 |    48687    29825     65 | 10.754 % |
1800.01/1800.30	|   2210144 |    9952    51194   172228 |    53556    38474     68 | 10.754 % |
1800.01/1800.30	|   2223118 |    9952    51194   172228 |    58911    51448     68 | 10.754 % |
1800.01/1800.30	|   2242579 |    9952    51194   172228 |    64803    27751     61 | 10.754 % |
1800.01/1800.30	|   2271771 |    9952    51194   172228 |    71283    56943     68 | 10.754 % |
1800.01/1800.30	|   2315560 |    9952    51194   172228 |    78411    44762     73 | 10.754 % |
1800.01/1800.30	|   2381244 |    9952    51194   172228 |    86252    48702     75 | 10.754 % |
1800.01/1800.30	|   2479770 |    9952    51194   172228 |    94878    79469     76 | 10.754 % |
1800.01/1800.30	|   2627559 |    9952    51194   172228 |   104365    75650     72 | 10.754 % |
1800.01/1800.30	|   2849242 |    9952    51194   172228 |   114802    35405     64 | 10.754 % |
1800.01/1800.30	|   3181767 |    9952    51194   172228 |   126282    75229     87 | 10.754 % |
1800.01/1800.30	|   3680555 |    9952    51194   172228 |   138911    34276     63 | 10.754 % |
1800.01/1800.30	|   4428737 |    9952    51194   172228 |   152802    52984     86 | 10.754 % |
1800.01/1800.30	|   5551011 |    9952    51194   172228 |   168082   109525     69 | 10.754 % |
1800.01/1800.30	|   7234422 |    9952    51194   172228 |   184890   159614     67 | 10.754 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	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	26

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4112764-1466564689/watcher-4112764-1466564689 -o /tmp/evaluation-result-4112764-1466564689/solver-4112764-1466564689 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466551503-22029 --watchdog 1960 minisatp HOME/instance-4112764-1466564689.opb 

pid=24145
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.20 2.18 2.18 3/178 24148
/proc/meminfo: memFree=30170300/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=7552 CPUtime=0 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 58515318 7733248 472 33554432000 4194304 5646918 140735249946560 140736934673464 4832119 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 1888 472 94 355 0 1529 0

[startup+0.100163 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 24148
/proc/meminfo: memFree=30170300/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=13032 CPUtime=0.09 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 1944 0 0 0 9 0 0 0 20 0 1 0 58515318 13344768 1820 33554432000 4194304 5646918 140735249946560 140736934673464 4251039 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 3258 1820 94 355 0 2899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13032

[startup+0.200325 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 24148
/proc/meminfo: memFree=30170300/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=18804 CPUtime=0.19 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 3362 0 0 0 19 0 0 0 20 0 1 0 58515318 19255296 3238 33554432000 4194304 5646918 140735249946560 140736934673464 4953072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 4701 3239 94 355 0 4342 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18804

[startup+0.300303 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 24148
/proc/meminfo: memFree=30170300/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=24356 CPUtime=0.28 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 4883 0 0 0 28 0 0 0 20 0 1 0 58515318 24940544 4688 33554432000 4194304 5646918 140735249946560 140736934673464 4953168 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 6089 4688 111 355 0 5730 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24356

[startup+0.700231 s]
/proc/loadavg: 2.20 2.18 2.18 3/178 24148
/proc/meminfo: memFree=30170300/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=22480 CPUtime=0.69 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 5531 0 0 0 68 1 0 0 20 0 1 0 58515318 23019520 5224 33554432000 4194304 5646918 140735249946560 140735249945224 4824634 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 5620 5224 137 355 0 5261 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22480

[startup+1.50023 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 24149
/proc/meminfo: memFree=30149968/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=22480 CPUtime=1.49 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 5531 0 0 0 148 1 0 0 20 0 1 0 58515318 23019520 5224 33554432000 4194304 5646918 140735249946560 140735249945224 4823297 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 5620 5224 137 355 0 5261 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22480

[startup+3.10023 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 24149
/proc/meminfo: memFree=30149208/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=22880 CPUtime=3.09 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 5601 0 0 0 308 1 0 0 20 0 1 0 58515318 23429120 5294 33554432000 4194304 5646918 140735249946560 140735249515784 4817691 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 5720 5294 137 355 0 5361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22880

[startup+6.30023 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 24149
/proc/meminfo: memFree=30182752/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=40716 CPUtime=6.29 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 8163 0 0 0 628 1 0 0 20 0 1 0 58515318 41693184 9895 33554432000 4194304 5646918 140735249946560 140735249945224 4823326 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 10179 9895 186 355 0 9820 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40716

[startup+12.7002 s]
/proc/loadavg: 2.17 2.18 2.18 3/179 24149
/proc/meminfo: memFree=30111164/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=59760 CPUtime=12.69 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 9187 0 0 0 1267 2 0 0 20 0 1 0 58515318 61194240 13980 33554432000 4194304 5646918 140735249946560 140735249945224 4831369 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 14940 13980 187 355 0 14581 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59760

[startup+25.5003 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 24149
/proc/meminfo: memFree=30096780/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=59432 CPUtime=25.48 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 10719 0 0 0 2546 2 0 0 20 0 1 0 58515318 60858368 14589 33554432000 4194304 5646918 140735249946560 140735249944872 4817546 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 14858 14589 188 355 0 14499 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59432

[startup+51.1004 s]
/proc/loadavg: 2.24 2.20 2.18 3/179 24149
/proc/meminfo: memFree=30055516/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=143860 CPUtime=51.08 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 12363 0 0 0 5104 4 0 0 20 0 1 0 58515318 147312640 31620 33554432000 4194304 5646918 140735249946560 140735249944808 4388947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 35965 31620 188 355 0 35606 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143860

[startup+102.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/179 24150
/proc/meminfo: memFree=30071624/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=94540 CPUtime=102.28 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 12363 0 0 0 10224 4 0 0 20 0 1 0 58515318 96808960 23366 33554432000 4194304 5646918 140735249946560 140735249944872 4402736 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 23635 23366 188 355 0 23276 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 94540

[startup+162.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/179 24151
/proc/meminfo: memFree=29996912/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=143860 CPUtime=162.27 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 12679 0 0 0 16221 6 0 0 20 0 1 0 58515318 147312640 32132 33554432000 4194304 5646918 140735249946560 140735249944856 4402853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 35965 32132 188 355 0 35606 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 143860

[startup+222.307 s]
/proc/loadavg: 2.18 2.19 2.18 3/179 24153
/proc/meminfo: memFree=30105956/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=94904 CPUtime=222.26 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 13016 0 0 0 22218 8 0 0 20 0 1 0 58515318 97181696 23457 33554432000 4194304 5646918 140735249946560 140735249945272 4402827 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 23726 23457 188 355 0 23367 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 94904

[startup+282.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/179 24154
/proc/meminfo: memFree=30066912/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=94904 CPUtime=282.25 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 13259 0 0 0 28215 10 0 0 20 0 1 0 58515318 97181696 23457 33554432000 4194304 5646918 140735249946560 140735249944856 4397536 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 23726 23457 188 355 0 23367 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 94904

[startup+342.3 s]
/proc/loadavg: 2.08 2.15 2.17 3/180 24158
/proc/meminfo: memFree=30048892/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=94904 CPUtime=342.24 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 13423 0 0 0 34213 11 0 0 20 0 1 0 58515318 97181696 23457 33554432000 4194304 5646918 140735249946560 140735249945272 4397480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 23726 23457 188 355 0 23367 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 94904

[startup+402.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/179 24159
/proc/meminfo: memFree=30065524/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=144224 CPUtime=402.23 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 13668 0 0 0 40210 13 0 0 20 0 1 0 58515318 147685376 33247 33554432000 4194304 5646918 140735249946560 140735249944856 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 36056 33247 188 355 0 35697 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 144224

[startup+462.3 s]
/proc/loadavg: 2.13 2.15 2.16 3/178 24160
/proc/meminfo: memFree=30019980/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=144224 CPUtime=462.21 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 13838 0 0 0 46207 14 0 0 20 0 1 0 58515318 147685376 34783 33554432000 4194304 5646918 140735249946560 140735249944856 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 36056 34783 188 355 0 35697 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 144224

[startup+522.3 s]
/proc/loadavg: 2.27 2.18 2.17 3/179 24163
/proc/meminfo: memFree=30088744/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=101976 CPUtime=522.21 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 14182 0 0 0 52206 15 0 0 20 0 1 0 58515318 104423424 25255 33554432000 4194304 5646918 140735249946560 140735249945272 4397117 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 25494 25255 188 355 0 25135 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 101976

[startup+582.3 s]
/proc/loadavg: 2.25 2.19 2.18 4/179 24164
/proc/meminfo: memFree=30020656/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=101976 CPUtime=582.2 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 14339 0 0 0 58204 16 0 0 20 0 1 0 58515318 104423424 25255 33554432000 4194304 5646918 140735249946560 140735249945272 4403495 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 25494 25255 188 355 0 25135 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 101976


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/180 24174
/proc/meminfo: memFree=30005092/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=942.15 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 16039 0 0 0 94189 26 0 0 20 0 1 0 58515318 167231488 38531 33554432000 4194304 5646918 140735249946560 140735249944856 4403178 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 38531 188 355 0 40469 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 163312

[startup+1002.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/179 24175
/proc/meminfo: memFree=29946512/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1002.14 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 16797 0 0 0 100186 28 0 0 20 0 1 0 58515318 167231488 36483 33554432000 4194304 5646918 140735249946560 140735249944856 4403061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 36483 188 355 0 40469 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 163312

[startup+1062.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/179 24176
/proc/meminfo: memFree=29940084/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=113992 CPUtime=1062.12 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 18074 0 0 0 106182 30 0 0 20 0 1 0 58515318 116727808 28231 33554432000 4194304 5646918 140735249946560 140735249945272 4403478 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 28498 28231 188 355 0 28139 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 113992

[startup+1122.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 24178
/proc/meminfo: memFree=30000148/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1122.11 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 18715 0 0 0 112179 32 0 0 20 0 1 0 58515318 167231488 39557 33554432000 4194304 5646918 140735249946560 140735249944856 4403464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 39557 188 355 0 40469 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 163312

[startup+1182.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/179 24179
/proc/meminfo: memFree=29946096/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1182.1 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 18881 0 0 0 118177 33 0 0 20 0 1 0 58515318 167231488 38021 33554432000 4194304 5646918 140735249946560 140735249944856 4402751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 38021 188 355 0 40469 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 163312

[startup+1242.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 24180
/proc/meminfo: memFree=29992792/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1242.09 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 19046 0 0 0 124175 34 0 0 20 0 1 0 58515318 167231488 35973 33554432000 4194304 5646918 140735249946560 140735249945272 4403184 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 35973 188 355 0 40469 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 163312

[startup+1302.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/179 24181
/proc/meminfo: memFree=29989436/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=113992 CPUtime=1302.08 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 20322 0 0 0 130170 38 0 0 20 0 1 0 58515318 116727808 28231 33554432000 4194304 5646918 140735249946560 140735249945256 4398798 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 28498 28231 188 355 0 28139 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 113992

[startup+1362.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/179 24182
/proc/meminfo: memFree=29945964/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1362.07 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 21074 0 0 0 136167 40 0 0 20 0 1 0 58515318 167231488 36485 33554432000 4194304 5646918 140735249946560 140735249944856 4402784 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 36485 188 355 0 40469 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 163312

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/179 24184
/proc/meminfo: memFree=29941900/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=163312 CPUtime=1422.07 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 21756 0 0 0 142165 42 0 0 20 0 1 0 58515318 167231488 40069 33554432000 4194304 5646918 140735249946560 140735249944856 4402778 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 40828 40069 188 355 0 40469 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 163312

[startup+1482.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/179 24185
/proc/meminfo: memFree=29984744/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=193852 CPUtime=1482.05 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 23572 0 0 0 148160 45 0 0 20 0 1 0 58515318 198504448 43597 33554432000 4194304 5646918 140735249946560 140735249944856 4402696 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 48463 43597 188 355 0 48104 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 193852

[startup+1542.31 s]
/proc/loadavg: 2.16 2.20 2.18 3/180 24189
/proc/meminfo: memFree=29892744/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=224672 CPUtime=1542.06 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 24835 0 0 0 154158 48 0 0 20 0 1 0 58515318 230064128 48784 33554432000 4194304 5646918 140735249946560 140735249945256 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 56168 48784 188 355 0 55809 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 224672

[startup+1602.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 24190
/proc/meminfo: memFree=29947940/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=193852 CPUtime=1602.03 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 25589 0 0 0 160153 50 0 0 20 0 1 0 58515318 198504448 44109 33554432000 4194304 5646918 140735249946560 140735249944856 4403167 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 48463 44109 188 355 0 48104 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 193852

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/179 24246
/proc/meminfo: memFree=30032284/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=193852 CPUtime=1662.03 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 26269 0 0 0 166151 52 0 0 20 0 1 0 58515318 198504448 47693 33554432000 4194304 5646918 140735249946560 140735249944856 4403104 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 48463 47693 188 355 0 48104 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 193852

[startup+1722.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/179 24248
/proc/meminfo: memFree=30022976/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=144532 CPUtime=1722.02 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 27442 0 0 0 172148 54 0 0 20 0 1 0 58515318 148000768 35855 33554432000 4194304 5646918 140735249946560 140735249945272 4403170 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 36133 35855 188 355 0 35774 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 144532

[startup+1782.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/179 24249
/proc/meminfo: memFree=29999276/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=193852 CPUtime=1782.01 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 28149 0 0 0 178145 56 0 0 20 0 1 0 58515318 198504448 47181 33554432000 4194304 5646918 140735249946560 140735249944856 4403372 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 48463 47181 188 355 0 48104 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 193852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 24250
/proc/meminfo: memFree=30031692/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=144532 CPUtime=1800.01 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 28744 0 0 0 179944 57 0 0 20 0 1 0 58515318 148000768 35855 33554432000 4194304 5646918 140735249946560 140735249945272 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 36133 35855 188 355 0 35774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144532

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24148 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/179 24250
/proc/meminfo: memFree=30031692/32872528 swapFree=1482636/1662508
[pid=24148] ppid=24145 vsize=144532 CPUtime=1800.01 cores=0,2,4,6
/proc/24148/stat : 24148 (minisatp) R 24145 24148 22013 0 -1 4202496 28744 0 0 0 179944 57 0 0 20 0 1 0 58515318 148000768 35855 33554432000 4194304 5646918 140735249946560 140735249945272 4403159 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24148/statm: 36133 35855 188 355 0 35774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144532

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.44
CPU system time (s): 0.573912
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 224672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.573912
maximum resident set size= 201280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28744
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= 17
involuntary context switches= 1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50931 second user time and 6.96994 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-22 05:04:49
IDJOB=4112764
IDBENCH=24981
IDSOLVER=2555
FILE ID=node134/4112764-1466564689
RUNJOBID= node134-1466551503-22029
PBS_JOBID= 19943329
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_015_area_delay.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112764-1466564689/watcher-4112764-1466564689 -o /tmp/evaluation-result-4112764-1466564689/solver-4112764-1466564689 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466551503-22029 --watchdog 1960  minisatp HOME/instance-4112764-1466564689.opb

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

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=141380444

node134.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		: 2667.020
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	: 5334.04
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		: 2667.020
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	: 7358.89
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		: 2667.020
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	: 5332.55
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		: 2667.020
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	: 5332.55
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		: 2667.020
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	: 5332.55
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		: 2667.020
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	: 5332.54
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		: 2667.020
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	: 5332.55
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		: 2667.020
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30170588 kB
Buffers:           80712 kB
Cached:            82520 kB
SwapCached:         2876 kB
Active:           198564 kB
Inactive:         106868 kB
Active(anon):     142316 kB
Inactive(anon):     2756 kB
Active(file):      56248 kB
Inactive(file):   104112 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67099204 kB
Dirty:              4732 kB
Writeback:             0 kB
AnonPages:       1806472 kB
Mapped:             9368 kB
Shmem:                 0 kB
Slab:             598444 kB
SReclaimable:      42360 kB
SUnreclaim:       556084 kB
KernelStack:        1472 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1967076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112764-1466564689.opb

Free space on /tmp at the end= 71688 MiB
End job on node134 at 2016-06-22 05:34:49