Trace number 4112758

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)25 1800.07 1800.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.079987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
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 2987
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 2987
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 2987
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.22	c Converting 18513 PB-constraints to clauses...
0.19/0.22	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.22	c   -- Detecting intervals from adjacent constraints: #########
0.19/0.22	c   -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.24	c ---[17160]---> BDD-cost:    1
0.19/0.24	c ---[16546]---> BDD-cost:    1
0.19/0.24	c ---[16311]---> BDD-cost:    1
0.19/0.24	c ---[15857]---> BDD-cost:    1
0.19/0.24	c ---[15718]---> BDD-cost:    1
0.19/0.24	c ---[15667]---> BDD-cost:    1
0.19/0.24	c ---[15650]---> BDD-cost:    1
0.19/0.24	c ---[15647]---> BDD-cost:    1
0.19/0.24	c ---[15645]---> BDD-cost:    1
0.19/0.25	|  Eliminated clauses:           0.10 Mb                                      |
0.19/0.25	============================[ Search Statistics ]==============================
0.19/0.25	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.19/0.25	===============================================================================
0.19/0.25	===============================================================================
0.19/0.25	c Found solution: 31
0.19/0.27	c ---[   0]---> Adder-cost: 4990   maxlim: 2469   bits: 12/12
4.18/4.26	|  Eliminated clauses:           0.10 Mb                                      |
4.18/4.26	============================[ Search Statistics ]==============================
4.18/4.26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.18/4.26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.18/4.26	===============================================================================
4.18/4.26	|       112 |    7957    41208   139599 |    15109      112      4 |  9.327 % |
4.18/4.26	|       262 |    7944    41208   139599 |    16620      261      4 |  9.443 % |
4.18/4.26	|       487 |    7927    41208   139599 |    18282      484      3 |  9.596 % |
4.18/4.26	|       824 |    7927    41208   139599 |    20110      816      5 |  9.596 % |
4.18/4.26	|      1330 |    7927    41208   139599 |    22121     1322      6 |  9.596 % |
4.18/4.26	|      2089 |    7901    41208   139599 |    24334     2076      7 |  9.829 % |
4.18/4.26	|      3228 |    7901    41208   139599 |    26767     3215     13 |  9.829 % |
4.18/4.26	|      4936 |    7901    41208   139599 |    29444     4923     29 |  9.829 % |
4.18/4.26	|      7498 |    7901    41208   139599 |    32388     7485     42 |  9.829 % |
4.18/4.26	|     11342 |    7901    41208   139599 |    35627    11329     53 |  9.829 % |
4.18/4.26	|     17108 |    7901    41208   139599 |    39190    17095     60 |  9.829 % |
4.18/4.26	===============================================================================
4.18/4.26	c Found solution: 30
4.28/4.31	c ---[   0]---> Adder-cost: 0   maxlim: 2470   bits: 12/12
10.99/11.03	|  Eliminated clauses:           0.10 Mb                                      |
10.99/11.03	============================[ Search Statistics ]==============================
10.99/11.03	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.99/11.03	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.99/11.03	===============================================================================
10.99/11.03	|     25307 |    7900    40817   138044 |    14966    12697     59 |  9.832 % |
10.99/11.03	|     25457 |    7900    40817   138044 |    16462    12847     58 |  9.832 % |
10.99/11.03	|     25682 |    7900    40817   138044 |    18109    13072     59 |  9.832 % |
10.99/11.03	|     26019 |    7900    40817   138044 |    19920    13409     59 |  9.832 % |
10.99/11.03	|     26525 |    7900    40817   138044 |    21912    13915     61 |  9.832 % |
10.99/11.03	|     27284 |    7900    40817   138044 |    24103    14674     64 |  9.832 % |
10.99/11.03	|     28423 |    7900    40817   138044 |    26513    15813     68 |  9.832 % |
10.99/11.03	|     30131 |    7900    40817   138044 |    29164    17521     69 |  9.832 % |
10.99/11.03	|     32693 |    7900    40817   138044 |    32081    20083     75 |  9.832 % |
10.99/11.03	|     36537 |    7900    40817   138044 |    35289    23927     79 |  9.832 % |
10.99/11.03	|     42303 |    7900    40817   138044 |    38818    29693     87 |  9.832 % |
10.99/11.03	|     50952 |    7900    40817   138044 |    42700    38342     88 |  9.832 % |
10.99/11.03	|     63926 |    7900    40817   138044 |    46970    24086     79 |  9.832 % |
10.99/11.03	===============================================================================
10.99/11.03	c Found solution: 29
10.99/11.05	c ---[   0]---> Adder-cost: 0   maxlim: 2471   bits: 12/12
18.38/18.44	|  Eliminated clauses:           0.10 Mb                                      |
18.38/18.44	============================[ Search Statistics ]==============================
18.38/18.44	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.38/18.44	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.38/18.44	===============================================================================
18.38/18.44	|     66744 |    7897    40801   137966 |    14960    13502     78 |  9.840 % |
18.38/18.44	|     66894 |    7897    40801   137966 |    16456    13652     78 |  9.840 % |
18.38/18.44	|     67119 |    7897    40801   137966 |    18102    13877     78 |  9.840 % |
18.38/18.44	|     67456 |    7897    40801   137966 |    19912    14214     78 |  9.840 % |
18.38/18.44	|     67962 |    7897    40801   137966 |    21903    14720     78 |  9.840 % |
18.38/18.44	|     68721 |    7881    40801   137966 |    24093    15477     78 |  9.984 % |
18.38/18.44	|     69860 |    7881    40801   137966 |    26503    16616     77 |  9.984 % |
18.38/18.44	|     71568 |    7868    40801   137966 |    29153    18323     78 | 10.100 % |
18.38/18.44	|     74130 |    7868    40801   137966 |    32068    20885     80 | 10.100 % |
18.38/18.44	|     77974 |    7851    40801   137966 |    35275    24561     84 | 10.253 % |
18.38/18.44	|     83740 |    7851    40801   137966 |    38803    30300     87 | 10.253 % |
18.38/18.44	|     92389 |    7815    40801   137966 |    42683    38903     89 | 10.575 % |
18.38/18.44	|    105363 |    7802    40801   137966 |    46952    24327     80 | 10.692 % |
18.38/18.44	===============================================================================
18.38/18.44	c Found solution: 28
18.38/18.46	c ---[   0]---> Adder-cost: 0   maxlim: 2472   bits: 12/12
21.48/21.58	|  Eliminated clauses:           0.10 Mb                                      |
21.48/21.58	============================[ Search Statistics ]==============================
21.48/21.58	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.48/21.58	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.48/21.58	===============================================================================
21.48/21.58	|    111123 |    7799    40125   135277 |    14712     7597     71 | 10.695 % |
21.48/21.58	|    111273 |    7799    40125   135277 |    16183     7747     70 | 10.695 % |
21.48/21.58	|    111498 |    7799    40125   135277 |    17802     7972     71 | 10.695 % |
21.48/21.58	|    111835 |    7799    40125   135277 |    19582     8309     71 | 10.695 % |
21.48/21.58	|    112341 |    7799    40125   135277 |    21540     8815     72 | 10.695 % |
21.48/21.58	|    113100 |    7799    40125   135277 |    23694     9574     73 | 10.695 % |
21.48/21.58	|    114239 |    7799    40125   135277 |    26064    10713     74 | 10.695 % |
21.48/21.58	|    115947 |    7799    40125   135277 |    28670    12421     75 | 10.695 % |
21.48/21.58	|    118509 |    7799    40125   135277 |    31537    14983     79 | 10.695 % |
21.48/21.58	|    122353 |    7799    40125   135277 |    34691    18827     80 | 10.695 % |
21.48/21.58	===============================================================================
21.48/21.58	c Found solution: 27
21.58/21.60	c ---[   0]---> Adder-cost: 0   maxlim: 2473   bits: 12/12
57.37/57.48	|  Eliminated clauses:           0.10 Mb                                      |
57.37/57.48	============================[ Search Statistics ]==============================
57.37/57.48	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.37/57.48	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
57.37/57.48	===============================================================================
57.37/57.48	|    123531 |    7799    40127   135283 |    14713    10053     67 | 10.701 % |
57.37/57.48	|    123681 |    7799    40127   135283 |    16184    10203     67 | 10.701 % |
57.37/57.48	|    123906 |    7799    40127   135283 |    17803    10428     68 | 10.701 % |
57.37/57.48	|    124243 |    7799    40127   135283 |    19583    10765     70 | 10.701 % |
57.37/57.48	|    124749 |    7799    40127   135283 |    21541    11271     69 | 10.701 % |
57.37/57.48	|    125508 |    7799    40127   135283 |    23695    12030     69 | 10.701 % |
57.37/57.48	|    126647 |    7799    40127   135283 |    26065    13169     73 | 10.701 % |
57.37/57.48	|    128355 |    7799    40127   135283 |    28671    14877     74 | 10.701 % |
57.37/57.48	|    130917 |    7799    40127   135283 |    31539    17439     78 | 10.701 % |
57.37/57.48	|    134761 |    7799    40127   135283 |    34693    21283     82 | 10.701 % |
57.37/57.48	|    140527 |    7799    40127   135283 |    38162    27049     84 | 10.701 % |
57.37/57.48	|    149176 |    7799    40127   135283 |    41978    35698     85 | 10.701 % |
57.37/57.48	|    162150 |    7799    40127   135283 |    46176    21428     78 | 10.701 % |
57.37/57.48	|    181611 |    7799    40127   135283 |    50794    40889     85 | 10.701 % |
57.37/57.48	|    210803 |    7799    40127   135283 |    55873    35135     89 | 10.701 % |
57.37/57.48	|    254592 |    7799    40127   135283 |    61460    39972     84 | 10.701 % |
57.37/57.48	|    320276 |    7799    40127   135283 |    67606    61292     85 | 10.701 % |
57.37/57.48	===============================================================================
57.37/57.48	c Found solution: 26
57.37/57.49	c ---[   0]---> Adder-cost: 0   maxlim: 2474   bits: 12/12
135.65/135.72	|  Eliminated clauses:           0.10 Mb                                      |
135.65/135.72	============================[ Search Statistics ]==============================
135.65/135.72	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
135.65/135.72	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
135.65/135.72	===============================================================================
135.65/135.72	|    341290 |    7799    40131   135307 |    14714    13725     76 | 10.707 % |
135.65/135.72	|    341440 |    7799    40131   135307 |    16186    13875     76 | 10.707 % |
135.65/135.72	|    341665 |    7799    40131   135307 |    17804    14100     75 | 10.707 % |
135.65/135.72	|    342002 |    7799    40131   135307 |    19585    14437     75 | 10.707 % |
135.65/135.72	|    342508 |    7799    40131   135307 |    21543    14943     74 | 10.707 % |
135.65/135.72	|    343267 |    7799    40131   135307 |    23698    15702     75 | 10.707 % |
135.65/135.72	|    344406 |    7799    40131   135307 |    26067    16841     76 | 10.707 % |
135.65/135.72	|    346114 |    7799    40131   135307 |    28674    18549     75 | 10.707 % |
135.65/135.72	|    348676 |    7799    40131   135307 |    31542    21111     77 | 10.707 % |
135.65/135.72	|    352520 |    7799    40131   135307 |    34696    24955     78 | 10.707 % |
135.65/135.72	|    358286 |    7799    40131   135307 |    38166    30721     80 | 10.707 % |
135.65/135.72	|    366935 |    7799    40131   135307 |    41982    39370     86 | 10.707 % |
135.65/135.72	|    379909 |    7799    40131   135307 |    46181    24832     85 | 10.707 % |
135.65/135.72	|    399370 |    7799    40131   135307 |    50799    44293     84 | 10.707 % |
135.65/135.72	|    428562 |    7799    40131   135307 |    55879    38221     77 | 10.707 % |
135.65/135.72	|    472351 |    7799    40131   135307 |    61466    42323     91 | 10.707 % |
135.65/135.72	|    538035 |    7799    40131   135307 |    67613    17720     72 | 10.707 % |
135.65/135.72	|    636561 |    7799    40131   135307 |    74375    65560     87 | 10.707 % |
135.65/135.72	|    784350 |    7799    40131   135307 |    81812    46567     75 | 10.707 % |
135.65/135.72	===============================================================================
135.65/135.72	c Found solution: 25
135.65/135.73	c ---[   0]---> Adder-cost: 0   maxlim: 2475   bits: 12/12
1800.06/1800.40	|  Eliminated clauses:           0.10 Mb                                      |
1800.06/1800.40	============================[ Search Statistics ]==============================
1800.06/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.06/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.06/1800.40	===============================================================================
1800.06/1800.40	|    791577 |    7799    40129   135291 |    14713     8682     65 | 10.714 % |
1800.06/1800.40	|    791727 |    7799    40129   135291 |    16185     8832     64 | 10.714 % |
1800.06/1800.40	|    791952 |    7799    40129   135291 |    17803     9057     64 | 10.714 % |
1800.06/1800.40	|    792289 |    7799    40129   135291 |    19584     9394     64 | 10.714 % |
1800.06/1800.40	|    792795 |    7799    40129   135291 |    21542     9900     65 | 10.714 % |
1800.06/1800.40	|    793554 |    7799    40129   135291 |    23696    10659     66 | 10.714 % |
1800.06/1800.40	|    794693 |    7799    40129   135291 |    26066    11798     68 | 10.714 % |
1800.06/1800.40	|    796401 |    7799    40129   135291 |    28673    13506     68 | 10.714 % |
1800.06/1800.40	|    798963 |    7799    40129   135291 |    31540    16068     70 | 10.714 % |
1800.06/1800.40	|    802807 |    7799    40129   135291 |    34694    19912     72 | 10.714 % |
1800.06/1800.40	|    808573 |    7799    40129   135291 |    38164    25678     79 | 10.714 % |
1800.06/1800.40	|    817222 |    7799    40129   135291 |    41980    34327     82 | 10.714 % |
1800.06/1800.40	|    830196 |    7799    40129   135291 |    46178    20076     78 | 10.714 % |
1800.06/1800.40	|    849657 |    7799    40129   135291 |    50796    39537     87 | 10.714 % |
1800.06/1800.40	|    878849 |    7799    40129   135291 |    55876    34980     82 | 10.714 % |
1800.06/1800.40	|    922638 |    7799    40129   135291 |    61463    40612     83 | 10.714 % |
1800.06/1800.40	|    988322 |    7799    40129   135291 |    67610    62708     87 | 10.714 % |
1800.06/1800.40	|   1086848 |    7799    40129   135291 |    74371    58270     87 | 10.714 % |
1800.06/1800.40	|   1234637 |    7799    40129   135291 |    81808    36036     82 | 10.714 % |
1800.06/1800.40	|   1456320 |    7798    40129   135291 |    89989    62139     89 | 10.723 % |
1800.06/1800.40	|   1788845 |    7798    40129   135291 |    98988    42068     87 | 10.723 % |
1800.06/1800.40	|   2287633 |    7798    40129   135291 |   108887    59108     84 | 10.723 % |
1800.06/1800.40	|   3035815 |    7797    40129   135291 |   119775    87685     93 | 10.732 % |
1800.06/1800.40	|   4158089 |    7797    40129   135291 |   131753   103031     64 | 10.732 % |
1800.06/1800.40	|   5841500 |    7797    40129   135291 |   144928   130878     58 | 10.732 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -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 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -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 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -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 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 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 -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 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -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 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -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 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -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 -x2298 -x2300 -x2302 -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 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -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 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -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 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -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 -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 -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 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -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 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -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 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -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 -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 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -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 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -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 -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 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -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 -x5494 -x5496 -x5498 -x5500 -x5502 -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 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -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 -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 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -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 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 x6016 -x6018 -x6020 -x6022 -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 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 x6140 -x6142 x6144 x6146 x6148 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -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 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x1 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -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 -x2 -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 -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 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x3 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x4 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -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 -x5 -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 -x6 -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 -x7 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x8 -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 -x9 -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 -x10 -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 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x11 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x12 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x13 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x14 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x15 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x16 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x17 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -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 -x18 -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 -x19 -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 -x20 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x21 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x22 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x23 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x24 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x25 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x26 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x27 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x28 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x29 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x30 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x31 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x32 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x33 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x34 -x2196 -x2198 -x2200 -x35 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -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 -x2292 -x2294 -x2296 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x36 -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 -x37 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x38 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x39 -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 -x2541 -x40 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x41 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x42 -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 -x43 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x45 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x46 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x47 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x48 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x49 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 x50 x2855 -x2857 -x2859 -x51 -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 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x52 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x53 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x54 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x55 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x56 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x57 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x58 -x3053 -x3055 -x3057 -x59 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x60 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x61 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x62 -x3131 -x3133 -x3135 -x63 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x64 -x3151 -x3153 -x3155 -x65 -x3157 -x3159 -x3161 -x66 -x3163 -x3165 -x3167 -x67 -x3169 -x68 -x3171 -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 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x69 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x70 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x71 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x72 -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 -x73 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x74 -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 -x3623 -x3625 -x3627 -x3629 -x75 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x76 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x77 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x78 -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 -x79 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x80 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x81 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x82 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x83 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x84 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x85 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x86 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x87 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x88 -x3987 -x3989 -x3991 -x89 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x90 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x91 -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 -x92 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x93 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x94 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x95 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x96 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x97 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x98 -x4274 -x4276 -x4278 -x99 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x100 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x101 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x102 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x103 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x104 -x4366 -x4368 -x4370 -x105 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x106 -x4386 -x4388 -x4390 x4392 -x4394 -x107 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x108 -x4410 -x4412 -x4414 -x109 -x4416 -x4418 -x4420 -x110 -x4422 -x111 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -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 -x112 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x113 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x114 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x115 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x116 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x117 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 x4642 -x4644 -x4646 -x118 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x119 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x120 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x121 -x4706 -x4708 -x4710 -x122 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x123 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 x124 -x4756 x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x125 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x126 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x127 -x4798 -x4800 -x4802 -x128 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x129 -x4818 -x4820 -x4822 -x130 -x4824 -x4826 -x4828 -x131 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x132 -x4844 -x4846 -x4848 -x133 -x4850 -x4852 -x4854 -x134 -x4856 -x135 -x4858 -x4860 -x4862 -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 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x136 -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 -x137 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x138 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x139 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x140 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x141 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x142 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x143 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x144 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x145 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x146 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x147 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x148 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x149 -x5456 -x5458 -x5460 -x150 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x151 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x152 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x153 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x154 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x155 -x5637 -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x156 -x5651 -x5653 -x5655 -x157 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x158 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x159 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x160 -x5715 -x5717 -x161 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x162 -x5733 -x5735 -x5737 -x5739 x5741 -x5743 -x163 -x5745 -x164 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5795 -x5797 -x5799 -x165 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x166 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x167 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x168 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 x5913 -x5915 -x5917 -x169 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x170 -x5933 -x5935 -x5937 -x171 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x172 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x173 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x174 -x5997 -x5999 x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 x6015 -x6017 -x6019 -x6021 -x6023 x6025 -x6027 -x175 -x6029 -x176 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x177 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x178 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x179 -x6085 -x6087 -x6089 -x180 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x181 -x6105 -x6107 -x182 -x6109 -x6111 -x6113 -x183 -x6115 -x184 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x185 -x6129 -x6131 -x6133 -x186 -x6135 -x6137 x6139 x187 -x6141 x6143 x6145 x188 x6147 x189 x190

