Trace number 363238

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alphaSAT (TO)12422 1801.97 1802.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1.57276
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	12422

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 21124
/proc/meminfo: memFree=1666672/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1468 CPUtime=0
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 133038874 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831089 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 367 161 126 317 0 46 0

[startup+0.02735 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 21124
/proc/meminfo: memFree=1666672/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=2024 CPUtime=0.02
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 300 0 0 0 2 0 0 0 18 0 1 0 133038874 2072576 282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 506 284 131 317 0 185 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2024

[startup+0.101364 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 21124
/proc/meminfo: memFree=1666672/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=4112 CPUtime=0.09
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 798 0 0 0 9 0 0 0 18 0 1 0 133038874 4210688 780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 1028 780 131 317 0 707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4112

[startup+0.301405 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 21124
/proc/meminfo: memFree=1666672/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=7716 CPUtime=0.29
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 1646 0 0 0 29 0 0 0 19 0 1 0 133038874 7901184 1628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 1929 1628 137 317 0 1608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7716

[startup+0.701487 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 21124
/proc/meminfo: memFree=1666672/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=8900 CPUtime=0.69
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 1930 0 0 0 69 0 0 0 22 0 1 0 133038874 9113600 1912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 2225 1912 138 317 0 1904 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8900

[startup+1.50165 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 21125
/proc/meminfo: memFree=1659496/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=10044 CPUtime=1.49
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 2243 0 0 0 149 0 0 0 25 0 1 0 133038874 10285056 2188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 2511 2188 170 317 0 2190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10044

[startup+3.10198 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 21125
/proc/meminfo: memFree=1654824/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=19808 CPUtime=3.1
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 5356 0 0 0 308 2 0 0 25 0 1 0 133038874 20283392 4359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135275652 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 4952 4360 170 317 0 4631 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 19808

[startup+6.30163 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 21125
/proc/meminfo: memFree=1640232/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=33116 CPUtime=6.29
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 9707 0 0 0 625 4 0 0 25 0 1 0 133038874 33910784 7395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 8279 7395 170 317 0 7958 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33116

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.96 2/78 21125
/proc/meminfo: memFree=1619176/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=55528 CPUtime=12.69
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 17142 0 0 0 1262 7 0 0 25 0 1 0 133038874 56860672 12509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 13882 12509 170 317 0 13561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55528

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 21125
/proc/meminfo: memFree=1590056/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=87220 CPUtime=25.48
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 28075 0 0 0 2537 11 0 0 25 0 1 0 133038874 89313280 19669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 21805 19669 170 317 0 21484 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87220

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 21125
/proc/meminfo: memFree=1551848/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=127324 CPUtime=51.08
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 42103 0 0 0 5090 18 0 0 25 0 1 0 133038874 130379776 28824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541586 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 31831 28824 170 317 0 31510 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 127324

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 21125
/proc/meminfo: memFree=1487592/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=196236 CPUtime=102.25
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 65025 0 0 0 10198 27 0 0 25 0 1 0 133038874 200945664 44779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 49059 44779 170 317 0 48738 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 196236

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 21125
/proc/meminfo: memFree=1457064/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=230612 CPUtime=162.23
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 77751 0 0 0 16192 31 0 0 25 0 1 0 133038874 236146688 52392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 57653 52392 170 317 0 57332 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 230612

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 21125
/proc/meminfo: memFree=1444072/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=245084 CPUtime=222.2
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 83097 0 0 0 22187 33 0 0 25 0 1 0 133038874 250966016 55612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 61271 55612 170 317 0 60950 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 245084

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 21125
/proc/meminfo: memFree=1429416/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=261600 CPUtime=282.19
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 88578 0 0 0 28183 36 0 0 25 0 1 0 133038874 267878400 59281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 65400 59281 170 317 0 65079 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 261600

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 21125
/proc/meminfo: memFree=1390824/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=306492 CPUtime=342.16
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 102917 0 0 0 34176 40 0 0 25 0 1 0 133038874 313847808 68932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 76623 68932 170 317 0 76302 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 306492

[startup+402.302 s]
/proc/loadavg: 1.06 0.99 0.97 2/78 21125
/proc/meminfo: memFree=1328360/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=381488 CPUtime=402.13
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 122806 0 0 0 40165 48 0 0 25 0 1 0 133038874 390643712 84748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717942 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 95372 84748 170 317 0 95051 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 381488

[startup+462.301 s]
/proc/loadavg: 1.02 0.99 0.97 2/78 21125
/proc/meminfo: memFree=1294888/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=418068 CPUtime=462.12
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 134768 0 0 0 46157 55 0 0 25 0 1 0 133038874 428101632 92890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 104517 92890 170 317 0 104196 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 418068

[startup+522.302 s]
/proc/loadavg: 1.01 0.99 0.97 2/78 21125
/proc/meminfo: memFree=1261096/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=454276 CPUtime=522.09
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 146830 0 0 0 52149 60 0 0 25 0 1 0 133038874 465178624 101443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284125 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 113569 101443 170 317 0 113248 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 454276

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=1232104/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=484624 CPUtime=582.07
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 157346 0 0 0 58142 65 0 0 25 0 1 0 133038874 496254976 108615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 121156 108615 170 317 0 120835 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 484624

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=1205800/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=513036 CPUtime=642.05
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 167467 0 0 0 64135 70 0 0 25 0 1 0 133038874 525348864 115119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 128259 115119 170 317 0 127938 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 513036


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

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=972072/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=799336 CPUtime=1001.91
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 251232 0 0 0 100084 107 0 0 25 0 1 0 133038874 818520064 173502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 199834 173502 170 317 0 199513 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 799336

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=955176/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=816312 CPUtime=1061.88
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 257634 0 0 0 106079 109 0 0 25 0 1 0 133038874 835903488 177722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 204078 177722 170 317 0 203757 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 816312

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=926312/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=848852 CPUtime=1121.87
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 268081 0 0 0 112072 115 0 0 25 0 1 0 133038874 869224448 184938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 212213 184938 170 317 0 211892 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 848852

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=902056/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=876276 CPUtime=1181.84
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 277351 0 0 0 118066 118 0 0 25 0 1 0 133038874 897306624 191123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 219069 191123 170 317 0 218748 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 876276

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=877800/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=902352 CPUtime=1241.82
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 286048 0 0 0 124061 121 0 0 25 0 1 0 133038874 924008448 197026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 225588 197026 170 317 0 225267 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 902352

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 21125
/proc/meminfo: memFree=855464/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=926840 CPUtime=1301.8
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 293828 0 0 0 130055 125 0 0 25 0 1 0 133038874 949084160 202587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717289 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 231710 202587 170 317 0 231389 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 926840

[startup+1362.3 s]
/proc/loadavg: 1.06 1.00 0.97 2/78 21125
/proc/meminfo: memFree=828840/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=955384 CPUtime=1361.77
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 303820 0 0 0 136048 129 0 0 25 0 1 0 133038874 978313216 209262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 238846 209262 170 317 0 238525 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 955384

[startup+1422.31 s]
/proc/loadavg: 1.09 1.02 0.98 2/78 21125
/proc/meminfo: memFree=801640/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=984424 CPUtime=1421.75
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 313934 0 0 0 142042 133 0 0 25 0 1 0 133038874 1008050176 215970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 246106 215970 170 317 0 245785 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 984424

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/78 21125
/proc/meminfo: memFree=778472/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1009660 CPUtime=1481.72
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 322123 0 0 0 148036 136 0 0 25 0 1 0 133038874 1033891840 221811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 252415 221811 170 317 0 252094 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1009660

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 0.98 2/78 21125
/proc/meminfo: memFree=756520/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1032600 CPUtime=1541.7
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 330108 0 0 0 154030 140 0 0 25 0 1 0 133038874 1057382400 227283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 258150 227283 170 317 0 257829 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1032600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=740136/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1050492 CPUtime=1601.68
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 336383 0 0 0 160026 142 0 0 25 0 1 0 133038874 1075703808 231467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 262623 231467 170 317 0 262302 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1050492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=722344/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1068920 CPUtime=1661.66
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 342901 0 0 0 166021 145 0 0 25 0 1 0 133038874 1094574080 235801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 267230 235801 170 317 0 266909 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1068920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=701800/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1090768 CPUtime=1721.63
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 350228 0 0 0 172015 148 0 0 25 0 1 0 133038874 1116946432 240984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 272692 240984 170 317 0 272371 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1090768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=687208/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1105880 CPUtime=1781.61
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 355971 0 0 0 178010 151 0 0 25 0 1 0 133038874 1132421120 244582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 276470 244582 170 317 0 276149 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1105880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=680680/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1113160 CPUtime=1800.01
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 358515 0 0 0 179849 152 0 0 25 0 1 0 133038874 1139875840 246223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 278290 246223 170 317 0 277969 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1113160

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 21125
/proc/meminfo: memFree=680680/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1113672 CPUtime=1800.71
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 358664 0 0 0 179918 153 0 0 25 0 1 0 133038874 1140400128 246339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 278418 246339 170 317 0 278097 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1113672

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 21126
/proc/meminfo: memFree=680160/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=1113936 CPUtime=1801.51
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194304 358743 0 0 0 179998 153 0 0 25 0 1 0 133038874 1140670464 246394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 278484 246394 170 317 0 278163 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 1113936

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/79 21126
/proc/meminfo: memFree=680160/2055920 swapFree=4174604/4192956
[pid=21124] ppid=21122 vsize=0 CPUtime=1801.91
/proc/21124/stat : 21124 (oree) R 21122 21124 20781 0 -1 4194308 358863 0 0 0 180028 163 0 0 25 0 1 0 133038874 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21124/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1802.67
CPU time (s): 1801.97
CPU user time (s): 1800.28
CPU system time (s): 1.69374
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 1114200

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

runsolver used 2.19667 second user time and 4.13437 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Tue Apr 17 23:07:14 UTC 2007

IDJOB= 363238
IDBENCH= 1765
IDSOLVER= 172
FILE ID= node33/363238-1176851234

PBS_JOBID= 4590216

Free space on /tmp= 66546 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
COMMAND LINE= oree /tmp/evaluation/363238-1176851234/instance-363238-1176851234.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-363238-1176851234 -o ROOT/results/node33/solver-363238-1176851234 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363238-1176851234/instance-363238-1176851234.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d237957d2db9f550f313e8cfb724f264

RANDOM SEED= 896813667

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1667080 kB
Buffers:         37356 kB
Cached:         205708 kB
SwapCached:       2484 kB
Active:         115784 kB
Inactive:       219112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1667080 kB
SwapTotal:     4192956 kB
SwapFree:      4174604 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:         106680 kB
Slab:            39216 kB
Committed_AS:  1641144 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66546 MiB

End job on node33 on Tue Apr 17 23:37:17 UTC 2007