Trace number 4112743

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-d91742bOPT20 525.753 525.836

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark4.76827
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
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.25	c Converting 19314 PB-constraints to clauses...
0.19/0.25	c   -- Unit propagations: (none)
0.19/0.25	c   -- Detecting intervals from adjacent constraints: ======
0.19/0.25	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.27	c ---[   0]---> Adder-cost: 1210   maxlim: 582   bits: 10/10
1.29/1.39	|  Eliminated clauses:           0.13 Mb                                      |
1.29/1.39	============================[ Search Statistics ]==============================
1.29/1.39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.29/1.39	===============================================================================
1.29/1.39	|       100 |    5554    25631    85848 |     9398      100      5 |  0.477 % |
1.29/1.39	|       250 |    5554    25631    85848 |    10337      250      4 |  0.477 % |
1.29/1.39	|       475 |    5554    25631    85848 |    11371      475      5 |  0.477 % |
1.29/1.39	|       812 |    5554    25631    85848 |    12508      812      6 |  0.477 % |
1.29/1.39	|      1318 |    5554    25631    85848 |    13759     1318      9 |  0.477 % |
1.29/1.39	|      2077 |    5554    25631    85848 |    15135     2077     22 |  0.477 % |
1.29/1.39	|      3216 |    5554    25631    85848 |    16649     3216     45 |  0.477 % |
1.29/1.39	|      4924 |    5554    25631    85848 |    18314     4924     58 |  0.477 % |
1.29/1.39	|      7486 |    5554    25631    85848 |    20145     7486     84 |  0.477 % |
1.29/1.39	|     11330 |    5554    25631    85848 |    22160    11330     93 |  0.477 % |
1.29/1.39	===============================================================================
1.29/1.39	c Found solution: 30
1.29/1.39	c ---[   0]---> Sorter-cost:27428     Base:
1.69/1.77	|  Eliminated clauses:           0.45 Mb                                      |
1.69/1.77	============================[ Search Statistics ]==============================
1.69/1.77	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.77	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.69/1.77	===============================================================================
1.69/1.77	|     11485 |   15695    47721   177185 |    17497    11485     93 |  0.123 % |
1.69/1.77	|     11635 |   15695    47721   177185 |    19247    11635     93 |  0.123 % |
1.69/1.77	|     11860 |   15695    47721   177185 |    21172    11860     92 |  0.123 % |
1.69/1.77	|     12197 |   15694    47721   177185 |    23289    12196     92 |  0.127 % |
1.69/1.77	|     12703 |   15694    47721   177185 |    25618    12702     90 |  0.127 % |
1.69/1.77	===============================================================================
1.69/1.77	c Found solution: 27
1.69/1.78	c ---[   0]---> Sorter-cost:    0     Base:
2.59/2.66	|  Eliminated clauses:           0.45 Mb                                      |
2.59/2.66	============================[ Search Statistics ]==============================
2.59/2.66	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.66	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.59/2.66	===============================================================================
2.59/2.66	|     12903 |   15659    47632   176622 |    17465    12902     90 |  0.141 % |
2.59/2.66	|     13053 |   15659    47632   176622 |    19211    13052     89 |  0.141 % |
2.59/2.66	|     13278 |   15659    47632   176622 |    21132    13275     90 |  0.141 % |
2.59/2.66	|     13615 |   15659    47632   176622 |    23246    13612     90 |  0.141 % |
2.59/2.66	|     14121 |   15659    47632   176622 |    25570    14118     88 |  0.141 % |
2.59/2.66	|     14880 |   15659    47632   176622 |    28127    14877     86 |  0.141 % |
2.59/2.66	|     16019 |   15659    47632   176622 |    30940    16016     85 |  0.141 % |
2.59/2.66	|     17727 |   15659    47632   176622 |    34034    17724     85 |  0.141 % |
2.59/2.66	===============================================================================
2.59/2.66	c Found solution: 25
2.59/2.66	c ---[   0]---> Sorter-cost:    0     Base:
4.49/4.54	|  Eliminated clauses:           0.46 Mb                                      |
4.49/4.54	============================[ Search Statistics ]==============================
4.49/4.54	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.54	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.49/4.54	===============================================================================
4.49/4.54	|     18493 |   15550    47464   175851 |    17403     9294     55 |  0.313 % |
4.49/4.54	|     18643 |   15550    47464   175851 |    19143     9444     56 |  0.313 % |
4.49/4.54	|     18868 |   15550    47464   175851 |    21058     9669     56 |  0.313 % |
4.49/4.54	|     19205 |   15550    47464   175851 |    23164    10006     56 |  0.313 % |
4.49/4.54	|     19711 |   15550    47464   175851 |    25480    10512     56 |  0.313 % |
4.49/4.54	|     20470 |   15550    47464   175851 |    28028    11271     57 |  0.313 % |
4.49/4.54	|     21609 |   15550    47464   175851 |    30831    12410     58 |  0.313 % |
4.49/4.54	|     23317 |   15550    47464   175851 |    33914    14118     59 |  0.313 % |
4.49/4.54	|     25879 |   15550    47464   175851 |    37305    16680     66 |  0.313 % |
4.49/4.54	===============================================================================
4.49/4.54	c Found solution: 24
4.59/4.60	c ---[   0]---> Sorter-cost:    0     Base:
6.19/6.29	|  Eliminated clauses:           0.46 Mb                                      |
6.19/6.29	============================[ Search Statistics ]==============================
6.19/6.29	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.29	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.19/6.29	===============================================================================
6.19/6.29	|     29081 |   15555    47528   176090 |    17426     9991     82 |  0.316 % |
6.19/6.29	|     29231 |   15555    47528   176090 |    19169    10141     81 |  0.316 % |
6.19/6.29	|     29456 |   15555    47528   176090 |    21086    10366     81 |  0.316 % |
6.19/6.29	|     29793 |   15555    47528   176090 |    23195    10703     81 |  0.316 % |
6.19/6.29	|     30299 |   15551    47528   176090 |    25514    11208     79 |  0.330 % |
6.19/6.29	|     31058 |   15551    47528   176090 |    28066    11966     81 |  0.330 % |
6.19/6.29	|     32197 |   15551    47528   176090 |    30872    13105     79 |  0.330 % |
6.19/6.29	|     33905 |   15551    47528   176090 |    33960    14813     81 |  0.330 % |
6.19/6.29	|     36467 |   15551    47528   176090 |    37356    17375     82 |  0.330 % |
6.19/6.29	===============================================================================
6.19/6.29	c Found solution: 23
6.29/6.30	c ---[   0]---> Sorter-cost:    0     Base:
38.39/38.49	|  Eliminated clauses:           0.46 Mb                                      |
38.39/38.49	============================[ Search Statistics ]==============================
38.39/38.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.39/38.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
38.39/38.49	===============================================================================
38.39/38.49	|     38191 |   15547    47493   175835 |    17414     9600     75 |  0.345 % |
38.39/38.49	|     38341 |   15547    47493   175835 |    19155     9750     75 |  0.345 % |
38.39/38.49	|     38566 |   15547    47493   175835 |    21071     9975     75 |  0.345 % |
38.39/38.49	|     38903 |   15547    47493   175835 |    23178    10312     76 |  0.345 % |
38.39/38.49	|     39409 |   15547    47493   175835 |    25495    10818     76 |  0.345 % |
38.39/38.49	|     40168 |   15547    47493   175835 |    28045    11577     78 |  0.345 % |
38.39/38.49	|     41307 |   15547    47493   175835 |    30850    12716     76 |  0.345 % |
38.39/38.49	|     43015 |   15547    47493   175835 |    33935    14424     77 |  0.345 % |
38.39/38.49	|     45577 |   15547    47493   175835 |    37328    16986     81 |  0.345 % |
38.39/38.49	|     49421 |   15541    47493   175835 |    41061    20307     84 |  0.367 % |
38.39/38.49	|     55187 |   15541    47493   175835 |    45167    26073     85 |  0.367 % |
38.39/38.49	|     63836 |   15541    47493   175835 |    49684    34722     85 |  0.367 % |
38.39/38.49	|     76810 |   15541    47493   175835 |    54652    47696     88 |  0.367 % |
38.39/38.49	|     96271 |   15541    47493   175835 |    60118    32008     78 |  0.367 % |
38.39/38.49	|    125463 |   15541    47493   175835 |    66130    61200     84 |  0.367 % |
38.39/38.49	===============================================================================
38.39/38.49	c Found solution: 22
38.39/38.49	c ---[   0]---> Sorter-cost:    0     Base:
57.19/57.27	|  Eliminated clauses:           0.47 Mb                                      |
57.19/57.27	============================[ Search Statistics ]==============================
57.19/57.27	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.19/57.27	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
57.19/57.27	===============================================================================
57.19/57.27	|    165480 |   15541    47520   176163 |    17424    10859     42 |  0.369 % |
57.19/57.27	|    165630 |   15541    47520   176163 |    19166    11009     43 |  0.369 % |
57.19/57.27	|    165855 |   15541    47520   176163 |    21083    11234     44 |  0.369 % |
57.19/57.27	|    166192 |   15541    47520   176163 |    23191    11571     45 |  0.369 % |
57.19/57.27	|    166698 |   15541    47520   176163 |    25510    12077     45 |  0.369 % |
57.19/57.27	|    167457 |   15541    47520   176163 |    28061    12836     44 |  0.369 % |
57.19/57.27	|    168596 |   15541    47520   176163 |    30867    13975     45 |  0.369 % |
57.19/57.27	|    170304 |   15541    47520   176163 |    33954    15683     51 |  0.369 % |
57.19/57.27	|    172866 |   15541    47520   176163 |    37349    18245     54 |  0.369 % |
57.19/57.27	|    176710 |   15541    47520   176163 |    41084    22089     56 |  0.369 % |
57.19/57.27	|    182476 |   15541    47520   176163 |    45193    27855     62 |  0.369 % |
57.19/57.27	|    191125 |   15541    47520   176163 |    49712    36504     64 |  0.369 % |
57.19/57.27	|    204099 |   15541    47520   176163 |    54683    49478     66 |  0.369 % |
57.19/57.27	|    223560 |   15541    47520   176163 |    60152    34830     53 |  0.369 % |
57.19/57.27	===============================================================================
57.19/57.27	c Found solution: 21
57.19/57.28	c ---[   0]---> Sorter-cost:    0     Base:
470.21/470.32	|  Eliminated clauses:           0.52 Mb                                      |
470.21/470.32	============================[ Search Statistics ]==============================
470.21/470.32	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
470.21/470.32	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
470.21/470.32	===============================================================================
470.21/470.32	|    251604 |    9847    35961   122712 |    13185    12709     43 |  6.497 % |
470.21/470.32	|    251754 |    9847    35961   122712 |    14504    12859     42 |  6.497 % |
470.21/470.32	|    251979 |    9847    35961   122712 |    15954    13084     44 |  6.497 % |
470.21/470.32	|    252316 |    9847    35961   122712 |    17550    13421     45 |  6.497 % |
470.21/470.32	|    252822 |    9847    35961   122712 |    19305    13927     47 |  6.497 % |
470.21/470.32	|    253581 |    9847    35961   122712 |    21235    14686     52 |  6.497 % |
470.21/470.32	|    254720 |    9847    35961   122712 |    23359    15825     56 |  6.497 % |
470.21/470.32	|    256428 |    9847    35961   122712 |    25695    17533     58 |  6.497 % |
470.21/470.32	|    258990 |    9847    35961   122712 |    28264    20095     61 |  6.497 % |
470.21/470.32	|    262834 |    9847    35961   122712 |    31091    23939     65 |  6.497 % |
470.21/470.32	|    268600 |    9847    35961   122712 |    34200    29705     63 |  6.497 % |
470.21/470.32	|    277249 |    9847    35961   122712 |    37620    20206     46 |  6.497 % |
470.21/470.32	|    290223 |    9847    35961   122712 |    41382    33180     53 |  6.497 % |
470.21/470.32	|    309684 |    9847    35961   122712 |    45520    30336     52 |  6.497 % |
470.21/470.32	|    338876 |    9847    35961   122712 |    50072    35137     56 |  6.497 % |
470.21/470.32	|    382665 |    9847    35961   122712 |    55079    48720     56 |  6.497 % |
470.21/470.32	|    448349 |    9847    35961   122712 |    60587    47084     45 |  6.497 % |
470.21/470.32	|    546875 |    9843    35961   122712 |    66646    28404     46 |  6.512 % |
470.21/470.32	|    694664 |    9838    35961   122712 |    73311    35506     69 |  6.530 % |
470.21/470.32	|    916347 |    9838    35961   122712 |    80642    51908     55 |  6.530 % |
470.21/470.32	|   1248872 |    9838    35961   122712 |    88706    52884     54 |  6.530 % |
470.21/470.32	|   1747660 |    9838    35961   122712 |    97577    38004     35 |  6.530 % |
470.21/470.32	===============================================================================
470.21/470.32	c Found solution: 20
470.21/470.32	c ---[   0]---> Sorter-cost:    0     Base:
525.72/525.83	|  Eliminated clauses:           0.63 Mb                                      |
525.72/525.83	============================[ Search Statistics ]==============================
525.72/525.83	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
525.72/525.83	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
525.72/525.83	===============================================================================
525.72/525.83	|   2099039 |    9832    35955   122820 |    13183    13790     26 |  4.680 % |
525.72/525.83	|   2099189 |    9832    35955   122820 |    14501    13940     26 |  4.680 % |
525.72/525.83	|   2099414 |    9832    35955   122820 |    15952    14165     27 |  4.680 % |
525.72/525.83	|   2099751 |    9832    35955   122820 |    17547    14502     28 |  4.680 % |
525.72/525.83	|   2100257 |    9832    35955   122820 |    19301    15008     30 |  4.680 % |
525.72/525.83	|   2101016 |    9832    35955   122820 |    21232    15767     32 |  4.680 % |
525.72/525.83	|   2102155 |    9832    35955   122820 |    23355    16906     32 |  4.680 % |
525.72/525.83	|   2103863 |    9832    35955   122820 |    25690    18614     34 |  4.680 % |
525.72/525.83	|   2106425 |    9832    35955   122820 |    28260    21176     35 |  4.680 % |
525.72/525.83	|   2110269 |    9832    35955   122820 |    31086    25020     35 |  4.680 % |
525.72/525.83	|   2116035 |    9832    35955   122820 |    34194    30786     39 |  4.680 % |
525.72/525.83	|   2124684 |    9832    35955   122820 |    37614    21351     42 |  4.680 % |
525.72/525.83	|   2137658 |    9832    35955   122820 |    41375    34325     47 |  4.680 % |
525.72/525.83	|   2157119 |    9832    35955   122820 |    45513    30077     39 |  4.680 % |
525.72/525.83	|   2186311 |    9832    35955   122820 |    50064    33554     42 |  4.680 % |
525.72/525.83	|   2230100 |    9832    35955   122820 |    55070    46838     45 |  4.680 % |
525.72/525.83	|   2295784 |    9832    35955   122820 |    60577    46416     46 |  4.680 % |
525.72/525.83	===============================================================================
525.72/525.83	c Optimal solution: 20
525.72/525.83	s OPTIMUM FOUND
525.72/525.83	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 x43 x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 -x1331 x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 -x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 -x2530 -x2588 -x2646 x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 -x5331 x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 x42 x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 x234 x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 -x859 x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 x1389 x1391 x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 x1553 -x1554 -x1555 x1557 x1559 -x1560 -x1561 -x1562 -x1564 -x1566 -x1567 -x1568 -x1569 x1571 x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 x1592 x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 x1606 x1608 x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 x2068 x2070 -x2071 x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 x2133 -x2134 x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 -x2168 -x2169 -x2170 -x2171 x2173 -x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 x2208 -x2210 -x2211 -x2212 -x2213 x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 x2238 -x2239 -x2240 -x2241 x2243 x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 x5106 -x5107 x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 x5199 -x5200 -x5201 -x5202 x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 x5228 -x5230 -x5231 -x5232 -x5233 x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 x5259 -x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 x5273 x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 x5299 x5301 -x5302 -x5303 -x5304 x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5392 -x5393 -x5394 -x5395 -x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 -x5471 -x5473 x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499
525.72/525.83	c _______________________________________________________________________________
525.72/525.83	c 
525.72/525.83	restarts              : 4991
525.72/525.83	conflicts             : 2369812        (4509 /sec)
525.72/525.83	decisions             : 5700489        (0.00 % random) (10845 /sec)
525.72/525.83	propagations          : 2222729422     (4228808 /sec)
525.72/525.83	conflict literals     : 139703826      (56.43 % deleted)
525.72/525.83	Memory used           : 103.73 MB
525.72/525.83	CPU time              : 525.616 s
525.72/525.83	c _______________________________________________________________________________