Verifier Data 

OK	25

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-4112758-1466565448/watcher-4112758-1466565448 -o /tmp/evaluation-result-4112758-1466565448/solver-4112758-1466565448 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466551518-27980 --watchdog 1960 minisatp HOME/instance-4112758-1466565448.opb 

pid=29889
running on 4 cores: 1,3,5,7

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.23 2.32 2.26 3/176 29892
/proc/meminfo: memFree=30109272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=7208 CPUtime=0 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 494 0 0 0 0 0 0 0 20 0 1 0 58590509 7380992 370 33554432000 4194304 5646918 140736505791232 140736177474808 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 1802 370 84 355 0 1443 0

[startup+0.100161 s]
/proc/loadavg: 2.23 2.32 2.26 3/176 29892
/proc/meminfo: memFree=30109272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=12692 CPUtime=0.09 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 1845 0 0 0 9 0 0 0 20 0 1 0 58590509 12996608 1721 33554432000 4194304 5646918 140736505791232 140736177474808 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 3173 1721 94 355 0 2814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12692

[startup+0.200326 s]
/proc/loadavg: 2.23 2.32 2.26 3/176 29892
/proc/meminfo: memFree=30109272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=18440 CPUtime=0.19 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 3266 0 0 0 19 0 0 0 20 0 1 0 58590509 18882560 3142 33554432000 4194304 5646918 140736505791232 140736177474808 4823330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 4610 3144 97 355 0 4251 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18440

