Trace number 4112751

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)27 1800.02 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
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.098984
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 variables6080
Total number of constraints18113
Number of constraints which are clauses18113
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 constraint125
Number of terms in the objective function 2975
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 2975
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 2975
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.20	c Converting 17626 PB-constraints to clauses...
0.19/0.20	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.20	c   -- Detecting intervals from adjacent constraints: #########
0.19/0.21	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.22	c ---[16207]---> BDD-cost:    1
0.19/0.22	c ---[16025]---> BDD-cost:    1
0.19/0.22	c ---[15269]---> BDD-cost:    1
0.19/0.22	c ---[15051]---> BDD-cost:    1
0.19/0.22	c ---[14914]---> BDD-cost:    1
0.19/0.22	c ---[14863]---> BDD-cost:    1
0.19/0.22	c ---[14846]---> BDD-cost:    1
0.19/0.22	c ---[14841]---> BDD-cost:    1
0.19/0.22	c ---[14839]---> BDD-cost:    1
0.19/0.23	|  Eliminated clauses:           0.09 Mb                                      |
0.19/0.23	============================[ Search Statistics ]==============================
0.19/0.23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.19/0.23	===============================================================================
0.19/0.23	===============================================================================
0.19/0.23	c Found solution: 32
0.19/0.24	c ---[   0]---> Adder-cost: 4964   maxlim: 2456   bits: 12/12
6.79/6.83	|  Eliminated clauses:           0.09 Mb                                      |
6.79/6.83	============================[ Search Statistics ]==============================
6.79/6.83	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.79/6.83	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.79/6.83	===============================================================================
6.79/6.83	|       104 |    8000    41163   138980 |    15093      104      3 |  9.721 % |
6.79/6.83	|       254 |    8000    41163   138980 |    16602      254      3 |  9.721 % |
6.79/6.83	|       479 |    8000    41163   138980 |    18262      479      4 |  9.722 % |
6.79/6.83	|       816 |    8000    41163   138980 |    20088      816      4 |  9.721 % |
6.79/6.83	|      1322 |    8000    41163   138980 |    22097     1322      6 |  9.721 % |
6.79/6.83	|      2081 |    8000    41163   138980 |    24307     2081      8 |  9.721 % |
6.79/6.83	|      3220 |    8000    41163   138980 |    26738     3220     17 |  9.721 % |
6.79/6.83	|      4928 |    8000    41163   138980 |    29412     4928     25 |  9.721 % |
6.79/6.83	|      7490 |    8000    41163   138980 |    32353     7490     34 |  9.721 % |
6.79/6.83	|     11334 |    8000    41163   138980 |    35588    11334     45 |  9.721 % |
6.79/6.83	|     17100 |    8000    41163   138980 |    39147    17100     62 |  9.721 % |
6.79/6.83	|     25749 |    8000    41163   138980 |    43062    25749     71 |  9.722 % |
6.79/6.83	|     38723 |    8000    41163   138980 |    47368    38723     81 |  9.721 % |
6.79/6.83	===============================================================================
6.79/6.83	c Found solution: 31
6.79/6.84	c ---[   0]---> Adder-cost: 0   maxlim: 2457   bits: 12/12
10.39/10.46	|  Eliminated clauses:           0.09 Mb                                      |
10.39/10.46	============================[ Search Statistics ]==============================
10.39/10.46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.39/10.46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.39/10.46	===============================================================================
10.39/10.46	|     45548 |    8002    41175   139040 |    15097     8082     60 |  9.726 % |
10.39/10.46	|     45698 |    8002    41175   139040 |    16607     8232     60 |  9.726 % |
10.39/10.46	|     45923 |    8002    41175   139040 |    18267     8457     59 |  9.726 % |
10.39/10.46	|     46260 |    8002    41175   139040 |    20094     8794     60 |  9.726 % |
10.39/10.46	|     46766 |    8002    41175   139040 |    22104     9300     60 |  9.726 % |
10.39/10.46	|     47525 |    8002    41175   139040 |    24314    10059     61 |  9.726 % |
10.39/10.46	|     48664 |    8002    41175   139040 |    26746    11198     66 |  9.726 % |
10.39/10.46	|     50372 |    8002    41175   139040 |    29420    12906     66 |  9.726 % |
10.39/10.46	|     52934 |    8002    41175   139040 |    32362    15468     75 |  9.726 % |
10.39/10.46	|     56778 |    8002    41175   139040 |    35599    19312     82 |  9.726 % |
10.39/10.46	|     62544 |    8002    41175   139040 |    39159    25078     87 |  9.726 % |
10.39/10.46	===============================================================================
10.39/10.46	c Found solution: 30
10.39/10.47	c ---[   0]---> Adder-cost: 0   maxlim: 2458   bits: 12/12
21.29/21.33	|  Eliminated clauses:           0.09 Mb                                      |
21.29/21.33	============================[ Search Statistics ]==============================
21.29/21.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.29/21.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.29/21.33	===============================================================================
21.29/21.33	|     62845 |    8002    41179   139068 |    15098    12740     73 |  9.733 % |
21.29/21.33	|     62995 |    8002    41179   139068 |    16608    12890     73 |  9.733 % |
21.29/21.33	|     63220 |    8002    41179   139068 |    18269    13115     73 |  9.733 % |
21.29/21.33	|     63557 |    8002    41179   139068 |    20096    13452     73 |  9.733 % |
21.29/21.33	|     64063 |    8002    41179   139068 |    22106    13958     75 |  9.733 % |
21.29/21.33	|     64822 |    8002    41179   139068 |    24317    14717     76 |  9.733 % |
21.29/21.33	|     65961 |    8002    41179   139068 |    26748    15856     79 |  9.733 % |
21.29/21.33	|     67669 |    8002    41179   139068 |    29423    17564     81 |  9.733 % |
21.29/21.33	|     70231 |    8002    41179   139068 |    32365    20126     85 |  9.733 % |
21.29/21.33	|     74075 |    8002    41179   139068 |    35602    23970     91 |  9.733 % |
21.29/21.33	|     79841 |    8002    41179   139068 |    39162    29736     93 |  9.733 % |
21.29/21.33	|     88490 |    8002    41179   139068 |    43079    38385     97 |  9.733 % |
21.29/21.33	|    101464 |    8002    41179   139068 |    47387    24507     86 |  9.733 % |
21.29/21.33	|    120925 |    8002    41179   139068 |    52125    43968     97 |  9.733 % |
21.29/21.33	===============================================================================
21.29/21.33	c Found solution: 29
21.29/21.34	c ---[   0]---> Adder-cost: 0   maxlim: 2459   bits: 12/12
235.56/235.66	|  Eliminated clauses:           0.09 Mb                                      |
235.56/235.66	============================[ Search Statistics ]==============================
235.56/235.66	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.56/235.66	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
235.56/235.66	===============================================================================
235.56/235.66	|    127397 |    8002    41173   139022 |    15096     9056     62 |  9.740 % |
235.56/235.66	|    127547 |    8002    41173   139022 |    16606     9206     62 |  9.740 % |
235.56/235.66	|    127772 |    8002    41173   139022 |    18267     9431     63 |  9.740 % |
235.56/235.66	|    128109 |    8002    41173   139022 |    20093     9768     64 |  9.740 % |
235.56/235.66	|    128615 |    8002    41173   139022 |    22103    10274     65 |  9.740 % |
235.56/235.66	|    129374 |    8002    41173   139022 |    24313    11033     67 |  9.740 % |
235.56/235.66	|    130513 |    8002    41173   139022 |    26744    12172     70 |  9.740 % |
235.56/235.66	|    132221 |    8002    41173   139022 |    29419    13880     72 |  9.740 % |
235.56/235.66	|    134783 |    8002    41173   139022 |    32361    16442     78 |  9.740 % |
235.56/235.66	|    138627 |    8002    41173   139022 |    35597    20286     82 |  9.740 % |
235.56/235.66	|    144393 |    8001    41173   139022 |    39157    26051     85 |  9.749 % |
235.56/235.66	|    153042 |    8001    41173   139022 |    43072    34680     89 |  9.749 % |
235.56/235.66	|    166016 |    8000    41173   139022 |    47380    20015     84 |  9.758 % |
235.56/235.66	|    185477 |    8000    41173   139022 |    52118    39476     93 |  9.758 % |
235.56/235.66	|    214669 |    7982    41173   139022 |    57329    33542     95 |  9.920 % |
235.56/235.66	|    258458 |    7970    41173   139022 |    63062    38215     92 | 10.029 % |
235.56/235.66	|    324142 |    7966    41173   139022 |    69369    59347     95 | 10.065 % |
235.56/235.66	|    422668 |    7948    41173   139022 |    76306    51163     97 | 10.228 % |
235.56/235.66	|    570457 |    7943    41173   139022 |    83936    18052     79 | 10.273 % |
235.56/235.66	|    792140 |    7941    41173   139022 |    92330    43785    104 | 10.291 % |
235.56/235.66	|   1124665 |    7941    41173   139022 |   101563    76345    109 | 10.291 % |
235.56/235.66	===============================================================================
235.56/235.66	c Found solution: 28
235.56/235.68	c ---[   0]---> Adder-cost: 0   maxlim: 2460   bits: 12/12
248.25/248.31	|  Eliminated clauses:           0.09 Mb                                      |
248.25/248.31	============================[ Search Statistics ]==============================
248.25/248.31	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
248.25/248.31	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
248.25/248.31	===============================================================================
248.25/248.31	|   1201170 |    7931    40696   137121 |    14921    10282     67 | 10.297 % |
248.25/248.31	|   1201320 |    7931    40696   137121 |    16414    10432     67 | 10.297 % |
248.25/248.31	|   1201545 |    7931    40696   137121 |    18055    10657     68 | 10.297 % |
248.25/248.31	|   1201882 |    7931    40696   137121 |    19861    10994     68 | 10.297 % |
248.25/248.31	|   1202388 |    7931    40696   137121 |    21847    11500     70 | 10.297 % |
248.25/248.31	|   1203147 |    7931    40696   137121 |    24031    12259     71 | 10.297 % |
248.25/248.31	|   1204286 |    7931    40696   137121 |    26434    13398     73 | 10.297 % |
248.25/248.31	|   1205994 |    7931    40696   137121 |    29078    15106     75 | 10.297 % |
248.25/248.31	|   1208556 |    7931    40696   137121 |    31986    17668     82 | 10.297 % |
248.25/248.31	|   1212400 |    7930    40696   137121 |    35184    21511     85 | 10.306 % |
248.25/248.31	|   1218166 |    7930    40696   137121 |    38703    27277     87 | 10.306 % |
248.25/248.31	|   1226815 |    7930    40696   137121 |    42573    35926     90 | 10.306 % |
248.25/248.31	|   1239789 |    7930    40696   137121 |    46831    22102     84 | 10.306 % |
248.25/248.31	|   1259250 |    7930    40696   137121 |    51514    41563     92 | 10.306 % |
248.25/248.31	===============================================================================
248.25/248.31	c Found solution: 27
248.25/248.32	c ---[   0]---> Adder-cost: 0   maxlim: 2461   bits: 12/12
1800.00/1800.30	|  Eliminated clauses:           0.09 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   1271358 |    7929    40686   137076 |    14918     9500     55 | 10.312 % |
1800.00/1800.30	|   1271508 |    7929    40686   137076 |    16410     9650     56 | 10.312 % |
1800.00/1800.30	|   1271733 |    7929    40686   137076 |    18051     9875     56 | 10.312 % |
1800.00/1800.30	|   1272070 |    7929    40686   137076 |    19856    10212     57 | 10.312 % |
1800.00/1800.30	|   1272576 |    7929    40686   137076 |    21841    10718     59 | 10.312 % |
1800.00/1800.30	|   1273335 |    7929    40686   137076 |    24025    11477     62 | 10.312 % |
1800.00/1800.30	|   1274474 |    7929    40686   137076 |    26428    12616     63 | 10.312 % |
1800.00/1800.30	|   1276182 |    7929    40686   137076 |    29071    14324     66 | 10.312 % |
1800.00/1800.30	|   1278744 |    7929    40686   137076 |    31978    16886     69 | 10.312 % |
1800.00/1800.30	|   1282588 |    7929    40686   137076 |    35176    20730     72 | 10.312 % |
1800.00/1800.30	|   1288354 |    7929    40686   137076 |    38693    26496     79 | 10.312 % |
1800.00/1800.30	|   1297003 |    7929    40686   137076 |    42563    35145     85 | 10.312 % |
1800.00/1800.30	|   1309977 |    7929    40686   137076 |    46819    20689     86 | 10.312 % |
1800.00/1800.30	|   1329438 |    7929    40686   137076 |    51501    40150     93 | 10.312 % |
1800.00/1800.30	|   1358630 |    7929    40686   137076 |    56651    34396     98 | 10.312 % |
1800.00/1800.30	|   1402419 |    7929    40686   137076 |    62317    39458     90 | 10.312 % |
1800.00/1800.30	|   1468103 |    7929    40686   137076 |    68548    60685    104 | 10.312 % |
1800.00/1800.30	|   1566629 |    7929    40686   137076 |    75403    55048     90 | 10.312 % |
1800.00/1800.30	|   1714418 |    7929    40686   137076 |    82943    26449     75 | 10.312 % |
1800.00/1800.30	|   1936101 |    7929    40686   137076 |    91238    55179     86 | 10.312 % |
1800.00/1800.30	|   2268626 |    7929    40686   137076 |   100362    21841     57 | 10.312 % |
1800.00/1800.30	|   2767414 |    7929    40686   137076 |   110398    22959     60 | 10.312 % |
1800.00/1800.30	|   3515596 |    7929    40686   137076 |   121438    28624     59 | 10.312 % |
1800.00/1800.30	|   4637870 |    7925    40686   137076 |   133582    27407     52 | 10.349 % |
1800.00/1800.30	|   6321281 |    7921    40686   137076 |   146940   111829    121 | 10.385 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 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 -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 -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 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -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 -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 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -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 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -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 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2087 -x2089 -x2091 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -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 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -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 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -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 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3388 -x3390 -x3392 -x3394 -x3396 x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -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 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -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 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -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 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -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 -x4460 -x4462 -x4464 -x4466 -x4468 -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 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -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 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -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 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -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 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -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 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -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 -x5737 -x5739 -x5741 -x5743 -x5745 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5793 -x5795 -x5797 -x5799 x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 x5913 -x5915 -x5917 -x5919 -x5921 -x5923 x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -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 x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6074 -x6076 -x6078 x6079 x6080 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x2 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 x286 -x288 -x290 -x292 x3 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 -x4 -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 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x5 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x6 -x801 -x803 -x805 -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 -x7 -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 -x976 -x978 -x980 -x982 -x984 -x986 -x8 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x9 -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 -x10 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x11 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x12 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x13 -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 -x1381 -x1383 -x1385 -x1387 -x1389 -x14 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x15 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x16 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x17 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x18 -x1543 -x1545 -x1548 -x1550 -x1552 -x1554 -x19 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x20 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x21 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -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 -x22 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x23 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x24 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x25 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x26 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x27 -x2046 -x2048 -x2050 -x2052 -x2055 -x2057 -x28 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2088 -x2090 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x29 -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 -x30 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x31 -x2209 -x2211 -x2213 -x2215 -x2217 -x2220 -x32 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x33 -x2251 -x2254 -x2256 -x2258 -x2260 -x34 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x35 -x2277 -x2280 -x2282 -x2284 -x2286 -x2288 x2290 -x2292 -x2294 -x36 -x2296 -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 -x37 -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 -x38 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x39 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x40 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x41 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x42 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x43 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x44 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x45 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x46 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x47 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x48 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x49 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x50 -x2887 -x2890 -x2892 -x2894 -x2896 -x2898 -x51 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x52 -x2914 -x2916 -x2918 -x53 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x54 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x55 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x56 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x57 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x58 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x59 -x3114 -x3116 -x3118 -x3120 -x3123 -x3125 -x60 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x61 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x62 -x3155 -x3157 -x3159 -x63 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x64 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x65 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x66 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x67 -x3233 -x3235 -x3237 -x68 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x69 -x3253 -x3255 -x3257 -x70 -x3259 -x3261 -x3263 -x71 -x3265 -x3267 -x72 -x3270 -x73 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x74 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 x3316 -x3318 -x3320 -x75 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x76 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3389 -x3391 -x3393 -x3395 x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x77 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x78 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x79 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x80 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x81 -x3540 -x3542 -x3544 -x3546 -x3548 -x3551 -x82 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x83 -x3567 -x3569 -x3571 -x84 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x85 -x3587 -x3589 -x3591 -x86 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x87 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x88 -x3637 -x3639 -x3641 -x3644 -x3646 -x3648 -x89 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x90 -x3664 -x3666 -x91 -x3668 -x3670 -x3672 -x92 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x93 -x3688 -x3690 -x3692 -x94 -x3694 -x3696 -x95 -x3699 -x96 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x97 -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 -x98 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x99 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4022 -x4024 -x4026 -x4028 x4030 -x4032 -x4034 -x4036 -x4038 -x100 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x101 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x102 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x103 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x104 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x105 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x106 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x107 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x108 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x109 -x4292 -x4294 -x4296 -x4299 -x4301 -x4303 -x110 -x4305 -x4307 -x4309 -x111 -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 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x112 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4461 -x4463 -x4465 -x4467 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x113 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x114 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x115 -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 -x116 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x117 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x118 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x119 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x120 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x121 -x4812 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x122 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x123 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4878 -x4880 -x4882 -x124 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x125 -x4912 -x4914 -x4916 -x126 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x127 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x128 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x129 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x130 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x131 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x132 -x5111 -x5113 -x5115 -x133 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x134 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x135 -x5161 -x5163 -x5166 -x5168 -x5170 -x5172 -x136 -x5174 -x5176 -x5178 -x137 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x138 -x5194 -x5196 -x5198 -x139 -x5200 -x5202 -x140 -x5205 -x141 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x142 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5288 -x5290 -x5292 -x5294 -x143 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x144 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x145 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 x146 -x5384 -x5386 -x5388 -x5390 x5392 -x5395 -x147 -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 -x148 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x149 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x150 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x151 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x152 -x5568 -x5570 -x5572 -x5574 -x5576 -x153 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x154 -x5592 -x5594 -x5596 -x155 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x156 -x5628 -x5630 -x5632 -x5635 -x5637 -x5639 -x157 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x158 -x5655 -x5657 -x159 -x5660 -x5662 -x5664 -x5666 -x5668 x5670 -x5672 -x5674 -x5676 -x160 -x5678 -x5680 -x161 -x5683 -x162 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5738 -x5740 -x5742 -x5744 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 x5759 -x5761 -x5763 -x5765 -x5767 -x163 -x5769 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5794 -x5796 -x5798 x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x164 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x165 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x166 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x167 -x5870 -x5872 -x5874 -x168 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 x169 -x5906 -x5908 -x5910 x5912 -x5914 -x5916 -x5918 x170 -x5920 -x5922 x5924 -x5926 -x5928 -x5930 -x5932 -x171 -x5934 -x5936 -x5938 -x172 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x173 -x5954 -x5956 -x5958 -x174 -x5960 -x5962 -x175 -x5965 -x176 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x177 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x178 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x179 -x6021 -x6023 -x6025 -x180 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 x6039 x181 -x6041 -x6043 -x182 -x6045 -x6047 x183 -x6050 -x184 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x185 -x6064 -x6066 -x6068 -x186 -x6070 -x6072 -x187 -x6075 -x188 -x6077 x189 x190