Verifier Data

OK	20

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-4112743-1466566635/watcher-4112743-1466566635 -o /tmp/evaluation-result-4112743-1466566635/solver-4112743-1466566635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960 minisatp HOME/instance-4112743-1466566635.opb 

pid=2443
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.12 2.17 2.19 3/176 2446
/proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=6596 CPUtime=0 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 58710175 6754304 240 33554432000 4194304 5646918 140736695252288 140735834036552 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 1649 240 97 355 0 1290 0

[startup+0.100116 s]
/proc/loadavg: 2.12 2.17 2.19 3/176 2446
/proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=11744 CPUtime=0.09 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 1645 0 0 0 9 0 0 0 20 0 1 0 58710175 12025856 1521 33554432000 4194304 5646918 140736695252288 140735834036552 4251039 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 2936 1522 97 355 0 2577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11744

[startup+0.200272 s]
/proc/loadavg: 2.12 2.17 2.19 3/176 2446
/proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=17204 CPUtime=0.19 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 3005 0 0 0 19 0 0 0 20 0 1 0 58710175 17616896 2881 33554432000 4194304 5646918 140736695252288 140735834036552 4823861 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 4301 2882 97 355 0 3942 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17204

[startup+0.300288 s]
/proc/loadavg: 2.12 2.17 2.19 3/176 2446
/proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=22380 CPUtime=0.29 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 4356 0 0 0 29 0 0 0 20 0 1 0 58710175 22917120 4729 33554432000 4194304 5646918 140736695252288 140735834036552 4817485 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 5595 4729 116 355 0 5236 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22380

