Trace number 3721569

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.14SAT (TO)29 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
MD5SUM66cf2657d020eb0982c7cab0e5ad93c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark1.10383
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7343
Total number of constraints22903
Number of constraints which are clauses22903
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3560
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 3560
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3560
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.29/0.31	c Converting 22350 PB-constraints to clauses...
0.29/0.31	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.29/0.31	c   -- Detecting intervals from adjacent constraints: #########
0.29/0.32	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.29/0.34	c ---[20648]---> BDD-cost:    1
0.29/0.34	c ---[19690]---> BDD-cost:    1
0.29/0.34	c ---[19281]---> BDD-cost:    1
0.29/0.34	c ---[19154]---> BDD-cost:    1
0.29/0.34	c ---[19013]---> BDD-cost:    1
0.29/0.34	c ---[18989]---> BDD-cost:    1
0.29/0.34	c ---[18972]---> BDD-cost:    1
0.29/0.34	c ---[18967]---> BDD-cost:    1
0.29/0.34	c ---[18965]---> BDD-cost:    1
0.29/0.34	c ==================================[MINISAT+]==================================
0.29/0.34	c | Conflicts | Original         | Learnt                           | Progress |
0.29/0.34	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.29/0.34	c ==============================================================================
0.29/0.34	c |         0 |   19762    47991 |    6587       0        0     nan |  0.000 % |
0.29/0.34	c ==============================================================================
0.29/0.34	c Found solution: 34
0.29/0.34	o 34
0.29/0.36	c ---[   0]---> Adder-cost: 5994   maxlim: 2973   bits: 12/12
3.79/3.81	c ==================================[MINISAT+]==================================
3.79/3.81	c | Conflicts | Original         | Learnt                           | Progress |
3.79/3.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.79/3.81	c ==============================================================================
3.79/3.81	c |        14 |   60867   196066 |   20289      13      161    12.4 |  0.000 % |
3.79/3.81	c |       114 |   60867   196066 |   22317     113     1272    11.3 |  8.463 % |
3.79/3.84	c |       264 |   60850   196007 |   24549     261     1894     7.3 |  8.486 % |
3.89/3.90	c |       489 |   60754   195659 |   27004     472     2811     6.0 |  8.605 % |
3.89/3.95	c |       826 |   60707   195486 |   29705     803     4751     5.9 |  8.673 % |
3.99/4.04	c |      1335 |   60526   194853 |   32675    1281     9111     7.1 |  8.913 % |
4.09/4.18	c |      2094 |   60526   194853 |   35943    2040    30648    15.0 |  8.913 % |
4.29/4.31	c |      3233 |   60191   193734 |   39537    3114    88872    28.5 |  9.369 % |
4.39/4.48	c |      4943 |   60191   193734 |   43491    4824   253102    52.5 |  9.369 % |
5.09/5.12	c |      7506 |   60191   193734 |   47840    7387   423980    57.4 |  9.369 % |
5.79/5.87	c |     11351 |   60191   193734 |   52624   11232   854807    76.1 |  9.369 % |
6.89/6.95	c |     17120 |   60182   193705 |   57886   17000  1414476    83.2 |  9.384 % |
8.70/8.73	c |     25769 |   60182   193705 |   63675   25649  2517914    98.2 |  9.384 % |
12.39/12.44	c |     38743 |   60182   193705 |   70043   38623  4123445   106.8 |  9.384 % |
18.29/18.30	c |     58204 |   60182   193705 |   77047   58084  6385327   109.9 |  9.384 % |
29.79/29.80	c |     87398 |   60182   193705 |   84752   25067  2989860   119.3 |  9.384 % |
45.08/45.20	c |    131193 |   60182   193705 |   93227   68862  9063509   131.6 |  9.384 % |
64.15/64.21	c |    196877 |   60182   193705 |  102550   55717  7911740   142.0 |  9.384 % |
97.05/97.12	c |    295403 |   60182   193705 |  112805   66498 11030774   165.9 |  9.384 % |
166.04/166.13	c |    443195 |   60182   193705 |  124085   26796  3752424   140.0 |  9.384 % |
261.12/261.29	c |    664878 |   60182   193705 |  136494   36012  5738581   159.4 |  9.384 % |
408.10/408.27	c |    997403 |   60182   193705 |  150143  137233 17841868   130.0 |  9.384 % |
642.66/642.81	c |   1496191 |   60182   193705 |  165158  108476 15513694   143.0 |  9.384 % |
658.66/658.87	c ==============================================================================
658.66/658.87	c Found solution: 33
658.66/658.87	o 33
658.66/658.90	c ---[   0]---> Adder-cost: 0   maxlim: 2974   bits: 12/12
662.06/662.23	c ==================================[MINISAT+]==================================
662.06/662.23	c | Conflicts | Original         | Learnt                           | Progress |
662.06/662.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
662.06/662.23	c ==============================================================================
662.06/662.23	c |   1520874 |   60191   193744 |   20063  133159 19704114   148.0 |  9.384 % |
662.75/662.96	c |   1520974 |   60191   193744 |   22069   19224  2636025   137.1 |  9.390 % |
662.85/663.00	c |   1521125 |   60191   193744 |   24276   19375  2639902   136.3 |  9.390 % |
662.85/663.03	c |   1521350 |   60191   193744 |   26703   19600  2657603   135.6 |  9.390 % |
662.85/663.08	c |   1521687 |   60191   193744 |   29374   19937  2695942   135.2 |  9.390 % |
662.95/663.17	c |   1522194 |   60191   193744 |   32311   20444  2770144   135.5 |  9.390 % |
663.06/663.27	c |   1522954 |   60191   193744 |   35542   21204  2857007   134.7 |  9.390 % |
663.25/663.45	c |   1524093 |   60191   193744 |   39097   22343  2997513   134.2 |  9.390 % |
663.55/663.76	c |   1525802 |   60191   193744 |   43006   24052  3226908   134.2 |  9.390 % |
664.16/664.30	c |   1528365 |   60191   193744 |   47307   26615  3551358   133.4 |  9.390 % |
665.05/665.23	c |   1532211 |   60191   193744 |   52038   30461  4237360   139.1 |  9.390 % |
666.55/666.72	c |   1537981 |   60191   193744 |   57242   36231  5044407   139.2 |  9.390 % |
668.95/669.15	c |   1546630 |   60191   193744 |   62966   44880  6073692   135.3 |  9.390 % |
673.25/673.41	c |   1559604 |   60191   193744 |   69262   57854  7741114   133.8 |  9.390 % |
679.45/679.69	c |   1579068 |   60191   193744 |   76189   23181  2617703   112.9 |  9.390 % |
687.75/687.99	c |   1608260 |   60191   193744 |   83808   52373  7442413   142.1 |  9.390 % |
704.55/704.73	c |   1652050 |   60191   193744 |   92188   27897  3258321   116.8 |  9.390 % |
711.15/711.34	c ==============================================================================
711.15/711.34	c Found solution: 31
711.15/711.34	o 31
711.15/711.36	c ---[   0]---> Adder-cost: 0   maxlim: 2976   bits: 12/12
714.45/714.63	c ==================================[MINISAT+]==================================
714.45/714.63	c | Conflicts | Original         | Learnt                           | Progress |
714.45/714.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
714.45/714.63	c ==============================================================================
714.45/714.63	c |   1672061 |   59406   190995 |   19802   47775  5853815   122.5 |  9.390 % |
714.55/714.73	c |   1672162 |   59406   190995 |   21782   16886  1763566   104.4 | 10.445 % |
714.55/714.75	c |   1672314 |   59406   190995 |   23960   17038  1766886   103.7 | 10.445 % |
714.55/714.78	c |   1672540 |   59406   190995 |   26356   17264  1772832   102.7 | 10.445 % |
714.65/714.83	c |   1672877 |   59406   190995 |   28992   17601  1794242   101.9 | 10.445 % |
714.75/714.91	c |   1673385 |   59406   190995 |   31891   18109  1827871   100.9 | 10.445 % |
714.85/715.02	c |   1674145 |   59406   190995 |   35080   18869  1875758    99.4 | 10.445 % |
715.05/715.23	c |   1675284 |   59406   190995 |   38588   20008  1960772    98.0 | 10.445 % |
715.35/715.50	c |   1676994 |   59406   190995 |   42447   21718  2101379    96.8 | 10.445 % |
715.85/716.10	c |   1679556 |   59406   190995 |   46692   24280  2322237    95.6 | 10.445 % |
716.75/716.91	c |   1683407 |   59406   190995 |   51361   28131  2637741    93.8 | 10.445 % |
718.05/718.21	c |   1689174 |   59406   190995 |   56497   33898  3101421    91.5 | 10.445 % |
720.45/720.60	c |   1697823 |   59406   190995 |   62147   42547  3772431    88.7 | 10.445 % |
723.84/724.05	c |   1710798 |   59406   190995 |   68361   55522  5280978    95.1 | 10.445 % |
730.25/730.40	c |   1730262 |   59406   190995 |   75198   21664  1899910    87.7 | 10.445 % |
737.34/737.58	c |   1759454 |   59406   190995 |   82717   50856  4813958    94.7 | 10.445 % |
754.04/754.22	c |   1803243 |   59406   190995 |   90989   27437  2251464    82.1 | 10.445 % |
758.54/758.71	c ==============================================================================
758.54/758.71	c Found solution: 30
758.54/758.71	o 30
758.54/758.73	c ---[   0]---> Adder-cost: 0   maxlim: 2977   bits: 12/12
761.74/761.99	c ==================================[MINISAT+]==================================
761.74/761.99	c | Conflicts | Original         | Learnt                           | Progress |
761.74/761.99	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
761.74/761.99	c ==============================================================================
761.74/761.99	c |   1822163 |   59407   191000 |   19802   46357  4328421    93.4 | 10.445 % |
761.84/762.06	c |   1822263 |   59407   191000 |   21782   14996  1367097    91.2 | 10.451 % |
761.84/762.09	c |   1822413 |   59407   191000 |   23960   15146  1372073    90.6 | 10.451 % |
761.94/762.12	c |   1822639 |   59407   191000 |   26356   15372  1384010    90.0 | 10.451 % |
761.94/762.16	c |   1822979 |   59407   191000 |   28992   15712  1408979    89.7 | 10.451 % |
762.05/762.24	c |   1823485 |   59407   191000 |   31891   16218  1445058    89.1 | 10.451 % |
762.15/762.33	c |   1824244 |   59407   191000 |   35080   16977  1501769    88.5 | 10.452 % |
762.24/762.49	c |   1825383 |   59407   191000 |   38588   18116  1590327    87.8 | 10.451 % |
762.54/762.74	c |   1827091 |   59407   191000 |   42447   19824  1704983    86.0 | 10.451 % |
762.94/763.10	c |   1829653 |   59407   191000 |   46692   22386  1891305    84.5 | 10.451 % |
763.64/763.84	c |   1833500 |   59407   191000 |   51361   26233  2167123    82.6 | 10.451 % |
764.94/765.16	c |   1839269 |   59407   191000 |   56497   32002  2495778    78.0 | 10.451 % |
766.54/766.71	c |   1847920 |   59407   191000 |   62147   40653  3475153    85.5 | 10.451 % |
769.84/770.05	c |   1860894 |   59407   191000 |   68361   53627  5189814    96.8 | 10.451 % |
775.64/775.83	c |   1880356 |   59407   191000 |   75198   18215  1771522    97.3 | 10.451 % |
781.94/782.16	c |   1909549 |   59407   191000 |   82717   47408  4805011   101.4 | 10.451 % |
793.63/793.86	c |   1953342 |   59407   191000 |   90989   24732  1811380    73.2 | 10.451 % |
814.33/814.55	c |   2019026 |   59407   191000 |  100088   90416  7253662    80.2 | 10.451 % |
849.63/849.85	c |   2117554 |   59407   191000 |  110097   27530  1618713    58.8 | 10.451 % |
899.82/900.08	c |   2265344 |   59407   191000 |  121107   81265  8788580   108.1 | 10.451 % |
995.69/995.92	c |   2487027 |   59407   191000 |  133217  100212 10572334   105.5 | 10.451 % |
1116.98/1117.26	c ==============================================================================
1116.98/1117.26	c Found solution: 29
1116.98/1117.26	o 29
1116.98/1117.28	c ---[   0]---> Adder-cost: 0   maxlim: 2978   bits: 12/12
1120.27/1120.56	c ==================================[MINISAT+]==================================
1120.27/1120.56	c | Conflicts | Original         | Learnt                           | Progress |
1120.27/1120.56	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1120.27/1120.56	c ==============================================================================
1120.27/1120.56	c |   2793666 |   59408   191006 |   19802   68305  7641441   111.9 | 10.451 % |
1120.47/1120.75	c |   2793768 |   59408   191006 |   21782   11470   810118    70.6 | 10.458 % |
1120.47/1120.78	c |   2793918 |   59408   191006 |   23960   11620   815117    70.1 | 10.458 % |
1120.58/1120.81	c |   2794145 |   59408   191006 |   26356   11847   824249    69.6 | 10.458 % |
1120.58/1120.85	c |   2794482 |   59408   191006 |   28992   12184   840893    69.0 | 10.458 % |
1120.68/1120.90	c |   2794988 |   59408   191006 |   31891   12690   871079    68.6 | 10.458 % |
1120.77/1121.00	c |   2795747 |   59408   191006 |   35080   13449   928188    69.0 | 10.458 % |
1120.87/1121.15	c |   2796888 |   59408   191006 |   38588   14590  1022088    70.1 | 10.458 % |
1121.07/1121.39	c |   2798597 |   59408   191006 |   42447   16299  1197021    73.4 | 10.458 % |
1121.47/1121.75	c |   2801159 |   59408   191006 |   46692   18861  1457491    77.3 | 10.458 % |
1122.17/1122.41	c |   2805004 |   59408   191006 |   51361   22706  1865686    82.2 | 10.458 % |
1123.27/1123.53	c |   2810773 |   59408   191006 |   56497   28475  2413953    84.8 | 10.458 % |
1125.08/1125.31	c |   2819423 |   59408   191006 |   62147   37125  3415453    92.0 | 10.458 % |
1128.47/1128.71	c |   2832397 |   59408   191006 |   68361   50099  4544244    90.7 | 10.458 % |
1134.77/1135.00	c |   2851859 |   59408   191006 |   75198   69561  6728776    96.7 | 10.458 % |
1142.37/1142.62	c |   2881052 |   59408   191006 |   82717   38554  3842847    99.7 | 10.458 % |
1159.57/1159.89	c |   2924842 |   59408   191006 |   90989   82344  8478413   103.0 | 10.458 % |
1179.87/1180.12	c |   2990526 |   59408   191006 |  100088   72960  6902870    94.6 | 10.458 % |
1216.56/1216.89	c |   3089054 |   59408   191006 |  110097   87522  8471995    96.8 | 10.458 % |
1274.66/1274.99	c |   3236847 |   59408   191006 |  121107   52094  4517421    86.7 | 10.458 % |
1361.14/1361.40	c |   3458533 |   59408   191006 |  133217   69143  5494258    79.5 | 10.458 % |
1504.53/1504.85	c |   3791059 |   59408   191006 |  146539   66941  5530693    82.6 | 10.458 % |
1706.90/1707.29	c |   4289847 |   59408   191006 |  161193   64746  6128920    94.7 | 10.458 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	v -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 x6333 -x6335 -x6337 -x6339 x6341 -x6343 -x6345 -x6347 -x6349 -x6351 x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 x6881 -x6883 -x6885 -x6887 -x6889 -x6891 x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 x7077 -x7079 -x7081 x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 x7335 -x7337 -x7339 x7341 -x7343 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x1 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x2 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x3 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x4 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x5 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x6 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x7 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x8 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x9 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x10 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x11 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x12 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x13 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x14 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x15 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x16 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x17 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x18 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x19 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x20 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x21 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x22 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x23 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x24 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x25 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x26 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x27 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x28 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x29 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x30 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x31 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x32 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x33 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x34 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x35 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x36 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x37 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x38 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x39 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x40 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x41 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x42 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x43 -x2775 -x2777 -x2779 -x44 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x45 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x46 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x47 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x48 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 x2950 -x2952 -x2954 -x2956 -x2958 -x49 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x50 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x51 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x52 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x53 -x3032 -x3034 -x3036 -x54 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x55 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x56 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x57 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x58 -x3110 -x3112 -x3114 -x59 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x60 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x61 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x62 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x63 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x64 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x65 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x66 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x67 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x68 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x69 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x70 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x71 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x72 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x73 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x74 -x3726 -x3728 -x3730 -x75 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x76 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x77 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x78 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x79 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x80 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x81 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x82 -x3926 -x3928 -x3930 -x83 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x84 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x85 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x86 -x3990 -x3992 -x3994 -x87 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x88 -x4010 -x4012 -x4014 -x89 -x4016 -x4018 -x4020 -x90 -x4022 -x91 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x92 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x93 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x94 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x95 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x96 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x97 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x98 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x99 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x100 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x101 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x102 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x103 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x104 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x105 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x106 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x107 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x108 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x109 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x110 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x111 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x112 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x113 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 x4855 -x4857 -x4859 -x4861 -x114 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x115 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x116 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x117 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 x118 x4961 -x4963 -x4965 -x119 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x120 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x121 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x122 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x123 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x124 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x125 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x126 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x127 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x128 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x129 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x130 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x131 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x132 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x133 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x134 -x5577 -x5579 -x5581 -x135 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x136 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x137 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x138 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 -x5747 -x139 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x140 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x141 -x5777 -x5779 -x142 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x143 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x144 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 x145 -x5839 x5841 -x5843 -x146 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x147 -x5859 -x5861 -x5863 -x148 -x5865 -x5867 -x5869 -x149 -x5871 -x150 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5924 -x5926 -x5928 -x5930 -x5932 -x151 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x152 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x153 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x154 -x6008 -x6010 -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x155 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048 -x6050 -x156 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x157 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x158 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x159 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x160 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x161 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x162 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 x6244 x163 -x6246 -x6248 -x6250 -x164 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x165 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x166 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 x6332 -x6334 -x6336 -x6338 x6340 -x6342 -x6344 -x6346 -x6348 -x6350 x6352 x167 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x168 -x6368 -x6370 -x6372 -x169 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x170 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x171 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x172 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x173 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x174 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x175 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 x6568 -x6570 -x6572 -x176 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x177 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x178 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x179 -x6632 -x6634 -x6636 -x180 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x181 -x6652 -x6654 -x6656 -x182 -x6658 -x6660 -x6662 -x183 -x6664 -x184 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x185 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x186 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x187 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 x6782 x188 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x189 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x190 -x6812 -x6814 -x6816 -x191 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x192 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x193 -x6844 -x6846 -x6848 -x194 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 x6880 -x6882 -x6884 -x6886 -x6888 -x6890 x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x195 -x6908 -x6910 -x196 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x197 -x6926 -x6928 -x6930 -x198 -x6932 -x6934 x6936 x199 -x6938 -x200 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x201 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x202 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x203 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x204 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x205 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 x7126 -x7128 -x7130 -x7132 -x206 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x207 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x208 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x209 -x7192 -x7194 -x7196 -x210 -x7198 -x7200 -x7202 -x7204 -x7206 -x7208 -x7210 -x211 -x7212 -x7214 -x7216 -x212 -x7218 -x7220 x7222 x213 -x7224 -x7226 -x7228 -x7230 -x7232 -x7234 -x7236 x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x214 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 x7276 -x7278 -x215 -x7280 -x7282 -x7284 -x7286 -x7288 x7290 -x7292 -x7294 -x7296 -x7298 -x216 -x7300 -x7302 -x217 -x7304 -x7306 -x7308 -x218 -x7310 -x219 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x220 -x7324 -x7326 -x7328 -x221 -x7330 -x7332 x7334 x222 -x7336 -x223 -x7338 x7340 x224 -x7342 -x225 x226

