Trace number 456797

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alphaSAT 1713.59 1714.09

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_15.opb
MD5SUM5332756aaf3462bb729ff5c6a427694c
Bench CategorySATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.427934
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb
mv /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb.tmp /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-456797-1178363251 -o ROOT/results/node5/solver-456797-1178363251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/456797-1178363251/instance-456797-1178363251.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.68 0.96 0.83 3/77 5552
/proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=1468 CPUtime=0
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 312362744 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 367 167 131 317 0 46 0

[startup+0.073952 s]
/proc/loadavg: 0.68 0.96 0.83 3/77 5552
/proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=3316 CPUtime=0.06
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 626 0 0 0 6 0 0 0 18 0 1 0 312362744 3395584 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 829 609 132 317 0 508 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3316

[startup+0.102954 s]
/proc/loadavg: 0.68 0.96 0.83 3/77 5552
/proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=4420 CPUtime=0.09
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 911 0 0 0 9 0 0 0 18 0 1 0 312362744 4526080 894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 1105 894 132 317 0 784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4420

[startup+0.302977 s]
/proc/loadavg: 0.68 0.96 0.83 3/77 5552
/proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=7744 CPUtime=0.29
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 1748 0 0 0 29 0 0 0 20 0 1 0 312362744 7929856 1635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 1936 1635 139 317 0 1615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7744

[startup+0.703022 s]
/proc/loadavg: 0.68 0.96 0.83 3/77 5552
/proc/meminfo: memFree=1811648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=8144 CPUtime=0.69
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 1838 0 0 0 69 0 0 0 24 0 1 0 312362744 8339456 1725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 2036 1725 139 317 0 1715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8144

[startup+1.50111 s]
/proc/loadavg: 0.70 0.96 0.83 2/78 5553
/proc/meminfo: memFree=1804664/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=9224 CPUtime=1.48
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 2134 0 0 0 148 0 0 0 25 0 1 0 312362744 9445376 2021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 2306 2021 139 317 0 1985 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9224

[startup+3.10129 s]
/proc/loadavg: 0.70 0.96 0.83 2/78 5553
/proc/meminfo: memFree=1802936/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=11092 CPUtime=3.09
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 2603 0 0 0 308 1 0 0 25 0 1 0 312362744 11358208 2490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 2773 2490 139 317 0 2452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11092

[startup+6.30165 s]
/proc/loadavg: 0.72 0.97 0.83 2/78 5553
/proc/meminfo: memFree=1799416/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=14300 CPUtime=6.29
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 3392 0 0 0 628 1 0 0 25 0 1 0 312362744 14643200 3279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 3575 3279 139 317 0 3254 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14300

[startup+12.7014 s]
/proc/loadavg: 0.75 0.97 0.83 2/78 5553
/proc/meminfo: memFree=1795768/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=17360 CPUtime=12.68
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 4150 0 0 0 1267 1 0 0 25 0 1 0 312362744 17776640 4037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 4340 4037 139 317 0 4019 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17360

[startup+25.5018 s]
/proc/loadavg: 0.79 0.97 0.83 2/78 5553
/proc/meminfo: memFree=1789816/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=23740 CPUtime=25.48
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 5752 0 0 0 2546 2 0 0 25 0 1 0 312362744 24309760 5639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 5935 5639 139 317 0 5614 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23740

[startup+51.1017 s]
/proc/loadavg: 0.87 0.97 0.84 2/78 5553
/proc/meminfo: memFree=1774008/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=40404 CPUtime=51.08
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 9811 0 0 0 5103 5 0 0 25 0 1 0 312362744 41373696 9698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531141 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 10101 9698 139 317 0 9780 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40404