[startup+0.700187 s]
/proc/loadavg: 2.12 2.17 2.19 3/176 2446
/proc/meminfo: memFree=29925268/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=21408 CPUtime=0.69 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 5309 0 0 0 69 0 0 0 20 0 1 0 58710175 21921792 4987 33554432000 4194304 5646918 140736695252288 140735834036552 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 5352 4987 185 355 0 4993 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21408

[startup+1.50023 s]
/proc/loadavg: 2.11 2.17 2.19 3/177 2447
/proc/meminfo: memFree=29901372/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=26832 CPUtime=1.49 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 6169 0 0 0 148 1 0 0 20 0 1 0 58710175 27475968 5836 33554432000 4194304 5646918 140736695252288 140736695250984 4817571 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 6708 5836 186 355 0 6349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26832

[startup+3.1002 s]
/proc/loadavg: 2.11 2.17 2.19 3/177 2447
/proc/meminfo: memFree=29893440/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=28888 CPUtime=3.09 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 7962 0 0 0 308 1 0 0 20 0 1 0 58710175 29581312 6806 33554432000 4194304 5646918 140736695252288 140736695251000 4402788 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 7222 6806 187 355 0 6863 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28888

[startup+6.30023 s]
/proc/loadavg: 2.11 2.17 2.19 3/177 2447
/proc/meminfo: memFree=29887876/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=35960 CPUtime=6.29 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 8764 0 0 0 628 1 0 0 20 0 1 0 58710175 36823040 8625 33554432000 4194304 5646918 140736695252288 140736695250568 4266235 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 8990 8625 188 355 0 8631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35960

