Trace number 373322

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
wildcat-rnp 2007-03-21SAT (TO)81 1800.08 1800.52

General information on the benchmark

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

Verifier Data (download as text)

OK	81

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node48/watcher-373322-1177182156 -o ROOT/results/node48/solver-373322-1177182156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373322-1177182156/wildcat-rnp /tmp/evaluation/373322-1177182156/instance-373322-1177182156.opb 739159979 

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.92 1.00 1.01 3/64 23892
/proc/meminfo: memFree=1695992/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=5972 CPUtime=0
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 73060894 6115328 139 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 1493 139 105 226 0 1264 0

[startup+0.0312341 s]
/proc/loadavg: 0.92 1.00 1.01 3/64 23892
/proc/meminfo: memFree=1695992/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=6236 CPUtime=0.03
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 204 0 0 0 3 0 0 0 18 0 1 0 73060894 6385664 188 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 1559 188 105 226 0 1330 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6236

[startup+0.101224 s]
/proc/loadavg: 0.92 1.00 1.01 3/64 23892
/proc/meminfo: memFree=1695992/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=6768 CPUtime=0.09
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 343 0 0 0 9 0 0 0 18 0 1 0 73060894 6930432 327 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 1692 328 107 226 0 1463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6768

[startup+0.301242 s]
/proc/loadavg: 0.92 1.00 1.01 3/64 23892
/proc/meminfo: memFree=1695992/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=0.29
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599260 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10064

[startup+0.701279 s]
/proc/loadavg: 0.92 1.00 1.01 3/64 23892
/proc/meminfo: memFree=1695992/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=0.69
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 69 0 0 0 22 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605060 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10064

[startup+1.50135 s]
/proc/loadavg: 0.92 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691696/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1.49
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 149 0 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10064

[startup+3.1015 s]
/proc/loadavg: 0.92 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691440/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=3.09
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 309 0 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10064

[startup+6.3018 s]
/proc/loadavg: 0.93 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691440/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=6.3
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 629 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 10064

[startup+12.7014 s]
/proc/loadavg: 0.93 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691440/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=12.69
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 1268 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10064

[startup+25.5016 s]
/proc/loadavg: 0.95 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691440/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=25.49
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 2548 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10064

[startup+51.1019 s]
/proc/loadavg: 0.96 1.00 1.01 2/65 23893
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=51.08
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 5107 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598677 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10064

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 1.00 2/65 23893
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=102.27
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 10226 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10064

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23893
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=162.25
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 16224 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599025 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10064

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23893
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=222.24
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 22223 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 10064

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23893
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=282.22
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 28221 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 10064

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691304/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=342.21
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 34220 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 10064

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691376/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=402.19
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 40218 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 10064

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691440/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=462.17
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 46216 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598656 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 10064

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=522.16
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 52215 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566331 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 10064

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=582.14
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 58213 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598677 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 10064

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=642.13
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 64212 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 10064


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=882.07
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 88206 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599012 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 10064

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=942.05
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 94204 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 10064

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1002.04
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 100203 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134567006 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 10064

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691760/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1062.02
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 106201 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566827 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 10064

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691760/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1122.01
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 112200 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599253 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 10064

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691760/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1181.99
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 118198 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 10064

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691632/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1241.98
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 124197 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566857 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 10064

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1301.97
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 130196 1 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 10064

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691632/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1361.96
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 136194 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 10064

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1421.95
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 142193 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 10064

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1481.93
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 148191 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566296 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 10064

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1541.92
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 154190 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599299 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 10064

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1601.9
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 160188 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 10064

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1661.88
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 166186 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 10064

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1721.87
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 172185 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 10064

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691504/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1781.86
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 178184 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599063 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 10064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1800.06
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 180004 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598382 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10064

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 23895
/proc/meminfo: memFree=1691568/2055920 swapFree=4184636/4192956
[pid=23892] ppid=23890 vsize=10064 CPUtime=1800.06
/proc/23892/stat : 23892 (wildcat-rnp) R 23890 23892 22887 0 -1 4194304 1200 0 0 0 180004 2 0 0 25 0 1 0 73060894 10305536 1183 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598382 0 0 4096 16386 0 0 0 17 1 0 0
/proc/23892/statm: 2516 1183 115 226 0 2287 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10064

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1800.05
CPU system time (s): 0.023996
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 10064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1200
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= 2193

runsolver used 1.23581 second user time and 3.69644 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Apr 21 19:02:36 UTC 2007

IDJOB= 373322
IDBENCH= 25035
IDSOLVER= 161
FILE ID= node48/373322-1177182156

PBS_JOBID= 4649001

Free space on /tmp= 66483 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb
COMMAND LINE= /tmp/evaluation/373322-1177182156/wildcat-rnp /tmp/evaluation/373322-1177182156/instance-373322-1177182156.opb 739159979
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-373322-1177182156 -o ROOT/results/node48/solver-373322-1177182156 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373322-1177182156/wildcat-rnp /tmp/evaluation/373322-1177182156/instance-373322-1177182156.opb 739159979

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  b21d0afca1befeb5506928b558ab5220

RANDOM SEED= 739159979

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1696464 kB
Buffers:         45256 kB
Cached:         235596 kB
SwapCached:       2232 kB
Active:         131620 kB
Inactive:       159472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1696464 kB
SwapTotal:     4192956 kB
SwapFree:      4184636 kB
Dirty:            2716 kB
Writeback:           0 kB
Mapped:          17208 kB
Slab:            54436 kB
Committed_AS:  1113228 kB
PageTables:       1388 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= 66483 MiB

End job on node48 on Sat Apr 21 19:32:38 UTC 2007