Trace number 3721595

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
PB07: minisat+ 1.14OPT20 1073.75 1073.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
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 benchmark97.9001
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Parsing PB file...
0.19/0.29	c Converting 21273 PB-constraints to clauses...
0.19/0.29	c   -- Unit propagations: (none)
0.19/0.29	c   -- Detecting intervals from adjacent constraints: =========
0.19/0.29	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.29/0.32	c ---[   0]---> Adder-cost: 1282   maxlim: 618   bits: 10/10
0.39/0.47	c ==================================[MINISAT+]==================================
0.39/0.47	c | Conflicts | Original         | Learnt                           | Progress |
0.39/0.47	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.39/0.47	c ==============================================================================
0.39/0.47	c |         0 |   30173    85211 |   10057       0        0     nan |  0.000 % |
0.39/0.49	c |       100 |   30166    85188 |   11062      99     2161    21.8 |  0.205 % |
0.49/0.52	c |       250 |   30130    85066 |   12168     243     3534    14.5 |  0.287 % |
0.49/0.56	c |       475 |   30113    85005 |   13385     465     5611    12.1 |  0.314 % |
0.59/0.61	c |       812 |   30081    84897 |   14724     797    10400    13.0 |  0.397 % |
0.59/0.69	c |      1318 |   30072    84868 |   16196    1302    27232    20.9 |  0.424 % |
0.69/0.72	c |      2078 |   30072    84868 |   17816    2062    44275    21.5 |  0.424 % |
0.79/0.88	c |      3217 |   30072    84868 |   19598    3201   125499    39.2 |  0.424 % |
1.10/1.14	c |      4925 |   30072    84868 |   21558    4909   318394    64.9 |  0.424 % |
1.49/1.51	c |      7487 |   29998    84615 |   23713    7449   656438    88.1 |  0.602 % |
1.99/2.07	c |     11336 |   29998    84615 |   26085   11298  1092614    96.7 |  0.602 % |
2.99/3.02	c |     17103 |   29998    84615 |   28693   17065  1853924   108.6 |  0.602 % |
5.08/5.15	c |     25754 |   29998    84615 |   31563   25716  3262564   126.9 |  0.602 % |
5.39/5.45	c ==============================================================================
5.39/5.45	c Found solution: 31
5.39/5.45	o 31
5.39/5.45	c ---[   0]---> Sorter-cost:29182     Base:
5.58/5.63	c ==================================[MINISAT+]==================================
5.58/5.63	c | Conflicts | Original         | Learnt                           | Progress |
5.58/5.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.58/5.63	c ==============================================================================
5.58/5.63	c |     26837 |   62149   159678 |   20716   26799  3430399   128.0 |  0.602 % |
5.58/5.66	c |     26937 |   62149   159678 |   22787   13500  1744203   129.2 |  0.158 % |
5.69/5.70	c |     27089 |   62149   159678 |   25066   13652  1759476   128.9 |  0.158 % |
5.69/5.75	c |     27315 |   62149   159678 |   27572   13878  1785196   128.6 |  0.158 % |
5.79/5.82	c |     27652 |   62149   159678 |   30330   14215  1831005   128.8 |  0.158 % |
5.89/5.95	c |     28158 |   62149   159678 |   33363   14721  1949978   132.5 |  0.158 % |
6.09/6.12	c |     28918 |   62149   159678 |   36699   15481  2110255   136.3 |  0.158 % |
6.19/6.28	c |     30057 |   62149   159678 |   40369   16620  2228856   134.1 |  0.158 % |
6.29/6.31	c ==============================================================================
6.29/6.31	c Found solution: 27
6.29/6.31	o 27
6.29/6.32	c ---[   0]---> Sorter-cost:    0     Base:
6.39/6.48	c ==================================[MINISAT+]==================================
6.39/6.48	c | Conflicts | Original         | Learnt                           | Progress |
6.39/6.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.39/6.48	c ==============================================================================
6.39/6.48	c |     30156 |   62173   159738 |   20724   16719  2236433   133.8 |  0.158 % |
6.50/6.51	c |     30257 |   62173   159738 |   22796   16820  2250746   133.8 |  0.162 % |
6.50/6.53	c |     30407 |   62173   159738 |   25076   16970  2261310   133.3 |  0.162 % |
6.50/6.56	c |     30633 |   62173   159738 |   27583   17196  2275180   132.3 |  0.162 % |
6.60/6.60	c |     30972 |   62173   159738 |   30342   17535  2293015   130.8 |  0.162 % |
6.69/6.70	c |     31479 |   62173   159738 |   33376   18042  2330500   129.2 |  0.162 % |
6.79/6.89	c |     32238 |   62173   159738 |   36713   18801  2399563   127.6 |  0.162 % |
6.99/7.08	c |     33377 |   62173   159738 |   40385   19940  2522161   126.5 |  0.162 % |
7.29/7.37	c |     35085 |   62173   159738 |   44423   21648  2754537   127.2 |  0.162 % |
7.99/8.00	c |     37647 |   62173   159738 |   48866   24210  3141199   129.7 |  0.162 % |
8.70/8.78	c |     41492 |   62173   159738 |   53752   28055  3485201   124.2 |  0.162 % |
10.09/10.15	c |     47259 |   62173   159738 |   59127   33822  4085091   120.8 |  0.162 % |
10.19/10.29	c ==============================================================================
10.19/10.29	c Found solution: 24
10.19/10.29	o 24
10.19/10.29	c ---[   0]---> Sorter-cost:    0     Base:
10.39/10.46	c ==================================[MINISAT+]==================================
10.39/10.46	c | Conflicts | Original         | Learnt                           | Progress |
10.39/10.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.39/10.46	c ==============================================================================
10.39/10.46	c |     47886 |   62167   159725 |   20722   34401  4132776   120.1 |  0.162 % |
10.49/10.53	c |     47989 |   62167   159725 |   22794   14146  1267059    89.6 |  0.232 % |
10.49/10.57	c |     48139 |   62167   159725 |   25073   14296  1291708    90.4 |  0.232 % |
10.59/10.63	c |     48366 |   62167   159725 |   27580   14523  1313943    90.5 |  0.232 % |
10.59/10.67	c |     48703 |   62167   159725 |   30339   14860  1330659    89.5 |  0.232 % |
10.69/10.75	c |     49212 |   62167   159725 |   33372   15369  1362001    88.6 |  0.232 % |
10.89/10.96	c |     49971 |   62167   159725 |   36710   16128  1500527    93.0 |  0.232 % |
11.19/11.28	c |     51111 |   62167   159725 |   40381   17268  1772263   102.6 |  0.232 % |
11.69/11.71	c |     52820 |   62167   159725 |   44419   18977  1940622   102.3 |  0.232 % |
12.29/12.32	c |     55383 |   62167   159725 |   48861   21540  2143624    99.5 |  0.232 % |
13.09/13.11	c |     59231 |   62167   159725 |   53747   25388  2439960    96.1 |  0.232 % |
14.99/15.04	c |     64998 |   62167   159725 |   59122   31155  3126900   100.4 |  0.232 % |
18.49/18.55	c |     73647 |   62167   159725 |   65034   39804  3987748   100.2 |  0.232 % |
24.20/24.25	c |     86621 |   62167   159725 |   71537   52778  5271813    99.9 |  0.232 % |
34.38/34.46	c |    106082 |   62167   159725 |   78691   72239  6727043    93.1 |  0.232 % |
44.29/44.31	c ==============================================================================
44.29/44.31	c Found solution: 23
44.29/44.31	o 23
44.29/44.32	c ---[   0]---> Sorter-cost:    0     Base:
44.39/44.48	c ==================================[MINISAT+]==================================
44.39/44.48	c | Conflicts | Original         | Learnt                           | Progress |
44.39/44.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.39/44.48	c ==============================================================================
44.39/44.48	c |    128754 |   62181   159761 |   20727   35147  2303083    65.5 |  0.232 % |
44.59/44.61	c |    128854 |   62181   159761 |   22799   17087  1093276    64.0 |  0.236 % |
44.59/44.64	c |    129005 |   62181   159761 |   25079   17238  1100625    63.8 |  0.236 % |
44.69/44.73	c |    129230 |   62181   159761 |   27587   17463  1137657    65.1 |  0.236 % |
44.79/44.82	c |    129567 |   62181   159761 |   30346   17800  1189354    66.8 |  0.236 % |
44.89/44.98	c |    130073 |   62181   159761 |   33381   18306  1237795    67.6 |  0.236 % |
45.09/45.16	c |    130834 |   62181   159761 |   36719   19067  1280279    67.1 |  0.236 % |
45.49/45.57	c |    131974 |   62181   159761 |   40391   20207  1457479    72.1 |  0.236 % |
45.89/45.94	c |    133682 |   62181   159761 |   44430   21915  1577029    72.0 |  0.236 % |
46.59/46.66	c |    136247 |   62181   159761 |   48873   24480  1907770    77.9 |  0.236 % |
47.48/47.56	c |    140094 |   62181   159761 |   53760   28327  2297911    81.1 |  0.236 % |
48.58/48.66	c |    145860 |   62181   159761 |   59136   34093  2580502    75.7 |  0.236 % |
51.28/51.35	c |    154512 |   62181   159761 |   65050   42745  3482569    81.5 |  0.236 % |
52.48/52.53	c ==============================================================================
52.48/52.53	c Found solution: 22
52.48/52.53	o 22
52.48/52.53	c ---[   0]---> Sorter-cost:    0     Base:
52.68/52.71	c ==================================[MINISAT+]==================================
52.68/52.71	c | Conflicts | Original         | Learnt                           | Progress |
52.68/52.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
52.68/52.71	c ==============================================================================
52.68/52.71	c |    158152 |   61921   159150 |   20640   41585  3335899    80.2 |  0.236 % |
52.78/52.82	c |    158253 |   61921   159150 |   22704   14421  1080491    74.9 |  0.883 % |
52.78/52.86	c |    158403 |   61921   159150 |   24974   14571  1092375    75.0 |  0.883 % |
52.88/52.92	c |    158630 |   61921   159150 |   27471   14798  1113412    75.2 |  0.883 % |
52.98/53.03	c |    158967 |   61921   159150 |   30219   15135  1145373    75.7 |  0.883 % |
53.08/53.19	c |    159473 |   61921   159150 |   33240   15641  1217013    77.8 |  0.883 % |
53.28/53.38	c |    160232 |   61921   159150 |   36565   16400  1280655    78.1 |  0.883 % |
53.68/53.75	c |    161371 |   61921   159150 |   40221   17539  1390233    79.3 |  0.883 % |
54.18/54.21	c |    163079 |   61921   159150 |   44243   19247  1539415    80.0 |  0.883 % |
54.78/54.86	c |    165643 |   61921   159150 |   48668   21811  1745676    80.0 |  0.883 % |
56.18/56.28	c |    169487 |   61921   159150 |   53534   25655  2201883    85.8 |  0.883 % |
58.07/58.11	c |    175253 |   61921   159150 |   58888   31421  2750587    87.5 |  0.883 % |
60.37/60.49	c |    183904 |   61921   159150 |   64777   40072  3325764    83.0 |  0.883 % |
64.57/64.66	c |    196878 |   61921   159150 |   71254   53046  4115117    77.6 |  0.883 % |
72.17/72.25	c |    216340 |   61921   159150 |   78380   72508  5556075    76.6 |  0.883 % |
82.76/82.89	c |    245533 |   61921   159150 |   86218   43689  2416593    55.3 |  0.883 % |
97.56/97.64	c |    289323 |   61921   159150 |   94840   87479  5154681    58.9 |  0.883 % |
107.77/107.88	c ==============================================================================
107.77/107.88	c Found solution: 21
107.77/107.88	o 21
107.77/107.89	c ---[   0]---> Sorter-cost:    0     Base:
107.96/108.06	c ==================================[MINISAT+]==================================
107.96/108.06	c | Conflicts | Original         | Learnt                           | Progress |
107.96/108.06	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
107.96/108.06	c ==============================================================================
107.96/108.06	c |    318799 |   61934   159183 |   20644   45976  2337197    50.8 |  0.883 % |
108.16/108.25	c |    318899 |   61934   159183 |   22708   11557   609751    52.8 |  0.886 % |
108.16/108.27	c |    319049 |   61934   159183 |   24979   11707   622774    53.2 |  0.886 % |
108.26/108.31	c |    319275 |   61934   159183 |   27477   11933   637712    53.4 |  0.886 % |
108.26/108.36	c |    319612 |   61934   159183 |   30224   12270   654477    53.3 |  0.886 % |
108.36/108.48	c |    320122 |   61934   159183 |   33247   12780   690897    54.1 |  0.886 % |
108.56/108.67	c |    320883 |   61934   159183 |   36572   13541   777054    57.4 |  0.886 % |
108.87/108.92	c |    322026 |   61934   159183 |   40229   14684   956513    65.1 |  0.886 % |
109.16/109.26	c |    323734 |   61934   159183 |   44252   16392  1083632    66.1 |  0.886 % |
109.87/109.98	c |    326296 |   61934   159183 |   48677   18954  1355895    71.5 |  0.886 % |
110.97/111.08	c |    330140 |   61934   159183 |   53545   22798  1711786    75.1 |  0.886 % |
112.16/112.25	c |    335906 |   61934   159183 |   58899   28564  2114864    74.0 |  0.886 % |
115.16/115.24	c |    344555 |   61934   159183 |   64789   37213  2829352    76.0 |  0.886 % |
119.66/119.73	c |    357531 |   61934   159183 |   71268   50189  3947141    78.6 |  0.886 % |
127.86/127.95	c |    376992 |   61934   159183 |   78395   69650  5622025    80.7 |  0.886 % |
139.25/139.33	c |    406184 |   61934   159183 |   86235   41720  2930785    70.2 |  0.886 % |
158.05/158.12	c |    449975 |   61934   159183 |   94858   85511  6684129    78.2 |  0.886 % |
190.05/190.18	c |    515660 |   61934   159183 |  104344   75675  6997666    92.5 |  0.886 % |
200.15/200.24	c ==============================================================================
200.15/200.24	c Found solution: 20
200.15/200.24	o 20
200.15/200.24	c ---[   0]---> Sorter-cost:    0     Base:
200.34/200.43	c ==================================[MINISAT+]==================================
200.34/200.43	c | Conflicts | Original         | Learnt                           | Progress |
200.34/200.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
200.34/200.43	c ==============================================================================
200.34/200.43	c |    532905 |   61912   159131 |   20637   92828  7974945    85.9 |  0.886 % |
201.04/201.20	c |    533005 |   61912   159131 |   22700   12847   596007    46.4 |  0.963 % |
201.15/201.23	c |    533156 |   61912   159131 |   24970   12998   605135    46.6 |  0.963 % |
201.15/201.27	c |    533382 |   61912   159131 |   27467   13224   616995    46.7 |  0.963 % |
201.25/201.33	c |    533720 |   61912   159131 |   30214   13562   632458    46.6 |  0.963 % |
201.34/201.41	c |    534229 |   61912   159131 |   33236   14071   669357    47.6 |  0.963 % |
201.44/201.57	c |    534988 |   61912   159131 |   36559   14830   721845    48.7 |  0.963 % |
201.84/201.91	c |    536129 |   61912   159131 |   40215   15971   850616    53.3 |  0.963 % |
202.25/202.37	c |    537838 |   61912   159131 |   44237   17680  1071256    60.6 |  0.963 % |
202.94/203.09	c |    540404 |   61912   159131 |   48660   20246  1445704    71.4 |  0.963 % |
204.14/204.25	c |    544250 |   61912   159131 |   53527   24092  1845931    76.6 |  0.963 % |
205.84/205.99	c |    550017 |   61912   159131 |   58879   29859  2396549    80.3 |  0.963 % |
208.74/208.89	c |    558666 |   61912   159131 |   64767   38508  3205520    83.2 |  0.963 % |
212.44/212.55	c |    571645 |   61912   159131 |   71244   51487  4196660    81.5 |  0.963 % |
220.04/220.16	c |    591109 |   61912   159131 |   78368   70951  5496287    77.5 |  0.963 % |
230.94/231.01	c |    620303 |   61912   159131 |   86205   45981  2706673    58.9 |  0.963 % |
248.44/248.56	c |    664092 |   61912   159131 |   94826   27674  1776367    64.2 |  0.963 % |
273.33/273.41	c |    729776 |   61890   159087 |  104309   93356  7072978    75.8 |  0.967 % |
322.52/322.60	c |    828303 |   61890   159087 |  114740   28927  1929007    66.7 |  0.967 % |
379.61/379.79	c |    976093 |   61890   159087 |  126214   87000  5232658    60.1 |  0.967 % |
476.50/476.66	c |   1197781 |   61890   159087 |  138835  102107  6516693    63.8 |  0.967 % |
632.47/632.65	c |   1530306 |   61890   159087 |  152718   91216  5397257    59.2 |  0.967 % |
875.53/875.79	c |   2029096 |   61854   159015 |  167990   81497  5777937    70.9 |  1.026 % |
1073.69/1073.93	c ==============================================================================
1073.69/1073.93	c Optimal solution: 20
1073.69/1073.93	s OPTIMUM FOUND
1073.69/1073.93	v x1 x176 x346 x700 x840 -x994 -x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 -x25 -x1243 -x28 -x1255 -x31 -x1267 x34 x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 -x49 -x1339 x52 -x1351 -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 x1491 -x1493 -x1498 -x1500 -x1505 -x1507 -x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 -x1549 -x1554 -x1556 -x1561 -x1563 -x1568 x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 -x1734 -x1761 x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 -x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 -x210 -x1977 -x1989 -x215 -x2001 -x2013 -x220 -x2025 -x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 -x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 -x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 x2772 -x356 -x2830 x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 -x2992 -x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -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 -x3962 -x3964 -x3976 -x3978 -x3990 x3992 -x4004 -x4006 -x4018 -x4020 -x4032 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 -x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 -x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 -x5496 -x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 -x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 -x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 -x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -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 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 -x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 -x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 -x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 -x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 -x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -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 -x540 -x539 -x541 -x542 -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 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 -x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 x877 x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 -x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 -x1445 -x1446 -x1447 -x1448 x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 -x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 -x1485 -x1487 -x1488 -x1489 -x1490 x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 x1508 -x1509 x1510 -x1511 -x1513 -x1515 -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 -x1527 -x1529 -x1530 -x1531 -x1532 -x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 x1548 -x1550 -x1551 -x1552 -x1553 -x1555 -x1557 -x1558 -x1559 -x1560 x1562 -x1564 -x1565 -x1566 -x1567 x1569 x1571 -x1572 -x1573 -x1574 -x1576 x1578 -x1579 -x1580 -x1581 -x1583 -x1585 -x1586 -x1587 -x1588 x1590 x1592 -x1593 -x1594 -x1595 x1597 -x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 -x1618 -x1620 -x1621 -x1622 -x1623 x1625 -x1627 -x1628 -x1629 -x1630 -x1632 -x1634 -x1635 -x1636 -x1637 x1639 -x1641 -x1642 -x1643 -x1644 x1646 -x1648 -x1649 -x1650 -x1651 -x1653 x1655 -x1656 -x1657 -x1658 -x1660 -x1662 -x1663 -x1664 -x1665 -x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 x2129 -x2131 -x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 -x2143 -x2145 -x2146 -x2147 -x2148 -x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 -x2164 -x2166 -x2167 -x2168 -x2169 -x2171 -x2173 -x2174 -x2175 -x2176 x2178 -x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 -x2192 -x2194 -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 -x2206 x2208 -x2209 x2210 -x2211 -x2213 -x2215 -x2216 -x2217 -x2218 -x2220 -x2222 -x2223 -x2224 -x2225 x2227 -x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239 -x2241 -x2243 -x2244 -x2245 -x2246 x2248 -x2250 -x2251 -x2252 -x2253 x2255 -x2257 -x2258 -x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 x2269 -x2271 -x2272 -x2273 -x2274 -x2276 -x2278 -x2279 -x2280 -x2281 -x2283 -x2285 -x2286 -x2287 -x2288 -x2290 -x2292 -x2293 -x2294 -x2295 -x2297 -x2299 -x2300 -x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 x2311 -x2313 -x2314 -x2315 -x2316 -x2318 x2320 -x2321 -x2322 -x2323 x2325 x2327 -x2328 -x2329 -x2330 x2332 x2334 -x2335 -x2336 -x2337 -x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 -x2360 x2362 -x2363 -x2364 -x2365 -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 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -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 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -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 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -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 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -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 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -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 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -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 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -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 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -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 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3991 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -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 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4339 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4367 -x4368 x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 x4567 x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 x4597 -x4598 -x4599 -x4600 x4602 x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4630 -x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 -x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 -x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5158 -x5160 -x5161 -x5162 -x5163 x5165 -x5167 -x5169 -x5170 -x5171 -x5172 -x5174 -x5176 -x5177 -x5178 -x5179 -x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5193 -x5195 -x5197 -x5198 -x5199 -x5200 x5202 -x5203 -x5204 -x5205 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 -x5226 x5228 -x5229 x5230 -x5231 -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 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324 -x5325 -x5326 x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 x5340 -x5341 -x5342 -x5343 -x5345 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5357 -x5358 -x5359 -x5360 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 x5829 -x5830 x5831 -x5832 x5834 -x5836 -x5837 -x5838 -x5839 x5841 -x5843 -x5844 -x5845 -x5846 x5848 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 -x5881 -x5882 -x5883 -x5884 -x5886 -x5888 -x5889 -x5890 -x5891 -x5893 x5895 -x5896 x5897 -x5898 x5900 -x5902 -x5903 -x5904 -x5905 x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 -x5921 -x5923 -x5924 -x5925 -x5926 x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 -x5937 -x5938 -x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950 -x5952 x5954 x5955 -x5956 -x5957 -x5959 -x5961 -x5962 -x5963 -x5964 x5966 -x5968 -x5969 -x5970 -x5971 x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 x5987 x5989 x5991 -x5992 -x5993 -x5994 -x5996 x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 x6015 -x6017 -x6018 -x6019 -x6020 -x6022 x6024 -x6025 x6026 -x6027
1073.69/1073.94	c _______________________________________________________________________________
1073.69/1073.94	c 
1073.69/1073.94	c restarts              : 119
1073.69/1073.94	c conflicts             : 2372487        (2210 /sec)
1073.69/1073.94	c decisions             : 7051888        (6568 /sec)
1073.69/1073.94	c propagations          : 0              (0 /sec)
1073.69/1073.94	c inspects              : 0              (0 /sec)
1073.69/1073.94	c CPU time              : 1073.65 s
1073.69/1073.94	c _______________________________________________________________________________

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.98 4/179 19113
/proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=1404 CPUtime=0 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 193 0 0 0 0 0 0 0 20 0 1 0 321928471 1437696 150 33554432000 134512640 135395479 4290949152 4290947936 134569966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 351 150 75 216 0 133 0