[startup+12.7002 s]
/proc/loadavg: 2.09 2.16 2.18 3/177 2447
/proc/meminfo: memFree=29863636/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=59056 CPUtime=12.69 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 9542 0 0 0 1267 2 0 0 20 0 1 0 58710175 60473344 13490 33554432000 4194304 5646918 140736695252288 140736695250584 4403372 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 14764 13490 188 355 0 14405 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59056

[startup+25.5003 s]
/proc/loadavg: 2.16 2.17 2.19 3/177 2447
/proc/meminfo: memFree=29855968/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=56052 CPUtime=25.48 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10128 0 0 0 2546 2 0 0 20 0 1 0 58710175 57397248 13469 33554432000 4194304 5646918 140736695252288 140736695250536 4403159 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 14013 13469 188 355 0 13654 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56052

[startup+51.1003 s]
/proc/loadavg: 2.18 2.18 2.19 3/177 2448
/proc/meminfo: memFree=29816380/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=86828 CPUtime=51.08 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10752 0 0 0 5105 3 0 0 20 0 1 0 58710175 88911872 20215 33554432000 4194304 5646918 140736695252288 140736695249784 4388947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 21707 20215 188 355 0 21348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86828

[startup+102.3 s]
/proc/loadavg: 2.25 2.19 2.19 3/177 2449
/proc/meminfo: memFree=29794768/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=86828 CPUtime=102.28 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10757 0 0 0 10225 3 0 0 20 0 1 0 58710175 88911872 21242 33554432000 4194304 5646918 140736695252288 140736695250568 4402642 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 21707 21242 188 355 0 21348 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 86828