Verifier Data 

OK	27

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-4112751-1466565932/watcher-4112751-1466565932 -o /tmp/evaluation-result-4112751-1466565932/solver-4112751-1466565932 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466551521-26377 --watchdog 1960 minisatp HOME/instance-4112751-1466565932.opb 

pid=28586
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.19 2.19 2.18 3/174 28589
/proc/meminfo: memFree=30313104/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=7516 CPUtime=0 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 554 0 0 0 0 0 0 0 20 0 1 0 58640111 7696384 431 33554432000 4194304 5646918 140737232722064 140734169699832 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 1879 432 94 355 0 1520 0

[startup+0.100166 s]
/proc/loadavg: 2.19 2.19 2.18 3/174 28589
/proc/meminfo: memFree=30313104/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=13008 CPUtime=0.09 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 1924 0 0 0 9 0 0 0 20 0 1 0 58640111 13320192 1801 33554432000 4194304 5646918 140737232722064 140734169699832 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 3252 1802 94 355 0 2893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13008

[startup+0.200311 s]
/proc/loadavg: 2.19 2.19 2.18 3/174 28589
/proc/meminfo: memFree=30313104/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=18872 CPUtime=0.19 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 3372 0 0 0 19 0 0 0 20 0 1 0 58640111 19324928 3249 33554432000 4194304 5646918 140737232722064 140734169699832 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 4718 3250 97 355 0 4359 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18872

