Trace number 35133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)1328 1800.59 1801.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1.56476
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
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	c Parsing PB file...
1.47	c Converting 100 PB-constraints to clauses...
1.47	c   -- Unit propagations: (none)
1.47	c   -- Detecting intervals from adjacent constraints: ##################################################
1.50	c   -- Clauses(.)/Splits(s): (none)
1.50	c ---[  98]---> BDD-cost:   37
1.50	c ---[  96]---> BDD-cost:    1
1.50	c ---[  94]---> BDD-cost:  229
1.51	c ---[  92]---> BDD-cost:    1
1.52	c ---[  90]---> BDD-cost:  363
1.53	c ---[  88]---> BDD-cost:    1
1.55	c ---[  86]---> BDD-cost:  693
1.61	c ---[  84]---> BDD-cost:  743
1.67	c ---[  82]---> BDD-cost: 1013
1.77	c ---[  80]---> BDD-cost: 1141
1.91	c ---[  78]---> BDD-cost: 1273
2.09	c ---[  76]---> BDD-cost: 1269
2.26	c ---[  74]---> BDD-cost: 1447
2.47	c ---[  72]---> BDD-cost: 1601
2.73	c ---[  70]---> BDD-cost:    1
3.02	c ---[  68]---> BDD-cost: 1469
3.24	c ---[  66]---> BDD-cost:    1
3.46	c ---[  64]---> BDD-cost: 1549
3.71	c ---[  62]---> BDD-cost:    1
3.95	c ---[  60]---> BDD-cost: 2025
4.39	c ---[  58]---> BDD-cost: 1963
4.78	c ---[  56]---> BDD-cost:    1
5.17	c ---[  54]---> BDD-cost: 1755
5.49	c ---[  52]---> BDD-cost:    1
5.80	c ---[  50]---> BDD-cost: 2671
6.53	c ---[  48]---> BDD-cost: 2239
7.05	c ---[  46]---> BDD-cost: 2717
7.81	c ---[  44]---> BDD-cost: 2597
8.49	c ---[  42]---> BDD-cost:    1
9.18	c ---[  40]---> BDD-cost: 2719
9.96	c ---[  38]---> BDD-cost: 3387
11.15	c ---[  36]---> BDD-cost: 2815
11.96	c ---[  34]---> BDD-cost: 3131
12.95	c ---[  32]---> BDD-cost: 3331
14.09	c ---[  30]---> BDD-cost: 3523
15.34	c ---[  28]---> BDD-cost: 3303
16.45	c ---[  26]---> BDD-cost:    1
17.57	c ---[  24]---> BDD-cost: 3607
18.88	c ---[  22]---> BDD-cost: 3613
20.18	c ---[  20]---> BDD-cost:    1
21.53	c ---[  18]---> BDD-cost:    1
22.86	c ---[  16]---> BDD-cost: 3761
24.28	c ---[  14]---> BDD-cost: 3929
25.82	c ---[  12]---> BDD-cost: 4211
27.60	c ---[  10]---> BDD-cost: 3903
29.19	c ---[   8]---> BDD-cost: 4471
31.21	c ---[   6]---> BDD-cost: 4887
33.61	c ---[   4]---> BDD-cost: 4971
36.11	c ---[   2]---> BDD-cost: 4987
38.63	c ---[   0]---> BDD-cost: 7419
44.36	c ==================================[MINISAT+]==================================
44.36	c | Conflicts | Original         | Learnt                           | Progress |
44.36	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.36	c ==============================================================================
44.36	c |         0 |  251932   655072 |   83977       0        0     nan |  0.000 % |
44.51	c ==============================================================================
44.51	c Found solution: 4241
44.51	o 4241
44.60	c ---[   0]---> Adder-cost: 41736   maxlim: 523454   bits: 20/19
52.03	c ==================================[MINISAT+]==================================
52.03	c | Conflicts | Original         | Learnt                           | Progress |
52.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
52.03	c ==============================================================================
52.03	c |        16 |  544008  1698262 |  181336      16     2000   125.0 |  0.000 % |
55.47	c ==============================================================================
55.47	c Found solution: 3722
55.47	o 3722
55.57	c ---[   0]---> Adder-cost: 0   maxlim: 523973   bits: 20/19
61.85	c ==================================[MINISAT+]==================================
61.85	c | Conflicts | Original         | Learnt                           | Progress |
61.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
61.85	c ==============================================================================
61.85	c |        99 |  544019  1698364 |  181339      99    54761   553.1 |  0.000 % |
62.10	c |       200 |  543958  1698161 |  199472     175    55998   320.0 |  0.054 % |
66.38	c |       351 |  543958  1698161 |  219420     326   157518   483.2 |  0.054 % |
77.59	c |       580 |  543958  1698161 |  241362     555   419157   755.2 |  0.054 % |
93.98	c |       920 |  543958  1698161 |  265498     895   992141  1108.5 |  0.054 % |
101.16	c |      1426 |  543951  1698137 |  292048    1400  1233572   881.1 |  0.055 % |
109.64	c |      2185 |  543951  1698137 |  321253    2159  1949032   902.7 |  0.055 % |
140.73	c |      3326 |  543752  1697445 |  353378    3180  3441792  1082.3 |  0.076 % |
142.64	c ==============================================================================
142.65	c Found solution: 3508
142.65	o 3508
142.75	c ---[   0]---> Adder-cost: 0   maxlim: 524187   bits: 20/19
149.19	c ==================================[MINISAT+]==================================
149.19	c | Conflicts | Original         | Learnt                           | Progress |
149.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
149.19	c ==============================================================================
149.19	c |      3438 |  543762  1697544 |  181254    3292  3561757  1081.9 |  0.076 % |
151.81	c |      3538 |  543762  1697544 |  199379    3392  3666747  1081.0 |  0.080 % |
158.97	c |      3690 |  543762  1697544 |  219317    3544  3873459  1093.0 |  0.080 % |
166.94	c |      3915 |  543762  1697544 |  241249    3769  4383781  1163.1 |  0.080 % |
177.67	c |      4252 |  543762  1697544 |  265373    4106  4695140  1143.5 |  0.080 % |
192.54	c |      4759 |  543762  1697544 |  291911    4613  5593721  1212.6 |  0.080 % |
206.81	c |      5519 |  543762  1697544 |  321102    5373  6600689  1228.5 |  0.080 % |
222.35	c ==============================================================================
222.35	c Found solution: 3406
222.35	o 3406
222.45	c ---[   0]---> Adder-cost: 0   maxlim: 524289   bits: 20/20
228.93	c ==================================[MINISAT+]==================================
228.93	c | Conflicts | Original         | Learnt                           | Progress |
228.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
228.93	c ==============================================================================
228.93	c |      6025 |  543655  1696948 |  181218    5838  7276581  1246.4 |  0.080 % |
231.28	c |      6126 |  543655  1696948 |  199339    5939  7365091  1240.1 |  0.096 % |
232.91	c ==============================================================================
232.91	c Found solution: 2245
232.91	o 2245
233.01	c ---[   0]---> Adder-cost: 0   maxlim: 525450   bits: 20/20
239.35	c ==================================[MINISAT+]==================================
239.35	c | Conflicts | Original         | Learnt                           | Progress |
239.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
239.35	c ==============================================================================
239.35	c |      6186 |  543651  1696966 |  181217    5995  7408390  1235.8 |  0.096 % |
242.55	c |      6288 |  543651  1696966 |  199338    6097  7606459  1247.6 |  0.100 % |
246.03	c |      6438 |  543651  1696966 |  219272    6247  7734292  1238.1 |  0.100 % |
252.75	c |      6665 |  543474  1696321 |  241199    6415  7937112  1237.3 |  0.121 % |
260.65	c |      7002 |  543291  1695666 |  265319    6700  8296441  1238.3 |  0.141 % |
278.27	c ==============================================================================
278.27	c Found solution: 1908
278.27	o 1908
278.36	c ---[   0]---> Adder-cost: 0   maxlim: 525787   bits: 20/20
284.81	c ==================================[MINISAT+]==================================
284.81	c | Conflicts | Original         | Learnt                           | Progress |
284.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
284.81	c ==============================================================================
284.81	c |      7454 |  543288  1695674 |  181096    7151  8952184  1251.9 |  0.141 % |
286.97	c |      7555 |  543281  1695651 |  199205    7250  8989300  1239.9 |  0.147 % |
290.79	c |      7706 |  543281  1695651 |  219126    7401  9160525  1237.7 |  0.147 % |
299.61	c |      7931 |  543281  1695651 |  241038    7626  9382466  1230.3 |  0.147 % |
308.23	c |      8268 |  543281  1695651 |  265142    7963  9777539  1227.9 |  0.147 % |
350.56	c |      8774 |  543281  1695651 |  291656    8469 10806468  1276.0 |  0.147 % |
421.56	c |      9537 |  543272  1695622 |  320822    9228 13127766  1422.6 |  0.149 % |
490.21	c |     10676 |  543263  1695593 |  352904   10365 14646431  1413.1 |  0.150 % |
581.88	c |     12385 |  543263  1695593 |  388195   12074 16255730  1346.3 |  0.150 % |
699.39	c |     14947 |  543007  1694675 |  427014   14584 21543983  1477.2 |  0.179 % |
761.77	c |     18793 |  542984  1694600 |  469716   18425 24070949  1306.4 |  0.182 % |
841.85	c ==============================================================================
841.85	c Found solution: 1562
841.85	o 1562
841.96	c ---[   0]---> Adder-cost: 0   maxlim: 526133   bits: 20/20
848.32	c ==================================[MINISAT+]==================================
848.32	c | Conflicts | Original         | Learnt                           | Progress |
848.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
848.32	c ==============================================================================
848.32	c |     19861 |  542993  1694655 |  180997   19493 26932955  1381.7 |  0.182 % |
849.81	c |     19962 |  542993  1694655 |  199096   19594 26979322  1376.9 |  0.186 % |
852.22	c |     20112 |  542993  1694655 |  219006   19744 27039199  1369.5 |  0.186 % |
870.83	c |     20340 |  542945  1694491 |  240907   18985 25998881  1369.4 |  0.192 % |
883.59	c |     20677 |  542926  1694418 |  264997   19319 26627470  1378.3 |  0.194 % |
915.89	c |     21189 |  542909  1694359 |  291497   19823 27601602  1392.4 |  0.196 % |
951.53	c |     21950 |  542909  1694359 |  320647   20584 29421572  1429.3 |  0.196 % |
975.81	c |     23089 |  542853  1694163 |  352711   20948 29767920  1421.0 |  0.203 % |
1055.04	c |     24797 |  542853  1694163 |  387983   22656 34341650  1515.8 |  0.203 % |
1171.10	c |     27359 |  542853  1694163 |  426781   25218 41940309  1663.1 |  0.203 % |
1230.41	c ==============================================================================
1230.41	c Found solution: 1500
1230.41	o 1500
1230.51	c ---[   0]---> Adder-cost: 0   maxlim: 526195   bits: 20/20
1236.98	c ==================================[MINISAT+]==================================
1236.98	c | Conflicts | Original         | Learnt                           | Progress |
1236.98	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1236.98	c ==============================================================================
1236.98	c |     28840 |  542814  1694046 |  180938   26693 45227390  1694.4 |  0.203 % |
1238.94	c |     28941 |  542803  1694003 |  199031   26793 45281678  1690.1 |  0.212 % |
1249.38	c |     29092 |  542803  1694003 |  218934   26944 45640999  1693.9 |  0.212 % |
1252.18	c |     29317 |  542803  1694003 |  240828   27169 45865578  1688.2 |  0.212 % |
1262.45	c |     29654 |  542748  1693824 |  264911   27498 46300045  1683.8 |  0.219 % |
1274.10	c |     30160 |  542665  1693553 |  291402   27988 46613779  1665.5 |  0.228 % |
1301.95	c |     30920 |  542665  1693553 |  320542   28748 47728260  1660.2 |  0.228 % |
1335.06	c |     32061 |  542617  1693389 |  352596   29881 49140819  1644.6 |  0.233 % |
1461.49	c |     33775 |  542577  1693253 |  387856   31242 51634624  1652.7 |  0.237 % |
1538.08	c ==============================================================================
1538.08	c Found solution: 1328
1538.08	o 1328
1538.18	c ---[   0]---> Adder-cost: 0   maxlim: 526367   bits: 20/20
1544.74	c ==================================[MINISAT+]==================================
1544.74	c | Conflicts | Original         | Learnt                           | Progress |
1544.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1544.74	c ==============================================================================
1544.74	c |     35194 |  542077  1691319 |  180692   31504 52730869  1673.8 |  0.237 % |
1547.02	c |     35295 |  542066  1691276 |  198761   31599 52820139  1671.6 |  0.292 % |
1554.01	c |     35446 |  542066  1691276 |  218637   31750 53106303  1672.6 |  0.292 % |
1566.93	c |     35679 |  542066  1691276 |  240501   31983 53532333  1673.8 |  0.292 % |
1585.75	c |     36016 |  542055  1691233 |  264551   32318 54218499  1677.7 |  0.293 % |
1612.09	c |     36528 |  542046  1691204 |  291006   32829 55284388  1684.0 |  0.295 % |
1645.72	c |     37301 |  542035  1691161 |  320106   33601 56194385  1672.4 |  0.296 % |
1690.39	c |     38440 |  542013  1691075 |  352117   34737 58181505  1674.9 |  0.299 % |
1763.15	c |     40148 |  541832  1690466 |  387329   36407 61352030  1685.2 |  0.320 % |
1801.21	c 
1801.21	c *** TERMINATED ***
1801.21	s SATISFIABLE
1801.21	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1801.21	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1801.21	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1801.21	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1801.21	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1801.21	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1801.21	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1801.21	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1801.21	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1801.21	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1801.21	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1801.21	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1801.21	v -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1801.21	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1801.21	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1801.21	v -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1801.21	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1801.21	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1801.21	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1801.21	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1801.21	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1801.21	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1801.21	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1801.21	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1801.21	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1801.21	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1801.21	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1801.21	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1801.21	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1801.21	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1801.21	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1801.21	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1801.21	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1801.21	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1801.21	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1801.21	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1801.21	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1801.21	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1801.21	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1801.21	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1801.21	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1801.21	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1801.21	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1801.21	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1801.21	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1801.21	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1801.21	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1801.21	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1801.21	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1801.21	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1801.21	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1801.21	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1801.21	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1801.21	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1801.21	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1801.21	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1801.21	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1801.21	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1801.21	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1801.21	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1801.21	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1801.21	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1801.21	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1801.21	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1801.21	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1801.21	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1801.21	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1801.21	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1801.21	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1801.21	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1801.21	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1801.21	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1801.21	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1801.21	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1801.21	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1801.21	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1801.21	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1801.21	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1801.21	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1801.21	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1801.21	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1801.21	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1801.21	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1801.21	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1801.21	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1801.21	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1801.21	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1801.21	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1801.21	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1801.21	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1801.21	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1801.21	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1801.21	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1801.21	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1801.21	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1801.21	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1801.21	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1801.21	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1801.21	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1801.21	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1801.21	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923
1801.21	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1801.21	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1801.21	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1801.21	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
1801.21	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1801.21	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1801.21	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1801.21	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1801.21	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1801.21	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1801.21	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1801.21	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1801.21	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1801.21	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161
1801.21	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1801.21	v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1801.21	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
1801.21	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
1801.21	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1801.21	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1801.21	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1801.21	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1801.21	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1801.21	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1801.21	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
1801.21	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1801.21	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
1801.21	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
1801.21	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416
1801.21	v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1801.21	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1801.21	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1801.21	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1801.21	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1801.21	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1801.21	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1801.21	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1801.21	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1801.21	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1801.21	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1801.21	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1801.21	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1801.21	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1801.21	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1801.21	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1801.21	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1801.21	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1801.21	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1801.21	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1801.21	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
1801.21	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1801.21	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
1801.21	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
1801.21	v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1801.21	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1801.21	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1801.21	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1801.21	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1801.21	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1801.21	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1801.21	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1801.21	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1801.21	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1801.21	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1801.21	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1801.21	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1801.21	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1801.21	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1801.21	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1801.21	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1801.21	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1801.21	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
1801.21	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
1801.21	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
1801.21	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1801.21	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1801.21	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
1801.21	v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
1801.21	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
1801.21	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
1801.21	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1801.21	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1801.21	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1801.21	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1801.21	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1801.21	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1801.21	v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1801.21	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1801.21	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1801.21	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1801.21	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1801.21	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1801.21	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
1801.21	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521
1801.21	v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538
1801.21	v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555
1801.21	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
1801.21	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
1801.21	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
1801.21	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
1801.21	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1801.21	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1801.21	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1801.21	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1801.21	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1801.21	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1801.21	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
1801.21	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1801.21	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1801.21	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1801.21	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1801.21	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1801.21	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1801.21	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1801.21	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
1801.21	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1801.21	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1801.21	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1801.21	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
1801.21	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1801.21	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1801.21	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
1801.21	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
1801.21	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
1801.21	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1801.21	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1801.21	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
1801.21	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1801.21	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1801.21	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1801.21	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1801.21	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1801.21	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
1801.21	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
1801.21	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
1801.21	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1801.21	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
1801.21	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
1801.21	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
1801.21	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1801.21	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1801.21	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1801.21	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
1801.21	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1801.21	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1801.21	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
1801.21	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422
1801.21	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
1801.21	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456
1801.21	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
1801.21	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1801.21	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1801.21	v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524
1801.21	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
1801.21	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1801.21	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1801.21	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
1801.21	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
1801.21	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
1801.21	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
1801.21	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1801.21	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677
1801.21	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
1801.21	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
1801.21	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728
1801.21	v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745
1801.21	v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
1801.21	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
1801.21	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796
1801.21	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
1801.21	v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1801.21	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1801.21	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864
1801.21	v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881
1801.21	v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
1801.21	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1801.21	v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932
1801.21	v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
1801.21	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1801.21	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983
1801.21	v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
1801.21	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017
1801.21	v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034
1801.21	v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051
1801.21	v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068
1801.21	v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085
1801.21	v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102
1801.21	v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119
1801.21	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136
1801.21	v x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153
1801.21	v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
1801.21	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
1801.21	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204
1801.21	v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221
1801.21	v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238
1801.21	v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255
1801.21	v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272
1801.21	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
1801.21	v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306
1801.21	v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323
1801.21	v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
1801.21	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
1801.21	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
1801.21	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391
1801.21	v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
1801.21	v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
1801.21	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442
1801.21	v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1801.21	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476
1801.21	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493
1801.21	v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
1801.21	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527
1801.21	v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
1801.21	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
1801.21	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578
1801.21	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595
1801.21	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
1801.21	v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
1801.21	v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
1801.21	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
1801.21	v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1801.21	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697
1801.21	v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
1801.21	v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731
1801.21	v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
1801.21	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765
1801.21	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
1801.21	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799
1801.21	v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816
1801.21	v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833
1801.21	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
1801.21	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867
1801.21	v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884
1801.21	v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901
1801.21	v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918
1801.21	v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935
1801.21	v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
1801.21	v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969
1801.21	v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986
1801.21	v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003
1801.21	v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
1801.21	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037
1801.21	v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054
1801.21	v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071
1801.21	v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088
1801.21	v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105
1801.21	v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122
1801.21	v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139
1801.21	v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156
1801.21	v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173
1801.21	v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
1801.21	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
1801.21	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224
1801.21	v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241
1801.21	v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258
1801.21	v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
1801.21	v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292
1801.21	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309
1801.21	v -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326
1801.21	v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343
1801.21	v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
1801.21	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377
1801.21	v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394
1801.21	v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411
1801.21	v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428
1801.21	v -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445
1801.21	v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462
1801.21	v -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479
1801.21	v -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496
1801.21	v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513
1801.21	v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
1801.21	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547
1801.21	v -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564
1801.21	v -x6565 x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581
1801.21	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598
1801.21	v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615
1801.21	v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632
1801.21	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649
1801.21	v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666
1801.21	v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
1801.21	v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700
1801.21	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717
1801.21	v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734
1801.21	v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751
1801.21	v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768
1801.21	v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774