[startup+0.300309 s]
/proc/loadavg: 2.23 2.32 2.26 3/176 29892
/proc/meminfo: memFree=30109272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=17668 CPUtime=0.29 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 4363 0 0 0 28 1 0 0 20 0 1 0 58590509 18092032 4090 33554432000 4194304 5646918 140736505791232 140736177474808 4832074 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 4417 4090 137 355 0 4058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17668

[startup+0.700187 s]
/proc/loadavg: 2.23 2.32 2.26 3/176 29892
/proc/meminfo: memFree=30109272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=17668 CPUtime=0.69 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 4363 0 0 0 68 1 0 0 20 0 1 0 58590509 18092032 4090 33554432000 4194304 5646918 140736505791232 140736505789896 4823346 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 4417 4090 137 355 0 4058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17668

[startup+1.50023 s]
/proc/loadavg: 2.23 2.32 2.26 3/177 29893
/proc/meminfo: memFree=30093564/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=17668 CPUtime=1.49 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 4383 0 0 0 148 1 0 0 20 0 1 0 58590509 18092032 4110 33554432000 4194304 5646918 140736505791232 140736505789896 4460889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 4417 4110 137 355 0 4058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17668

[startup+3.10018 s]
/proc/loadavg: 2.22 2.31 2.26 3/177 29893
/proc/meminfo: memFree=30089540/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=28836 CPUtime=3.08 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 6678 0 0 0 307 1 0 0 20 0 1 0 58590509 29528064 6883 33554432000 4194304 5646918 140736505791232 140736505789480 4402784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 7209 6883 186 355 0 6850 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28836