[startup+0.300248 s]
/proc/loadavg: 2.19 2.19 2.18 3/174 28589
/proc/meminfo: memFree=30313104/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=17012 CPUtime=0.29 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 4224 0 0 0 29 0 0 0 20 0 1 0 58640111 17420288 3943 33554432000 4194304 5646918 140737232722064 140734169699832 4817610 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 4253 3943 137 355 0 3894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17012

[startup+0.70023 s]
/proc/loadavg: 2.19 2.19 2.18 3/174 28589
/proc/meminfo: memFree=30313104/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=17012 CPUtime=0.69 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 4224 0 0 0 69 0 0 0 20 0 1 0 58640111 17420288 3943 33554432000 4194304 5646918 140737232722064 140737232720728 4831339 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 4253 3943 137 355 0 3894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17012

[startup+1.50023 s]
/proc/loadavg: 2.19 2.19 2.18 3/175 28590
/proc/meminfo: memFree=30298232/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=17012 CPUtime=1.49 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 4245 0 0 0 149 0 0 0 20 0 1 0 58640111 17420288 3964 33554432000 4194304 5646918 140737232722064 140737232720728 4823258 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 4253 3964 137 355 0 3894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17012

[startup+3.10023 s]
/proc/loadavg: 2.17 2.19 2.18 3/174 28590
/proc/meminfo: memFree=30291040/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=28304 CPUtime=3.09 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 6954 0 0 0 308 1 0 0 20 0 1 0 58640111 28983296 6639 33554432000 4194304 5646918 140737232722064 140737232720312 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 7076 6639 186 355 0 6717 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28304