[startup+162.3 s]
/proc/loadavg: 2.31 2.21 2.19 3/177 2450
/proc/meminfo: memFree=29776932/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=86828 CPUtime=162.27 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 10757 0 0 0 16224 3 0 0 20 0 1 0 58710175 88911872 21242 33554432000 4194304 5646918 140736695252288 140736695250568 4402788 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 21707 21242 188 355 0 21348 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 86828

[startup+222.307 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 2454
/proc/meminfo: memFree=29770408/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=87548 CPUtime=222.27 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 11699 0 0 0 22223 4 0 0 20 0 1 0 58710175 89649152 17004 33554432000 4194304 5646918 140736695252288 140736695250536 4402736 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 21887 17004 188 355 0 21528 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 87548

[startup+282.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/177 2455
/proc/meminfo: memFree=29871664/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=87548 CPUtime=282.25 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12036 0 0 0 28221 4 0 0 20 0 1 0 58710175 89649152 21422 33554432000 4194304 5646918 140736695252288 140736695250536 4388947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 21887 21422 188 355 0 21528 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 87548

[startup+342.3 s]
/proc/loadavg: 2.34 2.25 2.20 4/176 2456
/proc/meminfo: memFree=29840616/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89540 CPUtime=342.23 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12037 0 0 0 34219 4 0 0 20 0 1 0 58710175 91688960 21423 33554432000 4194304 5646918 140736695252288 140736695250536 4403184 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22385 21423 188 355 0 22026 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 89540

[startup+402.3 s]
/proc/loadavg: 2.33 2.27 2.20 4/177 2458
/proc/meminfo: memFree=29817876/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=402.22 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12038 0 0 0 40218 4 0 0 20 0 1 0 58710175 92127232 21424 33554432000 4194304 5646918 140736695252288 140736695250536 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21424 188 355 0 22133 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 89968

[startup+462.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/177 2626
/proc/meminfo: memFree=29941436/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=462.22 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12038 0 0 0 46218 4 0 0 20 0 1 0 58710175 92127232 21424 33554432000 4194304 5646918 140736695252288 140736695250536 4403069 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21424 188 355 0 22133 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 89968

[startup+522.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/178 3188
/proc/meminfo: memFree=30058228/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=522.21 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52208 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4402853 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21561 189 355 0 22133 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 89968

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

[startup+523.2 s]
/proc/loadavg: 2.29 2.26 2.20 3/178 3188
/proc/meminfo: memFree=30069512/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=523.11 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52298 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4402764 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21561 189 355 0 22133 0
Current children cumulated CPU time (s) 523.11
Current children cumulated vsize (KiB) 89968

[startup+524.807 s]
/proc/loadavg: 2.29 2.26 2.20 3/178 3188
/proc/meminfo: memFree=30064052/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=524.72 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52459 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4403468 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21561 189 355 0 22133 0
Current children cumulated CPU time (s) 524.72
Current children cumulated vsize (KiB) 89968

[startup+525.6 s]
/proc/loadavg: 2.29 2.26 2.20 3/178 3188
/proc/meminfo: memFree=30064052/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=525.51 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52538 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4399417 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21561 189 355 0 22133 0
Current children cumulated CPU time (s) 525.51
Current children cumulated vsize (KiB) 89968

[startup+525.8 s]
/proc/loadavg: 2.27 2.25 2.20 3/178 3188
/proc/meminfo: memFree=30051828/32872528 swapFree=1543496/1696796
[pid=2446] ppid=2443 vsize=89968 CPUtime=525.72 cores=0,2,4,6
/proc/2446/stat : 2446 (minisatp) R 2443 2446 32664 0 -1 4202496 12175 0 0 0 52559 13 0 0 20 0 1 0 58710175 92127232 21561 33554432000 4194304 5646918 140736695252288 140736695250568 4404189 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/2446/statm: 22492 21561 189 355 0 22133 0
Current children cumulated CPU time (s) 525.72
Current children cumulated vsize (KiB) 89968

Child status: 0
Real time (s): 525.836
CPU time (s): 525.753
CPU user time (s): 525.617
CPU system time (s): 0.135979
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 106224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 525.617
system time used= 0.135979
maximum resident set size= 86280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12184
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= 1
involuntary context switches= 610

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37479 second user time and 1.9997 second system time

The end

Launcher Data

Begin job on node125 at 2016-06-22 05:37:15
IDJOB=4112743
IDBENCH=25021
IDSOLVER=2555
FILE ID=node125/4112743-1466566635
RUNJOBID= node125-1466551504-32680
PBS_JOBID= 19943333
Free space on /tmp= 71736 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112743-1466566635/watcher-4112743-1466566635 -o /tmp/evaluation-result-4112743-1466566635/solver-4112743-1466566635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466551504-32680 --watchdog 1960  minisatp HOME/instance-4112743-1466566635.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1994217262

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29925168 kB
Buffers:           86292 kB
Cached:           153684 kB
SwapCached:         2360 kB
Active:           332044 kB
Inactive:         170592 kB
Active(anon):     263348 kB
Inactive(anon):     1880 kB
Active(file):      68696 kB
Inactive(file):   168712 kB
Unevictable:     1696796 kB
Mlocked:         1543496 kB
SwapTotal:      67108856 kB
SwapFree:       67097172 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:       2033900 kB
Mapped:             8904 kB
Shmem:                 0 kB
Slab:             601688 kB
SReclaimable:      45484 kB
SUnreclaim:       556204 kB
KernelStack:        1472 kB
PageTables:         7836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2091624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    432128 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-4112743-1466566635.opb

Free space on /tmp at the end= 71736 MiB
End job on node125 at 2016-06-22 05:46:01