Trace number 373121

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, and are wall clock time (not CPU 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
minisat+ 1.14SAT (TO)21 1800.08 1800.73

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 benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.08
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 (download as text)

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

Verifier Data (download as text)

OK	21

Conversion Script Data (download as text)

/tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-373121-1177168108 -o ROOT/results/node33/solver-373121-1177168108 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20755
/proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=1180 CPUtime=0
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 164726288 1208320 124 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 295 124 75 215 0 77 0

[startup+0.0703551 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20755
/proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=1864 CPUtime=0.06
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 308 0 0 0 6 0 0 0 18 0 1 0 164726288 1908736 293 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 466 293 75 215 0 248 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1864

[startup+0.101361 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20755
/proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=2152 CPUtime=0.09
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 383 0 0 0 9 0 0 0 18 0 1 0 164726288 2203648 368 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 538 368 75 215 0 320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2152

[startup+0.301403 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20755
/proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=4008 CPUtime=0.29
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 852 0 0 0 29 0 0 0 19 0 1 0 164726288 4104192 837 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 1002 837 75 215 0 784 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4008

[startup+0.701485 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 20755
/proc/meminfo: memFree=1698536/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=8160 CPUtime=0.68
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 1868 0 0 0 66 2 0 0 18 0 1 0 164726288 8355840 1853 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 2040 1853 89 215 0 1822 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8160

[startup+1.50165 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1690016/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=9668 CPUtime=1.49
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 2313 0 0 0 146 3 0 0 24 0 1 0 164726288 9900032 2230 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 2417 2230 123 215 0 2199 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9668

[startup+3.10198 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1689760/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=10720 CPUtime=3.09
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 2570 0 0 0 306 3 0 0 25 0 1 0 164726288 10977280 2487 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 2680 2487 123 215 0 2462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10720

[startup+6.30263 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1683616/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=19328 CPUtime=6.29
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 4710 0 0 0 625 4 0 0 25 0 1 0 164726288 19791872 4614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 4832 4614 124 215 0 4614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19328

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1675064/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=25088 CPUtime=12.69
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 6141 0 0 0 1264 5 0 0 25 0 1 0 164726288 25690112 6045 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576867 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 6272 6045 124 215 0 6054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25088

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1665464/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=34296 CPUtime=25.48
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 8467 0 0 0 2541 7 0 0 25 0 1 0 164726288 35119104 8371 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 8574 8371 124 215 0 8356 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34296

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1655032/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=44536 CPUtime=51.07
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11010 0 0 0 5097 10 0 0 25 0 1 0 164726288 45604864 10914 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 11134 10914 124 215 0 10916 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44536

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 20756
/proc/meminfo: memFree=1654840/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=44816 CPUtime=102.25
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11050 0 0 0 10215 10 0 0 25 0 1 0 164726288 45891584 10954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 11204 10954 124 215 0 10986 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 44816

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1654456/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=45184 CPUtime=162.23
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11159 0 0 0 16212 11 0 0 25 0 1 0 164726288 46268416 11063 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 11296 11063 124 215 0 11078 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 45184

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1654264/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=45488 CPUtime=222.21
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11210 0 0 0 22210 11 0 0 25 0 1 0 164726288 46579712 11114 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 11372 11114 124 215 0 11154 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 45488

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1651832/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=47904 CPUtime=282.19
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11820 0 0 0 28207 12 0 0 25 0 1 0 164726288 49053696 11724 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 11976 11724 124 215 0 11758 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 47904

[startup+342.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 20756
/proc/meminfo: memFree=1651448/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=48328 CPUtime=342.17
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 11910 0 0 0 34204 13 0 0 25 0 1 0 164726288 49487872 11814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580450 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12082 11814 124 215 0 11864 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 48328

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 20756
/proc/meminfo: memFree=1650744/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=49080 CPUtime=402.14
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12088 0 0 0 40201 13 0 0 25 0 1 0 164726288 50257920 11992 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581457 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12270 11992 124 215 0 12052 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49080

[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1650744/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=49080 CPUtime=462.12
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12092 0 0 0 46198 14 0 0 25 0 1 0 164726288 50257920 11996 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580888 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12270 11996 124 215 0 12052 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 49080

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1650680/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=49080 CPUtime=522.11
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12092 0 0 0 52196 15 0 0 25 0 1 0 164726288 50257920 11996 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12270 11996 124 215 0 12052 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 49080

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1650616/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=49244 CPUtime=582.08
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12121 0 0 0 58193 15 0 0 25 0 1 0 164726288 50425856 12025 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12311 12025 124 215 0 12093 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 49244

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1650424/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=49408 CPUtime=642.07
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 12168 0 0 0 64191 16 0 0 25 0 1 0 164726288 50593792 12072 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 12352 12072 124 215 0 12134 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 49408


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68092 CPUtime=881.98
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16764 0 0 0 88175 23 0 0 25 0 1 0 164726288 69726208 16668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17023 16668 124 215 0 16805 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 68092

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68092 CPUtime=941.95
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16764 0 0 0 94172 23 0 0 25 0 1 0 164726288 69726208 16668 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17023 16668 124 215 0 16805 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 68092

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631992/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68092 CPUtime=1001.93
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16777 0 0 0 100169 24 0 0 25 0 1 0 164726288 69726208 16681 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17023 16681 124 215 0 16805 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 68092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631928/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68092 CPUtime=1061.91
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16786 0 0 0 106167 24 0 0 25 0 1 0 164726288 69726208 16690 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17023 16690 124 215 0 16805 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 68092

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631608/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68416 CPUtime=1121.89
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16879 0 0 0 112164 25 0 0 25 0 1 0 164726288 70057984 16775 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17104 16775 124 215 0 16886 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 68416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631544/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68416 CPUtime=1181.87
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16887 0 0 0 118161 26 0 0 25 0 1 0 164726288 70057984 16783 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17104 16783 124 215 0 16886 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 68416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631416/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68632 CPUtime=1241.85
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 16920 0 0 0 124159 26 0 0 25 0 1 0 164726288 70279168 16816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17158 16816 124 215 0 16940 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 68632

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631096/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=68932 CPUtime=1301.82
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17000 0 0 0 130156 26 0 0 25 0 1 0 164726288 70586368 16888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17233 16888 124 215 0 17015 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 68932

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1631032/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69012 CPUtime=1361.8
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17023 0 0 0 136153 27 0 0 25 0 1 0 164726288 70668288 16911 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17253 16911 124 215 0 17035 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 69012

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1630904/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69224 CPUtime=1421.78
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17047 0 0 0 142151 27 0 0 25 0 1 0 164726288 70885376 16935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17306 16935 124 215 0 17088 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 69224

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 20756
/proc/meminfo: memFree=1630840/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69304 CPUtime=1481.76
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17066 0 0 0 148148 28 0 0 25 0 1 0 164726288 70967296 16954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17326 16954 124 215 0 17108 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 69304

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 20756
/proc/meminfo: memFree=1630840/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69304 CPUtime=1541.74
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17067 0 0 0 154146 28 0 0 25 0 1 0 164726288 70967296 16955 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573188 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17326 16955 124 215 0 17108 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 69304

[startup+1602.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/78 20756
/proc/meminfo: memFree=1630776/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69304 CPUtime=1601.72
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17071 0 0 0 160143 29 0 0 25 0 1 0 164726288 70967296 16959 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581008 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17326 16959 124 215 0 17108 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 69304

[startup+1662.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 20756
/proc/meminfo: memFree=1630648/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69632 CPUtime=1661.69
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17132 0 0 0 166140 29 0 0 25 0 1 0 164726288 71303168 17020 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17408 17020 124 215 0 17190 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 69632

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 20756
/proc/meminfo: memFree=1630520/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69632 CPUtime=1721.68
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17140 0 0 0 172138 30 0 0 25 0 1 0 164726288 71303168 17028 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17408 17028 124 215 0 17190 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 69632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20756
/proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69796 CPUtime=1781.65
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 178135 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574561 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17449 17065 124 215 0 17231 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 69796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20756
/proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69796 CPUtime=1800.05
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 179975 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17449 17065 124 215 0 17231 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69796

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 20756
/proc/meminfo: memFree=1630392/2055920 swapFree=4180512/4192956
[pid=20755] ppid=20753 vsize=69796 CPUtime=1800.05
/proc/20755/stat : 20755 (minisat+) R 20753 20755 19728 0 -1 4194304 17177 0 0 0 179975 30 0 0 25 0 1 0 164726288 71471104 17065 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/20755/statm: 17449 17065 124 215 0 17231 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69796

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.08
CPU user time (s): 1799.76
CPU system time (s): 0.32295
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 69796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17179
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= 119
involuntary context switches= 3287

runsolver used 2.21166 second user time and 4.36534 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Apr 21 15:08:28 UTC 2007

IDJOB= 373121
IDBENCH= 25021
IDSOLVER= 156
FILE ID= node33/373121-1177168108

PBS_JOBID= 4648934

Free space on /tmp= 66475 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-373121-1177168108 -o ROOT/results/node33/conversion-373121-1177168108 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-373121-1177168108 -o ROOT/results/node33/solver-373121-1177168108 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373121-1177168108/minisat+ /tmp/evaluation/373121-1177168108/instance-373121-1177168108.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  130be24ef6faf784c5a8bf386cbf11b2

RANDOM SEED= 386705818

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.272
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1698944 kB
Buffers:         40780 kB
Cached:         217520 kB
SwapCached:       2276 kB
Active:         218812 kB
Inactive:        84004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1698944 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:          59452 kB
Slab:            39396 kB
Committed_AS:  1751632 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66475 MiB

End job on node33 on Sat Apr 21 15:38:31 UTC 2007