Trace number 353343

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)1163 1800.07 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
MD5SUMf480d2d56550630df651872786c078c9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1159
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 999
Optimality of the best value was proved NO
Number of variables8405
Total number of constraints10667
Number of constraints which are clauses9918
Number of constraints which are cardinality constraints (but not clauses)749
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint351
Number of terms in the objective function 6892
Biggest coefficient in the objective function 667
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 371779
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 667
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 371779
Number of bits of the biggest sum of numbers19
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/353343-1176663037/wildcat-rnp /tmp/evaluation/353343-1176663037/instance-353343-1176663037.opb 463533821 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 463533821
0.00/0.00	c Noise: 0.7 (70 : 100) 
0.49/0.56	c Starting searching:
0.49/0.56	c Phase 1 ...
0.79/0.82	c   trying 368567: vc 
0.79/0.82	o 31602
1.10/1.14	c   trying 31415: vc 
1.10/1.14	o 17377
1.49/1.57	c   trying 17233: vc 
1.49/1.57	o 15562
1.89/1.97	c   trying 15424: vc 
1.89/1.97	o 15349
2.29/2.32	c   trying 15212: vc 
2.29/2.32	o 14758
2.69/2.70	c   trying 14623: vc 
2.69/2.70	o 14552
2.99/3.05	c   trying 14418: vc 
2.99/3.05	o 14342
3.39/3.41	c   trying 14209: vc 
3.39/3.41	o 14156
3.79/3.85	c   trying 14024: vc 
3.79/3.85	o 13950
4.29/4.30	c   trying 13818: vc 
4.29/4.30	o 13749
4.69/4.72	c   trying 13618: vc 
4.69/4.72	o 13434
5.09/5.15	c   trying 13304: vc 
5.09/5.15	o 13235
5.49/5.58	c   trying 13106: vc 
5.49/5.58	o 13030
5.99/6.05	c   trying 12902: vc 
5.99/6.05	o 12826
6.39/6.44	c   trying 12699: vc 
6.39/6.44	o 12640
6.79/6.86	c   trying 12514: vc 
6.79/6.86	o 12437
7.19/7.28	c   trying 12311: vc 
7.19/7.28	o 12227
7.69/7.72	c   trying 12102: vc 
7.69/7.72	o 12035
8.09/8.20	c   trying 11911: vc 
8.09/8.20	o 11815
8.59/8.66	c   trying 11692: vc 
8.59/8.66	o 11635
8.99/9.08	c   trying 11513: vc 
8.99/9.08	o 11428
9.39/9.47	c   trying 11307: vc 
9.39/9.47	o 11217
9.89/9.93	c   trying 11096: vc 
9.89/9.93	o 11023
10.28/10.37	c   trying 10903: vc 
10.28/10.37	o 10815
10.89/10.98	c   trying 10696: vc 
10.89/10.98	o 10613
11.38/11.46	c   trying 10495: vc 
11.38/11.46	o 10423
11.99/12.00	c   trying 10306: vc 
11.99/12.00	o 10222
12.38/12.50	c   trying 10106: vc 
12.38/12.50	o 10016
12.98/13.08	c   trying 9900: vc 
12.98/13.08	o 9897
13.48/13.52	c   trying 9782: vc 
13.48/13.52	o 9717
13.88/13.99	c   trying 9603: vc 
13.88/13.99	o 9603
14.48/14.56	c   trying 9489: vc 
14.48/14.56	o 9488
15.08/15.10	c   trying 9375: vc 
15.08/15.10	o 9300
15.39/15.49	c   trying 9188: vc 
15.39/15.49	o 9117
15.98/16.04	c   trying 9005: vc 
15.98/16.04	o 9004
16.48/16.52	c   trying 8893: vc 
16.48/16.52	o 8799
16.98/17.04	c   trying 8689: vc 
16.98/17.04	o 8592
17.68/17.71	c   trying 8483: vc 
17.68/17.71	o 8396
18.38/18.45	c   trying 8288: vc 
18.38/18.45	o 8288
19.08/19.10	c   trying 8180: vc 
19.08/19.10	o 8085
19.78/19.88	c   trying 7978: vc 
19.78/19.88	o 7895
20.58/20.66	c   trying 7789: vc 
20.58/20.66	o 7695
21.28/21.35	c   trying 7590: vc 
21.28/21.35	o 7587
22.08/22.18	c   trying 7483: vc 
22.08/22.18	o 7483
22.78/22.83	c   trying 7379: vc 
22.78/22.83	o 7286
23.58/23.64	c   trying 7183: vc 
23.58/23.64	o 7083
24.48/24.50	c   trying 6981: vc 
24.48/24.50	o 6971
25.28/25.35	c   trying 6870: vc 
25.28/25.35	o 6869
26.48/26.57	c   trying 6768: vc 
26.48/26.57	o 6679
27.48/27.58	c   trying 6579: vc 
27.48/27.58	o 6579
28.48/28.56	c   trying 6480: vc 
28.48/28.56	o 6470
29.18/29.28	c   trying 6371: vc 
29.18/29.28	o 6371
30.07/30.19	c   trying 6273: vc 
30.07/30.19	o 6273
31.07/31.15	c   trying 6175: vc 
31.07/31.15	o 6174
31.97/32.10	c   trying 6077: vc 
31.97/32.10	o 6066
32.98/33.07	c   trying 5969: vc 
32.98/33.07	o 5967
34.17/34.24	c   trying 5871: vc 
34.17/34.24	o 5868
35.07/35.19	c   trying 5772: vc 
35.07/35.19	o 5672
36.27/36.38	c   trying 5577: vc 
36.27/36.38	o 5562
37.97/38.00	c   trying 5468: vc 
37.97/38.00	o 5468
39.57/39.69	c   trying 5374: vc 
39.57/39.69	o 5357
41.17/41.21	c   trying 5264: vc 
41.17/41.21	o 5259
42.27/42.34	c   trying 5166: vc 
42.27/42.34	o 5077
43.97/44.07	c   trying 4985: vc 
43.97/44.07	o 4844
46.88/46.95	c   trying 4754: vc 
46.88/46.95	o 4747
48.08/48.20	c   trying 4657: vc 
48.08/48.20	o 4656
49.97/50.02	c   trying 4567: vc 
49.97/50.02	o 4546
51.47/51.50	c   trying 4457: vc 
51.47/51.50	o 4452
53.97/54.03	c   trying 4364: vc 
53.97/54.03	o 4343
56.08/56.17	c   trying 4256: vc 
56.08/56.17	o 4243
57.97/58.00	c   trying 4156: vc 
57.97/58.00	o 4156
61.57/61.63	c   trying 4070: vc 
61.57/61.63	o 4042
62.87/62.93	c   trying 3956: vc 
62.87/62.93	o 3949
64.57/64.69	c   trying 3864: vc 
64.57/64.69	o 3847
66.77/66.84	c   trying 3762: vc 
66.77/66.84	o 3748
71.47/71.54	c   trying 3664: vc 
71.47/71.54	o 3634
74.16/74.21	c   trying 3551: vc 
74.16/74.21	o 3534
84.76/84.84	c   trying 3451: vc 
84.76/84.84	o 3418
87.86/87.94	c   trying 3336: vc 
87.86/87.94	o 3239
90.06/90.20	c   trying 3158: vc 
90.06/90.20	o 3134
100.85/100.98	c   trying 3054: vc 
100.85/100.98	o 3011
103.85/103.92	c   trying 2932: vc 
103.85/103.92	o 2932
106.35/106.45	c   trying 2853: vc 
106.35/106.45	o 2830
110.95/111.01	c   trying 2752: vc 
110.95/111.01	o 2726
114.85/114.93	c   trying 2648: vc 
114.85/114.93	o 2621
119.14/119.24	c   trying 2544: vc 
119.14/119.24	o 2527
122.74/122.86	c   trying 2451: vc 
122.74/122.86	o 2417
126.84/126.94	c   trying 2341: vc 
126.84/126.94	o 2336
134.24/134.37	c   trying 2261: vc 
134.24/134.37	o 2208
138.14/138.24	c   trying 2134: vc 
138.14/138.24	o 2128
140.83/140.97	c   trying 2054: vc 
140.83/140.97	o 2018
144.43/144.56	c   trying 1945: vc 
144.43/144.56	o 1911
166.03/166.15	c   trying 1839: vc 
166.03/166.15	o 1785
173.12/173.21	c   trying 1714: vc 
173.12/173.21	o 1701
188.82/188.95	c   trying 1630: vc 
188.82/188.95	o 1586
195.42/195.56	c   trying 1516: vc 
195.42/195.56	o 1505
269.29/269.47	c   trying 1436: vc 
269.29/269.47	o 1372
303.27/303.42	c   trying 1304: vc 
303.27/303.42	o 1265
604.17/604.43	c   trying 1198: xxxvc 
604.17/604.43	o 1182
1590.81/1591.55	c   trying 1115: xxxxxxxxxxc 
1590.81/1591.55	c Phase 2 ...
1719.37/1720.16	c   trying 1181: vc 
1719.37/1720.16	o 1163
1800.04/1800.81	c   trying 1162: xc 
1800.04/1800.81	c Phase 3 ...
1800.04/1800.81	c   trying 1162 again: c 
1800.04/1800.81	s SATISFIABLE
1800.04/1800.81	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.04/1800.81	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 -x55
1800.04/1800.81	v -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 -x81
1800.04/1800.81	v -x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.04/1800.81	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127
1800.04/1800.81	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148
1800.04/1800.81	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.04/1800.81	v -x170 -x171 -x172 x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.04/1800.81	v -x191 x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211
1800.04/1800.81	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 -x232
1800.04/1800.81	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.04/1800.81	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274
1800.04/1800.81	v x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.04/1800.81	v -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.04/1800.81	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 -x333 -x334 -x335 -x336 -x337
1800.04/1800.81	v -x338 x339 -x340 -x341 x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358
1800.04/1800.81	v -x359 x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x380
1800.04/1800.81	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.04/1800.81	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.04/1800.81	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.04/1800.81	v x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.04/1800.81	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.04/1800.81	v -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.04/1800.81	v -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527
1800.04/1800.81	v -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.04/1800.81	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569
1800.04/1800.81	v -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590
1800.04/1800.81	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 x610 -x611
1800.04/1800.81	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.04/1800.81	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.04/1800.81	v -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.04/1800.81	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695
1800.04/1800.81	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.04/1800.81	v x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737
1800.04/1800.81	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.04/1800.81	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.04/1800.81	v x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800
1800.04/1800.81	v x801 -x802 -x803 -x804 x805 -x806 -x807 x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 x819 -x820 -x821 -x822
1800.04/1800.81	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
1800.04/1800.81	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 x858 x859 -x860 -x861 -x862 -x863 x864
1800.04/1800.81	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885
1800.04/1800.81	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906
1800.04/1800.81	v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927
1800.04/1800.81	v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
1800.04/1800.81	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.04/1800.81	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990
1800.04/1800.81	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009
1800.04/1800.81	v -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1800.04/1800.81	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044
1800.04/1800.81	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062
1800.04/1800.81	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079
1800.04/1800.81	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097
1800.04/1800.81	v -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114
1800.04/1800.81	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.04/1800.81	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149
1800.04/1800.81	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166
1800.04/1800.81	v x1167 -x1168 -x1169 -x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1800.04/1800.81	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1800.04/1800.81	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218
1800.04/1800.81	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236
1800.04/1800.81	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.04/1800.81	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.04/1800.81	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 -x1288 -x1289
1800.04/1800.81	v -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306
1800.04/1800.81	v -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323
1800.04/1800.81	v x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1800.04/1800.81	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1800.04/1800.81	v x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376
1800.04/1800.81	v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393
1800.04/1800.81	v -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1800.04/1800.81	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428
1800.04/1800.81	v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446
1800.04/1800.81	v -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463
1800.04/1800.81	v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
1800.04/1800.81	v -x1481 -x1482 -x1483 -x1484 -x1485 x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498
1800.04/1800.81	v -x1499 -x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1800.04/1800.81	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1800.04/1800.81	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1800.04/1800.81	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567
1800.04/1800.81	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1800.04/1800.81	v -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.04/1800.81	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619
1800.04/1800.81	v -x1620 x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.04/1800.81	v -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 x1654 -x1655
1800.04/1800.81	v -x1656 -x1657 -x1658 x1659 -x1660 x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.04/1800.81	v -x1674 -x1675 x1676 -x1677 x1678 x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691
1800.04/1800.81	v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709
1800.04/1800.81	v -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.04/1800.81	v -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1800.04/1800.81	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1800.04/1800.81	v -x1761 -x1762 -x1763 -x1764 x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.04/1800.81	v x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.04/1800.81	v -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813
1800.04/1800.81	v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 x1830 -x1831
1800.04/1800.81	v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849
1800.04/1800.81	v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1800.04/1800.81	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 x1881 x1882 x1883 -x1884
1800.04/1800.81	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 x1900 -x1901 -x1902
1800.04/1800.81	v -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 -x1919
1800.04/1800.81	v -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.04/1800.81	v -x1937 -x1938 -x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 x1951 -x1952 -x1953 -x1954
1800.04/1800.81	v x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
1800.04/1800.81	v -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990
1800.04/1800.81	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008
1800.04/1800.81	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.04/1800.81	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.04/1800.81	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.04/1800.81	v -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.04/1800.81	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1800.04/1800.81	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1800.04/1800.81	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1800.04/1800.81	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1800.04/1800.81	v x2145 -x2146 -x2147 -x2148 x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162
1800.04/1800.81	v -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.04/1800.81	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198
1800.04/1800.81	v -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215
1800.04/1800.81	v x2216 -x2217 -x2218 -x2219 x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1800.04/1800.81	v x2234 -x2235 x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 x2251
1800.04/1800.81	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1800.04/1800.81	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 -x2286 -x2287
1800.04/1800.81	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304
1800.04/1800.81	v -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321
1800.04/1800.81	v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.04/1800.81	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.04/1800.81	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1800.04/1800.81	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390
1800.04/1800.81	v -x2391 x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1800.04/1800.81	v -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
1800.04/1800.81	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443
1800.04/1800.81	v -x2444 x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 x2459 x2460 x2461
1800.04/1800.81	v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1800.04/1800.81	v -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.04/1800.81	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513
1800.04/1800.81	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
1800.04/1800.81	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
1800.04/1800.81	v -x2548 -x2549 -x2550 x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565
1800.04/1800.81	v -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582
1800.04/1800.81	v -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600
1800.04/1800.81	v -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617
1800.04/1800.81	v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634
1800.04/1800.81	v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652
1800.04/1800.81	v -x2653 x2654 -x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
1800.04/1800.81	v -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 x2688
1800.04/1800.81	v -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.04/1800.81	v -x2706 x2707 -x2708 x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723
1800.04/1800.81	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.04/1800.81	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1800.04/1800.81	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775
1800.04/1800.81	v -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 x2793
1800.04/1800.81	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
1800.04/1800.81	v -x2811 -x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1800.04/1800.81	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845
1800.04/1800.81	v -x2846 -x2847 x2848 -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 x2859 -x2860 -x2861 x2862 -x2863
1800.04/1800.81	v -x2864 -x2865 -x2866 x2867 x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881
1800.04/1800.81	v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898
1800.04/1800.81	v -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915
1800.04/1800.81	v -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932
1800.04/1800.81	v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950
1800.04/1800.81	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.04/1800.81	v -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.04/1800.81	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1800.04/1800.81	v -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1800.04/1800.81	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1800.04/1800.81	v -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 x3051 -x3052 -x3053 -x3054
1800.04/1800.81	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1800.04/1800.81	v -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1800.04/1800.81	v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106
1800.04/1800.81	v x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124
1800.04/1800.81	v x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142
1800.04/1800.81	v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 x3155 -x3156 -x3157 -x3158 -x3159
1800.04/1800.81	v -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177
1800.04/1800.81	v -x3178 -x3179 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194
1800.04/1800.81	v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
1800.04/1800.81	v -x3212 -x3213 x3214 -x3215 -x3216 -x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229
1800.04/1800.81	v x3230 -x3231 -x3232 x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247
1800.04/1800.81	v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1800.04/1800.81	v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3282
1800.04/1800.81	v -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1800.04/1800.81	v x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316
1800.04/1800.81	v -x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 x3324 -x3325 x3326 x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1800.04/1800.81	v x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352
1800.04/1800.81	v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370
1800.04/1800.81	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387
1800.04/1800.81	v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 x3403 -x3404
1800.04/1800.81	v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 x3420 -x3421 -x3422
1800.04/1800.81	v -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 x3438 -x3439 -x3440
1800.04/1800.81	v -x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457
1800.04/1800.81	v -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1800.04/1800.81	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1800.04/1800.81	v -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 x3510
1800.04/1800.81	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527
1800.04/1800.81	v -x3528 x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545
1800.04/1800.81	v x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563
1800.04/1800.81	v -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1800.04/1800.81	v -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598
1800.04/1800.81	v -x3599 -x3600 -x3601 -x3602 x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616
1800.04/1800.81	v -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1800.04/1800.81	v -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651
1800.04/1800.81	v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668
1800.04/1800.81	v -x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685
1800.04/1800.81	v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702
1800.04/1800.81	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719
1800.04/1800.81	v -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736
1800.04/1800.81	v -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
1800.04/1800.81	v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3767 -x3768 x3769 -x3770 -x3771
1800.04/1800.81	v -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788
1800.04/1800.81	v -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 x3802 -x3803 -x3804 -x3805 -x3806
1800.04/1800.81	v -x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823
1800.04/1800.81	v x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
1800.04/1800.81	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
1800.04/1800.81	v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875
1800.04/1800.81	v -x3876 -x3877 x3878 x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893
1800.04/1800.81	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1800.04/1800.81	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1800.04/1800.81	v -x3928 -x3929 -x3930 -x3931 -x3932 x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945
1800.04/1800.81	v -x3946 -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 x3962 -x3963
1800.04/1800.81	v -x3964 -x3965 -x3966 -x3967 -x3968 x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1800.04/1800.81	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997
1800.04/1800.81	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015
1800.04/1800.81	v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032
1800.04/1800.81	v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049
1800.04/1800.81	v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067
1800.04/1800.81	v -x4068 -x4069 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.04/1800.81	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101
1800.04/1800.81	v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 -x4118
1800.04/1800.81	v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 -x4135
1800.04/1800.81	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
1800.04/1800.81	v -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170
1800.04/1800.81	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188
1800.04/1800.81	v -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205
1800.04/1800.81	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222
1800.04/1800.81	v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239
1800.04/1800.81	v -x4240 -x4241 x4242 x4243 -x4244 -x4245 x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257
1800.04/1800.81	v -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275
1800.04/1800.81	v -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292
1800.04/1800.81	v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309
1800.04/1800.81	v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 x4318 -x4319 -x4320 -x4321 -x4322 -x4323 x4324 -x4325 -x4326 -x4327
1800.04/1800.81	v x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345
1800.04/1800.81	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362
1800.04/1800.81	v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379
1800.04/1800.81	v x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 x4397
1800.04/1800.81	v -x4398 x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415
1800.04/1800.81	v -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432
1800.04/1800.81	v x4433 -x4434 -x4435 x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450
1800.04/1800.81	v -x4451 x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.04/1800.81	v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485
1800.04/1800.81	v -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502
1800.04/1800.81	v -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519
1800.04/1800.81	v -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536
1800.04/1800.81	v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553
1800.04/1800.81	v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 -x4566 -x4567 -x4568 -x4569 -x4570
1800.04/1800.81	v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 -x4585 -x4586 -x4587
1800.04/1800.81	v -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604
1800.04/1800.81	v -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621
1800.04/1800.81	v -x4622 x4623 -x4624 -x4625 -x4626 x4627 x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639
1800.04/1800.81	v -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656
1800.04/1800.81	v -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673
1800.04/1800.81	v -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690
1800.04/1800.81	v -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708
1800.04/1800.81	v -x4709 -x4710 x4711 -x4712 -x4713 -x4714 -x4715 -x4716 x4717 -x4718 -x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726
1800.04/1800.81	v -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744
1800.04/1800.81	v -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761
1800.04/1800.81	v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778
1800.04/1800.81	v -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796
1800.04/1800.81	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
1800.04/1800.81	v -x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1800.04/1800.81	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.04/1800.81	v x4848 -x4849 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865
1800.04/1800.81	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.04/1800.81	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900
1800.04/1800.81	v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917
1800.04/1800.81	v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
1800.04/1800.81	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 x4949 -x4950 -x4951
1800.04/1800.81	v x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 -x4969
1800.04/1800.81	v -x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987
1800.04/1800.81	v -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 x4995 x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005
1800.04/1800.81	v -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023
1800.04/1800.81	v -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 x5040
1800.04/1800.81	v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057
1800.04/1800.81	v -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074
1800.04/1800.81	v -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091
1800.04/1800.81	v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 x5103 x5104 -x5105 -x5106 -x5107 x5108 -x5109
1800.04/1800.81	v -x5110 -x5111 x5112 x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127
1800.04/1800.81	v -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144
1800.04/1800.81	v -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161
1800.04/1800.81	v -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 -x5178
1800.04/1800.81	v -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195
1800.04/1800.81	v x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212
1800.04/1800.81	v -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229
1800.04/1800.81	v -x5230 -x5231 -x5232 x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247
1800.04/1800.81	v -x5248 -x5249 x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264
1800.04/1800.81	v -x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282
1800.04/1800.81	v -x5283 -x5284 -x5285 -x5286 -x5287 x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299
1800.04/1800.81	v -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316
1800.04/1800.81	v x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 x5334
1800.04/1800.81	v x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352
1800.04/1800.81	v -x5353 -x5354 x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369
1800.04/1800.81	v -x5370 -x5371 -x5372 -x5373 x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387
1800.04/1800.81	v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 -x5401 -x5402 -x5403 -x5404
1800.04/1800.81	v -x5405 x5406 -x5407 -x5408 x5409 -x5410 x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422
1800.04/1800.81	v -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439
1800.04/1800.81	v -x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456
1800.04/1800.81	v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473
1800.04/1800.81	v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490
1800.04/1800.81	v -x5491 -x5492 -x5493 -x5494 -x5495 x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 x5507 -x5508
1800.04/1800.81	v -x5509 -x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526
1800.04/1800.81	v -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
1800.04/1800.81	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
1800.04/1800.81	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 x5575 -x5576 -x5577 -x5578 -x5579
1800.04/1800.81	v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596
1800.04/1800.81	v -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 x5604 x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 -x5614
1800.04/1800.81	v -x5615 -x5616 x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631
1800.04/1800.81	v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648
1800.04/1800.81	v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665
1800.04/1800.81	v -x5666 -x5667 -x5668 -x5669 -x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683
1800.04/1800.81	v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701
1800.04/1800.81	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718
1800.04/1800.81	v -x5719 x5720 -x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736
1800.04/1800.81	v -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 -x5752 -x5753
1800.04/1800.81	v -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
1800.04/1800.81	v x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 -x5786 x5787 -x5788
1800.04/1800.81	v -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805
1800.04/1800.81	v -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823
1800.04/1800.81	v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840
1800.04/1800.81	v -x5841 -x5842 -x5843 x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857
1800.04/1800.81	v -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874
1800.04/1800.81	v -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891
1800.04/1800.81	v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908
1800.04/1800.81	v -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925
1800.04/1800.81	v -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942
1800.04/1800.81	v -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959
1800.04/1800.81	v -x5960 -x5961 -x5962 x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976
1800.04/1800.81	v -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993
1800.04/1800.81	v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010
1800.04/1800.81	v -x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027
1800.04/1800.81	v -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044
1800.04/1800.81	v -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061
1800.04/1800.81	v -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078
1800.04/1800.81	v -x6079 -x6080 -x6081 -x6082 -x6083 x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095
1800.04/1800.81	v -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 -x6112
1800.04/1800.81	v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129
1800.04/1800.81	v -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146
1800.04/1800.81	v -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163
1800.04/1800.81	v -x6164 -x6165 -x6166 -x6167 -x6168 x6169 -x6170 -x6171 -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181
1800.04/1800.81	v x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 x6190 -x6191 -x6192 x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199
1800.04/1800.81	v -x6200 -x6201 -x6202 -x6203 -x6204 x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 x6214 -x6215 -x6216 -x6217
1800.04/1800.81	v -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 -x6232 -x6233 -x6234
1800.04/1800.81	v -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 -x6249 -x6250 -x6251
1800.04/1800.81	v -x6252 x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269
1800.04/1800.81	v -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286
1800.04/1800.81	v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303
1800.04/1800.81	v -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 -x6313 -x6314 -x6315 x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1800.04/1800.81	v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338
1800.04/1800.81	v -x6339 -x6340 -x6341 -x6342 -x6343 x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355
1800.04/1800.81	v -x6356 -x6357 -x6358 x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372
1800.04/1800.81	v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389
1800.04/1800.81	v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406
1800.04/1800.81	v -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423
1800.04/1800.81	v -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440
1800.04/1800.81	v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457
1800.04/1800.81	v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474
1800.04/1800.81	v x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492
1800.04/1800.81	v -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509
1800.04/1800.81	v -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526
1800.04/1800.81	v -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543
1800.04/1800.81	v -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 x6555 -x6556 -x6557 -x6558 x6559 -x6560 -x6561
1800.04/1800.81	v -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578
1800.04/1800.81	v x6579 -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596
1800.04/1800.81	v -x6597 -x6598 x6599 -x6600 -x6601 x6602 -x6603 -x6604 -x6605 -x6606 x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614
1800.04/1800.81	v -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632
1800.04/1800.81	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650
1800.04/1800.81	v -x6651 -x6652 -x6653 -x6654 -x6655 x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667
1800.04/1800.81	v -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684
1800.04/1800.81	v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701
1800.04/1800.81	v x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 x6717 -x6718 -x6719
1800.04/1800.81	v -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736
1800.04/1800.81	v -x6737 -x6738 -x6739 -x6740 -x6741 x6742 -x6743 -x6744 -x6745 x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754
1800.04/1800.81	v -x6755 x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771
1800.04/1800.81	v -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 x6788
1800.04/1800.81	v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 x6797 -x6798 -x6799 -x6800 x6801 -x6802 -x6803 -x6804 -x6805 -x6806
1800.04/1800.81	v x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823
1800.04/1800.81	v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840
1800.04/1800.81	v -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857
1800.04/1800.81	v -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874
1800.04/1800.81	v -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 x6888 -x6889 -x6890 -x6891
1800.04/1800.81	v -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908
1800.04/1800.81	v -x6909 -x6910 -x6911 -x6912 x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926
1800.04/1800.81	v -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943
1800.04/1800.81	v -x6944 -x6945 -x6946 x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 x6959 -x6960 -x6961
1800.04/1800.81	v -x6962 x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978
1800.04/1800.81	v -x6979 -x6980 -x6981 x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 x6993 -x6994 -x6995 -x6996
1800.04/1800.81	v -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 x7011 -x7012 -x7013 -x7014
1800.04/1800.81	v -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031
1800.04/1800.81	v -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048
1800.04/1800.81	v -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065
1800.04/1800.81	v -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082
1800.04/1800.81	v -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099
1800.04/1800.81	v x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 x7111 -x7112 -x7113 x7114 -x7115 -x7116 -x7117
1800.04/1800.81	v -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134
1800.04/1800.81	v -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 x7141 -x7142 x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 x7150 -x7151 -x7152
1800.04/1800.81	v -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 x7165 -x7166 -x7167 -x7168 -x7169
1800.04/1800.81	v -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 x7183 -x7184 -x7185 x7186 -x7187
1800.04/1800.81	v -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 x7202 -x7203 -x7204
1800.04/1800.81	v -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221
1800.04/1800.81	v -x7222 -x7223 x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239
1800.04/1800.81	v -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256
1800.04/1800.81	v -x7257 -x7258 x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 x7270 -x7271 -x7272 -x7273 -x7274
1800.04/1800.81	v -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 x7287 -x7288 -x7289 -x7290 -x7291
1800.04/1800.81	v -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 x7303 -x7304 -x7305 -x7306 -x7307 -x7308
1800.04/1800.81	v -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325
1800.04/1800.81	v -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342
1800.04/1800.81	v -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 x7350 x7351 -x7352 x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360
1800.04/1800.81	v -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377
1800.04/1800.81	v -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 x7392 -x7393 -x7394
1800.04/1800.81	v -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411
1800.04/1800.81	v -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428
1800.04/1800.81	v -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445
1800.04/1800.81	v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462
1800.04/1800.81	v -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479
1800.04/1800.81	v -x7480 x7481 -x7482 -x7483 x7484 -x7485 -x7486 -x7487 -x7488 x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497
1800.04/1800.81	v x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515
1800.04/1800.81	v -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 x7531 -x7532 x7533
1800.04/1800.81	v -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550
1800.04/1800.81	v -x7551 x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567
1800.04/1800.81	v -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584
1800.04/1800.81	v -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601
1800.04/1800.81	v -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618
1800.04/1800.81	v -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635
1800.04/1800.81	v -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652
1800.04/1800.81	v -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 x7667 -x7668 x7669 -x7670
1800.04/1800.81	v x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687
1800.04/1800.81	v -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 -x7705
1800.04/1800.81	v -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722
1800.04/1800.81	v -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739
1800.04/1800.81	v -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756
1800.04/1800.81	v -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773
1800.04/1800.81	v -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790
1800.04/1800.81	v -x7791 -x7792 x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807
1800.04/1800.81	v -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824
1800.04/1800.81	v -x7825 -x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841
1800.04/1800.81	v -x7842 -x7843 -x7844 -x7845 x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858
1800.04/1800.81	v -x7859 -x7860 -x7861 -x7862 -x7863 x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 -x7874 -x7875 -x7876
1800.04/1800.81	v -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893
1800.04/1800.81	v -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911
1800.04/1800.81	v -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 x7925 -x7926 -x7927 -x7928 -x7929
1800.04/1800.81	v -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 x7942 -x7943 -x7944 -x7945 -x7946
1800.04/1800.81	v -x7947 -x7948 -x7949 -x7950 x7951 -x7952 -x7953 -x7954 -x7955 x7956 -x7957 x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964
1800.04/1800.81	v -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981
1800.04/1800.81	v -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 x7988 -x7989 -x7990 -x7991 x7992 -x7993 x7994 -x7995 x7996 -x7997 x7998 -x7999
1800.04/1800.81	v -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016
1800.04/1800.81	v -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033
1800.04/1800.81	v -x8034 -x8035 -x8036 -x8037 -x8038 x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 x8050 -x8051
1800.04/1800.81	v -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068
1800.04/1800.81	v -x8069 -x8070 -x8071 x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 x8081 x8082 -x8083 -x8084 -x8085 -x8086
1800.04/1800.81	v x8087 x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 x8098 -x8099 -x8100 -x8101 x8102 -x8103 -x8104
1800.04/1800.81	v -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 x8122
1800.04/1800.81	v -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140
1800.04/1800.81	v -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157
1800.04/1800.81	v -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8173 -x8174
1800.04/1800.81	v -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191
1800.04/1800.81	v -x8192 x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208
1800.04/1800.81	v -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225
1800.04/1800.81	v -x8226 -x8227 -x8228 x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242
1800.04/1800.81	v -x8243 -x8244 x8245 -x8246 -x8247 -x8248 x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 x8257 -x8258 -x8259 -x8260
1800.04/1800.81	v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277
1800.04/1800.81	v -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 x8284 -x8285 -x8286 x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295
1800.04/1800.81	v -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312
1800.04/1800.81	v -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 x8319 -x8320 -x8321 -x8322 -x8323 x8324 -x8325 x8326 -x8327 -x8328 -x8329 -x8330
1800.04/1800.81	v -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347
1800.04/1800.81	v x8348 -x8349 x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365
1800.04/1800.81	v -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382
1800.04/1800.81	v -x8383 -x8384 x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400
1800.04/1800.81	v -x8401 -x8402 -x8403 -x8404 -x8405
1800.04/1800.82	c Total Number of Positive Atoms : 701
1800.04/1800.82	c 
1800.04/1800.82	c During searching:         1719.6 seconds elapsed.
1800.04/1800.82	c CPU time spent:           1719.01 seconds.
1800.04/1800.82	c 
1800.04/1800.82	c =================================== END =====================================
1800.04/1800.82	c

