Trace number 3721601

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: minisat+ 1.14OPT20 1115.42 1115.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark47.4058
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24417
/proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=1400 CPUtime=0 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 196 0 0 0 0 0 0 0 20 0 1 0 321928161 1433600 153 33554432000 134512640 135395479 4293767536 4293766368 134618678 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 350 153 75 216 0 132 0

[startup+0.09406 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24417
/proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=3236 CPUtime=0.09 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 321928161 3313664 628 33554432000 134512640 135395479 4293767536 4293766504 135031278 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 809 628 75 216 0 591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3236

[startup+0.100587 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24417
/proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=3372 CPUtime=0.09 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 692 0 0 0 9 0 0 0 20 0 1 0 321928161 3452928 649 33554432000 134512640 135395479 4293767536 4293766172 135007481 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 843 649 75 216 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3372

[startup+0.300187 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24417
/proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=8040 CPUtime=0.29 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 1891 0 0 0 28 1 0 0 20 0 1 0 321928161 8232960 1848 33554432000 134512640 135395479 4293767536 4293627340 134838067 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 2010 1848 89 216 0 1792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8040

[startup+0.700178 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24417
/proc/meminfo: memFree=28082232/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=9680 CPUtime=0.69 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 2342 0 0 0 68 1 0 0 20 0 1 0 321928161 9912320 2231 33554432000 134512640 135395479 4293767536 4293765888 134580756 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 2420 2231 123 216 0 2202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9680

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24418
/proc/meminfo: memFree=28070760/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=10864 CPUtime=1.49 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 2627 0 0 0 148 1 0 0 20 0 1 0 321928161 11124736 2516 33554432000 134512640 135395479 4293767536 4293765408 134574149 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 2716 2516 123 216 0 2498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10864

[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24418
/proc/meminfo: memFree=28064304/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=19468 CPUtime=3.09 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 4790 0 0 0 308 1 0 0 20 0 1 0 321928161 19935232 4666 33554432000 134512640 135395479 4293767536 4293765756 135010894 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 4867 4666 124 216 0 4649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19468

[startup+6.30019 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24418
/proc/meminfo: memFree=28050184/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=25732 CPUtime=6.29 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 6360 0 0 0 627 2 0 0 20 0 1 0 321928161 26349568 6236 33554432000 134512640 135395479 4293767536 4293765888 134580732 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/24417/statm: 6433 6236 124 216 0 6215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25732

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24418
/proc/meminfo: memFree=28037908/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=36892 CPUtime=12.68 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 9138 0 0 0 1266 2 0 0 20 0 1 0 321928161 37777408 9014 33554432000 134512640 135395479 4293767536 4293765436 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 9223 9014 124 216 0 9005 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36892

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24418
/proc/meminfo: memFree=28018332/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=44548 CPUtime=25.48 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11040 0 0 0 2545 3 0 0 20 0 1 0 321928161 45617152 10916 33554432000 134512640 135395479 4293767536 4293765888 134580970 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 11137 10916 124 216 0 10919 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44548

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24418
/proc/meminfo: memFree=28007512/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=45044 CPUtime=51.08 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11166 0 0 0 5105 3 0 0 20 0 1 0 321928161 46125056 11047 33554432000 134512640 135395479 4293767536 4293765888 134580756 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 11261 11047 124 216 0 11043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45044

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24418
/proc/meminfo: memFree=28001280/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=48164 CPUtime=102.26 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 11907 0 0 0 10222 4 0 0 20 0 1 0 321928161 49319936 11788 33554432000 134512640 135395479 4293767536 4293765888 134581150 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 12041 11788 124 216 0 11823 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48164

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24418
/proc/meminfo: memFree=27996304/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=49056 CPUtime=162.24 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 12125 0 0 0 16220 4 0 0 20 0 1 0 321928161 50233344 12032 33554432000 134512640 135395479 4293767536 4293765856 134572724 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 12264 12032 124 216 0 12046 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49056

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 24419
/proc/meminfo: memFree=27994688/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=49596 CPUtime=222.23 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 12236 0 0 0 22219 4 0 0 20 0 1 0 321928161 50786304 12143 33554432000 134512640 135395479 4293767536 4293765840 134580268 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 12399 12143 124 216 0 12181 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49596

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 24419
/proc/meminfo: memFree=27963360/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=68040 CPUtime=282.21 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 16802 0 0 0 28215 6 0 0 20 0 1 0 321928161 69672960 16729 33554432000 134512640 135395479 4293767536 4293765888 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17010 16729 124 216 0 16792 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 68040

[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 24419
/proc/meminfo: memFree=27962736/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=68436 CPUtime=342.2 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 16908 0 0 0 34214 6 0 0 20 0 1 0 321928161 70078464 16835 33554432000 134512640 135395479 4293767536 4293765856 134573398 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17109 16835 124 216 0 16891 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 68436

[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 24419
/proc/meminfo: memFree=27962240/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=69032 CPUtime=402.19 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17049 0 0 0 40213 6 0 0 20 0 1 0 321928161 70688768 16968 33554432000 134512640 135395479 4293767536 4293765856 134573350 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17258 16968 124 216 0 17040 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 69032

[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 24419
/proc/meminfo: memFree=27958332/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=69276 CPUtime=462.18 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17098 0 0 0 46212 6 0 0 20 0 1 0 321928161 70938624 17017 33554432000 134512640 135395479 4293767536 4293765888 134580915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17319 17017 124 216 0 17101 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 69276

[startup+522.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 24419
/proc/meminfo: memFree=27957844/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=69768 CPUtime=522.17 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17202 0 0 0 52211 6 0 0 20 0 1 0 321928161 71442432 17121 33554432000 134512640 135395479 4293767536 4293765856 134573350 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17442 17121 124 216 0 17224 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 69768

[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/178 24423
/proc/meminfo: memFree=27957268/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=69932 CPUtime=582.16 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17233 0 0 0 58210 6 0 0 20 0 1 0 321928161 71610368 17152 33554432000 134512640 135395479 4293767536 4293765888 134580970 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17483 17152 124 216 0 17265 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 69932

[startup+642.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 24423
/proc/meminfo: memFree=27957152/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70096 CPUtime=642.16 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17265 0 0 0 64210 6 0 0 20 0 1 0 321928161 71778304 17184 33554432000 134512640 135395479 4293767536 4293765888 134581170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17524 17184 124 216 0 17306 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 70096

[startup+702.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 24423
/proc/meminfo: memFree=27956656/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70668 CPUtime=702.15 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 70209 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765504 134580212 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17667 17315 124 216 0 17449 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 70668

[startup+762.307 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 24423
/proc/meminfo: memFree=27956656/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70668 CPUtime=762.14 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 76208 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765888 134581150 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17667 17315 124 216 0 17449 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 70668

[startup+822.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24423
/proc/meminfo: memFree=27955540/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70668 CPUtime=822.13 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17396 0 0 0 82207 6 0 0 20 0 1 0 321928161 72364032 17315 33554432000 134512640 135395479 4293767536 4293765888 134580950 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17667 17315 124 216 0 17449 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 70668

[startup+882.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27955168/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70912 CPUtime=882.12 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17438 0 0 0 88206 6 0 0 20 0 1 0 321928161 72613888 17357 33554432000 134512640 135395479 4293767536 4293765888 134580886 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17728 17357 124 216 0 17510 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 70912

[startup+942.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27929924/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=70912 CPUtime=942.11 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17438 0 0 0 94205 6 0 0 20 0 1 0 321928161 72613888 17357 33554432000 134512640 135395479 4293767536 4293766000 134588612 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17728 17357 124 216 0 17510 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 70912

[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27929800/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71076 CPUtime=1002.1 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17473 0 0 0 100204 6 0 0 20 0 1 0 321928161 72781824 17392 33554432000 134512640 135395479 4293767536 4293765888 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17769 17392 124 216 0 17551 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 71076

[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27929352/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71236 CPUtime=1062.09 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17503 0 0 0 106203 6 0 0 20 0 1 0 321928161 72945664 17422 33554432000 134512640 135395479 4293767536 4293765888 134581053 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17809 17422 124 216 0 17591 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 71236

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

[startup+1075.1 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27929600/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71236 CPUtime=1074.89 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17503 0 0 0 107483 6 0 0 20 0 1 0 321928161 72945664 17422 33554432000 134512640 135395479 4293767536 4293765888 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17809 17422 124 216 0 17591 0
Current children cumulated CPU time (s) 1074.89
Current children cumulated vsize (KiB) 71236

[startup+1100.7 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 24424
/proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1100.49 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 110043 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1100.49
Current children cumulated vsize (KiB) 71316

[startup+1107.1 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 24424
/proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1106.88 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 110682 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134581183 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1106.88
Current children cumulated vsize (KiB) 71316

[startup+1110.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27929476/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1110.08 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111002 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765408 134574107 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1110.08
Current children cumulated vsize (KiB) 71316

[startup+1113.5 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27928732/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1113.28 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111322 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1113.28
Current children cumulated vsize (KiB) 71316

[startup+1114.31 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27927616/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1114.09 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111403 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765888 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1114.09
Current children cumulated vsize (KiB) 71316

[startup+1115.1 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27927616/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1114.88 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111482 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765504 134579871 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1114.88
Current children cumulated vsize (KiB) 71316

[startup+1115.5 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27926500/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1115.28 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111522 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765408 134574442 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1115.28
Current children cumulated vsize (KiB) 71316

[startup+1115.6 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 24424
/proc/meminfo: memFree=27926500/32873844 swapFree=7628/7628
[pid=24417] ppid=24415 vsize=71316 CPUtime=1115.38 cores=1,3,5,7
/proc/24417/stat : 24417 (minisat+) R 24415 24417 23511 0 -1 4202496 17509 0 0 0 111532 6 0 0 20 0 1 0 321928161 73027584 17428 33554432000 134512640 135395479 4293767536 4293765856 134572776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/24417/statm: 17829 17428 124 216 0 17611 0
Current children cumulated CPU time (s) 1115.38
Current children cumulated vsize (KiB) 71316

Child status: 30
Real time (s): 1115.63
CPU time (s): 1115.42
CPU user time (s): 1115.35
CPU system time (s): 0.069989
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 71316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.35
system time used= 0.069989
maximum resident set size= 69716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17512
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= 31
involuntary context switches= 1210

runsolver used 2.09368 second user time and 5.72013 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-01 15:40:38
IDJOB=3721601
IDBENCH=25021
IDSOLVER=2306
FILE ID=node143/3721601-1338558038
RUNJOBID= node143-1338554380-23594
PBS_JOBID= 14635841
Free space on /tmp= 68544 MiB

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

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=1984486270

node143.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.787
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.57
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.787
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.787
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.91
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.91
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.787
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:        28084972 kB
Buffers:          332312 kB
Cached:          3508972 kB
SwapCached:          112 kB
Active:          1951144 kB
Inactive:        1947504 kB
Active(anon):      49144 kB
Inactive(anon):    10916 kB
Active(file):    1902000 kB
Inactive(file):  1936588 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108424 kB
Dirty:              5580 kB
Writeback:             0 kB
AnonPages:         64784 kB
Mapped:            10712 kB
Shmem:               160 kB
Slab:             754592 kB
SReclaimable:     196916 kB
SUnreclaim:       557676 kB
KernelStack:        1472 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     173248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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-3721601-1338558038.opb

Free space on /tmp at the end= 68544 MiB
End job on node143 at 2012-06-01 15:59:14