[startup+6.30025 s]
/proc/loadavg: 2.22 2.31 2.26 4/177 29893
/proc/meminfo: memFree=30067816/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=34108 CPUtime=6.29 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 8451 0 0 0 627 2 0 0 20 0 1 0 58590509 34926592 8270 33554432000 4194304 5646918 140736505791232 140736505789896 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 8527 8270 187 355 0 8168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34108

[startup+12.7002 s]
/proc/loadavg: 2.18 2.30 2.26 3/177 29893
/proc/meminfo: memFree=30107328/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=41596 CPUtime=12.68 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 9681 0 0 0 1266 2 0 0 20 0 1 0 58590509 42594304 10136 33554432000 4194304 5646918 140736505791232 140736504913256 4460889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 10399 10136 187 355 0 10040 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41596

[startup+25.5003 s]
/proc/loadavg: 2.15 2.29 2.26 3/177 29893
/proc/meminfo: memFree=30057632/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=55528 CPUtime=25.48 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 10584 0 0 0 2546 2 0 0 20 0 1 0 58590509 56860672 13593 33554432000 4194304 5646918 140736505791232 140736505789544 4403057 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 13882 13593 187 355 0 13523 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55528

[startup+51.1004 s]
/proc/loadavg: 2.24 2.30 2.26 3/177 29893
/proc/meminfo: memFree=30079308/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=91272 CPUtime=51.07 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 11576 0 0 0 5105 2 0 0 20 0 1 0 58590509 93462528 16905 33554432000 4194304 5646918 140736505791232 140736505789480 4403502 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/29892/statm: 22818 16905 187 355 0 22459 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 91272