Verifier Data (download as text)

OK	1328

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-35133-1149353286 -o ROOT/results/node70/solver-35133-1149353286 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node70/35133-1149353286/instance-35133-1149353286.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1751984/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=1180 CPUtime=0
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 144 0 0 0 0 0 0 0 19 0 1 0 200998202 1208320 129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 295 129 67 215 0 77 0

[startup+10.002 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1740920/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=12268 CPUtime=9.99
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 2940 0 0 0 998 1 0 0 25 0 1 0 200998202 12562432 2865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 3067 2865 86 215 0 2849 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12268

[startup+20.0079 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1739640/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=13500 CPUtime=20
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 3335 0 0 0 1998 2 0 0 25 0 1 0 200998202 13824000 3177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 3375 3177 86 215 0 3157 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 13500

[startup+30.0137 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1738808/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=14392 CPUtime=30
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 3541 0 0 0 2998 2 0 0 25 0 1 0 200998202 14737408 3383 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 3598 3383 86 215 0 3380 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 14392

[startup+40.0195 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1736760/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=16728 CPUtime=40.05
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 4222 0 0 0 4003 2 0 0 25 0 1 0 200998202 17129472 3899 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 4182 3899 86 215 0 3964 0
Current children cumulated CPU time (s) 40.05
Current children cumulated vsize (Kb) 16728

[startup+50.0763 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1687992/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=68220 CPUtime=50.05
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 18016 0 0 0 4997 8 0 0 25 0 1 0 200998202 69857280 16091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134550905 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 17055 16091 107 215 0 16837 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (Kb) 68220

[startup+60.0821 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1625656/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=134680 CPUtime=60.06
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 39208 0 0 0 5987 19 0 0 25 0 1 0 200998202 137912320 31659 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 33670 31659 121 215 0 33452 0
Current children cumulated CPU time (s) 60.06
Current children cumulated vsize (Kb) 134680

[startup+70.0879 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1624504/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=135052 CPUtime=70.06
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 39491 0 0 0 6987 19 0 0 25 0 1 0 200998202 138293248 31928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574102 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 33763 31928 123 215 0 33545 0
Current children cumulated CPU time (s) 70.06
Current children cumulated vsize (Kb) 135052

[startup+80.0938 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1623608/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=136008 CPUtime=80.06
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 39729 0 0 0 7987 19 0 0 25 0 1 0 200998202 139272192 32166 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 34002 32166 123 215 0 33784 0
Current children cumulated CPU time (s) 80.06
Current children cumulated vsize (Kb) 136008

[startup+90.0996 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1622136/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=137488 CPUtime=90.06
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 40089 0 0 0 8986 20 0 0 25 0 1 0 200998202 140787712 32526 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 34372 32526 123 215 0 34154 0
Current children cumulated CPU time (s) 90.06
Current children cumulated vsize (Kb) 137488

[startup+100.105 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1620664/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=138968 CPUtime=100.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 40458 0 0 0 9987 20 0 0 25 0 1 0 200998202 142303232 32895 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 34742 32895 123 215 0 34524 0
Current children cumulated CPU time (s) 100.07
Current children cumulated vsize (Kb) 138968

[startup+110.111 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1617656/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=141920 CPUtime=110.06
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 41216 0 0 0 10986 20 0 0 25 0 1 0 200998202 145326080 33653 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573936 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 35480 33653 123 215 0 35262 0
Current children cumulated CPU time (s) 110.06
Current children cumulated vsize (Kb) 141920

[startup+120.117 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1616184/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=143404 CPUtime=120.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 41573 0 0 0 11986 21 0 0 25 0 1 0 200998202 146845696 34010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 35851 34010 123 215 0 35633 0
Current children cumulated CPU time (s) 120.07
Current children cumulated vsize (Kb) 143404

[startup+130.123 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1613944/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=145712 CPUtime=130.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 42142 0 0 0 12986 21 0 0 25 0 1 0 200998202 149209088 34579 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 36428 34579 123 215 0 36210 0
Current children cumulated CPU time (s) 130.07
Current children cumulated vsize (Kb) 145712

[startup+140.129 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1611704/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=147792 CPUtime=140.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 42692 0 0 0 13986 21 0 0 25 0 1 0 200998202 151339008 35129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574088 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 36948 35129 123 215 0 36730 0
Current children cumulated CPU time (s) 140.07
Current children cumulated vsize (Kb) 147792

[startup+150.135 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1609592/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=149868 CPUtime=150.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 45334 0 0 0 14985 22 0 0 25 0 1 0 200998202 153464832 35637 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 37467 35637 123 215 0 37249 0
Current children cumulated CPU time (s) 150.07
Current children cumulated vsize (Kb) 149868

[startup+160.141 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1609528/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=149996 CPUtime=160.07
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 45367 0 0 0 15985 22 0 0 25 0 1 0 200998202 153595904 35670 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 37499 35670 123 215 0 37281 0
Current children cumulated CPU time (s) 160.07
Current children cumulated vsize (Kb) 149996

[startup+170.147 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1607416/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=152084 CPUtime=170.08
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 45892 0 0 0 16985 23 0 0 25 0 1 0 200998202 155734016 36195 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 38021 36195 123 215 0 37803 0
Current children cumulated CPU time (s) 170.08
Current children cumulated vsize (Kb) 152084

[startup+180.153 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1605816/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=153732 CPUtime=180.08
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 46300 0 0 0 17985 23 0 0 25 0 1 0 200998202 157421568 36603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574082 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 38433 36603 123 215 0 38215 0
Current children cumulated CPU time (s) 180.08
Current children cumulated vsize (Kb) 153732

[startup+190.16 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1603320/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=156172 CPUtime=190.08
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 46918 0 0 0 18985 23 0 0 25 0 1 0 200998202 159920128 37221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 39043 37221 123 215 0 38825 0
Current children cumulated CPU time (s) 190.08
Current children cumulated vsize (Kb) 156172

[startup+200.166 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1601016/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=158584 CPUtime=200.09
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 47513 0 0 0 19985 24 0 0 25 0 1 0 200998202 162390016 37816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 39646 37816 123 215 0 39428 0
Current children cumulated CPU time (s) 200.09
Current children cumulated vsize (Kb) 158584

[startup+210.171 s]
/proc/loadavg: 1.00 1.00 0.96 2/64 14888
/proc/meminfo: memFree=1598584/2055920 swapFree=4182220/4192956

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

[pid=14888] ppid=14886 vsize=383664 CPUtime=1781.42
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 114955 0 0 0 178081 61 0 0 25 0 1 0 200998202 392871936 93924 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 95916 93924 123 215 0 95698 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 383664

[startup+1783.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1375544/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=383772 CPUtime=1782.43
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 114998 0 0 0 178182 61 0 0 25 0 1 0 200998202 392982528 93967 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574187 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 95943 93967 123 215 0 95725 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 383772

[startup+1784.12 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1375352/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=384052 CPUtime=1783.43
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115049 0 0 0 178282 61 0 0 25 0 1 0 200998202 393269248 94018 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96013 94018 123 215 0 95795 0
Current children cumulated CPU time (s) 1783.43
Current children cumulated vsize (Kb) 384052

[startup+1785.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1375096/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=384320 CPUtime=1784.44
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115115 0 0 0 178383 61 0 0 25 0 1 0 200998202 393543680 94084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96080 94084 123 215 0 95862 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (Kb) 384320

[startup+1786.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1374840/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=384564 CPUtime=1785.44
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115175 0 0 0 178483 61 0 0 25 0 1 0 200998202 393793536 94144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96141 94144 123 215 0 95923 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (Kb) 384564

[startup+1787.13 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1374648/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=384704 CPUtime=1786.45
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115223 0 0 0 178584 61 0 0 25 0 1 0 200998202 393936896 94192 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573857 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96176 94192 123 215 0 95958 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (Kb) 384704

[startup+1788.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1374456/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=384972 CPUtime=1787.45
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115277 0 0 0 178684 61 0 0 25 0 1 0 200998202 394211328 94246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96243 94246 123 215 0 96025 0
Current children cumulated CPU time (s) 1787.45
Current children cumulated vsize (Kb) 384972

[startup+1789.14 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1374200/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=385112 CPUtime=1788.45
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115332 0 0 0 178784 61 0 0 25 0 1 0 200998202 394354688 94301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96278 94301 123 215 0 96060 0
Current children cumulated CPU time (s) 1788.45
Current children cumulated vsize (Kb) 385112

[startup+1790.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1374008/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=385376 CPUtime=1789.46
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115382 0 0 0 178885 61 0 0 25 0 1 0 200998202 394625024 94351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573950 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96344 94351 123 215 0 96126 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 385376

[startup+1791.15 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1373752/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=385648 CPUtime=1790.46
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115442 0 0 0 178985 61 0 0 25 0 1 0 200998202 394903552 94411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96412 94411 123 215 0 96194 0
Current children cumulated CPU time (s) 1790.46
Current children cumulated vsize (Kb) 385648

[startup+1792.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1373560/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=385788 CPUtime=1791.47
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115500 0 0 0 179086 61 0 0 25 0 1 0 200998202 395046912 94469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96447 94469 123 215 0 96229 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (Kb) 385788

[startup+1793.16 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1373304/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=386060 CPUtime=1792.47
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115561 0 0 0 179186 61 0 0 25 0 1 0 200998202 395325440 94530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574381 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96515 94530 123 215 0 96297 0
Current children cumulated CPU time (s) 1792.47
Current children cumulated vsize (Kb) 386060

[startup+1794.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1373112/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=386304 CPUtime=1793.47
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115605 0 0 0 179286 61 0 0 25 0 1 0 200998202 395575296 94574 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96576 94574 123 215 0 96358 0
Current children cumulated CPU time (s) 1793.47
Current children cumulated vsize (Kb) 386304

[startup+1795.17 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1372984/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=386436 CPUtime=1794.48
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115637 0 0 0 179387 61 0 0 25 0 1 0 200998202 395710464 94606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96609 94606 123 215 0 96391 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (Kb) 386436

[startup+1796.18 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1372792/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=386560 CPUtime=1795.48
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115691 0 0 0 179487 61 0 0 25 0 1 0 200998202 395837440 94660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573851 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96640 94660 123 215 0 96422 0
Current children cumulated CPU time (s) 1795.48
Current children cumulated vsize (Kb) 386560

[startup+1797.18 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1372536/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=386916 CPUtime=1796.49
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115757 0 0 0 179588 61 0 0 25 0 1 0 200998202 396201984 94726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574082 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96729 94726 123 215 0 96511 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (Kb) 386916

[startup+1798.19 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1372344/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=387044 CPUtime=1797.49
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115801 0 0 0 179688 61 0 0 25 0 1 0 200998202 396333056 94770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573904 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96761 94770 123 215 0 96543 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (Kb) 387044

[startup+1799.19 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1372088/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=387296 CPUtime=1798.5
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115863 0 0 0 179789 61 0 0 25 0 1 0 200998202 396591104 94832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96824 94832 123 215 0 96606 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (Kb) 387296

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1371896/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=387568 CPUtime=1799.5
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115914 0 0 0 179889 61 0 0 25 0 1 0 200998202 396869632 94883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575431 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96892 94883 123 215 0 96674 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (Kb) 387568

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1371704/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=387700 CPUtime=1800.51
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115959 0 0 0 179990 61 0 0 25 0 1 0 200998202 397004800 94928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574082 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96925 94928 123 215 0 96707 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 387700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 1.00 1.00 0.97 2/64 15083
/proc/meminfo: memFree=1371704/2055920 swapFree=4182220/4192956
[pid=14888] ppid=14886 vsize=387700 CPUtime=1800.51
/proc/14888/stat : 14888 (minisat+) R 14886 14888 14842 0 -1 4194304 115959 0 0 0 179990 61 0 0 25 0 1 0 200998202 397004800 94928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574082 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14888/statm: 96925 94928 123 215 0 96707 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 387700

Sending SIGTERM to -14888
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.28
CPU time (s): 1800.59
CPU user time (s): 1799.91
CPU system time (s): 0.681896
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (Kb): 387700

Launcher Data (download as text)

Begin job on node70 on Sat Jun  3 16:48:06 UTC 2006


FILE ID= 35133-1149353286

PBS_JOBID= 311116

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node70/35133-1149353286/instance-35133-1149353286.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-35133-1149353286 -o ROOT/results/node70/solver-35133-1149353286 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node70/35133-1149353286/instance-35133-1149353286.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  d237957d2db9f550f313e8cfb724f264

RANDOM SEED= 133670904


/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.265
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.265
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:       1752192 kB
Buffers:         22868 kB
Cached:         209680 kB
SwapCached:       2324 kB
Active:          48152 kB
Inactive:       192944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752192 kB
SwapTotal:     4192956 kB
SwapFree:      4182220 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15348 kB
Slab:            48668 kB
Committed_AS:   282168 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Sat Jun  3 17:18:07 UTC 2006