[startup+6.30026 s]
/proc/loadavg: 2.17 2.19 2.18 3/174 28590
/proc/meminfo: memFree=30274144/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=46980 CPUtime=6.29 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 8866 0 0 0 628 1 0 0 20 0 1 0 58640111 48107520 10579 33554432000 4194304 5646918 140737232722064 140737232720760 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 11745 10579 186 355 0 11386 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46980

[startup+12.7002 s]
/proc/loadavg: 2.23 2.20 2.18 3/175 28591
/proc/meminfo: memFree=30273584/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=48788 CPUtime=12.69 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 10490 0 0 0 1267 2 0 0 20 0 1 0 58640111 49958912 11416 33554432000 4194304 5646918 140737232722064 140737232720328 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 12197 11417 188 355 0 11838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48788

[startup+25.5003 s]
/proc/loadavg: 2.19 2.19 2.18 3/175 28591
/proc/meminfo: memFree=30258400/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=55968 CPUtime=25.49 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 11568 0 0 0 2546 3 0 0 20 0 1 0 58640111 57311232 13736 33554432000 4194304 5646918 140737232722064 140737232720776 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 13992 13736 188 355 0 13633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55968

[startup+51.1003 s]
/proc/loadavg: 2.13 2.17 2.17 4/175 28591
/proc/meminfo: memFree=30243264/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=90828 CPUtime=51.08 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 12450 0 0 0 5105 3 0 0 20 0 1 0 58640111 93007872 17683 33554432000 4194304 5646918 140737232722064 140737232720312 4403057 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 22707 17683 188 355 0 22348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 90828