[startup+102.3 s]
/proc/loadavg: 2.38 2.32 2.27 3/177 29894
/proc/meminfo: memFree=30008428/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=91272 CPUtime=102.27 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 11617 0 0 0 10224 3 0 0 20 0 1 0 58590509 93462528 22575 33554432000 4194304 5646918 140736505791232 140736505789544 4399718 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 22818 22575 188 355 0 22459 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 91272

[startup+162.3 s]
/proc/loadavg: 2.46 2.36 2.28 3/178 29898
/proc/meminfo: memFree=30057904/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=91288 CPUtime=162.24 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 12881 0 0 0 16220 4 0 0 20 0 1 0 58590509 93478912 22067 33554432000 4194304 5646918 140736505791232 140736505789544 4403159 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 22822 22067 188 355 0 22463 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 91288

[startup+222.307 s]
/proc/loadavg: 2.56 2.39 2.29 4/177 29899
/proc/meminfo: memFree=30007280/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103692 CPUtime=222.24 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 14479 0 0 0 22218 6 0 0 20 0 1 0 58590509 106180608 24605 33554432000 4194304 5646918 140736505791232 140736505789480 4403167 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25923 24605 188 355 0 25564 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 103692

[startup+282.3 s]
/proc/loadavg: 2.39 2.37 2.29 3/177 29900
/proc/meminfo: memFree=29914208/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=153012 CPUtime=282.22 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 15642 0 0 0 28215 7 0 0 20 0 1 0 58590509 156684288 34226 33554432000 4194304 5646918 140736505791232 140736505789528 4403435 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 38253 34226 188 355 0 37894 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 153012