[startup+102.306 s]
/proc/loadavg: 0.94 0.97 0.84 2/78 5553
/proc/meminfo: memFree=1735224/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=80012 CPUtime=102.26
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 19319 0 0 0 10216 10 0 0 25 0 1 0 312362744 81932288 19206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 20003 19206 139 317 0 19682 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80012

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.85 2/78 5553
/proc/meminfo: memFree=1721400/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=92504 CPUtime=162.24
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 22790 0 0 0 16211 13 0 0 25 0 1 0 312362744 94724096 22677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 23126 22677 139 317 0 22805 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 92504

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 5553
/proc/meminfo: memFree=1718904/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=94776 CPUtime=222.23
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 23364 0 0 0 22209 14 0 0 25 0 1 0 312362744 97050624 23251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 23694 23251 139 317 0 23373 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 94776

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 5553
/proc/meminfo: memFree=1715960/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=97796 CPUtime=282.21
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 24109 0 0 0 28206 15 0 0 25 0 1 0 312362744 100143104 23996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 24449 23996 139 317 0 24128 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 97796

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 5553
/proc/meminfo: memFree=1714424/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=99248 CPUtime=342.19
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 24471 0 0 0 34203 16 0 0 25 0 1 0 312362744 101629952 24358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 24812 24358 139 317 0 24491 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 99248

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 5553
/proc/meminfo: memFree=1710648/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=103008 CPUtime=402.17
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 25426 0 0 0 40200 17 0 0 25 0 1 0 312362744 105480192 25313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 25752 25313 139 317 0 25431 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 103008

[startup+462.301 s]
/proc/loadavg: 1.03 0.99 0.88 2/78 5553
/proc/meminfo: memFree=1708856/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=104984 CPUtime=462.16
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 25907 0 0 0 46198 18 0 0 25 0 1 0 312362744 107503616 25794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 26246 25794 139 317 0 25925 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 104984

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.89 2/78 5553
/proc/meminfo: memFree=1707576/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=106176 CPUtime=522.14
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26213 0 0 0 52196 18 0 0 25 0 1 0 312362744 108724224 26100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 26544 26100 139 317 0 26223 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 106176

[startup+582.303 s]
/proc/loadavg: 1.00 0.99 0.89 2/78 5553
/proc/meminfo: memFree=1706808/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=106956 CPUtime=582.12
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26414 0 0 0 58193 19 0 0 25 0 1 0 312362744 109522944 26301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 26739 26301 139 317 0 26418 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 106956

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 0.90 2/78 5553
/proc/meminfo: memFree=1705528/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=108256 CPUtime=642.11
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 26739 0 0 0 64191 20 0 0 25 0 1 0 312362744 110854144 26626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 27064 26626 139 317 0 26743 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 108256


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

/proc/meminfo: memFree=1680568/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=133356 CPUtime=1121.97
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 32987 0 0 0 112169 28 0 0 25 0 1 0 312362744 136556544 32874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 33339 32874 139 317 0 33018 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 133356

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5553
/proc/meminfo: memFree=1674808/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=141372 CPUtime=1181.95
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 34400 0 0 0 118166 29 0 0 25 0 1 0 312362744 144764928 34287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 35343 34287 139 317 0 35022 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 141372

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5553
/proc/meminfo: memFree=1672248/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=144120 CPUtime=1241.93
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 35050 0 0 0 124164 29 0 0 25 0 1 0 312362744 147578880 34937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 36030 34937 139 317 0 35709 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 144120

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 5553
/proc/meminfo: memFree=1668856/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=147120 CPUtime=1301.91
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 35879 0 0 0 130161 30 0 0 25 0 1 0 312362744 150650880 35766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 36780 35766 139 317 0 36459 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 147120

[startup+1362.3 s]
/proc/loadavg: 1.05 1.00 0.91 2/78 5553
/proc/meminfo: memFree=1665784/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=150116 CPUtime=1361.89
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 36641 0 0 0 136158 31 0 0 25 0 1 0 312362744 153718784 36528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718322 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 37529 36528 139 317 0 37208 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 150116

[startup+1422.31 s]
/proc/loadavg: 1.02 1.00 0.91 2/78 5553
/proc/meminfo: memFree=1663416/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=152440 CPUtime=1421.88
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 37210 0 0 0 142156 32 0 0 25 0 1 0 312362744 156098560 37097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 38110 37097 139 317 0 37789 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 152440

[startup+1482.3 s]
/proc/loadavg: 1.06 1.01 0.92 2/78 5553
/proc/meminfo: memFree=1661112/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=155228 CPUtime=1481.85
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 37788 0 0 0 148153 32 0 0 25 0 1 0 312362744 158953472 37675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 38807 37676 139 317 0 38486 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 155228

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 0.93 2/78 5553
/proc/meminfo: memFree=1658808/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=157100 CPUtime=1541.84
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 38356 0 0 0 154151 33 0 0 25 0 1 0 312362744 160870400 38243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39275 38243 139 317 0 38954 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 157100

