Trace number 373065

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.14OPT18 1288.62 1289.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1288.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
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.39/0.42	c Converting 15115 PB-constraints to clauses...
0.39/0.43	c   -- Unit propagations: (none)
0.39/0.43	c   -- Detecting intervals from adjacent constraints: ======
0.39/0.43	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.46	c ---[   0]---> Adder-cost: 958   maxlim: 461   bits: 9/9
0.59/0.62	c ==================================[MINISAT+]==================================
0.59/0.62	c | Conflicts | Original         | Learnt                           | Progress |
0.59/0.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.59/0.62	c ==============================================================================
0.59/0.62	c |         0 |   21769    61715 |    7256       0        0     nan |  0.000 % |
0.59/0.64	c |       100 |   21762    61692 |    7981      99      896     9.1 |  0.265 % |
0.59/0.69	c |       250 |   21729    61581 |    8779     244     2236     9.2 |  0.379 % |
0.69/0.75	c |       475 |   21644    61286 |    9657     456     3967     8.7 |  0.663 % |
0.79/0.85	c |       812 |   21637    61263 |   10623     792     6886     8.7 |  0.682 % |
0.89/0.96	c |      1319 |   21628    61234 |   11685    1297    25476    19.6 |  0.720 % |
1.00/1.10	c |      2078 |   21628    61234 |   12854    2056    98289    47.8 |  0.720 % |
1.29/1.33	c |      3218 |   21628    61234 |   14139    3196   213622    66.8 |  0.720 % |
1.49/1.58	c ==============================================================================
1.49/1.58	c Found solution: 26
1.49/1.58	o 26
1.49/1.59	c ---[   0]---> Sorter-cost:18406     Base:
1.69/1.76	c ==================================[MINISAT+]==================================
1.69/1.76	c | Conflicts | Original         | Learnt                           | Progress |
1.69/1.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.69/1.76	c ==============================================================================
1.69/1.76	c |      4059 |   40291   104730 |   13430    4037   363362    90.0 |  0.720 % |
1.69/1.78	c |      4159 |   40291   104730 |   14773    4137   369460    89.3 |  2.512 % |
1.79/1.83	c |      4311 |   40282   104699 |   16250    4286   378955    88.4 |  2.517 % |
1.89/1.91	c |      4536 |   40282   104699 |   17875    4511   407440    90.3 |  2.517 % |
1.89/1.99	c ==============================================================================
1.89/1.99	c Found solution: 23
1.89/1.99	o 23
1.99/2.00	c ---[   0]---> Sorter-cost:    0     Base:
2.09/2.15	c ==================================[MINISAT+]==================================
2.09/2.15	c | Conflicts | Original         | Learnt                           | Progress |
2.09/2.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.09/2.15	c ==============================================================================
2.09/2.15	c |      4792 |   40304   104752 |   13434    4767   420149    88.1 |  2.517 % |
2.19/2.21	c |      4895 |   40304   104752 |   14777    4870   431679    88.6 |  2.521 % |
2.19/2.25	c |      5046 |   40304   104752 |   16255    5021   443709    88.4 |  2.521 % |
2.29/2.31	c |      5271 |   40304   104752 |   17880    5246   453445    86.4 |  2.521 % |
2.39/2.45	c |      5608 |   40304   104752 |   19668    5583   479551    85.9 |  2.521 % |
2.59/2.67	c |      6116 |   40304   104752 |   21635    6091   549781    90.3 |  2.521 % |
2.89/2.93	c |      6875 |   40304   104752 |   23799    6850   643298    93.9 |  2.521 % |
3.19/3.27	c |      8015 |   40304   104752 |   26179    7990   715471    89.5 |  2.521 % |
3.89/3.97	c |      9723 |   40304   104752 |   28796    9698   914646    94.3 |  2.521 % |
5.09/5.11	c |     12285 |   40304   104752 |   31676   12260  1280535   104.4 |  2.521 % |
6.19/6.24	c |     16130 |   40304   104752 |   34844   16105  1527291    94.8 |  2.521 % |
8.09/8.18	c |     21898 |   40304   104752 |   38328   21873  1930051    88.2 |  2.521 % |
11.99/12.02	c ==============================================================================
11.99/12.02	c Found solution: 22
11.99/12.02	o 22
11.99/12.02	c ---[   0]---> Sorter-cost:    0     Base:
12.09/12.19	c ==================================[MINISAT+]==================================
12.09/12.19	c | Conflicts | Original         | Learnt                           | Progress |
12.09/12.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.09/12.19	c ==============================================================================
12.09/12.19	c |     29702 |   40164   104432 |   13388   29272  2503215    85.5 |  2.521 % |
12.29/12.31	c |     29802 |   40164   104432 |   14726    7164   498986    69.7 |  3.115 % |
12.29/12.38	c |     29953 |   40164   104432 |   16199    7315   509444    69.6 |  3.115 % |
12.39/12.49	c |     30179 |   40164   104432 |   17819    7541   535409    71.0 |  3.115 % |
12.59/12.61	c |     30517 |   40164   104432 |   19601    7879   558845    70.9 |  3.115 % |
12.79/12.89	c |     31024 |   40164   104432 |   21561    8386   598123    71.3 |  3.115 % |
13.19/13.24	c |     31785 |   40164   104432 |   23717    9147   676299    73.9 |  3.115 % |
13.79/13.81	c |     32925 |   40164   104432 |   26089   10287   800860    77.9 |  3.115 % |
14.29/14.35	c |     34633 |   40164   104432 |   28698   11995   880063    73.4 |  3.115 % |
15.09/15.18	c |     37197 |   40164   104432 |   31568   14559  1008755    69.3 |  3.115 % |
17.09/17.13	c |     41045 |   40164   104432 |   34725   18407  1432915    77.8 |  3.115 % |
19.49/19.56	c |     46813 |   40164   104432 |   38197   24175  1801501    74.5 |  3.115 % |
26.68/26.71	c |     55462 |   40164   104432 |   42017   32824  2580293    78.6 |  3.115 % |
31.87/31.96	c ==============================================================================
31.87/31.96	c Found solution: 21
31.87/31.96	o 21
31.87/31.96	c ---[   0]---> Sorter-cost:    0     Base:
32.07/32.14	c ==================================[MINISAT+]==================================
32.07/32.14	c | Conflicts | Original         | Learnt                           | Progress |
32.07/32.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
32.07/32.14	c ==============================================================================
32.07/32.14	c |     61996 |   40177   104465 |   13392   39358  3235988    82.2 |  3.115 % |
32.37/32.42	c |     62098 |   40177   104465 |   14731    9185   680159    74.1 |  3.119 % |
32.47/32.53	c |     62251 |   40177   104465 |   16204    9338   700844    75.1 |  3.119 % |
32.67/32.73	c |     62477 |   40177   104465 |   17824    9564   724030    75.7 |  3.119 % |
32.87/32.91	c |     62814 |   40177   104465 |   19607    9901   780779    78.9 |  3.119 % |
32.97/33.09	c |     63320 |   40177   104465 |   21567   10407   817902    78.6 |  3.119 % |
33.67/33.78	c |     64081 |   40177   104465 |   23724   11168   868718    77.8 |  3.119 % |
34.37/34.42	c |     65221 |   40177   104465 |   26097   12308   995880    80.9 |  3.119 % |
35.48/35.52	c |     66929 |   40177   104465 |   28706   14016  1226642    87.5 |  3.119 % |
36.88/36.92	c |     69492 |   40177   104465 |   31577   16579  1496160    90.2 |  3.119 % |
39.67/39.75	c |     73337 |   40177   104465 |   34735   20424  2078546   101.8 |  3.119 % |
44.87/44.95	c |     79103 |   40078   104238 |   38208   26149  3057217   116.9 |  3.472 % |
53.07/53.19	c |     87755 |   40078   104238 |   42029   34801  3886799   111.7 |  3.472 % |
63.67/63.70	c |    100729 |   40078   104238 |   46232   19104  1395440    73.0 |  3.472 % |
80.95/81.01	c |    120191 |   40078   104238 |   50856   38566  3339527    86.6 |  3.472 % |
106.63/106.77	c |    149383 |   40078   104238 |   55941   32096  2126975    66.3 |  3.472 % |
148.10/148.28	c |    193174 |   40078   104238 |   61535   36058  2167242    60.1 |  3.472 % |
152.10/152.30	c ==============================================================================
152.10/152.30	c Found solution: 20
152.10/152.30	o 20
152.20/152.30	c ---[   0]---> Sorter-cost:    0     Base:
152.30/152.49	c ==================================[MINISAT+]==================================
152.30/152.49	c | Conflicts | Original         | Learnt                           | Progress |
152.30/152.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
152.30/152.49	c ==============================================================================
152.30/152.49	c |    197717 |   40063   104201 |   13354   40566  2460300    60.6 |  3.472 % |
152.71/152.87	c |    197817 |   40063   104201 |   14689   10242   514159    50.2 |  3.561 % |
152.81/152.96	c |    197969 |   40063   104201 |   16158   10394   520425    50.1 |  3.561 % |
153.00/153.10	c |    198196 |   40063   104201 |   17774   10621   528971    49.8 |  3.561 % |
153.20/153.35	c |    198533 |   40063   104201 |   19551   10958   542480    49.5 |  3.561 % |
153.50/153.69	c |    199045 |   40063   104201 |   21506   11470   581135    50.7 |  3.561 % |
153.91/154.04	c |    199804 |   40063   104201 |   23657   12229   651028    53.2 |  3.561 % |
154.60/154.72	c |    200946 |   40063   104201 |   26023   13371   780047    58.3 |  3.561 % |
155.90/156.03	c |    202654 |   40063   104201 |   28625   15079  1053812    69.9 |  3.561 % |
157.80/157.90	c |    205217 |   40063   104201 |   31488   17642  1389239    78.7 |  3.561 % |
161.20/161.32	c |    209061 |   40063   104201 |   34636   21486  1984245    92.4 |  3.561 % |
166.49/166.69	c |    214827 |   40063   104201 |   38100   27252  2696268    98.9 |  3.561 % |
166.79/166.90	c ==============================================================================
166.79/166.90	c Found solution: 19
166.79/166.90	o 19
166.79/166.90	c ---[   0]---> Sorter-cost:    0     Base:
166.89/167.09	c ==================================[MINISAT+]==================================
166.89/167.09	c | Conflicts | Original         | Learnt                           | Progress |
166.89/167.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
166.89/167.09	c ==============================================================================
166.89/167.09	c |    214996 |   40076   104234 |   13358   27421  2708006    98.8 |  3.561 % |
167.09/167.28	c |    215096 |   40076   104234 |   14693   13811  1390491   100.7 |  3.565 % |
167.29/167.41	c |    215248 |   40076   104234 |   16163   13963  1397751   100.1 |  3.565 % |
167.39/167.56	c |    215473 |   40076   104234 |   17779   14188  1408702    99.3 |  3.565 % |
167.69/167.81	c |    215810 |   40076   104234 |   19557   14525  1425156    98.1 |  3.565 % |
167.99/168.19	c |    216318 |   40076   104234 |   21513   15033  1458130    97.0 |  3.565 % |
168.59/168.77	c |    217077 |   40076   104234 |   23664   15792  1515570    96.0 |  3.565 % |
169.49/169.64	c |    218218 |   40076   104234 |   26030   16933  1606524    94.9 |  3.565 % |
171.09/171.27	c |    219926 |   40076   104234 |   28634   18641  1873695   100.5 |  3.565 % |
173.48/173.67	c |    222490 |   40076   104234 |   31497   21205  2307855   108.8 |  3.565 % |
176.67/176.86	c |    226335 |   40076   104234 |   34647   25050  2624602   104.8 |  3.565 % |
181.77/181.98	c |    232101 |   40076   104234 |   38111   30816  3241306   105.2 |  3.565 % |
190.47/190.66	c |    240750 |   40076   104234 |   41923   39465  3899621    98.8 |  3.565 % |
202.67/202.89	c |    253724 |   40076   104234 |   46115   26692  1876612    70.3 |  3.565 % |
223.15/223.34	c |    273185 |   40076   104234 |   50726   46153  3719184    80.6 |  3.565 % |
258.83/259.02	c |    302382 |   40076   104234 |   55799   42870  3932847    91.7 |  3.565 % |
324.68/324.90	c |    346173 |   40053   104186 |   61379   46491  5899660   126.9 |  3.654 % |
407.24/407.54	c ==============================================================================
407.24/407.54	c Found solution: 18
407.24/407.54	o 18
407.24/407.54	c ---[   0]---> Sorter-cost:    0     Base:
407.44/407.73	c ==================================[MINISAT+]==================================
407.44/407.73	c | Conflicts | Original         | Learnt                           | Progress |
407.44/407.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
407.44/407.73	c ==============================================================================
407.44/407.73	c |    410204 |   39029   101793 |   13009   23917  1486674    62.2 |  3.654 % |
407.64/407.91	c |    410305 |   39029   101793 |   14309   12060   682395    56.6 |  7.532 % |
407.74/408.05	c |    410455 |   39029   101793 |   15740   12210   701706    57.5 |  7.532 % |
407.94/408.21	c |    410680 |   39029   101793 |   17314   12435   716844    57.6 |  7.532 % |
408.13/408.49	c |    411019 |   39029   101793 |   19046   12774   744409    58.3 |  7.532 % |
408.53/408.90	c |    411525 |   39029   101793 |   20951   13280   790992    59.6 |  7.532 % |
409.13/409.46	c |    412285 |   39029   101793 |   23046   14040   877089    62.5 |  7.532 % |
410.04/410.35	c |    413425 |   39029   101793 |   25350   15180   976386    64.3 |  7.532 % |
411.44/411.79	c |    415134 |   39029   101793 |   27885   16889  1107814    65.6 |  7.532 % |
413.63/413.95	c |    417696 |   39029   101793 |   30674   19451  1423725    73.2 |  7.532 % |
417.43/417.77	c |    421541 |   39029   101793 |   33741   23296  1807343    77.6 |  7.532 % |
423.53/423.89	c |    427308 |   39029   101793 |   37116   29063  2404375    82.7 |  7.532 % |
434.43/434.77	c |    435958 |   39029   101793 |   40827   37713  3230844    85.7 |  7.532 % |
448.72/449.00	c |    448932 |   39029   101793 |   44910   25562  1926745    75.4 |  7.532 % |
474.41/474.77	c |    468394 |   39029   101793 |   49401   45024  3836479    85.2 |  7.532 % |
509.99/510.33	c |    497586 |   39029   101793 |   54341   42193  3066903    72.7 |  7.532 % |
563.46/563.88	c |    541378 |   39029   101793 |   59776   50946  3385555    66.5 |  7.532 % |
655.60/656.01	c |    607062 |   39029   101793 |   65753   34136  3008855    88.1 |  7.532 % |
796.79/797.37	c |    705588 |   39029   101793 |   72328   41474  3029791    73.1 |  7.532 % |
1018.36/1019.06	c |    853377 |   39029   101793 |   79561   35242  2060348    58.5 |  7.532 % |
1288.50/1289.39	c ==============================================================================
1288.50/1289.39	c Optimal solution: 18
1288.50/1289.39	s OPTIMUM FOUND
1288.50/1289.39	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23
1288.50/1289.39	v -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54
1288.50/1289.39	v -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85
1288.50/1289.39	v -x1907 -x88 -x1934 x1961 x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059
1288.50/1289.39	v -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173
1288.50/1289.39	v -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297
1288.50/1289.39	v -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421
1288.50/1289.39	v -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535
1288.50/1289.39	v -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659
1288.50/1289.39	v -x2661 -x2673 -x2675 x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768
1288.50/1289.39	v -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853
1288.50/1289.39	v -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938
1288.50/1289.39	v -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023
1288.50/1289.39	v -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129
1288.50/1289.39	v -x3141 -x3153 -x370 -x3165 -x3170 x375 x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396
1288.50/1289.39	v -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256
1288.50/1289.39	v -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 x3292 -x3304 -x3316 -x3328 -x3340
1288.50/1289.39	v -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476
1288.50/1289.39	v -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449
1288.50/1289.39	v -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530
1288.50/1289.39	v -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613
1288.50/1289.39	v -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747
1288.50/1289.39	v -x3774 -x3801 -x3828 -x3840 x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616
1288.50/1289.39	v -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094
1288.50/1289.39	v -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155
1288.50/1289.39	v -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213
1288.50/1289.39	v -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277
1288.50/1289.39	v -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22
1288.50/1289.39	v -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58
1288.50/1289.39	v -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 x91 x90 x92 -x94 -x93
1288.50/1289.39	v -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116
1288.50/1289.39	v -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137
1288.50/1289.39	v -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158
1288.50/1289.39	v -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180
1288.50/1289.39	v -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201
1288.50/1289.39	v -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222
1288.50/1289.39	v -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243
1288.50/1289.39	v -x242 -x244 x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264
1288.50/1289.39	v -x263 -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285
1288.50/1289.39	v -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306
1288.50/1289.39	v -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327
1288.50/1289.39	v -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348
1288.50/1289.39	v -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371
1288.50/1289.39	v -x372 -x373 x374 x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398
1288.50/1289.39	v -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422
1288.50/1289.39	v -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367
1288.50/1289.39	v -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472
1288.50/1289.39	v -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 x491 -x493 -x492 -x494 -x496 -x495
1288.50/1289.39	v -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 x442 -x443
1288.50/1289.39	v -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543
1288.50/1289.39	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563
1288.50/1289.39	v -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520
1288.50/1289.39	v -x521 -x589 -x590 -x591 -x592 x593 x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612
1288.50/1289.39	v -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637
1288.50/1289.39	v -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657
1288.50/1289.39	v -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679
1288.50/1289.39	v -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700
1288.50/1289.39	v -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721
1288.50/1289.39	v -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583
1288.50/1289.39	v -x584 -x585 -x586 -x587 -x588 x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1288.50/1289.39	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1288.50/1289.39	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800
1288.50/1289.39	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1288.50/1289.39	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1288.50/1289.39	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 x859 -x860 -x861 -x862 -x863 -x864
1288.50/1289.39	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1288.50/1289.39	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1288.50/1289.39	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1288.50/1289.39	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1288.50/1289.39	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1288.50/1289.39	v -x971 -x972 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
1288.50/1289.39	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1288.50/1289.39	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1288.50/1289.39	v -x1028 -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1288.50/1289.39	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1288.50/1289.39	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1288.50/1289.39	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1288.50/1289.39	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114
1288.50/1289.39	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131
1288.50/1289.39	v -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1148 -x1149
1288.50/1289.39	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1288.50/1289.39	v -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1288.50/1289.39	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1288.50/1289.39	v -x1201 -x1202 -x1203 -x1204 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1288.50/1289.39	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1233 -x1234 -x1235 -x1236
1288.50/1289.39	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1288.50/1289.39	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1288.50/1289.39	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289
1288.50/1289.39	v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
1288.50/1289.39	v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324
1288.50/1289.39	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342
1288.50/1289.39	v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
1288.50/1289.39	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378
1288.50/1289.39	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1395 -x1396
1288.50/1289.39	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1288.50/1289.39	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1288.50/1289.39	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449
1288.50/1289.39	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1288.50/1289.39	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1288.50/1289.39	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1288.50/1289.39	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1288.50/1289.39	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1288.50/1289.39	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1288.50/1289.39	v -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572
1288.50/1289.39	v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1288.50/1289.39	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1288.50/1289.39	v -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1288.50/1289.39	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1288.50/1289.39	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1288.50/1289.39	v -x1661 -x1662 -x1663 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
1288.50/1289.39	v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1288.50/1289.39	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714
1288.50/1289.39	v -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732
1288.50/1289.39	v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 -x1750
1288.50/1289.39	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1288.50/1289.39	v -x1768 -x1769 -x1770 -x1771 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1288.50/1289.39	v -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802 -x1803
1288.50/1289.39	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
1288.50/1289.39	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1288.50/1289.39	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856
1288.50/1289.39	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1288.50/1289.39	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1288.50/1289.39	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 -x1909
1288.50/1289.39	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1288.50/1289.39	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944
1288.50/1289.39	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1962
1288.50/1289.39	v x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1288.50/1289.39	v -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002
1288.50/1289.39	v x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024
1288.50/1289.39	v -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1288.50/1289.39	v -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065
1288.50/1289.39	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1288.50/1289.39	v -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105
1288.50/1289.39	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
1288.50/1289.39	v -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144
1288.50/1289.39	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 x2160 x2161 -x2162 -x2163 -x2164 -x2165
1288.50/1289.39	v -x2166 -x2167 -x2168 -x2169 -x2170 x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1288.50/1289.39	v -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205
1288.50/1289.39	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1288.50/1289.39	v -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245
1288.50/1289.39	v -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
1288.50/1289.39	v -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286
1288.50/1289.39	v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
1288.50/1289.39	v -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326
1288.50/1289.39	v -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1288.50/1289.39	v -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364
1288.50/1289.39	v -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2380 -x2382 -x2383 -x2384 -x2385
1288.50/1289.39	v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1288.50/1289.39	v -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425
1288.50/1289.39	v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444
1288.50/1289.39	v -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464
1288.50/1289.39	v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484
1288.50/1289.39	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
1288.50/1289.39	v -x2504 -x2506 x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2520 -x2522 -x2523 -x2524 -x2525
1288.50/1289.39	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1288.50/1289.39	v -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 -x2564 -x2565
1288.50/1289.39	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584
1288.50/1289.39	v -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604
1288.50/1289.39	v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624
1288.50/1289.39	v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1288.50/1289.39	v -x2644 -x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664
1288.50/1289.39	v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683
1288.50/1289.39	v -x2684 -x2685 x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2702 -x2704 -x2705
1288.50/1289.39	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1288.50/1289.39	v -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2744
1288.50/1289.39	v -x2745 -x2746 -x2747 x2749 -x2750 -x2751 -x2752 x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 x2764 -x2765 -x2766
1288.50/1289.39	v -x2767 -x2769 -x2770 -x2771 -x2772 x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 x2784 -x2785 -x2786 -x2787 x2789
1288.50/1289.39	v -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810
1288.50/1289.39	v -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 x2829 -x2830 -x2831
1288.50/1289.39	v -x2832 x2834 x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854
1288.50/1289.39	v -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875
1288.50/1289.39	v -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896
1288.50/1289.39	v -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917
1288.50/1289.39	v -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939
1288.50/1289.39	v -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960
1288.50/1289.39	v -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981
1288.50/1289.39	v -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002
1288.50/1289.39	v -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3024
1288.50/1289.39	v -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045
1288.50/1289.39	v -x3046 -x3047 x3049 x3050 -x3051 -x3052 x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067
1288.50/1289.39	v -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089
1288.50/1289.39	v -x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108
1288.50/1289.39	v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126
1288.50/1289.39	v -x3127 -x3128 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145
1288.50/1289.39	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
1288.50/1289.39	v -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186
1288.50/1289.39	v -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207
1288.50/1289.39	v x3208 -x3209 x3211 -x3212 x3213 -x3214 x3216 -x3217 x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229
1288.50/1289.39	v -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 x3249 -x3251 x3253 x3255 x3257 x3259
1288.50/1289.39	v x3261 x3263 -x3265 -x3267 x3269 x3271 x3273 x3275 x3277 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1288.50/1289.39	v -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308
1288.50/1289.39	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1288.50/1289.39	v -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345
1288.50/1289.39	v -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366
1288.50/1289.39	v -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388
1288.50/1289.39	v -x3389 -x3390 -x3391 x3393 -x3394 x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410
1288.50/1289.39	v -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 -x3430 x3432 x3434 -x3436
1288.50/1289.39	v -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 x3460 -x3462 -x3464 x3466 -x3467 -x3468 -x3469
1288.50/1289.39	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1288.50/1289.39	v -x3488 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1288.50/1289.39	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526
1288.50/1289.39	v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545
1288.50/1289.39	v -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566
1288.50/1289.39	v -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 x3588
1288.50/1289.39	v x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 x3608 x3610 x3612
1288.50/1289.39	v x3614 -x3616 x3618 -x3620 -x3622 -x3624 x3626 x3628 -x3630 -x3632 x3634 -x3636 -x3638 x3640 -x3641 -x3642 -x3643 -x3644
1288.50/1289.39	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661
1288.50/1289.39	v -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
1288.50/1289.39	v -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697
1288.50/1289.39	v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714
1288.50/1289.39	v -x3715 -x3716 -x3717 -x3718 -x3719 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732
1288.50/1289.39	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 -x3750
1288.50/1289.39	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
1288.50/1289.39	v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785
1288.50/1289.39	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3802 -x3803
1288.50/1289.39	v -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
1288.50/1289.39	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838
1288.50/1289.39	v -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858
1288.50/1289.39	v -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877
1288.50/1289.39	v -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1288.50/1289.39	v -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914
1288.50/1289.39	v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932
1288.50/1289.39	v -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 x3951 -x3952
1288.50/1289.39	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
1288.50/1289.39	v -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989
1288.50/1289.39	v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007
1288.50/1289.39	v -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026
1288.50/1289.39	v -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045
1288.50/1289.39	v -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063
1288.50/1289.39	v -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083
1288.50/1289.39	v -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107
1288.50/1289.39	v x4109 x4111 -x4112 x4113 -x4114 x4116 -x4118 -x4119 -x4120 -x4121 x4123 x4125 -x4126 -x4127 x4128 -x4130 -x4132 -x4133
1288.50/1289.39	v -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 x4142 -x4144 -x4145 -x4146 -x4147 x4149 x4151 -x4152 -x4153 x4154 x4156 x4158
1288.50/1289.39	v -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181
1288.50/1289.39	v -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207
1288.50/1289.39	v -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 -x4229 -x4230 -x4231
1288.50/1289.39	v -x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 x4247 -x4248 x4249 -x4250 x4252 -x4254 -x4255 -x4256
1288.50/1289.39	v -x4257 x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 x4275 -x4276 x4278 -x4280 -x4281
1288.50/1289.39	v -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304
1288.50/1289.39	v x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318
1288.50/1289.40	c _______________________________________________________________________________
1288.50/1289.40	c 
1288.50/1289.40	c restarts              : 103
1288.50/1289.40	c conflicts             : 1017050        (789 /sec)
1288.50/1289.40	c decisions             : 3114526        (2418 /sec)
1288.50/1289.40	c propagations          : 0              (0 /sec)
1288.50/1289.40	c inspects              : 0              (0 /sec)
1288.50/1289.40	c CPU time              : 1288.32 s
1288.50/1289.40	c _______________________________________________________________________________