Verifier Data (download as text)

OK	1163

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-353343-1176663037 -o ROOT/results/node13/solver-353343-1176663037 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353343-1176663037/wildcat-rnp /tmp/evaluation/353343-1176663037/instance-353343-1176663037.opb 463533821 

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.98 3/77 7529
/proc/meminfo: memFree=1476472/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=5972 CPUtime=0
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 114221565 6115328 147 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135014983 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 1493 147 105 226 0 1264 0

[startup+0.0406779 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 7529
/proc/meminfo: memFree=1476472/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=6104 CPUtime=0.03
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 192 0 0 0 3 0 0 0 18 0 1 0 114221565 6250496 176 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 1526 176 105 226 0 1297 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6104

[startup+0.10169 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 7529
/proc/meminfo: memFree=1476472/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=6368 CPUtime=0.1
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 239 0 0 0 10 0 0 0 18 0 1 0 114221565 6520832 223 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135008477 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 1592 223 105 226 0 1363 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6368

[startup+0.301732 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 7529
/proc/meminfo: memFree=1476472/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=6920 CPUtime=0.3
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 393 0 0 0 30 0 0 0 19 0 1 0 114221565 7086080 377 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 1730 377 105 226 0 1501 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6920

[startup+0.701819 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 7529
/proc/meminfo: memFree=1476472/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=0.69
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 69 0 0 0 23 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11288

[startup+1.50299 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 7530
/proc/meminfo: memFree=1470960/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1.49
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 149 0 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599181 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11288

[startup+3.10133 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 7530
/proc/meminfo: memFree=1470832/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=3.09
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 309 0 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134599284 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11288

[startup+6.30201 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=6.29
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 629 0 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601458 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11288

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 7530
/proc/meminfo: memFree=1470640/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=12.68
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 1268 0 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11288

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 7530
/proc/meminfo: memFree=1470640/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=25.48
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 2548 0 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11288

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=51.07
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 5106 1 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607679 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11288

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 7530
/proc/meminfo: memFree=1470768/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=102.26
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 10225 1 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 11288

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=162.23
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 16222 1 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611595 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 11288

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7530
/proc/meminfo: memFree=1470576/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=222.21
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 22219 2 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605328 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 11288

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=282.18
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 28216 2 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 11288

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 7530
/proc/meminfo: memFree=1470640/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=342.17
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 34214 3 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607774 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 11288

[startup+402.302 s]
/proc/loadavg: 1.18 1.02 1.00 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=402.14
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 40211 3 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877546 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 11288

[startup+462.301 s]
/proc/loadavg: 1.12 1.03 1.00 2/78 7530
/proc/meminfo: memFree=1470640/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=462.11
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 46208 3 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598418 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 11288

[startup+522.301 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=522.1
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 52206 4 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605286 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 11288

[startup+582.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 7530
/proc/meminfo: memFree=1470704/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=582.07
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 58203 4 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 11288

[startup+642.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/84 7638
/proc/meminfo: memFree=1469368/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=642.01
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 64195 6 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611589 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 11288


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=821.9
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 82183 7 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 11288

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=881.87
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 88180 7 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 11288

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470512/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=941.85
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 94177 8 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 11288

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470512/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1001.83
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 100175 8 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134868569 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 11288

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470640/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1061.81
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 106172 9 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 11288

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470576/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1121.79
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 112170 9 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 11288

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470576/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1181.76
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 118167 9 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 11288

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470512/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1241.75
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 124165 10 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 11288

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1301.72
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 130162 10 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 11288

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1361.69
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 136159 10 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 11288

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1421.68
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 142157 11 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611634 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 11288

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1481.65
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 148154 11 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601758 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 11288

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1541.63
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 154151 12 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 11288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1601.61
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 160149 12 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 11288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470448/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1661.59
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 166146 13 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134601200 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 11288

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470384/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1721.57
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 172144 13 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607370 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 11288

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470384/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1781.54
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 178141 13 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 11288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7728
/proc/meminfo: memFree=1470384/2055920 swapFree=4175300/4192956
[pid=7529] ppid=7527 vsize=11288 CPUtime=1800.04
/proc/7529/stat : 7529 (wildcat-rnp) R 7527 7529 7418 0 -1 4194304 1504 0 0 0 179991 13 0 0 25 0 1 0 114221565 11558912 1487 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134607408 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7529/statm: 2822 1487 117 226 0 2593 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11288

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

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

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.07
CPU user time (s): 1799.93
CPU system time (s): 0.138978
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 11288

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

runsolver used 2.05869 second user time and 4.02739 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Sun Apr 15 18:50:37 UTC 2007

IDJOB= 353343
IDBENCH= 2233
IDSOLVER= 161
FILE ID= node13/353343-1176663037

PBS_JOBID= 4559381

Free space on /tmp= 66520 MiB

SOLVER NAME= wildcat-rnp 2007-03-21
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb
COMMAND LINE= /tmp/evaluation/353343-1176663037/wildcat-rnp /tmp/evaluation/353343-1176663037/instance-353343-1176663037.opb 463533821
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-353343-1176663037 -o ROOT/results/node13/solver-353343-1176663037 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/353343-1176663037/wildcat-rnp /tmp/evaluation/353343-1176663037/instance-353343-1176663037.opb 463533821

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  f480d2d56550630df651872786c078c9

RANDOM SEED= 463533821

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1477008 kB
Buffers:        101960 kB
Cached:         272796 kB
SwapCached:       2508 kB
Active:         117028 kB
Inactive:       387692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477008 kB
SwapTotal:     4192956 kB
SwapFree:      4175300 kB
Dirty:            2920 kB
Writeback:           0 kB
Mapped:          40652 kB
Slab:            59732 kB
Committed_AS:  5740420 kB
PageTables:       1872 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= 66520 MiB

End job on node13 on Sun Apr 15 19:20:40 UTC 2007