[startup+0.0748271 s]
/proc/loadavg: 1.92 1.99 1.98 4/179 19113
/proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=2756 CPUtime=0.07 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 554 0 0 0 7 0 0 0 20 0 1 0 321928471 2822144 511 33554432000 134512640 135395479 4290949152 4290948120 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 689 512 75 216 0 471 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2756

[startup+0.100252 s]
/proc/loadavg: 1.92 1.99 1.98 4/179 19113
/proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=3384 CPUtime=0.09 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 687 0 0 0 9 0 0 0 20 0 1 0 321928471 3465216 644 33554432000 134512640 135395479 4290949152 4290947516 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 846 644 75 216 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3384

[startup+0.300187 s]
/proc/loadavg: 1.92 1.99 1.98 4/179 19113
/proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=7816 CPUtime=0.29 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 1812 0 0 0 29 0 0 0 20 0 1 0 321928471 8003584 1769 33554432000 134512640 135395479 4290949152 4290947680 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 1954 1769 87 216 0 1736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7816

[startup+0.700218 s]
/proc/loadavg: 1.92 1.99 1.98 4/179 19113
/proc/meminfo: memFree=28323404/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=10292 CPUtime=0.69 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 2519 0 0 0 68 1 0 0 20 0 1 0 321928471 10539008 2407 33554432000 134512640 135395479 4290949152 4290947504 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 2573 2407 123 216 0 2355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10292