Verifier Data (download as text)

OK	18

Conversion Script Data (download as text)

/tmp/evaluation/373065-1177364986/instance-373065-1177364986.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-373065-1177364986 -o ROOT/results/node60/solver-373065-1177364986 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373065-1177364986/minisat+ /tmp/evaluation/373065-1177364986/instance-373065-1177364986.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 0.93 3/64 10034
/proc/meminfo: memFree=1773904/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=1180 CPUtime=0
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 184408579 1208320 123 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 295 123 75 215 0 77 0

[startup+0.013195 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 10034
/proc/meminfo: memFree=1773904/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=1324 CPUtime=0.01
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 166 0 0 0 1 0 0 0 18 0 1 0 184408579 1355776 153 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 331 153 75 215 0 113 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1324

[startup+0.101203 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 10034
/proc/meminfo: memFree=1773904/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=2272 CPUtime=0.1
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 402 0 0 0 10 0 0 0 18 0 1 0 184408579 2326528 389 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 568 389 75 215 0 350 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2272

[startup+0.301221 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 10034
/proc/meminfo: memFree=1773904/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=4208 CPUtime=0.29
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 892 0 0 0 29 0 0 0 19 0 1 0 184408579 4308992 879 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 1052 879 75 215 0 834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4208

[startup+0.701261 s]
/proc/loadavg: 1.00 1.00 0.93 3/64 10034
/proc/meminfo: memFree=1773904/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=7524 CPUtime=0.69
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 1758 0 0 0 67 2 0 0 18 0 1 0 184408579 7704576 1710 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 1881 1710 123 215 0 1663 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7524

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1767496/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=7524 CPUtime=1.49
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 1758 0 0 0 147 2 0 0 25 0 1 0 184408579 7704576 1710 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 1881 1710 123 215 0 1663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7524

[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1765384/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=10796 CPUtime=3.09
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 2610 0 0 0 307 2 0 0 25 0 1 0 184408579 11055104 2520 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 2699 2520 124 215 0 2481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10796

[startup+6.30181 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1761096/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=14716 CPUtime=6.29
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 3601 0 0 0 626 3 0 0 25 0 1 0 184408579 15069184 3511 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134576192 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 3679 3511 124 215 0 3461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14716

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1755528/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=19452 CPUtime=12.69
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 4790 0 0 0 1265 4 0 0 25 0 1 0 184408579 19918848 4700 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 4863 4700 124 215 0 4645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19452

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1755400/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=19588 CPUtime=25.49
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 4823 0 0 0 2545 4 0 0 25 0 1 0 184408579 20058112 4733 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581116 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 4897 4733 124 215 0 4679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19588

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1749960/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=25260 CPUtime=51.06
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 6236 0 0 0 5100 6 0 0 25 0 1 0 184408579 25866240 6146 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 6315 6146 124 215 0 6097 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 25260

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1744392/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=30676 CPUtime=102.24
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 7540 0 0 0 10216 8 0 0 25 0 1 0 184408579 31412224 7450 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134574051 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 7669 7450 124 215 0 7451 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 30676

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1744072/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=30996 CPUtime=162.2
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 7616 0 0 0 16212 8 0 0 25 0 1 0 184408579 31739904 7526 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 7749 7526 124 215 0 7531 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 30996

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1743816/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=31280 CPUtime=222.15
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 7679 0 0 0 22207 8 0 0 25 0 1 0 184408579 32030720 7589 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 7820 7589 124 215 0 7602 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 31280

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1738888/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=36368 CPUtime=282.12
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 8964 0 0 0 28202 10 0 0 25 0 1 0 184408579 37240832 8874 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 9092 8874 124 215 0 8874 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 36368

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1732168/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=43044 CPUtime=342.08
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 10620 0 0 0 34197 11 0 0 25 0 1 0 184408579 44077056 10530 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 10761 10530 124 215 0 10543 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 43044

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1729608/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=45712 CPUtime=402.04
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11235 0 0 0 40192 12 0 0 25 0 1 0 184408579 46809088 11145 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11428 11145 124 215 0 11210 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 45712

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1729480/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=45712 CPUtime=462.01
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11239 0 0 0 46189 12 0 0 25 0 1 0 184408579 46809088 11149 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134585952 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11428 11149 124 215 0 11210 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 45712

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1729480/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=45712 CPUtime=521.98
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11244 0 0 0 52186 12 0 0 25 0 1 0 184408579 46809088 11154 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11428 11154 124 215 0 11210 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 45712

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1729416/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=45712 CPUtime=581.94
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11250 0 0 0 58182 12 0 0 25 0 1 0 184408579 46809088 11160 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11428 11160 124 215 0 11210 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 45712

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10035
/proc/meminfo: memFree=1729416/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=45876 CPUtime=641.9
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11282 0 0 0 64178 12 0 0 25 0 1 0 184408579 46977024 11192 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11469 11192 124 215 0 11251 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 45876


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

/proc/meminfo: memFree=1727896/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46040 CPUtime=701.85
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11311 0 0 0 70165 20 0 0 25 0 1 0 184408579 47144960 11221 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11510 11221 124 215 0 11292 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 46040

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728840/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46040 CPUtime=761.81
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11316 0 0 0 76154 27 0 0 25 0 1 0 184408579 47144960 11226 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11510 11226 124 215 0 11292 0
Current children cumulated CPU time (s) 761.81
Current children cumulated vsize (KiB) 46040

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728840/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46040 CPUtime=821.77
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11320 0 0 0 82150 27 0 0 25 0 1 0 184408579 47144960 11230 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11510 11230 124 215 0 11292 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 46040

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728840/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46040 CPUtime=881.74
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11328 0 0 0 88147 27 0 0 25 0 1 0 184408579 47144960 11238 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11510 11238 124 215 0 11292 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 46040

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728840/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46204 CPUtime=941.71
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11363 0 0 0 94143 28 0 0 25 0 1 0 184408579 47312896 11273 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11551 11273 124 215 0 11333 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 46204

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728776/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46204 CPUtime=1001.67
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11366 0 0 0 100139 28 0 0 25 0 1 0 184408579 47312896 11276 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11551 11276 124 215 0 11333 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 46204

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728776/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46204 CPUtime=1061.64
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11366 0 0 0 106136 28 0 0 25 0 1 0 184408579 47312896 11276 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11551 11276 124 215 0 11333 0
Current children cumulated CPU time (s) 1061.64
Current children cumulated vsize (KiB) 46204

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728776/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46204 CPUtime=1121.6
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11372 0 0 0 112132 28 0 0 25 0 1 0 184408579 47312896 11282 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11551 11282 124 215 0 11333 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 46204

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728776/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46368 CPUtime=1181.56
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11405 0 0 0 118128 28 0 0 25 0 1 0 184408579 47480832 11315 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11592 11315 124 215 0 11374 0
Current children cumulated CPU time (s) 1181.56
Current children cumulated vsize (KiB) 46368

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728712/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46368 CPUtime=1241.52
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11405 0 0 0 124124 28 0 0 25 0 1 0 184408579 47480832 11315 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11592 11315 124 215 0 11374 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 46368

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

[startup+1254.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728712/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46368 CPUtime=1253.51
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11405 0 0 0 125323 28 0 0 25 0 1 0 184408579 47480832 11315 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11592 11315 124 215 0 11374 0
Current children cumulated CPU time (s) 1253.51
Current children cumulated vsize (KiB) 46368

[startup+1267.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728712/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1266.31
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11435 0 0 0 126603 28 0 0 25 0 1 0 184408579 47648768 11345 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11345 124 215 0 11415 0
Current children cumulated CPU time (s) 1266.31
Current children cumulated vsize (KiB) 46532

[startup+1279.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728712/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1279.1
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11440 0 0 0 127882 28 0 0 25 0 1 0 184408579 47648768 11350 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11350 124 215 0 11415 0
Current children cumulated CPU time (s) 1279.1
Current children cumulated vsize (KiB) 46532

[startup+1286.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1285.5
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11441 0 0 0 128522 28 0 0 25 0 1 0 184408579 47648768 11351 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11351 124 215 0 11415 0
Current children cumulated CPU time (s) 1285.5
Current children cumulated vsize (KiB) 46532

[startup+1287.9 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1287.1
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11441 0 0 0 128682 28 0 0 25 0 1 0 184408579 47648768 11351 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11351 124 215 0 11415 0
Current children cumulated CPU time (s) 1287.1
Current children cumulated vsize (KiB) 46532

[startup+1288.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1287.9
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11441 0 0 0 128762 28 0 0 25 0 1 0 184408579 47648768 11351 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11351 124 215 0 11415 0
Current children cumulated CPU time (s) 1287.9
Current children cumulated vsize (KiB) 46532

[startup+1289.1 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1288.3
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11441 0 0 0 128802 28 0 0 25 0 1 0 184408579 47648768 11351 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11351 124 215 0 11415 0
Current children cumulated CPU time (s) 1288.3
Current children cumulated vsize (KiB) 46532

[startup+1289.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46532 CPUtime=1288.5
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11441 0 0 0 128822 28 0 0 25 0 1 0 184408579 47648768 11351 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/10034/statm: 11633 11351 124 215 0 11415 0
Current children cumulated CPU time (s) 1288.5
Current children cumulated vsize (KiB) 46532

[startup+1289.4 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 10233
/proc/meminfo: memFree=1728648/2055920 swapFree=4183288/4192956
[pid=10034] ppid=10032 vsize=46368 CPUtime=1288.59
/proc/10034/stat : 10034 (minisat+) R 10032 10034 9343 0 -1 4194304 11442 0 0 0 128831 28 0 0 17 0 1 0 184408579 47480832 11314 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135002740 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10034/statm: 11592 11314 125 215 0 11374 0
Current children cumulated CPU time (s) 1288.59
Current children cumulated vsize (KiB) 46368

Child status: 30
Real time (s): 1289.41
CPU time (s): 1288.62
CPU user time (s): 1288.32
CPU system time (s): 0.296954
CPU usage (%): 99.9382
Max. virtual memory (cumulated for all children) (KiB): 46532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1288.32
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11444
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= 106
involuntary context switches= 4801

runsolver used 1.19682 second user time and 3.53746 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Mon Apr 23 21:49:46 UTC 2007

IDJOB= 373065
IDBENCH= 25017
IDSOLVER= 156
FILE ID= node60/373065-1177364986

PBS_JOBID= 4675154

Free space on /tmp= 66415 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  a6271c60ac3da107dd19024b50d39967

RANDOM SEED= 186618032

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1774312 kB
Buffers:         42752 kB
Cached:         169960 kB
SwapCached:       3800 kB
Active:          87612 kB
Inactive:       135376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774312 kB
SwapTotal:     4192956 kB
SwapFree:      4183288 kB
Dirty:            2748 kB
Writeback:           0 kB
Mapped:          16104 kB
Slab:            44612 kB
Committed_AS:  2499788 kB
PageTables:       1468 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= 66415 MiB

End job on node60 on Mon Apr 23 22:11:16 UTC 2007