[startup+1602.3 s]
/proc/loadavg: 1.06 1.03 0.93 2/78 5553
/proc/meminfo: memFree=1656504/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159156 CPUtime=1601.82
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 38954 0 0 0 160149 33 0 0 25 0 1 0 312362744 162975744 38841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39789 38841 139 317 0 39468 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 159156

[startup+1662.3 s]
/proc/loadavg: 1.05 1.04 0.94 2/78 5553
/proc/meminfo: memFree=1655992/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159528 CPUtime=1661.8
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39068 0 0 0 166147 33 0 0 25 0 1 0 312362744 163356672 38955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563989 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39882 38955 139 317 0 39561 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 159528

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

[startup+1663.9 s]
/proc/loadavg: 1.05 1.04 0.94 3/78 5553
/proc/meminfo: memFree=1655992/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159528 CPUtime=1663.4
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39068 0 0 0 166307 33 0 0 25 0 1 0 312362744 163356672 38955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39882 38955 139 317 0 39561 0
Current children cumulated CPU time (s) 1663.4
Current children cumulated vsize (KiB) 159528

[startup+1689.5 s]
/proc/loadavg: 1.09 1.05 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1689
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 168866 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1689
Current children cumulated vsize (KiB) 159664

[startup+1702.3 s]
/proc/loadavg: 1.07 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1701.8
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 170146 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1701.8
Current children cumulated vsize (KiB) 159664

[startup+1708.7 s]
/proc/loadavg: 1.07 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1708.19
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 170785 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1708.19
Current children cumulated vsize (KiB) 159664

[startup+1711.9 s]
/proc/loadavg: 1.06 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1711.39
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171105 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1711.39
Current children cumulated vsize (KiB) 159664

[startup+1712.71 s]
/proc/loadavg: 1.06 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1712.2
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171186 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1712.2
Current children cumulated vsize (KiB) 159664

[startup+1713.5 s]
/proc/loadavg: 1.06 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1712.99
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171265 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1712.99
Current children cumulated vsize (KiB) 159664

[startup+1713.9 s]
/proc/loadavg: 1.06 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1713.39
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171305 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1713.39
Current children cumulated vsize (KiB) 159664

[startup+1714 s]
/proc/loadavg: 1.06 1.04 0.94 2/78 5555
/proc/meminfo: memFree=1655864/2055920 swapFree=4150076/4192956
[pid=5552] ppid=5550 vsize=159664 CPUtime=1713.49
/proc/5552/stat : 5552 (oree) R 5550 5552 4761 0 -1 4194304 39101 0 0 0 171315 34 0 0 25 0 1 0 312362744 163495936 38988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5552/statm: 39916 38988 139 317 0 39595 0
Current children cumulated CPU time (s) 1713.49
Current children cumulated vsize (KiB) 159664

Child status: 0
Real time (s): 1714.09
CPU time (s): 1713.59
CPU user time (s): 1713.22
CPU system time (s): 0.371943
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 159664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1713.22
system time used= 0.371943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39131
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= 8
involuntary context switches= 35398

runsolver used 1.49277 second user time and 3.88941 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat May  5 11:07:31 UTC 2007

IDJOB= 456797
IDBENCH= 48298
IDSOLVER= 172
FILE ID= node5/456797-1178363251

PBS_JOBID= 5188989

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_5_15.opb
COMMAND LINE= oree /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-456797-1178363251 -o ROOT/results/node5/conversion-456797-1178363251 -C 600 -M 1800 /tmp/evaluation/456797-1178363251/substituteSizeProductKeyword /tmp/evaluation/456797-1178363251/instance-456797-1178363251.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  5332756aaf3462bb729ff5c6a427694c

RANDOM SEED= 147551063

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1812120 kB
Buffers:         37828 kB
Cached:         124244 kB
SwapCached:      11192 kB
Active:         120380 kB
Inactive:        66748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812120 kB
SwapTotal:     4192956 kB
SwapFree:      4150076 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          32012 kB
Slab:            42328 kB
Committed_AS: 13909384 kB
PageTables:       1724 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 node5 on Sat May  5 11:36:05 UTC 2007