Verifier Data

OK	29

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-3721569-1338557982/watcher-3721569-1338557982 -o /tmp/evaluation-result-3721569-1338557982/solver-3721569-1338557982 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721569-1338557982.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: 2.01 2.02 1.95 3/176 22633
/proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=1960 CPUtime=0 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 321923890 2007040 284 33554432000 134512640 135395479 4290614432 4290613400 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 490 284 74 216 0 272 0

[startup+0.076174 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 22633
/proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=3412 CPUtime=0.07 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 683 0 0 0 7 0 0 0 20 0 1 0 321923890 3493888 640 33554432000 134512640 135395479 4290614432 4290612980 135005290 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 853 641 74 216 0 635 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3412

[startup+0.10021 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 22633
/proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=3844 CPUtime=0.09 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 794 0 0 0 9 0 0 0 20 0 1 0 321923890 3936256 751 33554432000 134512640 135395479 4290614432 4290612884 135003247 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 961 752 74 216 0 743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3844

[startup+0.30018 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 22633
/proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=7512 CPUtime=0.29 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 1722 0 0 0 29 0 0 0 20 0 1 0 321923890 7692288 1679 33554432000 134512640 135395479 4290614432 4290613152 135005847 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 1878 1680 75 216 0 1660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7512

[startup+0.700176 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 22633
/proc/meminfo: memFree=28936252/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=9660 CPUtime=0.69 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2328 0 0 0 68 1 0 0 20 0 1 0 321923890 9891840 2241 33554432000 134512640 135395479 4290614432 4290229916 135005888 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 2415 2241 104 216 0 2197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9660

[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 22634
/proc/meminfo: memFree=28927728/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=9660 CPUtime=1.49 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2349 0 0 0 148 1 0 0 20 0 1 0 321923890 9891840 2262 33554432000 134512640 135395479 4290614432 4290349428 135005314 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 2415 2262 104 216 0 2197 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9660

[startup+3.10018 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 22634
/proc/meminfo: memFree=28927224/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=9968 CPUtime=3.09 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 2429 0 0 0 308 1 0 0 20 0 1 0 321923890 10207232 2342 33554432000 134512640 135395479 4290614432 4290223680 134809838 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 2492 2342 104 216 0 2274 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9968

[startup+6.30018 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 22634
/proc/meminfo: memFree=28916312/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=23104 CPUtime=6.29 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 6381 0 0 0 628 1 0 0 20 0 1 0 321923890 23658496 5599 33554432000 134512640 135395479 4290614432 4290612784 134580945 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 5776 5599 123 216 0 5558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23104

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 22634
/proc/meminfo: memFree=28901068/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=37088 CPUtime=12.69 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 9871 0 0 0 1267 2 0 0 20 0 1 0 321923890 37978112 9089 33554432000 134512640 135395479 4290614432 4290612784 134580938 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/22633/statm: 9272 9089 123 216 0 9054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37088

[startup+25.5003 s]
/proc/loadavg: 2.09 2.04 1.96 3/178 22637
/proc/meminfo: memFree=28879824/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=56948 CPUtime=25.48 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 14837 0 0 0 2544 4 0 0 20 0 1 0 321923890 58314752 14055 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 14237 14055 123 216 0 14019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56948

[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 1.96 3/178 22637
/proc/meminfo: memFree=28865316/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=72300 CPUtime=51.06 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 18696 0 0 0 5100 6 0 0 20 0 1 0 321923890 74035200 17916 33554432000 134512640 135395479 4290614432 4290612784 134581428 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 18075 17916 123 216 0 17857 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 72300

[startup+102.306 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 22637
/proc/meminfo: memFree=28849364/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=85764 CPUtime=102.25 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 22031 0 0 0 10218 7 0 0 20 0 1 0 321923890 87822336 21255 33554432000 134512640 135395479 4290614432 4290612784 134581436 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 21441 21255 123 216 0 21223 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 85764

[startup+162.3 s]
/proc/loadavg: 1.95 2.00 1.95 3/177 22689
/proc/meminfo: memFree=28753828/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=105508 CPUtime=162.23 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 26943 0 0 0 16214 9 0 0 20 0 1 0 321923890 108040192 26170 33554432000 134512640 135395479 4290614432 4290612784 134581284 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 26377 26170 123 216 0 26159 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 105508

[startup+222.3 s]
/proc/loadavg: 1.98 2.00 1.95 3/177 22689
/proc/meminfo: memFree=28564648/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=111020 CPUtime=222.22 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 28341 0 0 0 22212 10 0 0 20 0 1 0 321923890 113684480 27572 33554432000 134512640 135395479 4290614432 4290612480 134584041 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 27755 27572 123 216 0 27537 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111020

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22689
/proc/meminfo: memFree=28410668/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=122144 CPUtime=282.22 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31066 0 0 0 28211 11 0 0 20 0 1 0 321923890 125075456 30297 33554432000 134512640 135395479 4290614432 4290612784 134581216 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 30536 30297 123 216 0 30318 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 122144

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22689
/proc/meminfo: memFree=28273428/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=122952 CPUtime=342.21 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31212 0 0 0 34210 11 0 0 20 0 1 0 321923890 125902848 30443 33554432000 134512640 135395479 4290614432 4290612784 134581500 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 30738 30443 123 216 0 30520 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 122952

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22689
/proc/meminfo: memFree=28163468/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=123444 CPUtime=402.2 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31304 0 0 0 40209 11 0 0 20 0 1 0 321923890 126406656 30535 33554432000 134512640 135395479 4290614432 4290612784 134580798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 30861 30535 123 216 0 30643 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 123444

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22690
/proc/meminfo: memFree=28066280/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=123932 CPUtime=462.19 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 31420 0 0 0 46208 11 0 0 20 0 1 0 321923890 126906368 30651 33554432000 134512640 135395479 4290614432 4290612784 134580789 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 30983 30651 123 216 0 30765 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 123932

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22690
/proc/meminfo: memFree=27986204/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=131064 CPUtime=522.18 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33139 0 0 0 52206 12 0 0 20 0 1 0 321923890 134209536 32370 33554432000 134512640 135395479 4290614432 4290612784 134580825 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 32766 32370 123 216 0 32548 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 131064

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/177 22690
/proc/meminfo: memFree=27911832/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=133000 CPUtime=582.17 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33569 0 0 0 58205 12 0 0 20 0 1 0 321923890 136192000 32800 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 33250 32800 123 216 0 33032 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 133000

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 22694
/proc/meminfo: memFree=27722968/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=134820 CPUtime=822.13 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33762 0 0 0 82201 12 0 0 20 0 1 0 321923890 138055680 32951 33554432000 134512640 135395479 4290614432 4290612784 134580756 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 33705 32951 123 216 0 33487 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 134820

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 22694
/proc/meminfo: memFree=27723060/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=134820 CPUtime=882.12 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33762 0 0 0 88200 12 0 0 20 0 1 0 321923890 138055680 32951 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 33705 32951 123 216 0 33487 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 134820

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/177 22694
/proc/meminfo: memFree=27722788/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=134980 CPUtime=942.1 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 33820 0 0 0 94198 12 0 0 20 0 1 0 321923890 138219520 33047 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 33745 33047 123 216 0 33527 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 134980

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22694
/proc/meminfo: memFree=27721920/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=136192 CPUtime=1002.09 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34049 0 0 0 100197 12 0 0 20 0 1 0 321923890 139460608 33276 33554432000 134512640 135395479 4290614432 4290612784 134581183 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34048 33276 123 216 0 33830 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 136192

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22695
/proc/meminfo: memFree=27721176/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=136928 CPUtime=1062.08 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34230 0 0 0 106196 12 0 0 20 0 1 0 321923890 140214272 33457 33554432000 134512640 135395479 4290614432 4290612304 134574370 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34232 33457 123 216 0 34014 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 136928

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22695
/proc/meminfo: memFree=27721052/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=136928 CPUtime=1122.07 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34272 0 0 0 112195 12 0 0 20 0 1 0 321923890 140214272 33457 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34232 33457 123 216 0 34014 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 136928

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 22695
/proc/meminfo: memFree=27721176/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=137092 CPUtime=1182.07 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34299 0 0 0 118195 12 0 0 20 0 1 0 321923890 140382208 33484 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34273 33484 123 216 0 34055 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 137092

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 22698
/proc/meminfo: memFree=27720920/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=137256 CPUtime=1242.06 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34338 0 0 0 124194 12 0 0 20 0 1 0 321923890 140550144 33523 33554432000 134512640 135395479 4290614432 4290612784 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34314 33523 123 216 0 34096 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 137256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 22721
/proc/meminfo: memFree=27719308/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=138316 CPUtime=1302.05 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34542 0 0 0 130193 12 0 0 20 0 1 0 321923890 141635584 33727 33554432000 134512640 135395479 4290614432 4290612784 134581451 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34579 33727 123 216 0 34361 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 138316

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 22722
/proc/meminfo: memFree=27718696/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=138692 CPUtime=1362.04 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34626 0 0 0 136192 12 0 0 20 0 1 0 321923890 142020608 33811 33554432000 134512640 135395479 4290614432 4290612784 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34673 33811 123 216 0 34455 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 138692

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 1.97 3/177 22722
/proc/meminfo: memFree=27717828/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=139660 CPUtime=1422.03 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 34820 0 0 0 142191 12 0 0 20 0 1 0 321923890 143011840 34005 33554432000 134512640 135395479 4290614432 4290612784 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 34915 34005 123 216 0 34697 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 139660

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/177 22722
/proc/meminfo: memFree=27717084/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=140908 CPUtime=1482.02 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35099 0 0 0 148190 12 0 0 20 0 1 0 321923890 144289792 34284 33554432000 134512640 135395479 4290614432 4290612896 134588672 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 35227 34284 123 216 0 35009 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 140908

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/177 22722
/proc/meminfo: memFree=27715968/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=142200 CPUtime=1542.02 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35344 0 0 0 154189 13 0 0 20 0 1 0 321923890 145612800 34529 33554432000 134512640 135395479 4290614432 4290612688 134568540 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 35550 34529 123 216 0 35332 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 142200

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22722
/proc/meminfo: memFree=27715844/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=142444 CPUtime=1602.01 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35413 0 0 0 160188 13 0 0 20 0 1 0 321923890 145862656 34598 33554432000 134512640 135395479 4290614432 4290612784 134580798 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 35611 34598 123 216 0 35393 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 142444

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22723
/proc/meminfo: memFree=27714852/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=143656 CPUtime=1662 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35691 0 0 0 166187 13 0 0 20 0 1 0 321923890 147103744 34868 33554432000 134512640 135395479 4290614432 4290612784 134580890 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 35914 34868 123 216 0 35696 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 143656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22723
/proc/meminfo: memFree=27713360/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=144440 CPUtime=1721.99 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 35851 0 0 0 172186 13 0 0 20 0 1 0 321923890 147906560 35144 33554432000 134512640 135395479 4290614432 4290612784 134580840 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 36110 35144 123 216 0 35892 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 144440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22723
/proc/meminfo: memFree=27711996/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=145968 CPUtime=1781.98 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 36178 0 0 0 178185 13 0 0 20 0 1 0 321923890 149471232 35471 33554432000 134512640 135395479 4290614432 4290612784 134580929 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 36492 35471 123 216 0 36274 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 145968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 22723
/proc/meminfo: memFree=27712120/32873844 swapFree=7112/7112
[pid=22633] ppid=22631 vsize=145968 CPUtime=1800.08 cores=0,2,4,6
/proc/22633/stat : 22633 (minisat+) R 22631 22633 22116 0 -1 4202496 36178 0 0 0 179995 13 0 0 20 0 1 0 321923890 149471232 35471 33554432000 134512640 135395479 4290614432 4290612784 134581412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/22633/statm: 36492 35471 123 216 0 36274 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 145968

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

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.96
CPU system time (s): 0.135979
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 145968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.135979
maximum resident set size= 141892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36180
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= 61
involuntary context switches= 1901

runsolver used 3.23951 second user time and 9.12661 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-01 15:39:42
IDJOB=3721569
IDBENCH=24989
IDSOLVER=2306
FILE ID=node119/3721569-1338557982
RUNJOBID= node119-1338552571-22132
PBS_JOBID= 14635865
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1
RANDOM SEED=1911456512

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28936516 kB
Buffers:          356664 kB
Cached:          2742304 kB
SwapCached:         1912 kB
Active:          1368244 kB
Inactive:        1765704 kB
Active(anon):      30684 kB
Inactive(anon):     6604 kB
Active(file):    1337560 kB
Inactive(file):  1759100 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100216 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         40164 kB
Mapped:            12212 kB
Shmem:                 0 kB
Slab:             667600 kB
SReclaimable:     109952 kB
SUnreclaim:       557648 kB
KernelStack:        1456 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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-3721569-1338557982.opb

Free space on /tmp at the end= 70916 MiB
End job on node119 at 2012-06-01 16:09:45