[startup+342.3 s]
/proc/loadavg: 2.29 2.35 2.28 3/177 29902
/proc/meminfo: memFree=30020056/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103692 CPUtime=342.22 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 16753 0 0 0 34213 9 0 0 20 0 1 0 58590509 106180608 25680 33554432000 4194304 5646918 140736505791232 140736505789944 4403147 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25923 25680 188 355 0 25564 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 103692

[startup+402.3 s]
/proc/loadavg: 2.27 2.33 2.28 4/177 29903
/proc/meminfo: memFree=30020164/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=402.21 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 17905 0 0 0 40210 11 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4402736 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 103836

[startup+462.3 s]
/proc/loadavg: 2.29 2.32 2.27 3/177 29904
/proc/meminfo: memFree=30020272/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=462.2 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 19018 0 0 0 46208 12 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4402764 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 103836

[startup+522.3 s]
/proc/loadavg: 2.36 2.34 2.28 3/177 29905
/proc/meminfo: memFree=29987608/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=522.19 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 20137 0 0 0 52205 14 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4402829 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 103836

[startup+582.3 s]
/proc/loadavg: 2.30 2.32 2.27 4/177 29906
/proc/meminfo: memFree=29945640/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=153156 CPUtime=582.17 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 21255 0 0 0 58202 15 0 0 20 0 1 0 58590509 156831744 35798 33554432000 4194304 5646918 140736505791232 140736505789528 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 38289 35798 188 355 0 37930 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 153156


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


