Trace number 453260

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
oree 0.1.2 alphaSAT (TO)87 1800.13 1800.8

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.02/0.08	c ...done
0.02/0.08	c #vars=6826 #constraints=13153 hasObjective=yes
0.09/0.16	c res. mode=mod
0.09/0.16	c VSIDS like heuristics
0.09/0.16	c complete search running
0.19/0.21	c restart after 401 decisions
0.19/0.23	c nbDecision=500 #constraints=13153
0.19/0.26	c restart after 801 decisions
0.19/0.30	c nbDecision=1000 #constraints=13153
0.29/0.32	c nbDecision=1210 #constraints=13153
0.29/0.32	c linear search for optimum
0.29/0.32	o 91
0.49/0.55	c nbDecision=1500 #constraints=13299
0.59/0.64	c restart after 1601 decisions
0.69/0.71	c nbDecision=2000 #constraints=13351
1.09/1.19	c nbDecision=2500 #constraints=13585
1.69/1.71	c nbDecision=2982 #constraints=13783
1.69/1.71	o 90
1.69/1.75	c nbDecision=3000 #constraints=13795
1.99/2.06	c restart after 3201 decisions
2.09/2.15	c nbDecision=3500 #constraints=13892
2.78/2.82	c nbDecision=4000 #constraints=14068
3.79/3.82	c nbDecision=4500 #constraints=14289
4.89/4.90	c nbDecision=5000 #constraints=14526
5.49/5.58	c nbDecision=5334 #constraints=14673
5.49/5.58	o 89
5.89/5.92	c nbDecision=5500 #constraints=14735
6.89/6.92	c nbDecision=6000 #constraints=14914
7.88/7.93	c restart after 6401 decisions
7.98/8.07	c nbDecision=6500 #constraints=15072
8.89/8.94	c nbDecision=7000 #constraints=15179
9.79/9.86	c nbDecision=7310 #constraints=15302
9.79/9.86	o 88
10.39/10.44	c nbDecision=7500 #constraints=15373
11.99/12.03	c nbDecision=8000 #constraints=15541
13.18/13.27	c nbDecision=8500 #constraints=15678
14.59/14.69	c nbDecision=9000 #constraints=15837
15.99/16.03	c nbDecision=9500 #constraints=15995
17.59/17.69	c nbDecision=10000 #constraints=16154
19.98/20.02	c nbDecision=10500 #constraints=16364
22.08/22.11	c nbDecision=11000 #constraints=16523
24.78/24.82	c nbDecision=11500 #constraints=16729
27.18/27.27	c nbDecision=12000 #constraints=16910
29.58/29.61	c nbDecision=12500 #constraints=17063
30.78/30.84	c restart after 12801 decisions
31.18/31.21	c nbDecision=13000 #constraints=17144
32.67/32.79	c nbDecision=13500 #constraints=17238
34.98/35.04	c nbDecision=14000 #constraints=17385
37.38/37.41	c nbDecision=14500 #constraints=17526
40.07/40.12	c nbDecision=15000 #constraints=17713
42.88/42.96	c nbDecision=15500 #constraints=17895
45.88/45.96	c nbDecision=16000 #constraints=18090
48.57/48.64	c nbDecision=16500 #constraints=18239
52.78/52.84	c nbDecision=17000 #constraints=18467
56.57/56.60	c nbDecision=17500 #constraints=18662
60.16/60.21	c nbDecision=18000 #constraints=18824
64.17/64.22	c nbDecision=18500 #constraints=19004
68.67/68.77	c nbDecision=19000 #constraints=19179
72.76/72.85	c nbDecision=19500 #constraints=19343
76.16/76.29	c nbDecision=20000 #constraints=19488
79.66/79.73	c nbDecision=20500 #constraints=19639
84.06/84.19	c nbDecision=21000 #constraints=19851
87.96/88.05	c nbDecision=21500 #constraints=20007
93.16/93.27	c nbDecision=22000 #constraints=20184
97.15/97.28	c nbDecision=22500 #constraints=20361
101.35/101.44	c nbDecision=23000 #constraints=20517
105.95/106.07	c nbDecision=23500 #constraints=20690
111.85/111.92	c nbDecision=24000 #constraints=20914
117.45/117.60	c nbDecision=24500 #constraints=21107
122.44/122.58	c nbDecision=25000 #constraints=21268
128.05/128.15	c nbDecision=25500 #constraints=21435
129.25/129.31	c restart after 25601 decisions
130.65/130.75	c nbDecision=26000 #constraints=21472
137.34/137.48	c nbDecision=26500 #constraints=21709
143.04/143.17	c nbDecision=27000 #constraints=21904
148.44/148.59	c nbDecision=27500 #constraints=22065
154.54/154.61	c nbDecision=28000 #constraints=22242
161.83/161.91	c nbDecision=28500 #constraints=22421
168.23/168.37	c nbDecision=29000 #constraints=22587
173.42/173.52	c nbDecision=29500 #constraints=22737
179.13/179.26	c nbDecision=30000 #constraints=22905
184.22/184.31	c nbDecision=30500 #constraints=23048
190.72/190.88	c nbDecision=31000 #constraints=23269
196.41/196.54	c nbDecision=31500 #constraints=23428
203.61/203.70	c nbDecision=32000 #constraints=23591
209.71/209.86	c nbDecision=32500 #constraints=23741
216.01/216.17	c nbDecision=33000 #constraints=23864
222.41/222.58	c nbDecision=33500 #constraints=24009
229.40/229.58	c nbDecision=34000 #constraints=24221
235.70/235.89	c nbDecision=34500 #constraints=24380
242.20/242.31	c nbDecision=35000 #constraints=24539
249.10/249.26	c nbDecision=35500 #constraints=24721
256.39/256.50	c nbDecision=36000 #constraints=24921
263.79/263.94	c nbDecision=36500 #constraints=25086
270.59/270.75	c nbDecision=37000 #constraints=25242
278.89/279.03	c nbDecision=37500 #constraints=25464
286.58/286.71	c nbDecision=38000 #constraints=25651
295.68/295.88	c nbDecision=38500 #constraints=25833
303.68/303.84	c nbDecision=39000 #constraints=25988
311.08/311.24	c nbDecision=39500 #constraints=26149
319.57/319.79	c nbDecision=40000 #constraints=26332
328.06/328.29	c nbDecision=40500 #constraints=26523
337.17/337.32	c nbDecision=41000 #constraints=26730
346.06/346.26	c nbDecision=41500 #constraints=26934
356.45/356.66	c nbDecision=42000 #constraints=27136
367.26/367.41	c nbDecision=42500 #constraints=27306
374.96/375.12	c nbDecision=43000 #constraints=27470
384.24/384.43	c nbDecision=43500 #constraints=27613
392.64/392.82	c nbDecision=44000 #constraints=27748
398.74/398.90	c nbDecision=44500 #constraints=27879
406.94/407.12	c nbDecision=45000 #constraints=28045
414.63/414.84	c nbDecision=45500 #constraints=28195
424.23/424.45	c nbDecision=46000 #constraints=28386
432.43/432.63	c nbDecision=46500 #constraints=28533
441.93/442.12	c nbDecision=47000 #constraints=28698
453.02/453.27	c nbDecision=47500 #constraints=28917
462.11/462.37	c nbDecision=48000 #constraints=29084
469.71/469.93	c nbDecision=48500 #constraints=29213
481.81/482.02	c nbDecision=49000 #constraints=29432
491.20/491.41	c nbDecision=49500 #constraints=29600
500.70/500.96	c nbDecision=50000 #constraints=29736
508.50/508.75	c nbDecision=50500 #constraints=29865
516.90/517.19	c nbDecision=51000 #constraints=30029
520.10/520.39	c restart after 51201 decisions
522.10/522.38	c nbDecision=51500 #constraints=30083
530.29/530.54	c nbDecision=52000 #constraints=30205
539.29/539.60	c nbDecision=52500 #constraints=30351
548.79/549.05	c nbDecision=53000 #constraints=30505
557.39/557.67	c nbDecision=53500 #constraints=30640
569.68/569.91	c nbDecision=54000 #constraints=30839
580.97/581.24	c nbDecision=54500 #constraints=31014
589.76/590.09	c nbDecision=55000 #constraints=31141
599.76/600.03	c nbDecision=55500 #constraints=31283
613.06/613.32	c nbDecision=56000 #constraints=31478
623.65/623.91	c nbDecision=56500 #constraints=31629
635.76/636.04	c nbDecision=57000 #constraints=31812
648.45/648.70	c nbDecision=57500 #constraints=32021
658.04/658.36	c nbDecision=58000 #constraints=32171
668.34/668.63	c nbDecision=58500 #constraints=32325
682.64/682.90	c nbDecision=59000 #constraints=32541
693.43/693.71	c nbDecision=59500 #constraints=32696
703.23/703.56	c nbDecision=60000 #constraints=32814
712.92/713.28	c nbDecision=60500 #constraints=32953
722.91/723.23	c nbDecision=61000 #constraints=33113
732.92/733.30	c nbDecision=61500 #constraints=33263
743.11/743.44	c nbDecision=62000 #constraints=33420
752.31/752.61	c nbDecision=62500 #constraints=33558
764.10/764.44	c nbDecision=63000 #constraints=33726
777.30/777.66	c nbDecision=63500 #constraints=33909
789.69/790.03	c nbDecision=64000 #constraints=34061
805.79/806.10	c nbDecision=64500 #constraints=34287
820.09/820.44	c nbDecision=65000 #constraints=34479
832.28/832.70	c nbDecision=65500 #constraints=34642
846.07/846.42	c nbDecision=66000 #constraints=34804
859.77/860.17	c nbDecision=66500 #constraints=34978
878.76/879.13	c nbDecision=67000 #constraints=35245
893.76/894.11	c nbDecision=67500 #constraints=35432
898.36/898.73	c nbDecision=67626 #constraints=35495
898.36/898.73	o 87
909.05/909.49	c nbDecision=68000 #constraints=35635
922.15/922.51	c nbDecision=68500 #constraints=35782
936.44/936.82	c nbDecision=69000 #constraints=35955
951.43/951.86	c nbDecision=69500 #constraints=36112
965.34/965.78	c nbDecision=70000 #constraints=36271
976.53/976.99	c nbDecision=70500 #constraints=36404
987.72/988.12	c nbDecision=71000 #constraints=36532
1001.21/1001.63	c nbDecision=71500 #constraints=36725
1013.82/1014.27	c nbDecision=72000 #constraints=36885
1026.80/1027.20	c nbDecision=72500 #constraints=37021
1042.10/1042.51	c nbDecision=73000 #constraints=37186
1054.10/1054.50	c nbDecision=73500 #constraints=37348
1066.69/1067.15	c nbDecision=74000 #constraints=37509
1078.59/1079.09	c nbDecision=74500 #constraints=37655
1095.58/1096.03	c nbDecision=75000 #constraints=37861
1111.58/1112.09	c nbDecision=75500 #constraints=38036
1126.17/1126.64	c nbDecision=76000 #constraints=38203
1141.16/1141.61	c nbDecision=76500 #constraints=38349
1157.15/1157.64	c nbDecision=77000 #constraints=38547
1174.75/1175.27	c nbDecision=77500 #constraints=38751
1189.34/1189.87	c nbDecision=78000 #constraints=38917
1204.94/1205.41	c nbDecision=78500 #constraints=39074
1221.54/1222.05	c nbDecision=79000 #constraints=39244
1240.33/1240.89	c nbDecision=79500 #constraints=39428
1254.22/1254.70	c nbDecision=80000 #constraints=39559
1266.82/1267.38	c nbDecision=80500 #constraints=39696
1280.71/1281.23	c nbDecision=81000 #constraints=39855
1292.90/1293.46	c nbDecision=81500 #constraints=39978
1308.90/1309.41	c nbDecision=82000 #constraints=40186
1323.29/1323.85	c nbDecision=82500 #constraints=40341
1339.19/1339.78	c nbDecision=83000 #constraints=40484
1356.68/1357.28	c nbDecision=83500 #constraints=40648
1373.87/1374.47	c nbDecision=84000 #constraints=40805
1391.37/1391.98	c nbDecision=84500 #constraints=40973
1406.67/1407.28	c nbDecision=85000 #constraints=41104
1420.35/1420.98	c nbDecision=85500 #constraints=41238
1438.26/1438.81	c nbDecision=86000 #constraints=41428
1457.74/1458.37	c nbDecision=86500 #constraints=41576
1475.64/1476.22	c nbDecision=87000 #constraints=41717
1489.74/1490.35	c nbDecision=87500 #constraints=41860
1507.73/1508.32	c nbDecision=88000 #constraints=42074
1522.72/1523.38	c nbDecision=88500 #constraints=42223
1535.72/1536.35	c nbDecision=89000 #constraints=42349
1551.61/1552.23	c nbDecision=89500 #constraints=42519
1570.81/1571.44	c nbDecision=90000 #constraints=42727
1589.10/1589.76	c nbDecision=90500 #constraints=42937
1607.69/1608.32	c nbDecision=91000 #constraints=43124
1621.89/1622.54	c nbDecision=91500 #constraints=43251
1635.88/1636.59	c nbDecision=92000 #constraints=43382
1656.87/1657.53	c nbDecision=92500 #constraints=43625
1673.07/1673.72	c nbDecision=93000 #constraints=43775
1694.36/1695.04	c nbDecision=93500 #constraints=43946
1710.35/1711.08	c nbDecision=94000 #constraints=44099
1728.44/1729.10	c nbDecision=94500 #constraints=44250
1744.24/1744.91	c nbDecision=95000 #constraints=44385
1763.13/1763.84	c nbDecision=95500 #constraints=44562
1781.93/1782.64	c nbDecision=96000 #constraints=44739
1800.03/1800.71	Received signal 15
1800.03/1800.74	
1800.03/1800.74	s SATISFIABLE
1800.03/1800.74	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
1800.03/1800.74	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
1800.03/1800.74	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
1800.03/1800.74	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
1800.03/1800.74	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1800.74	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1800.74	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1800.74	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1800.74	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1800.74	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1800.74	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.03/1800.74	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1800.74	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1800.74	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1800.74	v -x315 -x316 x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336
1800.03/1800.74	v -x337 -x338 x339 -x340 x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 -x358
1800.03/1800.74	v -x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 x379 x380
1800.03/1800.74	v -x381 x382 -x383 -x384 x385 x386 -x387 x388 x389 x390 -x391 -x392 -x393 x394 x395 -x396 -x397 -x398 x399 x400 -x401 x402 -x403
1800.03/1800.74	v x404 x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 -x419 x420 x421 -x422 x423 x424 x425 x426 -x427
1800.03/1800.74	v -x428 -x429 -x430 x431 -x432 -x433 x434 -x435 x436 x437 -x438 x439 x440 x441 x442 -x443 x444 x445 -x446 x447 -x448 x449 -x450
1800.03/1800.74	v -x451 x452 x453 -x454 -x455 x456 -x457 -x458 x459 x460 x461 x462 x463 -x464 x465 x466 x467 x468 -x469 -x470 x471 x472 x473 x474
1800.03/1800.74	v -x475 x476 -x477 -x478 -x479 x480 -x481 -x482 x483 x484 -x485 x486 -x487 x488 -x489 x490 -x491 x492 x493 x494 x495 x496 -x497
1800.03/1800.74	v x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518
1800.03/1800.74	v x519 x520 x521 -x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
1800.03/1800.74	v -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 x557 -x558 -x559 -x560 -x561
1800.03/1800.74	v -x562 -x563 x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 x580 -x581 -x582 -x583
1800.03/1800.74	v x584 -x585 -x586 x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604
1800.03/1800.74	v -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
1800.03/1800.74	v x626 -x627 x628 -x629 -x630 x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647
1800.03/1800.74	v -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669
1800.03/1800.74	v -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 x690
1800.03/1800.74	v -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 x708 x709 -x710 -x711 -x712
1800.03/1800.74	v x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 x727 -x728 -x729 -x730 -x731 x732 -x733 x734
1800.03/1800.74	v -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1800.74	v -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 x775 -x776
1800.03/1800.74	v -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1800.74	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818
1800.03/1800.74	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.03/1800.74	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 -x857 x858 x859 -x860
1800.03/1800.74	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 x876 -x877 x878 -x879 -x880 -x881
1800.03/1800.74	v -x882 x883 -x884 x885 x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903
1800.03/1800.74	v -x904 -x905 x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924
1800.03/1800.74	v -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945
1800.03/1800.74	v x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.03/1800.74	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.03/1800.74	v -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007
1800.03/1800.74	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 -x1025
1800.03/1800.74	v -x1026 -x1027 x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043
1800.03/1800.74	v x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061
1800.03/1800.74	v -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x1078 x1079
1800.03/1800.74	v -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097
1800.03/1800.74	v -x1098 -x1099 -x1100 x1101 -x1102 x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 x1115
1800.03/1800.74	v -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133
1800.03/1800.74	v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150
1800.03/1800.74	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1800.03/1800.74	v -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1800.03/1800.74	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202
1800.03/1800.74	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.03/1800.74	v -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 -x1235 -x1236 -x1237
1800.03/1800.74	v -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255
1800.03/1800.74	v -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272
1800.03/1800.74	v -x1273 -x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 x1288 -x1289 -x1290
1800.03/1800.74	v -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 x1307 -x1308
1800.03/1800.74	v x1309 x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
1800.03/1800.74	v -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344
1800.03/1800.74	v -x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.03/1800.74	v -x1363 -x1364 x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.03/1800.74	v -x1381 -x1382 x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.03/1800.74	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.03/1800.74	v -x1416 -x1417 -x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1800.03/1800.74	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
1800.03/1800.74	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468
1800.03/1800.74	v -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1800.03/1800.74	v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503
1800.03/1800.74	v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
1800.03/1800.74	v x1521 x1522 -x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538
1800.03/1800.74	v -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1800.03/1800.74	v x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574
1800.03/1800.74	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592
1800.03/1800.74	v x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610
1800.03/1800.74	v -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628
1800.03/1800.74	v -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 -x1646
1800.03/1800.74	v -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1800.03/1800.74	v -x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682
1800.03/1800.74	v x1683 -x1684 -x1685 -x1686 -x1687 x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1800.03/1800.74	v -x1701 -x1702 -x1703 -x1704 x1705 x1706 x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1800.03/1800.74	v -x1719 -x1720 -x1721 x1722 x1723 -x1724 x1725 x1726 x1727 x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737
1800.03/1800.74	v -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.03/1800.74	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773
1800.03/1800.74	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
1800.03/1800.74	v x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 x1808
1800.03/1800.74	v -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.03/1800.74	v -x1826 x1827 x1828 -x1829 -x1830 -x1831 x1832 x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843
1800.03/1800.74	v -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
1800.03/1800.74	v -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
1800.03/1800.74	v x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 x1890 -x1891 x1892 -x1893 -x1894 x1895 x1896 x1897
1800.03/1800.74	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 x1914 -x1915
1800.03/1800.74	v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932
1800.03/1800.74	v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 x1948 -x1949 -x1950
1800.03/1800.74	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967
1800.03/1800.74	v -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984
1800.03/1800.74	v -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002
1800.03/1800.74	v x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020
1800.03/1800.74	v x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1800.03/1800.74	v -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1800.03/1800.74	v -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073
1800.03/1800.74	v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091
1800.03/1800.74	v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
1800.03/1800.74	v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 x2124 -x2125 -x2126
1800.03/1800.74	v -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143
1800.03/1800.74	v -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161
1800.03/1800.74	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1800.03/1800.74	v -x2179 -x2180 x2181 -x2182 -x2183 -x2184 x2185 x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 x2193 -x2194 -x2195 -x2196
1800.03/1800.74	v -x2197 -x2198 -x2199 -x2200 x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214
1800.03/1800.74	v -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 x2232
1800.03/1800.74	v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249
1800.03/1800.74	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x2266
1800.03/1800.74	v x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284
1800.03/1800.74	v x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302
1800.03/1800.74	v -x2303 x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1800.03/1800.74	v x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.03/1800.74	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 x2355 -x2356
1800.03/1800.74	v x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 x2371 -x2372 -x2373 -x2374
1800.03/1800.74	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392
1800.03/1800.74	v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
1800.03/1800.74	v -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 x2426 x2427 -x2428
1800.03/1800.74	v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 x2437 x2438 -x2439 x2440 -x2441 x2442 -x2443 -x2444 -x2445 x2446
1800.03/1800.74	v -x2447 -x2448 -x2449 -x2450 -x2451 x2452 x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 -x2463 -x2464
1800.03/1800.74	v -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482
1800.03/1800.74	v -x2483 x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500
1800.03/1800.74	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1800.03/1800.74	v -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
1800.03/1800.74	v x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 x2544 x2545 x2546 -x2547 -x2548 -x2549 x2550 -x2551 -x2552
1800.03/1800.74	v -x2553 -x2554 x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.03/1800.74	v -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588
1800.03/1800.74	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.03/1800.74	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 x2623 x2624
1800.03/1800.74	v -x2625 -x2626 -x2627 x2628 x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642
1800.03/1800.74	v -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660
1800.03/1800.74	v -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 x2676 -x2677 x2678
1800.03/1800.74	v x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 x2696
1800.03/1800.74	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1800.03/1800.74	v -x2715 x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732
1800.03/1800.74	v -x2733 -x2734 -x2735 x2736 x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750
1800.03/1800.74	v -x2751 x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 x2765 -x2766 -x2767 -x2768
1800.03/1800.74	v -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785
1800.03/1800.74	v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1800.03/1800.74	v -x2804 -x2805 -x2806 x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821
1800.03/1800.74	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839
1800.03/1800.74	v -x2840 -x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857
1800.03/1800.74	v -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.03/1800.74	v -x2876 -x2877 x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893
1800.03/1800.74	v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.03/1800.74	v -x2912 x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 x2927 -x2928 -x2929
1800.03/1800.74	v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947
1800.03/1800.74	v -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964
1800.03/1800.74	v -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981
1800.03/1800.74	v x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999
1800.03/1800.74	v x3000 -x3001 x3002 -x3003 x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 x3016 -x3017
1800.03/1800.74	v x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035
1800.03/1800.74	v -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 x3050 -x3051 -x3052 -x3053
1800.03/1800.74	v -x3054 x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071
1800.03/1800.74	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089
1800.03/1800.74	v -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 x3103 -x3104 -x3105 -x3106 x3107
1800.03/1800.74	v -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124
1800.03/1800.74	v -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142
1800.03/1800.74	v -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 -x3159 -x3160
1800.03/1800.74	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178
1800.03/1800.74	v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 x3195 x3196
1800.03/1800.74	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 x3212 -x3213 -x3214
1800.03/1800.74	v -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231
1800.03/1800.74	v x3232 -x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249
1800.03/1800.74	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266
1800.03/1800.74	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284
1800.03/1800.74	v -x3285 x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 x3297 x3298 -x3299 -x3300 -x3301 x3302
1800.03/1800.74	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319
1800.03/1800.74	v -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 x3330 x3331 -x3332 x3333 x3334 -x3335 -x3336 -x3337
1800.03/1800.74	v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354
1800.03/1800.74	v -x3355 x3356 -x3357 -x3358 x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 x3369 -x3370 x3371 -x3372
1800.03/1800.74	v -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390
1800.03/1800.74	v -x3391 -x3392 -x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407
1800.03/1800.74	v -x3408 -x3409 -x3410 x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 -x3423 -x3424 -x3425
1800.03/1800.74	v -x3426 -x3427 -x3428 x3429 -x3430 x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 x3442 -x3443
1800.03/1800.74	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461
1800.03/1800.74	v -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 x3479
1800.03/1800.74	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496
1800.03/1800.74	v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 -x3510 -x3511 -x3512 -x3513
1800.03/1800.74	v -x3514 x3515 x3516 -x3517 x3518 x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531
1800.03/1800.74	v -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549
1800.03/1800.74	v -x3550 -x3551 -x3552 -x3553 -x3554 x3555 x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567
1800.03/1800.74	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584
1800.03/1800.74	v -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1800.03/1800.74	v x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 x3618 -x3619 -x3620
1800.03/1800.74	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3636 x3637 -x3638
1800.03/1800.74	v x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656
1800.03/1800.74	v -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 x3664 -x3665 x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674
1800.03/1800.74	v x3675 -x3676 -x3677 -x3678 -x3679 x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 x3691 x3692
1800.03/1800.74	v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710
1800.03/1800.74	v -x3711 -x3712 x3713 -x3714 x3715 -x3716 -x3717 -x3718 x3719 -x3720 x3721 -x3722 -x3723 x3724 -x3725 -x3726 -x3727 -x3728
1800.03/1800.74	v -x3729 -x3730 -x3731 x3732 -x3733 x3734 -x3735 x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 x3745 -x3746
1800.03/1800.74	v x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 x3762 -x3763 -x3764
1800.03/1800.74	v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782
1800.03/1800.74	v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799
1800.03/1800.74	v -x3800 -x3801 x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817
1800.03/1800.74	v -x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 x3829 -x3830 x3831 -x3832 -x3833 -x3834 -x3835
1800.03/1800.74	v -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 x3853
1800.03/1800.74	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
1800.03/1800.74	v x3871 -x3872 -x3873 x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888
1800.03/1800.74	v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906
1800.03/1800.74	v -x3907 -x3908 -x3909 x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923
1800.03/1800.74	v x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941
1800.03/1800.74	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959
1800.03/1800.74	v -x3960 -x3961 -x3962 -x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 -x3975 -x3976 -x3977
1800.03/1800.74	v -x3978 x3979 x3980 x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 x3992 -x3993 -x3994 -x3995
1800.03/1800.74	v -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 x4011 -x4012 -x4013
1800.03/1800.74	v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1800.03/1800.74	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047
1800.03/1800.74	v -x4048 -x4049 x4050 -x4051 x4052 x4053 -x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 x4064 -x4065
1800.03/1800.74	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083
1800.03/1800.74	v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101
1800.03/1800.74	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118
1800.03/1800.74	v -x4119 x4120 -x4121 x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135 -x4136
1800.03/1800.74	v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153
1800.03/1800.74	v -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
1800.03/1800.74	v x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 x4186 -x4187 -x4188
1800.03/1800.74	v -x4189 -x4190 -x4191 -x4192 x4193 -x4194 x4195 x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206
1800.03/1800.74	v x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1800.03/1800.74	v -x4225 -x4226 x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 x4242
1800.03/1800.74	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 -x4259
1800.03/1800.74	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276
1800.03/1800.74	v x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
1800.03/1800.74	v -x4295 -x4296 -x4297 x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 x4305 x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312
1800.03/1800.74	v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 x4321 x4322 -x4323 -x4324 -x4325 -x4326 x4327 x4328 x4329 -x4330
1800.03/1800.74	v x4331 x4332 -x4333 -x4334 -x4335 -x4336 x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 x4347 -x4348
1800.03/1800.74	v -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366
1800.03/1800.74	v -x4367 -x4368 -x4369 -x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 x4384
1800.03/1800.74	v -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 x4398 -x4399 -x4400 -x4401 -x4402
1800.03/1800.74	v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419
1800.03/1800.74	v -x4420 -x4421 -x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4437
1800.03/1800.74	v -x4438 -x4439 -x4440 -x4441 x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455
1800.03/1800.74	v x4456 x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463 -x4464 -x4465 x4466 -x4467 -x4468 x4469 x4470 -x4471 -x4472 -x4473
1800.03/1800.74	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 x4481 x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491
1800.03/1800.74	v x4492 x4493 x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 x4505 -x4506 x4507 -x4508 -x4509
1800.03/1800.74	v -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527
1800.03/1800.74	v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 x4545
1800.03/1800.74	v x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563
1800.03/1800.74	v -x4564 -x4565 -x4566 -x4567 -x4568 x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 x4580 -x4581
1800.03/1800.74	v -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599
1800.03/1800.74	v -x4600 x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617
1800.03/1800.74	v -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 x4634 x4635
1800.03/1800.74	v x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 x4646 -x4647 x4648 -x4649 -x4650 -x4651 -x4652 -x4653
1800.03/1800.74	v -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
1800.03/1800.74	v -x4671 -x4672 -x4673 -x4674 x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 x4684 -x4685 -x4686 -x4687 -x4688
1800.03/1800.74	v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705
1800.03/1800.74	v -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723
1800.03/1800.74	v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740
1800.03/1800.74	v x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758
1800.03/1800.74	v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775
1800.03/1800.74	v -x4776 -x4777 -x4778 x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793
1800.03/1800.74	v -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811
1800.03/1800.74	v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829
1800.03/1800.74	v x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.03/1800.74	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865
1800.03/1800.74	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 x4876 x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.03/1800.74	v -x4884 -x4885 -x4886 x4887 -x4888 x4889 x4890 x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901
1800.03/1800.74	v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918
1800.03/1800.74	v -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 x4927 x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936
1800.03/1800.74	v -x4937 -x4938 x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 -x4949 x4950 x4951 -x4952 x4953 -x4954
1800.03/1800.74	v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972
1800.03/1800.74	v -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989
1800.03/1800.74	v -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007
1800.03/1800.74	v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 x5024
1800.03/1800.74	v x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 -x5039 -x5040 -x5041 -x5042
1800.03/1800.74	v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059
1800.03/1800.74	v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076
1800.03/1800.74	v -x5077 -x5078 -x5079 -x5080 -x5081 x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 x5094
1800.03/1800.74	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111
1800.03/1800.74	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128
1800.03/1800.74	v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145
1800.03/1800.74	v -x5146 -x5147 x5148 x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 x5160 -x5161 -x5162 -x5163
1800.03/1800.74	v x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178 -x5179 -x5180 -x5181
1800.03/1800.74	v -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198
1800.03/1800.74	v -x5199 x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216
1800.03/1800.74	v -x5217 x5218 x5219 x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234
1800.03/1800.74	v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251
1800.03/1800.74	v -x5252 x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269
1800.03/1800.74	v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286
1800.03/1800.74	v -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304
1800.03/1800.74	v -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321
1800.03/1800.74	v -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339
1800.03/1800.74	v x5340 x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
1800.03/1800.74	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
1800.03/1800.74	v x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391
1800.03/1800.74	v -x5392 -x5393 -x5394 -x5395 -x5396 x5397 x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 x5408 -x5409
1800.03/1800.74	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.03/1800.74	v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444
1800.03/1800.74	v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461
1800.03/1800.74	v -x5462 x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479
1800.03/1800.74	v -x5480 -x5481 -x5482 -x5483 x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496
1800.03/1800.74	v -x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513
1800.03/1800.74	v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 x5520 x5521 -x5522 x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531
1800.03/1800.74	v x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549
1800.03/1800.74	v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566
1800.03/1800.74	v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583
1800.03/1800.74	v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601
1800.03/1800.74	v -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619
1800.03/1800.74	v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636
1800.03/1800.74	v -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653
1800.03/1800.74	v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670
1800.03/1800.74	v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687
1800.03/1800.74	v -x5688 -x5689 -x5690 -x5691 x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705
1800.03/1800.74	v -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722
1800.03/1800.74	v -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739
1800.03/1800.74	v -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756
1800.03/1800.74	v -x5757 -x5758 -x5759 -x5760 x5761 x5762 x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774
1800.03/1800.74	v -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791
1800.03/1800.74	v -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808
1800.03/1800.74	v -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826
1800.03/1800.74	v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843
1800.03/1800.74	v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 x5856 -x5857 x5858 x5859 -x5860 -x5861
1800.03/1800.74	v -x5862 -x5863 -x5864 -x5865 x5866 x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879
1800.03/1800.74	v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896
1800.03/1800.74	v -x5897 -x5898 x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914
1800.03/1800.74	v -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931
1800.03/1800.74	v -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948
1800.03/1800.74	v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965
1800.03/1800.74	v -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982
1800.03/1800.74	v -x5983 -x5984 -x5985 -x5986 x5987 x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000
1800.03/1800.74	v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017
1800.03/1800.74	v -x6018 -x6019 x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034
1800.03/1800.74	v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051
1800.03/1800.74	v -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068
1800.03/1800.74	v -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 -x6082 -x6083 -x6084 -x6085 -x6086
1800.03/1800.74	v -x6087 -x6088 -x6089 -x6090 -x6091 x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 x6103 -x6104
1800.03/1800.74	v -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121
1800.03/1800.74	v -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139
1800.03/1800.74	v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154 -x6155 x6156 -x6157
1800.03/1800.74	v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174
1800.03/1800.74	v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192
1800.03/1800.74	v -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209
1800.03/1800.74	v -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226
1800.03/1800.74	v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243
1800.03/1800.74	v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260
1800.03/1800.74	v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277
1800.03/1800.74	v -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294
1800.03/1800.74	v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311
1800.03/1800.74	v -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329
1800.03/1800.74	v -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346
1800.03/1800.74	v -x6347 -x6348 -x6349 -x6350 -x6351 x6352 x6353 x6354 x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364
1800.03/1800.74	v -x6365 -x6366 x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381
1800.03/1800.74	v -x6382 -x6383 -x6384 x6385 -x6386 x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 x6396 x6397 -x6398 -x6399
1800.03/1800.74	v -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416
1800.03/1800.74	v -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433
1800.03/1800.74	v -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450
1800.03/1800.74	v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467
1800.03/1800.74	v -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484
1800.03/1800.74	v -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501
1800.03/1800.74	v -x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518
1800.03/1800.74	v x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535
1800.03/1800.74	v -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552
1800.03/1800.74	v -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 x6569
1800.03/1800.74	v -x6570 x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586
1800.03/1800.74	v -x6587 x6588 x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 x6600 -x6601 -x6602 -x6603 -x6604
1800.03/1800.74	v -x6605 -x6606 -x6607 x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621
1800.03/1800.74	v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638
1800.03/1800.74	v -x6639 x6640 x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656
1800.03/1800.74	v -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673
1800.03/1800.74	v -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690
1800.03/1800.74	v x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707
1800.03/1800.74	v -x6708 -x6709 -x6710 -x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724
1800.03/1800.74	v -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741
1800.03/1800.74	v -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758
1800.03/1800.74	v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775
1800.03/1800.74	v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792
1800.03/1800.74	v -x6793 -x6794 x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810
1800.03/1800.74	v -x6811 -x6812 -x6813 -x6814 x6815 x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826
1800.03/1800.75	
1800.03/1800.75	c user time= 1799.56 s
1800.03/1800.75	c system time= 0.516921 s
1800.03/1800.75	c wall clock time=1800.75