[startup+1.50022 s]
/proc/loadavg: 1.92 1.99 1.98 3/180 19114
/proc/meminfo: memFree=28313980/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=10556 CPUtime=1.49 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 2571 0 0 0 148 1 0 0 20 0 1 0 321928471 10809344 2459 33554432000 134512640 135395479 4290949152 4290946872 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 2639 2459 123 216 0 2421 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10556

[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.98 3/180 19114
/proc/meminfo: memFree=28310996/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=16180 CPUtime=3.09 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 3966 0 0 0 308 1 0 0 20 0 1 0 321928471 16568320 3854 33554432000 134512640 135395479 4290949152 4290947052 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 4045 3854 123 216 0 3827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16180

[startup+6.30023 s]
/proc/loadavg: 1.93 1.99 1.98 3/180 19114
/proc/meminfo: memFree=28278312/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=26260 CPUtime=6.29 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 6419 0 0 0 627 2 0 0 20 0 1 0 321928471 26890240 6290 33554432000 134512640 135395479 4290949152 4290947504 134580938 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 6565 6290 124 216 0 6347 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26260

[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.98 3/180 19114
/proc/meminfo: memFree=28264664/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=30236 CPUtime=12.69 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 7434 0 0 0 1267 2 0 0 20 0 1 0 321928471 30961664 7292 33554432000 134512640 135395479 4290949152 4290947024 134573950 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 7559 7292 124 216 0 7341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30236

[startup+25.5003 s]
/proc/loadavg: 2.03 2.00 1.99 3/180 19114
/proc/meminfo: memFree=28237740/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=37348 CPUtime=25.49 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 9204 0 0 0 2546 3 0 0 20 0 1 0 321928471 38244352 9062 33554432000 134512640 135395479 4290949152 4290947504 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 9337 9062 124 216 0 9119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37348

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 1.99 3/179 19114
/proc/meminfo: memFree=28199580/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=46700 CPUtime=51.08 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 11489 0 0 0 5104 4 0 0 20 0 1 0 321928471 47820800 11345 33554432000 134512640 135395479 4290949152 4290947472 134580430 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 11675 11345 124 216 0 11457 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46700

[startup+102.306 s]
/proc/loadavg: 2.09 2.02 2.00 3/179 19114
/proc/meminfo: memFree=28155600/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=47988 CPUtime=102.27 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 11764 0 0 0 10223 4 0 0 20 0 1 0 321928471 49139712 11621 33554432000 134512640 135395479 4290949152 4290947408 134568477 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 11997 11621 124 216 0 11779 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47988

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 19115
/proc/meminfo: memFree=28152560/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=52072 CPUtime=162.25 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 12729 0 0 0 16220 5 0 0 20 0 1 0 321928471 53321728 12586 33554432000 134512640 135395479 4290949152 4290947120 134576869 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 13018 12586 124 216 0 12800 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 52072

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 19115
/proc/meminfo: memFree=28143064/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=57576 CPUtime=222.24 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 14056 0 0 0 22219 5 0 0 20 0 1 0 321928471 58957824 13981 33554432000 134512640 135395479 4290949152 4290947504 134581036 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 14394 13981 124 216 0 14176 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 57576

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 19115
/proc/meminfo: memFree=28142628/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=58748 CPUtime=282.23 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 14345 0 0 0 28218 5 0 0 20 0 1 0 321928471 60157952 14262 33554432000 134512640 135395479 4290949152 4290947120 134576837 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 14687 14262 124 216 0 14469 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 58748

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 19115
/proc/meminfo: memFree=28130108/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=62952 CPUtime=342.21 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15374 0 0 0 34216 5 0 0 20 0 1 0 321928471 64462848 15291 33554432000 134512640 135395479 4290949152 4290947504 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 15738 15291 124 216 0 15520 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 62952

[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 19115
/proc/meminfo: memFree=28099908/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=63468 CPUtime=402.21 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15543 0 0 0 40215 6 0 0 20 0 1 0 321928471 64991232 15493 33554432000 134512640 135395479 4290949152 4290947120 134579868 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 15867 15493 124 216 0 15649 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 63468

[startup+462.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/179 19116
/proc/meminfo: memFree=28077000/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=64020 CPUtime=462.2 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 15660 0 0 0 46214 6 0 0 20 0 1 0 321928471 65556480 15602 33554432000 134512640 135395479 4290949152 4290947472 134572595 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 16005 15602 124 216 0 15787 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 64020

[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 19116
/proc/meminfo: memFree=28057932/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=65796 CPUtime=522.19 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16029 0 0 0 52213 6 0 0 20 0 1 0 321928471 67375104 15971 33554432000 134512640 135395479 4290949152 4290947120 134579554 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 16449 15971 124 216 0 16231 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 65796

[startup+582.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 19119
/proc/meminfo: memFree=28035100/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=68972 CPUtime=582.18 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16774 0 0 0 58212 6 0 0 20 0 1 0 321928471 70627328 16716 33554432000 134512640 135395479 4290949152 4290947456 134580297 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 17243 16716 124 216 0 17025 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 68972

[startup+642.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 19119
/proc/meminfo: memFree=28020236/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=69336 CPUtime=642.18 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 16853 0 0 0 64212 6 0 0 20 0 1 0 321928471 71000064 16795 33554432000 134512640 135395479 4290949152 4290947504 134580750 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 17334 16795 124 216 0 17116 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 69336

[startup+702.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 19119
/proc/meminfo: memFree=28000156/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=73368 CPUtime=702.17 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 17895 0 0 0 70210 7 0 0 20 0 1 0 321928471 75128832 17837 33554432000 134512640 135395479 4290949152 4290947504 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 18342 17837 124 216 0 18124 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 73368

[startup+762.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19120
/proc/meminfo: memFree=27986196/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=76044 CPUtime=762.15 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18539 0 0 0 76208 7 0 0 20 0 1 0 321928471 77869056 18494 33554432000 134512640 135395479 4290949152 4290947024 134574480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 19011 18494 124 216 0 18793 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 76044

[startup+822.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 19120
/proc/meminfo: memFree=27975408/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=76124 CPUtime=822.14 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18549 0 0 0 82207 7 0 0 20 0 1 0 321928471 77950976 18504 33554432000 134512640 135395479 4290949152 4290947504 134580959 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 19031 18504 124 216 0 18813 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 76124

[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19120
/proc/meminfo: memFree=27965736/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=76124 CPUtime=882.13 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 18549 0 0 0 88206 7 0 0 20 0 1 0 321928471 77950976 18504 33554432000 134512640 135395479 4290949152 4290947504 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 19031 18504 124 216 0 18813 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 76124

[startup+942.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 19120
/proc/meminfo: memFree=27939912/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=89640 CPUtime=942.12 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 21959 0 0 0 94203 9 0 0 20 0 1 0 321928471 91791360 21914 33554432000 134512640 135395479 4290949152 4290947504 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22410 21914 124 216 0 22192 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 89640

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19120
/proc/meminfo: memFree=27932892/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=89640 CPUtime=1002.11 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 21963 0 0 0 100202 9 0 0 20 0 1 0 321928471 91791360 21924 33554432000 134512640 135395479 4290949152 4290947120 134576754 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22410 21924 124 216 0 22192 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 89640

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27925384/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90092 CPUtime=1062.1 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22046 0 0 0 106201 9 0 0 20 0 1 0 321928471 92254208 22006 33554432000 134512640 135395479 4290949152 4290947120 134578836 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22523 22006 124 216 0 22305 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 90092

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

[startup+1068.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27924020/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90092 CPUtime=1068.49 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22067 0 0 0 106840 9 0 0 20 0 1 0 321928471 92254208 22027 33554432000 134512640 135395479 4290949152 4290947456 134580268 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22523 22027 124 216 0 22305 0
Current children cumulated CPU time (s) 1068.49
Current children cumulated vsize (KiB) 90092

[startup+1071.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27923772/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90304 CPUtime=1071.69 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22101 0 0 0 107160 9 0 0 20 0 1 0 321928471 92471296 22061 33554432000 134512640 135395479 4290949152 4290947472 134572684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22576 22061 124 216 0 22358 0
Current children cumulated CPU time (s) 1071.69
Current children cumulated vsize (KiB) 90304

[startup+1072.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90304 CPUtime=1072.49 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107240 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134580396 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22576 22062 124 216 0 22358 0
Current children cumulated CPU time (s) 1072.49
Current children cumulated vsize (KiB) 90304

[startup+1073.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90304 CPUtime=1073.3 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107321 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134568552 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22576 22062 124 216 0 22358 0
Current children cumulated CPU time (s) 1073.3
Current children cumulated vsize (KiB) 90304

[startup+1073.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19121
/proc/meminfo: memFree=27923896/32873844 swapFree=7124/7124
[pid=19113] ppid=19111 vsize=90304 CPUtime=1073.69 cores=0,2,4,6
/proc/19113/stat : 19113 (minisat+) R 19111 19113 18257 0 -1 4202496 22102 0 0 0 107360 9 0 0 20 0 1 0 321928471 92471296 22062 33554432000 134512640 135395479 4290949152 4290947456 134568472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/19113/statm: 22576 22062 124 216 0 22358 0
Current children cumulated CPU time (s) 1073.69
Current children cumulated vsize (KiB) 90304

Child status: 30
Real time (s): 1073.94
CPU time (s): 1073.75
CPU user time (s): 1073.65
CPU system time (s): 0.097985
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 90304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1073.65
system time used= 0.097985
maximum resident set size= 88252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22105
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= 40
involuntary context switches= 1139

runsolver used 4.53031 second user time and 9.8725 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-01 15:40:31
IDJOB=3721595
IDBENCH=25015
IDSOLVER=2306
FILE ID=node134/3721595-1338558031
RUNJOBID= node134-1338552572-18273
PBS_JOBID= 14635850
Free space on /tmp= 70352 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721595-1338558031/watcher-3721595-1338558031 -o /tmp/evaluation-result-3721595-1338558031/solver-3721595-1338558031 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721595-1338558031.opb            

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=390904254

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28323188 kB
Buffers:          432620 kB
Cached:          3166136 kB
SwapCached:           76 kB
Active:          1743716 kB
Inactive:        1917632 kB
Active(anon):      54300 kB
Inactive(anon):    10508 kB
Active(file):    1689416 kB
Inactive(file):  1907124 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              9864 kB
Writeback:             0 kB
AnonPages:         69328 kB
Mapped:            11420 kB
Shmem:                96 kB
Slab:             752948 kB
SReclaimable:     194644 kB
SUnreclaim:       558304 kB
KernelStack:        1488 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     177664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721595-1338558031.opb

Free space on /tmp at the end= 70348 MiB
End job on node134 at 2012-06-01 15:58:25