[startup+882.307 s]
/proc/loadavg: 2.43 2.32 2.28 3/177 30139
/proc/meminfo: memFree=29725264/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=882.14 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 25351 0 0 0 88191 23 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4402798 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 103836

[startup+942.3 s]
/proc/loadavg: 2.31 2.31 2.27 4/177 30141
/proc/meminfo: memFree=29654436/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=942.12 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 26091 0 0 0 94188 24 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 103836

[startup+1002.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/177 30142
/proc/meminfo: memFree=29454304/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=153156 CPUtime=1002.11 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 27203 0 0 0 100185 26 0 0 20 0 1 0 58590509 156831744 33750 33554432000 4194304 5646918 140736505791232 140736505789528 4403454 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 38289 33750 188 355 0 37930 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 153156

[startup+1062.3 s]
/proc/loadavg: 2.25 2.28 2.27 3/177 30143
/proc/meminfo: memFree=29362636/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=103836 CPUtime=1062.1 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 27576 0 0 0 106184 26 0 0 20 0 1 0 58590509 106328064 25716 33554432000 4194304 5646918 140736505791232 140736505789944 4403411 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 25959 25716 188 355 0 25600 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 103836

[startup+1122.3 s]
/proc/loadavg: 2.23 2.27 2.27 4/177 30144
/proc/meminfo: memFree=29262592/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=122656 CPUtime=1122.09 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 28320 0 0 0 112182 27 0 0 20 0 1 0 58590509 125599744 25718 33554432000 4194304 5646918 140736505791232 140736505789480 4403147 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30664 25718 188 355 0 30305 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 122656

[startup+1182.3 s]
/proc/loadavg: 2.44 2.33 2.28 3/177 30145
/proc/meminfo: memFree=29622948/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1182.08 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 29967 0 0 0 118180 28 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4403408 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 123792

[startup+1242.3 s]
/proc/loadavg: 2.40 2.33 2.28 3/177 30147
/proc/meminfo: memFree=29473556/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=173112 CPUtime=1242.07 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 30707 0 0 0 124178 29 0 0 20 0 1 0 58590509 177266688 38739 33554432000 4194304 5646918 140736505791232 140736505789944 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 43278 38739 188 355 0 42919 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 173112

[startup+1302.3 s]
/proc/loadavg: 2.27 2.30 2.27 4/177 30148
/proc/meminfo: memFree=29350892/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=173112 CPUtime=1302.06 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 31446 0 0 0 130176 30 0 0 20 0 1 0 58590509 177266688 39251 33554432000 4194304 5646918 140736505791232 140736505789528 4403164 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 43278 39251 188 355 0 42919 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 173112

[startup+1362.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/178 30152
/proc/meminfo: memFree=29241972/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=173112 CPUtime=1362.06 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 32187 0 0 0 136174 32 0 0 20 0 1 0 58590509 177266688 39251 33554432000 4194304 5646918 140736505791232 140736505789528 4402788 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 43278 39251 188 355 0 42919 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 173112

[startup+1422.3 s]
/proc/loadavg: 2.15 2.25 2.26 4/177 30153
/proc/meminfo: memFree=29109220/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1422.05 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 32927 0 0 0 142172 33 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4402778 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 123792

[startup+1482.3 s]
/proc/loadavg: 2.25 2.26 2.26 4/177 30154
/proc/meminfo: memFree=29017388/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1482.03 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 33299 0 0 0 148170 33 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 123792

[startup+1542.31 s]
/proc/loadavg: 2.23 2.25 2.26 3/177 30156
/proc/meminfo: memFree=28931404/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1542.03 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 34040 0 0 0 154169 34 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4403173 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 123792

[startup+1602.3 s]
/proc/loadavg: 2.18 2.23 2.25 3/177 30157
/proc/meminfo: memFree=28826104/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1602.02 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 34786 0 0 0 160166 36 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4402849 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 123792

[startup+1662.3 s]
/proc/loadavg: 2.23 2.24 2.25 4/177 30158
/proc/meminfo: memFree=28709368/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1662 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 35532 0 0 0 166163 37 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4402950 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 123792

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.25 3/177 30159
/proc/meminfo: memFree=28546452/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=173112 CPUtime=1721.99 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 36277 0 0 0 172160 39 0 0 20 0 1 0 58590509 177266688 40275 33554432000 4194304 5646918 140736505791232 140736505789528 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 43278 40275 188 355 0 42919 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 173112

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.24 3/177 30160
/proc/meminfo: memFree=28474276/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=173112 CPUtime=1781.97 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 37021 0 0 0 178157 40 0 0 20 0 1 0 58590509 177266688 39251 33554432000 4194304 5646918 140736505791232 140736505789528 4403176 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 43278 39251 188 355 0 42919 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 173112



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.21 2.24 4/177 30160
/proc/meminfo: memFree=28489480/32872528 swapFree=1499884/1696108
[pid=29892] ppid=29889 vsize=123792 CPUtime=1800.06 cores=1,3,5,7
/proc/29892/stat : 29892 (minisatp) R 29889 29892 27963 0 -1 4202496 37023 0 0 0 179966 40 0 0 20 0 1 0 58590509 126763008 30705 33554432000 4194304 5646918 140736505791232 140736505789944 4403138 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/29892/statm: 30948 30705 188 355 0 30589 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 123792

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 29892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.07
CPU user time (s): 1799.67
CPU system time (s): 0.404938
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 173112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.404938
maximum resident set size= 165196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37023
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= 16
involuntary context switches= 3387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.26274 second user time and 14.8487 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-22 05:17:28
IDJOB=4112758
IDBENCH=24991
IDSOLVER=2555
FILE ID=node137/4112758-1466565448
RUNJOBID= node137-1466551518-27980
PBS_JOBID= 19943328
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241
RANDOM SEED=406783916

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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		: 2666.486
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		: 2666.486
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        30110012 kB
Buffers:           74056 kB
Cached:            81560 kB
SwapCached:         1560 kB
Active:           220716 kB
Inactive:          99816 kB
Active(anon):     165656 kB
Inactive(anon):     2104 kB
Active(file):      55060 kB
Inactive(file):    97712 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100532 kB
Dirty:              4404 kB
Writeback:             0 kB
AnonPages:       1870848 kB
Mapped:             9516 kB
Shmem:                 0 kB
Slab:             602624 kB
SReclaimable:      46496 kB
SUnreclaim:       556128 kB
KernelStack:        1424 kB
PageTables:         7696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1994560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    348160 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-4112758-1466565448.opb

Free space on /tmp at the end= 71636 MiB
End job on node137 at 2016-06-22 05:47:28