[startup+102.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/175 28592
/proc/meminfo: memFree=30188256/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=90828 CPUtime=102.28 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 13472 0 0 0 10224 4 0 0 20 0 1 0 58640111 93007872 22452 33554432000 4194304 5646918 140737232722064 140737232720776 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 22707 22452 188 355 0 22348 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 90828

[startup+162.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/175 28593
/proc/meminfo: memFree=30223000/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=90828 CPUtime=162.27 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 15185 0 0 0 16220 7 0 0 20 0 1 0 58640111 93007872 22452 33554432000 4194304 5646918 140737232722064 140737232720776 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 22707 22452 188 355 0 22348 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 90828

[startup+222.307 s]
/proc/loadavg: 2.28 2.20 2.18 3/175 28594
/proc/meminfo: memFree=30166748/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=152252 CPUtime=222.27 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 17380 0 0 0 22217 10 0 0 20 0 1 0 58640111 155906048 36639 33554432000 4194304 5646918 140737232722064 140737232720360 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 38063 36639 188 355 0 37704 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 152252

[startup+282.3 s]
/proc/loadavg: 2.40 2.24 2.19 4/176 28598
/proc/meminfo: memFree=30210508/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=102932 CPUtime=282.25 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 17383 0 0 0 28215 10 0 0 20 0 1 0 58640111 105402368 25478 33554432000 4194304 5646918 140737232722064 140737232720376 4403091 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 25733 25478 189 355 0 25374 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 102932

[startup+342.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/175 28600
/proc/meminfo: memFree=30178872/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=102932 CPUtime=342.23 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 18658 0 0 0 34212 11 0 0 20 0 1 0 58640111 105402368 25478 33554432000 4194304 5646918 140737232722064 140737232720360 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 25733 25478 189 355 0 25374 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 102932

[startup+402.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/175 28601
/proc/meminfo: memFree=30210308/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=102932 CPUtime=402.23 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 19940 0 0 0 40210 13 0 0 20 0 1 0 58640111 105402368 25482 33554432000 4194304 5646918 140737232722064 140737232720776 4402886 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 25733 25482 189 355 0 25374 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 102932

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/175 28602
/proc/meminfo: memFree=30176512/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=152252 CPUtime=462.22 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 20366 0 0 0 46209 13 0 0 20 0 1 0 58640111 155906048 34084 33554432000 4194304 5646918 140737232722064 140737232720360 4402863 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 38063 34084 189 355 0 37704 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 152252

[startup+522.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/175 28603
/proc/meminfo: memFree=30151968/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=102932 CPUtime=522.21 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 21227 0 0 0 52206 15 0 0 20 0 1 0 58640111 105402368 25482 33554432000 4194304 5646918 140737232722064 140737232720776 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 25733 25482 189 355 0 25374 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 102932

[startup+582.3 s]
/proc/loadavg: 2.28 2.24 2.19 4/175 28660
/proc/meminfo: memFree=30204384/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=152252 CPUtime=582.2 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 22080 0 0 0 58204 16 0 0 20 0 1 0 58640111 155906048 34084 33554432000 4194304 5646918 140737232722064 140737232720360 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 38063 34084 189 355 0 37704 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 152252


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


[startup+942.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/175 28671
/proc/meminfo: memFree=30195888/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=128948 CPUtime=942.14 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 25394 0 0 0 94195 19 0 0 20 0 1 0 58640111 132042752 29721 33554432000 4194304 5646918 140737232722064 140737232720328 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 32237 29721 189 355 0 31878 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 128948

[startup+1002.3 s]
/proc/loadavg: 2.34 2.26 2.19 4/175 28672
/proc/meminfo: memFree=30154528/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=128948 CPUtime=1002.13 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 25394 0 0 0 100194 19 0 0 20 0 1 0 58640111 132042752 29721 33554432000 4194304 5646918 140737232722064 140737232720328 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 32237 29721 189 355 0 31878 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 128948

[startup+1062.3 s]
/proc/loadavg: 2.19 2.23 2.18 4/175 28673
/proc/meminfo: memFree=30147992/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=128948 CPUtime=1062.12 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 25819 0 0 0 106193 19 0 0 20 0 1 0 58640111 132042752 29721 33554432000 4194304 5646918 140737232722064 140737232720776 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 32237 29721 189 355 0 31878 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 128948

[startup+1122.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/175 28674
/proc/meminfo: memFree=30149124/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=183432 CPUtime=1122.11 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 28225 0 0 0 112189 22 0 0 20 0 1 0 58640111 187834368 41903 33554432000 4194304 5646918 140737232722064 140737232720360 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 45858 41903 189 355 0 45499 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 183432

[startup+1182.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/175 28675
/proc/meminfo: memFree=30180612/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1182.1 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 29847 0 0 0 118185 25 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 134112

[startup+1242.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/175 28677
/proc/meminfo: memFree=30180480/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1242.1 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 31298 0 0 0 124182 28 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 134112

[startup+1302.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/175 28678
/proc/meminfo: memFree=30180072/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1302.08 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 32161 0 0 0 130179 29 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 134112

[startup+1362.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/175 28679
/proc/meminfo: memFree=30180164/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1362.08 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 33023 0 0 0 136177 31 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 134112

[startup+1422.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/175 28680
/proc/meminfo: memFree=30180164/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1422.07 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 35068 0 0 0 142173 34 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4403411 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 134112

[startup+1482.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/176 28684
/proc/meminfo: memFree=30089736/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=214252 CPUtime=1482.06 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 37116 0 0 0 148169 37 0 0 20 0 1 0 58640111 219394048 48114 33554432000 4194304 5646918 140737232722064 140737232720760 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 53563 48114 189 355 0 53204 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 214252

[startup+1542.31 s]
/proc/loadavg: 2.30 2.23 2.19 4/175 28686
/proc/meminfo: memFree=30098976/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=183432 CPUtime=1542.05 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 38574 0 0 0 154165 40 0 0 20 0 1 0 58640111 187834368 43951 33554432000 4194304 5646918 140737232722064 140737232720360 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 45858 43951 189 355 0 45499 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 183432

[startup+1602.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/175 28687
/proc/meminfo: memFree=30180084/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=134112 CPUtime=1602.04 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 40188 0 0 0 160161 43 0 0 20 0 1 0 58640111 137330688 33301 33554432000 4194304 5646918 140737232722064 140737232720776 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 33528 33301 189 355 0 33169 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 134112

[startup+1662.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/175 28688
/proc/meminfo: memFree=30121308/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=214252 CPUtime=1662.03 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 42232 0 0 0 166157 46 0 0 20 0 1 0 58640111 219394048 48114 33554432000 4194304 5646918 140737232722064 140737232720760 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 53563 48114 189 355 0 53204 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 214252

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/175 28689
/proc/meminfo: memFree=30137072/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=183432 CPUtime=1722.02 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 43687 0 0 0 172153 49 0 0 20 0 1 0 58640111 187834368 43951 33554432000 4194304 5646918 140737232722064 140737232720360 4400586 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 45858 43951 189 355 0 45499 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 183432

[startup+1782.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/175 28690
/proc/meminfo: memFree=30126656/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=183432 CPUtime=1782.01 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 45723 0 0 0 178149 52 0 0 20 0 1 0 58640111 187834368 41391 33554432000 4194304 5646918 140737232722064 140737232720360 4402844 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 45858 41391 189 355 0 45499 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 183432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/175 28690
/proc/meminfo: memFree=30110396/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=214252 CPUtime=1800 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 45945 0 0 0 179948 52 0 0 20 0 1 0 58640111 219394048 45699 33554432000 4194304 5646918 140737232722064 140737232720360 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 53563 45699 189 355 0 53204 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 214252

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/175 28690
/proc/meminfo: memFree=30110396/32872528 swapFree=1316768/1463936
[pid=28589] ppid=28586 vsize=214252 CPUtime=1800 cores=0,2,4,6
/proc/28589/stat : 28589 (minisatp) R 28586 28589 26361 0 -1 4202496 45945 0 0 0 179948 52 0 0 20 0 1 0 58640111 219394048 45699 33554432000 4194304 5646918 140737232722064 140737232720360 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/28589/statm: 53563 45699 189 355 0 53204 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 214252

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.49
CPU system time (s): 0.532918
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 214252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.532918
maximum resident set size= 206792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45945
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= 20
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36534 second user time and 7.11292 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-22 05:25:32
IDJOB=4112751
IDBENCH=24996
IDSOLVER=2555
FILE ID=node121/4112751-1466565932
RUNJOBID= node121-1466551521-26377
PBS_JOBID= 19943337
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=188548817

node121.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.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.38
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.691
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.691
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.691
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.54
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.691
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.55
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.691
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.691
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:        30314012 kB
Buffers:           92564 kB
Cached:           155952 kB
SwapCached:         2044 kB
Active:           178556 kB
Inactive:         182248 kB
Active(anon):     113304 kB
Inactive(anon):     1452 kB
Active(file):      65252 kB
Inactive(file):   180796 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67099876 kB
Dirty:              4328 kB
Writeback:             4 kB
AnonPages:       1575196 kB
Mapped:             8808 kB
Shmem:                 0 kB
Slab:             601440 kB
SReclaimable:      45720 kB
SUnreclaim:       555720 kB
KernelStack:        1456 kB
PageTables:         7228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1679224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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-4112751-1466565932.opb

Free space on /tmp at the end= 71712 MiB
End job on node121 at 2016-06-22 05:55:32