Verifier Data (download as text)

OK	87

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb
mv /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb.tmp /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-453260-1178126592 -o ROOT/results/node10/solver-453260-1178126592 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 13842
/proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=1468 CPUtime=0
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 288696781 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 367 165 130 317 0 46 0

[startup+0.032487 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 13842
/proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=2264 CPUtime=0.02
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 375 0 0 0 2 0 0 0 18 0 1 0 288696781 2318336 358 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 566 358 132 317 0 245 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2264

[startup+0.101502 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 13842
/proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=5892 CPUtime=0.09
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1282 0 0 0 9 0 0 0 18 0 1 0 288696781 6033408 1265 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 1473 1265 137 317 0 1152 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5892

[startup+0.301545 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 13842
/proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=6288 CPUtime=0.29
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1385 0 0 0 29 0 0 0 19 0 1 0 288696781 6438912 1368 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 1572 1368 138 317 0 1251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6288

[startup+0.701632 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 13842
/proc/meminfo: memFree=1801496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=7968 CPUtime=0.69
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 1832 0 0 0 69 0 0 0 22 0 1 0 288696781 8159232 1725 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 1992 1725 170 317 0 1671 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7968

[startup+1.5018 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 13843
/proc/meminfo: memFree=1794000/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=10480 CPUtime=1.49
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 2477 0 0 0 149 0 0 0 25 0 1 0 288696781 10731520 2370 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 2620 2370 170 317 0 2299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10480

[startup+3.10115 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 13843
/proc/meminfo: memFree=1791312/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=13264 CPUtime=3.09
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 3160 0 0 0 308 1 0 0 25 0 1 0 288696781 13582336 3053 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 3316 3053 170 317 0 2995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13264

[startup+6.30184 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 13843
/proc/meminfo: memFree=1785872/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=18052 CPUtime=6.29
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 4371 0 0 0 628 1 0 0 25 0 1 0 288696781 18485248 4264 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 4513 4264 170 317 0 4192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18052

[startup+12.7022 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 13843
/proc/meminfo: memFree=1779496/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=24528 CPUtime=12.68
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 5884 0 0 0 1266 2 0 0 25 0 1 0 288696781 25116672 5777 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 6132 5777 170 317 0 5811 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24528

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 13843
/proc/meminfo: memFree=1770856/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=32148 CPUtime=25.48
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 7885 0 0 0 2545 3 0 0 25 0 1 0 288696781 32919552 7778 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 8037 7778 170 317 0 7716 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32148

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 13843
/proc/meminfo: memFree=1759016/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=45260 CPUtime=51.08
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 10851 0 0 0 5101 7 0 0 25 0 1 0 288696781 46346240 10744 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 11315 10744 170 317 0 10994 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45260

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 13843
/proc/meminfo: memFree=1743464/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=60024 CPUtime=102.25
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 14686 0 0 0 10216 9 0 0 25 0 1 0 288696781 61464576 14579 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 15006 14579 170 317 0 14685 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 60024

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1728232/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=77432 CPUtime=162.23
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 18489 0 0 0 16211 12 0 0 25 0 1 0 288696781 79290368 18382 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 19358 18382 170 317 0 19037 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 77432

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1716264/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=88868 CPUtime=222.21
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 21450 0 0 0 22207 14 0 0 25 0 1 0 288696781 91000832 21343 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 22217 21343 170 317 0 21896 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 88868

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1705320/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=100032 CPUtime=282.19
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 24192 0 0 0 28203 16 0 0 25 0 1 0 288696781 102432768 24085 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 25008 24085 170 317 0 24687 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 100032

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1695464/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=110688 CPUtime=342.16
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 26810 0 0 0 34198 18 0 0 25 0 1 0 288696781 113344512 26523 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 27672 26523 170 317 0 27351 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 110688

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1686952/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=118872 CPUtime=402.14
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 28925 0 0 0 40194 20 0 0 25 0 1 0 288696781 121724928 28638 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 29718 28638 170 317 0 29397 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 118872

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1679656/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=125456 CPUtime=462.11
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 30711 0 0 0 46190 21 0 0 25 0 1 0 288696781 128466944 30424 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 31364 30424 170 317 0 31043 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 125456

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1671080/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=140816 CPUtime=522.1
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 34048 0 0 0 52187 23 0 0 25 0 1 0 288696781 144195584 32540 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 35204 32540 170 317 0 34883 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 140816

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1665000/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=146464 CPUtime=582.07
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 35570 0 0 0 58183 24 0 0 25 0 1 0 288696781 149979136 34062 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 36616 34062 170 317 0 36295 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 146464

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13843
/proc/meminfo: memFree=1658920/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=152008 CPUtime=642.06
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 37081 0 0 0 64180 26 0 0 25 0 1 0 288696781 155656192 35540 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 38002 35540 170 317 0 37681 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 152008


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1636008/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=174220 CPUtime=881.95
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 43019 0 0 0 88164 31 0 0 25 0 1 0 288696781 178401280 41214 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 43555 41214 170 317 0 43234 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 174220

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1630760/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=180032 CPUtime=941.94
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 44408 0 0 0 94161 33 0 0 25 0 1 0 288696781 184352768 42537 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 45008 42537 170 317 0 44687 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 180032

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1625128/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=184772 CPUtime=1001.91
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 45781 0 0 0 100157 34 0 0 25 0 1 0 288696781 189206528 43910 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 46193 43910 170 317 0 45872 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 184772

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1620008/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=190084 CPUtime=1061.89
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 47070 0 0 0 106153 36 0 0 25 0 1 0 288696781 194646016 45199 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 47521 45199 170 317 0 47200 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 190084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1614888/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=195320 CPUtime=1121.87
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 48344 0 0 0 112150 37 0 0 25 0 1 0 288696781 200007680 46473 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 48830 46473 170 317 0 48509 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 195320

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1610408/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=199128 CPUtime=1181.85
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 49480 0 0 0 118147 38 0 0 25 0 1 0 288696781 203907072 47609 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 49782 47609 170 317 0 49461 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 199128

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1605928/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=203148 CPUtime=1241.82
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 50582 0 0 0 124143 39 0 0 25 0 1 0 288696781 208023552 48711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 50787 48711 170 317 0 50466 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 203148

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1601320/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=207212 CPUtime=1301.81
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 51711 0 0 0 130140 41 0 0 25 0 1 0 288696781 212185088 49840 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 51803 49840 170 317 0 51482 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 207212

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1596840/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=211312 CPUtime=1361.78
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 52838 0 0 0 136136 42 0 0 25 0 1 0 288696781 216383488 50967 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 52828 50967 170 317 0 52507 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 211312

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1591976/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=217536 CPUtime=1421.77
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 54336 0 0 0 142133 44 0 0 25 0 1 0 288696781 222756864 52168 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 54384 52168 170 317 0 54063 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 217536

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1586728/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=223296 CPUtime=1481.73
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 55623 0 0 0 148129 44 0 0 25 0 1 0 288696781 228655104 53455 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 55824 53455 170 317 0 55503 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 223296

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1582120/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=227412 CPUtime=1541.72
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 56771 0 0 0 154126 46 0 0 25 0 1 0 288696781 232869888 54603 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 56853 54603 170 317 0 56532 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 227412

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1577384/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=231600 CPUtime=1601.69
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 57959 0 0 0 160122 47 0 0 25 0 1 0 288696781 237158400 55791 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 57900 55791 170 317 0 57579 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 231600

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1572968/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=235756 CPUtime=1661.67
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 59052 0 0 0 166118 49 0 0 25 0 1 0 288696781 241414144 56884 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 58939 56884 170 317 0 58618 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 235756

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1568936/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=239292 CPUtime=1721.65
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 60070 0 0 0 172115 50 0 0 25 0 1 0 288696781 245035008 57869 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 59823 57869 170 317 0 59502 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 239292

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1565032/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=242836 CPUtime=1781.63
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61037 0 0 0 178112 51 0 0 25 0 1 0 288696781 248664064 58836 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 60709 58836 170 317 0 60388 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 242836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1563688/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=243888 CPUtime=1800.03
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61359 0 0 0 179952 51 0 0 25 0 1 0 288696781 249741312 59158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 60972 59158 170 317 0 60651 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 243888

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 13845
/proc/meminfo: memFree=1563688/2055920 swapFree=4145576/4192956
[pid=13842] ppid=13840 vsize=243888 CPUtime=1800.03
/proc/13842/stat : 13842 (oree) R 13840 13842 13419 0 -1 4194304 61359 0 0 0 179952 51 0 0 25 0 1 0 288696781 249741312 59158 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13842/statm: 60972 59158 170 317 0 60651 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 243888

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.13
CPU user time (s): 1799.57
CPU system time (s): 0.558915
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 243888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 1554

runsolver used 1.44178 second user time and 4.23436 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Wed May  2 17:23:12 UTC 2007

IDJOB= 453260
IDBENCH= 48118
IDSOLVER= 172
FILE ID= node10/453260-1178126592

PBS_JOBID= 4751045

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_4.opb
COMMAND LINE= oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-453260-1178126592 -o ROOT/results/node10/conversion-453260-1178126592 -C 600 -M 1800 /tmp/evaluation/453260-1178126592/substituteSizeProductKeyword /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-453260-1178126592 -o ROOT/results/node10/solver-453260-1178126592 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/453260-1178126592/instance-453260-1178126592.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  7603a459a5769ea7e43f52c522eb87aa

RANDOM SEED= 473676101

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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.259
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:       1801904 kB
Buffers:        105164 kB
Cached:          62312 kB
SwapCached:      15988 kB
Active:          79296 kB
Inactive:       115752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801904 kB
SwapTotal:     4192956 kB
SwapFree:      4145576 kB
Dirty:            1420 kB
Writeback:           0 kB
Mapped:          30380 kB
Slab:            44584 kB
Committed_AS:  4954324 kB
PageTables:       1708 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node10 on Wed May  2 17:53:15 UTC 2007