Trace number 372973

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-skc 2007-03-21SAT (TO)70 1800.07 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark206.965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2646
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2646
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2646
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c 
0.00/0.00	c wildcat-skc (VERSION 0.8.0-lite-skc-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:20 PM EDT
0.00/0.00	c 
0.00/0.00	c /tmp/evaluation/372973-1177151974/wildcat-skc /tmp/evaluation/372973-1177151974/instance-372973-1177151974.opb 195194936 
0.00/0.00	c =================================== BEGIN ===================================
0.00/0.00	c 
0.00/0.00	c Random Number Seed: 195194936
0.00/0.00	c Noise: 0.1 (10 : 100) 
0.09/0.10	c Starting searching:
0.09/0.10	c Phase 1 ...
0.09/0.12	c   trying 2646: vc 
0.09/0.12	o 921
0.09/0.14	c   trying 890: vc 
0.09/0.14	o 736
0.09/0.15	c   trying 708: vc 
0.09/0.15	o 670
0.09/0.18	c   trying 644: vc 
0.09/0.18	o 639
0.09/0.20	c   trying 613: vc 
0.09/0.20	o 602
0.19/0.22	c   trying 577: vc 
0.19/0.22	o 577
0.19/0.25	c   trying 552: vc 
0.19/0.25	o 552
0.19/0.27	c   trying 528: vc 
0.19/0.27	o 528
0.29/0.31	c   trying 505: vc 
0.29/0.31	o 505
0.29/0.34	c   trying 482: vc 
0.29/0.34	o 482
0.29/0.38	c   trying 460: vc 
0.29/0.38	o 460
0.39/0.42	c   trying 438: vc 
0.39/0.42	o 438
0.39/0.47	c   trying 417: vc 
0.39/0.47	o 417
0.49/0.52	c   trying 396: vc 
0.49/0.52	o 396
0.49/0.58	c   trying 376: vc 
0.49/0.58	o 376
0.59/0.63	c   trying 356: vc 
0.59/0.63	o 356
0.69/0.70	c   trying 337: vc 
0.69/0.70	o 337
0.69/0.77	c   trying 318: vc 
0.69/0.77	o 318
0.79/0.89	c   trying 300: vc 
0.79/0.89	o 300
1.00/1.00	c   trying 282: vc 
1.00/1.00	o 282
1.10/1.17	c   trying 265: vc 
1.10/1.17	o 265
1.49/1.50	c   trying 248: vc 
1.49/1.50	o 248
1.89/1.92	c   trying 232: vc 
1.89/1.92	o 232
2.39/2.41	c   trying 216: vc 
2.39/2.41	o 216
2.89/2.99	c   trying 201: vc 
2.89/2.99	o 201
3.89/3.97	c   trying 186: vc 
3.89/3.97	o 186
5.39/5.44	c   trying 172: vc 
5.39/5.44	o 172
7.49/7.54	c   trying 158: vc 
7.49/7.54	o 158
16.09/16.17	c   trying 145: xxxvc 
16.09/16.17	o 145
24.48/24.57	c   trying 132: xxxvc 
24.48/24.57	o 132
44.27/44.33	c   trying 120: xxxxxxxxxxc 
44.27/44.33	c Phase 2 ...
48.27/48.35	c   trying 131: vc 
48.27/48.35	o 131
52.67/52.74	c   trying 130: vc 
52.67/52.74	o 130
56.37/56.43	c   trying 129: vc 
56.37/56.43	o 129
60.77/60.82	c   trying 128: vc 
60.77/60.82	o 128
65.37/65.48	c   trying 127: vc 
65.37/65.48	o 127
70.97/71.06	c   trying 126: vc 
70.97/71.06	o 126
75.87/75.91	c   trying 125: vc 
75.87/75.91	o 125
80.57/80.67	c   trying 124: vc 
80.57/80.67	o 124
84.76/84.89	c   trying 123: vc 
84.76/84.89	o 123
90.46/90.57	c   trying 122: vc 
90.46/90.57	o 122
95.26/95.33	c   trying 121: vc 
95.26/95.33	o 121
99.76/99.86	c   trying 120: vc 
99.76/99.86	o 120
104.95/105.04	c   trying 119: vc 
104.95/105.04	o 119
112.25/112.33	c   trying 118: vc 
112.25/112.33	o 118
117.35/117.40	c   trying 117: vc 
117.35/117.40	o 117
123.05/123.16	c   trying 116: vc 
123.05/123.16	o 116
130.24/130.35	c   trying 115: vc 
130.24/130.35	o 115
137.45/137.54	c   trying 114: vc 
137.45/137.54	o 114
144.84/144.99	c   trying 113: vc 
144.84/144.99	o 113
153.13/153.21	c   trying 112: vc 
153.13/153.21	o 112
159.43/159.58	c   trying 111: vc 
159.43/159.58	o 111
170.03/170.11	c   trying 110: vc 
170.03/170.11	o 110
179.72/179.82	c   trying 109: vc 
179.72/179.83	o 109
187.02/187.19	c   trying 108: vc 
187.02/187.19	o 108
194.52/194.62	c   trying 107: vc 
194.52/194.62	o 107
203.43/203.50	c   trying 106: vc 
203.43/203.50	o 106
212.42/212.53	c   trying 105: vc 
212.42/212.53	o 105
220.62/220.78	c   trying 104: vc 
220.62/220.78	o 104
230.21/230.31	c   trying 103: vc 
230.21/230.31	o 103
242.71/242.89	c   trying 102: vc 
242.71/242.89	o 102
250.40/250.54	c   trying 101: vc 
250.40/250.54	o 101
257.90/258.07	c   trying 100: vc 
257.90/258.07	o 100
268.90/269.02	c   trying 99: vc 
268.90/269.02	o 99
283.89/284.09	c   trying 98: vc 
283.89/284.09	o 98
294.38/294.58	c   trying 97: vc 
294.38/294.58	o 97
310.58/310.75	c   trying 96: vc 
310.58/310.75	o 96
338.86/339.03	c   trying 95: xvc 
338.86/339.03	o 95
353.87/354.06	c   trying 94: vc 
353.87/354.06	o 94
367.96/368.15	c   trying 93: vc 
367.96/368.15	o 93
387.55/387.70	c   trying 92: vc 
387.55/387.70	o 92
419.74/419.99	c   trying 91: xvc 
419.74/419.99	o 91
439.74/439.98	c   trying 90: vc 
439.74/439.98	o 90
473.62/473.88	c   trying 89: xvc 
473.62/473.88	o 89
488.91/489.12	c   trying 88: vc 
488.91/489.12	o 88
537.10/537.40	c   trying 87: xxvc 
537.10/537.40	o 87
574.09/574.30	c   trying 86: xvc 
574.09/574.30	o 86
597.38/597.63	c   trying 85: xvc 
597.38/597.63	o 85
726.74/727.03	c   trying 84: xxxxxxxvc 
726.74/727.03	o 84
752.72/753.02	c   trying 83: vc 
752.72/753.02	o 83
802.80/803.11	c   trying 82: xxvc 
802.80/803.11	o 82
814.90/815.22	c   trying 81: vc 
814.90/815.22	o 81
848.38/848.72	c   trying 80: xvc 
848.38/848.72	o 80
869.08/869.49	c   trying 79: vc 
869.08/869.49	o 79
1012.93/1013.33	c   trying 78: xxxxxxvc 
1012.93/1013.33	o 78
1051.12/1051.54	c   trying 77: xvc 
1051.12/1051.54	o 77
1222.86/1223.30	c   trying 76: xxxxxxxxvc 
1222.86/1223.30	o 76
1263.34/1263.84	c   trying 75: xvc 
1263.34/1263.84	o 75
1462.16/1462.87	c   trying 74: xxxxxxxxxxc 
1462.16/1462.87	c Phase 3 ...
1515.54/1516.23	c   trying 74 again: vc 
1515.54/1516.23	o 74
1559.52/1560.21	c   trying 73 again: vc 
1559.52/1560.21	o 73
1615.80/1616.59	c   trying 72 again: vc 
1615.80/1616.59	o 72
1656.50/1657.28	c   trying 71 again: vc 
1656.50/1657.28	o 71
1797.24/1798.00	c   trying 70 again: vc 
1797.24/1798.00	o 70
1800.05/1800.80	c   trying 69 again: xc 
1800.05/1800.80	s SATISFIABLE
1800.05/1800.80	v -x1 -x2 x3 -x4 -x5 x6 -x7 x8 -x9 -x10 x11 x12 -x13 x14 x15 x16 -x17 x18 x19 -x20 -x21 x22 -x23 -x24 x25 x26 -x27 x28 x29 -x30 x31 -x32
1800.05/1800.80	v -x33 x34 -x35 x36 -x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 x47 x48 x49 x50 x51 -x52 x53 x54 x55 x56 x57 -x58 x59 -x60 x61 -x62
1800.05/1800.80	v x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 -x87 x88 -x89 x90 -x91 x92 -x93 x94
1800.05/1800.80	v -x95 x96 x97 x98 -x99 x100 x101 x102 x103 -x104 -x105 -x106 x107 -x108 x109 x110 x111 x112 x113 -x114 -x115 x116 x117 -x118 x119
1800.05/1800.80	v x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 x130 x131 x132 -x133 x134 -x135 -x136 x137 x138 x139 x140 x141 -x142
1800.05/1800.80	v x143 -x144 x145 x146 x147 -x148 x149 -x150 x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 x160 x161 x162 -x163 x164 -x165
1800.05/1800.80	v x166 -x167 x168 x169 -x170 x171 -x172 -x173 x174 -x175 x176 x177 x178 -x179 x180 x181 x182 -x183 x184 -x185 x186 -x187 x188
1800.05/1800.80	v x189 -x190 x191 x192 x193 -x194 x195 x196 x197 -x198 -x199 x200 -x201 -x202 -x203 x204 x205 x206 -x207 x208 -x209 x210 x211
1800.05/1800.80	v x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 x222 x223 x224 x225 -x226 x227 x228 -x229 -x230 -x231 x232 -x233 x234
1800.05/1800.80	v x235 x236 x237 x238 x239 x240 -x241 -x242 x243 x244 x245 -x246 x247 x248 -x249 x250 x251 x252 -x253 -x254 -x255 -x256 x257 -x258
1800.05/1800.80	v x259 -x260 -x261 -x262 -x263 -x264 x265 x266 x267 x268 -x269 x270 -x271 x272 x273 -x274 x275 x276 -x277 x278 x279 -x280 x281
1800.05/1800.80	v x282 -x283 -x284 x285 -x286 x287 x288 -x289 x290 x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302 -x303 -x304
1800.05/1800.80	v -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
1800.05/1800.80	v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346
1800.05/1800.80	v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367
1800.05/1800.80	v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388
1800.05/1800.80	v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 -x409
1800.05/1800.80	v -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
1800.05/1800.80	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451
1800.05/1800.80	v -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472
1800.05/1800.80	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493
1800.05/1800.80	v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514
1800.05/1800.80	v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535
1800.05/1800.80	v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1800.05/1800.80	v -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577
1800.05/1800.80	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598
1800.05/1800.80	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.05/1800.80	v -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
1800.05/1800.80	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661
1800.05/1800.80	v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682
1800.05/1800.80	v x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703
1800.05/1800.80	v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724
1800.05/1800.80	v -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1800.05/1800.80	v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766
1800.05/1800.80	v -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787
1800.05/1800.80	v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808
1800.05/1800.80	v -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 x823 -x824 -x825 -x826 -x827 -x828 -x829
1800.05/1800.80	v -x830 -x831 -x832 -x833 x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1800.05/1800.80	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 -x871
1800.05/1800.80	v -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 x889 -x890 -x891 -x892
1800.05/1800.80	v -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1800.05/1800.80	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 x929 -x930 -x931 -x932 -x933 -x934
1800.05/1800.80	v -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955
1800.05/1800.80	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 -x975 -x976
1800.05/1800.80	v -x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997
1800.05/1800.80	v -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 x1013 x1014 -x1015
1800.05/1800.80	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032
1800.05/1800.80	v -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1800.05/1800.80	v -x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068
1800.05/1800.80	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
1800.05/1800.80	v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1800.05/1800.80	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
1800.05/1800.80	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137
1800.05/1800.80	v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154
1800.05/1800.80	v -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
1800.05/1800.80	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1800.05/1800.80	v x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
1800.05/1800.80	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222
1800.05/1800.80	v -x1223 -x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
1800.05/1800.80	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257
1800.05/1800.80	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274
1800.05/1800.80	v -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291
1800.05/1800.80	v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308
1800.05/1800.80	v -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1800.05/1800.80	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342
1800.05/1800.80	v -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
1800.05/1800.80	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
1800.05/1800.80	v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
1800.05/1800.80	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1800.05/1800.80	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427
1800.05/1800.80	v -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1800.05/1800.80	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461
1800.05/1800.80	v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479
1800.05/1800.80	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496
1800.05/1800.80	v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513
1800.05/1800.80	v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
1800.05/1800.80	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547
1800.05/1800.80	v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564
1800.05/1800.80	v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581
1800.05/1800.80	v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
1800.05/1800.80	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615
1800.05/1800.80	v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632
1800.05/1800.80	v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
1800.05/1800.80	v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666
1800.05/1800.80	v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683
1800.05/1800.80	v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
1800.05/1800.80	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717
1800.05/1800.80	v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734
1800.05/1800.80	v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1800.05/1800.80	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1800.05/1800.80	v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.05/1800.80	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802
1800.05/1800.80	v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1800.05/1800.80	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836
1800.05/1800.80	v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
1800.05/1800.80	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
1800.05/1800.80	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887
1800.05/1800.80	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904
1800.05/1800.80	v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921
1800.05/1800.80	v x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
1800.05/1800.80	v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955
1800.05/1800.80	v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
1800.05/1800.80	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.05/1800.80	v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006
1800.05/1800.80	v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023
1800.05/1800.80	v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1800.05/1800.80	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057
1800.05/1800.80	v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074
1800.05/1800.80	v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091
1800.05/1800.80	v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108
1800.05/1800.80	v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.05/1800.80	v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143
1800.05/1800.80	v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161
1800.05/1800.80	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 x2177 -x2178 -x2179
1800.05/1800.80	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1800.05/1800.80	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1800.05/1800.80	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1800.05/1800.80	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.05/1800.80	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.05/1800.80	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
1800.05/1800.80	v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.05/1800.80	v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.05/1800.80	v -x2317 -x2318 -x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1800.05/1800.80	v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352
1800.05/1800.80	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369
1800.05/1800.80	v x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386
1800.05/1800.80	v -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403
1800.05/1800.80	v -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 x2418 -x2419 -x2420 -x2421
1800.05/1800.80	v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438
1800.05/1800.80	v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455
1800.05/1800.80	v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472
1800.05/1800.80	v -x2473 -x2474 -x2475 -x2476 -x2477 x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1800.05/1800.80	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.05/1800.80	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1800.05/1800.80	v -x2525 -x2526 -x2527 -x2528 x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1800.05/1800.80	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559
1800.05/1800.80	v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.05/1800.80	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1800.05/1800.80	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.05/1800.80	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627
1800.05/1800.80	v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644
1800.05/1800.80	v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661
1800.05/1800.80	v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1800.05/1800.80	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1800.05/1800.80	v -x2696 -x2697 -x2698 x2699 x2700 -x2701 -x2702 x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.05/1800.80	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1800.05/1800.80	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1800.05/1800.80	v -x2749 -x2750 -x2751 -x2752 x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766
1800.05/1800.80	v -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 x2782 -x2783 -x2784
1800.05/1800.80	v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801
1800.05/1800.80	v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818
1800.05/1800.80	v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835
1800.05/1800.80	v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853
1800.05/1800.80	v -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.05/1800.80	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
1800.05/1800.80	v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 x2902 -x2903 -x2904 -x2905
1800.05/1800.80	v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922
1800.05/1800.80	v -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
1800.05/1800.80	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956
1800.05/1800.80	v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973
1800.05/1800.80	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 x2988 -x2989 -x2990 -x2991
1800.05/1800.80	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008
1800.05/1800.80	v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025
1800.05/1800.80	v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042
1800.05/1800.80	v -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
1800.05/1800.80	v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076
1800.05/1800.80	v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093
1800.05/1800.80	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110
1800.05/1800.80	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128
1800.05/1800.80	v -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145
1800.05/1800.80	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
1800.05/1800.80	v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1800.05/1800.80	v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1800.05/1800.80	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213
1800.05/1800.80	v -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231
1800.05/1800.80	v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1800.05/1800.80	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265
1800.05/1800.80	v -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 x3281 x3282 -x3283
1800.05/1800.80	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1800.05/1800.80	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.05/1800.80	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1800.05/1800.80	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1800.05/1800.80	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1800.05/1800.80	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1800.05/1800.80	v -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.05/1800.80	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1800.05/1800.80	v -x3420 -x3421 -x3422 x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437
1800.05/1800.80	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1800.05/1800.80	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471
1800.05/1800.80	v -x3472 -x3473 -x3474 x3475 x3476 x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489
1800.05/1800.80	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506
1800.05/1800.80	v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523
1800.05/1800.80	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
1800.05/1800.80	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557
1800.05/1800.80	v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574
1800.05/1800.80	v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
1800.05/1800.80	v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1800.05/1800.80	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626
1800.05/1800.80	v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
1800.05/1800.80	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1800.05/1800.80	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.05/1800.80	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1800.05/1800.80	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711
1800.05/1800.80	v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.05/1800.80	v -x3729 -x3730 -x3731 -x3732 x3733 x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1800.05/1800.80	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763
1800.05/1800.80	v -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
1800.05/1800.80	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797
1800.05/1800.80	v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1800.05/1800.80	v -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832
1800.05/1800.80	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1800.05/1800.80	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866
1800.05/1800.80	v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883
1800.05/1800.80	v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
1800.05/1800.80	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917
1800.05/1800.80	v -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934
1800.05/1800.80	v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951
1800.05/1800.80	v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 x3966 -x3967 -x3968 -x3969
1800.05/1800.80	v -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986
1800.05/1800.80	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003
1800.05/1800.80	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
1800.05/1800.80	v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037
1800.05/1800.80	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054
1800.05/1800.80	v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071
1800.05/1800.80	v -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1800.05/1800.80	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1800.05/1800.80	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1800.05/1800.80	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.05/1800.80	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1800.05/1800.80	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1800.05/1800.80	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1800.05/1800.80	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1800.05/1800.80	v -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224
1800.05/1800.80	v x4225 x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242
1800.05/1800.80	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259
1800.05/1800.80	v -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276
1800.05/1800.80	v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293
1800.05/1800.80	v -x4294 -x4295 x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311
1800.05/1800.80	v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328
1800.05/1800.80	v -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345
1800.05/1800.80	v -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 x4361 -x4362 -x4363
1800.05/1800.80	v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
1800.05/1800.80	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397
1800.05/1800.80	v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414
1800.05/1800.80	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431
1800.05/1800.80	v -x4432 -x4433 -x4434 -x4435 -x4436 x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 x4446 -x4447 -x4448 -x4449
1800.05/1800.80	v -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466
1800.05/1800.80	v -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483
1800.05/1800.80	v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500
1800.05/1800.80	v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517
1800.05/1800.80	v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534
1800.05/1800.80	v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551
1800.05/1800.80	v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 -x4568 -x4569
1800.05/1800.80	v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586
1800.05/1800.80	v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603
1800.05/1800.80	v -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
1800.05/1800.80	v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 x4637
1800.05/1800.80	v x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654
1800.05/1800.80	v -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671
1800.05/1800.80	v -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688
1800.05/1800.80	v -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705
1800.05/1800.80	v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722
1800.05/1800.80	v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739
1800.05/1800.80	v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757
1800.05/1800.80	v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774
1800.05/1800.80	v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791
1800.05/1800.80	v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808
1800.05/1800.80	v -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825
1800.05/1800.80	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842
1800.05/1800.80	v -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859
1800.05/1800.80	v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876
1800.05/1800.80	v -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
1800.05/1800.80	v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1800.05/1800.80	v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927
1800.05/1800.80	v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944
1800.05/1800.80	v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962
1800.05/1800.80	v -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979
1800.05/1800.80	v -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996
1800.05/1800.80	v -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1800.05/1800.80	v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032
1800.05/1800.80	v -x5033 -x5034 -x5035 x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050
1800.05/1800.80	v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067
1800.05/1800.80	v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084
1800.05/1800.80	v -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101
1800.05/1800.80	v -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118
1800.05/1800.80	v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135
1800.05/1800.80	v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152
1800.05/1800.80	v -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 x5166 -x5167 -x5168 -x5169 -x5170
1800.05/1800.80	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
1800.05/1800.80	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204
1800.05/1800.80	v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1800.05/1800.80	v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239
1800.05/1800.80	v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256
1800.05/1800.80	v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273
1800.05/1800.80	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
1800.05/1800.80	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307
1800.05/1800.80	v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324
1800.05/1800.80	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341
1800.05/1800.80	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358
1800.05/1800.80	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375
1800.05/1800.80	v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392
1800.05/1800.80	v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409
1800.05/1800.80	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426
1800.05/1800.80	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443
1800.05/1800.80	v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
1800.05/1800.80	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1800.05/1800.80	v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1800.05/1800.80	v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511
1800.05/1800.80	v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528
1800.05/1800.80	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537
1800.05/1800.81	c Total Number of Positive Atoms : 316
1800.05/1800.81	c 
1800.05/1800.81	c During searching:         1797.9 seconds elapsed.
1800.05/1800.81	c CPU time spent:           1797.31 seconds.
1800.05/1800.81	c 
1800.05/1800.81	c =================================== END =====================================
1800.05/1800.81	c

Verifier Data (download as text)

OK	70

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-372973-1177151974 -o ROOT/results/node33/solver-372973-1177151974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372973-1177151974/wildcat-skc /tmp/evaluation/372973-1177151974/instance-372973-1177151974.opb 195194936 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19413
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=5972 CPUtime=0
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 163112929 6115328 139 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135014965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 1493 139 105 226 0 1264 0

[startup+0.084703 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19413
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=8228 CPUtime=0.08
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 723 0 0 0 8 0 0 0 18 0 1 0 163112929 8425472 707 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2057 708 107 226 0 1828 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8228

[startup+0.101705 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19413
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=9680 CPUtime=0.09
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1075 0 0 0 9 0 0 0 18 0 1 0 163112929 9912320 1059 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2420 1060 107 226 0 2191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9680

[startup+0.301745 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19413
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=0.29
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 29 0 0 0 19 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10204

[startup+0.701827 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19413
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=0.69
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 69 0 0 0 23 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565724 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10204

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1697208/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1.49
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 149 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598445 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10204

[startup+3.10132 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1697080/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=3.09
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 309 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10204

[startup+6.30197 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=6.29
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 629 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10204

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=12.69
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 1269 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10204

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=25.48
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 2548 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10204

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=51.07
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 5107 0 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598432 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 10204

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=102.26
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 10225 1 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10204

[startup+162.302 s]
/proc/loadavg: 1.20 1.06 1.02 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=162.23
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 16222 1 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 10204

[startup+222.301 s]
/proc/loadavg: 1.07 1.04 1.01 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=222.21
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 22219 2 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598369 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 10204

[startup+282.302 s]
/proc/loadavg: 1.02 1.03 1.01 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=282.19
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 28217 2 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 10204

[startup+342.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=342.17
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 34214 3 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 10204

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=402.15
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 40212 3 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 10204

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 19414
/proc/meminfo: memFree=1697016/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=462.12
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 46209 3 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 10204

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=522.11
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 52207 4 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 10204

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=582.08
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 58204 4 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 10204

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=642.06
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 64202 4 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 10204


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=821.99
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 82194 5 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 10204

[startup+882.302 s]
/proc/loadavg: 1.11 1.03 1.01 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=881.98
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 88192 6 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 10204

[startup+942.302 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=941.95
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 94189 6 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 10204

[startup+1002.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1001.93
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 100187 6 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 10204

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 19414
/proc/meminfo: memFree=1696952/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1061.91
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 106184 7 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 10204

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1121.89
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 112182 7 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 10204

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1181.87
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 118180 7 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 10204

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19414
/proc/meminfo: memFree=1696888/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1241.85
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 124177 8 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 10204

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 19522
/proc/meminfo: memFree=1695480/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1301.78
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 130169 9 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134611617 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 10204

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696504/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1361.69
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 136160 9 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598402 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 10204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696504/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1421.68
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 142158 10 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134607396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 10204

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696504/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1481.65
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 148155 10 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599129 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 10204

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696632/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1541.63
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 154153 10 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 10204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696632/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1601.61
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 160151 10 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565740 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 10204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696760/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1661.59
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 166148 11 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 10204

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696760/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1721.57
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 172146 11 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 10204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696760/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1781.54
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 178143 11 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 10204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 19612
/proc/meminfo: memFree=1696760/2055920 swapFree=4180512/4192956
[pid=19413] ppid=19411 vsize=10204 CPUtime=1800.05
/proc/19413/stat : 19413 (wildcat-skc) R 19411 19413 18677 0 -1 4194304 1236 0 0 0 179993 12 0 0 25 0 1 0 163112929 10448896 1219 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19413/statm: 2551 1219 115 226 0 2322 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10204

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.82
CPU time (s): 1800.07
CPU user time (s): 1799.95
CPU system time (s): 0.121981
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 10204

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

runsolver used 2.01969 second user time and 4.25935 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Apr 21 10:39:35 UTC 2007

IDJOB= 372973
IDBENCH= 25010
IDSOLVER= 162
FILE ID= node33/372973-1177151974

PBS_JOBID= 4648867

Free space on /tmp= 66475 MiB

SOLVER NAME= wildcat-skc 2007-03-21
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= /tmp/evaluation/372973-1177151974/wildcat-skc /tmp/evaluation/372973-1177151974/instance-372973-1177151974.opb 195194936
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-372973-1177151974 -o ROOT/results/node33/solver-372973-1177151974 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372973-1177151974/wildcat-skc /tmp/evaluation/372973-1177151974/instance-372973-1177151974.opb 195194936

META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 195194936

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1701976 kB
Buffers:         40624 kB
Cached:         214684 kB
SwapCached:       2276 kB
Active:         216784 kB
Inactive:        83100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701976 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            2800 kB
Writeback:           0 kB
Mapped:          59504 kB
Slab:            39224 kB
Committed_AS:  1738284 kB
PageTables:       1992 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66475 MiB

End job on node33 on Sat Apr 21 11:09:37 UTC 2007